Labels Milestones
BackNormal 0.338901 -0.181148 0.923218 vertex 7.60195 -5.07946 3.76384 vertex 2.08528 -9.21464 3.54602 facet normal 4.905636e-002 -8.528755e-002 9.951480e-001 facet normal 0.787357 0.189015 0.586806 facet normal -9.127901e-01 4.084288e-01 3.190932e-04 facet normal 0.106825.
- 4.47998 4.47998 7.50886 vertex 4.35153 -4.6363 7.51116.
- [Holes] */ hole_dist_top = 2.5; //mm first_col .