p=2 A=16 B=32 K=2 lanes=128 dx=1 k=128 seed=31 n=561
m(Y) coefficients (low degree first): [1, 0, 1, 0, 1, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 0, 0, 0, 1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 1, 1, 0, 1, 0, 0, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 0, 0, 0, 1, 1, 1, 0, 0, 1, 0, 1, 1, 0, 0, 1, 1, 0, 1, 0, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 0, 1, 0, 0, 0, 1, 1, 0, 1, 1, 1, 0, 1]
poly: [((0, 1), 1), ((0, 2), 1), ((1, 0), 1)]
stored 442728 T1 (load 0.211) in 0.0 s
p=2 A=16 B=32 K=2 k=128 n=561 maxterms=6
T1 stored: 442728   T2 looked up: 29426881
fingerprint matches: 1147304   identical (T2 = T1): 442728   zero keys of T1/pairs: 10
key collisions written to the hit file: 704586
cpu seconds: 0.7
hit lines: 704586   distinct normalised hits: 39354
rejected by the exact test (by number of terms): {}
TRUE multiples of F (by number of terms): {3: 5, 4: 73, 5: 1309, 6: 37967}
   1*x^0*y^1 + 1*x^0*y^2 + 1*x^1*y^0
   1*x^0*y^2 + 1*x^0*y^4 + 1*x^2*y^0
   1*x^0*y^4 + 1*x^0*y^8 + 1*x^4*y^0
   1*x^0*y^8 + 1*x^0*y^16 + 1*x^8*y^0
   1*x^0*y^16 + 1*x^0*y^32 + 1*x^16*y^0
   1*x^0*y^1 + 1*x^0*y^3 + 1*x^1*y^0 + 1*x^1*y^1
   1*x^0*y^1 + 1*x^0*y^4 + 1*x^1*y^0 + 1*x^2*y^0
   1*x^0*y^2 + 1*x^0*y^3 + 1*x^1*y^2 + 1*x^2*y^0
   1*x^0*y^2 + 1*x^0*y^5 + 1*x^1*y^3 + 1*x^2*y^0
   1*x^0*y^2 + 1*x^0*y^6 + 1*x^2*y^0 + 1*x^2*y^2
   1*x^0*y^2 + 1*x^0*y^8 + 1*x^2*y^0 + 1*x^4*y^0
   1*x^0*y^3 + 1*x^0*y^4 + 1*x^1*y^1 + 1*x^2*y^0
   1*x^0*y^3 + 1*x^0*y^4 + 1*x^1*y^4 + 1*x^3*y^0
   1*x^0*y^3 + 1*x^0*y^5 + 1*x^2*y^2 + 1*x^3*y^0
   1*x^0*y^3 + 1*x^0*y^6 + 1*x^1*y^3 + 1*x^3*y^0
   1*x^0*y^3 + 1*x^0*y^7 + 1*x^3*y^0 + 1*x^3*y^1
   1*x^0*y^3 + 1*x^0*y^8 + 1*x^1*y^2 + 1*x^4*y^0
   1*x^0*y^4 + 1*x^0*y^6 + 1*x^2*y^1 + 1*x^3*y^0
   1*x^0*y^4 + 1*x^0*y^6 + 1*x^2*y^4 + 1*x^4*y^0
   1*x^0*y^4 + 1*x^0*y^7 + 1*x^1*y^6 + 1*x^4*y^0
   1*x^0*y^4 + 1*x^0*y^9 + 1*x^1*y^7 + 1*x^4*y^0
   1*x^0*y^4 + 1*x^0*y^10 + 1*x^2*y^6 + 1*x^4*y^0
   1*x^0*y^4 + 1*x^0*y^12 + 1*x^4*y^0 + 1*x^4*y^4
   1*x^0*y^4 + 1*x^0*y^16 + 1*x^4*y^0 + 1*x^8*y^0
   1*x^0*y^5 + 1*x^0*y^6 + 1*x^1*y^2 + 1*x^3*y^0
   1*x^0*y^5 + 1*x^0*y^6 + 1*x^1*y^8 + 1*x^5*y^0
   1*x^0*y^5 + 1*x^0*y^8 + 1*x^1*y^3 + 1*x^4*y^0
   1*x^0*y^5 + 1*x^0*y^9 + 1*x^4*y^2 + 1*x^5*y^0
   1*x^0*y^6 + 1*x^0*y^8 + 1*x^2*y^2 + 1*x^4*y^0
   1*x^0*y^6 + 1*x^0*y^8 + 1*x^2*y^8 + 1*x^6*y^0
   1*x^0*y^6 + 1*x^0*y^10 + 1*x^4*y^1 + 1*x^5*y^0
   1*x^0*y^6 + 1*x^0*y^10 + 1*x^4*y^4 + 1*x^6*y^0
   1*x^0*y^6 + 1*x^0*y^12 + 1*x^2*y^6 + 1*x^6*y^0
   1*x^0*y^6 + 1*x^0*y^14 + 1*x^6*y^0 + 1*x^6*y^2
   1*x^0*y^6 + 1*x^0*y^16 + 1*x^2*y^4 + 1*x^8*y^0
   1*x^0*y^7 + 1*x^0*y^15 + 1*x^7*y^0 + 1*x^7*y^1
   1*x^0*y^7 + 1*x^0*y^16 + 1*x^1*y^6 + 1*x^8*y^0
   1*x^0*y^8 + 1*x^0*y^12 + 1*x^4*y^2 + 1*x^6*y^0
   1*x^0*y^8 + 1*x^0*y^12 + 1*x^4*y^8 + 1*x^8*y^0
   1*x^0*y^8 + 1*x^0*y^14 + 1*x^2*y^12 + 1*x^8*y^0
   1*x^0*y^8 + 1*x^0*y^15 + 1*x^1*y^14 + 1*x^8*y^0
   1*x^0*y^8 + 1*x^0*y^17 + 1*x^1*y^15 + 1*x^8*y^0
   1*x^0*y^8 + 1*x^0*y^18 + 1*x^2*y^14 + 1*x^8*y^0
   1*x^0*y^8 + 1*x^0*y^20 + 1*x^4*y^12 + 1*x^8*y^0
   1*x^0*y^8 + 1*x^0*y^24 + 1*x^8*y^0 + 1*x^8*y^8
   1*x^0*y^8 + 1*x^0*y^32 + 1*x^8*y^0 + 1*x^16*y^0
   1*x^0*y^9 + 1*x^0*y^10 + 1*x^1*y^4 + 1*x^5*y^0
   1*x^0*y^9 + 1*x^0*y^10 + 1*x^1*y^16 + 1*x^9*y^0
   1*x^0*y^9 + 1*x^0*y^16 + 1*x^1*y^7 + 1*x^8*y^0
   1*x^0*y^9 + 1*x^0*y^17 + 1*x^8*y^2 + 1*x^9*y^0
   1*x^0*y^10 + 1*x^0*y^12 + 1*x^2*y^4 + 1*x^6*y^0
   1*x^0*y^10 + 1*x^0*y^12 + 1*x^2*y^16 + 1*x^10*y^0
   1*x^0*y^10 + 1*x^0*y^16 + 1*x^2*y^6 + 1*x^8*y^0
   1*x^0*y^10 + 1*x^0*y^18 + 1*x^8*y^1 + 1*x^9*y^0
   1*x^0*y^10 + 1*x^0*y^18 + 1*x^8*y^4 + 1*x^10*y^0
   1*x^0*y^12 + 1*x^0*y^16 + 1*x^4*y^4 + 1*x^8*y^0
   1*x^0*y^12 + 1*x^0*y^16 + 1*x^4*y^16 + 1*x^12*y^0
   1*x^0*y^12 + 1*x^0*y^20 + 1*x^8*y^2 + 1*x^10*y^0
   1*x^0*y^12 + 1*x^0*y^20 + 1*x^8*y^8 + 1*x^12*y^0
   1*x^0*y^12 + 1*x^0*y^24 + 1*x^4*y^12 + 1*x^12*y^0
   1*x^0*y^12 + 1*x^0*y^28 + 1*x^12*y^0 + 1*x^12*y^4
   1*x^0*y^12 + 1*x^0*y^32 + 1*x^4*y^8 + 1*x^16*y^0
   1*x^0*y^14 + 1*x^0*y^30 + 1*x^14*y^0 + 1*x^14*y^2
   1*x^0*y^14 + 1*x^0*y^32 + 1*x^2*y^12 + 1*x^16*y^0
   1*x^0*y^15 + 1*x^0*y^31 + 1*x^15*y^0 + 1*x^15*y^1
   1*x^0*y^15 + 1*x^0*y^32 + 1*x^1*y^14 + 1*x^16*y^0
   1*x^0*y^16 + 1*x^0*y^24 + 1*x^8*y^4 + 1*x^12*y^0
   1*x^0*y^16 + 1*x^0*y^24 + 1*x^8*y^16 + 1*x^16*y^0
   1*x^0*y^16 + 1*x^0*y^28 + 1*x^4*y^24 + 1*x^16*y^0
   1*x^0*y^16 + 1*x^0*y^30 + 1*x^2*y^28 + 1*x^16*y^0
   1*x^0*y^16 + 1*x^0*y^31 + 1*x^1*y^30 + 1*x^16*y^0
   1*x^0*y^17 + 1*x^0*y^18 + 1*x^1*y^8 + 1*x^9*y^0
   1*x^0*y^17 + 1*x^0*y^32 + 1*x^1*y^15 + 1*x^16*y^0
   1*x^0*y^18 + 1*x^0*y^20 + 1*x^2*y^8 + 1*x^10*y^0
   1*x^0*y^18 + 1*x^0*y^32 + 1*x^2*y^14 + 1*x^16*y^0
   1*x^0*y^20 + 1*x^0*y^24 + 1*x^4*y^8 + 1*x^12*y^0
   1*x^0*y^20 + 1*x^0*y^32 + 1*x^4*y^12 + 1*x^16*y^0
   1*x^0*y^24 + 1*x^0*y^32 + 1*x^8*y^8 + 1*x^16*y^0
   [the 39276 relations with 5 and 6 terms are not listed here; their numbers are given above]
done planted_p2_asc_16x32
