  65  0    0   PROB654.txt    L    M    W
  99   94   99  106  102   94   96  109   98  108   98  105  103   90  100  104  100   90   97  100   89  100  101   90  105   98   89  100   92   96   91   98  104  101  102  106  104   92  108  101  106   96  100  102  101   98   95  101  100  101  114  102   98   96  106  100  105   92  105  105   94   98  108  105  101 
-323 -305    3  120  256  364  455  733  785  993  999 1036 1063 1170 1241 1246 1286 1374 1380 1382 1429 1449 1512 1582 1732 1789 1794 1910 2326 2429 2463 2551 2686 2801 2806 2986 3085 3112 3308 3521 3569 3581 3778 3855 3923 4053 4074 4237 4327 4599 4733 4969 4982 5093 5122 5170 5193 5247 5295 5375 5509 5515 5611 5858 5884 
   3   10   19    1    4   11   19    2   17    3    7   10    6   11   10   17    2   19   16    3   19   19   13    8    9    7   13   10   19   15   17    7    8    8    6   14    2    6   19   18   13    8   12    7    8   14    8    6   13   14    4   11   16    5    6    2    5    0   16    3   10    9   12    1    1 
   0   12   15   19    1    5    2    8   15   19    3    3   12   12   17   17   13   15    5   16    8   11    3    3    4    2    3   17    8    3    5   18    1   20   10   10   18   16    4   14    3    3    8    1    0    4    5   19    1   14    5    4    1   10   20   19   16    3    5   13   13    5   11    3   13 
   5    0   16   13   20    5   20   18    1   16    8   17    1    9   10    0   20    5    5   14    9   15    8    1   16   13    4   10   13   11    7   12    1    8   19   16   15   16   14   15    1   10   19    4    5    6   13   11    7   20    7    7    8    1   20   14    4   18    9    8    4   19   12   14   14 
   5    5    0   12    1    2   19   10   18    5   10   17   18   16   16    8   17    4   18   17    2    5    0   15   15   17    1   12   12    3   14    8    6    2   19    9   15    7    4    6   15    8    3   16    4   16   12    6    1    9   17   16   14   10   12    2   10   15    6   13    6   17    5    2   19 
   0   10   16    0    9   11    9    2    4   19    5   10   15   20    4   16   20    9   13    4   20   12    3   11   17    6    5    2   16    2    8    8   14   10   14    9    8   14    5    8    1   17    4   20    7   17   16   19   17   12   10   12   18   11    2   14   15    6    3    0   12   16   15   16    0 
   1   13   17    0    0    5    8    0   19   15   20   12   19   15    5    3   18   17    8    4    9    9    3   10   16    4    2    3   18    8    2   18   18   14   10    0   16    7    2   15   13    1   18   17    3    7    7    4   15   15   15   16   16   17    8   18    9    6   12   16    0    6   20   10    8 
   7    1    0    4   12    0   13    9    5    4   17    3   16   12    8    3   15    5   12   10    6    4    6    5    7   16    5   11    4    1    1   16   15   15   11    4    8   13   14    3    7    9   16   14   17    5    8   17   19    5    4   19    2   14   17    5    3   20   12   19   12   14   18   17   10 
   8   19   14    7    5    8    0   13    7    5    9    4    8   17    6   19   11    6   20   14    8    2   15   14   12    8   11   16    4   14    2   12    7   11   20    7    3    3    4    4   10    3   19    5   18   12   13   17   11    5   17   19    1   10    5   18    3   11   15   16   11   20   17   14   12 
  10   16   12   20   15    1    6    0   17   16    3   10   14   14    5    7   10    6   17   15   20   10   14    5    5   16    8   14   13    1   19   14   18    7   11   17   15   16    1    0    1   10   17   15    4    1    7    8    6   11   15    0    3    8    0   11    5   19    3    6   13    6    1   14   14 
   7   17    1    7    6   14    3   18    0    1    0    9   20   15   19   17    4    5   11    4    2   17   15   11    7    9   19    1    0    2    7   15   17    9    7    8    8   10    5   17    6    5   11   17    8   13   14    2    7    2   10    2   17    4   14   13    4    8    0    2    5   15   18   15    9 
  13   15    6    7   13    9   17    3   13    0   20   20   14   18    1   11   10    6    7    5    1    5    8   12   15   14    4   14    6    4    7    3   17   10    4   10   10   16    3   10    5    5   10    2    3   11    9   16   15   13    2   19    8    8    0   11    5   19   17   18    7   14    2    9   18 
   8   16    9    4   14   10   10   16    0    4    0   13    2    3   12   12   14    3   19    7    5    2    2    6   15   14    0    4    8    7    6   15    8   10   19    3    8   18    9   16    3    3   19   11   10   13   15   17   17    1    8   18   17   14    4   19   14   11   18   11   18    9    2   15   16 
   7    1   12    7   17   11   13   19    9   18   10    0    9   14   15   17   15   11    2    9    5   14    5    6    8    3   14    6   12   12    9    6   19   17   18    1    3   18    7   13    7   18   16    4   20    5   14   15    2    1    2    6   10   11   16   19    5   20    8    8   18    3   13   17   13 
  16    8    2    3   12   13    4    5   16    5    8   10    0    9   19    9   11   19   17   13   11    2   16    7   10   19   10    5    9    8   16    8   10    8    2    8   14    6   10   13    4    2   11    4   13   18    4   15    1   15    8    5    9    8   17    1    5    2   11   11   16    2   16   15   15 
   7   16   18    4   10    3    7    7    4    9    2    7    6    0   15   13   14   12    7   19   13   19   18   15    5   18   11   14    8   15   19   10   11    0    3    1   10   14    1    6   17   15    3    9    4    8   13   15   17   19    4   15   12   13    9   20    3   15   19    8    3    0   17    0   10 
  12   18    3    2    8   15   15   18    8    5   19    7    8    9    0    8    4   13   10   16   11   12   17    5   12    4    7   10    4   19   13   10   12    7    7    0    9   11    0   15    4    1   10   15   13   14   18   11    1   16   15   11   19    4   15    7   16   15   11   17    5    9    2    2   19 
   3    9   13   17   15    5    5    7    5   19   15   10   13   13   10    0    4    1   17   18    7   19   17   20   19   11   17   10    1    2   14   17    3    4    3    6   14    6   15   13    6   17   17   13    2    6    8    1   15   17   12    8    5    6   13   13    0    4   11    9    6   14   15    9   17 
   7   10   10   18   11    4   11   13    1   19    2   12    6   10    1   15    0    5    6    4    9    3   13    0   18    2    3    3    2   15    1   18   12    8   18    0    7    1   20   11   17    2    5    6    3    0   10   19   17    6    4   15   14    6   12   18    9   20   17    8   16    3    1   11   10 
   7   16   18   10    3   11    5    2   14   15   19   14    5   10    9   16   15    0   10    2   11   10   13    3   19    1    6    6   11   15    5   13   12    5   10   13    1    8   15    1    6   12   19   17    9    6   13   14   11   11    4    6   17    2   19   13    0   16   19   11    8   16   19   11    3 
   6   17    3   13    5    1    7   18    4    8   16   18    3   10   18    7    8   16    0   13   13   10    5    8    5   18   10    6   15    1   15   15   12    5    0    9    7   20    5   11    2   20   20   17    9    5   12   10    0    7   12   20   19   17    9   15    1   10    8   15    5    3   13    1   17 
  20   19    9   12    7    5   15    8    1   19   14   14   11   19    4    3   20   13    7    0    8    9   15    2   11   15    7    0    9   12    5    8   13    8    4    9   15   10    4    8   12    9   15    8   10    1    9    8    2    8   15    2   11   15   12   12   15    3   14   18    8   20    9   12   17 
   9   13   19   14   10   15   14    4   12    7    3    9   19   18    3    2    3   14   10    9    0   10    2    3    9    8   17   17    2   10    9    7   20    9   14   13    4   15    6    3    9   17   13    5   14    0   14   13   15    7   16    6   13    4   11   14   14    2   16    2    3    1   17    3   11 
  12   18   18   20   12   11    8   11   13   14    3    6    2    2   10   19    3   14    0   11    9    0   16    2    7   15   17    8    8   13    6    7   14    6   13   16    1    0    9    7    2    2   16   12    2    5   11   20    6   11   11   10    8    8   11    4   18   19    2   19   15    6    0    6   16 
   4   19   19    4   14    9   16   13   16    2   11   16   18   16   20    7    4   14    4   11    5   16    0    7   11    7   18   20    4   12    3   11   12   17    4    5   18    6   16   15   15   10   19   15   12    8   13    8    2    2   19    9   17   18    4    8   18    8    7   15   14   13    3    2   19 
   4   16   15    5    8   12   15    3   15   12    5   15   15    8    2    6    7   10    2   16   17    0   16    0   10    6   11   14   14    8    0    6   14    9   12   12   19   13    4    1    2    5    7   11    5   10   11    9   17   19   13   17    8    7    4    4    5   14   10    4   11   13   10    8    2 
   5   15    7   12   11   11   15    1   10   18    1   10   14   10   14    0   18   12    6   16   13    7    3   13    0   12   16    3    7    5    8   18   16   13    1   16    2    5   11   11    3   10    2    5   12    2   17    1   10   13   12    2   13    0   15    2    9   11    2   11   14    8    3   10    4 
  18   12   11    7   16   16   19   13   11    8    7    9    1    4    2    4   16   13   15    2   19   14    9   11   19    0   18   10   13    1    6   19    7    6   11   11   16    1    0   13    2   11   17    6   10   15    4    1    7   11    3    5   18   15   16    9   19    2   13    7    6    0    9   18    3 
  14    1    1   14   16   17   12    2   16   18   14    5   19    5    9   15   17    2    5   14   15   15   20   13    0    3    0    0   13    1   11   14   15    2   11    2   13   19    0    4    9   17    1   10   19    0    5   17    7    3   12    2   12    5   15   16    0    2    1    1    1    4   15   13   14 
   4   18   11    8    5    5   17    8    1   10    1    7    4   16   15    5    8    1    0    6   14    9   20   16    4   11    3    0   13   16    0    1   13    2   13   15    1   13    4   12    2   15    2    8    9   19   13    1   15   10    4   18   16   12   11   19    9    7   13   11    5    9   18   16    5 
   8   19   12    1   12    5   12   15    7   11   19    3   17    4    9   12   19   11   12   14   16   11   13   16   13    7   15   14    0   18    3   12    6    2   17    5    7   14    0   18    8   12    7   14    5    6   15    0   16   19   13   19   11   17    4    9    3   10    1   10   19   12   12   16    8 
  14   12    5    2    1    2    9   18    2   13    8    6   19    5   15   10    5    5    8    5    2   11   15    8   19    8    3   12    3    0   14   11    9   17   16    0   11    1   13    7    8    7    7   11   13   18    3   16    7   18    8    7   13    9    3   11    2    8   18    8   14   16   13   16   19 
  17    4    5    4   16   14    1    7   12   11    2    1   15    4   10    4   19   13    3   13   13    5   10   15    4    2   10   18    6   16    0   19   16    1   18   17    3    1    1    6    2    0   10   19    5   12   17   15    1    4    1    1   11   16   17    6   12   16    6    8    9   16   19    1    2 
   9   20   20   16    6    1    3    3   10   13   13    5   13    2   18   16   11    5   11    9   14   19   12   18    0   16    8    8    2   19   20    0   16   10   19    4    2    8    6   12   14   19   11   15    4   15   12   17   11   19   11   11   19   15    2    1   13    6    3   15   13    7   10    6   17 
   8   17   12    8    5   14   18    5    6    7    6   18   11   18   20   11    7    7   15   15    0   14    9   11   15    6    6    1    4    7    6   18    0   10    4    1    8   13    2   13    1    1   11   18    8   15    2    1   12   16   17    7    2   17    4    7    8   13    5   13   15    5   13    9   15 
  11   17    5    7    5   15    5   18   18   15    2    9    4    2    4   14   16    9    5    3   10   20   12   19    8    3    6   11   20    4   11   18    7    0    5    7   18    2    7    3    8    3   19    1    4    0    8   15   15    0    1   19    3   19   17   14   17   15   13    4    7   13   12   14    1 
  10   10    6   11   17    2    9    6   13   12   13   18   18    9   13   19   16    8    2   14   19    7    4   15    5   17   13    2   19    6   18   12    9   10    0   14    6   10   18   13    5   16    2    5   19   12    8   10   19    5   15   15    7    9   13   19    4   14   19    3   20   16    2   12   13 
  20    5    7    9   11    3   16    7   20    5    8    9    9   18    3    7   12   17    5    1    4   12   14    7   15    8    4   17   14   19   11    1   15   12    2    0    2    4    6   14    5    6    8   12   19   18   10   14   11    1   14   12   14    1    8   17    3   11    4   12   19    1   13   14   15 
  12   18    6   16   10   19    8    4   11    7   19   10    6   18   14    9   13    5    3   17    8   17    5   11   20   19   10   16   17   18    6    3   14    7   14    7    0   18   17    4   12    9   17   18   16    9   14   14   14    8    8    9   14   19    5    9   14    8   15    1   17    0    8    4    1 
  10    5    4    7   10   14    6    3   14   19    6    2   20   19   17   19    5   11    3    5   20    2   18   15    7   15   15    9    9    9    5   10   18   13   15    1    8    0    0    4    8   17    5   16    4   10   14   17    7    9   13   18    9    4   10    9   16   18    9    2   12   13   17   11   15 
   7    6   12    9    4   13   18   12    5   14   12   10    5    0   11   17   11    6   18    4    6   13    7   13   14    1    2    7    1   13   10   12    5   20   13   18   19    2    0   11   20   20    1    0   18   16   18    7   18   12    0    4   12    7    2   16   15   15   14   13   11   11    5   12   20 
  19   10    2    6   18   16    9   18   17   11   14    2    5    8    0   19   14    8   17   10    2   14    5   13    6    4   19   18    8   10    8   12    1   16   16   13    5    7    9    0    7   14    5    3   12    8   10   19   17   15   13   16    4    3   18    4   15   15   13   12    7   12    2   17    5 
  13   19   12   18    5   17    3    2   17    3    5    6   15   19   12    1    3    9   12   12   18   17    4   10   10   16    0   14   12   10   18    4   12   15    4    8   12   17   12   18    0   12    9   17    4    1    5    5    2    8    6   15    8    1   11    9   11    7    8   14    4   14   14   12   14 
  15   17   15   16   15   10    2   12   13   13   20    1    1   15    4   13   18   13   16    7   10    5   17   19   17   15   19    0    9   13   18    9   13    3   16    9   17    2    7   16   20    0   11    9   13   11   15    4   10   16   13   15    6    5    5   14   14   18    2    2   19   16   11   14   10 
   3   17    7    7   15   15    5    4   11   10    2    1   15    8   14    4    3   15   15    8   16   15   15    2   11   18    7   20   13   17   19   12    3   20    8   12   17   14    2   11    3   19    0    1   19   13   10    3    8    2   12   19    0   15    1   20    5    7    7   16    8   20   19   10   16 
  16   17   20   18    3    9    3    9    4   17   18    7   19    8   15   13   10   19   20    4   19    9    1    7   11    7    2   16    1   20    1    3   13    2   15   10    5    9   16    9   13   19    7    0   11   14   15    6    6    9   13   15   13   14   14   18   13    8    6    3   20   17    6    9    9 
  15    6    5   14    3    1    1   16   10   14    9   12    2    2    2   11    1   20    2    8   14    3    1    1    3    2    7   14   14   11    7   17   12    1   19   10    9    6   16    7   14   16    9    3    0    0    1   17   20    4   15    2    1   10   10    4    0   17   19   18    5   11   17   19   12 
   6    7    1    9   13    6    2   12   19    5    4    6    1   11   11   11    7    6    4    9    8    0   17    0    8   18    6   10    2    5   15   20   10    8    3   18    0   16    2   17    0   19   12   17   19    0   11    6   14    9    9   12    8   20   14    0    2   17    7    1    7    3   13    4    1 
  20    1   15    0   10    7   17    7    4   20   17   14    9    9    0    7   18   18    1   16   15   14   10   16    2   11   19   15    9   17   16    7    4    5   16    2    6    3   15   16    5    1    7   13    5    9    0   11   10    3    5   13    9   19   12   18    7    3   12   19   11    3   13   19    2 
  17   15    9    1   17    6   15   18    7   16    8    9    9    7    8    4    3   16   15    2   12    7    5   19    9   19   19   20   19   15    5   19    2    8    0    8    1    0    4   13    4    1   14    1   17   10    5    0    3    3   15    8   20    5    7   19    9    7   17   15    6    6   14    1   16 
   8   10   15    7    2    9    8   18   10   13    8   18   14    5   17   18   12   18    1   13   13    1   15    4   13    5    0   20   15   17   14    2    6    8    9   11   10   10   15   14   17   14    3    6   14   14    0    9    0    8    9    4   12   17   11   12    2   17    9    6   14    4    6   11   15 
  19   12   13   16   17   16   12    9    8    8   11   10   17   13    6    5    1   19    8   15   14   20    6    8   13   20    5   20    5    9    2    5    4    1   14    6    7    6   12   19   13    9   13    5    0    2    8    1   11    0    3   11    1    6    2   16   19   17    9   14   12   14    1    6   18 
  14   19    2   11   11   12   11   12   18    6    7    9   14   18    2    7    6   10    3   19    7   10   17    5   12    3   20   15   14    2    6   11    2   15   17   10    8    6   16   15   17   17    7   10   19   10   11   11   17   13    0   16   11   19   14    7    4    7    7    6    4    6   13   11   13 
  13   20   12    7    6   15   13   11    6    3    9    7    6   11    2   17   19   13   15   17   15   18    8   17   11    8   16    1    5   14   18   13    5   13   20    7    5    0    8   13    6   12   15   11   13    3   15   15   17    6    5    0    2    7   13    2   18    1   19    3   16   15   10    3    7 
  14    3    2    8   10    3    4    1    0   13    3    9    8   19   15   20    5    7   16    5   12   15   17    6    5    6    9    4    1   18    1   19   14    4   15    4   12    8    8   10   15   12    1   18    4   19   19    1    4   14    5    1    0   12    6    4    6    9    0    3   15   11    3    1   16 
  13    1   16    5   17   19    4    8   19    0   12   10   16    4   20    7    6   12    9    8    5    2   15   13    3   20   13    1   10   19   17   20   12    6    6   15   12   16    6   16    3   19   11    5    3    7   17   18   17   15    6    2    4    0   13   19   20   12    3    1   15   18   16   18   14 
  11   13   18   18    5   13   18   12   19    3    4   13   16   15   10    7    2    4   18    0    5    7    2   14    2   11   17   17    4    6   19    2    3   15   18    5   18   14    0   15   20    4    3   11    2    0   12   10   14   14    9   14    9   17    0   19   18    1    7    7   18   20    2    7    6 
   7   10   11   14   12    9    1    6   17   17   19    7    3    8    9    4    7   19    8    7   17    7    9    9    5   12    8   18   14    3   14   12    2   15   17   18    1   18   20    2   13    1   13   12   14   15   17   15    8    0   12    4   13    3   19    0    4   10   19   17    7   11   15    6   12 
   6    9    3   10    3    1   14   11    6    6   16    9    3   18    3    3   15    1   10    5    6    4   18    4   18   15    7   19   10   14    4    4    4   20    8   18    6   15   10   19    4    4   12    5   19    5   15   15   12   14    2    4   12   20    3    3    0    6   15   14   16    6   13    5   19 
   8   17   19    9   11   20   10    8   10   11    2    2    3   10    3   12   17    4   15    3    0   13    4   11   18    4   20    1   15   14    0    9   14    2    0    2    1   14    8    6    2   19    4    4    7   18    6    3    1    5   16    5    3    7   18    5   10    0    5   11   14   17   11    4    9 
   1   20   19   15    5    3    9   14    1   16   14   20   20   20    3    0    3   17    8    3    2    4   11   19    6    2    5   11    4   17   20    4    0   10   14    5    7   13    4   14   17    8   13   19    9   19   19   17   19    2    5   17   18   10   20   16   10    7    0   19   10   17    3   19   10 
  14   10    3   15    4   18    6    4   11   17    8   12   14    7   17    5    7   14    1   16   10    4    7   16   17   12    4    1    6    9   18    9   12   12   20    8   10   18    8   14   19   15    4    3   15   11   12   16    0   18   14    1    7   14   15   11   14   16    3    0   17    2   10    1   12 
   7    9    4   11    9   16   19   10   11   13   11    9    5    0   15    4    1   13   16   11    1   17   19   20    2    1   15    1   16   10   17   18   10    2    3   19   16   19    3    4    2   10   15    2   12    3   11   12   15   14    7    2   12    4   20    2   20   15    7    8    0   18   16    6   17 
  12    7    9    2    3   12    3    1    4    7   16    4    8    1   12   13   17    3    4   17    5    9   10   15   13    2    5    4   19    1    4    9   13   19    8   10    8    3   14   14   10    9   12    3    9    7    5   14   20   12   12    2    2    0   16    3   10    3   15   11    5    0   15   12   17 
   6    7    1    9   14    4    0   16   15    8   19    3   18    2   19    0    6    8   13   15    2   14   19   15    4    2    3   10   19   12   14   19   13    7   17   17   17    5   14    0   11    1   10   15    9   11   16   18   16    0   16   17    2    3    6    6   13    5   19   17   15    2    0   13    8 
  17   17    0    2   12    3   10   15    5    5   14    4    9   14   12   17    8   15   17    1    3    6   10    7    4    6   11   19    6   17   13    2   13   19   18   14    1   10    4   15   12    2   13   10    8    7    3    5   14   13   18   19   16   12    6   16   12    1    5    9   17   15   15    0   20 
   2    9   16   12   11   10   12   11    6   12    4   12   15    9   15   14   13    2   12   10   13    3    2    5   12   16    9   19   11   12   11    8    2    5    6    7   16    8   17   11   14   17    6   18   20   12    8    7   16    3   13   14   12   20   16   14   11    7    9   12   14    1   14   18    0 
