| file | size | description |
|---|---|---|
| Tune-8081-Kohlers2.abc | 145 | ABC music file with the extracted tune(s) |
| Tune-8081-Kohlers2.ps | 6 | PostScript |
| Tune-8081-Kohlers2.txt | 145 | Plain-text file with the extracted tune(s) |
| Tune-8081-get.log | 3907 | Log file, useful mostly for debugging |
| Tune-80815-get.log | 4400 | Log file, useful mostly for debugging |
| Tune-80816-get.log | 5312 | Log file, useful mostly for debugging |
| Tune-80817-get.log | 3959 | Log file, useful mostly for debugging |