input files for testcase

This commit includes the test files for the new testcase from previous
commit:
d9a8ffd34aa46e3669183dad21dfe68f0010c819