| File | Size | Date |
|---|---|---|
| 0.t | 3241 | 1993-08-16 |
| 1.t | 2892 | 1993-08-16 |
| 2.t | 7837 | 1993-08-16 |
| 3.t | 13416 | 1993-08-16 |
| 4.t | 17298 | 1993-08-16 |
| 5.t | 10080 | 1993-08-16 |
| 6.t | 8849 | 1993-08-16 |
| Makefile | 204 | 1993-08-16 |
| a.t | 5173 | 1993-08-16 |
| b.t | 5503 | 1993-08-16 |
| c.t | 3627 | 1993-08-16 |
| d.t | 11816 | 1993-08-16 |
| e.t | 5330 | 1993-08-16 |