PASS (MC) L0(0,0): a triple of local length 37 (stable N = 9) <= 41  [16.8s]
     triple: [2*x^5 + 4*x^4*y + 3*x^3*y^2 - 5*x^2*y^3 - y^5 - 2*x^4*z - 2*x^3*y*z - x^2*y^2*z + 3*x*y^3*z - 4*y^4*z - 4*x^3*z^2 + x^2*y*z^2 - 2*x*y^2*z^2 + 2*y^3*z^2 + 2*x^2*z^3 + x*y*z^3 - 5*y^2*z^3 + 2*y*z^4 - 2*z^5 + 3*x^3*y - 5*x^2*y^2 + 2*y^4 - 5*x^3*z + x^2*y*z + 5*x*y^2*z + 5*y^3*z - 6*x^2*z^2 - 7*x*y*z^2 + y^2*z^2 + 4*x*z^3 - x^3 - 3*x^2*y + 5*x^2*z - 2*x*y*z + 2*x*z^2, -4*x^4*y + 3*x^3*y^2 - x^2*y^3 - x*y^4 - 4*y^5 - 2*x^4*z - 4*x^3*y*z - 4*x^2*y^2*z - 5*x*y^3*z + y^4*z - x^3*z^2 - 5*x^2*y*z^2 - 2*x*y^2*z^2 + x^2*z^3 - 3*x*y*z^3 - 5*y^2*z^3 - 3*x*z^4 - 4*y*z^4 + z^5 + x^4 + x^3*y - 3*y^4 - 7*x^3*z + 7*x^2*y*z - x*y^2*z + y^3*z + 3*x^2*z^2 - 2*x*y*z^2 + 3*y^2*z^2 + x*z^3 + 4*y*z^3 + z^4 - x^3 - 2*x^2*y - 5*x^2*z + 2*x*y*z + 5*x*z^2, 3*x^5 - 4*x^4*y - 4*x^3*y^2 + 4*x^2*y^3 + x*y^4 + y^5 + 4*x^4*z - 4*x^3*y*z + 5*x^2*y^2*z - x*y^3*z + y^4*z - x^3*z^2 - 2*x^2*y*z^2 + 3*x*y^2*z^2 + 2*y^3*z^2 - 2*x^2*z^3 - x*y*z^3 - 4*y^2*z^3 + x*z^4 + 5*y*z^4 + 2*z^5 + x^4 + 5*x^2*y^2 - 2*y^4 + 4*x^3*z + 9*x^2*y*z + x*y^2*z - 5*y^3*z - 5*x^2*z^2 + 3*x*y*z^2 + 2*y^2*z^2 - 4*x*z^3 - 5*y*z^3 - 3*z^4 + x^3 + 5*x^2*y + 3*x^2*z - 5*x*y*z + 3*x*z^2]
