sagelite_planarity
