{ x3 = k1 - x4,
  x10 = k2 - x11,
  x18 = k3 - x19 }