<s> """<STR_LIT>""" <EOL> from __future__ import unicode_literals <EOL> from pygments . lexers import HtmlLexer <EOL> from prompt_toolkit import prompt <EOL> from prompt_toolkit . layout . lexers import PygmentsLexer <EOL> def main ( ) : <EOL> text = prompt ( '<STR_LIT>' , lexer = PygmentsLexer ( HtmlLexer ) ) <EOL> print ( '<STR_LIT>' % text ) <EOL> if __name__ == '<STR_LIT:__main__>' : <EOL> main ( ) </s>
