<s> import fileinput <EOL> import json <EOL> if __name__ == "<STR_LIT:__main__>" : <EOL> jsonStr = '<STR_LIT>' <EOL> for a_line in fileinput . input ( ) : <EOL> jsonStr = jsonStr + '<STR_LIT:U+0020>' + a_line . strip ( ) <EOL> jsonObj = json . loads ( jsonStr ) <EOL> print json . dumps ( jsonObj , sort_keys = True , indent = <NUM_LIT:4> ) </s>
