Input (grade 8): Given a sequence x_1 x_2 x_3... x_n of positive integers, the Gödel encoding of the sequence is the product of the first n primes raised to their corresponding values in the sequence:
Output (grade 8): Given a sequence x_1 x_2 x_3... x_n of positive integers, the Gödel encoding is the product of the first n primes raised to their corresponding values in the sequence: