{ x18 = x4 + x6 + x17 + x11,
  x19 = x5 + x6,
  x20 = x7 + x17 + x10 + x11 }