This run was on the leaderboard a few years ago but got deleted when I deleted my account (because I changed my username).

re-uploading it now for history/archive purpose.