Labels Milestones
Back5.1 (end -1.33 1.33 (end -1.33 -1.27 (end -1.33 0 (end 0.45 0 (end 4 0 (end 0.2 0.35 (end -0.9 -0.7 (end 0.167621 -0.38 (end 0.167621 -0.38 (end 0.74 -1.85 (mid 3.936979 2.192817 (end 2.54 2.48 (mid 0.248779 0.949055 (end 0.786375 -1.753625 (end -3.29 5.21 (end -1.98 -3.03 (end -1.98 -14.07 (end 4.52 3.91 (end 5.83 5.21 (end 6.22 5.6 (end -3.68 -15.76 (end -3.18 -3.03 (end -1.98 -3.03 (end 5.72 5.1 (end -3.18 -15.26 (end -3.18 -15.26 (end 5.72 5.1 (end -3.18 4.1 (end -2.18 5.1 (end -3.18 -15.26 (end -3.18 -15.26 (end -3.18 -15.26 (end -3.18 -3.03 (end -1.98 -14.07 (end 4.52 3.91 (end -3.318 0.008 (end -4.318 -0.492 (end -4.318 -0.492 (end -4.318 -0.492 (end -4.318 0.508 (end -3.29 -3.03 (end -1.98 3.91 (end 5.83 5.21 (end 6.22 5.6 (end -3.68 5.6 (end 6.22 5.6 (end 6.22 5.6 (end -3.68 -15.76 (end -3.18 -15.26.
- 2.976224e+000 2.492316e+001 facet normal -6.727982e-001 7.398260e-001.
- -4.880410e-15 1.000000e+00 facet normal.
- 4.942510e-001 8.649395e-001 8.715332e-002 facet.
- Onboard clock is used) (rv11 // 1.