PASS (MC) L0(1,0): a triple of local length 38 (stable N = 10) <= 41  [51.3s]
     triple: [2*x^5 - 3*x^4*y + 5*x^3*y^2 + 5*x^2*y^3 + 5*x*y^4 - 4*y^5 + 2*x^4*z + x^3*y*z + 3*x^2*y^2*z + 3*x*y^3*z - 4*y^4*z - 4*x^2*y*z^2 + 5*x*y^2*z^2 + 2*y^3*z^2 + x^2*z^3 + 5*x*y*z^3 - 5*x*z^4 - 3*y*z^4 + z^5 + 2*x^4 + 8*x^3*y - x^2*y^2 + 4*y^4 - 4*x^3*z - 3*x^2*y*z + 5*x*y^2*z - 4*y^3*z - x^2*z^2 + 7*x*y*z^2 - 2*y^2*z^2 + 4*x*z^3 - y*z^3 + 4*x^3 + 4*x^2*y + x^2*z + x*y*z + 2*x*z^2, 4*x^5 - x^4*y + 4*x^2*y^3 + 2*x*y^4 - 2*y^5 - 4*x^4*z + x^3*y*z + 4*x^2*y^2*z + 3*x*y^3*z - 4*y^4*z + 4*x^3*z^2 - 2*x^2*y*z^2 + x*y^2*z^2 + 2*y^3*z^2 + 5*x^2*z^3 - 4*x*y*z^3 - 5*y^2*z^3 - 2*x*z^4 + y*z^4 + z^5 - 5*x^4 + 5*x^3*y - 3*x^2*y^2 + 5*y^4 - 6*x^3*z + 5*x^2*y*z + 4*x*y^2*z + 5*y^3*z + 4*x*y*z^2 - 2*y^2*z^2 - 3*x*z^3 + y*z^3 - 5*x^3 - 2*x^2*y + 5*x^2*z + 3*x*y*z - 5*x*z^2, x^5 + 2*x^4*y + 3*x^3*y^2 + 2*x^2*y^3 + 2*x*y^4 + 2*y^5 - 5*x^4*z - 3*x^3*y*z - 5*x^2*y^2*z + 4*x*y^3*z - y^4*z - 5*x^3*z^2 - 5*x^2*y*z^2 - 4*x*y^2*z^2 - 3*y^3*z^2 - x^2*z^3 - 4*x*y*z^3 - 5*y^2*z^3 + 2*x*z^4 - 3*y*z^4 + 2*z^5 + 3*x^4 + 5*x^3*y + 2*x^2*y^2 - 6*x^3*z + 2*x^2*y*z - 4*x*y^2*z + 3*y^3*z + 2*x^2*z^2 + 5*x*y*z^2 + 4*x*z^3 - 4*y*z^3 + 4*x^3 - 4*x^2*y - 2*x^2*z - 3*x*y*z]
PASS (MC) L0(1,1): a triple of local length 40 (stable N = 11) <= 41  [119.2s]
     triple: [2*x^5 - 2*x^4*y - 4*x^2*y^3 + x*y^4 + 2*y^5 + 3*x^4*z + 3*x^3*y*z - x^2*y^2*z - 2*x*y^3*z - 3*y^4*z + 3*x^3*z^2 - x^2*y*z^2 - 3*x*y^2*z^2 - 4*y^3*z^2 - 3*x^2*z^3 - x*y*z^3 + 4*y^2*z^3 - 5*x*z^4 - 3*y*z^4 - 3*z^5 - 4*x^4 + 2*x^3*y - x^2*y^2 - 2*x^3*z - 2*x^2*y*z - x*y^2*z + y^3*z - 2*x^2*z^2 - 9*x*y*z^2 - 3*y^2*z^2 + 2*x*z^3 + y*z^3 + z^4 + 5*x^3 + 4*x^2*y + 3*x^2*z + 3*x*y*z + 3*x*z^2, -x^5 - 5*x^4*y - 2*x^3*y^2 + 3*x^2*y^3 - 4*x*y^4 - 5*y^5 + 2*x^4*z - 5*x^3*y*z - 4*x^2*y^2*z + x*y^3*z + 2*y^4*z + 2*x^3*z^2 + 4*x^2*y*z^2 - 4*x*y^2*z^2 - 5*y^3*z^2 - 2*x^2*z^3 + 3*x*y*z^3 + y^2*z^3 + 4*x*z^4 - 3*y*z^4 + 5*z^5 + 3*x^4 + x^3*y + x^2*y^2 - 4*x^3*z + 9*x^2*y*z - x*y^2*z - 2*y^3*z + 8*x^2*z^2 + 7*x*y*z^2 + 5*x*z^3 - 5*z^4 + 4*x^3 - 2*x^2*y + 4*x*y*z - 4*x*z^2, -x^5 + 3*x^4*y + 5*x^3*y^2 - 5*x^2*y^3 + x*y^4 - 2*y^5 - 5*x^4*z + 3*x^3*y*z - 3*x^2*y^2*z + 5*x*y^3*z - 3*y^4*z + x^3*z^2 - 4*x^2*y*z^2 + 2*x*y^2*z^2 - 4*y^3*z^2 + x^2*z^3 - 5*x*y*z^3 + 5*y^2*z^3 - 2*x*z^4 + y*z^4 + z^5 - 2*x^4 + x^3*y - 4*x^2*y^2 - 2*x^3*z - 3*x*y^2*z + 3*y^3*z - 5*y^2*z^2 + 4*x*z^3 + y*z^3 + 2*z^4 - 5*x^3 - x^2*y - 5*x^2*z - x*y*z]
