user=marco.bs
[2012-04-27 01:13:29]
503*2^1132018-1 is not prime.  Res64: 1DFD163621901B8D  Time : 0.0 sec.
user=gd_barnes
[2012-04-27 01:31:29]
415*2^1132075-1 is not prime.  Res64: 23E3B88C99DA1AA6  Time : 0.0 sec.
user=vaughan
[2012-04-27 01:54:49]
411*2^1132075-1 is not prime.  Res64: FDF0C558C8DBE753  Time : 0.0 sec.
user=marco.bs
[2012-04-27 02:01:04]
469*2^1132075-1 is not prime.  Res64: 51DC6CB2067A2469  Time : 0.0 sec.
user=marco.bs
[2012-04-27 02:48:48]
471*2^1132075-1 is not prime.  Res64: 411688EBB21BB879  Time : 0.0 sec.
user=vaughan
[2012-04-27 03:34:46]
553*2^1132075-1 is not prime.  Res64: 8042DA7C5C0CA46A  Time : 0.0 sec.
user=marco.bs
[2012-04-27 03:36:38]
583*2^1132075-1 is not prime.  Res64: EDD6B0C65BE7C1EA  Time : 0.0 sec.
user=henryzz
[2012-04-27 03:44:06]
467*2^1132048-1 is not prime.  Res64: 94E2A76305D4C376  Time : 0.0 sec.
user=henryzz
[2012-04-27 03:44:53]
479*2^1132048-1 is not prime.  Res64: EDF31AA3F7E9CCD2  Time : 0.0 sec.
user=henryzz
[2012-04-27 03:47:51]
527*2^1132048-1 is not prime.  Res64: CA7DDD7282ED8DBE  Time : 0.0 sec.
user=henryzz
[2012-04-27 04:03:50]
477*2^1132076-1 is not prime.  Res64: 13EC534325858BA6  Time : 0.0 sec.
user=henryzz
[2012-04-27 04:04:20]
593*2^1132076-1 is not prime.  Res64: B80C1D28A3548E8B  Time : 0.0 sec.
user=henryzz
[2012-04-27 04:07:51]
441*2^1132077-1 is not prime.  Res64: 4D0FB2ED2D0854DD  Time : 0.0 sec.
user=henryzz
[2012-04-27 04:11:38]
469*2^1132077-1 is not prime.  Res64: 309A8D4FEBF3E86C  Time : 0.0 sec.
user=henryzz
[2012-04-27 04:23:31]
559*2^1132077-1 is not prime.  Res64: 570D70BFDCF56CA8  Time : 0.0 sec.
user=marco.bs
[2012-04-27 04:23:56]
405*2^1132076-1 is not prime.  Res64: FED14B6A32D38C3E  Time : 0.0 sec.
user=henryzz
[2012-04-27 04:24:16]
533*2^1132078-1 is not prime.  Res64: 68B647A964567F6C  Time : 0.0 sec.
user=henryzz
[2012-04-27 04:27:52]
511*2^1132079-1 is not prime.  Res64: A3A3256E903E6285  Time : 0.0 sec.
user=henryzz
[2012-04-27 04:31:44]
565*2^1132079-1 is not prime.  Res64: BFF42CEF9E7E384E  Time : 0.0 sec.
user=henryzz
[2012-04-27 04:43:09]
571*2^1132079-1 is not prime.  Res64: 45A887F69C7718ED  Time : 0.0 sec.
user=henryzz
[2012-04-27 04:43:52]
503*2^1132080-1 is not prime.  Res64: 52C42A661F9056BE  Time : 0.0 sec.
user=henryzz
[2012-04-27 04:47:29]
567*2^1132080-1 is not prime.  Res64: 7282309570CFEFB6  Time : 0.0 sec.
user=henryzz
[2012-04-27 04:51:39]
587*2^1132080-1 is not prime.  Res64: 8A93BF9CC34FB77D  Time : 0.0 sec.
user=henryzz
[2012-04-27 05:02:50]
565*2^1132081-1 is not prime.  Res64: C6B55C429B6E36EA  Time : 0.0 sec.
user=henryzz
[2012-04-27 05:03:29]
407*2^1132082-1 is not prime.  Res64: 7351E40C20F89017  Time : 0.0 sec.
user=henryzz
[2012-04-27 05:07:50]
451*2^1132083-1 is not prime.  Res64: 79E6417F4C412E15  Time : 0.0 sec.
user=marco.bs
[2012-04-27 05:11:29]
459*2^1132080-1 is not prime.  Res64: CF5AFC1760DAEB0A  Time : 0.0 sec.
user=henryzz
[2012-04-27 05:11:53]
543*2^1132083-1 is not prime.  Res64: 809595E449AC2411  Time : 0.0 sec.
user=henryzz
[2012-04-27 05:28:20]
489*2^1132084-1 is not prime.  Res64: 0542ADF1026A778E  Time : 0.0 sec.
user=henryzz
[2012-04-27 05:28:36]
583*2^1132083-1 is not prime.  Res64: A20E8F095B3F0136  Time : 0.0 sec.
user=henryzz
[2012-04-27 05:36:00]
495*2^1132084-1 is not prime.  Res64: 0373C3A7AE0718EB  Time : 0.0 sec.
user=henryzz
[2012-04-27 05:38:41]
549*2^1132084-1 is not prime.  Res64: CB9B2B0F1F031DA8  Time : 0.0 sec.
user=henryzz
[2012-04-27 05:56:02]
537*2^1132085-1 is not prime.  Res64: D24A6AAE8BEC94F4  Time : 0.0 sec.
user=henryzz
[2012-04-27 05:56:31]
469*2^1132085-1 is not prime.  Res64: 113E0064F4E7F3FF  Time : 0.0 sec.
user=marco.bs
[2012-04-27 05:59:37]
533*2^1132084-1 is not prime.  Res64: 69356969FB3B38DD  Time : 0.0 sec.
user=henryzz
[2012-04-27 06:04:03]
547*2^1132085-1 is not prime.  Res64: EB328A580EE7C54B  Time : 0.0 sec.
user=vaughan
[2012-04-27 06:06:26]
447*2^1132085-1 is not prime.  Res64: 3C175DAE80E6E025  Time : 0.0 sec.
user=henryzz
[2012-04-27 06:07:47]
461*2^1132086-1 is not prime.  Res64: 06DE34D7F03782B7  Time : 0.0 sec.
user=henryzz
[2012-04-27 06:24:42]
581*2^1132086-1 is not prime.  Res64: 40B2CF6A61495F20  Time : 0.0 sec.
user=henryzz
[2012-04-27 06:26:40]
507*2^1132086-1 is not prime.  Res64: FD7B85A245F2FCD2  Time : 0.0 sec.
user=henryzz
[2012-04-27 06:33:07]
451*2^1132087-1 is not prime.  Res64: AFD21FBAECE38A07  Time : 0.0 sec.
user=henryzz
[2012-04-27 06:34:10]
519*2^1132087-1 is not prime.  Res64: 3F9D6BC01BF908FF  Time : 0.0 sec.
user=marco.bs
[2012-04-27 06:46:49]
587*2^1132086-1 is not prime.  Res64: 6AE109A1ED972083  Time : 0.0 sec.
user=henryzz
[2012-04-27 06:52:13]
467*2^1132088-1 is not prime.  Res64: 6569573212F74775  Time : 0.0 sec.
user=henryzz
[2012-04-27 06:55:42]
473*2^1132088-1 is not prime.  Res64: F6DB74159C2E09BD  Time : 0.0 sec.
user=henryzz
[2012-04-27 07:01:26]
519*2^1132088-1 is not prime.  Res64: FE37385C8578324E  Time : 0.0 sec.
user=henryzz
[2012-04-27 07:03:12]
573*2^1132088-1 is not prime.  Res64: 918484290F74CFF8  Time : 0.0 sec.
user=henryzz
[2012-04-27 07:22:23]
555*2^1132089-1 is not prime.  Res64: 14C123431601B2E5  Time : 0.0 sec.
user=henryzz
[2012-04-27 07:23:14]
413*2^1132090-1 is not prime.  Res64: 16846D6166E74A88  Time : 0.0 sec.
user=henryzz
[2012-04-27 07:29:09]
403*2^1132091-1 is not prime.  Res64: 5649F4C70024CD49  Time : 0.0 sec.
user=henryzz
[2012-04-27 07:31:04]
527*2^1132090-1 is not prime.  Res64: 1981BC52E626CCE8  Time : 0.0 sec.
user=marco.bs
[2012-04-27 07:34:11]
585*2^1132088-1 is not prime.  Res64: 41D7BD32D57F3FDA  Time : 0.0 sec.
user=henryzz
[2012-04-27 07:45:11]
451*2^1132091-1 is not prime.  Res64: 4E963E3C2FDA4C6E  Time : 0.0 sec.
user=vaughan
[2012-04-27 07:46:36]
465*2^1132090-1 is not prime.  Res64: F42A334CBD798726  Time : 0.0 sec.
user=henryzz
[2012-04-27 07:46:54]
459*2^1132091-1 is not prime.  Res64: 126CF2FB7056E18C  Time : 0.0 sec.
user=henryzz
[2012-04-27 07:52:18]
493*2^1132091-1 is not prime.  Res64: 9191EB7886DBBA71  Time : 0.0 sec.
user=henryzz
[2012-04-27 07:54:25]
579*2^1132091-1 is not prime.  Res64: DCD3F0DC21E279EE  Time : 0.0 sec.
user=henryzz
[2012-04-27 08:06:00]
557*2^1132092-1 is not prime.  Res64: 63FCFC606B3EA691  Time : 0.0 sec.
user=henryzz
[2012-04-27 08:07:14]
427*2^1132093-1 is not prime.  Res64: 07B864214CA8E3CD  Time : 0.0 sec.
user=henryzz
[2012-04-27 08:12:58]
525*2^1132093-1 is not prime.  Res64: 787FE0ABD743C623  Time : 0.0 sec.
user=marco.bs
[2012-04-27 08:21:37]
555*2^1132092-1 is not prime.  Res64: 9A531C178BF50964  Time : 0.0 sec.
user=henryzz
[2012-04-27 08:25:56]
437*2^1132094-1 is not prime.  Res64: 9DB4DE804D948817  Time : 0.0 sec.
user=henryzz
[2012-04-27 08:26:45]
483*2^1132094-1 is not prime.  Res64: 69BC807DA199E1D3  Time : 0.0 sec.
user=henryzz
[2012-04-27 08:28:06]
513*2^1132095-1 is not prime.  Res64: CE7F498ECDC2EDAB  Time : 0.0 sec.
user=henryzz
[2012-04-27 08:33:44]
495*2^1132096-1 is not prime.  Res64: 6C55E902F8F11B24  Time : 0.0 sec.
user=henryzz
[2012-04-27 08:47:01]
575*2^1132096-1 is not prime.  Res64: F39FF85867E5DF95  Time : 0.0 sec.
user=henryzz
[2012-04-27 08:47:57]
405*2^1132097-1 is not prime.  Res64: EC8022CDC5C382AD  Time : 0.0 sec.
user=henryzz
[2012-04-27 08:49:11]
435*2^1132097-1 is not prime.  Res64: 6D09A2A4C151E706  Time : 0.0 sec.
user=henryzz
[2012-04-27 08:54:55]
549*2^1132097-1 is not prime.  Res64: 779ADF1143A88479  Time : 0.0 sec.
user=henryzz
[2012-04-27 09:08:07]
431*2^1132098-1 is not prime.  Res64: 00C725DF1BAF71FB  Time : 0.0 sec.
user=marco.bs
[2012-04-27 09:09:04]
567*2^1132096-1 is not prime.  Res64: 43D28E90F50DD4A4  Time : 0.0 sec.
user=henryzz
[2012-04-27 09:10:21]
483*2^1132098-1 is not prime.  Res64: AA7ADF4F20B95FA6  Time : 0.0 sec.
user=henryzz
[2012-04-27 09:11:10]
513*2^1132098-1 is not prime.  Res64: 7C614D678D5193EA  Time : 0.0 sec.
user=henryzz
[2012-04-27 09:15:51]
551*2^1132098-1 is not prime.  Res64: 1A7C175046983F6B  Time : 0.0 sec.
user=henryzz
[2012-04-27 09:29:03]
531*2^1132099-1 is not prime.  Res64: A29B055B41F10FF2  Time : 0.0 sec.
user=henryzz
[2012-04-27 09:31:03]
529*2^1132101-1 is not prime.  Res64: 84EFF25E57CBA9CE  Time : 0.0 sec.
user=henryzz
[2012-04-27 09:32:14]
571*2^1132101-1 is not prime.  Res64: FB19EE6B334B3FF4  Time : 0.0 sec.
user=henryzz
[2012-04-27 09:37:09]
591*2^1132101-1 is not prime.  Res64: 02B37CB43D2691A3  Time : 0.0 sec.
user=henryzz
[2012-04-27 09:50:43]
413*2^1132102-1 is not prime.  Res64: 174B32A5C77B4B2A  Time : 0.0 sec.
user=henryzz
[2012-04-27 09:52:27]
513*2^1132102-1 is not prime.  Res64: 78B17B5E7FF79C69  Time : 0.0 sec.
user=henryzz
[2012-04-27 09:53:44]
519*2^1132103-1 is not prime.  Res64: 1E0B799EC1C3C7DE  Time : 0.0 sec.
user=marco.bs
[2012-04-27 09:56:25]
479*2^1132100-1 is not prime.  Res64: 20BA8B7E8D6F6EB3  Time : 0.0 sec.
user=henryzz
[2012-04-27 09:58:19]
559*2^1132103-1 is not prime.  Res64: 2DB9E364F0B56EBC  Time : 0.0 sec.
user=henryzz
[2012-04-27 10:12:59]
413*2^1132104-1 is not prime.  Res64: D63E7F949F9F3928  Time : 0.0 sec.
user=henryzz
[2012-04-27 10:13:08]
489*2^1132104-1 is not prime.  Res64: 200111751E0858F4  Time : 0.0 sec.
user=henryzz
[2012-04-27 10:14:17]
497*2^1132104-1 is not prime.  Res64: CA131DD4EFFFC358  Time : 0.0 sec.
user=henryzz
[2012-04-27 10:18:50]
555*2^1132104-1 is not prime.  Res64: 527D1534B1C40279  Time : 0.0 sec.
user=henryzz
[2012-04-27 10:35:36]
569*2^1132104-1 is not prime.  Res64: 600248350464D88E  Time : 0.0 sec.
user=henryzz
[2012-04-27 10:35:51]
561*2^1132105-1 is not prime.  Res64: 0DA9B2DF53B61D8C  Time : 0.0 sec.
user=henryzz
[2012-04-27 10:36:56]
483*2^1132106-1 is not prime.  Res64: 3FE2D8F838A1F85D  Time : 0.0 sec.
user=henryzz
[2012-04-27 10:41:19]
495*2^1132106-1 is not prime.  Res64: DD3F69BDFAAAF568  Time : 0.0 sec.
user=marco.bs
[2012-04-27 10:43:32]
503*2^1132104-1 is not prime.  Res64: F211B863F4E169B1  Time : 0.0 sec.
user=henryzz
[2012-04-27 10:58:27]
545*2^1132106-1 is not prime.  Res64: C6E7EEEDC40F56F4  Time : 0.0 sec.
user=henryzz
[2012-04-27 11:00:09]
503*2^1132106-1 is not prime.  Res64: 784140DEB0C0F420  Time : 0.0 sec.
user=henryzz
[2012-04-27 11:00:43]
453*2^1132107-1 is not prime.  Res64: DEBE12D3E9BBCBE8  Time : 0.0 sec.
user=henryzz
[2012-04-27 11:04:03]
585*2^1132107-1 is not prime.  Res64: 7828148FA9F2663D  Time : 0.0 sec.
user=henryzz
[2012-04-27 11:21:22]
549*2^1132108-1 is not prime.  Res64: 237D246710CDBCDE  Time : 0.0 sec.
user=henryzz
[2012-04-27 11:21:26]
567*2^1132108-1 is not prime.  Res64: 8FDC653B7B07261F  Time : 0.0 sec.
user=henryzz
[2012-04-27 11:22:06]
435*2^1132109-1 is not prime.  Res64: 65397508DA69BDC7  Time : 0.0 sec.
user=henryzz
[2012-04-27 11:26:01]
465*2^1132109-1 is not prime.  Res64: 213D0B9D6FE7166E  Time : 0.0 sec.
user=marco.bs
[2012-04-27 11:30:50]
483*2^1132108-1 is not prime.  Res64: 627A4445DF0A3B7A  Time : 0.0 sec.
user=henryzz
[2012-04-27 11:43:36]
517*2^1132109-1 is not prime.  Res64: E7BE085D898296B7  Time : 0.0 sec.
user=henryzz
[2012-04-27 11:43:41]
559*2^1132109-1 is not prime.  Res64: 0C79A805B66A6541  Time : 0.0 sec.
user=henryzz
[2012-04-27 11:44:12]
567*2^1132109-1 is not prime.  Res64: 90176A6A5C4E4A11  Time : 0.0 sec.
user=henryzz
[2012-04-27 11:48:23]
483*2^1132110-1 is not prime.  Res64: C9C27DE6DB823FC1  Time : 0.0 sec.
user=vaughan
[2012-04-27 12:01:54]
511*2^1132109-1 is not prime.  Res64: BCB29FF7C65436E0  Time : 0.0 sec.
user=henryzz
[2012-04-27 12:06:13]
453*2^1132111-1 is not prime.  Res64: E38EA5F533C8BA93  Time : 0.0 sec.
user=henryzz
[2012-04-27 12:06:15]
555*2^1132110-1 is not prime.  Res64: 63B53ED883E477C9  Time : 0.0 sec.
user=henryzz
[2012-04-27 12:06:27]
581*2^1132110-1 is not prime.  Res64: F5C5B0255533A48F  Time : 0.0 sec.
user=henryzz
[2012-04-27 12:10:18]
525*2^1132111-1 is not prime.  Res64: EEF6FF59C480B3A4  Time : 0.0 sec.
user=marco.bs
[2012-04-27 12:18:07]
537*2^1132110-1 is not prime.  Res64: 5225895DA58637CC  Time : 0.0 sec.
user=henryzz
[2012-04-27 12:27:04]
563*2^1132112-1 is not prime.  Res64: F76D3ED45525AAF1  Time : 0.0 sec.
user=henryzz
[2012-04-27 12:27:13]
539*2^1132112-1 is not prime.  Res64: E3B276F909CB7780  Time : 0.0 sec.
user=henryzz
[2012-04-27 12:28:58]
533*2^1132112-1 is not prime.  Res64: 266A5F6FB3B0E633  Time : 0.0 sec.
user=henryzz
[2012-04-27 12:31:39]
405*2^1132113-1 is not prime.  Res64: 13755FC60967333A  Time : 0.0 sec.
user=henryzz
[2012-04-27 12:48:24]
595*2^1132113-1 is not prime.  Res64: 9B9C7E3F59DA3083  Time : 0.0 sec.
user=henryzz
[2012-04-27 12:48:47]
517*2^1132113-1 is not prime.  Res64: C98A117A1523B3BF  Time : 0.0 sec.
user=henryzz
[2012-04-27 12:50:37]
597*2^1132113-1 is not prime.  Res64: 3E1CDFE8D55020B5  Time : 0.0 sec.
user=henryzz
[2012-04-27 12:54:32]
413*2^1132114-1 is not prime.  Res64: F87EE967EAE9E3C9  Time : 0.0 sec.
user=marco.bs
[2012-04-27 13:05:39]
459*2^1132113-1 is not prime.  Res64: 17819A865145E335  Time : 0.0 sec.
user=henryzz
[2012-04-27 13:09:35]
435*2^1132114-1 is not prime.  Res64: 6DC6BC59C3405A20  Time : 0.0 sec.
user=henryzz
[2012-04-27 13:12:07]
495*2^1132114-1 is not prime.  Res64: 73208A6C4ECAF604  Time : 0.0 sec.
user=henryzz
[2012-04-27 13:13:13]
453*2^1132114-1 is not prime.  Res64: 3A23F213F7934B72  Time : 0.0 sec.
user=henryzz
[2012-04-27 13:16:34]
561*2^1132114-1 is not prime.  Res64: 13E53E0A6544F4F4  Time : 0.0 sec.
user=henryzz
[2012-04-27 13:31:32]
479*2^1132116-1 is not prime.  Res64: 79D4F850547DE9F2  Time : 0.0 sec.
user=henryzz
[2012-04-27 13:34:31]
539*2^1132116-1 is not prime.  Res64: 9AFC0C0ACB0DD701  Time : 0.0 sec.
user=henryzz
[2012-04-27 13:35:02]
589*2^1132117-1 is not prime.  Res64: 66AE57C5D7C7FB83  Time : 0.0 sec.
user=henryzz
[2012-04-27 13:40:46]
461*2^1132118-1 is not prime.  Res64: 86FCE8798D784DDF  Time : 0.0 sec.
user=vaughan
[2012-04-27 13:42:09]
545*2^1132114-1 is not prime.  Res64: DC585CBDDE74B3BC  Time : 0.0 sec.
user=marco.bs
[2012-04-27 13:53:01]
441*2^1132115-1 is not prime.  Res64: B554A61FD0E968E2  Time : 0.0 sec.
user=henryzz
[2012-04-27 13:53:43]
507*2^1132118-1 is not prime.  Res64: 7F055A9825928DF0  Time : 0.0 sec.
user=henryzz
[2012-04-27 13:57:04]
545*2^1132118-1 is not prime.  Res64: C59D6F4744392F2D  Time : 0.0 sec.
user=henryzz
[2012-04-27 13:57:17]
441*2^1132119-1 is not prime.  Res64: A890DEEB93B722C9  Time : 0.0 sec.
user=henryzz
[2012-04-27 14:03:20]
483*2^1132119-1 is not prime.  Res64: 437736EE623C64EE  Time : 0.0 sec.
user=henryzz
[2012-04-27 14:15:27]
559*2^1132119-1 is not prime.  Res64: AE51826D6B50F67F  Time : 0.0 sec.
user=henryzz
[2012-04-27 14:19:11]
405*2^1132120-1 is not prime.  Res64: BE494870E888AF17  Time : 0.0 sec.
user=henryzz
[2012-04-27 14:19:29]
453*2^1132120-1 is not prime.  Res64: 4BB9E3BB1261ABDD  Time : 0.0 sec.
user=henryzz
[2012-04-27 14:24:45]
593*2^1132120-1 is not prime.  Res64: 3CC7EAC83F56E5B2  Time : 0.0 sec.
user=henryzz
[2012-04-27 14:39:11]
405*2^1132121-1 is not prime.  Res64: 2BB71CCF18479D2A  Time : 0.0 sec.
user=marco.bs
[2012-04-27 14:40:03]
513*2^1132119-1 is not prime.  Res64: 4950DB0BAEFCAC98  Time : 0.0 sec.
user=henryzz
[2012-04-27 14:41:23]
447*2^1132121-1 is not prime.  Res64: CE5A20900A13AC47  Time : 0.0 sec.
user=henryzz
[2012-04-27 14:41:25]
409*2^1132121-1 is not prime.  Res64: 001C4EC23CF708E5  Time : 0.0 sec.
user=henryzz
[2012-04-27 14:48:12]
477*2^1132121-1 is not prime.  Res64: CEC2E40EE408FE3A  Time : 0.0 sec.
user=henryzz
[2012-04-27 15:03:20]
487*2^1132121-1 is not prime.  Res64: 7A9485F64B6ECB5A  Time : 0.0 sec.
user=henryzz
[2012-04-27 15:04:45]
453*2^1132122-1 is not prime.  Res64: CD06730CC9A6D709  Time : 0.0 sec.
user=henryzz
[2012-04-27 15:04:58]
417*2^1132122-1 is not prime.  Res64: 9FD0B4044083FEC2  Time : 0.0 sec.
user=henryzz
[2012-04-27 15:11:54]
521*2^1132122-1 is not prime.  Res64: 82143AE792838444  Time : 0.0 sec.
user=henryzz
[2012-04-27 15:27:15]
411*2^1132123-1 is not prime.  Res64: 0FE10C3B440744FF  Time : 0.0 sec.
user=marco.bs
[2012-04-27 15:27:30]
405*2^1132122-1 is not prime.  Res64: 2C2BB1C1B79BAD81  Time : 0.0 sec.
user=henryzz
[2012-04-27 15:28:15]
587*2^1132122-1 is not prime.  Res64: 7FF1169A7D887ECB  Time : 0.0 sec.
user=marco.bs
[2012-04-27 16:15:04]
447*2^1132125-1 is not prime.  Res64: ED49145B1FA41B43  Time : 0.0 sec.
user=marco.bs
[2012-04-27 17:03:06]
529*2^1132125-1 is not prime.  Res64: 8AF1DF2EB04792AD  Time : 0.0 sec.
user=henryzz
[2012-04-27 17:16:38]
545*2^1132124-1 is not prime.  Res64: DCA87072559BBD19  Time : 0.0 sec.
user=henryzz
[2012-04-27 17:17:59]
487*2^1132125-1 is not prime.  Res64: 8B0631C5721127A8  Time : 0.0 sec.
user=henryzz
[2012-04-27 17:23:42]
567*2^1132122-1 is not prime.  Res64: 545F1B5FA688685D  Time : 0.0 sec.
user=henryzz
[2012-04-27 17:24:29]
587*2^1132124-1 is not prime.  Res64: CA64B12DE8F1A3F5  Time : 0.0 sec.
user=henryzz
[2012-04-27 17:41:24]
415*2^1132129-1 is not prime.  Res64: E4FFA780CEB55970  Time : 0.0 sec.
user=henryzz
[2012-04-27 17:43:20]
457*2^1132129-1 is not prime.  Res64: E8826B77EE93F59D  Time : 0.0 sec.
user=henryzz
[2012-04-27 17:49:23]
477*2^1132129-1 is not prime.  Res64: 75621411F83B0118  Time : 0.0 sec.
user=henryzz
[2012-04-27 17:50:21]
507*2^1132129-1 is not prime.  Res64: 23A3D80C3750CD72  Time : 0.0 sec.
user=marco.bs
[2012-04-27 17:52:20]
563*2^1132128-1 is not prime.  Res64: 4C62D3B016663513  Time : 0.0 sec.
user=henryzz
[2012-04-27 18:06:52]
535*2^1132129-1 is not prime.  Res64: DDD74A3273DFFAAE  Time : 0.0 sec.
user=henryzz
[2012-04-27 18:09:31]
473*2^1132130-1 is not prime.  Res64: B4D1B5118A3E8D04  Time : 0.0 sec.
user=henryzz
[2012-04-27 18:13:27]
563*2^1132130-1 is not prime.  Res64: 34BDBE7A79C0BD07  Time : 0.0 sec.
user=henryzz
[2012-04-27 18:16:20]
469*2^1132131-1 is not prime.  Res64: F6F5BFC5AA14090A  Time : 0.0 sec.
user=henryzz
[2012-04-27 18:32:01]
489*2^1132132-1 is not prime.  Res64: 56B35C1F9D2CB2C7  Time : 0.0 sec.
user=henryzz
[2012-04-27 18:32:26]
563*2^1132132-1 is not prime.  Res64: 2AEEC0DDF16239B8  Time : 0.0 sec.
user=henryzz
[2012-04-27 18:35:29]
465*2^1132133-1 is not prime.  Res64: F0C809F3F4508031  Time : 0.0 sec.
user=henryzz
[2012-04-27 18:40:31]
453*2^1132134-1 is not prime.  Res64: 6CA8F7C00C733C02  Time : 0.0 sec.
user=henryzz
[2012-04-27 18:54:10]
525*2^1132134-1 is not prime.  Res64: FC3FD71B30E46E72  Time : 0.0 sec.
user=henryzz
[2012-04-27 18:55:42]
463*2^1132135-1 is not prime.  Res64: E52370AB4371D8CE  Time : 0.0 sec.
user=henryzz
[2012-04-27 18:57:00]
473*2^1132134-1 is not prime.  Res64: CB5A8E89F56C0288  Time : 0.0 sec.
user=henryzz
[2012-04-27 19:02:12]
465*2^1132135-1 is not prime.  Res64: 86609AC9E3814CF7  Time : 0.0 sec.
user=henryzz
[2012-04-27 19:15:49]
475*2^1132135-1 is not prime.  Res64: 0082F42E5F251AC8  Time : 0.0 sec.
user=henryzz
[2012-04-27 19:17:16]
493*2^1132135-1 is not prime.  Res64: AF243CAA264F6738  Time : 0.0 sec.
user=henryzz
[2012-04-27 19:18:59]
535*2^1132135-1 is not prime.  Res64: 22B791763F1D95E2  Time : 0.0 sec.
user=henryzz
[2012-04-27 19:24:07]
595*2^1132135-1 is not prime.  Res64: 5BCB43807664E69E  Time : 0.0 sec.
user=henryzz
[2012-04-27 19:38:02]
479*2^1132136-1 is not prime.  Res64: 488D9B698FB0F879  Time : 0.0 sec.
user=henryzz
[2012-04-27 19:39:40]
525*2^1132136-1 is not prime.  Res64: 0E9570C6AEF3004D  Time : 0.0 sec.
user=henryzz
[2012-04-27 19:41:40]
539*2^1132136-1 is not prime.  Res64: 891D8B65B8603B05  Time : 0.0 sec.
user=henryzz
[2012-04-27 19:46:11]
557*2^1132136-1 is not prime.  Res64: 72A12E8B8265C3BF  Time : 0.0 sec.
user=henryzz
[2012-04-27 19:59:16]
427*2^1132137-1 is not prime.  Res64: 138B01770EF81DA3  Time : 0.0 sec.
user=henryzz
[2012-04-27 20:02:20]
405*2^1132137-1 is not prime.  Res64: 1EB9144CD14DE107  Time : 0.0 sec.
user=henryzz
[2012-04-27 20:02:32]
529*2^1132137-1 is not prime.  Res64: 0EF5373270007B38  Time : 0.0 sec.
user=henryzz
[2012-04-27 20:07:33]
571*2^1132137-1 is not prime.  Res64: D9B7B75A7B0F2E43  Time : 0.0 sec.
user=henryzz
[2012-04-27 20:20:29]
577*2^1132137-1 is not prime.  Res64: 204E6DA4B4958435  Time : 0.0 sec.
user=henryzz
[2012-04-27 20:24:24]
401*2^1132138-1 is not prime.  Res64: A2E5A691634C868D  Time : 0.0 sec.
user=henryzz
[2012-04-27 20:25:01]
497*2^1132138-1 is not prime.  Res64: 054EBA54C2B2AFF5  Time : 0.0 sec.
user=henryzz
[2012-04-27 20:30:10]
567*2^1132138-1 is not prime.  Res64: 76A545E70B2DF72A  Time : 0.0 sec.
user=henryzz
[2012-04-27 20:42:17]
575*2^1132138-1 is not prime.  Res64: E0D95BC35FF34AD0  Time : 0.0 sec.
user=henryzz
[2012-04-27 20:45:58]
553*2^1132139-1 is not prime.  Res64: BF81CC93231843DF  Time : 0.0 sec.
user=henryzz
[2012-04-27 20:49:38]
465*2^1132139-1 is not prime.  Res64: 674D7F791EDD6152  Time : 0.0 sec.
user=henryzz
[2012-04-27 20:49:56]
503*2^1132140-1 is not prime.  Res64: DA82E64AB77F6B4F  Time : 0.0 sec.
user=henryzz
[2012-04-27 21:06:58]
525*2^1132140-1 is not prime.  Res64: 34ABD2E7488FCC97  Time : 0.0 sec.
user=henryzz
[2012-04-27 21:07:02]
549*2^1132140-1 is not prime.  Res64: 8251904DDF322FF3  Time : 0.0 sec.
user=henryzz
[2012-04-27 21:09:42]
415*2^1132141-1 is not prime.  Res64: E3FC77C90D9D3073  Time : 0.0 sec.
user=henryzz
[2012-04-27 21:11:15]
555*2^1132140-1 is not prime.  Res64: F6CFB4A0221983C7  Time : 0.0 sec.
user=henryzz
[2012-04-27 21:28:05]
425*2^1132142-1 is not prime.  Res64: 495DB09A4A8A2559  Time : 0.0 sec.
user=henryzz
[2012-04-27 21:28:36]
407*2^1132142-1 is not prime.  Res64: FEC76AA1F664BDAA  Time : 0.0 sec.
user=henryzz
[2012-04-27 21:30:08]
447*2^1132142-1 is not prime.  Res64: 46BC4D75A3F16DBE  Time : 0.0 sec.
user=henryzz
[2012-04-27 21:35:20]
501*2^1132142-1 is not prime.  Res64: C78398F799758175  Time : 0.0 sec.
user=henryzz
[2012-04-27 21:48:46]
561*2^1132142-1 is not prime.  Res64: 47EF7F6C90B9B54F  Time : 0.0 sec.
user=henryzz
[2012-04-27 21:49:17]
563*2^1132142-1 is not prime.  Res64: 5C3B0896CF129005  Time : 0.0 sec.
user=henryzz
[2012-04-27 21:51:06]
415*2^1132143-1 is not prime.  Res64: 6B6EFB41BC736D1C  Time : 0.0 sec.
user=henryzz
[2012-04-27 21:58:34]
543*2^1132143-1 is not prime.  Res64: A5E0858F77C07DFB  Time : 0.0 sec.
user=henryzz
[2012-04-27 22:10:22]
573*2^1132143-1 is not prime.  Res64: 97B2D0900718D335  Time : 0.0 sec.
user=henryzz
[2012-04-27 22:11:11]
419*2^1132144-1 is not prime.  Res64: 82EDC171E76C95DE  Time : 0.0 sec.
user=henryzz
[2012-04-27 22:12:41]
519*2^1132144-1 is not prime.  Res64: C95481D5C05B9743  Time : 0.0 sec.
user=henryzz
[2012-04-27 22:18:27]
409*2^1132145-1 is not prime.  Res64: C7B178A1FA337543  Time : 0.0 sec.
user=henryzz
[2012-04-27 22:32:26]
441*2^1132145-1 is not prime.  Res64: A8DDFBB20650AA1F  Time : 0.0 sec.
user=henryzz
[2012-04-27 22:33:14]
459*2^1132145-1 is not prime.  Res64: 379298445A3E9A86  Time : 0.0 sec.
user=henryzz
[2012-04-27 22:34:55]
579*2^1132145-1 is not prime.  Res64: 189EDA4C8861E55A  Time : 0.0 sec.
user=henryzz
[2012-04-27 22:39:23]
437*2^1132146-1 is not prime.  Res64: 5491F4D83F4B78AB  Time : 0.0 sec.
user=henryzz
[2012-04-27 22:53:12]
497*2^1132146-1 is not prime.  Res64: A25CA8E20C535340  Time : 0.0 sec.
user=henryzz
[2012-04-27 22:56:00]
563*2^1132146-1 is not prime.  Res64: 1C1CFA1B9D7BBF55  Time : 0.0 sec.
user=henryzz
[2012-04-27 22:56:17]
447*2^1132146-1 is not prime.  Res64: 40FA8F9C5AC907C1  Time : 0.0 sec.
user=henryzz
[2012-04-27 23:00:14]
429*2^1132147-1 is not prime.  Res64: 936713CAF22378E1  Time : 0.0 sec.
user=henryzz
[2012-04-27 23:14:33]
483*2^1132147-1 is not prime.  Res64: C6F98769FD6521E8  Time : 0.0 sec.
user=henryzz
[2012-04-27 23:17:28]
511*2^1132147-1 is not prime.  Res64: A7A79349A9B68FB2  Time : 0.0 sec.
user=henryzz
[2012-04-27 23:17:32]
541*2^1132147-1 is not prime.  Res64: 9B818FDE4F7A925F  Time : 0.0 sec.
user=henryzz
[2012-04-27 23:21:52]
589*2^1132147-1 is not prime.  Res64: B7478F3372B7AF96  Time : 0.0 sec.
user=henryzz
[2012-04-27 23:34:37]
525*2^1132148-1 is not prime.  Res64: 913AB4F9E4D2C759  Time : 0.0 sec.
user=henryzz
[2012-04-27 23:39:11]
511*2^1132149-1 is not prime.  Res64: 27C6E6E2222F2FF4  Time : 0.0 sec.
user=henryzz
[2012-04-27 23:39:23]
459*2^1132149-1 is not prime.  Res64: 515D35509E78F07F  Time : 0.0 sec.
user=henryzz
[2012-04-27 23:43:40]
597*2^1132149-1 is not prime.  Res64: C73CEB1F915F5469  Time : 0.0 sec.
user=henryzz
[2012-04-27 23:55:28]
413*2^1132150-1 is not prime.  Res64: 26B10BEFD1918458  Time : 0.0 sec.
user=henryzz
[2012-04-27 23:59:43]
561*2^1132150-1 is not prime.  Res64: 26B3309B1E253963  Time : 0.0 sec.