user=mdettweiler [2008-11-03 18:49:53] 895*2^570009-1 is not prime. Res64: C426D9588F5A9C35 Time : 45831.0 sec. user=mdettweiler [2008-11-03 20:45:45] 411*2^570010-1 is not prime. Res64: 2722497F50F52EB6 Time : 52293.0 sec. user=mdettweiler [2008-11-03 20:57:15] 531*2^570010-1 is not prime. Res64: 4E1605AB68132C58 Time : 52494.0 sec. user=mdettweiler [2008-11-03 21:20:18] 575*2^570010-1 is not prime. Res64: 20136E6153275E2C Time : 53388.0 sec. user=mdettweiler [2008-11-03 21:32:55] 623*2^570010-1 is not prime. Res64: E9AF199E338FC9EF Time : 53652.0 sec. user=mdettweiler [2008-11-03 21:44:20] 701*2^570010-1 is not prime. Res64: 7633309603B54D05 Time : 4047.0 sec. user=mdettweiler [2008-11-03 22:53:06] 731*2^570010-1 is not prime. Res64: 4D25A8B8FCE0384C Time : 7463.0 sec. user=mdettweiler [2008-11-04 00:04:48] 791*2^570010-1 is not prime. Res64: E847720622A15049 Time : 10393.0 sec.