sagelite-database-polytopes-4d