tables built: |P| = 60480, k = 21, |T| = 60  [2s]
sanity: f -> f^x is a right action of P by automorphisms of B (400 random tests)  OK
(1) f supported on one coordinate, exhaustive: {(order of t, |stabiliser|): number of f} = {(2, 192): 315, (3, 144): 420, (5, 240): 504}
    for the coordinate 0 the stabiliser of f equals Q_t = {q in Q : phi(q) commutes with t}  OK
(2) f supported on the coordinates {0,1}, exhaustive (59^2 elements): {|stabiliser|: number} = {1: 1728, 2: 576, 3: 768, 4: 288, 9: 32, 12: 48, 18: 32, 32: 9}  max = 32
(3) S = U_l:C_15: |S| = 240, |S cap Q| = 15, |phi(S cap Q)| = 5, non-identity elements of T fixed by phi(S cap Q): 4 (their orders: [5, 5, 5, 5])
    fixed element f: support size 16, number of S-translates of f0: 16, |Stab_P(f)| = 240, Stab_P(f) == S: True
(4a) 3000 random f (random supports and values): {|stabiliser|: number} = {1: 2464, 2: 110, 3: 116, 4: 45, 6: 1, 9: 2, 12: 6, 18: 5, 144: 82, 192: 61, 240: 108}  max = 240
(4b) orbit products for random small subgroups (those with S cap Q fixing t): {|stabiliser|: number} = {2: 1, 3: 33, 4: 30, 5: 87, 6: 81, 7: 79, 10: 32, 15: 143, 18: 6, 21: 135, 27: 2, 30: 12, 48: 3, 60: 3, 63: 6, 180: 4, 240: 2}  max = 240
done [67s]
