It is most likely that these MIDI were files were MIDI recorded realtime by someone who has a great feel for the music and can really play. That is how the best MIDI files are created, not by note by note programming.