8001_1=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,6],[2,3,4,7],[2,3,5,7],[2,4,5,8],[2,4,6,7],[2,4,6,8],[2,5,7,8],[2,6,7,8],[3,4,5,7],[3,4,5,9],[3,4,6,8],[3,4,8,9],[3,5,6,9],[3,6,8,9],[4,5,6,9],[4,5,7,8],[4,6,7,9],[4,7,8,9],[6,7,8,9]]

8001_2=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,6],[2,3,4,7],[2,3,5,7],[2,4,5,8],[2,4,6,7],[2,4,6,8],[2,5,7,8],[2,6,7,9],[2,6,8,9],[2,7,8,9],[3,4,5,7],[3,4,5,9],[3,4,6,8],[3,4,8,9],[3,5,6,9],[3,6,8,9],[4,5,6,9],[4,5,7,8],[4,6,7,9],[4,7,8,9]]

8001_3=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,7],[2,3,4,6],[2,3,5,7],[2,3,6,8],[2,3,7,8],[2,4,5,6],[2,5,6,8],[2,5,7,9],[2,5,8,9],[2,7,8,9],[3,5,6,8],[3,5,7,8],[4,5,6,9],[4,5,7,8],[4,5,8,9],[4,6,7,9],[4,7,8,9],[5,6,7,9]]

8001_4=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,7],[2,3,4,6],[2,3,5,7],[2,3,6,8],[2,3,7,9],[2,3,8,9],[2,4,5,6],[2,5,6,8],[2,5,7,9],[2,5,8,9],[3,5,6,8],[3,5,7,8],[3,7,8,9],[4,5,6,9],[4,5,7,8],[4,5,8,9],[4,6,7,9],[4,7,8,9],[5,6,7,9]]

8001_5=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,7],[2,3,4,6],[2,3,5,8],[2,3,6,7],[2,3,7,8],[2,4,5,6],[2,5,6,8],[2,6,7,9],[2,6,8,9],[2,7,8,9],[3,5,6,8],[3,6,7,8],[4,5,6,9],[4,5,7,9],[4,6,7,8],[4,6,8,9],[4,7,8,9],[5,6,7,9]]

8001_6=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,7],[2,3,4,6],[2,3,5,8],[2,3,6,7],[2,3,7,9],[2,3,8,9],[2,4,5,6],[2,5,6,8],[2,6,7,9],[2,6,8,9],[3,5,6,8],[3,6,7,8],[3,7,8,9],[4,5,6,9],[4,5,7,9],[4,6,7,8],[4,6,8,9],[4,7,8,9],[5,6,7,9]]

8001_7=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,7],[2,3,4,6],[2,3,5,8],[2,3,6,9],[2,3,7,8],[2,3,7,9],[2,4,5,6],[2,5,6,8],[2,6,8,9],[2,7,8,9],[3,5,6,8],[3,6,7,8],[3,6,7,9],[4,5,6,9],[4,5,7,9],[4,6,7,8],[4,6,8,9],[4,7,8,9],[5,6,7,9]]

8001_8=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,7],[2,3,4,6],[2,3,5,8],[2,3,6,9],[2,3,7,8],[2,3,7,9],[2,4,5,6],[2,5,6,9],[2,5,8,9],[2,7,8,9],[3,5,6,9],[3,5,7,8],[3,5,7,9],[4,5,6,8],[4,5,7,9],[4,5,8,9],[4,6,7,8],[4,7,8,9],[5,6,7,8]]

8001_9=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,7],[2,3,4,6],[2,3,5,8],[2,3,6,9],[2,3,8,9],[2,4,5,6],[2,5,6,8],[2,6,8,9],[3,5,6,8],[3,6,7,8],[3,6,7,9],[3,7,8,9],[4,5,6,9],[4,5,7,9],[4,6,7,8],[4,6,8,9],[4,7,8,9],[5,6,7,9]]

