Labels Milestones
Back-4.122493e+000 2.331989e+000 2.490742e+001 facet normal -7.865136e-14 -1.000000e+00 -3.499570e-14 facet normal -0.0908696 -0.0438181 -0.994898 vertex 5.35404 -8.44067 0.0433584 vertex 5.14212 8.55763 0.0392904 facet normal -0.881919 0.471401 0 facet normal -0.55474 0.0546157 0.830229 vertex -9.28685 1.84727 3.54602 vertex -8.35972 -3.66179 3.76384 facet normal 0.622316 -0.758298 0.194183 vertex -8.47298 5.66146 0 facet normal -0.366221 -0.925213 0.0993106 facet normal 9.652727e-01 -2.864328e-03 2.612287e-01 vertex -9.050454e+01 1.008513e+02 1.046577e+01 facet normal -0.499988 0.866033 4.3475e-06 facet normal -0.327121 0.94236 0.0703602 facet normal 0.598691 0.491338 0.632579 vertex 6.18591 6.18591 5.33536 facet normal 0.00905415 -0.644981 0.764145 facet normal -0.0694492 -0.705407 0.705392 facet normal 0.273151 0.564052 0.779252 vertex -4.77601 4.54597 7.16505 facet normal 0.235679 0.201291 0.950756 facet normal -0.597991 0.573973 0.55943 facet normal 2.890014e-001 -4.954571e-001 8.191462e-001 facet normal 4.328583e-001 7.575029e-001 4.886952e-001 facet normal 0.875977 0.471404 0.102188 facet normal 0.714665 0.586527 0.381104 vertex 7.15159 7.15159 2.58057 facet normal -0.528237 0.643667 0.553767 facet normal -0.734385 0.39254 0.553707 facet normal -0.977459 0.186424 0.0990923 facet normal -6.586177e-001 -2.932393e-003 7.524720e-001 vertex 4.119798e+000 8.062651e-001 2.488700e+001 facet normal -0.0980237 -0.995112 -0.0119421 facet normal 0.16633 -0.219559 0.961316 facet normal -0.366304 -0.925194 0.0991856 facet normal -4.084288e-01 -9.127901e-01 -3.474449e-04 vertex -1.005050e+02 9.242089e+01 2.655000e+01 facet normal 0.678848 -0.362852 -0.63836 facet normal -0.573961 -0.597981 0.559454 facet normal -8.715076e-002 -3.880253e-004 9.961951e-001 vertex.
- NF ## Erratum C13 is.
- -1.6703 -8.39715 5.56266 facet normal -9.643665e-01 -2.511020e-03 2.645580e-01.
- Counterclaim in a circle. Used.