[ 1*k[86]*x[1] + 1*k[86]*x[3] + 1*k[86]*x[9] + 1*k[86]*x[23] + 1*k[86]*x[24] + 1*k[86]*x[25] + 1*k[86]*x[26] + 1*k[86]*x[28] + 1*k[86]*x[29] + 1*k[86]*x[34] + 1*k[86]*x[35] + 1*k[86]*x[36] + 1*k[86]*x[37] = k[86]*k[92],
  1*k[86]*x[2] + 1*k[86]*x[3] + 1*k[86]*x[9] + 1*k[86]*x[23] + 1*k[86]*x[24] + 1*k[86]*x[28] + 1*k[86]*x[34] + 1*k[86]*x[35] + 1*k[86]*x[37] = k[86]*k[93],
  1*k[86]*x[4] + 1*k[86]*x[5] = k[86]*k[94],
  1*k[86]*x[7] + 1*k[86]*x[11] = k[86]*k[95],
  1*k[86]*x[8] + 1*k[86]*x[9] + 1*k[86]*x[26] + 1*k[86]*x[34] + 1*k[86]*x[37] = k[86]*k[96],
  1*k[86]*x[13] + 1*k[86]*x[14] = k[86]*k[97],
  1*k[86]*x[17] + 1*k[86]*x[22] + 1*k[86]*x[24] + 1*k[86]*x[36] + 1*k[86]*x[37] + 1*k[86]*x[41] = k[86]*k[98],
  1*k[86]*x[19] + 1*k[86]*x[20] + 1*k[86]*x[22] + 1*k[86]*x[25] + 1*k[86]*x[26] + 1*k[86]*x[29] + 1*k[86]*x[36] = k[86]*k[99],
  1*k[86]*x[20] + 1*k[86]*x[21] + 1*k[86]*x[22] + 1*k[86]*x[23] + 1*k[86]*x[24] + 1*k[86]*x[25] + 1*k[86]*x[26] + 1*k[86]*x[29] + 1*k[86]*x[34] + 1*k[86]*x[35] + 1*k[86]*x[36] + 1*k[86]*x[37] = k[86]*k[100],
  1*k[86]*x[39] + 1*k[86]*x[40] + 1*k[86]*x[41] = k[86]*k[101],
  1*k[86]*x[39] + 1*k[86]*x[41] + 1*k[86]*x[42] = k[86]*k[102] ]