v0.
v13 :- v0,v0v13.
v11 :- v0,v0v11.
v10 :- v0,v0v10.
v3 :- v0,v0v3.
v4 :- v0,v0v4.
v5 :- v1,v1v5.
v6 :- v1,v1v6.
v2 :- v1,v1v2.
v12 :- v1,v1v12.
v9 :- v2,v2v9.
v7 :- v2,v2v7.
v6 :- v2,v2v6.
v5 :- v2,v2v5.
v1 :- v2,v2v1.
v13 :- v3,v3v13.
v12 :- v3,v3v12.
v8 :- v3,v3v8.
v5 :- v3,v3v5.
w0 :- v3,v3v0.
v4 :- v3,v3v4.
v8 :- v4,v4v8.
w0 :- v4,v4v0.
v3 :- v4,v4v3.
v8 :- v5,v5v8.
v2 :- v5,v5v2.
v3 :- v5,v5v3.
v1 :- v5,v5v1.
v12 :- v5,v5v12.
v9 :- v5,v5v9.
v12 :- v6,v6v12.
v10 :- v6,v6v10.
v7 :- v6,v6v7.
v2 :- v6,v6v2.
v1 :- v6,v6v1.
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.
v12 :- v10,v10v12.
v11 :- v10,v10v11.
v6 :- v10,v10v6.
w0 :- v10,v10v0.
v7 :- v10,v10v7.
v13 :- v11,v11v13.
w0 :- v11,v11v0.
v10 :- v11,v11v10.
v12 :- v11,v11v12.
v10 :- v12,v12v10.
v6 :- v12,v12v6.
v3 :- v12,v12v3.
v13 :- v12,v12v13.
v11 :- v12,v12v11.
v5 :- v12,v12v5.
v1 :- v12,v12v1.
w0 :- v13,v13v0.
v11 :- v13,v13v11.
v3 :- v13,v13v3.
v12 :- v13,v13v12.
v0v13 :- not v13v0,not v12v13,not v11v13,not v3v13,not v0v11,not v0v10,not v0v3,not v0v4.
v0v11 :- not v11v0,not v13v11,not v12v11,not v10v11,not v0v13,not v0v10,not v0v3,not v0v4.
v0v10 :- not v10v0,not v12v10,not v11v10,not v7v10,not v6v10,not v0v13,not v0v11,not v0v3,not v0v4.
v0v3 :- not v3v0,not v13v3,not v12v3,not v8v3,not v5v3,not v4v3,not v0v13,not v0v11,not v0v10,not v0v4.
v0v4 :- not v4v0,not v8v4,not v3v4,not v0v13,not v0v11,not v0v10,not v0v3.
v1v5 :- not v5v1,not v12v5,not v9v5,not v8v5,not v3v5,not v2v5,not v1v6,not v1v2,not v1v12.
v1v6 :- not v6v1,not v12v6,not v10v6,not v7v6,not v2v6,not v1v5,not v1v2,not v1v12.
v1v2 :- not v2v1,not v9v2,not v7v2,not v6v2,not v5v2,not v1v5,not v1v6,not v1v12.
v1v12 :- not v12v1,not v13v12,not v11v12,not v10v12,not v6v12,not v5v12,not v3v12,not v1v5,not v1v6,not v1v2.
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 v12v6,not v10v6,not v7v6,not v1v6,not v2v9,not v2v7,not v2v5,not v2v1.
v2v5 :- not v5v2,not v12v5,not v9v5,not v8v5,not v3v5,not v1v5,not v2v9,not v2v7,not v2v6,not v2v1.
v2v1 :- not v1v2,not v12v1,not v6v1,not v5v1,not v2v9,not v2v7,not v2v6,not v2v5.
v3v13 :- not v13v3,not v12v13,not v11v13,not v0v13,not v3v12,not v3v8,not v3v5,not v3v0,not v3v4.
v3v12 :- not v12v3,not v13v12,not v11v12,not v10v12,not v6v12,not v5v12,not v1v12,not v3v13,not v3v8,not v3v5,not v3v0,not v3v4.
v3v8 :- not v8v3,not v9v8,not v5v8,not v4v8,not v3v13,not v3v12,not v3v5,not v3v0,not v3v4.
v3v5 :- not v5v3,not v12v5,not v9v5,not v8v5,not v2v5,not v1v5,not v3v13,not v3v12,not v3v8,not v3v0,not v3v4.
v3v0 :- not v0v3,not v13v0,not v11v0,not v10v0,not v4v0,not v3v13,not v3v12,not v3v8,not v3v5,not v3v4.
v3v4 :- not v4v3,not v8v4,not v0v4,not v3v13,not v3v12,not v3v8,not v3v5,not v3v0.
v4v8 :- not v8v4,not v9v8,not v5v8,not v3v8,not v4v0,not v4v3.
v4v0 :- not v0v4,not v13v0,not v11v0,not v10v0,not v3v0,not v4v8,not v4v3.
v4v3 :- not v3v4,not v13v3,not v12v3,not v8v3,not v5v3,not v0v3,not v4v8,not v4v0.
v5v8 :- not v8v5,not v9v8,not v4v8,not v3v8,not v5v2,not v5v3,not v5v1,not v5v12,not v5v9.
v5v2 :- not v2v5,not v9v2,not v7v2,not v6v2,not v1v2,not v5v8,not v5v3,not v5v1,not v5v12,not v5v9.
v5v3 :- not v3v5,not v13v3,not v12v3,not v8v3,not v4v3,not v0v3,not v5v8,not v5v2,not v5v1,not v5v12,not v5v9.
v5v1 :- not v1v5,not v12v1,not v6v1,not v2v1,not v5v8,not v5v2,not v5v3,not v5v12,not v5v9.
v5v12 :- not v12v5,not v13v12,not v11v12,not v10v12,not v6v12,not v3v12,not v1v12,not v5v8,not v5v2,not v5v3,not v5v1,not v5v9.
v5v9 :- not v9v5,not v8v9,not v7v9,not v2v9,not v5v8,not v5v2,not v5v3,not v5v1,not v5v12.
v6v12 :- not v12v6,not v13v12,not v11v12,not v10v12,not v5v12,not v3v12,not v1v12,not v6v10,not v6v7,not v6v2,not v6v1.
v6v10 :- not v10v6,not v12v10,not v11v10,not v7v10,not v0v10,not v6v12,not v6v7,not v6v2,not v6v1.
v6v7 :- not v7v6,not v10v7,not v9v7,not v2v7,not v6v12,not v6v10,not v6v2,not v6v1.
v6v2 :- not v2v6,not v9v2,not v7v2,not v5v2,not v1v2,not v6v12,not v6v10,not v6v7,not v6v1.
v6v1 :- not v1v6,not v12v1,not v5v1,not v2v1,not v6v12,not v6v10,not v6v7,not v6v2.
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 v12v6,not v10v6,not v2v6,not v1v6,not v7v9,not v7v2,not v7v10.
v7v10 :- not v10v7,not v12v10,not v11v10,not v6v10,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 v12v5,not v9v5,not v3v5,not v2v5,not v1v5,not v8v9,not v8v3,not v8v4.
v8v3 :- not v3v8,not v13v3,not v12v3,not v5v3,not v4v3,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 v12v5,not v8v5,not v3v5,not v2v5,not v1v5,not v9v8,not v9v7,not v9v2.
v10v12 :- not v12v10,not v13v12,not v11v12,not v6v12,not v5v12,not v3v12,not v1v12,not v10v11,not v10v6,not v10v0,not v10v7.
v10v11 :- not v11v10,not v13v11,not v12v11,not v0v11,not v10v12,not v10v6,not v10v0,not v10v7.
v10v6 :- not v6v10,not v12v6,not v7v6,not v2v6,not v1v6,not v10v12,not v10v11,not v10v0,not v10v7.
v10v0 :- not v0v10,not v13v0,not v11v0,not v4v0,not v3v0,not v10v12,not v10v11,not v10v6,not v10v7.
v10v7 :- not v7v10,not v9v7,not v6v7,not v2v7,not v10v12,not v10v11,not v10v6,not v10v0.
v11v13 :- not v13v11,not v12v13,not v3v13,not v0v13,not v11v0,not v11v10,not v11v12.
v11v0 :- not v0v11,not v13v0,not v10v0,not v4v0,not v3v0,not v11v13,not v11v10,not v11v12.
v11v10 :- not v10v11,not v12v10,not v7v10,not v6v10,not v0v10,not v11v13,not v11v0,not v11v12.
v11v12 :- not v12v11,not v13v12,not v10v12,not v6v12,not v5v12,not v3v12,not v1v12,not v11v13,not v11v0,not v11v10.
v12v10 :- not v10v12,not v11v10,not v7v10,not v6v10,not v0v10,not v12v6,not v12v3,not v12v13,not v12v11,not v12v5,not v12v1.
v12v6 :- not v6v12,not v10v6,not v7v6,not v2v6,not v1v6,not v12v10,not v12v3,not v12v13,not v12v11,not v12v5,not v12v1.
v12v3 :- not v3v12,not v13v3,not v8v3,not v5v3,not v4v3,not v0v3,not v12v10,not v12v6,not v12v13,not v12v11,not v12v5,not v12v1.
v12v13 :- not v13v12,not v11v13,not v3v13,not v0v13,not v12v10,not v12v6,not v12v3,not v12v11,not v12v5,not v12v1.
v12v11 :- not v11v12,not v13v11,not v10v11,not v0v11,not v12v10,not v12v6,not v12v3,not v12v13,not v12v5,not v12v1.
v12v5 :- not v5v12,not v9v5,not v8v5,not v3v5,not v2v5,not v1v5,not v12v10,not v12v6,not v12v3,not v12v13,not v12v11,not v12v1.
v12v1 :- not v1v12,not v6v1,not v5v1,not v2v1,not v12v10,not v12v6,not v12v3,not v12v13,not v12v11,not v12v5.
v13v0 :- not v0v13,not v11v0,not v10v0,not v4v0,not v3v0,not v13v11,not v13v3,not v13v12.
v13v11 :- not v11v13,not v12v11,not v10v11,not v0v11,not v13v0,not v13v3,not v13v12.
v13v3 :- not v3v13,not v12v3,not v8v3,not v5v3,not v4v3,not v0v3,not v13v0,not v13v11,not v13v12.
v13v12 :- not v12v13,not v11v12,not v10v12,not v6v12,not v5v12,not v3v12,not v1v12,not v13v0,not v13v11,not v13v3.
compute { w0, v0, v1, v2, v3, v4, v5, v6, v7, v8, v9, v10, v11, v12, v13 }
