#!/bin/nawk -f
BEGIN {
a=0
}


FILENAME==ARGV[1] {
a++
res1[$1]=$1
T1[$1]=$4
dT1[$1]=$6
}


END {

for (i=1; i<=999; i++) {

if (res1[i]!=0) {

  printf"%3d  %10.4f  %10.4f\n", res1[i], T1[i], dT1[i]
}
}
}