入力：
LEX：
出力：