0 X 0 - 0.75 0.5 1.57079632679 m 1.57079632679 1.57079632679 m - Z 0.5 m - * 0.5 0.5 m - / + cos * + / + 0 - 2 ** 0 Y 0 - 0.75 0.5 1.57079632679 m 1.57079632679 1.57079632679 m - Z 0.5 m - * 0.5 0.5 m - / + cos * + / + 0 - 2 ** + 0.5 2 ** <= Z 0.5 m >= Z 0.5 <= & & 0.35 Z 0 - 0 - 2 ** 0 X 0.6 m - 0 - 0.75 / + 0 - 2 ** + sqrt - 2 ** 0 Y 0 - 0 - 3 / + 0 - 2 ** + 0.05 2 ** <= | 0.55 X 1.05 - 2 ** Z 0.1 m - 2 ** + sqrt - 2 ** Y 0 - 2 ** + 0.1 2 ** <= X 1.5 m >= X 0.9 <= Y 1.5 m >= Y 1.5 <= Z 0 >= Z 1.5 <= & & & & & & | 0 X 0 - 0.75 0.5 1.57079632679 m 1.57079632679 1.57079632679 m - Z 0.5 m - * 0.5 0.5 m - / + cos * + / + 0 - 2 ** 0 Y 0 - 0.75 0.5 1.57079632679 m 1.57079632679 1.57079632679 m - Z 0.5 m - * 0.5 0.5 m - / + cos * + / + 0 - 2 ** + 0.4 2 ** <= Z 0.4 m >= Z 0.6 <= & & ~ & 0.55 X 1.05 - 2 ** Z 0.1 m - 2 ** + sqrt - 2 ** Y 0 - 2 ** + 0.075 2 ** <= X 1.5 m >= X 0.9 <= Y 1.5 m >= Y 1.5 <= Z 0 >= Z 1.5 <= & & & & & & ~ & X 0 >= X 1.5 <= Y 1.5 m >= Y 0 <= Z 1.5 m >= Z 1.5 <= & & & & & ~ &