Submissions for team FormalAlbatross on problem classrank classrank