-41*x0^2 - 42*x0*x1 - 39*x1^2 + 35*x0*x2 - 22*x1*x2 - 28*x2^2 + 31*x0*x3 - 29*x1*x3 + 17*x2*x3 + 26*x3^2 + 12*x0*x4 - 4*x1*x4 - 11*x2*x4 - 17*x3*x4 + 45*x4^2 - 43*x0*x5 - 18*x1*x5 + 46*x2*x5 + 24*x3*x5 + 20*x4*x5 - 6*x5^2 + 7*x0*x6 - 22*x1*x6 + 39*x2*x6 + 35*x3*x6 + 43*x4*x6 + 7*x5*x6 - 9*x0*x7 - 8*x1*x7 - 35*x2*x7 - 37*x3*x7 + 39*x4*x7 + 44*x5*x7 + 43*x6*x7 + 28*x7^2 + 45*x0*x8 - 22*x1*x8 + 2*x2*x8 + 25*x3*x8 + 48*x4*x8 - 33*x5*x8 + 20*x6*x8 - 35*x7*x8 + 8*x8^2 + 20*x0*x9 - 34*x1*x9 + 37*x2*x9 - 3*x3*x9 + 15*x4*x9 - 19*x5*x9 + 35*x6*x9 - 9*x7*x9 - 19*x8*x9 - 29*x9^2 - 11*x0*x10 - 10*x1*x10 + 37*x2*x10 + 38*x4*x10 - 14*x5*x10 - 10*x6*x10 + 15*x7*x10 + 20*x8*x10 + 48*x9*x10 - 26*x10^2 - 29*x0*x11 + 19*x1*x11 + 31*x2*x11 + 37*x3*x11 - 33*x4*x11 - 44*x5*x11 - 12*x6*x11 - 42*x7*x11 - 35*x8*x11 + 39*x9*x11 + 3*x10*x11 + 26*x11^2 + 10*x0*x12 - 14*x1*x12 - 2*x2*x12 - 18*x3*x12 - 30*x4*x12 + 23*x5*x12 + 32*x6*x12 - 15*x7*x12 - 6*x8*x12 + 17*x9*x12 + 28*x10*x12 - 36*x11*x12 + 19*x12^2 + 48*x0*x13 + 27*x1*x13 + 37*x2*x13 + 20*x3*x13 + 8*x4*x13 - 29*x5*x13 + x6*x13 + 6*x7*x13 - 36*x8*x13 + 33*x9*x13 - 30*x10*x13 - 25*x11*x13 + 35*x12*x13 - 20*x13^2 - 42*x0*x14 - 2*x1*x14 + 20*x2*x14 - 17*x3*x14 + 10*x4*x14 - 2*x5*x14 + 32*x6*x14 - 5*x7*x14 - 12*x8*x14 - 14*x9*x14 + x10*x14 - 20*x11*x14 - 32*x12*x14 + 17*x13*x14 + 47*x14^2 + 8*x0*x15 + 43*x1*x15 - 40*x2*x15 - 4*x3*x15 - 12*x4*x15 + 31*x5*x15 - 2*x6*x15 - 33*x7*x15 + 22*x8*x15 + 6*x9*x15 + 21*x10*x15 - 20*x11*x15 - 21*x12*x15 - 28*x13*x15 + 8*x14*x15 + 12*x15^2 - 2*x0*x16 + 46*x1*x16 - 29*x2*x16 - 48*x3*x16 + 14*x4*x16 - 13*x5*x16 - 2*x6*x16 + 29*x7*x16 + 21*x8*x16 + 26*x9*x16 - 12*x10*x16 + 19*x11*x16 + 44*x12*x16 - 33*x13*x16 + 31*x14*x16 + 21*x15*x16 - 38*x16^2 - 30*x0*x17 - 41*x1*x17 + 21*x2*x17 + 25*x3*x17 + 26*x4*x17 - 35*x5*x17 + 22*x6*x17 + 19*x7*x17 - 5*x8*x17 - 38*x9*x17 + 38*x10*x17 + 10*x11*x17 - 30*x12*x17 + 5*x13*x17 + 10*x14*x17 - 43*x15*x17 - 33*x16*x17 + 5*x17^2 - 14*x0*x18 - 41*x1*x18 + 23*x2*x18 - 17*x3*x18 + 43*x4*x18 - 47*x5*x18 - 20*x6*x18 - 48*x7*x18 - 10*x8*x18 - 14*x9*x18 + 17*x10*x18 - 5*x11*x18 + 32*x12*x18 + 15*x13*x18 - 17*x14*x18 - 20*x15*x18 + x16*x18 - 9*x17*x18 - 25*x18^2 + 11*x0*x19 - 10*x1*x19 - 5*x2*x19 - 40*x3*x19 + 14*x4*x19 - 25*x5*x19 - 16*x6*x19 + 9*x7*x19 - 40*x8*x19 + 46*x10*x19 - 31*x11*x19 + 24*x12*x19 + 46*x13*x19 - 27*x14*x19 - 2*x15*x19 + 10*x16*x19 - 37*x18*x19 + 44*x19^2 + 17*x0*x20 + 26*x1*x20 + 5*x2*x20 - 44*x3*x20 + 32*x4*x20 - 36*x5*x20 - 37*x6*x20 - 24*x7*x20 + 14*x8*x20 + 34*x9*x20 + 42*x10*x20 + 7*x11*x20 + 28*x12*x20 + 29*x13*x20 - x14*x20 + 3*x15*x20 + 14*x16*x20 - 5*x17*x20 - 30*x18*x20 - 25*x19*x20 + 40*x20^2 - 39*x0*x21 + 17*x1*x21 - 34*x2*x21 - 45*x3*x21 + 3*x4*x21 - 48*x5*x21 - 33*x6*x21 - 25*x7*x21 - 29*x8*x21 - 28*x9*x21 - 46*x10*x21 + 28*x11*x21 - 19*x12*x21 + 26*x13*x21 - 13*x14*x21 + 24*x15*x21 - 33*x17*x21 + 32*x18*x21 + 12*x19*x21 - 12*x20*x21 + 5*x21^2 - 22*x0*x22 - 11*x1*x22 + 46*x2*x22 + 24*x3*x22 - 12*x4*x22 + 2*x5*x22 - 10*x6*x22 + 17*x7*x22 - 17*x8*x22 + 22*x9*x22 - 35*x10*x22 + 23*x11*x22 - 9*x12*x22 - 19*x13*x22 + 31*x14*x22 + 4*x15*x22 - 9*x16*x22 + 32*x17*x22 + 12*x18*x22 - 41*x19*x22 + 32*x20*x22 - 4*x21*x22 + 39*x22^2 - 25*x0*x23 + 36*x1*x23 - 38*x2*x23 + 9*x3*x23 + 37*x4*x23 - 21*x5*x23 + 7*x6*x23 - 44*x7*x23 + 44*x8*x23 - 44*x9*x23 + 2*x10*x23 + 31*x11*x23 + 12*x12*x23 - 36*x13*x23 - 6*x14*x23 - 43*x15*x23 + 36*x16*x23 - 37*x17*x23 + 36*x18*x23 - 10*x19*x23 + 12*x20*x23 + 24*x21*x23 - 22*x22*x23 - 35*x23^2 - 6*x0*x24 - 25*x1*x24 + 36*x2*x24 - 41*x3*x24 + 17*x4*x24 + 48*x5*x24 + 4*x6*x24 + 5*x7*x24 - 35*x8*x24 - 34*x9*x24 + 37*x10*x24 + 43*x11*x24 + 4*x13*x24 - 28*x14*x24 - 4*x15*x24 + 12*x16*x24 + 11*x17*x24 - 45*x18*x24 - 12*x19*x24 + 42*x20*x24 + 43*x21*x24 + 48*x22*x24 - 17*x23*x24 + 18*x24^2 - x0*x25 - 43*x1*x25 + 37*x2*x25 - 24*x3*x25 + 13*x4*x25 - 11*x5*x25 - 10*x6*x25 + 13*x7*x25 + 18*x8*x25 - 26*x9*x25 - 46*x10*x25 - 39*x11*x25 + 4*x12*x25 + 14*x13*x25 + 24*x14*x25 - 17*x15*x25 + 17*x16*x25 - 37*x17*x25 - 41*x18*x25 + 8*x19*x25 + 28*x20*x25 + 33*x21*x25 + 16*x22*x25 + 24*x23*x25 - 46*x24*x25 - 14*x25^2 + 16*x0*x26 - 22*x1*x26 + 42*x2*x26 + 24*x3*x26 + 37*x4*x26 + 14*x5*x26 - 39*x6*x26 - 34*x7*x26 + 37*x8*x26 - 17*x9*x26 - 18*x10*x26 + 16*x11*x26 - 23*x12*x26 + 6*x13*x26 - 5*x14*x26 - 31*x15*x26 + 12*x16*x26 + 45*x17*x26 + 22*x18*x26 + 37*x19*x26 - 7*x20*x26 + 39*x21*x26 - 10*x22*x26 + 22*x23*x26 + 30*x24*x26 - 41*x25*x26 - 37*x26^2 + 47*x0*x27 + 10*x1*x27 - 28*x2*x27 - 21*x3*x27 - 13*x4*x27 - 25*x5*x27 + 24*x6*x27 + 35*x7*x27 + 32*x8*x27 - 42*x10*x27 - 28*x11*x27 - 5*x12*x27 + 47*x13*x27 + 46*x14*x27 + 36*x15*x27 - 44*x16*x27 - 25*x17*x27 - 20*x18*x27 + 2*x19*x27 - 3*x20*x27 + 39*x21*x27 + 8*x23*x27 + 14*x24*x27 - 3*x25*x27 - 10*x26*x27 + 2*x27^2 - 39*x0*x28 - 6*x1*x28 - 29*x2*x28 - 17*x3*x28 + 24*x4*x28 + 45*x5*x28 - 34*x6*x28 - 48*x7*x28 - 34*x8*x28 + 44*x9*x28 - 45*x10*x28 - x11*x28 - 17*x12*x28 - 28*x13*x28 - 5*x14*x28 + 15*x15*x28 - 14*x16*x28 - 46*x17*x28 + 22*x18*x28 - 31*x19*x28 - 7*x20*x28 - 22*x21*x28 + 21*x22*x28 - 35*x23*x28 + 41*x24*x28 - 13*x25*x28 - 34*x26*x28 + 42*x27*x28 + 31*x28^2 - 3*x0*x29 - 29*x1*x29 - 2*x2*x29 - 46*x3*x29 + 31*x4*x29 + 35*x6*x29 - 48*x7*x29 + 37*x8*x29 - 21*x9*x29 + 28*x10*x29 + 12*x12*x29 + 9*x13*x29 + 42*x14*x29 + 20*x15*x29 + 21*x16*x29 + 30*x17*x29 + 38*x18*x29 - x19*x29 - 26*x20*x29 + 42*x21*x29 + 9*x22*x29 + 12*x23*x29 + 2*x24*x29 + 8*x25*x29 - 27*x26*x29 - 27*x27*x29 + 43*x28*x29 + 26*x29^2 - 28*x0*x30 + 21*x1*x30 - 24*x2*x30 - 2*x3*x30 - 35*x4*x30 + 45*x5*x30 + 28*x6*x30 - 44*x7*x30 + 10*x8*x30 - 31*x9*x30 - 24*x10*x30 - 31*x11*x30 - 42*x12*x30 + 14*x13*x30 - 7*x14*x30 + 28*x15*x30 - 12*x16*x30 + 45*x17*x30 + 18*x18*x30 + 31*x19*x30 - 34*x20*x30 - 18*x21*x30 - 30*x22*x30 - 35*x23*x30 + 40*x24*x30 + 23*x25*x30 - 11*x26*x30 - 31*x27*x30 + 12*x28*x30 - 7*x29*x30 - 40*x30^2 - 25*x0*x31 + 33*x1*x31 + 20*x2*x31 - 44*x3*x31 - 38*x4*x31 + 21*x5*x31 - 8*x6*x31 - 7*x7*x31 + 32*x8*x31 + 48*x9*x31 + 41*x10*x31 + 27*x11*x31 + 27*x12*x31 - x13*x31 + 35*x14*x31 + 38*x15*x31 - 13*x16*x31 + 21*x17*x31 + 14*x18*x31 - 18*x19*x31 - x20*x31 - 31*x21*x31 + 18*x22*x31 + x23*x31 - 15*x24*x31 + 45*x25*x31 - 17*x26*x31 - 34*x27*x31 + 44*x28*x31 - 25*x29*x31 - 44*x30*x31 + 32*x0*x32 + 27*x1*x32 - 17*x2*x32 + 23*x3*x32 - 44*x4*x32 + 20*x5*x32 - 41*x6*x32 - 11*x7*x32 - 27*x8*x32 - 10*x9*x32 + 48*x10*x32 + 23*x11*x32 - 30*x12*x32 + 45*x13*x32 - 21*x14*x32 - 7*x15*x32 - 10*x16*x32 - 27*x17*x32 + 3*x18*x32 + 45*x19*x32 + 42*x20*x32 + 24*x21*x32 + 22*x22*x32 - 23*x23*x32 + 12*x24*x32 + 39*x25*x32 + 21*x26*x32 + 27*x27*x32 + 40*x28*x32 - 11*x29*x32 + 33*x30*x32 - 30*x31*x32 + 10*x32^2 - 4*x0*x33 - 13*x1*x33 + 40*x2*x33 + 48*x3*x33 + 27*x4*x33 - 11*x5*x33 - 3*x6*x33 - 33*x7*x33 + x8*x33 - 19*x9*x33 - 31*x10*x33 + 9*x12*x33 - 19*x13*x33 + 6*x14*x33 - 38*x15*x33 - 27*x16*x33 - 36*x17*x33 + 26*x18*x33 - 3*x19*x33 + 11*x20*x33 - 35*x21*x33 + 6*x22*x33 - 47*x23*x33 + 33*x24*x33 - 39*x25*x33 - 30*x26*x33 + 13*x27*x33 + 20*x28*x33 + 44*x29*x33 - 23*x30*x33 + 36*x31*x33 + 6*x32*x33 - 39*x33^2 + 28*x0*x34 - 5*x1*x34 - 23*x2*x34 + 10*x3*x34 - 39*x4*x34 + 39*x5*x34 + 10*x6*x34 - 3*x7*x34 - 26*x8*x34 - 7*x9*x34 - 10*x10*x34 - 38*x11*x34 + 6*x12*x34 - 42*x13*x34 - 28*x14*x34 + 18*x15*x34 + 45*x16*x34 - 27*x17*x34 - 35*x18*x34 - 7*x19*x34 - 40*x20*x34 + 14*x21*x34 - 7*x22*x34 + 14*x23*x34 - 32*x24*x34 + 23*x25*x34 - 29*x26*x34 - 42*x27*x34 - 3*x28*x34 - 26*x29*x34 - 38*x30*x34 - 7*x31*x34 - 10*x32*x34 - 32*x33*x34 + 24*x34^2 - 48*x0*x35 - 22*x1*x35 - 10*x2*x35 + 33*x3*x35 - 11*x4*x35 - 33*x5*x35 + 14*x6*x35 - 42*x7*x35 - 6*x8*x35 + 46*x9*x35 + 15*x10*x35 + 14*x11*x35 + 18*x12*x35 - 27*x13*x35 - 26*x14*x35 + 13*x16*x35 - 43*x17*x35 - 32*x18*x35 + 29*x19*x35 - 39*x20*x35 - 20*x21*x35 - 24*x22*x35 + 26*x23*x35 - 10*x24*x35 + 12*x25*x35 + 36*x26*x35 + 44*x27*x35 + x28*x35 - 5*x29*x35 - 28*x30*x35 + 32*x31*x35 - 46*x32*x35 + 18*x33*x35 + 14*x34*x35 + 20*x35^2 - 7*x0*x36 + 2*x1*x36 - x2*x36 - 37*x3*x36 - 33*x4*x36 + 22*x5*x36 - 7*x6*x36 - 27*x7*x36 + 34*x8*x36 + 34*x9*x36 - 44*x10*x36 - 40*x11*x36 - 19*x12*x36 + 48*x13*x36 - 35*x14*x36 - 34*x15*x36 + 44*x16*x36 + 44*x17*x36 + 5*x18*x36 - 2*x19*x36 + 46*x20*x36 - 24*x21*x36 - 14*x22*x36 + 22*x23*x36 + 21*x24*x36 + 15*x25*x36 + 32*x26*x36 + 39*x27*x36 + 26*x28*x36 - 24*x30*x36 + 23*x31*x36 - 18*x32*x36 - 47*x33*x36 - 13*x34*x36 - 8*x35*x36 + 23*x36^2 - 14*x0*x37 - 36*x1*x37 + 20*x2*x37 - 12*x3*x37 - 35*x4*x37 + 38*x5*x37 - 12*x6*x37 - 16*x7*x37 + 17*x8*x37 - 22*x9*x37 + 14*x10*x37 + 40*x11*x37 + 3*x12*x37 + 12*x13*x37 + 29*x14*x37 + 31*x15*x37 - 36*x16*x37 + 10*x17*x37 - 2*x18*x37 + 27*x19*x37 + 5*x20*x37 + 6*x21*x37 - 38*x22*x37 + x23*x37 + 35*x24*x37 + 25*x25*x37 + 32*x26*x37 - 17*x27*x37 - 4*x28*x37 + 39*x29*x37 + 19*x30*x37 + 10*x31*x37 - 26*x32*x37 - 14*x33*x37 + 14*x34*x37 - 47*x35*x37 + 48*x36*x37 + 5*x37^2 - 36*x0*x38 - 27*x1*x38 + 32*x2*x38 - 42*x3*x38 - 38*x4*x38 - 48*x5*x38 - 37*x6*x38 - 12*x7*x38 + 47*x8*x38 + 29*x9*x38 - 2*x10*x38 + 38*x11*x38 - 41*x12*x38 - 29*x13*x38 - 7*x14*x38 - 46*x15*x38 + 21*x16*x38 + 27*x17*x38 + 27*x18*x38 + 39*x19*x38 + 23*x20*x38 + 4*x21*x38 + 40*x22*x38 - 11*x23*x38 + 46*x24*x38 - 9*x25*x38 + 31*x26*x38 + 35*x27*x38 - 6*x28*x38 + 26*x29*x38 + 17*x30*x38 - 14*x31*x38 + 20*x32*x38 + 48*x33*x38 + 32*x34*x38 + 27*x35*x38 - 10*x36*x38 - 29*x37*x38 + 45*x38^2 + 39*x0*x39 - 41*x1*x39 + 20*x2*x39 - 35*x3*x39 - 12*x4*x39 - 26*x5*x39 + 20*x6*x39 - 9*x7*x39 - 23*x8*x39 - 25*x9*x39 + 47*x10*x39 + 6*x11*x39 - 18*x12*x39 - 48*x13*x39 - 16*x14*x39 - 42*x15*x39 - 15*x16*x39 + 35*x17*x39 + 39*x18*x39 + 2*x19*x39 - 24*x20*x39 - 25*x21*x39 + 44*x22*x39 + 19*x23*x39 - 34*x24*x39 + 45*x25*x39 - 36*x26*x39 - 33*x27*x39 - 19*x28*x39 - x29*x39 - 35*x30*x39 + 16*x31*x39 + 14*x32*x39 + 42*x33*x39 + 7*x34*x39 - 7*x35*x39 - 33*x36*x39 - 40*x37*x39 + 34*x38*x39 + 12*x39^2 + 37*x0*x40 - 7*x1*x40 + 42*x2*x40 + 9*x3*x40 + 15*x4*x40 + 11*x5*x40 - 40*x6*x40 - 47*x7*x40 - 48*x8*x40 + 39*x9*x40 + 14*x10*x40 + 23*x11*x40 - 44*x12*x40 - x13*x40 + 21*x14*x40 + 2*x15*x40 + 28*x16*x40 + 11*x17*x40 - 48*x18*x40 + 30*x19*x40 + 24*x20*x40 + 46*x21*x40 + 48*x22*x40 - 30*x23*x40 - 26*x24*x40 + 38*x25*x40 + 24*x26*x40 - 5*x27*x40 - 34*x28*x40 + 35*x29*x40 + 22*x30*x40 + 11*x31*x40 + 20*x32*x40 - 29*x33*x40 - 5*x34*x40 - 27*x35*x40 - 7*x36*x40 - 8*x37*x40 + 48*x38*x40 + 34*x39*x40 + 11*x40^2 - 40*x0*x41 - 46*x1*x41 + 29*x2*x41 - 22*x3*x41 - 16*x4*x41 + 35*x5*x41 + 12*x6*x41 - 44*x7*x41 + 33*x8*x41 + 7*x9*x41 + 27*x10*x41 + 35*x11*x41 - 20*x12*x41 - 26*x13*x41 - 44*x14*x41 - 5*x15*x41 + 9*x16*x41 - 22*x17*x41 + 2*x18*x41 + 38*x19*x41 - 19*x20*x41 - 46*x21*x41 + 35*x22*x41 - 32*x23*x41 - 4*x24*x41 + 29*x25*x41 - 22*x26*x41 - 17*x27*x41 + 34*x28*x41 + 11*x29*x41 - 20*x30*x41 + 8*x31*x41 + 16*x32*x41 + 10*x33*x41 + 44*x34*x41 + 36*x35*x41 - 40*x36*x41 - 25*x37*x41 - 24*x38*x41 - 33*x39*x41 - 34*x40*x41 + 31*x41^2 + 2*x0*x42 - 47*x1*x42 - 48*x2*x42 - 47*x3*x42 - 41*x4*x42 + 25*x5*x42 + 19*x6*x42 + 5*x7*x42 + 11*x8*x42 - 28*x9*x42 + 14*x10*x42 + 12*x11*x42 + 29*x12*x42 - 44*x13*x42 - 2*x14*x42 - 23*x15*x42 - 16*x16*x42 - 22*x17*x42 - 38*x18*x42 + 7*x19*x42 + 16*x20*x42 - 8*x21*x42 - 36*x22*x42 + 13*x23*x42 + 26*x24*x42 + 29*x25*x42 + 18*x26*x42 - 10*x27*x42 - 30*x28*x42 - 48*x29*x42 - 42*x30*x42 - 44*x31*x42 + 47*x32*x42 - 10*x33*x42 - 35*x34*x42 + 15*x35*x42 + 5*x36*x42 + 9*x37*x42 - 11*x38*x42 - 4*x39*x42 - 43*x40*x42 - 12*x41*x42 - 36*x42^2 + 19*x0*x43 + 4*x1*x43 - 19*x2*x43 + 44*x3*x43 - x4*x43 + 14*x5*x43 + 34*x6*x43 + 48*x7*x43 + 13*x8*x43 + 30*x9*x43 - 16*x10*x43 - 45*x11*x43 - x12*x43 - 29*x13*x43 - 5*x14*x43 + 40*x15*x43 + 5*x16*x43 + 6*x17*x43 + 37*x18*x43 + 18*x19*x43 + 33*x20*x43 - 2*x21*x43 + 21*x22*x43 - 24*x23*x43 + 18*x24*x43 + 36*x25*x43 + 14*x26*x43 + 5*x27*x43 + 17*x28*x43 - 4*x30*x43 + 21*x31*x43 + 40*x32*x43 + 32*x33*x43 + 42*x34*x43 - 37*x35*x43 + 5*x36*x43 + 22*x37*x43 - 4*x38*x43 - 39*x39*x43 - 27*x40*x43 - 2*x41*x43 - 7*x42*x43 + 32*x43^2 + 43*x0*x44 - 11*x1*x44 - 32*x2*x44 - x3*x44 + 38*x4*x44 - 31*x5*x44 - 25*x6*x44 + 47*x7*x44 - 28*x8*x44 + 36*x9*x44 + 16*x10*x44 - 23*x11*x44 + 33*x12*x44 - 17*x13*x44 + 13*x14*x44 + 7*x15*x44 - 37*x16*x44 + 9*x17*x44 + 47*x18*x44 - 25*x19*x44 - 14*x20*x44 - 18*x21*x44 + 4*x22*x44 - 9*x23*x44 - 23*x24*x44 - 8*x25*x44 - 6*x26*x44 + 30*x27*x44 - 36*x28*x44 - 34*x29*x44 - 40*x30*x44 - 39*x31*x44 + 3*x32*x44 - 25*x33*x44 + 16*x34*x44 - 4*x35*x44 - 43*x36*x44 - 30*x37*x44 + 22*x38*x44 - 30*x39*x44 - 25*x40*x44 + 25*x41*x44 + 30*x42*x44 + 30*x43*x44 + 29*x44^2 - 28*x0*x45 + 22*x1*x45 - 20*x2*x45 + 3*x3*x45 + 3*x4*x45 + 6*x5*x45 - 16*x6*x45 + 37*x7*x45 - 7*x8*x45 - 28*x9*x45 + 11*x10*x45 + 36*x11*x45 - 21*x12*x45 - 45*x13*x45 + 42*x14*x45 + 4*x15*x45 - 10*x16*x45 - 19*x17*x45 + 25*x18*x45 + 4*x19*x45 - 27*x20*x45 + 16*x21*x45 - 19*x22*x45 + 34*x23*x45 - x24*x45 - 18*x25*x45 + 41*x26*x45 + 29*x27*x45 - 13*x28*x45 - 25*x29*x45 + 47*x30*x45 + 41*x31*x45 + 15*x32*x45 + 29*x33*x45 + 8*x34*x45 + 33*x35*x45 + 47*x36*x45 - 27*x37*x45 + 34*x38*x45 + 26*x39*x45 - 47*x40*x45 - 42*x41*x45 - 5*x42*x45 - 16*x43*x45 + 21*x44*x45 - 14*x45^2 - 33*x0*x46 - 16*x1*x46 - 36*x2*x46 + 24*x3*x46 + 27*x4*x46 + 22*x5*x46 + 37*x6*x46 + 30*x7*x46 - 4*x8*x46 + 15*x9*x46 - 15*x11*x46 - 3*x12*x46 - 15*x13*x46 + 7*x14*x46 + 33*x15*x46 - 22*x16*x46 - 23*x17*x46 - 5*x18*x46 + 15*x19*x46 + 8*x20*x46 - 29*x21*x46 + 8*x22*x46 + 10*x23*x46 - 38*x24*x46 - 11*x25*x46 - 3*x26*x46 - 45*x27*x46 + 7*x29*x46 - 47*x30*x46 - 10*x31*x46 - 16*x32*x46 - 29*x33*x46 + 48*x34*x46 - 7*x35*x46 + 18*x36*x46 + 48*x37*x46 - 11*x38*x46 + 46*x39*x46 + x40*x46 + 17*x41*x46 + 36*x42*x46 - 4*x43*x46 + 27*x44*x46 - 21*x45*x46 + 2*x46^2 + 21*x0*x47 - 2*x1*x47 - 13*x2*x47 + 38*x3*x47 - 13*x4*x47 + 34*x5*x47 - 6*x6*x47 + 33*x7*x47 + 36*x8*x47 + 32*x9*x47 - 30*x10*x47 - 37*x11*x47 + 2*x12*x47 + 11*x13*x47 - 13*x14*x47 - 45*x15*x47 + 24*x16*x47 + 26*x17*x47 - 9*x18*x47 + 35*x19*x47 - 19*x20*x47 - 26*x21*x47 - 26*x22*x47 - 11*x23*x47 + 26*x24*x47 - 6*x25*x47 + 43*x26*x47 + 35*x27*x47 + 45*x28*x47 - 41*x29*x47 + 37*x30*x47 + 20*x31*x47 - 46*x32*x47 + 28*x33*x47 + 48*x34*x47 - 17*x35*x47 + 12*x36*x47 - 8*x37*x47 + 5*x38*x47 + 24*x39*x47 + 8*x40*x47 + 14*x41*x47 + 10*x42*x47 - 42*x43*x47 - 12*x44*x47 - 15*x45*x47 - 14*x46*x47 + 5*x47^2 - 39*x0*x48 + 26*x1*x48 - 36*x2*x48 - x3*x48 - 36*x4*x48 + 46*x5*x48 - 38*x6*x48 - 14*x7*x48 + 31*x8*x48 - 9*x9*x48 - 36*x10*x48 + 25*x11*x48 + 30*x12*x48 + 32*x13*x48 - 23*x14*x48 - 44*x15*x48 + 5*x16*x48 + 48*x17*x48 - 6*x18*x48 - 36*x19*x48 - 39*x20*x48 - 33*x21*x48 + 14*x22*x48 - 31*x23*x48 - 15*x24*x48 - 44*x25*x48 - 6*x26*x48 + 26*x27*x48 - 2*x28*x48 - 5*x29*x48 + 14*x30*x48 - 15*x31*x48 + 3*x32*x48 + 20*x33*x48 + 11*x34*x48 + 36*x35*x48 - 2*x36*x48 - 12*x37*x48 - 2*x38*x48 + 35*x39*x48 - 15*x40*x48 - 4*x41*x48 + 44*x42*x48 + 16*x43*x48 + 8*x44*x48 + 41*x45*x48 + 10*x46*x48 + 23*x47*x48 + 29*x48^2 - 48*x0*x49 + 10*x1*x49 - 47*x2*x49 + 22*x3*x49 - 31*x4*x49 - 38*x5*x49 + 25*x6*x49 + 43*x7*x49 + 47*x8*x49 + 37*x9*x49 - 37*x10*x49 - 9*x11*x49 + 41*x12*x49 - 33*x13*x49 - 39*x14*x49 + 37*x15*x49 + 8*x16*x49 + 17*x17*x49 - 10*x18*x49 + 15*x19*x49 - 7*x20*x49 + 40*x21*x49 - 10*x22*x49 - 14*x23*x49 - 17*x24*x49 + 8*x25*x49 + 3*x26*x49 - 16*x27*x49 + 26*x28*x49 - 32*x29*x49 - 42*x30*x49 + 32*x31*x49 - 36*x32*x49 - 35*x33*x49 - 4*x34*x49 + 30*x35*x49 - 17*x36*x49 - 7*x37*x49 - 21*x38*x49 - 8*x39*x49 + 35*x40*x49 - 46*x41*x49 - 16*x42*x49 - 31*x43*x49 - 21*x44*x49 - x45*x49 - 30*x46*x49 - 43*x47*x49 - x48*x49 - 36*x49^2 + 2*x0*x50 - 36*x1*x50 - 31*x2*x50 - 15*x4*x50 + 6*x5*x50 + 27*x6*x50 + 27*x7*x50 - 16*x8*x50 + 41*x9*x50 - 31*x10*x50 + 26*x11*x50 + 37*x12*x50 + 12*x13*x50 - 8*x14*x50 + 43*x15*x50 - 16*x16*x50 + 28*x17*x50 + 24*x18*x50 - 28*x19*x50 + 22*x20*x50 - 5*x21*x50 - 8*x22*x50 - 20*x23*x50 - 7*x24*x50 + 28*x25*x50 - 38*x26*x50 - 26*x27*x50 + 28*x28*x50 + 7*x29*x50 - 4*x30*x50 + 23*x31*x50 + 20*x32*x50 + 29*x33*x50 - 15*x34*x50 - 30*x35*x50 - 39*x36*x50 + 29*x37*x50 + 10*x38*x50 + 17*x39*x50 + 41*x40*x50 - 20*x41*x50 + 43*x42*x50 + x43*x50 - 4*x44*x50 - 21*x45*x50 - 22*x46*x50 - 12*x47*x50 + 41*x48*x50 - 15*x49*x50 - 39*x50^2 + 23*x0*x51 - 15*x1*x51 + 25*x2*x51 + 12*x3*x51 + 27*x4*x51 - 27*x5*x51 - 7*x6*x51 - 46*x7*x51 + 17*x8*x51 - 46*x9*x51 - 37*x10*x51 - 7*x11*x51 - 47*x12*x51 + 42*x13*x51 - 12*x14*x51 - 15*x15*x51 - 5*x16*x51 + 35*x17*x51 - 36*x18*x51 - 4*x19*x51 + 27*x20*x51 + 27*x21*x51 + 43*x22*x51 + 7*x23*x51 - 3*x24*x51 - 25*x25*x51 - 40*x26*x51 - 16*x27*x51 + 18*x28*x51 - 20*x29*x51 - 8*x30*x51 + 25*x31*x51 + 6*x32*x51 + 45*x33*x51 + x34*x51 + 15*x35*x51 + 20*x36*x51 - 36*x37*x51 + 48*x38*x51 - 29*x39*x51 + 12*x40*x51 - 40*x41*x51 - 15*x42*x51 - 28*x43*x51 + 31*x44*x51 - 10*x45*x51 - 30*x46*x51 + 29*x47*x51 - 10*x48*x51 - 2*x49*x51 + 12*x50*x51 - 41*x51^2 + 3*x0*x52 - 14*x1*x52 - 47*x2*x52 + 32*x3*x52 + 22*x4*x52 - 8*x5*x52 + 17*x6*x52 - 29*x7*x52 - 22*x8*x52 - 19*x9*x52 - 6*x10*x52 - 39*x11*x52 + 18*x12*x52 - 29*x13*x52 + 27*x14*x52 + 46*x15*x52 - 9*x16*x52 - 30*x17*x52 + 38*x18*x52 + 28*x19*x52 + 19*x20*x52 + 2*x21*x52 + 12*x22*x52 - 47*x23*x52 - 3*x24*x52 + 7*x25*x52 - 22*x26*x52 - 48*x27*x52 - 15*x28*x52 - 38*x29*x52 + 41*x30*x52 + 31*x31*x52 + 12*x32*x52 + 3*x33*x52 + 20*x34*x52 + 27*x35*x52 - 33*x36*x52 - 41*x37*x52 - 44*x38*x52 + 33*x39*x52 - 22*x40*x52 + 25*x41*x52 - 32*x42*x52 + 4*x43*x52 + 5*x44*x52 - 40*x45*x52 + x46*x52 + 16*x47*x52 + 24*x48*x52 - 19*x49*x52 + 37*x50*x52 + 33*x51*x52 - 46*x52^2 - 35*x0*x53 - 8*x1*x53 + 19*x2*x53 + 47*x3*x53 + 41*x4*x53 - 15*x5*x53 - 44*x6*x53 - 11*x7*x53 - 13*x8*x53 - 36*x9*x53 - 15*x10*x53 + x11*x53 - 18*x12*x53 + 22*x13*x53 - 5*x14*x53 + 36*x15*x53 - 23*x16*x53 + 29*x17*x53 - 12*x18*x53 + 42*x19*x53 - 7*x20*x53 + 19*x21*x53 + 9*x22*x53 - 12*x23*x53 + 43*x24*x53 + 20*x26*x53 - 7*x27*x53 + 20*x28*x53 + 43*x29*x53 - 22*x30*x53 - x31*x53 + 27*x32*x53 - 6*x33*x53 + 45*x34*x53 + 19*x35*x53 - 5*x36*x53 + 5*x37*x53 + 12*x38*x53 - 23*x39*x53 - 46*x40*x53 - 23*x41*x53 + 33*x42*x53 - 9*x43*x53 + 47*x44*x53 + 43*x45*x53 - 26*x46*x53 + 30*x47*x53 - 43*x48*x53 - 35*x49*x53 + 8*x50*x53 - 42*x52*x53 - 41*x53^2 - 21*x1*x54 - 9*x2*x54 + 36*x3*x54 - 48*x4*x54 + 26*x5*x54 - 38*x6*x54 - 14*x7*x54 + 18*x8*x54 - 3*x9*x54 + 2*x10*x54 + 46*x11*x54 + 26*x12*x54 + 7*x13*x54 + 42*x14*x54 + 32*x15*x54 - 20*x16*x54 + 26*x17*x54 + 10*x18*x54 - 29*x19*x54 + 9*x20*x54 - 37*x21*x54 - 29*x22*x54 + 13*x23*x54 - 29*x24*x54 + 10*x25*x54 + 31*x26*x54 + 10*x27*x54 - 43*x28*x54 + 35*x29*x54 - 44*x30*x54 + 42*x31*x54 - x32*x54 + 27*x34*x54 - 13*x35*x54 - 39*x36*x54 + 16*x37*x54 + 21*x38*x54 - 31*x39*x54 + 5*x40*x54 + 42*x41*x54 - 40*x42*x54 + 46*x43*x54 + 39*x44*x54 - 39*x45*x54 + 21*x46*x54 + 11*x47*x54 + x49*x54 + 31*x50*x54 + 22*x51*x54 - x52*x54 - 30*x53*x54 - 24*x54^2 - 16*x0*x55 + 45*x1*x55 - 26*x2*x55 - 5*x3*x55 - 38*x4*x55 + 6*x5*x55 + x6*x55 - 35*x7*x55 - 46*x8*x55 + 45*x9*x55 + 27*x10*x55 - 21*x11*x55 - 26*x12*x55 + 33*x13*x55 - 37*x14*x55 - 4*x15*x55 + 27*x16*x55 + 3*x17*x55 + 7*x18*x55 + x19*x55 - 40*x20*x55 + 46*x21*x55 - 42*x22*x55 - 45*x23*x55 - 39*x24*x55 + 36*x25*x55 + 20*x27*x55 - 35*x28*x55 + 27*x29*x55 + 29*x30*x55 + 40*x31*x55 - 23*x32*x55 + 14*x33*x55 - 22*x34*x55 - 35*x35*x55 - 40*x36*x55 - 3*x37*x55 - 37*x38*x55 + 41*x39*x55 + 8*x40*x55 + 3*x41*x55 + 37*x42*x55 + 45*x43*x55 - 11*x44*x55 + 2*x45*x55 + 35*x46*x55 + 14*x47*x55 + 9*x48*x55 + 32*x50*x55 + 16*x51*x55 - 34*x52*x55 - 46*x53*x55 + 2*x54*x55 + 37*x55^2 - 45*x0*x56 - 9*x1*x56 + 2*x2*x56 + 47*x3*x56 - 25*x4*x56 + 39*x5*x56 + 24*x6*x56 - 2*x7*x56 + 13*x8*x56 - 14*x9*x56 + 35*x11*x56 + 46*x12*x56 + 6*x13*x56 + 21*x14*x56 + 33*x15*x56 + 21*x16*x56 + 40*x17*x56 + 43*x18*x56 - 30*x19*x56 + 4*x20*x56 + 16*x21*x56 - 15*x22*x56 - 38*x23*x56 - 22*x24*x56 - 46*x25*x56 - 17*x26*x56 - 10*x27*x56 - 40*x28*x56 - 33*x29*x56 - 24*x30*x56 + 8*x32*x56 + 3*x33*x56 + 21*x34*x56 + 41*x35*x56 - 33*x36*x56 - 32*x37*x56 - 9*x38*x56 - 11*x39*x56 + 4*x40*x56 - 24*x41*x56 - 38*x42*x56 - 20*x43*x56 + 23*x44*x56 - 26*x45*x56 - 2*x46*x56 - 43*x47*x56 - 27*x48*x56 + 10*x49*x56 - 10*x50*x56 + 31*x51*x56 + 23*x52*x56 + 27*x53*x56 - 27*x54*x56 - 19*x55*x56 - 45*x56^2 + 44*x0*x57 + 21*x1*x57 + 20*x2*x57 - 13*x3*x57 - 4*x4*x57 - 22*x5*x57 + 15*x6*x57 + 42*x7*x57 - 20*x8*x57 - 41*x9*x57 + 48*x10*x57 + 2*x11*x57 - 16*x12*x57 - 41*x13*x57 - 41*x14*x57 + 45*x15*x57 + 28*x16*x57 - 19*x17*x57 - 34*x18*x57 + 8*x19*x57 + 37*x20*x57 + 17*x21*x57 - 30*x22*x57 + 26*x23*x57 + 38*x24*x57 + 43*x25*x57 - 39*x26*x57 - 44*x27*x57 - 43*x28*x57 - 11*x29*x57 - 16*x31*x57 + 46*x32*x57 - 11*x33*x57 - 17*x34*x57 - 12*x35*x57 + 28*x36*x57 + 42*x37*x57 + 12*x38*x57 - 43*x39*x57 + 34*x40*x57 + 20*x41*x57 + 32*x42*x57 - 36*x43*x57 - 14*x44*x57 + 32*x45*x57 - 32*x46*x57 - 29*x47*x57 + 32*x48*x57 + 8*x49*x57 + 38*x50*x57 + 19*x51*x57 + 39*x52*x57 + 23*x53*x57 - 29*x54*x57 + 17*x55*x57 + 46*x56*x57 - 32*x57^2 + 46*x0*x58 - 22*x1*x58 + x2*x58 + 21*x3*x58 - 17*x4*x58 + 21*x5*x58 + 9*x6*x58 - 16*x7*x58 - 11*x8*x58 + 26*x9*x58 + 18*x10*x58 + 29*x11*x58 - 20*x12*x58 + 38*x13*x58 - 33*x14*x58 + 40*x15*x58 + 6*x16*x58 - 16*x17*x58 + 10*x18*x58 - x19*x58 - 46*x20*x58 - 45*x21*x58 - 9*x22*x58 + 42*x23*x58 + 3*x24*x58 - 36*x25*x58 + 34*x26*x58 + 3*x27*x58 + 24*x28*x58 + 4*x29*x58 - 12*x30*x58 + 48*x31*x58 + 22*x32*x58 + 46*x33*x58 + 29*x34*x58 + 39*x35*x58 + 9*x36*x58 + 30*x37*x58 + 38*x38*x58 - 24*x39*x58 - 15*x40*x58 + 10*x41*x58 + 29*x42*x58 + x43*x58 + 45*x45*x58 - 4*x46*x58 - 17*x47*x58 - 2*x48*x58 + 12*x49*x58 - 45*x50*x58 - 29*x51*x58 - 14*x52*x58 - 8*x53*x58 - 43*x54*x58 - 34*x55*x58 + 35*x56*x58 + 28*x57*x58 - 21*x58^2 + 36*x0*x59 + 30*x1*x59 + 3*x2*x59 - 14*x4*x59 - 6*x5*x59 + 37*x6*x59 + 15*x7*x59 - 46*x8*x59 - 14*x9*x59 - 36*x10*x59 + 8*x11*x59 + 20*x12*x59 - 3*x13*x59 + 48*x14*x59 - 21*x15*x59 + 9*x16*x59 - 10*x17*x59 - 23*x18*x59 - 18*x19*x59 + 26*x20*x59 + 3*x21*x59 + 2*x22*x59 - 30*x23*x59 - 13*x24*x59 + 25*x25*x59 + 36*x26*x59 + 7*x27*x59 + 44*x28*x59 + 37*x29*x59 - 17*x30*x59 - 18*x31*x59 + 41*x32*x59 + 46*x33*x59 - 39*x34*x59 + 35*x35*x59 - 35*x36*x59 + 6*x37*x59 + 21*x38*x59 - 42*x39*x59 + 28*x40*x59 + 7*x41*x59 - 12*x42*x59 - 42*x43*x59 + 21*x44*x59 + 29*x45*x59 + 46*x46*x59 - 22*x47*x59 - 2*x48*x59 - 45*x49*x59 + 34*x50*x59 - 32*x51*x59 - 46*x52*x59 + 26*x53*x59 + 35*x54*x59 + 12*x55*x59 + 17*x56*x59 - 15*x57*x59 + 6*x58*x59 + 16*x59^2 - 42*x0*x60 - 44*x1*x60 - 35*x2*x60 - 16*x3*x60 + 18*x4*x60 - 5*x5*x60 + 27*x6*x60 - 48*x7*x60 - 16*x8*x60 - 48*x9*x60 - 6*x10*x60 + 5*x11*x60 - 22*x12*x60 - 22*x13*x60 + 6*x14*x60 + 10*x15*x60 - 24*x16*x60 + 32*x17*x60 - 22*x18*x60 - 38*x19*x60 - 3*x20*x60 - 36*x21*x60 - 3*x22*x60 + 9*x23*x60 + 40*x24*x60 - 10*x25*x60 + 17*x27*x60 + 44*x28*x60 - 13*x29*x60 + 19*x30*x60 - x31*x60 + 17*x32*x60 + 31*x33*x60 - x34*x60 + 47*x35*x60 + 16*x36*x60 - 13*x37*x60 + x38*x60 - 13*x39*x60 - 40*x40*x60 + 26*x41*x60 - 39*x42*x60 + 2*x43*x60 - 32*x44*x60 - 48*x45*x60 - 17*x46*x60 + 8*x47*x60 - 47*x48*x60 + 31*x49*x60 - 41*x50*x60 + 22*x51*x60 + 46*x52*x60 - 33*x53*x60 + 21*x54*x60 - 3*x55*x60 + 33*x56*x60 - 44*x57*x60 - 15*x58*x60 - 2*x59*x60 + 23*x60^2 + 3*x0*x61 - 22*x1*x61 - 24*x2*x61 - 2*x3*x61 + 46*x4*x61 - 47*x5*x61 + 15*x6*x61 + 30*x7*x61 + 38*x8*x61 - 47*x9*x61 - 35*x10*x61 - 46*x11*x61 + 13*x12*x61 + 45*x13*x61 - 9*x14*x61 + 43*x15*x61 - 18*x16*x61 + 15*x17*x61 - 35*x18*x61 - 9*x19*x61 + 36*x20*x61 - 4*x21*x61 - 10*x22*x61 - 42*x23*x61 - 25*x24*x61 + 37*x25*x61 + 36*x26*x61 + 28*x27*x61 + 47*x28*x61 - 40*x29*x61 - 36*x30*x61 - 3*x31*x61 + 36*x32*x61 - 3*x33*x61 + 2*x34*x61 + 42*x35*x61 + 32*x36*x61 + 25*x37*x61 + 8*x38*x61 + 37*x39*x61 - 4*x40*x61 - 35*x41*x61 + 47*x42*x61 - 20*x43*x61 - 3*x44*x61 + 3*x45*x61 - 25*x46*x61 - 40*x47*x61 + 33*x48*x61 - 31*x49*x61 + 17*x50*x61 - 18*x51*x61 + 5*x52*x61 - 46*x53*x61 - 48*x54*x61 - 11*x55*x61 - 10*x56*x61 - 14*x57*x61 + 45*x58*x61 + 31*x59*x61 - 48*x60*x61 - 23*x61^2 + 21*x0*x62 + 30*x1*x62 + 29*x2*x62 - 37*x3*x62 + 15*x4*x62 - 11*x5*x62 - 42*x6*x62 - 18*x7*x62 - 26*x8*x62 + 42*x9*x62 + 42*x10*x62 + 30*x11*x62 + 8*x12*x62 + 38*x13*x62 - 22*x14*x62 - 42*x15*x62 - 29*x16*x62 + 23*x17*x62 - 38*x18*x62 - 26*x19*x62 + 22*x20*x62 + 29*x21*x62 + 8*x22*x62 + 36*x23*x62 + 14*x24*x62 - 44*x25*x62 - 22*x26*x62 - 16*x27*x62 - 20*x28*x62 + 26*x29*x62 - 18*x30*x62 + 33*x31*x62 + 5*x32*x62 + 17*x33*x62 + 12*x34*x62 - 30*x35*x62 + 40*x36*x62 - 30*x37*x62 + 14*x38*x62 - 13*x39*x62 + 21*x40*x62 + 41*x41*x62 - 46*x42*x62 - 16*x43*x62 + 41*x44*x62 - 23*x45*x62 + 22*x46*x62 - 7*x47*x62 + 10*x48*x62 + 25*x49*x62 - 25*x50*x62 - x51*x62 + 19*x52*x62 + 47*x53*x62 - 24*x54*x62 - 38*x55*x62 - 43*x56*x62 - 12*x57*x62 + 40*x58*x62 + 44*x59*x62 + 31*x60*x62 + 4*x61*x62 + 33*x62^2 - 35*x0*x63 + 11*x1*x63 + 6*x2*x63 + 13*x3*x63 - 13*x4*x63 - 18*x5*x63 - 25*x6*x63 - 40*x7*x63 - 48*x8*x63 + 17*x9*x63 - 3*x10*x63 + 46*x11*x63 + 6*x12*x63 + 2*x13*x63 - 25*x14*x63 + 23*x16*x63 + 40*x17*x63 - 30*x18*x63 - 23*x19*x63 - 37*x20*x63 - 25*x21*x63 + 34*x22*x63 + 20*x23*x63 - 42*x24*x63 - 20*x25*x63 - 18*x26*x63 + 2*x27*x63 + 20*x28*x63 + 43*x29*x63 + 30*x30*x63 - 13*x31*x63 - 14*x32*x63 + 29*x33*x63 + 8*x34*x63 - 39*x35*x63 - 36*x36*x63 + 32*x37*x63 + x38*x63 - 6*x39*x63 + 43*x40*x63 + 47*x41*x63 - 41*x43*x63 - 18*x44*x63 - 41*x45*x63 + 38*x46*x63 - 18*x47*x63 - 34*x48*x63 - 16*x49*x63 + 35*x50*x63 - 17*x51*x63 - 25*x52*x63 - 16*x53*x63 + 18*x54*x63 - 21*x55*x63 - 13*x56*x63 - 6*x57*x63 + 15*x58*x63 + 25*x59*x63 - 5*x60*x63 - 14*x61*x63 - 31*x62*x63 + 42*x63^2 - 22*x0*x64 + 37*x1*x64 + 31*x2*x64 + 32*x3*x64 - 9*x4*x64 - 6*x5*x64 + 29*x6*x64 - 30*x7*x64 + 13*x8*x64 + 17*x9*x64 - 44*x10*x64 - 45*x11*x64 + 11*x12*x64 + 3*x13*x64 + x14*x64 + x15*x64 - 35*x16*x64 - 27*x17*x64 - 38*x18*x64 - 41*x19*x64 + 30*x20*x64 - 44*x21*x64 + 31*x22*x64 - 7*x23*x64 - 13*x24*x64 - 44*x25*x64 + 42*x26*x64 + 4*x27*x64 + 18*x28*x64 + 47*x29*x64 - 42*x30*x64 - 21*x31*x64 + 36*x32*x64 - 23*x33*x64 - 48*x34*x64 + 31*x35*x64 + 47*x36*x64 + 43*x37*x64 - 37*x38*x64 - 9*x39*x64 - 18*x40*x64 + 20*x41*x64 - 17*x42*x64 - 41*x43*x64 - 11*x44*x64 - 16*x45*x64 - 4*x46*x64 + 16*x47*x64 + 11*x48*x64 - 18*x49*x64 - 20*x50*x64 + 45*x51*x64 - 4*x52*x64 - 42*x53*x64 - 43*x54*x64 - 29*x55*x64 - 39*x56*x64 - 3*x57*x64 + 4*x58*x64 - 19*x59*x64 + 34*x60*x64 - 16*x61*x64 - 12*x62*x64 + 34*x63*x64 - 39*x64^2 + 7*x0*x65 - 8*x1*x65 - 21*x2*x65 - 38*x3*x65 + 2*x4*x65 + 18*x5*x65 + 45*x6*x65 - 43*x8*x65 + 42*x9*x65 + 46*x10*x65 - 10*x11*x65 + 36*x12*x65 - 43*x13*x65 - 13*x14*x65 - 17*x15*x65 + 42*x16*x65 + 26*x17*x65 - x18*x65 + 39*x19*x65 + 15*x20*x65 + 24*x21*x65 - 27*x22*x65 - 32*x23*x65 - 22*x24*x65 + 35*x25*x65 - 3*x26*x65 - 27*x27*x65 - 34*x28*x65 - 32*x29*x65 - 32*x30*x65 + 31*x31*x65 - 20*x32*x65 + 35*x33*x65 - 13*x34*x65 - 40*x35*x65 + 26*x36*x65 - 19*x37*x65 - 36*x38*x65 + 44*x39*x65 - 46*x40*x65 - 18*x41*x65 + 21*x42*x65 + 2*x43*x65 + 27*x44*x65 - 5*x45*x65 + 33*x46*x65 + 32*x47*x65 + 2*x48*x65 + 48*x49*x65 + 43*x50*x65 - 18*x51*x65 + 31*x52*x65 - 26*x53*x65 - 20*x54*x65 + 44*x55*x65 - 29*x56*x65 + 3*x57*x65 + 4*x58*x65 + 30*x59*x65 - 38*x60*x65 - 31*x61*x65 - 36*x62*x65 - 9*x63*x65 + 17*x64*x65 - 24*x65^2 + 33*x0*x66 + 38*x1*x66 - 17*x2*x66 - 10*x3*x66 + 27*x4*x66 + 45*x5*x66 - 39*x6*x66 + 23*x7*x66 + 15*x8*x66 - 32*x9*x66 + 32*x10*x66 - 36*x11*x66 - 8*x12*x66 - 35*x13*x66 + x14*x66 + 4*x15*x66 - 8*x16*x66 + 8*x17*x66 - 33*x18*x66 + 20*x19*x66 + 3*x20*x66 + 32*x21*x66 + 11*x23*x66 - 43*x24*x66 + 16*x25*x66 - 11*x26*x66 - 29*x27*x66 - 7*x28*x66 - 29*x29*x66 + 25*x30*x66 + x31*x66 + 27*x32*x66 - 34*x33*x66 + 12*x34*x66 - 3*x35*x66 - 41*x36*x66 - 30*x37*x66 + 8*x38*x66 + 2*x39*x66 + 8*x40*x66 - 14*x41*x66 - 28*x42*x66 - 32*x43*x66 + 10*x44*x66 + 13*x45*x66 + 16*x46*x66 - 8*x47*x66 + 10*x48*x66 + 42*x49*x66 + 15*x51*x66 + 12*x52*x66 - 42*x53*x66 + 38*x54*x66 + 7*x55*x66 - 39*x56*x66 + 2*x57*x66 + 8*x58*x66 + 46*x59*x66 - 47*x60*x66 + 11*x61*x66 - 40*x62*x66 + 35*x63*x66 - x64*x66 + 36*x65*x66 - 10*x66^2 + 43*x0*x67 - 38*x1*x67 + 28*x2*x67 - 10*x3*x67 + 46*x4*x67 - 28*x5*x67 - 2*x6*x67 - 14*x7*x67 + 45*x8*x67 - 15*x9*x67 + 34*x10*x67 - 4*x11*x67 - 40*x12*x67 + 11*x13*x67 + 40*x14*x67 - 38*x15*x67 + 26*x16*x67 + 31*x17*x67 - 27*x18*x67 - 34*x19*x67 + 40*x20*x67 - 15*x21*x67 - 9*x22*x67 - 39*x23*x67 + 48*x24*x67 + 10*x25*x67 + 32*x26*x67 + 48*x27*x67 + 41*x28*x67 - 18*x29*x67 - 27*x30*x67 - 14*x31*x67 - 14*x32*x67 + 37*x33*x67 + 37*x34*x67 + 31*x35*x67 + 17*x36*x67 + x37*x67 - 25*x38*x67 - 43*x39*x67 + 18*x40*x67 + 10*x41*x67 - 41*x42*x67 + 39*x43*x67 + 5*x44*x67 + x45*x67 - 22*x46*x67 - 3*x47*x67 - 4*x48*x67 + 31*x49*x67 - 29*x50*x67 - 45*x51*x67 - 3*x52*x67 + 48*x53*x67 - 20*x54*x67 - 19*x55*x67 - 41*x56*x67 + 34*x57*x67 + 13*x58*x67 - 23*x59*x67 + 20*x60*x67 + 13*x61*x67 - 46*x62*x67 + 31*x63*x67 - 35*x64*x67 + 36*x65*x67 + 21*x66*x67 + 23*x67^2 - 27*x0*x68 + 12*x1*x68 + 35*x2*x68 - 45*x3*x68 - 24*x4*x68 + 15*x5*x68 - 25*x6*x68 + 36*x7*x68 + 30*x8*x68 + 9*x9*x68 - 3*x10*x68 - 29*x11*x68 + 28*x12*x68 - 31*x13*x68 - 32*x14*x68 - 43*x15*x68 + 29*x16*x68 + 38*x17*x68 + 39*x18*x68 - 18*x19*x68 - 41*x20*x68 - 17*x21*x68 + 38*x22*x68 + 29*x23*x68 + 40*x24*x68 - 28*x25*x68 + 27*x26*x68 + 14*x27*x68 + 40*x28*x68 - x29*x68 - 16*x30*x68 - 47*x31*x68 + 16*x32*x68 + x33*x68 + 27*x34*x68 - 25*x35*x68 - 12*x36*x68 - 25*x37*x68 - 36*x38*x68 - 41*x39*x68 + 45*x40*x68 + 30*x41*x68 - 40*x42*x68 - 3*x43*x68 - 30*x44*x68 + 28*x45*x68 + 9*x46*x68 - 13*x47*x68 + 12*x48*x68 + 33*x49*x68 - 2*x50*x68 - 41*x51*x68 - x52*x68 - 9*x53*x68 + 18*x54*x68 + 10*x55*x68 + 9*x56*x68 - 19*x57*x68 - 32*x58*x68 - 31*x59*x68 + 9*x60*x68 - 12*x61*x68 + 6*x62*x68 - 19*x63*x68 + 8*x64*x68 + 40*x65*x68 + 21*x66*x68 + 44*x67*x68 - 33*x68^2 - 22*x0*x69 + 28*x1*x69 - 5*x2*x69 + 34*x3*x69 + 46*x4*x69 - 43*x5*x69 - 37*x6*x69 + 9*x7*x69 + 11*x8*x69 + 28*x9*x69 + 15*x10*x69 + 2*x11*x69 + 30*x12*x69 + 28*x13*x69 - 35*x14*x69 + 48*x15*x69 - 32*x16*x69 - 24*x17*x69 - 32*x18*x69 + 2*x19*x69 - 20*x20*x69 + 33*x21*x69 - 31*x22*x69 + 27*x23*x69 + 7*x24*x69 - 13*x25*x69 + 26*x26*x69 - 47*x27*x69 + 18*x28*x69 + 12*x29*x69 + 38*x30*x69 + 33*x31*x69 - 25*x32*x69 - 44*x33*x69 + x34*x69 - 12*x35*x69 - 14*x36*x69 + 9*x37*x69 + 29*x38*x69 - 37*x39*x69 + 43*x40*x69 - 45*x41*x69 + x42*x69 + 20*x43*x69 + x44*x69 - 31*x45*x69 + 27*x46*x69 - 47*x47*x69 - 40*x48*x69 - 44*x49*x69 - 8*x50*x69 - 28*x51*x69 + 33*x52*x69 - 48*x53*x69 - x54*x69 + 42*x55*x69 - 10*x56*x69 + 23*x57*x69 - 32*x58*x69 + 19*x59*x69 - 21*x60*x69 - 25*x61*x69 - 20*x62*x69 + 19*x63*x69 - 40*x64*x69 - 44*x65*x69 - 21*x66*x69 + 28*x67*x69 + 46*x68*x69 + 40*x69^2 + 10*x0*x70 - 11*x1*x70 + 47*x2*x70 - 2*x3*x70 + 35*x4*x70 - 18*x5*x70 - 41*x6*x70 - 27*x7*x70 - 26*x8*x70 + 47*x9*x70 + 35*x10*x70 + 24*x11*x70 - 15*x12*x70 - 27*x13*x70 + 4*x14*x70 + 26*x15*x70 - 2*x16*x70 - 18*x17*x70 + 14*x18*x70 - 30*x19*x70 + 35*x20*x70 - 12*x21*x70 + 28*x22*x70 - 24*x23*x70 - 25*x24*x70 - 39*x25*x70 + 18*x26*x70 + 46*x27*x70 - 40*x28*x70 - 30*x29*x70 - 46*x30*x70 - 12*x31*x70 + 43*x32*x70 - 4*x33*x70 - 17*x34*x70 + 10*x35*x70 + 42*x36*x70 + 14*x37*x70 + 47*x38*x70 + 22*x39*x70 + 23*x40*x70 - 34*x41*x70 - 2*x42*x70 + 13*x43*x70 + 31*x44*x70 + 48*x45*x70 - 21*x46*x70 - 47*x47*x70 - 26*x48*x70 + 10*x49*x70 - 19*x50*x70 + 44*x51*x70 + 34*x52*x70 - 22*x53*x70 + 44*x54*x70 + 5*x55*x70 - 16*x56*x70 - 24*x57*x70 - 28*x58*x70 - 44*x59*x70 - 26*x60*x70 + 14*x62*x70 - 26*x63*x70 + 39*x65*x70 - 13*x66*x70 - 14*x67*x70 - 6*x68*x70 - 16*x69*x70 - 18*x70^2 + 12*x0*x71 - 25*x1*x71 + 39*x2*x71 + 28*x3*x71 + 11*x4*x71 + 32*x5*x71 - 4*x6*x71 - 39*x7*x71 + 36*x8*x71 - 47*x9*x71 - 43*x10*x71 + 43*x11*x71 - 7*x12*x71 + 11*x13*x71 + 13*x14*x71 - 38*x15*x71 - 27*x16*x71 + 2*x17*x71 + 35*x18*x71 - 24*x19*x71 - 18*x20*x71 + 9*x21*x71 + 25*x22*x71 + 34*x23*x71 + 31*x24*x71 + 47*x25*x71 - 46*x26*x71 - 16*x27*x71 + 5*x28*x71 + 12*x29*x71 + 31*x30*x71 - 24*x31*x71 - 46*x32*x71 - 6*x33*x71 + x34*x71 + 31*x35*x71 + 34*x36*x71 + 34*x37*x71 + 35*x38*x71 + 5*x39*x71 + 43*x40*x71 - 25*x41*x71 - 19*x42*x71 + 42*x43*x71 + 13*x44*x71 + 34*x45*x71 + 6*x46*x71 - 21*x47*x71 + 5*x48*x71 + 8*x49*x71 + 2*x50*x71 - 24*x51*x71 + 6*x52*x71 - 5*x53*x71 - 20*x54*x71 - 31*x55*x71 + 44*x56*x71 + 11*x57*x71 + 18*x58*x71 - 4*x59*x71 + 35*x60*x71 + 33*x61*x71 - 19*x62*x71 - 4*x63*x71 + 4*x64*x71 + x65*x71 - 40*x66*x71 - 29*x67*x71 - 11*x68*x71 - 17*x69*x71 + 16*x70*x71 - 44*x71^2 + 4*x0*x72 - 9*x1*x72 - 30*x3*x72 - 44*x4*x72 + 47*x5*x72 - 44*x6*x72 - 12*x7*x72 + x8*x72 + 3*x9*x72 + 21*x10*x72 - 7*x11*x72 - 7*x12*x72 + 33*x13*x72 - 17*x14*x72 + x15*x72 - 40*x16*x72 - 7*x17*x72 - 10*x18*x72 + x19*x72 + x20*x72 - 43*x21*x72 + 47*x22*x72 - 40*x23*x72 - 25*x24*x72 - 46*x25*x72 - 35*x26*x72 + 7*x27*x72 - 37*x28*x72 - 5*x29*x72 + 45*x30*x72 - 45*x31*x72 - 7*x32*x72 - 40*x33*x72 + 29*x34*x72 + 8*x35*x72 - 29*x36*x72 + 39*x37*x72 - 24*x38*x72 + 46*x40*x72 + 39*x41*x72 + 25*x42*x72 - 10*x43*x72 - 6*x44*x72 - 11*x45*x72 + 22*x46*x72 + 12*x47*x72 + 9*x48*x72 + 6*x49*x72 + 7*x50*x72 + 4*x51*x72 - 38*x52*x72 + 20*x53*x72 + 33*x54*x72 + 5*x55*x72 + 15*x56*x72 - 9*x57*x72 - 10*x58*x72 + 32*x59*x72 + 15*x60*x72 + 30*x61*x72 + 15*x62*x72 + 29*x63*x72 - 31*x64*x72 - 10*x65*x72 - 38*x66*x72 + 12*x67*x72 - 36*x68*x72 - 39*x69*x72 - 28*x70*x72 - 26*x71*x72 + 39*x72^2 - 15*x0*x73 - 22*x1*x73 - 3*x2*x73 - 34*x3*x73 + 43*x4*x73 - 17*x5*x73 + 18*x6*x73 - 7*x7*x73 + 36*x8*x73 - 37*x9*x73 - 17*x10*x73 - 44*x11*x73 + 15*x12*x73 + 21*x13*x73 + 12*x14*x73 + 43*x15*x73 - 44*x16*x73 - 2*x17*x73 - 13*x18*x73 - 24*x19*x73 + 6*x20*x73 - 3*x21*x73 + 21*x22*x73 + 4*x23*x73 - 13*x24*x73 - 43*x25*x73 + 6*x26*x73 + x27*x73 - 44*x28*x73 - x29*x73 + 3*x30*x73 + 38*x31*x73 - 35*x32*x73 + 26*x33*x73 + 40*x34*x73 - 37*x35*x73 + 18*x36*x73 + 36*x37*x73 - 37*x38*x73 + 36*x39*x73 - 31*x40*x73 - 19*x41*x73 + 3*x42*x73 + 21*x43*x73 + 48*x44*x73 + 7*x45*x73 + 5*x46*x73 - 15*x47*x73 - 3*x48*x73 + 41*x49*x73 + 3*x50*x73 - 16*x51*x73 + 40*x52*x73 - 48*x53*x73 + 5*x54*x73 - 3*x55*x73 - 32*x56*x73 - 39*x57*x73 + 22*x58*x73 + 31*x59*x73 - 32*x60*x73 + 15*x61*x73 + 34*x62*x73 + 46*x63*x73 + 14*x64*x73 - 40*x65*x73 + 17*x66*x73 + 2*x67*x73 - 3*x68*x73 - 21*x69*x73 - 23*x70*x73 - 8*x71*x73 + 42*x72*x73 + 2*x73^2 + 10*x0*x74 - 29*x1*x74 - 42*x2*x74 + 16*x3*x74 - 41*x4*x74 + 2*x5*x74 + 21*x6*x74 - 37*x7*x74 + 40*x8*x74 - 11*x9*x74 - 46*x10*x74 + 42*x11*x74 - 3*x12*x74 + 8*x13*x74 - 23*x14*x74 - 47*x15*x74 - 25*x16*x74 - 2*x17*x74 - 45*x18*x74 - 25*x19*x74 - 19*x20*x74 + 28*x21*x74 + 7*x22*x74 + 39*x23*x74 + 43*x24*x74 - 27*x25*x74 - 14*x26*x74 - 21*x27*x74 + 41*x28*x74 - 6*x29*x74 - 35*x30*x74 - 44*x31*x74 + 31*x32*x74 + 7*x33*x74 + 19*x34*x74 + 11*x35*x74 + 33*x36*x74 - 45*x37*x74 + 2*x38*x74 + 22*x39*x74 + 5*x40*x74 + 25*x41*x74 + x43*x74 - 32*x44*x74 - 34*x45*x74 - 6*x46*x74 + 41*x47*x74 - 21*x48*x74 + x49*x74 - 17*x50*x74 - 48*x51*x74 + 35*x52*x74 - 46*x53*x74 + 35*x54*x74 + 31*x55*x74 - 43*x56*x74 - 3*x57*x74 - 32*x58*x74 - 22*x59*x74 + 16*x60*x74 + 45*x61*x74 - 32*x62*x74 + 13*x63*x74 - 25*x64*x74 + 19*x65*x74 - 12*x66*x74 + 34*x67*x74 + 4*x68*x74 + 32*x69*x74 + 12*x70*x74 - 33*x71*x74 + 31*x72*x74 + 13*x73*x74 + 35*x74^2 - 34*x0*x75 - 37*x1*x75 - 41*x2*x75 - 12*x3*x75 - 27*x4*x75 - 27*x5*x75 - 31*x6*x75 - 23*x7*x75 - 14*x8*x75 - 3*x9*x75 - 11*x10*x75 - 24*x11*x75 - 14*x12*x75 + 47*x13*x75 + 28*x14*x75 + 20*x15*x75 - 42*x16*x75 + 41*x17*x75 + 46*x18*x75 + 8*x19*x75 - 42*x20*x75 + 42*x21*x75 - 10*x22*x75 - 7*x23*x75 + 23*x24*x75 + 17*x25*x75 - 22*x26*x75 + 16*x27*x75 - 46*x28*x75 - 45*x29*x75 - 12*x30*x75 - 8*x31*x75 + 36*x32*x75 + 11*x33*x75 - 33*x34*x75 - 33*x35*x75 + 32*x36*x75 + 29*x37*x75 - 27*x38*x75 - 25*x39*x75 - 45*x40*x75 + 28*x41*x75 - 9*x42*x75 + 21*x43*x75 + 5*x44*x75 + 40*x45*x75 + 46*x46*x75 + 13*x47*x75 + 42*x48*x75 + 47*x49*x75 + 37*x50*x75 - 7*x51*x75 - 17*x52*x75 + 6*x53*x75 + 25*x54*x75 - 15*x55*x75 - x56*x75 - 33*x57*x75 - 22*x58*x75 - 36*x59*x75 + 10*x60*x75 - 8*x61*x75 + 47*x62*x75 - 26*x63*x75 + 36*x64*x75 + 24*x65*x75 + 3*x66*x75 - 19*x67*x75 - 27*x68*x75 - 2*x69*x75 + 22*x70*x75 - 7*x71*x75 - 33*x72*x75 - 17*x73*x75 + 25*x74*x75 - 4*x75^2 - 9*x0*x76 + 21*x1*x76 + 4*x2*x76 + 44*x3*x76 + 45*x4*x76 + 35*x5*x76 + 10*x6*x76 - 5*x7*x76 + 27*x8*x76 + 42*x9*x76 + 28*x10*x76 - 3*x11*x76 - x12*x76 - 34*x13*x76 + 44*x14*x76 - 31*x15*x76 + 34*x16*x76 - 11*x17*x76 + 15*x18*x76 - 10*x19*x76 + 15*x20*x76 + 42*x21*x76 + 4*x22*x76 + 43*x23*x76 - 43*x24*x76 - 11*x25*x76 - 4*x26*x76 - 35*x27*x76 - 22*x28*x76 + 7*x29*x76 + 10*x30*x76 - 16*x31*x76 + 5*x32*x76 + 35*x33*x76 + 45*x34*x76 + 9*x35*x76 - x36*x76 - 48*x37*x76 + 46*x38*x76 - 12*x39*x76 - 20*x40*x76 - x41*x76 + 38*x42*x76 + 22*x43*x76 - 16*x44*x76 - 37*x45*x76 + 21*x46*x76 - 35*x47*x76 - 8*x48*x76 + 14*x49*x76 + 31*x50*x76 + 6*x51*x76 + 27*x52*x76 + 32*x53*x76 + 15*x54*x76 + 31*x55*x76 - 33*x56*x76 + 10*x57*x76 - 20*x58*x76 + 16*x59*x76 - 43*x60*x76 - 36*x61*x76 - 17*x62*x76 - 18*x63*x76 + 9*x64*x76 - 48*x65*x76 - 48*x66*x76 - 29*x67*x76 + 41*x68*x76 + 24*x69*x76 + 12*x70*x76 - 42*x71*x76 + x72*x76 - 44*x73*x76 + 46*x74*x76 - 24*x75*x76 - 3*x76^2 - 43*x0*x77 + 34*x1*x77 + 37*x2*x77 - 22*x3*x77 - 10*x4*x77 - 18*x5*x77 - 19*x6*x77 + 10*x7*x77 + 10*x8*x77 + 23*x9*x77 + 34*x10*x77 + 23*x11*x77 - 29*x12*x77 + 41*x13*x77 + 15*x14*x77 - 21*x15*x77 + 48*x16*x77 + 10*x17*x77 + 14*x18*x77 - 28*x20*x77 + 20*x21*x77 + 35*x22*x77 + 36*x23*x77 + 42*x24*x77 - 38*x25*x77 + 11*x26*x77 + 7*x27*x77 - 29*x28*x77 + 6*x29*x77 + 34*x30*x77 - 3*x31*x77 + 19*x32*x77 + 18*x33*x77 + 7*x34*x77 - 38*x35*x77 - 28*x36*x77 + 41*x37*x77 - 12*x38*x77 + 7*x39*x77 + 33*x40*x77 + 25*x41*x77 + 13*x42*x77 - 35*x43*x77 - 40*x44*x77 - 26*x45*x77 + 3*x46*x77 - 27*x47*x77 - 19*x48*x77 + 16*x49*x77 - 35*x50*x77 - 9*x51*x77 + 3*x52*x77 + 25*x53*x77 + 12*x55*x77 + 18*x56*x77 - 26*x57*x77 + 48*x58*x77 + 7*x59*x77 + 30*x60*x77 - 47*x61*x77 + 5*x62*x77 + 41*x63*x77 - 26*x64*x77 - 35*x65*x77 - 34*x66*x77 - 41*x67*x77 + 10*x68*x77 + 36*x69*x77 - 29*x70*x77 - 7*x71*x77 - 19*x72*x77 + 46*x73*x77 - 26*x74*x77 - 22*x75*x77 + 28*x76*x77 + 8*x77^2 - 6*x0*x78 - 9*x1*x78 - 40*x2*x78 - 33*x3*x78 + 3*x4*x78 - 22*x5*x78 - 47*x6*x78 + 12*x7*x78 + x8*x78 + 43*x9*x78 - 37*x10*x78 + 46*x11*x78 + 10*x12*x78 + 29*x13*x78 - 15*x14*x78 - 42*x15*x78 - 44*x16*x78 - 14*x17*x78 - 11*x18*x78 - 14*x19*x78 - 44*x20*x78 - 6*x21*x78 - 10*x22*x78 - 44*x23*x78 - 20*x24*x78 + 12*x25*x78 + 10*x26*x78 + 15*x27*x78 + 39*x28*x78 - 34*x29*x78 + x30*x78 - 29*x31*x78 - 30*x32*x78 - 15*x33*x78 - 39*x34*x78 - 29*x35*x78 + 47*x36*x78 - 5*x37*x78 - 6*x38*x78 - 40*x39*x78 - 8*x40*x78 + 9*x41*x78 - 26*x42*x78 - 41*x43*x78 + 10*x44*x78 - 14*x45*x78 - 8*x46*x78 + 34*x47*x78 - 37*x48*x78 - 5*x49*x78 - 45*x50*x78 + 31*x51*x78 - 8*x52*x78 - 19*x53*x78 - 21*x54*x78 + 3*x55*x78 - 8*x56*x78 - 16*x57*x78 - 19*x58*x78 - 5*x59*x78 - 46*x60*x78 - 5*x61*x78 - x62*x78 + 25*x63*x78 - 2*x64*x78 + 5*x65*x78 - 29*x66*x78 + 5*x67*x78 - 41*x68*x78 + 13*x69*x78 + 7*x70*x78 + 34*x71*x78 - 4*x72*x78 + 47*x73*x78 + 2*x74*x78 - 36*x75*x78 + 14*x76*x78 - 21*x77*x78 - 18*x78^2 + 48*x0*x79 - 6*x1*x79 + 7*x2*x79 + 36*x3*x79 + 3*x4*x79 - 30*x5*x79 - 44*x6*x79 + 27*x7*x79 - 16*x8*x79 + 15*x9*x79 - 20*x10*x79 - 22*x11*x79 + 33*x12*x79 + 15*x13*x79 + 42*x14*x79 - 20*x15*x79 + 32*x16*x79 + 47*x17*x79 + 21*x18*x79 + 40*x20*x79 - 3*x21*x79 - 7*x22*x79 + 33*x23*x79 + 2*x24*x79 + 3*x25*x79 - 30*x26*x79 - 45*x27*x79 + 46*x28*x79 + 9*x29*x79 + 27*x30*x79 - 21*x31*x79 + 15*x32*x79 + 31*x33*x79 + 28*x34*x79 + 42*x35*x79 - 44*x36*x79 + 4*x37*x79 + 34*x38*x79 + 14*x39*x79 + 37*x40*x79 + 26*x41*x79 - 31*x42*x79 + 7*x43*x79 + 2*x44*x79 - 34*x45*x79 - 9*x46*x79 - 37*x47*x79 - 41*x48*x79 - 32*x49*x79 - 17*x50*x79 + 10*x51*x79 - 28*x52*x79 + 11*x54*x79 + 33*x55*x79 + 38*x56*x79 - 40*x57*x79 + 13*x58*x79 + 24*x59*x79 + 8*x60*x79 + 24*x61*x79 + 29*x62*x79 + 45*x63*x79 - 18*x64*x79 + 41*x65*x79 - 11*x66*x79 - 33*x67*x79 + 28*x68*x79 + 3*x69*x79 - 18*x70*x79 - 27*x71*x79 - 19*x72*x79 + 28*x73*x79 - 31*x74*x79 - 19*x75*x79 - 48*x76*x79 + 44*x77*x79 - 17*x78*x79 + 17*x79^2 + 41*x0*x80 - 37*x1*x80 + 41*x2*x80 - 37*x3*x80 + 22*x4*x80 + 9*x5*x80 + 32*x6*x80 + 3*x7*x80 + 48*x8*x80 - 15*x9*x80 + 20*x10*x80 - 2*x11*x80 + 6*x12*x80 + 15*x13*x80 - 39*x14*x80 - 37*x15*x80 + 29*x16*x80 + 29*x17*x80 - 8*x18*x80 - 14*x19*x80 + 18*x20*x80 - 10*x21*x80 + 20*x22*x80 + 36*x23*x80 + 6*x24*x80 - 27*x25*x80 - 37*x26*x80 - 9*x27*x80 + 37*x28*x80 + 46*x29*x80 + 30*x30*x80 - 44*x31*x80 + 45*x32*x80 + 18*x33*x80 - 36*x34*x80 + 30*x35*x80 - 26*x36*x80 - 45*x37*x80 - x38*x80 - 33*x39*x80 - 38*x40*x80 + 4*x41*x80 + 13*x42*x80 - 20*x43*x80 + 4*x44*x80 - 26*x45*x80 + 48*x46*x80 + 7*x47*x80 - 11*x48*x80 - 18*x49*x80 - 5*x50*x80 + 9*x51*x80 + 25*x52*x80 - 21*x53*x80 - 43*x54*x80 - 7*x55*x80 - 9*x56*x80 - 24*x57*x80 - 21*x58*x80 - 16*x59*x80 - 38*x60*x80 - 44*x61*x80 - 28*x62*x80 - 2*x63*x80 - 12*x64*x80 + 12*x65*x80 + 6*x66*x80 - 29*x67*x80 + 25*x68*x80 + 4*x69*x80 + 37*x70*x80 - 5*x71*x80 - 15*x72*x80 + 6*x73*x80 - 46*x74*x80 + 8*x75*x80 - 44*x76*x80 - 15*x77*x80 - 26*x78*x80 - 16*x79*x80 - 40*x80^2 - 34*x0*x81 - 15*x1*x81 - 29*x2*x81 + 19*x3*x81 + 41*x4*x81 - 19*x5*x81 + 27*x6*x81 - x7*x81 + 3*x8*x81 + 14*x9*x81 + 38*x10*x81 + 25*x11*x81 + 35*x12*x81 + 43*x13*x81 + 20*x14*x81 + 36*x15*x81 + 45*x16*x81 - 34*x17*x81 - 15*x18*x81 + 2*x19*x81 + 29*x20*x81 - 31*x21*x81 - 37*x22*x81 + 3*x23*x81 - 21*x24*x81 + 16*x25*x81 - 17*x26*x81 - 14*x27*x81 + 29*x28*x81 - 43*x29*x81 + x30*x81 - 22*x31*x81 + 40*x32*x81 - 26*x33*x81 + 47*x34*x81 - 10*x35*x81 - 43*x36*x81 + 25*x37*x81 + 33*x39*x81 - 11*x40*x81 + 26*x41*x81 - 27*x42*x81 + 23*x43*x81 + 35*x44*x81 + 23*x45*x81 + 45*x46*x81 + 22*x47*x81 - 9*x48*x81 + 19*x49*x81 + 13*x50*x81 - 28*x51*x81 - 46*x52*x81 + 47*x53*x81 - 22*x54*x81 + 4*x55*x81 + 23*x56*x81 + 24*x57*x81 + 31*x58*x81 - 32*x60*x81 + 12*x61*x81 + 3*x62*x81 + 8*x63*x81 + 21*x64*x81 - 23*x65*x81 + 36*x66*x81 - 21*x67*x81 - 13*x68*x81 + 18*x69*x81 + 15*x70*x81 + 7*x71*x81 - 18*x72*x81 + 24*x73*x81 + 10*x74*x81 - 13*x75*x81 + 25*x76*x81 - 36*x77*x81 + 28*x78*x81 + 19*x79*x81 - 45*x80*x81 + 31*x81^2 - 10*x0*x82 - 28*x1*x82 - 26*x2*x82 - 8*x3*x82 - 34*x4*x82 + 48*x5*x82 + 13*x6*x82 + 3*x7*x82 - 25*x8*x82 + 39*x9*x82 - 47*x10*x82 - 25*x11*x82 - 48*x12*x82 - 17*x13*x82 + 46*x14*x82 - 27*x15*x82 + 25*x16*x82 + 48*x17*x82 + 34*x18*x82 + 26*x19*x82 - 6*x20*x82 + 10*x21*x82 - 9*x22*x82 + 41*x23*x82 - 27*x24*x82 + 33*x25*x82 + 40*x26*x82 - 41*x27*x82 - 48*x28*x82 - 8*x29*x82 + 6*x30*x82 - 21*x31*x82 - 4*x32*x82 + 8*x33*x82 - 12*x34*x82 + 4*x35*x82 - 10*x36*x82 + 7*x37*x82 + 10*x38*x82 - 38*x39*x82 + 44*x40*x82 + 39*x41*x82 + 4*x42*x82 + 28*x43*x82 - 32*x44*x82 - 29*x45*x82 - 45*x46*x82 - 43*x47*x82 - 32*x48*x82 + 22*x49*x82 + x50*x82 - 2*x51*x82 + 38*x52*x82 - 2*x53*x82 + 27*x54*x82 - 32*x55*x82 + 42*x57*x82 - 45*x58*x82 + 19*x59*x82 + 37*x60*x82 - 27*x61*x82 + 11*x62*x82 - 28*x63*x82 - 12*x64*x82 + 33*x65*x82 - 48*x66*x82 + 18*x67*x82 - 35*x68*x82 + 42*x69*x82 - 23*x70*x82 + 6*x71*x82 - 21*x72*x82 - 22*x73*x82 - 48*x74*x82 + 38*x75*x82 + 46*x76*x82 + 9*x77*x82 + 35*x78*x82 - 37*x79*x82 + 29*x80*x82 + 10*x81*x82 + 10*x82^2 - 35*x0*x83 - 41*x1*x83 + 10*x2*x83 + 5*x3*x83 + 8*x4*x83 - 36*x5*x83 + 27*x6*x83 - 45*x7*x83 - 32*x8*x83 - 15*x9*x83 + 37*x10*x83 - 43*x11*x83 + 30*x12*x83 - 35*x13*x83 - 22*x14*x83 - 5*x16*x83 - 25*x17*x83 - 26*x18*x83 + 24*x19*x83 + 15*x20*x83 - 46*x21*x83 - 21*x22*x83 + 28*x23*x83 + 5*x24*x83 - 12*x25*x83 + 38*x26*x83 + 20*x27*x83 + 8*x28*x83 + 37*x29*x83 - 18*x30*x83 + 35*x31*x83 + 25*x32*x83 - 20*x33*x83 - 35*x34*x83 + 26*x35*x83 + 5*x36*x83 + 14*x37*x83 - 4*x38*x83 - 30*x39*x83 - 3*x40*x83 + 25*x41*x83 + 22*x42*x83 + 30*x43*x83 + 17*x44*x83 + 21*x45*x83 - 42*x46*x83 + 43*x47*x83 + 43*x48*x83 + 42*x49*x83 + 34*x50*x83 + 10*x51*x83 - 9*x52*x83 + 36*x53*x83 - 13*x54*x83 + 17*x55*x83 + 30*x56*x83 + 43*x57*x83 + 28*x58*x83 + 8*x59*x83 + 15*x60*x83 + 40*x61*x83 + 12*x62*x83 + 28*x63*x83 + 21*x64*x83 - 23*x65*x83 + 42*x66*x83 + 35*x67*x83 + 9*x68*x83 + 15*x69*x83 - 24*x70*x83 + 41*x71*x83 - 48*x72*x83 + 33*x73*x83 - 9*x74*x83 - 18*x75*x83 + 9*x76*x83 + 22*x77*x83 - 33*x78*x83 - 34*x79*x83 - 37*x80*x83 - 44*x81*x83 - 12*x82*x83 + 42*x83^2 - 37*x0*x84 + 45*x1*x84 - 38*x2*x84 + 26*x3*x84 + 47*x4*x84 + 24*x5*x84 - 40*x6*x84 - 12*x7*x84 + 46*x8*x84 - 13*x9*x84 - 10*x10*x84 + 22*x11*x84 - 4*x12*x84 - 41*x13*x84 - 6*x14*x84 + 10*x15*x84 - 21*x16*x84 + 25*x17*x84 + 45*x18*x84 + 10*x19*x84 + 16*x20*x84 + 40*x21*x84 - 4*x22*x84 + 31*x23*x84 - 44*x24*x84 + 30*x25*x84 - 7*x26*x84 - 47*x27*x84 + 48*x28*x84 - x29*x84 + 17*x30*x84 + 48*x31*x84 + 12*x32*x84 + 13*x33*x84 + 47*x34*x84 + 2*x35*x84 - 41*x36*x84 - 48*x37*x84 - 47*x38*x84 - 48*x39*x84 + 31*x40*x84 + 20*x41*x84 - 24*x42*x84 + 19*x43*x84 + 23*x44*x84 + 17*x45*x84 - 10*x46*x84 + 37*x47*x84 - 13*x48*x84 + 3*x49*x84 - 13*x50*x84 - 38*x51*x84 - 39*x52*x84 + 15*x53*x84 + 25*x54*x84 + 29*x55*x84 - 24*x56*x84 - 31*x57*x84 + 16*x58*x84 + 9*x59*x84 + 12*x60*x84 + 10*x61*x84 - 22*x62*x84 + 14*x63*x84 - 4*x64*x84 + 29*x65*x84 - 9*x66*x84 - 2*x67*x84 - 39*x68*x84 - 32*x69*x84 + 9*x70*x84 - 22*x71*x84 + 27*x72*x84 + 9*x73*x84 - 25*x74*x84 - 28*x75*x84 + 40*x76*x84 + 33*x77*x84 + 41*x78*x84 + 30*x79*x84 - 36*x80*x84 - 46*x81*x84 + 48*x82*x84 + 32*x83*x84 + 37*x84^2 - 6*x0*x85 - 3*x1*x85 + 37*x2*x85 - 23*x3*x85 - 11*x4*x85 + 33*x5*x85 + 25*x6*x85 + 26*x7*x85 + 23*x8*x85 - 4*x9*x85 - 8*x10*x85 + 16*x11*x85 + 2*x12*x85 - 29*x13*x85 + 13*x14*x85 + 36*x15*x85 + 14*x16*x85 - 31*x17*x85 + 46*x18*x85 + 7*x19*x85 - 24*x20*x85 + 13*x21*x85 + 29*x22*x85 + 45*x23*x85 - 26*x24*x85 + 17*x25*x85 + 18*x26*x85 + 35*x27*x85 - 14*x28*x85 + 48*x29*x85 + 9*x30*x85 - 44*x31*x85 + 38*x32*x85 - 14*x33*x85 - 24*x34*x85 + 23*x35*x85 + 38*x36*x85 - 44*x37*x85 + 16*x38*x85 + 42*x39*x85 + 24*x40*x85 - 38*x41*x85 - 38*x42*x85 - 43*x43*x85 + 37*x44*x85 - 4*x45*x85 - 47*x46*x85 + 37*x47*x85 - 34*x48*x85 - 10*x49*x85 + 37*x50*x85 - 13*x51*x85 - 27*x52*x85 + 4*x53*x85 - 22*x54*x85 - 9*x55*x85 + 6*x56*x85 + 41*x57*x85 + 38*x58*x85 - 24*x59*x85 - 6*x60*x85 - 5*x61*x85 - 29*x62*x85 + 24*x63*x85 - 47*x64*x85 + 5*x65*x85 - 30*x66*x85 - 48*x67*x85 + 20*x68*x85 + 21*x69*x85 - 48*x70*x85 - 45*x71*x85 - 15*x72*x85 + 5*x73*x85 + 43*x74*x85 - 7*x75*x85 - 40*x76*x85 - 39*x77*x85 + 27*x78*x85 + 42*x79*x85 + 23*x80*x85 - 35*x81*x85 - 10*x82*x85 - 48*x83*x85 + 43*x84*x85 - 20*x85^2 - x0*x86 - 46*x2*x86 - 14*x3*x86 - 27*x4*x86 + 47*x5*x86 + 48*x6*x86 - 31*x7*x86 + 39*x8*x86 + 4*x9*x86 + x10*x86 - 36*x11*x86 - 10*x12*x86 - 37*x13*x86 - 38*x14*x86 + 32*x15*x86 - 34*x16*x86 + 2*x17*x86 - 7*x18*x86 + 29*x19*x86 + 41*x20*x86 - 42*x21*x86 - 34*x22*x86 + 11*x23*x86 - 24*x24*x86 + 14*x25*x86 - 37*x26*x86 - 24*x27*x86 + 19*x28*x86 + 48*x29*x86 + 42*x30*x86 + 41*x31*x86 + 25*x32*x86 + 35*x33*x86 + 4*x34*x86 + 44*x35*x86 - 39*x36*x86 + 26*x37*x86 - 3*x38*x86 + 24*x39*x86 + 29*x40*x86 - x41*x86 + 23*x42*x86 + 40*x43*x86 + 45*x44*x86 + 16*x45*x86 - 48*x46*x86 + 33*x47*x86 - 14*x48*x86 - 8*x49*x86 - 3*x50*x86 - 32*x51*x86 - 41*x52*x86 + 36*x53*x86 - 34*x54*x86 - 11*x55*x86 - 26*x56*x86 - 14*x57*x86 + 40*x58*x86 + 41*x59*x86 - 20*x60*x86 - 6*x61*x86 + 7*x62*x86 - 23*x63*x86 - 14*x64*x86 - 14*x65*x86 + 47*x66*x86 + 5*x67*x86 + 34*x68*x86 + 38*x69*x86 + 11*x70*x86 + 33*x71*x86 - 5*x72*x86 + 48*x73*x86 - 41*x74*x86 - 16*x75*x86 + 7*x76*x86 + 7*x77*x86 - 28*x78*x86 + 4*x79*x86 - 34*x80*x86 + 48*x81*x86 + 12*x82*x86 - 16*x83*x86 - 42*x84*x86 - 4*x85*x86 + 30*x86^2 + 24*x0*x87 + 31*x1*x87 - 5*x2*x87 + 33*x3*x87 + 3*x4*x87 + 43*x5*x87 - 32*x6*x87 - 4*x7*x87 + 37*x8*x87 + 36*x9*x87 - 12*x10*x87 + x11*x87 - 11*x12*x87 - 40*x13*x87 + 40*x14*x87 - 33*x15*x87 + 7*x16*x87 + 15*x17*x87 + 13*x18*x87 - 44*x19*x87 - 26*x20*x87 + 41*x21*x87 + 10*x22*x87 - 44*x23*x87 + 34*x24*x87 - 47*x25*x87 - 20*x26*x87 + 36*x27*x87 - 44*x28*x87 - 42*x29*x87 + 35*x30*x87 - 42*x31*x87 - 15*x32*x87 + 39*x33*x87 + 4*x34*x87 - 20*x35*x87 - 42*x36*x87 + 40*x37*x87 + 32*x38*x87 + 46*x39*x87 + 46*x40*x87 - 43*x41*x87 - x42*x87 - 47*x43*x87 + 32*x44*x87 + 10*x45*x87 - 35*x46*x87 + 19*x47*x87 - 18*x48*x87 - 40*x49*x87 - 18*x50*x87 - 17*x51*x87 - 12*x52*x87 - 35*x53*x87 + 41*x54*x87 + 27*x55*x87 - 12*x56*x87 - x57*x87 + 3*x58*x87 + 17*x59*x87 + 34*x60*x87 + 38*x61*x87 + x62*x87 - 44*x63*x87 - 14*x64*x87 + 33*x65*x87 - 31*x66*x87 + 9*x67*x87 + 4*x68*x87 + 26*x69*x87 - 6*x70*x87 - 11*x71*x87 + 39*x72*x87 - 34*x73*x87 + 8*x74*x87 - 42*x75*x87 + 5*x76*x87 - 40*x77*x87 + 9*x78*x87 - 35*x79*x87 - 21*x80*x87 + x81*x87 + 36*x82*x87 + 12*x83*x87 - 45*x84*x87 + 22*x85*x87 + 16*x86*x87 + x87^2 + 28*x0*x88 - 10*x1*x88 + 26*x2*x88 + 17*x3*x88 - 22*x4*x88 - 18*x5*x88 + 11*x6*x88 + 38*x7*x88 - 26*x8*x88 - 30*x9*x88 + 23*x10*x88 - 28*x11*x88 + 33*x12*x88 + 38*x13*x88 - 14*x14*x88 + 11*x15*x88 - 47*x16*x88 - 8*x17*x88 + 22*x18*x88 + 2*x19*x88 + 48*x20*x88 + 28*x21*x88 + 26*x22*x88 + 39*x23*x88 - 13*x24*x88 - 19*x25*x88 - 40*x26*x88 - 29*x27*x88 + 42*x28*x88 - 21*x29*x88 - 3*x30*x88 + 18*x31*x88 + 42*x32*x88 - 28*x33*x88 - 21*x34*x88 + 6*x35*x88 - 22*x36*x88 + 15*x37*x88 + 47*x38*x88 + 32*x39*x88 - 46*x40*x88 - 29*x41*x88 + 6*x42*x88 - 34*x43*x88 + 24*x44*x88 - x45*x88 + 4*x46*x88 - 14*x47*x88 - 48*x48*x88 + 35*x49*x88 - 27*x50*x88 - 17*x51*x88 + 9*x52*x88 + 32*x53*x88 + 45*x54*x88 - 8*x55*x88 - 31*x56*x88 + 40*x57*x88 - 20*x58*x88 + 3*x59*x88 - 37*x60*x88 + 29*x61*x88 - 31*x62*x88 + 3*x63*x88 - 9*x64*x88 - 21*x65*x88 + 28*x66*x88 + 39*x67*x88 - 34*x68*x88 - 36*x69*x88 + 38*x70*x88 + 25*x71*x88 - 8*x72*x88 - 11*x73*x88 + 21*x74*x88 + 25*x75*x88 + 15*x76*x88 + 14*x77*x88 - 11*x78*x88 - 33*x79*x88 + 47*x80*x88 - 47*x81*x88 + 4*x82*x88 - 44*x83*x88 - 28*x84*x88 + 13*x85*x88 - 3*x86*x88 + 43*x87*x88 - 7*x88^2 - 22*x0*x89 + x1*x89 - 41*x2*x89 + 34*x3*x89 - 17*x4*x89 - 18*x5*x89 + 40*x6*x89 - 16*x7*x89 - 48*x8*x89 - 31*x9*x89 + 39*x10*x89 - 20*x11*x89 - 21*x12*x89 + 34*x13*x89 - 20*x14*x89 + 23*x15*x89 - 16*x16*x89 - 44*x17*x89 - 44*x18*x89 + 14*x19*x89 - 37*x20*x89 - 48*x21*x89 - 21*x22*x89 + 31*x23*x89 - 6*x24*x89 + 25*x25*x89 + 44*x26*x89 - 48*x27*x89 + 40*x28*x89 + 12*x29*x89 - 2*x30*x89 + 35*x31*x89 - 34*x32*x89 - 43*x33*x89 + 28*x34*x89 - 24*x35*x89 - 10*x36*x89 - 14*x37*x89 - 43*x38*x89 + 8*x39*x89 - 6*x40*x89 + 25*x41*x89 + 46*x42*x89 + 27*x43*x89 - x44*x89 + 21*x45*x89 + 32*x46*x89 - 27*x47*x89 - 17*x48*x89 + 6*x49*x89 + 37*x50*x89 + 18*x51*x89 + 15*x52*x89 - 34*x53*x89 - 30*x54*x89 - 21*x55*x89 - 15*x56*x89 + 45*x57*x89 - 7*x58*x89 + 23*x59*x89 + 12*x60*x89 - 24*x61*x89 + 9*x62*x89 - 4*x63*x89 - 20*x64*x89 - 17*x65*x89 - 19*x66*x89 - 28*x67*x89 - 30*x68*x89 - 13*x69*x89 - 30*x70*x89 + 44*x71*x89 - 31*x72*x89 - 9*x73*x89 + 42*x74*x89 - 24*x75*x89 + 41*x76*x89 + 7*x77*x89 + 2*x78*x89 + 23*x79*x89 + 22*x80*x89 + 34*x81*x89 - 6*x82*x89 + 19*x83*x89 + 29*x84*x89 - 13*x85*x89 + 8*x86*x89 - 29*x87*x89 - 29*x88*x89 + 16*x89^2 + 14*x0*x90 - 31*x1*x90 + 41*x2*x90 - 13*x3*x90 - 41*x4*x90 - 40*x5*x90 + 23*x6*x90 + 37*x7*x90 - 4*x8*x90 + 19*x9*x90 + 24*x10*x90 + 31*x11*x90 + 33*x12*x90 + 19*x13*x90 + 16*x14*x90 - 41*x15*x90 + 46*x16*x90 + 27*x17*x90 + 36*x18*x90 + 42*x19*x90 - 24*x20*x90 + 23*x21*x90 - 44*x22*x90 + 34*x23*x90 + 28*x24*x90 - 20*x25*x90 + 15*x27*x90 - 9*x28*x90 - 36*x29*x90 - 44*x30*x90 - 5*x31*x90 + 33*x32*x90 + 35*x33*x90 + 16*x34*x90 - 14*x35*x90 + 21*x36*x90 + 46*x37*x90 + 21*x38*x90 - 39*x39*x90 + 21*x40*x90 - 45*x41*x90 + 26*x42*x90 - 48*x43*x90 + 36*x44*x90 - 44*x45*x90 + 16*x46*x90 + 10*x47*x90 + 12*x48*x90 + 19*x49*x90 + 39*x50*x90 - 47*x51*x90 - 32*x52*x90 + 34*x53*x90 + 26*x54*x90 - 23*x55*x90 - 25*x56*x90 + 34*x57*x90 + 32*x58*x90 + 26*x59*x90 - 39*x60*x90 - 22*x61*x90 + 42*x62*x90 - 44*x63*x90 - 33*x64*x90 - 48*x65*x90 + 30*x66*x90 + 36*x67*x90 - 36*x68*x90 - 38*x69*x90 + 10*x70*x90 + 13*x71*x90 + 36*x72*x90 - 27*x73*x90 - 18*x74*x90 - 17*x75*x90 - 48*x76*x90 - 5*x77*x90 - 20*x78*x90 - 30*x79*x90 - 7*x80*x90 - 37*x81*x90 + 6*x82*x90 - 43*x83*x90 - 26*x84*x90 - 43*x85*x90 - 11*x86*x90 + 13*x87*x90 + 26*x88*x90 + 19*x89*x90 + 2*x90^2 + 8*x0*x91 + x1*x91 + 39*x2*x91 - 7*x3*x91 + 27*x4*x91 - 23*x5*x91 - 17*x6*x91 - 10*x7*x91 + 15*x8*x91 + 2*x9*x91 - 13*x10*x91 + 38*x11*x91 + 3*x12*x91 - 36*x13*x91 + 15*x14*x91 - 39*x15*x91 - 46*x16*x91 + 47*x17*x91 + 27*x18*x91 + 21*x19*x91 - 40*x21*x91 - 20*x22*x91 - 6*x23*x91 + 20*x24*x91 - 38*x25*x91 - 20*x26*x91 - 5*x27*x91 - 6*x28*x91 - 26*x29*x91 + 9*x30*x91 - 4*x31*x91 - 2*x32*x91 - 30*x33*x91 - 15*x34*x91 - 35*x36*x91 + 48*x37*x91 - 44*x38*x91 - 33*x39*x91 + 39*x40*x91 - 14*x41*x91 + 28*x42*x91 - 4*x43*x91 + 23*x44*x91 + 20*x45*x91 - 30*x46*x91 - 7*x47*x91 - 39*x48*x91 - 25*x49*x91 - 14*x50*x91 + 29*x51*x91 + 32*x52*x91 + 45*x53*x91 + 48*x54*x91 + 34*x56*x91 + 31*x57*x91 + 44*x58*x91 + 39*x59*x91 + 41*x60*x91 - 33*x61*x91 - 35*x62*x91 + 18*x63*x91 + 29*x64*x91 + 21*x65*x91 + 47*x66*x91 + 42*x67*x91 - 14*x68*x91 - 21*x69*x91 - 28*x70*x91 + 6*x71*x91 + 25*x72*x91 - 42*x73*x91 + 43*x74*x91 + 18*x75*x91 + 6*x76*x91 - 23*x77*x91 + 37*x78*x91 - 23*x79*x91 + 4*x80*x91 - 34*x82*x91 - 35*x83*x91 + 40*x84*x91 + 47*x86*x91 - 19*x87*x91 + 43*x88*x91 + 37*x89*x91 + 35*x90*x91 - 16*x91^2 - 12*x0*x92 + 20*x1*x92 - 7*x2*x92 - 24*x3*x92 + 32*x4*x92 - 39*x5*x92 - 31*x6*x92 - 9*x7*x92 + 25*x8*x92 - 11*x9*x92 + 32*x10*x92 - 3*x11*x92 + 45*x12*x92 + 27*x13*x92 - 6*x14*x92 - 46*x15*x92 - 3*x16*x92 - 13*x17*x92 - 43*x18*x92 - 13*x19*x92 + 18*x20*x92 + 38*x21*x92 + 6*x22*x92 + 23*x23*x92 - 48*x24*x92 - 4*x25*x92 - 35*x26*x92 + 45*x27*x92 - 34*x28*x92 - 43*x29*x92 - 48*x30*x92 - 42*x31*x92 - 19*x32*x92 + 21*x33*x92 + 13*x34*x92 - 46*x35*x92 - 22*x36*x92 - 39*x37*x92 - 13*x38*x92 - 41*x39*x92 - 10*x40*x92 + 33*x41*x92 + 35*x42*x92 - 34*x43*x92 - 38*x44*x92 - 7*x45*x92 - 31*x46*x92 + 24*x47*x92 + 43*x48*x92 + 36*x49*x92 - 7*x50*x92 + 26*x51*x92 + 19*x52*x92 + 35*x54*x92 - 46*x55*x92 + 30*x56*x92 + 25*x57*x92 - 42*x58*x92 + 11*x59*x92 + 26*x60*x92 - 5*x61*x92 - 27*x62*x92 + 42*x63*x92 + 6*x64*x92 + 4*x65*x92 + 13*x66*x92 + 41*x67*x92 - 4*x68*x92 - 23*x69*x92 - 42*x70*x92 + 39*x71*x92 - 34*x72*x92 + 35*x73*x92 - 18*x74*x92 - 39*x75*x92 + 6*x76*x92 + x77*x92 - 31*x78*x92 + 36*x79*x92 - 14*x80*x92 - 31*x81*x92 - 38*x82*x92 - 48*x83*x92 - 9*x84*x92 + 30*x85*x92 - 37*x86*x92 - 8*x87*x92 + 37*x88*x92 - 48*x89*x92 + 43*x90*x92 - 43*x91*x92 + 40*x92^2 - 35*x0*x93 + 19*x1*x93 - 32*x2*x93 + 20*x3*x93 - 16*x4*x93 - 11*x5*x93 - 4*x6*x93 + 16*x7*x93 - 10*x8*x93 + 7*x9*x93 + 40*x10*x93 + 9*x11*x93 + 40*x12*x93 + 17*x13*x93 + 18*x14*x93 - 23*x15*x93 + 9*x16*x93 + 2*x17*x93 - 41*x18*x93 + 28*x19*x93 + 29*x20*x93 - 16*x21*x93 + x22*x93 + 5*x23*x93 + 20*x24*x93 - 10*x25*x93 - 6*x26*x93 - 16*x27*x93 + 45*x28*x93 - 29*x29*x93 + 9*x30*x93 + 7*x31*x93 - 11*x32*x93 + 7*x33*x93 - 38*x34*x93 + 5*x35*x93 + 19*x36*x93 - 7*x37*x93 - 12*x38*x93 - 21*x39*x93 - 18*x40*x93 + 30*x41*x93 - 31*x42*x93 - 30*x43*x93 - 42*x44*x93 + 24*x45*x93 - 43*x46*x93 + 2*x47*x93 + 44*x48*x93 - 25*x49*x93 - 16*x50*x93 + 9*x51*x93 + 25*x52*x93 - 19*x53*x93 + 9*x54*x93 + 29*x55*x93 + 4*x56*x93 - 6*x57*x93 + 13*x58*x93 + 10*x59*x93 - 32*x61*x93 - 19*x62*x93 - 36*x63*x93 + 32*x64*x93 + 46*x65*x93 - 10*x66*x93 + 19*x67*x93 - 5*x68*x93 + 21*x69*x93 - 22*x70*x93 + 35*x71*x93 + 37*x72*x93 + 22*x73*x93 - 4*x74*x93 - x75*x93 + 7*x76*x93 + 29*x77*x93 - 37*x78*x93 + 18*x79*x93 - 38*x80*x93 - 40*x81*x93 - 8*x82*x93 + 23*x83*x93 - 42*x84*x93 + 34*x85*x93 + 31*x86*x93 - 29*x87*x93 - 29*x88*x93 - 35*x89*x93 + 39*x90*x93 + 3*x91*x93 + 11*x92*x93 + 28*x93^2 + 29*x0*x94 - 40*x1*x94 - 29*x2*x94 - 15*x3*x94 + 2*x4*x94 + 17*x5*x94 + 19*x6*x94 + 22*x7*x94 - 29*x8*x94 - 43*x9*x94 - 36*x10*x94 + 39*x11*x94 - 19*x12*x94 + 13*x13*x94 - 25*x14*x94 + x15*x94 - 23*x16*x94 + 23*x17*x94 - 37*x18*x94 - 20*x19*x94 + 10*x20*x94 + 45*x21*x94 + 7*x22*x94 + 19*x23*x94 + 12*x24*x94 + 4*x25*x94 + 4*x26*x94 - 9*x27*x94 + 36*x28*x94 - 45*x29*x94 - 18*x30*x94 - 9*x31*x94 - 27*x32*x94 - 28*x33*x94 - 39*x34*x94 - 48*x35*x94 - 19*x36*x94 - 41*x37*x94 + 37*x38*x94 + 12*x39*x94 + 26*x40*x94 - 3*x41*x94 - 29*x42*x94 + 29*x43*x94 + 29*x44*x94 - 6*x45*x94 + 32*x46*x94 - 7*x47*x94 + 8*x48*x94 - 22*x49*x94 + 26*x50*x94 - 25*x51*x94 - 5*x52*x94 - 32*x53*x94 + 4*x54*x94 - 46*x55*x94 + 23*x56*x94 - 35*x57*x94 + 24*x58*x94 + 13*x59*x94 + 42*x60*x94 + 33*x61*x94 - 11*x62*x94 + 34*x63*x94 + 9*x64*x94 - 28*x65*x94 - 48*x66*x94 - 39*x67*x94 + 35*x68*x94 - 19*x69*x94 - 36*x70*x94 - 38*x71*x94 + 16*x72*x94 - 17*x73*x94 + 7*x74*x94 - 24*x75*x94 - 32*x76*x94 - 39*x77*x94 + 17*x78*x94 - 15*x79*x94 + 41*x80*x94 - 35*x81*x94 + 31*x82*x94 - 13*x83*x94 + 16*x84*x94 - 18*x85*x94 - 3*x86*x94 - 4*x87*x94 - 34*x88*x94 + 32*x89*x94 + 23*x90*x94 - 29*x91*x94 + 45*x92*x94 - 34*x93*x94 + 45*x94^2 + 35*x0*x95 + 27*x1*x95 + 21*x2*x95 + 38*x3*x95 - 8*x4*x95 - 29*x5*x95 + 30*x6*x95 + 41*x7*x95 - 33*x8*x95 - 10*x9*x95 + x10*x95 + 31*x11*x95 - 27*x12*x95 + 6*x13*x95 - 11*x14*x95 - 45*x15*x95 - 29*x16*x95 + 41*x17*x95 + 39*x18*x95 + 9*x19*x95 - 15*x20*x95 + 18*x21*x95 + 19*x22*x95 + 14*x23*x95 + 23*x24*x95 - 34*x25*x95 - 9*x26*x95 - 23*x27*x95 + 14*x28*x95 - 42*x29*x95 - 42*x30*x95 - 11*x31*x95 + 19*x32*x95 + 5*x33*x95 - 29*x34*x95 - 10*x35*x95 - 47*x36*x95 + 35*x37*x95 - 46*x38*x95 - 40*x39*x95 + 6*x40*x95 + 17*x41*x95 + 31*x42*x95 - 47*x43*x95 - 39*x44*x95 - 37*x45*x95 - 21*x46*x95 - 24*x47*x95 + 41*x48*x95 + 14*x49*x95 - 5*x50*x95 + 11*x51*x95 - 27*x52*x95 + 24*x53*x95 - 33*x54*x95 + 30*x55*x95 - 32*x56*x95 + 13*x57*x95 - 38*x58*x95 + 43*x59*x95 + 14*x60*x95 - 32*x61*x95 + 19*x62*x95 + 8*x63*x95 + 18*x64*x95 - 13*x65*x95 + 29*x66*x95 + 7*x67*x95 + 45*x68*x95 - 36*x69*x95 - 13*x70*x95 - 18*x71*x95 + 5*x72*x95 - 42*x73*x95 - 34*x74*x95 + 21*x75*x95 - 26*x76*x95 + 3*x77*x95 + 32*x78*x95 - 2*x79*x95 + 13*x80*x95 + 24*x81*x95 - 8*x82*x95 - 31*x83*x95 - 9*x84*x95 - 40*x85*x95 - 23*x86*x95 - 5*x87*x95 - 31*x88*x95 + 21*x89*x95 + 23*x90*x95 + 9*x91*x95 + 13*x92*x95 + 46*x93*x95 - 36*x94*x95 + 37*x95^2 + 29*x0*x96 - 12*x1*x96 + 16*x2*x96 + 26*x3*x96 + 35*x4*x96 + 7*x5*x96 - 2*x6*x96 + 10*x7*x96 + 26*x8*x96 + 32*x9*x96 + 39*x10*x96 - 35*x11*x96 - 20*x12*x96 + 45*x13*x96 + 23*x14*x96 + 6*x15*x96 + 2*x16*x96 - 19*x17*x96 - 16*x18*x96 + 39*x19*x96 + 28*x20*x96 - 3*x21*x96 - 21*x22*x96 + 11*x23*x96 + 39*x24*x96 - 46*x25*x96 - 39*x26*x96 - 16*x27*x96 + 16*x28*x96 - 17*x29*x96 + 39*x30*x96 - 35*x31*x96 + 2*x32*x96 - 6*x33*x96 + 42*x34*x96 + 36*x35*x96 - 22*x36*x96 + 42*x37*x96 - 45*x38*x96 - 34*x39*x96 - 7*x40*x96 - 40*x41*x96 + 8*x42*x96 - x43*x96 - 38*x44*x96 - 5*x45*x96 - 23*x46*x96 - 7*x48*x96 + 33*x49*x96 + 3*x50*x96 + 31*x51*x96 + 45*x52*x96 + 17*x53*x96 + x54*x96 + 14*x55*x96 + 24*x56*x96 + 6*x57*x96 - 9*x58*x96 + 39*x59*x96 - 9*x60*x96 + 17*x61*x96 + 25*x62*x96 - 34*x63*x96 - 9*x64*x96 - 48*x65*x96 - x66*x96 - 45*x67*x96 + 23*x68*x96 - 34*x69*x96 + 42*x70*x96 - 30*x71*x96 + 48*x72*x96 + 20*x73*x96 - 18*x74*x96 + 22*x75*x96 + 20*x76*x96 - 26*x77*x96 + 18*x78*x96 - 10*x79*x96 + 9*x80*x96 - 12*x81*x96 - 20*x82*x96 - 42*x83*x96 - 21*x85*x96 + 34*x86*x96 + 45*x87*x96 - 9*x88*x96 - 27*x89*x96 - 26*x90*x96 - 41*x91*x96 + 31*x92*x96 + 40*x93*x96 - 40*x94*x96 - 44*x95*x96 + 39*x96^2 + 43*x0*x97 - 7*x1*x97 - 14*x2*x97 - 5*x3*x97 + 5*x4*x97 + 19*x5*x97 - 40*x6*x97 - x7*x97 + 47*x8*x97 - 13*x9*x97 + 42*x10*x97 - 16*x11*x97 + 46*x12*x97 - 3*x13*x97 - 10*x14*x97 - 34*x15*x97 - 39*x16*x97 + 39*x17*x97 + 16*x18*x97 - 18*x19*x97 + 46*x20*x97 - 48*x21*x97 - 16*x22*x97 + 46*x23*x97 - 41*x24*x97 - 12*x25*x97 - 7*x26*x97 + 3*x27*x97 + 23*x28*x97 + 20*x29*x97 + 38*x30*x97 - 21*x31*x97 + 12*x32*x97 + 39*x33*x97 - x34*x97 - 13*x35*x97 + 19*x36*x97 + 22*x37*x97 + 17*x38*x97 + 14*x39*x97 - 21*x40*x97 + 27*x41*x97 + 18*x42*x97 - 42*x43*x97 - 6*x44*x97 - 22*x45*x97 - 3*x46*x97 - 46*x47*x97 - 40*x48*x97 + 25*x49*x97 + 5*x50*x97 + x51*x97 - 22*x52*x97 - 30*x53*x97 + 6*x54*x97 - 41*x55*x97 + 42*x56*x97 - 19*x57*x97 + 37*x58*x97 + 3*x59*x97 + 43*x60*x97 - 47*x61*x97 + 44*x62*x97 - 35*x63*x97 - 12*x64*x97 - 17*x65*x97 + 6*x66*x97 + 35*x67*x97 - 15*x68*x97 - 5*x69*x97 + 28*x70*x97 + 43*x71*x97 + 46*x72*x97 + 20*x73*x97 + 14*x74*x97 + 8*x75*x97 - 27*x76*x97 + 44*x77*x97 + 5*x78*x97 - 8*x79*x97 - 44*x80*x97 + 4*x81*x97 + 2*x82*x97 - 4*x83*x97 + 14*x84*x97 - 34*x85*x97 + 46*x86*x97 + 34*x87*x97 + 23*x88*x97 + 25*x89*x97 - 48*x90*x97 - 9*x91*x97 - 25*x92*x97 - 47*x93*x97 + 18*x94*x97 - 39*x95*x97 + 25*x96*x97 - 45*x97^2 - 26*x0*x98 - 36*x1*x98 - 34*x2*x98 + 12*x3*x98 + 44*x4*x98 + 31*x5*x98 + 3*x6*x98 - 7*x7*x98 + 9*x8*x98 + x9*x98 - 5*x10*x98 + 37*x11*x98 + 37*x12*x98 + 47*x13*x98 - 47*x14*x98 - 47*x15*x98 - 34*x16*x98 + 19*x17*x98 + 28*x18*x98 + 10*x19*x98 + 14*x20*x98 - 44*x21*x98 + 31*x22*x98 - 15*x23*x98 + 30*x24*x98 - 15*x25*x98 - 9*x27*x98 - 47*x28*x98 + 48*x29*x98 - 15*x30*x98 + 28*x31*x98 + 38*x32*x98 - 14*x33*x98 - 26*x34*x98 - 44*x35*x98 + 43*x36*x98 + 2*x37*x98 - 26*x38*x98 - 30*x39*x98 + 12*x40*x98 + 20*x41*x98 + 33*x42*x98 - 6*x43*x98 - 26*x44*x98 - 4*x45*x98 + 7*x46*x98 - 25*x47*x98 - 30*x49*x98 - 46*x50*x98 + 7*x51*x98 - 48*x52*x98 + 46*x53*x98 + 24*x54*x98 + 6*x55*x98 - 43*x56*x98 + 5*x57*x98 + 4*x58*x98 - 48*x59*x98 + 40*x60*x98 + 5*x61*x98 - 27*x62*x98 + x63*x98 + 20*x64*x98 + 33*x65*x98 + 13*x66*x98 + 42*x67*x98 + 41*x68*x98 - 3*x69*x98 + 32*x70*x98 - 29*x71*x98 + 46*x72*x98 - 6*x73*x98 - 5*x74*x98 + 32*x75*x98 - 36*x76*x98 + 41*x77*x98 - 43*x78*x98 + 31*x79*x98 + 34*x80*x98 + 40*x81*x98 + 38*x82*x98 + 28*x83*x98 + 39*x84*x98 - 31*x85*x98 + 22*x86*x98 - 6*x87*x98 - 27*x88*x98 - 10*x89*x98 - 11*x90*x98 + 27*x91*x98 + 15*x92*x98 + 43*x93*x98 + 46*x94*x98 + 6*x95*x98 - 29*x96*x98 - 27*x97*x98 - 28*x98^2 + 2*x0*x99 + 9*x1*x99 - 41*x2*x99 + 31*x3*x99 - 31*x4*x99 + 36*x5*x99 - 31*x6*x99 + 43*x7*x99 - 39*x8*x99 - 28*x9*x99 + 6*x10*x99 - 19*x11*x99 + 2*x12*x99 + 33*x13*x99 + 37*x14*x99 + 32*x15*x99 + 6*x16*x99 - 34*x17*x99 - 20*x18*x99 + 4*x19*x99 + x20*x99 - 42*x21*x99 - 28*x22*x99 - 18*x23*x99 + 39*x24*x99 + 4*x25*x99 + x26*x99 - 7*x27*x99 - 15*x28*x99 + 31*x29*x99 - 37*x30*x99 - 17*x31*x99 + 31*x32*x99 - 32*x33*x99 - 7*x34*x99 - 18*x35*x99 + 26*x36*x99 - 29*x37*x99 - 31*x38*x99 - 10*x39*x99 - 23*x40*x99 - 32*x41*x99 + 43*x42*x99 + 34*x43*x99 - 37*x44*x99 + 11*x45*x99 + 42*x46*x99 - 21*x47*x99 + 48*x48*x99 + 33*x49*x99 + 15*x50*x99 - 2*x51*x99 - 37*x52*x99 + 14*x53*x99 + 33*x54*x99 + 31*x55*x99 + 34*x56*x99 - 16*x57*x99 + 36*x58*x99 - 28*x59*x99 - 2*x60*x99 - 46*x61*x99 - 36*x62*x99 - 26*x63*x99 + 43*x64*x99 - 2*x65*x99 - 16*x66*x99 - 18*x67*x99 + 2*x68*x99 + 39*x69*x99 + 13*x70*x99 - 16*x71*x99 + 29*x72*x99 - 47*x73*x99 - 42*x74*x99 + 19*x75*x99 - 25*x76*x99 + 26*x77*x99 + 41*x78*x99 - 42*x79*x99 + 27*x80*x99 - 17*x81*x99 - 48*x82*x99 - 36*x83*x99 + 19*x84*x99 + 24*x85*x99 - 48*x86*x99 - 23*x87*x99 + 25*x88*x99 + 23*x89*x99 + 13*x90*x99 - 17*x91*x99 + 32*x92*x99 + 38*x93*x99 + 5*x94*x99 - 33*x95*x99 - 36*x96*x99 + 25*x97*x99 - 34*x98*x99 + 16*x99^2 - 12*x0 - 6*x1 + 22*x2 - 14*x3 - 15*x4 - 24*x5 + 17*x6 + 34*x7 + 48*x8 + 5*x9 - 32*x10 - 37*x11 - 24*x12 + 26*x13 + 38*x14 - 30*x15 + 43*x16 - 48*x17 - 37*x18 + 25*x19 + 34*x20 + 40*x21 - 7*x22 + 40*x23 + 25*x24 - 31*x25 - 47*x26 - 20*x27 + 13*x28 + 5*x29 - 18*x30 + 27*x31 + 35*x32 - 24*x33 + 38*x34 - 46*x35 + 3*x36 + 41*x37 + 44*x38 - 15*x39 + 28*x40 - 45*x41 - 7*x42 + 15*x43 + 3*x44 - 28*x45 + 40*x46 + 46*x47 + 38*x48 - 6*x49 + 30*x50 - 16*x51 - 2*x52 - 40*x53 - x54 - 46*x55 + 30*x56 + 25*x57 + 27*x58 - 30*x59 + 39*x60 + 13*x61 + 23*x62 - 32*x63 - 17*x64 + 6*x65 + 19*x66 + 5*x67 + 26*x68 - 10*x69 - 30*x70 - 41*x71 + 18*x72 - 34*x73 + 31*x74 + 12*x75 + 24*x76 - 6*x77 - 7*x78 + 23*x79 - 4*x80 + 35*x81 - 21*x82 - 18*x83 + 35*x84 - 9*x85 - 28*x86 + 27*x87 - 10*x88 - x89 - 11*x90 - 35*x91 + 5*x92 + 20*x93 - 30*x94 + 11*x95 + 18*x96 + 24*x97 - 32*x98 + 28*x99 + 22