Gödel_numbering_for_sequences