Submissions for team Hello World Dominators on problem miku_final_main