Labels Milestones
BackNormal 0.449684 -0.462456 0.764146 vertex -6.81829 -0.589577 7.19149 facet normal -0.430898 0.353597 0.830239 facet normal -0.828714 -0.0168607 0.559418 vertex 7.27563 0.849259 7.2866 facet normal -4.797886e-01 -8.773841e-01 3.384709e-04 vertex -9.410987e+01 9.249720e+01 4.255000e+01 facet normal -0.279012 -0.0846382 0.95655 vertex 0 10.1904 0 2.19603 vertex 5.96308 -8.22545 2.19603 facet normal -0.0822463 -0.0819801 0.993235 facet normal 5.142109e-001 2.648181e-003 8.576596e-001 facet normal 0.946342 0.307486 0.0994494 facet normal -2.129176e-001 3.650208e-001 9.063255e-001 facet normal -4.384196e-001 7.543000e-001 4.886919e-001 vertex 6.390748e-001 -4.360113e+000 2.480400e+001 facet normal 3.776894e-15 -4.048832e-15 1.000000e+00 facet normal 5.221212e-01 1.080461e-02 -8.528029e-01 vertex -1.085511e+02 9.715134e+01 1.258937e+01 facet normal -0.995186 -0.0973393 0.0113559 vertex 1.06598 6.91995 10.3435 facet normal 0.33413 0.625115 0.7054 facet normal -0.0580967 -0.0922853 0.994036 facet normal -0.601732 0.737769 0.305966 vertex 4.47998 4.47998 7.50886 vertex -4.6363 -4.35153 7.51116 facet normal 0.773008 0.634396 -2.13618e-06 facet normal 0.000000e+00 -1.000000e+00 0.000000e+00 -0.000000e+00 vertex -1.081512e+02 9.665134e+01 1.136574e+01 vertex -1.082916e+02 9.725134e+01 1.127522e+01 facet normal -0.0843473 0.0403748 -0.995618 vertex -9.29343 3.67953 0.0465801 facet normal -0.989314 -0.0976537 0.108268 facet normal 0.740025 -0.607317 0.289014 vertex 4.98467 -7.46009 4.79464 facet normal -0.225389 0.184972 0.956549 facet normal 0.310055 -0.469341 -0.826792 vertex -1.13356 2.66747 18.9318 facet normal -0.012304 -0.156322 0.987629 facet normal 8.191506e-001 4.917467e-003 5.735575e-001 facet normal -0.847857 0.479705 0.225879.
- -9.047118e+01 1.005513e+02 7.486783e+00 vertex -9.047118e+01 1.005513e+02 6.078580e+00 vertex.
- Updates SMT updates 2d3c489f2acf0f8bdc9cf0fe8c2346d4d07472be More.