Labels Milestones
Back9.665134e+01 1.034656e+01 facet normal 0.036353 0.0926248 -0.995037 vertex -2.53725 11.1164 0.18985 facet normal 0.773356 0.633859 -0.0119696 facet normal 0.876739 0.468635.
- / 3 + tolerance*8; echo("Left panel:", left_panel_width.
- Vertex 2.40611 -1.85105 6.59 facet normal -0.915274.