sagelite_maxima
