sagelite_nauty
