Input (grade 9): There are more sophisticated (and more concise) ways to construct a Gödel numbering for sequences.
Output (grade 10): See also a more sophisticated (but more "concise") way to construct Gödel numbering for sequences.