polytopes-db-4d
