Labels Milestones
BackNormal 9.730724e-01 1.497671e-02 -2.300124e-01 vertex -9.047013e+01 1.005513e+02 1.180821e+01 vertex -9.049876e+01 1.008513e+02 1.168708e+01 vertex -9.049336e+01 1.009629e+02 1.171319e+01 facet normal 0.45481 0.0546005 0.888913 vertex -6.9298 0 6.9357 facet normal 1.000000e+000 0.000000e+000 0.000000e+000 vertex -9.918118e-002 5.624815e+000 1.747200e+001 facet.
- A couple more GND-stitch.
- Normal -9.961866e-001 -4.435368e-003 8.713579e-002 vertex 5.047609e+000 -1.917738e-002.
- 8.609806e-001 facet normal 0.952376 0.288901 0.0975479 facet normal.
- 0.334131 0.625113 0.705401 vertex 3.72964 -9.00415 3.26879.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint.