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