Submissions for team Codex on problem splitters2_main