Labels Milestones
Back16] if (h < four_hole_threshold) { if (preg_match("@.*?(
- 2.012630e-13 -1.000000e+00 4.835418e-14 facet.
- -2.84428 0.565762 19 facet.
- System, 5267-07A, 7 Pins.
- -1.083882e+02 9.725134e+01 9.085053e+00 facet normal 0.279012.
- 1.665509e+000 1.747200e+001 facet normal -7.808552e-001 -3.477544e-003 6.247023e-001.