| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| IC2SAT.10 | Text File | 38 | 2KB | 1991-03-06 |
| IC2SAT.11 | Text File | 44 | 2KB | 1991-03-06 |
| IC2SAT.4 | Text File | 30 | 1KB | 1991-03-06 |
| IC2SAT.5 | Text File | 36 | 1KB | 1991-03-06 |
| IC2SAT.6 | Text File | 43 | 2KB | 1991-03-06 |
| IC2SAT.7 | Text File | 57 | 3KB | 1991-03-06 |
| IC2SAT.8 | Text File | 39 | 2KB | 1991-03-06 |
| IC2SAT.9 | Text File | 43 | 2KB | 1991-03-06 |