8001_10=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,7],[2,3,4,6],[2,3,5,8],[2,3,6,9],[2,3,8,9],[2,4,5,6],[2,5,6,9],[2,5,8,9],[3,5,6,9],[3,5,7,8],[3,5,7,9],[3,7,8,9],[4,5,6,8],[4,5,7,9],[4,5,8,9],[4,6,7,8],[4,7,8,9],[5,6,7,8]]

8001_11=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,7],[2,3,4,7],[2,3,5,8],[2,3,7,8],[2,4,5,8],[2,4,6,7],[2,4,6,8],[2,6,7,8],[3,4,5,6],[3,4,5,8],[3,4,7,9],[3,4,8,9],[3,7,8,9],[4,5,6,9],[4,5,7,9],[4,6,8,9],[5,6,7,9],[6,7,8,9]]

8001_12=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,7],[2,3,4,7],[2,3,5,8],[2,3,7,8],[2,4,5,8],[2,4,6,7],[2,4,6,8],[2,6,7,8],[3,4,5,8],[3,4,5,9],[3,4,6,9],[3,4,7,8],[3,5,6,9],[4,5,7,9],[4,6,8,9],[4,7,8,9],[5,6,7,9],[6,7,8,9]]

8001_13=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,7],[2,3,4,7],[2,3,5,8],[2,3,7,8],[2,4,5,8],[2,4,6,7],[2,4,6,8],[2,6,7,9],[2,6,8,9],[2,7,8,9],[3,4,5,6],[3,4,5,8],[3,4,7,9],[3,4,8,9],[3,7,8,9],[4,5,6,9],[4,5,7,9],[4,6,8,9],[5,6,7,9]]

8001_14=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,7],[2,3,4,7],[2,3,5,8],[2,3,7,8],[2,4,5,8],[2,4,6,7],[2,4,6,8],[2,6,7,9],[2,6,8,9],[2,7,8,9],[3,4,5,8],[3,4,5,9],[3,4,6,9],[3,4,7,8],[3,5,6,9],[4,5,7,9],[4,6,8,9],[4,7,8,9],[5,6,7,9]]

8001_15=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,7],[2,3,4,7],[2,3,5,8],[2,3,7,8],[2,4,5,8],[2,4,6,7],[2,4,6,9],[2,4,8,9],[2,6,7,8],[2,6,8,9],[3,4,5,6],[3,4,5,8],[3,4,7,9],[3,4,8,9],[3,7,8,9],[4,5,6,9],[4,5,7,9],[5,6,7,9],[6,7,8,9]]

8001_16=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,7],[2,3,4,7],[2,3,5,8],[2,3,7,8],[2,4,5,8],[2,4,6,7],[2,4,6,9],[2,4,8,9],[2,6,7,8],[2,6,8,9],[3,4,5,8],[3,4,5,9],[3,4,6,9],[3,4,7,8],[3,5,6,9],[4,5,7,9],[4,7,8,9],[5,6,7,9],[6,7,8,9]]

8001_17=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,7],[2,3,4,7],[2,3,5,8],[2,3,7,8],[2,4,5,8],[2,4,6,7],[2,4,6,9],[2,4,8,9],[2,6,7,9],[2,7,8,9],[3,4,5,6],[3,4,5,8],[3,4,7,8],[4,5,6,9],[4,5,7,9],[4,7,8,9],[5,6,7,9]]

8001_18=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,7],[2,3,4,7],[2,3,5,8],[2,3,7,9],[2,3,8,9],[2,4,5,8],[2,4,6,7],[2,4,6,8],[2,6,7,8],[2,7,8,9],[3,4,5,6],[3,4,5,8],[3,4,7,9],[3,4,8,9],[4,5,6,9],[4,5,7,9],[4,6,8,9],[5,6,7,9],[6,7,8,9]]

