Index of /~pat/extremal/temp

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 choco-2.1.0-basic.jar   2013-06-17 18:32  2.4M  
 distribution.zip        2013-06-17 18:32  2.2M  
 ijcai2013.pptx          2013-06-18 15:20   38K  
 Exists.class            2013-06-18 13:25  5.1K  
 CRAPL-LICENSE.txt       2013-06-17 18:32  4.0K  
 MinGirth.java           2013-06-17 18:32  3.8K  
 Exists.java             2013-06-18 13:25  3.7K  
 MinGirth.class          2013-06-18 13:25  3.4K  
 readme.txt              2013-06-17 18:32  2.0K  
 10-15-5-noSym           2013-06-18 12:28  189   
 10-15-5-sym             2013-06-18 13:25  185