| file | size | description |
|---|---|---|
| Tune-8255-HallJ.abc | 310 | ABC music file with the extracted tune(s) |
| Tune-8255-HallJ.malt | 1741 | Musical Instrument Digital Interface, alternate name for midi format |
| Tune-8255-HallJ.mid | 1741 | Musical Instrument Digital interface, shortened name for midi format |
| Tune-8255-HallJ.midi | 1741 | Musical Instrument Digital Interface, electronic version of the tune(s) |
| Tune-8255-HallJ.txt | 310 | Plain-text file with the extracted tune(s) |
| Tune-8255-get.log | 3674 | Log file, useful mostly for debugging |
| Tune-82554-get.log | 3620 | Log file, useful mostly for debugging |