{ x16 = k19 - x9,
  x17 = k19 - x10,
  x18 = k18 - x11,
  x19 = k18 - x12 }