provided input file