テキストをブロックで切り、インデントをつけて出力する:w

parse.py

chunk = """
quick
brown

foxes


jumped
over
the lazy dog

"""

# read, readlines
block_lines=[]
buff = []
alldata = []

# 雑にグループ化する
# 改行連続で切る
# 空のグループを除外する
rough_blocks = list(filter(lambda x: x != "", chunk.split("\n\n"))) # \n切りを明示→空行も含める

# for l in sys.stdin.readlines():
for bl in rough_blocks:
    # filter() returns <filter>
    lines = list(filter(lambda x: x != "", bl.split("\n")))
    if lines != []:
        block_lines.append(lines)

# function libs
# 2要素目以降に、インデントスペースを設ける
def indent_second(lines):
    newlines = list(map(lambda x: "    " + x, lines))
    newlines[0] = newlines[0].strip()
    return newlines

result = list(map(indent_second, block_lines))

# output
output=[]
for arr in result:
    output.extend(arr)
for l in output:
    print(l)