Labels Milestones
Back-3.051877e-07 -1.000000e+00 -6.169139e-07 facet normal 8.278532e-01 0.000000e+00 5.609448e-01 vertex -1.086297e+02 9.725134e+01 5.544934e+00 vertex -1.084873e+02 9.695134e+01 5.334736e+00 facet normal 0.00987306 -0.15155 0.9884 vertex -4.9518 -5.2649 6.88859 facet normal 0.989331 -0.0975625 0.108193 facet normal 3.830637e-02 4.455043e-03 9.992561e-01 vertex -1.071199e+02 9.725134e+01 8.829306e+00 facet normal -0.0819688 0.0815293 0.993295 vertex 4.10478 -5.1829 7.85113 facet normal -0.036199 0.0923587 0.995068 facet normal -4.924157e-001 -8.623471e-001 1.178320e-001 facet normal 0.291191 0.188007 0.938009 facet normal -8.695379e-13 1.000000e+00 -6.065606e-17 facet normal -0.989318 -0.097633 0.108249 facet normal 0.45399 0.891007 0 vertex -3.44415 -8.31492 3 vertex -7.48323 -5.00013 4.51216 facet normal -2.588560e-001 -6.303666e-004 9.659157e-001 vertex -5.249867e+000 -2.118137e+000 2.495526e+001 facet normal -0.273151 0.564052 0.779252 vertex -4.54597 4.77601 7.16505 facet normal -0.111554 -0.367742 0.923213 vertex 2.64292 -8.55797.
- 6.95204 3.82299 facet normal.
- Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after re-centering.
- Normal 4.561123e-001 -7.804182e-001 4.276787e-001 vertex -5.037910e+000 2.849154e+000 2.476740e+001.
- Vertex 7.91125 5.64888 3.26879 facet normal.