Labels Milestones
BackNormal -9.996063e-01 -2.805777e-02 -1.366702e-07 vertex -1.045770e+02 9.890134e+01 1.855000e+01 facet normal 0.0500831 -0.0867463 0.994971 facet normal 0.703995 -0.703995 0.0937203 facet normal -3.534176e-01 -8.635605e-03 -9.354258e-01 vertex -1.055858e+02 9.665134e+01 1.277435e+01 facet normal -0.766708 0.634279 0.0992472 facet normal 4.589668e-01 8.884534e-01 -0.000000e+00 facet normal 0.0895678.
- + hole_diameter + hole_margin*2; side_margin .
- -3.896753e+000 2.470218e+001 facet normal 3.267371e-13.