Hanner_polytope loading ...