| file | size | description |
|---|---|---|
| Tune-72493-SantaLucia-001.eps | 33668 | Encapsulated PostScript, for inclusion in PS files, HTML pages, etc. |
| Tune-72493-SantaLucia.abc | 393 | ABC music file with the extracted tune(s) |
| Tune-72493-SantaLucia.txt | 393 | Plain-text file with the extracted tune(s) |
| Tune-72493-get.log | 3430345 | Log file, useful mostly for debugging |