Submissions for team BigDog on problem nah_main