Verification run 2: values of Table 1 and Lemma 2.1 from the definitions
q  k  c_q(brute)  c_q(formula)  M  MinSubDeg(H)  k*MinSubDeg(H)  |Q|  |ker phi_y|  centraliser orders in PGL(2,q) of 1!=t in PSL(2,q)
4 21 5 5 240 12 252 2880 48 [3, 4, 5] OK (Table 1 row checked)
5 31 8 8 800 15 465 12000 100 [5, 6, 8] OK (Table 1 row checked)
7 57 16 16 4704 21 1197 98784 294 [6, 7, 8, 16] OK (Table 1 row checked)
8 73 9 9 4032 56 4088 225792 448 [7, 8, 9] OK (Table 1 row checked)
9 91 16 16 10368 45 4095 466560 648 [8, 9, 10, 16] OK (Table 1 row checked)
11 133 24 24 29040 55 7315 1597200 1210 [10, 11, 12, 24] OK (Table 1 row checked)
13 183 24 24 48672 91 16653 4429152 2028 [12, 13, 14, 24] OK (Table 1 row checked)
16 273 17 17 65280 240 65520 15667200 3840 [15, 16, 17] OK (Table 1 row checked)
17 307 32 32 147968 153 46971 22639104 4624 [16, 17, 18, 32] OK (Table 1 row checked)
19 381 40 40 259920 171 65151 44446320 6498 [18, 19, 20, 40] OK (Table 1 row checked)
23 553 48 48 558624 253 139909 141331872 11638 [22, 23, 24, 48] OK (Table 1 row checked)
25 651 48 48 720000 325 211575 234000000 15000 [24, 25, 26, 48] OK (Table 1 row checked)
27 757 56 56 1061424 351 265707 372559824 18954 [26, 27, 28, 56] OK 
29 871 56 56 1318688 435 378885 573629280 23548 [28, 29, 30, 56] OK 
31 993 64 64 1845120 465 461745 857980800 28830 [30, 31, 32, 64] OK 
32 1057 33 33 1047552 992 1048544 1039171584 31744 [31, 32, 33] OK 
37 1407 72 72 3548448 703 989121 2494558944 49284 [36, 37, 38, 72] OK 
41 1723 80 80 5379200 861 1483503 4631491200 67240 [40, 41, 42, 80] OK 
43 1893 88 88 6833904 903 1709379 6171015312 77658 [42, 43, 44, 88] OK 
47 2257 96 96 9754944 1081 2439817 10545094464 101614 [46, 47, 48, 96] OK 
49 2451 96 96 11063808 1225 3002475 13553164800 115248 [48, 49, 50, 96] OK 
TOTAL failures: 0  time 6.6 s
