Labels Milestones
Back3.060683e+000 2.475471e+001 facet normal 0.572633 -0.137482 0.808202 facet normal 0.0754507 0.766031 -0.63836 facet normal 9.09242e-05 0.114971 0.993369 vertex -6.27889 -0.209414 7.81747 facet normal 0.486758 0.388527 0.782377 facet normal 4.344161e-001 9.007123e-001 0.000000e+000 facet normal -0.188081 -0.291196 0.937993 facet normal 1.305081e-14 -1.000000e+00 3.984226e-15 facet normal 0.309855 -0.748097 0.586806 vertex 3.29531 -2.16809 19.8418 facet normal -0.0458094 -0.920075 0.389053 facet normal 0.865135 0.354642 0.354642 vertex 6.95569 6.45393 6.1731 vertex 6.20582 5.75816 17.8205 facet normal -7.744031e-01 -1.065799e-03 -6.326916e-01 facet normal -0.076128 -0.0624768 0.995139 vertex -7.20038 -2.98249 5.97318 vertex 2.96676.
- Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after.
- 6.938886e-01 0.000000e+00 -7.200824e-01 facet normal 0.947172.