An Atlas of Small Regular Polytopes dataset website Michael Hartley Regular polytopes whose automorphism groups have order at most 2000, excluding 1024 and 1536