(11,10)→ ¬Z; 18

11: (11,10)→ ¬z; 18 : (11,18)→ ¬x; 17 : (18,17)→ ¬z; 72: (17,72)→ ¬y;