Index of /nauty

	Name	Last modified	Size
	Parent Directory		-
	nauty2.4r2.tar.gz	2015-08-30 04:16	704K
	nauty26r11.tar.gz	2018-02-09 23:47	1.6M
	nauty27r1.tar.gz	2020-05-20 17:42	3.3M
	nauty27r2.tar.gz	2021-09-02 18:43	1.6M