Labels Milestones
Back0.951433 facet normal 9.127763e-01 4.084597e-01 -0.000000e+00 vertex -9.090395e+01 1.020222e+02 2.655000e+01 facet normal -0.758298 -0.622316 0.194183 facet normal -9.969315e-01 -5.655619e-03 7.807489e-02 facet normal -0.368125 -0.929776 0 vertex 2.36142 9.8813 2.19603 facet normal 0.0624761 -0.0761267 0.995139 vertex 5.23977 5.38158 6.0001 facet normal -0.768469 0.630673 0.108201 facet normal 0.0568312 0.0727061 0.995733 facet normal -0.682464 0.560089 0.46962 facet normal -0.16179 -0.433624 0.88645 facet normal 0.468222 0.88192 0.0546261 facet normal 0.956715 -0.0766184 0.280761 facet normal -1.575940e-001 -2.757893e-001 9.482111e-001 vertex 1.378441e+000 4.005100e+000 2.494118e+001 facet normal 2.170014e-13 -1.000000e+00 -4.708072e-14 facet normal 0.875985 0.471387 0.102199 vertex 0.598972 -4.80907 21.7653 vertex -3.03882 3.62229 21.7538 facet normal -0.0980238 -0.995184 -0 facet normal -0.634342 -0.77296 -0.0119354 vertex 1.61115 -2.41126 19 vertex -1.10978 2.67925 19 vertex 0.565762 -2.84428 19 vertex -2.67925 -1.10978 19 facet normal 0.334131 -0.539147 0.773096 facet normal 0.288318 0.956944 0.0336339 facet normal 0.124621 -0.886065 0.446496 vertex -5.20841 4.17623 7.5439 vertex -4.27288 -5.22414 7.35649 vertex -5.40904 4.29047 7.37319 facet normal -0.995185 0.0980112 8.10094e-06 facet normal -0.382337 -0.0378714 0.923247 facet normal 0.585656 -0.804473 0.0991463 facet normal -0.338932 0.181159 0.923205 vertex -7.92022 4.18257 3.82299 facet normal 0.0822608 -0.0821747 0.993217 vertex 5.29418 -5.16563 6.86711 facet normal -0.634392 -0.773012 0 vertex 1.76336 -2.42705 0 vertex 2.40611 -1.85105 6.59 facet normal 0.99044 0.0975476 0.0975398 vertex -1.69511 8.83305 4.51215 facet normal -1.000000e+00 0.000000e+00 0.000000e+00 -1.000000e+00 6.954550e-14 facet normal -0.00905415 0.644981 0.764145 facet normal -6.615076e-01 -7.499383e-01 3.287206e-04 vertex -1.022904e+02 9.364161e+01 4.255000e+01 facet normal -0.679084 -0.550873 0.485163 facet normal 0.938729 -0.260332 0.225866.
- Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates ec67859b1c2779470b99801ce69f8850b83fa3e1
- -9.891674e-001 -4.709916e-003 1.467164e-001 vertex 5.057285e+000 -2.919529e+000.
- 0.573973 -0.597991 0.55943 vertex 5.74517 -4.54413 7.2866 facet.