| file | size | description |
|---|---|---|
| Tune-35425-book03.abc | 500 | ABC music file with the extracted tune(s) |
| Tune-35425-book03.gif | 46332 | Graphics Interchange Format, the proprietary scan-line picture format |
| Tune-35425-book03.ps | 34376 | PostScript |
| Tune-35425-book03.txt | 500 | Plain-text file with the extracted tune(s) |
| Tune-35425-get.log | 9071 | Log file, useful mostly for debugging |