Problem E2 is interactive and cannot be automatically verified.