Submissions for team Logic Legends on problem splitters2_main