[ 1*k[84]*x[7] + 1*k[84]*x[9] + 1*k[84]*x[12] + 1*k[84]*x[87] + 1*k[84]*x[88] + 1*k[84]*x[89] + 1*k[84]*x[100] + 1*k[84]*x[101] + 1*k[84]*x[102] + 1*k[84]*x[103] = k[84]*k[85],
  1*k[84]*x[41] + 1*k[84]*x[42] + 1*k[84]*x[45] + 1*k[84]*x[46] + 1*k[84]*x[48] + 1*k[84]*x[50] + 1*k[84]*x[70] + 1*k[84]*x[72] + 1*k[84]*x[73] + 1*k[84]*x[74] + 1*k[84]*x[76] = k[84]*k[86],
  1*k[84]*x[44] + 1*k[84]*x[46] + 1*k[84]*x[73] = k[84]*k[87],
  1*k[84]*x[47] + 1*k[84]*x[48] + 1*k[84]*x[49] + 1*k[84]*x[50] + 1*k[84]*x[51] + 1*k[84]*x[52] + 1*k[84]*x[54] + 1*k[84]*x[56] + 1*k[84]*x[58] + 1*k[84]*x[74] + 1*k[84]*x[75] + 1*k[84]*x[76] + 1*k[84]*x[77] + 1*k[84]*x[78] + 1*k[84]*x[79] + 1*k[84]*x[81] + 1*k[84]*x[99] = k[84]*k[88],
  1*k[84]*x[52] + 1*k[84]*x[53] + 1*k[84]*x[54] + 1*k[84]*x[78] + 1*k[84]*x[79] = k[84]*k[89],
  1*k[84]*x[55] + 1*k[84]*x[56] + 1*k[84]*x[57] + 1*k[84]*x[58] + 1*k[84]*x[59] + 1*k[84]*x[61] + 1*k[84]*x[62] + 1*k[84]*x[80] + 1*k[84]*x[81] + 1*k[84]*x[82] + 1*k[84]*x[83] + 1*k[84]*x[84] + 1*k[84]*x[90] + 1*k[84]*x[91] + 1*k[84]*x[92] + 1*k[84]*x[93] + 1*k[84]*x[96] + 1*k[84]*x[97] + 1*k[84]*x[99] = k[84]*k[90],
  1*k[84]*x[60] + 1*k[84]*x[61] + 1*k[84]*x[62] + 1*k[84]*x[83] + 1*k[84]*x[84] = k[84]*k[91] ]