mmribs appears in the following leaderboards:
puzzling ribbon