Submissions for team Codex on problem splitters_main