| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| flipset.mpt | Text File | 59 | 879b | 1993-10-04 |
| joinsets.mpt | Text File | 111 | 2KB | 1993-10-04 |
| readtable.mpt | Text File | 58 | 1KB | 1993-10-04 |
| scaleY.mpt | Text File | 80 | 1KB | 1993-10-04 |
| shiftY.mpt | Text File | 61 | 1KB | 1993-10-04 |
| sortY.mpt | Text File | 107 | 2KB | 1993-10-04 |