Submissions for team Codex on problem multiplication_easy_main