  65  0    0   PROB655.txt    H    L    N
 112  126   86   85   86   74  115  103   98  100   85   64  144   47  166  103  107  105   90   71  100  119  110   91  115   97  112   62   73  147  101  141  109   69  109   79   40  108   90  101  153  148   91  140   81  108   96  113   61   67   97  112   91   84  100  116   93   86   69   84  119   30  118   90   99 
5013 5045 5077 5124 5167 5178 5192 5217 5220 5250 5254 5280 5287 5288 5327 5342 5352 5366 5387 5407 5469 5472 5499 5510 5532 5543 5551 5570 5577 5608 5610 5611 5622 5627 5638 5640 5686 5738 5749 5757 5765 5788 5800 5833 5839 5846 5855 5903 5929 5929 5953 6049 6052 6059 6060 6079 6086 6126 6255 6311 6359 6387 6388 6415 6426 
   2    6   12   13    3    3    7   13    9    0   17    2    6    6    8   17    7   18    5   20   10   12   13   15    4    5   13   15    2    6   17    9   20   16   14    6   15    6   18    7   13   19    6   12   11   15   15   17    4   16    2   16    0    5   20    3    2    9    8   14   14   14   17    6   13 
   0    7    0   13    5    3    1    0    8   15    6   17   11   17   19   11   19   13    2    4   14   17    9    1   12   12   16   15   14   18    5   20    1    4    6   18   11    5    1    6    5   17   15   14   13    4   10    3    2   18    8   10    4    4   19   10    7    1   10   17   15   19    6    8   19 
   2    0   15   12   10    4    3    4    0   12    6    8   16   16    8    9    4   16    9   19    1    6   16   20    8    4    6   15   11    9   13    6    8    7   12   18    5   11    4   16   11   12   10   16    2    2    3    5    6    3   16    4   13   12    8   13    1   12    3    4   16   13    1   16   13 
   4    2    0   18   15    1    6   11   16    1    5    7    9   11    4    2   16   11    6    4    8   10    5    7    7    1   20    7   13    6    9   15   14    1    7    0   12    3   13    0    4    3   16    4   15    8    3   20   17   18    9   19   10    8    7    6   10   10   13   10    1   13   11    1   10 
  11   12    3    0    1   14   13    2   18   17   19   19   16    6   13   20    4   19    5    5    6    9   19   20   12    3    1    9   13   12    0   17   14    5   19    5    3   18    3   16   19    9   11   15    7    1    2   11    1    3   13    4    7   13   20    1    4   20    8    6    9   10   12   14    2 
  18    5   16   17    0   16   17   16    2    7   15    3    2   11   11    5    8   13   10   14   20    1    1   15    5   12   19   11    4    1   10    6    2   15   14   10   20   20   18   11   17    9   11   14    8   16   11   15   20   17   10    7    2   10    8   11    7    3   11   19    3   19   12    3   10 
   9   17    7   15   14    0    0    4    9   11   19    3   14   18   17    7   19    2    8    9   13   15   10   10    5    6    2   18    2   14   14   13    5   10   14   12   18    6   15    5   10    1    8   17   12    9   17   16   14   10   16    7   10   17    5    3   12    2   18    6   17    7    4    5    6 
   7   15   16    7   14    1    0    8    4   16    5    4   15    9   15   19    6    8   15    1   11    3    8   11   19   14   10   13   13    3   19   14    8   12   12   11    1   15    4    9    4   12    8    7   20    7   13   13   10    3    9   19   19    5   18   18   12    6   19    8    6    4    8   12    2 
   8   17   19   16   12   17   13    0   10   11    8    0   12   17   16   10   18   19   16    4    6   15    4   14   19    4    6   16    3    6    8    7    3    4   15    7   17   12    9    7   15    5   20    5    9   17    9    2    8   11   19   11   15   12    8   17    8    6   19    3    3    7    8    7   19 
   3    0    9   13    1   18    2    1    0    0   17    6    2   16    8    8    8   13   11   14   10    4    9   15    8    2   20    8    4    1   14   15   17   12   16   14    9   14   19   11   17   15   11   15    2    1    1   11    4   19   16    2    5   14   19   14   20    0   13    8   13   18    8    8    5 
   5    7    9    7    1    9   17    3   17    0   12    5   11   19   12   14   15   19    9   19   16   10    5   15    4    3   16    9   10   17   16    3    9    3    2    1   16   18   19   18    5    9   19    3   13    9    0    3   13   19    1    6   14    6   19   14    9   20   10    7   13   18   16    0   12 
   7   11    3    7   15    8   18    3    6   19    0   17    7    9   15    6   15   17   11    9    6   16    1    1   10   12    2   20   13    4    2   19    7    5   20   12    4    3    7    3   14    2    2   15   14    7    7   19   12    9    8   11    9    3    9    7   10    7   10    9   15   13    8    8   12 
  12    4    3    6   11   12    4   10   20    6   18    0    4   13   17   15    7    2    0   11    0   11    7   12    5    7   18    1   18   16   17   15    9    1    2    2   11    8   10    8    9    7    0    5    8    1   19   12   11    7   11    6   12   10    1   17   20   10    6    1   11   16    1   11   12 
   7    3    9    7   12   13   11   12   17   18   13    7    0    4   16   18   10    7    5   16   12    0    2    9   16   16    7    4   14    8   18    7    7   13    3   17    9   11   16   11    8    9   19    6   14    3    1   15    7    7   18   15    8    1   17   15    2   10    4    9   13    5   16   16   17 
   7   18    3    9    9   16   18   13   11    5   11   13    8    0    8    2   16   12    5   16    6    2    3    5   13    1   14   10   17   10   16    3   15    4    0    6   17   11    4    4    5   19    6    1    4    6   14   14   16   13    8   18    5   12    4    2   12   17    9   17    2    5   15    2   17 
  10   10    1   13   19    6   14   13   19   16    4   15    8    5    0   17    3   16    1   13   15   12   13   13   18    2    1   16   11   17    1    5    4    5   18    2    8    6   15   18    9    3    2   20   17    7    1    1    2   10   20   13   11    4   15    6   17    0    7   14    1    2   16    3   10 
   4    8   14   19   10    3    5    4    7   10   15    2   20    1    3    0    1   11   15   12    3    7    2   17   10   12    4    9   19   16    4   10   19    7    6    7    5    9    1    2   11    1   14   13   18    6    9    3    7   19   13    5   16    7   14    7   16   11   12   12   17   18   17    4    7 
  17    4   19    6   10   15   14   13   20    6    4    8    3   16   15   17    0   10    7   13   17   15    5    2   11    1   12   14   11   19   12   16    4   16   16   10   18   15   14   14    8   15   14   14   11   13   17    8    6   15   11    7   13    1   15   13   18   10   11    5   12   19    8    4   19 
   1    9   18    9   14    8    9    4    6    0   11   18    1    1    7   19    3    0   19   18    8   11   11   11   15   16   19   11   20    6   16    1    1    5   16   18    3    7   17   19   16    7    9    4   10   12    9   17   16   13    9   11   17   13   17    4    8   16   16    6   13   18    7   12    8 
   1   14    0   19   10   14   20    2   18   13   17    6   17   19    9    3   17    5    0    6   10   11   10   18    3   15    7    3   13    2   20   17   10    4   11   15    6   14   11   16    4    2   16    3   20   10   10   19   17   18    3   18   19   14   12   11   10    5   13    6   18   13   17   12   14 
   6    7   11    9   12   10    6   13    8   13    7   20    4    3    4    6    2    4   16    0    3   12    8   16   11   16   10   18    3    2    3   12   20    5    6    3    0   11   18    1   17    7   18   16   15   13    8   15   16   17    5   15   17    6    7    1   11   14   13   16    2   19    6   12   12 
  20   19   18   12    2   12    4   10    8    5    7    2   11    4    3    2    4   11   14   13    0    5    7   19   19    7   13   12   18    5   18   13   10   13   14   19    7    9    1    1   17    9    5   15   14   16    5    9    7    2    9    6   17   13    1   20   11   12    6    2   12    8    4   16   12 
  12   18   11    7    2   15   20    5    3    3   14    4    9    8    6    9    9   15   12    4   18    0   15    2    4   13    9    1   13   18   19    4    2    2   16   15    4   10    9   15   12   12    5    9   18   10    9   11    2   14    3    2    6   10   20   13    7    6    2   11    1    2    5    4    9 
  10    5    2    2   15    4   16   12   19    7    2    5    4   17   18   13   19   14    5   18   10    2    0   19   19   18   11    2    9   19    9    2   12    5   14    1    0   18   12   10   10    5   20   18   16   13   12   18    8   17    1   12    9    6   14    7   20    1   18   12    6   12   18   11    5 
   1   11    2   19   15   15    6    8   15    6    9    3    4   17   12    7    2   14    3    6    8   18   12    0    6   12   13   11   18   11    7   15    0    9    3    7   13    8   11   15    0    9   20   16    2   18   12   12   20    1    1    6   19   12    5   14   18   19   14   18   15    6    4   16    7 
  19   18    5    6    2    6   10   15    4   18   19    2   18   18    5   20   17   14   13    4    9    9   16    9    0   10   11    5    3   17    9    6    9   19   14    1    3    6   10    1    9   16    8    3    2    9   16   10   11    6   15    3   12   20    3    0    6    4    8   16    1    1    2   19   20 
  11   18   20    3   17   10    9   10   16   12    9   15    9    2   19    8   19    4    9   15    2   14    4    5    4    0   18    1   15   14    8    9    1    6   17    5   14    2    1   15    4   13    8    2    0   10   12    9    9   14    8    2   15    5   19   16    6   10    4    2   18    7   14   10    7 
   7    2    6    7   16    6    0   13    6   11    9    8   13   15    7   10    1    3    8    7   11   16   11   11   14   15    0   11   16   18    9    8   15   19    8   16    2    1    6    4   18   13    1    0   14   13   14   12    5    8   16   19    4   11   10    7    1   12   15   17    1   19   11   17    6 
   4    7   13    5   16   18    3   11   14    6    4   20    9   16    3    8   14    2    4   13   13   14   10   14    2    8   20    0   14   13    4   19    9    8    1    8    7    8    3   17   19    8   10    9    6   14    6   16    4   12    6    7   17   14    0    6   17    7    5   15    2   11   17   15    1 
   6   14   14   19   12    3    3   15   16    9    5    6    4    1   17   15    1    1   10   10    3    6    5   10   15   20    6   18    0   17   19   18    8   20    1    8   11   12    7   14   16   15    3   10   18    6    1   20   15   15    7    4    1    3   12    2   14   13   11   17    2    6   18   14    9 
  15    8   17   14   20    1   12   15    2    1   17    3   12    3    3   10    8   18    4   12   11   20   14    7   15   10   15   19    0    0   18   15   11   10   20   11    7   10    9    2    6    9    8    3   10   17    5   13    9    3    2    6   18   14   15   15   19   11    5    0   12    3   10    4    7 
  18   17    2    0   10   10    4    5    2   18   14    6    5    0   20    1   19    0   19   18   14   15    3   16    8   19   15   12   18    8    0   16    5    1    8   11   12    1   10   18    4    7    9    4    8   15   19   16   19    9   11   12   10    9   15    3    4    9    9    5    5   20    7    2   18 
  12   19   19   19   16    8    6    8    9   18    2   11   13    7    1   17    7    9    8    8   17   13   17   10    6    4   15    6   11    6    2    0   19    7   10    7   11    7   12   12    1    3   17    1   10   13   11    2    5    4   20    4    2    2   14    5   20   16    1    4   18   18    3    6   19 
  12   15    5    6   17   19    4   17    4    1    9   15   13   15    3   19   11    7    8   12    6   15   14   18   16   19    6   15   10    3    8    2    0   14   12    6    8   13   19    9   16    4    8   13   18   12    6   16   14   18    4   17   11    2   12   10   11    1    3    7    2   13    8    2   16 
  13    5   19    9    2    1   10    7   10   16    3    5   14   14   13   19    5    6   14    1   17    0    3    5   16    6   15    2   15    5    5   18    2    0   17   10   13   19   13    3    4    9   15    3    3    9   15   19    9    3    1    1    5    9    1   14   11   11   13    9    3   13    6    6    0 
   6   18    2   17   13    7    4    2   12   18   12   14   10   15   12   16   17    4   18   11   15   11   11    6   17    9   13    2    7    9    5   13    6    2    0    6    9    1    5    2    6   11    1   12   14   17    1    1    1    8   17    4    5   16    5    0    4    6   14    7   16    6    6   12   16 
  13    2   12    1    6   18   14    2    9   12   16   16   12   15    2    3    7    5   12   11   20   19   10   15   20    1    9   10   19    6   15   15    1   14   12    0    8    9    7    8    0   12   13   10    3    6    6    1   15    8    6   14    5   12    6   19    2   16    6   16   18    5    7   12   18 
   1    2   10   14   18    7   17    7    5    6    5   19   15    6    9   13   14   18    3   12   18   18    4   16    9   10   17    5   10   19   12    2   17   18   14   10    0   15    6    7   20    5    9    1    5    3   11    5    9    3   15    2    7   10    2    2    2    4   17    6   14    9   12   12   14 
   2   10    2   18    9   12   10   18   15   10   15    7    1    7   19    1   14   13   13    4    3    8   12    5    2   16    1   13    2    1   15    4   15   10   12    8    4    0    2   12   11   11    0   16   13    6    7   18   11   11    6    8   16    1   13    0   11   10   16   11    7    2   20    1   18 
  16    4   16   11    8    1    2    0   14    3   11   20   12    4    9   10    8   17   15    3    0    6   20    8   17    8   16    4    9   18   18   16   17    1    1   19    9   19    0    1   18   19   18    6    3   12    1   12   12    3   16   16   10    5    6    2    8    2   20   15   11    9    8   16    8 
   3   15   12   11    5   14    2    1   12   10    4    7   14    4   19   18   19   17    2   17    1   12   14   17   11    3   13    8   13    6    4   16   10    8   10    6   19   10    6    0   17    0   12    6   19    6   14   11    1   19    5   10   15   20   17   12    0    8   13   14   15    6   10   12    3 
   4   12   10   16   14    7    3   16   13   18   16   19   18    1    1    1   19    7    1    5    4   14   20    1    4   19   15    5    2    3   16   18    2   12    1    5   19    8    6    1    0   11    4   11    8    8    7   14    9    5    4    3    7    1    5   14    7    3   11   17   10   17   17   15   16 
  20    1   11    9    5   15   13   14   12   11   14    8    1   17   11   16   13   17   13    3    4   11   11   16    0   14    7    4    5   10    8   17    3   13    9   18    8   18    3   13    5    0   15    6   10    5    4    2    2    0   15   16    3   18   11   16   15    7   18    1    2   19   15    9    7 
   5   11   10   14   18    8   13    2    9    1   15    6   13    1    7   18   18    2    1    8    3    3   18   17   10   15   15    4   15    8   15   10    5    4   20   15   19   18    1    1    4    4    0    3   13   13    2    5   15    3    3   20    4    3   18    3   12    8    4   11   18    3    8   10    6 
   5   13   14   19   10   13    8    9    3    7   13    1    7   17    4    0   17   17   12   13    0   16   16   16   10    3    1   14   12    1    0    4   10    4    4   16    9    5   13    8   17   14   12    0   11   15   12    6    2    8   10    3    9   20    6   20    1   10   18   19    6   20   11   17    5 
  20   11    7   12    3   15   18   12   16   19   16   11   16    1    6    6   12    9    3   14    0    8   11    0    2    2   14   17    7    9    4   12   15   13    4    1   16   17   11   16    7   11   19   13    0    2   17   13   15   18    0   10   15    7   11   16   15    0   12   14   19   18   11    7   16 
  17   18   12   18   13    8    3   18   10    1    1   19    1    1    1   14   16   20   19    5   11   15   16    9   18    9    6    8   17    3   19   20    5   19    6   10   18    7    9    3   16   20   18   15    2    0    2   15   15    5   14    0   17   10   17   20    2   12    2    3    2    9   14   13    8 
  13   15   17   17   14   16   15   14    1    7    4    4   18    3   16   16   16   16   12    6   17   15    7    3   14    8    6    7    2    8   13   10    6    0    9    1   13    9    8    8   17   10    2    3    5    1    0   15   11   14   19    8    8   13    9   11   19   11   15    1   17   13    8    5   19 
  10    3    8   18   18   15    6    8    8   18   12   12   13   15   16    7    9    6   18    8   18    4   18   15   17    6   11   12   16   14    0   12    4   19    1   15   14   10   15    3   20   20   20   14    6   18   18    0    8   20   20   18   19   13   19   19    8    5   17    6   17    1   14    5   10 
   6   11    5   17    8    5   18    5    9   13    7    1   13    9   17    8   16    1    7   11   15    9   17    9   19    1    3   10    6   15   12    5   13   15    0    7    3    7   18    1    2   14   11   16    6    9   12   17    0   16    0   13    9    5    1    2    5   17   10    3   18    6    7   15   19 
  16    7    9   12   15   13    4   12    1    9    1   18   11   11    9   20    9   15    7   16    6   14    9    1   18   15   18   17   18    3   14    6    5    2   14    8    3    5   12    6   11    5   19   17   18    0   10    1    7    0   20   16   13    2   10   15   12   10   12   11   17    7    7    2   19 
  19   16    8    6   20   19    7   15    9   10    3    6    2   12   15    5   19    2   11    6    2    4   13    6   10   15    1   18    8    7    0   20   20   11    8    3   13   19   13    2   10    5    5    0   18   18    3    4    7    9    0    9   20   11   16    1   12   13   17    9   10   16   19   18    3 
   1    4   12    8    5   18   17    3   12    4    0    7    1    9   14   13   18    8    7    6    8    1   15   17    2   18    8   16    6    2   11   17   13   13   14   16   11   11    3    5   11   11   15    6    1    7    9   16   13   13    7    0   12   18    4    6   17   16    7    6   16   18    1    4   16 
  12   12   16    6   16   17   15   16    5    7    9    7   12    9   12    1   20   17   13   19   16   20    7    3   10    8   20   16    3   17    1    5   17    9   13    1   12   14   15   17   19    8    7   19    6    4    7   13    9    6   16    4    0   10    8    2   14    4   12    5   15   17   15   17    7 
  11    3    7   14    6   10   15   13    3   13    5   18    7    1    3    5    5   14    0   13   20   20    8    7   20   18   10   19    1    7   14   20    4    8   10   12    2    8    9   19    8   12    1   19   18    5   11    9    7   18    2    4   10    0   10    3   14    8    8    7    0   10    2   13   17 
  18    0   13    5   19    8    0   11   12   14    7    7    5    0    6    7    8   20   15   19   18   11    3   14   13    3   13   10   12   12    5    0   10    3   15   17   19   18    8   11   15   19    7    6   19   18   19    0   10    6    9    2    0    8    0   19    0   12   19   12   12   18   15    5   10 
   3   17   15    1   18    4   18    3    1    6   17   18   15   12    4   18   11    5    8    8   12   15    2   15   17   11   17    1   18    2    5   12    7    8   15    6    1    3   16   15   11   19    7    5    7    9   17   15    3   18    6    7    8    3    6    0   12    0   18    5   15    6   15   17   18 
  15    6   16   14    8   17    8   14    5    9   16   14   15    0   10   11   17    1    5   16    8    5   15   18    4   19    2   15    6   11   14   19    1   17   16   18   11    8   17   20    8    4    2   18   15   16    3    3    6   12   13    8    2    5    1    7    0    7    2    9    3   10   20   11    3 
  10   12    8   18    5   14    9   18   18    3    8   14    7   19    4    5   17    5   13   10    5   13   18    9   19    8   10   16   13   19   17   14    8   15   15    2   18   10   12   11    6   14   14   18    0   11    1    9   10   19   11    7   13    6    0   10   16    0   19    7    0    4   15    1    7 
  19    1    7    5   13    7    6    7    4   13   12    1    0   19   10    1   13   17   16   11   11   12    7    6   19   17   17   15   16    5    7    0   19    4   10   19    9    1   11    7   13    5    3   17   17   20   12   17   10    2   13   10   19    1    3    4   14   12    0   20    3    6   12   19   15 
  14   14    4    2   11   15    1   13   13   16    0   18    7   18    3   15    8    3   16   18    3    6   11   17   13   17    2   20   14    9    9    7   19   15   13   14    4   16    7   12    5    0    1    8    3    4   17   16   15    3    4   13    3   10   16   16   17   11    7    0    6    6   15    1   18 
  19   14    4   13   14   12    7   13    1   12   19    8    1   17    5   12   16    0    7   15   15   13   12    1   10    6    8   17   10   15    3    3    3    4    9    3   18    9   12   13    6    9   12    2   16   15   14    6    1    4    2    4    6    3   16    9   18    8   11    2    0    7    4    4   11 
  12    4    7   20   17    9    5    3    7   16    5   13    2    0   17    4    6   17    2   13   13   16    9   17    5    6   14    9    4   17    2    3    1    3    7   16    2   16   13    0    4    7   13    9    4    3   18    1    8    8   10   11   19   10   11   11   10    8    6   10   15    0   12    3    2 
  15   13   11   17    5    5    6   20    8    5   17    4    5   18   20    2   10   18    1    1    9   10    2   19    1   10    7    7    1    5   10    0   10    7   13    1   16   14   10   15   11   16    5    2    9   19   18   16   16    7    8    6   18    6   15    9   15   16    3    2   13    5    0   11   15 
  17   14   19    7   16   19   11   15    2   18   13    5   16    2    3   15    6    5    8   14    1   14   17    8   13   13    0   16   10    4    1   12    1   15    3    6   10    4   14    9   17   13    9    3   20   12   14   16   11    6    8    6    4    3    3    7   12    8   16   18   12   18   10    0    8 
  19   13   14    3   14    7    7   14    6    1   16   14   15    7    5   11   16   13   19    6    7    8    5   19   16    4    7   17   11    8   11   13   17   14    6    1   19   19   12    6    6   14   20   18   11   14    5    1    0   16    7    3   12   17    6    2    0   11   16    6   12   18   11    1    0 
