Submissions for team Rivals! on problem files_main