Submissions for team Logic Legends on problem nah_main