../ nauty-2.7r4-r0.log.gz 23-Apr-2023 06:59 4748 nauty-2.7r4-r1.log 01-Aug-2023 12:28 37K nauty-2.8.8-r0.log 08-Dec-2023 02:18 51K nauty-2.8.9-r0.log 30-Aug-2024 08:14 111K