added input file from spec