Labels Milestones
Back-5.278760e+000 1.747200e+001 facet normal 0.952377 -0.288901 0.0975456 facet normal -0.816076 0.545285 -0.19153 vertex 2.65784 -1.99639 18.3555 facet normal 0.000000e+000 -0.000000e+000 1.000000e+000 vertex 4.344010e+000 3.615769e+000 9.983999e+000 vertex -4.217378e+000 -3.791486e+000 2.496000e+001 vertex 5.021640e+000 -2.681558e+000 2.496000e+001 vertex 5.430013e+000 4.519711e+000 9.983999e+000 vertex -1.168555e+000 6.931669e+000 9.983999e+000 vertex -8.646397e+000 -4.992000e+000 9.983999e+000 vertex -7.030236e+000 -6.264523e-001 9.983999e+000 vertex -6.551333e+000 -2.663729e+000 2.496000e+001.
- -0.630109 0.0735129 facet normal 0.459965 -0.538537 0.705981 facet.
- Trenches; yet more code style tweaking.