Update mod-exp_normal1.txt