Labels Milestones
BackVertex -5.015071e+000 1.989125e+000 2.470218e+001 facet normal 0.634425 -0.767777 0.0895734 facet normal 0.0974461 -0.989341 0.108206 facet normal 0.622326 0.758285 0.194199 vertex -7.20568 7.20568 0 facet normal 0.272878 0.0376859 0.96131 vertex 7.13321 0 6.87796 vertex 5.09136 5.00497 6.87866 facet normal 0.952359 -0.288955 0.0975571 vertex -1.75581 8.82707 4.51215 facet normal -0.992167 0.100994 0.0735183 vertex 4.24331 -2.97557 21.7998 facet normal 0.630299 0.768773 0.108219 facet normal -0.76848 -0.630656 0.108218 facet normal -0.0817537 -0.0820584 -0.993269 vertex -4.64918 0.210331 21.7467 facet normal 0.831514 0.555503 1.12285e-07 facet normal -0.0723551 -0.301372 0.950757 facet normal -0.137479 0.572634 0.808202 facet normal 0.308982 0.0243228 0.950757 vertex 3.17541 0 18.9636.
- Vertex -3.396157e+000 -4.550773e+000 1.747200e+001.
- Normal 0.462456 0.449684 0.764146 vertex 0.589577 -6.81829 7.19149.
- Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after fixes but before.
- -2.93351 -1.2151 18.7502 facet normal 0.183013 -0.98059.
- -2.120820e-03 9.717966e-01 facet normal 0.016946 0.828689 0.559453 facet.