Labels Milestones
BackVertex 5.673623e+000 -2.682343e-001 9.983999e+000 vertex 6.105788e+000 -3.657241e+000 2.496000e+001 vertex -3.156789e+000 6.278394e+000 1.747200e+001 facet normal -0.0980238 -0.995184 -0 facet normal 0.471711 -0.881672 -0.0119957 facet normal -0.0419816 -0.554754 0.830954 facet normal 0.706052 0.0555714 0.705976 facet normal 0.0559554 0.885449 0.461356 facet normal -0.417288 0.223046 0.880977 facet normal -6.194752e-01 7.850162e-01 -3.364310e-04 vertex -1.018690e+02 1.045247e+02 1.855000e+01 vertex -1.040294e+02 9.614870e+01 1.855000e+01 vertex -1.043966e+02 9.730070e+01 1.855000e+01 vertex -9.976002e+01 1.056904e+02 1.055000e+01 vertex -9.151829e+01 1.030637e+02 1.055000e+01 vertex -1.037469e+02 1.022558e+02 2.550000e+00 facet normal 3.318487e-001 -5.689132e-001 7.524721e-001 vertex -1.343181e+000 3.927967e+000 2.488700e+001 facet normal 7.409568e-001 3.466066e-003 6.715438e-001 facet.
- 6.246899e-001 facet normal 0.181168.
- 0.976223 0.0962896 0.194209 facet normal -0.778622 -0.416181.
- -3.767540e-15 -4.271187e-15 1.000000e+00 facet normal.
- Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b