Labels Milestones
BackVertex 4.041743e+000 -8.365688e-001 2.470218e+001 facet normal -0.995186 -0.0973393 0.0113559 vertex 5.71699 1.07374 21.335 facet normal -4.391291e-002 7.528318e-002 9.961948e-001 facet normal -0.0546376 0.554748 0.830223 facet normal -0.468199 -0.312924 -0.826358 vertex 2.0532 2.04871 18.9333 vertex 3.17521 0 18.7502 facet normal 0.630299 -0.768773 0.108219 facet normal 9.930243e-001 4.114703e-003 1.178376e-001 facet normal -0.49996 -0.866048 8.13718e-05 facet normal -0.39288 -0.56635 0.724495 facet normal 0.956942 -0.290279 -7.53346e-07 facet normal -0.261456 -0.103805 0.959617 vertex 4.83683 -4.97711 6.93683 facet normal -4.866834e-001 8.343590e-001 2.588132e-001 vertex 4.334138e+000 -3.361386e+000 2.475471e+001 facet normal -0.122595 -0.678279 0.724506 facet normal -3.986657e-001 -6.972437e-001 5.957491e-001 facet normal -0.881919 0.471401 1.54281e-06 facet normal -2.218318e-16 -3.986640e-15 1.000000e+00 facet normal 0.115212 -0.000822099 0.993341 facet normal 0.392538 0.734384 0.55371 vertex -3.99693 -8.86128 3.26879 facet normal 0.630808 -0.768363 0.108162 facet normal 0.401165 -0.9133 -0.0703578 facet normal -1.691408e-02 0.000000e+00 -9.998569e-01 facet normal -0.767777 0.634425 0.0895734 facet normal -0.881926 0.471388 6.69388e-06 facet normal 3.279656e-001 5.711610e-001 7.524717e-001 vertex -4.101266e+000 -2.435252e+000 2.490742e+001 facet normal 0.116041 -0.000467445 0.993244 vertex -7.11568 -1.05741 7.9151 facet normal -0.598708 0.491352 0.632552 vertex -4.86024 7.27387 5.33536 facet normal -0.956916 -0.290363 1.95466e-06 facet normal 0.0973868 -0.995182 0.0113607 facet normal -0.98848 0.0980333 0.115312 vertex 6.29114 0.209414 7.71246 facet normal 0.920075 -0.0458094 0.389053 vertex 0.99264 -7.2327 7.55007 facet normal -3.743440e-01 -1.124817e-03 9.272892e-01 vertex -1.053986e+02 9.725134e+01 9.033265e+00 facet.
- 8.08872e-05 -0.113249 0.993567 vertex -0.189947 7.16046.
-
W26 127 - Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after tweaking footprints.