Thm3: primes q=3 mod 4 below 1000000: form (I) 19667, form (II) 19654, q=3 (8_18) 1; recipe failures []
Thm3: explicit 4-wheel maps for q < 3000: 218 built, failures []
Thm4: 400 random admissible (d,A,B,k), explicit 3-wheel maps, failures 0
Thm2: 300 random certificates with a gadget Z_s (s in 3,5,7) or Z'_27 substituted for a random edge: tau = factor*n, self-dual, nonseparable, knot; failures 0
