fork download
  1. #include <stdio.h>
  2.  
  3. // compute the classical knight tour
  4.  
  5. int legal_kmove(int *i, int *j, int dim_i, int dim_j, int isM)
  6. {
  7. // returns 1 if (i,j) is a valid move, 0 elsewhere
  8. // if (i,j) is a valid move, compute new cohordinates - if necessary -
  9. // according to the Moebius shape of the chessboard
  10.  
  11. int app=0,cnt, esito=0;
  12. if (*i>=1 && *i<= dim_i)
  13. {
  14. if (isM == 1) // is a Moebius chessboard
  15. {
  16. /* new i j accordingly */
  17. if ((*j == dim_j+1) || (*j == dim_j+2))
  18. {
  19. *j=*j-dim_j;
  20. *i=(dim_i+1)-*i;
  21. }
  22. if ((*j == 0) || (*j == -1))
  23. {
  24. *j=*j+dim_j;
  25. *i=(dim_i+1)-*i;
  26. }
  27. esito = 1;
  28. } // end if is a Moebius chessboard
  29. else // classical chessboard //
  30. if (*j>=1 && *j<= dim_j)
  31. {
  32. esito = 1; /* (i,j) ok */
  33. }
  34. else
  35. {
  36. esito = 0; /* (i,j) not ok */
  37. }
  38. }
  39. else
  40. {
  41. esito = 0; /* (i,j) not ok */
  42. }
  43. return esito;
  44. } /* end legal_kmove */
  45.  
  46. int compute_next_kmoves(int i, int j, int dim_i, int dim_j, int isM, int cboard[][9][9][2])
  47. {
  48. int c,ip,jp,k,schemaij[9][2];
  49. // compute all next moves from (i,j)
  50. // the following array defines all next relative cohordinates for each next move
  51. // (max 8)
  52. schemaij[1][0] = -2; schemaij[1][1] = 1;
  53. schemaij[2][0] = -1; schemaij[2][1] = 2;
  54. schemaij[3][0] = 1; schemaij[3][1] = 2;
  55. schemaij[4][0] = 2; schemaij[4][1] = 1;
  56. schemaij[5][0] = 2; schemaij[5][1] = -1;
  57. schemaij[6][0] = 1; schemaij[6][1] = -2;
  58. schemaij[7][0] = -1; schemaij[7][1] = -2;
  59. schemaij[8][0] = -2; schemaij[8][1] = -1;
  60. k=0;
  61. for(c=1;c<=8;c++)
  62. {
  63. // next move //
  64. ip=i+schemaij[c][0]; jp=j+schemaij[c][1];
  65.  
  66. // if it's a valid move, it's been stored
  67. if(legal_kmove(&ip,&jp, dim_i, dim_j, isM) == 1)
  68. {
  69. k++;
  70. cboard[i][j][k][0]=ip; cboard[i][j][k][1]=jp;
  71. //printf("%d. (%d, %d) -> (%d, %d)\n",k,i,j,cboard[i][j][k][0],cboard[i][j][k][1]);
  72. }
  73.  
  74. }
  75. cboard[i][j][0][0]=0; /* (i,j,0,0) represents the knight number along the tour */
  76. cboard[i][j][0][1]=k; /* (i,j,0,1) represents the max number of next moves from (i,j) */
  77. return 0;
  78. } // End compute_next_kmoves
  79.  
  80. int init_chessboard (int dim_r, int dim_c, int isM, int cboard[][9][9][2])
  81. {
  82. int r,c,a;
  83.  
  84. cboard[0][0][0][0] = dim_r;
  85. cboard[0][0][0][1] = dim_c;
  86.  
  87. for(r=1;r<=dim_r;r++)
  88. {
  89. for(c=1;c<=dim_c;c++)
  90. {
  91. a=compute_next_kmoves(r,c,dim_r,dim_c,isM, cboard);
  92. }
  93. }
  94. } /* end init_chessboard */
  95.  
  96. int main(void)
  97. {
  98. int board[9][9][9][2];
  99. int pos_i, pos_j =0;
  100. int isMoe=0;
  101. int a,x1,y1,dim_x,dim_y,num_solutions=0;
  102.  
  103. int Kmove(int i, int j, int prog)
  104. {
  105. int r1,c1,k1,ip1,jp1,prog1,dim_r, dim_c,a;
  106. int esito = 0;
  107.  
  108. dim_r = board[0][0][0][0];
  109. dim_c = board[0][0][0][1];
  110.  
  111. board[i][j][0][0] = prog;
  112. if (prog == dim_r*dim_c)
  113. { // success, print the sequence
  114. esito = 1;
  115. num_solutions++;
  116.  
  117. for(r1=1;r1<=dim_r;r1++)
  118. {
  119. for(c1=1;c1<=dim_c;c1++)
  120. {
  121. printf("(%d, %d) -> %d\n",r1,c1,board[r1][c1][0][0]);
  122. }
  123. }
  124. scanf("%d",&a);
  125. }
  126. else
  127. {
  128. // for each next move from (i,j)
  129. for(k1=1;k1<=board[i][j][0][1];k1++)
  130. {
  131. // compute next move
  132. ip1= board[i][j][k1][0];
  133. jp1= board[i][j][k1][1];
  134.  
  135. // if next cell in the chessboard has not yet been visited
  136. if(board[ip1][jp1][0][0] == 0)
  137. {
  138. prog1=prog+1;
  139. Kmove(ip1, jp1, prog1);
  140. }
  141. }
  142.  
  143. }
  144. board[i][j][0][0] = 0;
  145. return esito;
  146. } // end Kmove
  147.  
  148.  
  149. isMoe=1;
  150. dim_x = 4;
  151. dim_y = 7;
  152.  
  153. a=init_chessboard(dim_x,dim_y,isMoe, board);
  154.  
  155. for(pos_i=1;pos_i<=dim_x;pos_i++)
  156. {
  157. for(pos_j=1;pos_j<=dim_y;pos_j++)
  158. {
  159. printf("Knight initial position is (%d,%d)\n", pos_i,pos_j);
  160. a=Kmove(pos_i,pos_j,1);
  161. printf("Found %d different solutions\n",num_solutions);
  162. num_solutions=0;
  163. }
  164.  
  165. }
  166.  
  167. printf("The end !!! ");
  168.  
  169. scanf("%d",&a);
  170.  
  171. return 0;
  172. }
  173.  
