user=vaughan [2011-11-06 23:03:24] 1547*2^743876-1 is not prime. Res64: 12CBBCA89EE87C13 Time : 6170.0 sec.