user=vaughan [2010-01-15 14:43:19] 2131*2^524969-1 is not prime. Res64: 38EC096B1FD9769C Time : 126341.0 sec.