S4 / S3, T=C3: |P|=24 k=4 |T|=3 |B|=81  direct max stabiliser=12  criterion over all subgroups=12  maxstab: M=3 M_G=12  OK  (0.0s)
    stabiliser-order histogram over B\1: {1: 24, 2: 24, 3: 24, 4: 6, 12: 2}
S4 / S3, T=S3: |P|=24 k=4 |T|=6 |B|=1296  direct max stabiliser=12  criterion over all subgroups=12  maxstab: M=3 M_G=12  OK  (0.0s)
    stabiliser-order histogram over B\1: {1: 1032, 2: 180, 3: 56, 4: 18, 6: 4, 8: 3, 12: 2}
A5 / A4, T=V4: |P|=60 k=5 |T|=4 |B|=1024  direct max stabiliser=10  criterion over all subgroups=10  maxstab: M=4 M_G=10  OK  (0.1s)
    stabiliser-order histogram over B\1: {1: 360, 2: 540, 4: 75, 6: 30, 10: 18}
S5 / S4, T=V4: |P|=120 k=5 |T|=4 |B|=1024  direct max stabiliser=20  criterion over all subgroups=20  maxstab: M=8 M_G=20  OK  (0.3s)
    stabiliser-order histogram over B\1: {1: 240, 2: 600, 4: 90, 6: 20, 8: 45, 10: 12, 12: 10, 20: 6}
A5 / A4, T=A4: |P|=60 k=5 |T|=12 |B|=248832  direct max stabiliser=12  criterion over all subgroups=12  maxstab: M=4 M_G=12  OK  (9.8s)
    stabiliser-order histogram over B\1: {1: 240000, 2: 7500, 3: 920, 4: 225, 5: 48, 6: 110, 10: 18, 12: 10}
A4 / C3, T=C3: |P|=12 k=4 |T|=3 |B|=81  direct max stabiliser=12  criterion over all subgroups=12  maxstab: M=3 M_G=12  OK  (0.0s)
    stabiliser-order histogram over B\1: {1: 36, 2: 18, 3: 24, 12: 2}
PGL(2,5) / 5:4, T=C5: |P|=120 k=6 |T|=5 |B|=15625  direct max stabiliser=6  criterion over all subgroups=6  maxstab: M=5 M_G=6  OK  (1.8s)
    stabiliser-order histogram over B\1: {1: 13920, 2: 1200, 3: 160, 4: 120, 5: 144, 6: 80}
PSL(2,5) / D10, T=C5 (equality expected): |P|=60 k=6 |T|=5 |B|=15625  direct max stabiliser=5  criterion over all subgroups=5  maxstab: M=5 M_G=5  OK  (0.8s)
    stabiliser-order histogram over B\1: {1: 14880, 2: 360, 3: 240, 5: 144}
GL(3,2) / S4, T=S3 (q=2 analogue): |P|=168 k=7 |T|=6 |B|=279936  direct max stabiliser=24  criterion over all subgroups=24  maxstab: M=12 M_G=24  OK  (32.3s)
    stabiliser-order histogram over B\1: {1: 261240, 2: 15204, 3: 2352, 4: 672, 6: 252, 7: 24, 8: 105, 12: 56, 21: 16, 24: 14}
AGL(1,5) / C4, T=C5: |P|=20 k=5 |T|=5 |B|=3125  direct max stabiliser=5  criterion over all subgroups=5  maxstab: M=1 M_G=5  OK  (0.0s)
    stabiliser-order histogram over B\1: {1: 3000, 2: 100, 4: 20, 5: 4}
ALL OK
