| file | size | description |
|---|---|---|
| Tune-12637-HigginsBestHornpipe.abc | 461 | ABC music file with the extracted tune(s) |
| Tune-12637-HigginsBestHornpipe.malt | 2161 | Musical Instrument Digital Interface, alternate name for midi format |
| Tune-12637-HigginsBestHornpipe.mid | 2161 | Musical Instrument Digital interface, shortened name for midi format |
| Tune-12637-HigginsBestHornpipe.midi | 2161 | Musical Instrument Digital Interface, electronic version of the tune(s) |
| Tune-12637-HigginsBestHornpipe.txt | 461 | Plain-text file with the extracted tune(s) |
| Tune-12637-get.log | 3979 | Log file, useful mostly for debugging |