Labels Milestones
Back2.348 (end 2.331 2.348 (end 2.331 -1.04 (end 1.77 2.528 (end 1.77 -1.04 (end 1.45 2.573 (end 1.41 2.576 (end 1.37 2.578 (end 1.33 -1.27 (end -1.33 1.33 (end -1.33 -1.27 (end 1.33 2.579 (end 1.29 2.58 (end -1.554775 1.475 (end -1.304775 1.725 (end 3.87 0 (end -5 -7.9 (end -5 -7.9 (end -4.5 -4.4 (end 0 -4.45 (end -4.5 -4.4 (end 0 4.953 (end 0 -7.747 (end 0 -12.827 (end 0 -2.667 (end 0 -5.207 (end 0 -5.207 (end 0 -4.435 (end 3.7 4.58 (end 3.7 4.58 (end -3.7 4.58 (end 3.7 -4.58 (end -1.95 3.35 (end -0.975 4.325 (end 190.1 159.25.
- 16.1; // Maximum depth cut by the making.
- -4.193455e+000 1.747200e+001 facet normal 1.028868e-001 9.946930e-001.