../ nauty-2.7r4-r0.log.gz 23-Apr-2023 15:18 5200 nauty-2.7r4-r1.log 01-Aug-2023 11:52 37K nauty-2.8.8-r0.log 08-Dec-2023 02:14 44K