Labels Milestones
BackH_margin; col_middle = col_left + (15.6 + 1.5 + 7 + 8); .
- -5.855200e-01 3.154248e-04 vertex -1.033298e+02 9.485338e+01 4.255000e+01 facet normal.
- 4.602236e-001 -0.000000e+000 vertex 4.604934e-001 5.608658e+000 9.983999e+000 vertex 4.242270e+000.