[ Eq(x17, x20 - x12),
  Eq(x18, x21 - x13),
  Eq(x19, x22 - x14),
  Eq(x24, x25 - x9) ]