Labels Milestones
BackVertex -3.15155 -4.64695 21.6407 facet normal 8.660254e-01 -5.000000e-01 0.000000e+00 vertex -1.044754e+02 1.001060e+02 3.455000e+01 vertex -9.617936e+01 9.181029e+01 3.455000e+01 vertex -9.090385e+01 9.578066e+01 3.455000e+01 vertex -9.020292e+01 9.930476e+01 2.655000e+01 facet normal -3.544252e-15 -5.053588e-15 1.000000e+00 facet normal -0.0980344 -0.988479 0.115322 facet normal -1.157810e-14 -1.000000e+00 -8.820086e-15 facet normal 0.0822463 -0.0819801 0.993235 vertex -5.26759 5.16186 6.86461 facet normal -5.142109e-001 -2.648182e-003 8.576596e-001 vertex 5.194797e+000 -2.998107e+000 2.490742e+001 facet normal 9.913098e-001 1.315476e-001.
- 5.25446 22.0001 vertex -3.74837 -3.84796 22.0001 vertex.
- -1.217965e-03 8.732631e-02 vertex -1.042510e+02 9.665134e+01.
- Vertex 4.065923e+000 2.328691e+000 2.482134e+001 facet normal.
- | R23, R24, R25, R27.
- Complete corresponding machine-readable source.