/math/nauty/