nauty1 2 dk

7.1557k
3 oy
21
80.0%
20.0%