group J max degree 12 search nodes 717879 time 31.1s
number of complete coset tables (subgroups) by index: {1: 1}
