[ Eq(x18, x4 + x6 + x17 + x11),
  Eq(x19, x5 + x6),
  Eq(x20, x7 + x17 + x10 + x11) ]