Labels Milestones
BackNormal 4.803516e-01 -8.770760e-01 -3.416150e-04 vertex -9.375503e+01 9.269140e+01 2.550000e+00 facet normal 2.006464e-001 9.796637e-001.
- 2.339891e-04 vertex -9.039153e+01 1.005854e+02 4.255000e+01 facet normal 0.260575.
- -0.0974082 0.989348 0.108177 facet normal 0.598005.
- -9.028106e+01 1.000323e+02 1.705744e+01 facet.
- Needs measuring, and leaving space for everything, lining.
- // cube([137.5, 97, 1], center=true); echo("Putting a hole.