PASS (MC) L0(2,0): a triple of local length 39 (stable N = 10) <= 41  [153.9s]
     triple: [-2*x^5 + 3*x^3*y^2 + 3*x^2*y^3 + 3*x*y^4 - 3*y^5 + 4*x^4*z + x^3*y*z + x^2*y^2*z - x*y^3*z + 4*y^4*z - 3*x^3*z^2 + x^2*y*z^2 + 2*x*y^2*z^2 - 5*y^3*z^2 + 2*x^2*z^3 + 5*x*y*z^3 - 2*y^2*z^3 + 3*x*z^4 + 4*y*z^4 + 5*z^5 - 5*x^4 + 5*x^3*y - 4*x^2*y^2 - 4*y^4 + 2*x^3*z + 11*x^2*y*z + 4*x*y^2*z + y^3*z + 7*x^2*z^2 + 4*x*y*z^2 + 3*y^2*z^2 - 3*x*z^3 + x^3 + 2*x^2*z + 5*x*y*z - x*z^2, 3*x^5 + 2*x^4*y - 4*x^3*y^2 - 4*x^2*y^3 + 4*x*y^4 + 5*y^5 + 5*x^4*z + x^3*y*z + 4*x^2*y^2*z - 5*x*y^3*z + 4*y^4*z - 3*x^3*z^2 - 5*x^2*y*z^2 - 3*y^3*z^2 - 2*x^2*z^3 - 5*x*y*z^3 - 3*y^2*z^3 - 4*x*z^4 + y*z^4 + 2*z^5 - 2*x^4 + 4*x^3*y + x^2*y^2 - y^4 + 3*x^3*z - 4*x^2*y*z + 4*x*y^2*z + 3*y^3*z + x^2*z^2 + 2*x*y*z^2 - 2*y^2*z^2 - x*z^3 - x^3 - 5*x^2*y - 4*x*y*z - 5*x*z^2, -5*x^5 + 5*x^4*y + 5*x*y^4 - y^5 + 5*x^4*z - 3*x^3*y*z - 4*x^2*y^2*z + x*y^3*z + 5*y^4*z + 3*x^3*z^2 - 5*x^2*y*z^2 - 2*x*y^2*z^2 + 3*y^3*z^2 + x*y*z^3 + 2*y^2*z^3 + 5*x*z^4 + 2*y*z^4 - 4*z^5 + 4*x^4 + 2*x^3*y + x^2*y^2 - 6*x^3*z - 6*x^2*y*z - 2*y^3*z - 5*x^2*z^2 - 5*x*y*z^2 - 2*y^2*z^2 + x*z^3 + 4*x^3 - 3*x^2*y + 4*x^2*z - 5*x*y*z + 5*x*z^2]
