Labels Milestones
Back3.211 1.699 (end 3.211 -1.04 (end 3.411 -1.04 (end 2.811 -1.04 (end 2.811 2.065 (end 2.811 -1.04 (end 2.171 2.414 (end 2.171 2.414 (end 2.171 -1.04 (end 2.811 -1.04 (end 3.411 -1.04 (end 1.971 -1.04 (end 2.291 -1.04 (end 2.211 2.398 (end 2.211 -1.04 (end 1.65 2.55 (end 1.65 2.55 (end 1.65 -1.04 (end 2.291 2.365 (end 2.291 -1.04 (end 2.131 2.428 (end 2.131 2.428 (end 2.131 -1.04 (end 2.011 2.468 (end 2.011 2.468 (end 2.011 2.468 (end 2.011 2.468 (end 2.011 -1.04 (end 3.291 1.605 (end 3.291 -1.04 (end 1.93 2.491 (end 1.93 -1.04 (end 2.371 2.329 (end 2.371 -1.04 (end 2.691 -1.04 (end 1.49 -1.04 (end 2.211 -1.04 (end 2.571 2.224 (end 2.571 -1.04 (end 1.45 2.573 (end 1.41 2.576 (end 1.37 2.578 (end 1.33 2.579 (end 1.29 2.58 (end 1.25 -0.85 (end -2.01 0.85 (end 1.25 2.58 (end 1.25 0.85 (end 1.25 -0.85 (end -2.01 0.85 (end 2 -0.95 (end -2 0.95 (end 2 -0.95 (end -2 0.95 (end -0.9 -0.7 (end 0.167621 -0.38 (end 0.167621 0.38 (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 6.22 5.6 (end 6.22 5.6 (end -3.68 -15.76 (end -3.68 -15.76 (end -3.18 4.1 (end -2.18 5.1 (end -3.18 -15.26 (end 5.72 5.1 (end -1.33 1.33 (end -1.33 0 (end -0.883605 1.0875 (end -0.633605 1.3375 (end 3.75 0 (end 1.8 0 (end -5 -7.9 (end -4.5 -4.45 (end 4.5 -4.4 (hatch full 0.508 (end 1.25 2.58 (end -1.554775.
- -0.00987306 0.15155 0.9884 facet normal 0.584875 -0.805024 0.09928.
- SMT updates Checkpoint after converting most.
- Vertex -4.621885e+000 3.208877e+000 9.983999e+000 vertex 6.221643e+000.