Lemma 5.1 root criteria, odd primes <= 20000 (2261 primes): exceptions g:[] h:[] h(-t):[]
L1 split primes [17, 97, 113, 193, 241, 257, 337, 353, 31, 47, 79, 127, 191, 223, 239, 271, 10079, 10111, 10159, 10177, 1000033]
L2 split primes [7, 29, 43, 71, 113, 127, 197, 211, 239, 13, 41, 83, 97, 139, 167, 181, 223, 10009, 10037, 10039, 10067, 1000033]
split-prime matrix checks (ok/total): {('L1', 'K'): [504, 504], ('L1', 'O'): [504, 504], ('L2', 'K'): [768, 768]}
extension-field checks ('L1', 'K') [(3, 4, 6, 6), (5, 4, 6, 6), (7, 2, 6, 6), (7, 2, 2, 2), (11, 4, 6, 6), (13, 4, 6, 6), (19, 4, 6, 6), (23, 2, 6, 6), (23, 2, 6, 6), (29, 4, 6, 6), (37, 4, 6, 6), (41, 2, 6, 6), (41, 2, 6, 6), (43, 4, 6, 6), (53, 4, 6, 6)]
extension-field checks ('L1', 'O') [(3, 4, 6, 6), (5, 4, 6, 6), (7, 2, 6, 6), (7, 2, 2, 2), (11, 4, 6, 6), (13, 4, 6, 6), (19, 4, 6, 6), (23, 2, 6, 6), (23, 2, 6, 6), (29, 4, 6, 6), (37, 4, 6, 6), (41, 2, 6, 6), (41, 2, 6, 6), (43, 4, 6, 6), (53, 4, 6, 6)]
extension-field checks ('L2', 'K') [(5, 3, 4, 4), (5, 3, 4, 4), (11, 3, 6, 6), (11, 3, 6, 6), (17, 3, 6, 6), (17, 3, 6, 6), (19, 3, 6, 6), (19, 3, 6, 6), (23, 3, 6, 6), (23, 3, 6, 6), (31, 3, 6, 6), (31, 3, 6, 6)]
negative controls (expect all False): non-root t=3 mod 17: [False, False, False, False, False, False]  u3=+u2: [False, False, False, False, False, False]
