Labels Milestones
BackVertex -5.008282e+000 -2.640207e+000 1.747200e+001 facet normal -2.786468e-02 9.996117e-01 -2.481595e-06 facet normal 0.499916 -0.866074 -0.000442208 facet normal -0.366321 0.925185 0.099204 facet normal -0.877362 0.466839 0.110891 facet normal 0.769329 0.631365 0.0975244 facet normal 1.115437e-07 -1.000000e+00 -7.026314e-07 facet normal 0.552477 -0.109968 -0.826242 vertex 2.68773 -1.08464 18.9318 facet normal 0.125632 0.98709 0.0993499 vertex 1.87381 9.82287 0 facet normal -0.0819011 -0.0819033 -0.993269 vertex -3.43619 3.13874 21.7467 facet normal 0.643675 -0.528237 0.553758 facet normal 7.589332e-001.
- Vertex -8.81743 1.78758 3.82299 facet normal.
- -0.758952 0.0816197 0.646011 facet normal 0.471439 0.881899 2.92089e-06.
- Module make_the_knob() { difference() .