python sys.stdin.buffer.readline