occams raver appears in the following leaderboards: