(1) simple groups of order < 12180
   orders of the 16 named groups: [60, 168, 360, 504, 660, 1092, 2448, 2520, 3420, 4080, 5616, 6048, 6072, 7800, 7920, 9828]
   = the first 16 terms of A001034, and the 17th term is 12180 = |PSL(2,29)|: True
   no order below 12180 is repeated in A109379 (first repetition: 20160): True
   the families PSL(2,q), A_n, PSL(3,q), PSU(3,q) and M_11 give exactly these orders below 12180: True
   orders of the permutation groups generated for r2_grp.c (16 groups; degrees [5, 6, 7, 8, 9, 11, 12, 13, 14, 17, 18, 20, 24, 26, 28]): all as expected
(2) transitive groups of degree 11
   Butler-McKay, Table 11A: T1 11 (order 11), T2 11.2 (order 22), T3 11.5 (order 55), T4 11.10 (order 110), T5 L(2,11) (order 660), T6 M11 (order 7920), T7 A11 (order 19958400), T8 S11 (order 39916800)
   8 groups, as in A002106: True
   Table 11C (numbers of elements by cycle type) adds up to the orders 11, 22, 55, 110, 660, 7920: True
   T1, T2, T3 are generated by a and powers of b, where T4 = <a,b> = 11.10 = AGL(1,11) (Table 11B):
   so a transitive group of degree 11 not containing A11 is conjugate to a subgroup of AGL(1,11), to L(2,11) or to M11
   the group M_11 of r2_groups.py has order 7920 and contains a subgroup of order 660 which is transitive on the 11 points: True
ALL CHECKS PASSED
