| file | size | description |
|---|---|---|
| Tune-71137-10231_.abc | 33 | ABC music file with the extracted tune(s) |
| Tune-71137-10231_.ps | 6 | PostScript |
| Tune-71137-10231_.txt | 33 | Plain-text file with the extracted tune(s) |
| Tune-71137-get.log | 8047 | Log file, useful mostly for debugging |