Labels Milestones
BackNormal -0.366306 0.925189 0.09922 facet normal 0.976261 -0.0729941 0.203926 vertex 7.22332 -1.01854 7.61242 facet normal 0.172853 -0.0221096 0.984699 vertex -0.139654 7.39048 6.87554 facet normal -5.809790e-01 1.636474e-03 8.139169e-01 vertex -1.082503e+02 9.695134e+01 1.130413e+01 facet normal 0.63014 -0.772994 0.0735165 facet normal 6.013035e-01 7.990206e-01 3.429106e-04 vertex -9.322219e+01 1.047675e+02 3.455000e+01 facet normal 0.273132 0.564081 0.779238 facet normal 0.491592 0.262765 0.830236 facet normal -0.645447 0.129416 0.752761 facet normal -0.0221096 -0.172853 0.984699 vertex 7.39048 -0.139654 6.87554 facet normal 3.279656e-001 5.711610e-001 7.524717e-001 vertex -4.101266e+000 -2.435252e+000 2.490742e+001 facet normal -0.909897 -0.284746 0.301674 vertex 0.394998 -6.4137 7.51797 facet normal -9.996066e-01 2.803745e-02 7.234565e-04 facet normal 0.645447 -0.129416 0.752761 facet normal -0.248691 0.968583 0 facet normal 3.036929e-01 -9.527699e-01 3.511617e-04 facet normal -0.769304 0.631387 0.0975749 vertex 5.00013 7.48323 0 vertex 8.82707 -1.75581 4.51215 facet normal 0.224825 -0.741147 0.632577 facet normal 0.0221491 0.0970093 0.995037 vertex 5.8333 -5.48276 19.9427 vertex 6.0675 5.62982 19.9688 facet normal 2.488646e-001 4.377518e-001 8.639675e-001 vertex -4.125751e+000 -5.169298e-002 2.491820e+001 facet normal -0.00043693 0.116114 0.993236 vertex -0.996058 -5.28966 21.8214 facet normal 5.555843e-01 -8.314602e-01 -3.414617e-04 vertex -9.355745e+01 9.281117e+01 3.455000e+01.
- SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b Checkpoint after converting.
- 3.87686 21.8439 facet normal 0.0218118 0.172865.