| file | size | description |
|---|---|---|
| Tune-7371-Barsanti_CoOST.abc | 153 | ABC music file with the extracted tune(s) |
| Tune-7371-Barsanti_CoOST.ps | 6 | PostScript |
| Tune-7371-Barsanti_CoOST.txt | 153 | Plain-text file with the extracted tune(s) |
| Tune-7371-Pioneer.abc | 144 | ABC music file with the extracted tune(s) |
| Tune-7371-Pioneer.ps | 6 | PostScript |
| Tune-7371-Pioneer.txt | 144 | Plain-text file with the extracted tune(s) |
| Tune-7371-get.log | 8077 | Log file, useful mostly for debugging |