[ x[88] = x[80] + x[79], 1*x[7] + 1*x[8] + 1*x[11] + 1*x[12] + 1*x[13] + 1*x[15] + 1*x[16] + 1*x[18] + 1*x[19] + 1*x[26] + 1*x[55] + 1*x[59] = k[189], 1*x[9] + 1*x[10] + 1*x[13] + 1*x[16] + 1*x[22] + 1*x[33] = k[190], 1*x[14] + 1*x[15] + 1*x[16] + 1*x[18] + 1*x[19] + 1*x[20] + 1*x[21] + 1*x[22] + 1*x[23] + 1*x[24] + 1*x[26] + 1*x[28] + 1*x[55] + 1*x[57] + 1*x[59] + 1*x[61] = k[191], 1*x[17] + 1*x[18] + 1*x[19] + 1*x[20] + 1*x[23] + 1*x[24] + 1*x[26] + 1*x[28] + 1*x[55] + 1*x[56] + 1*x[57] + 1*x[59] + 1*x[61] = k[192], 1*x[25] + 1*x[26] + 1*x[27] + 1*x[28] + 1*x[30] + 1*x[32] + 1*x[35] = k[193], 1*x[29] + 1*x[30] + 1*x[31] + 1*x[32] + 1*x[33] = k[194], 1*x[34] + 1*x[35] + 1*x[36] + 1*x[38] + 1*x[40] + 1*x[48] + 1*x[89] = k[195], 1*x[37] + 1*x[38] + 1*x[39] + 1*x[40] + 1*x[41] + 1*x[43] + 1*x[45] + 1*x[50] + 1*x[51] = k[196], 1*x[42] + 1*x[43] + 1*x[44] + 1*x[45] + 1*x[46] + 1*x[53] + 1*x[54] + 1*x[55] + 1*x[57] = k[197], 1*x[47] + 1*x[48] = k[198], 1*x[49] + 1*x[50] + 1*x[51] = k[199], 1*x[52] + 1*x[53] + 1*x[54] = k[200], 1*x[59] + 1*x[60] + 1*x[61] + 1*x[63] + 1*x[107] + 1*x[109] = k[201], 1*x[64] + 1*x[65] + 1*x[66] + 1*x[67] + 1*x[69] + 1*x[70] + 1*x[72] + 1*x[108] + 1*x[109] = k[202], 1*x[68] + 1*x[69] + 1*x[70] = k[203], 1*x[71] + 1*x[72] + 1*x[73] + 1*x[75] + 1*x[77] + 1*x[78] + 1*x[79] + 1*x[84] + 1*x[85] + 1*x[86] + 1*x[87] = k[204], 1*x[74] + 1*x[75] + 1*x[77] + 1*x[78] + 1*x[79] + 1*x[80] + 1*x[81] + 1*x[82] + 1*x[84] + 1*x[85] + 1*x[86] + 1*x[87] = k[205], 1*x[76] + 1*x[77] + 1*x[78] + 1*x[86] + 1*x[87] = k[206], 1*x[81] + 1*x[82] + 1*x[83] + 1*x[84] + 1*x[85] + 1*x[86] + 1*x[87] = k[207], 1*x[94] + 1*x[95] + 1*x[96] = k[208], 1*x[101] + 1*x[102] + 1*x[105] = k[209] ]