Submissions for team proof by AC on problem 3 tournament_final_main