{ x17 = x20 - x12,
  x18 = x21 - x13,
  x19 = x22 - x14,
  x24 = x25 - x9 }