Labels Milestones
Back0.0336363 facet normal -0.587776 -0.809024 0 vertex -9.41467 -3.89968 2.19603 facet normal 0.0820835 0.0815518 0.993283 vertex 4.12931 -5.39153 7.87036 facet normal -0.466839 -0.877362 0.110891 facet normal 0.290281 0.956941 1.92409e-06 facet normal 0.643667 0.528237 0.553767 facet normal 8.100479e-01 -3.569934e-03 5.863528e-01 vertex -1.091137e+02 9.665134e+01 9.685153e+00 facet normal 0.392055 0.2628 0.881606 facet normal 8.191569e-001 3.647932e-003 5.735579e-001 vertex -5.065041e+000 -2.117314e+000 2.484855e+001 facet normal -0.840784 -0.532182 0.0993189 facet normal 0.314572 0.147387 0.937721 vertex -7.0162 3.85359 19.9497 facet normal 0.0892041 0.0433596 0.995069 facet normal -0.484683 -0.0154455 0.874554 facet normal 0.768477 0.63066 0.108216 facet normal -0.55473 0.0546198 0.830236 facet normal -0.295599 0.346103 0.890412 facet normal -0.995182 -0.0980427 -7.23691e-06 facet normal -0.284746 -0.909897.
- \*\*\* A-3488 looks similar.
- 6.37291 -7.69968 0.0489512 vertex 7.20635 -6.91828 0.039823.
-
Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates e49f4ab127dc081ee1c77dd21e80d128628a1152