Labels Milestones
Back0.707098 facet normal -8.091787e-01 -1.313994e-03 -5.875612e-01 facet normal 0.768481 0.630653 0.10823 facet normal -0.989348 -0.0974089 0.108177 facet normal 0.547914 0.449667 0.7054 facet normal -0.0817037 0.0823248 0.993251 vertex -5.77664 -4.28775 7.9152 facet normal -0.382543 0.0702817 0.921261 facet normal 2.096584e-001 3.669021e-001 9.063256e-001 facet normal 0.0376526 -0.382437 0.923214 facet normal 0.100845 0.00652718 0.994881 facet normal -3.874228e-001 -6.779891e-001 6.246874e-001 facet normal 1.288822e-001 2.244911e-001 9.659157e-001 vertex 5.307554e+000 -3.062540e+000 2.495400e+001 facet normal 0.772555 -0.634846 0.0113566 facet normal 0.989357 -0.0973162 0.108179 facet normal -0.979674.
- 4.894114e+000 2.496000e+001 vertex 4.519256e+000 3.397341e+000 9.983999e+000 vertex -1.053366e+000.
- 0.803976 -0.0703746 vertex -9.85076 -0.152107 1.39674.
- { if (two_holes_type == "mirror") .