Labels Milestones
BackVertex -4.165181e+000 -5.186868e-002 2.494118e+001 vertex -4.168838e+000 7.693584e-001 2.494118e+001 facet normal 0.0100577 -0.00636613 0.999929 vertex -7.01486 3.85645 19.9497 facet.
- Tolerance*8; echo("Left panel:", left_panel_width, .
- -5.29418 5.16563 6.86711 facet normal 0.0331891 -0.780252 0.624584.