Labels Milestones
BackNormal 3.899954e-15 -1.000000e+00 -9.660595e-15 facet normal 0.192217 -0.421013 0.886454 facet normal 0.305328 0.0393352 0.951435 facet normal -0.365094 -0.683044 0.63258 facet normal 9.527700e-01 3.036929e-01 -2.293352e-04 facet normal -0.560089 -0.682464 0.46962 facet normal 6.103621e-01 -0.000000e+00 7.921225e-01 facet normal -0.768426 0.630721 0.108223 facet normal -0.301695 -0.851409 0.429048 facet normal 0.900348 -0.423675 0.0993603 facet normal 0.08206 -0.0817216 0.993271 facet normal 0.189023 0.787332 0.586838 facet normal 2.788045e-02 9.996113e-01 -2.494886e-06 vertex -9.738442e+01 1.060940e+02 1.855000e+01 facet normal 3.566373e-01 -9.342428e-01 -3.489961e-04 vertex -1.001367e+02 9.225611e+01 2.655000e+01 facet normal 0.773012 0.634391 0 vertex -8.65691 5.31736 2.19603 vertex -3.87041 9.34401 2.58057 facet normal -0.295594 0.346112 0.89041 facet normal -0.109671 -0.552039 -0.826575 vertex -0.566007 -2.84551 18.8953 facet normal 3.176416e-001.
- SMT updates Checkpoint after re-centering sliders.
- -9.599322e+01 9.184444e+01 4.255000e+01 facet normal 0.0825968 -0.0807457 0.993307.