#! /usr/bin/gawk -f 
# Last edited on 2005-10-29 06:48:20 by stolfi


/^reading.*[.]bas *$/ { print; next; }
/^summary for iteration/ { print; next; }
/^rms[()]/  { printf "%s = %8.1e\n", $1, $3+0; next; }
/^basis =/  { print; next; }