[ 1*k[22]*x[1] + 1*k[22]*x[10] + 1*k[22]*x[23] + 1*k[22]*x[37] = k[22]*k[67],
  1*k[22]*x[3] + 1*k[22]*x[4] + 1*k[22]*x[10] + 1*k[22]*x[23] + 1*k[22]*x[25] + 1*k[22]*x[37] = k[22]*k[68],
  1*k[22]*x[5] + 1*k[22]*x[9] + 1*k[22]*x[17] + 1*k[22]*x[23] + 1*k[22]*x[30] + 1*k[22]*x[31] + 1*k[22]*x[37] = k[22]*k[69],
  1*k[22]*x[6] + 1*k[22]*x[7] + 1*k[22]*x[27] = k[22]*k[70],
  1*k[22]*x[11] + 1*k[22]*x[12] + 1*k[22]*x[14] + 1*k[22]*x[22] = k[22]*k[71],
  1*k[22]*x[11] + 1*k[22]*x[13] + 1*k[22]*x[14] + 1*k[22]*x[15] + 1*k[22]*x[21] + 1*k[22]*x[22] = k[22]*k[72],
  1*k[22]*x[15] + 1*k[22]*x[32] + 1*k[22]*x[33] + 1*k[22]*x[35] = k[22]*k[73],
  1*k[22]*x[19] + 1*k[22]*x[25] + 1*k[22]*x[29] = k[22]*k[74],
  1*k[22]*x[20] + 1*k[22]*x[21] = k[22]*k[75],
  1*k[22]*x[26] + 1*k[22]*x[27] = k[22]*k[76],
  1*k[22]*x[28] + 1*k[22]*x[29] = k[22]*k[77],
  1*k[22]*x[34] + 1*k[22]*x[35] = k[22]*k[78] ]