8001_19=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,7],[2,3,4,7],[2,3,5,8],[2,3,7,9],[2,3,8,9],[2,4,5,8],[2,4,7,8],[2,6,7,8],[2,6,7,9],[2,6,8,9],[3,4,5,6],[3,4,5,8],[3,4,7,9],[3,4,8,9],[4,5,6,9],[4,5,7,9],[4,6,7,8],[4,6,8,9],[5,6,7,9]]

8001_20=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,7],[2,3,4,7],[2,3,5,8],[2,3,7,9],[2,3,8,9],[2,4,5,8],[2,4,7,8],[2,7,8,9],[3,4,5,6],[3,4,5,8],[3,4,7,9],[3,4,8,9],[4,5,6,9],[4,5,7,9],[4,6,7,8],[4,6,8,9],[5,6,7,9],[6,7,8,9]]

8001_21=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,7],[2,3,4,8],[2,3,5,9],[2,3,7,8],[2,3,7,9],[2,4,5,8],[2,5,7,8],[2,5,7,9],[3,4,5,6],[3,4,5,8],[3,5,8,9],[3,7,8,9],[4,5,6,9],[4,5,7,9],[4,6,7,9],[5,6,7,8],[5,6,8,9],[6,7,8,9]]

8001_22=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,7],[2,3,4,8],[2,3,5,9],[2,3,8,9],[2,4,5,8],[2,5,7,8],[2,5,7,9],[2,7,8,9],[3,4,5,6],[3,4,5,8],[3,5,8,9],[4,5,6,9],[4,5,7,9],[4,6,7,9],[5,6,7,8],[5,6,8,9],[6,7,8,9]]

8001_23=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,6],[2,3,5,7],[2,3,6,9],[2,3,7,8],[2,3,8,9],[2,4,5,6],[2,5,6,9],[2,5,7,8],[2,5,8,9],[3,5,6,9],[3,5,7,9],[3,7,8,9],[4,5,6,8],[4,5,7,9],[4,5,8,9],[4,6,7,8],[4,7,8,9]]

8001_24=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,6],[2,3,5,7],[2,3,6,9],[2,3,7,9],[2,4,5,6],[2,5,6,9],[2,5,7,8],[2,5,8,9],[2,7,8,9],[3,5,6,9],[3,5,7,9],[4,5,6,8],[4,5,7,9],[4,5,8,9],[4,6,7,8],[4,7,8,9]]

8001_25=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,6],[2,3,5,9],[2,3,6,7],[2,3,7,8],[2,3,8,9],[2,4,5,6],[2,5,6,9],[2,6,7,8],[2,6,8,9],[3,5,6,9],[3,6,7,9],[3,7,8,9],[4,5,6,8],[4,5,7,8],[4,6,7,9],[4,6,8,9],[4,7,8,9]]

8001_26=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,6],[2,3,5,9],[2,3,6,7],[2,3,7,9],[2,4,5,6],[2,5,6,9],[2,6,7,8],[2,6,8,9],[2,7,8,9],[3,5,6,9],[3,6,7,9],[4,5,6,8],[4,5,7,8],[4,6,7,9],[4,6,8,9],[4,7,8,9]]

8001_27=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,6],[2,3,5,9],[2,3,6,8],[2,3,7,8],[2,3,7,9],[2,4,5,6],[2,5,6,9],[2,6,8,9],[2,7,8,9],[3,5,6,9],[3,6,7,8],[3,6,7,9],[4,5,6,8],[4,5,7,8],[4,6,7,9],[4,6,8,9],[4,7,8,9]]

8001_28=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,6],[2,3,5,9],[2,3,6,8],[2,3,8,9],[2,4,5,6],[2,5,6,9],[2,6,8,9],[3,5,6,9],[3,6,7,8],[3,6,7,9],[3,7,8,9],[4,5,6,8],[4,5,7,8],[4,6,7,9],[4,6,8,9],[4,7,8,9]]

