Submissions for team ΛΛemoria on problem 9 gates_final_main