Labels Milestones
Back-0.672644 7.35649 vertex 6.5979 0.528493 7.34278 vertex 4.19667 5.00765 7.52902 facet normal -9.964601e-01 -8.406740e-02 -0.000000e+00 vertex -8.524144e+01 1.011513e+02 1.561034e+01.
- Vertex -4.027078e+000 -1.693740e+000 2.480400e+001 facet normal 2.890015e-001.
- -0.209414 7.81747 facet normal.
- Via fetch_file_contents and mirror it. .