Labels Milestones
Back-0.42367 0.0992813 facet normal -0.76848 0.630655 0.108222 facet normal 0.681169 -0.725376 0.0991921 facet normal -3.318471e-001 5.689108e-001 7.524745e-001 facet normal -0.554748 0.0546376 0.830223 facet normal 0.615699 0.52587 0.586835 facet normal 0.382433 0.0376663 0.923215 facet normal 0.115649 0.00128232 0.993289 vertex -4.3279 -5.83299 7.92316 facet normal -0.779907 -0.400391 0.481074 facet normal -0.0816226 -0.828706 0.5537 facet normal 0.257305 0.262695 0.929939 facet normal -1.164300e-07 -1.000000e+00 -7.063260e-07 facet normal -7.640483e-01 6.451590e-01 0.000000e+00 vertex -9.322199e+01 9.303533e+01 1.855000e+01 vertex -9.259138e+01 9.353824e+01 1.055000e+01 facet normal 9.996590e-01 -2.611259e-02 1.272368e-07 vertex -9.019160e+01 9.890142e+01 3.455000e+01 vertex -1.008634e+02 9.260606e+01 1.055000e+01 facet normal -0.400414 -0.779905 0.481058 vertex -4.25586 -4.81447 7.51797 facet normal 0.367809 0.00348095 0.929895 facet normal -0.584623 0.805187 0.0994426 vertex -5.35827 8.44328 0 facet normal 0.0817537 -0.0820584 -0.993269 vertex -4.64918 -0.210331 21.7467 facet normal 0.181167 0.338913 0.92321 vertex 3.47343 8.29927 3.82299 facet normal -0.0980427 0.995182 -7.23691e-06 facet normal 2.588559e-001 1.152516e-003 9.659153e-001 facet normal 0.133707 0.0819149 0.98763 facet normal -0.767777 -0.634425 0.0895734 facet normal -0.189023 0.787332 0.586838 facet normal -0.768445 -0.630708 0.108161 facet normal 0.865129 0.462433 0.194183 facet normal -0.58489 0.80501 0.0993099 facet normal -0.382437 -0.0376526 0.923214 facet normal -0.08206 -0.0817216 0.993271 facet normal -0.491347 0.598712 0.632551 facet normal -4.667726e-001 -8.177243e-001 3.368239e-001 facet normal -9.270894e-01 3.557204e-03 3.748233e-01 vertex -1.084303e+02 9.695134e+01 1.111985e+01 facet normal -0.766708 -0.634279 0.0992472 facet normal 0.453753 0.0357197 0.890411 vertex 4.4 0.251069 18.7299 facet normal -0.288045 0.957542 -0.0119981 facet normal -0.84476 -0.442038 0.301633 facet normal 0.758285 -0.622326 0.194199 facet normal -0.0819033 0.0819011 -0.993269 vertex 2.97699 3.82407 21.7653 vertex -3.62229 -3.03882 21.7538 facet normal -9.377989e-001 -3.471790e-001 0.000000e+000 vertex -6.260352e+000 -3.300258e+000 2.496000e+001 vertex 2.614851e+000 6.540324e+000 1.747200e+001 facet normal -0.768578 -0.632004 0.0992881 vertex 6.91689 -0.398636 20 vertex -6.47214 -4.70228 20 vertex -4.14326 -5.00834 20 vertex -7.43821 2.945 20 facet normal -0.688666 0.165341 0.705976 facet normal 6.013036e-01 7.990207e-01 -1.342751e-04 facet normal 0.38247 -0.447812 0.808196 facet normal -3.355548e-001 9.420207e-001 0.000000e+000 vertex -1.168555e+000 6.931669e+000 1.747200e+001 facet normal -0.91869 -0.264717 0.293144 vertex 5.00765 4.19667 7.52902 vertex -5.03912 -4.29172 7.34278 vertex -0.72986 -6.63594 7.5439 facet normal 6.933023e-15 -1.000000e+00 -6.787200e-14 facet normal -0.0602554 0.0859333 0.994477 vertex 5.83593 -5.4803 19.9427 facet normal -0.0623605 0.633165 0.771501 facet normal -0.000195511 0.116119 0.993235 vertex -5.16186 5.26759 6.86461 facet normal -0.0824715 -0.0562099 0.995007 vertex 7.19917 -3.46694 19.9405 facet normal 5.000001e-001 -8.660254e-001 0.000000e+000 vertex -5.833669e-003 -5.695790e+000 1.747200e+001 facet normal 0.683048 0.365096 0.632574 vertex -7.27387 4.86024 5.33536 facet normal 0.49996 0.866048 8.13718e-05 facet normal 0.471368 -0.881855 -0.0120138 facet normal -0.116009 -0.00017977 -0.993248 vertex -5.38893 1.02637 21.833 vertex -1.05741 -7.11568 7.9151 facet.
- Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after.
- -2.845773e-001 -4.980101e-001 8.191469e-001 vertex 3.459073e+000 3.906283e+000 2.488700e+001 facet.
- Vertex -6.091613e+000 -3.606953e+000 9.983999e+000 vertex 4.517993e+000.