Submissions for team HistoricalCrab on problem classrank classrank