Submissions for team α^4 on problem 5b1 miku_final_bonus