パターンスペースが
空行だったらホールドスペースに追加
空行でなかったらホールドスペースを出力後にパターンスペース出力

最後の連続空行はホールドスペースに収まったままで終わる。

とか考えてみたがあってるだろうか。