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