normal -n 10000 -o n01
awk '{print 1+sqrt(5)*$1}' n01 > m1v5.dat
normal -n 5000 -o n01
awk '{print 5+sqrt(10)*$1}' n01 > m5v10.dat

cat m1v5.dat m5v10.dat > mix.dat

for file in m1v5 m5v10 mix
do
   awk '{printf"%12.5f\n", $1}' $file.dat | sort -n | \
   awk -f density.awk > $file.d
done

rm n01