8001_29=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,7],[2,3,5,9],[2,3,7,8],[2,3,8,9],[2,4,5,9],[2,4,6,7],[2,4,6,8],[2,4,8,9],[2,6,7,8],[3,4,6,9],[3,4,7,9],[3,5,6,9],[3,7,8,9],[4,5,6,8],[4,5,6,9],[4,5,7,8],[4,7,8,9]]

8001_30=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,7],[2,3,5,9],[2,3,7,8],[2,3,8,9],[2,4,5,9],[2,4,6,7],[2,4,6,9],[2,6,7,8],[2,6,8,9],[3,4,5,6],[3,4,5,9],[3,4,7,9],[3,7,8,9],[4,5,6,8],[4,5,7,8],[4,6,8,9],[4,7,8,9]]

8001_31=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,7],[2,3,5,9],[2,3,7,8],[2,3,8,9],[2,4,5,9],[2,4,6,7],[2,4,6,9],[2,6,7,9],[2,7,8,9],[3,4,5,6],[3,4,5,9],[3,4,7,8],[3,4,8,9],[4,5,6,8],[4,5,7,8],[4,6,8,9],[6,7,8,9]]

8001_32=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,7],[2,3,5,9],[2,3,7,8],[2,3,8,9],[2,4,5,9],[2,4,7,9],[2,6,7,8],[2,6,7,9],[2,6,8,9],[3,4,5,6],[3,4,5,9],[3,4,7,8],[3,4,8,9],[4,5,6,8],[4,5,7,8],[4,6,7,9],[4,6,8,9]]

8001_33=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,7],[2,3,5,9],[2,3,7,8],[2,3,8,9],[2,4,5,9],[2,4,7,9],[2,7,8,9],[3,4,5,6],[3,4,5,9],[3,4,7,8],[3,4,8,9],[4,5,6,8],[4,5,7,8],[4,6,7,9],[4,6,8,9],[6,7,8,9]]

8001_34=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,7],[2,3,5,9],[2,3,7,9],[2,4,5,9],[2,4,6,7],[2,4,6,8],[2,4,8,9],[2,6,7,8],[2,7,8,9],[3,4,6,9],[3,4,7,8],[3,4,8,9],[3,5,6,9],[3,7,8,9],[4,5,6,8],[4,5,6,9],[4,5,7,8]]

8001_35=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,7],[2,3,5,9],[2,3,7,9],[2,4,5,9],[2,4,6,7],[2,4,6,8],[2,4,8,9],[2,6,7,8],[2,7,8,9],[3,4,6,9],[3,4,7,9],[3,5,6,9],[4,5,6,8],[4,5,6,9],[4,5,7,8],[4,7,8,9]]

8001_36=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,7],[2,3,5,9],[2,3,7,9],[2,4,5,9],[2,4,6,7],[2,4,6,8],[2,4,8,9],[2,6,7,9],[2,6,8,9],[3,4,5,6],[3,4,5,9],[3,4,7,8],[3,4,8,9],[3,7,8,9],[4,5,6,8],[4,5,7,8],[6,7,8,9]]

8001_37=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,7],[2,3,5,9],[2,3,7,9],[2,4,5,9],[2,4,6,7],[2,4,6,9],[2,6,7,8],[2,6,8,9],[2,7,8,9],[3,4,5,6],[3,4,5,9],[3,4,7,8],[3,4,8,9],[3,7,8,9],[4,5,6,8],[4,5,7,8],[4,6,8,9]]

8001_38=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,7],[2,3,5,9],[2,3,7,9],[2,4,5,9],[2,4,6,7],[2,4,6,9],[2,6,7,8],[2,6,8,9],[2,7,8,9],[3,4,5,6],[3,4,5,9],[3,4,7,9],[4,5,6,8],[4,5,7,8],[4,6,8,9],[4,7,8,9]]

