[ 1*k[12]*x[3] + 1*k[12]*x[17] + 1*k[12]*x[33] = k[12]*k[72],
  1*k[12]*x[7] + 1*k[12]*x[15] + 1*k[12]*x[34] = k[12]*k[73],
  1*k[12]*x[11] + 1*k[12]*x[16] + 1*k[12]*x[27] + 1*k[12]*x[32] = k[12]*k[74],
  1*k[12]*x[20] + 1*k[12]*x[21] + 1*k[12]*x[35] = k[12]*k[75],
  1*k[12]*x[25] + 1*k[12]*x[26] + 1*k[12]*x[27] = k[12]*k[76],
  1*k[13]*x[38] + 1*k[13]*x[39] = k[13]*k[77],
  1*k[13]*x[40] + 1*k[13]*x[41] = k[13]*k[78] ]