Submissions for team 404: brains not found on problem miku_final_main