| file | size | description |
|---|---|---|
| Tune-5814-RobertPurdie_TomThumb.abc | 156 | ABC music file with the extracted tune(s) |
| Tune-5814-RobertPurdie_TomThumb.ps | 6 | PostScript |
| Tune-5814-RobertPurdie_TomThumb.txt | 156 | Plain-text file with the extracted tune(s) |
| Tune-5814-get.log | 4166 | Log file, useful mostly for debugging |
| Tune-58140-get.log | 4141 | Log file, useful mostly for debugging |
| Tune-58142-get.log | 7549 | Log file, useful mostly for debugging |
| Tune-58143-get.log | 4362 | Log file, useful mostly for debugging |
| Tune-58146-get.log | 3234 | Log file, useful mostly for debugging |
| Tune-58147-get.log | 6952 | Log file, useful mostly for debugging |
| Tune-58148-get.log | 4677 | Log file, useful mostly for debugging |
| Tune-58149-get.log | 10386 | Log file, useful mostly for debugging |