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.
v2v7 :- not v4v7,not v8v7,not v9v7,not v11v7,not v2v4,not v2v6,not v2v5,not v7v2.
v7 :- v2v7,v2.
v2v5 :- not v9v5,not v6v5,not v10v5,not v2v4,not v2v6,not v2v7,not v5v2.
v5 :- v2v5,v2.
v2v6 :- not v4v6,not v11v6,not v3v6,not v5v6,not v10v6,not v2v4,not v2v5,not v2v7,not v6v2.
v6 :- v2v6,v2.
v2v4 :- not v6v4,not v3v4,not v7v4,not v8v4,not v2v6,not v2v5,not v2v7,not v4v2.
v4 :- v2v4,v2.
v3v11 :- not v6v11,not v8v11,not v10v11,not v9v11,not v7v11,not v3v4,not v3v6,not v3v8,not v11v3.
v11 :- v3v11,v3.
v3v8 :- not v11v8,not v7v8,not v4v8,not v3v4,not v3v6,not v3v11,not v8v3.
v8 :- v3v8,v3.
v3v6 :- not v4v6,not v11v6,not v2v6,not v5v6,not v10v6,not v3v4,not v3v8,not v3v11,not v6v3.
v6 :- v3v6,v3.
v3v4 :- not v6v4,not v2v4,not v7v4,not v8v4,not v3v6,not v3v8,not v3v11,not v4v3.
v4 :- v3v4,v3.
v4v8 :- not v11v8,not v3v8,not v7v8,not v4v6,not v4v2,not v4v3,not v4v7,not v8v4.
v8 :- v4v8,v4.
v4v7 :- not v2v7,not v8v7,not v9v7,not v11v7,not v4v6,not v4v2,not v4v3,not v4v8,not v7v4.
v7 :- v4v7,v4.
v4v3 :- not v6v3,not v8v3,not v11v3,not v4v6,not v4v2,not v4v7,not v4v8,not v3v4.
v3 :- v4v3,v4.
v4v2 :- not v6v2,not v5v2,not v7v2,not v4v6,not v4v3,not v4v7,not v4v8,not v2v4.
v1 :- v4v2,v4.
v4v6 :- not v11v6,not v2v6,not v3v6,not v5v6,not v10v6,not v4v2,not v4v3,not v4v7,not v4v8,not v6v4.
v6 :- v4v6,v4.
v5v10 :- not v11v10,not v9v10,not v6v10,not v5v2,not v5v9,not v5v6,not v10v5.
v10 :- v5v10,v5.
v5v6 :- not v4v6,not v11v6,not v2v6,not v3v6,not v10v6,not v5v2,not v5v9,not v5v10,not v6v5.
v6 :- v5v6,v5.
v5v9 :- not v7v9,not v10v9,not v11v9,not v5v2,not v5v6,not v5v10,not v9v5.
v9 :- v5v9,v5.
v5v2 :- not v4v2,not v6v2,not v7v2,not v5v9,not v5v6,not v5v10,not v2v5.
v1 :- v5v2,v5.
v6v10 :- not v11v10,not v5v10,not v9v10,not v6v4,not v6v11,not v6v2,not v6v3,not v6v5,not v10v6.
v10 :- v6v10,v6.
v6v5 :- not v2v5,not v9v5,not v10v5,not v6v4,not v6v11,not v6v2,not v6v3,not v6v10,not v5v6.
v5 :- v6v5,v6.
v6v3 :- not v4v3,not v8v3,not v11v3,not v6v4,not v6v11,not v6v2,not v6v5,not v6v10,not v3v6.
v3 :- v6v3,v6.
v6v2 :- not v4v2,not v5v2,not v7v2,not v6v4,not v6v11,not v6v3,not v6v5,not v6v10,not v2v6.
v1 :- v6v2,v6.
v6v11 :- not v8v11,not v10v11,not v3v11,not v9v11,not v7v11,not v6v4,not v6v2,not v6v3,not v6v5,not v6v10,not v11v6.
v11 :- v6v11,v6.
v6v4 :- not v2v4,not v3v4,not v7v4,not v8v4,not v6v11,not v6v2,not v6v3,not v6v5,not v6v10,not v4v6.
v4 :- v6v4,v6.
v7v11 :- not v6v11,not v8v11,not v10v11,not v3v11,not v9v11,not v7v2,not v7v4,not v7v8,not v7v9,not v11v7.
v11 :- v7v11,v7.
v7v9 :- not v5v9,not v10v9,not v11v9,not v7v2,not v7v4,not v7v8,not v7v11,not v9v7.
v9 :- v7v9,v7.
v7v8 :- not v11v8,not v3v8,not v4v8,not v7v2,not v7v4,not v7v9,not v7v11,not v8v7.
v8 :- v7v8,v7.
v7v4 :- not v6v4,not v2v4,not v3v4,not v8v4,not v7v2,not v7v8,not v7v9,not v7v11,not v4v7.
v4 :- v7v4,v7.
v7v2 :- not v4v2,not v6v2,not v5v2,not v7v4,not v7v8,not v7v9,not v7v11,not v2v7.
v1 :- v7v2,v7.
v8v4 :- not v6v4,not v2v4,not v3v4,not v7v4,not v8v11,not v8v3,not v8v7,not v4v8.
v4 :- v8v4,v8.
v8v7 :- not v2v7,not v4v7,not v9v7,not v11v7,not v8v11,not v8v3,not v8v4,not v7v8.
v7 :- v8v7,v8.
v8v3 :- not v4v3,not v6v3,not v11v3,not v8v11,not v8v7,not v8v4,not v3v8.
v3 :- v8v3,v8.
v8v11 :- not v6v11,not v10v11,not v3v11,not v9v11,not v7v11,not v8v3,not v8v7,not v8v4,not v11v8.
v11 :- v8v11,v8.
v9v11 :- not v6v11,not v8v11,not v10v11,not v3v11,not v7v11,not v9v5,not v9v7,not v9v10,not v11v9.
v11 :- v9v11,v9.
v9v10 :- not v11v10,not v5v10,not v6v10,not v9v5,not v9v7,not v9v11,not v10v9.
v10 :- v9v10,v9.
v9v7 :- not v2v7,not v4v7,not v8v7,not v11v7,not v9v5,not v9v10,not v9v11,not v7v9.
v7 :- v9v7,v9.
v9v5 :- not v2v5,not v6v5,not v10v5,not v9v7,not v9v10,not v9v11,not v5v9.
v5 :- v9v5,v9.
v10v6 :- not v4v6,not v11v6,not v2v6,not v3v6,not v5v6,not v10v11,not v10v5,not v10v9,not v6v10.
v6 :- v10v6,v10.
v10v9 :- not v5v9,not v7v9,not v11v9,not v10v11,not v10v5,not v10v6,not v9v10.
v9 :- v10v9,v10.
v10v5 :- not v2v5,not v9v5,not v6v5,not v10v11,not v10v9,not v10v6,not v5v10.
v5 :- v10v5,v10.
v10v11 :- not v6v11,not v8v11,not v3v11,not v9v11,not v7v11,not v10v5,not v10v9,not v10v6,not v11v10.
v11 :- v10v11,v10.
v11v7 :- not v2v7,not v4v7,not v8v7,not v9v7,not v11v6,not v11v8,not v11v10,not v11v3,not v11v9,not v7v11.
v7 :- v11v7,v11.
v11v9 :- not v5v9,not v7v9,not v10v9,not v11v6,not v11v8,not v11v10,not v11v3,not v11v7,not v9v11.
v9 :- v11v9,v11.
v11v3 :- not v4v3,not v6v3,not v8v3,not v11v6,not v11v8,not v11v10,not v11v9,not v11v7,not v3v11.
v3 :- v11v3,v11.
v11v10 :- not v5v10,not v9v10,not v6v10,not v11v6,not v11v8,not v11v3,not v11v9,not v11v7,not v10v11.
v10 :- v11v10,v11.
v11v8 :- not v3v8,not v7v8,not v4v8,not v11v6,not v11v10,not v11v3,not v11v9,not v11v7,not v8v11.
v8 :- v11v8,v11.
v11v6 :- not v4v6,not v2v6,not v3v6,not v5v6,not v10v6,not v11v8,not v11v10,not v11v3,not v11v9,not v11v7,not v6v11.
v6 :- v11v6,v11.
s :- v1.
