seeds 0..1999  KMAX 6  time 45 s
  (det sq in Q_2, c_2, two_adic) = ('skipped k>6', False, 1) : 1
  (det sq in Q_2, c_2, two_adic) = (False, -1, False) : 88
  (det sq in Q_2, c_2, two_adic) = (False, -1, None) : 55
  (det sq in Q_2, c_2, two_adic) = (False, -1, True) : 782
  (det sq in Q_2, c_2, two_adic) = (False, 1, False) : 132
  (det sq in Q_2, c_2, two_adic) = (False, 1, None) : 33
  (det sq in Q_2, c_2, two_adic) = (True, -1, False) : 25
  (det sq in Q_2, c_2, two_adic) = (True, -1, None) : 16
  (det sq in Q_2, c_2, two_adic) = (True, 1, None) : 17
  (det sq in Q_2, c_2, two_adic) = (True, 1, True) : 851
  prediction violations (P1/P2): 0 []
  det F a square in Q (seed, F = I over Q, two_adic, primes checked): []
