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.
v24 :- not v24.
v25 :- not v25.
v26 :- not v26.
v27 :- not v27.
v28 :- not v28.
v29 :- not v29.
v30 :- not v30.
v31 :- not v31.
v32 :- not v32.
v33 :- not v33.
v34 :- not v34.
v35 :- not v35.
v36 :- not v36.
v37 :- not v37.
v38 :- not v38.
v39 :- not v39.
v40 :- not v40.
v41 :- not v41.
v42 :- not v42.
v43 :- not v43.
v44 :- not v44.
v45 :- not v45.
v46 :- not v46.
v47 :- not v47.
v48 :- not v48.
v49 :- not v49.
v50 :- not v50.
v51 :- not v51.
v52 :- not v52.
v53 :- not v53.
v54 :- not v54.
v55 :- not v55.
v56 :- not v56.
v57 :- not v57.
v58 :- not v58.
v59 :- not v59.
v60 :- not v60.
v61 :- not v61.
v62 :- not v62.
v63 :- not v63.
v64 :- not v64.
v65 :- not v65.
v66 :- not v66.
v67 :- not v67.
v68 :- not v68.
v69 :- not v69.
v70 :- not v70.
v71 :- not v71.
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 v24v22,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 v25v23,not v22v23,not v21v20,not v21v19,not v23v21.
v23 :- v21v23,v21.
v22v20 :- not v21v20,not v18v20,not v22v24,not v22v23,not v20v22.
v20 :- v22v20,v22.
v22v23 :- not v25v23,not v21v23,not v22v24,not v22v20,not v23v22.
v23 :- v22v23,v22.
v22v24 :- not v26v24,not v25v24,not v22v23,not v22v20,not v24v22.
v24 :- v22v24,v22.
v23v21 :- not v20v21,not v19v21,not v23v25,not v23v22,not v21v23.
v21 :- v23v21,v23.
v23v22 :- not v24v22,not v20v22,not v23v25,not v23v21,not v22v23.
v22 :- v23v22,v23.
v23v25 :- not v27v25,not v24v25,not v23v22,not v23v21,not v25v23.
v25 :- v23v25,v23.
v24v22 :- not v23v22,not v20v22,not v24v26,not v24v25,not v22v24.
v22 :- v24v22,v24.
v24v25 :- not v27v25,not v23v25,not v24v26,not v24v22,not v25v24.
v25 :- v24v25,v24.
v24v26 :- not v28v26,not v27v26,not v24v25,not v24v22,not v26v24.
v26 :- v24v26,v24.
v25v23 :- not v22v23,not v21v23,not v25v27,not v25v24,not v23v25.
v23 :- v25v23,v25.
v25v24 :- not v26v24,not v22v24,not v25v27,not v25v23,not v24v25.
v24 :- v25v24,v25.
v25v27 :- not v29v27,not v26v27,not v25v24,not v25v23,not v27v25.
v27 :- v25v27,v25.
v26v24 :- not v25v24,not v22v24,not v26v28,not v26v27,not v24v26.
v24 :- v26v24,v26.
v26v27 :- not v29v27,not v25v27,not v26v28,not v26v24,not v27v26.
v27 :- v26v27,v26.
v26v28 :- not v30v28,not v29v28,not v26v27,not v26v24,not v28v26.
v28 :- v26v28,v26.
v27v25 :- not v24v25,not v23v25,not v27v29,not v27v26,not v25v27.
v25 :- v27v25,v27.
v27v26 :- not v28v26,not v24v26,not v27v29,not v27v25,not v26v27.
v26 :- v27v26,v27.
v27v29 :- not v31v29,not v28v29,not v27v26,not v27v25,not v29v27.
v29 :- v27v29,v27.
v28v26 :- not v27v26,not v24v26,not v28v30,not v28v29,not v26v28.
v26 :- v28v26,v28.
v28v29 :- not v31v29,not v27v29,not v28v30,not v28v26,not v29v28.
v29 :- v28v29,v28.
v28v30 :- not v32v30,not v31v30,not v28v29,not v28v26,not v30v28.
v30 :- v28v30,v28.
v29v27 :- not v26v27,not v25v27,not v29v31,not v29v28,not v27v29.
v27 :- v29v27,v29.
v29v28 :- not v30v28,not v26v28,not v29v31,not v29v27,not v28v29.
v28 :- v29v28,v29.
v29v31 :- not v33v31,not v30v31,not v29v28,not v29v27,not v31v29.
v31 :- v29v31,v29.
v30v28 :- not v29v28,not v26v28,not v30v32,not v30v31,not v28v30.
v28 :- v30v28,v30.
v30v31 :- not v33v31,not v29v31,not v30v32,not v30v28,not v31v30.
v31 :- v30v31,v30.
v30v32 :- not v34v32,not v33v32,not v30v31,not v30v28,not v32v30.
v32 :- v30v32,v30.
v31v29 :- not v28v29,not v27v29,not v31v33,not v31v30,not v29v31.
v29 :- v31v29,v31.
v31v30 :- not v32v30,not v28v30,not v31v33,not v31v29,not v30v31.
v30 :- v31v30,v31.
v31v33 :- not v35v33,not v32v33,not v31v30,not v31v29,not v33v31.
v33 :- v31v33,v31.
v32v30 :- not v31v30,not v28v30,not v32v34,not v32v33,not v30v32.
v30 :- v32v30,v32.
v32v33 :- not v35v33,not v31v33,not v32v34,not v32v30,not v33v32.
v33 :- v32v33,v32.
v32v34 :- not v36v34,not v35v34,not v32v33,not v32v30,not v34v32.
v34 :- v32v34,v32.
v33v31 :- not v30v31,not v29v31,not v33v35,not v33v32,not v31v33.
v31 :- v33v31,v33.
v33v32 :- not v34v32,not v30v32,not v33v35,not v33v31,not v32v33.
v32 :- v33v32,v33.
v33v35 :- not v37v35,not v34v35,not v33v32,not v33v31,not v35v33.
v35 :- v33v35,v33.
v34v32 :- not v33v32,not v30v32,not v34v36,not v34v35,not v32v34.
v32 :- v34v32,v34.
v34v35 :- not v37v35,not v33v35,not v34v36,not v34v32,not v35v34.
v35 :- v34v35,v34.
v34v36 :- not v38v36,not v37v36,not v34v35,not v34v32,not v36v34.
v36 :- v34v36,v34.
v35v33 :- not v32v33,not v31v33,not v35v37,not v35v34,not v33v35.
v33 :- v35v33,v35.
v35v34 :- not v36v34,not v32v34,not v35v37,not v35v33,not v34v35.
v34 :- v35v34,v35.
v35v37 :- not v39v37,not v36v37,not v35v34,not v35v33,not v37v35.
v37 :- v35v37,v35.
v36v34 :- not v35v34,not v32v34,not v36v38,not v36v37,not v34v36.
v34 :- v36v34,v36.
v36v37 :- not v39v37,not v35v37,not v36v38,not v36v34,not v37v36.
v37 :- v36v37,v36.
v36v38 :- not v40v38,not v39v38,not v36v37,not v36v34,not v38v36.
v38 :- v36v38,v36.
v37v35 :- not v34v35,not v33v35,not v37v39,not v37v36,not v35v37.
v35 :- v37v35,v37.
v37v36 :- not v38v36,not v34v36,not v37v39,not v37v35,not v36v37.
v36 :- v37v36,v37.
v37v39 :- not v41v39,not v38v39,not v37v36,not v37v35,not v39v37.
v39 :- v37v39,v37.
v38v36 :- not v37v36,not v34v36,not v38v40,not v38v39,not v36v38.
v36 :- v38v36,v38.
v38v39 :- not v41v39,not v37v39,not v38v40,not v38v36,not v39v38.
v39 :- v38v39,v38.
v38v40 :- not v42v40,not v41v40,not v38v39,not v38v36,not v40v38.
v40 :- v38v40,v38.
v39v37 :- not v36v37,not v35v37,not v39v41,not v39v38,not v37v39.
v37 :- v39v37,v39.
v39v38 :- not v40v38,not v36v38,not v39v41,not v39v37,not v38v39.
v38 :- v39v38,v39.
v39v41 :- not v43v41,not v40v41,not v39v38,not v39v37,not v41v39.
v41 :- v39v41,v39.
v40v38 :- not v39v38,not v36v38,not v40v42,not v40v41,not v38v40.
v38 :- v40v38,v40.
v40v41 :- not v43v41,not v39v41,not v40v42,not v40v38,not v41v40.
v41 :- v40v41,v40.
v40v42 :- not v44v42,not v43v42,not v40v41,not v40v38,not v42v40.
v42 :- v40v42,v40.
v41v39 :- not v38v39,not v37v39,not v41v43,not v41v40,not v39v41.
v39 :- v41v39,v41.
v41v40 :- not v42v40,not v38v40,not v41v43,not v41v39,not v40v41.
v40 :- v41v40,v41.
v41v43 :- not v45v43,not v42v43,not v41v40,not v41v39,not v43v41.
v43 :- v41v43,v41.
v42v40 :- not v41v40,not v38v40,not v42v44,not v42v43,not v40v42.
v40 :- v42v40,v42.
v42v43 :- not v45v43,not v41v43,not v42v44,not v42v40,not v43v42.
v43 :- v42v43,v42.
v42v44 :- not v46v44,not v45v44,not v42v43,not v42v40,not v44v42.
v44 :- v42v44,v42.
v43v41 :- not v40v41,not v39v41,not v43v45,not v43v42,not v41v43.
v41 :- v43v41,v43.
v43v42 :- not v44v42,not v40v42,not v43v45,not v43v41,not v42v43.
v42 :- v43v42,v43.
v43v45 :- not v47v45,not v44v45,not v43v42,not v43v41,not v45v43.
v45 :- v43v45,v43.
v44v42 :- not v43v42,not v40v42,not v44v46,not v44v45,not v42v44.
v42 :- v44v42,v44.
v44v45 :- not v47v45,not v43v45,not v44v46,not v44v42,not v45v44.
v45 :- v44v45,v44.
v44v46 :- not v48v46,not v47v46,not v44v45,not v44v42,not v46v44.
v46 :- v44v46,v44.
v45v43 :- not v42v43,not v41v43,not v45v47,not v45v44,not v43v45.
v43 :- v45v43,v45.
v45v44 :- not v46v44,not v42v44,not v45v47,not v45v43,not v44v45.
v44 :- v45v44,v45.
v45v47 :- not v49v47,not v46v47,not v45v44,not v45v43,not v47v45.
v47 :- v45v47,v45.
v46v44 :- not v45v44,not v42v44,not v46v48,not v46v47,not v44v46.
v44 :- v46v44,v46.
v46v47 :- not v49v47,not v45v47,not v46v48,not v46v44,not v47v46.
v47 :- v46v47,v46.
v46v48 :- not v50v48,not v49v48,not v46v47,not v46v44,not v48v46.
v48 :- v46v48,v46.
v47v45 :- not v44v45,not v43v45,not v47v49,not v47v46,not v45v47.
v45 :- v47v45,v47.
v47v46 :- not v48v46,not v44v46,not v47v49,not v47v45,not v46v47.
v46 :- v47v46,v47.
v47v49 :- not v51v49,not v48v49,not v47v46,not v47v45,not v49v47.
v49 :- v47v49,v47.
v48v46 :- not v47v46,not v44v46,not v48v50,not v48v49,not v46v48.
v46 :- v48v46,v48.
v48v49 :- not v51v49,not v47v49,not v48v50,not v48v46,not v49v48.
v49 :- v48v49,v48.
v48v50 :- not v52v50,not v51v50,not v48v49,not v48v46,not v50v48.
v50 :- v48v50,v48.
v49v47 :- not v46v47,not v45v47,not v49v51,not v49v48,not v47v49.
v47 :- v49v47,v49.
v49v48 :- not v50v48,not v46v48,not v49v51,not v49v47,not v48v49.
v48 :- v49v48,v49.
v49v51 :- not v53v51,not v50v51,not v49v48,not v49v47,not v51v49.
v51 :- v49v51,v49.
v50v48 :- not v49v48,not v46v48,not v50v52,not v50v51,not v48v50.
v48 :- v50v48,v50.
v50v51 :- not v53v51,not v49v51,not v50v52,not v50v48,not v51v50.
v51 :- v50v51,v50.
v50v52 :- not v54v52,not v53v52,not v50v51,not v50v48,not v52v50.
v52 :- v50v52,v50.
v51v49 :- not v48v49,not v47v49,not v51v53,not v51v50,not v49v51.
v49 :- v51v49,v51.
v51v50 :- not v52v50,not v48v50,not v51v53,not v51v49,not v50v51.
v50 :- v51v50,v51.
v51v53 :- not v55v53,not v52v53,not v51v50,not v51v49,not v53v51.
v53 :- v51v53,v51.
v52v50 :- not v51v50,not v48v50,not v52v54,not v52v53,not v50v52.
v50 :- v52v50,v52.
v52v53 :- not v55v53,not v51v53,not v52v54,not v52v50,not v53v52.
v53 :- v52v53,v52.
v52v54 :- not v56v54,not v55v54,not v52v53,not v52v50,not v54v52.
v54 :- v52v54,v52.
v53v51 :- not v50v51,not v49v51,not v53v55,not v53v52,not v51v53.
v51 :- v53v51,v53.
v53v52 :- not v54v52,not v50v52,not v53v55,not v53v51,not v52v53.
v52 :- v53v52,v53.
v53v55 :- not v57v55,not v54v55,not v53v52,not v53v51,not v55v53.
v55 :- v53v55,v53.
v54v52 :- not v53v52,not v50v52,not v54v56,not v54v55,not v52v54.
v52 :- v54v52,v54.
v54v55 :- not v57v55,not v53v55,not v54v56,not v54v52,not v55v54.
v55 :- v54v55,v54.
v54v56 :- not v58v56,not v57v56,not v54v55,not v54v52,not v56v54.
v56 :- v54v56,v54.
v55v53 :- not v52v53,not v51v53,not v55v57,not v55v54,not v53v55.
v53 :- v55v53,v55.
v55v54 :- not v56v54,not v52v54,not v55v57,not v55v53,not v54v55.
v54 :- v55v54,v55.
v55v57 :- not v59v57,not v56v57,not v55v54,not v55v53,not v57v55.
v57 :- v55v57,v55.
v56v54 :- not v55v54,not v52v54,not v56v58,not v56v57,not v54v56.
v54 :- v56v54,v56.
v56v57 :- not v59v57,not v55v57,not v56v58,not v56v54,not v57v56.
v57 :- v56v57,v56.
v56v58 :- not v60v58,not v59v58,not v56v57,not v56v54,not v58v56.
v58 :- v56v58,v56.
v57v55 :- not v54v55,not v53v55,not v57v59,not v57v56,not v55v57.
v55 :- v57v55,v57.
v57v56 :- not v58v56,not v54v56,not v57v59,not v57v55,not v56v57.
v56 :- v57v56,v57.
v57v59 :- not v61v59,not v58v59,not v57v56,not v57v55,not v59v57.
v59 :- v57v59,v57.
v58v56 :- not v57v56,not v54v56,not v58v60,not v58v59,not v56v58.
v56 :- v58v56,v58.
v58v59 :- not v61v59,not v57v59,not v58v60,not v58v56,not v59v58.
v59 :- v58v59,v58.
v58v60 :- not v62v60,not v61v60,not v58v59,not v58v56,not v60v58.
v60 :- v58v60,v58.
v59v57 :- not v56v57,not v55v57,not v59v61,not v59v58,not v57v59.
v57 :- v59v57,v59.
v59v58 :- not v60v58,not v56v58,not v59v61,not v59v57,not v58v59.
v58 :- v59v58,v59.
v59v61 :- not v63v61,not v60v61,not v59v58,not v59v57,not v61v59.
v61 :- v59v61,v59.
v60v58 :- not v59v58,not v56v58,not v60v62,not v60v61,not v58v60.
v58 :- v60v58,v60.
v60v61 :- not v63v61,not v59v61,not v60v62,not v60v58,not v61v60.
v61 :- v60v61,v60.
v60v62 :- not v64v62,not v63v62,not v60v61,not v60v58,not v62v60.
v62 :- v60v62,v60.
v61v59 :- not v58v59,not v57v59,not v61v63,not v61v60,not v59v61.
v59 :- v61v59,v61.
v61v60 :- not v62v60,not v58v60,not v61v63,not v61v59,not v60v61.
v60 :- v61v60,v61.
v61v63 :- not v65v63,not v62v63,not v61v60,not v61v59,not v63v61.
v63 :- v61v63,v61.
v62v60 :- not v61v60,not v58v60,not v62v64,not v62v63,not v60v62.
v60 :- v62v60,v62.
v62v63 :- not v65v63,not v61v63,not v62v64,not v62v60,not v63v62.
v63 :- v62v63,v62.
v62v64 :- not v66v64,not v65v64,not v62v63,not v62v60,not v64v62.
v64 :- v62v64,v62.
v63v61 :- not v60v61,not v59v61,not v63v65,not v63v62,not v61v63.
v61 :- v63v61,v63.
v63v62 :- not v64v62,not v60v62,not v63v65,not v63v61,not v62v63.
v62 :- v63v62,v63.
v63v65 :- not v67v65,not v64v65,not v63v62,not v63v61,not v65v63.
v65 :- v63v65,v63.
v64v62 :- not v63v62,not v60v62,not v64v66,not v64v65,not v62v64.
v62 :- v64v62,v64.
v64v65 :- not v67v65,not v63v65,not v64v66,not v64v62,not v65v64.
v65 :- v64v65,v64.
v64v66 :- not v68v66,not v67v66,not v64v65,not v64v62,not v66v64.
v66 :- v64v66,v64.
v65v63 :- not v62v63,not v61v63,not v65v67,not v65v64,not v63v65.
v63 :- v65v63,v65.
v65v64 :- not v66v64,not v62v64,not v65v67,not v65v63,not v64v65.
v64 :- v65v64,v65.
v65v67 :- not v69v67,not v66v67,not v65v64,not v65v63,not v67v65.
v67 :- v65v67,v65.
v66v64 :- not v65v64,not v62v64,not v66v68,not v66v67,not v64v66.
v64 :- v66v64,v66.
v66v67 :- not v69v67,not v65v67,not v66v68,not v66v64,not v67v66.
v67 :- v66v67,v66.
v66v68 :- not v70v68,not v69v68,not v66v67,not v66v64,not v68v66.
v68 :- v66v68,v66.
v67v65 :- not v64v65,not v63v65,not v67v69,not v67v66,not v65v67.
v65 :- v67v65,v67.
v67v66 :- not v68v66,not v64v66,not v67v69,not v67v65,not v66v67.
v66 :- v67v66,v67.
v67v69 :- not v71v69,not v68v69,not v67v66,not v67v65,not v69v67.
v69 :- v67v69,v67.
v68v66 :- not v67v66,not v64v66,not v68v70,not v68v69,not v66v68.
v66 :- v68v66,v68.
v68v69 :- not v71v69,not v67v69,not v68v70,not v68v66,not v69v68.
v69 :- v68v69,v68.
v68v70 :- not v71v70,not v68v69,not v68v66,not v70v68.
v70 :- v68v70,v68.
v69v67 :- not v66v67,not v65v67,not v69v71,not v69v68,not v67v69.
v67 :- v69v67,v69.
v69v68 :- not v70v68,not v66v68,not v69v71,not v69v67,not v68v69.
v68 :- v69v68,v69.
v69v71 :- not v70v71,not v69v68,not v69v67,not v71v69.
v71 :- v69v71,v69.
v70v68 :- not v69v68,not v66v68,not v70v71,not v68v70.
v68 :- v70v68,v70.
v70v71 :- not v69v71,not v70v68,not v71v70.
v71 :- v70v71,v70.
v71v69 :- not v68v69,not v67v69,not v71v70,not v69v71.
v69 :- v71v69,v71.
v71v70 :- not v68v70,not v71v69,not v70v71.
v70 :- v71v70,v71.
s :- v1.
