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