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.
v18 :- not v18.
v19 :- not v19.
v20 :- not v20.
v21 :- not v21.
v22 :- not v22.
v23 :- not v23.
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 v16v14,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 v17v15,not v14v15,not v13v12,not v13v11,not v15v13.
v15 :- v13v15,v13.
v14v12 :- not v13v12,not v10v12,not v14v16,not v14v15,not v12v14.
v12 :- v14v12,v14.
v14v15 :- not v17v15,not v13v15,not v14v16,not v14v12,not v15v14.
v15 :- v14v15,v14.
v14v16 :- not v18v16,not v17v16,not v14v15,not v14v12,not v16v14.
v16 :- v14v16,v14.
v15v13 :- not v12v13,not v11v13,not v15v17,not v15v14,not v13v15.
v13 :- v15v13,v15.
v15v14 :- not v16v14,not v12v14,not v15v17,not v15v13,not v14v15.
v14 :- v15v14,v15.
v15v17 :- not v19v17,not v16v17,not v15v14,not v15v13,not v17v15.
v17 :- v15v17,v15.
v16v14 :- not v15v14,not v12v14,not v16v18,not v16v17,not v14v16.
v14 :- v16v14,v16.
v16v17 :- not v19v17,not v15v17,not v16v18,not v16v14,not v17v16.
v17 :- v16v17,v16.
v16v18 :- not v20v18,not v19v18,not v16v17,not v16v14,not v18v16.
v18 :- v16v18,v16.
v17v15 :- not v14v15,not v13v15,not v17v19,not v17v16,not v15v17.
v15 :- v17v15,v17.
v17v16 :- not v18v16,not v14v16,not v17v19,not v17v15,not v16v17.
v16 :- v17v16,v17.
v17v19 :- not v21v19,not v18v19,not v17v16,not v17v15,not v19v17.
v19 :- v17v19,v17.
v18v16 :- not v17v16,not v14v16,not v18v20,not v18v19,not v16v18.
v16 :- v18v16,v18.
v18v19 :- not v21v19,not v17v19,not v18v20,not v18v16,not v19v18.
v19 :- v18v19,v18.
v18v20 :- not v22v20,not v21v20,not v18v19,not v18v16,not v20v18.
v20 :- v18v20,v18.
v19v17 :- not v16v17,not v15v17,not v19v21,not v19v18,not v17v19.
v17 :- v19v17,v19.
v19v18 :- not v20v18,not v16v18,not v19v21,not v19v17,not v18v19.
v18 :- v19v18,v19.
v19v21 :- not v23v21,not v20v21,not v19v18,not v19v17,not v21v19.
v21 :- v19v21,v19.
v20v18 :- not v19v18,not v16v18,not v20v22,not v20v21,not v18v20.
v18 :- v20v18,v20.
v20v21 :- not v23v21,not v19v21,not v20v22,not v20v18,not v21v20.
v21 :- v20v21,v20.
v20v22 :- not v23v22,not v20v21,not v20v18,not v22v20.
v22 :- v20v22,v20.
v21v19 :- not v18v19,not v17v19,not v21v23,not v21v20,not v19v21.
v19 :- v21v19,v21.
v21v20 :- not v22v20,not v18v20,not v21v23,not v21v19,not v20v21.
v20 :- v21v20,v21.
v21v23 :- not v22v23,not v21v20,not v21v19,not v23v21.
v23 :- v21v23,v21.
v22v20 :- not v21v20,not v18v20,not v22v23,not v20v22.
v20 :- v22v20,v22.
v22v23 :- not v21v23,not v22v20,not v23v22.
v23 :- v22v23,v22.
v23v21 :- not v20v21,not v19v21,not v23v22,not v21v23.
v21 :- v23v21,v23.
v23v22 :- not v20v22,not v23v21,not v22v23.
v22 :- v23v22,v23.
s :- v1.
