Labels Milestones
Back7.086258e+000 3.645680e-001 2.496000e+001 vertex -2.525431e+000 5.022715e+000 2.496000e+001 vertex 3.756590e+000 4.215425e+000 2.496000e+001 vertex -3.615306e+000 -4.376429e+000 9.983999e+000 vertex -2.013369e+000 5.249184e+000.
- 0.665275 0.392534 0.63508 facet normal 2.588559e-001 1.152516e-003 9.659153e-001.
- Choice of 9 mm or so taller.