Submissions for team AxiomPE on problem nah_main