nauty.pc
runalltests
