{ x4 = k35 - x5,
  x10 = k36 - x12,
  x13 = k37 - x15 }