Labels Milestones
Back-5.128460e+000 2.900898e+000 2.488918e+001 facet normal -0.584816 0.805071 0.0992566 facet normal 8.462654e-01 -2.992164e-03 5.327532e-01 facet normal 2.806319e-02 -9.996062e-01 0.000000e+00 vertex -9.778748e+01 9.171995e+01 3.455000e+01 vertex -1.027474e+02 9.410842e+01 2.655000e+01 facet normal 0.257305 -0.262695 0.929939 vertex -4.89431 5.50428 6.95641 facet normal -0.499991 -0.866031 2.04283e-06 vertex -2.69039 -1.09142 18.554 facet normal 0.12243 -0.987495 0.0993177 facet normal -9.482393e-01 -5.548876e-03 3.175082e-01 facet normal -8.282777e-01 4.097348e-03 -5.603029e-01 vertex -1.075503e+02 9.665134e+01 5.744652e+00 facet normal 4.225726e-001 1.881832e-003 9.063271e-001 facet normal -0.0342449 -0.29048 0.956268 facet normal -9.318321e-01 3.433637e-03 -3.628734e-01 facet normal 0.768498 -0.630632 0.108232 facet normal -0.94716 -0.0961108 0.306023 vertex 0.201366 -6.35535 7.51116 facet normal 9.369149e-001 4.172014e-003 3.495326e-001 facet normal -0.0723551 0.301372 0.950757 facet normal -0.0818837 -0.0813285 0.993318 vertex -4.13072 4.97411 7.83604 facet normal -0.0702817 0.382543 0.921261 facet normal 2.747832e-01 -9.615062e-01 -3.462318e-04 vertex -9.521615e+01 1.057595e+02 2.550000e+00 facet normal 8.426097e-01 -5.385247e-01 -3.216361e-04 vertex -9.121820e+01 1.026046e+02 2.550000e+00 facet normal 0.491592 -0.262765 0.830236 facet normal -0.288902 0.952375 0.0975576 vertex -8.33262 -3.38578 4.51215 facet normal 1.413055e-15 -1.598987e-15 -1.000000e+00 facet normal 0.172865 0.0218118 0.984704 vertex 5.16382 5.28814 6.86646 facet normal -0.980785 -0.195093 -2.07266e-07 facet normal -0.0821527 -0.0555744 0.995069 vertex -2.95756 -7.53573 19.9509 vertex -7.63602 2.3554 19.9406 facet normal 0.94072 0.331806 -0.0703595 vertex 8.66595 1.30618 12.2548 facet normal -4.415277e-01 -4.612447e-03 8.972358e-01 facet normal 0.195085 -0.980786 -3.35362e-06 vertex -0.4 3.26571 11.5393 vertex -1.45059 3.07081 12.1818 vertex -0.4 3.26571 14.9643 vertex 0.800782 3.26571 11.5393 vertex -1.45059 3.07081 12.1818 vertex 0.4 -3.34544 13.7091 vertex 0.4 2.96144 10.597 vertex 0.4 -2.96144 10.597 vertex -0.4.
- 0.305328 0.951435 facet normal 3.986639e-001 6.972410e-001 5.957534e-001.
- 9f9f6acf76f746b4755da71c07bb656091774052 SMT updates 289eacd41f936a34813e1e82f711b9b6ca96fb7b Checkpoint.