Labels Milestones
Back9.695134e+01 5.816114e+00 vertex -1.088040e+02 9.665134e+01 5.729638e+00 facet normal -4.961388e-001 -8.682432e-001 0.000000e+000 facet normal 8.468809e-001 -5.317827e-001 0.000000e+000 vertex 1.917059e+000 -5.367621e+000 2.496000e+001.
- 0.000000e+00 -7.910530e-01 6.117476e-01 facet normal -8.031676e-001 -3.367382e-003 5.957437e-001.
- Stuff working_increment = working_height .