Verification run 2: lemmas of Sections 2, 3 and 5 by brute force
Part A: PGL(2,q), all prime powers 4 <= q <= 32
  q= 4: classes of PGL(2,q): 5; c_q = 5; Lemma 2.1 failures: 0; subgroup classes of B_inf: 5
  q= 5: classes of PGL(2,q): 7; c_q = 8; Lemma 2.1 failures: 0; subgroup classes of B_inf: 6
  q= 7: classes of PGL(2,q): 9; c_q = 16; Lemma 2.1 failures: 0; subgroup classes of B_inf: 8
  q= 8: classes of PGL(2,q): 9; c_q = 9; Lemma 2.1 failures: 0; subgroup classes of B_inf: 6
  q= 9: classes of PGL(2,q): 11; c_q = 16; Lemma 2.1 failures: 0; subgroup classes of B_inf: 10
  q=11: classes of PGL(2,q): 13; c_q = 24; Lemma 2.1 failures: 0; subgroup classes of B_inf: 8
  q=13: classes of PGL(2,q): 15; c_q = 24; Lemma 2.1 failures: 0; subgroup classes of B_inf: 12
  q=16: classes of PGL(2,q): 17; c_q = 17; Lemma 2.1 failures: 0; subgroup classes of B_inf: 14
  q=17: classes of PGL(2,q): 19; c_q = 32; Lemma 2.1 failures: 0; subgroup classes of B_inf: 10
  q=19: classes of PGL(2,q): 21; c_q = 40; Lemma 2.1 failures: 0; subgroup classes of B_inf: 12
  q=23: classes of PGL(2,q): 25; c_q = 48; Lemma 2.1 failures: 0; subgroup classes of B_inf: 8
  q=25: classes of PGL(2,q): 27; c_q = 48; Lemma 2.1 failures: 0; subgroup classes of B_inf: 19
  q=27: classes of PGL(2,q): 29; c_q = 56; Lemma 2.1 failures: 0; subgroup classes of B_inf: 12
  q=29: classes of PGL(2,q): 31; c_q = 56; Lemma 2.1 failures: 0; subgroup classes of B_inf: 12
  q=31: classes of PGL(2,q): 33; c_q = 64; Lemma 2.1 failures: 0; subgroup classes of B_inf: 16
  q=32: classes of PGL(2,q): 33; c_q = 33; Lemma 2.1 failures: 0; subgroup classes of B_inf: 16
Part B: PG(2,q), q = 4, 5, 7, 8, 9
  q=4: Lemma 3.1, Corollary 3.2, Lemma 3.3, Lemma 5.1 checked (pairs (element of P_m, D) with D fixed: 2880; pairs (element, affine line) with the line fixed: 2880; special elements tested: 720 + 80) [0.1 s]
  q=5: Lemma 3.1, Corollary 3.2, Lemma 3.3, Lemma 5.1 checked (pairs (element of P_m, D) with D fixed: 12000; pairs (element, affine line) with the line fixed: 12000; special elements tested: 2400 + 150) [0.2 s]
  q=7: Lemma 3.1, Corollary 3.2, Lemma 3.3, Lemma 5.1 checked (pairs (element of P_m, D) with D fixed: 98784; pairs (element, affine line) with the line fixed: 98784; special elements tested: 14112 + 392) [2.6 s]
  q=8: Lemma 3.1, Corollary 3.2, Lemma 3.3, Lemma 5.1 checked (pairs (element of P_m, D) with D fixed: 50176; pairs (element, affine line) with the line fixed: 12544; special elements tested: 1568 + 32) [0.7 s]
  q=9: Lemma 3.1, Corollary 3.2, Lemma 3.3, Lemma 5.1 checked (pairs (element of P_m, D) with D fixed: 93312; pairs (element, affine line) with the line fixed: 20736; special elements tested: 2304 + 36) [1.4 s]
TOTAL failures: 0   time 15.1 s
