(21,80)→ ¬Z; 84

80: (21,80)→ ¬z; 84 : (19,84)→ ¬z; 84: (20,84)→ ¬y; 44: (44,84) → ¬x;