user=mdettweiler
[2012-09-08 09:04:46]
483*2^1136500-1 is not prime.  Res64: 5FBEFAC17D064909  Time : 0.0 sec.
user=mdettweiler
[2012-09-08 09:04:51]
487*2^1136501-1 is not prime.  Res64: 371DE21476BA0D2A  Time : 0.0 sec.
user=henryzz
[2012-09-08 11:32:01]
465*2^1136499-1 is not prime.  Res64: 4ECF89A69EEB4DF1  Time : 0.0 sec.
user=henryzz
[2012-09-08 11:42:12]
523*2^1136499-1 is not prime.  Res64: 6469030E50A736E0  Time : 0.0 sec.
user=henryzz
[2012-09-08 11:44:25]
571*2^1136499-1 is not prime.  Res64: 675D603C76796C94  Time : 0.0 sec.
user=henryzz
[2012-09-08 11:48:52]
583*2^1136499-1 is not prime.  Res64: F158E2949C7C1E5C  Time : 0.0 sec.
user=henryzz
[2012-09-08 12:00:37]
445*2^1136421-1 is not prime.  Res64: 6133A45F56D74E03  Time : 0.0 sec.
user=henryzz
[2012-09-08 12:08:11]
489*2^1136501-1 is not prime.  Res64: E1486B19D17FBE45  Time : 0.0 sec.
user=henryzz
[2012-09-08 12:11:17]
507*2^1136501-1 is not prime.  Res64: DC895EB9AFAF2471  Time : 0.0 sec.
user=henryzz
[2012-09-08 12:16:09]
567*2^1136502-1 is not prime.  Res64: DEC59032FD67C2EB  Time : 0.0 sec.
user=henryzz
[2012-09-08 12:26:48]
587*2^1136502-1 is not prime.  Res64: DE422E3AB9AD211A  Time : 0.0 sec.
user=henryzz
[2012-09-08 12:36:49]
483*2^1136503-1 is not prime.  Res64: 4E6621BBF0E05FCD  Time : 0.0 sec.
user=henryzz
[2012-09-08 12:37:32]
505*2^1136503-1 is not prime.  Res64: 2E4D28473B764603  Time : 0.0 sec.
user=henryzz
[2012-09-08 12:45:01]
549*2^1136503-1 is not prime.  Res64: 69DACEAE3B1B5DA9  Time : 0.0 sec.
user=henryzz
[2012-09-08 12:55:17]
555*2^1136503-1 is not prime.  Res64: 5C19281AAF6AA05C  Time : 0.0 sec.
user=henryzz
[2012-09-08 13:03:51]
447*2^1136504-1 is not prime.  Res64: 48D1146AABA69306  Time : 0.0 sec.
user=henryzz
[2012-09-08 13:05:58]
525*2^1136504-1 is not prime.  Res64: CCE69F2A5496E27E  Time : 0.0 sec.
user=henryzz
[2012-09-08 13:12:28]
517*2^1136505-1 is not prime.  Res64: 922956AE7DE0AB7E  Time : 0.0 sec.
user=henryzz
[2012-09-08 13:22:46]
573*2^1136506-1 is not prime.  Res64: 35B5C6C50743DCEE  Time : 0.0 sec.
user=henryzz
[2012-09-08 13:31:51]
587*2^1136506-1 is not prime.  Res64: 68D92A3AF26B61A2  Time : 0.0 sec.
user=henryzz
[2012-09-08 13:35:13]
435*2^1136507-1 is not prime.  Res64: 1ED0B3BDDF8A94EC  Time : 0.0 sec.
user=henryzz
[2012-09-08 13:41:51]
493*2^1136507-1 is not prime.  Res64: 9C4175B77A20B838  Time : 0.0 sec.
user=henryzz
[2012-09-08 13:49:48]
523*2^1136507-1 is not prime.  Res64: 53054E8C77CD2ED8  Time : 0.0 sec.
user=henryzz
[2012-09-08 13:58:56]
515*2^1136508-1 is not prime.  Res64: C3A270813AB41594  Time : 0.0 sec.
user=henryzz
[2012-09-08 14:02:45]
537*2^1136508-1 is not prime.  Res64: 71F8ECB1CD5CE59C  Time : 0.0 sec.
user=henryzz
[2012-09-08 14:08:02]
539*2^1136508-1 is not prime.  Res64: 70C1D76E1FBD21B1  Time : 0.0 sec.
user=henryzz
[2012-09-08 14:17:55]
555*2^1136508-1 is not prime.  Res64: 04061545BFA953C1  Time : 0.0 sec.
user=henryzz
[2012-09-08 14:25:17]
411*2^1136509-1 is not prime.  Res64: 0B9BACAB0C8E2624  Time : 0.0 sec.
user=henryzz
[2012-09-08 14:30:12]
435*2^1136509-1 is not prime.  Res64: B5FED4A21AD03D0A  Time : 0.0 sec.
user=henryzz
[2012-09-08 14:34:20]
423*2^1136510-1 is not prime.  Res64: FC242A4CD2F09CCE  Time : 0.0 sec.
user=henryzz
[2012-09-08 14:45:56]
453*2^1136510-1 is not prime.  Res64: 15ED46429979CA24  Time : 0.0 sec.
user=henryzz
[2012-09-08 14:54:09]
455*2^1136510-1 is not prime.  Res64: DA211BC5265EEF26  Time : 0.0 sec.
user=henryzz
[2012-09-08 14:58:12]
525*2^1136510-1 is not prime.  Res64: DE4A5C61F2E0B172  Time : 0.0 sec.
user=henryzz
[2012-09-08 15:00:52]
563*2^1136510-1 is not prime.  Res64: 0423ACC447038105  Time : 0.0 sec.
user=henryzz
[2012-09-08 15:12:36]
567*2^1136510-1 is not prime.  Res64: 0B110D8E043C0EBB  Time : 0.0 sec.
user=henryzz
[2012-09-08 15:22:29]
575*2^1136510-1 is not prime.  Res64: 8BF7D098D2117CA3  Time : 0.0 sec.
user=henryzz
[2012-09-08 15:24:30]
593*2^1136510-1 is not prime.  Res64: 7F47D81B75173B9E  Time : 0.0 sec.
user=henryzz
[2012-09-08 15:29:11]
465*2^1136511-1 is not prime.  Res64: 2949A80B87A75BF7  Time : 0.0 sec.
user=henryzz
[2012-09-08 15:40:42]
419*2^1136512-1 is not prime.  Res64: E0B2F0C4022E7815  Time : 0.0 sec.
user=henryzz
[2012-09-08 15:52:22]
513*2^1136512-1 is not prime.  Res64: BF3FC3D28EECF20E  Time : 0.0 sec.
user=henryzz
[2012-09-08 15:52:45]
449*2^1136512-1 is not prime.  Res64: 08C34EF1CC11B35C  Time : 0.0 sec.
user=henryzz
[2012-09-08 15:58:12]
569*2^1136512-1 is not prime.  Res64: 495F43748D4D26BC  Time : 0.0 sec.
user=henryzz
[2012-09-08 16:09:19]
411*2^1136513-1 is not prime.  Res64: 51269D0243424287  Time : 0.0 sec.
user=henryzz
[2012-09-08 16:24:07]
567*2^1136513-1 is not prime.  Res64: FB8AB0D59F4CE289  Time : 0.0 sec.
user=henryzz
[2012-09-08 16:29:07]
477*2^1136513-1 is not prime.  Res64: E8A851B92E8158B6  Time : 0.0 sec.
user=henryzz
[2012-09-08 16:34:39]
577*2^1136513-1 is not prime.  Res64: 1299A177EFFFEE4F  Time : 0.0 sec.
user=henryzz
[2012-09-08 16:53:07]
589*2^1136513-1 is not prime.  Res64: 0FCF445267579852  Time : 0.0 sec.
user=henryzz
[2012-09-08 17:05:38]
431*2^1136514-1 is not prime.  Res64: 2C531C5D01B2F178  Time : 0.0 sec.
user=henryzz
[2012-09-08 17:05:44]
595*2^1136513-1 is not prime.  Res64: 92FA9B5AAEE59F89  Time : 0.0 sec.