  65  0    0   PROB657.txt    H    M    N
  85  128  116   90   82   94   76  137  122  146   94   98   96   89  120  135  110   82  131   82   76  116  103  133   98  129  112   85  102   87   57   87   67  100   57   79  101  157  103  139  126  110  107  119   85   98  131  124  114   70   55   97  100  100  111   55   91  159  126  112  156  123   67   78   78 
2152 2155 2177 2223 2224 2234 2236 2241 2336 2338 2340 2350 2364 2371 2373 2388 2410 2413 2496 2524 2533 2561 2590 2607 2617 2644 2648 2653 2710 2726 2752 2797 2798 2824 2838 2860 2861 2882 2893 2909 2923 2962 2973 2987 2992 3025 3074 3076 3096 3133 3153 3193 3213 3272 3355 3366 3391 3432 3442 3465 3469 3493 3517 3528 3571 
   4   17    6   14    5   18   10    9   15    5   15    1    3    9    2   18   20   15    5    6    1   14   16    7    4   18   15   19   19    6   18    8    8    6    2    4    9    6   10   16    5   15    0    4    5    1   15    6   18    0   10   14   10   16   16   12    8    4   10    3   17   14   14   10    2 
   0   15   15   13    9   17   17   10    3    2   10    9    8   15   16   13   13    4    8   17    9   14   14    9   17    4   16   17    2    9   17   12   17    4    8   19   14   14    7   14   13   10   18    8   11   16   19   12   18   14    5   15    4    9   19    6    4   12    6   17   10   14    5   19    3 
  19    0    2   10    7   11    4    6   16   14   16    6   14    7   18   13    2   16    5   19    6    2    4   15   13    8   15   18   14   13   16    0    2   13    2   11   10    8   10    7   15   14    6    1   16   16    6    5    1   13    0   18   19   16   11   16    6    8    8   18   14    4   10   17    6 
  17    9    0    6   10    8   17   20    2   10    3   10    5    6   12   16    3   19    8    7    2   19   18   11   16   13   18   11    2    5   11   17    6    4    1    0   19   18    2    9    6   18   13   18   15    3    0    1   14   11    4   15   16    4    8   11   12    5    3    2   15   16    9   11   11 
  16    7    8    0    2    6   19    6   20    8   19    9   14    9    4    9   15    4   15    6    6   17   10    4   18   11    1   13   14   10   16   18    2   13    9    7    7   13   11    9    5   19   10   16   11    5    4   11   17   13    7   15   11   13   14    6    5   17   15   11    1    2   12   15    9 
   2   10   17    7    0    6    7    0   12    2    4    2    8   11   19   15   20   14   16    7    7    9    2   19   10   11    3   18    4   10    4   12    1    5    2   15   14    7    4   14   11    5    6    5    7    9   11   14   20   11   17    6    9    4    2   11   15   10   10   15    5   13    8   18    3 
  15    9   11   19   18    0   11   13    5   18   16    0    9    2    8   13   14   17    4   10   10    5   12   13   13   13   20    4   15    5   20    4    6   20   20    8    5   18   17   11    2   18    3   18   17    5    2    4    9    8    3   19   18   18   12   18   14   15   13   12    2   13    1    9   12 
   9    8    7   16   18   15    0   17    7    8    1   11   12    7    6    8   17    7   10    2   15   19    3    5    6    7    7   12    7   13    6   11    3    8    2   19    2   10    3    5    8    8   17   17   12    5   12    8    1    5   12   16   17    1   13   15   15   13    1   13   19   18    9   11    1 
  16   20    6   11    4   19   17    0   13    9   17   10    8    6   15   12   10   18   18   15    4   10    9   15   12   13    7    0    6   17    5   16   10    8    9   13   17   16    1   17    9    6    1   12   14   14   19   13   18   20    4    7   15   10    8    1    2   16    5   19   17   13   12   13   16 
  12    2    5   10    3    3    6   13    0   12   19   14    8   19    2   12   10   15   17   19    6   11   13   12   10   12    1   18    9   19   11    1    2   19   12    3    5    4   12   19   12    5   12    4    5   18    7   15    1   11   19   19    5   13   12    8    6    1   11    8   18   18   20   18    3 
  19    6   15    2    2   11   13   14    7    0   12    7    9   11   17    6   16   14   19   10    5    3    9    7    2   10   12    2    7    3    2    6   19    6    2   10   12    5   17    7   14    6   15    4    7    9   11   19   14   12    0   19   14   11    7    5   11   18    7    6   14   19   13   18   19 
   0    1   19    5   17    4   15   15   16   16    0   19   10   14   13   11    8    4    5    6    8   10    2   18   12   17    1   11   15   17    8    2    5    8   16    9   13    5   10   13    9   11   19   13   13    8    1   13    8   12   17    1    6   18   10    6    8   16    3   16   14    1    5   10    3 
  19    1    8    2    3   15   18   17    3   19    8    0   18   20   11    3    2   20   17    1    7   15    8   19    7   14   14   11   17   18    8    7    6   11    3   17   14    2   15    5    4   18    7   15   13    2   14   14   12   12    8   10    6    7    8   16    1    0   19   14    3   18    2   14    2 
  19   11   12   10   17   19   18   16   11   20   19    8    0   15   10    1    8    5   15   19   13    2    7    0   15    8    4   18   15    1   12    0   11    7    4   16   12   18   19    8   17    4   17   18   18    7    5    4   18   15    0    1    4   18   18   14   15    7   13    7   18   13   15   11   11 
   1   14   11   12    9    8    1    2    4   15    7    3    5    0   18    8    3   12    6    6   15   15    1    4    7    8   20   19   10    7    5   16   20    6   10   11    4    4    3   17    8    8   19   13    7   16   17   17    7    0   18   14    5   19   11    9    8    8    7    9    4   17   10   20    8 
   4   18   14    3    2   12   16   14    9    4    5   11    3   14    0    6   17   16   13   10   11   19    4   13    5    7   18   10    4   15   10    5   19   18   17    1   16   14    2    4   19   17   16   16   11    2   15   13   18   15   17    4    7   12    7   14    4    1   19    3   13    8   11    7    1 
   6    4    1   19    6    0    8   16   15    1    4   15   14    0   18    0    2   12   13    4    6    4    9    2   12    4    0   18   14    3   10    5   11   13    0   19   11    3    4    8    0   18   18   18   19    2    8    6   19   15   13   14    5    3    3    9   10    4    1    1   20   19    1    9   17 
   7    7    4    5    7   12   17   18    5    3   10    9   15    6   18    1    0   14   10    3   19    6    9    8   13    5   12    8    9    8   11    1    5   20   18   10   16    3   17   19   19    5    9   11   14   12    3   18   18   15    0    1   12   17   17    4    2   14    6    4   19   14   16   15   13 
  11    6   18   15   13   16   17   19   11    1   14    5    1   10   15    2   10    0   12    7    0    2   17    7   13   11   10    8   19    9    6    8    2    7   10   20    5   14   10    2   11    1    5   13    8   11    8   20    0    7   16   16    5    6   14   19    5   17    6   14   18   18   13   16    8 
  20   17    7    6    3    1    7   16   10   11   14    1    2   11   19    1   12    3    0   11    3    3   13   18    7   15    5    5   15   11   17   15    1   17    1   14   10   16   14   18   18   16    4    6   19    8   19    0    4   11    1   20   20   19    2    0    7   16   10    8   13    7   17   19    5 
  18   10   10   12    5    1   10    1    5   10    7    3    1    5   15    3    9    6    3    0   18    2    1   16    7   10   14   10    3   15   10    3   19    9    3    3    2    8   10    6    1   18    2   19    3   18   15    4   13   19   18    7    2    8   12   16    6    1    5    6   16    1    8    6    6 
  17    9    4    7   16   13    5    6    7    8   11    3    6    2    0   10   19    8   16   16    0    5   20   11   17    1    3   17   11    5    0   14   19    8   15    1    4   19   19    3   11   15    9    3    7    8    5   13    7    2    1   10   14   16    7   17    4   16    6    8   17    5   12    7    6 
  11    4   11   12    7   17   11    2   14    5   19   12   19    5    8   12   19   15   18    6    0    0    0    5    2    3   10   16    2    4   20   13   11   14    9    3   19   15   10    4    9   12    2   20    8   10    7    6    1    1   17    6   15    9   14   20   10    6   14    0    4   18   15   20   11 
   1    8   16   19   17   20   19    3   10   17    1    5    3   13    9   19   16    9    9   20    3   12    0    3    9    6    8    9   12    3   14   18   12    7   14   12   15   17    3   14   17    1   14    9    8   17    3    7   10   19   13   15   16    5   16    4    7    8   11    7    3    5    6    7    9 
  10   18    4   10   18    8   17   17    8   12    9    5   19   18   11    4   19   13    4    9    7   11   10    0   14   10   18    6   12   14   20    7    3   10    3    8   20   19    4   16    3   15    8   12    8    9   18   16    1    8    9    7    6    5   18   12   13   15   17   12    2   18    4   10   18 
  13   19    5   17    0    4    2    9   14    0    6    4   14    6   12    5   16   16    6   12   13   18    7    8    0    7   13    3    7   14   20    8   10    3    6    3    8   20    7   20   10   11    0   13    0   16   14   10   13   12    6   15    5   19   11   14    1    5   15   13   13   10    7   14    3 
   7   20   12   16   14    5    4   16   16    7   12   16   19   15    5   18    6   19    1    6    5   17    4   16   18    0   16   14    1   19   19   15    6    6   15   11    5   13    4   13    4   16    7   19    9    1   19   10    8    2   17   16   17   18    3    5    5    5    9   14    0   11    9   12   16 
  12    3   17    6   11   18   15   16   15   13    9   10   13    7    7    8    0    9   13   13   10    9   11   17   18   16    0    8   16   16   16   14   12    8   13    9    2   17    3    3    8   12   12   10    2    6    9    2    8    1    7    8   12   15    6   17    3   10    8   13   16   16   11   19    9 
  17   12    2   11    5   12    8   19   19   20    5   14   19   15    2    6   18    5   12    6    8   14   19   16   13   16    7    0    7    3   12   11    0    5    8    7    3    4    6    8   14    9   17    5   13    5    6    4    2   10   13   17   11   10    7   12   17    9   11    3   14   16   14   19    4 
  16    8    0    2   14    2   15   10    4   14    7   18   19   11   18   16   17   15   12   17   15   20    5    2   17   13   20    4    0   10   16   16    4   19    6   11    5   15   16    5    9   12    4    9   17   17   13   20    1   18    2   17    6    4    3   18   15    5   15    9    8    4   18    0    5 
  16   19   11   11   15    5    9   20   12   10    4   20    5    1   14    8   20    0   14    5    2   17    3    3    8   16    3   18    4    0    3   10    9    1   17   18    1   15    0   12    3   16    6    9   17    4   18    3   14    2    5    9    4   10    5    7    9    3    7   12   18    5    6    5    5 
  14   19    1    7   14    6   12   19    3    2    5   18    9   10    3   10    7    1    2   13    8    1   19   20   10    5   17   16   18   13    0    6    2   20    4   17   12    2    6    2    7    2   10   13   11    6    3   15   16   10   20    5   13   16   14    0    2    5   19    8    7    7    2   15   14 
  18    3    6   13   13    9    1   13    2    6    9   16    4   11   14   14    9    8    6    2    6   15   18   18   18    5    9    6    6   14    6    0    5    5    1    2   15    0    8    3    0   16   16   14   19   13    5    8   13    3   13   15   14    9    4   11    1    4   12   14   13   11   14   15    6 
   5    1   18   11    5    7   10    0    1    4    5    5    8    5    8    9   11   17    5   13    8   20    4   13    2   15   20    5   17    8   14    1    0   17    1   13   13    4   20    9    5    4   15   16   10    7    7    0    8   18    7    6   10   10   15   19    8   14   19    1   10   14   17    5   18 
  10    9    2   20   13   11   17   10   10    1    4   12    1    1    1    3    9    9    3   17    7   15    6   10    9   17   18    2   15    7    5   14   13    0   10    6   16   14   20    1   17    4    2   17   13    7    3   11   15    2    5   19   10    5    7   16    1    5   11    2   12    7    2   17   13 
  12   16   17   19   16   17    1    2   16   18    8    6    9    9    1   10   11    0    8    5    2   19   17   12    1   17   14   19    6   14   15    4   10    9    0   17   11   12   15    3   15    5    1   19    8   17   11    3    1    8    3    5   14    2   20    6   15    9   16   10   14   10    5   16   17 
   6    5   11   11   11    6   20    7   10    7    8   14   20    9   12   14   15   10    7    3   19   16    9   20    1    4   14    4   14   16    8    0   15    0    6    0    7   20   14    7    0   14    6   14    3   14    8    8   18   17   17    3    1   14    7   20    6    5   16   14    5    7   11    2   11 
  18   18    9   15    1    8   15    5    3    1    3    8   14   12    3    2   19    8    1   18    6   11    5   14    7   18    1   15    6    8    4   20   11    5   10   14    0    6    3    8   12   19   14    7    8   19   13    2   17   17   17    8    0    8   14   17    8    0    7   10   14   14    5   15   16 
  15    4    8    9   14    6   15   15    2    7   11    7   13   11    1   16   10    3   11    9   13   14    4    5   18   17   11   20   14    4    0   17    2    5    5    6    1    0   11   19    9    2    1   10   11    9   13    7   18    5   13    3   17   19    3    8    2   19   12    3    6   14    7    2    4 
  19   17   15   14   12   19    8   16    4   14    8    2   16   18    6   19    2    1   14   16   11    3    4    1    2    2   15   19    9   17    6    9    5   18    2    6    8    1    0   13   18    0   19    5   17    9   14   19    3   10   13    6   19    9   13    1    0    4   15   13   19    0    6    9   18 
  11   13    7    9   17   13    9   14    4   17   12   19    3   19    7   13   15   14    5    2    9   14    4    9   13   16    1   13   16    8    4    1   17   16   12   11   10   11   10    0    5    1    5    2   11   11    3    9   17    7   13    5    7   17    7    6    2   17    6   16   14    2    0   13    5 
  18   17   18   17    2   17    5   16    3   19    6   11   10   11    1    3    6   11    1    7   11    5   14   14   11    4   13   10    1   10    5    8    8   17    3   19    6    8   13    3    0    1   11    8   16    1   10    0    4    2   11   12   19   10   17    9   19    2    5   12    7   13    0    2   14 
  13    6   11   17   17    9    7   18    7   11    1   19   11   11    3   15   10    4    4   17    9    2   20   13   17   12   14    6   15   16    5    3    3   15   11    7   16   16    3    5    8    0   13   12    6   14    7   11    1   17    5    1    8   19   12   17    1   12    3    8    8    1    4    5    9 
   5   15    2   12    1    1   19    3   11   19   12   15   17   15    7    2   15   14   18    6    0    9    3   14   20   10    9   11   17    6   10   15   19   17    2   10   13    3    3    5   10    2    0   16   16   13   18    2   10   11   12    3    2    4   14   10    8    0   12    9    0    4    6    5   10 
  12    6   11    4    7   10   19    6   15    0   13   16    8   17   12    1   14    3   11    1    7    3   13    8    4    3   15   18   14    3    6   15   11    4   12    8    3    3   19    3   19   11   17    0   15   20    3   18    1    6    1    1    1   14   20    9    3   14    8   11   16   11    5    3    7 
   4    8    4   18   17   12    5    4   17    3   10   12    2   11   16    8   10    2    4    4    2   18   17    8    2   12   11   15    1   12    7   12    9    8   12   10   15   18   10   10    5   16    1   19    0    9   17   10    0   16   17    7   11    6   16   16   12   19    7    1    4   18   10   15   16 
  19   14   12   13    5   18    6    4    5    7    4    5   14   15    3   18    4   10   14   14   17    8   17   10    8   16    4   10   16    3    5   19    7   16   13   14   17    5    9   11    8   18   14   19    6    0    0   19    4   15    7   18   11   13    7   11    3   11    4   10   19    3   10    7   10 
   9   14   15    6    4    6    6    7   18    5   15    3    3   14   15    8    8   18   18    4   10   13   13   16   16   19   17    4   17   18    2    6    2   10    1   17    8   12   16   12    3   14   12    7   15   17    0    7    7   15   19    1   13   10    0    5    9   15    3    7   18   16    5    8   12 
  11    7    7    5   14   13   19    1    3    5    2    7   18   10    8   11   19   17   18   16    2    2   15   19    1   19    8    8    8   10    6   14    1   19    3    2    3   14   11   15   18   12   12    8   10    9   13    0    7   18    5   10    3   13   15   11   10   18    6   17   18    7    6    8   17 
  14    4    6    5    1   18   19    8   12    2   19   19    0    2   18    8   20    3    5   16   14    5   19   19   13    4    1   12    1   12   19   12   19    3   19   10    2   15    0    9    2    2    3   15   12   13   15    6    0    2    6   11    9    9   13    9   18    5    5   10   11    3   11   11   11 
   2    1   19   10    5   19   18    0   19   17    5    6   17   10   19    1    6   19   11   10   16   15    6    5   15    3   15   15   16   13   15   17   14   11    4    3   18    8   18    6    6    0   14    2    4   17   19    5   11    0    3   12    5   18   18    9   19   15    8    2    2   17   16   14    6 
   6    2    5    8   12   14   17   13    3    8   14    1   15   12   18    3    8    8   16    0   10   20    4    7   10    8    0   12   15    4   11   15   19    3    5   18   12   18   14   16    4   11   10    9    4   19    9   19    2   12    0   11   11    7    3    7    3   14   11   12    6    1    6    9    3 
   3   16   17   18    3   16   10    6    7   14    8    8   13   16   10    4   13    6   15   13    3    3   12   19    4   10    3    9    2    7   10    7   10   20   20   13    8    3   12    4   18    7   15   12    2    7   17    8   17   19   16    0   12   18   14   10   14   10    6    7   18   14   10   20   18 
  20    9   16   16   15    0   18    6    2   20    5    9    2   13    5   18   14    3   17    3    3    7   15    2   20   14    4   14   16   11    5   12    7   12   16   13   13   15   17   10   12   13   19   11   11    2    5    2   17   14    8   11    0    7    2    2    1    2   10    7   11    9    7    6   15 
   5   16   10   17   19   17   12    0   20   10   18   12   19   16   20    2   12    1   14    8   13    6    7   13   16   15   11   11   11    7    2    7    9   11    2   10   14    2    9    9    1   13   13   15   14    1   15    8    7   11   12    0    3    0   13    8    3   13   11   15   16    4   12    8   12 
   9    7   11    7    5   18   13   17   10   17    2    3    3   19   18   16    8   13    7   18    7    9   15    4   20    9   13   11   13   17   10    9   12    8    4    3    4   18    6    2    3    1    3   19    4   11    1   20   15    5    6   19   13    9    0   18   16   19    7    1   10    7    9    2   13 
  13    9   10    9    4   13    7   19   12   18    3    1    1   12   10    8    3   15   12   16    3    0   20    4   10    7   16    7    1    7   17   19   11   10   18   15   10   17    1    5   11   20    9   11    8   10    2   13    4   10    1   10   19   12    1    0    4   15    2   14    6   13   10   10   19 
  10   18    3   11   14    9   14   12    8    2    7   19    1   19   13   11   10   14   18    6    5    9   16   18    3   15   19   20   17    1   18   15   11    3    7   20   19   12   20    6   16   20    2   11   15   10    0   10   13   18    8   12    4    9   19    4    0    2    7    9   19   18    7    3   16 
   7    5    9   19    7   19   13    6   10    6    8    7   10    2   12   18    4   20    4   11    2   10    6   16    4    3    7    2   16   17   10   10    6    3    8   17   10   12   13    9   13    4    7   19    3   18    9    2    3   18    8    1    6    6    3   16    9    0   20   15   14   17    6   16   17 
  16   10   12   12    1   14   10   20    4   10   16   16   19    2    7    9   17    7    6   15    5    9    6    1   18   20   11   19   12    8   19   20    6    1   19   19   12    4    0   14    8   11   11    6   12   11   10   17   18    6   12    0   11   10    8   14   15   10    0    7   17   15    3   14    4 
  12    6   17   14    0    4   10   16   11   20   14   13    4   12    2    8    8    1    9    6    8   17   13   10    1   15   16    2   10   14    3    8    9   18    6   16   17   15   14    8    1    5   10   13   12   12    3    7   15   12    5    0   18   16   15   18   14   18   15    0    1   15    9    3   19 
  15    3   14    1   17    4   19    2   15    8   16    7   12   19   17    8   15    9    2   10    0    9    8   18   13   16   13   19   14   18    3    8   13    2    4   13    4   10    5    2    1   10   18   10   12   11   13    6   20   19    6    6   13   15    9   12    1   19    1    1    0   17    9   19    1 
  13    6   10    2   12   18   20    3    4    8    3   12    1   13   10    9    7    7    4   10    4    6    3    7   11   14    5    6   13   11   17    6    4    2    1    5    2    7    2    2    6    8   13   15   15    6   17    1    5    5   16   17    0    4    8    3    6    5   16   11   18    0    5   10   18 
  17    9   19    6   20    5   10   16   12   11    1   16    9    4   11   18    0    8    7   18    4   14    6    2    0    2   19    2   18    4    7   15   20   12   19   18    2   15   18    3    9   10   13   14    5    8    6   11   18   18    8    4    5   14   16    6   18   14   17   18    0   15    0   12    1 
   2   10    5   18    5    8    1   17   12   13   16    5    5   11    4    6    1   16   15    6   13    1   12   11    8   11    1   13   19    9    2   13    4   11    7    7   20    3   12   11   18    4   13    8    8    8   12   13    5   16    3    0    4   14   17    3    5   10    8    5   13    3   15    0   18 
   6   13   10   11   13    2   16   15    8   16    3   11    9    9   13   11    6    7    2    9   12   10   11    9    1   15   13   17   11   17    2   18   13    6    4   20   15    7   11   15    9    0    4    7    7    5    1   16   13   20    1   18   18    1    6    7   13    2   19    7    5   11    0   12    0 
