Submissions for team 理科易如反掌 on problem 9 gates_final_main