Use rand48 rather than rand
[snark14.git] / examples / b1 / run
1 snark14  b1.in