Labels Milestones
Back-2.953219e-001 -5.172258e-001 8.032823e-001 vertex -5.693845e-003 5.917491e+000 2.490742e+001 facet normal -7.775532e-01 6.288171e-01 -3.272236e-04 vertex -1.030079e+02 1.033858e+02 3.455000e+01 facet normal 0.555549 -0.831484 1.07979e-05.
- Of box [right_edge, -extra_depth], // top horizontal.
- 4.28788 -4.58534 7.81694 facet normal -0.0533625 0.0923569 -0.994295.
- 2.39281 20 vertex 4.14326 -5.00834 20 vertex -4.14326.