| Name | Format | # Files | Size | Date |
|---|---|---|---|---|
| agps10.zip | PKZip Archive | 3 | 18.9 KB | 1996-05-19 |
| astro3.zip | PKZip Archive | 1 | 23.1 KB | 1995-01-10 |
| tube21.zip | PKZip Archive | 6 | 8.0 KB | 1996-02-25 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| agps10.txt | Text File | 4 | 145 b | 1996-09-09 |
| astro3.txt | Text File | 3 | 52 b | 1996-09-09 |
| tube21.txt | Text File | 3 | 62 b | 1996-09-09 |