I converted HappyLee's TAS of Super Mario Bros. from 2011 from .fm2 to .bk2, the inputs are exactly the same but instead in 17867 frames. (BizHawk appears to have one frame less of lag compared to FCEUX in Super Mario Bros.)
happylee-supermariobros,warped.bk2
Uploaded 8/29/2018 11:39 PM by Mario128 (1 files)
For Super Mario Bros. (NES)
In 04:57.29 (17867 frames), 9739 rerecords
54022 views, 650 downloads