(a) recipe of Theorem 4.1(c): even k in [126,2000000], odd k in [361,2000000]: 0 failures
(b) even k <= 20000 not of the form 16A-2x: 35 values, largest 112
    odd k <= 20000 not of the form 16A+7x: 96 values, largest 345
(c) explicit groups for even k in [126,800] and odd k in [361,800]: 558 groups, 0 failures; 217 primes below 2^64 (deterministic test), the others BPSW probable primes
(1 s)
RUN2 TAIL: OK
