Labels Milestones
Back2.751171e-001 vertex 4.034687e+000 2.310470e+000 2.473857e+001 facet normal -0.584885 -0.80502 0.0992537 facet normal 0.2956 0.346101 0.890413 facet normal -0.338904 0.0729974 0.937985 facet normal -0.993105 0.0624783 0.0991895 vertex -7.93692 1.00267 20 facet normal 0.801132 0.594337 -0.07036 vertex -9.44522 2.75051 1.4766 facet normal -1.750715e-001 -3.090179e-001 9.348037e-001 facet normal -3.333789e-001 -5.830855e-001 7.408574e-001 vertex -5.567250e-003 5.889094e+000 2.488918e+001 facet normal 5.555843e-01 -8.314602e-01 0.000000e+00 vertex -9.055258e+01 9.665134e+01 1.561034e+01 facet normal -0.681165 -0.72537 0.0992586 facet normal -0.977429 0.186458 0.0993312 vertex -9.68583 -2.4869 0 facet normal 9.659106e-001 5.496109e-003 2.588178e-001 vertex -4.996787e+000 -2.117010e+000 2.470218e+001 facet normal 0.768477 0.63066.
- -3.074490e-001 9.348027e-001 vertex -4.212699e+000 2.383536e+000 2.495400e+001 facet normal.
- -4.355087e-003 2.096208e-001 facet normal 0.836797 -0.462425 0.293145.
- Normal -0.615692 -0.525864 0.586848 facet normal.
- Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates 2bb058d5715f395d3571ea05d3008566787a2bdb main.