Submissions for team Logic Lords on problem 1 doubleit_final_main