Submissions for team Logic Lords on problem 5 miku_final_main