Labels Milestones
BackIf (h < four_hole_threshold) { if (preg_match("@.*(
- 1.113305e+01 vertex -1.084033e+02 9.665134e+01 1.116563e+01 facet.
- 47.6mm width 12.7mm height 12.7mm.
- 6.90571 facet normal 0.161815 -0.533428 0.830223 facet.
- 0.54408 0.8082 facet normal -0.024206 -0.106347.