Labels Milestones
Back-1.084545e+02 9.695134e+01 1.105996e+01 facet normal 9.961838e-001 4.436281e-003 8.716749e-002 vertex -5.010499e+000 9.625911e-001 2.470218e+001 facet normal -0.730693 -0.622304 0.280758 facet normal 2.839768e-004 4.969595e-004 -9.999998e-001 facet normal 0.0169529 -0.828691 0.559449 vertex -7.28282 -0.821781 7.24568 facet normal -3.018107e-001 5.182469e-001 8.002065e-001 facet normal -0.421013 0.192217 0.886454 vertex 4.68184 4.87063 7.03353 vertex -4.83683 4.97711 6.93683 facet normal -0.634832 0.772567 0.0113625 facet normal 0.392539 0.73439 0.553701 facet normal -0.502125 0.307702 0.808202 facet normal 8.393471e-02 9.964713e-01 2.508177e-06 facet normal 6.417350e-001 7.669265e-001 -0.000000e+000 vertex 5.558580e+000 1.123793e+000 9.983999e+000 vertex 1.726210e+000 -6.911484e+000 9.983999e+000 vertex 4.158177e+000 3.825264e+000 9.983999e+000 vertex 3.858692e+000 5.902027e+000 1.747200e+001 facet normal -0.766708 0.634279 0.0992472 facet normal 2.208553e-01 9.753065e-01 -3.470281e-04 vertex -9.599162e+01.
- Make_the_knob(); module make_the_knob() { difference() { difference() .
- -2.044486e-01 vertex -1.051912e+02 9.715134e+01.