I used mkextract to get the timecodes of the original frames. It gave me 83,989 lines of those numbers + the #timestamp v2 header.