v0.
v6 :- v0,v0v6.
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.
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.
v7 :- v6,v6v7.
v2 :- v6,v6v2.
w0 :- v6,v6v0.
v1 :- v6,v6v1.
v3 :- v6,v6v3.
v9 :- v7,v7v9.
v2 :- v7,v7v2.
v6 :- v7,v7v6.
v9 :- v8,v8v9.
v5 :- v8,v8v5.
v3 :- v8,v8v3.
v4 :- v8,v8v4.
v8 :- v9,v9v8.
v7 :- v9,v9v7.
v2 :- v9,v9v2.
v5 :- v9,v9v5.
v0v6 :- not v6v0,not v7v6,not v3v6,not v2v6,not v1v6,not v0v3,not v0v4.
v0v3 :- not v3v0,not v8v3,not v6v3,not v5v3,not v4v3,not v1v3,not v0v6,not v0v4.
v0v4 :- not v4v0,not v8v4,not v3v4,not v0v6,not v0v3.
v1v5 :- not v5v1,not v9v5,not v8v5,not v3v5,not v2v5,not v1v6,not v1v3,not v1v2.
v1v6 :- not v6v1,not v7v6,not v3v6,not v2v6,not v0v6,not v1v5,not v1v3,not v1v2.
v1v3 :- not v3v1,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 v9v7,not v6v7,not v2v9,not v2v6,not v2v5,not v2v1.
v2v6 :- not v6v2,not v7v6,not v3v6,not v1v6,not v0v6,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.
v3v8 :- not v8v3,not v9v8,not v5v8,not v4v8,not v3v5,not v3v0,not v3v1,not v3v6,not v3v4.
v3v5 :- not v5v3,not v9v5,not v8v5,not v2v5,not v1v5,not v3v8,not v3v0,not v3v1,not v3v6,not v3v4.
v3v0 :- not v0v3,not v6v0,not v4v0,not v3v8,not v3v5,not v3v1,not v3v6,not v3v4.
v3v1 :- not v1v3,not v6v1,not v5v1,not v2v1,not v3v8,not v3v5,not v3v0,not v3v6,not v3v4.
v3v6 :- not v6v3,not v7v6,not v2v6,not v1v6,not v0v6,not v3v8,not v3v5,not v3v0,not v3v1,not v3v4.
v3v4 :- not v4v3,not v8v4,not v0v4,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 v6v0,not v3v0,not v4v8,not v4v3.
v4v3 :- not v3v4,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 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.
v6v7 :- not v7v6,not v9v7,not v2v7,not v6v2,not v6v0,not v6v1,not v6v3.
v6v2 :- not v2v6,not v9v2,not v7v2,not v5v2,not v1v2,not v6v7,not v6v0,not v6v1,not v6v3.
v6v0 :- not v0v6,not v4v0,not v3v0,not v6v7,not v6v2,not v6v1,not v6v3.
v6v1 :- not v1v6,not v5v1,not v3v1,not v2v1,not v6v7,not v6v2,not v6v0,not v6v3.
v6v3 :- not v3v6,not v8v3,not v5v3,not v4v3,not v1v3,not v0v3,not v6v7,not v6v2,not v6v0,not v6v1.
v7v9 :- not v9v7,not v8v9,not v5v9,not v2v9,not v7v2,not v7v6.
v7v2 :- not v2v7,not v9v2,not v6v2,not v5v2,not v1v2,not v7v9,not v7v6.
v7v6 :- not v6v7,not v3v6,not v2v6,not v1v6,not v0v6,not v7v9,not v7v2.
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 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 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.
compute { w0, v0, v1, v2, v3, v4, v5, v6, v7, v8, v9 }
