Input (grade 10): He then computes the ciphertext corresponding to
Output (grade 10): He then computes the ciphertext corresponding to: