Tmp=$HOME/tmp time cat ../$1.dat ../$1.$2 | pgawk \ --dump-variables=$Tmp/vars10 \ --profile=$Tmp/prof10 \ -f ../cbr.awk \ --source 'END { Samples=20; K1=5; K2=15; main() }' Seed=1 Nomograms=1