Gödel numbering
Gödel numbering for sequences