Labels Milestones
Back-0.32036 -0.220665 0.921236 facet normal -0.0127267 0.705404 0.708692 vertex 7.29119 -0.781299 7.20554 facet normal -7.808608e-001 -2.020115e-003 6.247017e-001 vertex -5.948193e-001 -4.413863e+000 2.488700e+001 facet normal -0.0727789 -0.0673895 -0.995069 vertex -8.0879 5.8736 0.0420134 facet normal -0.0533625 0.0923569 -0.994295 vertex -5.35568 -8.4392 0.0482624 facet normal -0.00725825 0.0991098 0.99505 facet normal 0.241723 -0.796854 0.553709 facet normal -0.137651 -0.106817 0.984704 facet normal -0.45399 0.891007 0 vertex 1.31069 3.16429 12.85 vertex -1 6.3311 13.3597 vertex -1 7.23003 7.56779 vertex -1 6.84708 8.58432 vertex -1 7.16683 7.57523 vertex -1 7.20588 7.57063 vertex 1 6.95595 7.79002 vertex 1 7.30206 6.90928 vertex -1 6.43 12.85 vertex 1.31069 3.16429 6.59 vertex 0.982998 3.22947 6.59 facet normal -9.996066e-01 2.803745e-02 7.234565e-04 facet.
- SMT updates Checkpoint after converting most things to.
- 0.0974349 -0.989342 0.108208 facet normal -0.58489 -0.80501 0.0993099.