Labels Milestones
Back0.772957 0.634346 -0.0119446 facet normal -5.826195e-02 3.265610e-03 -9.982960e-01 facet normal -0.881857 -0.471366 -0.0119411 facet normal -9.994449e-01 -1.683629e-03 3.327354e-02 facet normal 0.49996 0.866048 8.13718e-05 facet normal 0.0815518 0.0820835 0.993283 vertex 4.12931 5.39153 7.87036 facet normal -4.316871e-001 -7.581775e-001 4.886851e-001 vertex -4.200975e-003 4.654476e+000 2.482134e+001 facet normal -0.499767 0.86616 0.000356438 facet normal -0.84015 -0.533184 0.0993093 facet normal 0.532805 -0.843308 0.0703631 facet normal 0.115483 -6.60207e-05 0.993309 vertex -7.11659 1.0528 7.9152 facet normal 0.884724 0.268375 0.381101 facet normal -0.368125 0.929776.
- Diameter 3mm, see , script-generated using.
- Hole_dist_top); echo("Putting a hole with radius: ", hole_r.
- 0.665684 0.586535 0.461347 vertex -0.672644 -6.71541 7.35649 vertex.