Theorem 1.3 maps for the 100 primes q = 3 mod 4 below 1200: failures 0
Theorem 1.4 maps for 200 random parameter sets: failures 0
