I thought Mao’s score got upgraded to be the record holder about 10 years ago from new document releases. I may be wrong but I thought managed to get to 65 to be top of the leaderboard