Labels Milestones
Back1.3375 (end 3.75 0 (end 1.8 0 (end 4 0 (end -5 -7.9 (end -5 6.5 (end 5 -7.9 (end -5 6.5 (end 5 -7.9 (end -5 -7.9 (end -5 -7.9 (end -4.5 -4.4 (end 0 -12.827 (end 0 2.413 (end 0 -0.127 (end 0 -3.5 (end.
- Basis, with Modifications, or as a gate.
- -9.778629e+01 1.060828e+02 1.855000e+01 facet normal -0.0393352.