27*x48^12 + 22*x48^11*x49 + 27*x48^10*x49^2 + 27*x48^9*x49^3 - 20*x48^8*x49^4 - 5*x48^7*x49^5 - 19*x48^6*x49^6 - 14*x48^5*x49^7 + 47*x48^4*x49^8 - 16*x48^3*x49^9 - 45*x48^2*x49^10 - 39*x48*x49^11 - 13*x49^12 - 26*x48^11 - 44*x48^10*x49 - 38*x48^9*x49^2 + 26*x48^8*x49^3 - 34*x48^7*x49^4 - 46*x48^6*x49^5 + 31*x48^5*x49^6 - 18*x48^4*x49^7 - 10*x48^3*x49^8 + 42*x48^2*x49^9 + 8*x48*x49^10 - 18*x49^11 + 32*x48^10 + 11*x48^9*x49 - 39*x48^8*x49^2 + 38*x48^7*x49^3 - 10*x48^6*x49^4 + 24*x48^5*x49^5 + 27*x48^4*x49^6 - 5*x48^3*x49^7 + 6*x48^2*x49^8 - 6*x48*x49^9 + 2*x49^10 - 23*x48^9 + 39*x48^8*x49 + 36*x48^7*x49^2 - 24*x48^6*x49^3 - 20*x48^5*x49^4 + 31*x48^3*x49^6 - 13*x48^2*x49^7 + 11*x48*x49^8 - 34*x49^9 + 27*x48^8 - 15*x48^7*x49 + 8*x48^6*x49^2 - 4*x48^5*x49^3 - 32*x48^4*x49^4 + 16*x48^3*x49^5 + 34*x48^2*x49^6 + 11*x48*x49^7 - 4*x49^8 - 35*x48^7 - 10*x48^6*x49 + 22*x48^5*x49^2 - 44*x48^4*x49^3 - 40*x48^3*x49^4 + 11*x48^2*x49^5 - 41*x48*x49^6 - 14*x49^7 - 35*x48^6 - 7*x48^5*x49 + 36*x48^4*x49^2 - 48*x48^3*x49^3 + 27*x48^2*x49^4 + 6*x48*x49^5 + 32*x49^6 + 40*x48^5 - 2*x48^4*x49 - 35*x48^3*x49^2 - 38*x48^2*x49^3 - 44*x48*x49^4 + 39*x49^5 - 21*x48^4 - 29*x48^3*x49 + 21*x48^2*x49^2 + 33*x48*x49^3 + 31*x49^4 + x48^3 - 21*x48^2*x49 + 11*x48*x49^2 + 13*x49^3 - 32*x0^2 + 35*x0*x1 - 18*x1^2 - 30*x0*x2 - 21*x1*x2 - 4*x2^2 + 36*x0*x3 - 6*x1*x3 + 12*x2*x3 - 27*x3^2 + 3*x0*x4 - 2*x1*x4 - 39*x2*x4 + 18*x3*x4 + 9*x4^2 - 34*x0*x5 - 34*x1*x5 - 29*x2*x5 + 38*x3*x5 - 47*x4*x5 - 41*x5^2 - 44*x0*x6 - 27*x1*x6 + 36*x2*x6 - 12*x3*x6 - 8*x4*x6 + 28*x5*x6 - 31*x6^2 + 8*x0*x7 - 35*x1*x7 - 7*x2*x7 - 14*x3*x7 - 19*x4*x7 - 41*x5*x7 - 43*x6*x7 - 41*x7^2 - 7*x0*x8 + 25*x1*x8 - 48*x2*x8 - 21*x3*x8 + 17*x4*x8 - 27*x5*x8 + 15*x6*x8 - 12*x7*x8 + 44*x8^2 - 15*x0*x9 - 26*x1*x9 + 2*x2*x9 + 39*x3*x9 + 5*x4*x9 + 22*x5*x9 + 29*x6*x9 + 40*x7*x9 - 32*x8*x9 - 40*x9^2 - 23*x0*x10 + 17*x1*x10 + 37*x2*x10 + 2*x3*x10 - 12*x4*x10 - 23*x5*x10 - 9*x6*x10 - 43*x7*x10 - 48*x8*x10 - 30*x9*x10 + 39*x10^2 - 22*x0*x11 - 5*x1*x11 + 10*x2*x11 - 16*x3*x11 - 39*x4*x11 - 46*x5*x11 - 26*x6*x11 + 12*x7*x11 + 7*x8*x11 + 44*x9*x11 - 21*x10*x11 + 28*x11^2 - 21*x0*x12 + 13*x1*x12 - x2*x12 + 36*x3*x12 + 21*x4*x12 + 31*x5*x12 + 35*x6*x12 + 39*x7*x12 - 34*x8*x12 + 47*x9*x12 - 43*x10*x12 + 2*x11*x12 + 47*x12^2 + 30*x0*x13 + 16*x1*x13 - 37*x2*x13 + 40*x3*x13 + 43*x4*x13 - 19*x5*x13 - 16*x6*x13 + 5*x7*x13 + 6*x8*x13 - 25*x9*x13 - x10*x13 - 43*x11*x13 - 17*x12*x13 - 13*x13^2 + 4*x0*x14 + 46*x1*x14 + 8*x2*x14 - 46*x3*x14 + 11*x4*x14 + 37*x5*x14 - 3*x6*x14 + 20*x7*x14 + 48*x8*x14 + x9*x14 - 22*x10*x14 - 48*x11*x14 + 16*x12*x14 + 10*x13*x14 + 22*x14^2 - 41*x0*x15 - 17*x1*x15 + 43*x2*x15 + 27*x3*x15 - 47*x4*x15 - 8*x5*x15 - 38*x6*x15 + 17*x7*x15 - 41*x8*x15 + x9*x15 + 25*x10*x15 - 46*x11*x15 - 12*x12*x15 - 46*x13*x15 - 31*x14*x15 + 19*x15^2 + 8*x0*x16 - 37*x1*x16 - 26*x2*x16 - 8*x3*x16 - 25*x4*x16 - 32*x5*x16 - 30*x6*x16 + 41*x7*x16 + 14*x8*x16 - 31*x9*x16 + 32*x10*x16 - 36*x11*x16 + 4*x12*x16 - 33*x13*x16 - 9*x14*x16 + 37*x15*x16 - 30*x16^2 + 29*x0*x17 + 15*x1*x17 + 14*x2*x17 + 41*x3*x17 + 20*x4*x17 + 18*x5*x17 + 34*x6*x17 - 13*x7*x17 - 23*x8*x17 - 39*x9*x17 + 18*x10*x17 + 24*x11*x17 - 11*x12*x17 - 35*x13*x17 + 11*x14*x17 + 41*x15*x17 + 8*x16*x17 - 2*x17^2 + 22*x0*x18 + 3*x1*x18 + 47*x2*x18 - 41*x3*x18 - 26*x4*x18 - 48*x5*x18 - 13*x6*x18 - 45*x7*x18 + 44*x8*x18 - 47*x9*x18 - 8*x10*x18 + 7*x11*x18 + 31*x12*x18 - 42*x13*x18 + 30*x14*x18 + 19*x15*x18 - 17*x16*x18 - 11*x17*x18 - 2*x18^2 - 14*x0*x19 - 27*x1*x19 - 13*x2*x19 - 24*x3*x19 - 7*x4*x19 - 22*x5*x19 - 27*x6*x19 - 41*x7*x19 + 44*x8*x19 - 2*x9*x19 - 43*x10*x19 - 15*x11*x19 + 27*x12*x19 - 22*x13*x19 - 12*x14*x19 + 23*x15*x19 + 28*x16*x19 - 40*x17*x19 + 35*x18*x19 - 31*x19^2 + 15*x0*x20 + 23*x1*x20 + 26*x2*x20 - 44*x3*x20 - 48*x4*x20 + 35*x5*x20 - 20*x6*x20 + 40*x7*x20 + 22*x8*x20 + 2*x9*x20 + 46*x10*x20 - x11*x20 - 47*x12*x20 + 27*x13*x20 + 5*x14*x20 + 47*x15*x20 - 39*x16*x20 + 31*x17*x20 + 8*x18*x20 + 23*x19*x20 - 44*x20^2 - 38*x0*x21 + 42*x1*x21 - 9*x2*x21 - 38*x3*x21 + 38*x4*x21 - 47*x5*x21 - 33*x6*x21 - 29*x7*x21 + 43*x8*x21 + 44*x9*x21 + 36*x10*x21 + 24*x11*x21 - 18*x12*x21 - 42*x13*x21 - 29*x14*x21 - 31*x15*x21 + 42*x16*x21 + 41*x17*x21 - 12*x18*x21 + 25*x19*x21 - 22*x20*x21 - 9*x21^2 + 30*x0*x22 - 45*x1*x22 + 39*x2*x22 + 29*x3*x22 + 38*x4*x22 + 25*x5*x22 + 47*x6*x22 + 7*x7*x22 + 19*x8*x22 - 45*x9*x22 + 42*x10*x22 - 45*x11*x22 + 48*x12*x22 + 47*x13*x22 - 25*x14*x22 - 32*x15*x22 - 13*x16*x22 - 41*x17*x22 - 9*x18*x22 - 17*x19*x22 + 7*x20*x22 + 29*x21*x22 - 17*x22^2 + x0*x23 - 4*x1*x23 - 22*x2*x23 - 42*x3*x23 - 11*x4*x23 + 41*x5*x23 - 37*x6*x23 - 26*x7*x23 + 19*x8*x23 + 4*x9*x23 + 8*x10*x23 + 31*x11*x23 + 45*x12*x23 - 41*x13*x23 - 48*x14*x23 - 45*x15*x23 + 30*x16*x23 + 37*x17*x23 + 31*x18*x23 - 2*x19*x23 + 6*x20*x23 - 34*x21*x23 - 37*x22*x23 + 7*x23^2 - 23*x0*x24 - 11*x1*x24 - 41*x2*x24 + 25*x3*x24 + 5*x4*x24 + 48*x5*x24 + 40*x6*x24 - 42*x7*x24 + 27*x8*x24 + 27*x9*x24 - 35*x10*x24 + 39*x11*x24 - 47*x12*x24 - 26*x13*x24 - 2*x14*x24 + 25*x15*x24 - 42*x16*x24 - 34*x17*x24 + 14*x18*x24 - 14*x19*x24 - 25*x20*x24 - 37*x21*x24 - 12*x22*x24 + 18*x23*x24 + 3*x24^2 - 21*x0*x25 + 14*x1*x25 - 31*x2*x25 + 7*x3*x25 + 2*x4*x25 - 22*x5*x25 - 42*x6*x25 - x7*x25 - 17*x8*x25 + 33*x9*x25 + 48*x10*x25 + 30*x11*x25 + 15*x12*x25 - 37*x13*x25 - 34*x14*x25 - 31*x15*x25 - 19*x16*x25 + 46*x17*x25 + 7*x18*x25 - 31*x19*x25 + 22*x21*x25 + 25*x22*x25 + 33*x23*x25 + 31*x24*x25 + 21*x25^2 - 22*x0*x26 + 42*x2*x26 - 24*x3*x26 - 22*x4*x26 + 38*x5*x26 - 27*x6*x26 - 2*x7*x26 + 20*x8*x26 + 43*x9*x26 - 26*x10*x26 - 20*x11*x26 + 21*x12*x26 - 33*x13*x26 + 36*x14*x26 - 36*x15*x26 + 24*x16*x26 - 33*x17*x26 - 44*x18*x26 + 22*x19*x26 + 20*x20*x26 - 13*x21*x26 - 35*x22*x26 - 45*x23*x26 - 2*x24*x26 - 4*x25*x26 + 26*x26^2 + 18*x0*x27 + x1*x27 + 28*x2*x27 + 23*x3*x27 - 43*x4*x27 - 28*x5*x27 - 8*x6*x27 - 12*x7*x27 - x8*x27 - 5*x9*x27 + 4*x10*x27 - 29*x11*x27 - 14*x12*x27 + 8*x13*x27 - 14*x14*x27 + 25*x15*x27 - 28*x16*x27 - 3*x17*x27 + 35*x18*x27 - 20*x19*x27 - 14*x20*x27 + 8*x21*x27 + 32*x22*x27 + 14*x23*x27 + 18*x24*x27 - 47*x25*x27 - 3*x26*x27 + 38*x27^2 + 14*x0*x28 - 43*x1*x28 - 15*x2*x28 + 30*x3*x28 - 44*x4*x28 + 18*x5*x28 - 15*x6*x28 + 18*x7*x28 + 25*x8*x28 + 16*x9*x28 - 9*x10*x28 - 48*x11*x28 + 27*x12*x28 - 15*x13*x28 + 10*x14*x28 - 32*x15*x28 + 36*x16*x28 - 23*x17*x28 - 13*x18*x28 + 27*x19*x28 - 34*x20*x28 - 15*x21*x28 + 16*x22*x28 + 4*x23*x28 - 28*x24*x28 - 39*x25*x28 - 31*x26*x28 + 32*x27*x28 + 36*x28^2 + 9*x0*x29 + 16*x1*x29 + 18*x2*x29 + 24*x3*x29 + x4*x29 - 21*x5*x29 + 19*x6*x29 + 48*x7*x29 - 10*x8*x29 - 34*x9*x29 + 22*x10*x29 + 43*x11*x29 + 21*x12*x29 + 16*x13*x29 - 17*x14*x29 + 45*x15*x29 - 43*x16*x29 + 11*x17*x29 - 27*x18*x29 - 26*x19*x29 - 38*x20*x29 - 44*x21*x29 + 6*x22*x29 + 22*x23*x29 + 47*x24*x29 + 9*x25*x29 + 5*x26*x29 + 36*x27*x29 + 37*x28*x29 - 47*x29^2 - x0*x30 + 31*x1*x30 - 8*x2*x30 - 25*x3*x30 - 45*x4*x30 + 14*x5*x30 - 46*x6*x30 - 48*x7*x30 - 3*x8*x30 + 33*x9*x30 - 10*x10*x30 - 8*x11*x30 - 4*x12*x30 + 27*x13*x30 - 15*x14*x30 + 8*x15*x30 + 45*x16*x30 + 48*x17*x30 - 20*x18*x30 - 25*x19*x30 + 48*x20*x30 + 40*x22*x30 - 2*x23*x30 + 17*x24*x30 + 6*x25*x30 - 21*x26*x30 + 48*x27*x30 - 42*x28*x30 + 43*x29*x30 - 13*x30^2 - 27*x0*x31 - 46*x1*x31 + 4*x2*x31 + 6*x3*x31 - 46*x4*x31 + 35*x5*x31 + 33*x6*x31 - 2*x7*x31 - 25*x8*x31 - x9*x31 + 47*x10*x31 - 26*x11*x31 - 26*x12*x31 + 7*x13*x31 + 5*x14*x31 + 6*x15*x31 + 35*x16*x31 + 29*x17*x31 - x18*x31 - 42*x19*x31 + 46*x20*x31 + 5*x21*x31 + 9*x22*x31 + 4*x23*x31 - 24*x24*x31 - 2*x25*x31 - 18*x26*x31 + 21*x27*x31 + 26*x28*x31 + 31*x29*x31 + 38*x30*x31 + 34*x31^2 - 36*x0*x32 - 5*x1*x32 + 19*x3*x32 - 43*x4*x32 + 4*x5*x32 - 15*x6*x32 - 17*x7*x32 + 4*x8*x32 + 10*x9*x32 - 13*x10*x32 - 2*x11*x32 + 3*x12*x32 - 16*x13*x32 + 39*x14*x32 - 33*x15*x32 + 12*x16*x32 + 26*x17*x32 + 7*x18*x32 + 8*x19*x32 - 33*x20*x32 - 14*x21*x32 - 28*x22*x32 - 46*x23*x32 + 3*x24*x32 - 12*x25*x32 + 32*x26*x32 + 15*x27*x32 - 7*x28*x32 - 45*x29*x32 + 24*x30*x32 - 10*x31*x32 - 27*x32^2 - 34*x0*x33 - 25*x1*x33 + 37*x2*x33 - 7*x3*x33 + 14*x4*x33 - 26*x5*x33 + 21*x6*x33 + 34*x7*x33 + 39*x8*x33 - 27*x9*x33 - 5*x10*x33 - 34*x11*x33 - 41*x12*x33 - 11*x13*x33 + 16*x14*x33 - 23*x15*x33 + 3*x16*x33 + 33*x17*x33 - 36*x18*x33 + 46*x19*x33 + 32*x20*x33 + 26*x21*x33 - 46*x22*x33 + 44*x23*x33 - 5*x24*x33 + 4*x25*x33 + 15*x26*x33 - 46*x27*x33 - 16*x28*x33 - 37*x29*x33 - 21*x30*x33 + 11*x31*x33 + 7*x32*x33 - 44*x33^2 - 18*x0*x34 + 7*x1*x34 + 37*x2*x34 + 27*x3*x34 - 38*x5*x34 + 46*x6*x34 - 31*x7*x34 + 46*x8*x34 - 12*x9*x34 - 47*x10*x34 - 9*x11*x34 - 44*x12*x34 - 19*x13*x34 + 7*x14*x34 + 29*x15*x34 - 10*x16*x34 - 39*x17*x34 + 35*x18*x34 - 44*x19*x34 - 40*x20*x34 - 41*x21*x34 + 44*x22*x34 - 10*x23*x34 - 21*x24*x34 - 16*x25*x34 + 35*x26*x34 + 15*x27*x34 + 18*x28*x34 - 12*x29*x34 - 21*x30*x34 + 8*x31*x34 + 46*x32*x34 - 24*x33*x34 - 22*x34^2 - 33*x0*x35 - 17*x1*x35 + 11*x2*x35 + 36*x3*x35 - 28*x4*x35 + 33*x5*x35 + 23*x6*x35 - 42*x7*x35 + 45*x8*x35 - 11*x9*x35 + 33*x10*x35 + 15*x11*x35 + 3*x12*x35 + 20*x13*x35 + 5*x14*x35 - 5*x15*x35 + 33*x16*x35 - 29*x17*x35 - 47*x18*x35 + 17*x19*x35 + 46*x20*x35 + 16*x21*x35 + 37*x22*x35 - 3*x23*x35 + 38*x24*x35 + 5*x25*x35 - 32*x26*x35 - 42*x27*x35 - 3*x28*x35 - 23*x29*x35 + 36*x30*x35 + 16*x31*x35 + 3*x32*x35 + 30*x33*x35 + 3*x34*x35 - 44*x35^2 + 35*x0*x36 + 31*x1*x36 - 2*x2*x36 + 27*x3*x36 - 25*x4*x36 - 7*x5*x36 + 9*x6*x36 - 16*x7*x36 - 19*x8*x36 + 2*x9*x36 + 21*x10*x36 + 18*x11*x36 + 12*x12*x36 + 5*x13*x36 + 47*x14*x36 - 8*x15*x36 + 36*x16*x36 - 20*x17*x36 + x18*x36 + 6*x19*x36 - 13*x20*x36 + 10*x21*x36 + 42*x22*x36 + 21*x23*x36 + 41*x24*x36 - 24*x25*x36 + 8*x26*x36 - 16*x27*x36 - 31*x28*x36 - 20*x29*x36 + 29*x30*x36 - 11*x31*x36 + 15*x32*x36 - 20*x33*x36 - 46*x34*x36 + 42*x35*x36 - 7*x36^2 - 42*x0*x37 + 22*x1*x37 + 6*x2*x37 + 4*x3*x37 - 36*x5*x37 - 4*x6*x37 + 10*x7*x37 + 20*x8*x37 - 39*x9*x37 - 38*x10*x37 - x11*x37 - 6*x12*x37 - 40*x13*x37 - 40*x14*x37 + 18*x15*x37 - 8*x16*x37 - 3*x17*x37 - 25*x18*x37 + x19*x37 - 41*x20*x37 + 25*x21*x37 + 16*x22*x37 + 19*x23*x37 + 19*x24*x37 + 3*x25*x37 + 4*x26*x37 + 5*x27*x37 + 11*x28*x37 + 20*x29*x37 + 18*x30*x37 - 6*x31*x37 + 4*x32*x37 - 45*x33*x37 - 5*x34*x37 + 24*x35*x37 + 23*x36*x37 + 14*x37^2 - 42*x0*x38 + 43*x1*x38 - 8*x2*x38 - 4*x3*x38 - 16*x4*x38 - 38*x5*x38 + 26*x6*x38 - 42*x7*x38 - 39*x8*x38 + 22*x9*x38 - 18*x10*x38 + 41*x11*x38 - 45*x12*x38 - 43*x13*x38 + 28*x14*x38 + 4*x15*x38 + 25*x16*x38 - 26*x17*x38 - x18*x38 + 28*x19*x38 + 13*x20*x38 - 32*x21*x38 - 47*x22*x38 + 26*x23*x38 - 14*x24*x38 - 39*x25*x38 - 37*x26*x38 + 29*x27*x38 + x28*x38 + 16*x29*x38 - 11*x30*x38 - 36*x31*x38 - 3*x32*x38 + 17*x33*x38 + 15*x34*x38 - 38*x35*x38 - 33*x36*x38 - 45*x37*x38 - 17*x38^2 - 42*x0*x39 + 35*x1*x39 + 4*x2*x39 + 45*x3*x39 - 10*x4*x39 - 36*x5*x39 - 3*x6*x39 + 40*x7*x39 + 41*x8*x39 - 34*x9*x39 + 22*x10*x39 + 14*x11*x39 - 19*x12*x39 - 12*x13*x39 + 4*x14*x39 - 40*x15*x39 + 19*x16*x39 - 45*x17*x39 - x18*x39 + 32*x19*x39 - 43*x20*x39 + 39*x21*x39 - 35*x22*x39 + 28*x23*x39 - 34*x24*x39 - 39*x25*x39 + 17*x26*x39 + 36*x27*x39 - 32*x28*x39 + 29*x29*x39 + 46*x30*x39 - 30*x31*x39 - 15*x32*x39 + 43*x33*x39 - 25*x34*x39 - 45*x35*x39 - 14*x36*x39 - 45*x37*x39 - 33*x38*x39 - x39^2 + 35*x0*x40 + 38*x1*x40 + 7*x2*x40 + 27*x3*x40 + 5*x4*x40 + 19*x5*x40 - 33*x6*x40 - x7*x40 - 12*x9*x40 - 22*x10*x40 + 13*x11*x40 + 7*x12*x40 + 24*x13*x40 - 19*x14*x40 + 36*x15*x40 + 30*x16*x40 - 42*x17*x40 - 22*x18*x40 + 42*x19*x40 + 3*x20*x40 - 16*x21*x40 + 4*x22*x40 + 15*x23*x40 - 38*x24*x40 - 37*x25*x40 - 4*x26*x40 - 44*x27*x40 - 33*x28*x40 - 11*x29*x40 - 18*x30*x40 + 6*x31*x40 + 30*x32*x40 - 25*x33*x40 - 21*x34*x40 - 48*x35*x40 - 12*x36*x40 - 40*x37*x40 + 26*x38*x40 - 14*x39*x40 - 30*x40^2 + 8*x0*x41 + 11*x1*x41 + 15*x2*x41 + 18*x3*x41 + 24*x4*x41 - 45*x5*x41 + 23*x6*x41 + 44*x7*x41 - 28*x8*x41 - 48*x9*x41 + 44*x10*x41 + 40*x11*x41 + 44*x12*x41 - 27*x13*x41 - 39*x14*x41 + 21*x15*x41 - x16*x41 + 46*x17*x41 + 14*x18*x41 - 11*x19*x41 + 2*x20*x41 - 41*x21*x41 - 20*x23*x41 + 38*x24*x41 - 5*x25*x41 + 41*x26*x41 + 42*x27*x41 - 44*x28*x41 + 47*x29*x41 - 17*x30*x41 + 36*x31*x41 + 20*x32*x41 - 41*x33*x41 - 12*x34*x41 - 5*x35*x41 - 40*x36*x41 + 27*x37*x41 + 33*x38*x41 - 37*x39*x41 + 30*x40*x41 + 25*x41^2 + 21*x0*x42 - 39*x1*x42 - 38*x2*x42 + 28*x3*x42 - 32*x4*x42 - 5*x5*x42 + 13*x6*x42 - 37*x7*x42 - 35*x8*x42 - 32*x9*x42 - 46*x10*x42 - 29*x11*x42 - 47*x12*x42 - 26*x14*x42 + 21*x15*x42 + 10*x16*x42 - 33*x17*x42 - x18*x42 + 24*x19*x42 + 38*x20*x42 + 45*x21*x42 + 17*x22*x42 - 47*x23*x42 - 30*x24*x42 - 27*x25*x42 + 37*x26*x42 - 32*x27*x42 - 34*x28*x42 + 14*x29*x42 - 31*x30*x42 + 31*x31*x42 - 42*x32*x42 + 41*x33*x42 - 5*x34*x42 - 35*x35*x42 - 23*x36*x42 - 16*x37*x42 - 29*x38*x42 + 3*x39*x42 + 15*x40*x42 - 19*x41*x42 - 35*x42^2 + 27*x0*x43 - 22*x1*x43 + 11*x2*x43 + 14*x3*x43 + 41*x4*x43 + 7*x5*x43 + x6*x43 + 21*x7*x43 - 28*x8*x43 - 43*x9*x43 - 39*x10*x43 - 5*x11*x43 + 4*x12*x43 - 47*x13*x43 - 28*x14*x43 + 41*x15*x43 - 41*x16*x43 - 6*x17*x43 - 45*x18*x43 + 40*x19*x43 + 2*x20*x43 - 28*x21*x43 + 4*x22*x43 - 39*x23*x43 - 16*x24*x43 + 35*x25*x43 + 46*x26*x43 - 10*x27*x43 - 16*x28*x43 + 25*x29*x43 + 28*x30*x43 + 41*x31*x43 - 48*x32*x43 + 36*x33*x43 + 12*x34*x43 - 22*x35*x43 + 24*x36*x43 - 46*x37*x43 + 30*x38*x43 - 21*x39*x43 - 19*x40*x43 - 5*x41*x43 + 39*x42*x43 + 16*x43^2 - 46*x0*x44 + 4*x1*x44 - 13*x2*x44 - 35*x3*x44 + 39*x4*x44 + 10*x5*x44 + 43*x6*x44 - 27*x7*x44 + 9*x8*x44 + 43*x9*x44 - 46*x10*x44 + 2*x11*x44 + 9*x12*x44 - 28*x13*x44 - 32*x14*x44 + 5*x15*x44 - 23*x16*x44 + 27*x17*x44 - 17*x18*x44 - 19*x19*x44 - 22*x20*x44 + 20*x22*x44 - 29*x23*x44 + 5*x24*x44 - 33*x25*x44 + 24*x26*x44 + 3*x27*x44 - 39*x28*x44 - 31*x29*x44 + 33*x30*x44 - 29*x31*x44 + 18*x32*x44 - 26*x33*x44 - 4*x34*x44 + 22*x35*x44 + 3*x36*x44 - 9*x37*x44 - 42*x38*x44 - 47*x39*x44 - 25*x40*x44 + 29*x41*x44 - 5*x42*x44 + 24*x43*x44 + 32*x44^2 - 27*x0*x45 - 42*x1*x45 + 30*x2*x45 + 3*x3*x45 - 46*x4*x45 + 28*x5*x45 - 36*x6*x45 + 13*x7*x45 - 2*x8*x45 - 46*x9*x45 - 34*x10*x45 + 29*x11*x45 - 31*x12*x45 - 2*x13*x45 + 3*x14*x45 + 6*x15*x45 - 11*x16*x45 + 36*x17*x45 - 41*x18*x45 + 27*x19*x45 + 31*x20*x45 + 45*x21*x45 - 24*x22*x45 + 24*x23*x45 + 6*x24*x45 - 41*x25*x45 + 3*x26*x45 + 19*x27*x45 + 31*x28*x45 + 2*x29*x45 + 41*x30*x45 + 19*x31*x45 + 45*x32*x45 - 30*x33*x45 - 45*x34*x45 + 38*x35*x45 - 2*x36*x45 + 25*x37*x45 - 48*x38*x45 + 19*x39*x45 - 19*x40*x45 - 18*x41*x45 - 36*x42*x45 - 8*x43*x45 + 36*x44*x45 + 21*x45^2 + 15*x0*x46 + x1*x46 + 45*x2*x46 - 4*x3*x46 - 9*x5*x46 + 12*x6*x46 - 5*x7*x46 - 28*x8*x46 - 26*x9*x46 + 2*x10*x46 - 22*x11*x46 - 47*x12*x46 - 46*x13*x46 - 10*x14*x46 - 16*x15*x46 - 25*x16*x46 + 31*x17*x46 - 22*x18*x46 + 35*x19*x46 + 29*x20*x46 - 36*x21*x46 - 29*x22*x46 - 20*x23*x46 - 20*x24*x46 - 37*x25*x46 - 7*x26*x46 - x27*x46 + 12*x28*x46 - 7*x29*x46 - 5*x30*x46 - 21*x31*x46 + 9*x32*x46 + 33*x33*x46 + 32*x34*x46 - 9*x35*x46 - 20*x36*x46 - 37*x37*x46 - 33*x38*x46 - 29*x39*x46 + 42*x40*x46 + 3*x41*x46 + 31*x42*x46 + 34*x43*x46 - 43*x44*x46 + 18*x45*x46 + 26*x46^2 - 32*x0*x47 - 26*x1*x47 + 28*x2*x47 - 18*x3*x47 + 20*x4*x47 - 27*x5*x47 - 8*x6*x47 + 35*x7*x47 - 3*x8*x47 - 32*x9*x47 + 19*x10*x47 + 14*x11*x47 - 12*x12*x47 + 17*x13*x47 - 30*x14*x47 + 40*x15*x47 + 44*x16*x47 + 29*x17*x47 - 19*x18*x47 + 22*x19*x47 + x20*x47 - 44*x21*x47 - 18*x22*x47 - 40*x23*x47 + 8*x24*x47 + 2*x25*x47 + 30*x26*x47 + 7*x27*x47 - 27*x28*x47 - 31*x29*x47 + 33*x30*x47 + 27*x31*x47 + 23*x32*x47 - 45*x33*x47 - 24*x34*x47 + 19*x35*x47 + 23*x36*x47 + 42*x37*x47 + 9*x38*x47 + 34*x39*x47 + 13*x40*x47 - 19*x41*x47 + 12*x42*x47 - 15*x43*x47 + 22*x44*x47 - 4*x45*x47 + 8*x46*x47 + 5*x47^2 - 33*x0*x48 - 40*x1*x48 + 21*x2*x48 - 25*x3*x48 + 11*x4*x48 + 8*x5*x48 + 7*x6*x48 + 7*x7*x48 - 10*x8*x48 + 15*x9*x48 - 40*x10*x48 - 37*x11*x48 + 38*x12*x48 + 21*x13*x48 + 25*x14*x48 + 24*x15*x48 - 27*x16*x48 + 23*x17*x48 + 20*x18*x48 + 26*x19*x48 - 29*x20*x48 + 48*x21*x48 + 28*x22*x48 - 16*x23*x48 - 38*x24*x48 - 33*x25*x48 + 11*x26*x48 + 6*x27*x48 + 22*x28*x48 + 4*x29*x48 + 42*x30*x48 - 34*x31*x48 + 36*x32*x48 - 16*x33*x48 + 34*x34*x48 + x35*x48 + 36*x36*x48 + 48*x37*x48 + 24*x38*x48 - 25*x39*x48 - 10*x40*x48 + 46*x41*x48 + 19*x42*x48 - 30*x43*x48 - 7*x44*x48 + 47*x45*x48 + 19*x46*x48 - 22*x47*x48 - 22*x48^2 + 46*x0*x49 + 48*x1*x49 - 17*x2*x49 - 41*x3*x49 - 15*x4*x49 - 18*x5*x49 - 15*x6*x49 + 10*x7*x49 - 6*x8*x49 - 32*x9*x49 + 47*x10*x49 - 9*x11*x49 + 37*x12*x49 - 42*x13*x49 - 4*x14*x49 + 31*x15*x49 - 44*x16*x49 - 17*x17*x49 - 8*x18*x49 + 37*x19*x49 + 25*x20*x49 + 44*x21*x49 + 22*x22*x49 - 20*x23*x49 + 17*x24*x49 + 9*x25*x49 - 34*x26*x49 + 39*x27*x49 + 19*x28*x49 + 31*x29*x49 + 39*x30*x49 - 24*x31*x49 - 45*x32*x49 + 17*x33*x49 + 2*x34*x49 - 6*x35*x49 + x36*x49 + 11*x37*x49 - 23*x38*x49 + 32*x39*x49 + 38*x40*x49 - 25*x41*x49 - 46*x42*x49 + 5*x43*x49 - 40*x44*x49 - 15*x45*x49 - 17*x46*x49 - 20*x47*x49 - 30*x48*x49 + 8*x49^2 + 31*x0 + 24*x1 - 44*x2 + 27*x3 - 10*x4 - 3*x5 - 41*x6 + 29*x7 + 3*x8 - 36*x9 - 14*x10 - 27*x11 - 21*x12 - 4*x13 + 34*x14 + 26*x15 + 27*x16 - 45*x17 - 14*x18 + 17*x19 + 18*x20 + 28*x21 + 38*x22 - 46*x23 + 29*x24 - 21*x25 + 6*x26 - 19*x27 - 9*x28 - 35*x29 + 4*x30 - 29*x31 - 24*x32 + 10*x33 - 6*x34 + 47*x35 + 43*x36 + 29*x37 + 3*x38 - 48*x39 + 36*x41 + 34*x42 + 10*x44 - 44*x45 - 17*x46 + 25*x47 + 14*x48 - 47*x49 - 31