Labels Milestones
Back-4.252351e-001 -7.449304e-001 5.140563e-001 facet normal 3.433085e-001 9.392227e-001 -0.000000e+000 vertex 2.260702e-001 7.029575e+000 1.747200e+001 facet normal -0.188081 0.291196 0.937993 facet normal -0.11537 -0.000246232 0.993323 vertex 0.41258 -6.33525 7.82405 facet normal 0.836804 0.462418 0.293136 facet normal 0.844851 0.256282 0.469623 vertex -8.71606 -1.73373 5.07603 facet normal 0.582726 0.806555 0.0995001 facet normal 0.618884 0.0694793 0.782404 facet normal -2.036634e-15 -1.002308e-15 -1.000000e+00 facet normal -0.0926136.
- 0.280777 facet normal -4.949286e-001 -8.661248e-001 6.981015e-002 vertex 2.011872e+000.
- 1.52046 -7.64388 5.97318 vertex.
- */ hole_dist_top = 2.5; // margins.