q=7: #subgroups generated by <= 2 cyclic subgroups = 179
q=7: #subgroups of PSL(2,7) found = 179 (expected 179)
q=7: #conjugacy classes of proper nontrivial subgroups = 13
  |X|= 21 |N_S(X)|= 21 |F*(N)|=  7 |O_p(N)|=7 delta-inv class: (b1)=False (b2)=False
  |X|=  3 |N_S(X)|=  6 |F*(N)|=  3 |O_p(N)|=1 delta-inv class: (b1)=False (b2)=False
  |X|=  6 |N_S(X)|=  6 |F*(N)|=  3 |O_p(N)|=1 delta-inv class: (b1)=False (b2)=False
  |X|=  4 |N_S(X)|=  8 |F*(N)|=  8 |O_p(N)|=1 delta-inv class: (b1)=False (b2)=False
  |X|=  8 |N_S(X)|=  8 |F*(N)|=  8 |O_p(N)|=1 delta-inv class: (b1)=False (b2)=False
  |X|=  7 |N_S(X)|= 21 |F*(N)|=  7 |O_p(N)|=7 delta-inv class: (b1)=False (b2)=False
  |X|=  2 |N_S(X)|=  8 |F*(N)|=  8 |O_p(N)|=1 delta-inv class: (b1)=False (b2)=False
q=7: delta-invariant classes tested: 7; witnesses found: []
q=9: #subgroups generated by <= 2 cyclic subgroups = 491
q=9: #subgroups of PSL(2,9) found = 501 (expected 501)
q=9: #conjugacy classes of proper nontrivial subgroups = 20
  |X|=  2 |N_S(X)|=  8 |F*(N)|=  8 |O_p(N)|=1 delta-inv class: (b1)=False (b2)=False
  |X|= 10 |N_S(X)|= 10 |F*(N)|=  5 |O_p(N)|=1 delta-inv class: (b1)=False (b2)=False
  |X|= 18 |N_S(X)|= 36 |F*(N)|=  9 |O_p(N)|=9 delta-inv class: (b1)=False (b2)=False
  |X|=  8 |N_S(X)|=  8 |F*(N)|=  8 |O_p(N)|=1 delta-inv class: (b1)=False (b2)=False
  |X|=  4 |N_S(X)|=  8 |F*(N)|=  8 |O_p(N)|=1 delta-inv class: (b1)=False (b2)=False
  |X|=  5 |N_S(X)|= 10 |F*(N)|=  5 |O_p(N)|=1 delta-inv class: (b1)=False (b2)=False
  |X|= 36 |N_S(X)|= 36 |F*(N)|=  9 |O_p(N)|=9 delta-inv class: (b1)=False (b2)=False
  |X|=  9 |N_S(X)|= 36 |F*(N)|=  9 |O_p(N)|=9 delta-inv class: (b1)=False (b2)=False
q=9: delta-invariant classes tested: 8; witnesses found: []
OBSTRUCTION CONFIRMED (no witness for p = l, c = delta, q in {7, 9})
exit=0
