in=$1;shift;/inst2/rtadecode.out < $in | grep "^3 [0-9]" | awk -f /inst2/load.awk $*
