Submissions for team Logic Lords on problem 3 tournament_final_main