Index of /~pat/jchoco/extremal/oldResults

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 max9.txt                2012-12-05 11:36   37   
 max10.txt               2012-12-05 11:36   38   
 max11.txt               2012-12-05 11:36   39   
 max12.txt               2012-12-05 11:37   41   
 max13.txt               2012-12-05 11:45   43   
 max14.txt               2012-12-05 12:53   44   
 max15.txt               2012-12-05 22:34   46   
 maxCodish9.txt          2012-12-05 11:36   37   
 maxCodish10.txt         2012-12-05 11:36   37   
 maxCodish11.txt         2012-12-05 11:36   39   
 maxCodish12.txt         2012-12-05 11:38   41   
 maxCodish13.txt         2012-12-05 11:49   42   
 maxCodish14.txt         2012-12-05 13:27   44   
 maxCodish15.txt         2012-12-06 03:19   46   
 readme.txt              2012-12-06 12:50  126