[ 1*x[1] + 1*x[2] + 1*x[4] + 1*x[25] = k[61] + k[62] + k[63],
  1*x[2] + 1*x[3] + 1*x[4] = k[64],
  1*x[4] + 1*x[5] = k[65],
  1*x[6] + 1*x[8] + 1*x[10] + 2*x[17] + 1*x[35] + 2*x[36] + 1*x[42] + 1*x[43] + 1*x[44] + 2*x[46] + 2*x[47] = k[66],
  1*x[6] + 1*x[10] + 1*x[15] + 1*x[42] + 1*x[43] + 1*x[44] = k[67],
  1*x[7] + 1*x[10] + 1*x[43] + 1*x[44] = k[68],
  1*x[8] + 1*x[9] = k[69],
  1*x[9] + 2*x[11] + 1*x[15] + 2*x[28] + 1*x[35] = k[70],
  1*x[9] + 2*x[13] + 1*x[15] + 2*x[16] + 2*x[27] + 2*x[28] + 2*x[29] + 1*x[35] + 2*x[40] = k[71],
  4*x[9] + 8*x[13] + 4*x[15] + 8*x[23] + 8*x[26] + 8*x[27] + 8*x[28] + 8*x[29] + 8*x[30] + 8*x[31] + 8*x[32] + 8*x[33] + 8*x[34] + 4*x[35] + 8*x[37] + 8*x[38] + 8*x[39] + 16*x[40] + 8*x[41] + 8*x[47] + 8*x[48] + 8*x[50] = k[72] + k[73],
  1*x[9] + 1*x[15] + 2*x[16] + 2*x[18] + 2*x[27] + 2*x[28] + 2*x[29] + 1*x[35] + 2*x[40] + 2*x[41] = k[74],
  4*x[9] + 4*x[15] + 8*x[18] + 8*x[23] + 8*x[26] + 8*x[27] + 8*x[28] + 8*x[29] + 8*x[30] + 8*x[31] + 8*x[32] + 8*x[33] + 8*x[34] + 4*x[35] + 8*x[37] + 8*x[38] + 8*x[39] + 16*x[40] + 16*x[41] + 8*x[47] + 8*x[48] + 8*x[50] = k[75] + k[76],
  1*x[10] + 1*x[14] + 1*x[44] = k[77],
  1*x[11] + 1*x[17] + 1*x[28] + 1*x[35] + 1*x[36] + 1*x[46] + 1*x[47] = k[78],
  1*x[12] + 1*x[13] + 1*x[29] + 1*x[40] = k[79],
  1*x[12] + 1*x[18] + 1*x[29] + 1*x[40] + 1*x[41] = k[80],
  1*x[13] + 1*x[16] + 1*x[17] + 1*x[27] + 1*x[28] + 1*x[29] + 1*x[35] + 1*x[36] + 1*x[40] + 1*x[46] + 1*x[47] = k[81],
  1*x[13] + 1*x[17] + 1*x[37] + 1*x[40] + 1*x[47] = k[82],
  1*x[16] + 1*x[17] + 1*x[18] + 1*x[27] + 1*x[28] + 1*x[29] + 1*x[35] + 1*x[36] + 1*x[40] + 1*x[41] + 1*x[46] + 1*x[47] = k[83],
  1*x[17] + 1*x[18] + 1*x[37] + 1*x[40] + 1*x[41] + 1*x[47] = k[84],
  1*x[19] + 1*x[23] + 1*x[33] + 1*x[34] + 1*x[50] = k[85],
  1*x[20] + 1*x[23] + 1*x[50] = k[86],
  1*x[21] + 1*x[23] + 1*x[34] + 1*x[50] = k[87],
  1*x[22] + 1*x[23] + 1*x[32] + 1*x[33] + 1*x[34] + 1*x[50] = k[88],
  1*x[23] + 1*x[24] + 1*x[31] + 1*x[32] + 1*x[33] + 1*x[34] + 1*x[50] = k[89],
  1*x[23] + 1*x[26] + 1*x[27] + 1*x[28] + 1*x[29] + 1*x[30] + 1*x[31] + 1*x[32] + 1*x[33] + 1*x[34] + 1*x[35] + 1*x[36] + 1*x[38] + 1*x[39] + 1*x[40] + 1*x[41] + 1*x[46] + 1*x[47] + 1*x[48] + 1*x[50] = k[91] + k[90],
  1*x[45] + 1*x[46] + 1*x[47] + 1*x[48] = k[92] ]