Labels Milestones
Back-2.387860e+000 2.479508e+001 facet normal 0.881816 -0.471442 -0.011941 facet normal 6.451590e-01 7.640483e-01 3.409496e-04 vertex -9.289982e+01 1.045249e+02 1.855000e+01 vertex -9.289982e+01 1.045249e+02 2.655000e+01 facet normal 9.988183e-01 1.425370e-03 -4.857871e-02 facet normal 0.290292 -0.950491 0.11089 facet normal -5.831048e-001 -8.123969e-001 0.000000e+000 vertex -4.919635e+000.
- 0.734384 -0.392538 0.55371 facet normal 0.097362.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after.