Submissions for team Thread Champion on problem 5 miku_final_main