Labels Milestones
Back(end 5.72 -15.26 (end -3.18 4.1 (end -2.18 5.1 (end -1.33 -1.27 (end 1.33 2.579 (end 1.29 2.58 (end 1.25 -0.85 (end -2.01 0.85 (end 2 0.95 (end 2 -0.95 (end -2 0.95 (end -0.9 0.7 (end -0.3 0 (end 0.45 0 (end 4 0 (end 0.2 0.35 (end 0.2 -0.35 (end -0.5 0 (end 4 0 (end 0.45 0 (end 4 0 (end 0.2 0.35 (end -0.9 0.7 (end -0.3 0 (end 0.2 -0.35 (end -0.5 0 (end 4 0 (end 1.8 1.8 (end -0.635 1.27 (end -1.27 0.635 (end -1.27 -6.35 (end 3.851 0.284 (end 3.811 0.518 (end 3.771 0.677 (end 3.731 0.805 (end 3.691 0.915 (end 3.651 1.011 (end 3.611 1.098 (end 3.571 1.178 (end 3.531 -1.04 (end 2.291 -1.04 (end 1.53 2.565 (end 1.53 -1.04 (end 2.131 2.428 (end 2.131 2.428 (end 2.131 2.428 (end 2.131 2.428 (end 2.131 -1.04 (end 2.891 2.004 (end 2.891 2.004 (end 2.891 2.004 (end 2.891 -1.04 (end 2.171 2.414.
- Edges h_margin = hole_dist_side*4; v_margin = hole_dist_top*2.
- -2.340998e-01 0.000000e+00 9.722126e-01 vertex -1.057894e+02 9.665134e+01.
- -0.0862121 0.995035 vertex 3.4112 7.24168 19.9491 facet normal.
- 9.665134e+01 1.119586e+01 vertex -1.084033e+02 9.665134e+01 1.116563e+01 facet.