# /n/gnu/bin/gawk -f
# Last edited on 1998-11-29 01:49:11 by stolfi

BEGIN { MINERG = 100000000 }
$0 ~ /^#/ { print $0 } 
$0 !~ /^#/ { if ( $3 < MINERG ) { print $0 ; MINERG = $3 } }