math/nauty
