91b03a7b069962e94fc9aac8831ce8d2  nauty26r5.tar.gz