../ nauty-2.7r4-r0.log.gz 09-Oct-2022 13:59 4440 nauty-2.7r4-r1.log.gz 01-Aug-2023 14:18 4887 nauty-2.8.8-r0.log.gz 08-Dec-2023 02:14 6023 nauty-2.8.9-r0.log 30-Aug-2024 06:38 102K nauty-2.9.0-r0.log 22-Jul-2025 22:49 109K nauty-2.9.1-r0.log 08-Sep-2025 16:41 110K