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