== Sz8: |S| = 29120, |A| = 87360, 17295 subgroups in 22 S-classes (non-soluble search skipped: none exist by Dickson)
  coset frob^1     r=3 p=2  : WITNESS EXISTS; 2 classes, e.g. |X|=7 b1(q=7) |N_S(X)|=14 |F*|=7; |X|=13 b1(q=13) |N_S(X)|=52 |F*|=13
  coset frob^1     r=3 p=5  : WITNESS EXISTS; 9 classes, e.g. |X|=4 b1(q=2) |N_S(X)|=64 |F*|=64; |X|=7 b1(q=7) |N_S(X)|=14 |F*|=7; |X|=8 b1(q=2) |N_S(X)|=448 |F*|=64; |X|=13 b1(q=13) |N_S(X)|=52 |F*|=13
  coset frob^1     r=3 p=7  : WITNESS EXISTS; 8 classes, e.g. |X|=4 b1(q=2) |N_S(X)|=64 |F*|=64; |X|=8 b1(q=2) |N_S(X)|=448 |F*|=64; |X|=13 b1(q=13) |N_S(X)|=52 |F*|=13; |X|=16 b1(q=2) |N_S(X)|=64 |F*|=64
  coset frob^1     r=3 p=13 : WITNESS EXISTS; 8 classes, e.g. |X|=4 b1(q=2) |N_S(X)|=64 |F*|=64; |X|=7 b1(q=7) |N_S(X)|=14 |F*|=7; |X|=8 b1(q=2) |N_S(X)|=448 |F*|=64; |X|=16 b1(q=2) |N_S(X)|=64 |F*|=64
  coset frob^1     r=3 p=3  : WITNESS EXISTS; 9 classes, e.g. |X|=4 b1(q=2) |N_S(X)|=64 |F*|=64; |X|=7 b1(q=7) |N_S(X)|=14 |F*|=7; |X|=8 b1(q=2) |N_S(X)|=448 |F*|=64; |X|=13 b1(q=13) |N_S(X)|=52 |F*|=13
  coset frob^2     r=3 p=2  : WITNESS EXISTS; 2 classes, e.g. |X|=7 b1(q=7) |N_S(X)|=14 |F*|=7; |X|=13 b1(q=13) |N_S(X)|=52 |F*|=13
  coset frob^2     r=3 p=5  : WITNESS EXISTS; 9 classes, e.g. |X|=4 b1(q=2) |N_S(X)|=64 |F*|=64; |X|=7 b1(q=7) |N_S(X)|=14 |F*|=7; |X|=8 b1(q=2) |N_S(X)|=448 |F*|=64; |X|=13 b1(q=13) |N_S(X)|=52 |F*|=13
  coset frob^2     r=3 p=7  : WITNESS EXISTS; 8 classes, e.g. |X|=4 b1(q=2) |N_S(X)|=64 |F*|=64; |X|=8 b1(q=2) |N_S(X)|=448 |F*|=64; |X|=13 b1(q=13) |N_S(X)|=52 |F*|=13; |X|=16 b1(q=2) |N_S(X)|=64 |F*|=64
  coset frob^2     r=3 p=13 : WITNESS EXISTS; 8 classes, e.g. |X|=4 b1(q=2) |N_S(X)|=64 |F*|=64; |X|=7 b1(q=7) |N_S(X)|=14 |F*|=7; |X|=8 b1(q=2) |N_S(X)|=448 |F*|=64; |X|=16 b1(q=2) |N_S(X)|=64 |F*|=64
  coset frob^2     r=3 p=3  : WITNESS EXISTS; 9 classes, e.g. |X|=4 b1(q=2) |N_S(X)|=64 |F*|=64; |X|=7 b1(q=7) |N_S(X)|=14 |F*|=7; |X|=8 b1(q=2) |N_S(X)|=448 |F*|=64; |X|=13 b1(q=13) |N_S(X)|=52 |F*|=13
  (time 4.6s)
