primes <= 1500: 238 odd primes
Lemma 5.1(a) criterion (root of g <=> p = +-1 mod 16) ok for 238 primes
Lemma 5.1(b) criterion (root of h <=> p = 7 or +-1 mod 7) ok for 238 primes
L1 (K) instances verified (u_3 = -u_2, u_2 != +-1, kappa != 2): 232
L1 (O) instances verified (u'_4 = u'_3, u'_3 != +-1): 232
L2 (K) instances verified (u_4 = u_2 != +-1, kappa != 2): 458
failures: none
nice -n 10 $PY -I vA_family_primes.py 1500  0.23s user 0.00s system 99% cpu 0.237 total
