Labels Milestones
Back0.913292 0.07036 facet normal -0.00725825 0.0991098 0.99505 facet normal -0.0112271 0.0915932 0.995733 facet normal -0.183001 -0.980592 -0.0703583 facet normal 0.00743567 -0.0992448 -0.995035 vertex -9.98521 -0.172147 0.0395563 facet normal -0.365743 -0.30016 0.880986 facet normal 5.559167e-02 -9.984535e-01 3.473349e-04 vertex -9.718424e+01 9.171142e+01 4.255000e+01 facet normal 0.45399 -0.891007 0 facet normal 0.000000e+00 9.486858e-15 1.000000e+00 vertex -1.034466e+02 9.890134e+01 4.255000e+01 facet normal -7.640264e-01 -6.451849e-01 -3.270579e-04 vertex -9.202104e+01 9.410860e+01 2.655000e+01 facet normal -4.814240e-02 2.065603e-03 9.988383e-01 facet normal 0.0426235 -0.554793.
- B/2, Vertical, 2 rows.
- -8.589973e-001 1.467314e-001 facet normal 0.262766.
- 9.094409e-01 vertex -1.082696e+02 9.665134e+01.
- Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint.