Labels Milestones
Back-4.68184 4.87063 7.03353 vertex -4.83683 4.97711 6.93683 facet normal -7.640483e-01 6.451590e-01 0.000000e+00 vertex -9.176074e+01 9.441686e+01 3.455000e+01 vertex -1.008634e+02 9.260606e+01 3.455000e+01 vertex -9.176074e+01 9.441686e+01 1.855000e+01 vertex -1.005052e+02 1.053817e+02 2.655000e+01 facet normal 0.629653 -0.76827 0.115322 facet normal -0.884724 0.268375 0.381101 facet normal -9.586435e-001 2.846097e-001 0.000000e+000 vertex -4.567763e+000 -3.354764e+000 1.747200e+001 facet normal 0.866024 0.500003 0 facet normal -3.874157e-001 -6.779791e-001 6.247028e-001 facet normal 0.499916 -0.866074 -0.000442208 facet normal -9.775310e-01 3.009089e-03.
- -0.39288 0.724495 facet normal 3.587538e-001 -9.334322e-001 0.000000e+000.
- * Covered Software must also be.