random choices: random.Random(1366312), consumed in the order of the script; the attempts used are printed
PASS (A) dim{u : N_L o u in nu_3(Gamma)} = 4, 5 (Gamma_3 collinear; L outside / in Gamma) and 3, 4 (Gamma_2)  [0.3s]
  attempts used (w_i, L) = (0, 0); L = 4*x + y + 2*z; w_1, w_2, w_3 + L^4 = [1194/157*x^2*y - 1194/157*x*y^2 + 274/157*x^2*z - 1419/157*x*y*z - 2*y^2*z + 5*x*z^2 - y*z^2 - 5*z^3, 1192/157*x^2*y - 1192/157*x*y^2 + 845/157*x^2*z - 148/157*x*y*z + y*z^2 + 4*z^3, 256*x^4 + 256*x^3*y + 96*x^2*y^2 + 16*x*y^3 + y^4 + 512*x^3*z + 384*x^2*y*z + 96*x*y^2*z + 8*y^3*z + 384*x^2*z^2 + 192*x*y*z^2 + 24*y^2*z^2 + 128*x*z^3 + 32*y*z^3 + 16*z^4 - 2702/157*x^2*y + 2702/157*x*y^2 - 1019/157*x^2*z + 2367/157*x*y*z - 4*y^2*z - x*z^2 + 3*z^3]
PASS (B) s = 3, m = 6 (s = 3, m = 6): the condition of lem:netbinary holds; member with H = [1, 3, 6, 6, 3, 1] contains w_1, w_2, w_3 + L^4, colength 36  [1.0s]
  attempts used (w_i, L) = (0, 0); L = 6*x + 2*y + 5*z; w_1, w_2, w_3 + L^4 = [-20/9*x^2*y + 20/9*x*y^2 - 38/9*x^2*z - 3*x*y*z + y^2*z - 5*x*z^2 + 2*y*z^2 + 2*z^3, 143/18*x^2*y - 143/18*x*y^2 + 103/9*x^2*z + 3*x*y*z + 2*y^2*z + 27/2*x*z^2 + 3*y*z^2 - 4*z^3, 1296*x^4 + 1728*x^3*y + 864*x^2*y^2 + 192*x*y^3 + 16*y^4 + 4320*x^3*z + 4320*x^2*y*z + 1440*x*y^2*z + 160*y^3*z + 5400*x^2*z^2 + 3600*x*y*z^2 + 600*y^2*z^2 + 3000*x*z^3 + 1000*y*z^3 + 625*z^4 - 85/9*x^2*y + 85/9*x*y^2 + 32/9*x^2*z + 3*x*y*z - 5*y^2*z - 3*x*z^2 + z^3]
PASS (B) s = 3, m = 3 (s = 3, m = 3): the condition of lem:netbinary holds; member with H = [1, 3, 6, 6, 3, 1] contains w_1, w_2, w_3 + L^4, colength 36  [1.3s]
  attempts used (w_i, L) = (0, 0); L = 4*x + 8*y + 8*z; w_1, w_2, w_3 + L^4 = [-5693/1014*x^2*y - 11647/1014*x*y^2 - 2915/338*x^2*z - 901/26*x*y*z + 3*y^2*z - 5*x*z^2 - y*z^2 + 2*z^3, -2207/507*x^2*y + 6971/507*x*y^2 + 1564/169*x^2*z + 560/13*x*y*z + 3*y^2*z - x*z^2 - 2*y*z^2 - 4*z^3, 256*x^4 + 2048*x^3*y + 6144*x^2*y^2 + 8192*x*y^3 + 4096*y^4 + 2048*x^3*z + 12288*x^2*y*z + 24576*x*y^2*z + 16384*y^3*z + 6144*x^2*z^2 + 24576*x*y*z^2 + 24576*y^2*z^2 + 8192*x*z^3 + 16384*y*z^3 + 4096*z^4 - 8143/1014*x^2*y - 14201/1014*x*y^2 - 11447/1014*x^2*z - 2917/78*x*y*z + 5*y^2*z - 4*x*z^2 - y*z^2 + 2*z^3]
PASS (B) s = 2, m = 5 (s = 2, m = 5): the condition of lem:netbinary holds; member with H = [1, 3, 6, 6, 3, 1] contains w_1, w_2, w_3 + L^4, colength 36  [1.5s]
total time 1.5 s
ALL CHECKS PASSED