8001_39=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,7],[2,3,5,9],[2,3,7,9],[2,4,5,9],[2,4,6,7],[2,4,6,9],[2,6,7,8],[2,6,8,9],[2,7,8,9],[3,4,5,8],[3,4,5,9],[3,4,6,8],[3,4,7,9],[3,5,6,8],[4,5,7,8],[4,6,8,9],[4,7,8,9]]

8001_40=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,7],[2,3,5,9],[2,3,7,9],[2,4,5,9],[2,4,6,7],[2,4,6,9],[2,6,7,9],[3,4,5,8],[3,4,5,9],[3,4,6,8],[3,4,7,9],[3,5,6,8],[4,5,7,8],[4,6,8,9],[4,7,8,9],[6,7,8,9]]

8001_41=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,8],[2,3,5,7],[2,3,7,8],[2,4,5,9],[2,4,8,9],[2,5,6,8],[2,5,6,9],[2,5,7,8],[2,6,8,9],[3,4,5,6],[3,4,5,9],[3,4,8,9],[3,5,7,9],[3,7,8,9],[4,5,6,7],[5,6,7,9],[6,7,8,9]]

8001_42=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,8],[2,3,5,7],[2,3,7,8],[2,4,5,9],[2,4,8,9],[2,5,7,8],[2,5,8,9],[3,4,5,6],[3,4,5,9],[3,4,8,9],[3,5,7,9],[3,7,8,9],[4,5,6,7],[5,6,7,9],[5,6,8,9],[6,7,8,9]]

8001_43=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,8],[2,3,5,7],[2,3,7,9],[2,3,8,9],[2,4,5,7],[2,4,7,8],[2,6,7,8],[2,6,7,9],[2,6,8,9],[3,4,6,7],[3,4,7,9],[3,4,8,9],[3,5,6,7],[4,7,8,9],[5,6,7,9],[5,6,8,9],[5,7,8,9]]

8001_44=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,8],[2,3,5,7],[2,3,7,9],[2,3,8,9],[2,4,5,8],[2,5,7,8],[2,6,7,8],[2,6,7,9],[2,6,8,9],[3,4,5,6],[3,4,5,8],[3,5,7,9],[3,5,8,9],[4,5,6,7],[5,6,7,9],[5,6,8,9]]

8001_45=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,8],[2,3,5,7],[2,3,7,9],[2,3,8,9],[2,4,5,8],[2,5,7,8],[2,6,7,8],[2,6,7,9],[2,6,8,9],[3,4,5,6],[3,4,5,8],[3,5,7,9],[3,5,8,9],[4,5,6,9],[4,5,7,9],[4,6,7,9],[5,6,8,9]]

8001_46=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,8],[2,3,5,7],[2,3,7,9],[2,3,8,9],[2,4,5,8],[2,5,7,8],[2,6,7,8],[2,6,7,9],[2,6,8,9],[3,4,5,6],[3,4,5,9],[3,4,8,9],[3,5,7,9],[4,5,6,7],[4,5,8,9],[5,6,7,9],[5,6,8,9]]

8001_47=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,8],[2,3,5,8],[2,4,5,9],[2,4,8,9],[2,5,6,7],[2,5,6,8],[2,5,7,9],[2,6,7,8],[2,7,8,9],[3,4,6,9],[3,4,8,9],[3,5,6,9],[3,5,8,9],[4,5,6,7],[4,5,6,9],[5,7,8,9]]

8001_48=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,8],[2,3,5,8],[2,4,5,9],[2,4,8,9],[2,5,6,7],[2,5,6,8],[2,5,7,9],[2,6,7,9],[2,6,8,9],[3,4,5,6],[3,4,5,9],[3,4,8,9],[3,5,7,8],[3,5,7,9],[3,7,8,9],[4,5,6,7],[6,7,8,9]]

8001_49=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,8],[2,3,5,8],[2,4,5,9],[2,4,8,9],[2,5,6,8],[2,5,6,9],[2,6,7,8],[2,6,7,9],[2,7,8,9],[3,4,5,7],[3,4,5,8],[3,4,6,7],[3,5,6,9],[3,5,7,9],[3,6,7,9],[4,5,8,9],[5,7,8,9]]

