Submissions for team Codex on problem multiplication_medium_main