polytopes_db_4d-1.0 stein-watkins-ecdb