| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| PUMPS.001 | Text File | 52 | 2KB | 1992-05-24 |
| PUMPS.002 | Text File | 53 | 3KB | 1992-05-24 |
| PUMPS.003 | Text File | 50 | 3KB | 1992-05-24 |
| PUMPS.004 | Text File | 52 | 3KB | 1992-05-24 |
| PUMPS.005 | Text File | 29 | 2KB | 1992-05-22 |
| PUMPS.006 | Text File | 110 | 5KB | 1994-02-14 |
| PUMPS.007 | Text File | 52 | 2KB | 1992-05-19 |
| PUMPS.008 | Text File | 57 | 3KB | 1992-05-19 |
| PUMPS.009 | Text File | 59 | 3KB | 1992-05-20 |
| PUMPS.010 | Text File | 47 | 2KB | 1992-05-20 |
| PUMPS.011 | Text File | 88 | 4KB | 1993-12-14 |
| PUMPS.012 | Text File | 59 | 3KB | 1994-02-14 |