Labels Milestones
Back7.85113 vertex -4.12613 -4.97321 7.83559 facet normal -0.305317 -0.0393762 0.951436 vertex 5.25893 4.75047 6.95295 vertex -5.2649 4.9518 6.88859 vertex -0.173952 7.18562 6.88408 vertex 5.16004 4.76054 6.94563 vertex -4.97595 5.14541 6.88072 facet normal 0.0723526 -0.301372 0.950758 facet.
- + 24; hole_top .
- 7.524701e-001 vertex -6.338055e-001 4.341748e+000 2.488700e+001 facet.
- 3.826173e+000 -4.223009e+000 2.496000e+001 vertex -6.709746e+000.