Submissions for team Highly Regarded Crashouts on problem miku_final_main