Labels Milestones
BackVertex 6.72192 -6.3123 7.78861 vertex 6.45862 5.99273 11.8624 facet normal -0.449653 0.547907 0.705415 facet normal 0.778621 -0.416182 0.469619 vertex -8.21035 3.40084 5.07603 facet normal 0.507857 0.489735 0.708689 vertex 5.70811 -4.60319 7.20554 vertex 7.28862 -0.671124 7.09583 vertex 7.3363 -0.49869 6.98312 facet normal -5.006067e-001 8.576186e-001 1.178276e-001 facet normal 5.000000e-001 8.660254e-001 -0.000000e+000 vertex 7.057426e+000 7.134280e-001 9.983999e+000 vertex -6.958273e+000 1.118030e+000 9.983999e+000 vertex 1.561409e+000 5.411416e+000 2.496000e+001 vertex 5.326315e+000 1.930454e+000 9.983999e+000.
- 0.453753 0.0357191 0.890411 facet normal -7.952300e-001 -6.063079e-001 0.000000e+000.
- == true module set_screw_hole() { if(set_screw .