1 2 3 4 5 6
[nauty] source = 'regex' url = 'https://pallini.di.uniroma1.it/index.html' regex = 'nauty([\d_]+)\.[a-z]' from_pattern = '_' to_pattern = '.'