How to read user input until EOF?,input_str = sys.stdin.read()