lines: 397; failures: 0; coverage of [9,406] minus {11} exactly once: True
lines without blocks: 22; lines with two blocks: [233, 282, 293, 313, 353, 393]
blocks used: {'B0': 188, 'B1': 148, 'B2': 45}; largest q in a block: 1145143
lines whose base values come from Dickson (not enumerated in this run): [(23, 'SL(2,29)'), (25, 'SL(2,167)'), (29, 'SL(2,1213)'), (31, 'SL(2,113)'), (33, 'SL(2,1087)'), (37, 'SL(2,1019)'), (41, 'SL(2,1667)'), (47, 'SL(2,1063)'), (53, 'SL(2,1151)'), (61, 'SL(2,1601)'), (157, 'PSL(2,29)')]
lines per base group: [('A5', 93), ('A5xC2', 51), ('A5xC4', 33), ('2^4:A5(perm)', 31), ('A5xC25', 24), ('SL(2,5)', 21), ('A5xC12', 20), ('A5xC6', 18), ('A5xC3', 17), ('A5xC8', 15), ('PSL(2,7)xC2', 14), ('PSL(2,7)xC3', 12), ('A5xC5', 12), ('A5xC15', 10), ('PGL(2,9)', 10), ('A5xC10', 3), ('SL(2,13)', 1), ('SL(2,29)', 1), ('SL(2,167)', 1), ('SL(2,1213)', 1), ('SL(2,113)', 1), ('SL(2,1087)', 1), ('SL(2,1019)', 1), ('SL(2,1667)', 1), ('SL(2,1063)', 1), ('SL(2,1151)', 1), ('SL(2,1601)', 1), ('PSL(2,29)', 1), ('PSL(2,13)', 1)]
k = 11 present: False
RUN2 CERTIFICATE: ALL 397 LINES OK
