Figure 1: Input and corresponding output.
1234567 12w34z567 Hello there Hello there ^Z 10 * 5 = 50 <end-of-file>