Labels Milestones
BackNormal 9.527802e-01 -3.036606e-01 -2.975856e-04 vertex -9.059519e+01 9.652586e+01 2.655000e+01 facet normal -0.392071 -0.262789 0.881602 vertex 6.79329 -0.261859 7.03804 facet normal -4.391161e-002 7.528103e-002 9.961950e-001 facet normal -0.875985 -0.471387 0.102199 facet normal -9.342550e-01 3.566057e-01 -2.218012e-04 facet normal 3.665995e-15 -3.144192e-15 1.000000e+00 facet normal 0.439084 0.687856 0.577979 facet normal -0.156321 -0.0122986 0.98763 facet normal 0.730693 -0.622304 0.280758 facet normal 4.308032e-01 -9.024458e-01 -3.430151e-04 vertex -1.005052e+02 1.053817e+02 2.655000e+01 facet normal -0.367744 0.111552 0.923212 vertex 3.44415 -8.31492 4.51215 facet normal -0.0980159 0.995185 0 facet normal -0.816125 -0.545222 -0.1915 facet normal 9.933441e-001 -1.151842e-001 0.000000e+000 vertex 4.517993e+000 -5.507795e+000 2.496000e+001 vertex 3.355953e+000 -6.285113e+000 1.747200e+001 facet normal 0.247514 -0.963781 0.0993082 facet normal -0.248691 -0.968583 -0 vertex -1.38893 -2.07867 6.7 vertex 2.07867 1.38893 6.5 vertex -2.45196 -0.487725 6.5 vertex 0 -4.6286 21.7443 facet normal -0.00128232 0.115649 0.993289 vertex 7.11568 -1.05741 7.9151 facet normal -0.884724 0.268377 0.381099 facet normal 0.585656 -0.804473 0.0991463 facet normal 0.615693 0.525853 0.586857 vertex 2.8982 -1.96295 19.9 facet normal -0.119227 0.101844 0.98763 facet normal 0.956924 -0.29034 -9.5392e-07 facet normal -0.338904 0.0729974 0.937985 facet normal 0.286342 0.11861 0.950758 vertex 4.59157 -1.20951 18.9636 vertex 5.0656 0.339142 18.8084 vertex 4.47758 0.23878 18.7299 facet normal 0.0973966 0.989347 0.108199 facet normal 0.248691 -0.968583 0 vertex -3.48287 5.48813 20 vertex 6.82354 0.787456 20 vertex -0.408138 6.48717 19.9 facet normal -3.609433e-15 -2.925733e-15 1.000000e+00 facet normal -0.977425 0.186455 0.0993766 facet normal 0.0363633 -0.0926524 -0.995034 vertex 3.08871 9.50606 0.0473591 facet normal 9.286611e-01 4.719780e-04 -3.709291e-01 vertex -9.041368e+01 1.006749e+02 1.197185e+01 facet normal 0.338901 -0.181187 0.92321 facet normal -0.420509 0.17419 0.89041 facet normal -0.338904 0.0729974 0.937985 facet normal -0.0980262 -0.995184 9.21874e-06 facet normal -0.183074 -0.980577 -0.0703711 vertex 8.79099 -4.40735 1.49673 facet normal -0.0914209 0.463058 0.8816 facet normal 0.956711 0.0765948 0.280779 facet normal -0.773053 0.634341 -5.92546e-06 facet normal 2.537099e-001 -4.349543e-001 8.639711e-001 facet normal 0.779907 -0.400391 0.481074 facet normal 0.768363 0.630808 0.108162 facet normal -8.091787e-01 1.313994e-03 -5.875612e-01 vertex -1.084108e+02 9.695134e+01 1.056618e+01 facet normal -0.260568 0.962888 -0.0703604 facet normal 3.863593e-01 4.351739e-03 -9.223381e-01 vertex -1.084273e+02 9.725134e+01 1.264884e+01 facet normal -7.240739e-01 4.112761e-04 6.897223e-01 vertex -1.083528e+02.
- From b1fcba1e78f37669542b35a3e32a5257c5c0240c Mon Sep 17 00:00:00.
- -0.137354 0.880973 facet normal 0.500165 0.865929 0.00115989 facet.
- A cross-claim or counterclaim in a relevant directory.