8001_50=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,8],[2,3,5,8],[2,4,5,9],[2,4,8,9],[2,5,6,8],[2,5,6,9],[2,6,8,9],[3,4,5,7],[3,4,5,9],[3,4,6,7],[3,4,8,9],[3,5,6,7],[3,5,8,9],[5,6,7,9],[5,7,8,9],[6,7,8,9]]

8001_51=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,8],[2,3,5,9],[2,3,6,8],[2,3,6,9],[2,4,5,9],[2,4,8,9],[2,6,8,9],[3,4,5,7],[3,4,5,9],[3,4,6,7],[3,4,8,9],[3,5,6,8],[3,5,7,8],[3,6,7,9],[3,7,8,9],[6,7,8,9]]

8001_52=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,8],[2,3,5,9],[2,3,7,8],[2,3,7,9],[2,4,5,8],[2,5,6,7],[2,5,6,9],[2,5,7,8],[2,6,7,9],[3,4,5,6],[3,4,5,9],[3,4,8,9],[3,7,8,9],[4,5,6,7],[4,5,8,9],[5,6,8,9],[6,7,8,9]]

8001_53=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,8],[2,3,5,9],[2,3,7,8],[2,3,7,9],[2,4,5,8],[2,5,7,8],[2,5,7,9],[3,4,5,6],[3,4,5,8],[3,5,8,9],[3,7,8,9],[4,5,6,9],[4,5,7,9],[4,6,7,9],[5,6,8,9],[6,7,8,9]]

8001_54=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,8],[2,3,5,9],[2,3,7,8],[2,3,7,9],[2,4,5,9],[2,4,6,7],[2,4,6,9],[2,4,7,8],[2,6,7,9],[3,4,5,6],[3,4,5,9],[3,4,8,9],[3,7,8,9],[4,5,6,8],[4,5,7,8],[4,6,8,9],[6,7,8,9]]

8001_55=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,8],[2,3,5,9],[2,3,7,8],[2,3,7,9],[2,4,5,9],[2,4,7,8],[2,4,7,9],[3,4,5,6],[3,4,5,9],[3,4,8,9],[3,7,8,9],[4,5,6,8],[4,5,7,8],[4,6,7,9],[4,6,8,9],[6,7,8,9]]

8001_56=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,8],[2,3,5,9],[2,3,8,9],[2,4,5,8],[2,5,7,8],[2,5,7,9],[2,7,8,9],[3,4,5,6],[3,4,5,8],[3,5,8,9],[4,5,6,9],[4,5,7,9],[4,6,7,9],[5,6,8,9],[6,7,8,9]]

8001_57=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,8],[2,3,5,9],[2,3,8,9],[2,4,5,8],[2,5,7,8],[2,5,7,9],[2,7,8,9],[3,4,5,6],[3,4,5,9],[3,4,8,9],[4,5,6,7],[4,5,8,9],[5,6,7,9],[5,6,8,9],[6,7,8,9]]

8001_58=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,8],[2,3,4,9],[2,3,5,8],[2,3,8,9],[2,4,5,9],[2,5,6,7],[2,5,6,8],[2,5,7,9],[2,6,7,9],[2,6,8,9],[3,4,5,7],[3,4,5,8],[3,4,6,7],[3,4,8,9],[3,5,6,7],[4,5,8,9],[5,7,8,9],[6,7,8,9]]

8001_59=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,9],[1,6,8,9],[1,7,8,9],[2,3,4,6],[2,3,5,9],[2,3,6,7],[2,3,7,8],[2,3,8,9],[2,4,5,9],[2,4,6,9],[2,6,7,9],[2,7,8,9],[3,5,6,9],[3,6,7,8],[3,6,8,9],[4,5,6,8],[4,5,6,9],[4,5,7,8],[4,6,7,8]]

