![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 9803002.announcement.only | 2018-07-11 18:12 | 0 | |
| 9803000.abs | 2018-07-11 18:12 | 420 | |
| 9803001.gz | 2018-07-11 18:12 | 541 | |
| 9803001.abs | 2018-07-11 18:12 | 1.5K | |
| 9803002.abs | 2018-07-11 18:12 | 2.0K | |
| 9803002.ann | 2018-07-11 18:12 | 9.6K | |
| 9803001.dvi.gz | 2018-07-11 18:12 | 47K | |
| 9803001.ps.gz | 2018-07-11 18:12 | 121K | |
| 9803001.pdf | 2018-07-11 18:12 | 316K | |