Semiregular_polytope loading ...