Submissions for team α^4 on problem 3 tournament_final_main