Labels Milestones
Back-0.883605 1.0875 (end -0.633605 1.3375 (end 3.75 0 (end -5 -7.9 (end -5 6.5 (end 5 -7.9 (end -5 6.5 (end 5 -7.9 (end -4.5 -4.4 (end 0 -7.747 (end 0 -3.5 (end 0.261252 0.735 (end 0 -4.45 (end 4.5 6 (end 1.8 0 (end -0.883605 1.0875 (end -0.633605 1.3375 (end 3.75 0 (end -5 6.5 (end 5 -7.9 (end -5.
- Box [right_edge, -extra_depth], // bottom right [right_edge, rotate_vector_sin.
- 9.040890e-03 -3.904712e-01 vertex -9.039783e+01 1.006114e+02 1.200773e+01 facet normal.
- Normal 9.196532e-01 3.452139e-03 -3.927162e-01 vertex.