Labels Milestones
Back8.576564e-001 vertex 4.750911e-002 -6.030936e+000 2.492316e+001 facet normal -0.491592 -0.262765 0.830236 facet normal -0.904824 -0.425785 0 vertex 2.76756 -5.88138 19.9 facet normal -0.989344 0.0974275 0.108195 facet normal 5.035473e-001 1.132021e-003 8.639669e-001 vertex -4.133063e+000 1.590761e+000 2.491820e+001 facet normal 4.978813e-001 8.663536e-001 3.931488e-002 facet normal 2.900381e-001 -4.948519e-001 8.191456e-001 vertex -4.361578e+000 3.396764e+000 2.491820e+001 facet normal 0.766708 -0.634271 0.0992935 facet normal -9.468245e-002 9.955075e-001 0.000000e+000 vertex 6.697503e+000 -2.390578e+000 1.747200e+001 facet normal 0.243884 0.297017 0.923202 vertex -5.02581 -7.46215 3.82299 facet normal -0.115344 -0.000261241 0.993326 facet normal 0.0694793 -0.618884 0.782404 vertex -6.57572 0 7.16319 vertex -4.767 4.767 7.03201 vertex 0 -8.97218 4.79464 facet normal 2.006468e-001 9.796637e-001 0.000000e+000 facet normal 0.780265 -0.0331712 0.624569 facet normal -0.727319 0.241698 0.642332 vertex 6.63876 -0.319077 7.17054 vertex 4.54597 -4.77601 7.16505 facet normal 0.737294 -0.221424 -0.638255 facet normal -8.597754e-001 5.106723e-001 0.000000e+000 vertex -4.091196e+000 3.859275e+000 1.747200e+001 facet normal -0.435818 0.815358 0.381123 vertex 4.11794 -9.04239 2.94279 vertex -8.10352 -5.4146 3.26879 vertex -9.20539 -3.813 2.94279 vertex -9.09213 3.43962 3.26879 vertex 3.813 9.20539 2.94279 facet normal 0.956941 -0.290283 -5.32302e-07 facet normal 1.128946e-13 -1.000000e+00 -7.310141e-15 facet normal 0.900548 0.423258 0.0993298 facet normal -0.920076 -0.0458155 0.389052 vertex -7.2327 0.99264 7.55007 vertex 7.25237 0.938256 7.41914 facet normal -0.625096 -0.250125 0.739387 facet normal 0.115483 -6.60207e-05 0.993309 vertex -7.11659 1.0528 7.9152 facet normal 0.88192 0.471399 -4.52508e-06 facet normal 4.720724e-001 -8.093099e-001 3.495213e-001 facet normal 0.538537 0.459965 0.705981 vertex 6.36858 -1.43026 19.8418 facet normal -0.900355 0.423665 0.0993365 vertex -8.76307 4.81754 0 facet normal -0.392534 -0.665275 0.63508 facet normal -4.851180e-001 -8.489574e-001 2.095994e-001 facet normal -0.634396 0.773008 -2.13618e-06 facet normal 0.0980097 0.00965279 0.995139 vertex -5.31765 5.31765 6.0001 facet normal 0.828672 -0.0815232 0.553766 facet normal 0.00133256 -0.116082 0.993239 vertex 1.06427 -7.18483 7.92316 facet normal -2.588559e-001 -1.152516e-003 9.659153e-001 vertex 5.248157e+000 -1.828417e-002 2.494118e+001 facet normal 7.012965e-01 -6.273328e-03 7.128421e-01 vertex.
- -0.41258 -4.71011 21.7538 facet.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates Checkpoint after.