35*x10^12 - 43*x10^10*x11^2 - 22*x10^9*x11^3 - 2*x10^8*x11^4 + 45*x10^7*x11^5 - 6*x10^6*x11^6 + x10^5*x11^7 - 11*x10^4*x11^8 - 12*x10^3*x11^9 - 10*x10^2*x11^10 + 2*x10*x11^11 - 13*x11^12 - 2*x10^11 + 36*x10^10*x11 - 38*x10^9*x11^2 + 37*x10^8*x11^3 - 9*x10^7*x11^4 - 6*x10^6*x11^5 - 31*x10^5*x11^6 + 17*x10^4*x11^7 - 46*x10^3*x11^8 + 42*x10^2*x11^9 + 18*x10*x11^10 + 5*x11^11 + 35*x10^10 + 48*x10^9*x11 + 19*x10^8*x11^2 - 29*x10^7*x11^3 - 18*x10^6*x11^4 - 36*x10^5*x11^5 + 13*x10^4*x11^6 - 19*x10^3*x11^7 - 10*x10^2*x11^8 + 48*x10*x11^9 + 25*x11^10 - 3*x10^9 - 22*x10^8*x11 + 40*x10^7*x11^2 - 38*x10^6*x11^3 + 23*x10^5*x11^4 + 22*x10^4*x11^5 - 19*x10^3*x11^6 - 31*x10^2*x11^7 + 18*x10*x11^8 + 20*x11^9 + 39*x10^8 + 19*x10^7*x11 + 30*x10^6*x11^2 - 47*x10^5*x11^3 + 34*x10^4*x11^4 + 10*x10^3*x11^5 - 10*x10^2*x11^6 + 31*x10*x11^7 + 28*x11^8 + 29*x10^7 + 32*x10^6*x11 + 3*x10^5*x11^2 + 48*x10^4*x11^3 + 44*x10^3*x11^4 + 15*x10^2*x11^5 + 5*x10*x11^6 + 35*x11^7 + 35*x10^6 - 25*x10^5*x11 - 43*x10^4*x11^2 + x10^3*x11^3 + 21*x10^2*x11^4 + 34*x10*x11^5 + 6*x11^6 - 2*x10^5 + 43*x10^4*x11 - x10^3*x11^2 + 6*x10^2*x11^3 - 34*x10*x11^4 - 46*x11^5 - 19*x10^4 - 16*x10^3*x11 + x10^2*x11^2 + 24*x10*x11^3 + 42*x11^4 - 14*x10^3 - 21*x10^2*x11 + 16*x10*x11^2 - 4*x11^3 + 24*x0^2 + 48*x0*x1 - 22*x1^2 + 18*x0*x2 - 32*x1*x2 - 23*x2^2 + 23*x0*x3 + 19*x1*x3 + 17*x2*x3 - 21*x3^2 - 7*x0*x4 - 18*x1*x4 + 33*x2*x4 - 39*x3*x4 + 3*x4^2 - 45*x0*x5 + 9*x1*x5 - 3*x2*x5 + 40*x3*x5 - 37*x4*x5 - 37*x5^2 + 29*x0*x6 - 22*x1*x6 - 18*x2*x6 + 15*x3*x6 + 47*x4*x6 + 24*x5*x6 - 11*x6^2 + 12*x0*x7 + 9*x1*x7 - 23*x2*x7 + 32*x3*x7 + 9*x4*x7 + 42*x5*x7 - 46*x6*x7 - 19*x7^2 + 41*x0*x8 + 39*x1*x8 + 4*x2*x8 + x3*x8 - 35*x4*x8 - 38*x5*x8 + 28*x6*x8 - 34*x7*x8 + x8^2 - 39*x0*x9 - 35*x1*x9 + 15*x2*x9 - 4*x3*x9 - 26*x4*x9 + 8*x5*x9 + 19*x6*x9 - 6*x7*x9 - 23*x8*x9 + 43*x9^2 + 24*x0*x10 - 44*x1*x10 - 20*x2*x10 + 31*x3*x10 - 42*x4*x10 + 15*x5*x10 + 27*x6*x10 - 31*x7*x10 - 30*x8*x10 + 32*x9*x10 - 27*x10^2 + 29*x0*x11 - 48*x1*x11 - 29*x2*x11 - 48*x3*x11 - 42*x4*x11 - 16*x5*x11 + 9*x6*x11 + 9*x7*x11 - 36*x8*x11 + 28*x9*x11 + 22*x10*x11 - 42*x11^2 - 35*x0 - 42*x1 - 21*x2 - 20*x3 - 3*x4 + 12*x5 + 28*x6 + 28*x7 + 9*x8 + 35*x9 - 26*x10 + 6*x11 + 9