Labels Milestones
Back-0.161807 -0.533417 0.830232 vertex 3.32193 -8.50049 3.76384 facet normal -0.695465 -0.464653.
- 99.37 (end 151.32497 127.31492.
- 3.4112 -7.24168 19.9491 vertex 4.13852 -7.16813 19.9688 vertex.
- Of box [right_edge, -extra_depth], // top horizontal.