S_4: order 24: 11 classes, 30 subgroups; expected (11, 30) -> OK  (0.0s)
A_5: order 60: 9 classes, 59 subgroups; expected (9, 59) -> OK  (0.0s)
S_5: order 120: 19 classes, 156 subgroups; expected (19, 156) -> OK  (0.0s)
A_6: order 360: 22 classes, 501 subgroups; expected (22, 501) -> OK  (0.1s)
S_6: order 720: 56 classes, 1455 subgroups; expected (56, 1455) -> OK  (0.4s)
A_7: order 2520: 40 classes, 3786 subgroups; expected (40, 3786) -> OK  (1.2s)
S_7: order 5040: 96 classes, 11300 subgroups; expected (96, 11300) -> OK  (4.7s)
A_8: order 20160: 137 classes, 48337 subgroups; expected (137, 48337) -> OK  (38.0s)
SELFTEST PASSED
