Labels Milestones
BackNormal 0.0933405 0.0288809 -0.995215 vertex 9.29249 3.68164 0.0461054 facet normal 0.547914 -0.449667 0.7054 facet normal -4.077532e-001 6.994046e-001 5.870013e-001 facet normal 2.137222e-001 -3.645506e-001 9.063253e-001 vertex -4.386413e+000 3.439340e+000 2.494118e+001 facet normal 0.0363615 -0.0926478 -0.995035 facet normal -2.786468e-02 9.996117e-01 -2.481595e-06 facet normal -1.326702e-08 -1.000000e+00 -7.842617e-07 facet normal 0.115482 0.00124902 0.993309 vertex 0.0747576 -7.37473 6.86461 facet normal -0.288583 0.95132 0.108209 vertex -2.5504 5.20733 21.335 facet normal 0.462436 -0.865129 0.19418 vertex -8.22545 -5.96308 2.19603 vertex -9.99456 1.98804 2.19603 vertex 5.31736 -8.65691 0 facet normal -5.786627e-004 0.000000e+000 -9.999998e-001 facet normal -0.768481 -0.630653 0.10823 facet normal -0.0820711 -0.0818897 0.993256 vertex -5.22724 5.17002 6.86195 facet normal -0.144955 0.617512 0.77309 facet normal 4.272878e-001 2.612714e-003 9.041119e-001 facet.
- Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after.
- 2.612886e+000 2.470218e+001 facet normal.
- 1.743102e+000 -5.031560e+000 2.491820e+001 facet normal.