  65  0    0   PROB653.txt    L    M    N
  95   99  112   92   99  108  103  108   99   97  110  100   96  100  109   96  101  101  101   96   94   94  108   98  102  100   97   99   98  100   94  103  105  104  103  103  106   98   98  105   90  104  101   99  103   90  107  100  102   98   99  110   98  105  104   98   98   94   95  100   96   99  108  109   93 
2154 2198 2225 2234 2241 2246 2256 2264 2265 2267 2283 2302 2313 2322 2363 2369 2401 2422 2425 2445 2450 2493 2496 2499 2561 2572 2576 2579 2669 2680 2682 2747 2807 2839 2894 2901 3051 3118 3119 3127 3148 3172 3199 3205 3205 3217 3241 3247 3266 3293 3322 3341 3359 3374 3417 3432 3437 3450 3459 3465 3476 3494 3548 3554 3558 
   5   17    9    2   15   18   18   10    7    9   10   20   16   11   12   10    3   11   15   12    9   20   15    2    6   15    3   11   17   20    9   18   12   16   12   11   17    0   19   12    5    3    9   18   15   11    9   10    2   10    7    1    1    7    9   18   17    7    7   18    7   11   16    3   13 
   0   16   14    5    8    1   20    7   17    5    6    4   19   11   16    4   13   12    9   19   13    4   15    4   16    9   13    1    7    9   17    2    7   19    4   12   17    3   10   11    9    9   14    3    7   18    6   10    6   11   11    1    9   16   19    9    5   15    4   16   13   20    1   17    1 
  12    0   14   10   11   10   10   19   13   13   17    4    6   16    5   11   13   12    5    1    9    4    5    1   10   18   18   11   17   13   19    7   14   19   19    1   16   10   11   13    7   17    1   18    4   18   16    0   18   10    5   19   11   11    0   17    1    4    0    6    4   10   12    1   15 
   8   19    0   15    8   10   18    3    1   16   18    0    0   14    4   16   14   15    5   16    5   13    8   15   12    3    1    0    3    4   13   15   15   18    9    7    9    0    9   12    0   14   10   16    8   12    3    8    4    6   10    3   19   16   15   19   16   15   15   20   20    2    7    6   10 
   2   18    1    0    4    1    7   14   11    0    7    4    5   16    4   13    4   12   17   13   15    1   19    9   13   10   11    6    0    4    9   17   13    5    8   12   18   15    1    2   12   13    6    5   12   13    6    4   18    1    7   14    8   14    4    5    2    5    0    3   13   15   15   10   10 
   8    6   16   13    0    5    5   12   13    1    6   15   19    6   13   10   14    9   13    6    6    1    3   14   19    7    9   17    8    5   15   13   15   16    8   10   17   13    6   11    3   13   19   17   12    6    7    2   17    2   10   12   14   19    1    8    9    6   19   15    3   12   10   16    1 
   9    5    5    7   18    0   19    5    3   11    7    5   17    4   15    6   12   11    4   17    6   18   14   12    9    3   10   15   18    4   13   12   16   11    6    3   15   19   11    1    2    7   13    7    2   13    5    5   11    8    9    1   11   17    5    3    2   10    7   14   16   18   16    2   16 
  17   13    8   16    5   13    0   19    9    9   16   14   17    8    9   14    0   12   12    3   20    6   18    6    4   16    2    9    3   13   14   13   20    1    7   16   15   16   12   19   13   10   10   16    9   17    1    4   13    6    4   11   12    8   10   17    5    9   16    9    5   12    0   17    4 
  14   10   10   19    2    5    1    0   15   16    1   13    2   11    6   18   19   13    6    0   10   12    9   12    1    8    1   19   17    3    2   19   13    9   13   11   18    7   19    2    4   18   14    6   13    2   14   15   13    0   16   12   19   16    7   17    9    3   18   11   11   12    8    2   10 
   3    0    3   19   14    3    6    1    0    8   15   16    2    5    8   20    9   14   17    9   13   15   13   13    1    6    0   14    7   20   16    9   12    7   11   10    2   20    8   14   15    7    0   15   12    1   10    6    9    9    5    4   14   10    5   17   14   17   16    5   17    8   12    8    4 
   9   11    2    5    8    9   12    6    7    0   13   19   11   18   11   12   12   10   13    6    6   18    7   11   17    2   20   19    9    7   18    6    2    2   14   18    5    7    7    7   12   12    8    0    9   17    7   16   16    6   15   19   12   11   12   12    2    9   11   19    4    2    1   14    4 
   4   13   12    1   14   14   11   18   16    0    0   13   20   18    0   10    7   16    0   11    2    3   14   16    4   13   15   18    9   15    5   10   19   14   19    3    1   12    6   10    8    4    1    7    3    1   11    8   13    8   15    2    5   14    6   16    2   12   10    5    2    6    1   18    8 
  20   11   13   14    2   14    5    7   12   20    0    0    8   17    1    1   15   10   20    8    3   12    7   11   18   19   20    6   19    7    6   18    0   17    7   17    6   10    7    0   16   12    8   16    0   10    3   11    5    8   15   19   10    9    6   12   14    4    6   10    6   15   10   13   15 
   7   19   10   12    4   15    9    6    1   11   15   15    0    6    7   16   14   11    0   18    9   19   14    5   18   12    9   16   18   10    2    8    8   16    8    9    0   15    4    8   18   13   13   20   14    3   10   12   10   10   12   12   19    5    1   10    1    9    6    7   14    3   15   16    8 
   1    5    9   17    3    9    6    4    5   19   17   10    7    0    6   18    7   10    1   18    9    7    8    5   16   10   15    6    9    1   18   12   13   10    6    5    8    0    4    8    4   13    1    7   14    4   20   18   12    7   17    1   10   17   15    7   18   17    3   19    5   13    5    6    5 
  10   19   12    8    3    0    9   11   17   19   17   16    9    1    0   13   13   13   14   16   10    6   16    2    8   11    5   12    6   15   15    6    6    7   16   10   15   15   14   12    2   10   19    8   12    6   14   12   13    6    2    5   13   13   11    3   14   10   17    9   15   11    1    1   19 
  15   13   13    8    2    2   19    5    8   14    5    3   18    7    4    0   16   19    5    8    5   16    1    9    4   14   16   16    8    7    9    3    9   11    6    1   16   17    9   10   19    8    3   17   10    5    2    2    6   16   15    6   10    8   20   14   10   19   13    9    6   15    6   11   17 
  12    7    7    9   15    5    6   19    9   15    8    2    5   15    6    0    0    6   10   13   11   11   19   19   18    1   14   14    4    1   12   11   12    7   12    9   20   15   12    2   12   19   11    1    2    4   14    8    1   15   17   18   19    9   19   12    2    0   13    8   16   20   12    6    1 
   4   11    5    4   12    9   10   14   10    4    1   11    9   14    0    1   13    0    6   14   15   15    5    6   12    8   12    8    4   11   19    5    9   11    0   11   15    8    1   17    5    6    8    4    2   11   10    2    1   16   15    8   16   14    7    8   19    5   19   18    9   10   10    2    2 
  12   18   11    7    5    4    6   19   18   10   13   13    8   15    5    8   15    2    0    2   13   18   11    1   11    8    3    7    3    3    4   14    4   19    4   17    4    3   13   11    2    8   11    6    2   13    6   15   13    2    6   10   12   12    2    2   13    7   18    5    1    4   18    5    9 
   1    1   20   14   11   10   17    2    7    7   19    9    8   12   14    2    7   18    3    0   17   13    3    1   11   20    4   13   20    6    8    1    1   19   15   10   17   16   14    4    3   10    9    1    4    7    6    6    7    7    7    9   11   18    7    5    4    1    2    3    3    0    3    5   13 
   7    7   16    3   13    2   13   17   10    5    4    9    7    3    3    9   10   16    2    7    0   18    0   17   15   13   14    8   12    2   19    9   19    8    1    1    7   17   20   19   14   12    5   14    4    6   19    0   12    8    6   10   11   19   19    8   14    3    3   12    3    8   10   17    4 
  12    0   19    7   19   13    7    9   12    3   12    2    8   13    4   10    5   15   18    9   12    0    5    9   17    4   15   10   12   19    6   13    0   17   15    9    7    5    7   20    0   18    0   20   12   17    0    6   17    9    2    3    4   14    2   10   13    8   19    5   19   17    1   13   20 
  20    3   11   18    8   13   12    8    2   17   11   10   13   10   15   17   17    5    7   16    6    2    0    5    4    9   13    1    7    5   15    1    4    6   15   14   18    4    9    2    8    5    3    6   15    9   19    5   11    4    1   16   16   14    7    2   14   15   13    0    4   18    2    2   11 
   3    8   13   11   12   13    5    2    8   17   14    7   12    9    5   12    7    8    6    4   17   20   10    0    8   17   13   14    0    3    4   11    4   20   16    4   12    8   13    8   13    8   17    8   13    6    7    7   18   16   12   15   16   10    8    1    1   15    1   16    8    0   16   18   13 
   5    4   17    9   13   20    8   13    5   10    5    1   19    7   10   10   16    1   14    4    3   11    8   10    0   20   17   14    2    9   14    6    2   16   11   16    9   13   18   19   11   16   19    4    6    4   20   11    5   17    7    5    5   10   12   17    6   14    0   12    6    2    8   12   15 
  13    9   12   15   15   12    7    6   12    2    9   17    5    4    3    1    8    4    6   18   11    1    2    5   18    0   11   20   19   13   13    9   18   15    7   10    5   20   17   18    2   17   20    6    0   15   17    9   18   13    4    6   14   18   12    6   18   11   19   19    8   13    3   16   12 
  14   17   10   18    9    9   16    1   18   17    0    7   13    0   17   16    7    6   10   18    3   14    7    9   19    2    0    3   14   10   10   17   13    4   11    1    2    9   17   16   13    2   15    6    4   12   16    9   18    2   12   13   13   20    0   17    8    2    7    5   11   14   11   14    3 
   0   11   20    0    4   16    2   18   10   13    6    1    3    2    3    1   14   10    6    1    2   10   18   15    2   13   17    0    9    1    8   12    5    1   14   19    3    0    6    4   17    7   18    3   18   16    7   12   10    5    0   17   17   18   20   13    1   20    9    6    0    8   19   13    7 
  17   18   11    0   12    5   11   16    1    0   17   15    1    8    9    6   13   14    7    5   16   18    2   14   11   17    5    6    0   13   19   19   11    4    7   11    7    5   13   18    4   16   15    4    7   15   12    7   13   19   14    8   14    0   15   17   15    2    4   19   20   11    5    6   14 
  16   13   12   16    4   13   11   18   12   15    7    4   16   20    3    1    4   17   10   12    4   19    2   13    9   11    2   19   19    0   17   18   16   12    7    1   10    8    2   10    4    5    1   10    2   16   14   11   13   13   20    8   17    9   20   13   11   19   13    4   20    8   11   11   20 
   2   20    2    0    4   14    1   10   15   13    4   20    6    8   18    5   15    7   10   17   14   18   13    2    9    3    2   18    2   14    0   20    0   16   11    3    0   10   16   13    4    6   11    0   13   20   15   15   11    5    4   13   13    2    1    6    8   13    4   19   12    1    2    2   18 
   6   13   18    8    9   12    5   19   13   20   13    5   12   15   11    7   11    8    4   17   16   11   10    9   20    6    7    1   13   15    9    0    2    9   13    8    9   16   19   11    2    3    9   10   17   10   20    5    2   13   19   10    2    9    6   13   12    7    8   14   20    7   19    8    0 
  14    7   15    6    0   17   17   12   16   17   20   11    9    0    5    2    7   16    5   18    9   12    7    9   11    8   16   19    4    5    7   19    0   11   13   12   10    2    5   17    1   10    5    2    3    8    1   15   10    6    9    3   14   10    4    7    6   12   16   16    9   14    2   18   16 
   3    0   19   17    7    4    0    2   18   19    4   20   15    6    7   16    9   19   10   17   11    3   12    4    7    2    5    7   11    7    2   12   15    0   15    3    7   13    2    8   12   18   19    7    7    8   10   14   15    4   13   18    7   11    3   20   20    5    5   20   14   15   17   15    6 
   3    8    0    4   17   12   12    5   16   17   13    6   13   15    6    5    5    2    8   17    2   14   14   17   17    5    8   18   15   13    9    7   11    1    0    4    7   14   10    9   14   16    2    7    1    0    9    9   14    5    7    6   14    8   10    5   12    3   12   11   10    2   13    0   10 
  17   12    0    1    7    5   15    9   20   19    4   12    3   14    9   14   10    2    4   14    6   16   13    6    3   11   19    3   19   19   16   14   16   14    9    0   18   19   18    3    3    9    4   20    5    6   16    1   19   11    5   14   17    5    9   15   16    5    2   11    2   14   16    9   17 
   1   14    5   10    4    8   20    7   14    9   16   10    3   13    2   15    1   11   15    5   12   19   18    4   11   15   10   12   19   13   14   13    7    2    3   18    0    2    2    1   17   18    8    6   19   11   16   17    8    6    0    6   18   14   14   13    4    9   10   12   10    8   16    0   18 
   8    2   11   20   10   17   20   19    4    1    2    0   13   11    2   16    2    4   11    6    1    7   19    2    9   20    8   15   15   18    9    9    8   13    9    9    9    0   10   19   16   16   11    8   11   10    6   19   14    4    1    6   10   18    6   19   19    3   10   18   17   11    8    2    9 
  13    5    5   12   13    3   18   18   10    9   17   10    7    3   19    5    7   11    9   11   13    5    8   13   20    9   15    7   20    5   11   18    5    6   18   13   15   19    0    8   18   14   18    2    4    2    9    2    4    9   13   12   17   16    3    5    9    1   18    7   19    4   16   11   20 
  12    0    8    7    6    4    3   10    7   12   11   20   13    9   16   14   15   17    5   19    4   15    1    4    2   11   14   15    8    8    7   14   14   10   12    5   20    5   11    0   13   18   11    1    1   11    6    3    4    6   19    9    5   16    4   16   14   15    9    9   18    6   11   12   16 
   9   20    2    4   12   19   13   17    7    6    7   12   11   13    1    1    8    6   16    1   16   11   11   19    3    9    8   12   19   14    4   18    2    8   16   11   19    6    8    9    0   12    8    8   20    7    8    5   18   16   14    3    3   17   13    3    2   17   16    5    5   13    5    8   20 
  13    5   18    1    8   16    3    9   13    9    8   13    0    7    8   10    0   18    9    6   10    3   15   14   10    5   11   11    7   19   11   15   11    9   14   11   18   10   13   14    4    0   10   18   12   11   15    7   11    1    4   13   13   17    7   14   12    1    3   11    3   16    2    7   18 
  10   13   19    0    1   16    9   12   12    9    9    7   18    3   13   20    3    3    9    6   10   14   12   20   19   10   12   14   12   10   17   12   10   17   17   18   15   15   15   11   18    0    0   13   12    3   16   19    1    7    0    3    9   11   12   18    8   18    7   15    9   18   11   10   14 
  18   16    7   16   13    7    9    7   13   17    6    4   18   11    1   16    5   11   14    3    0   12    5    7   14   19   10   18   19   18   10    9   14    2    2    2   15   15    2    1   18   10    6    0    2   13   19   10   15    4    4   15    4    2    6    7   19   19    7   15    1   14   11    1   10 
   6    9   11   12    3   16   11    0    2   18    0    7    5    7    6    1    3   14    3    8   10   18   11   16   10   18    0    3   16    9    1    1   14   11   16   15    9    9    1    5   13   13   19   12    0   17   10   17    9   19    4   20   15   10   13    1    1    1    5    0    6    4   19    8   12 
   7    5   20    5    9    5   16   12    6    7   12   20    3    8    3    3   11   11   12   12   18   19   12   12    1    4   17   11   16    7    0    5   11    6    3   17   13   10   11   19   20    6   15    6   20    0    8    5   15   14   18    8   10    6    3   11    5    0   11    2    3   20   16   18   12 
  20    6    5    9   15   10    2   20    9   20    7    2    1    7   14   14   17   15    5    5    3    5   14    9    2   15   11    4   13    1   15   13    6   12    4   16    8    9   16   19   11   20    4    4   16    6    0    4    4    2   20   12   11    9    9   12    4   13   19    1    3    7   16   15    2 
   8    1    2   11    1    9   13   17    1    2    0    9   15    0   17   14    3    3    9    1    1   11   19    9    2    8   12    9   15    5   13   18    1   19    7   17   17   15    6   16    1   11    7   11   14   12    2    0    2   18    5   17    9    5    0    5   12    3   19   11   13    1   17    3    4 
  14    0   11    7   18    4    6   11    4    0    1   12   16    2   20    8    4    0   15   14    4   11    7    5   17    2   10   20    5   12    4   11   17    1    7   17   12    2    9   16   19   15   15    3    7   13   17   12    0    4    0   17   11   11   17   16    3    3   11   17   14   19    2    0   13 
  19   15   14   18   18   16   12   19    8   12   11   17   11   18    7   13   17   12   19   17    9    3   15    1    3   18   18    7   15   15   11   19   15   11   20    8   15    3    9    8   16   13    6   20    4    5   10    2   10    0   14    4   14   20    1   12    4   17    2    0   11   19    8    8   20 
   9   15    2    3   13    9   17   16    1    7    6   15   17    1   17    3    5   18    1    4    8   10    5    8   17   18   10   14    5   15    8   14    9   17    9   17   15    8   20    5   18    1    6    6    8    2    5    7    1    4    0    1   17    7   10   18    7   19   10    6    2    1   18    9    5 
   3    9   14    6   14   14    1   12    2    9    9   10   18    9    4   12   20   10   12   19   12    2   15   19   11   16    5   14   19   14    6    2    7    8    2    8    8    2    2    7   13    4   17   11   16    7    5   14   15    7    9    0   18    1    4    4    4    0    2    3    1    5   18   18    1 
   3   10   11    3   10    5   14    3   18   13   15    8   10   13   14   15    4   12   17   10    9    7   18   16   15    8    7    6   13    6    1   13   19   14   11    6    8   10    2   10   19   18    5    7    1   19   13    3   17    3   14    5    0    8   16   15   11    3   19   14   16    2   11   13   13 
  14    9   16   11   14    3   20   11   10   17    9    1    7   19    1   10   10    9   14    7   12   15   15   19    9   12    6    4   11   19    4    6   18   15    6   16   18    9    6   20   18    5   14    2   10   17    7   15    8    8    1    3    2    0   19    8   18   13    9    3    4    8   11   12   16 
   4    0    6    1   16   10    9   10    2    3   11   10    0   19   16   17    5    3    2    3   16   16    6   19    5   10   11    5   14   13   13    6   18   17    8    3   20    1    2    8   14    0   10    2   13   12    3   20    1    7    7    0    1    5    0   18   11    2    3    8    2   10   20   10    6 
   6   11    3   19   15   19    9    5   15   15    8   14   18   17    7    3   18    6   19   12   12    0   15    6   17    5   18   10   18   12   15    3   12   12    2   12   18    3    6   16   16   13    5   10    7    8   14    4    9   10    4   15    9    8    4    0   13   19    7    8   11   20   14   11   10 
   7    0    0    1   14    6    4   17    9   15    3    8   15    1    4    7   16    2   17   19    9   17   18   10    0    2   16    2    0    6   18   10    1   19    6    6   10   13    2   15    1   14    3    7    4   14   10   14    2   19    7   11    7   18   12    9    0   17    7   20    1   14   19   13   19 
   1   14   20    9    5    1    8   19    7   14    7   13    4   15    3   13    1   13    1    5   10   11   16   16   18    5   13   18    6   15   14   13    6   10   19   10   17    8   17   10    9   11   10    8    7   18   19   17   15    8   16    5    9   15   19   12   19    0    7   17   17   15    1   17   16 
   1    7    8   17    7    7   12    6    1   17    3    6    6    2    5    8    5    6    8    7    1    8   18    7   17    5   12    6   13   14   11   15   15   15   18   10   16    5    1   15    1    3    2    7   12    4   13    8   18   13   13   11    1   18   19   19   16    9    0   18   10    6   17    3    4 
   4   16   15   13    2    2    2    0    4   18    3   15    8    2    2    3    5    0    3    6    5   15    0   14   17   13    3   14    2    3    6   18   19   14    8   10    9   19    3    0   13   13   11    1   12   15   18   18   19    7    1    2    9    0    8   13    6   13   16    0    2   19    4   12   17 
   6    0   18    4    8    5   14    1   19   15    3    6    1    6    3   18   10   18   11   10    2   10    6   11   18   18    5   17    1    3    1    0    3   16    2    4   17    6    6   17   16    3   19   14   12   12   18   13    6    3   14   14    3    3   18    4    6   15    0   12    0    6    1   19   15 
  16    6   10   12   14   10    6   12    8   16   11    5    8    5    5   10   19    6   10   19   15    6   15    8   18   19    3    4   16   10   11   13   18    8    8   10    6   16   12    6    9    5    5   19    0    9    0   17    5    0    6    1    5   17   13   20    4    2    1   15   19    0    4    5   13 
   4    3    4   10    1   19    5   10    5   18   19    1   16   15   19   17    5   18   11   20   12    4    9   15   15    9   14   20   17   12   19    9    8    5   19    6   17    5    7    2    3    4   13   18   11   12   10    2    7   20    9   19    2   10   12   17   12    1   15    2   20   16    0    6    7 
   7   16    3    5    8   15   19    8   11   14    3    5    1    0    7    9   12    7   12    9   14   13    4   14    7   19   12    0    6    1    4    8    5   10   18   18    3    6    1    1   17   20    5    6    1    1   11    8   16   12   18    8   15    6   14    7    8    9   16    4   19   19   14    0   16 
   8    2    2    4    1   14    6   16    9   17    8   20    2   10    0   15    3    7    5   10   16    8    5   17   13   19   19    2    2    6   19    2   14   16   14    2   15    9   15   13    8    9    3   10   11   15   18   19   15   18   17   14   13   17    7    2    2    8   15    6   13    2    3    6    0 
