> CompileSanityTest(100);
p = 7 :: p = 0 mod 7 :: q = 7 :: [ good ]
p = 2 :: p = 2 mod 7 :: q = 8 :: [ bad ]
p = 13 :: p = -1 mod 7 :: q = 13 :: [ good, bad, good ]
p = 3 :: p = 3 mod 7 :: q = 27 :: [ good ]
p = 29 :: p = 1 mod 7 :: q = 29 :: [ bad, good, good ]
p = 41 :: p = -1 mod 7 :: q = 41 :: [ good, bad, good ]
p = 43 :: p = 1 mod 7 :: q = 43 :: [ bad, bad, good ]
p = 71 :: p = 1 mod 7 :: q = 71 :: [ bad, bad, good ]
p = 83 :: p = -1 mod 7 :: q = 83 :: [ bad, bad, good ]
p = 97 :: p = -1 mod 7 :: q = 97 :: [ good, bad, good ]
p = 113 :: p = 1 mod 7 :: q = 113 :: [ good, bad, good ]
p = 5 :: p = -2 mod 7 :: q = 125 :: [ bad ]
p = 127 :: p = 1 mod 7 :: q = 127 :: [ bad, bad, good ]
p = 139 :: p = -1 mod 7 :: q = 139 :: [ bad, bad, good ]
p = 167 :: p = -1 mod 7 :: q = 167 :: [ good, good, good ]
p = 181 :: p = -1 mod 7 :: q = 181 :: [ bad, bad, bad ]
p = 197 :: p = 1 mod 7 :: q = 197 :: [ bad, good, good ]
p = 211 :: p = 1 mod 7 :: q = 211 :: [ bad, bad, good ]
p = 223 :: p = -1 mod 7 :: q = 223 :: [ good, bad, bad ]
p = 239 :: p = 1 mod 7 :: q = 239 :: [ good, good, good ]
p = 251 :: p = -1 mod 7 :: q = 251 :: [ good, good, good ]
p = 281 :: p = 1 mod 7 :: q = 281 :: [ good, bad, good ]
p = 293 :: p = -1 mod 7 :: q = 293 :: [ bad, bad, bad ]
p = 307 :: p = -1 mod 7 :: q = 307 :: [ bad, good, bad ]
p = 337 :: p = 1 mod 7 :: q = 337 :: [ bad, good, good ]
p = 349 :: p = -1 mod 7 :: q = 349 :: [ good, bad, good ]
p = 379 :: p = 1 mod 7 :: q = 379 :: [ good, good, good ]
p = 419 :: p = -1 mod 7 :: q = 419 :: [ bad, bad, good ]
p = 421 :: p = 1 mod 7 :: q = 421 :: [ good, good, bad ]
p = 433 :: p = -1 mod 7 :: q = 433 :: [ good, bad, good ]
p = 449 :: p = 1 mod 7 :: q = 449 :: [ bad, good, good ]
p = 461 :: p = -1 mod 7 :: q = 461 :: [ good, good, bad ]
p = 463 :: p = 1 mod 7 :: q = 463 :: [ bad, good, bad ]
p = 491 :: p = 1 mod 7 :: q = 491 :: [ good, good, good ]
p = 503 :: p = -1 mod 7 :: q = 503 :: [ bad, bad, good ]
p = 11 :: p = -3 mod 7 :: q = 1331 :: [ good ]
p = 17 :: p = 3 mod 7 :: q = 4913 :: [ bad ]
p = 19 :: p = -2 mod 7 :: q = 6859 :: [ good ]
p = 23 :: p = 2 mod 7 :: q = 12167 :: [ good ]