![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 2003-10-04-13693-pdf.zip2024-01-09 | 2013-04-07 19:09 | 420K | |
| 2003-10-04-13693-t.zip2024-01-09 | 2013-04-07 19:09 | 53K | |
| 13693-pdf 2013-04-08.pdf2024-01-09 | 2013-04-07 18:28 | 674K | |
| 13693-pdf 2013-04-08.zip2024-01-09 | 2013-04-07 18:28 | 617K | |
| 13693-t 2013-04-08.tex2024-01-09 | 2013-04-07 18:28 | 202K | |
| 13693-t 2013-04-08.zip2024-01-09 | 2013-04-07 18:28 | 57K | |