Labels Milestones
Back-4.58 (end -3.7 4.58 (end 3.7 4.58 (end -3.7 4.58 (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 -1.95 -4.325 (end 1.95 4.325 (end -1.95 -4.325 (end 1.95 4.325 (end -1.95 -4.325 (end 1.95 -4.325 (end 1.95 -4.325 (end 1.95 -4.325 (end 1.95 -4.325 (end 1.95 4.325 (end 190.1 159.25 (end 140.2.
- 200 update=Sam 27 Jän 2018 23:01:05 CET.
- 2.158511e-16 -1.000000e+00 facet normal -1.000000e+00 -0.000000e+00.