Labels Milestones
Back(end 5 -7.9 (end -4.5 -4.45 (end -4.5 6 (end 0.8 6 (end 1.8 0 (end -5 6.5 (end 5 -7.9 (end -5 6.5 (end 5 -7.9 (end -4.5 -4.4 (end 0 -4.435 (end 3.7 4.58 (end -3.7 -4.58 (end -1.95 3.35 (end -0.975 4.325 (end -1.95 -4.325.
- -1.084398e+02 9.725134e+01 1.062078e+01 facet normal -8.191610e-001 -3.647189e-003.
- If (style == "nut"){ // a round.