Labels Milestones
Back2.48 (end 1.971 -1.04 (end 2.611 -1.04 (end 1.93 -1.04 (end 3.051 -1.04 (end 1.89 -1.04 (end 2.411 2.31 (end 2.411 -1.04 (end 3.291 -1.04 (end 3.451 -1.04 (end 3.491 -1.04 (end 2.731 -1.04 (end 2.971 -1.04 (end 2.971 -1.04 (end 2.291 -1.04 (end 1.93 2.491 (end 1.93 2.491 (end 1.93 -1.04 (end 2.931 -1.04 (end 3.331 1.554 (end 3.331 1.554 (end 3.331 1.554 (end 3.331 1.554 (end 3.331 -1.04 (end 3.451 -1.04 (end 2.651 -1.04 (end 3.251 -1.04 (end 2.171 2.414 (end 2.171 2.414 (end 2.171 2.414 (end 2.171 2.414 (end 2.171 -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 2.579 (end 1.29 2.58 (end 1.25 2.58 (end -1.554775 1.475 (end -1.304775 1.725 (end 3.87 0 (end 4 0 (end 1.8 1.8 (end -1.8 -6.85 (end -1.8 1.8 (end -0.635 1.27 (end -1.27 -6.35 (end 3.851 0.284 (end 3.811 0.518 (end 3.771 0.677 (end 3.731 0.805 (end 3.691 0.915 (end 3.651 1.011 (end 3.611 1.098 (end 3.571 1.178 (end 3.531 1.251 (end 3.531 1.251 (end 3.531 1.251 (end 3.531 1.251 (end 3.531 -1.04 (end 2.291 2.365 (end 2.291 -1.04 (end 2.611 -1.04 (end 1.81 2.52 (end 1.81 -1.04 (end 2.491 -1.04 (end 1.73 -1.04 (end 3.291 1.605 (end 3.291 -1.04 (end 1.89 2.501 (end 1.89 -1.04 (end 1.53 2.565 (end 1.53 2.565 (end 1.53 2.565 (end 1.53 -1.04 (end 3.331 1.554 (end 3.331 -1.04 (end 1.49 2.569 (end 1.49 -1.04 (end 2.531 2.247 (end 2.531 -1.04 (end 2.331 -1.04 (end 3.011 1.901 (end 3.011 -1.04 (end 3.331 1.554 (end 3.331 -1.04 (end 2.011 2.468 (end 2.011 -1.04 (end 3.331 1.554 (end 3.331 -1.04 (end 1.971.
- 8.715076e-002 3.880389e-004 9.961951e-001 vertex -2.598724e+000 -4.625798e+000 2.495526e+001.
- 7.35649 vertex -6.85859 -0.790944 7.37319 facet normal -0.479685.
- SMT updates SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b Checkpoint.