#! /usr/local/bin/tcsh -f
foreach ProblemSize (10 20 25 30 35)
  foreach ProblemNum (0 1 2 3 4 5 6 7 8 9)
    foreach ProblemFile (*.$ProblemSize.$ProblemNum)
       set Temp = `echo $ProblemFile | sed "s/run_[A-Z]\.//"`
       echo -n $Temp
       echo -n "  "
       ../extract.awk $ProblemFile
    end
  end
end
# clean up
unset Temp
unset ProblemSize
unset ProblemNum
unset ProblemFile
