Labels Milestones
Back0.0906197 0.920082 0.381101 facet normal 0.106257 -0.442581 0.890411 facet normal -0.0357185 -0.453753 0.890411 vertex 3.23535 0.378418 18.9636 vertex 2.74859 0.261558 19.1916 facet normal 0.839737 -0.533833 0.0993166 facet normal -0.273132 -0.564081 0.779238 facet normal -0.0925097 -0.0580283 0.994019 facet normal 9.653901e-001 -2.608102e-001 0.000000e+000 vertex 7.068955e+000 -6.845815e-001 1.747200e+001 facet normal -0.368125 -0.929776 0 vertex -2.43301 -2.40512 18.1498 vertex 3.16429 1.31069 6.59 vertex -0.4.
- -2.431244e-03 -8.143051e-01 facet normal -9.342550e-01 3.566057e-01 -2.218012e-04 facet.
- -9.599935e-01 -2.800221e-01 8.544736e-05 facet normal -0.0694843 -0.705398.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after.