Labels Milestones
Back0.468218 -0.881923 0.0546202 facet normal 0.884724 -0.268375 0.381101 vertex -10.0771 -0.373379 2.58057 facet normal 0.635858 0.771715 -0.0118532 facet normal -0.00746153 -0.0992384 0.995036 vertex 4.9862 6.2525 19.9501 facet normal -0.652557 0.754466 0.0703566 facet normal -0.241717 0.79685 0.553717 facet normal -2.085833e-01 -3.940357e-03 9.779967e-01 vertex -1.077600e+02 9.695134e+01 1.147112e+01 facet normal 0.489735 0.507857 0.708689 facet normal 1.452119e-001 2.519575e-001 9.567815e-001 vertex 4.795206e-002 -6.130479e+000 2.495400e+001 facet normal 0.0979739 0.995118 -0.0119198 facet normal -0.00020217 -0.112857 0.993611 vertex -0.30832 7.3008 6.90914 facet normal 9.174537e-01 2.281261e-03 -3.978361e-01 facet normal -9.160505e-01 -2.251156e-03 -4.010566e-01 vertex -1.071910e+02 9.695134e+01 5.121917e+00 facet normal 0.115312 -0.00018283 0.993329 facet normal -4.539842e-001 7.790953e-001 4.323296e-001 facet normal 0.816088 -0.545288 -0.191472 facet normal -4.048580e-001 6.936646e-001 5.957512e-001 facet normal -0.435833 0.815355 0.38111 vertex 4.11794 9.04239 2.94279 facet normal 0.828628 0.0822158 0.55373 facet normal 5.035238e-001 3.353094e-003 8.639749e-001 vertex -4.157868e+000 -1.694322e+000 2.494118e+001 facet normal -0.528266 0.643689 0.553714 vertex 7.91125 -5.64888 3.26879 vertex 2.08528 -9.21464 3.54602 facet normal 9.811144e-01 0.000000e+00 -1.934285e-01 vertex -1.051912e+02 9.665134e+01 1.086671e+01 vertex -1.052246e+02 9.665134e+01 1.070702e+01 vertex -1.063499e+02 9.725134e+01 1.021498e+01 vertex -1.061852e+02 9.665134e+01 1.022896e+01 vertex -1.063140e+02 9.695134e+01 1.021731e+01 facet normal -9.512867e-01 -3.083077e-01 -2.079303e-05 facet normal.
- Normal -0.625113 -0.334131 0.705401.
- -0.525805 0.586731 facet normal -4.866834e-001 8.343590e-001.
-
Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates
- 4.19817 -5.60068 7.78686 vertex 5.60181 4.2532.
- -2.123847e-15 1.000000e+00 facet normal 0.257261.