
(-((-((-y + x^5 + 6)*(-y^2 + x^6 + 8) - (-y + x^6 + 7)*(-y^2 + x^5 + 7))*(-y^3 + x^4 + 7) - (-y + x^4 + 5)*((-y^2 + x^5 + 7)*(-y^3 + x^6 + 9) - (-y^2 + x^6 + 8)*(-y^3 + x^5 + 8)) - (y^2 - x^4 - 6)*((-y + x^5 + 6)*(-y^3 + x^6 + 9) - (-y + x^6 + 7)*(-y^3 + x^5 + 8)))*(-y^4 + x^3 + 7) + (-y + x^3 + 4)*(((-y^2 + x^5 + 7)*(-y^3 + x^6 + 9) - (-y^2 + x^6 + 8)*(-y^3 + x^5 + 8))*(-y^4 + x^4 + 8) + (-y^2 + x^4 + 6)*((-y^3 + x^5 + 8)*(-y^4 + x^6 + 10) - (-y^3 + x^6 + 9)*(-y^4 + x^5 + 9)) + (y^3 - x^4 - 7)*((-y^2 + x^5 + 7)*(-y^4 + x^6 + 10) - (-y^2 + x^6 + 8)*(-y^4 + x^5 + 9))) + (y^2 - x^3 - 5)*(((-y + x^5 + 6)*(-y^3 + x^6 + 9) - (-y + x^6 + 7)*(-y^3 + x^5 + 8))*(-y^4 + x^4 + 8) + (-y + x^4 + 5)*((-y^3 + x^5 + 8)*(-y^4 + x^6 + 10) - (-y^3 + x^6 + 9)*(-y^4 + x^5 + 9)) + (y^3 - x^4 - 7)*((-y + x^5 + 6)*(-y^4 + x^6 + 10) - (-y + x^6 + 7)*(-y^4 + x^5 + 9))) + (-y^3 + x^3 + 6)*(((-y + x^5 + 6)*(-y^2 + x^6 + 8) - (-y + x^6 + 7)*(-y^2 + x^5 + 7))*(-y^4 + x^4 + 8) + (-y + x^4 + 5)*((-y^2 + x^5 + 7)*(-y^4 + x^6 + 10) - (-y^2 + x^6 + 8)*(-y^4 + x^5 + 9)) + (y^2 - x^4 - 6)*((-y + x^5 + 6)*(-y^4 + x^6 + 10) - (-y + x^6 + 7)*(-y^4 + x^5 + 9))))*(-y^5 + x^2 + 7) - (-y + x^2 + 3)*((-((-y^2 + x^5 + 7)*(-y^3 + x^6 + 9) - (-y^2 + x^6 + 8)*(-y^3 + x^5 + 8))*(-y^4 + x^4 + 8) - (-y^2 + x^4 + 6)*((-y^3 + x^5 + 8)*(-y^4 + x^6 + 10) - (-y^3 + x^6 + 9)*(-y^4 + x^5 + 9)) - (y^3 - x^4 - 7)*((-y^2 + x^5 + 7)*(-y^4 + x^6 + 10) - (-y^2 + x^6 + 8)*(-y^4 + x^5 + 9)))*(-y^5 + x^3 + 8) + (-y^2 + x^3 + 5)*(((-y^3 + x^5 + 8)*(-y^4 + x^6 + 10) - (-y^3 + x^6 + 9)*(-y^4 + x^5 + 9))*(-y^5 + x^4 + 9) + (-y^3 + x^4 + 7)*((-y^4 + x^5 + 9)*(-y^5 + x^6 + 11) - (-y^4 + x^6 + 10)*(-y^5 + x^5 + 10)) + (y^4 - x^4 - 8)*((-y^3 + x^5 + 8)*(-y^5 + x^6 + 11) - (-y^3 + x^6 + 9)*(-y^5 + x^5 + 10))) + (y^3 - x^3 - 6)*(((-y^2 + x^5 + 7)*(-y^4 + x^6 + 10) - (-y^2 + x^6 + 8)*(-y^4 + x^5 + 9))*(-y^5 + x^4 + 9) + (-y^2 + x^4 + 6)*((-y^4 + x^5 + 9)*(-y^5 + x^6 + 11) - (-y^4 + x^6 + 10)*(-y^5 + x^5 + 10)) + (y^4 - x^4 - 8)*((-y^2 + x^5 + 7)*(-y^5 + x^6 + 11) - (-y^2 + x^6 + 8)*(-y^5 + x^5 + 10))) + (-y^4 + x^3 + 7)*(((-y^2 + x^5 + 7)*(-y^3 + x^6 + 9) - (-y^2 + x^6 + 8)*(-y^3 + x^5 + 8))*(-y^5 + x^4 + 9) + (-y^2 + x^4 + 6)*((-y^3 + x^5 + 8)*(-y^5 + x^6 + 11) - (-y^3 + x^6 + 9)*(-y^5 + x^5 + 10)) + (y^3 - x^4 - 7)*((-y^2 + x^5 + 7)*(-y^5 + x^6 + 11) - (-y^2 + x^6 + 8)*(-y^5 + x^5 + 10)))) - (y^2 - x^2 - 4)*((-((-y + x^5 + 6)*(-y^3 + x^6 + 9) - (-y + x^6 + 7)*(-y^3 + x^5 + 8))*(-y^4 + x^4 + 8) - (-y + x^4 + 5)*((-y^3 + x^5 + 8)*(-y^4 + x^6 + 10) - (-y^3 + x^6 + 9)*(-y^4 + x^5 + 9)) - (y^3 - x^4 - 7)*((-y + x^5 + 6)*(-y^4 + x^6 + 10) - (-y + x^6 + 7)*(-y^4 + x^5 + 9)))*(-y^5 + x^3 + 8) + (-y + x^3 + 4)*(((-y^3 + x^5 + 8)*(-y^4 + x^6 + 10) - (-y^3 + x^6 + 9)*(-y^4 + x^5 + 9))*(-y^5 + x^4 + 9) + (-y^3 + x^4 + 7)*((-y^4 + x^5 + 9)*(-y^5 + x^6 + 11) - (-y^4 + x^6 + 10)*(-y^5 + x^5 + 10)) + (y^4 - x^4 - 8)*((-y^3 + x^5 + 8)*(-y^5 + x^6 + 11) - (-y^3 + x^6 + 9)*(-y^5 + x^5 + 10))) + (y^3 - x^3 - 6)*(((-y + x^5 + 6)*(-y^4 + x^6 + 10) - (-y + x^6 + 7)*(-y^4 + x^5 + 9))*(-y^5 + x^4 + 9) + (-y + x^4 + 5)*((-y^4 + x^5 + 9)*(-y^5 + x^6 + 11) - (-y^4 + x^6 + 10)*(-y^5 + x^5 + 10)) + (y^4 - x^4 - 8)*((-y + x^5 + 6)*(-y^5 + x^6 + 11) - (-y + x^6 + 7)*(-y^5 + x^5 + 10))) + (-y^4 + x^3 + 7)*(((-y + x^5 + 6)*(-y^3 + x^6 + 9) - (-y + x^6 + 7)*(-y^3 + x^5 + 8))*(-y^5 + x^4 + 9) + (-y + x^4 + 5)*((-y^3 + x^5 + 8)*(-y^5 + x^6 + 11) - (-y^3 + x^6 + 9)*(-y^5 + x^5 + 10)) + (y^3 - x^4 - 7)*((-y + x^5 + 6)*(-y^5 + x^6 + 11) - (-y + x^6 + 7)*(-y^5 + x^5 + 10)))) - (-y^3 + x^2 + 5)*((-((-y + x^5 + 6)*(-y^2 + x^6 + 8) - (-y + x^6 + 7)*(-y^2 + x^5 + 7))*(-y^4 + x^4 + 8) - (-y + x^4 + 5)*((-y^2 + x^5 + 7)*(-y^4 + x^6 + 10) - (-y^2 + x^6 + 8)*(-y^4 + x^5 + 9)) - (y^2 - x^4 - 6)*((-y + x^5 + 6)*(-y^4 + x^6 + 10) - (-y + x^6 + 7)*(-y^4 + x^5 + 9)))*(-y^5 + x^3 + 8) + (-y + x^3 + 4)*(((-y^2 + x^5 + 7)*(-y^4 + x^6 + 10) - (-y^2 + x^6 + 8)*(-y^4 + x^5 + 9))*(-y^5 + x^4 + 9) + (-y^2 + x^4 + 6)*((-y^4 + x^5 + 9)*(-y^5 + x^6 + 11) - (-y^4 + x^6 + 10)*(-y^5 + x^5 + 10)) + (y^4 - x^4 - 8)*((-y^2 + x^5 + 7)*(-y^5 + x^6 + 11) - (-y^2 + x^6 + 8)*(-y^5 + x^5 + 10))) + (y^2 - x^3 - 5)*(((-y + x^5 + 6)*(-y^4 + x^6 + 10) - (-y + x^6 + 7)*(-y^4 + x^5 + 9))*(-y^5 + x^4 + 9) + (-y + x^4 + 5)*((-y^4 + x^5 + 9)*(-y^5 + x^6 + 11) - (-y^4 + x^6 + 10)*(-y^5 + x^5 + 10)) + (y^4 - x^4 - 8)*((-y + x^5 + 6)*(-y^5 + x^6 + 11) - (-y + x^6 + 7)*(-y^5 + x^5 + 10))) + (-y^4 + x^3 + 7)*(((-y + x^5 + 6)*(-y^2 + x^6 + 8) - (-y + x^6 + 7)*(-y^2 + x^5 + 7))*(-y^5 + x^4 + 9) + (-y + x^4 + 5)*((-y^2 + x^5 + 7)*(-y^5 + x^6 + 11) - (-y^2 + x^6 + 8)*(-y^5 + x^5 + 10)) + (y^2 - x^4 - 6)*((-y + x^5 + 6)*(-y^5 + x^6 + 11) - (-y + x^6 + 7)*(-y^5 + x^5 + 10)))) - (y^4 - x^2 - 6)*((-((-y + x^5 + 6)*(-y^2 + x^6 + 8) - (-y + x^6 + 7)*(-y^2 + x^5 + 7))*(-y^3 + x^4 + 7) - (-y + x^4 + 5)*((-y^2 + x^5 + 7)*(-y^3 + x^6 + 9) - (-y^2 + x^6 + 8)*(-y^3 + x^5 + 8)) - (y^2 - x^4 - 6)*((-y + x^5 + 6)*(-y^3 + x^6 + 9) - (-y + x^6 + 7)*(-y^3 + x^5 + 8)))*(-y^5 + x^3 + 8) + (-y + x^3 + 4)*(((-y^2 + x^5 + 7)*(-y^3 + x^6 + 9) - (-y^2 + x^6 + 8)*(-y^3 + x^5 + 8))*(-y^5 + x^4 + 9) + (-y^2 + x^4 + 6)*((-y^3 + x^5 + 8)*(-y^5 + x^6 + 11) - (-y^3 + x^6 + 9)*(-y^5 + x^5 + 10)) + (y^3 - x^4 - 7)*((-y^2 + x^5 + 7)*(-y^5 + x^6 + 11) - (-y^2 + x^6 + 8)*(-y^5 + x^5 + 10))) + (y^2 - x^3 - 5)*(((-y + x^5 + 6)*(-y^3 + x^6 + 9) - (-y + x^6 + 7)*(-y^3 + x^5 + 8))*(-y^5 + x^4 + 9) + (-y + x^4 + 5)*((-y^3 + x^5 + 8)*(-y^5 + x^6 + 11) - (-y^3 + x^6 + 9)*(-y^5 + x^5 + 10)) + (y^3 - x^4 - 7)*((-y + x^5 + 6)*(-y^5 + x^6 + 11) - (-y + x^6 + 7)*(-y^5 + x^5 + 10))) + (-y^3 + x^3 + 6)*(((-y + x^5 + 6)*(-y^2 + x^6 + 8) - (-y + x^6 + 7)*(-y^2 + x^5 + 7))*(-y^5 + x^4 + 9) + (-y + x^4 + 5)*((-y^2 + x^5 + 7)*(-y^5 + x^6 + 11) - (-y^2 + x^6 + 8)*(-y^5 + x^5 + 10)) + (y^2 - x^4 - 6)*((-y + x^5 + 6)*(-y^5 + x^6 + 11) - (-y + x^6 + 7)*(-y^5 + x^5 + 10)))))*(-y^6 + x + 7) + (-y + x + 2)*(((-((-y^2 + x^5 + 7)*(-y^3 + x^6 + 9) - (-y^2 + x^6 + 8)*(-y^3 + x^5 + 8))*(-y^4 + x^4 + 8) - (-y^2 + x^4 + 6)*((-y^3 + x^5 + 8)*(-y^4 + x^6 + 10) - (-y^3 + x^6 + 9)*(-y^4 + x^5 + 9)) - (y^3 - x^4 - 7)*((-y^2 + x^5 + 7)*(-y^4 + x^6 + 10) - (-y^2 + x^6 + 8)*(-y^4 + x^5 + 9)))*(-y^5 + x^3 + 8) + (-y^2 + x^3 + 5)*(((-y^3 + x^5 + 8)*(-y^4 + x^6 + 10) - (-y^3 + x^6 + 9)*(-y^4 + x^5 + 9))*(-y^5 + x^4 + 9) + (-y^3 + x^4 + 7)*((-y^4 + x^5 + 9)*(-y^5 + x^6 + 11) - (-y^4 + x^6 + 10)*(-y^5 + x^5 + 10)) + (y^4 - x^4 - 8)*((-y^3 + x^5 + 8)*(-y^5 + x^6 + 11) - (-y^3 + x^6 + 9)*(-y^5 + x^5 + 10))) + (y^3 - x^3 - 6)*(((-y^2 + x^5 + 7)*(-y^4 + x^6 + 10) - (-y^2 + x^6 + 8)*(-y^4 + x^5 + 9))*(-y^5 + x^4 + 9) + (-y^2 + x^4 + 6)*((-y^4 + x^5 + 9)*(-y^5 + x^6 + 11) - (-y^4 + x^6 + 10)*(-y^5 + x^5 + 10)) + (y^4 - x^4 - 8)*((-y^2 + x^5 + 7)*(-y^5 + x^6 + 11) - (-y^2 + x^6 + 8)*(-y^5 + x^5 + 10))) + (-y^4 + x^3 + 7)*(((-y^2 + x^5 + 7)*(-y^3 + x^6 + 9) - (-y^2 + x^6 + 8)*(-y^3 + x^5 + 8))*(-y^5 + x^4 + 9) + (-y^2 + x^4 + 6)*((-y^3 + x^5 + 8)*(-y^5 + x^6 + 11) - (-y^3 + x^6 + 9)*(-y^5 + x^5 + 10)) + (y^3 - x^4 - 7)*((-y^2 + x^5 + 7)*(-y^5 + x^6 + 11) - (-y^2 + x^6 + 8)*(-y^5 + x^5 + 10))))*(-y^6 + x^2 + 8) + (-y^2 + x^2 + 4)*((-((-y^3 + x^5 + 8)*(-y^4 + x^6 + 10) - (-y^3 + x^6 + 9)*(-y^4 + x^5 + 9))*(-y^5 + x^4 + 9) - (-y^3 + x^4 + 7)*((-y^4 + x^5 + 9)*(-y^5 + x^6 + 11) - (-y^4 + x^6 + 10)*(-y^5 + x^5 + 10)) - (y^4 - x^4 - 8)*((-y^3 + x^5 + 8)*(-y^5 + x^6 + 11) - (-y^3 + x^6 + 9)*(-y^5 + x^5 + 10)))*(-y^6 + x^3 + 9) + (-y^3 + x^3 + 6)*(((-y^4 + x^5 + 9)*(-y^5 + x^6 + 11) - (-y^4 + x^6 + 10)*(-y^5 + x^5 + 10))*(-y^6 + x^4 + 10) + (-y^4 + x^4 + 8)*((-y^5 + x^5 + 10)*(-y^6 + x^6 + 12) - (-y^5 + x^6 + 11)*(-y^6 + x^5 + 11)) + (y^5 - x^4 - 9)*((-y^4 + x^5 + 9)*(-y^6 + x^6 + 12) - (-y^4 + x^6 + 10)*(-y^6 + x^5 + 11))) + (y^4 - x^3 - 7)*(((-y^3 + x^5 + 8)*(-y^5 + x^6 + 11) - (-y^3 + x^6 + 9)*(-y^5 + x^5 + 10))*(-y^6 + x^4 + 10) + (-y^3 + x^4 + 7)*((-y^5 + x^5 + 10)*(-y^6 + x^6 + 12) - (-y^5 + x^6 + 11)*(-y^6 + x^5 + 11)) + (y^5 - x^4 - 9)*((-y^3 + x^5 + 8)*(-y^6 + x^6 + 12) - (-y^3 + x^6 + 9)*(-y^6 + x^5 + 11))) + (-y^5 + x^3 + 8)*(((-y^3 + x^5 + 8)*(-y^4 + x^6 + 10) - (-y^3 + x^6 + 9)*(-y^4 + x^5 + 9))*(-y^6 + x^4 + 10) + (-y^3 + x^4 + 7)*((-y^4 + x^5 + 9)*(-y^6 + x^6 + 12) - (-y^4 + x^6 + 10)*(-y^6 + x^5 + 11)) + (y^4 - x^4 - 8)*((-y^3 + x^5 + 8)*(-y^6 + x^6 + 12) - (-y^3 + x^6 + 9)*(-y^6 + x^5 + 11)))) + (y^3 - x^2 - 5)*((-((-y^2 + x^5 + 7)*(-y^4 + x^6 + 10) - (-y^2 + x^6 + 8)*(-y^4 + x^5 + 9))*(-y^5 + x^4 + 9) - (-y^2 + x^4 + 6)*((-y^4 + x^5 + 9)*(-y^5 + x^6 + 11) - (-y^4 + x^6 + 10)*(-y^5 + x^5 + 10)) - (y^4 - x^4 - 8)*((-y^2 + x^5 + 7)*(-y^5 + x^6 + 11) - (-y^2 + x^6 + 8)*(-y^5 + x^5 + 10)))*(-y^6 + x^3 + 9) + (-y^2 + x^3 + 5)*(((-y^4 + x^5 + 9)*(-y^5 + x^6 + 11) - (-y^4 + x^6 + 10)*(-y^5 + x^5 + 10))*(-y^6 + x^4 + 10) + (-y^4 + x^4 + 8)*((-y^5 + x^5 + 10)*(-y^6 + x^6 + 12) - (-y^5 + x^6 + 11)*(-y^6 + x^5 + 11)) + (y^5 - x^4 - 9)*((-y^4 + x^5 + 9)*(-y^6 + x^6 + 12) - (-y^4 + x^6 + 10)*(-y^6 + x^5 + 11))) + (y^4 - x^3 - 7)*(((-y^2 + x^5 + 7)*(-y^5 + x^6 + 11) - (-y^2 + x^6 + 8)*(-y^5 + x^5 + 10))*(-y^6 + x^4 + 10) + (-y^2 + x^4 + 6)*((-y^5 + x^5 + 10)*(-y^6 + x^6 + 12) - (-y^5 + x^6 + 11)*(-y^6 + x^5 + 11)) + (y^5 - x^4 - 9)*((-y^2 + x^5 + 7)*(-y^6 + x^6 + 12) - (-y^2 + x^6 + 8)*(-y^6 + x^5 + 11))) + (-y^5 + x^3 + 8)*(((-y^2 + x^5 + 7)*(-y^4 + x^6 + 10) - (-y^2 + x^6 + 8)*(-y^4 + x^5 + 9))*(-y^6 + x^4 + 10) + (-y^2 + x^4 + 6)*((-y^4 + x^5 + 9)*(-y^6 + x^6 + 12) - (-y^4 + x^6 + 10)*(-y^6 + x^5 + 11)) + (y^4 - x^4 - 8)*((-y^2 + x^5 + 7)*(-y^6 + x^6 + 12) - (-y^2 + x^6 + 8)*(-y^6 + x^5 + 11)))) + (-y^4 + x^2 + 6)*((-((-y^2 + x^5 + 7)*(-y^3 + x^6 + 9) - (-y^2 + x^6 + 8)*(-y^3 + x^5 + 8))*(-y^5 + x^4 + 9) - (-y^2 + x^4 + 6)*((-y^3 + x^5 + 8)*(-y^5 + x^6 + 11) - (-y^3 + x^6 + 9)*(-y^5 + x^5 + 10)) - (y^3 - x^4 - 7)*((-y^2 + x^5 + 7)*(-y^5 + x^6 + 11) - (-y^2 + x^6 + 8)*(-y^5 + x^5 + 10)))*(-y^6 + x^3 + 9) + (-y^2 + x^3 + 5)*(((-y^3 + x^5 + 8)*(-y^5 + x^6 + 11) - (-y^3 + x^6 + 9)*(-y^5 + x^5 + 10))*(-y^6 + x^4 + 10) + (-y^3 + x^4 + 7)*((-y^5 + x^5 + 10)*(-y^6 + x^6 + 12) - (-y^5 + x^6 + 11)*(-y^6 + x^5 + 11)) + (y^5 - x^4 - 9)*((-y^3 + x^5 + 8)*(-y^6 + x^6 + 12) - (-y^3 + x^6 + 9)*(-y^6 + x^5 + 11))) + (y^3 - x^3 - 6)*(((-y^2 + x^5 + 7)*(-y^5 + x^6 + 11) - (-y^2 + x^6 + 8)*(-y^5 + x^5 + 10))*(-y^6 + x^4 + 10) + (-y^2 + x^4 + 6)*((-y^5 + x^5 + 10)*(-y^6 + x^6 + 12) - (-y^5 + x^6 + 11)*(-y^6 + x^5 + 11)) + (y^5 - x^4 - 9)*((-y^2 + x^5 + 7)*(-y^6 + x^6 + 12) - (-y^2 + x^6 + 8)*(-y^6 + x^5 + 11))) + (-y^5 + x^3 + 8)*(((-y^2 + x^5 + 7)*(-y^3 + x^6 + 9) - (-y^2 + x^6 + 8)*(-y^3 + x^5 + 8))*(-y^6 + x^4 + 10) + (-y^2 + x^4 + 6)*((-y^3 + x^5 + 8)*(-y^6 + x^6 + 12) - (-y^3 + x^6 + 9)*(-y^6 + x^5 + 11)) + (y^3 - x^4 - 7)*((-y^2 + x^5 + 7)*(-y^6 + x^6 + 12) - (-y^2 + x^6 + 8)*(-y^6 + x^5 + 11)))) + (y^5 - x^2 - 7)*((-((-y^2 + x^5 + 7)*(-y^3 + x^6 + 9) - (-y^2 + x^6 + 8)*(-y^3 + x^5 + 8))*(-y^4 + x^4 + 8) - (-y^2 + x^4 + 6)*((-y^3 + x^5 + 8)*(-y^4 + x^6 + 10) - (-y^3 + x^6 + 9)*(-y^4 + x^5 + 9)) - (y^3 - x^4 - 7)*((-y^2 + x^5 + 7)*(-y^4 + x^6 + 10) - (-y^2 + x^6 + 8)*(-y^4 + x^5 + 9)))*(-y^6 + x^3 + 9) + (-y^2 + x^3 + 5)*(((-y^3 + x^5 + 8)*(-y^4 + x^6 + 10) - (-y^3 + x^6 + 9)*(-y^4 + x^5 + 9))*(-y^6 + x^4 + 10) + (-y^3 + x^4 + 7)*((-y^4 + x^5 + 9)*(-y^6 + x^6 + 12) - (-y^4 + x^6 + 10)*(-y^6 + x^5 + 11)) + (y^4 - x^4 - 8)*((-y^3 + x^5 + 8)*(-y^6 + x^6 + 12) - (-y^3 + x^6 + 9)*(-y^6 + x^5 + 11))) + (y^3 - x^3 - 6)*(((-y^2 + x^5 + 7)*(-y^4 + x^6 + 10) - (-y^2 + x^6 + 8)*(-y^4 + x^5 + 9))*(-y^6 + x^4 + 10) + (-y^2 + x^4 + 6)*((-y^4 + x^5 + 9)*(-y^6 + x^6 + 12) - (-y^4 + x^6 + 10)*(-y^6 + x^5 + 11)) + (y^4 - x^4 - 8)*((-y^2 + x^5 + 7)*(-y^6 + x^6 + 12) - (-y^2 + x^6 + 8)*(-y^6 + x^5 + 11))) + (-y^4 + x^3 + 7)*(((-y^2 + x^5 + 7)*(-y^3 + x^6 + 9) - (-y^2 + x^6 + 8)*(-y^3 + x^5 + 8))*(-y^6 + x^4 + 10) + (-y^2 + x^4 + 6)*((-y^3 + x^5 + 8)*(-y^6 + x^6 + 12) - (-y^3 + x^6 + 9)*(-y^6 + x^5 + 11)) + (y^3 - x^4 - 7)*((-y^2 + x^5 + 7)*(-y^6 + x^6 + 12) - (-y^2 + x^6 + 8)*(-y^6 + x^5 + 11))))) + (y^2 - x - 3)*(((-((-y + x^5 + 6)*(-y^3 + x^6 + 9) - (-y + x^6 + 7)*(-y^3 + x^5 + 8))*(-y^4 + x^4 + 8) - (-y + x^4 + 5)*((-y^3 + x^5 + 8)*(-y^4 + x^6 + 10) - (-y^3 + x^6 + 9)*(-y^4 + x^5 + 9)) - (y^3 - x^4 - 7)*((-y + x^5 + 6)*(-y^4 + x^6 + 10) - (-y + x^6 + 7)*(-y^4 + x^5 + 9)))*(-y^5 + x^3 + 8) + (-y + x^3 + 4)*(((-y^3 + x^5 + 8)*(-y^4 + x^6 + 10) - (-y^3 + x^6 + 9)*(-y^4 + x^5 + 9))*(-y^5 + x^4 + 9) + (-y^3 + x^4 + 7)*((-y^4 + x^5 + 9)*(-y^5 + x^6 + 11) - (-y^4 + x^6 + 10)*(-y^5 + x^5 + 10)) + (y^4 - x^4 - 8)*((-y^3 + x^5 + 8)*(-y^5 + x^6 + 11) - (-y^3 + x^6 + 9)*(-y^5 + x^5 + 10))) + (y^3 - x^3 - 6)*(((-y + x^5 + 6)*(-y^4 + x^6 + 10) - (-y + x^6 + 7)*(-y^4 + x^5 + 9))*(-y^5 + x^4 + 9) + (-y + x^4 + 5)*((-y^4 + x^5 + 9)*(-y^5 + x^6 + 11) - (-y^4 + x^6 + 10)*(-y^5 + x^5 + 10)) + (y^4 - x^4 - 8)*((-y + x^5 + 6)*(-y^5 + x^6 + 11) - (-y + x^6 + 7)*(-y^5 + x^5 + 10))) + (-y^4 + x^3 + 7)*(((-y + x^5 + 6)*(-y^3 + x^6 + 9) - (-y + x^6 + 7)*(-y^3 + x^5 + 8))*(-y^5 + x^4 + 9) + (-y + x^4 + 5)*((-y^3 + x^5 + 8)*(-y^5 + x^6 + 11) - (-y^3 + x^6 + 9)*(-y^5 + x^5 + 10)) + (y^3 - x^4 - 7)*((-y + x^5 + 6)*(-y^5 + x^6 + 11) - (-y + x^6 + 7)*(-y^5 + x^5 + 10))))*(-y^6 + x^2 + 8) + (-y + x^2 + 3)*((-((-y^3 + x^5 + 8)*(-y^4 + x^6 + 10) - (-y^3 + x^6 + 9)*(-y^4 + x^5 + 9))*(-y^5 + x^4 + 9) - (-y^3 + x^4 + 7)*((-y^4 + x^5 + 9)*(-y^5 + x^6 + 11) - (-y^4 + x^6 + 10)*(-y^5 + x^5 + 10)) - (y^4 - x^4 - 8)*((-y^3 + x^5 + 8)*(-y^5 + x^6 + 11) - (-y^3 + x^6 + 9)*(-y^5 + x^5 + 10)))*(-y^6 + x^3 + 9) + (-y^3 + x^3 + 6)*(((-y^4 + x^5 + 9)*(-y^5 + x^6 + 11) - (-y^4 + x^6 + 10)*(-y^5 + x^5 + 10))*(-y^6 + x^4 + 10) + (-y^4 + x^4 + 8)*((-y^5 + x^5 + 10)*(-y^6 + x^6 + 12) - (-y^5 + x^6 + 11)*(-y^6 + x^5 + 11)) + (y^5 - x^4 - 9)*((-y^4 + x^5 + 9)*(-y^6 + x^6 + 12) - (-y^4 + x^6 + 10)*(-y^6 + x^5 + 11))) + (y^4 - x^3 - 7)*(((-y^3 + x^5 + 8)*(-y^5 + x^6 + 11) - (-y^3 + x^6 + 9)*(-y^5 + x^5 + 10))*(-y^6 + x^4 + 10) + (-y^3 + x^4 + 7)*((-y^5 + x^5 + 10)*(-y^6 + x^6 + 12) - (-y^5 + x^6 + 11)*(-y^6 + x^5 + 11)) + (y^5 - x^4 - 9)*((-y^3 + x^5 + 8)*(-y^6 + x^6 + 12) - (-y^3 + x^6 + 9)*(-y^6 + x^5 + 11))) + (-y^5 + x^3 + 8)*(((-y^3 + x^5 + 8)*(-y^4 + x^6 + 10) - (-y^3 + x^6 + 9)*(-y^4 + x^5 + 9))*(-y^6 + x^4 + 10) + (-y^3 + x^4 + 7)*((-y^4 + x^5 + 9)*(-y^6 + x^6 + 12) - (-y^4 + x^6 + 10)*(-y^6 + x^5 + 11)) + (y^4 - x^4 - 8)*((-y^3 + x^5 + 8)*(-y^6 + x^6 + 12) - (-y^3 + x^6 + 9)*(-y^6 + x^5 + 11)))) + (y^3 - x^2 - 5)*((-((-y + x^5 + 6)*(-y^4 + x^6 + 10) - (-y + x^6 + 7)*(-y^4 + x^5 + 9))*(-y^5 + x^4 + 9) - (-y + x^4 + 5)*((-y^4 + x^5 + 9)*(-y^5 + x^6 + 11) - (-y^4 + x^6 + 10)*(-y^5 + x^5 + 10)) - (y^4 - x^4 - 8)*((-y + x^5 + 6)*(-y^5 + x^6 + 11) - (-y + x^6 + 7)*(-y^5 + x^5 + 10)))*(-y^6 + x^3 + 9) + (-y + x^3 + 4)*(((-y^4 + x^5 + 9)*(-y^5 + x^6 + 11) - (-y^4 + x^6 + 10)*(-y^5 + x^5 + 10))*(-y^6 + x^4 + 10) + (-y^4 + x^4 + 8)*((-y^5 + x^5 + 10)*(-y^6 + x^6 + 12) - (-y^5 + x^6 + 11)*(-y^6 + x^5 + 11)) + (y^5 - x^4 - 9)*((-y^4 + x^5 + 9)*(-y^6 + x^6 + 12) - (-y^4 + x^6 + 10)*(-y^6 + x^5 + 11))) + (y^4 - x^3 - 7)*(((-y + x^5 + 6)*(-y^5 + x^6 + 11) - (-y + x^6 + 7)*(-y^5 + x^5 + 10))*(-y^6 + x^4 + 10) + (-y + x^4 + 5)*((-y^5 + x^5 + 10)*(-y^6 + x^6 + 12) - (-y^5 + x^6 + 11)*(-y^6 + x^5 + 11)) + (y^5 - x^4 - 9)*((-y + x^5 + 6)*(-y^6 + x^6 + 12) - (-y + x^6 + 7)*(-y^6 + x^5 + 11))) + (-y^5 + x^3 + 8)*(((-y + x^5 + 6)*(-y^4 + x^6 + 10) - (-y + x^6 + 7)*(-y^4 + x^5 + 9))*(-y^6 + x^4 + 10) + (-y + x^4 + 5)*((-y^4 + x^5 + 9)*(-y^6 + x^6 + 12) - (-y^4 + x^6 + 10)*(-y^6 + x^5 + 11)) + (y^4 - x^4 - 8)*((-y + x^5 + 6)*(-y^6 + x^6 + 12) - (-y + x^6 + 7)*(-y^6 + x^5 + 11)))) + (-y^4 + x^2 + 6)*((-((-y + x^5 + 6)*(-y^3 + x^6 + 9) - (-y + x^6 + 7)*(-y^3 + x^5 + 8))*(-y^5 + x^4 + 9) - (-y + x^4 + 5)*((-y^3 + x^5 + 8)*(-y^5 + x^6 + 11) - (-y^3 + x^6 + 9)*(-y^5 + x^5 + 10)) - (y^3 - x^4 - 7)*((-y + x^5 + 6)*(-y^5 + x^6 + 11) - (-y + x^6 + 7)*(-y^5 + x^5 + 10)))*(-y^6 + x^3 + 9) + (-y + x^3 + 4)*(((-y^3 + x^5 + 8)*(-y^5 + x^6 + 11) - (-y^3 + x^6 + 9)*(-y^5 + x^5 + 10))*(-y^6 + x^4 + 10) + (-y^3 + x^4 + 7)*((-y^5 + x^5 + 10)*(-y^6 + x^6 + 12) - (-y^5 + x^6 + 11)*(-y^6 + x^5 + 11)) + (y^5 - x^4 - 9)*((-y^3 + x^5 + 8)*(-y^6 + x^6 + 12) - (-y^3 + x^6 + 9)*(-y^6 + x^5 + 11))) + (y^3 - x^3 - 6)*(((-y + x^5 + 6)*(-y^5 + x^6 + 11) - (-y + x^6 + 7)*(-y^5 + x^5 + 10))*(-y^6 + x^4 + 10) + (-y + x^4 + 5)*((-y^5 + x^5 + 10)*(-y^6 + x^6 + 12) - (-y^5 + x^6 + 11)*(-y^6 + x^5 + 11)) + (y^5 - x^4 - 9)*((-y + x^5 + 6)*(-y^6 + x^6 + 12) - (-y + x^6 + 7)*(-y^6 + x^5 + 11))) + (-y^5 + x^3 + 8)*(((-y + x^5 + 6)*(-y^3 + x^6 + 9) - (-y + x^6 + 7)*(-y^3 + x^5 + 8))*(-y^6 + x^4 + 10) + (-y + x^4 + 5)*((-y^3 + x^5 + 8)*(-y^6 + x^6 + 12) - (-y^3 + x^6 + 9)*(-y^6 + x^5 + 11)) + (y^3 - x^4 - 7)*((-y + x^5 + 6)*(-y^6 + x^6 + 12) - (-y + x^6 + 7)*(-y^6 + x^5 + 11)))) + (y^5 - x^2 - 7)*((-((-y + x^5 + 6)*(-y^3 + x^6 + 9) - (-y + x^6 + 7)*(-y^3 + x^5 + 8))*(-y^4 + x^4 + 8) - (-y + x^4 + 5)*((-y^3 + x^5 + 8)*(-y^4 + x^6 + 10) - (-y^3 + x^6 + 9)*(-y^4 + x^5 + 9)) - (y^3 - x^4 - 7)*((-y + x^5 + 6)*(-y^4 + x^6 + 10) - (-y + x^6 + 7)*(-y^4 + x^5 + 9)))*(-y^6 + x^3 + 9) + (-y + x^3 + 4)*(((-y^3 + x^5 + 8)*(-y^4 + x^6 + 10) - (-y^3 + x^6 + 9)*(-y^4 + x^5 + 9))*(-y^6 + x^4 + 10) + (-y^3 + x^4 + 7)*((-y^4 + x^5 + 9)*(-y^6 + x^6 + 12) - (-y^4 + x^6 + 10)*(-y^6 + x^5 + 11)) + (y^4 - x^4 - 8)*((-y^3 + x^5 + 8)*(-y^6 + x^6 + 12) - (-y^3 + x^6 + 9)*(-y^6 + x^5 + 11))) + (y^3 - x^3 - 6)*(((-y + x^5 + 6)*(-y^4 + x^6 + 10) - (-y + x^6 + 7)*(-y^4 + x^5 + 9))*(-y^6 + x^4 + 10) + (-y + x^4 + 5)*((-y^4 + x^5 + 9)*(-y^6 + x^6 + 12) - (-y^4 + x^6 + 10)*(-y^6 + x^5 + 11)) + (y^4 - x^4 - 8)*((-y + x^5 + 6)*(-y^6 + x^6 + 12) - (-y + x^6 + 7)*(-y^6 + x^5 + 11))) + (-y^4 + x^3 + 7)*(((-y + x^5 + 6)*(-y^3 + x^6 + 9) - (-y + x^6 + 7)*(-y^3 + x^5 + 8))*(-y^6 + x^4 + 10) + (-y + x^4 + 5)*((-y^3 + x^5 + 8)*(-y^6 + x^6 + 12) - (-y^3 + x^6 + 9)*(-y^6 + x^5 + 11)) + (y^3 - x^4 - 7)*((-y + x^5 + 6)*(-y^6 + x^6 + 12) - (-y + x^6 + 7)*(-y^6 + x^5 + 11))))) + (-y^3 + x + 4)*(((-((-y + x^5 + 6)*(-y^2 + x^6 + 8) - (-y + x^6 + 7)*(-y^2 + x^5 + 7))*(-y^4 + x^4 + 8) - (-y + x^4 + 5)*((-y^2 + x^5 + 7)*(-y^4 + x^6 + 10) - (-y^2 + x^6 + 8)*(-y^4 + x^5 + 9)) - (y^2 - x^4 - 6)*((-y + x^5 + 6)*(-y^4 + x^6 + 10) - (-y + x^6 + 7)*(-y^4 + x^5 + 9)))*(-y^5 + x^3 + 8) + (-y + x^3 + 4)*(((-y^2 + x^5 + 7)*(-y^4 + x^6 + 10) - (-y^2 + x^6 + 8)*(-y^4 + x^5 + 9))*(-y^5 + x^4 + 9) + (-y^2 + x^4 + 6)*((-y^4 + x^5 + 9)*(-y^5 + x^6 + 11) - (-y^4 + x^6 + 10)*(-y^5 + x^5 + 10)) + (y^4 - x^4 - 8)*((-y^2 + x^5 + 7)*(-y^5 + x^6 + 11) - (-y^2 + x^6 + 8)*(-y^5 + x^5 + 10))) + (y^2 - x^3 - 5)*(((-y + x^5 + 6)*(-y^4 + x^6 + 10) - (-y + x^6 + 7)*(-y^4 + x^5 + 9))*(-y^5 + x^4 + 9) + (-y + x^4 + 5)*((-y^4 + x^5 + 9)*(-y^5 + x^6 + 11) - (-y^4 + x^6 + 10)*(-y^5 + x^5 + 10)) + (y^4 - x^4 - 8)*((-y + x^5 + 6)*(-y^5 + x^6 + 11) - (-y + x^6 + 7)*(-y^5 + x^5 + 10))) + (-y^4 + x^3 + 7)*(((-y + x^5 + 6)*(-y^2 + x^6 + 8) - (-y + x^6 + 7)*(-y^2 + x^5 + 7))*(-y^5 + x^4 + 9) + (-y + x^4 + 5)*((-y^2 + x^5 + 7)*(-y^5 + x^6 + 11) - (-y^2 + x^6 + 8)*(-y^5 + x^5 + 10)) + (y^2 - x^4 - 6)*((-y + x^5 + 6)*(-y^5 + x^6 + 11) - (-y + x^6 + 7)*(-y^5 + x^5 + 10))))*(-y^6 + x^2 + 8) + (-y + x^2 + 3)*((-((-y^2 + x^5 + 7)*(-y^4 + x^6 + 10) - (-y^2 + x^6 + 8)*(-y^4 + x^5 + 9))*(-y^5 + x^4 + 9) - (-y^2 + x^4 + 6)*((-y^4 + x^5 + 9)*(-y^5 + x^6 + 11) - (-y^4 + x^6 + 10)*(-y^5 + x^5 + 10)) - (y^4 - x^4 - 8)*((-y^2 + x^5 + 7)*(-y^5 + x^6 + 11) - (-y^2 + x^6 + 8)*(-y^5 + x^5 + 10)))*(-y^6 + x^3 + 9) + (-y^2 + x^3 + 5)*(((-y^4 + x^5 + 9)*(-y^5 + x^6 + 11) - (-y^4 + x^6 + 10)*(-y^5 + x^5 + 10))*(-y^6 + x^4 + 10) + (-y^4 + x^4 + 8)*((-y^5 + x^5 + 10)*(-y^6 + x^6 + 12) - (-y^5 + x^6 + 11)*(-y^6 + x^5 + 11)) + (y^5 - x^4 - 9)*((-y^4 + x^5 + 9)*(-y^6 + x^6 + 12) - (-y^4 + x^6 + 10)*(-y^6 + x^5 + 11))) + (y^4 - x^3 - 7)*(((-y^2 + x^5 + 7)*(-y^5 + x^6 + 11) - (-y^2 + x^6 + 8)*(-y^5 + x^5 + 10))*(-y^6 + x^4 + 10) + (-y^2 + x^4 + 6)*((-y^5 + x^5 + 10)*(-y^6 + x^6 + 12) - (-y^5 + x^6 + 11)*(-y^6 + x^5 + 11)) + (y^5 - x^4 - 9)*((-y^2 + x^5 + 7)*(-y^6 + x^6 + 12) - (-y^2 + x^6 + 8)*(-y^6 + x^5 + 11))) + (-y^5 + x^3 + 8)*(((-y^2 + x^5 + 7)*(-y^4 + x^6 + 10) - (-y^2 + x^6 + 8)*(-y^4 + x^5 + 9))*(-y^6 + x^4 + 10) + (-y^2 + x^4 + 6)*((-y^4 + x^5 + 9)*(-y^6 + x^6 + 12) - (-y^4 + x^6 + 10)*(-y^6 + x^5 + 11)) + (y^4 - x^4 - 8)*((-y^2 + x^5 + 7)*(-y^6 + x^6 + 12) - (-y^2 + x^6 + 8)*(-y^6 + x^5 + 11)))) + (y^2 - x^2 - 4)*((-((-y + x^5 + 6)*(-y^4 + x^6 + 10) - (-y + x^6 + 7)*(-y^4 + x^5 + 9))*(-y^5 + x^4 + 9) - (-y + x^4 + 5)*((-y^4 + x^5 + 9)*(-y^5 + x^6 + 11) - (-y^4 + x^6 + 10)*(-y^5 + x^5 + 10)) - (y^4 - x^4 - 8)*((-y + x^5 + 6)*(-y^5 + x^6 + 11) - (-y + x^6 + 7)*(-y^5 + x^5 + 10)))*(-y^6 + x^3 + 9) + (-y + x^3 + 4)*(((-y^4 + x^5 + 9)*(-y^5 + x^6 + 11) - (-y^4 + x^6 + 10)*(-y^5 + x^5 + 10))*(-y^6 + x^4 + 10) + (-y^4 + x^4 + 8)*((-y^5 + x^5 + 10)*(-y^6 + x^6 + 12) - (-y^5 + x^6 + 11)*(-y^6 + x^5 + 11)) + (y^5 - x^4 - 9)*((-y^4 + x^5 + 9)*(-y^6 + x^6 + 12) - (-y^4 + x^6 + 10)*(-y^6 + x^5 + 11))) + (y^4 - x^3 - 7)*(((-y + x^5 + 6)*(-y^5 + x^6 + 11) - (-y + x^6 + 7)*(-y^5 + x^5 + 10))*(-y^6 + x^4 + 10) + (-y + x^4 + 5)*((-y^5 + x^5 + 10)*(-y^6 + x^6 + 12) - (-y^5 + x^6 + 11)*(-y^6 + x^5 + 11)) + (y^5 - x^4 - 9)*((-y + x^5 + 6)*(-y^6 + x^6 + 12) - (-y + x^6 + 7)*(-y^6 + x^5 + 11))) + (-y^5 + x^3 + 8)*(((-y + x^5 + 6)*(-y^4 + x^6 + 10) - (-y + x^6 + 7)*(-y^4 + x^5 + 9))*(-y^6 + x^4 + 10) + (-y + x^4 + 5)*((-y^4 + x^5 + 9)*(-y^6 + x^6 + 12) - (-y^4 + x^6 + 10)*(-y^6 + x^5 + 11)) + (y^4 - x^4 - 8)*((-y + x^5 + 6)*(-y^6 + x^6 + 12) - (-y + x^6 + 7)*(-y^6 + x^5 + 11)))) + (-y^4 + x^2 + 6)*((-((-y + x^5 + 6)*(-y^2 + x^6 + 8) - (-y + x^6 + 7)*(-y^2 + x^5 + 7))*(-y^5 + x^4 + 9) - (-y + x^4 + 5)*((-y^2 + x^5 + 7)*(-y^5 + x^6 + 11) - (-y^2 + x^6 + 8)*(-y^5 + x^5 + 10)) - (y^2 - x^4 - 6)*((-y + x^5 + 6)*(-y^5 + x^6 + 11) - (-y + x^6 + 7)*(-y^5 + x^5 + 10)))*(-y^6 + x^3 + 9) + (-y + x^3 + 4)*(((-y^2 + x^5 + 7)*(-y^5 + x^6 + 11) - (-y^2 + x^6 + 8)*(-y^5 + x^5 + 10))*(-y^6 + x^4 + 10) + (-y^2 + x^4 + 6)*((-y^5 + x^5 + 10)*(-y^6 + x^6 + 12) - (-y^5 + x^6 + 11)*(-y^6 + x^5 + 11)) + (y^5 - x^4 - 9)*((-y^2 + x^5 + 7)*(-y^6 + x^6 + 12) - (-y^2 + x^6 + 8)*(-y^6 + x^5 + 11))) + (y^2 - x^3 - 5)*(((-y + x^5 + 6)*(-y^5 + x^6 + 11) - (-y + x^6 + 7)*(-y^5 + x^5 + 10))*(-y^6 + x^4 + 10) + (-y + x^4 + 5)*((-y^5 + x^5 + 10)*(-y^6 + x^6 + 12) - (-y^5 + x^6 + 11)*(-y^6 + x^5 + 11)) + (y^5 - x^4 - 9)*((-y + x^5 + 6)*(-y^6 + x^6 + 12) - (-y + x^6 + 7)*(-y^6 + x^5 + 11))) + (-y^5 + x^3 + 8)*(((-y + x^5 + 6)*(-y^2 + x^6 + 8) - (-y + x^6 + 7)*(-y^2 + x^5 + 7))*(-y^6 + x^4 + 10) + (-y + x^4 + 5)*((-y^2 + x^5 + 7)*(-y^6 + x^6 + 12) - (-y^2 + x^6 + 8)*(-y^6 + x^5 + 11)) + (y^2 - x^4 - 6)*((-y + x^5 + 6)*(-y^6 + x^6 + 12) - (-y + x^6 + 7)*(-y^6 + x^5 + 11)))) + (y^5 - x^2 - 7)*((-((-y + x^5 + 6)*(-y^2 + x^6 + 8) - (-y + x^6 + 7)*(-y^2 + x^5 + 7))*(-y^4 + x^4 + 8) - (-y + x^4 + 5)*((-y^2 + x^5 + 7)*(-y^4 + x^6 + 10) - (-y^2 + x^6 + 8)*(-y^4 + x^5 + 9)) - (y^2 - x^4 - 6)*((-y + x^5 + 6)*(-y^4 + x^6 + 10) - (-y + x^6 + 7)*(-y^4 + x^5 + 9)))*(-y^6 + x^3 + 9) + (-y + x^3 + 4)*(((-y^2 + x^5 + 7)*(-y^4 + x^6 + 10) - (-y^2 + x^6 + 8)*(-y^4 + x^5 + 9))*(-y^6 + x^4 + 10) + (-y^2 + x^4 + 6)*((-y^4 + x^5 + 9)*(-y^6 + x^6 + 12) - (-y^4 + x^6 + 10)*(-y^6 + x^5 + 11)) + (y^4 - x^4 - 8)*((-y^2 + x^5 + 7)*(-y^6 + x^6 + 12) - (-y^2 + x^6 + 8)*(-y^6 + x^5 + 11))) + (y^2 - x^3 - 5)*(((-y + x^5 + 6)*(-y^4 + x^6 + 10) - (-y + x^6 + 7)*(-y^4 + x^5 + 9))*(-y^6 + x^4 + 10) + (-y + x^4 + 5)*((-y^4 + x^5 + 9)*(-y^6 + x^6 + 12) - (-y^4 + x^6 + 10)*(-y^6 + x^5 + 11)) + (y^4 - x^4 - 8)*((-y + x^5 + 6)*(-y^6 + x^6 + 12) - (-y + x^6 + 7)*(-y^6 + x^5 + 11))) + (-y^4 + x^3 + 7)*(((-y + x^5 + 6)*(-y^2 + x^6 + 8) - (-y + x^6 + 7)*(-y^2 + x^5 + 7))*(-y^6 + x^4 + 10) + (-y + x^4 + 5)*((-y^2 + x^5 + 7)*(-y^6 + x^6 + 12) - (-y^2 + x^6 + 8)*(-y^6 + x^5 + 11)) + (y^2 - x^4 - 6)*((-y + x^5 + 6)*(-y^6 + x^6 + 12) - (-y + x^6 + 7)*(-y^6 + x^5 + 11))))) + (y^4 - x - 5)*(((-((-y + x^5 + 6)*(-y^2 + x^6 + 8) - (-y + x^6 + 7)*(-y^2 + x^5 + 7))*(-y^3 + x^4 + 7) - (-y + x^4 + 5)*((-y^2 + x^5 + 7)*(-y^3 + x^6 + 9) - (-y^2 + x^6 + 8)*(-y^3 + x^5 + 8)) - (y^2 - x^4 - 6)*((-y + x^5 + 6)*(-y^3 + x^6 + 9) - (-y + x^6 + 7)*(-y^3 + x^5 + 8)))*(-y^5 + x^3 + 8) + (-y + x^3 + 4)*(((-y^2 + x^5 + 7)*(-y^3 + x^6 + 9) - (-y^2 + x^6 + 8)*(-y^3 + x^5 + 8))*(-y^5 + x^4 + 9) + (-y^2 + x^4 + 6)*((-y^3 + x^5 + 8)*(-y^5 + x^6 + 11) - (-y^3 + x^6 + 9)*(-y^5 + x^5 + 10)) + (y^3 - x^4 - 7)*((-y^2 + x^5 + 7)*(-y^5 + x^6 + 11) - (-y^2 + x^6 + 8)*(-y^5 + x^5 + 10))) + (y^2 - x^3 - 5)*(((-y + x^5 + 6)*(-y^3 + x^6 + 9) - (-y + x^6 + 7)*(-y^3 + x^5 + 8))*(-y^5 + x^4 + 9) + (-y + x^4 + 5)*((-y^3 + x^5 + 8)*(-y^5 + x^6 + 11) - (-y^3 + x^6 + 9)*(-y^5 + x^5 + 10)) + (y^3 - x^4 - 7)*((-y + x^5 + 6)*(-y^5 + x^6 + 11) - (-y + x^6 + 7)*(-y^5 + x^5 + 10))) + (-y^3 + x^3 + 6)*(((-y + x^5 + 6)*(-y^2 + x^6 + 8) - (-y + x^6 + 7)*(-y^2 + x^5 + 7))*(-y^5 + x^4 + 9) + (-y + x^4 + 5)*((-y^2 + x^5 + 7)*(-y^5 + x^6 + 11) - (-y^2 + x^6 + 8)*(-y^5 + x^5 + 10)) + (y^2 - x^4 - 6)*((-y + x^5 + 6)*(-y^5 + x^6 + 11) - (-y + x^6 + 7)*(-y^5 + x^5 + 10))))*(-y^6 + x^2 + 8) + (-y + x^2 + 3)*((-((-y^2 + x^5 + 7)*(-y^3 + x^6 + 9) - (-y^2 + x^6 + 8)*(-y^3 + x^5 + 8))*(-y^5 + x^4 + 9) - (-y^2 + x^4 + 6)*((-y^3 + x^5 + 8)*(-y^5 + x^6 + 11) - (-y^3 + x^6 + 9)*(-y^5 + x^5 + 10)) - (y^3 - x^4 - 7)*((-y^2 + x^5 + 7)*(-y^5 + x^6 + 11) - (-y^2 + x^6 + 8)*(-y^5 + x^5 + 10)))*(-y^6 + x^3 + 9) + (-y^2 + x^3 + 5)*(((-y^3 + x^5 + 8)*(-y^5 + x^6 + 11) - (-y^3 + x^6 + 9)*(-y^5 + x^5 + 10))*(-y^6 + x^4 + 10) + (-y^3 + x^4 + 7)*((-y^5 + x^5 + 10)*(-y^6 + x^6 + 12) - (-y^5 + x^6 + 11)*(-y^6 + x^5 + 11)) + (y^5 - x^4 - 9)*((-y^3 + x^5 + 8)*(-y^6 + x^6 + 12) - (-y^3 + x^6 + 9)*(-y^6 + x^5 + 11))) + (y^3 - x^3 - 6)*(((-y^2 + x^5 + 7)*(-y^5 + x^6 + 11) - (-y^2 + x^6 + 8)*(-y^5 + x^5 + 10))*(-y^6 + x^4 + 10) + (-y^2 + x^4 + 6)*((-y^5 + x^5 + 10)*(-y^6 + x^6 + 12) - (-y^5 + x^6 + 11)*(-y^6 + x^5 + 11)) + (y^5 - x^4 - 9)*((-y^2 + x^5 + 7)*(-y^6 + x^6 + 12) - (-y^2 + x^6 + 8)*(-y^6 + x^5 + 11))) + (-y^5 + x^3 + 8)*(((-y^2 + x^5 + 7)*(-y^3 + x^6 + 9) - (-y^2 + x^6 + 8)*(-y^3 + x^5 + 8))*(-y^6 + x^4 + 10) + (-y^2 + x^4 + 6)*((-y^3 + x^5 + 8)*(-y^6 + x^6 + 12) - (-y^3 + x^6 + 9)*(-y^6 + x^5 + 11)) + (y^3 - x^4 - 7)*((-y^2 + x^5 + 7)*(-y^6 + x^6 + 12) - (-y^2 + x^6 + 8)*(-y^6 + x^5 + 11)))) + (y^2 - x^2 - 4)*((-((-y + x^5 + 6)*(-y^3 + x^6 + 9) - (-y + x^6 + 7)*(-y^3 + x^5 + 8))*(-y^5 + x^4 + 9) - (-y + x^4 + 5)*((-y^3 + x^5 + 8)*(-y^5 + x^6 + 11) - (-y^3 + x^6 + 9)*(-y^5 + x^5 + 10)) - (y^3 - x^4 - 7)*((-y + x^5 + 6)*(-y^5 + x^6 + 11) - (-y + x^6 + 7)*(-y^5 + x^5 + 10)))*(-y^6 + x^3 + 9) + (-y + x^3 + 4)*(((-y^3 + x^5 + 8)*(-y^5 + x^6 + 11) - (-y^3 + x^6 + 9)*(-y^5 + x^5 + 10))*(-y^6 + x^4 + 10) + (-y^3 + x^4 + 7)*((-y^5 + x^5 + 10)*(-y^6 + x^6 + 12) - (-y^5 + x^6 + 11)*(-y^6 + x^5 + 11)) + (y^5 - x^4 - 9)*((-y^3 + x^5 + 8)*(-y^6 + x^6 + 12) - (-y^3 + x^6 + 9)*(-y^6 + x^5 + 11))) + (y^3 - x^3 - 6)*(((-y + x^5 + 6)*(-y^5 + x^6 + 11) - (-y + x^6 + 7)*(-y^5 + x^5 + 10))*(-y^6 + x^4 + 10) + (-y + x^4 + 5)*((-y^5 + x^5 + 10)*(-y^6 + x^6 + 12) - (-y^5 + x^6 + 11)*(-y^6 + x^5 + 11)) + (y^5 - x^4 - 9)*((-y + x^5 + 6)*(-y^6 + x^6 + 12) - (-y + x^6 + 7)*(-y^6 + x^5 + 11))) + (-y^5 + x^3 + 8)*(((-y + x^5 + 6)*(-y^3 + x^6 + 9) - (-y + x^6 + 7)*(-y^3 + x^5 + 8))*(-y^6 + x^4 + 10) + (-y + x^4 + 5)*((-y^3 + x^5 + 8)*(-y^6 + x^6 + 12) - (-y^3 + x^6 + 9)*(-y^6 + x^5 + 11)) + (y^3 - x^4 - 7)*((-y + x^5 + 6)*(-y^6 + x^6 + 12) - (-y + x^6 + 7)*(-y^6 + x^5 + 11)))) + (-y^3 + x^2 + 5)*((-((-y + x^5 + 6)*(-y^2 + x^6 + 8) - (-y + x^6 + 7)*(-y^2 + x^5 + 7))*(-y^5 + x^4 + 9) - (-y + x^4 + 5)*((-y^2 + x^5 + 7)*(-y^5 + x^6 + 11) - (-y^2 + x^6 + 8)*(-y^5 + x^5 + 10)) - (y^2 - x^4 - 6)*((-y + x^5 + 6)*(-y^5 + x^6 + 11) - (-y + x^6 + 7)*(-y^5 + x^5 + 10)))*(-y^6 + x^3 + 9) + (-y + x^3 + 4)*(((-y^2 + x^5 + 7)*(-y^5 + x^6 + 11) - (-y^2 + x^6 + 8)*(-y^5 + x^5 + 10))*(-y^6 + x^4 + 10) + (-y^2 + x^4 + 6)*((-y^5 + x^5 + 10)*(-y^6 + x^6 + 12) - (-y^5 + x^6 + 11)*(-y^6 + x^5 + 11)) + (y^5 - x^4 - 9)*((-y^2 + x^5 + 7)*(-y^6 + x^6 + 12) - (-y^2 + x^6 + 8)*(-y^6 + x^5 + 11))) + (y^2 - x^3 - 5)*(((-y + x^5 + 6)*(-y^5 + x^6 + 11) - (-y + x^6 + 7)*(-y^5 + x^5 + 10))*(-y^6 + x^4 + 10) + (-y + x^4 + 5)*((-y^5 + x^5 + 10)*(-y^6 + x^6 + 12) - (-y^5 + x^6 + 11)*(-y^6 + x^5 + 11)) + (y^5 - x^4 - 9)*((-y + x^5 + 6)*(-y^6 + x^6 + 12) - (-y + x^6 + 7)*(-y^6 + x^5 + 11))) + (-y^5 + x^3 + 8)*(((-y + x^5 + 6)*(-y^2 + x^6 + 8) - (-y + x^6 + 7)*(-y^2 + x^5 + 7))*(-y^6 + x^4 + 10) + (-y + x^4 + 5)*((-y^2 + x^5 + 7)*(-y^6 + x^6 + 12) - (-y^2 + x^6 + 8)*(-y^6 + x^5 + 11)) + (y^2 - x^4 - 6)*((-y + x^5 + 6)*(-y^6 + x^6 + 12) - (-y + x^6 + 7)*(-y^6 + x^5 + 11)))) + (y^5 - x^2 - 7)*((-((-y + x^5 + 6)*(-y^2 + x^6 + 8) - (-y + x^6 + 7)*(-y^2 + x^5 + 7))*(-y^3 + x^4 + 7) - (-y + x^4 + 5)*((-y^2 + x^5 + 7)*(-y^3 + x^6 + 9) - (-y^2 + x^6 + 8)*(-y^3 + x^5 + 8)) - (y^2 - x^4 - 6)*((-y + x^5 + 6)*(-y^3 + x^6 + 9) - (-y + x^6 + 7)*(-y^3 + x^5 + 8)))*(-y^6 + x^3 + 9) + (-y + x^3 + 4)*(((-y^2 + x^5 + 7)*(-y^3 + x^6 + 9) - (-y^2 + x^6 + 8)*(-y^3 + x^5 + 8))*(-y^6 + x^4 + 10) + (-y^2 + x^4 + 6)*((-y^3 + x^5 + 8)*(-y^6 + x^6 + 12) - (-y^3 + x^6 + 9)*(-y^6 + x^5 + 11)) + (y^3 - x^4 - 7)*((-y^2 + x^5 + 7)*(-y^6 + x^6 + 12) - (-y^2 + x^6 + 8)*(-y^6 + x^5 + 11))) + (y^2 - x^3 - 5)*(((-y + x^5 + 6)*(-y^3 + x^6 + 9) - (-y + x^6 + 7)*(-y^3 + x^5 + 8))*(-y^6 + x^4 + 10) + (-y + x^4 + 5)*((-y^3 + x^5 + 8)*(-y^6 + x^6 + 12) - (-y^3 + x^6 + 9)*(-y^6 + x^5 + 11)) + (y^3 - x^4 - 7)*((-y + x^5 + 6)*(-y^6 + x^6 + 12) - (-y + x^6 + 7)*(-y^6 + x^5 + 11))) + (-y^3 + x^3 + 6)*(((-y + x^5 + 6)*(-y^2 + x^6 + 8) - (-y + x^6 + 7)*(-y^2 + x^5 + 7))*(-y^6 + x^4 + 10) + (-y + x^4 + 5)*((-y^2 + x^5 + 7)*(-y^6 + x^6 + 12) - (-y^2 + x^6 + 8)*(-y^6 + x^5 + 11)) + (y^2 - x^4 - 6)*((-y + x^5 + 6)*(-y^6 + x^6 + 12) - (-y + x^6 + 7)*(-y^6 + x^5 + 11))))) + (-y^5 + x + 6)*(((-((-y + x^5 + 6)*(-y^2 + x^6 + 8) - (-y + x^6 + 7)*(-y^2 + x^5 + 7))*(-y^3 + x^4 + 7) - (-y + x^4 + 5)*((-y^2 + x^5 + 7)*(-y^3 + x^6 + 9) - (-y^2 + x^6 + 8)*(-y^3 + x^5 + 8)) - (y^2 - x^4 - 6)*((-y + x^5 + 6)*(-y^3 + x^6 + 9) - (-y + x^6 + 7)*(-y^3 + x^5 + 8)))*(-y^4 + x^3 + 7) + (-y + x^3 + 4)*(((-y^2 + x^5 + 7)*(-y^3 + x^6 + 9) - (-y^2 + x^6 + 8)*(-y^3 + x^5 + 8))*(-y^4 + x^4 + 8) + (-y^2 + x^4 + 6)*((-y^3 + x^5 + 8)*(-y^4 + x^6 + 10) - (-y^3 + x^6 + 9)*(-y^4 + x^5 + 9)) + (y^3 - x^4 - 7)*((-y^2 + x^5 + 7)*(-y^4 + x^6 + 10) - (-y^2 + x^6 + 8)*(-y^4 + x^5 + 9))) + (y^2 - x^3 - 5)*(((-y + x^5 + 6)*(-y^3 + x^6 + 9) - (-y + x^6 + 7)*(-y^3 + x^5 + 8))*(-y^4 + x^4 + 8) + (-y + x^4 + 5)*((-y^3 + x^5 + 8)*(-y^4 + x^6 + 10) - (-y^3 + x^6 + 9)*(-y^4 + x^5 + 9)) + (y^3 - x^4 - 7)*((-y + x^5 + 6)*(-y^4 + x^6 + 10) - (-y + x^6 + 7)*(-y^4 + x^5 + 9))) + (-y^3 + x^3 + 6)*(((-y + x^5 + 6)*(-y^2 + x^6 + 8) - (-y + x^6 + 7)*(-y^2 + x^5 + 7))*(-y^4 + x^4 + 8) + (-y + x^4 + 5)*((-y^2 + x^5 + 7)*(-y^4 + x^6 + 10) - (-y^2 + x^6 + 8)*(-y^4 + x^5 + 9)) + (y^2 - x^4 - 6)*((-y + x^5 + 6)*(-y^4 + x^6 + 10) - (-y + x^6 + 7)*(-y^4 + x^5 + 9))))*(-y^6 + x^2 + 8) + (-y + x^2 + 3)*((-((-y^2 + x^5 + 7)*(-y^3 + x^6 + 9) - (-y^2 + x^6 + 8)*(-y^3 + x^5 + 8))*(-y^4 + x^4 + 8) - (-y^2 + x^4 + 6)*((-y^3 + x^5 + 8)*(-y^4 + x^6 + 10) - (-y^3 + x^6 + 9)*(-y^4 + x^5 + 9)) - (y^3 - x^4 - 7)*((-y^2 + x^5 + 7)*(-y^4 + x^6 + 10) - (-y^2 + x^6 + 8)*(-y^4 + x^5 + 9)))*(-y^6 + x^3 + 9) + (-y^2 + x^3 + 5)*(((-y^3 + x^5 + 8)*(-y^4 + x^6 + 10) - (-y^3 + x^6 + 9)*(-y^4 + x^5 + 9))*(-y^6 + x^4 + 10) + (-y^3 + x^4 + 7)*((-y^4 + x^5 + 9)*(-y^6 + x^6 + 12) - (-y^4 + x^6 + 10)*(-y^6 + x^5 + 11)) + (y^4 - x^4 - 8)*((-y^3 + x^5 + 8)*(-y^6 + x^6 + 12) - (-y^3 + x^6 + 9)*(-y^6 + x^5 + 11))) + (y^3 - x^3 - 6)*(((-y^2 + x^5 + 7)*(-y^4 + x^6 + 10) - (-y^2 + x^6 + 8)*(-y^4 + x^5 + 9))*(-y^6 + x^4 + 10) + (-y^2 + x^4 + 6)*((-y^4 + x^5 + 9)*(-y^6 + x^6 + 12) - (-y^4 + x^6 + 10)*(-y^6 + x^5 + 11)) + (y^4 - x^4 - 8)*((-y^2 + x^5 + 7)*(-y^6 + x^6 + 12) - (-y^2 + x^6 + 8)*(-y^6 + x^5 + 11))) + (-y^4 + x^3 + 7)*(((-y^2 + x^5 + 7)*(-y^3 + x^6 + 9) - (-y^2 + x^6 + 8)*(-y^3 + x^5 + 8))*(-y^6 + x^4 + 10) + (-y^2 + x^4 + 6)*((-y^3 + x^5 + 8)*(-y^6 + x^6 + 12) - (-y^3 + x^6 + 9)*(-y^6 + x^5 + 11)) + (y^3 - x^4 - 7)*((-y^2 + x^5 + 7)*(-y^6 + x^6 + 12) - (-y^2 + x^6 + 8)*(-y^6 + x^5 + 11)))) + (y^2 - x^2 - 4)*((-((-y + x^5 + 6)*(-y^3 + x^6 + 9) - (-y + x^6 + 7)*(-y^3 + x^5 + 8))*(-y^4 + x^4 + 8) - (-y + x^4 + 5)*((-y^3 + x^5 + 8)*(-y^4 + x^6 + 10) - (-y^3 + x^6 + 9)*(-y^4 + x^5 + 9)) - (y^3 - x^4 - 7)*((-y + x^5 + 6)*(-y^4 + x^6 + 10) - (-y + x^6 + 7)*(-y^4 + x^5 + 9)))*(-y^6 + x^3 + 9) + (-y + x^3 + 4)*(((-y^3 + x^5 + 8)*(-y^4 + x^6 + 10) - (-y^3 + x^6 + 9)*(-y^4 + x^5 + 9))*(-y^6 + x^4 + 10) + (-y^3 + x^4 + 7)*((-y^4 + x^5 + 9)*(-y^6 + x^6 + 12) - (-y^4 + x^6 + 10)*(-y^6 + x^5 + 11)) + (y^4 - x^4 - 8)*((-y^3 + x^5 + 8)*(-y^6 + x^6 + 12) - (-y^3 + x^6 + 9)*(-y^6 + x^5 + 11))) + (y^3 - x^3 - 6)*(((-y + x^5 + 6)*(-y^4 + x^6 + 10) - (-y + x^6 + 7)*(-y^4 + x^5 + 9))*(-y^6 + x^4 + 10) + (-y + x^4 + 5)*((-y^4 + x^5 + 9)*(-y^6 + x^6 + 12) - (-y^4 + x^6 + 10)*(-y^6 + x^5 + 11)) + (y^4 - x^4 - 8)*((-y + x^5 + 6)*(-y^6 + x^6 + 12) - (-y + x^6 + 7)*(-y^6 + x^5 + 11))) + (-y^4 + x^3 + 7)*(((-y + x^5 + 6)*(-y^3 + x^6 + 9) - (-y + x^6 + 7)*(-y^3 + x^5 + 8))*(-y^6 + x^4 + 10) + (-y + x^4 + 5)*((-y^3 + x^5 + 8)*(-y^6 + x^6 + 12) - (-y^3 + x^6 + 9)*(-y^6 + x^5 + 11)) + (y^3 - x^4 - 7)*((-y + x^5 + 6)*(-y^6 + x^6 + 12) - (-y + x^6 + 7)*(-y^6 + x^5 + 11)))) + (-y^3 + x^2 + 5)*((-((-y + x^5 + 6)*(-y^2 + x^6 + 8) - (-y + x^6 + 7)*(-y^2 + x^5 + 7))*(-y^4 + x^4 + 8) - (-y + x^4 + 5)*((-y^2 + x^5 + 7)*(-y^4 + x^6 + 10) - (-y^2 + x^6 + 8)*(-y^4 + x^5 + 9)) - (y^2 - x^4 - 6)*((-y + x^5 + 6)*(-y^4 + x^6 + 10) - (-y + x^6 + 7)*(-y^4 + x^5 + 9)))*(-y^6 + x^3 + 9) + (-y + x^3 + 4)*(((-y^2 + x^5 + 7)*(-y^4 + x^6 + 10) - (-y^2 + x^6 + 8)*(-y^4 + x^5 + 9))*(-y^6 + x^4 + 10) + (-y^2 + x^4 + 6)*((-y^4 + x^5 + 9)*(-y^6 + x^6 + 12) - (-y^4 + x^6 + 10)*(-y^6 + x^5 + 11)) + (y^4 - x^4 - 8)*((-y^2 + x^5 + 7)*(-y^6 + x^6 + 12) - (-y^2 + x^6 + 8)*(-y^6 + x^5 + 11))) + (y^2 - x^3 - 5)*(((-y + x^5 + 6)*(-y^4 + x^6 + 10) - (-y + x^6 + 7)*(-y^4 + x^5 + 9))*(-y^6 + x^4 + 10) + (-y + x^4 + 5)*((-y^4 + x^5 + 9)*(-y^6 + x^6 + 12) - (-y^4 + x^6 + 10)*(-y^6 + x^5 + 11)) + (y^4 - x^4 - 8)*((-y + x^5 + 6)*(-y^6 + x^6 + 12) - (-y + x^6 + 7)*(-y^6 + x^5 + 11))) + (-y^4 + x^3 + 7)*(((-y + x^5 + 6)*(-y^2 + x^6 + 8) - (-y + x^6 + 7)*(-y^2 + x^5 + 7))*(-y^6 + x^4 + 10) + (-y + x^4 + 5)*((-y^2 + x^5 + 7)*(-y^6 + x^6 + 12) - (-y^2 + x^6 + 8)*(-y^6 + x^5 + 11)) + (y^2 - x^4 - 6)*((-y + x^5 + 6)*(-y^6 + x^6 + 12) - (-y + x^6 + 7)*(-y^6 + x^5 + 11)))) + (y^4 - x^2 - 6)*((-((-y + x^5 + 6)*(-y^2 + x^6 + 8) - (-y + x^6 + 7)*(-y^2 + x^5 + 7))*(-y^3 + x^4 + 7) - (-y + x^4 + 5)*((-y^2 + x^5 + 7)*(-y^3 + x^6 + 9) - (-y^2 + x^6 + 8)*(-y^3 + x^5 + 8)) - (y^2 - x^4 - 6)*((-y + x^5 + 6)*(-y^3 + x^6 + 9) - (-y + x^6 + 7)*(-y^3 + x^5 + 8)))*(-y^6 + x^3 + 9) + (-y + x^3 + 4)*(((-y^2 + x^5 + 7)*(-y^3 + x^6 + 9) - (-y^2 + x^6 + 8)*(-y^3 + x^5 + 8))*(-y^6 + x^4 + 10) + (-y^2 + x^4 + 6)*((-y^3 + x^5 + 8)*(-y^6 + x^6 + 12) - (-y^3 + x^6 + 9)*(-y^6 + x^5 + 11)) + (y^3 - x^4 - 7)*((-y^2 + x^5 + 7)*(-y^6 + x^6 + 12) - (-y^2 + x^6 + 8)*(-y^6 + x^5 + 11))) + (y^2 - x^3 - 5)*(((-y + x^5 + 6)*(-y^3 + x^6 + 9) - (-y + x^6 + 7)*(-y^3 + x^5 + 8))*(-y^6 + x^4 + 10) + (-y + x^4 + 5)*((-y^3 + x^5 + 8)*(-y^6 + x^6 + 12) - (-y^3 + x^6 + 9)*(-y^6 + x^5 + 11)) + (y^3 - x^4 - 7)*((-y + x^5 + 6)*(-y^6 + x^6 + 12) - (-y + x^6 + 7)*(-y^6 + x^5 + 11))) + (-y^3 + x^3 + 6)*(((-y + x^5 + 6)*(-y^2 + x^6 + 8) - (-y + x^6 + 7)*(-y^2 + x^5 + 7))*(-y^6 + x^4 + 10) + (-y + x^4 + 5)*((-y^2 + x^5 + 7)*(-y^6 + x^6 + 12) - (-y^2 + x^6 + 8)*(-y^6 + x^5 + 11)) + (y^2 - x^4 - 6)*((-y + x^5 + 6)*(-y^6 + x^6 + 12) - (-y + x^6 + 7)*(-y^6 + x^5 + 11)))))
Time: CPU 0.61 s, Wall: 2.13 s
