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.
v16 :- not v16.
v17 :- not v17.
v2.
v2v14 :- not v3v14,not v8v14,not v4v14,not v12v14,not v5v14,not v6v14,not v2v4,not v2v5,not v2v7,not v2v13,not v14v2.
v14 :- v2v14,v2.
v2v13 :- not v4v13,not v8v13,not v7v13,not v2v4,not v2v5,not v2v7,not v2v14,not v13v2.
v13 :- v2v13,v2.
v2v7 :- not v8v7,not v13v7,not v17v7,not v2v4,not v2v5,not v2v13,not v2v14,not v7v2.
v7 :- v2v7,v2.
v2v5 :- not v9v5,not v12v5,not v14v5,not v2v4,not v2v7,not v2v13,not v2v14,not v5v2.
v5 :- v2v5,v2.
v2v4 :- not v14v4,not v8v4,not v13v4,not v2v5,not v2v7,not v2v13,not v2v14,not v4v2.
v4 :- v2v4,v2.
v3v11 :- not v16v11,not v15v11,not v17v11,not v3v14,not v3v15,not v3v17,not v3v6,not v3v8,not v11v3.
v11 :- v3v11,v3.
v3v8 :- not v14v8,not v7v8,not v4v8,not v17v8,not v13v8,not v3v14,not v3v15,not v3v17,not v3v6,not v3v11,not v8v3.
v8 :- v3v8,v3.
v3v6 :- not v15v6,not v10v6,not v12v6,not v14v6,not v3v14,not v3v15,not v3v17,not v3v8,not v3v11,not v6v3.
v6 :- v3v6,v3.
v3v17 :- not v8v17,not v11v17,not v7v17,not v16v17,not v3v14,not v3v15,not v3v6,not v3v8,not v3v11,not v17v3.
v17 :- v3v17,v3.
v3v15 :- not v6v15,not v16v15,not v10v15,not v9v15,not v11v15,not v3v14,not v3v17,not v3v6,not v3v8,not v3v11,not v15v3.
v15 :- v3v15,v3.
v3v14 :- not v8v14,not v4v14,not v12v14,not v2v14,not v5v14,not v6v14,not v3v15,not v3v17,not v3v6,not v3v8,not v3v11,not v14v3.
v14 :- v3v14,v3.
v4v13 :- not v2v13,not v8v13,not v7v13,not v4v2,not v4v14,not v4v8,not v13v4.
v13 :- v4v13,v4.
v4v8 :- not v14v8,not v3v8,not v7v8,not v17v8,not v13v8,not v4v2,not v4v14,not v4v13,not v8v4.
v8 :- v4v8,v4.
v4v14 :- not v3v14,not v8v14,not v12v14,not v2v14,not v5v14,not v6v14,not v4v2,not v4v8,not v4v13,not v14v4.
v14 :- v4v14,v4.
v4v2 :- not v5v2,not v7v2,not v13v2,not v14v2,not v4v14,not v4v8,not v4v13,not v2v4.
v1 :- v4v2,v4.
v5v14 :- not v3v14,not v8v14,not v4v14,not v12v14,not v2v14,not v6v14,not v5v2,not v5v9,not v5v12,not v14v5.
v14 :- v5v14,v5.
v5v12 :- not v14v12,not v9v12,not v10v12,not v6v12,not v5v2,not v5v9,not v5v14,not v12v5.
v12 :- v5v12,v5.
v5v9 :- not v12v9,not v10v9,not v15v9,not v16v9,not v5v2,not v5v12,not v5v14,not v9v5.
v9 :- v5v9,v5.
v5v2 :- not v4v2,not v7v2,not v13v2,not v14v2,not v5v9,not v5v12,not v5v14,not v2v5.
v1 :- v5v2,v5.
v6v14 :- not v3v14,not v8v14,not v4v14,not v12v14,not v2v14,not v5v14,not v6v3,not v6v15,not v6v10,not v6v12,not v14v6.
v14 :- v6v14,v6.
v6v12 :- not v14v12,not v9v12,not v5v12,not v10v12,not v6v3,not v6v15,not v6v10,not v6v14,not v12v6.
v12 :- v6v12,v6.
v6v10 :- not v9v10,not v12v10,not v15v10,not v6v3,not v6v15,not v6v12,not v6v14,not v10v6.
v10 :- v6v10,v6.
v6v15 :- not v3v15,not v16v15,not v10v15,not v9v15,not v11v15,not v6v3,not v6v10,not v6v12,not v6v14,not v15v6.
v15 :- v6v15,v6.
v6v3 :- not v14v3,not v15v3,not v17v3,not v8v3,not v11v3,not v6v15,not v6v10,not v6v12,not v6v14,not v3v6.
v3 :- v6v3,v6.
v7v17 :- not v3v17,not v8v17,not v11v17,not v16v17,not v7v2,not v7v8,not v7v13,not v17v7.
v17 :- v7v17,v7.
v7v13 :- not v2v13,not v4v13,not v8v13,not v7v2,not v7v8,not v7v17,not v13v7.
v13 :- v7v13,v7.
v7v8 :- not v14v8,not v3v8,not v4v8,not v17v8,not v13v8,not v7v2,not v7v13,not v7v17,not v8v7.
v8 :- v7v8,v7.
v7v2 :- not v4v2,not v5v2,not v13v2,not v14v2,not v7v8,not v7v13,not v7v17,not v2v7.
v1 :- v7v2,v7.
v8v13 :- not v2v13,not v4v13,not v7v13,not v8v14,not v8v3,not v8v7,not v8v4,not v8v17,not v13v8.
v13 :- v8v13,v8.
v8v17 :- not v3v17,not v11v17,not v7v17,not v16v17,not v8v14,not v8v3,not v8v7,not v8v4,not v8v13,not v17v8.
v17 :- v8v17,v8.
v8v4 :- not v2v4,not v14v4,not v13v4,not v8v14,not v8v3,not v8v7,not v8v17,not v8v13,not v4v8.
v4 :- v8v4,v8.
v8v7 :- not v2v7,not v13v7,not v17v7,not v8v14,not v8v3,not v8v4,not v8v17,not v8v13,not v7v8.
v7 :- v8v7,v8.
v8v3 :- not v14v3,not v15v3,not v17v3,not v6v3,not v11v3,not v8v14,not v8v7,not v8v4,not v8v17,not v8v13,not v3v8.
v3 :- v8v3,v8.
v8v14 :- not v3v14,not v4v14,not v12v14,not v2v14,not v5v14,not v6v14,not v8v3,not v8v7,not v8v4,not v8v17,not v8v13,not v14v8.
v14 :- v8v14,v8.
v9v16 :- not v11v16,not v15v16,not v17v16,not v9v5,not v9v12,not v9v10,not v9v15,not v16v9.
v16 :- v9v16,v9.
v9v15 :- not v3v15,not v6v15,not v16v15,not v10v15,not v11v15,not v9v5,not v9v12,not v9v10,not v9v16,not v15v9.
v15 :- v9v15,v9.
v9v10 :- not v6v10,not v12v10,not v15v10,not v9v5,not v9v12,not v9v15,not v9v16,not v10v9.
v10 :- v9v10,v9.
v9v12 :- not v14v12,not v5v12,not v10v12,not v6v12,not v9v5,not v9v10,not v9v15,not v9v16,not v12v9.
v12 :- v9v12,v9.
v9v5 :- not v2v5,not v12v5,not v14v5,not v9v12,not v9v10,not v9v15,not v9v16,not v5v9.
v5 :- v9v5,v9.
v10v15 :- not v3v15,not v6v15,not v16v15,not v9v15,not v11v15,not v10v9,not v10v6,not v10v12,not v15v10.
v15 :- v10v15,v10.
v10v12 :- not v14v12,not v9v12,not v5v12,not v6v12,not v10v9,not v10v6,not v10v15,not v12v10.
v12 :- v10v12,v10.
v10v6 :- not v3v6,not v15v6,not v12v6,not v14v6,not v10v9,not v10v12,not v10v15,not v6v10.
v6 :- v10v6,v10.
v10v9 :- not v5v9,not v12v9,not v15v9,not v16v9,not v10v6,not v10v12,not v10v15,not v9v10.
v9 :- v10v9,v10.
v11v17 :- not v3v17,not v8v17,not v7v17,not v16v17,not v11v16,not v11v3,not v11v15,not v17v11.
v17 :- v11v17,v11.
v11v15 :- not v3v15,not v6v15,not v16v15,not v10v15,not v9v15,not v11v16,not v11v3,not v11v17,not v15v11.
v15 :- v11v15,v11.
v11v3 :- not v14v3,not v15v3,not v17v3,not v6v3,not v8v3,not v11v16,not v11v15,not v11v17,not v3v11.
v3 :- v11v3,v11.
v11v16 :- not v15v16,not v9v16,not v17v16,not v11v3,not v11v15,not v11v17,not v16v11.
v16 :- v11v16,v11.
v12v6 :- not v3v6,not v15v6,not v10v6,not v14v6,not v12v14,not v12v9,not v12v5,not v12v10,not v6v12.
v6 :- v12v6,v12.
v12v10 :- not v9v10,not v6v10,not v15v10,not v12v14,not v12v9,not v12v5,not v12v6,not v10v12.
v10 :- v12v10,v12.
v12v5 :- not v2v5,not v9v5,not v14v5,not v12v14,not v12v9,not v12v10,not v12v6,not v5v12.
v5 :- v12v5,v12.
v12v9 :- not v5v9,not v10v9,not v15v9,not v16v9,not v12v14,not v12v5,not v12v10,not v12v6,not v9v12.
v9 :- v12v9,v12.
v12v14 :- not v3v14,not v8v14,not v4v14,not v2v14,not v5v14,not v6v14,not v12v9,not v12v5,not v12v10,not v12v6,not v14v12.
v14 :- v12v14,v12.
v13v7 :- not v2v7,not v8v7,not v17v7,not v13v2,not v13v4,not v13v8,not v7v13.
v7 :- v13v7,v13.
v13v8 :- not v14v8,not v3v8,not v7v8,not v4v8,not v17v8,not v13v2,not v13v4,not v13v7,not v8v13.
v8 :- v13v8,v13.
v13v4 :- not v2v4,not v14v4,not v8v4,not v13v2,not v13v8,not v13v7,not v4v13.
v4 :- v13v4,v13.
v13v2 :- not v4v2,not v5v2,not v7v2,not v14v2,not v13v4,not v13v8,not v13v7,not v2v13.
v1 :- v13v2,v13.
v14v6 :- not v3v6,not v15v6,not v10v6,not v12v6,not v14v3,not v14v8,not v14v4,not v14v12,not v14v2,not v14v5,not v6v14.
v6 :- v14v6,v14.
v14v5 :- not v2v5,not v9v5,not v12v5,not v14v3,not v14v8,not v14v4,not v14v12,not v14v2,not v14v6,not v5v14.
v5 :- v14v5,v14.
v14v2 :- not v4v2,not v5v2,not v7v2,not v13v2,not v14v3,not v14v8,not v14v4,not v14v12,not v14v5,not v14v6,not v2v14.
v1 :- v14v2,v14.
v14v12 :- not v9v12,not v5v12,not v10v12,not v6v12,not v14v3,not v14v8,not v14v4,not v14v2,not v14v5,not v14v6,not v12v14.
v12 :- v14v12,v14.
v14v4 :- not v2v4,not v8v4,not v13v4,not v14v3,not v14v8,not v14v12,not v14v2,not v14v5,not v14v6,not v4v14.
v4 :- v14v4,v14.
v14v8 :- not v3v8,not v7v8,not v4v8,not v17v8,not v13v8,not v14v3,not v14v4,not v14v12,not v14v2,not v14v5,not v14v6,not v8v14.
v8 :- v14v8,v14.
v14v3 :- not v15v3,not v17v3,not v6v3,not v8v3,not v11v3,not v14v8,not v14v4,not v14v12,not v14v2,not v14v5,not v14v6,not v3v14.
v3 :- v14v3,v14.
v15v11 :- not v16v11,not v3v11,not v17v11,not v15v3,not v15v6,not v15v16,not v15v10,not v15v9,not v11v15.
v11 :- v15v11,v15.
v15v9 :- not v5v9,not v12v9,not v10v9,not v16v9,not v15v3,not v15v6,not v15v16,not v15v10,not v15v11,not v9v15.
v9 :- v15v9,v15.
v15v10 :- not v9v10,not v6v10,not v12v10,not v15v3,not v15v6,not v15v16,not v15v9,not v15v11,not v10v15.
v10 :- v15v10,v15.
v15v16 :- not v11v16,not v9v16,not v17v16,not v15v3,not v15v6,not v15v10,not v15v9,not v15v11,not v16v15.
v16 :- v15v16,v15.
v15v6 :- not v3v6,not v10v6,not v12v6,not v14v6,not v15v3,not v15v16,not v15v10,not v15v9,not v15v11,not v6v15.
v6 :- v15v6,v15.
v15v3 :- not v14v3,not v17v3,not v6v3,not v8v3,not v11v3,not v15v6,not v15v16,not v15v10,not v15v9,not v15v11,not v3v15.
v3 :- v15v3,v15.
v16v17 :- not v3v17,not v8v17,not v11v17,not v7v17,not v16v11,not v16v15,not v16v9,not v17v16.
v17 :- v16v17,v16.
v16v9 :- not v5v9,not v12v9,not v10v9,not v15v9,not v16v11,not v16v15,not v16v17,not v9v16.
v9 :- v16v9,v16.
v16v15 :- not v3v15,not v6v15,not v10v15,not v9v15,not v11v15,not v16v11,not v16v9,not v16v17,not v15v16.
v15 :- v16v15,v16.
v16v11 :- not v3v11,not v15v11,not v17v11,not v16v15,not v16v9,not v16v17,not v11v16.
v11 :- v16v11,v16.
v17v16 :- not v11v16,not v15v16,not v9v16,not v17v3,not v17v8,not v17v11,not v17v7,not v16v17.
v16 :- v17v16,v17.
v17v7 :- not v2v7,not v8v7,not v13v7,not v17v3,not v17v8,not v17v11,not v17v16,not v7v17.
v7 :- v17v7,v17.
v17v11 :- not v16v11,not v3v11,not v15v11,not v17v3,not v17v8,not v17v7,not v17v16,not v11v17.
v11 :- v17v11,v17.
v17v8 :- not v14v8,not v3v8,not v7v8,not v4v8,not v13v8,not v17v3,not v17v11,not v17v7,not v17v16,not v8v17.
v8 :- v17v8,v17.
v17v3 :- not v14v3,not v15v3,not v6v3,not v8v3,not v11v3,not v17v8,not v17v11,not v17v7,not v17v16,not v3v17.
v3 :- v17v3,v17.
s :- v1.
