description of input file format