Labels Milestones
Back-6.96854 0.953609 7.5827 facet normal -0.601759 -0.737729 0.30601 facet normal 0.0729058 0.338907 0.937991 facet normal 0.63014 0.772994 0.0735165 vertex 6.72966 0.896427 7.87006 vertex -6.73225 -0.892525 7.87036 vertex 6.92883 -0.991719 7.78686 facet normal 0.772501 -0.634912 0.0113542 vertex -4.13938 -5.6469 10.3435.
- Normal 4.877140e-001 -8.337538e-001 2.588236e-001 vertex -4.285366e+000 3.266107e+000.
- SMT updates Checkpoint after tweaking footprints some.