polytopes_db_4d
