Submissions for team Codex on problem multiplication_hard_main