Submissions for team He Who Wears No Pants on problem files_main