BEGIN{
 size = 8;
 ROW = 0;
}

{
 if(NR==1){
  size = $1;
 }
 if((NR>2)&&(NR<size+3)){
  for(i=1;i<NF+1;i++){
   puz[(NR-3)*size+i-1] = $i;
  }
 }
}

END{
 for(i=0;i<size*size;i++){
  for(j=0;j<size;j++){
   BUF[ROW] = BUF[ROW] i*size + j + 1 " ";
  }
  BUF[ROW] = BUF[ROW] "0"
  ROW = ROW+1;
 }

 for(i=0;i<size;i++){
  for(j=0;j<size;j++){
  for(k=0;k<size;k++){
    for(l=k+1;l<size;l++){
     BUF[ROW] = "-" ((i*size+j)*size+k+1) " -" ((i*size+j)*size+l+1)" 0";
     ROW = ROW+1;
    }
   }
  }
 }
 
 
#ヨコ方向に見て重複数字を決定
 for(i=0;i<size;i++){
  for(r=0;r<size;r++){
   b[r]=0; # 重複しない数字
  }
  for(k=1;k<size+1;k++){
  #各々の数字を見る
   c = 0; 
  #数字出現数カウンタ
   for(j=0;j<size;j++){
    if(puz[i*size+j] == k){
     c = c + 1 ;
    }
   }
   if(c>1){ #一回以上重複の場合
    first = 0 ; #初回は異なるように
    for(j=0;j<size;j++){
     if(puz[i*size+j]==k){
      if(first == 0){
       first = j+1;
      }else{
       b[j] = 1;
       for(l=0;l<size;l++){
        BUF[ROW] = BUF[ROW] -1*((i*size+(first-1))*size + l + 1) " ";
        BUF[ROW] = BUF[ROW] (i*size+j)*size + l + 1 " 0";
        ROW = ROW+1;        
       }
      }
     }
    }
   }
  }
  #この段階で b[*]==0の数字は全部異なっていること
  for(m=0;m<size-1;m++){
   first = 0;
   for(n=m;n<size;n++){
    if(b[n]==0){
     if(first == 0){
      first = n+1;
     }else{
      for(l=0;l<size;l++){
       BUF[ROW] = sprintf("%d %d 0",-1*((i*size+(first-1))*size + l + 1),-1*((i*size+n)*size + l + 1) );
       ROW = ROW+1;
      }
     }
    }
   } 
  }
 }
 
 #タテ方向に見て重複数字を決定
 for(i=0;i<size;i++){
  for(r=0;r<size;r++){
   b[r]=0; # 重複しない数字
  }
  for(k=1;k<size+1;k++){
  #各々の数字を見る
   c = 0; 
  #数字出現数カウンタ
   for(j=0;j<size;j++){
    if(puz[j*size+i] == k){
     c = c + 1 ;
    }
   }
   if(c>1){ #一回以上重複の場合
    first = 0 ; #初回は異なるように
    for(j=0;j<size;j++){
     if(puz[j*size+i]==k){
      if(first == 0){
       first = j+1;
      }else{
       b[j] = 1;
       for(l=0;l<size;l++){
        BUF[ROW] = BUF[ROW]  -1*((i+size*(first-1))*size + l + 1) " ";
        BUF[ROW] = BUF[ROW]  (i+size*j)*size + l + 1 " 0";
        ROW = ROW + 1;
       }
      }
     }
    }
   }
  }
  #この段階で b[*]==0の数字は全部異なっていること
  for(m=0;m<size-1;m++){
   first = 0;
   for(n=m;n<size;n++){
    if(b[n]==0){
     if(first == 0){
      first = n+1;
     }else{
      for(l=0;l<size;l++){
       BUF[ROW] = sprintf("%d %d 0",-1*((i+size*(first-1))*size + l + 1) , -1*((i+size*n)*size + l + 1) );
       ROW = ROW + 1;
      }
     }
    }
   } 
  }
 }
 printf "p cnf " size*size*size " " ROW "\n"
 for(p=0;p<ROW;p++){
  print BUF[p];
 }
}    






# for(i=0;i<size*size;i++){
#  if(i%size==0){
#   printf "\n";
#  }
#  printf puz[i] " ";
# }
#}