Runtime error #stdin #stdout 0.24s 2252KB
stdin
Standard input is empty
stdout
Knight initial position is (1,1)
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 22
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 22
(4, 4) -> 13
(4, 5) -> 28
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 22
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 24
(4, 4) -> 13
(4, 5) -> 28
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 24
(4, 4) -> 13
(4, 5) -> 28
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 26
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 26
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 26
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 26
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 24
(4, 4) -> 13
(4, 5) -> 28
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 24
(4, 4) -> 13
(4, 5) -> 28
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 26
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 26
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 26
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 26
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 28
(4, 2) -> 5
(4, 3) -> 24
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 28
(4, 2) -> 5
(4, 3) -> 24
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 24
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 26
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 26
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 28
(4, 2) -> 5
(4, 3) -> 26
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 24
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 28
(4, 2) -> 5
(4, 3) -> 24
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 28
(4, 2) -> 5
(4, 3) -> 24
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 24
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 24
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 26
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 26
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 26
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 26
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 20
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 20
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 20
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 20
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 20
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 20
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 28
(4, 2) -> 5
(4, 3) -> 20
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 20
(4, 4) -> 13
(4, 5) -> 28
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 18
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 26
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 19
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 24
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 19
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 22
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 19
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 22
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 22
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 19
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 19
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 22
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 24
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 19
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 24
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 19
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 26
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 26
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 22
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 22
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 22
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 28
(4, 2) -> 5
(4, 3) -> 22
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 19
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 24
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 19
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 24
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 19
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 26
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 26
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 19
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 28
(4, 2) -> 5
(4, 3) -> 24
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 26
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 19
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 24
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 19
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 19
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 24
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 22
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 19
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 19
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 22
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 24
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 19
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 22
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 19
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 22
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 26
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 19
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 22
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 19
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 22
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 19
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 24
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 22
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 19
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 24
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 22
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 19
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 18
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 28
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 28
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 28
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 28
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 28
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 28
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 20
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 25
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 23
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 19
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 26
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 24
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 28
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 24
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 28
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 26
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 22
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 22
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 26
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 26
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 28
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 24
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 28
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 26
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 28
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 26
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 20
(1, 5) -> 3
(1, 6) -> 24
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 28
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 26
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 28
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 26
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 24
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 24
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 24
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 21
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 24
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 26
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 22
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 22
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 28
(4, 6) -> 7
(4, 7) -> 24
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 22
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 22
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 28
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 22
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 22
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 22
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 28
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 22
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 22
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 28
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 22
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 28
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 22
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 27
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 23
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 25
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 21
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 26
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 28
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 26
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 24
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 22
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 28
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 25
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 26
(1, 5) -> 3
(1, 6) -> 24
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 23
(4, 1) -> 28
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 24
(1, 5) -> 3
(1, 6) -> 26
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 28
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 28
(1, 5) -> 3
(1, 6) -> 26
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 23
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 24
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 24
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 26
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 28
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 22
(1, 5) -> 3
(1, 6) -> 24
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 19
(2, 3) -> 2
(2, 4) -> 17
(2, 5) -> 10
(2, 6) -> 21
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 27
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 28
(4, 2) -> 5
(4, 3) -> 18
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 20
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 18
(1, 5) -> 3
(1, 6) -> 26
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 23
(2, 5) -> 10
(2, 6) -> 19
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 17
(3, 4) -> 6
(3, 5) -> 27
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 22
(4, 4) -> 13
(4, 5) -> 24
(4, 6) -> 7
(4, 7) -> 28
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 18
(1, 5) -> 3
(1, 6) -> 24
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 27
(2, 5) -> 10
(2, 6) -> 19
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 17
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 25
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 18
(1, 5) -> 3
(1, 6) -> 26
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 25
(2, 5) -> 10
(2, 6) -> 19
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 17
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 24
(4, 4) -> 13
(4, 5) -> 28
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 18
(1, 5) -> 3
(1, 6) -> 28
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 21
(2, 3) -> 2
(2, 4) -> 25
(2, 5) -> 10
(2, 6) -> 19
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 17
(3, 4) -> 6
(3, 5) -> 23
(3, 6) -> 14
(3, 7) -> 27
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 24
(4, 4) -> 13
(4, 5) -> 26
(4, 6) -> 7
(4, 7) -> 22
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 18
(1, 5) -> 3
(1, 6) -> 24
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 23
(2, 5) -> 10
(2, 6) -> 19
(2, 7) -> 4
(3, 1) -> 15
(3, 2) -> 12
(3, 3) -> 17
(3, 4) -> 6
(3, 5) -> 25
(3, 6) -> 14
(3, 7) -> 21
(4, 1) -> 20
(4, 2) -> 5
(4, 3) -> 28
(4, 4) -> 13
(4, 5) -> 22
(4, 6) -> 7
(4, 7) -> 26
(1, 1) -> 1
(1, 2) -> 16
(1, 3) -> 9
(1, 4) -> 18
(1, 5) -> 3
(1, 6) -> 24
(1, 7) -> 11
(2, 1) -> 8
(2, 2) -> 27
(2, 3) -> 2
(2, 4) -> 23
(2, 5) -> 10
(2, 6) -> 19
(2, 7) -> 4
(3, 1)