v1 :- not v1.
v3 :- not v3.
v4 :- not v4.
v5 :- not v5.
v6 :- not v6.
v7 :- not v7.
v8 :- not v8.
v9 :- not v9.
v10 :- not v10.
v11 :- not v11.
v2.
v2v3 :- not v5v3,not v2v4,not v3v2.
v3 :- v2v3,v2.
v2v4 :- not v6v4,not v5v4,not v2v3,not v4v2.
v4 :- v2v4,v2.
v3v2 :- not v4v2,not v3v5,not v2v3.
v1 :- v3v2,v3.
v3v5 :- not v7v5,not v4v5,not v3v2,not v5v3.
v5 :- v3v5,v3.
v4v2 :- not v3v2,not v4v6,not v4v5,not v2v4.
v1 :- v4v2,v4.
v4v5 :- not v7v5,not v3v5,not v4v6,not v4v2,not v5v4.
v5 :- v4v5,v4.
v4v6 :- not v8v6,not v7v6,not v4v5,not v4v2,not v6v4.
v6 :- v4v6,v4.
v5v3 :- not v2v3,not v5v7,not v5v4,not v3v5.
v3 :- v5v3,v5.
v5v4 :- not v6v4,not v2v4,not v5v7,not v5v3,not v4v5.
v4 :- v5v4,v5.
v5v7 :- not v9v7,not v6v7,not v5v4,not v5v3,not v7v5.
v7 :- v5v7,v5.
v6v4 :- not v5v4,not v2v4,not v6v8,not v6v7,not v4v6.
v4 :- v6v4,v6.
v6v7 :- not v9v7,not v5v7,not v6v8,not v6v4,not v7v6.
v7 :- v6v7,v6.
v6v8 :- not v10v8,not v9v8,not v6v7,not v6v4,not v8v6.
v8 :- v6v8,v6.
v7v5 :- not v4v5,not v3v5,not v7v9,not v7v6,not v5v7.
v5 :- v7v5,v7.
v7v6 :- not v8v6,not v4v6,not v7v9,not v7v5,not v6v7.
v6 :- v7v6,v7.
v7v9 :- not v11v9,not v8v9,not v7v6,not v7v5,not v9v7.
v9 :- v7v9,v7.
v8v6 :- not v7v6,not v4v6,not v8v10,not v8v9,not v6v8.
v6 :- v8v6,v8.
v8v9 :- not v11v9,not v7v9,not v8v10,not v8v6,not v9v8.
v9 :- v8v9,v8.
v8v10 :- not v11v10,not v8v9,not v8v6,not v10v8.
v10 :- v8v10,v8.
v9v7 :- not v6v7,not v5v7,not v9v11,not v9v8,not v7v9.
v7 :- v9v7,v9.
v9v8 :- not v10v8,not v6v8,not v9v11,not v9v7,not v8v9.
v8 :- v9v8,v9.
v9v11 :- not v10v11,not v9v8,not v9v7,not v11v9.
v11 :- v9v11,v9.
v10v8 :- not v9v8,not v6v8,not v10v11,not v8v10.
v8 :- v10v8,v10.
v10v11 :- not v9v11,not v10v8,not v11v10.
v11 :- v10v11,v10.
v11v9 :- not v8v9,not v7v9,not v11v10,not v9v11.
v9 :- v11v9,v11.
v11v10 :- not v8v10,not v11v9,not v10v11.
v10 :- v11v10,v11.
s :- v1.
