RAND Corporation A Million Random Digits with 100,000 Normal Deviates