Labels Milestones
Back4.602236e-001 -0.000000e+000 vertex 4.683485e+000 3.170513e+000 9.983999e+000 vertex 6.105788e+000 -3.657241e+000 1.747200e+001 facet normal 0.84016 -0.533176 0.099273 vertex 6.47214 -4.70228 20 vertex 3.48287 -5.48813 20 vertex -0.408138 6.48717.
- -3.1531 18.1498 facet normal 9.731816e-01 3.175280e-14 -2.300382e-01.
- Sections 3.1, 3.2, 3.3, and 3.4 are conditions.