MUAHAHAHAHA SOLVED problem 142 :)
updated prob173, 423, and the miller rabin function