Labels Milestones
Back0.172853 0.984707 vertex -7.39048 -0.139654 6.87554 facet normal -0.268373 0.884719 0.381114 facet normal 0.796858 0.241725 0.553703 facet normal 0.989345 0.0974075 0.108204 facet normal -0.205763 0.678285 0.705402 facet normal 0.884723 -0.222395 0.409641 facet normal 0.630109 -0.773019 0.0735123 vertex 6.56738 0.762348 7.85113 facet normal 0.884724 -0.268375 0.381101 vertex -1.97312 -9.91954 2.58057 facet normal -8.947822e-02 3.134218e-04 9.959887e-01 facet normal 0.532805 -0.843308 0.0703631 facet normal -9.552448e-01 -5.024842e-03 2.957738e-01 vertex -1.043110e+02 9.665134e+01 1.021968e+01 facet normal 0.02858 -0.290163 0.95655 facet normal 2.94821e-05 -0.956933 -0.290308 vertex 1.31069 -3.16429 18.1498 vertex -3.15183 1.32933 6.59 vertex 0.982998 3.22947 6.59 facet normal -8.401793e-02 9.964642e-01 0.000000e+00 facet normal -8.795701e-14 1.000000e+00 2.848530e-14 facet normal -0.485049 -0.124364 0.865599 vertex -4.56563 5.2499 7.05523 facet normal 0.471366 -0.881856 -0.0120354 facet normal -0.779905 0.400414 0.481058 vertex 4.34627 4.86109 7.33259 facet normal -0.768498 -0.630632 0.108232 facet normal -0.112453 -0.551187 -0.826769 vertex -1.10704 2.68091 18.9333 facet normal 0.471394 -0.881923 0 vertex 2.42184 -2.42184 6.59 facet normal -9.700106e-001 -4.799378e-003 2.430151e-001 vertex 5.035938e+000 2.883759e+000 2.470887e+001 facet normal 4.384181e-001 -7.542969e-001 4.886981e-001 vertex -6.057309e-001 4.293616e+000 2.480400e+001 facet normal 0.0980097 0.00965279 0.995139 vertex -1.46714 -7.3758 6.0001 facet normal 0.101034 -0.992165 0.0734901 facet normal 0.00746316 -0.0990468 -0.995055 vertex 1.87088 9.81894 0.0427516 facet normal 0.353627 -0.43089 0.83023 facet normal -9.507957e-01 8.916102e-03 -3.096902e-01 facet normal 0.0285897 -0.0942433 0.995139 facet normal 0.00125241 -0.115499 0.993307 facet normal 0.938724 0.284757 0.194192 facet normal 9.907067e-001 4.411430e-003 1.359438e-001 facet normal 1.397736e-01 9.901835e-01 -3.655938e-05 facet normal -0.297017 0.243884 0.923202 vertex -5.02581 -7.46215 3.82299 facet normal 8.577423e-001 4.200219e-003 5.140627e-001 facet normal 0.652531 -0.754488 -0.0703586 facet normal -4.454752e-15 -1.000000e+00 -8.623081e-14 facet normal 0.0819011 -0.0819033 -0.993269 vertex 3.62229 3.03882 21.7538 facet normal -0.865137 -0.462425 0.194169 facet normal 9.682989e-01 2.497928e-01 9.287444e-04 vertex -9.047274e+01 1.008927e+02 1.855000e+01 vertex -9.322219e+01 1.047675e+02 3.455000e+01 facet normal -0.844328 0.535827 0 vertex -8.65691 5.31736 2.19603 vertex 10.1139 0 2.58057 vertex 5.31736 -8.65691 0 facet normal 0.0868542 0.0464245 0.995139 vertex -7.3758 -1.46714 6.0001 facet normal -0.271031 -0.654318 0.705982 vertex 5.3435 -1.85172 19.4867 vertex 2.93047 -1.46953 19.4867 facet normal 0.878615 -0.0865373 0.469624 facet normal 0.115076 -0.00068584 0.993356 facet normal 4.866820e-001 -8.343557e-001 2.588264e-001 vertex -3.405740e+000 3.795491e+000 2.475471e+001 facet normal -3.316361e-15 -5.336789e-15 1.000000e+00 facet normal -0.491615 -0.164793 0.855078 vertex 0.632185 -7.16112 7.08096 vertex 5.3829 4.57828 7.06725 vertex -4.78839 5.45272 6.97207 vertex 7.15425 -0.422769 6.96188 vertex -4.75047 5.25893 6.95295 facet normal -0.0316549 -0.0148778 0.999388 vertex 7.01508 -3.85657 19.9472 facet normal -0.325742 0.734373 0.595474 vertex 0.693269.
- 8.468809e-001 -5.317826e-001 0.000000e+000 vertex -5.605745e+000.
- Href="https://gitea.circuitlocution.com/synth_mages/MK_SEQ/commit/9f9f6acf76f746b4755da71c07bb656091774052">9f9f6acf76f746b4755da71c07bb656091774052 SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b Checkpoint after.