Submissions for team DepressedRat on problem classrank classrank