Index of /benchmark/top500/reports/report95/Japan

 Name                    Last modified      Size  
 Japan.aux               31-May-1996 15:29  865   
 Japan.css               31-May-1996 15:29  344   
 Japan.html              31-May-1996 15:29  5.5K  
 Japan.log               31-May-1996 15:29  5.9K  
 Japan.ps                15-Nov-1995 18:20   94K  
 Japan.tex               15-Nov-1995 17:01   19K  
 Japanlist.aux           31-May-1996 16:54    8   
 Japanlist.css           31-May-1996 16:56  344   
 Japanlist.html          31-May-1996 16:56   19K  
 Japanlist.log           31-May-1996 16:54  4.4K  
 Japanlist.ps            15-Nov-1995 17:15   28K  
 Japanlist.tex           15-Nov-1995 17:03  6.1K  
 MD5                     09-Dec-1996 13:46  1.6K  
 contents.pl             31-May-1996 16:56  238   
 images.aux              31-May-1996 16:55    8   
 images.log              31-May-1996 16:55  4.6K  
 images.pl               31-May-1996 16:56  654   
 images.tex              31-May-1996 16:55  2.4K  
 img1.gif                31-May-1996 16:55  119   
 img2.gif                31-May-1996 16:55  124   
 img3.gif                31-May-1996 16:56  131   
 img4.gif                31-May-1996 16:56  119   
 internals.pl            31-May-1996 15:29  198   
 labels.pl               31-May-1996 16:56  207   
 missfont.log            31-May-1996 16:55  196   
 node1.html              31-May-1996 15:29  3.3K  
 node2.html              31-May-1996 15:29  3.2K  
 node3.html              31-May-1996 15:29  1.8K  
 node4.html              31-May-1996 15:29  4.8K  
 node5.html              03-Jun-1996 11:14  7.8K  
 node6.html              31-May-1996 15:29  5.8K  
 node7.html              31-May-1996 15:29  3.3K  
 node8.html              31-May-1996 15:29  2.1K  
 node9.html              31-May-1996 15:29  1.5K  
 sections.pl             31-May-1996 16:56  259   
 table.pl                31-May-1996 15:29   95