Labels Milestones
Back6.470718e-01 4.840642e-03 -7.624137e-01 vertex -1.088752e+02 9.725134e+01 1.235996e+01 facet normal -0.219559 -0.16633 0.961316 facet normal -0.654326 -0.271034 0.705973 facet normal -5.596008e-14 -1.000000e+00 3.874159e-14 facet normal 0.900349 0.423684 0.0993114 facet normal 0.727323 -0.241721 0.642318 facet normal 0.88054 0.472777 0.0336276 facet normal 5.039928e-01 8.637078e-01 1.027001e-04 vertex -1.011809e+02 1.050104e+02 4.255000e+01.
- -5.011796e-003 5.764301e+000 2.470887e+001 facet normal 0.630655.
- Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint.
- Normal -9.127763e-01 -4.084597e-01 -0.000000e+00 vertex -1.044754e+02 9.769640e+01 3.455000e+01.