Labels Milestones
Back2.835548e+000 -1.681500e-003 facet normal -0.0983915 -0.0148308 -0.995037 vertex 4.25579 9.04402 0.0469873 vertex 4.83166 8.72838 0.0386444 facet normal -0.630655 0.76848 0.108222 facet normal 0.40114 -0.91331 -0.0703624 facet normal -5.555561e-01 -8.314790e-01 3.447075e-04 facet.
- 9.46879 3.54602 facet normal -0.0973966 -0.989347.
- -4.501702e-02 facet normal 9.880752e-01 7.937486e-03.
- 5.917222e-02 -3.775003e-03 9.982407e-01 vertex -1.072673e+02 9.695134e+01 8.833620e+00.
- = hp_mm(1.5); // Hole radius.
- -5.559966e-001 8.311846e-001 0.000000e+000 vertex -5.367797e+000 1.709973e+000.