| Name | Format | # Files | Size | Date |
|---|---|---|---|---|
| tabc.cp_ | GZip archive | 1 | 9KB | 1995-07-30 |
| tabc.de_ | GZip archive | 1 | 200b | 1995-07-30 |
| tabc.h_ | GZip archive | 1 | 2KB | 1995-07-30 |
| tabc.id_ | GZip archive | 1 | 11KB | 1995-07-30 |
| tabc.rc_ | GZip archive | 1 | 423b | 1995-07-30 |
| tabc32.rc_ | GZip archive | 1 | 426b | 1995-07-30 |