Submissions for team Colts on problem files_main