[ 1*k[1]*x[1] + 1*k[1]*x[3] + 1*k[1]*x[4] + 2*k[1]*x[5] + 2*k[1]*x[6] + 2*k[1]*x[8] + 2*k[1]*x[10] + 2*k[1]*x[13] + 2*k[1]*x[26] + 2*k[1]*x[27] + 2*k[1]*x[30] + 2*k[1]*x[32] + 2*k[1]*x[33] + 1*k[1]*x[34] = k[1]*k[76],
  1*k[1]*x[2] + 1*k[1]*x[3] + 1*k[1]*x[4] + 2*k[1]*x[5] + 2*k[1]*x[6] + 2*k[1]*x[8] + 2*k[1]*x[10] + 2*k[1]*x[13] + 2*k[1]*x[26] + 2*k[1]*x[27] + 2*k[1]*x[30] + 2*k[1]*x[32] + 2*k[1]*x[33] = k[1]*k[77],
  2*k[1]*x[7] + 2*k[1]*x[8] + 2*k[1]*x[9] + 2*k[1]*x[10] + 4*k[1]*x[11] + 2*k[1]*x[15] + 4*k[1]*x[16] + 4*k[2]*x[17] + 2*k[2]*x[18] + 2*k[2]*x[20] + 2*k[2]*x[21] + 4*k[2]*x[22] + 2*k[1]*x[27] + 4*k[1]*x[28] + 4*k[2]*x[29] + 2*k[1]*x[30] + 2*k[1]*x[32] = k[1]*k[78] + k[2]*k[79],
  1*k[1]*x[12] + 1*k[1]*x[13] + 1*k[1]*x[27] + 1*k[1]*x[32] + 1*k[1]*x[33] = k[1]*k[80],
  1*k[1]*x[14] + 1*k[1]*x[15] + 1*k[1]*x[28] = k[1]*k[81],
  1*k[2]*x[19] + 1*k[2]*x[20] + 1*k[2]*x[29] = k[2]*k[82] ]