Submissions for team Monkeys on a Typewriter on problem miku_final_main