PV211 ARQMath Collection Leaderboard (Spring 2022)