List_of_regular_polytopes_and_compounds loading ...