[ Eq(x19, x2 + x18),
  Eq(x20, x3 + x15),
  Eq(x21, x4 + x16),
  Eq(x22, x5 + x17) ]