Labels Milestones
Back1.965392e-001 facet normal 9.835916e-001 1.804094e-001 -0.000000e+000 vertex 5.854357e+000 3.963141e+000 2.496000e+001 vertex -3.765772e+000 5.933461e+000 1.747200e+001 facet normal -0.114987 -0.957361 0.265023 facet normal -0.481758 -0.876304 -0 facet normal 0.5 -0.866025 0 facet normal 0.629654 0.768263 0.115357 facet normal -0.331801 0.353615 0.874566 facet normal -0.499998 -0.866026 0 facet normal 0.23112 0.46415 0.855072 vertex 5.45272 4.78839 6.97207 vertex 4.75988 5.35776 6.96188 vertex -7.04362 -0.568952 7.06725 vertex -5.45272 4.78839 6.97207 vertex -5.5107 4.61666 7.08096 facet normal 0.00965335 0.098007 0.995139 vertex -7.5203 0 6.0001 vertex -6.23601 4.16678 6.0001 vertex -6.23601 4.16678 6.0001.
- -7.038888e+000 4.228040e-001 9.983999e+000 vertex 4.221271e+000 -3.826278e+000 2.496000e+001 vertex.
- Module make_the_knob() { difference() { difference() { difference.