Labels Milestones
Back0.993365 vertex -0.410784 -6.35181 7.71954 vertex 6.29114 0.209414 7.71246 facet normal 0.989353 -0.0972815 0.108241 facet normal 0.539147 -0.334152 0.773086 vertex 6.79329 0.261859 7.03804 facet normal -7.765720e-01 1.743264e-03 -6.300261e-01 vertex -1.083783e+02 9.725134e+01 1.052415e+01 vertex -1.084024e+02 9.725134e+01 1.055388e+01 facet normal -4.395883e-001 7.536206e-001 4.886902e-001 facet normal -0.302887 0.92061 0.246448 vertex 4.19531 -5.40903 7.56202 vertex -4.2532 5.60181 7.5827 vertex 4.13797 5.40019 7.76535 facet normal 4.965915e-01 0.000000e+00 8.679844e-01 vertex -1.088519e+02 9.665134e+01 9.338879e+00 vertex -1.086215e+02 9.665134e+01 9.207041e+00 vertex -1.088519e+02 9.715134e+01.
- Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after.
- 0.290281 1.92409e-06 facet normal.
- Normal 3.331023e-001 5.832561e-001 7.408476e-001 vertex -5.079425e+000.