alpha142 appears in the following leaderboards: