| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| EX1.DAT | Text File | 99 | 2KB | 1988-06-20 |
| EX6.DAT | Text File | 101 | 2KB | 1988-07-20 |
| EX7.DAT | Text File | 138 | 3KB | 1988-07-20 |
| OUT.1 | Text File | 1,060 | 49KB | 1989-01-29 |
| OUT.6 | Text File | 5,924 | 575KB | 1988-08-04 |
| OUT.7 | Text File | 6,900 | 543KB | 1988-08-03 |