added lex and input.ab