Labels Milestones
BackMiranda width = 17; // [1:1:84] left_panel_width = 12.5*3 + tolerance*4 .
- 0.00743619 0.0992258 -0.995037 vertex -9.67267 -2.88811 0.0491304 vertex.
- -6.139374e-001 7.071106e-001 vertex 1.657414e+000 4.891510e+000 2.484855e+001 facet.