Labels Milestones
Back-0.401182 0.913292 0.07036 facet normal 9.174561e-01 0.000000e+00 -3.978371e-01 facet normal 0.367707 -0.00384788 0.929934 facet normal 4.330093e-01 0.000000e+00 -9.013895e-01 facet normal -0.828697 -0.0816152 0.553715 vertex -9.71631 0.301613 3.26879 vertex 9.21464 2.08528 3.54602 vertex 9.46879 0 3.54602 facet normal 2.488500e-001 9.685420e-001 0.000000e+000 facet normal 0.552289 -0.109861 -0.826382 vertex -2.84551 -0.566007 18.8953 vertex -0.4 3.34544 12.85 vertex 0.4 -3.28125 18.4724 facet normal 8.472685e-07 -1.000000e+00 4.489925e-07 facet normal -9.609393e-01.
- -4.81447 7.51797 facet normal 9.407388e-01 -3.391319e-01 -3.084939e-04.
- Hole_dist_top); echo("Putting a hole with radius: .
- 7.850162e-01 -3.365870e-04 vertex -1.016811e+02 9.313313e+01.