A5: order 60, classes of subgroups 9 (expected 9), subgroups 59 (expected 59) OK  [0.0s]
S5: order 120, classes of subgroups 19 (expected 19), subgroups 156 (expected 156) OK  [0.0s]
A6: order 360, classes of subgroups 22 (expected 22), subgroups 501 (expected 501) OK  [0.1s]
S6: order 720, classes of subgroups 56 (expected 56), subgroups 1455 (expected 1455) OK  [0.2s]
A7: order 2520, classes of subgroups 40 (expected 40), subgroups 3786 (expected 3786) OK  [1.3s]
S7: order 5040, classes of subgroups 96 (expected 96), subgroups 11300 (expected 11300) OK  [5.2s]
M11: order 7920, classes of subgroups 39 (expected 39), subgroups 8651 (expected 8651) OK  [7.8s]
A8: order 20160, classes of subgroups 137 (expected 137), subgroups 48337 (expected 48337) OK  [79.1s]
