[ 1*k[31]*x[1] + 1*k[29]*x[2] + 1*k[29]*x[3] + 1*k[29]*x[4] + 1*k[31]*x[13] + 1*k[31]*x[33] = k[29]*k[88] + k[31]*k[87],
  1*k[31]*x[1] + 1*k[31]*x[23] = k[31]*k[89],
  1*k[29]*x[3] + 1*k[29]*x[5] + 1*k[31]*x[13] + 1*k[29]*x[20] + 1*k[31]*x[33] = k[29]*k[90] + k[31]*k[91],
  1*k[29]*x[5] + 1*k[29]*x[25] = k[29]*k[92],
  1*k[31]*x[6] + 1*k[31]*x[12] + 1*k[31]*x[13] + 1*k[31]*x[15] + 1*k[31]*x[33] = k[31]*k[93],
  1*k[31]*x[6] + 1*k[30]*x[14] + 1*k[31]*x[15] + 1*k[31]*x[33] = k[30]*k[95] + k[31]*k[94],
  1*k[29]*x[7] + 1*k[29]*x[37] = k[29]*k[96],
  1*k[29]*x[8] + 4*k[29]*x[22] + 1*k[29]*x[24] + 1*k[29]*x[30] + 2*k[29]*x[31] + 3*k[29]*x[32] + 1*k[29]*x[35] = k[29]*k[97],
  1*k[29]*x[10] + 1*k[29]*x[22] + 1*k[29]*x[30] + 1*k[29]*x[31] + 1*k[29]*x[32] = k[29]*k[98],
  1*k[29]*x[16] + 1*k[29]*x[27] = k[29]*k[99],
  1*k[29]*x[17] + 1*k[29]*x[18] = k[29]*k[100],
  1*k[29]*x[19] + 1*k[29]*x[21] = k[29]*k[101],
  1*k[29]*x[28] + 1*k[29]*x[29] = k[29]*k[102] ]