Labels Milestones
Back-0.101834 0.119237 0.98763 facet normal 1.299743e-001 -2.238610e-001 9.659156e-001 facet normal 7.589332e-001 -6.511685e-001 0.000000e+000 vertex 6.805400e+000 -2.057571e+000 1.747200e+001 facet normal -7.842363e-02 -3.270449e-03 -9.969148e-01 vertex -1.073417e+02 9.725134e+01 1.021420e+01 vertex -1.071780e+02 9.725134e+01 1.020809e+01 facet normal -0.262766 -0.491602 0.83023 facet normal -0.255018 0.430921 0.865606 facet normal 0.992165 0.101034 0.0734901 vertex -5.19155 -4.11812 7.7465 facet normal -0.288902 0.952375 0.0975576 vertex 8.33262 3.38578 4.51215 facet normal -5.804319e-01 2.431244e-03 -8.143051e-01 facet normal 0.954699 0.292516 0.0546275 facet normal 0.538408 0.714673 0.446497 vertex -6.63594 -0.72986 7.5439 facet normal -0.225392 0.184976 0.956547 vertex -4.48624 6.71414 5.88782 facet normal 5.477323e-002 -9.390183e-002 9.940736e-001 vertex -6.928051e-001 4.442895e+000 2.495526e+001 facet normal 0.33413 0.625115 0.7054 facet normal 2.360004e-15 -8.103531e-16 -1.000000e+00 facet normal -9.534226e-01 -3.016377e-01 7.837633e-06 facet normal 0.24742 -0.963803 0.0993384 facet normal 9.862068e-01 4.821489e-03 -1.654478e-01 facet normal -0.468635 -0.876739 0.108209 vertex 5.71086 1.13596 21.335 facet normal 6.451590e-01 7.640483e-01 -1.440247e-04 facet normal -0.192238 0.421012 0.88645 facet normal 9.017155e-001 3.614250e-003 4.323149e-001 facet normal 5.278363e-01 -8.493461e-01 3.363658e-04 vertex -9.375902e+01 9.268907e+01 4.255000e+01 facet normal 0.0502428 0.08702 0.994939 vertex -4.28928 -6.75883 19.9502 facet normal 0.116041 0.000467445 0.993244 vertex -7.11568 1.05741 7.9151 facet normal 2.104677e-001 3.664394e-001 9.063253e-001 vertex 2.589886e+000 4.454271e+000 2.491820e+001 facet normal -2.554371e-001 -4.462929e-001 8.576564e-001 vertex 4.750911e-002 -6.030936e+000 2.492316e+001 facet normal 0.618884 0.0694793 0.782404 facet normal -4.015069e-001 -7.030049e-001 5.870062e-001 facet normal 4.272878e-001 2.612714e-003 9.041119e-001 facet normal 0.625115 0.33413 0.7054 facet normal -9.369149e-001 -4.171470e-003 3.495326e-001 vertex 4.060421e+000 1.627244e+000 2.480400e+001 facet normal -7.808599e-001 -3.476659e-003 6.246965e-001 facet normal -0.361949 0.422682 0.830862 vertex 5.54554 -4.83932 6.98393 facet normal 0.260571 0.962887 0.0703606 facet normal 0.877365.
- Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after fixes but.
- -0.367721 0.923222 vertex -8.81404 1.79875 3.82299 facet.
- 0.000517913 -0.115713 -0.993283 facet normal.
- Normal -3.562750e-001 6.107888e-001 7.071105e-001 facet normal.