PASS (MC) L0(2,1): a triple of local length 41 (stable N = 11) <= 41  [211.7s]
     triple: [5*x^4*y + 3*x^3*y^2 + 4*x^2*y^3 + 4*x*y^4 + 2*y^5 - 3*x^3*y*z + 4*x^2*y^2*z + 3*y^4*z - 3*x^2*y*z^2 - x*y^2*z^2 - 4*y^3*z^2 - 4*x^2*z^3 + x*y*z^3 + 3*y^2*z^3 + 5*x*z^4 - 3*y*z^4 - 5*z^5 - 2*x^4 - 6*x^3*y + 2*x^2*y^2 - 7*x^3*z - 2*x^2*y*z - 2*x*y^2*z + 6*x^2*z^2 + 3*x*y*z^2 - 4*y^2*z^2 - 2*x*z^3 + 5*y*z^3 - 2*x^3 + 3*x^2*y - x^2*z + 5*x*y*z - 3*x*z^2, 4*x^5 - x^4*y + 5*x^3*y^2 + 4*x^2*y^3 - 3*x*y^4 - x^4*z - 5*x^2*y^2*z - 3*x*y^3*z - 2*x^3*z^2 + 3*x^2*y*z^2 + 2*x*y^2*z^2 - 4*x*y*z^3 - 4*y^2*z^3 + 5*x*z^4 - 5*y*z^4 - 5*z^5 - 7*x^3*y + 5*x^2*y^2 + 2*x^3*z - 3*x^2*y*z + 3*x*y^2*z - 2*y^3*z + 4*x^2*z^2 - 2*x*y*z^2 + 5*y^2*z^2 - 5*y*z^3 - 3*x^3 - 5*x^2*y - x^2*z + 4*x*y*z + 5*x*z^2, 4*x^5 - 4*x^4*y + 2*x^2*y^3 - 5*x*y^4 - y^5 - 5*x^4*z + 5*x^3*y*z - 4*x*y^3*z - 2*y^4*z + 3*x^3*z^2 - 4*x*y^2*z^2 + y^3*z^2 - 4*x^2*z^3 + x*y*z^3 + 4*y^2*z^3 - 5*x*z^4 - 4*y*z^4 - 5*z^5 - 5*x^4 - 6*x^3*y - 5*x^2*y^2 + 2*x^3*z + 2*x^2*y*z - 4*x*y^2*z + 6*x^2*z^2 + y^2*z^2 - 2*x*z^3 + 5*y*z^3 + 4*x^3 - 4*x^2*y - 4*x^2*z - 3*x*y*z + x*z^2]
PASS (MC) L0(2,2): a triple of local length 41 (stable N = 11) <= 41  [260.6s]
     triple: [4*x^5 - 3*x^4*y - 5*x^3*y^2 + x^2*y^3 - 3*x*y^4 - 3*y^5 + 2*x^4*z - x^3*y*z + 5*x^2*y^2*z - x*y^3*z - y^4*z + 3*x^3*z^2 + 2*x^2*y*z^2 + x*y^2*z^2 - 5*y^3*z^2 + 4*x^2*z^3 - 4*x*y*z^3 - 2*y^2*z^3 - 5*x*z^4 - 5*y*z^4 + 4*z^5 + 2*x^4 - x^3*y + x^2*y^2 - x^3*z - 2*x^2*y*z + 3*x*y^2*z + 10*x^2*z^2 + 4*x*y*z^2 - 3*y^2*z^2 - 2*x*z^3 - y*z^3 - 2*z^4 - x^3 - 4*x^2*y + 2*x^2*z - 5*x*y*z + x*z^2, -3*x^5 + 2*x^4*y - 2*x^3*y^2 - 3*x^2*y^3 + 2*x*y^4 + y^5 + 4*x^4*z - 5*x^3*y*z + x^2*y^2*z - 5*y^4*z - 5*x^3*z^2 + x^2*y*z^2 + 2*x*y^2*z^2 - y^3*z^2 + 3*x^2*z^3 - x*y*z^3 + 4*y^2*z^3 - 5*x*z^4 - 3*y*z^4 - 2*z^5 + 3*x^4 - 3*x^3*y + 2*x^3*z + 7*x^2*y*z - x^2*z^2 + 3*y^2*z^2 - 4*x*z^3 - y*z^3 - z^4 - 2*x^3 - 3*x^2*y - 3*x^2*z - x*y*z - 3*x*z^2, -4*x^5 + 4*x^4*y + 5*x^3*y^2 - 5*x^2*y^3 + 2*x*y^4 - 4*y^5 + 2*x^4*z + 4*x^3*y*z + 2*x^2*y^2*z - 3*x*y^3*z + 5*y^4*z + 3*x^3*z^2 + 4*x^2*y*z^2 - x*y^2*z^2 + 4*y^3*z^2 + x^2*z^3 + x*y*z^3 - 3*y^2*z^3 - 5*x*z^4 + 2*y*z^4 - 3*z^5 + 5*x^4 - 3*x^3*y - 2*x^2*y^2 + 6*x^3*z + 2*x*y^2*z - 8*x*y*z^2 + 3*y^2*z^2 + 4*x*z^3 + y*z^3 + 3*z^4 - 5*x^3 + 3*x^2*z + 5*x*y*z + 5*x*z^2]
