Simplify the test. NFC.

Since the main file was empty, we can just copy the content of the Input file
into it.