implementation inputfile reader