(26,25)→ ¬X; 16

25: (26,25)→ ¬x; 16: (16,48)→ ¬z; 84: (25,84) → ¬z; 44: (44,84) → ¬x;