Labels Milestones
BackNormal -0.081813 0.0823699 0.993238 vertex 4.12472 5.39246 7.87006 vertex -4.12931 -5.39153 7.87036 vertex 4.12472 5.39246 7.87006 facet normal 0.75771 0.648787 0.0703597 facet normal -0.195087 0.980786 1.33453e-06 vertex 1.04125 -3.21788 6.59 facet normal -0.0499991 -0.0865457 -0.994992 vertex -4.25585 9.04414 0.0456596 facet normal 0.124395 -0.48503 0.865605 facet normal 0.305573 0.114506 0.945258 vertex -4.75988 5.35776 6.96188 vertex 7.07772 0.359534 6.95295 facet normal -0.773356 -0.633859 -0.0119696 facet normal -9.614031e-001 -3.839567e-003 2.751171e-001 vertex 4.034687e+000 2.310470e+000 2.473857e+001 facet normal 4.391175e-002 -7.528125e-002 9.961950e-001 vertex -8.660063e-001 5.553618e+000 2.495526e+001 facet normal 0.952403 0.288805 0.0975683 vertex -3.44415 8.31492 4.51215 facet normal -0.297045 0.24378 0.92322 facet normal -4.328587e-001 -7.575030e-001 4.886948e-001 vertex 2.026582e+000 3.484095e+000 2.480400e+001 facet normal -0.0972815 0.989353 0.108241 facet normal 3.562742e-001 -6.107880e-001 7.071116e-001 vertex -2.546318e+000 4.359515e+000 2.484855e+001 facet normal 0.878606 -0.0865329 0.469642 facet normal 0.97743 0.186457 0.0993169 facet normal 0.0817537 0.0820584 -0.993269 facet normal -0.468344 0.782842 0.40965 facet normal 1.907807e-01 -2.084875e-03 -9.816305e-01 facet normal 1.435983e-01 2.874049e-03 -9.896319e-01 vertex -1.060220e+02 9.725134e+01 1.025264e+01 facet normal 0.442581 -0.106258 0.890411 vertex 3.40929 -0.719793 18.9636 vertex 4.4 -2.07823 19.4867 facet normal 9.342429e-01 3.566373e-01 3.159233e-04 vertex -9.073916e+01 1.016540e+02 2.655000e+01 vertex -1.042959e+02 1.008924e+02 3.455000e+01 facet normal 2.971823e-001 5.209116e-001 8.002086e-001 vertex -4.122221e+000 -2.447475e+000 2.492316e+001 facet normal 0.634912 -0.772501 0.0113542 facet normal 0.678848 0.362853 -0.63836 facet normal 0.467937 0.312659 -0.826607 vertex 2.48005 -1.89374 18.7502 facet normal 0.367898 0.00384978 0.929858 vertex 0.303284 -7.37107 6.90571 facet normal -0.828666 0.0817378 0.553744 facet normal -0.081619 0.828696 0.553716 vertex 0.344109 -9.92995 2.94279 facet normal 0.0376526 -0.382437 0.923214 facet normal -0.68867 0.165336 0.705973 vertex 6.45265 -0.325107 19.4867 vertex 5.50469 2.16809 19.8418 facet normal 3.566373e-01 -9.342428e-01 -3.489961e-04 vertex -9.500859e+01 9.211231e+01 3.455000e+01 vertex -9.975979e+01 9.211223e+01 1.055000e+01 facet normal 7.768649e-01 -6.296672e-01 3.190811e-04 vertex -1.030956e+02 9.452922e+01 4.255000e+01 facet normal 9.996061e-01 2.805505e-02 7.297994e-04 facet normal -0.694862 -0.464011 -0.549418 facet normal -7.640483e-01 6.451590e-01 0.000000e+00 vertex -9.020291e+01 9.849817e+01 2.655000e+01 facet normal 9.933441e-001 -1.151849e-001 0.000000e+000 vertex -5.777357e+000 4.011096e+000 1.747200e+001 facet normal 0.629624 -0.768293 0.115323 facet normal -0.748162 -0.30988 0.58671 facet normal -0.920073 0.0458435 0.389056 facet normal -7.808552e-001 -3.477544e-003 6.247023e-001 facet normal -0.603867 -0.370049 0.705981 facet normal -0.0980045.
- Vertex 5.276588e+000 -4.782847e+000 9.983999e+000 vertex -5.447498e+000 1.441514e+000 9.983999e+000.
- -6.31675 6.4027 4.51216 facet.
- Then use manual reset (sw16) .
-
Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates