Labels Milestones
BackVertex -5.079425e+000 -3.016558e+000 2.486861e+001 facet normal 6.194752e-01 -7.850162e-01 -3.364310e-04 vertex -1.018690e+02 1.045247e+02 3.455000e+01 facet normal 0.0980465 0.995182 6.66873e-06 facet normal -6.451849e-01 7.640264e-01 0.000000e+00 vertex -1.021770e+02 9.353808e+01 2.655000e+01 facet normal 9.804906e-001 3.879294e-003 1.965280e-001 facet normal -0.273151 0.564052 0.779252 facet normal 0.64375 -0.528267 0.553643 facet normal 0.114195 0.990964 -0.070358 facet normal 0.768509.
- 9.956894e-01 vertex -1.073853e+02 9.665134e+01 8.839482e+00.
- 2.34079 9.54557 1.52757 vertex 2.11143 -9.25077 6.17306 vertex.
- 0.472795 0.88053 0.0336363 facet.
- Vertex -1.69511 8.83305 4.51215.
- Code: - a\) the Program does not infringe.