[ 1*k[2]*x[3] + 1*k[2]*x[5] + 1*k[2]*x[22] = k[2]*k[75],
  1*k[2]*x[10] + 1*k[2]*x[12] = k[2]*k[76] ]