../ nauty2.4r2.tar.gz 30-Aug-2015 02:16 720754 nauty26r11.tar.gz 09-Feb-2018 22:47 1660633 nauty27r1.tar.gz 20-May-2020 15:42 3428474