{ x19 = x2 + x18,
  x20 = x3 + x15,
  x21 = x4 + x16,
  x22 = x5 + x17 }