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.
v12 :- not v12.
v13 :- not v13.
v14 :- not v14.
v15 :- not v15.
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 v12v10,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 v13v11,not v10v11,not v9v8,not v9v7,not v11v9.
v11 :- v9v11,v9.
v10v8 :- not v9v8,not v6v8,not v10v12,not v10v11,not v8v10.
v8 :- v10v8,v10.
v10v11 :- not v13v11,not v9v11,not v10v12,not v10v8,not v11v10.
v11 :- v10v11,v10.
v10v12 :- not v14v12,not v13v12,not v10v11,not v10v8,not v12v10.
v12 :- v10v12,v10.
v11v9 :- not v8v9,not v7v9,not v11v13,not v11v10,not v9v11.
v9 :- v11v9,v11.
v11v10 :- not v12v10,not v8v10,not v11v13,not v11v9,not v10v11.
v10 :- v11v10,v11.
v11v13 :- not v15v13,not v12v13,not v11v10,not v11v9,not v13v11.
v13 :- v11v13,v11.
v12v10 :- not v11v10,not v8v10,not v12v14,not v12v13,not v10v12.
v10 :- v12v10,v12.
v12v13 :- not v15v13,not v11v13,not v12v14,not v12v10,not v13v12.
v13 :- v12v13,v12.
v12v14 :- not v15v14,not v12v13,not v12v10,not v14v12.
v14 :- v12v14,v12.
v13v11 :- not v10v11,not v9v11,not v13v15,not v13v12,not v11v13.
v11 :- v13v11,v13.
v13v12 :- not v14v12,not v10v12,not v13v15,not v13v11,not v12v13.
v12 :- v13v12,v13.
v13v15 :- not v14v15,not v13v12,not v13v11,not v15v13.
v15 :- v13v15,v13.
v14v12 :- not v13v12,not v10v12,not v14v15,not v12v14.
v12 :- v14v12,v14.
v14v15 :- not v13v15,not v14v12,not v15v14.
v15 :- v14v15,v14.
v15v13 :- not v12v13,not v11v13,not v15v14,not v13v15.
v13 :- v15v13,v15.
v15v14 :- not v12v14,not v15v13,not v14v15.
v14 :- v15v14,v15.
s :- v1.
