H4_polytope loading ...