Submissions for team Logic Legends on problem files_main