Labels Milestones
Back-6.73225 -0.892525 7.87036 vertex 6.92883 -0.991719 7.78686 vertex 5.60181 -4.2532 7.5827 vertex 4.13797 -5.40019 7.76535 facet normal -1.995148e-15 -2.840072e-15 -1.000000e+00 facet normal 0.286094 0.952737 0.102192 facet normal 0.757711 -0.648786 0.070359 facet normal 9.250155e-02 6.790486e-03 9.956894e-01 vertex -1.073853e+02 9.725134e+01 8.839482e+00 facet normal -0.133703 -0.0819226 0.98763 facet normal -0.466839 0.877362 0.110891 facet normal -0.181168 0.338906 0.923212 vertex -8.96712 -1.78367 3.76384 facet normal 0.980786 -0.195086 1.65233e-07 vertex -3.42107 0.0197401 18.1498 facet normal 0.31635 0.464833 -0.826954 facet normal 4.961389e-001 8.682432e-001 0.000000e+000 facet normal -0.881927 0.471385 0 facet normal -1.662431e-01 -9.860847e-01 -3.475954e-04 vertex -9.638643e+01 9.177819e+01 2.550000e+00 facet normal 6.451590e-01 7.640483e-01 -1.440247e-04 facet normal 0.114987 -0.957361 0.265023 facet normal.
- 9.094409e-01 vertex -1.082696e+02 9.725134e+01 9.030831e+00 facet normal 0.877714.
- -1.660529e-01 vertex -1.084964e+02 9.715134e+01.
- Updates SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b Checkpoint after.