Submissions for team 512 Pounds on problem 5 miku_final_main