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.
v72 :- not v72.
v73 :- not v73.
v74 :- not v74.
v75 :- not v75.
v76 :- not v76.
v77 :- not v77.
v78 :- not v78.
v79 :- not v79.
v80 :- not v80.
v81 :- not v81.
v82 :- not v82.
v83 :- not v83.
v84 :- not v84.
v85 :- not v85.
v86 :- not v86.
v87 :- not v87.
v88 :- not v88.
v89 :- not v89.
v90 :- not v90.
v91 :- not v91.
v92 :- not v92.
v93 :- not v93.
v94 :- not v94.
v95 :- not v95.
v96 :- not v96.
v97 :- not v97.
v98 :- not v98.
v99 :- not v99.
v100 :- not v100.
v101 :- not v101.
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 v72v70,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 v73v71,not v70v71,not v69v68,not v69v67,not v71v69.
v71 :- v69v71,v69.
v70v68 :- not v69v68,not v66v68,not v70v72,not v70v71,not v68v70.
v68 :- v70v68,v70.
v70v71 :- not v73v71,not v69v71,not v70v72,not v70v68,not v71v70.
v71 :- v70v71,v70.
v70v72 :- not v74v72,not v73v72,not v70v71,not v70v68,not v72v70.
v72 :- v70v72,v70.
v71v69 :- not v68v69,not v67v69,not v71v73,not v71v70,not v69v71.
v69 :- v71v69,v71.
v71v70 :- not v72v70,not v68v70,not v71v73,not v71v69,not v70v71.
v70 :- v71v70,v71.
v71v73 :- not v75v73,not v72v73,not v71v70,not v71v69,not v73v71.
v73 :- v71v73,v71.
v72v70 :- not v71v70,not v68v70,not v72v74,not v72v73,not v70v72.
v70 :- v72v70,v72.
v72v73 :- not v75v73,not v71v73,not v72v74,not v72v70,not v73v72.
v73 :- v72v73,v72.
v72v74 :- not v76v74,not v75v74,not v72v73,not v72v70,not v74v72.
v74 :- v72v74,v72.
v73v71 :- not v70v71,not v69v71,not v73v75,not v73v72,not v71v73.
v71 :- v73v71,v73.
v73v72 :- not v74v72,not v70v72,not v73v75,not v73v71,not v72v73.
v72 :- v73v72,v73.
v73v75 :- not v77v75,not v74v75,not v73v72,not v73v71,not v75v73.
v75 :- v73v75,v73.
v74v72 :- not v73v72,not v70v72,not v74v76,not v74v75,not v72v74.
v72 :- v74v72,v74.
v74v75 :- not v77v75,not v73v75,not v74v76,not v74v72,not v75v74.
v75 :- v74v75,v74.
v74v76 :- not v78v76,not v77v76,not v74v75,not v74v72,not v76v74.
v76 :- v74v76,v74.
v75v73 :- not v72v73,not v71v73,not v75v77,not v75v74,not v73v75.
v73 :- v75v73,v75.
v75v74 :- not v76v74,not v72v74,not v75v77,not v75v73,not v74v75.
v74 :- v75v74,v75.
v75v77 :- not v79v77,not v76v77,not v75v74,not v75v73,not v77v75.
v77 :- v75v77,v75.
v76v74 :- not v75v74,not v72v74,not v76v78,not v76v77,not v74v76.
v74 :- v76v74,v76.
v76v77 :- not v79v77,not v75v77,not v76v78,not v76v74,not v77v76.
v77 :- v76v77,v76.
v76v78 :- not v80v78,not v79v78,not v76v77,not v76v74,not v78v76.
v78 :- v76v78,v76.
v77v75 :- not v74v75,not v73v75,not v77v79,not v77v76,not v75v77.
v75 :- v77v75,v77.
v77v76 :- not v78v76,not v74v76,not v77v79,not v77v75,not v76v77.
v76 :- v77v76,v77.
v77v79 :- not v81v79,not v78v79,not v77v76,not v77v75,not v79v77.
v79 :- v77v79,v77.
v78v76 :- not v77v76,not v74v76,not v78v80,not v78v79,not v76v78.
v76 :- v78v76,v78.
v78v79 :- not v81v79,not v77v79,not v78v80,not v78v76,not v79v78.
v79 :- v78v79,v78.
v78v80 :- not v82v80,not v81v80,not v78v79,not v78v76,not v80v78.
v80 :- v78v80,v78.
v79v77 :- not v76v77,not v75v77,not v79v81,not v79v78,not v77v79.
v77 :- v79v77,v79.
v79v78 :- not v80v78,not v76v78,not v79v81,not v79v77,not v78v79.
v78 :- v79v78,v79.
v79v81 :- not v83v81,not v80v81,not v79v78,not v79v77,not v81v79.
v81 :- v79v81,v79.
v80v78 :- not v79v78,not v76v78,not v80v82,not v80v81,not v78v80.
v78 :- v80v78,v80.
v80v81 :- not v83v81,not v79v81,not v80v82,not v80v78,not v81v80.
v81 :- v80v81,v80.
v80v82 :- not v84v82,not v83v82,not v80v81,not v80v78,not v82v80.
v82 :- v80v82,v80.
v81v79 :- not v78v79,not v77v79,not v81v83,not v81v80,not v79v81.
v79 :- v81v79,v81.
v81v80 :- not v82v80,not v78v80,not v81v83,not v81v79,not v80v81.
v80 :- v81v80,v81.
v81v83 :- not v85v83,not v82v83,not v81v80,not v81v79,not v83v81.
v83 :- v81v83,v81.
v82v80 :- not v81v80,not v78v80,not v82v84,not v82v83,not v80v82.
v80 :- v82v80,v82.
v82v83 :- not v85v83,not v81v83,not v82v84,not v82v80,not v83v82.
v83 :- v82v83,v82.
v82v84 :- not v86v84,not v85v84,not v82v83,not v82v80,not v84v82.
v84 :- v82v84,v82.
v83v81 :- not v80v81,not v79v81,not v83v85,not v83v82,not v81v83.
v81 :- v83v81,v83.
v83v82 :- not v84v82,not v80v82,not v83v85,not v83v81,not v82v83.
v82 :- v83v82,v83.
v83v85 :- not v87v85,not v84v85,not v83v82,not v83v81,not v85v83.
v85 :- v83v85,v83.
v84v82 :- not v83v82,not v80v82,not v84v86,not v84v85,not v82v84.
v82 :- v84v82,v84.
v84v85 :- not v87v85,not v83v85,not v84v86,not v84v82,not v85v84.
v85 :- v84v85,v84.
v84v86 :- not v88v86,not v87v86,not v84v85,not v84v82,not v86v84.
v86 :- v84v86,v84.
v85v83 :- not v82v83,not v81v83,not v85v87,not v85v84,not v83v85.
v83 :- v85v83,v85.
v85v84 :- not v86v84,not v82v84,not v85v87,not v85v83,not v84v85.
v84 :- v85v84,v85.
v85v87 :- not v89v87,not v86v87,not v85v84,not v85v83,not v87v85.
v87 :- v85v87,v85.
v86v84 :- not v85v84,not v82v84,not v86v88,not v86v87,not v84v86.
v84 :- v86v84,v86.
v86v87 :- not v89v87,not v85v87,not v86v88,not v86v84,not v87v86.
v87 :- v86v87,v86.
v86v88 :- not v90v88,not v89v88,not v86v87,not v86v84,not v88v86.
v88 :- v86v88,v86.
v87v85 :- not v84v85,not v83v85,not v87v89,not v87v86,not v85v87.
v85 :- v87v85,v87.
v87v86 :- not v88v86,not v84v86,not v87v89,not v87v85,not v86v87.
v86 :- v87v86,v87.
v87v89 :- not v91v89,not v88v89,not v87v86,not v87v85,not v89v87.
v89 :- v87v89,v87.
v88v86 :- not v87v86,not v84v86,not v88v90,not v88v89,not v86v88.
v86 :- v88v86,v88.
v88v89 :- not v91v89,not v87v89,not v88v90,not v88v86,not v89v88.
v89 :- v88v89,v88.
v88v90 :- not v92v90,not v91v90,not v88v89,not v88v86,not v90v88.
v90 :- v88v90,v88.
v89v87 :- not v86v87,not v85v87,not v89v91,not v89v88,not v87v89.
v87 :- v89v87,v89.
v89v88 :- not v90v88,not v86v88,not v89v91,not v89v87,not v88v89.
v88 :- v89v88,v89.
v89v91 :- not v93v91,not v90v91,not v89v88,not v89v87,not v91v89.
v91 :- v89v91,v89.
v90v88 :- not v89v88,not v86v88,not v90v92,not v90v91,not v88v90.
v88 :- v90v88,v90.
v90v91 :- not v93v91,not v89v91,not v90v92,not v90v88,not v91v90.
v91 :- v90v91,v90.
v90v92 :- not v94v92,not v93v92,not v90v91,not v90v88,not v92v90.
v92 :- v90v92,v90.
v91v89 :- not v88v89,not v87v89,not v91v93,not v91v90,not v89v91.
v89 :- v91v89,v91.
v91v90 :- not v92v90,not v88v90,not v91v93,not v91v89,not v90v91.
v90 :- v91v90,v91.
v91v93 :- not v95v93,not v92v93,not v91v90,not v91v89,not v93v91.
v93 :- v91v93,v91.
v92v90 :- not v91v90,not v88v90,not v92v94,not v92v93,not v90v92.
v90 :- v92v90,v92.
v92v93 :- not v95v93,not v91v93,not v92v94,not v92v90,not v93v92.
v93 :- v92v93,v92.
v92v94 :- not v96v94,not v95v94,not v92v93,not v92v90,not v94v92.
v94 :- v92v94,v92.
v93v91 :- not v90v91,not v89v91,not v93v95,not v93v92,not v91v93.
v91 :- v93v91,v93.
v93v92 :- not v94v92,not v90v92,not v93v95,not v93v91,not v92v93.
v92 :- v93v92,v93.
v93v95 :- not v97v95,not v94v95,not v93v92,not v93v91,not v95v93.
v95 :- v93v95,v93.
v94v92 :- not v93v92,not v90v92,not v94v96,not v94v95,not v92v94.
v92 :- v94v92,v94.
v94v95 :- not v97v95,not v93v95,not v94v96,not v94v92,not v95v94.
v95 :- v94v95,v94.
v94v96 :- not v98v96,not v97v96,not v94v95,not v94v92,not v96v94.
v96 :- v94v96,v94.
v95v93 :- not v92v93,not v91v93,not v95v97,not v95v94,not v93v95.
v93 :- v95v93,v95.
v95v94 :- not v96v94,not v92v94,not v95v97,not v95v93,not v94v95.
v94 :- v95v94,v95.
v95v97 :- not v99v97,not v96v97,not v95v94,not v95v93,not v97v95.
v97 :- v95v97,v95.
v96v94 :- not v95v94,not v92v94,not v96v98,not v96v97,not v94v96.
v94 :- v96v94,v96.
v96v97 :- not v99v97,not v95v97,not v96v98,not v96v94,not v97v96.
v97 :- v96v97,v96.
v96v98 :- not v100v98,not v99v98,not v96v97,not v96v94,not v98v96.
v98 :- v96v98,v96.
v97v95 :- not v94v95,not v93v95,not v97v99,not v97v96,not v95v97.
v95 :- v97v95,v97.
v97v96 :- not v98v96,not v94v96,not v97v99,not v97v95,not v96v97.
v96 :- v97v96,v97.
v97v99 :- not v101v99,not v98v99,not v97v96,not v97v95,not v99v97.
v99 :- v97v99,v97.
v98v96 :- not v97v96,not v94v96,not v98v100,not v98v99,not v96v98.
v96 :- v98v96,v98.
v98v99 :- not v101v99,not v97v99,not v98v100,not v98v96,not v99v98.
v99 :- v98v99,v98.
v98v100 :- not v101v100,not v98v99,not v98v96,not v100v98.
v100 :- v98v100,v98.
v99v97 :- not v96v97,not v95v97,not v99v101,not v99v98,not v97v99.
v97 :- v99v97,v99.
v99v98 :- not v100v98,not v96v98,not v99v101,not v99v97,not v98v99.
v98 :- v99v98,v99.
v99v101 :- not v100v101,not v99v98,not v99v97,not v101v99.
v101 :- v99v101,v99.
v100v98 :- not v99v98,not v96v98,not v100v101,not v98v100.
v98 :- v100v98,v100.
v100v101 :- not v99v101,not v100v98,not v101v100.
v101 :- v100v101,v100.
v101v99 :- not v98v99,not v97v99,not v101v100,not v99v101.
v99 :- v101v99,v101.
v101v100 :- not v98v100,not v101v99,not v100v101.
v100 :- v101v100,v101.
s :- v1.
