fixed and tested the first version of the input format