8001_60=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,9],[1,6,8,9],[1,7,8,9],[2,3,4,6],[2,3,5,9],[2,3,6,8],[2,3,7,8],[2,3,7,9],[2,4,5,9],[2,4,6,9],[2,6,7,8],[2,6,7,9],[3,5,6,9],[3,6,8,9],[3,7,8,9],[4,5,6,7],[4,5,6,9],[5,6,7,8]]

8001_61=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,9],[1,6,8,9],[1,7,8,9],[2,3,4,6],[2,3,5,9],[2,3,6,8],[2,3,7,8],[2,3,7,9],[2,4,5,9],[2,4,6,9],[2,6,7,8],[2,6,7,9],[3,5,6,9],[3,6,8,9],[3,7,8,9],[4,5,6,8],[4,5,6,9],[4,5,7,8],[4,6,7,8]]

8001_62=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,9],[1,6,8,9],[1,7,8,9],[2,3,4,7],[2,3,5,9],[2,3,7,8],[2,3,8,9],[2,4,5,9],[2,4,6,7],[2,4,6,9],[2,6,7,9],[2,7,8,9],[3,4,5,6],[3,4,5,9],[3,4,7,8],[3,4,8,9],[4,5,6,8],[4,5,7,8],[4,6,8,9]]

8001_63=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,9],[1,6,8,9],[1,7,8,9],[2,3,4,7],[2,3,5,9],[2,3,7,9],[2,4,5,9],[2,4,6,7],[2,4,6,8],[2,4,8,9],[2,6,7,9],[2,6,8,9],[3,4,5,6],[3,4,5,9],[3,4,7,8],[3,4,8,9],[3,7,8,9],[4,5,6,8],[4,5,7,8]]

8001_64=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,9],[1,6,8,9],[1,7,8,9],[2,3,4,8],[2,3,5,6],[2,3,6,7],[2,3,7,8],[2,4,5,6],[2,4,6,9],[2,4,8,9],[2,6,7,8],[2,6,8,9],[3,4,6,9],[3,4,8,9],[3,6,7,9],[3,7,8,9],[4,5,6,7],[5,6,7,8]]

8001_65=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,9],[1,6,8,9],[1,7,8,9],[2,3,4,8],[2,3,5,6],[2,3,6,7],[2,3,7,8],[2,4,5,9],[2,4,8,9],[2,5,6,9],[2,6,7,8],[2,6,8,9],[3,4,6,9],[3,4,8,9],[3,6,7,9],[3,7,8,9],[4,5,6,7],[4,5,6,9],[5,6,7,8]]

8001_66=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,9],[1,6,8,9],[1,7,8,9],[2,3,4,8],[2,3,5,6],[2,3,6,7],[2,3,7,9],[2,3,8,9],[2,4,5,6],[2,4,6,8],[2,6,7,8],[2,7,8,9],[3,4,6,9],[3,4,8,9],[3,6,7,9],[4,5,6,7],[4,6,8,9],[5,6,7,8]]

8001_67=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,9],[1,6,8,9],[1,7,8,9],[2,3,4,8],[2,3,5,7],[2,3,7,8],[2,4,5,9],[2,4,8,9],[2,5,6,8],[2,5,6,9],[2,5,7,8],[2,6,8,9],[3,4,5,6],[3,4,5,9],[3,4,8,9],[3,5,7,9],[3,7,8,9],[4,5,6,7],[5,6,7,9]]

8001_68=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,9],[1,6,8,9],[1,7,8,9],[2,3,4,8],[2,3,5,9],[2,3,8,9],[2,4,5,8],[2,5,6,7],[2,5,6,9],[2,5,7,8],[2,6,7,9],[2,7,8,9],[3,4,5,7],[3,4,5,9],[3,4,6,7],[3,4,8,9],[3,5,6,7],[4,5,8,9],[5,6,8,9]]

