PSIGMAL(3,4): |P|=40320 |Q|=1920 k=21 |T|=60 |phi(Q)|=120; Q-orbits on T minus 1: 3; |Q_t| = [80, 96, 128]; M = 128; |P|/M = 315
  Q_t of order 128: 277 subgroups R with |R| > M/k = 6.10
  Q_t of order 96: 65 subgroups R with |R| > M/k = 6.10
  Q_t of order 80: 17 subgroups R with |R| > M/k = 6.10
  total distinct R: 327  (time 1.0s)
  R #3 |R|=64: 2 subgroups S of order > M with S cap Q = R, max order 192
  R #6 |R|=64: 2 subgroups S of order > M with S cap Q = R, max order 320
  R #28 |R|=32: 2 subgroups S of order > M with S cap Q = R, max order 160
  R #36 |R|=32: 2 subgroups S of order > M with S cap Q = R, max order 160
  R #39 |R|=32: 2 subgroups S of order > M with S cap Q = R, max order 160
  ... 50/327 R done, best so far 320, t=2s
  R #53 |R|=16: 2 subgroups S of order > M with S cap Q = R, max order 192
  R #54 |R|=16: 2 subgroups S of order > M with S cap Q = R, max order 192
  R #58 |R|=16: 2 subgroups S of order > M with S cap Q = R, max order 144
  R #59 |R|=16: 2 subgroups S of order > M with S cap Q = R, max order 144
  R #77 |R|=16: 2 subgroups S of order > M with S cap Q = R, max order 144
  R #78 |R|=16: 2 subgroups S of order > M with S cap Q = R, max order 144
  R #82 |R|=16: 2 subgroups S of order > M with S cap Q = R, max order 192
  R #83 |R|=16: 2 subgroups S of order > M with S cap Q = R, max order 192
  ... 100/327 R done, best so far 320, t=3s
  R #105 |R|=16: 2 subgroups S of order > M with S cap Q = R, max order 320
  R #106 |R|=16: 2 subgroups S of order > M with S cap Q = R, max order 320
  R #112 |R|=16: 2 subgroups S of order > M with S cap Q = R, max order 320
  R #113 |R|=16: 2 subgroups S of order > M with S cap Q = R, max order 320
  ... 150/327 R done, best so far 320, t=4s
  ... 200/327 R done, best so far 320, t=6s
  R #248 |R|=8: 2 subgroups S of order > M with S cap Q = R, max order 160
  R #249 |R|=8: 2 subgroups S of order > M with S cap Q = R, max order 160
  ... 250/327 R done, best so far 320, t=8s
  R #250 |R|=8: 2 subgroups S of order > M with S cap Q = R, max order 160
  R #257 |R|=8: 2 subgroups S of order > M with S cap Q = R, max order 160
  R #261 |R|=8: 2 subgroups S of order > M with S cap Q = R, max order 160
  R #262 |R|=8: 2 subgroups S of order > M with S cap Q = R, max order 160
  R #288 |R|=8: 2 subgroups S of order > M with S cap Q = R, max order 160
  R #293 |R|=8: 2 subgroups S of order > M with S cap Q = R, max order 160
  R #294 |R|=8: 2 subgroups S of order > M with S cap Q = R, max order 160
  ... 300/327 R done, best so far 320, t=10s
  R #308 |R|=8: 2 subgroups S of order > M with S cap Q = R, max order 160
  R #313 |R|=8: 2 subgroups S of order > M with S cap Q = R, max order 160
  R #314 |R|=8: 2 subgroups S of order > M with S cap Q = R, max order 160
RESULT PSIGMAL(3,4): M = 128, M_G = 320, |P|/M = 315, |P|/M_G = 126, strict = True  (time 11.7s)
  witness: |S| = 320, |S cap Q| = 64, orbit of base point = [0, 2, 9, 13, 17]
  generators: [(0, 1, 9, 10, 11, 12, 6, 7, 8, 2, 3, 4, 5, 17, 19, 20, 18, 13, 16, 14, 15), (0, 1, 13, 15, 14, 16, 6, 8, 7, 17, 20, 19, 18, 9, 11, 10, 12, 2, 5, 4, 3), (0, 3, 2, 1, 5, 4, 10, 15, 20, 9, 6, 19, 16, 13, 18, 7, 12, 17, 14, 11, 8), (0, 4, 2, 5, 1, 3, 18, 11, 16, 9, 14, 7, 20, 13, 10, 19, 8, 17, 6, 15, 12), (2, 1, 0, 8, 6, 7, 4, 5, 3, 13, 16, 14, 15, 9, 11, 12, 10, 17, 18, 19, 20)]
