(********************************************************************) (* *) (* 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 odd functions HO[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. *) (* *) (* MHO[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 MHO[8][m]. *) (* *) (********************************************************************) { MHO[8][1] = HO[7, 10]*s[1] + HO[7, 12]*s[1] - HO[7, 17]*s[1] - HO[7, 19]*s[1] - 2*HO[7, 21]*s[1] - HO[7, 22]*s[1] - 2*HO[7, 23]*s[1] + HO[7, 24]*s[1] + HO[7, 26]*s[1] + HO[7, 27]*s[1] - 2*HO[7, 28]*s[1] + HO[7, 29]*s[1] - HO[7, 30]*s[1] + HO[7, 33]*s[1] + HO[7, 35]*s[1] - 2*HO[7, 36]*s[1] - HO[7, 37]*s[1] - 2*HO[7, 38]*s[1] + HO[7, 41]*s[1] - HO[7, 42]*s[1] + 2*HO[7, 43]*s[1] + HO[7, 47]*s[1] + HO[7, 49]*s[1] + HO[7, 52]*s[1] + HO[7, 54]*s[1] + HO[7, 57]*s[1] + HO[7, 58]*s[1] - HO[7, 60]*s[1] - HO[7, 61]*s[1] - HO[7, 62]*s[1] + HO[7, 63]*s[1] - HO[7, 64]*s[1] - HO[7, 66]*s[1] - HO[7, 67]*s[1] - HO[7, 70]*s[1] - HO[7, 73]*s[1] - HO[7, 76]*s[1] + HO[7, 77]*s[1] - HO[7, 78]*s[1] + HO[7, 79]*s[1] - HO[7, 81]*s[1] - HO[7, 82]*s[1] - HO[7, 83]*s[1] + HO[7, 85]*s[1] + HO[7, 86]*s[1] + HO[7, 88]*s[1] + HO[7, 89]*s[1] + HO[7, 91]*s[1] + HO[7, 8]*s[2] + HO[7, 20]*(-s[1] + s[3]) + HO[7, 32]*(-s[1] + s[4]) + HO[7, 44]*s[5] + HO[7, 56]*s[6] + HO[7, 68]*(-2*s[1] + s[7]) + HO[7, 80]*s[8] + HO[7, 92]*s[9] + HO[7, 101]*s[10] + HO[7, 110]*s[11] + HO[7, 119]*s[12] + HO[7, 128]*s[13] + HO[7, 137]*s[14] + HO[7, 146]*s[15], MHO[8][2] = HO[7, 8]*s[1] - HO[7, 10]*s[1] - HO[7, 11]*s[1] - HO[7, 12]*s[1] + HO[7, 14]*s[1] + HO[7, 16]*s[1] + HO[7, 17]*s[1] + HO[7, 19]*s[1] + HO[7, 23]*s[1] + HO[7, 25]*s[1] - HO[7, 29]*s[1] - HO[7, 31]*s[1] + HO[7, 32]*s[1] - 2*HO[7, 34]*s[1] - HO[7, 35]*s[1] - 2*HO[7, 36]*s[1] + HO[7, 37]*s[1] + HO[7, 39]*s[1] - 2*HO[7, 40]*s[1] + HO[7, 41]*s[1] - HO[7, 42]*s[1] - 2*HO[7, 44]*s[1] + HO[7, 46]*s[1] + HO[7, 48]*s[1] - 2*HO[7, 49]*s[1] - HO[7, 50]*s[1] + HO[7, 53]*s[1] - HO[7, 54]*s[1] + 2*HO[7, 55]*s[1] + HO[7, 60]*s[1] + HO[7, 62]*s[1] + HO[7, 64]*s[1] + HO[7, 66]*s[1] - HO[7, 68]*s[1] + HO[7, 70]*s[1] + HO[7, 71]*s[1] - HO[7, 73]*s[1] - HO[7, 74]*s[1] + HO[7, 75]*s[1] - HO[7, 76]*s[1] - HO[7, 78]*s[1] - HO[7, 79]*s[1] - HO[7, 83]*s[1] - HO[7, 86]*s[1] - HO[7, 88]*s[1] + HO[7, 89]*s[1] - HO[7, 90]*s[1] + HO[7, 91]*s[1] + HO[7, 9]*s[2] + HO[7, 21]*s[3] + HO[7, 33]*(-s[1] + s[4]) + HO[7, 45]*(-s[1] + s[5]) + HO[7, 57]*s[6] + HO[7, 69]*s[7] + HO[7, 81]*(-2*s[1] + s[8]) + HO[7, 93]*s[9] + HO[7, 102]*s[10] + HO[7, 111]*s[11] + HO[7, 120]*s[12] + HO[7, 129]*s[13] + HO[7, 138]*s[14] + HO[7, 147]*s[15], MHO[8][3] = -(HO[7, 8]*s[1]) - HO[7, 12]*s[1] - HO[7, 16]*s[1] + HO[7, 17]*s[1] - HO[7, 18]*s[1] + HO[7, 19]*s[1] + HO[7, 20]*s[1] + HO[7, 21]*s[1] - HO[7, 23]*s[1] - HO[7, 24]*s[1] - HO[7, 25]*s[1] + HO[7, 28]*s[1] + HO[7, 29]*s[1] + HO[7, 31]*s[1] + HO[7, 36]*s[1] + HO[7, 38]*s[1] - HO[7, 41]*s[1] - HO[7, 43]*s[1] + HO[7, 45]*s[1] - 2*HO[7, 47]*s[1] - HO[7, 48]*s[1] - 2*HO[7, 49]*s[1] + HO[7, 50]*s[1] + HO[7, 51]*s[1] - 2*HO[7, 52]*s[1] + HO[7, 53]*s[1] - HO[7, 54]*s[1] - HO[7, 56]*s[1] - 2*HO[7, 57]*s[1] + HO[7, 59]*s[1] + HO[7, 61]*s[1] - 2*HO[7, 62]*s[1] + HO[7, 65]*s[1] - HO[7, 66]*s[1] + 2*HO[7, 67]*s[1] + HO[7, 68]*s[1] + HO[7, 73]*s[1] + HO[7, 76]*s[1] + HO[7, 78]*s[1] - HO[7, 80]*s[1] - HO[7, 81]*s[1] + HO[7, 83]*s[1] + HO[7, 84]*s[1] - HO[7, 86]*s[1] + HO[7, 87]*s[1] - HO[7, 88]*s[1] - HO[7, 90]*s[1] - HO[7, 91]*s[1] + HO[7, 10]*(-2*s[1] + s[2]) + HO[7, 22]*s[3] + HO[7, 34]*s[4] + HO[7, 46]*(-s[1] + s[5]) + HO[7, 58]*(-s[1] + s[6]) + HO[7, 70]*s[7] + HO[7, 82]*s[8] + HO[7, 94]*s[9] + HO[7, 103]*s[10] + HO[7, 112]*s[11] + HO[7, 121]*s[12] + HO[7, 130]*s[13] + HO[7, 139]*s[14] + HO[7, 148]*s[15], MHO[8][4] = -(HO[7, 8]*s[1]) - HO[7, 9]*s[1] - HO[7, 10]*s[1] + HO[7, 12]*s[1] + HO[7, 13]*s[1] + HO[7, 15]*s[1] - HO[7, 16]*s[1] - HO[7, 18]*s[1] - HO[7, 19]*s[1] - HO[7, 21]*s[1] - HO[7, 25]*s[1] - HO[7, 28]*s[1] + HO[7, 29]*s[1] - HO[7, 30]*s[1] + HO[7, 31]*s[1] + HO[7, 33]*s[1] + HO[7, 34]*s[1] - HO[7, 36]*s[1] - HO[7, 37]*s[1] - HO[7, 38]*s[1] + HO[7, 40]*s[1] + HO[7, 41]*s[1] + HO[7, 43]*s[1] + HO[7, 44]*s[1] + HO[7, 49]*s[1] - HO[7, 53]*s[1] - HO[7, 55]*s[1] + HO[7, 56]*s[1] + HO[7, 58]*s[1] - 2*HO[7, 60]*s[1] - HO[7, 61]*s[1] - 2*HO[7, 62]*s[1] + HO[7, 63]*s[1] - 2*HO[7, 64]*s[1] + HO[7, 65]*s[1] - HO[7, 66]*s[1] - 2*HO[7, 68]*s[1] - HO[7, 69]*s[1] - 2*HO[7, 70]*s[1] + HO[7, 72]*s[1] + HO[7, 74]*s[1] + HO[7, 77]*s[1] - HO[7, 78]*s[1] + 2*HO[7, 79]*s[1] + HO[7, 81]*s[1] + HO[7, 86]*s[1] + HO[7, 88]*s[1] + HO[7, 90]*s[1] + HO[7, 11]*s[2] + HO[7, 23]*(-2*s[1] + s[3]) + HO[7, 35]*s[4] + HO[7, 47]*s[5] + HO[7, 59]*(-s[1] + s[6]) + HO[7, 71]*(-s[1] + s[7]) + HO[7, 83]*s[8] + HO[7, 95]*s[9] + HO[7, 104]*s[10] + HO[7, 113]*s[11] + HO[7, 122]*s[12] + HO[7, 131]*s[13] + HO[7, 140]*s[14] + HO[7, 149]*s[15], MHO[8][5] = HO[7, 8]*s[1] + HO[7, 10]*s[1] + HO[7, 16]*s[1] + HO[7, 18]*s[1] - HO[7, 21]*s[1] - HO[7, 22]*s[1] - HO[7, 23]*s[1] + HO[7, 25]*s[1] + HO[7, 26]*s[1] + HO[7, 27]*s[1] - HO[7, 28]*s[1] - HO[7, 30]*s[1] - HO[7, 31]*s[1] - HO[7, 34]*s[1] - HO[7, 38]*s[1] - HO[7, 40]*s[1] + HO[7, 41]*s[1] - HO[7, 42]*s[1] + HO[7, 43]*s[1] - HO[7, 44]*s[1] + HO[7, 46]*s[1] + HO[7, 47]*s[1] - HO[7, 49]*s[1] - HO[7, 50]*s[1] + HO[7, 52]*s[1] + HO[7, 53]*s[1] + HO[7, 55]*s[1] + HO[7, 57]*s[1] + HO[7, 62]*s[1] - HO[7, 65]*s[1] - HO[7, 67]*s[1] - 2*HO[7, 68]*s[1] + HO[7, 69]*s[1] + HO[7, 71]*s[1] - 2*HO[7, 73]*s[1] - HO[7, 74]*s[1] + HO[7, 75]*s[1] - 2*HO[7, 76]*s[1] + HO[7, 77]*s[1] - HO[7, 78]*s[1] + HO[7, 80]*s[1] - 2*HO[7, 81]*s[1] - HO[7, 82]*s[1] - 2*HO[7, 83]*s[1] + HO[7, 85]*s[1] + HO[7, 89]*s[1] - HO[7, 90]*s[1] + 2*HO[7, 91]*s[1] + HO[7, 12]*s[2] + HO[7, 24]*s[3] + HO[7, 36]*(-2*s[1] + s[4]) + HO[7, 48]*s[5] + HO[7, 60]*s[6] + HO[7, 72]*(-s[1] + s[7]) + HO[7, 84]*(-s[1] + s[8]) + HO[7, 96]*s[9] + HO[7, 105]*s[10] + HO[7, 114]*s[11] + HO[7, 123]*s[12] + HO[7, 132]*s[13] + HO[7, 141]*s[14] + HO[7, 150]*s[15], MHO[8][6] = HO[7, 9]*s[1] - 2*HO[7, 10]*s[1] - HO[7, 11]*s[1] - 2*HO[7, 12]*s[1] + HO[7, 14]*s[1] + HO[7, 17]*s[1] - HO[7, 18]*s[1] + 2*HO[7, 19]*s[1] + HO[7, 21]*s[1] + HO[7, 23]*s[1] + HO[7, 28]*s[1] + HO[7, 30]*s[1] + HO[7, 32]*s[1] - HO[7, 34]*s[1] - HO[7, 35]*s[1] - HO[7, 36]*s[1] + HO[7, 38]*s[1] + HO[7, 39]*s[1] - HO[7, 40]*s[1] - HO[7, 42]*s[1] - HO[7, 43]*s[1] - HO[7, 44]*s[1] - HO[7, 47]*s[1] - HO[7, 52]*s[1] + HO[7, 53]*s[1] - HO[7, 54]*s[1] + HO[7, 55]*s[1] - HO[7, 56]*s[1] - HO[7, 57]*s[1] + HO[7, 59]*s[1] + HO[7, 60]*s[1] - HO[7, 62]*s[1] + HO[7, 64]*s[1] + HO[7, 65]*s[1] + HO[7, 67]*s[1] + HO[7, 68]*s[1] + HO[7, 70]*s[1] - HO[7, 77]*s[1] - HO[7, 79]*s[1] - HO[7, 80]*s[1] - 2*HO[7, 81]*s[1] + HO[7, 82]*s[1] + HO[7, 84]*s[1] - 2*HO[7, 86]*s[1] + HO[7, 87]*s[1] - 2*HO[7, 88]*s[1] + HO[7, 89]*s[1] - HO[7, 90]*s[1] + HO[7, 13]*(-s[1] + s[2]) + HO[7, 25]*s[3] + HO[7, 37]*s[4] + HO[7, 49]*(-2*s[1] + s[5]) + HO[7, 61]*s[6] + HO[7, 73]*s[7] + HO[7, 85]*(-s[1] + s[8]) + HO[7, 97]*s[9] + HO[7, 106]*s[10] + HO[7, 115]*s[11] + HO[7, 124]*s[12] + HO[7, 133]*s[13] + HO[7, 142]*s[14] + HO[7, 151]*s[15], MHO[8][7] = -2*HO[7, 8]*s[1] - HO[7, 9]*s[1] - 2*HO[7, 10]*s[1] + HO[7, 11]*s[1] + HO[7, 13]*s[1] + HO[7, 15]*s[1] - 2*HO[7, 16]*s[1] + HO[7, 17]*s[1] - HO[7, 18]*s[1] + HO[7, 20]*s[1] + HO[7, 22]*s[1] - 2*HO[7, 23]*s[1] - HO[7, 24]*s[1] - 2*HO[7, 25]*s[1] + HO[7, 29]*s[1] - HO[7, 30]*s[1] + 2*HO[7, 31]*s[1] + HO[7, 34]*s[1] + HO[7, 36]*s[1] + HO[7, 40]*s[1] + HO[7, 42]*s[1] + HO[7, 44]*s[1] + HO[7, 45]*s[1] - HO[7, 47]*s[1] - HO[7, 48]*s[1] - HO[7, 49]*s[1] + HO[7, 51]*s[1] - HO[7, 52]*s[1] - HO[7, 54]*s[1] - HO[7, 55]*s[1] - HO[7, 57]*s[1] - HO[7, 60]*s[1] - HO[7, 64]*s[1] + HO[7, 65]*s[1] - HO[7, 66]*s[1] + HO[7, 67]*s[1] - HO[7, 68]*s[1] - HO[7, 69]*s[1] - HO[7, 70]*s[1] + HO[7, 72]*s[1] + HO[7, 73]*s[1] + HO[7, 76]*s[1] + HO[7, 77]*s[1] + HO[7, 79]*s[1] + HO[7, 81]*s[1] + HO[7, 83]*s[1] - HO[7, 89]*s[1] - HO[7, 91]*s[1] + HO[7, 14]*(-s[1] + s[2]) + HO[7, 26]*(-s[1] + s[3]) + HO[7, 38]*s[4] + HO[7, 50]*s[5] + HO[7, 62]*(-2*s[1] + s[6]) + HO[7, 74]*s[7] + HO[7, 86]*s[8] + HO[7, 98]*s[9] + HO[7, 107]*s[10] + HO[7, 116]*s[11] + HO[7, 125]*s[12] + HO[7, 134]*s[13] + HO[7, 143]*s[14] + HO[7, 152]*s[15], MHO[8][8] = HO[7, 16]*s[2] + HO[7, 11]*s[9] - HO[7, 14]*s[9] + HO[7, 18]*s[9] + HO[7, 34]*s[9] - HO[7, 39]*s[9] + HO[7, 40]*s[9] - HO[7, 41]*s[9] - HO[7, 65]*s[9] + HO[7, 78]*s[9] - HO[7, 92]*s[9] - HO[7, 93]*s[9] + HO[7, 96]*s[9] + HO[7, 25]*s[10] - HO[7, 31]*s[10] - HO[7, 53]*s[10] + HO[7, 90]*s[10] - HO[7, 101]*s[10] + HO[7, 104]*s[10] - HO[7, 107]*s[10] + HO[7, 38]*(s[1] - s[4] - s[11]) + HO[7, 32]*(s[1] - s[4] - s[9] - s[11]) + HO[7, 43]*(-s[1] + s[4] + s[11]) + HO[7, 35]*(-s[1] + s[4] + s[9] + s[11]) + HO[7, 55]*(-s[5] - s[12]/2) + HO[7, 72]*(-s[9] - s[12]/2) + HO[7, 10]*(s[9] - s[12]/2) + HO[7, 51]*(-s[10] - s[12]/2) + HO[7, 71]*(-s[10] - s[12]/2) + HO[7, 77]*(-s[10] - s[12]/2) + HO[7, 48]*(s[10] - s[12]/2) + HO[7, 49]*(s[10] - s[12]/2) + HO[7, 69]*(s[9] + s[12]/2) + HO[7, 45]*(-s[10] + s[12]/2) + HO[7, 30]*(s[10] + s[12]/2) + HO[7, 74]*(s[10] + s[12]/2) + HO[7, 68]*(s[9] + s[10] + s[12]/2) - (HO[7, 9]*s[12])/2 + (HO[7, 13]*s[12])/2 + (HO[7, 15]*s[12])/2 + (HO[7, 17]*s[12])/2 + (HO[7, 44]*s[12])/2 + (HO[7, 46]*s[12])/2 - (HO[7, 50]*s[12])/2 - (HO[7, 54]*s[12])/2 - (HO[7, 73]*s[12])/2 - (HO[7, 76]*s[12])/2 - HO[7, 119]*s[12] - HO[7, 120]*s[12] - (HO[7, 121]*s[12])/2 + (HO[7, 122]*s[12])/2 + HO[7, 123]*s[12] + HO[7, 124]*s[12] + HO[7, 126]*s[12] + HO[7, 89]*(-s[8] - s[13]/2) + HO[7, 58]*(-s[9] - s[13]/2) + HO[7, 63]*(-s[9] - s[13]/2) + HO[7, 27]*(-s[10] - s[13]/2) + HO[7, 29]*(-s[10] - s[13]/2) + HO[7, 85]*(-s[10] - s[13]/2) + HO[7, 66]*(s[6] + s[13]/2) + HO[7, 42]*(s[9] + s[13]/2) + HO[7, 61]*(s[9] + s[13]/2) + HO[7, 62]*(s[9] + s[13]/2) + HO[7, 36]*(2*s[9] + s[13]/2) + HO[7, 81]*(s[10] + s[13]/2) + HO[7, 82]*(s[10] + s[13]/2) + HO[7, 23]*(2*s[10] + s[12]/2 + s[13]/2) + (HO[7, 22]*s[13])/2 - (HO[7, 26]*s[13])/2 - (HO[7, 33]*s[13])/2 + (HO[7, 37]*s[13])/2 + (HO[7, 56]*s[13])/2 - (HO[7, 57]*s[13])/2 - (HO[7, 59]*s[13])/2 + (HO[7, 67]*s[13])/2 + (HO[7, 80]*s[13])/2 - (HO[7, 84]*s[13])/2 - (HO[7, 86]*s[13])/2 - (HO[7, 88]*s[13])/2 - HO[7, 128]*s[13] + (HO[7, 131]*s[13])/2 + (HO[7, 132]*s[13])/2 + HO[7, 144]*s[14] + HO[7, 21]*(s[1] - s[3] - s[15]) + HO[7, 28]*(s[1] - s[3] - s[15]) + HO[7, 20]*(s[1] - s[3] - s[10] - s[12]/2 - s[15]) + HO[7, 24]*(-s[1] + s[3] + s[10] + s[12]/2 + s[15]), MHO[8][9] = HO[7, 28]*s[3] + HO[7, 34]*(s[1] - s[4] - s[9]) + HO[7, 40]*(s[1] - s[4] - s[9]) - HO[7, 20]*s[10] + HO[7, 24]*s[10] + HO[7, 30]*s[10] + HO[7, 47]*s[10] - HO[7, 51]*s[10] + HO[7, 52]*s[10] - HO[7, 53]*s[10] - HO[7, 77]*s[10] + HO[7, 90]*s[10] - HO[7, 102]*s[10] - HO[7, 103]*s[10] + HO[7, 106]*s[10] + HO[7, 18]*s[11] + HO[7, 38]*s[11] - HO[7, 43]*s[11] - HO[7, 65]*s[11] - HO[7, 110]*s[11] - HO[7, 111]*s[11] + HO[7, 114]*s[11] + HO[7, 44]*(s[1] - s[5] - s[12]) + HO[7, 45]*(s[1] - s[5] - s[10] - s[12]) + HO[7, 55]*(-s[1] + s[5] + s[12]) + HO[7, 48]*(-s[1] + s[5] + s[10] + s[12]) + HO[7, 67]*(-s[6] - s[13]/2) + HO[7, 85]*(-s[10] - s[13]/2) + HO[7, 23]*(s[10] - s[13]/2) + HO[7, 63]*(-s[11] - s[13]/2) + HO[7, 84]*(-s[11] - s[13]/2) + HO[7, 89]*(-s[11] - s[13]/2) + HO[7, 33]*(s[1] - s[4] - s[9] - s[11] - s[13]/2) + HO[7, 61]*(s[11] - s[13]/2) + HO[7, 62]*(s[11] - s[13]/2) + HO[7, 82]*(s[10] + s[13]/2) + HO[7, 58]*(-s[11] + s[13]/2) + HO[7, 42]*(s[11] + s[13]/2) + HO[7, 80]*(s[11] + s[13]/2) + HO[7, 37]*(-s[1] + s[4] + s[9] + s[11] + s[13]/2) + HO[7, 81]*(s[10] + s[11] + s[13]/2) - (HO[7, 22]*s[13])/2 + (HO[7, 26]*s[13])/2 + (HO[7, 27]*s[13])/2 + (HO[7, 29]*s[13])/2 - (HO[7, 56]*s[13])/2 + (HO[7, 57]*s[13])/2 + (HO[7, 59]*s[13])/2 - (HO[7, 66]*s[13])/2 - (HO[7, 86]*s[13])/2 - (HO[7, 88]*s[13])/2 - HO[7, 129]*s[13] - HO[7, 130]*s[13] - (HO[7, 131]*s[13])/2 + (HO[7, 132]*s[13])/2 + HO[7, 133]*s[13] + HO[7, 134]*s[13] + HO[7, 135]*s[13] + HO[7, 17]*(-s[2] - s[14]/2) + HO[7, 71]*(-s[10] - s[14]/2) + HO[7, 75]*(-s[10] - s[14]/2) + HO[7, 14]*(-s[11] - s[14]/2) + HO[7, 39]*(-s[11] - s[14]/2) + HO[7, 41]*(-s[11] - s[14]/2) + HO[7, 78]*(s[7] + s[14]/2) + HO[7, 54]*(s[10] + s[14]/2) + HO[7, 68]*(s[10] + s[14]/2) + HO[7, 74]*(s[10] + s[14]/2) + HO[7, 49]*(2*s[10] + s[14]/2) + HO[7, 10]*(s[11] + s[14]/2) + HO[7, 11]*(s[11] + s[14]/2) + HO[7, 36]*(2*s[11] + s[13]/2 + s[14]/2) - (HO[7, 8]*s[14])/2 + (HO[7, 9]*s[14])/2 - (HO[7, 13]*s[14])/2 - (HO[7, 16]*s[14])/2 - (HO[7, 32]*s[14])/2 + (HO[7, 35]*s[14])/2 - (HO[7, 46]*s[14])/2 + (HO[7, 50]*s[14])/2 + (HO[7, 69]*s[14])/2 - (HO[7, 70]*s[14])/2 - (HO[7, 72]*s[14])/2 + (HO[7, 79]*s[14])/2 - HO[7, 138]*s[14] + (HO[7, 141]*s[14])/2 + (HO[7, 142]*s[14])/2 + HO[7, 153]*s[15], MHO[8][10] = HO[7, 40]*s[4] + HO[7, 99]*s[9] + HO[7, 47]*(s[1] - s[5] - s[10]) + HO[7, 52]*(s[1] - s[5] - s[10]) + HO[7, 18]*s[11] - HO[7, 33]*s[11] + HO[7, 37]*s[11] + HO[7, 42]*s[11] + HO[7, 60]*s[11] - HO[7, 63]*s[11] + HO[7, 64]*s[11] - HO[7, 65]*s[11] - HO[7, 89]*s[11] - HO[7, 112]*s[11] - HO[7, 113]*s[11] + HO[7, 116]*s[11] + HO[7, 30]*s[12] + HO[7, 44]*s[12] - HO[7, 55]*s[12] - HO[7, 77]*s[12] - HO[7, 120]*s[12] - HO[7, 121]*s[12] + HO[7, 124]*s[12] + HO[7, 57]*(s[1] - s[6] - s[13]) + HO[7, 58]*(s[1] - s[6] - s[11] - s[13]) + HO[7, 67]*(-s[1] + s[6] + s[13]) + HO[7, 61]*(-s[1] + s[6] + s[11] + s[13]) + HO[7, 79]*(-s[7] - s[14]/2) + HO[7, 14]*(-s[11] - s[14]/2) + HO[7, 36]*(s[11] - s[14]/2) + HO[7, 13]*(-s[12] - s[14]/2) + HO[7, 17]*(-s[12] - s[14]/2) + HO[7, 75]*(-s[12] - s[14]/2) + HO[7, 46]*(s[1] - s[5] - s[10] - s[12] - s[14]/2) + HO[7, 68]*(s[12] - s[14]/2) + HO[7, 74]*(s[12] - s[14]/2) + HO[7, 11]*(s[11] + s[14]/2) + HO[7, 71]*(-s[12] + s[14]/2) + HO[7, 9]*(s[12] + s[14]/2) + HO[7, 54]*(s[12] + s[14]/2) + HO[7, 50]*(-s[1] + s[5] + s[10] + s[12] + s[14]/2) + HO[7, 10]*(s[11] + s[12] + s[14]/2) - (HO[7, 8]*s[14])/2 - (HO[7, 16]*s[14])/2 + (HO[7, 32]*s[14])/2 - (HO[7, 35]*s[14])/2 + (HO[7, 39]*s[14])/2 + (HO[7, 41]*s[14])/2 - (HO[7, 69]*s[14])/2 + (HO[7, 70]*s[14])/2 + (HO[7, 72]*s[14])/2 - (HO[7, 78]*s[14])/2 + HO[7, 137]*s[14] - HO[7, 139]*s[14] - HO[7, 140]*s[14] - (HO[7, 141]*s[14])/2 + (HO[7, 142]*s[14])/2 + HO[7, 143]*s[14] + HO[7, 144]*s[14] + HO[7, 29]*(-s[3] - s[15]/2) + HO[7, 84]*(-s[11] - s[15]/2) + HO[7, 87]*(-s[11] - s[15]/2) + HO[7, 20]*(-s[12] - s[15]/2) + HO[7, 51]*(-s[12] - s[15]/2) + HO[7, 53]*(-s[12] - s[15]/2) + HO[7, 90]*(s[8] + s[15]/2) + HO[7, 66]*(s[11] + s[15]/2) + HO[7, 80]*(s[11] + s[15]/2) + HO[7, 81]*(s[11] + s[15]/2) + HO[7, 62]*(2*s[11] + s[15]/2) + HO[7, 23]*(s[12] + s[15]/2) + HO[7, 24]*(s[12] + s[15]/2) + HO[7, 49]*(2*s[12] + s[14]/2 + s[15]/2) - (HO[7, 21]*s[15])/2 + (HO[7, 22]*s[15])/2 - (HO[7, 26]*s[15])/2 - (HO[7, 28]*s[15])/2 - (HO[7, 45]*s[15])/2 + (HO[7, 48]*s[15])/2 + (HO[7, 56]*s[15])/2 - (HO[7, 59]*s[15])/2 + (HO[7, 82]*s[15])/2 - (HO[7, 83]*s[15])/2 - (HO[7, 85]*s[15])/2 + (HO[7, 91]*s[15])/2 - HO[7, 148]*s[15] + (HO[7, 151]*s[15])/2 + (HO[7, 152]*s[15])/2, MHO[8][11] = HO[7, 52]*s[5] + HO[7, 41]*(-s[4] - s[9]/2) + HO[7, 18]*(s[2] + s[9]/2) + (HO[7, 11]*s[9])/2 - (HO[7, 12]*s[9])/2 - (HO[7, 14]*s[9])/2 + (HO[7, 19]*s[9])/2 - (HO[7, 32]*s[9])/2 - (HO[7, 34]*s[9])/2 + (HO[7, 35]*s[9])/2 - (HO[7, 40]*s[9])/2 - (HO[7, 58]*s[9])/2 + (HO[7, 61]*s[9])/2 + (HO[7, 69]*s[9])/2 - (HO[7, 72]*s[9])/2 + (HO[7, 92]*s[9])/2 - HO[7, 95]*s[9] + (HO[7, 98]*s[9])/2 + HO[7, 108]*s[10] + HO[7, 60]*(s[1] - s[6] - s[11]) + HO[7, 64]*(s[1] - s[6] - s[11]) + HO[7, 13]*(-s[9]/2 - s[12]) + HO[7, 15]*(-s[9]/2 - s[12]) - HO[7, 17]*s[12] + HO[7, 30]*s[12] - HO[7, 46]*s[12] + HO[7, 50]*s[12] + HO[7, 54]*s[12] + HO[7, 73]*s[12] - HO[7, 75]*s[12] + HO[7, 76]*s[12] - HO[7, 77]*s[12] + HO[7, 119]*s[12] - HO[7, 122]*s[12] - HO[7, 123]*s[12] + HO[7, 9]*(s[9]/2 + s[12]) + HO[7, 10]*(s[9]/2 + s[12]) + HO[7, 78]*(s[9]/2 + s[12]) + HO[7, 68]*(s[9]/2 + 2*s[12]) + HO[7, 33]*(-s[9]/2 - s[13]) + HO[7, 63]*(-s[9]/2 - s[13]) + HO[7, 65]*(-s[9]/2 - s[13]) + HO[7, 42]*s[13] + HO[7, 57]*s[13] - HO[7, 67]*s[13] - HO[7, 89]*s[13] - HO[7, 130]*s[13] - HO[7, 131]*s[13] + HO[7, 134]*s[13] + HO[7, 36]*(s[9]/2 + s[13]) + HO[7, 37]*(s[9]/2 + s[13]) + HO[7, 70]*(s[1] - s[7] - s[14]) + HO[7, 71]*(s[1] - s[7] - s[12] - s[14]) + HO[7, 79]*(-s[1] + s[7] + s[14]) + HO[7, 74]*(-s[1] + s[7] + s[12] + s[14]) + HO[7, 91]*(-s[8] - s[15]/2) + HO[7, 20]*(-s[12] - s[15]/2) + HO[7, 49]*(s[12] - s[15]/2) + HO[7, 26]*(-s[13] - s[15]/2) + HO[7, 29]*(-s[13] - s[15]/2) + HO[7, 87]*(-s[13] - s[15]/2) + HO[7, 59]*(s[1] - s[6] - s[11] - s[13] - s[15]/2) + HO[7, 80]*(s[13] - s[15]/2) + HO[7, 81]*(s[13] - s[15]/2) + HO[7, 24]*(s[12] + s[15]/2) + HO[7, 84]*(-s[13] + s[15]/2) + HO[7, 22]*(s[13] + s[15]/2) + HO[7, 66]*(s[13] + s[15]/2) + HO[7, 56]*(-s[1] + s[6] + s[11] + s[13] + s[15]/2) + HO[7, 23]*(s[12] + s[13] + s[15]/2) + HO[7, 62]*(s[9]/2 + 2*s[13] + s[15]/2) - (HO[7, 21]*s[15])/2 - (HO[7, 28]*s[15])/2 + (HO[7, 45]*s[15])/2 - (HO[7, 48]*s[15])/2 + (HO[7, 51]*s[15])/2 + (HO[7, 53]*s[15])/2 - (HO[7, 82]*s[15])/2 + (HO[7, 83]*s[15])/2 + (HO[7, 85]*s[15])/2 - (HO[7, 90]*s[15])/2 + HO[7, 146]*s[15] + HO[7, 147]*s[15] - HO[7, 149]*s[15] - HO[7, 150]*s[15] - (HO[7, 151]*s[15])/2 + (HO[7, 152]*s[15])/2 + HO[7, 153]*s[15], MHO[8][12] = HO[7, 64]*s[6] + HO[7, 19]*(-s[2] - s[9]/2) - (HO[7, 11]*s[9])/2 + (HO[7, 12]*s[9])/2 + (HO[7, 14]*s[9])/2 - (HO[7, 18]*s[9])/2 - (HO[7, 34]*s[9])/2 - (HO[7, 40]*s[9])/2 + (HO[7, 58]*s[9])/2 - (HO[7, 61]*s[9])/2 + (HO[7, 63]*s[9])/2 + (HO[7, 65]*s[9])/2 + (HO[7, 92]*s[9])/2 + HO[7, 93]*s[9] + HO[7, 94]*s[9] - HO[7, 96]*s[9] - HO[7, 97]*s[9] - (HO[7, 98]*s[9])/2 + HO[7, 99]*s[9] + HO[7, 53]*(-s[5] - s[10]/2) + HO[7, 30]*(s[3] + s[10]/2) - (HO[7, 20]*s[10])/2 + (HO[7, 24]*s[10])/2 - (HO[7, 25]*s[10])/2 + (HO[7, 31]*s[10])/2 - (HO[7, 45]*s[10])/2 - (HO[7, 47]*s[10])/2 + (HO[7, 48]*s[10])/2 - (HO[7, 52]*s[10])/2 - (HO[7, 71]*s[10])/2 + (HO[7, 74]*s[10])/2 + (HO[7, 82]*s[10])/2 - (HO[7, 85]*s[10])/2 + (HO[7, 101]*s[10])/2 + (HO[7, 102]*s[10])/2 - HO[7, 105]*s[10] + HO[7, 117]*s[11] + HO[7, 73]*(s[1] - s[7] - s[12]) + HO[7, 76]*(s[1] - s[7] - s[12]) + HO[7, 33]*(-s[9]/2 - s[13]) + HO[7, 26]*(-s[10]/2 - s[13]) + HO[7, 27]*(-s[10]/2 - s[13]) - HO[7, 29]*s[13] + HO[7, 42]*s[13] + HO[7, 56]*s[13] - HO[7, 59]*s[13] + HO[7, 66]*s[13] + HO[7, 86]*s[13] - HO[7, 87]*s[13] + HO[7, 88]*s[13] - HO[7, 89]*s[13] + HO[7, 129]*s[13] - HO[7, 132]*s[13] - HO[7, 133]*s[13] + HO[7, 62]*(-s[9]/2 + s[13]) + HO[7, 37]*(s[9]/2 + s[13]) + HO[7, 22]*(s[10]/2 + s[13]) + HO[7, 23]*(s[10]/2 + s[13]) + HO[7, 90]*(s[10]/2 + s[13]) + HO[7, 81]*(s[10]/2 + 2*s[13]) + HO[7, 15]*(-s[9]/2 - s[14]) + HO[7, 32]*(-s[9]/2 - s[14]) + HO[7, 41]*(-s[9]/2 - s[14]) + HO[7, 13]*(s[9]/2 - s[14]) + HO[7, 46]*(-s[10]/2 - s[14]) + HO[7, 75]*(-s[10]/2 - s[14]) + HO[7, 77]*(-s[10]/2 - s[14]) + HO[7, 72]*(s[1] - s[7] - s[9]/2 - s[12] - s[14]) - HO[7, 17]*s[14] + HO[7, 54]*s[14] + HO[7, 70]*s[14] - HO[7, 79]*s[14] + HO[7, 137]*s[14] - HO[7, 140]*s[14] - HO[7, 141]*s[14] + HO[7, 9]*(-s[9]/2 + s[14]) + HO[7, 10]*(-s[9]/2 + s[14]) + HO[7, 35]*(s[9]/2 + s[14]) + HO[7, 78]*(s[9]/2 + s[14]) + HO[7, 49]*(s[10]/2 + s[14]) + HO[7, 50]*(s[10]/2 + s[14]) + HO[7, 69]*(-s[1] + s[7] + s[9]/2 + s[12] + s[14]) + HO[7, 36]*(s[9]/2 + s[13] + s[14]) + HO[7, 68]*(s[9]/2 + s[10]/2 + 2*s[14]) + HO[7, 83]*(s[1] - s[8] - s[15]) + HO[7, 84]*(s[1] - s[8] - s[13] - s[15]) + HO[7, 91]*(-s[1] + s[8] + s[15]) + HO[7, 80]*(-s[1] + s[8] + s[13] + s[15]), MHO[8][13] = HO[7, 76]*s[7] + HO[7, 12]*(s[1] - s[2] - s[9]) + HO[7, 19]*(-s[1] + s[2] + s[9]) + HO[7, 31]*(-s[3] - s[10]/2) + (HO[7, 20]*s[10])/2 - (HO[7, 24]*s[10])/2 + (HO[7, 25]*s[10])/2 - (HO[7, 30]*s[10])/2 - (HO[7, 47]*s[10])/2 - (HO[7, 52]*s[10])/2 + (HO[7, 71]*s[10])/2 - (HO[7, 74]*s[10])/2 + (HO[7, 75]*s[10])/2 + (HO[7, 77]*s[10])/2 - (HO[7, 101]*s[10])/2 + (HO[7, 102]*s[10])/2 + HO[7, 103]*s[10] + HO[7, 104]*s[10] - HO[7, 106]*s[10] - HO[7, 107]*s[10] + HO[7, 108]*s[10] + HO[7, 65]*(-s[6] - s[11]/2) + HO[7, 42]*(s[4] + s[11]/2) + (HO[7, 11]*s[11])/2 - (HO[7, 14]*s[11])/2 - (HO[7, 33]*s[11])/2 + (HO[7, 37]*s[11])/2 - (HO[7, 38]*s[11])/2 + (HO[7, 43]*s[11])/2 - (HO[7, 58]*s[11])/2 - (HO[7, 60]*s[11])/2 + (HO[7, 61]*s[11])/2 - (HO[7, 64]*s[11])/2 + (HO[7, 80]*s[11])/2 - (HO[7, 84]*s[11])/2 + (HO[7, 111]*s[11])/2 + (HO[7, 112]*s[11])/2 - HO[7, 115]*s[11] + HO[7, 126]*s[12] + HO[7, 86]*(s[1] - s[8] - s[13]) + HO[7, 88]*(s[1] - s[8] - s[13]) + HO[7, 13]*(s[1] - s[2] - s[9] - s[14]) + HO[7, 46]*(-s[10]/2 - s[14]) + HO[7, 32]*(-s[11]/2 - s[14]) + HO[7, 39]*(-s[11]/2 - s[14]) + HO[7, 8]*s[14] - HO[7, 15]*s[14] + HO[7, 16]*s[14] - HO[7, 17]*s[14] - HO[7, 41]*s[14] + HO[7, 54]*s[14] + HO[7, 69]*s[14] - HO[7, 72]*s[14] + HO[7, 78]*s[14] + HO[7, 139]*s[14] - HO[7, 142]*s[14] - HO[7, 143]*s[14] + HO[7, 9]*(-s[1] + s[2] + s[9] + s[14]) + HO[7, 68]*(-s[10]/2 + s[14]) + HO[7, 50]*(s[10]/2 + s[14]) + HO[7, 18]*(s[11]/2 + s[14]) + HO[7, 35]*(s[11]/2 + s[14]) + HO[7, 36]*(s[11]/2 + s[14]) + HO[7, 10]*(s[11]/2 + 2*s[14]) + HO[7, 27]*(-s[10]/2 - s[15]) + HO[7, 45]*(-s[10]/2 - s[15]) + HO[7, 53]*(-s[10]/2 - s[15]) + HO[7, 26]*(s[10]/2 - s[15]) + HO[7, 59]*(-s[11]/2 - s[15]) + HO[7, 87]*(-s[11]/2 - s[15]) + HO[7, 89]*(-s[11]/2 - s[15]) + HO[7, 85]*(s[1] - s[8] - s[10]/2 - s[13] - s[15]) - HO[7, 29]*s[15] + HO[7, 66]*s[15] + HO[7, 83]*s[15] - HO[7, 91]*s[15] + HO[7, 147]*s[15] - HO[7, 150]*s[15] - HO[7, 151]*s[15] + HO[7, 22]*(-s[10]/2 + s[15]) + HO[7, 23]*(-s[10]/2 + s[15]) + HO[7, 48]*(s[10]/2 + s[15]) + HO[7, 90]*(s[10]/2 + s[15]) + HO[7, 56]*(s[11]/2 + s[15]) + HO[7, 62]*(s[11]/2 + s[15]) + HO[7, 82]*(-s[1] + s[8] + s[10]/2 + s[13] + s[15]) + HO[7, 49]*(s[10]/2 + s[14] + s[15]) + HO[7, 81]*(s[10]/2 + s[11]/2 + 2*s[15]), MHO[8][14] = HO[7, 88]*s[8] + HO[7, 12]*s[9] - HO[7, 19]*s[9] - HO[7, 41]*s[9] + HO[7, 78]*s[9] + HO[7, 94]*s[9] - HO[7, 97]*s[9] - HO[7, 98]*s[9] + HO[7, 25]*(s[1] - s[3] - s[10]) + HO[7, 31]*(-s[1] + s[3] + s[10]) + HO[7, 43]*(-s[4] - s[11]/2) + HO[7, 39]*(-s[9] - s[11]/2) + HO[7, 58]*(-s[9] - s[11]/2) + HO[7, 65]*(-s[9] - s[11]/2) + HO[7, 35]*(s[9] - s[11]/2) + HO[7, 36]*(s[9] - s[11]/2) + HO[7, 32]*(-s[9] + s[11]/2) + HO[7, 18]*(s[9] + s[11]/2) + HO[7, 61]*(s[9] + s[11]/2) + (HO[7, 33]*s[11])/2 - (HO[7, 37]*s[11])/2 + (HO[7, 38]*s[11])/2 - (HO[7, 42]*s[11])/2 - (HO[7, 60]*s[11])/2 - (HO[7, 64]*s[11])/2 - (HO[7, 80]*s[11])/2 + (HO[7, 84]*s[11])/2 + (HO[7, 87]*s[11])/2 + (HO[7, 89]*s[11])/2 - HO[7, 110]*s[11] - (HO[7, 111]*s[11])/2 + (HO[7, 112]*s[11])/2 + HO[7, 113]*s[11] + HO[7, 114]*s[11] - HO[7, 116]*s[11] + HO[7, 117]*s[11] + HO[7, 77]*(-s[7] - s[12]/2) + HO[7, 15]*(-s[9] - s[12]/2) + HO[7, 17]*(-s[9] - s[12]/2) + HO[7, 72]*(-s[9] - s[12]/2) + HO[7, 54]*(s[5] + s[12]/2) + HO[7, 68]*(s[9] + s[12]/2) + HO[7, 69]*(s[9] + s[12]/2) + HO[7, 10]*(2*s[9] + s[11]/2 + s[12]/2) + (HO[7, 9]*s[12])/2 - (HO[7, 13]*s[12])/2 - (HO[7, 20]*s[12])/2 + (HO[7, 24]*s[12])/2 - (HO[7, 44]*s[12])/2 - (HO[7, 46]*s[12])/2 + (HO[7, 50]*s[12])/2 + (HO[7, 55]*s[12])/2 - (HO[7, 71]*s[12])/2 - (HO[7, 73]*s[12])/2 + (HO[7, 74]*s[12])/2 - (HO[7, 76]*s[12])/2 + (HO[7, 121]*s[12])/2 + (HO[7, 122]*s[12])/2 - HO[7, 125]*s[12] + HO[7, 135]*s[13] + HO[7, 8]*(s[1] - s[2] - s[14]) + HO[7, 16]*(s[1] - s[2] - s[14]) + HO[7, 14]*(s[1] - s[2] - s[9] - s[11]/2 - s[14]) + HO[7, 11]*(-s[1] + s[2] + s[9] + s[11]/2 + s[14]) + HO[7, 26]*(s[1] - s[3] - s[10] - s[15]) + HO[7, 59]*(-s[11]/2 - s[15]) + HO[7, 45]*(-s[12]/2 - s[15]) + HO[7, 51]*(-s[12]/2 - s[15]) + HO[7, 21]*s[15] - HO[7, 27]*s[15] + HO[7, 28]*s[15] - HO[7, 29]*s[15] - HO[7, 53]*s[15] + HO[7, 66]*s[15] + HO[7, 82]*s[15] - HO[7, 85]*s[15] + HO[7, 90]*s[15] - HO[7, 146]*s[15] + HO[7, 149]*s[15] - HO[7, 152]*s[15] + HO[7, 22]*(-s[1] + s[3] + s[10] + s[15]) + HO[7, 81]*(-s[11]/2 + s[15]) + HO[7, 56]*(s[11]/2 + s[15]) + HO[7, 62]*(s[9] + s[11]/2 + s[15]) + HO[7, 30]*(s[12]/2 + s[15]) + HO[7, 48]*(s[12]/2 + s[15]) + HO[7, 49]*(s[12]/2 + s[15]) + HO[7, 23]*(s[12]/2 + 2*s[15]), MHO[8][15] = HO[7, 87]*(-s[1] + s[6] + s[8] + s[11] + s[13] + s[15]), MHO[8][16] = HO[7, 15]*(-s[1] + s[2] + s[7] + s[9] + s[12] + s[14]), MHO[8][17] = HO[7, 27]*(-s[1] + s[3] + s[8] + s[10] + s[13] + s[15]), MHO[8][18] = HO[7, 39]*(-s[1] + s[2] + s[4] + s[9] + s[11] + s[14]), MHO[8][19] = HO[7, 51]*(-s[1] + s[3] + s[5] + s[10] + s[12] + s[15]), MHO[8][20] = HO[7, 63]*(-s[1] + s[4] + s[6] + s[9] + s[11] + s[13]), MHO[8][21] = HO[7, 75]*(-s[1] + s[5] + s[7] + s[10] + s[12] + s[14]), MHO[8][22] = -(HO[7, 15]*s[7]) + 3*HO[7, 68]*s[7] + HO[7, 70]*s[7] - HO[7, 71]*s[7] - HO[7, 72]*s[7] + HO[7, 73]*s[7] - HO[7, 75]*s[7] + HO[7, 76]*s[7] - HO[7, 77]*s[7] + HO[7, 78]*s[7] - HO[7, 79]*s[7] - HO[7, 32]*s[11] + HO[7, 35]*s[11] + HO[7, 36]*s[11] - HO[7, 41]*s[11] + HO[7, 60]*s[11] + HO[7, 64]*s[11] + HO[7, 110]*s[11] - HO[7, 113]*s[11] - HO[7, 114]*s[11] - HO[7, 117]*s[11] + HO[7, 9]*(s[1] - s[2] - s[9] - s[12] - s[14]) + HO[7, 10]*(s[1] - s[2] - s[9] - s[12] - s[14]) + HO[7, 50]*(s[1] - s[5] - s[10] - s[12] - s[14]) + HO[7, 54]*(s[1] - s[5] - s[10] - s[12] - s[14]) + HO[7, 13]*(-s[1] + s[2] + s[9] + s[12] + s[14]) + HO[7, 17]*(-s[1] + s[2] + s[9] + s[12] + s[14]) + HO[7, 46]*(-s[1] + s[5] + s[10] + s[12] + s[14]) + HO[7, 56]*(-s[11] - s[15]/2) + HO[7, 59]*(s[11] + s[15]/2) + HO[7, 49]*(s[1] - s[5] - s[10] - s[12] - s[14] + s[15]/2) - (HO[7, 20]*s[15])/2 + (HO[7, 21]*s[15])/2 - (HO[7, 22]*s[15])/2 + (HO[7, 23]*s[15])/2 + (HO[7, 24]*s[15])/2 + (HO[7, 26]*s[15])/2 + (HO[7, 28]*s[15])/2 + (HO[7, 29]*s[15])/2 + HO[7, 30]*s[15] - (HO[7, 45]*s[15])/2 + (HO[7, 48]*s[15])/2 - (HO[7, 51]*s[15])/2 - (HO[7, 53]*s[15])/2 - (HO[7, 62]*s[15])/2 - (HO[7, 66]*s[15])/2 - (HO[7, 80]*s[15])/2 + (HO[7, 81]*s[15])/2 + (HO[7, 82]*s[15])/2 + (HO[7, 83]*s[15])/2 + (HO[7, 84]*s[15])/2 - (HO[7, 85]*s[15])/2 + (HO[7, 87]*s[15])/2 + (HO[7, 90]*s[15])/2 - (HO[7, 91]*s[15])/2 - HO[7, 147]*s[15] + (HO[7, 151]*s[15])/2 - (HO[7, 152]*s[15])/2 - HO[7, 153]*s[15], MHO[8][23] = -(HO[7, 27]*s[8]) + 3*HO[7, 81]*s[8] + HO[7, 83]*s[8] - HO[7, 84]*s[8] - HO[7, 85]*s[8] + HO[7, 86]*s[8] - HO[7, 87]*s[8] + HO[7, 88]*s[8] - HO[7, 89]*s[8] + HO[7, 90]*s[8] - HO[7, 91]*s[8] - (HO[7, 9]*s[9])/2 + (HO[7, 10]*s[9])/2 + (HO[7, 11]*s[9])/2 + (HO[7, 12]*s[9])/2 + (HO[7, 13]*s[9])/2 - (HO[7, 14]*s[9])/2 + (HO[7, 15]*s[9])/2 + (HO[7, 18]*s[9])/2 - (HO[7, 19]*s[9])/2 + (HO[7, 32]*s[9])/2 - (HO[7, 33]*s[9])/2 + (HO[7, 34]*s[9])/2 - (HO[7, 35]*s[9])/2 + (HO[7, 36]*s[9])/2 + (HO[7, 37]*s[9])/2 + (HO[7, 40]*s[9])/2 + (HO[7, 41]*s[9])/2 + HO[7, 42]*s[9] - (HO[7, 58]*s[9])/2 + (HO[7, 61]*s[9])/2 - (HO[7, 63]*s[9])/2 - (HO[7, 65]*s[9])/2 - (HO[7, 68]*s[9])/2 - (HO[7, 78]*s[9])/2 - (HO[7, 92]*s[9])/2 - HO[7, 94]*s[9] + (HO[7, 98]*s[9])/2 - HO[7, 99]*s[9] + HO[7, 69]*(-s[9]/2 - s[12]) - HO[7, 45]*s[12] + HO[7, 48]*s[12] + HO[7, 49]*s[12] - HO[7, 53]*s[12] + HO[7, 73]*s[12] + HO[7, 76]*s[12] + HO[7, 120]*s[12] - HO[7, 123]*s[12] - HO[7, 124]*s[12] - HO[7, 126]*s[12] + HO[7, 72]*(s[9]/2 + s[12]) + HO[7, 22]*(s[1] - s[3] - s[10] - s[13] - s[15]) + HO[7, 23]*(s[1] - s[3] - s[10] - s[13] - s[15]) + HO[7, 56]*(s[1] - s[6] - s[11] - s[13] - s[15]) + HO[7, 66]*(s[1] - s[6] - s[11] - s[13] - s[15]) + HO[7, 62]*(s[1] - s[6] + s[9]/2 - s[11] - s[13] - s[15]) + HO[7, 26]*(-s[1] + s[3] + s[10] + s[13] + s[15]) + HO[7, 29]*(-s[1] + s[3] + s[10] + s[13] + s[15]) + HO[7, 59]*(-s[1] + s[6] + s[11] + s[13] + s[15]), MHO[8][24] = HO[7, 8]*s[2] + 3*HO[7, 10]*s[2] + HO[7, 12]*s[2] - HO[7, 13]*s[2] - HO[7, 14]*s[2] - HO[7, 15]*s[2] + HO[7, 16]*s[2] - HO[7, 17]*s[2] + HO[7, 18]*s[2] - HO[7, 19]*s[2] - HO[7, 39]*s[2] - (HO[7, 20]*s[10])/2 - (HO[7, 22]*s[10])/2 + (HO[7, 23]*s[10])/2 + (HO[7, 24]*s[10])/2 + (HO[7, 25]*s[10])/2 + (HO[7, 26]*s[10])/2 + (HO[7, 27]*s[10])/2 + (HO[7, 30]*s[10])/2 - (HO[7, 31]*s[10])/2 + (HO[7, 45]*s[10])/2 - (HO[7, 46]*s[10])/2 + (HO[7, 47]*s[10])/2 - (HO[7, 48]*s[10])/2 + (HO[7, 49]*s[10])/2 + (HO[7, 50]*s[10])/2 + (HO[7, 52]*s[10])/2 + (HO[7, 53]*s[10])/2 + HO[7, 54]*s[10] - (HO[7, 71]*s[10])/2 + (HO[7, 74]*s[10])/2 - (HO[7, 75]*s[10])/2 - (HO[7, 77]*s[10])/2 - (HO[7, 81]*s[10])/2 - (HO[7, 90]*s[10])/2 + (HO[7, 101]*s[10])/2 - (HO[7, 102]*s[10])/2 - HO[7, 104]*s[10] - HO[7, 108]*s[10] + HO[7, 82]*(-s[10]/2 - s[13]) - HO[7, 58]*s[13] + HO[7, 61]*s[13] + HO[7, 62]*s[13] - HO[7, 65]*s[13] + HO[7, 86]*s[13] + HO[7, 88]*s[13] + HO[7, 130]*s[13] - HO[7, 133]*s[13] - HO[7, 134]*s[13] - HO[7, 135]*s[13] + HO[7, 85]*(s[10]/2 + s[13]) + HO[7, 35]*(s[1] - s[4] - s[9] - s[11] - s[14]) + HO[7, 36]*(s[1] - s[4] - s[9] - s[11] - s[14]) + HO[7, 69]*(s[1] - s[7] - s[9] - s[12] - s[14]) + HO[7, 78]*(s[1] - s[7] - s[9] - s[12] - s[14]) + HO[7, 68]*(s[1] - s[7] - s[9] + s[10]/2 - s[12] - s[14]) + HO[7, 32]*(-s[1] + s[4] + s[9] + s[11] + s[14]) + HO[7, 41]*(-s[1] + s[4] + s[9] + s[11] + s[14]) + HO[7, 72]*(-s[1] + s[7] + s[9] + s[12] + s[14]), MHO[8][25] = -(HO[7, 20]*s[3]) + HO[7, 21]*s[3] + 3*HO[7, 23]*s[3] + HO[7, 25]*s[3] - HO[7, 26]*s[3] - HO[7, 27]*s[3] + HO[7, 28]*s[3] - HO[7, 29]*s[3] + HO[7, 30]*s[3] - HO[7, 31]*s[3] - HO[7, 51]*s[3] - (HO[7, 10]*s[11])/2 - (HO[7, 18]*s[11])/2 + (HO[7, 32]*s[11])/2 - (HO[7, 33]*s[11])/2 - (HO[7, 35]*s[11])/2 + (HO[7, 36]*s[11])/2 + (HO[7, 37]*s[11])/2 + (HO[7, 38]*s[11])/2 + (HO[7, 39]*s[11])/2 + (HO[7, 42]*s[11])/2 - (HO[7, 43]*s[11])/2 + (HO[7, 56]*s[11])/2 + (HO[7, 58]*s[11])/2 - (HO[7, 59]*s[11])/2 + (HO[7, 60]*s[11])/2 - (HO[7, 61]*s[11])/2 + (HO[7, 62]*s[11])/2 + (HO[7, 64]*s[11])/2 + (HO[7, 65]*s[11])/2 + HO[7, 66]*s[11] + (HO[7, 80]*s[11])/2 - (HO[7, 84]*s[11])/2 - (HO[7, 87]*s[11])/2 - (HO[7, 89]*s[11])/2 + (HO[7, 111]*s[11])/2 - (HO[7, 112]*s[11])/2 - HO[7, 114]*s[11] - HO[7, 117]*s[11] + HO[7, 11]*(-s[11]/2 - s[14]) + HO[7, 8]*s[14] + HO[7, 16]*s[14] + HO[7, 68]*s[14] - HO[7, 71]*s[14] + HO[7, 74]*s[14] - HO[7, 77]*s[14] - HO[7, 137]*s[14] + HO[7, 140]*s[14] - HO[7, 143]*s[14] - HO[7, 144]*s[14] + HO[7, 14]*(s[11]/2 + s[14]) + HO[7, 48]*(s[1] - s[5] - s[10] - s[12] - s[15]) + HO[7, 49]*(s[1] - s[5] - s[10] - s[12] - s[15]) + HO[7, 82]*(s[1] - s[8] - s[10] - s[13] - s[15]) + HO[7, 90]*(s[1] - s[8] - s[10] - s[13] - s[15]) + HO[7, 81]*(s[1] - s[8] - s[10] + s[11]/2 - s[13] - s[15]) + HO[7, 45]*(-s[1] + s[5] + s[10] + s[12] + s[15]) + HO[7, 53]*(-s[1] + s[5] + s[10] + s[12] + s[15]) + HO[7, 85]*(-s[1] + s[8] + s[10] + s[13] + s[15]), MHO[8][26] = -(HO[7, 32]*s[4]) - HO[7, 33]*s[4] + HO[7, 34]*s[4] + 3*HO[7, 36]*s[4] + HO[7, 38]*s[4] - HO[7, 39]*s[4] + HO[7, 40]*s[4] - HO[7, 41]*s[4] + HO[7, 42]*s[4] - HO[7, 43]*s[4] - HO[7, 63]*s[4] + (HO[7, 9]*s[12])/2 - (HO[7, 13]*s[12])/2 - (HO[7, 15]*s[12])/2 - (HO[7, 17]*s[12])/2 - (HO[7, 23]*s[12])/2 - (HO[7, 30]*s[12])/2 + (HO[7, 44]*s[12])/2 + (HO[7, 45]*s[12])/2 - (HO[7, 46]*s[12])/2 - (HO[7, 48]*s[12])/2 + (HO[7, 49]*s[12])/2 + (HO[7, 50]*s[12])/2 + (HO[7, 51]*s[12])/2 + (HO[7, 54]*s[12])/2 - (HO[7, 55]*s[12])/2 + (HO[7, 68]*s[12])/2 + (HO[7, 69]*s[12])/2 + (HO[7, 71]*s[12])/2 - (HO[7, 72]*s[12])/2 + (HO[7, 73]*s[12])/2 - (HO[7, 74]*s[12])/2 + (HO[7, 76]*s[12])/2 + (HO[7, 77]*s[12])/2 + HO[7, 78]*s[12] + (HO[7, 121]*s[12])/2 - (HO[7, 122]*s[12])/2 - HO[7, 124]*s[12] - HO[7, 126]*s[12] + HO[7, 61]*(s[1] - s[6] - s[9] - s[11] - s[13]) + HO[7, 62]*(s[1] - s[6] - s[9] - s[11] - s[13]) + HO[7, 58]*(-s[1] + s[6] + s[9] + s[11] + s[13]) + HO[7, 65]*(-s[1] + s[6] + s[9] + s[11] + s[13]) + HO[7, 11]*(s[1] - s[2] - s[9] - s[11] - s[14]) + HO[7, 18]*(s[1] - s[2] - s[9] - s[11] - s[14]) + HO[7, 10]*(s[1] - s[2] - s[9] - s[11] + s[12]/2 - s[14]) + HO[7, 14]*(-s[1] + s[2] + s[9] + s[11] + s[14]) + HO[7, 24]*(-s[12]/2 - s[15]) + HO[7, 21]*s[15] + HO[7, 28]*s[15] + HO[7, 80]*s[15] + HO[7, 81]*s[15] - HO[7, 84]*s[15] - HO[7, 89]*s[15] - HO[7, 146]*s[15] - HO[7, 147]*s[15] + HO[7, 150]*s[15] - HO[7, 153]*s[15] + HO[7, 20]*(s[12]/2 + s[15]), MHO[8][27] = HO[7, 44]*s[5] - HO[7, 45]*s[5] - HO[7, 46]*s[5] + HO[7, 47]*s[5] + 3*HO[7, 49]*s[5] - HO[7, 51]*s[5] + HO[7, 52]*s[5] - HO[7, 53]*s[5] + HO[7, 54]*s[5] - HO[7, 55]*s[5] - HO[7, 75]*s[5] + HO[7, 9]*s[9] + HO[7, 10]*s[9] - HO[7, 13]*s[9] - HO[7, 17]*s[9] + HO[7, 34]*s[9] + HO[7, 40]*s[9] - HO[7, 93]*s[9] - HO[7, 94]*s[9] + HO[7, 97]*s[9] - HO[7, 99]*s[9] + HO[7, 37]*(-s[9] - s[13]/2) + HO[7, 33]*(s[9] + s[13]/2) + (HO[7, 22]*s[13])/2 - (HO[7, 26]*s[13])/2 - (HO[7, 27]*s[13])/2 - (HO[7, 29]*s[13])/2 - (HO[7, 36]*s[13])/2 - (HO[7, 42]*s[13])/2 + (HO[7, 56]*s[13])/2 + (HO[7, 57]*s[13])/2 + (HO[7, 58]*s[13])/2 - (HO[7, 59]*s[13])/2 - (HO[7, 61]*s[13])/2 + (HO[7, 62]*s[13])/2 + (HO[7, 63]*s[13])/2 + (HO[7, 66]*s[13])/2 - (HO[7, 67]*s[13])/2 - (HO[7, 80]*s[13])/2 + (HO[7, 81]*s[13])/2 + (HO[7, 82]*s[13])/2 + (HO[7, 84]*s[13])/2 - (HO[7, 85]*s[13])/2 + (HO[7, 86]*s[13])/2 + (HO[7, 88]*s[13])/2 + (HO[7, 89]*s[13])/2 + HO[7, 90]*s[13] + (HO[7, 131]*s[13])/2 - (HO[7, 132]*s[13])/2 - HO[7, 134]*s[13] - HO[7, 135]*s[13] + HO[7, 68]*(s[1] - s[7] - s[10] - s[12] - s[14]) + HO[7, 74]*(s[1] - s[7] - s[10] - s[12] - s[14]) + HO[7, 71]*(-s[1] + s[7] + s[10] + s[12] + s[14]) + HO[7, 77]*(-s[1] + s[7] + s[10] + s[12] + s[14]) + HO[7, 24]*(s[1] - s[3] - s[10] - s[12] - s[15]) + HO[7, 30]*(s[1] - s[3] - s[10] - s[12] - s[15]) + HO[7, 23]*(s[1] - s[3] - s[10] - s[12] + s[13]/2 - s[15]) + HO[7, 20]*(-s[1] + s[3] + s[10] + s[12] + s[15]), MHO[8][28] = HO[7, 57]*s[6] - HO[7, 58]*s[6] - HO[7, 59]*s[6] + HO[7, 60]*s[6] + 3*HO[7, 62]*s[6] - HO[7, 63]*s[6] + HO[7, 64]*s[6] - HO[7, 65]*s[6] + HO[7, 66]*s[6] - HO[7, 67]*s[6] - HO[7, 87]*s[6] + HO[7, 22]*s[10] + HO[7, 23]*s[10] - HO[7, 26]*s[10] - HO[7, 29]*s[10] + HO[7, 47]*s[10] + HO[7, 52]*s[10] - HO[7, 103]*s[10] - HO[7, 104]*s[10] + HO[7, 107]*s[10] - HO[7, 108]*s[10] + HO[7, 37]*(s[1] - s[4] - s[9] - s[11] - s[13]) + HO[7, 42]*(s[1] - s[4] - s[9] - s[11] - s[13]) + HO[7, 33]*(-s[1] + s[4] + s[9] + s[11] + s[13]) + HO[7, 50]*(-s[10] - s[14]/2) + HO[7, 46]*(s[10] + s[14]/2) + HO[7, 36]*(s[1] - s[4] - s[9] - s[11] - s[13] + s[14]/2) + (HO[7, 8]*s[14])/2 - (HO[7, 9]*s[14])/2 + (HO[7, 10]*s[14])/2 + (HO[7, 11]*s[14])/2 + (HO[7, 13]*s[14])/2 - (HO[7, 14]*s[14])/2 + (HO[7, 16]*s[14])/2 + (HO[7, 17]*s[14])/2 + HO[7, 18]*s[14] - (HO[7, 32]*s[14])/2 + (HO[7, 35]*s[14])/2 - (HO[7, 39]*s[14])/2 - (HO[7, 41]*s[14])/2 - (HO[7, 49]*s[14])/2 - (HO[7, 54]*s[14])/2 + (HO[7, 68]*s[14])/2 + (HO[7, 69]*s[14])/2 + (HO[7, 70]*s[14])/2 + (HO[7, 71]*s[14])/2 - (HO[7, 72]*s[14])/2 - (HO[7, 74]*s[14])/2 + (HO[7, 75]*s[14])/2 + (HO[7, 78]*s[14])/2 - (HO[7, 79]*s[14])/2 - HO[7, 137]*s[14] + (HO[7, 141]*s[14])/2 - (HO[7, 142]*s[14])/2 - HO[7, 144]*s[14] + HO[7, 80]*(s[1] - s[8] - s[11] - s[13] - s[15]) + HO[7, 81]*(s[1] - s[8] - s[11] - s[13] - s[15]) + HO[7, 84]*(-s[1] + s[8] + s[11] + s[13] + s[15]) + HO[7, 89]*(-s[1] + s[8] + s[11] + s[13] + s[15]), MHO[8][29] = HE[7, 16]*s[2] + HE[7, 66]*s[6] + HE[7, 89]*s[8] + HE[7, 11]*s[9] - HE[7, 14]*s[9] + HE[7, 18]*s[9] + HE[7, 34]*s[9] + 2*HE[7, 36]*s[9] - HE[7, 39]*s[9] + HE[7, 40]*s[9] - HE[7, 41]*s[9] + HE[7, 42]*s[9] - HE[7, 58]*s[9] + HE[7, 61]*s[9] + HE[7, 62]*s[9] - HE[7, 63]*s[9] - HE[7, 65]*s[9] + HE[7, 78]*s[9] - HE[7, 92]*s[9] - HE[7, 93]*s[9] + HE[7, 96]*s[9] - HE[7, 25]*s[10] + HE[7, 27]*s[10] + HE[7, 29]*s[10] + HE[7, 31]*s[10] + HE[7, 53]*s[10] - HE[7, 81]*s[10] - HE[7, 82]*s[10] + HE[7, 85]*s[10] - HE[7, 90]*s[10] + HE[7, 101]*s[10] - HE[7, 104]*s[10] + HE[7, 107]*s[10] + HE[7, 38]*(s[1] - s[4] - s[11]) + HE[7, 32]*(s[1] - s[4] - s[9] - s[11]) + HE[7, 43]*(-s[1] + s[4] + s[11]) + HE[7, 35]*(-s[1] + s[4] + s[9] + s[11]) + HE[7, 69]*(s[9] - s[12]/2) + HE[7, 23]*(-2*s[10] - s[12]/2) + HE[7, 30]*(-s[10] - s[12]/2) + HE[7, 74]*(-s[10] - s[12]/2) + HE[7, 68]*(s[9] - s[10] - s[12]/2) + HE[7, 45]*(s[10] - s[12]/2) + HE[7, 55]*(s[5] + s[12]/2) + HE[7, 72]*(-s[9] + s[12]/2) + HE[7, 10]*(s[9] + s[12]/2) + HE[7, 48]*(-s[10] + s[12]/2) + HE[7, 49]*(-s[10] + s[12]/2) + HE[7, 51]*(s[10] + s[12]/2) + HE[7, 71]*(s[10] + s[12]/2) + HE[7, 77]*(s[10] + s[12]/2) + (HE[7, 9]*s[12])/2 - (HE[7, 13]*s[12])/2 - (HE[7, 15]*s[12])/2 - (HE[7, 17]*s[12])/2 - (HE[7, 44]*s[12])/2 - (HE[7, 46]*s[12])/2 + (HE[7, 50]*s[12])/2 + (HE[7, 54]*s[12])/2 + (HE[7, 73]*s[12])/2 + (HE[7, 76]*s[12])/2 + HE[7, 119]*s[12] + HE[7, 120]*s[12] + (HE[7, 121]*s[12])/2 - (HE[7, 122]*s[12])/2 - HE[7, 123]*s[12] - HE[7, 124]*s[12] - HE[7, 126]*s[12] + HE[7, 136]*s[13] + HE[7, 144]*s[14] + HE[7, 24]*(s[1] - s[3] - s[10] - s[12]/2 - s[15]) + HE[7, 21]*(-s[1] + s[3] + s[15]) + HE[7, 28]*(-s[1] + s[3] + s[15]) + HE[7, 20]*(-s[1] + s[3] + s[10] + s[12]/2 + s[15]), MHO[8][30] = HE[7, 17]*s[2] + HE[7, 28]*s[3] + HE[7, 78]*s[7] + HE[7, 34]*(-s[1] + s[4] + s[9]) + HE[7, 40]*(-s[1] + s[4] + s[9]) - HE[7, 20]*s[10] + HE[7, 24]*s[10] + HE[7, 30]*s[10] + HE[7, 47]*s[10] + 2*HE[7, 49]*s[10] - HE[7, 51]*s[10] + HE[7, 52]*s[10] - HE[7, 53]*s[10] + HE[7, 54]*s[10] + HE[7, 68]*s[10] - HE[7, 71]*s[10] + HE[7, 74]*s[10] - HE[7, 75]*s[10] - HE[7, 77]*s[10] + HE[7, 90]*s[10] - HE[7, 102]*s[10] - HE[7, 103]*s[10] + HE[7, 106]*s[10] - HE[7, 10]*s[11] - HE[7, 11]*s[11] + HE[7, 14]*s[11] - HE[7, 18]*s[11] - HE[7, 38]*s[11] + HE[7, 39]*s[11] + HE[7, 41]*s[11] + HE[7, 43]*s[11] + HE[7, 65]*s[11] + HE[7, 110]*s[11] + HE[7, 111]*s[11] - HE[7, 114]*s[11] + HE[7, 44]*(s[1] - s[5] - s[12]) + HE[7, 45]*(s[1] - s[5] - s[10] - s[12]) + HE[7, 55]*(-s[1] + s[5] + s[12]) + HE[7, 48]*(-s[1] + s[5] + s[10] + s[12]) + HE[7, 82]*(s[10] - s[13]/2) + HE[7, 36]*(-2*s[11] - s[13]/2) + HE[7, 42]*(-s[11] - s[13]/2) + HE[7, 80]*(-s[11] - s[13]/2) + HE[7, 37]*(s[1] - s[4] - s[9] - s[11] - s[13]/2) + HE[7, 81]*(s[10] - s[11] - s[13]/2) + HE[7, 58]*(s[11] - s[13]/2) + HE[7, 67]*(s[6] + s[13]/2) + HE[7, 85]*(-s[10] + s[13]/2) + HE[7, 23]*(s[10] + s[13]/2) + HE[7, 61]*(-s[11] + s[13]/2) + HE[7, 62]*(-s[11] + s[13]/2) + HE[7, 63]*(s[11] + s[13]/2) + HE[7, 84]*(s[11] + s[13]/2) + HE[7, 89]*(s[11] + s[13]/2) + HE[7, 33]*(-s[1] + s[4] + s[9] + s[11] + s[13]/2) + (HE[7, 22]*s[13])/2 - (HE[7, 26]*s[13])/2 - (HE[7, 27]*s[13])/2 - (HE[7, 29]*s[13])/2 + (HE[7, 56]*s[13])/2 - (HE[7, 57]*s[13])/2 - (HE[7, 59]*s[13])/2 + (HE[7, 66]*s[13])/2 + (HE[7, 86]*s[13])/2 + (HE[7, 88]*s[13])/2 + HE[7, 129]*s[13] + HE[7, 130]*s[13] + (HE[7, 131]*s[13])/2 - (HE[7, 132]*s[13])/2 - HE[7, 133]*s[13] - HE[7, 134]*s[13] - HE[7, 135]*s[13] + HE[7, 145]*s[14] + HE[7, 153]*s[15], MHO[8][31] = HE[7, 29]*s[3] + HE[7, 40]*s[4] + HE[7, 90]*s[8] + HE[7, 99]*s[9] + HE[7, 47]*(-s[1] + s[5] + s[10]) + HE[7, 52]*(-s[1] + s[5] + s[10]) + HE[7, 18]*s[11] - HE[7, 33]*s[11] + HE[7, 37]*s[11] + HE[7, 42]*s[11] + HE[7, 60]*s[11] + 2*HE[7, 62]*s[11] - HE[7, 63]*s[11] + HE[7, 64]*s[11] - HE[7, 65]*s[11] + HE[7, 66]*s[11] + HE[7, 80]*s[11] + HE[7, 81]*s[11] - HE[7, 84]*s[11] - HE[7, 87]*s[11] - HE[7, 89]*s[11] - HE[7, 112]*s[11] - HE[7, 113]*s[11] + HE[7, 116]*s[11] + HE[7, 20]*s[12] - HE[7, 23]*s[12] - HE[7, 24]*s[12] - HE[7, 30]*s[12] - HE[7, 44]*s[12] + HE[7, 51]*s[12] + HE[7, 53]*s[12] + HE[7, 55]*s[12] + HE[7, 77]*s[12] + HE[7, 120]*s[12] + HE[7, 121]*s[12] - HE[7, 124]*s[12] + HE[7, 57]*(s[1] - s[6] - s[13]) + HE[7, 58]*(s[1] - s[6] - s[11] - s[13]) + HE[7, 67]*(-s[1] + s[6] + s[13]) + HE[7, 61]*(-s[1] + s[6] + s[11] + s[13]) + HE[7, 11]*(s[11] - s[14]/2) + HE[7, 49]*(-2*s[12] - s[14]/2) + HE[7, 9]*(-s[12] - s[14]/2) + HE[7, 54]*(-s[12] - s[14]/2) + HE[7, 50]*(s[1] - s[5] - s[10] - s[12] - s[14]/2) + HE[7, 10]*(s[11] - s[12] - s[14]/2) + HE[7, 71]*(s[12] - s[14]/2) + HE[7, 79]*(s[7] + s[14]/2) + HE[7, 14]*(-s[11] + s[14]/2) + HE[7, 36]*(s[11] + s[14]/2) + HE[7, 68]*(-s[12] + s[14]/2) + HE[7, 74]*(-s[12] + s[14]/2) + HE[7, 13]*(s[12] + s[14]/2) + HE[7, 17]*(s[12] + s[14]/2) + HE[7, 75]*(s[12] + s[14]/2) + HE[7, 46]*(-s[1] + s[5] + s[10] + s[12] + s[14]/2) + (HE[7, 8]*s[14])/2 + (HE[7, 16]*s[14])/2 - (HE[7, 32]*s[14])/2 + (HE[7, 35]*s[14])/2 - (HE[7, 39]*s[14])/2 - (HE[7, 41]*s[14])/2 + (HE[7, 69]*s[14])/2 - (HE[7, 70]*s[14])/2 - (HE[7, 72]*s[14])/2 + (HE[7, 78]*s[14])/2 - HE[7, 137]*s[14] + HE[7, 139]*s[14] + HE[7, 140]*s[14] + (HE[7, 141]*s[14])/2 - (HE[7, 142]*s[14])/2 - HE[7, 143]*s[14] - HE[7, 144]*s[14] + HE[7, 154]*s[15], MHO[8][32] = HE[7, 18]*s[2] + HE[7, 41]*s[4] + HE[7, 52]*s[5] + HE[7, 100]*s[9] + HE[7, 108]*s[10] + HE[7, 60]*(-s[1] + s[6] + s[11]) + HE[7, 64]*(-s[1] + s[6] + s[11]) + HE[7, 9]*s[12] + HE[7, 10]*s[12] - HE[7, 13]*s[12] - HE[7, 15]*s[12] - HE[7, 17]*s[12] + HE[7, 30]*s[12] - HE[7, 46]*s[12] + HE[7, 50]*s[12] + HE[7, 54]*s[12] + 2*HE[7, 68]*s[12] + HE[7, 73]*s[12] - HE[7, 75]*s[12] + HE[7, 76]*s[12] - HE[7, 77]*s[12] + HE[7, 78]*s[12] + HE[7, 119]*s[12] - HE[7, 122]*s[12] - HE[7, 123]*s[12] + HE[7, 33]*s[13] - HE[7, 36]*s[13] - HE[7, 37]*s[13] - HE[7, 42]*s[13] - HE[7, 57]*s[13] + HE[7, 63]*s[13] + HE[7, 65]*s[13] + HE[7, 67]*s[13] + HE[7, 89]*s[13] + HE[7, 130]*s[13] + HE[7, 131]*s[13] - HE[7, 134]*s[13] + HE[7, 70]*(s[1] - s[7] - s[14]) + HE[7, 71]*(s[1] - s[7] - s[12] - s[14]) + HE[7, 79]*(-s[1] + s[7] + s[14]) + HE[7, 74]*(-s[1] + s[7] + s[12] + s[14]) + HE[7, 24]*(s[12] - s[15]/2) + HE[7, 62]*(-2*s[13] - s[15]/2) + HE[7, 22]*(-s[13] - s[15]/2) + HE[7, 66]*(-s[13] - s[15]/2) + HE[7, 56]*(s[1] - s[6] - s[11] - s[13] - s[15]/2) + HE[7, 23]*(s[12] - s[13] - s[15]/2) + HE[7, 84]*(s[13] - s[15]/2) + HE[7, 91]*(s[8] + s[15]/2) + HE[7, 20]*(-s[12] + s[15]/2) + HE[7, 49]*(s[12] + s[15]/2) + HE[7, 80]*(-s[13] + s[15]/2) + HE[7, 81]*(-s[13] + s[15]/2) + HE[7, 26]*(s[13] + s[15]/2) + HE[7, 29]*(s[13] + s[15]/2) + HE[7, 87]*(s[13] + s[15]/2) + HE[7, 59]*(-s[1] + s[6] + s[11] + s[13] + s[15]/2) + (HE[7, 21]*s[15])/2 + (HE[7, 28]*s[15])/2 - (HE[7, 45]*s[15])/2 + (HE[7, 48]*s[15])/2 - (HE[7, 51]*s[15])/2 - (HE[7, 53]*s[15])/2 + (HE[7, 82]*s[15])/2 - (HE[7, 83]*s[15])/2 - (HE[7, 85]*s[15])/2 + (HE[7, 90]*s[15])/2 - HE[7, 146]*s[15] - HE[7, 147]*s[15] + HE[7, 149]*s[15] + HE[7, 150]*s[15] + (HE[7, 151]*s[15])/2 - (HE[7, 152]*s[15])/2 - HE[7, 153]*s[15], MHO[8][33] = HE[7, 30]*s[3] + HE[7, 53]*s[5] + HE[7, 64]*s[6] + HE[7, 19]*(s[2] + s[9]/2) + (HE[7, 11]*s[9])/2 - (HE[7, 12]*s[9])/2 - (HE[7, 14]*s[9])/2 + (HE[7, 18]*s[9])/2 + (HE[7, 34]*s[9])/2 + (HE[7, 40]*s[9])/2 - (HE[7, 58]*s[9])/2 + (HE[7, 61]*s[9])/2 - (HE[7, 63]*s[9])/2 - (HE[7, 65]*s[9])/2 - (HE[7, 92]*s[9])/2 - HE[7, 93]*s[9] - HE[7, 94]*s[9] + HE[7, 96]*s[9] + HE[7, 97]*s[9] + (HE[7, 98]*s[9])/2 - HE[7, 99]*s[9] + HE[7, 109]*s[10] + HE[7, 117]*s[11] + HE[7, 73]*(-s[1] + s[7] + s[12]) + HE[7, 76]*(-s[1] + s[7] + s[12]) + HE[7, 33]*(s[9]/2 - s[13]) + HE[7, 22]*s[13] + HE[7, 23]*s[13] - HE[7, 26]*s[13] - HE[7, 27]*s[13] - HE[7, 29]*s[13] + HE[7, 42]*s[13] + HE[7, 56]*s[13] - HE[7, 59]*s[13] + HE[7, 66]*s[13] + 2*HE[7, 81]*s[13] + HE[7, 86]*s[13] - HE[7, 87]*s[13] + HE[7, 88]*s[13] - HE[7, 89]*s[13] + HE[7, 90]*s[13] + HE[7, 129]*s[13] - HE[7, 132]*s[13] - HE[7, 133]*s[13] + HE[7, 37]*(-s[9]/2 + s[13]) + HE[7, 62]*(s[9]/2 + s[13]) + HE[7, 68]*(-s[9]/2 - 2*s[14]) + HE[7, 35]*(-s[9]/2 - s[14]) + HE[7, 78]*(-s[9]/2 - s[14]) + HE[7, 9]*(s[9]/2 - s[14]) + HE[7, 10]*(s[9]/2 - s[14]) + HE[7, 69]*(s[1] - s[7] - s[9]/2 - s[12] - s[14]) + HE[7, 36]*(-s[9]/2 + s[13] - s[14]) + HE[7, 17]*s[14] + HE[7, 46]*s[14] - HE[7, 49]*s[14] - HE[7, 50]*s[14] - HE[7, 54]*s[14] - HE[7, 70]*s[14] + HE[7, 75]*s[14] + HE[7, 77]*s[14] + HE[7, 79]*s[14] - HE[7, 137]*s[14] + HE[7, 140]*s[14] + HE[7, 141]*s[14] + HE[7, 13]*(-s[9]/2 + s[14]) + HE[7, 15]*(s[9]/2 + s[14]) + HE[7, 32]*(s[9]/2 + s[14]) + HE[7, 41]*(s[9]/2 + s[14]) + HE[7, 72]*(-s[1] + s[7] + s[9]/2 + s[12] + s[14]) + HE[7, 83]*(s[1] - s[8] - s[15]) + HE[7, 84]*(s[1] - s[8] - s[13] - s[15]) + HE[7, 91]*(-s[1] + s[8] + s[15]) + HE[7, 80]*(-s[1] + s[8] + s[13] + s[15]), MHO[8][34] = HE[7, 42]*s[4] + HE[7, 65]*s[6] + HE[7, 76]*s[7] + HE[7, 12]*(s[1] - s[2] - s[9]) + HE[7, 19]*(-s[1] + s[2] + s[9]) + HE[7, 31]*(s[3] + s[10]/2) - (HE[7, 20]*s[10])/2 + (HE[7, 24]*s[10])/2 - (HE[7, 25]*s[10])/2 + (HE[7, 30]*s[10])/2 + (HE[7, 47]*s[10])/2 + (HE[7, 52]*s[10])/2 - (HE[7, 71]*s[10])/2 + (HE[7, 74]*s[10])/2 - (HE[7, 75]*s[10])/2 - (HE[7, 77]*s[10])/2 + (HE[7, 101]*s[10])/2 - (HE[7, 102]*s[10])/2 - HE[7, 103]*s[10] - HE[7, 104]*s[10] + HE[7, 106]*s[10] + HE[7, 107]*s[10] - HE[7, 108]*s[10] + HE[7, 118]*s[11] + HE[7, 126]*s[12] + HE[7, 86]*(-s[1] + s[8] + s[13]) + HE[7, 88]*(-s[1] + s[8] + s[13]) + HE[7, 13]*(s[1] - s[2] - s[9] - s[14]) + HE[7, 46]*(s[10]/2 - s[14]) + HE[7, 8]*s[14] + 2*HE[7, 10]*s[14] - HE[7, 15]*s[14] + HE[7, 16]*s[14] - HE[7, 17]*s[14] + HE[7, 18]*s[14] - HE[7, 32]*s[14] + HE[7, 35]*s[14] + HE[7, 36]*s[14] - HE[7, 39]*s[14] - HE[7, 41]*s[14] + HE[7, 54]*s[14] + HE[7, 69]*s[14] - HE[7, 72]*s[14] + HE[7, 78]*s[14] + HE[7, 139]*s[14] - HE[7, 142]*s[14] - HE[7, 143]*s[14] + HE[7, 9]*(-s[1] + s[2] + s[9] + s[14]) + HE[7, 50]*(-s[10]/2 + s[14]) + HE[7, 68]*(s[10]/2 + s[14]) + HE[7, 81]*(-s[10]/2 - 2*s[15]) + HE[7, 48]*(-s[10]/2 - s[15]) + HE[7, 90]*(-s[10]/2 - s[15]) + HE[7, 22]*(s[10]/2 - s[15]) + HE[7, 23]*(s[10]/2 - s[15]) + HE[7, 82]*(s[1] - s[8] - s[10]/2 - s[13] - s[15]) + HE[7, 49]*(-s[10]/2 + s[14] - s[15]) + HE[7, 29]*s[15] - HE[7, 56]*s[15] + HE[7, 59]*s[15] - HE[7, 62]*s[15] - HE[7, 66]*s[15] - HE[7, 83]*s[15] + HE[7, 87]*s[15] + HE[7, 89]*s[15] + HE[7, 91]*s[15] - HE[7, 147]*s[15] + HE[7, 150]*s[15] + HE[7, 151]*s[15] + HE[7, 26]*(-s[10]/2 + s[15]) + HE[7, 27]*(s[10]/2 + s[15]) + HE[7, 45]*(s[10]/2 + s[15]) + HE[7, 53]*(s[10]/2 + s[15]) + HE[7, 85]*(-s[1] + s[8] + s[10]/2 + s[13] + s[15]), MHO[8][35] = HE[7, 54]*s[5] + HE[7, 77]*s[7] + HE[7, 88]*s[8] - HE[7, 12]*s[9] + HE[7, 15]*s[9] + HE[7, 17]*s[9] + HE[7, 19]*s[9] + HE[7, 41]*s[9] - HE[7, 68]*s[9] - HE[7, 69]*s[9] + HE[7, 72]*s[9] - HE[7, 78]*s[9] - HE[7, 94]*s[9] + HE[7, 97]*s[9] + HE[7, 98]*s[9] + HE[7, 25]*(s[1] - s[3] - s[10]) + HE[7, 31]*(-s[1] + s[3] + s[10]) + HE[7, 10]*(-2*s[9] - s[11]/2) + HE[7, 18]*(-s[9] - s[11]/2) + HE[7, 61]*(-s[9] - s[11]/2) + HE[7, 32]*(s[9] - s[11]/2) + HE[7, 43]*(s[4] + s[11]/2) + HE[7, 35]*(-s[9] + s[11]/2) + HE[7, 36]*(-s[9] + s[11]/2) + HE[7, 39]*(s[9] + s[11]/2) + HE[7, 58]*(s[9] + s[11]/2) + HE[7, 65]*(s[9] + s[11]/2) - (HE[7, 33]*s[11])/2 + (HE[7, 37]*s[11])/2 - (HE[7, 38]*s[11])/2 + (HE[7, 42]*s[11])/2 + (HE[7, 60]*s[11])/2 + (HE[7, 64]*s[11])/2 + (HE[7, 80]*s[11])/2 - (HE[7, 84]*s[11])/2 - (HE[7, 87]*s[11])/2 - (HE[7, 89]*s[11])/2 + HE[7, 110]*s[11] + (HE[7, 111]*s[11])/2 - (HE[7, 112]*s[11])/2 - HE[7, 113]*s[11] - HE[7, 114]*s[11] + HE[7, 116]*s[11] - HE[7, 117]*s[11] + HE[7, 127]*s[12] + HE[7, 135]*s[13] + HE[7, 11]*(s[1] - s[2] - s[9] - s[11]/2 - s[14]) + HE[7, 8]*(-s[1] + s[2] + s[14]) + HE[7, 16]*(-s[1] + s[2] + s[14]) + HE[7, 14]*(-s[1] + s[2] + s[9] + s[11]/2 + s[14]) + HE[7, 26]*(s[1] - s[3] - s[10] - s[15]) + HE[7, 59]*(s[11]/2 - s[15]) + HE[7, 21]*s[15] + 2*HE[7, 23]*s[15] - HE[7, 27]*s[15] + HE[7, 28]*s[15] - HE[7, 29]*s[15] + HE[7, 30]*s[15] - HE[7, 45]*s[15] + HE[7, 48]*s[15] + HE[7, 49]*s[15] - HE[7, 51]*s[15] - HE[7, 53]*s[15] + HE[7, 66]*s[15] + HE[7, 82]*s[15] - HE[7, 85]*s[15] + HE[7, 90]*s[15] - HE[7, 146]*s[15] + HE[7, 149]*s[15] - HE[7, 152]*s[15] + HE[7, 22]*(-s[1] + s[3] + s[10] + s[15]) + HE[7, 56]*(-s[11]/2 + s[15]) + HE[7, 62]*(-s[9] - s[11]/2 + s[15]) + HE[7, 81]*(s[11]/2 + s[15]), MHO[8][36] = -(HE[7, 15]*s[7]) + 3*HE[7, 68]*s[7] + HE[7, 70]*s[7] - HE[7, 71]*s[7] - HE[7, 72]*s[7] + HE[7, 73]*s[7] - HE[7, 75]*s[7] + HE[7, 76]*s[7] - HE[7, 77]*s[7] + HE[7, 78]*s[7] - HE[7, 79]*s[7] + HE[7, 32]*s[11] - HE[7, 35]*s[11] - HE[7, 36]*s[11] + HE[7, 41]*s[11] - HE[7, 60]*s[11] - HE[7, 64]*s[11] - HE[7, 110]*s[11] + HE[7, 113]*s[11] + HE[7, 114]*s[11] + HE[7, 117]*s[11] + HE[7, 9]*(s[1] - s[2] - s[9] - s[12] - s[14]) + HE[7, 10]*(s[1] - s[2] - s[9] - s[12] - s[14]) + HE[7, 50]*(s[1] - s[5] - s[10] - s[12] - s[14]) + HE[7, 54]*(s[1] - s[5] - s[10] - s[12] - s[14]) + HE[7, 13]*(-s[1] + s[2] + s[9] + s[12] + s[14]) + HE[7, 17]*(-s[1] + s[2] + s[9] + s[12] + s[14]) + HE[7, 46]*(-s[1] + s[5] + s[10] + s[12] + s[14]) + HE[7, 59]*(-s[11] - s[15]/2) + HE[7, 49]*(s[1] - s[5] - s[10] - s[12] - s[14] - s[15]/2) + HE[7, 56]*(s[11] + s[15]/2) + (HE[7, 20]*s[15])/2 - (HE[7, 21]*s[15])/2 + (HE[7, 22]*s[15])/2 - (HE[7, 23]*s[15])/2 - (HE[7, 24]*s[15])/2 - (HE[7, 26]*s[15])/2 - (HE[7, 28]*s[15])/2 - (HE[7, 29]*s[15])/2 - HE[7, 30]*s[15] + (HE[7, 45]*s[15])/2 - (HE[7, 48]*s[15])/2 + (HE[7, 51]*s[15])/2 + (HE[7, 53]*s[15])/2 + (HE[7, 62]*s[15])/2 + (HE[7, 66]*s[15])/2 + (HE[7, 80]*s[15])/2 - (HE[7, 81]*s[15])/2 - (HE[7, 82]*s[15])/2 - (HE[7, 83]*s[15])/2 - (HE[7, 84]*s[15])/2 + (HE[7, 85]*s[15])/2 - (HE[7, 87]*s[15])/2 - (HE[7, 90]*s[15])/2 + (HE[7, 91]*s[15])/2 + HE[7, 147]*s[15] - (HE[7, 151]*s[15])/2 + (HE[7, 152]*s[15])/2 + HE[7, 153]*s[15], MHO[8][37] = -(HE[7, 27]*s[8]) + 3*HE[7, 81]*s[8] + HE[7, 83]*s[8] - HE[7, 84]*s[8] - HE[7, 85]*s[8] + HE[7, 86]*s[8] - HE[7, 87]*s[8] + HE[7, 88]*s[8] - HE[7, 89]*s[8] + HE[7, 90]*s[8] - HE[7, 91]*s[8] + (HE[7, 9]*s[9])/2 - (HE[7, 10]*s[9])/2 - (HE[7, 11]*s[9])/2 - (HE[7, 12]*s[9])/2 - (HE[7, 13]*s[9])/2 + (HE[7, 14]*s[9])/2 - (HE[7, 15]*s[9])/2 - (HE[7, 18]*s[9])/2 + (HE[7, 19]*s[9])/2 - (HE[7, 32]*s[9])/2 + (HE[7, 33]*s[9])/2 - (HE[7, 34]*s[9])/2 + (HE[7, 35]*s[9])/2 - (HE[7, 36]*s[9])/2 - (HE[7, 37]*s[9])/2 - (HE[7, 40]*s[9])/2 - (HE[7, 41]*s[9])/2 - HE[7, 42]*s[9] + (HE[7, 58]*s[9])/2 - (HE[7, 61]*s[9])/2 + (HE[7, 63]*s[9])/2 + (HE[7, 65]*s[9])/2 + (HE[7, 68]*s[9])/2 + (HE[7, 78]*s[9])/2 + (HE[7, 92]*s[9])/2 + HE[7, 94]*s[9] - (HE[7, 98]*s[9])/2 + HE[7, 99]*s[9] + HE[7, 72]*(-s[9]/2 - s[12]) + HE[7, 45]*s[12] - HE[7, 48]*s[12] - HE[7, 49]*s[12] + HE[7, 53]*s[12] - HE[7, 73]*s[12] - HE[7, 76]*s[12] - HE[7, 120]*s[12] + HE[7, 123]*s[12] + HE[7, 124]*s[12] + HE[7, 126]*s[12] + HE[7, 69]*(s[9]/2 + s[12]) + HE[7, 22]*(s[1] - s[3] - s[10] - s[13] - s[15]) + HE[7, 23]*(s[1] - s[3] - s[10] - s[13] - s[15]) + HE[7, 56]*(s[1] - s[6] - s[11] - s[13] - s[15]) + HE[7, 66]*(s[1] - s[6] - s[11] - s[13] - s[15]) + HE[7, 62]*(s[1] - s[6] - s[9]/2 - s[11] - s[13] - s[15]) + HE[7, 26]*(-s[1] + s[3] + s[10] + s[13] + s[15]) + HE[7, 29]*(-s[1] + s[3] + s[10] + s[13] + s[15]) + HE[7, 59]*(-s[1] + s[6] + s[11] + s[13] + s[15]), MHO[8][38] = HE[7, 8]*s[2] + 3*HE[7, 10]*s[2] + HE[7, 12]*s[2] - HE[7, 13]*s[2] - HE[7, 14]*s[2] - HE[7, 15]*s[2] + HE[7, 16]*s[2] - HE[7, 17]*s[2] + HE[7, 18]*s[2] - HE[7, 19]*s[2] - HE[7, 39]*s[2] + (HE[7, 20]*s[10])/2 + (HE[7, 22]*s[10])/2 - (HE[7, 23]*s[10])/2 - (HE[7, 24]*s[10])/2 - (HE[7, 25]*s[10])/2 - (HE[7, 26]*s[10])/2 - (HE[7, 27]*s[10])/2 - (HE[7, 30]*s[10])/2 + (HE[7, 31]*s[10])/2 - (HE[7, 45]*s[10])/2 + (HE[7, 46]*s[10])/2 - (HE[7, 47]*s[10])/2 + (HE[7, 48]*s[10])/2 - (HE[7, 49]*s[10])/2 - (HE[7, 50]*s[10])/2 - (HE[7, 52]*s[10])/2 - (HE[7, 53]*s[10])/2 - HE[7, 54]*s[10] + (HE[7, 71]*s[10])/2 - (HE[7, 74]*s[10])/2 + (HE[7, 75]*s[10])/2 + (HE[7, 77]*s[10])/2 + (HE[7, 81]*s[10])/2 + (HE[7, 90]*s[10])/2 - (HE[7, 101]*s[10])/2 + (HE[7, 102]*s[10])/2 + HE[7, 104]*s[10] + HE[7, 108]*s[10] + HE[7, 85]*(-s[10]/2 - s[13]) + HE[7, 58]*s[13] - HE[7, 61]*s[13] - HE[7, 62]*s[13] + HE[7, 65]*s[13] - HE[7, 86]*s[13] - HE[7, 88]*s[13] - HE[7, 130]*s[13] + HE[7, 133]*s[13] + HE[7, 134]*s[13] + HE[7, 135]*s[13] + HE[7, 82]*(s[10]/2 + s[13]) + HE[7, 35]*(s[1] - s[4] - s[9] - s[11] - s[14]) + HE[7, 36]*(s[1] - s[4] - s[9] - s[11] - s[14]) + HE[7, 69]*(s[1] - s[7] - s[9] - s[12] - s[14]) + HE[7, 78]*(s[1] - s[7] - s[9] - s[12] - s[14]) + HE[7, 68]*(s[1] - s[7] - s[9] - s[10]/2 - s[12] - s[14]) + HE[7, 32]*(-s[1] + s[4] + s[9] + s[11] + s[14]) + HE[7, 41]*(-s[1] + s[4] + s[9] + s[11] + s[14]) + HE[7, 72]*(-s[1] + s[7] + s[9] + s[12] + s[14]), MHO[8][39] = -(HE[7, 20]*s[3]) + HE[7, 21]*s[3] + 3*HE[7, 23]*s[3] + HE[7, 25]*s[3] - HE[7, 26]*s[3] - HE[7, 27]*s[3] + HE[7, 28]*s[3] - HE[7, 29]*s[3] + HE[7, 30]*s[3] - HE[7, 31]*s[3] - HE[7, 51]*s[3] + (HE[7, 10]*s[11])/2 + (HE[7, 18]*s[11])/2 - (HE[7, 32]*s[11])/2 + (HE[7, 33]*s[11])/2 + (HE[7, 35]*s[11])/2 - (HE[7, 36]*s[11])/2 - (HE[7, 37]*s[11])/2 - (HE[7, 38]*s[11])/2 - (HE[7, 39]*s[11])/2 - (HE[7, 42]*s[11])/2 + (HE[7, 43]*s[11])/2 - (HE[7, 56]*s[11])/2 - (HE[7, 58]*s[11])/2 + (HE[7, 59]*s[11])/2 - (HE[7, 60]*s[11])/2 + (HE[7, 61]*s[11])/2 - (HE[7, 62]*s[11])/2 - (HE[7, 64]*s[11])/2 - (HE[7, 65]*s[11])/2 - HE[7, 66]*s[11] - (HE[7, 80]*s[11])/2 + (HE[7, 84]*s[11])/2 + (HE[7, 87]*s[11])/2 + (HE[7, 89]*s[11])/2 - (HE[7, 111]*s[11])/2 + (HE[7, 112]*s[11])/2 + HE[7, 114]*s[11] + HE[7, 117]*s[11] + HE[7, 14]*(-s[11]/2 - s[14]) - HE[7, 8]*s[14] - HE[7, 16]*s[14] - HE[7, 68]*s[14] + HE[7, 71]*s[14] - HE[7, 74]*s[14] + HE[7, 77]*s[14] + HE[7, 137]*s[14] - HE[7, 140]*s[14] + HE[7, 143]*s[14] + HE[7, 144]*s[14] + HE[7, 11]*(s[11]/2 + s[14]) + HE[7, 48]*(s[1] - s[5] - s[10] - s[12] - s[15]) + HE[7, 49]*(s[1] - s[5] - s[10] - s[12] - s[15]) + HE[7, 82]*(s[1] - s[8] - s[10] - s[13] - s[15]) + HE[7, 90]*(s[1] - s[8] - s[10] - s[13] - s[15]) + HE[7, 81]*(s[1] - s[8] - s[10] - s[11]/2 - s[13] - s[15]) + HE[7, 45]*(-s[1] + s[5] + s[10] + s[12] + s[15]) + HE[7, 53]*(-s[1] + s[5] + s[10] + s[12] + s[15]) + HE[7, 85]*(-s[1] + s[8] + s[10] + s[13] + s[15]), MHO[8][40] = -(HE[7, 32]*s[4]) - HE[7, 33]*s[4] + HE[7, 34]*s[4] + 3*HE[7, 36]*s[4] + HE[7, 38]*s[4] - HE[7, 39]*s[4] + HE[7, 40]*s[4] - HE[7, 41]*s[4] + HE[7, 42]*s[4] - HE[7, 43]*s[4] - HE[7, 63]*s[4] - (HE[7, 9]*s[12])/2 + (HE[7, 13]*s[12])/2 + (HE[7, 15]*s[12])/2 + (HE[7, 17]*s[12])/2 + (HE[7, 23]*s[12])/2 + (HE[7, 30]*s[12])/2 - (HE[7, 44]*s[12])/2 - (HE[7, 45]*s[12])/2 + (HE[7, 46]*s[12])/2 + (HE[7, 48]*s[12])/2 - (HE[7, 49]*s[12])/2 - (HE[7, 50]*s[12])/2 - (HE[7, 51]*s[12])/2 - (HE[7, 54]*s[12])/2 + (HE[7, 55]*s[12])/2 - (HE[7, 68]*s[12])/2 - (HE[7, 69]*s[12])/2 - (HE[7, 71]*s[12])/2 + (HE[7, 72]*s[12])/2 - (HE[7, 73]*s[12])/2 + (HE[7, 74]*s[12])/2 - (HE[7, 76]*s[12])/2 - (HE[7, 77]*s[12])/2 - HE[7, 78]*s[12] - (HE[7, 121]*s[12])/2 + (HE[7, 122]*s[12])/2 + HE[7, 124]*s[12] + HE[7, 126]*s[12] + HE[7, 61]*(s[1] - s[6] - s[9] - s[11] - s[13]) + HE[7, 62]*(s[1] - s[6] - s[9] - s[11] - s[13]) + HE[7, 58]*(-s[1] + s[6] + s[9] + s[11] + s[13]) + HE[7, 65]*(-s[1] + s[6] + s[9] + s[11] + s[13]) + HE[7, 11]*(s[1] - s[2] - s[9] - s[11] - s[14]) + HE[7, 18]*(s[1] - s[2] - s[9] - s[11] - s[14]) + HE[7, 10]*(s[1] - s[2] - s[9] - s[11] - s[12]/2 - s[14]) + HE[7, 14]*(-s[1] + s[2] + s[9] + s[11] + s[14]) + HE[7, 20]*(-s[12]/2 - s[15]) - HE[7, 21]*s[15] - HE[7, 28]*s[15] - HE[7, 80]*s[15] - HE[7, 81]*s[15] + HE[7, 84]*s[15] + HE[7, 89]*s[15] + HE[7, 146]*s[15] + HE[7, 147]*s[15] - HE[7, 150]*s[15] + HE[7, 153]*s[15] + HE[7, 24]*(s[12]/2 + s[15]), MHO[8][41] = HE[7, 44]*s[5] - HE[7, 45]*s[5] - HE[7, 46]*s[5] + HE[7, 47]*s[5] + 3*HE[7, 49]*s[5] - HE[7, 51]*s[5] + HE[7, 52]*s[5] - HE[7, 53]*s[5] + HE[7, 54]*s[5] - HE[7, 55]*s[5] - HE[7, 75]*s[5] - HE[7, 9]*s[9] - HE[7, 10]*s[9] + HE[7, 13]*s[9] + HE[7, 17]*s[9] - HE[7, 34]*s[9] - HE[7, 40]*s[9] + HE[7, 93]*s[9] + HE[7, 94]*s[9] - HE[7, 97]*s[9] + HE[7, 99]*s[9] + HE[7, 33]*(-s[9] - s[13]/2) + HE[7, 37]*(s[9] + s[13]/2) - (HE[7, 22]*s[13])/2 + (HE[7, 26]*s[13])/2 + (HE[7, 27]*s[13])/2 + (HE[7, 29]*s[13])/2 + (HE[7, 36]*s[13])/2 + (HE[7, 42]*s[13])/2 - (HE[7, 56]*s[13])/2 - (HE[7, 57]*s[13])/2 - (HE[7, 58]*s[13])/2 + (HE[7, 59]*s[13])/2 + (HE[7, 61]*s[13])/2 - (HE[7, 62]*s[13])/2 - (HE[7, 63]*s[13])/2 - (HE[7, 66]*s[13])/2 + (HE[7, 67]*s[13])/2 + (HE[7, 80]*s[13])/2 - (HE[7, 81]*s[13])/2 - (HE[7, 82]*s[13])/2 - (HE[7, 84]*s[13])/2 + (HE[7, 85]*s[13])/2 - (HE[7, 86]*s[13])/2 - (HE[7, 88]*s[13])/2 - (HE[7, 89]*s[13])/2 - HE[7, 90]*s[13] - (HE[7, 131]*s[13])/2 + (HE[7, 132]*s[13])/2 + HE[7, 134]*s[13] + HE[7, 135]*s[13] + HE[7, 68]*(s[1] - s[7] - s[10] - s[12] - s[14]) + HE[7, 74]*(s[1] - s[7] - s[10] - s[12] - s[14]) + HE[7, 71]*(-s[1] + s[7] + s[10] + s[12] + s[14]) + HE[7, 77]*(-s[1] + s[7] + s[10] + s[12] + s[14]) + HE[7, 24]*(s[1] - s[3] - s[10] - s[12] - s[15]) + HE[7, 30]*(s[1] - s[3] - s[10] - s[12] - s[15]) + HE[7, 23]*(s[1] - s[3] - s[10] - s[12] - s[13]/2 - s[15]) + HE[7, 20]*(-s[1] + s[3] + s[10] + s[12] + s[15]), MHO[8][42] = HE[7, 57]*s[6] - HE[7, 58]*s[6] - HE[7, 59]*s[6] + HE[7, 60]*s[6] + 3*HE[7, 62]*s[6] - HE[7, 63]*s[6] + HE[7, 64]*s[6] - HE[7, 65]*s[6] + HE[7, 66]*s[6] - HE[7, 67]*s[6] - HE[7, 87]*s[6] - HE[7, 22]*s[10] - HE[7, 23]*s[10] + HE[7, 26]*s[10] + HE[7, 29]*s[10] - HE[7, 47]*s[10] - HE[7, 52]*s[10] + HE[7, 103]*s[10] + HE[7, 104]*s[10] - HE[7, 107]*s[10] + HE[7, 108]*s[10] + HE[7, 37]*(s[1] - s[4] - s[9] - s[11] - s[13]) + HE[7, 42]*(s[1] - s[4] - s[9] - s[11] - s[13]) + HE[7, 33]*(-s[1] + s[4] + s[9] + s[11] + s[13]) + HE[7, 46]*(-s[10] - s[14]/2) + HE[7, 36]*(s[1] - s[4] - s[9] - s[11] - s[13] - s[14]/2) + HE[7, 50]*(s[10] + s[14]/2) - (HE[7, 8]*s[14])/2 + (HE[7, 9]*s[14])/2 - (HE[7, 10]*s[14])/2 - (HE[7, 11]*s[14])/2 - (HE[7, 13]*s[14])/2 + (HE[7, 14]*s[14])/2 - (HE[7, 16]*s[14])/2 - (HE[7, 17]*s[14])/2 - HE[7, 18]*s[14] + (HE[7, 32]*s[14])/2 - (HE[7, 35]*s[14])/2 + (HE[7, 39]*s[14])/2 + (HE[7, 41]*s[14])/2 + (HE[7, 49]*s[14])/2 + (HE[7, 54]*s[14])/2 - (HE[7, 68]*s[14])/2 - (HE[7, 69]*s[14])/2 - (HE[7, 70]*s[14])/2 - (HE[7, 71]*s[14])/2 + (HE[7, 72]*s[14])/2 + (HE[7, 74]*s[14])/2 - (HE[7, 75]*s[14])/2 - (HE[7, 78]*s[14])/2 + (HE[7, 79]*s[14])/2 + HE[7, 137]*s[14] - (HE[7, 141]*s[14])/2 + (HE[7, 142]*s[14])/2 + HE[7, 144]*s[14] + HE[7, 80]*(s[1] - s[8] - s[11] - s[13] - s[15]) + HE[7, 81]*(s[1] - s[8] - s[11] - s[13] - s[15]) + HE[7, 84]*(-s[1] + s[8] + s[11] + s[13] + s[15]) + HE[7, 89]*(-s[1] + s[8] + s[11] + s[13] + s[15]) }