python read n lines from stdinの検索結果