8001_69=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,9],[1,6,8,9],[1,7,8,9],[2,3,4,9],[2,3,5,6],[2,3,6,8],[2,3,7,8],[2,3,7,9],[2,4,5,6],[2,4,6,8],[2,4,8,9],[2,7,8,9],[3,4,6,9],[3,6,7,8],[3,6,7,9],[4,5,6,7],[4,6,8,9],[5,6,7,8]]

8001_70=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,8],[1,6,7,9],[1,6,8,9],[1,7,8,9],[2,3,4,9],[2,3,5,6],[2,3,6,8],[2,3,7,8],[2,3,7,9],[2,4,5,9],[2,5,6,9],[2,6,8,9],[2,7,8,9],[3,4,6,9],[3,6,7,8],[3,6,7,9],[4,5,6,8],[4,5,6,9],[4,5,7,8],[4,6,7,8]]

8001_71=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,9],[1,5,8,9],[1,6,7,8],[1,7,8,9],[2,3,4,6],[2,3,5,7],[2,3,6,9],[2,3,7,8],[2,3,8,9],[2,4,5,9],[2,4,6,9],[2,5,7,9],[2,7,8,9],[3,5,6,9],[3,5,7,8],[3,5,8,9],[4,5,6,8],[4,5,6,9],[4,5,7,8],[4,6,7,8]]

8001_72=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,9],[1,5,8,9],[1,6,7,8],[1,7,8,9],[2,3,4,6],[2,3,5,8],[2,3,6,9],[2,3,7,8],[2,3,7,9],[2,4,5,9],[2,4,6,9],[2,5,7,8],[2,5,7,9],[3,5,6,9],[3,5,8,9],[3,7,8,9],[4,5,6,8],[4,5,6,9],[4,5,7,8],[4,6,7,8]]

8001_73=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,9],[1,5,8,9],[1,6,7,8],[1,7,8,9],[2,3,4,8],[2,3,5,6],[2,3,6,7],[2,3,7,9],[2,3,8,9],[2,4,5,6],[2,4,6,9],[2,4,8,9],[2,6,7,9],[3,4,6,8],[3,6,7,8],[3,7,8,9],[4,5,6,7],[4,6,8,9],[5,6,7,9],[5,6,8,9]]

8001_74=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,9],[1,5,8,9],[1,6,7,8],[1,7,8,9],[2,3,4,8],[2,3,5,8],[2,4,5,9],[2,4,8,9],[2,5,6,7],[2,5,6,8],[2,5,7,9],[2,6,7,8],[2,7,8,9],[3,4,6,9],[3,4,8,9],[3,5,6,9],[3,5,8,9],[4,5,6,7],[4,5,6,9]]

8001_75=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,9],[1,5,8,9],[1,6,7,8],[1,7,8,9],[2,3,4,9],[2,3,5,8],[2,3,8,9],[2,4,5,9],[2,5,6,7],[2,5,6,8],[2,5,7,9],[2,6,7,8],[2,7,8,9],[3,4,6,9],[3,5,6,9],[3,5,8,9],[4,5,6,7],[4,5,6,9]]

8001_76=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,9],[1,5,8,9],[1,6,7,9],[1,6,8,9],[2,3,4,9],[2,3,5,6],[2,3,6,7],[2,3,7,9],[2,4,5,6],[2,4,6,8],[2,4,8,9],[2,6,7,8],[2,7,8,9],[3,4,6,9],[3,6,7,9],[4,5,6,7],[4,6,8,9],[5,6,7,8],[5,7,8,9]]

8001_77=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,9],[1,5,8,9],[1,6,7,9],[1,6,8,9],[2,3,4,9],[2,3,5,8],[2,3,8,9],[2,4,5,9],[2,5,6,7],[2,5,6,8],[2,5,7,9],[2,6,7,9],[2,6,8,9],[3,4,6,7],[3,4,7,8],[3,4,8,9],[3,5,6,7],[3,5,7,8],[4,5,7,8],[4,5,8,9]]