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