Labels Milestones
Back0.952359 -0.288955 0.0975571 vertex -8.82707 -1.75581 0 vertex 1.38893 2.07867 6.5 facet normal 0.172963 -0.0922671 0.980597 vertex 5.0946 -5.35022 6.88312 facet normal 0.11511 -7.7227e-05 0.993353 facet normal 4.064204e-001 7.112346e-001 5.735572e-001 vertex -3.398314e+000 -3.956013e+000 2.484855e+001 facet normal 0.881916 0.471406 0 vertex 2.36142 9.8813 2.19603 facet normal 0.00746316 -0.0990468 -0.995055 vertex 1.87088 -9.81894 0.0427516 facet normal -0.499999 0.866026 6.96236e-08 vertex.
- 3.176416e-001 1.414251e-003 9.482098e-001 vertex 4.194869e+000 8.065993e-001 2.494118e+001.
- Vertex 3.1531 -1.32743 18.1498 facet.
- 5.31765 -5.31765 6.0001 facet normal 0.685181 -0.343415.
- A-1138 | | J2 | 1.
- Module make_the_knob() { difference() { difference() .