Labels Milestones
Back-0.75193 19.8418 vertex 5.4672 2.22927 19.9 vertex 2.94487 -2.00281 19.9 facet normal 0.952377 -0.288901 0.0975456 facet normal 1.613827e-14 -3.046293e-14 1.000000e+00 facet normal -0.0464245 0.0868542 0.995139 vertex -2.78147 -6.9771 6.0001 facet normal 0.47101 -0.882048 -0.0118783 facet normal -0.679089 0.550857 0.485175 vertex -6.43867 0 7.3242 facet normal -2.930761e-004 -5.076226e-004 -9.999998e-001 facet normal -9.527700e-01 -3.036929e-01 0.000000e+00 facet normal 3.561311e-01 3.436078e-03 -9.344297e-01 facet normal 0.876739 -0.468635 0.108208 facet normal -0.491814 -0.40362 0.771499 facet normal -0.000100725 -0.112843 0.993613 vertex -0.241561 7.20291 6.89798 facet normal -0.634846 0.772555 0.0113566 facet normal -0.312844 -0.468202 -0.826387 vertex 1.2151 2.93351 18.7502 facet normal 0.0351509 0.0892842 -0.995386 vertex 4.2536 9.04489 0.046988 facet normal 3.561311e-01 -3.436078e-03 -9.344297e-01 vertex -1.083677e+02 9.695134e+01 1.267521e+01 facet normal 0.365756 0.300167 0.880978 vertex 5.89328 -5.89328 5.74921 facet normal 0.528237 -0.643667 0.553767 facet normal -0.096139 -0.976242 0.194186 facet normal 0.307697 0.502131 0.8082 facet normal 0.703592 0.707112 0.0703598 vertex -8.35846 7.75552 0.18985 facet normal -0.172963 -0.0922671 0.980597 vertex 5.35022 -5.0946 6.88312 facet normal -2.368291e-01 1.618923e-03 9.715500e-01 facet normal 2.947893e-004 -5.105900e-004 -9.999998e-001 facet normal -3.318476e-001 5.689120e-001 7.524735e-001 facet normal 0.533417 -0.161807 0.830232 facet normal -0.590348 -0.804076 0.0703604 facet normal -4.330196e-01 -6.046987e-03 -9.013642e-01 vertex -1.052540e+02 9.695134e+01 1.264368e+01 facet normal -2.766623e-01 -2.569074e-03 9.609638e-01 facet normal 0.00758102 -0.10117 -0.99484 facet normal 1.660544e-01 -9.861165e-01 3.464485e-04 vertex -9.877515e+01 9.184439e+01 4.255000e+01 facet normal -0.097471 -0.989338 0.108209 vertex -3.18104 4.87024 21.335 vertex 5.69312 1.19444 21.335 facet normal 0.99518 -0.0974021 0.0113627 facet normal 0.0645513 0.533418 0.843385 facet normal -4.127379e-001 7.075872e-001 5.735571e-001 facet normal 0.654317 -0.271031 0.705982 vertex 3.4565 1.85172 19.4867 vertex 3.75779 1.97652 19.4867 vertex 5.62155 -1.68133 19.4867 facet normal 4.792341e-001 8.386589e-001 2.588163e-001 facet normal -0.703598 0.707106 -0.0703595 vertex -8.20983 -5.40668 1.5173 facet normal -2.885569e-001 9.574627e-001 0.000000e+000 vertex -3.396157e+000 -4.550773e+000 9.983999e+000 vertex 8.315394e-001 -5.637004e+000 2.496000e+001 vertex 5.035786e+000 -5.036913e+000 2.496000e+001 vertex -3.893586e+000 4.057701e+000 2.496000e+001 vertex -5.008282e+000 -2.640207e+000 1.747200e+001 facet normal -0.572633 -0.137482 0.808202.
- Vertex -5.206476e+000 -6.483585e-002 2.494118e+001 facet normal 0.0973573 -0.0185138.
- -6.772627e-001 6.246918e-001 vertex 3.465027e+000 2.690868e+000 2.484855e+001.
- -0.990437 0.0975617 facet normal 0.0914036 -0.463056 0.881604 vertex.
- 130.6675 (end 167.17 130.6675 (end 167.17.
- A statement that the Covered Software prove.