![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| A.in | 1995-01-13 11:04 | 861 | |
| A.proof | 1995-01-13 11:04 | 9.4K | |
| B.in | 1995-01-13 11:04 | 675 | |
| B.proof | 1995-01-13 11:04 | 2.4K | |
| C.in | 1995-01-13 11:04 | 589 | |
| C.proof | 1995-01-13 11:04 | 7.9K | |
| D.in | 1995-01-13 11:04 | 837 | |
| README | 1995-01-12 14:53 | 264 | |
| article.ps | 1995-01-12 15:01 | 45K | |