File:Octahedron atop truncated tetrahedron.off