![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 0801.0143.ps.gz | 2012-03-14 05:36 | 139K | |
| 0801.0287.ps.gz | 2012-01-16 05:40 | 257K | |
| 0801.3402.ps.gz | 2011-09-22 05:40 | 163K | |
| 0801.4087.ps.gz | 2011-08-24 06:07 | 19M | |
| 0801.4103.ps.gz | 2013-03-11 06:07 | 197K | |
| 0801.4477.ps.gz | 2011-06-10 05:24 | 64K | |
| 0801.4797.ps.gz | 2010-11-16 05:27 | 94K | |