(********************************************************************) (* *) (* Ancillary file to *) (* "Lifting Heptagon Symbols to Functions" *) (* by L. J. Dixon and Y.-T. Liu *) (* arXiv:2007.12966 *) (* *) (* This file describes the 42 {7,1} coproducts *) (* of the weight 8 parity even functions HE[8, i], *) (* in terms of the weight 7 even and odd functions *) (* HE[7, i] and HO[7, i]. *) (* *) (* The g-letters are labelled by m = 1,2,...,42, indexed by *) (* g[1,1] -> 1, g[1,2] -> 2, ..., g[k,j] -> 7*(k-1)+j. *) (* *) (* MHE[8][m] denotes the coproduct for the m^th letter. *) (* To obtain that coproduct for the n^th weight 8 odd function, *) (* take the coefficient of s[n] in MHE[8][m]. *) (* *) (********************************************************************) { MHE[8][1] = HE[7, 1]*s[1] + HE[7, 10]*s[2] + HE[7, 12]*s[2] - HE[7, 17]*s[2] - HE[7, 19]*s[2] - 2*HE[7, 21]*s[2] - HE[7, 22]*s[2] - 2*HE[7, 23]*s[2] + HE[7, 24]*s[2] + HE[7, 26]*s[2] + HE[7, 27]*s[2] - 2*HE[7, 28]*s[2] + HE[7, 29]*s[2] - HE[7, 30]*s[2] + HE[7, 33]*s[2] + HE[7, 35]*s[2] - 2*HE[7, 36]*s[2] - HE[7, 37]*s[2] - 2*HE[7, 38]*s[2] + HE[7, 41]*s[2] - HE[7, 42]*s[2] + 2*HE[7, 43]*s[2] + HE[7, 47]*s[2] + HE[7, 49]*s[2] + HE[7, 52]*s[2] + HE[7, 54]*s[2] + HE[7, 57]*s[2] + HE[7, 58]*s[2] - HE[7, 60]*s[2] - HE[7, 61]*s[2] - HE[7, 62]*s[2] + HE[7, 63]*s[2] - HE[7, 64]*s[2] - HE[7, 66]*s[2] - HE[7, 67]*s[2] - HE[7, 70]*s[2] - HE[7, 73]*s[2] - HE[7, 76]*s[2] + HE[7, 77]*s[2] - HE[7, 78]*s[2] + HE[7, 79]*s[2] - HE[7, 81]*s[2] - HE[7, 82]*s[2] - HE[7, 83]*s[2] + HE[7, 85]*s[2] + HE[7, 86]*s[2] + HE[7, 88]*s[2] + HE[7, 89]*s[2] + HE[7, 91]*s[2] + HE[7, 8]*s[3] + HE[7, 20]*(-s[2] + s[4]) + HE[7, 32]*(-s[2] + s[5]) + HE[7, 44]*s[6] + HE[7, 56]*s[7] + HE[7, 68]*(-2*s[2] + s[8]) + HE[7, 80]*s[9] + HE[7, 92]*s[10] + HE[7, 101]*s[11] + HE[7, 110]*s[12] + HE[7, 119]*s[13] + HE[7, 128]*s[14] + HE[7, 137]*s[15] + HE[7, 146]*s[16], MHE[8][2] = HE[7, 2]*s[1] + HE[7, 8]*s[2] - HE[7, 10]*s[2] - HE[7, 11]*s[2] - HE[7, 12]*s[2] + HE[7, 14]*s[2] + HE[7, 16]*s[2] + HE[7, 17]*s[2] + HE[7, 19]*s[2] + HE[7, 23]*s[2] + HE[7, 25]*s[2] - HE[7, 29]*s[2] - HE[7, 31]*s[2] + HE[7, 32]*s[2] - 2*HE[7, 34]*s[2] - HE[7, 35]*s[2] - 2*HE[7, 36]*s[2] + HE[7, 37]*s[2] + HE[7, 39]*s[2] - 2*HE[7, 40]*s[2] + HE[7, 41]*s[2] - HE[7, 42]*s[2] - 2*HE[7, 44]*s[2] + HE[7, 46]*s[2] + HE[7, 48]*s[2] - 2*HE[7, 49]*s[2] - HE[7, 50]*s[2] + HE[7, 53]*s[2] - HE[7, 54]*s[2] + 2*HE[7, 55]*s[2] + HE[7, 60]*s[2] + HE[7, 62]*s[2] + HE[7, 64]*s[2] + HE[7, 66]*s[2] - HE[7, 68]*s[2] + HE[7, 70]*s[2] + HE[7, 71]*s[2] - HE[7, 73]*s[2] - HE[7, 74]*s[2] + HE[7, 75]*s[2] - HE[7, 76]*s[2] - HE[7, 78]*s[2] - HE[7, 79]*s[2] - HE[7, 83]*s[2] - HE[7, 86]*s[2] - HE[7, 88]*s[2] + HE[7, 89]*s[2] - HE[7, 90]*s[2] + HE[7, 91]*s[2] + HE[7, 9]*s[3] + HE[7, 21]*s[4] + HE[7, 33]*(-s[2] + s[5]) + HE[7, 45]*(-s[2] + s[6]) + HE[7, 57]*s[7] + HE[7, 69]*s[8] + HE[7, 81]*(-2*s[2] + s[9]) + HE[7, 93]*s[10] + HE[7, 102]*s[11] + HE[7, 111]*s[12] + HE[7, 120]*s[13] + HE[7, 129]*s[14] + HE[7, 138]*s[15] + HE[7, 147]*s[16], MHE[8][3] = HE[7, 3]*s[1] - HE[7, 8]*s[2] - HE[7, 12]*s[2] - HE[7, 16]*s[2] + HE[7, 17]*s[2] - HE[7, 18]*s[2] + HE[7, 19]*s[2] + HE[7, 20]*s[2] + HE[7, 21]*s[2] - HE[7, 23]*s[2] - HE[7, 24]*s[2] - HE[7, 25]*s[2] + HE[7, 28]*s[2] + HE[7, 29]*s[2] + HE[7, 31]*s[2] + HE[7, 36]*s[2] + HE[7, 38]*s[2] - HE[7, 41]*s[2] - HE[7, 43]*s[2] + HE[7, 45]*s[2] - 2*HE[7, 47]*s[2] - HE[7, 48]*s[2] - 2*HE[7, 49]*s[2] + HE[7, 50]*s[2] + HE[7, 51]*s[2] - 2*HE[7, 52]*s[2] + HE[7, 53]*s[2] - HE[7, 54]*s[2] - HE[7, 56]*s[2] - 2*HE[7, 57]*s[2] + HE[7, 59]*s[2] + HE[7, 61]*s[2] - 2*HE[7, 62]*s[2] + HE[7, 65]*s[2] - HE[7, 66]*s[2] + 2*HE[7, 67]*s[2] + HE[7, 68]*s[2] + HE[7, 73]*s[2] + HE[7, 76]*s[2] + HE[7, 78]*s[2] - HE[7, 80]*s[2] - HE[7, 81]*s[2] + HE[7, 83]*s[2] + HE[7, 84]*s[2] - HE[7, 86]*s[2] + HE[7, 87]*s[2] - HE[7, 88]*s[2] - HE[7, 90]*s[2] - HE[7, 91]*s[2] + HE[7, 10]*(-2*s[2] + s[3]) + HE[7, 22]*s[4] + HE[7, 34]*s[5] + HE[7, 46]*(-s[2] + s[6]) + HE[7, 58]*(-s[2] + s[7]) + HE[7, 70]*s[8] + HE[7, 82]*s[9] + HE[7, 94]*s[10] + HE[7, 103]*s[11] + HE[7, 112]*s[12] + HE[7, 121]*s[13] + HE[7, 130]*s[14] + HE[7, 139]*s[15] + HE[7, 148]*s[16], MHE[8][4] = HE[7, 4]*s[1] - HE[7, 8]*s[2] - HE[7, 9]*s[2] - HE[7, 10]*s[2] + HE[7, 12]*s[2] + HE[7, 13]*s[2] + HE[7, 15]*s[2] - HE[7, 16]*s[2] - HE[7, 18]*s[2] - HE[7, 19]*s[2] - HE[7, 21]*s[2] - HE[7, 25]*s[2] - HE[7, 28]*s[2] + HE[7, 29]*s[2] - HE[7, 30]*s[2] + HE[7, 31]*s[2] + HE[7, 33]*s[2] + HE[7, 34]*s[2] - HE[7, 36]*s[2] - HE[7, 37]*s[2] - HE[7, 38]*s[2] + HE[7, 40]*s[2] + HE[7, 41]*s[2] + HE[7, 43]*s[2] + HE[7, 44]*s[2] + HE[7, 49]*s[2] - HE[7, 53]*s[2] - HE[7, 55]*s[2] + HE[7, 56]*s[2] + HE[7, 58]*s[2] - 2*HE[7, 60]*s[2] - HE[7, 61]*s[2] - 2*HE[7, 62]*s[2] + HE[7, 63]*s[2] - 2*HE[7, 64]*s[2] + HE[7, 65]*s[2] - HE[7, 66]*s[2] - 2*HE[7, 68]*s[2] - HE[7, 69]*s[2] - 2*HE[7, 70]*s[2] + HE[7, 72]*s[2] + HE[7, 74]*s[2] + HE[7, 77]*s[2] - HE[7, 78]*s[2] + 2*HE[7, 79]*s[2] + HE[7, 81]*s[2] + HE[7, 86]*s[2] + HE[7, 88]*s[2] + HE[7, 90]*s[2] + HE[7, 11]*s[3] + HE[7, 23]*(-2*s[2] + s[4]) + HE[7, 35]*s[5] + HE[7, 47]*s[6] + HE[7, 59]*(-s[2] + s[7]) + HE[7, 71]*(-s[2] + s[8]) + HE[7, 83]*s[9] + HE[7, 95]*s[10] + HE[7, 104]*s[11] + HE[7, 113]*s[12] + HE[7, 122]*s[13] + HE[7, 131]*s[14] + HE[7, 140]*s[15] + HE[7, 149]*s[16], MHE[8][5] = HE[7, 5]*s[1] + HE[7, 8]*s[2] + HE[7, 10]*s[2] + HE[7, 16]*s[2] + HE[7, 18]*s[2] - HE[7, 21]*s[2] - HE[7, 22]*s[2] - HE[7, 23]*s[2] + HE[7, 25]*s[2] + HE[7, 26]*s[2] + HE[7, 27]*s[2] - HE[7, 28]*s[2] - HE[7, 30]*s[2] - HE[7, 31]*s[2] - HE[7, 34]*s[2] - HE[7, 38]*s[2] - HE[7, 40]*s[2] + HE[7, 41]*s[2] - HE[7, 42]*s[2] + HE[7, 43]*s[2] - HE[7, 44]*s[2] + HE[7, 46]*s[2] + HE[7, 47]*s[2] - HE[7, 49]*s[2] - HE[7, 50]*s[2] + HE[7, 52]*s[2] + HE[7, 53]*s[2] + HE[7, 55]*s[2] + HE[7, 57]*s[2] + HE[7, 62]*s[2] - HE[7, 65]*s[2] - HE[7, 67]*s[2] - 2*HE[7, 68]*s[2] + HE[7, 69]*s[2] + HE[7, 71]*s[2] - 2*HE[7, 73]*s[2] - HE[7, 74]*s[2] + HE[7, 75]*s[2] - 2*HE[7, 76]*s[2] + HE[7, 77]*s[2] - HE[7, 78]*s[2] + HE[7, 80]*s[2] - 2*HE[7, 81]*s[2] - HE[7, 82]*s[2] - 2*HE[7, 83]*s[2] + HE[7, 85]*s[2] + HE[7, 89]*s[2] - HE[7, 90]*s[2] + 2*HE[7, 91]*s[2] + HE[7, 12]*s[3] + HE[7, 24]*s[4] + HE[7, 36]*(-2*s[2] + s[5]) + HE[7, 48]*s[6] + HE[7, 60]*s[7] + HE[7, 72]*(-s[2] + s[8]) + HE[7, 84]*(-s[2] + s[9]) + HE[7, 96]*s[10] + HE[7, 105]*s[11] + HE[7, 114]*s[12] + HE[7, 123]*s[13] + HE[7, 132]*s[14] + HE[7, 141]*s[15] + HE[7, 150]*s[16], MHE[8][6] = HE[7, 6]*s[1] + HE[7, 9]*s[2] - 2*HE[7, 10]*s[2] - HE[7, 11]*s[2] - 2*HE[7, 12]*s[2] + HE[7, 14]*s[2] + HE[7, 17]*s[2] - HE[7, 18]*s[2] + 2*HE[7, 19]*s[2] + HE[7, 21]*s[2] + HE[7, 23]*s[2] + HE[7, 28]*s[2] + HE[7, 30]*s[2] + HE[7, 32]*s[2] - HE[7, 34]*s[2] - HE[7, 35]*s[2] - HE[7, 36]*s[2] + HE[7, 38]*s[2] + HE[7, 39]*s[2] - HE[7, 40]*s[2] - HE[7, 42]*s[2] - HE[7, 43]*s[2] - HE[7, 44]*s[2] - HE[7, 47]*s[2] - HE[7, 52]*s[2] + HE[7, 53]*s[2] - HE[7, 54]*s[2] + HE[7, 55]*s[2] - HE[7, 56]*s[2] - HE[7, 57]*s[2] + HE[7, 59]*s[2] + HE[7, 60]*s[2] - HE[7, 62]*s[2] + HE[7, 64]*s[2] + HE[7, 65]*s[2] + HE[7, 67]*s[2] + HE[7, 68]*s[2] + HE[7, 70]*s[2] - HE[7, 77]*s[2] - HE[7, 79]*s[2] - HE[7, 80]*s[2] - 2*HE[7, 81]*s[2] + HE[7, 82]*s[2] + HE[7, 84]*s[2] - 2*HE[7, 86]*s[2] + HE[7, 87]*s[2] - 2*HE[7, 88]*s[2] + HE[7, 89]*s[2] - HE[7, 90]*s[2] + HE[7, 13]*(-s[2] + s[3]) + HE[7, 25]*s[4] + HE[7, 37]*s[5] + HE[7, 49]*(-2*s[2] + s[6]) + HE[7, 61]*s[7] + HE[7, 73]*s[8] + HE[7, 85]*(-s[2] + s[9]) + HE[7, 97]*s[10] + HE[7, 106]*s[11] + HE[7, 115]*s[12] + HE[7, 124]*s[13] + HE[7, 133]*s[14] + HE[7, 142]*s[15] + HE[7, 151]*s[16], MHE[8][7] = HE[7, 7]*s[1] - 2*HE[7, 8]*s[2] - HE[7, 9]*s[2] - 2*HE[7, 10]*s[2] + HE[7, 11]*s[2] + HE[7, 13]*s[2] + HE[7, 15]*s[2] - 2*HE[7, 16]*s[2] + HE[7, 17]*s[2] - HE[7, 18]*s[2] + HE[7, 20]*s[2] + HE[7, 22]*s[2] - 2*HE[7, 23]*s[2] - HE[7, 24]*s[2] - 2*HE[7, 25]*s[2] + HE[7, 29]*s[2] - HE[7, 30]*s[2] + 2*HE[7, 31]*s[2] + HE[7, 34]*s[2] + HE[7, 36]*s[2] + HE[7, 40]*s[2] + HE[7, 42]*s[2] + HE[7, 44]*s[2] + HE[7, 45]*s[2] - HE[7, 47]*s[2] - HE[7, 48]*s[2] - HE[7, 49]*s[2] + HE[7, 51]*s[2] - HE[7, 52]*s[2] - HE[7, 54]*s[2] - HE[7, 55]*s[2] - HE[7, 57]*s[2] - HE[7, 60]*s[2] - HE[7, 64]*s[2] + HE[7, 65]*s[2] - HE[7, 66]*s[2] + HE[7, 67]*s[2] - HE[7, 68]*s[2] - HE[7, 69]*s[2] - HE[7, 70]*s[2] + HE[7, 72]*s[2] + HE[7, 73]*s[2] + HE[7, 76]*s[2] + HE[7, 77]*s[2] + HE[7, 79]*s[2] + HE[7, 81]*s[2] + HE[7, 83]*s[2] - HE[7, 89]*s[2] - HE[7, 91]*s[2] + HE[7, 14]*(-s[2] + s[3]) + HE[7, 26]*(-s[2] + s[4]) + HE[7, 38]*s[5] + HE[7, 50]*s[6] + HE[7, 62]*(-2*s[2] + s[7]) + HE[7, 74]*s[8] + HE[7, 86]*s[9] + HE[7, 98]*s[10] + HE[7, 107]*s[11] + HE[7, 116]*s[12] + HE[7, 125]*s[13] + HE[7, 134]*s[14] + HE[7, 143]*s[15] + HE[7, 152]*s[16], MHE[8][8] = (-3*HE[7, 1]*s[1])/2 + (HE[7, 2]*s[1])/2 - (HE[7, 3]*s[1])/2 + (HE[7, 4]*s[1])/2 + (HE[7, 5]*s[1])/2 - (HE[7, 6]*s[1])/2 + (HE[7, 7]*s[1])/2 + HE[7, 16]*s[3] + HE[7, 11]*s[10] - HE[7, 14]*s[10] + HE[7, 18]*s[10] + HE[7, 34]*s[10] - HE[7, 39]*s[10] + HE[7, 40]*s[10] - HE[7, 41]*s[10] - HE[7, 65]*s[10] + HE[7, 78]*s[10] - HE[7, 92]*s[10] - HE[7, 93]*s[10] + HE[7, 96]*s[10] + HE[7, 25]*s[11] - HE[7, 31]*s[11] - HE[7, 53]*s[11] + HE[7, 90]*s[11] - HE[7, 101]*s[11] + HE[7, 104]*s[11] - HE[7, 107]*s[11] + HE[7, 38]*(s[2] - s[5] - s[12]) + HE[7, 32]*(s[2] - s[5] - s[10] - s[12]) + HE[7, 43]*(-s[2] + s[5] + s[12]) + HE[7, 35]*(-s[2] + s[5] + s[10] + s[12]) + HE[7, 55]*(-s[6] - s[13]/2) + HE[7, 72]*(-s[10] - s[13]/2) + HE[7, 10]*(s[10] - s[13]/2) + HE[7, 51]*(-s[11] - s[13]/2) + HE[7, 71]*(-s[11] - s[13]/2) + HE[7, 77]*(-s[11] - s[13]/2) + HE[7, 48]*(s[11] - s[13]/2) + HE[7, 49]*(s[11] - s[13]/2) + HE[7, 69]*(s[10] + s[13]/2) + HE[7, 45]*(-s[11] + s[13]/2) + HE[7, 30]*(s[11] + s[13]/2) + HE[7, 74]*(s[11] + s[13]/2) + HE[7, 68]*(s[10] + s[11] + s[13]/2) - (HE[7, 9]*s[13])/2 + (HE[7, 13]*s[13])/2 + (HE[7, 15]*s[13])/2 + (HE[7, 17]*s[13])/2 + (HE[7, 44]*s[13])/2 + (HE[7, 46]*s[13])/2 - (HE[7, 50]*s[13])/2 - (HE[7, 54]*s[13])/2 - (HE[7, 73]*s[13])/2 - (HE[7, 76]*s[13])/2 - HE[7, 119]*s[13] - HE[7, 120]*s[13] - (HE[7, 121]*s[13])/2 + (HE[7, 122]*s[13])/2 + HE[7, 123]*s[13] + HE[7, 124]*s[13] + HE[7, 126]*s[13] + HE[7, 89]*(-s[9] - s[14]/2) + HE[7, 58]*(-s[10] - s[14]/2) + HE[7, 63]*(-s[10] - s[14]/2) + HE[7, 27]*(-s[11] - s[14]/2) + HE[7, 29]*(-s[11] - s[14]/2) + HE[7, 85]*(-s[11] - s[14]/2) + HE[7, 66]*(s[7] + s[14]/2) + HE[7, 42]*(s[10] + s[14]/2) + HE[7, 61]*(s[10] + s[14]/2) + HE[7, 62]*(s[10] + s[14]/2) + HE[7, 36]*(2*s[10] + s[14]/2) + HE[7, 81]*(s[11] + s[14]/2) + HE[7, 82]*(s[11] + s[14]/2) + HE[7, 23]*(2*s[11] + s[13]/2 + s[14]/2) + (HE[7, 22]*s[14])/2 - (HE[7, 26]*s[14])/2 - (HE[7, 33]*s[14])/2 + (HE[7, 37]*s[14])/2 + (HE[7, 56]*s[14])/2 - (HE[7, 57]*s[14])/2 - (HE[7, 59]*s[14])/2 + (HE[7, 67]*s[14])/2 + (HE[7, 80]*s[14])/2 - (HE[7, 84]*s[14])/2 - (HE[7, 86]*s[14])/2 - (HE[7, 88]*s[14])/2 - HE[7, 128]*s[14] + (HE[7, 131]*s[14])/2 + (HE[7, 132]*s[14])/2 + HE[7, 144]*s[15] + HE[7, 21]*(s[2] - s[4] - s[16]) + HE[7, 28]*(s[2] - s[4] - s[16]) + HE[7, 20]*(s[2] - s[4] - s[11] - s[13]/2 - s[16]) + HE[7, 24]*(-s[2] + s[4] + s[11] + s[13]/2 + s[16]), MHE[8][9] = (HE[7, 1]*s[1])/2 - (3*HE[7, 2]*s[1])/2 + (HE[7, 3]*s[1])/2 - (HE[7, 4]*s[1])/2 + (HE[7, 5]*s[1])/2 + (HE[7, 6]*s[1])/2 - (HE[7, 7]*s[1])/2 + HE[7, 28]*s[4] + HE[7, 34]*(s[2] - s[5] - s[10]) + HE[7, 40]*(s[2] - s[5] - s[10]) - HE[7, 20]*s[11] + HE[7, 24]*s[11] + HE[7, 30]*s[11] + HE[7, 47]*s[11] - HE[7, 51]*s[11] + HE[7, 52]*s[11] - HE[7, 53]*s[11] - HE[7, 77]*s[11] + HE[7, 90]*s[11] - HE[7, 102]*s[11] - HE[7, 103]*s[11] + HE[7, 106]*s[11] + HE[7, 18]*s[12] + HE[7, 38]*s[12] - HE[7, 43]*s[12] - HE[7, 65]*s[12] - HE[7, 110]*s[12] - HE[7, 111]*s[12] + HE[7, 114]*s[12] + HE[7, 44]*(s[2] - s[6] - s[13]) + HE[7, 45]*(s[2] - s[6] - s[11] - s[13]) + HE[7, 55]*(-s[2] + s[6] + s[13]) + HE[7, 48]*(-s[2] + s[6] + s[11] + s[13]) + HE[7, 67]*(-s[7] - s[14]/2) + HE[7, 85]*(-s[11] - s[14]/2) + HE[7, 23]*(s[11] - s[14]/2) + HE[7, 63]*(-s[12] - s[14]/2) + HE[7, 84]*(-s[12] - s[14]/2) + HE[7, 89]*(-s[12] - s[14]/2) + HE[7, 33]*(s[2] - s[5] - s[10] - s[12] - s[14]/2) + HE[7, 61]*(s[12] - s[14]/2) + HE[7, 62]*(s[12] - s[14]/2) + HE[7, 82]*(s[11] + s[14]/2) + HE[7, 58]*(-s[12] + s[14]/2) + HE[7, 42]*(s[12] + s[14]/2) + HE[7, 80]*(s[12] + s[14]/2) + HE[7, 37]*(-s[2] + s[5] + s[10] + s[12] + s[14]/2) + HE[7, 81]*(s[11] + s[12] + s[14]/2) - (HE[7, 22]*s[14])/2 + (HE[7, 26]*s[14])/2 + (HE[7, 27]*s[14])/2 + (HE[7, 29]*s[14])/2 - (HE[7, 56]*s[14])/2 + (HE[7, 57]*s[14])/2 + (HE[7, 59]*s[14])/2 - (HE[7, 66]*s[14])/2 - (HE[7, 86]*s[14])/2 - (HE[7, 88]*s[14])/2 - HE[7, 129]*s[14] - HE[7, 130]*s[14] - (HE[7, 131]*s[14])/2 + (HE[7, 132]*s[14])/2 + HE[7, 133]*s[14] + HE[7, 134]*s[14] + HE[7, 135]*s[14] + HE[7, 17]*(-s[3] - s[15]/2) + HE[7, 71]*(-s[11] - s[15]/2) + HE[7, 75]*(-s[11] - s[15]/2) + HE[7, 14]*(-s[12] - s[15]/2) + HE[7, 39]*(-s[12] - s[15]/2) + HE[7, 41]*(-s[12] - s[15]/2) + HE[7, 78]*(s[8] + s[15]/2) + HE[7, 54]*(s[11] + s[15]/2) + HE[7, 68]*(s[11] + s[15]/2) + HE[7, 74]*(s[11] + s[15]/2) + HE[7, 49]*(2*s[11] + s[15]/2) + HE[7, 10]*(s[12] + s[15]/2) + HE[7, 11]*(s[12] + s[15]/2) + HE[7, 36]*(2*s[12] + s[14]/2 + s[15]/2) - (HE[7, 8]*s[15])/2 + (HE[7, 9]*s[15])/2 - (HE[7, 13]*s[15])/2 - (HE[7, 16]*s[15])/2 - (HE[7, 32]*s[15])/2 + (HE[7, 35]*s[15])/2 - (HE[7, 46]*s[15])/2 + (HE[7, 50]*s[15])/2 + (HE[7, 69]*s[15])/2 - (HE[7, 70]*s[15])/2 - (HE[7, 72]*s[15])/2 + (HE[7, 79]*s[15])/2 - HE[7, 138]*s[15] + (HE[7, 141]*s[15])/2 + (HE[7, 142]*s[15])/2 + HE[7, 153]*s[16], MHE[8][10] = -(HE[7, 1]*s[1])/2 + (HE[7, 2]*s[1])/2 - (3*HE[7, 3]*s[1])/2 + (HE[7, 4]*s[1])/2 - (HE[7, 5]*s[1])/2 + (HE[7, 6]*s[1])/2 + (HE[7, 7]*s[1])/2 + HE[7, 40]*s[5] + HE[7, 99]*s[10] + HE[7, 47]*(s[2] - s[6] - s[11]) + HE[7, 52]*(s[2] - s[6] - s[11]) + HE[7, 18]*s[12] - HE[7, 33]*s[12] + HE[7, 37]*s[12] + HE[7, 42]*s[12] + HE[7, 60]*s[12] - HE[7, 63]*s[12] + HE[7, 64]*s[12] - HE[7, 65]*s[12] - HE[7, 89]*s[12] - HE[7, 112]*s[12] - HE[7, 113]*s[12] + HE[7, 116]*s[12] + HE[7, 30]*s[13] + HE[7, 44]*s[13] - HE[7, 55]*s[13] - HE[7, 77]*s[13] - HE[7, 120]*s[13] - HE[7, 121]*s[13] + HE[7, 124]*s[13] + HE[7, 57]*(s[2] - s[7] - s[14]) + HE[7, 58]*(s[2] - s[7] - s[12] - s[14]) + HE[7, 67]*(-s[2] + s[7] + s[14]) + HE[7, 61]*(-s[2] + s[7] + s[12] + s[14]) + HE[7, 79]*(-s[8] - s[15]/2) + HE[7, 14]*(-s[12] - s[15]/2) + HE[7, 36]*(s[12] - s[15]/2) + HE[7, 13]*(-s[13] - s[15]/2) + HE[7, 17]*(-s[13] - s[15]/2) + HE[7, 75]*(-s[13] - s[15]/2) + HE[7, 46]*(s[2] - s[6] - s[11] - s[13] - s[15]/2) + HE[7, 68]*(s[13] - s[15]/2) + HE[7, 74]*(s[13] - s[15]/2) + HE[7, 11]*(s[12] + s[15]/2) + HE[7, 71]*(-s[13] + s[15]/2) + HE[7, 9]*(s[13] + s[15]/2) + HE[7, 54]*(s[13] + s[15]/2) + HE[7, 50]*(-s[2] + s[6] + s[11] + s[13] + s[15]/2) + HE[7, 10]*(s[12] + s[13] + s[15]/2) - (HE[7, 8]*s[15])/2 - (HE[7, 16]*s[15])/2 + (HE[7, 32]*s[15])/2 - (HE[7, 35]*s[15])/2 + (HE[7, 39]*s[15])/2 + (HE[7, 41]*s[15])/2 - (HE[7, 69]*s[15])/2 + (HE[7, 70]*s[15])/2 + (HE[7, 72]*s[15])/2 - (HE[7, 78]*s[15])/2 + HE[7, 137]*s[15] - HE[7, 139]*s[15] - HE[7, 140]*s[15] - (HE[7, 141]*s[15])/2 + (HE[7, 142]*s[15])/2 + HE[7, 143]*s[15] + HE[7, 144]*s[15] + HE[7, 29]*(-s[4] - s[16]/2) + HE[7, 84]*(-s[12] - s[16]/2) + HE[7, 87]*(-s[12] - s[16]/2) + HE[7, 20]*(-s[13] - s[16]/2) + HE[7, 51]*(-s[13] - s[16]/2) + HE[7, 53]*(-s[13] - s[16]/2) + HE[7, 90]*(s[9] + s[16]/2) + HE[7, 66]*(s[12] + s[16]/2) + HE[7, 80]*(s[12] + s[16]/2) + HE[7, 81]*(s[12] + s[16]/2) + HE[7, 62]*(2*s[12] + s[16]/2) + HE[7, 23]*(s[13] + s[16]/2) + HE[7, 24]*(s[13] + s[16]/2) + HE[7, 49]*(2*s[13] + s[15]/2 + s[16]/2) - (HE[7, 21]*s[16])/2 + (HE[7, 22]*s[16])/2 - (HE[7, 26]*s[16])/2 - (HE[7, 28]*s[16])/2 - (HE[7, 45]*s[16])/2 + (HE[7, 48]*s[16])/2 + (HE[7, 56]*s[16])/2 - (HE[7, 59]*s[16])/2 + (HE[7, 82]*s[16])/2 - (HE[7, 83]*s[16])/2 - (HE[7, 85]*s[16])/2 + (HE[7, 91]*s[16])/2 - HE[7, 148]*s[16] + (HE[7, 151]*s[16])/2 + (HE[7, 152]*s[16])/2, MHE[8][11] = (HE[7, 1]*s[1])/2 - (HE[7, 2]*s[1])/2 + (HE[7, 3]*s[1])/2 - (3*HE[7, 4]*s[1])/2 + (HE[7, 5]*s[1])/2 - (HE[7, 6]*s[1])/2 + (HE[7, 7]*s[1])/2 + HE[7, 52]*s[6] + HE[7, 41]*(-s[5] - s[10]/2) + HE[7, 18]*(s[3] + s[10]/2) + (HE[7, 11]*s[10])/2 - (HE[7, 12]*s[10])/2 - (HE[7, 14]*s[10])/2 + (HE[7, 19]*s[10])/2 - (HE[7, 32]*s[10])/2 - (HE[7, 34]*s[10])/2 + (HE[7, 35]*s[10])/2 - (HE[7, 40]*s[10])/2 - (HE[7, 58]*s[10])/2 + (HE[7, 61]*s[10])/2 + (HE[7, 69]*s[10])/2 - (HE[7, 72]*s[10])/2 + (HE[7, 92]*s[10])/2 - HE[7, 95]*s[10] + (HE[7, 98]*s[10])/2 + HE[7, 108]*s[11] + HE[7, 60]*(s[2] - s[7] - s[12]) + HE[7, 64]*(s[2] - s[7] - s[12]) + HE[7, 13]*(-s[10]/2 - s[13]) + HE[7, 15]*(-s[10]/2 - s[13]) - HE[7, 17]*s[13] + HE[7, 30]*s[13] - HE[7, 46]*s[13] + HE[7, 50]*s[13] + HE[7, 54]*s[13] + HE[7, 73]*s[13] - HE[7, 75]*s[13] + HE[7, 76]*s[13] - HE[7, 77]*s[13] + HE[7, 119]*s[13] - HE[7, 122]*s[13] - HE[7, 123]*s[13] + HE[7, 9]*(s[10]/2 + s[13]) + HE[7, 10]*(s[10]/2 + s[13]) + HE[7, 78]*(s[10]/2 + s[13]) + HE[7, 68]*(s[10]/2 + 2*s[13]) + HE[7, 33]*(-s[10]/2 - s[14]) + HE[7, 63]*(-s[10]/2 - s[14]) + HE[7, 65]*(-s[10]/2 - s[14]) + HE[7, 42]*s[14] + HE[7, 57]*s[14] - HE[7, 67]*s[14] - HE[7, 89]*s[14] - HE[7, 130]*s[14] - HE[7, 131]*s[14] + HE[7, 134]*s[14] + HE[7, 36]*(s[10]/2 + s[14]) + HE[7, 37]*(s[10]/2 + s[14]) + HE[7, 70]*(s[2] - s[8] - s[15]) + HE[7, 71]*(s[2] - s[8] - s[13] - s[15]) + HE[7, 79]*(-s[2] + s[8] + s[15]) + HE[7, 74]*(-s[2] + s[8] + s[13] + s[15]) + HE[7, 91]*(-s[9] - s[16]/2) + HE[7, 20]*(-s[13] - s[16]/2) + HE[7, 49]*(s[13] - s[16]/2) + HE[7, 26]*(-s[14] - s[16]/2) + HE[7, 29]*(-s[14] - s[16]/2) + HE[7, 87]*(-s[14] - s[16]/2) + HE[7, 59]*(s[2] - s[7] - s[12] - s[14] - s[16]/2) + HE[7, 80]*(s[14] - s[16]/2) + HE[7, 81]*(s[14] - s[16]/2) + HE[7, 24]*(s[13] + s[16]/2) + HE[7, 84]*(-s[14] + s[16]/2) + HE[7, 22]*(s[14] + s[16]/2) + HE[7, 66]*(s[14] + s[16]/2) + HE[7, 56]*(-s[2] + s[7] + s[12] + s[14] + s[16]/2) + HE[7, 23]*(s[13] + s[14] + s[16]/2) + HE[7, 62]*(s[10]/2 + 2*s[14] + s[16]/2) - (HE[7, 21]*s[16])/2 - (HE[7, 28]*s[16])/2 + (HE[7, 45]*s[16])/2 - (HE[7, 48]*s[16])/2 + (HE[7, 51]*s[16])/2 + (HE[7, 53]*s[16])/2 - (HE[7, 82]*s[16])/2 + (HE[7, 83]*s[16])/2 + (HE[7, 85]*s[16])/2 - (HE[7, 90]*s[16])/2 + HE[7, 146]*s[16] + HE[7, 147]*s[16] - HE[7, 149]*s[16] - HE[7, 150]*s[16] - (HE[7, 151]*s[16])/2 + (HE[7, 152]*s[16])/2 + HE[7, 153]*s[16], MHE[8][12] = (HE[7, 1]*s[1])/2 + (HE[7, 2]*s[1])/2 - (HE[7, 3]*s[1])/2 + (HE[7, 4]*s[1])/2 - (3*HE[7, 5]*s[1])/2 + (HE[7, 6]*s[1])/2 - (HE[7, 7]*s[1])/2 + HE[7, 64]*s[7] + HE[7, 19]*(-s[3] - s[10]/2) - (HE[7, 11]*s[10])/2 + (HE[7, 12]*s[10])/2 + (HE[7, 14]*s[10])/2 - (HE[7, 18]*s[10])/2 - (HE[7, 34]*s[10])/2 - (HE[7, 40]*s[10])/2 + (HE[7, 58]*s[10])/2 - (HE[7, 61]*s[10])/2 + (HE[7, 63]*s[10])/2 + (HE[7, 65]*s[10])/2 + (HE[7, 92]*s[10])/2 + HE[7, 93]*s[10] + HE[7, 94]*s[10] - HE[7, 96]*s[10] - HE[7, 97]*s[10] - (HE[7, 98]*s[10])/2 + HE[7, 99]*s[10] + HE[7, 53]*(-s[6] - s[11]/2) + HE[7, 30]*(s[4] + s[11]/2) - (HE[7, 20]*s[11])/2 + (HE[7, 24]*s[11])/2 - (HE[7, 25]*s[11])/2 + (HE[7, 31]*s[11])/2 - (HE[7, 45]*s[11])/2 - (HE[7, 47]*s[11])/2 + (HE[7, 48]*s[11])/2 - (HE[7, 52]*s[11])/2 - (HE[7, 71]*s[11])/2 + (HE[7, 74]*s[11])/2 + (HE[7, 82]*s[11])/2 - (HE[7, 85]*s[11])/2 + (HE[7, 101]*s[11])/2 + (HE[7, 102]*s[11])/2 - HE[7, 105]*s[11] + HE[7, 117]*s[12] + HE[7, 73]*(s[2] - s[8] - s[13]) + HE[7, 76]*(s[2] - s[8] - s[13]) + HE[7, 33]*(-s[10]/2 - s[14]) + HE[7, 26]*(-s[11]/2 - s[14]) + HE[7, 27]*(-s[11]/2 - s[14]) - HE[7, 29]*s[14] + HE[7, 42]*s[14] + HE[7, 56]*s[14] - HE[7, 59]*s[14] + HE[7, 66]*s[14] + HE[7, 86]*s[14] - HE[7, 87]*s[14] + HE[7, 88]*s[14] - HE[7, 89]*s[14] + HE[7, 129]*s[14] - HE[7, 132]*s[14] - HE[7, 133]*s[14] + HE[7, 62]*(-s[10]/2 + s[14]) + HE[7, 37]*(s[10]/2 + s[14]) + HE[7, 22]*(s[11]/2 + s[14]) + HE[7, 23]*(s[11]/2 + s[14]) + HE[7, 90]*(s[11]/2 + s[14]) + HE[7, 81]*(s[11]/2 + 2*s[14]) + HE[7, 15]*(-s[10]/2 - s[15]) + HE[7, 32]*(-s[10]/2 - s[15]) + HE[7, 41]*(-s[10]/2 - s[15]) + HE[7, 13]*(s[10]/2 - s[15]) + HE[7, 46]*(-s[11]/2 - s[15]) + HE[7, 75]*(-s[11]/2 - s[15]) + HE[7, 77]*(-s[11]/2 - s[15]) + HE[7, 72]*(s[2] - s[8] - s[10]/2 - s[13] - s[15]) - HE[7, 17]*s[15] + HE[7, 54]*s[15] + HE[7, 70]*s[15] - HE[7, 79]*s[15] + HE[7, 137]*s[15] - HE[7, 140]*s[15] - HE[7, 141]*s[15] + HE[7, 9]*(-s[10]/2 + s[15]) + HE[7, 10]*(-s[10]/2 + s[15]) + HE[7, 35]*(s[10]/2 + s[15]) + HE[7, 78]*(s[10]/2 + s[15]) + HE[7, 49]*(s[11]/2 + s[15]) + HE[7, 50]*(s[11]/2 + s[15]) + HE[7, 69]*(-s[2] + s[8] + s[10]/2 + s[13] + s[15]) + HE[7, 36]*(s[10]/2 + s[14] + s[15]) + HE[7, 68]*(s[10]/2 + s[11]/2 + 2*s[15]) + HE[7, 83]*(s[2] - s[9] - s[16]) + HE[7, 84]*(s[2] - s[9] - s[14] - s[16]) + HE[7, 91]*(-s[2] + s[9] + s[16]) + HE[7, 80]*(-s[2] + s[9] + s[14] + s[16]), MHE[8][13] = -(HE[7, 1]*s[1])/2 + (HE[7, 2]*s[1])/2 + (HE[7, 3]*s[1])/2 - (HE[7, 4]*s[1])/2 + (HE[7, 5]*s[1])/2 - (3*HE[7, 6]*s[1])/2 + (HE[7, 7]*s[1])/2 + HE[7, 76]*s[8] + HE[7, 12]*(s[2] - s[3] - s[10]) + HE[7, 19]*(-s[2] + s[3] + s[10]) + HE[7, 31]*(-s[4] - s[11]/2) + (HE[7, 20]*s[11])/2 - (HE[7, 24]*s[11])/2 + (HE[7, 25]*s[11])/2 - (HE[7, 30]*s[11])/2 - (HE[7, 47]*s[11])/2 - (HE[7, 52]*s[11])/2 + (HE[7, 71]*s[11])/2 - (HE[7, 74]*s[11])/2 + (HE[7, 75]*s[11])/2 + (HE[7, 77]*s[11])/2 - (HE[7, 101]*s[11])/2 + (HE[7, 102]*s[11])/2 + HE[7, 103]*s[11] + HE[7, 104]*s[11] - HE[7, 106]*s[11] - HE[7, 107]*s[11] + HE[7, 108]*s[11] + HE[7, 65]*(-s[7] - s[12]/2) + HE[7, 42]*(s[5] + s[12]/2) + (HE[7, 11]*s[12])/2 - (HE[7, 14]*s[12])/2 - (HE[7, 33]*s[12])/2 + (HE[7, 37]*s[12])/2 - (HE[7, 38]*s[12])/2 + (HE[7, 43]*s[12])/2 - (HE[7, 58]*s[12])/2 - (HE[7, 60]*s[12])/2 + (HE[7, 61]*s[12])/2 - (HE[7, 64]*s[12])/2 + (HE[7, 80]*s[12])/2 - (HE[7, 84]*s[12])/2 + (HE[7, 111]*s[12])/2 + (HE[7, 112]*s[12])/2 - HE[7, 115]*s[12] + HE[7, 126]*s[13] + HE[7, 86]*(s[2] - s[9] - s[14]) + HE[7, 88]*(s[2] - s[9] - s[14]) + HE[7, 13]*(s[2] - s[3] - s[10] - s[15]) + HE[7, 46]*(-s[11]/2 - s[15]) + HE[7, 32]*(-s[12]/2 - s[15]) + HE[7, 39]*(-s[12]/2 - s[15]) + HE[7, 8]*s[15] - HE[7, 15]*s[15] + HE[7, 16]*s[15] - HE[7, 17]*s[15] - HE[7, 41]*s[15] + HE[7, 54]*s[15] + HE[7, 69]*s[15] - HE[7, 72]*s[15] + HE[7, 78]*s[15] + HE[7, 139]*s[15] - HE[7, 142]*s[15] - HE[7, 143]*s[15] + HE[7, 9]*(-s[2] + s[3] + s[10] + s[15]) + HE[7, 68]*(-s[11]/2 + s[15]) + HE[7, 50]*(s[11]/2 + s[15]) + HE[7, 18]*(s[12]/2 + s[15]) + HE[7, 35]*(s[12]/2 + s[15]) + HE[7, 36]*(s[12]/2 + s[15]) + HE[7, 10]*(s[12]/2 + 2*s[15]) + HE[7, 27]*(-s[11]/2 - s[16]) + HE[7, 45]*(-s[11]/2 - s[16]) + HE[7, 53]*(-s[11]/2 - s[16]) + HE[7, 26]*(s[11]/2 - s[16]) + HE[7, 59]*(-s[12]/2 - s[16]) + HE[7, 87]*(-s[12]/2 - s[16]) + HE[7, 89]*(-s[12]/2 - s[16]) + HE[7, 85]*(s[2] - s[9] - s[11]/2 - s[14] - s[16]) - HE[7, 29]*s[16] + HE[7, 66]*s[16] + HE[7, 83]*s[16] - HE[7, 91]*s[16] + HE[7, 147]*s[16] - HE[7, 150]*s[16] - HE[7, 151]*s[16] + HE[7, 22]*(-s[11]/2 + s[16]) + HE[7, 23]*(-s[11]/2 + s[16]) + HE[7, 48]*(s[11]/2 + s[16]) + HE[7, 90]*(s[11]/2 + s[16]) + HE[7, 56]*(s[12]/2 + s[16]) + HE[7, 62]*(s[12]/2 + s[16]) + HE[7, 82]*(-s[2] + s[9] + s[11]/2 + s[14] + s[16]) + HE[7, 49]*(s[11]/2 + s[15] + s[16]) + HE[7, 81]*(s[11]/2 + s[12]/2 + 2*s[16]), MHE[8][14] = (HE[7, 1]*s[1])/2 - (HE[7, 2]*s[1])/2 + (HE[7, 3]*s[1])/2 + (HE[7, 4]*s[1])/2 - (HE[7, 5]*s[1])/2 + (HE[7, 6]*s[1])/2 - (3*HE[7, 7]*s[1])/2 + HE[7, 88]*s[9] + HE[7, 12]*s[10] - HE[7, 19]*s[10] - HE[7, 41]*s[10] + HE[7, 78]*s[10] + HE[7, 94]*s[10] - HE[7, 97]*s[10] - HE[7, 98]*s[10] + HE[7, 25]*(s[2] - s[4] - s[11]) + HE[7, 31]*(-s[2] + s[4] + s[11]) + HE[7, 43]*(-s[5] - s[12]/2) + HE[7, 39]*(-s[10] - s[12]/2) + HE[7, 58]*(-s[10] - s[12]/2) + HE[7, 65]*(-s[10] - s[12]/2) + HE[7, 35]*(s[10] - s[12]/2) + HE[7, 36]*(s[10] - s[12]/2) + HE[7, 32]*(-s[10] + s[12]/2) + HE[7, 18]*(s[10] + s[12]/2) + HE[7, 61]*(s[10] + s[12]/2) + (HE[7, 33]*s[12])/2 - (HE[7, 37]*s[12])/2 + (HE[7, 38]*s[12])/2 - (HE[7, 42]*s[12])/2 - (HE[7, 60]*s[12])/2 - (HE[7, 64]*s[12])/2 - (HE[7, 80]*s[12])/2 + (HE[7, 84]*s[12])/2 + (HE[7, 87]*s[12])/2 + (HE[7, 89]*s[12])/2 - HE[7, 110]*s[12] - (HE[7, 111]*s[12])/2 + (HE[7, 112]*s[12])/2 + HE[7, 113]*s[12] + HE[7, 114]*s[12] - HE[7, 116]*s[12] + HE[7, 117]*s[12] + HE[7, 77]*(-s[8] - s[13]/2) + HE[7, 15]*(-s[10] - s[13]/2) + HE[7, 17]*(-s[10] - s[13]/2) + HE[7, 72]*(-s[10] - s[13]/2) + HE[7, 54]*(s[6] + s[13]/2) + HE[7, 68]*(s[10] + s[13]/2) + HE[7, 69]*(s[10] + s[13]/2) + HE[7, 10]*(2*s[10] + s[12]/2 + s[13]/2) + (HE[7, 9]*s[13])/2 - (HE[7, 13]*s[13])/2 - (HE[7, 20]*s[13])/2 + (HE[7, 24]*s[13])/2 - (HE[7, 44]*s[13])/2 - (HE[7, 46]*s[13])/2 + (HE[7, 50]*s[13])/2 + (HE[7, 55]*s[13])/2 - (HE[7, 71]*s[13])/2 - (HE[7, 73]*s[13])/2 + (HE[7, 74]*s[13])/2 - (HE[7, 76]*s[13])/2 + (HE[7, 121]*s[13])/2 + (HE[7, 122]*s[13])/2 - HE[7, 125]*s[13] + HE[7, 135]*s[14] + HE[7, 8]*(s[2] - s[3] - s[15]) + HE[7, 16]*(s[2] - s[3] - s[15]) + HE[7, 14]*(s[2] - s[3] - s[10] - s[12]/2 - s[15]) + HE[7, 11]*(-s[2] + s[3] + s[10] + s[12]/2 + s[15]) + HE[7, 26]*(s[2] - s[4] - s[11] - s[16]) + HE[7, 59]*(-s[12]/2 - s[16]) + HE[7, 45]*(-s[13]/2 - s[16]) + HE[7, 51]*(-s[13]/2 - s[16]) + HE[7, 21]*s[16] - HE[7, 27]*s[16] + HE[7, 28]*s[16] - HE[7, 29]*s[16] - HE[7, 53]*s[16] + HE[7, 66]*s[16] + HE[7, 82]*s[16] - HE[7, 85]*s[16] + HE[7, 90]*s[16] - HE[7, 146]*s[16] + HE[7, 149]*s[16] - HE[7, 152]*s[16] + HE[7, 22]*(-s[2] + s[4] + s[11] + s[16]) + HE[7, 81]*(-s[12]/2 + s[16]) + HE[7, 56]*(s[12]/2 + s[16]) + HE[7, 62]*(s[10] + s[12]/2 + s[16]) + HE[7, 30]*(s[13]/2 + s[16]) + HE[7, 48]*(s[13]/2 + s[16]) + HE[7, 49]*(s[13]/2 + s[16]) + HE[7, 23]*(s[13]/2 + 2*s[16]), MHE[8][15] = HE[7, 87]*(-s[2] + s[7] + s[9] + s[12] + s[14] + s[16]), MHE[8][16] = HE[7, 15]*(-s[2] + s[3] + s[8] + s[10] + s[13] + s[15]), MHE[8][17] = HE[7, 27]*(-s[2] + s[4] + s[9] + s[11] + s[14] + s[16]), MHE[8][18] = HE[7, 39]*(-s[2] + s[3] + s[5] + s[10] + s[12] + s[15]), MHE[8][19] = HE[7, 51]*(-s[2] + s[4] + s[6] + s[11] + s[13] + s[16]), MHE[8][20] = HE[7, 63]*(-s[2] + s[5] + s[7] + s[10] + s[12] + s[14]), MHE[8][21] = HE[7, 75]*(-s[2] + s[6] + s[8] + s[11] + s[13] + s[15]), MHE[8][22] = -(HE[7, 15]*s[8]) + 3*HE[7, 68]*s[8] + HE[7, 70]*s[8] - HE[7, 71]*s[8] - HE[7, 72]*s[8] + HE[7, 73]*s[8] - HE[7, 75]*s[8] + HE[7, 76]*s[8] - HE[7, 77]*s[8] + HE[7, 78]*s[8] - HE[7, 79]*s[8] - HE[7, 32]*s[12] + HE[7, 35]*s[12] + HE[7, 36]*s[12] - HE[7, 41]*s[12] + HE[7, 60]*s[12] + HE[7, 64]*s[12] + HE[7, 110]*s[12] - HE[7, 113]*s[12] - HE[7, 114]*s[12] - HE[7, 117]*s[12] + HE[7, 9]*(s[2] - s[3] - s[10] - s[13] - s[15]) + HE[7, 10]*(s[2] - s[3] - s[10] - s[13] - s[15]) + HE[7, 50]*(s[2] - s[6] - s[11] - s[13] - s[15]) + HE[7, 54]*(s[2] - s[6] - s[11] - s[13] - s[15]) + HE[7, 13]*(-s[2] + s[3] + s[10] + s[13] + s[15]) + HE[7, 17]*(-s[2] + s[3] + s[10] + s[13] + s[15]) + HE[7, 46]*(-s[2] + s[6] + s[11] + s[13] + s[15]) + HE[7, 56]*(-s[12] - s[16]/2) + HE[7, 59]*(s[12] + s[16]/2) + HE[7, 49]*(s[2] - s[6] - s[11] - s[13] - s[15] + s[16]/2) - (HE[7, 20]*s[16])/2 + (HE[7, 21]*s[16])/2 - (HE[7, 22]*s[16])/2 + (HE[7, 23]*s[16])/2 + (HE[7, 24]*s[16])/2 + (HE[7, 26]*s[16])/2 + (HE[7, 28]*s[16])/2 + (HE[7, 29]*s[16])/2 + HE[7, 30]*s[16] - (HE[7, 45]*s[16])/2 + (HE[7, 48]*s[16])/2 - (HE[7, 51]*s[16])/2 - (HE[7, 53]*s[16])/2 - (HE[7, 62]*s[16])/2 - (HE[7, 66]*s[16])/2 - (HE[7, 80]*s[16])/2 + (HE[7, 81]*s[16])/2 + (HE[7, 82]*s[16])/2 + (HE[7, 83]*s[16])/2 + (HE[7, 84]*s[16])/2 - (HE[7, 85]*s[16])/2 + (HE[7, 87]*s[16])/2 + (HE[7, 90]*s[16])/2 - (HE[7, 91]*s[16])/2 - HE[7, 147]*s[16] + (HE[7, 151]*s[16])/2 - (HE[7, 152]*s[16])/2 - HE[7, 153]*s[16], MHE[8][23] = -(HE[7, 27]*s[9]) + 3*HE[7, 81]*s[9] + HE[7, 83]*s[9] - HE[7, 84]*s[9] - HE[7, 85]*s[9] + HE[7, 86]*s[9] - HE[7, 87]*s[9] + HE[7, 88]*s[9] - HE[7, 89]*s[9] + HE[7, 90]*s[9] - HE[7, 91]*s[9] - (HE[7, 9]*s[10])/2 + (HE[7, 10]*s[10])/2 + (HE[7, 11]*s[10])/2 + (HE[7, 12]*s[10])/2 + (HE[7, 13]*s[10])/2 - (HE[7, 14]*s[10])/2 + (HE[7, 15]*s[10])/2 + (HE[7, 18]*s[10])/2 - (HE[7, 19]*s[10])/2 + (HE[7, 32]*s[10])/2 - (HE[7, 33]*s[10])/2 + (HE[7, 34]*s[10])/2 - (HE[7, 35]*s[10])/2 + (HE[7, 36]*s[10])/2 + (HE[7, 37]*s[10])/2 + (HE[7, 40]*s[10])/2 + (HE[7, 41]*s[10])/2 + HE[7, 42]*s[10] - (HE[7, 58]*s[10])/2 + (HE[7, 61]*s[10])/2 - (HE[7, 63]*s[10])/2 - (HE[7, 65]*s[10])/2 - (HE[7, 68]*s[10])/2 - (HE[7, 78]*s[10])/2 - (HE[7, 92]*s[10])/2 - HE[7, 94]*s[10] + (HE[7, 98]*s[10])/2 - HE[7, 99]*s[10] + HE[7, 69]*(-s[10]/2 - s[13]) - HE[7, 45]*s[13] + HE[7, 48]*s[13] + HE[7, 49]*s[13] - HE[7, 53]*s[13] + HE[7, 73]*s[13] + HE[7, 76]*s[13] + HE[7, 120]*s[13] - HE[7, 123]*s[13] - HE[7, 124]*s[13] - HE[7, 126]*s[13] + HE[7, 72]*(s[10]/2 + s[13]) + HE[7, 22]*(s[2] - s[4] - s[11] - s[14] - s[16]) + HE[7, 23]*(s[2] - s[4] - s[11] - s[14] - s[16]) + HE[7, 56]*(s[2] - s[7] - s[12] - s[14] - s[16]) + HE[7, 66]*(s[2] - s[7] - s[12] - s[14] - s[16]) + HE[7, 62]*(s[2] - s[7] + s[10]/2 - s[12] - s[14] - s[16]) + HE[7, 26]*(-s[2] + s[4] + s[11] + s[14] + s[16]) + HE[7, 29]*(-s[2] + s[4] + s[11] + s[14] + s[16]) + HE[7, 59]*(-s[2] + s[7] + s[12] + s[14] + s[16]), MHE[8][24] = HE[7, 8]*s[3] + 3*HE[7, 10]*s[3] + HE[7, 12]*s[3] - HE[7, 13]*s[3] - HE[7, 14]*s[3] - HE[7, 15]*s[3] + HE[7, 16]*s[3] - HE[7, 17]*s[3] + HE[7, 18]*s[3] - HE[7, 19]*s[3] - HE[7, 39]*s[3] - (HE[7, 20]*s[11])/2 - (HE[7, 22]*s[11])/2 + (HE[7, 23]*s[11])/2 + (HE[7, 24]*s[11])/2 + (HE[7, 25]*s[11])/2 + (HE[7, 26]*s[11])/2 + (HE[7, 27]*s[11])/2 + (HE[7, 30]*s[11])/2 - (HE[7, 31]*s[11])/2 + (HE[7, 45]*s[11])/2 - (HE[7, 46]*s[11])/2 + (HE[7, 47]*s[11])/2 - (HE[7, 48]*s[11])/2 + (HE[7, 49]*s[11])/2 + (HE[7, 50]*s[11])/2 + (HE[7, 52]*s[11])/2 + (HE[7, 53]*s[11])/2 + HE[7, 54]*s[11] - (HE[7, 71]*s[11])/2 + (HE[7, 74]*s[11])/2 - (HE[7, 75]*s[11])/2 - (HE[7, 77]*s[11])/2 - (HE[7, 81]*s[11])/2 - (HE[7, 90]*s[11])/2 + (HE[7, 101]*s[11])/2 - (HE[7, 102]*s[11])/2 - HE[7, 104]*s[11] - HE[7, 108]*s[11] + HE[7, 82]*(-s[11]/2 - s[14]) - HE[7, 58]*s[14] + HE[7, 61]*s[14] + HE[7, 62]*s[14] - HE[7, 65]*s[14] + HE[7, 86]*s[14] + HE[7, 88]*s[14] + HE[7, 130]*s[14] - HE[7, 133]*s[14] - HE[7, 134]*s[14] - HE[7, 135]*s[14] + HE[7, 85]*(s[11]/2 + s[14]) + HE[7, 35]*(s[2] - s[5] - s[10] - s[12] - s[15]) + HE[7, 36]*(s[2] - s[5] - s[10] - s[12] - s[15]) + HE[7, 69]*(s[2] - s[8] - s[10] - s[13] - s[15]) + HE[7, 78]*(s[2] - s[8] - s[10] - s[13] - s[15]) + HE[7, 68]*(s[2] - s[8] - s[10] + s[11]/2 - s[13] - s[15]) + HE[7, 32]*(-s[2] + s[5] + s[10] + s[12] + s[15]) + HE[7, 41]*(-s[2] + s[5] + s[10] + s[12] + s[15]) + HE[7, 72]*(-s[2] + s[8] + s[10] + s[13] + s[15]), MHE[8][25] = -(HE[7, 20]*s[4]) + HE[7, 21]*s[4] + 3*HE[7, 23]*s[4] + HE[7, 25]*s[4] - HE[7, 26]*s[4] - HE[7, 27]*s[4] + HE[7, 28]*s[4] - HE[7, 29]*s[4] + HE[7, 30]*s[4] - HE[7, 31]*s[4] - HE[7, 51]*s[4] - (HE[7, 10]*s[12])/2 - (HE[7, 18]*s[12])/2 + (HE[7, 32]*s[12])/2 - (HE[7, 33]*s[12])/2 - (HE[7, 35]*s[12])/2 + (HE[7, 36]*s[12])/2 + (HE[7, 37]*s[12])/2 + (HE[7, 38]*s[12])/2 + (HE[7, 39]*s[12])/2 + (HE[7, 42]*s[12])/2 - (HE[7, 43]*s[12])/2 + (HE[7, 56]*s[12])/2 + (HE[7, 58]*s[12])/2 - (HE[7, 59]*s[12])/2 + (HE[7, 60]*s[12])/2 - (HE[7, 61]*s[12])/2 + (HE[7, 62]*s[12])/2 + (HE[7, 64]*s[12])/2 + (HE[7, 65]*s[12])/2 + HE[7, 66]*s[12] + (HE[7, 80]*s[12])/2 - (HE[7, 84]*s[12])/2 - (HE[7, 87]*s[12])/2 - (HE[7, 89]*s[12])/2 + (HE[7, 111]*s[12])/2 - (HE[7, 112]*s[12])/2 - HE[7, 114]*s[12] - HE[7, 117]*s[12] + HE[7, 11]*(-s[12]/2 - s[15]) + HE[7, 8]*s[15] + HE[7, 16]*s[15] + HE[7, 68]*s[15] - HE[7, 71]*s[15] + HE[7, 74]*s[15] - HE[7, 77]*s[15] - HE[7, 137]*s[15] + HE[7, 140]*s[15] - HE[7, 143]*s[15] - HE[7, 144]*s[15] + HE[7, 14]*(s[12]/2 + s[15]) + HE[7, 48]*(s[2] - s[6] - s[11] - s[13] - s[16]) + HE[7, 49]*(s[2] - s[6] - s[11] - s[13] - s[16]) + HE[7, 82]*(s[2] - s[9] - s[11] - s[14] - s[16]) + HE[7, 90]*(s[2] - s[9] - s[11] - s[14] - s[16]) + HE[7, 81]*(s[2] - s[9] - s[11] + s[12]/2 - s[14] - s[16]) + HE[7, 45]*(-s[2] + s[6] + s[11] + s[13] + s[16]) + HE[7, 53]*(-s[2] + s[6] + s[11] + s[13] + s[16]) + HE[7, 85]*(-s[2] + s[9] + s[11] + s[14] + s[16]), MHE[8][26] = -(HE[7, 32]*s[5]) - HE[7, 33]*s[5] + HE[7, 34]*s[5] + 3*HE[7, 36]*s[5] + HE[7, 38]*s[5] - HE[7, 39]*s[5] + HE[7, 40]*s[5] - HE[7, 41]*s[5] + HE[7, 42]*s[5] - HE[7, 43]*s[5] - HE[7, 63]*s[5] + (HE[7, 9]*s[13])/2 - (HE[7, 13]*s[13])/2 - (HE[7, 15]*s[13])/2 - (HE[7, 17]*s[13])/2 - (HE[7, 23]*s[13])/2 - (HE[7, 30]*s[13])/2 + (HE[7, 44]*s[13])/2 + (HE[7, 45]*s[13])/2 - (HE[7, 46]*s[13])/2 - (HE[7, 48]*s[13])/2 + (HE[7, 49]*s[13])/2 + (HE[7, 50]*s[13])/2 + (HE[7, 51]*s[13])/2 + (HE[7, 54]*s[13])/2 - (HE[7, 55]*s[13])/2 + (HE[7, 68]*s[13])/2 + (HE[7, 69]*s[13])/2 + (HE[7, 71]*s[13])/2 - (HE[7, 72]*s[13])/2 + (HE[7, 73]*s[13])/2 - (HE[7, 74]*s[13])/2 + (HE[7, 76]*s[13])/2 + (HE[7, 77]*s[13])/2 + HE[7, 78]*s[13] + (HE[7, 121]*s[13])/2 - (HE[7, 122]*s[13])/2 - HE[7, 124]*s[13] - HE[7, 126]*s[13] + HE[7, 61]*(s[2] - s[7] - s[10] - s[12] - s[14]) + HE[7, 62]*(s[2] - s[7] - s[10] - s[12] - s[14]) + HE[7, 58]*(-s[2] + s[7] + s[10] + s[12] + s[14]) + HE[7, 65]*(-s[2] + s[7] + s[10] + s[12] + s[14]) + HE[7, 11]*(s[2] - s[3] - s[10] - s[12] - s[15]) + HE[7, 18]*(s[2] - s[3] - s[10] - s[12] - s[15]) + HE[7, 10]*(s[2] - s[3] - s[10] - s[12] + s[13]/2 - s[15]) + HE[7, 14]*(-s[2] + s[3] + s[10] + s[12] + s[15]) + HE[7, 24]*(-s[13]/2 - s[16]) + HE[7, 21]*s[16] + HE[7, 28]*s[16] + HE[7, 80]*s[16] + HE[7, 81]*s[16] - HE[7, 84]*s[16] - HE[7, 89]*s[16] - HE[7, 146]*s[16] - HE[7, 147]*s[16] + HE[7, 150]*s[16] - HE[7, 153]*s[16] + HE[7, 20]*(s[13]/2 + s[16]), MHE[8][27] = HE[7, 44]*s[6] - HE[7, 45]*s[6] - HE[7, 46]*s[6] + HE[7, 47]*s[6] + 3*HE[7, 49]*s[6] - HE[7, 51]*s[6] + HE[7, 52]*s[6] - HE[7, 53]*s[6] + HE[7, 54]*s[6] - HE[7, 55]*s[6] - HE[7, 75]*s[6] + HE[7, 9]*s[10] + HE[7, 10]*s[10] - HE[7, 13]*s[10] - HE[7, 17]*s[10] + HE[7, 34]*s[10] + HE[7, 40]*s[10] - HE[7, 93]*s[10] - HE[7, 94]*s[10] + HE[7, 97]*s[10] - HE[7, 99]*s[10] + HE[7, 37]*(-s[10] - s[14]/2) + HE[7, 33]*(s[10] + s[14]/2) + (HE[7, 22]*s[14])/2 - (HE[7, 26]*s[14])/2 - (HE[7, 27]*s[14])/2 - (HE[7, 29]*s[14])/2 - (HE[7, 36]*s[14])/2 - (HE[7, 42]*s[14])/2 + (HE[7, 56]*s[14])/2 + (HE[7, 57]*s[14])/2 + (HE[7, 58]*s[14])/2 - (HE[7, 59]*s[14])/2 - (HE[7, 61]*s[14])/2 + (HE[7, 62]*s[14])/2 + (HE[7, 63]*s[14])/2 + (HE[7, 66]*s[14])/2 - (HE[7, 67]*s[14])/2 - (HE[7, 80]*s[14])/2 + (HE[7, 81]*s[14])/2 + (HE[7, 82]*s[14])/2 + (HE[7, 84]*s[14])/2 - (HE[7, 85]*s[14])/2 + (HE[7, 86]*s[14])/2 + (HE[7, 88]*s[14])/2 + (HE[7, 89]*s[14])/2 + HE[7, 90]*s[14] + (HE[7, 131]*s[14])/2 - (HE[7, 132]*s[14])/2 - HE[7, 134]*s[14] - HE[7, 135]*s[14] + HE[7, 68]*(s[2] - s[8] - s[11] - s[13] - s[15]) + HE[7, 74]*(s[2] - s[8] - s[11] - s[13] - s[15]) + HE[7, 71]*(-s[2] + s[8] + s[11] + s[13] + s[15]) + HE[7, 77]*(-s[2] + s[8] + s[11] + s[13] + s[15]) + HE[7, 24]*(s[2] - s[4] - s[11] - s[13] - s[16]) + HE[7, 30]*(s[2] - s[4] - s[11] - s[13] - s[16]) + HE[7, 23]*(s[2] - s[4] - s[11] - s[13] + s[14]/2 - s[16]) + HE[7, 20]*(-s[2] + s[4] + s[11] + s[13] + s[16]), MHE[8][28] = HE[7, 57]*s[7] - HE[7, 58]*s[7] - HE[7, 59]*s[7] + HE[7, 60]*s[7] + 3*HE[7, 62]*s[7] - HE[7, 63]*s[7] + HE[7, 64]*s[7] - HE[7, 65]*s[7] + HE[7, 66]*s[7] - HE[7, 67]*s[7] - HE[7, 87]*s[7] + HE[7, 22]*s[11] + HE[7, 23]*s[11] - HE[7, 26]*s[11] - HE[7, 29]*s[11] + HE[7, 47]*s[11] + HE[7, 52]*s[11] - HE[7, 103]*s[11] - HE[7, 104]*s[11] + HE[7, 107]*s[11] - HE[7, 108]*s[11] + HE[7, 37]*(s[2] - s[5] - s[10] - s[12] - s[14]) + HE[7, 42]*(s[2] - s[5] - s[10] - s[12] - s[14]) + HE[7, 33]*(-s[2] + s[5] + s[10] + s[12] + s[14]) + HE[7, 50]*(-s[11] - s[15]/2) + HE[7, 46]*(s[11] + s[15]/2) + HE[7, 36]*(s[2] - s[5] - s[10] - s[12] - s[14] + s[15]/2) + (HE[7, 8]*s[15])/2 - (HE[7, 9]*s[15])/2 + (HE[7, 10]*s[15])/2 + (HE[7, 11]*s[15])/2 + (HE[7, 13]*s[15])/2 - (HE[7, 14]*s[15])/2 + (HE[7, 16]*s[15])/2 + (HE[7, 17]*s[15])/2 + HE[7, 18]*s[15] - (HE[7, 32]*s[15])/2 + (HE[7, 35]*s[15])/2 - (HE[7, 39]*s[15])/2 - (HE[7, 41]*s[15])/2 - (HE[7, 49]*s[15])/2 - (HE[7, 54]*s[15])/2 + (HE[7, 68]*s[15])/2 + (HE[7, 69]*s[15])/2 + (HE[7, 70]*s[15])/2 + (HE[7, 71]*s[15])/2 - (HE[7, 72]*s[15])/2 - (HE[7, 74]*s[15])/2 + (HE[7, 75]*s[15])/2 + (HE[7, 78]*s[15])/2 - (HE[7, 79]*s[15])/2 - HE[7, 137]*s[15] + (HE[7, 141]*s[15])/2 - (HE[7, 142]*s[15])/2 - HE[7, 144]*s[15] + HE[7, 80]*(s[2] - s[9] - s[12] - s[14] - s[16]) + HE[7, 81]*(s[2] - s[9] - s[12] - s[14] - s[16]) + HE[7, 84]*(-s[2] + s[9] + s[12] + s[14] + s[16]) + HE[7, 89]*(-s[2] + s[9] + s[12] + s[14] + s[16]), MHE[8][29] = HO[7, 1]*s[1] + HO[7, 16]*s[3] + HO[7, 66]*s[7] + HO[7, 89]*s[9] + HO[7, 11]*s[10] - HO[7, 14]*s[10] + HO[7, 18]*s[10] + HO[7, 34]*s[10] + 2*HO[7, 36]*s[10] - HO[7, 39]*s[10] + HO[7, 40]*s[10] - HO[7, 41]*s[10] + HO[7, 42]*s[10] - HO[7, 58]*s[10] + HO[7, 61]*s[10] + HO[7, 62]*s[10] - HO[7, 63]*s[10] - HO[7, 65]*s[10] + HO[7, 78]*s[10] - HO[7, 92]*s[10] - HO[7, 93]*s[10] + HO[7, 96]*s[10] - HO[7, 25]*s[11] + HO[7, 27]*s[11] + HO[7, 29]*s[11] + HO[7, 31]*s[11] + HO[7, 53]*s[11] - HO[7, 81]*s[11] - HO[7, 82]*s[11] + HO[7, 85]*s[11] - HO[7, 90]*s[11] + HO[7, 101]*s[11] - HO[7, 104]*s[11] + HO[7, 107]*s[11] + HO[7, 38]*(s[2] - s[5] - s[12]) + HO[7, 32]*(s[2] - s[5] - s[10] - s[12]) + HO[7, 43]*(-s[2] + s[5] + s[12]) + HO[7, 35]*(-s[2] + s[5] + s[10] + s[12]) + HO[7, 69]*(s[10] - s[13]/2) + HO[7, 23]*(-2*s[11] - s[13]/2) + HO[7, 30]*(-s[11] - s[13]/2) + HO[7, 74]*(-s[11] - s[13]/2) + HO[7, 68]*(s[10] - s[11] - s[13]/2) + HO[7, 45]*(s[11] - s[13]/2) + HO[7, 55]*(s[6] + s[13]/2) + HO[7, 72]*(-s[10] + s[13]/2) + HO[7, 10]*(s[10] + s[13]/2) + HO[7, 48]*(-s[11] + s[13]/2) + HO[7, 49]*(-s[11] + s[13]/2) + HO[7, 51]*(s[11] + s[13]/2) + HO[7, 71]*(s[11] + s[13]/2) + HO[7, 77]*(s[11] + s[13]/2) + (HO[7, 9]*s[13])/2 - (HO[7, 13]*s[13])/2 - (HO[7, 15]*s[13])/2 - (HO[7, 17]*s[13])/2 - (HO[7, 44]*s[13])/2 - (HO[7, 46]*s[13])/2 + (HO[7, 50]*s[13])/2 + (HO[7, 54]*s[13])/2 + (HO[7, 73]*s[13])/2 + (HO[7, 76]*s[13])/2 + HO[7, 119]*s[13] + HO[7, 120]*s[13] + (HO[7, 121]*s[13])/2 - (HO[7, 122]*s[13])/2 - HO[7, 123]*s[13] - HO[7, 124]*s[13] - HO[7, 126]*s[13] + HO[7, 136]*s[14] + HO[7, 144]*s[15] + HO[7, 24]*(s[2] - s[4] - s[11] - s[13]/2 - s[16]) + HO[7, 21]*(-s[2] + s[4] + s[16]) + HO[7, 28]*(-s[2] + s[4] + s[16]) + HO[7, 20]*(-s[2] + s[4] + s[11] + s[13]/2 + s[16]), MHE[8][30] = HO[7, 2]*s[1] + HO[7, 17]*s[3] + HO[7, 28]*s[4] + HO[7, 78]*s[8] + HO[7, 34]*(-s[2] + s[5] + s[10]) + HO[7, 40]*(-s[2] + s[5] + s[10]) - HO[7, 20]*s[11] + HO[7, 24]*s[11] + HO[7, 30]*s[11] + HO[7, 47]*s[11] + 2*HO[7, 49]*s[11] - HO[7, 51]*s[11] + HO[7, 52]*s[11] - HO[7, 53]*s[11] + HO[7, 54]*s[11] + HO[7, 68]*s[11] - HO[7, 71]*s[11] + HO[7, 74]*s[11] - HO[7, 75]*s[11] - HO[7, 77]*s[11] + HO[7, 90]*s[11] - HO[7, 102]*s[11] - HO[7, 103]*s[11] + HO[7, 106]*s[11] - HO[7, 10]*s[12] - HO[7, 11]*s[12] + HO[7, 14]*s[12] - HO[7, 18]*s[12] - HO[7, 38]*s[12] + HO[7, 39]*s[12] + HO[7, 41]*s[12] + HO[7, 43]*s[12] + HO[7, 65]*s[12] + HO[7, 110]*s[12] + HO[7, 111]*s[12] - HO[7, 114]*s[12] + HO[7, 44]*(s[2] - s[6] - s[13]) + HO[7, 45]*(s[2] - s[6] - s[11] - s[13]) + HO[7, 55]*(-s[2] + s[6] + s[13]) + HO[7, 48]*(-s[2] + s[6] + s[11] + s[13]) + HO[7, 82]*(s[11] - s[14]/2) + HO[7, 36]*(-2*s[12] - s[14]/2) + HO[7, 42]*(-s[12] - s[14]/2) + HO[7, 80]*(-s[12] - s[14]/2) + HO[7, 37]*(s[2] - s[5] - s[10] - s[12] - s[14]/2) + HO[7, 81]*(s[11] - s[12] - s[14]/2) + HO[7, 58]*(s[12] - s[14]/2) + HO[7, 67]*(s[7] + s[14]/2) + HO[7, 85]*(-s[11] + s[14]/2) + HO[7, 23]*(s[11] + s[14]/2) + HO[7, 61]*(-s[12] + s[14]/2) + HO[7, 62]*(-s[12] + s[14]/2) + HO[7, 63]*(s[12] + s[14]/2) + HO[7, 84]*(s[12] + s[14]/2) + HO[7, 89]*(s[12] + s[14]/2) + HO[7, 33]*(-s[2] + s[5] + s[10] + s[12] + s[14]/2) + (HO[7, 22]*s[14])/2 - (HO[7, 26]*s[14])/2 - (HO[7, 27]*s[14])/2 - (HO[7, 29]*s[14])/2 + (HO[7, 56]*s[14])/2 - (HO[7, 57]*s[14])/2 - (HO[7, 59]*s[14])/2 + (HO[7, 66]*s[14])/2 + (HO[7, 86]*s[14])/2 + (HO[7, 88]*s[14])/2 + HO[7, 129]*s[14] + HO[7, 130]*s[14] + (HO[7, 131]*s[14])/2 - (HO[7, 132]*s[14])/2 - HO[7, 133]*s[14] - HO[7, 134]*s[14] - HO[7, 135]*s[14] + HO[7, 145]*s[15] + HO[7, 153]*s[16], MHE[8][31] = HO[7, 3]*s[1] + HO[7, 29]*s[4] + HO[7, 40]*s[5] + HO[7, 90]*s[9] + HO[7, 99]*s[10] + HO[7, 47]*(-s[2] + s[6] + s[11]) + HO[7, 52]*(-s[2] + s[6] + s[11]) + HO[7, 18]*s[12] - HO[7, 33]*s[12] + HO[7, 37]*s[12] + HO[7, 42]*s[12] + HO[7, 60]*s[12] + 2*HO[7, 62]*s[12] - HO[7, 63]*s[12] + HO[7, 64]*s[12] - HO[7, 65]*s[12] + HO[7, 66]*s[12] + HO[7, 80]*s[12] + HO[7, 81]*s[12] - HO[7, 84]*s[12] - HO[7, 87]*s[12] - HO[7, 89]*s[12] - HO[7, 112]*s[12] - HO[7, 113]*s[12] + HO[7, 116]*s[12] + HO[7, 20]*s[13] - HO[7, 23]*s[13] - HO[7, 24]*s[13] - HO[7, 30]*s[13] - HO[7, 44]*s[13] + HO[7, 51]*s[13] + HO[7, 53]*s[13] + HO[7, 55]*s[13] + HO[7, 77]*s[13] + HO[7, 120]*s[13] + HO[7, 121]*s[13] - HO[7, 124]*s[13] + HO[7, 57]*(s[2] - s[7] - s[14]) + HO[7, 58]*(s[2] - s[7] - s[12] - s[14]) + HO[7, 67]*(-s[2] + s[7] + s[14]) + HO[7, 61]*(-s[2] + s[7] + s[12] + s[14]) + HO[7, 11]*(s[12] - s[15]/2) + HO[7, 49]*(-2*s[13] - s[15]/2) + HO[7, 9]*(-s[13] - s[15]/2) + HO[7, 54]*(-s[13] - s[15]/2) + HO[7, 50]*(s[2] - s[6] - s[11] - s[13] - s[15]/2) + HO[7, 10]*(s[12] - s[13] - s[15]/2) + HO[7, 71]*(s[13] - s[15]/2) + HO[7, 79]*(s[8] + s[15]/2) + HO[7, 14]*(-s[12] + s[15]/2) + HO[7, 36]*(s[12] + s[15]/2) + HO[7, 68]*(-s[13] + s[15]/2) + HO[7, 74]*(-s[13] + s[15]/2) + HO[7, 13]*(s[13] + s[15]/2) + HO[7, 17]*(s[13] + s[15]/2) + HO[7, 75]*(s[13] + s[15]/2) + HO[7, 46]*(-s[2] + s[6] + s[11] + s[13] + s[15]/2) + (HO[7, 8]*s[15])/2 + (HO[7, 16]*s[15])/2 - (HO[7, 32]*s[15])/2 + (HO[7, 35]*s[15])/2 - (HO[7, 39]*s[15])/2 - (HO[7, 41]*s[15])/2 + (HO[7, 69]*s[15])/2 - (HO[7, 70]*s[15])/2 - (HO[7, 72]*s[15])/2 + (HO[7, 78]*s[15])/2 - HO[7, 137]*s[15] + HO[7, 139]*s[15] + HO[7, 140]*s[15] + (HO[7, 141]*s[15])/2 - (HO[7, 142]*s[15])/2 - HO[7, 143]*s[15] - HO[7, 144]*s[15] + HO[7, 154]*s[16], MHE[8][32] = HO[7, 4]*s[1] + HO[7, 18]*s[3] + HO[7, 41]*s[5] + HO[7, 52]*s[6] + HO[7, 100]*s[10] + HO[7, 108]*s[11] + HO[7, 60]*(-s[2] + s[7] + s[12]) + HO[7, 64]*(-s[2] + s[7] + s[12]) + HO[7, 9]*s[13] + HO[7, 10]*s[13] - HO[7, 13]*s[13] - HO[7, 15]*s[13] - HO[7, 17]*s[13] + HO[7, 30]*s[13] - HO[7, 46]*s[13] + HO[7, 50]*s[13] + HO[7, 54]*s[13] + 2*HO[7, 68]*s[13] + HO[7, 73]*s[13] - HO[7, 75]*s[13] + HO[7, 76]*s[13] - HO[7, 77]*s[13] + HO[7, 78]*s[13] + HO[7, 119]*s[13] - HO[7, 122]*s[13] - HO[7, 123]*s[13] + HO[7, 33]*s[14] - HO[7, 36]*s[14] - HO[7, 37]*s[14] - HO[7, 42]*s[14] - HO[7, 57]*s[14] + HO[7, 63]*s[14] + HO[7, 65]*s[14] + HO[7, 67]*s[14] + HO[7, 89]*s[14] + HO[7, 130]*s[14] + HO[7, 131]*s[14] - HO[7, 134]*s[14] + HO[7, 70]*(s[2] - s[8] - s[15]) + HO[7, 71]*(s[2] - s[8] - s[13] - s[15]) + HO[7, 79]*(-s[2] + s[8] + s[15]) + HO[7, 74]*(-s[2] + s[8] + s[13] + s[15]) + HO[7, 24]*(s[13] - s[16]/2) + HO[7, 62]*(-2*s[14] - s[16]/2) + HO[7, 22]*(-s[14] - s[16]/2) + HO[7, 66]*(-s[14] - s[16]/2) + HO[7, 56]*(s[2] - s[7] - s[12] - s[14] - s[16]/2) + HO[7, 23]*(s[13] - s[14] - s[16]/2) + HO[7, 84]*(s[14] - s[16]/2) + HO[7, 91]*(s[9] + s[16]/2) + HO[7, 20]*(-s[13] + s[16]/2) + HO[7, 49]*(s[13] + s[16]/2) + HO[7, 80]*(-s[14] + s[16]/2) + HO[7, 81]*(-s[14] + s[16]/2) + HO[7, 26]*(s[14] + s[16]/2) + HO[7, 29]*(s[14] + s[16]/2) + HO[7, 87]*(s[14] + s[16]/2) + HO[7, 59]*(-s[2] + s[7] + s[12] + s[14] + s[16]/2) + (HO[7, 21]*s[16])/2 + (HO[7, 28]*s[16])/2 - (HO[7, 45]*s[16])/2 + (HO[7, 48]*s[16])/2 - (HO[7, 51]*s[16])/2 - (HO[7, 53]*s[16])/2 + (HO[7, 82]*s[16])/2 - (HO[7, 83]*s[16])/2 - (HO[7, 85]*s[16])/2 + (HO[7, 90]*s[16])/2 - HO[7, 146]*s[16] - HO[7, 147]*s[16] + HO[7, 149]*s[16] + HO[7, 150]*s[16] + (HO[7, 151]*s[16])/2 - (HO[7, 152]*s[16])/2 - HO[7, 153]*s[16], MHE[8][33] = HO[7, 5]*s[1] + HO[7, 30]*s[4] + HO[7, 53]*s[6] + HO[7, 64]*s[7] + HO[7, 19]*(s[3] + s[10]/2) + (HO[7, 11]*s[10])/2 - (HO[7, 12]*s[10])/2 - (HO[7, 14]*s[10])/2 + (HO[7, 18]*s[10])/2 + (HO[7, 34]*s[10])/2 + (HO[7, 40]*s[10])/2 - (HO[7, 58]*s[10])/2 + (HO[7, 61]*s[10])/2 - (HO[7, 63]*s[10])/2 - (HO[7, 65]*s[10])/2 - (HO[7, 92]*s[10])/2 - HO[7, 93]*s[10] - HO[7, 94]*s[10] + HO[7, 96]*s[10] + HO[7, 97]*s[10] + (HO[7, 98]*s[10])/2 - HO[7, 99]*s[10] + HO[7, 109]*s[11] + HO[7, 117]*s[12] + HO[7, 73]*(-s[2] + s[8] + s[13]) + HO[7, 76]*(-s[2] + s[8] + s[13]) + HO[7, 33]*(s[10]/2 - s[14]) + HO[7, 22]*s[14] + HO[7, 23]*s[14] - HO[7, 26]*s[14] - HO[7, 27]*s[14] - HO[7, 29]*s[14] + HO[7, 42]*s[14] + HO[7, 56]*s[14] - HO[7, 59]*s[14] + HO[7, 66]*s[14] + 2*HO[7, 81]*s[14] + HO[7, 86]*s[14] - HO[7, 87]*s[14] + HO[7, 88]*s[14] - HO[7, 89]*s[14] + HO[7, 90]*s[14] + HO[7, 129]*s[14] - HO[7, 132]*s[14] - HO[7, 133]*s[14] + HO[7, 37]*(-s[10]/2 + s[14]) + HO[7, 62]*(s[10]/2 + s[14]) + HO[7, 68]*(-s[10]/2 - 2*s[15]) + HO[7, 35]*(-s[10]/2 - s[15]) + HO[7, 78]*(-s[10]/2 - s[15]) + HO[7, 9]*(s[10]/2 - s[15]) + HO[7, 10]*(s[10]/2 - s[15]) + HO[7, 69]*(s[2] - s[8] - s[10]/2 - s[13] - s[15]) + HO[7, 36]*(-s[10]/2 + s[14] - s[15]) + HO[7, 17]*s[15] + HO[7, 46]*s[15] - HO[7, 49]*s[15] - HO[7, 50]*s[15] - HO[7, 54]*s[15] - HO[7, 70]*s[15] + HO[7, 75]*s[15] + HO[7, 77]*s[15] + HO[7, 79]*s[15] - HO[7, 137]*s[15] + HO[7, 140]*s[15] + HO[7, 141]*s[15] + HO[7, 13]*(-s[10]/2 + s[15]) + HO[7, 15]*(s[10]/2 + s[15]) + HO[7, 32]*(s[10]/2 + s[15]) + HO[7, 41]*(s[10]/2 + s[15]) + HO[7, 72]*(-s[2] + s[8] + s[10]/2 + s[13] + s[15]) + HO[7, 83]*(s[2] - s[9] - s[16]) + HO[7, 84]*(s[2] - s[9] - s[14] - s[16]) + HO[7, 91]*(-s[2] + s[9] + s[16]) + HO[7, 80]*(-s[2] + s[9] + s[14] + s[16]), MHE[8][34] = HO[7, 6]*s[1] + HO[7, 42]*s[5] + HO[7, 65]*s[7] + HO[7, 76]*s[8] + HO[7, 12]*(s[2] - s[3] - s[10]) + HO[7, 19]*(-s[2] + s[3] + s[10]) + HO[7, 31]*(s[4] + s[11]/2) - (HO[7, 20]*s[11])/2 + (HO[7, 24]*s[11])/2 - (HO[7, 25]*s[11])/2 + (HO[7, 30]*s[11])/2 + (HO[7, 47]*s[11])/2 + (HO[7, 52]*s[11])/2 - (HO[7, 71]*s[11])/2 + (HO[7, 74]*s[11])/2 - (HO[7, 75]*s[11])/2 - (HO[7, 77]*s[11])/2 + (HO[7, 101]*s[11])/2 - (HO[7, 102]*s[11])/2 - HO[7, 103]*s[11] - HO[7, 104]*s[11] + HO[7, 106]*s[11] + HO[7, 107]*s[11] - HO[7, 108]*s[11] + HO[7, 118]*s[12] + HO[7, 126]*s[13] + HO[7, 86]*(-s[2] + s[9] + s[14]) + HO[7, 88]*(-s[2] + s[9] + s[14]) + HO[7, 13]*(s[2] - s[3] - s[10] - s[15]) + HO[7, 46]*(s[11]/2 - s[15]) + HO[7, 8]*s[15] + 2*HO[7, 10]*s[15] - HO[7, 15]*s[15] + HO[7, 16]*s[15] - HO[7, 17]*s[15] + HO[7, 18]*s[15] - HO[7, 32]*s[15] + HO[7, 35]*s[15] + HO[7, 36]*s[15] - HO[7, 39]*s[15] - HO[7, 41]*s[15] + HO[7, 54]*s[15] + HO[7, 69]*s[15] - HO[7, 72]*s[15] + HO[7, 78]*s[15] + HO[7, 139]*s[15] - HO[7, 142]*s[15] - HO[7, 143]*s[15] + HO[7, 9]*(-s[2] + s[3] + s[10] + s[15]) + HO[7, 50]*(-s[11]/2 + s[15]) + HO[7, 68]*(s[11]/2 + s[15]) + HO[7, 81]*(-s[11]/2 - 2*s[16]) + HO[7, 48]*(-s[11]/2 - s[16]) + HO[7, 90]*(-s[11]/2 - s[16]) + HO[7, 22]*(s[11]/2 - s[16]) + HO[7, 23]*(s[11]/2 - s[16]) + HO[7, 82]*(s[2] - s[9] - s[11]/2 - s[14] - s[16]) + HO[7, 49]*(-s[11]/2 + s[15] - s[16]) + HO[7, 29]*s[16] - HO[7, 56]*s[16] + HO[7, 59]*s[16] - HO[7, 62]*s[16] - HO[7, 66]*s[16] - HO[7, 83]*s[16] + HO[7, 87]*s[16] + HO[7, 89]*s[16] + HO[7, 91]*s[16] - HO[7, 147]*s[16] + HO[7, 150]*s[16] + HO[7, 151]*s[16] + HO[7, 26]*(-s[11]/2 + s[16]) + HO[7, 27]*(s[11]/2 + s[16]) + HO[7, 45]*(s[11]/2 + s[16]) + HO[7, 53]*(s[11]/2 + s[16]) + HO[7, 85]*(-s[2] + s[9] + s[11]/2 + s[14] + s[16]), MHE[8][35] = HO[7, 7]*s[1] + HO[7, 54]*s[6] + HO[7, 77]*s[8] + HO[7, 88]*s[9] - HO[7, 12]*s[10] + HO[7, 15]*s[10] + HO[7, 17]*s[10] + HO[7, 19]*s[10] + HO[7, 41]*s[10] - HO[7, 68]*s[10] - HO[7, 69]*s[10] + HO[7, 72]*s[10] - HO[7, 78]*s[10] - HO[7, 94]*s[10] + HO[7, 97]*s[10] + HO[7, 98]*s[10] + HO[7, 25]*(s[2] - s[4] - s[11]) + HO[7, 31]*(-s[2] + s[4] + s[11]) + HO[7, 10]*(-2*s[10] - s[12]/2) + HO[7, 18]*(-s[10] - s[12]/2) + HO[7, 61]*(-s[10] - s[12]/2) + HO[7, 32]*(s[10] - s[12]/2) + HO[7, 43]*(s[5] + s[12]/2) + HO[7, 35]*(-s[10] + s[12]/2) + HO[7, 36]*(-s[10] + s[12]/2) + HO[7, 39]*(s[10] + s[12]/2) + HO[7, 58]*(s[10] + s[12]/2) + HO[7, 65]*(s[10] + s[12]/2) - (HO[7, 33]*s[12])/2 + (HO[7, 37]*s[12])/2 - (HO[7, 38]*s[12])/2 + (HO[7, 42]*s[12])/2 + (HO[7, 60]*s[12])/2 + (HO[7, 64]*s[12])/2 + (HO[7, 80]*s[12])/2 - (HO[7, 84]*s[12])/2 - (HO[7, 87]*s[12])/2 - (HO[7, 89]*s[12])/2 + HO[7, 110]*s[12] + (HO[7, 111]*s[12])/2 - (HO[7, 112]*s[12])/2 - HO[7, 113]*s[12] - HO[7, 114]*s[12] + HO[7, 116]*s[12] - HO[7, 117]*s[12] + HO[7, 127]*s[13] + HO[7, 135]*s[14] + HO[7, 11]*(s[2] - s[3] - s[10] - s[12]/2 - s[15]) + HO[7, 8]*(-s[2] + s[3] + s[15]) + HO[7, 16]*(-s[2] + s[3] + s[15]) + HO[7, 14]*(-s[2] + s[3] + s[10] + s[12]/2 + s[15]) + HO[7, 26]*(s[2] - s[4] - s[11] - s[16]) + HO[7, 59]*(s[12]/2 - s[16]) + HO[7, 21]*s[16] + 2*HO[7, 23]*s[16] - HO[7, 27]*s[16] + HO[7, 28]*s[16] - HO[7, 29]*s[16] + HO[7, 30]*s[16] - HO[7, 45]*s[16] + HO[7, 48]*s[16] + HO[7, 49]*s[16] - HO[7, 51]*s[16] - HO[7, 53]*s[16] + HO[7, 66]*s[16] + HO[7, 82]*s[16] - HO[7, 85]*s[16] + HO[7, 90]*s[16] - HO[7, 146]*s[16] + HO[7, 149]*s[16] - HO[7, 152]*s[16] + HO[7, 22]*(-s[2] + s[4] + s[11] + s[16]) + HO[7, 56]*(-s[12]/2 + s[16]) + HO[7, 62]*(-s[10] - s[12]/2 + s[16]) + HO[7, 81]*(s[12]/2 + s[16]), MHE[8][36] = -(HO[7, 15]*s[8]) + 3*HO[7, 68]*s[8] + HO[7, 70]*s[8] - HO[7, 71]*s[8] - HO[7, 72]*s[8] + HO[7, 73]*s[8] - HO[7, 75]*s[8] + HO[7, 76]*s[8] - HO[7, 77]*s[8] + HO[7, 78]*s[8] - HO[7, 79]*s[8] + HO[7, 32]*s[12] - HO[7, 35]*s[12] - HO[7, 36]*s[12] + HO[7, 41]*s[12] - HO[7, 60]*s[12] - HO[7, 64]*s[12] - HO[7, 110]*s[12] + HO[7, 113]*s[12] + HO[7, 114]*s[12] + HO[7, 117]*s[12] + HO[7, 9]*(s[2] - s[3] - s[10] - s[13] - s[15]) + HO[7, 10]*(s[2] - s[3] - s[10] - s[13] - s[15]) + HO[7, 50]*(s[2] - s[6] - s[11] - s[13] - s[15]) + HO[7, 54]*(s[2] - s[6] - s[11] - s[13] - s[15]) + HO[7, 13]*(-s[2] + s[3] + s[10] + s[13] + s[15]) + HO[7, 17]*(-s[2] + s[3] + s[10] + s[13] + s[15]) + HO[7, 46]*(-s[2] + s[6] + s[11] + s[13] + s[15]) + HO[7, 59]*(-s[12] - s[16]/2) + HO[7, 49]*(s[2] - s[6] - s[11] - s[13] - s[15] - s[16]/2) + HO[7, 56]*(s[12] + s[16]/2) + (HO[7, 20]*s[16])/2 - (HO[7, 21]*s[16])/2 + (HO[7, 22]*s[16])/2 - (HO[7, 23]*s[16])/2 - (HO[7, 24]*s[16])/2 - (HO[7, 26]*s[16])/2 - (HO[7, 28]*s[16])/2 - (HO[7, 29]*s[16])/2 - HO[7, 30]*s[16] + (HO[7, 45]*s[16])/2 - (HO[7, 48]*s[16])/2 + (HO[7, 51]*s[16])/2 + (HO[7, 53]*s[16])/2 + (HO[7, 62]*s[16])/2 + (HO[7, 66]*s[16])/2 + (HO[7, 80]*s[16])/2 - (HO[7, 81]*s[16])/2 - (HO[7, 82]*s[16])/2 - (HO[7, 83]*s[16])/2 - (HO[7, 84]*s[16])/2 + (HO[7, 85]*s[16])/2 - (HO[7, 87]*s[16])/2 - (HO[7, 90]*s[16])/2 + (HO[7, 91]*s[16])/2 + HO[7, 147]*s[16] - (HO[7, 151]*s[16])/2 + (HO[7, 152]*s[16])/2 + HO[7, 153]*s[16], MHE[8][37] = -(HO[7, 27]*s[9]) + 3*HO[7, 81]*s[9] + HO[7, 83]*s[9] - HO[7, 84]*s[9] - HO[7, 85]*s[9] + HO[7, 86]*s[9] - HO[7, 87]*s[9] + HO[7, 88]*s[9] - HO[7, 89]*s[9] + HO[7, 90]*s[9] - HO[7, 91]*s[9] + (HO[7, 9]*s[10])/2 - (HO[7, 10]*s[10])/2 - (HO[7, 11]*s[10])/2 - (HO[7, 12]*s[10])/2 - (HO[7, 13]*s[10])/2 + (HO[7, 14]*s[10])/2 - (HO[7, 15]*s[10])/2 - (HO[7, 18]*s[10])/2 + (HO[7, 19]*s[10])/2 - (HO[7, 32]*s[10])/2 + (HO[7, 33]*s[10])/2 - (HO[7, 34]*s[10])/2 + (HO[7, 35]*s[10])/2 - (HO[7, 36]*s[10])/2 - (HO[7, 37]*s[10])/2 - (HO[7, 40]*s[10])/2 - (HO[7, 41]*s[10])/2 - HO[7, 42]*s[10] + (HO[7, 58]*s[10])/2 - (HO[7, 61]*s[10])/2 + (HO[7, 63]*s[10])/2 + (HO[7, 65]*s[10])/2 + (HO[7, 68]*s[10])/2 + (HO[7, 78]*s[10])/2 + (HO[7, 92]*s[10])/2 + HO[7, 94]*s[10] - (HO[7, 98]*s[10])/2 + HO[7, 99]*s[10] + HO[7, 72]*(-s[10]/2 - s[13]) + HO[7, 45]*s[13] - HO[7, 48]*s[13] - HO[7, 49]*s[13] + HO[7, 53]*s[13] - HO[7, 73]*s[13] - HO[7, 76]*s[13] - HO[7, 120]*s[13] + HO[7, 123]*s[13] + HO[7, 124]*s[13] + HO[7, 126]*s[13] + HO[7, 69]*(s[10]/2 + s[13]) + HO[7, 22]*(s[2] - s[4] - s[11] - s[14] - s[16]) + HO[7, 23]*(s[2] - s[4] - s[11] - s[14] - s[16]) + HO[7, 56]*(s[2] - s[7] - s[12] - s[14] - s[16]) + HO[7, 66]*(s[2] - s[7] - s[12] - s[14] - s[16]) + HO[7, 62]*(s[2] - s[7] - s[10]/2 - s[12] - s[14] - s[16]) + HO[7, 26]*(-s[2] + s[4] + s[11] + s[14] + s[16]) + HO[7, 29]*(-s[2] + s[4] + s[11] + s[14] + s[16]) + HO[7, 59]*(-s[2] + s[7] + s[12] + s[14] + s[16]), MHE[8][38] = HO[7, 8]*s[3] + 3*HO[7, 10]*s[3] + HO[7, 12]*s[3] - HO[7, 13]*s[3] - HO[7, 14]*s[3] - HO[7, 15]*s[3] + HO[7, 16]*s[3] - HO[7, 17]*s[3] + HO[7, 18]*s[3] - HO[7, 19]*s[3] - HO[7, 39]*s[3] + (HO[7, 20]*s[11])/2 + (HO[7, 22]*s[11])/2 - (HO[7, 23]*s[11])/2 - (HO[7, 24]*s[11])/2 - (HO[7, 25]*s[11])/2 - (HO[7, 26]*s[11])/2 - (HO[7, 27]*s[11])/2 - (HO[7, 30]*s[11])/2 + (HO[7, 31]*s[11])/2 - (HO[7, 45]*s[11])/2 + (HO[7, 46]*s[11])/2 - (HO[7, 47]*s[11])/2 + (HO[7, 48]*s[11])/2 - (HO[7, 49]*s[11])/2 - (HO[7, 50]*s[11])/2 - (HO[7, 52]*s[11])/2 - (HO[7, 53]*s[11])/2 - HO[7, 54]*s[11] + (HO[7, 71]*s[11])/2 - (HO[7, 74]*s[11])/2 + (HO[7, 75]*s[11])/2 + (HO[7, 77]*s[11])/2 + (HO[7, 81]*s[11])/2 + (HO[7, 90]*s[11])/2 - (HO[7, 101]*s[11])/2 + (HO[7, 102]*s[11])/2 + HO[7, 104]*s[11] + HO[7, 108]*s[11] + HO[7, 85]*(-s[11]/2 - s[14]) + HO[7, 58]*s[14] - HO[7, 61]*s[14] - HO[7, 62]*s[14] + HO[7, 65]*s[14] - HO[7, 86]*s[14] - HO[7, 88]*s[14] - HO[7, 130]*s[14] + HO[7, 133]*s[14] + HO[7, 134]*s[14] + HO[7, 135]*s[14] + HO[7, 82]*(s[11]/2 + s[14]) + HO[7, 35]*(s[2] - s[5] - s[10] - s[12] - s[15]) + HO[7, 36]*(s[2] - s[5] - s[10] - s[12] - s[15]) + HO[7, 69]*(s[2] - s[8] - s[10] - s[13] - s[15]) + HO[7, 78]*(s[2] - s[8] - s[10] - s[13] - s[15]) + HO[7, 68]*(s[2] - s[8] - s[10] - s[11]/2 - s[13] - s[15]) + HO[7, 32]*(-s[2] + s[5] + s[10] + s[12] + s[15]) + HO[7, 41]*(-s[2] + s[5] + s[10] + s[12] + s[15]) + HO[7, 72]*(-s[2] + s[8] + s[10] + s[13] + s[15]), MHE[8][39] = -(HO[7, 20]*s[4]) + HO[7, 21]*s[4] + 3*HO[7, 23]*s[4] + HO[7, 25]*s[4] - HO[7, 26]*s[4] - HO[7, 27]*s[4] + HO[7, 28]*s[4] - HO[7, 29]*s[4] + HO[7, 30]*s[4] - HO[7, 31]*s[4] - HO[7, 51]*s[4] + (HO[7, 10]*s[12])/2 + (HO[7, 18]*s[12])/2 - (HO[7, 32]*s[12])/2 + (HO[7, 33]*s[12])/2 + (HO[7, 35]*s[12])/2 - (HO[7, 36]*s[12])/2 - (HO[7, 37]*s[12])/2 - (HO[7, 38]*s[12])/2 - (HO[7, 39]*s[12])/2 - (HO[7, 42]*s[12])/2 + (HO[7, 43]*s[12])/2 - (HO[7, 56]*s[12])/2 - (HO[7, 58]*s[12])/2 + (HO[7, 59]*s[12])/2 - (HO[7, 60]*s[12])/2 + (HO[7, 61]*s[12])/2 - (HO[7, 62]*s[12])/2 - (HO[7, 64]*s[12])/2 - (HO[7, 65]*s[12])/2 - HO[7, 66]*s[12] - (HO[7, 80]*s[12])/2 + (HO[7, 84]*s[12])/2 + (HO[7, 87]*s[12])/2 + (HO[7, 89]*s[12])/2 - (HO[7, 111]*s[12])/2 + (HO[7, 112]*s[12])/2 + HO[7, 114]*s[12] + HO[7, 117]*s[12] + HO[7, 14]*(-s[12]/2 - s[15]) - HO[7, 8]*s[15] - HO[7, 16]*s[15] - HO[7, 68]*s[15] + HO[7, 71]*s[15] - HO[7, 74]*s[15] + HO[7, 77]*s[15] + HO[7, 137]*s[15] - HO[7, 140]*s[15] + HO[7, 143]*s[15] + HO[7, 144]*s[15] + HO[7, 11]*(s[12]/2 + s[15]) + HO[7, 48]*(s[2] - s[6] - s[11] - s[13] - s[16]) + HO[7, 49]*(s[2] - s[6] - s[11] - s[13] - s[16]) + HO[7, 82]*(s[2] - s[9] - s[11] - s[14] - s[16]) + HO[7, 90]*(s[2] - s[9] - s[11] - s[14] - s[16]) + HO[7, 81]*(s[2] - s[9] - s[11] - s[12]/2 - s[14] - s[16]) + HO[7, 45]*(-s[2] + s[6] + s[11] + s[13] + s[16]) + HO[7, 53]*(-s[2] + s[6] + s[11] + s[13] + s[16]) + HO[7, 85]*(-s[2] + s[9] + s[11] + s[14] + s[16]), MHE[8][40] = -(HO[7, 32]*s[5]) - HO[7, 33]*s[5] + HO[7, 34]*s[5] + 3*HO[7, 36]*s[5] + HO[7, 38]*s[5] - HO[7, 39]*s[5] + HO[7, 40]*s[5] - HO[7, 41]*s[5] + HO[7, 42]*s[5] - HO[7, 43]*s[5] - HO[7, 63]*s[5] - (HO[7, 9]*s[13])/2 + (HO[7, 13]*s[13])/2 + (HO[7, 15]*s[13])/2 + (HO[7, 17]*s[13])/2 + (HO[7, 23]*s[13])/2 + (HO[7, 30]*s[13])/2 - (HO[7, 44]*s[13])/2 - (HO[7, 45]*s[13])/2 + (HO[7, 46]*s[13])/2 + (HO[7, 48]*s[13])/2 - (HO[7, 49]*s[13])/2 - (HO[7, 50]*s[13])/2 - (HO[7, 51]*s[13])/2 - (HO[7, 54]*s[13])/2 + (HO[7, 55]*s[13])/2 - (HO[7, 68]*s[13])/2 - (HO[7, 69]*s[13])/2 - (HO[7, 71]*s[13])/2 + (HO[7, 72]*s[13])/2 - (HO[7, 73]*s[13])/2 + (HO[7, 74]*s[13])/2 - (HO[7, 76]*s[13])/2 - (HO[7, 77]*s[13])/2 - HO[7, 78]*s[13] - (HO[7, 121]*s[13])/2 + (HO[7, 122]*s[13])/2 + HO[7, 124]*s[13] + HO[7, 126]*s[13] + HO[7, 61]*(s[2] - s[7] - s[10] - s[12] - s[14]) + HO[7, 62]*(s[2] - s[7] - s[10] - s[12] - s[14]) + HO[7, 58]*(-s[2] + s[7] + s[10] + s[12] + s[14]) + HO[7, 65]*(-s[2] + s[7] + s[10] + s[12] + s[14]) + HO[7, 11]*(s[2] - s[3] - s[10] - s[12] - s[15]) + HO[7, 18]*(s[2] - s[3] - s[10] - s[12] - s[15]) + HO[7, 10]*(s[2] - s[3] - s[10] - s[12] - s[13]/2 - s[15]) + HO[7, 14]*(-s[2] + s[3] + s[10] + s[12] + s[15]) + HO[7, 20]*(-s[13]/2 - s[16]) - HO[7, 21]*s[16] - HO[7, 28]*s[16] - HO[7, 80]*s[16] - HO[7, 81]*s[16] + HO[7, 84]*s[16] + HO[7, 89]*s[16] + HO[7, 146]*s[16] + HO[7, 147]*s[16] - HO[7, 150]*s[16] + HO[7, 153]*s[16] + HO[7, 24]*(s[13]/2 + s[16]), MHE[8][41] = HO[7, 44]*s[6] - HO[7, 45]*s[6] - HO[7, 46]*s[6] + HO[7, 47]*s[6] + 3*HO[7, 49]*s[6] - HO[7, 51]*s[6] + HO[7, 52]*s[6] - HO[7, 53]*s[6] + HO[7, 54]*s[6] - HO[7, 55]*s[6] - HO[7, 75]*s[6] - HO[7, 9]*s[10] - HO[7, 10]*s[10] + HO[7, 13]*s[10] + HO[7, 17]*s[10] - HO[7, 34]*s[10] - HO[7, 40]*s[10] + HO[7, 93]*s[10] + HO[7, 94]*s[10] - HO[7, 97]*s[10] + HO[7, 99]*s[10] + HO[7, 33]*(-s[10] - s[14]/2) + HO[7, 37]*(s[10] + s[14]/2) - (HO[7, 22]*s[14])/2 + (HO[7, 26]*s[14])/2 + (HO[7, 27]*s[14])/2 + (HO[7, 29]*s[14])/2 + (HO[7, 36]*s[14])/2 + (HO[7, 42]*s[14])/2 - (HO[7, 56]*s[14])/2 - (HO[7, 57]*s[14])/2 - (HO[7, 58]*s[14])/2 + (HO[7, 59]*s[14])/2 + (HO[7, 61]*s[14])/2 - (HO[7, 62]*s[14])/2 - (HO[7, 63]*s[14])/2 - (HO[7, 66]*s[14])/2 + (HO[7, 67]*s[14])/2 + (HO[7, 80]*s[14])/2 - (HO[7, 81]*s[14])/2 - (HO[7, 82]*s[14])/2 - (HO[7, 84]*s[14])/2 + (HO[7, 85]*s[14])/2 - (HO[7, 86]*s[14])/2 - (HO[7, 88]*s[14])/2 - (HO[7, 89]*s[14])/2 - HO[7, 90]*s[14] - (HO[7, 131]*s[14])/2 + (HO[7, 132]*s[14])/2 + HO[7, 134]*s[14] + HO[7, 135]*s[14] + HO[7, 68]*(s[2] - s[8] - s[11] - s[13] - s[15]) + HO[7, 74]*(s[2] - s[8] - s[11] - s[13] - s[15]) + HO[7, 71]*(-s[2] + s[8] + s[11] + s[13] + s[15]) + HO[7, 77]*(-s[2] + s[8] + s[11] + s[13] + s[15]) + HO[7, 24]*(s[2] - s[4] - s[11] - s[13] - s[16]) + HO[7, 30]*(s[2] - s[4] - s[11] - s[13] - s[16]) + HO[7, 23]*(s[2] - s[4] - s[11] - s[13] - s[14]/2 - s[16]) + HO[7, 20]*(-s[2] + s[4] + s[11] + s[13] + s[16]), MHE[8][42] = HO[7, 57]*s[7] - HO[7, 58]*s[7] - HO[7, 59]*s[7] + HO[7, 60]*s[7] + 3*HO[7, 62]*s[7] - HO[7, 63]*s[7] + HO[7, 64]*s[7] - HO[7, 65]*s[7] + HO[7, 66]*s[7] - HO[7, 67]*s[7] - HO[7, 87]*s[7] - HO[7, 22]*s[11] - HO[7, 23]*s[11] + HO[7, 26]*s[11] + HO[7, 29]*s[11] - HO[7, 47]*s[11] - HO[7, 52]*s[11] + HO[7, 103]*s[11] + HO[7, 104]*s[11] - HO[7, 107]*s[11] + HO[7, 108]*s[11] + HO[7, 37]*(s[2] - s[5] - s[10] - s[12] - s[14]) + HO[7, 42]*(s[2] - s[5] - s[10] - s[12] - s[14]) + HO[7, 33]*(-s[2] + s[5] + s[10] + s[12] + s[14]) + HO[7, 46]*(-s[11] - s[15]/2) + HO[7, 36]*(s[2] - s[5] - s[10] - s[12] - s[14] - s[15]/2) + HO[7, 50]*(s[11] + s[15]/2) - (HO[7, 8]*s[15])/2 + (HO[7, 9]*s[15])/2 - (HO[7, 10]*s[15])/2 - (HO[7, 11]*s[15])/2 - (HO[7, 13]*s[15])/2 + (HO[7, 14]*s[15])/2 - (HO[7, 16]*s[15])/2 - (HO[7, 17]*s[15])/2 - HO[7, 18]*s[15] + (HO[7, 32]*s[15])/2 - (HO[7, 35]*s[15])/2 + (HO[7, 39]*s[15])/2 + (HO[7, 41]*s[15])/2 + (HO[7, 49]*s[15])/2 + (HO[7, 54]*s[15])/2 - (HO[7, 68]*s[15])/2 - (HO[7, 69]*s[15])/2 - (HO[7, 70]*s[15])/2 - (HO[7, 71]*s[15])/2 + (HO[7, 72]*s[15])/2 + (HO[7, 74]*s[15])/2 - (HO[7, 75]*s[15])/2 - (HO[7, 78]*s[15])/2 + (HO[7, 79]*s[15])/2 + HO[7, 137]*s[15] - (HO[7, 141]*s[15])/2 + (HO[7, 142]*s[15])/2 + HO[7, 144]*s[15] + HO[7, 80]*(s[2] - s[9] - s[12] - s[14] - s[16]) + HO[7, 81]*(s[2] - s[9] - s[12] - s[14] - s[16]) + HO[7, 84]*(-s[2] + s[9] + s[12] + s[14] + s[16]) + HO[7, 89]*(-s[2] + s[9] + s[12] + s[14] + s[16]) }