PASS (MC) L0(3,0): a triple of local length 40 (stable N = 10) <= 41  [285.4s]
     triple: [5*x^5 - 3*x^4*y - 2*x^2*y^3 - 5*x*y^4 + 3*y^5 + 3*x^4*z - 5*x^3*y*z + x^2*y^2*z + 4*x*y^3*z - 2*y^4*z - 4*x^2*y*z^2 - 2*x*y^2*z^2 + y^3*z^2 + 3*x^2*z^3 + x*y*z^3 - 2*y^2*z^3 + x*z^4 - 2*y*z^4 - 4*z^5 - x^4 + 3*x^3*y + 3*x^2*y^2 + 2*y^4 - 6*x^3*z + 4*x*y^2*z + 3*x^2*z^2 + 5*x*y*z^2 + x*z^3 + 2*x^3 - x^2*y - 3*x^2*z + 3*x*y*z + 4*x*z^2, -4*x^5 + 5*x^4*y - 2*x^3*y^2 - 2*x^2*y^3 + 5*x*y^4 + 4*y^5 - 5*x^3*y*z - x^2*y^2*z - x*y^3*z - 4*y^4*z + 5*x^3*z^2 - 4*x^2*y*z^2 + y^3*z^2 - 4*x^2*z^3 - x*y*z^3 - 3*y^2*z^3 - 3*x*z^4 - y*z^4 + 2*z^5 + x^4 - 7*x^3*y + x^2*y^2 + 4*y^4 + 3*x^2*y*z - 3*x*y^2*z + 4*y^3*z + 8*x^2*z^2 - x*y*z^2 + 3*x*z^3 - 3*x^3 + 3*x^2*y - x^2*z - 4*x*y*z + 2*x*z^2, 4*x^5 + 3*x^4*y - 2*x^3*y^2 + 3*x^2*y^3 - x*y^4 - 2*x^4*z - 3*x^3*y*z + x^2*y^2*z + 2*x*y^3*z - 4*y^4*z - 2*x^3*z^2 + 5*x^2*y*z^2 + 2*x*y^2*z^2 + 3*y^3*z^2 - 2*x^2*z^3 + 5*y^2*z^3 - 4*x*z^4 + 2*y*z^4 - 2*z^5 - 4*x^4 - x^3*y + 3*y^4 + 5*x^3*z + 3*x^2*y*z - 4*x*y^2*z + 2*y^3*z + 3*x^2*z^2 + 5*x*z^3 + 5*x^3 - 3*x^2*y - 3*x^2*z - x*y*z - x*z^2]
   trial 0 : [(0, True, 3, 12), (1, True, 3, 12), (2, True, 3, 12), (-3, True, 3, 12)] member at t=2 closed with H: True
   trial 1 : [(0, True, 3, 12), (1, True, 3, 12), (2, True, 3, 12), (-3, True, 3, 12)] member at t=2 closed with H: True
   trial 2 : [(0, True, 3, 12), (1, True, 3, 12), (2, True, 3, 12), (-3, True, 3, 12)] member at t=2 closed with H: True
PASS (CV) curve: compatible graded data and constant dim(W_t . Syz) at t = 0, 1, 2, -3; member at t = 2 closed with the right H: 3 of 3  [286.1s]
total time 286.1 s
ALL CHECKS PASSED
