Labels Milestones
Back9.381542e+01 3.455000e+01 vertex -9.073906e+01 9.614893e+01 3.455000e+01 vertex -1.027474e+02 9.410842e+01 2.655000e+01 facet normal 0.195084 -0.980787 -1.39475e-05 vertex -0.4 3.26571 8.11431 vertex 0.4 3.34543 14.8152 vertex 0.4 -2.96144 10.597 vertex -0.4 2.9093 18.8747 vertex -1.2151 2.93351 18.7502 facet normal -0.772914 -0.634511 0 facet normal 8.589944e-01 6.172555e-03 -5.119478e-01 facet normal -0.0073974 0.0989687 0.995063 vertex -0.50268 7.98986 19.9434 facet normal -0.111478 0.367773 0.923209 vertex 4.97083 -7.49889 3.82299 vertex 9.12468 -0.183929 3.76384 vertex 8.26214 3.54289 3.82299 facet normal -0.591982 0.205712.
- 0.995729 vertex 7.35197 0.0404587 6.86195 facet normal.
- 0 -9.74602 3.26879 facet normal.
- = hole_dist_top*2; v_margin = hole_dist_top*5.