#!/bin/sh sed '0,/ *--*$/d' | sed '/^ *__*$/,/^ *--*$/d' | sed 's/[0-9][0-9]*$//' | pg2line | grep -v '^$' | grep '^[0-9]' | sed 's/^[0-9][0-9]* /\n/' | pg2line | sed 's/$/\n/; s/ *[0-9][0-9]* */\n/g' | tail -n +3