Input (grade 3): The only known Fermat primes are F0, F1, F2, F3, and F4.
Output (grade 3): The only known Fermat primes are F0,..., F4.