Submissions for team Jimmy's Babies on problem nah_main