Labels Milestones
BackNormal 9.196532e-01 -3.452139e-03 -3.927162e-01 facet normal -0.484645 -0.0153859 0.874575 facet normal -0.491814 -0.40362 0.771499 facet normal 0.0702817 0.382543 0.921261 facet normal -0.995185 -0.0980171 1.13576e-06 facet normal -0.081813 -0.0823699 0.993238 vertex 5.39246 4.12472 7.87006 facet normal 0.55474 0.0546157 0.830229 vertex 1.84727 -9.28685 3.54602 facet normal -8.660254e-01 -5.000000e-01 0.000000e+00 vertex -1.008637e+02 1.051965e+02 1.855000e+01 vertex -9.129400e+01 9.507470e+01 2.655000e+01 facet normal 3.241043e-13 -1.000000e+00 8.034062e-14 facet normal.
- 0.0868533 0.995139 vertex 0.
- 0.598972 -4.80907 21.7653 vertex 3.62229 -3.03882 21.7538.
- Vertex 2.11143 -9.25077 6.17306.
- Termination under Sections 5.1 or 5.2.