Or if you don't want the ABC code,
here is an MP3 (from the MIDI)
Both of these notations of the tune are correct. But the original (below) has ABC code that doesn't produce the .mid file I want, at least not within the limits of the app I use and my own understanding of ABC.
Go to the BOX file with the ABC code (original)
