../ 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 nauty27r2.tar.gz 02-Sep-2021 16:43 1728876 nauty27r3.tar.gz 20-Sep-2021 22:31 1721200 nauty27r4.tar.gz 02-Jul-2022 14:37 1731562 nauty2_8_6.tar.gz 17-Nov-2022 21:24 1546765