sagelite-nauty-runtime