#
foreach i ($1/*.out)
  awk '/Otter/,/end of input/ {print} /statistics/,/The job finished/ {print}' $i > $i:r.486
  /bin/rm $i
end
