(12,11)→ ¬X; 18

11: (12,11)→ ¬x; 18 : (19,18)→ ¬x; 32: (12,32)→ ¬x; 90: (19,90) → ¬x;