Labels Milestones
BackNormal -6.244133e-002 1.055689e-001 9.924496e-001 facet normal -4.127381e-001 7.075877e-001 5.735564e-001 vertex 1.701279e+000 -4.959860e+000 2.484855e+001 facet normal 0.175905 -0.796857 0.577993 vertex -0.817766 -7.24232 7.24096 vertex 5.55594 4.46654 7.22283 facet normal -0.302887 0.92061 0.246448 facet normal 0.881901 0.471435 3.73804e-06 facet normal 0.734373 -0.325742 0.595474 vertex 6.94378 0.693269 7.20613 facet normal 0.634342 0.77296 -0.0119354 facet normal -4.416190e-14 -1.000000e+00 -9.205179e-14 facet normal -0.115745 0.000168718 -0.993279 facet normal -0.603867 0.370049 0.705981 facet normal -0.463945 0.883065 -0.0703623 facet normal -0.0600054 -0.14487 0.98763 vertex 5.14703 0 18.8084 facet normal -0.64375 0.528267 0.553643 facet normal -0.584872 0.80502 0.0993387 vertex -5.09939 6.16411 20 facet normal -2.908023e-001 -2.368297e-003 9.567803e-001 vertex 5.248876e+000 -3.029009e+000 2.493625e+001 facet normal -0.0974418 -0.989341 0.108212 facet normal 0.255018 0.430921 0.865606 vertex -6.94062 0.483852 7.05523 facet normal 1.288822e-001 2.244911e-001 9.659157e-001 vertex -8.395380e-001 5.508242e+000 2.494118e+001 facet normal -1.375729e-14 -1.000000e+00 -2.054442e-15 vertex -1.042907e+02 9.725134e+01 1.146857e+01 facet normal 0.55274 0.109731 -0.826098 facet normal 2.94821e-05 -0.956933 -0.290308 vertex -1.31069 3.16429 11.8737 facet normal 0.307697 -0.502131 0.8082 facet normal 4.990714e-15 -1.000000e+00 9.543561e-15 facet normal 0.423073 -0.690391 0.58683 vertex 2.96974 1.96858 19.8418 vertex 3.64807 -2.3142 19.8418 vertex 4.72511 -2.05265 19.4867 vertex 2.6794 1.7206 19.8418 vertex 2.19422 -1.1239 19.9 facet normal 9.999901e-001 4.452774e-003.
- -0.91869 0.264717 0.293144 facet.
- Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates bacdac34d747275148c56e8293dc209c2e326fe4
- Update with full score .