Labels Milestones
Back0.0819177 0.0822333 -0.993241 vertex -4.03376 2.95564 21.7809 facet normal 9.653901e-001 -2.608102e-001 0.000000e+000 vertex -5.970783e+000 3.719342e+000 1.747200e+001 facet normal 9.996069e-01 -2.803474e-02 1.366174e-07 facet normal 0.768482 -0.630652 0.108225 facet normal 0.0243197 -0.30898 0.950758 facet normal 0.118607 0.286344 0.950757 vertex 5.26591 -0.865913 18.9636 facet normal -0.361949 0.422682 0.830862 vertex -5.54018 4.83492 6.98312 vertex -0.632185 -7.16112 7.08096 vertex 0.568952 -7.04362 7.06725 facet normal 0.952732 0.286108 0.102199 vertex 3.82407 2.97699 21.7653 vertex 0.41258 -4.71011.
- SMT updates Checkpoint after re-centering.
- Normal 2.721685e-01 8.860917e-03 -9.622088e-01 vertex.
- Middle of slider panel (between.