v0.
v11 :- v0,v0v11.
v10 :- v0,v0v10.
v3 :- v0,v0v3.
v4 :- v0,v0v4.
v5 :- v1,v1v5.
v6 :- v1,v1v6.
v3 :- v1,v1v3.
v2 :- v1,v1v2.
v9 :- v2,v2v9.
v7 :- v2,v2v7.
v6 :- v2,v2v6.
v5 :- v2,v2v5.
v1 :- v2,v2v1.
v11 :- v3,v3v11.
v10 :- v3,v3v10.
v8 :- v3,v3v8.
v5 :- v3,v3v5.
w0 :- v3,v3v0.
v1 :- v3,v3v1.
v6 :- v3,v3v6.
v4 :- v3,v3v4.
v8 :- v4,v4v8.
w0 :- v4,v4v0.
v3 :- v4,v4v3.
v8 :- v5,v5v8.
v2 :- v5,v5v2.
v3 :- v5,v5v3.
v1 :- v5,v5v1.
v9 :- v5,v5v9.
v10 :- v6,v6v10.
v7 :- v6,v6v7.
v2 :- v6,v6v2.
v1 :- v6,v6v1.
v3 :- v6,v6v3.
v9 :- v7,v7v9.
v2 :- v7,v7v2.
v6 :- v7,v7v6.
v10 :- v7,v7v10.
v9 :- v8,v8v9.
v5 :- v8,v8v5.
v3 :- v8,v8v3.
v4 :- v8,v8v4.
v8 :- v9,v9v8.
v7 :- v9,v9v7.
v2 :- v9,v9v2.
v5 :- v9,v9v5.
v11 :- v10,v10v11.
v6 :- v10,v10v6.
w0 :- v10,v10v0.
v3 :- v10,v10v3.
v7 :- v10,v10v7.
w0 :- v11,v11v0.
v10 :- v11,v11v10.
v3 :- v11,v11v3.
v0v11 :- not v11v0,not v10v11,not v3v11,not v0v10,not v0v3,not v0v4.
v0v10 :- not v10v0,not v11v10,not v7v10,not v6v10,not v3v10,not v0v11,not v0v3,not v0v4.
v0v3 :- not v3v0,not v11v3,not v10v3,not v8v3,not v6v3,not v5v3,not v4v3,not v1v3,not v0v11,not v0v10,not v0v4.
v0v4 :- not v4v0,not v8v4,not v3v4,not v0v11,not v0v10,not v0v3.
v1v5 :- not v5v1,not v9v5,not v8v5,not v3v5,not v2v5,not v1v6,not v1v3,not v1v2.
v1v6 :- not v6v1,not v10v6,not v7v6,not v3v6,not v2v6,not v1v5,not v1v3,not v1v2.
v1v3 :- not v3v1,not v11v3,not v10v3,not v8v3,not v6v3,not v5v3,not v4v3,not v0v3,not v1v5,not v1v6,not v1v2.
v1v2 :- not v2v1,not v9v2,not v7v2,not v6v2,not v5v2,not v1v5,not v1v6,not v1v3.
v2v9 :- not v9v2,not v8v9,not v7v9,not v5v9,not v2v7,not v2v6,not v2v5,not v2v1.
v2v7 :- not v7v2,not v10v7,not v9v7,not v6v7,not v2v9,not v2v6,not v2v5,not v2v1.
v2v6 :- not v6v2,not v10v6,not v7v6,not v3v6,not v1v6,not v2v9,not v2v7,not v2v5,not v2v1.
v2v5 :- not v5v2,not v9v5,not v8v5,not v3v5,not v1v5,not v2v9,not v2v7,not v2v6,not v2v1.
v2v1 :- not v1v2,not v6v1,not v5v1,not v3v1,not v2v9,not v2v7,not v2v6,not v2v5.
v3v11 :- not v11v3,not v10v11,not v0v11,not v3v10,not v3v8,not v3v5,not v3v0,not v3v1,not v3v6,not v3v4.
v3v10 :- not v10v3,not v11v10,not v7v10,not v6v10,not v0v10,not v3v11,not v3v8,not v3v5,not v3v0,not v3v1,not v3v6,not v3v4.
v3v8 :- not v8v3,not v9v8,not v5v8,not v4v8,not v3v11,not v3v10,not v3v5,not v3v0,not v3v1,not v3v6,not v3v4.
v3v5 :- not v5v3,not v9v5,not v8v5,not v2v5,not v1v5,not v3v11,not v3v10,not v3v8,not v3v0,not v3v1,not v3v6,not v3v4.
v3v0 :- not v0v3,not v11v0,not v10v0,not v4v0,not v3v11,not v3v10,not v3v8,not v3v5,not v3v1,not v3v6,not v3v4.
v3v1 :- not v1v3,not v6v1,not v5v1,not v2v1,not v3v11,not v3v10,not v3v8,not v3v5,not v3v0,not v3v6,not v3v4.
v3v6 :- not v6v3,not v10v6,not v7v6,not v2v6,not v1v6,not v3v11,not v3v10,not v3v8,not v3v5,not v3v0,not v3v1,not v3v4.
v3v4 :- not v4v3,not v8v4,not v0v4,not v3v11,not v3v10,not v3v8,not v3v5,not v3v0,not v3v1,not v3v6.
v4v8 :- not v8v4,not v9v8,not v5v8,not v3v8,not v4v0,not v4v3.
v4v0 :- not v0v4,not v11v0,not v10v0,not v3v0,not v4v8,not v4v3.
v4v3 :- not v3v4,not v11v3,not v10v3,not v8v3,not v6v3,not v5v3,not v1v3,not v0v3,not v4v8,not v4v0.
v5v8 :- not v8v5,not v9v8,not v4v8,not v3v8,not v5v2,not v5v3,not v5v1,not v5v9.
v5v2 :- not v2v5,not v9v2,not v7v2,not v6v2,not v1v2,not v5v8,not v5v3,not v5v1,not v5v9.
v5v3 :- not v3v5,not v11v3,not v10v3,not v8v3,not v6v3,not v4v3,not v1v3,not v0v3,not v5v8,not v5v2,not v5v1,not v5v9.
v5v1 :- not v1v5,not v6v1,not v3v1,not v2v1,not v5v8,not v5v2,not v5v3,not v5v9.
v5v9 :- not v9v5,not v8v9,not v7v9,not v2v9,not v5v8,not v5v2,not v5v3,not v5v1.
v6v10 :- not v10v6,not v11v10,not v7v10,not v3v10,not v0v10,not v6v7,not v6v2,not v6v1,not v6v3.
v6v7 :- not v7v6,not v10v7,not v9v7,not v2v7,not v6v10,not v6v2,not v6v1,not v6v3.
v6v2 :- not v2v6,not v9v2,not v7v2,not v5v2,not v1v2,not v6v10,not v6v7,not v6v1,not v6v3.
v6v1 :- not v1v6,not v5v1,not v3v1,not v2v1,not v6v10,not v6v7,not v6v2,not v6v3.
v6v3 :- not v3v6,not v11v3,not v10v3,not v8v3,not v5v3,not v4v3,not v1v3,not v0v3,not v6v10,not v6v7,not v6v2,not v6v1.
v7v9 :- not v9v7,not v8v9,not v5v9,not v2v9,not v7v2,not v7v6,not v7v10.
v7v2 :- not v2v7,not v9v2,not v6v2,not v5v2,not v1v2,not v7v9,not v7v6,not v7v10.
v7v6 :- not v6v7,not v10v6,not v3v6,not v2v6,not v1v6,not v7v9,not v7v2,not v7v10.
v7v10 :- not v10v7,not v11v10,not v6v10,not v3v10,not v0v10,not v7v9,not v7v2,not v7v6.
v8v9 :- not v9v8,not v7v9,not v5v9,not v2v9,not v8v5,not v8v3,not v8v4.
v8v5 :- not v5v8,not v9v5,not v3v5,not v2v5,not v1v5,not v8v9,not v8v3,not v8v4.
v8v3 :- not v3v8,not v11v3,not v10v3,not v6v3,not v5v3,not v4v3,not v1v3,not v0v3,not v8v9,not v8v5,not v8v4.
v8v4 :- not v4v8,not v3v4,not v0v4,not v8v9,not v8v5,not v8v3.
v9v8 :- not v8v9,not v5v8,not v4v8,not v3v8,not v9v7,not v9v2,not v9v5.
v9v7 :- not v7v9,not v10v7,not v6v7,not v2v7,not v9v8,not v9v2,not v9v5.
v9v2 :- not v2v9,not v7v2,not v6v2,not v5v2,not v1v2,not v9v8,not v9v7,not v9v5.
v9v5 :- not v5v9,not v8v5,not v3v5,not v2v5,not v1v5,not v9v8,not v9v7,not v9v2.
v10v11 :- not v11v10,not v3v11,not v0v11,not v10v6,not v10v0,not v10v3,not v10v7.
v10v6 :- not v6v10,not v7v6,not v3v6,not v2v6,not v1v6,not v10v11,not v10v0,not v10v3,not v10v7.
v10v0 :- not v0v10,not v11v0,not v4v0,not v3v0,not v10v11,not v10v6,not v10v3,not v10v7.
v10v3 :- not v3v10,not v11v3,not v8v3,not v6v3,not v5v3,not v4v3,not v1v3,not v0v3,not v10v11,not v10v6,not v10v0,not v10v7.
v10v7 :- not v7v10,not v9v7,not v6v7,not v2v7,not v10v11,not v10v6,not v10v0,not v10v3.
v11v0 :- not v0v11,not v10v0,not v4v0,not v3v0,not v11v10,not v11v3.
v11v10 :- not v10v11,not v7v10,not v6v10,not v3v10,not v0v10,not v11v0,not v11v3.
v11v3 :- not v3v11,not v10v3,not v8v3,not v6v3,not v5v3,not v4v3,not v1v3,not v0v3,not v11v0,not v11v10.
compute { w0, v0, v1, v2, v3, v4, v5, v6, v7, v8, v9, v10, v11 }
