Labels Milestones
BackNormal -0.115212 -0.000822099 0.993341 facet normal -0.463058 0.0914209 0.8816 facet normal -0.364903 0.547893 0.752767 facet normal 0.0419816 -0.554754 0.830954 vertex 0.636408 -7.31983 7.07423 facet normal 0.831469 -0.555571 0 vertex 1.76336 2.42705 9.999 facet normal 0.964172 0.255778 -0.0703594 vertex -7.7086 5.16264 7.06797 facet normal 0.727319 0.241698 0.642332 vertex -0.162663 -6.59163 7.16505 vertex -0.319077 -6.63876 7.17054 facet normal 0.0458155 0.920076 0.389052 vertex 7.25237 0.938256 7.41914 facet normal 8.388524e-02 9.964754e-01 2.512607e-06 facet normal 0.0975625 0.989331 0.108193 facet normal -0.634391 0.773012 0 vertex -3.4666 8.83276 6.17308 vertex -3.2059 -8.2001 11.7816 facet normal 0.191476 0.962626 -0.191544 facet normal 2.502911e-15 -1.000000e+00 -1.026775e-14 facet normal 0.630682 -0.768461 0.108208 facet normal 5.282633e-07 -1.000000e+00 -5.537854e-07 facet normal 0.000000e+00 -1.000000e+00 0.000000e+00 facet normal 8.468809e-001 -5.317827e-001 0.000000e+000 vertex -7.292086e-003 -7.119738e+000 1.747200e+001 facet normal -0.435831 -0.815356 0.381112 vertex 8.58625 5.28808 2.58057 facet normal 0.99044 0.0975476 0.0975398 vertex -8.83305 -1.69511 4.51215 facet normal -0.952737 -0.286094 0.102192 facet normal 5.127229e-14 -1.000000e+00 1.556656e-14 facet normal -0.468318 0.782844 0.409675 facet normal -0.0729418 0.0676799 -0.995037 facet normal 4.395878e-001 -7.536187e-001 4.886936e-001 vertex -1.315106e+000 3.879837e+000 2.480400e+001 facet normal -0.916108 0.277899 0.288996 vertex -1.75038 8.79978 4.79464 facet normal -0.451284 -0.844291 0.288991 facet normal 0.0922671 0.172963 0.980597 vertex -5.0946 -5.35022 6.88312.
- Wall(h=10, w=height-hole_dist_top*2-32); // decoration?
- 9.287444e-04 vertex -9.047274e+01 1.008927e+02 3.455000e+01 facet normal 4.802721e-001.