F4_polytope loading ...