Labels Milestones
Back0.866033 4.3475e-06 facet normal -0.769325 0.631363 0.0975683 facet normal 0.598712 0.491347 0.632551 facet normal 0.877714 -0.469146 0.0975761 vertex -3.49795 -8.28616 4.51215 facet normal -0.401182 0.913292 0.07036 facet normal 8.051843e-01 0.000000e+00 5.930246e-01 vertex -8.438430e+01 1.002513e+02 1.512829e+01 vertex -8.438430e+01 9.927855e+01 1.638621e+01 vertex -8.438430e+01 1.002513e+02 1.512829e+01 facet normal -0.43089 -0.353627 0.83023 facet normal 0.980847 0.194778 -4.93453e-07 vertex -3.16429 -1.31069 6.59 facet normal 5.291108e-01 -4.294011e-03 8.485419e-01 facet normal -0.481758.
- 2.6574871" d="m -5.2952793,2.5590618 h -0.19685" d="m.
- Module h_wall(h, l, th=thickness) { module title(string.