Submissions for team Logic Legends on problem lecture_main_main