3 sed 's/cost=10\{7\}[\.0-9]\+ /cost={inf}..{inf} /;s/cost=[\.0-9]\+ /cost=xxx..xxx /;s/width=[0-9]\+\([^0-9]\)/width=xxx\1/' |\
4 egrep -v "^ *((Planning time|JIT|Functions|Options):|\([0-9]* rows\))" |\
5 sed -e 's/^ *QUERY PLAN *$/ QUERY PLAN/' -e 's/^--*$/----------------/'