Submissions for team WHS K3 on problem nah_main