user=marco.bs
[2012-05-28 00:49:20]
403*2^1133351-1 is not prime.  Res64: 1FEC38151B54FA1B  Time : 0.0 sec.
user=marco.bs
[2012-05-28 04:27:35]
511*2^1133351-1 is not prime.  Res64: 5F66D49BA88D01E9  Time : 0.0 sec.
user=marco.bs
[2012-05-28 05:17:10]
455*2^1133352-1 is not prime.  Res64: BE4A9BEA3241900F  Time : 0.0 sec.
user=marco.bs
[2012-05-28 06:07:02]
467*2^1133352-1 is not prime.  Res64: A3C2523333ACF30A  Time : 0.0 sec.
user=marco.bs
[2012-05-28 06:56:26]
503*2^1133352-1 is not prime.  Res64: 72F1610C9EEB5DA9  Time : 0.0 sec.
user=marco.bs
[2012-05-28 07:45:57]
427*2^1133353-1 is not prime.  Res64: 63C6DE7839DDB729  Time : 0.0 sec.
user=marco.bs
[2012-05-28 08:35:33]
435*2^1133353-1 is not prime.  Res64: 76925B8E29FD7386  Time : 0.0 sec.
user=marco.bs
[2012-05-28 09:25:21]
471*2^1133353-1 is not prime.  Res64: F84400E04C310B85  Time : 0.0 sec.
user=marco.bs
[2012-05-28 10:15:06]
489*2^1133353-1 is not prime.  Res64: B58CDC5960884726  Time : 0.0 sec.
user=marco.bs
[2012-05-28 11:04:38]
555*2^1133353-1 is not prime.  Res64: 7509CD96850782DA  Time : 0.0 sec.
user=marco.bs
[2012-05-28 11:54:36]
425*2^1133354-1 is not prime.  Res64: 6597A6066336104B  Time : 0.0 sec.
user=marco.bs
[2012-05-28 12:44:14]
437*2^1133354-1 is not prime.  Res64: 5B6AEFA64F397FB0  Time : 0.0 sec.
user=marco.bs
[2012-05-28 13:34:30]
483*2^1133354-1 is not prime.  Res64: 1DC5C553ECC21CA6  Time : 0.0 sec.
user=marco.bs
[2012-05-28 14:24:22]
489*2^1133355-1 is not prime.  Res64: B37B09F947BA5FD0  Time : 0.0 sec.
user=marco.bs
[2012-05-28 15:14:00]
543*2^1133355-1 is not prime.  Res64: E377CEFDC4B0061E  Time : 0.0 sec.
user=henryzz
[2012-05-28 16:02:23]
513*2^1133334-1 is not prime.  Res64: 9B08964336257B6E  Time : 0.0 sec.
user=henryzz
[2012-05-28 16:02:24]
563*2^1133332-1 is not prime.  Res64: 10EBFC64CAA0EB1E  Time : 0.0 sec.
user=henryzz
[2012-05-28 16:02:24]
501*2^1133334-1 is not prime.  Res64: 7490FA2144FD431D  Time : 0.0 sec.
user=henryzz
[2012-05-28 16:02:27]
483*2^1133332-1 is not prime.  Res64: FD6A5C66D6A7D9EF  Time : 0.0 sec.
user=henryzz
[2012-05-28 16:25:17]
447*2^1133357-1 is not prime.  Res64: 20BA7EB4B4C5747C  Time : 0.0 sec.
user=henryzz
[2012-05-28 16:25:17]
447*2^1133356-1 is not prime.  Res64: AD1BCCAF30B2E499  Time : 0.0 sec.
user=henryzz
[2012-05-28 16:25:17]
511*2^1133357-1 is not prime.  Res64: D046F734639B2C8F  Time : 0.0 sec.
user=henryzz
[2012-05-28 16:25:20]
519*2^1133357-1 is not prime.  Res64: 6740EADD29306CFF  Time : 0.0 sec.
user=henryzz
[2012-05-28 16:48:01]
501*2^1133358-1 is not prime.  Res64: 792B539008D050C5  Time : 0.0 sec.
user=henryzz
[2012-05-28 16:48:01]
471*2^1133358-1 is not prime.  Res64: 6FA11BBCA27D35BE  Time : 0.0 sec.
user=henryzz
[2012-05-28 16:48:03]
473*2^1133358-1 is not prime.  Res64: B20954EEF86E611A  Time : 0.0 sec.
user=henryzz
[2012-05-28 16:48:09]
483*2^1133358-1 is not prime.  Res64: 7596E0CEF9687C18  Time : 0.0 sec.
user=henryzz
[2012-05-28 17:14:46]
441*2^1133359-1 is not prime.  Res64: 3D646994533F2355  Time : 0.0 sec.
user=henryzz
[2012-05-28 17:14:49]
559*2^1133359-1 is not prime.  Res64: 2F56E98A6B3E7EF9  Time : 0.0 sec.
user=henryzz
[2012-05-28 17:14:53]
555*2^1133358-1 is not prime.  Res64: 02AF1BC076C9B0C6  Time : 0.0 sec.
user=henryzz
[2012-05-28 17:14:55]
481*2^1133359-1 is not prime.  Res64: 948B99CEAEEE81C6  Time : 0.0 sec.