Submissions for team proof by AC on problem 5 miku_final_main