user=henryzz
[2012-03-26 00:02:08]
481*2^1128573-1 is not prime.  Res64: EBBF078696FE5C72  Time : 0.0 sec.
user=odicin
[2012-03-26 00:05:54]
517*2^1128573-1 is not prime.  Res64: 4B1902F8F8997862  Time : 0.0 sec.
user=odicin
[2012-03-26 00:05:59]
529*2^1128573-1 is not prime.  Res64: 26571E1C68BEDB66  Time : 0.0 sec.
user=henryzz
[2012-03-26 00:10:02]
565*2^1128573-1 is not prime.  Res64: E6F0F226F5322912  Time : 0.0 sec.
user=henryzz
[2012-03-26 00:14:05]
597*2^1128573-1 is not prime.  Res64: AE947C10A010390F  Time : 0.0 sec.
user=juhehe
[2012-03-26 00:17:57]
495*2^1128574-1 is not prime.  Res64: B155A0CCE8D542DE  Time : 0.0 sec.
user=henryzz
[2012-03-26 00:23:06]
441*2^1128575-1 is not prime.  Res64: 8A46E097956120F1  Time : 0.0 sec.
user=henryzz
[2012-03-26 00:23:53]
411*2^1128575-1 is not prime.  Res64: 155486CE806B81BD  Time : 0.0 sec.
user=odicin
[2012-03-26 00:27:30]
475*2^1128575-1 is not prime.  Res64: AE7B4280E6C56077  Time : 0.0 sec.
user=odicin
[2012-03-26 00:27:35]
553*2^1128575-1 is not prime.  Res64: D22817ED6C748C4A  Time : 0.0 sec.
user=henryzz
[2012-03-26 00:30:45]
453*2^1128576-1 is not prime.  Res64: 91A06992FC41167A  Time : 0.0 sec.
user=juhehe
[2012-03-26 00:35:17]
479*2^1128576-1 is not prime.  Res64: EBDF69DD4B731A4F  Time : 0.0 sec.
user=henryzz
[2012-03-26 00:37:22]
465*2^1128576-1 is not prime.  Res64: F14985B4A646CFB8  Time : 0.0 sec.
user=henryzz
[2012-03-26 00:44:01]
485*2^1128576-1 is not prime.  Res64: 2E41E9563AA6FF13  Time : 0.0 sec.
user=henryzz
[2012-03-26 00:46:49]
593*2^1128576-1 is not prime.  Res64: D343A03AEA41E85D  Time : 0.0 sec.
user=odicin
[2012-03-26 00:48:32]
441*2^1128577-1 is not prime.  Res64: 5642227D1EEDA784  Time : 0.0 sec.
user=odicin
[2012-03-26 00:48:36]
471*2^1128577-1 is not prime.  Res64: 329DAC6049BA689F  Time : 0.0 sec.
user=juhehe
[2012-03-26 00:52:36]
555*2^1128577-1 is not prime.  Res64: 7ED308A89E5789B9  Time : 0.0 sec.
user=henryzz
[2012-03-26 00:53:07]
499*2^1128577-1 is not prime.  Res64: 18497E6936761991  Time : 0.0 sec.
user=henryzz
[2012-03-26 00:58:38]
561*2^1128577-1 is not prime.  Res64: EC0D615ACA4743A9  Time : 0.0 sec.
user=henryzz
[2012-03-26 01:06:49]
437*2^1128578-1 is not prime.  Res64: 8935039EBADDCEE2  Time : 0.0 sec.
user=henryzz
[2012-03-26 01:07:26]
585*2^1128578-1 is not prime.  Res64: A088656BD76CF6FD  Time : 0.0 sec.
user=odicin
[2012-03-26 01:09:40]
411*2^1128579-1 is not prime.  Res64: 3BB02C5C202D6756  Time : 0.0 sec.
user=odicin
[2012-03-26 01:09:45]
415*2^1128579-1 is not prime.  Res64: 574D7426A022CAD7  Time : 0.0 sec.
user=juhehe
[2012-03-26 01:09:57]
525*2^1128580-1 is not prime.  Res64: 51E1291DABF55DDB  Time : 0.0 sec.
user=henryzz
[2012-03-26 01:16:43]
537*2^1128580-1 is not prime.  Res64: 5BA4AECC0F6EE49F  Time : 0.0 sec.
user=henryzz
[2012-03-26 01:20:51]
545*2^1128580-1 is not prime.  Res64: DC10D926CD7E82C7  Time : 0.0 sec.
user=juhehe
[2012-03-26 01:27:19]
437*2^1128582-1 is not prime.  Res64: 10F63C785FF8F47C  Time : 0.0 sec.
user=henryzz
[2012-03-26 01:28:35]
525*2^1128581-1 is not prime.  Res64: EED2DE248EE53BC1  Time : 0.0 sec.
user=henryzz
[2012-03-26 01:29:41]
409*2^1128581-1 is not prime.  Res64: 9221AAC93BB740AE  Time : 0.0 sec.
user=odicin
[2012-03-26 01:31:13]
577*2^1128581-1 is not prime.  Res64: 9023F722CCC2846B  Time : 0.0 sec.
user=odicin
[2012-03-26 01:31:13]
585*2^1128581-1 is not prime.  Res64: 9182271CD7CAC2F5  Time : 0.0 sec.
user=henryzz
[2012-03-26 01:37:38]
593*2^1128582-1 is not prime.  Res64: 342A22147105450D  Time : 0.0 sec.
user=henryzz
[2012-03-26 01:44:00]
421*2^1128583-1 is not prime.  Res64: 38A4599A773A8B30  Time : 0.0 sec.
user=juhehe
[2012-03-26 01:44:40]
441*2^1128583-1 is not prime.  Res64: 4D360A3D33D9A72A  Time : 0.0 sec.
user=henryzz
[2012-03-26 01:49:47]
463*2^1128583-1 is not prime.  Res64: EBD7D84C7A737AAC  Time : 0.0 sec.
user=odicin
[2012-03-26 01:51:36]
505*2^1128583-1 is not prime.  Res64: DD6AC7D161CA9B98  Time : 0.0 sec.
user=odicin
[2012-03-26 01:51:39]
425*2^1128584-1 is not prime.  Res64: DCFF23B5B6C0BA23  Time : 0.0 sec.
user=henryzz
[2012-03-26 01:53:24]
493*2^1128583-1 is not prime.  Res64: A3FF9C0AF8F3C623  Time : 0.0 sec.
user=henryzz
[2012-03-26 01:59:00]
519*2^1128584-1 is not prime.  Res64: FD8003AE27D7EE97  Time : 0.0 sec.
user=juhehe
[2012-03-26 02:02:03]
441*2^1128585-1 is not prime.  Res64: 7F897374C371839E  Time : 0.0 sec.
user=henryzz
[2012-03-26 02:05:36]
563*2^1128584-1 is not prime.  Res64: 4E983D3730F59A33  Time : 0.0 sec.
user=odicin
[2012-03-26 02:12:01]
447*2^1128585-1 is not prime.  Res64: 324836C9E0C757AB  Time : 0.0 sec.
user=odicin
[2012-03-26 02:12:04]
475*2^1128585-1 is not prime.  Res64: 9A1D9688E56F361A  Time : 0.0 sec.
user=henryzz
[2012-03-26 02:12:43]
445*2^1128585-1 is not prime.  Res64: 215D4E4CB198AC33  Time : 0.0 sec.
user=henryzz
[2012-03-26 02:14:46]
595*2^1128585-1 is not prime.  Res64: 4F7E092A6077B12A  Time : 0.0 sec.
user=juhehe
[2012-03-26 02:19:24]
597*2^1128586-1 is not prime.  Res64: 5640817961292CCF  Time : 0.0 sec.
user=henryzz
[2012-03-26 02:20:18]
525*2^1128586-1 is not prime.  Res64: 515D38ED57C66AF0  Time : 0.0 sec.
user=henryzz
[2012-03-26 02:29:00]
511*2^1128587-1 is not prime.  Res64: B6D4AD138BF1E623  Time : 0.0 sec.
user=odicin
[2012-03-26 02:32:29]
519*2^1128587-1 is not prime.  Res64: AB943932196E0E6B  Time : 0.0 sec.
user=odicin
[2012-03-26 02:32:31]
549*2^1128587-1 is not prime.  Res64: BCBDA5E3402D0AD3  Time : 0.0 sec.
user=henryzz
[2012-03-26 02:34:49]
465*2^1128588-1 is not prime.  Res64: 7104AFDBA21A657B  Time : 0.0 sec.
user=henryzz
[2012-03-26 02:35:23]
483*2^1128588-1 is not prime.  Res64: E4C93A96CAAA9217  Time : 0.0 sec.
user=juhehe
[2012-03-26 02:36:46]
515*2^1128588-1 is not prime.  Res64: 8E7E917C7B263BD1  Time : 0.0 sec.
user=henryzz
[2012-03-26 02:43:20]
537*2^1128588-1 is not prime.  Res64: 7FF25539AF9EE944  Time : 0.0 sec.
user=henryzz
[2012-03-26 02:51:20]
411*2^1128589-1 is not prime.  Res64: 359190C35192AB23  Time : 0.0 sec.
user=odicin
[2012-03-26 02:52:56]
427*2^1128589-1 is not prime.  Res64: C7761255A80CEFC6  Time : 0.0 sec.
user=odicin
[2012-03-26 02:52:57]
439*2^1128589-1 is not prime.  Res64: 4B5D3B08B5573438  Time : 0.0 sec.
user=juhehe
[2012-03-26 02:54:09]
525*2^1128589-1 is not prime.  Res64: EFDF4B6AE02B8379  Time : 0.0 sec.
user=henryzz
[2012-03-26 02:55:43]
469*2^1128589-1 is not prime.  Res64: 5FE2D7CABDC113BE  Time : 0.0 sec.
user=henryzz
[2012-03-26 02:57:54]
477*2^1128589-1 is not prime.  Res64: FAE26F3B8619288F  Time : 0.0 sec.
user=henryzz
[2012-03-26 03:05:37]
537*2^1128589-1 is not prime.  Res64: 4493267D473B7DC0  Time : 0.0 sec.
user=juhehe
[2012-03-26 03:11:30]
417*2^1128590-1 is not prime.  Res64: 5FF978A82FA893DE  Time : 0.0 sec.
user=henryzz
[2012-03-26 03:12:30]
559*2^1128589-1 is not prime.  Res64: E6B499759560B24E  Time : 0.0 sec.
user=odicin
[2012-03-26 03:13:21]
589*2^1128589-1 is not prime.  Res64: C793517BDA25A513  Time : 0.0 sec.
user=odicin
[2012-03-26 03:13:24]
411*2^1128590-1 is not prime.  Res64: 4EA73404FE1FE39B  Time : 0.0 sec.
user=henryzz
[2012-03-26 03:17:40]
467*2^1128590-1 is not prime.  Res64: 9DC53ED10E3DA7AE  Time : 0.0 sec.
user=henryzz
[2012-03-26 03:19:53]
503*2^1128590-1 is not prime.  Res64: D600CCE3D9A068F3  Time : 0.0 sec.
user=henryzz
[2012-03-26 03:28:31]
581*2^1128590-1 is not prime.  Res64: C2DA7B2D6F48277F  Time : 0.0 sec.
user=juhehe
[2012-03-26 03:28:51]
429*2^1128592-1 is not prime.  Res64: A86C00352FDE5743  Time : 0.0 sec.
user=odicin
[2012-03-26 03:33:47]
549*2^1128592-1 is not prime.  Res64: 8AA117BCC76682BA  Time : 0.0 sec.
user=odicin
[2012-03-26 03:33:50]
563*2^1128592-1 is not prime.  Res64: A60926EDD33E44CB  Time : 0.0 sec.
user=henryzz
[2012-03-26 03:34:33]
453*2^1128592-1 is not prime.  Res64: 66B90FD2000C4AD6  Time : 0.0 sec.
user=henryzz
[2012-03-26 03:38:10]
569*2^1128592-1 is not prime.  Res64: 6940765210B9D57D  Time : 0.0 sec.
user=henryzz
[2012-03-26 03:42:27]
573*2^1128592-1 is not prime.  Res64: 35065A3D3B3D7C7E  Time : 0.0 sec.
user=juhehe
[2012-03-26 03:46:10]
409*2^1128593-1 is not prime.  Res64: AF362608B5245928  Time : 0.0 sec.
user=henryzz
[2012-03-26 03:49:28]
593*2^1128592-1 is not prime.  Res64: 2F0C3464173D735C  Time : 0.0 sec.
user=odicin
[2012-03-26 03:54:14]
439*2^1128593-1 is not prime.  Res64: 8857A3D6238B6679  Time : 0.0 sec.
user=odicin
[2012-03-26 03:54:15]
495*2^1128593-1 is not prime.  Res64: 6E5C109864834E23  Time : 0.0 sec.
user=henryzz
[2012-03-26 03:56:33]
507*2^1128593-1 is not prime.  Res64: C8B73F22D027A183  Time : 0.0 sec.
user=henryzz
[2012-03-26 03:59:26]
543*2^1128594-1 is not prime.  Res64: 94CD776ED4A50078  Time : 0.0 sec.
user=juhehe
[2012-03-26 04:03:31]
415*2^1128595-1 is not prime.  Res64: D9EA56121EEE6939  Time : 0.0 sec.
user=henryzz
[2012-03-26 04:05:22]
551*2^1128594-1 is not prime.  Res64: 7908038EF09835F7  Time : 0.0 sec.
user=henryzz
[2012-03-26 04:11:21]
555*2^1128595-1 is not prime.  Res64: 4ECB39F6D45F2702  Time : 0.0 sec.
user=odicin
[2012-03-26 04:14:36]
579*2^1128595-1 is not prime.  Res64: EC9A59401D7AF06F  Time : 0.0 sec.
user=odicin
[2012-03-26 04:14:37]
503*2^1128596-1 is not prime.  Res64: 6FE737FEA8286875  Time : 0.0 sec.
user=henryzz
[2012-03-26 04:19:56]
573*2^1128596-1 is not prime.  Res64: 685034CDA60600E3  Time : 0.0 sec.
user=juhehe
[2012-03-26 04:20:57]
517*2^1128597-1 is not prime.  Res64: 826FD880679B149F  Time : 0.0 sec.
user=henryzz
[2012-03-26 04:22:28]
475*2^1128597-1 is not prime.  Res64: B7BADA383EB87B4B  Time : 0.0 sec.
user=henryzz
[2012-03-26 04:29:23]
555*2^1128597-1 is not prime.  Res64: 6CFF9C1A8477A360  Time : 0.0 sec.
user=henryzz
[2012-03-26 04:34:58]
571*2^1128597-1 is not prime.  Res64: AFBA13893F15EAFF  Time : 0.0 sec.
user=odicin
[2012-03-26 04:35:17]
585*2^1128597-1 is not prime.  Res64: 8749E2723E303013  Time : 0.0 sec.
user=odicin
[2012-03-26 04:35:20]
453*2^1128598-1 is not prime.  Res64: C94E615502470488  Time : 0.0 sec.
user=juhehe
[2012-03-26 04:38:17]
551*2^1128598-1 is not prime.  Res64: 7F5DE2FB0ECB4B0F  Time : 0.0 sec.
user=henryzz
[2012-03-26 04:42:58]
491*2^1128598-1 is not prime.  Res64: 57DE07093E60C0CD  Time : 0.0 sec.
user=henryzz
[2012-03-26 04:43:19]
433*2^1128599-1 is not prime.  Res64: 3C4F052C0404446E  Time : 0.0 sec.
user=henryzz
[2012-03-26 04:51:21]
505*2^1128599-1 is not prime.  Res64: D2098F1365934ADE  Time : 0.0 sec.
user=henryzz
[2012-03-26 04:55:27]
549*2^1128599-1 is not prime.  Res64: 524A51C44FAE4CD3  Time : 0.0 sec.
user=juhehe
[2012-03-26 04:55:38]
595*2^1128599-1 is not prime.  Res64: 404639A40859C2F1  Time : 0.0 sec.
user=odicin
[2012-03-26 04:55:41]
559*2^1128599-1 is not prime.  Res64: 4AF6CF97833548F0  Time : 0.0 sec.
user=henryzz
[2012-03-26 05:03:23]
597*2^1128600-1 is not prime.  Res64: 5AB039C8134219DE  Time : 0.0 sec.
user=henryzz
[2012-03-26 05:04:18]
411*2^1128601-1 is not prime.  Res64: 4FBF26042060F966  Time : 0.0 sec.
user=henryzz
[2012-03-26 05:12:18]
511*2^1128601-1 is not prime.  Res64: 4FE6B0196AA6FDB6  Time : 0.0 sec.
user=juhehe
[2012-03-26 05:13:02]
407*2^1128602-1 is not prime.  Res64: 245B580A09DAEECC  Time : 0.0 sec.
user=henryzz
[2012-03-26 05:15:30]
577*2^1128601-1 is not prime.  Res64: 8E760379C7D95F9F  Time : 0.0 sec.
user=odicin
[2012-03-26 05:16:02]
467*2^1128602-1 is not prime.  Res64: 34DA40C6626FF734  Time : 0.0 sec.
user=henryzz
[2012-03-26 05:23:26]
525*2^1128602-1 is not prime.  Res64: 87334DE7BF7B9978  Time : 0.0 sec.
user=henryzz
[2012-03-26 05:25:01]
439*2^1128603-1 is not prime.  Res64: 3AC2E5D16C0B307D  Time : 0.0 sec.
user=juhehe
[2012-03-26 05:30:25]
465*2^1128603-1 is not prime.  Res64: 7A4E7F9FACDD41A6  Time : 0.0 sec.
user=henryzz
[2012-03-26 05:33:23]
445*2^1128603-1 is not prime.  Res64: B5402B5B940E13FB  Time : 0.0 sec.
user=henryzz
[2012-03-26 05:35:37]
501*2^1128603-1 is not prime.  Res64: 2F4BA8C51BF47EC1  Time : 0.0 sec.
user=odicin
[2012-03-26 05:36:20]
585*2^1128603-1 is not prime.  Res64: 9EBF272F1C132B08  Time : 0.0 sec.
user=henryzz
[2012-03-26 05:44:21]
435*2^1128604-1 is not prime.  Res64: 8FC9B1A19D924FA2  Time : 0.0 sec.
user=henryzz
[2012-03-26 05:45:11]
513*2^1128604-1 is not prime.  Res64: 8CC33B1305EA864B  Time : 0.0 sec.
user=juhehe
[2012-03-26 05:47:48]
587*2^1128604-1 is not prime.  Res64: CB57FCDB03614477  Time : 0.0 sec.
user=henryzz
[2012-03-26 05:54:01]
441*2^1128605-1 is not prime.  Res64: 688A10BFB706742A  Time : 0.0 sec.
user=henryzz
[2012-03-26 05:55:30]
477*2^1128605-1 is not prime.  Res64: 7B21F63B621859DC  Time : 0.0 sec.
user=odicin
[2012-03-26 05:56:39]
489*2^1128605-1 is not prime.  Res64: EDD75728297267C1  Time : 0.0 sec.
user=juhehe
[2012-03-26 06:05:11]
563*2^1128606-1 is not prime.  Res64: 55179DD3C164F1DF  Time : 0.0 sec.
user=henryzz
[2012-03-26 06:05:23]
525*2^1128605-1 is not prime.  Res64: 077B29999FCA8AA8  Time : 0.0 sec.
user=henryzz
[2012-03-26 06:05:27]
471*2^1128606-1 is not prime.  Res64: AC1DE5FED23E0371  Time : 0.0 sec.
user=henryzz
[2012-03-26 06:15:34]
567*2^1128606-1 is not prime.  Res64: B8F8738BCE33C9BD  Time : 0.0 sec.
user=henryzz
[2012-03-26 06:15:58]
463*2^1128607-1 is not prime.  Res64: 0C55510B23FCF595  Time : 0.0 sec.
user=odicin
[2012-03-26 06:16:58]
553*2^1128607-1 is not prime.  Res64: 15A106EB178C439C  Time : 0.0 sec.
user=juhehe
[2012-03-26 06:22:36]
437*2^1128608-1 is not prime.  Res64: 5FE5F24BB8A68D06  Time : 0.0 sec.
user=henryzz
[2012-03-26 06:25:45]
479*2^1128608-1 is not prime.  Res64: C5428FB63FD581C3  Time : 0.0 sec.
user=henryzz
[2012-03-26 06:26:31]
503*2^1128608-1 is not prime.  Res64: CC9B404277C5BD65  Time : 0.0 sec.
user=henryzz
[2012-03-26 06:35:08]
525*2^1128608-1 is not prime.  Res64: CEB08EA032B88062  Time : 0.0 sec.
user=henryzz
[2012-03-26 06:36:43]
415*2^1128609-1 is not prime.  Res64: 3B47448449860D4A  Time : 0.0 sec.
user=odicin
[2012-03-26 06:37:17]
445*2^1128609-1 is not prime.  Res64: 33FBBCBF2B483079  Time : 0.0 sec.
user=juhehe
[2012-03-26 06:39:58]
465*2^1128609-1 is not prime.  Res64: 4D533401D9B7AC5A  Time : 0.0 sec.
user=henryzz
[2012-03-26 06:46:11]
571*2^1128609-1 is not prime.  Res64: 2E0E58A55A85F4CD  Time : 0.0 sec.
user=henryzz
[2012-03-26 06:46:13]
437*2^1128610-1 is not prime.  Res64: 2CECDA8B6353F2D6  Time : 0.0 sec.
user=henryzz
[2012-03-26 06:55:49]
453*2^1128610-1 is not prime.  Res64: FDB7FC41927C694F  Time : 0.0 sec.
user=henryzz
[2012-03-26 06:56:24]
561*2^1128610-1 is not prime.  Res64: FC1D17C595A0DB62  Time : 0.0 sec.
user=juhehe
[2012-03-26 06:57:19]
511*2^1128611-1 is not prime.  Res64: D47E120CEC48ACFC  Time : 0.0 sec.
user=odicin
[2012-03-26 06:57:35]
421*2^1128611-1 is not prime.  Res64: 881333B1A9615D86  Time : 0.0 sec.
user=henryzz
[2012-03-26 07:06:03]
585*2^1128611-1 is not prime.  Res64: 6C50546F8203CD16  Time : 0.0 sec.
user=henryzz
[2012-03-26 07:06:57]
519*2^1128611-1 is not prime.  Res64: DF9364B5312F8CCF  Time : 0.0 sec.
user=juhehe
[2012-03-26 07:14:40]
447*2^1128612-1 is not prime.  Res64: 79B22ADD59D7CEAE  Time : 0.0 sec.
user=henryzz
[2012-03-26 07:16:27]
423*2^1128612-1 is not prime.  Res64: D802D81F2FAAE5BA  Time : 0.0 sec.
user=henryzz
[2012-03-26 07:16:27]
419*2^1128612-1 is not prime.  Res64: 0FE56B0A600FB670  Time : 0.0 sec.
user=odicin
[2012-03-26 07:17:55]
455*2^1128612-1 is not prime.  Res64: B9565742CE644812  Time : 0.0 sec.
user=henryzz
[2012-03-26 07:26:45]
549*2^1128612-1 is not prime.  Res64: 06BBBD1D210E88EC  Time : 0.0 sec.
user=henryzz
[2012-03-26 07:26:55]
467*2^1128612-1 is not prime.  Res64: 9A79FF1FF4F92BCA  Time : 0.0 sec.
user=juhehe
[2012-03-26 07:32:03]
563*2^1128612-1 is not prime.  Res64: 3ED9355404533137  Time : 0.0 sec.
user=henryzz
[2012-03-26 07:36:27]
567*2^1128612-1 is not prime.  Res64: 0AFC5FE90825B7E0  Time : 0.0 sec.
user=henryzz
[2012-03-26 07:37:14]
409*2^1128613-1 is not prime.  Res64: EE8B7DC206D6CC5A  Time : 0.0 sec.
user=odicin
[2012-03-26 07:38:14]
451*2^1128613-1 is not prime.  Res64: 77772C4A487732D0  Time : 0.0 sec.
user=henryzz
[2012-03-26 07:46:50]
465*2^1128613-1 is not prime.  Res64: 38ADF6E82ACB3272  Time : 0.0 sec.
user=henryzz
[2012-03-26 07:47:34]
499*2^1128613-1 is not prime.  Res64: 679998D8A681488D  Time : 0.0 sec.
user=juhehe
[2012-03-26 07:49:24]
565*2^1128613-1 is not prime.  Res64: BA32CC5929F45C0D  Time : 0.0 sec.
user=henryzz
[2012-03-26 07:56:26]
501*2^1128614-1 is not prime.  Res64: B38ABCA6D267FB47  Time : 0.0 sec.
user=henryzz
[2012-03-26 07:57:44]
563*2^1128614-1 is not prime.  Res64: 812F032CD8C45B2C  Time : 0.0 sec.
user=odicin
[2012-03-26 07:58:34]
593*2^1128614-1 is not prime.  Res64: D88A66EA1F517407  Time : 0.0 sec.
user=juhehe
[2012-03-26 08:06:45]
543*2^1128615-1 is not prime.  Res64: ACCF652371A009DA  Time : 0.0 sec.
user=henryzz
[2012-03-26 08:06:47]
513*2^1128615-1 is not prime.  Res64: B61AA289829036BC  Time : 0.0 sec.
user=henryzz
[2012-03-26 08:07:56]
531*2^1128615-1 is not prime.  Res64: 5DC11AA744493732  Time : 0.0 sec.
user=henryzz
[2012-03-26 08:16:22]
413*2^1128616-1 is not prime.  Res64: 5AF081CABD91FB59  Time : 0.0 sec.
user=henryzz
[2012-03-26 08:18:06]
437*2^1128616-1 is not prime.  Res64: 8D779AC20E3BC6E9  Time : 0.0 sec.
user=odicin
[2012-03-26 08:18:54]
537*2^1128616-1 is not prime.  Res64: 5A12464D7C91FF3C  Time : 0.0 sec.
user=juhehe
[2012-03-26 08:24:05]
563*2^1128616-1 is not prime.  Res64: 68671978A3C4712F  Time : 0.0 sec.
user=henryzz
[2012-03-26 08:27:28]
507*2^1128617-1 is not prime.  Res64: 054C541BCC548BDB  Time : 0.0 sec.
user=henryzz
[2012-03-26 08:28:15]
595*2^1128617-1 is not prime.  Res64: A90ADD885F31542B  Time : 0.0 sec.
user=henryzz
[2012-03-26 08:36:16]
483*2^1128618-1 is not prime.  Res64: 42F4728D2B5DA1A8  Time : 0.0 sec.
user=henryzz
[2012-03-26 08:38:39]
531*2^1128619-1 is not prime.  Res64: 7027685FE7685950  Time : 0.0 sec.
user=odicin
[2012-03-26 08:39:13]
595*2^1128619-1 is not prime.  Res64: FA4AF1D7FF6E3FBC  Time : 0.0 sec.
user=juhehe
[2012-03-26 08:41:24]
467*2^1128620-1 is not prime.  Res64: EDF699369AD67B14  Time : 0.0 sec.
user=henryzz
[2012-03-26 08:47:35]
405*2^1128621-1 is not prime.  Res64: F2E575989DAFF0C3  Time : 0.0 sec.
user=henryzz
[2012-03-26 08:48:53]
417*2^1128621-1 is not prime.  Res64: 8215AD253C35BDBE  Time : 0.0 sec.
user=henryzz
[2012-03-26 08:56:37]
511*2^1128621-1 is not prime.  Res64: 41282EB924942260  Time : 0.0 sec.
user=juhehe
[2012-03-26 08:58:46]
471*2^1128622-1 is not prime.  Res64: 91D3142915F5ED8F  Time : 0.0 sec.
user=henryzz
[2012-03-26 08:59:20]
401*2^1128622-1 is not prime.  Res64: 98F0E0A658A2A4F1  Time : 0.0 sec.
user=odicin
[2012-03-26 08:59:35]
453*2^1128622-1 is not prime.  Res64: A83D0F6B41934950  Time : 0.0 sec.
user=henryzz
[2012-03-26 09:08:17]
567*2^1128622-1 is not prime.  Res64: 5943F319B6B6AFCE  Time : 0.0 sec.
user=henryzz
[2012-03-26 09:09:49]
451*2^1128623-1 is not prime.  Res64: 3B01F9E82535A8EA  Time : 0.0 sec.
user=juhehe
[2012-03-26 09:16:07]
539*2^1128624-1 is not prime.  Res64: E748118F336ECE45  Time : 0.0 sec.
user=henryzz
[2012-03-26 09:17:04]
463*2^1128623-1 is not prime.  Res64: F8D68BCEC611C065  Time : 0.0 sec.
user=odicin
[2012-03-26 09:19:55]
405*2^1128625-1 is not prime.  Res64: EEAA0952B1503E64  Time : 0.0 sec.
user=henryzz
[2012-03-26 09:20:48]
555*2^1128624-1 is not prime.  Res64: 48B5A8B8A80D29AB  Time : 0.0 sec.
user=henryzz
[2012-03-26 09:29:34]
511*2^1128625-1 is not prime.  Res64: 717BCF269B6D055E  Time : 0.0 sec.
user=henryzz
[2012-03-26 09:31:26]
561*2^1128625-1 is not prime.  Res64: 812C8AD911BD33A4  Time : 0.0 sec.
user=juhehe
[2012-03-26 09:33:28]
525*2^1128626-1 is not prime.  Res64: 889A3E15B22E8881  Time : 0.0 sec.
user=henryzz
[2012-03-26 09:38:12]
545*2^1128626-1 is not prime.  Res64: 8BB16425B23207A1  Time : 0.0 sec.
user=odicin
[2012-03-26 09:40:14]
483*2^1128627-1 is not prime.  Res64: E66B31ABF18946E7  Time : 0.0 sec.
user=henryzz
[2012-03-26 09:42:47]
511*2^1128627-1 is not prime.  Res64: 4317C84F42DE7E3C  Time : 0.0 sec.
user=juhehe
[2012-03-26 09:50:51]
495*2^1128628-1 is not prime.  Res64: 14651C3046E7AC8C  Time : 0.0 sec.
user=henryzz
[2012-03-26 09:52:06]
583*2^1128627-1 is not prime.  Res64: 3EF8905707B94E20  Time : 0.0 sec.
user=henryzz
[2012-03-26 09:52:39]
571*2^1128627-1 is not prime.  Res64: E836F85594FDA83D  Time : 0.0 sec.
user=henryzz
[2012-03-26 10:00:12]
497*2^1128628-1 is not prime.  Res64: DE4C1C97E542639A  Time : 0.0 sec.
user=odicin
[2012-03-26 10:00:33]
527*2^1128628-1 is not prime.  Res64: DA23296B0A067A6C  Time : 0.0 sec.
user=henryzz
[2012-03-26 10:05:16]
533*2^1128628-1 is not prime.  Res64: 2F2BB7D84EEB7C5C  Time : 0.0 sec.
user=juhehe
[2012-03-26 10:08:14]
567*2^1128628-1 is not prime.  Res64: BE2905367E048BB9  Time : 0.0 sec.
user=henryzz
[2012-03-26 10:13:59]
435*2^1128629-1 is not prime.  Res64: DB418D78547E50DF  Time : 0.0 sec.
user=henryzz
[2012-03-26 10:15:18]
569*2^1128628-1 is not prime.  Res64: 63AF198AE32910B0  Time : 0.0 sec.
user=odicin
[2012-03-26 10:20:53]
563*2^1128630-1 is not prime.  Res64: F1F59A3301B42692  Time : 0.0 sec.
user=henryzz
[2012-03-26 10:21:42]
459*2^1128629-1 is not prime.  Res64: 9AD3C878265D8B81  Time : 0.0 sec.
user=juhehe
[2012-03-26 10:25:35]
415*2^1128631-1 is not prime.  Res64: 937EF3FA4752DE68  Time : 0.0 sec.
user=henryzz
[2012-03-26 10:28:36]
591*2^1128630-1 is not prime.  Res64: 54A183EF8D3E6516  Time : 0.0 sec.
user=henryzz
[2012-03-26 10:36:25]
433*2^1128631-1 is not prime.  Res64: F7C0068439BCD700  Time : 0.0 sec.
user=henryzz
[2012-03-26 10:37:16]
493*2^1128631-1 is not prime.  Res64: 62DACF019FCC6724  Time : 0.0 sec.
user=odicin
[2012-03-26 10:41:11]
499*2^1128631-1 is not prime.  Res64: D1B40B1A5BBD5E7B  Time : 0.0 sec.
user=juhehe
[2012-03-26 10:42:56]
483*2^1128632-1 is not prime.  Res64: A09C288117A8F9B1  Time : 0.0 sec.
user=henryzz
[2012-03-26 10:43:47]
595*2^1128631-1 is not prime.  Res64: E08D6D7B0599D5BA  Time : 0.0 sec.
user=henryzz
[2012-03-26 10:50:39]
573*2^1128632-1 is prime!  Time : 0.0 sec.
user=henryzz
[2012-03-26 10:58:37]
429*2^1128633-1 is not prime.  Res64: 996DBA26B9C9B7E8  Time : 0.0 sec.
user=henryzz
[2012-03-26 10:59:26]
571*2^1128633-1 is not prime.  Res64: 021BA069CD6C4578  Time : 0.0 sec.
user=juhehe
[2012-03-26 11:00:17]
513*2^1128634-1 is not prime.  Res64: 7D07426C2AA7B5CF  Time : 0.0 sec.
user=odicin
[2012-03-26 11:01:30]
491*2^1128634-1 is not prime.  Res64: 29653E831584BCBC  Time : 0.0 sec.
user=henryzz
[2012-03-26 11:05:02]
525*2^1128634-1 is not prime.  Res64: 1D29F3D514CDDFCF  Time : 0.0 sec.
user=henryzz
[2012-03-26 11:14:30]
567*2^1128634-1 is not prime.  Res64: D3EE15F89DEFB6F9  Time : 0.0 sec.
user=juhehe
[2012-03-26 11:17:38]
475*2^1128635-1 is not prime.  Res64: A381D2B410BA85D5  Time : 0.0 sec.
user=henryzz
[2012-03-26 11:19:51]
403*2^1128635-1 is not prime.  Res64: 755402B50CABA020  Time : 0.0 sec.
user=henryzz
[2012-03-26 11:20:20]
465*2^1128635-1 is not prime.  Res64: 8040526E7584EB5B  Time : 0.0 sec.
user=odicin
[2012-03-26 11:21:51]
503*2^1128636-1 is not prime.  Res64: 311EE5EDF94FD6BF  Time : 0.0 sec.
user=henryzz
[2012-03-26 11:28:39]
513*2^1128636-1 is not prime.  Res64: B773490C41DF9274  Time : 0.0 sec.
user=juhehe
[2012-03-26 11:35:00]
489*2^1128637-1 is not prime.  Res64: 04E7C4EB154E4192  Time : 0.0 sec.
user=henryzz
[2012-03-26 11:36:59]
439*2^1128637-1 is not prime.  Res64: F6AEC2D5CC191751  Time : 0.0 sec.
user=henryzz
[2012-03-26 11:41:40]
567*2^1128638-1 is not prime.  Res64: 1B4DA65846163ACF  Time : 0.0 sec.
user=odicin
[2012-03-26 11:42:10]
483*2^1128639-1 is not prime.  Res64: D936EF6F40161C88  Time : 0.0 sec.
user=henryzz
[2012-03-26 11:42:10]
585*2^1128638-1 is not prime.  Res64: 8A6DD19D787CB034  Time : 0.0 sec.
user=henryzz
[2012-03-26 11:50:17]
573*2^1128639-1 is not prime.  Res64: C0D7263C48AC205B  Time : 0.0 sec.
user=juhehe
[2012-03-26 11:52:21]
579*2^1128639-1 is not prime.  Res64: 5254778FFEB23BAD  Time : 0.0 sec.
user=henryzz
[2012-03-26 11:59:30]
513*2^1128640-1 is not prime.  Res64: 8E3B949C8C68617D  Time : 0.0 sec.
user=odicin
[2012-03-26 12:02:29]
571*2^1128641-1 is not prime.  Res64: B99AF6B136F24145  Time : 0.0 sec.
user=henryzz
[2012-03-26 12:03:23]
465*2^1128641-1 is not prime.  Res64: AF8588149BBDD8D0  Time : 0.0 sec.
user=henryzz
[2012-03-26 12:04:37]
585*2^1128641-1 is not prime.  Res64: 74FE0C23F47DACB8  Time : 0.0 sec.
user=juhehe
[2012-03-26 12:09:41]
497*2^1128642-1 is not prime.  Res64: CD6BF4EACB84A1E7  Time : 0.0 sec.
user=henryzz
[2012-03-26 12:12:12]
453*2^1128642-1 is not prime.  Res64: BF92D8CD90003B67  Time : 0.0 sec.
user=henryzz
[2012-03-26 12:21:33]
503*2^1128642-1 is not prime.  Res64: 1393E6C851368476  Time : 0.0 sec.
user=odicin
[2012-03-26 12:22:46]
567*2^1128642-1 is not prime.  Res64: 1F225C3DF0D20830  Time : 0.0 sec.
user=henryzz
[2012-03-26 12:25:36]
579*2^1128644-1 is not prime.  Res64: 9A096CE76908E2EB  Time : 0.0 sec.
user=henryzz
[2012-03-26 12:26:45]
429*2^1128643-1 is not prime.  Res64: 61E70844469C7627  Time : 0.0 sec.
user=juhehe
[2012-03-26 12:27:04]
415*2^1128645-1 is not prime.  Res64: 2166C01C73B36F09  Time : 0.0 sec.
user=henryzz
[2012-03-26 12:35:09]
445*2^1128645-1 is not prime.  Res64: 46A336AD5B73D5EB  Time : 0.0 sec.
user=henryzz
[2012-03-26 12:43:02]
451*2^1128645-1 is not prime.  Res64: 2509F09C45731A77  Time : 0.0 sec.
user=odicin
[2012-03-26 12:43:15]
459*2^1128645-1 is not prime.  Res64: A00650C7BB6C1F5D  Time : 0.0 sec.
user=juhehe
[2012-03-26 12:44:25]
453*2^1128646-1 is not prime.  Res64: 6656E36B57B653DD  Time : 0.0 sec.
user=henryzz
[2012-03-26 12:48:01]
517*2^1128645-1 is not prime.  Res64: 66284C4EAF03529B  Time : 0.0 sec.
user=henryzz
[2012-03-26 12:48:52]
471*2^1128645-1 is not prime.  Res64: 44433711F786E310  Time : 0.0 sec.
user=henryzz
[2012-03-26 12:58:30]
575*2^1128646-1 is not prime.  Res64: 41FF87643C4E324F  Time : 0.0 sec.
user=juhehe
[2012-03-26 13:01:44]
459*2^1128648-1 is not prime.  Res64: 5494BDF1D9719BB2  Time : 0.0 sec.
user=henryzz
[2012-03-26 13:03:58]
423*2^1128647-1 is not prime.  Res64: 171698DA880DAD4E  Time : 0.0 sec.
user=odicin
[2012-03-26 13:04:52]
441*2^1128647-1 is not prime.  Res64: 079B4ED6E87B9034  Time : 0.0 sec.
user=odicin
[2012-03-26 13:04:56]
453*2^1128648-1 is not prime.  Res64: 668FDDF3F8D9B784  Time : 0.0 sec.
user=henryzz
[2012-03-26 13:09:41]
505*2^1128649-1 is not prime.  Res64: C80854BDB7054EBF  Time : 0.0 sec.
user=henryzz
[2012-03-26 13:11:18]
515*2^1128648-1 is not prime.  Res64: 991F2DA113B8E6A7  Time : 0.0 sec.
user=juhehe
[2012-03-26 13:19:06]
425*2^1128650-1 is not prime.  Res64: 97BA36ECD0F00E89  Time : 0.0 sec.
user=henryzz
[2012-03-26 13:21:32]
535*2^1128649-1 is not prime.  Res64: 2A74526979743A2B  Time : 0.0 sec.
user=henryzz
[2012-03-26 13:26:02]
439*2^1128651-1 is not prime.  Res64: 655E454613D4B684  Time : 0.0 sec.
user=odicin
[2012-03-26 13:26:22]
441*2^1128651-1 is not prime.  Res64: 9D2130DAD6AE3C4B  Time : 0.0 sec.
user=odicin
[2012-03-26 13:26:27]
465*2^1128651-1 is not prime.  Res64: 723C80A761A0007E  Time : 0.0 sec.
user=henryzz
[2012-03-26 13:30:32]
529*2^1128651-1 is not prime.  Res64: 2E11ABE9F06FFDF9  Time : 0.0 sec.
user=henryzz
[2012-03-26 13:33:08]
531*2^1128651-1 is not prime.  Res64: 5D2FBE073842F3E2  Time : 0.0 sec.
user=juhehe
[2012-03-26 13:36:25]
583*2^1128651-1 is not prime.  Res64: 0ED9E0D6F089C69E  Time : 0.0 sec.
user=henryzz
[2012-03-26 13:44:33]
405*2^1128652-1 is not prime.  Res64: A969BF3C664F32FF  Time : 0.0 sec.
user=odicin
[2012-03-26 13:47:53]
489*2^1128652-1 is not prime.  Res64: F6EAC7295E94725F  Time : 0.0 sec.
user=odicin
[2012-03-26 13:47:58]
411*2^1128653-1 is not prime.  Res64: 0D8AF5CEC2A6FEF1  Time : 0.0 sec.
user=henryzz
[2012-03-26 13:49:23]
435*2^1128652-1 is not prime.  Res64: CED0A4B50B30929A  Time : 0.0 sec.
user=juhehe
[2012-03-26 13:53:47]
559*2^1128653-1 is not prime.  Res64: 4CBB99BFD89373DB  Time : 0.0 sec.
user=henryzz
[2012-03-26 13:54:55]
517*2^1128653-1 is not prime.  Res64: 97A768C948FD599F  Time : 0.0 sec.
user=henryzz
[2012-03-26 13:56:54]
547*2^1128653-1 is not prime.  Res64: 8777005A4FB210DF  Time : 0.0 sec.
user=henryzz
[2012-03-26 14:06:44]
425*2^1128654-1 is not prime.  Res64: 6B398914E7122281  Time : 0.0 sec.
user=odicin
[2012-03-26 14:09:23]
465*2^1128654-1 is not prime.  Res64: 4236F0093A24DC36  Time : 0.0 sec.
user=odicin
[2012-03-26 14:09:29]
473*2^1128654-1 is not prime.  Res64: 5D638199787E1CEF  Time : 0.0 sec.
user=henryzz
[2012-03-26 14:10:42]
543*2^1128654-1 is not prime.  Res64: F96D878DDB010E2B  Time : 0.0 sec.
user=juhehe
[2012-03-26 14:11:09]
451*2^1128655-1 is not prime.  Res64: B9C4E3CC4723AA25  Time : 0.0 sec.
user=henryzz
[2012-03-26 14:17:53]
493*2^1128655-1 is not prime.  Res64: 8D7BD7B007ED58FC  Time : 0.0 sec.
user=henryzz
[2012-03-26 14:18:23]
481*2^1128655-1 is not prime.  Res64: 2418C1F7AC68E8E2  Time : 0.0 sec.
user=henryzz
[2012-03-26 14:27:20]
511*2^1128655-1 is not prime.  Res64: C7E34C400E525DE9  Time : 0.0 sec.
user=juhehe
[2012-03-26 14:28:37]
425*2^1128656-1 is not prime.  Res64: 769D833537B23C74  Time : 0.0 sec.
user=odicin
[2012-03-26 14:30:52]
531*2^1128655-1 is not prime.  Res64: A240CCEE8E1EACD3  Time : 0.0 sec.
user=odicin
[2012-03-26 14:30:58]
583*2^1128655-1 is not prime.  Res64: 4369CDA3543588CC  Time : 0.0 sec.
user=henryzz
[2012-03-26 14:32:49]
417*2^1128656-1 is not prime.  Res64: 16031BBEB4B77463  Time : 0.0 sec.
user=henryzz
[2012-03-26 14:38:46]
459*2^1128656-1 is not prime.  Res64: CA4362F3A60E5534  Time : 0.0 sec.
user=henryzz
[2012-03-26 14:39:04]
473*2^1128656-1 is not prime.  Res64: 64B26EB2FA9CFCD8  Time : 0.0 sec.
user=juhehe
[2012-03-26 14:45:58]
519*2^1128656-1 is not prime.  Res64: 64EE7047B150EA44  Time : 0.0 sec.
user=henryzz
[2012-03-26 14:48:08]
509*2^1128656-1 is not prime.  Res64: 2342A79ABF06C05C  Time : 0.0 sec.
user=odicin
[2012-03-26 14:52:19]
585*2^1128656-1 is not prime.  Res64: 2693F6D5F380AF8C  Time : 0.0 sec.
user=odicin
[2012-03-26 14:52:25]
441*2^1128657-1 is not prime.  Res64: 7FF847BFE027F7CC  Time : 0.0 sec.
user=henryzz
[2012-03-26 14:53:44]
511*2^1128657-1 is not prime.  Res64: 53FB0D563FA87BAD  Time : 0.0 sec.
user=henryzz
[2012-03-26 14:59:12]
571*2^1128657-1 is not prime.  Res64: 05074C879A997C3A  Time : 0.0 sec.
user=henryzz
[2012-03-26 14:59:46]
401*2^1128658-1 is not prime.  Res64: 97F7F995A8F1345B  Time : 0.0 sec.
user=juhehe
[2012-03-26 15:03:20]
413*2^1128658-1 is not prime.  Res64: B91F6AF9EBD67E03  Time : 0.0 sec.
user=henryzz
[2012-03-26 15:08:28]
423*2^1128658-1 is not prime.  Res64: 9E51B9DDDF14B1A5  Time : 0.0 sec.
user=odicin
[2012-03-26 15:13:47]
497*2^1128658-1 is not prime.  Res64: B35515103B6CF50B  Time : 0.0 sec.
user=odicin
[2012-03-26 15:13:51]
501*2^1128659-1 is not prime.  Res64: C5558768BAAD7926  Time : 0.0 sec.
user=henryzz
[2012-03-26 15:15:21]
511*2^1128659-1 is not prime.  Res64: E8CBB30BB4A14EF0  Time : 0.0 sec.
user=henryzz
[2012-03-26 15:20:15]
579*2^1128659-1 is not prime.  Res64: 08CE2E965AD646F6  Time : 0.0 sec.
user=juhehe
[2012-03-26 15:20:43]
589*2^1128659-1 is not prime.  Res64: 332926882AFB70E9  Time : 0.0 sec.
user=henryzz
[2012-03-26 15:21:02]
531*2^1128659-1 is not prime.  Res64: 9B5550C6A6378CF1  Time : 0.0 sec.
user=henryzz
[2012-03-26 15:30:15]
453*2^1128660-1 is not prime.  Res64: 7EDEE94E98E383B4  Time : 0.0 sec.
user=odicin
[2012-03-26 15:35:16]
459*2^1128660-1 is not prime.  Res64: 8292C95B7B53F2A3  Time : 0.0 sec.
user=odicin
[2012-03-26 15:35:19]
479*2^1128660-1 is not prime.  Res64: 751B66AF6B084F2A  Time : 0.0 sec.
user=henryzz
[2012-03-26 15:36:18]
555*2^1128660-1 is not prime.  Res64: 7234B6DED3DE4800  Time : 0.0 sec.
user=juhehe
[2012-03-26 15:38:04]
415*2^1128661-1 is not prime.  Res64: B843CC9432F2B44A  Time : 0.0 sec.
user=henryzz
[2012-03-26 15:41:17]
569*2^1128660-1 is not prime.  Res64: 75EAF18BD8111BD0  Time : 0.0 sec.
user=henryzz
[2012-03-26 15:42:20]
565*2^1128661-1 is not prime.  Res64: 96E08411752583F0  Time : 0.0 sec.
user=henryzz
[2012-03-26 15:51:40]
431*2^1128662-1 is not prime.  Res64: EA2CB19550E0A885  Time : 0.0 sec.
user=juhehe
[2012-03-26 15:55:25]
465*2^1128663-1 is not prime.  Res64: 72793C5C9FA1BB99  Time : 0.0 sec.
user=odicin
[2012-03-26 15:56:43]
503*2^1128662-1 is not prime.  Res64: 9EA7DACD89C4C8C8  Time : 0.0 sec.
user=odicin
[2012-03-26 15:56:47]
507*2^1128662-1 is not prime.  Res64: 6DF4F47CFB614688  Time : 0.0 sec.
user=henryzz
[2012-03-26 15:58:09]
585*2^1128662-1 is not prime.  Res64: 9BA686C215FDA263  Time : 0.0 sec.
user=henryzz
[2012-03-26 16:02:36]
559*2^1128663-1 is not prime.  Res64: 06EBFE70BFD25AF2  Time : 0.0 sec.
user=henryzz
[2012-03-26 16:03:44]
565*2^1128663-1 is not prime.  Res64: 1CBA4501C0B01334  Time : 0.0 sec.
user=henryzz
[2012-03-26 16:12:24]
455*2^1128664-1 is not prime.  Res64: 95C9B21080D3D4BA  Time : 0.0 sec.
user=juhehe
[2012-03-26 16:12:46]
405*2^1128665-1 is not prime.  Res64: 03F6AF1D09C2AADB  Time : 0.0 sec.
user=odicin
[2012-03-26 16:18:09]
421*2^1128665-1 is not prime.  Res64: 19E1DC8E52F3AA41  Time : 0.0 sec.
user=odicin
[2012-03-26 16:18:13]
481*2^1128665-1 is not prime.  Res64: 30997ABB3DB102EF  Time : 0.0 sec.
user=henryzz
[2012-03-26 16:20:02]
547*2^1128665-1 is not prime.  Res64: C56C92BBFB7811E8  Time : 0.0 sec.
user=henryzz
[2012-03-26 16:24:25]
527*2^1128666-1 is not prime.  Res64: 7CD7B8205A6D955B  Time : 0.0 sec.
user=henryzz
[2012-03-26 16:24:41]
485*2^1128666-1 is not prime.  Res64: 52876A167F318E99  Time : 0.0 sec.
user=juhehe
[2012-03-26 16:30:06]
519*2^1128667-1 is not prime.  Res64: D97AF26FCC7F7D78  Time : 0.0 sec.
user=henryzz
[2012-03-26 16:33:19]
587*2^1128666-1 is not prime.  Res64: 4D66EB6B8016A754  Time : 0.0 sec.
user=odicin
[2012-03-26 16:39:34]
523*2^1128667-1 is not prime.  Res64: B45FFD1943C3AF68  Time : 0.0 sec.
user=odicin
[2012-03-26 16:39:41]
425*2^1128668-1 is not prime.  Res64: A2D03A6C6A5BBAC9  Time : 0.0 sec.
user=henryzz
[2012-03-26 16:40:56]
459*2^1128668-1 is not prime.  Res64: 98DD03874DE7C694  Time : 0.0 sec.
user=henryzz
[2012-03-26 16:44:35]
585*2^1128668-1 is not prime.  Res64: 12EE26ECBC2D8986  Time : 0.0 sec.
user=henryzz
[2012-03-26 16:45:47]
465*2^1128669-1 is not prime.  Res64: 161C99E4317BF42A  Time : 0.0 sec.
user=juhehe
[2012-03-26 16:47:27]
471*2^1128669-1 is not prime.  Res64: E07763E288431F08  Time : 0.0 sec.
user=henryzz
[2012-03-26 16:53:41]
461*2^1128670-1 is not prime.  Res64: 444B2D3F5586E154  Time : 0.0 sec.
user=odicin
[2012-03-26 17:01:01]
483*2^1128670-1 is not prime.  Res64: 7DAF95691A16D7DB  Time : 0.0 sec.
user=odicin
[2012-03-26 17:01:08]
513*2^1128670-1 is not prime.  Res64: 150AFCBA00065A98  Time : 0.0 sec.
user=henryzz
[2012-03-26 17:02:09]
591*2^1128670-1 is not prime.  Res64: 216761F250256D32  Time : 0.0 sec.
user=juhehe
[2012-03-26 17:04:48]
429*2^1128672-1 is not prime.  Res64: 1AC1A2E13C1FDDF7  Time : 0.0 sec.
user=henryzz
[2012-03-26 17:05:51]
411*2^1128671-1 is not prime.  Res64: 949E7A620E37762C  Time : 0.0 sec.
user=henryzz
[2012-03-26 17:07:17]
565*2^1128671-1 is not prime.  Res64: F44EBC8B1AF60790  Time : 0.0 sec.
user=henryzz
[2012-03-26 17:15:52]
559*2^1128673-1 is not prime.  Res64: 5CCC31627997D976  Time : 0.0 sec.
user=juhehe
[2012-03-26 17:22:11]
553*2^1128675-1 is not prime.  Res64: B839BC1C90E68E17  Time : 0.0 sec.
user=odicin
[2012-03-26 17:22:42]
521*2^1128674-1 is not prime.  Res64: F9B8150B29644AA2  Time : 0.0 sec.
user=odicin
[2012-03-26 17:22:46]
475*2^1128675-1 is not prime.  Res64: E5A5E1CF1E1F6CCD  Time : 0.0 sec.
user=henryzz
[2012-03-26 17:23:35]
543*2^1128675-1 is not prime.  Res64: EA58597F3E2CA3A5  Time : 0.0 sec.
user=henryzz
[2012-03-26 17:27:21]
527*2^1128676-1 is not prime.  Res64: 7A37A272189B34AF  Time : 0.0 sec.
user=henryzz
[2012-03-26 17:27:46]
593*2^1128676-1 is not prime.  Res64: 64D9F39891F47E25  Time : 0.0 sec.
user=juhehe
[2012-03-26 17:30:37]
447*2^1128672-1 is not prime.  Res64: ECC1A8F2A27EB9DE  Time : 0.0 sec.
user=juhehe
[2012-03-26 17:30:38]
495*2^1128673-1 is not prime.  Res64: 8B363172DC182B5E  Time : 0.0 sec.
user=henryzz
[2012-03-26 17:37:25]
417*2^1128677-1 is not prime.  Res64: 0E57978592FD6C0F  Time : 0.0 sec.
user=juhehe
[2012-03-26 17:39:30]
465*2^1128677-1 is not prime.  Res64: 057CB58E705D2B23  Time : 0.0 sec.
user=odicin
[2012-03-26 17:44:15]
487*2^1128677-1 is not prime.  Res64: F1E07C0EDA6D6E10  Time : 0.0 sec.
user=odicin
[2012-03-26 17:44:21]
561*2^1128677-1 is not prime.  Res64: BE0E4B95D000D55C  Time : 0.0 sec.
user=henryzz
[2012-03-26 17:44:31]
405*2^1128678-1 is not prime.  Res64: DFB84C56E22E3138  Time : 0.0 sec.
user=henryzz
[2012-03-26 17:48:15]
431*2^1128678-1 is not prime.  Res64: 25008A20B4AC5CC9  Time : 0.0 sec.
user=henryzz
[2012-03-26 17:48:34]
443*2^1128678-1 is not prime.  Res64: BA0AA2BB8ADE87CC  Time : 0.0 sec.
user=juhehe
[2012-03-26 17:56:50]
531*2^1128679-1 is not prime.  Res64: C59E1A0D4BE948C3  Time : 0.0 sec.
user=henryzz
[2012-03-26 17:57:40]
523*2^1128679-1 is not prime.  Res64: 61E5BEBDE2DD9091  Time : 0.0 sec.
user=henryzz
[2012-03-26 18:05:22]
557*2^1128680-1 is not prime.  Res64: CBBC292FBC2C0A62  Time : 0.0 sec.
user=odicin
[2012-03-26 18:05:47]
437*2^1128680-1 is not prime.  Res64: F4C0447406CF2D19  Time : 0.0 sec.
user=odicin
[2012-03-26 18:05:55]
455*2^1128680-1 is not prime.  Res64: AC944101ACACC6CE  Time : 0.0 sec.
user=henryzz
[2012-03-26 18:08:33]
465*2^1128681-1 is not prime.  Res64: B7C59805B4951431  Time : 0.0 sec.
user=henryzz
[2012-03-26 18:09:17]
475*2^1128681-1 is not prime.  Res64: 0506E838B6169631  Time : 0.0 sec.
user=juhehe
[2012-03-26 18:10:26]
451*2^1128679-1 is not prime.  Res64: 5A008B2D4B3BCC7D  Time : 0.0 sec.
user=juhehe
[2012-03-26 18:14:06]
421*2^1128679-1 is not prime.  Res64: AF22B950D0AFBE5D  Time : 0.0 sec.
user=juhehe
[2012-03-26 18:14:13]
499*2^1128681-1 is not prime.  Res64: AA9E70A908F8CF18  Time : 0.0 sec.
user=henryzz
[2012-03-26 18:18:10]
507*2^1128681-1 is not prime.  Res64: 372524B867B77D21  Time : 0.0 sec.
user=henryzz
[2012-03-26 18:26:21]
577*2^1128681-1 is not prime.  Res64: B3252B426F833A64  Time : 0.0 sec.
user=odicin
[2012-03-26 18:27:22]
597*2^1128681-1 is not prime.  Res64: 6046B7C23BD80854  Time : 0.0 sec.
user=odicin
[2012-03-26 18:27:29]
405*2^1128682-1 is not prime.  Res64: 88D8A97D508704B2  Time : 0.0 sec.
user=henryzz
[2012-03-26 18:29:42]
445*2^1128683-1 is not prime.  Res64: CC03B462E5CE17D1  Time : 0.0 sec.
user=henryzz
[2012-03-26 18:29:48]
435*2^1128682-1 is not prime.  Res64: FF6E2C0F378D4C86  Time : 0.0 sec.
user=juhehe
[2012-03-26 18:31:36]
589*2^1128683-1 is not prime.  Res64: 5DB5960FEBA08C32  Time : 0.0 sec.
user=henryzz
[2012-03-26 18:38:27]
447*2^1128684-1 is not prime.  Res64: 0A2EAA03951B7CC1  Time : 0.0 sec.
user=henryzz
[2012-03-26 18:47:11]
503*2^1128684-1 is not prime.  Res64: 87970238BCCD18EE  Time : 0.0 sec.
user=odicin
[2012-03-26 18:48:52]
507*2^1128684-1 is not prime.  Res64: 2E510C938EF5F799  Time : 0.0 sec.
user=juhehe
[2012-03-26 18:48:58]
417*2^1128686-1 is not prime.  Res64: 1815BBBB3BE88F48  Time : 0.0 sec.
user=odicin
[2012-03-26 18:48:59]
569*2^1128684-1 is not prime.  Res64: 79671CCFD644C6CD  Time : 0.0 sec.
user=henryzz
[2012-03-26 18:50:22]
427*2^1128685-1 is not prime.  Res64: 9D2853D4338F8A9B  Time : 0.0 sec.
user=henryzz
[2012-03-26 18:50:25]
429*2^1128685-1 is not prime.  Res64: C44A2CB9411F05E0  Time : 0.0 sec.
user=henryzz
[2012-03-26 18:59:23]
473*2^1128686-1 is not prime.  Res64: E4282282245FAECB  Time : 0.0 sec.
user=juhehe
[2012-03-26 19:00:29]
511*2^1128683-1 is not prime.  Res64: 460AA6F14F544E92  Time : 0.0 sec.
user=juhehe
[2012-03-26 19:02:36]
573*2^1128683-1 is not prime.  Res64: A1962647CC8C12EF  Time : 0.0 sec.
user=juhehe
[2012-03-26 19:06:19]
593*2^1128686-1 is not prime.  Res64: F89B214E514685FB  Time : 0.0 sec.
user=henryzz
[2012-03-26 19:07:40]
545*2^1128686-1 is not prime.  Res64: 88681506F279E649  Time : 0.0 sec.
user=odicin
[2012-03-26 19:10:23]
563*2^1128686-1 is not prime.  Res64: BECD2342F1EF9D06  Time : 0.0 sec.
user=odicin
[2012-03-26 19:10:26]
493*2^1128687-1 is not prime.  Res64: AF7B364C29ABFD86  Time : 0.0 sec.
user=henryzz
[2012-03-26 19:10:33]
553*2^1128687-1 is not prime.  Res64: E6CF641B85BBD6A3  Time : 0.0 sec.
user=henryzz
[2012-03-26 19:10:37]
585*2^1128687-1 is not prime.  Res64: 82B213DA6CF3415E  Time : 0.0 sec.
user=henryzz
[2012-03-26 19:19:40]
453*2^1128688-1 is not prime.  Res64: 970D53037C18354E  Time : 0.0 sec.
user=juhehe
[2012-03-26 19:23:40]
567*2^1128689-1 is not prime.  Res64: 54B835D4BB1AB629  Time : 0.0 sec.
user=henryzz
[2012-03-26 19:27:52]
465*2^1128690-1 is not prime.  Res64: 6CBA6A2B0AEE8598  Time : 0.0 sec.
user=henryzz
[2012-03-26 19:30:29]
555*2^1128690-1 is not prime.  Res64: 21317C834D54B5E1  Time : 0.0 sec.
user=henryzz
[2012-03-26 19:31:02]
435*2^1128692-1 is not prime.  Res64: 29F41B833DCD3740  Time : 0.0 sec.
user=odicin
[2012-03-26 19:31:55]
503*2^1128690-1 is not prime.  Res64: D44AE1EC9F909B49  Time : 0.0 sec.
user=odicin
[2012-03-26 19:31:56]
525*2^1128690-1 is not prime.  Res64: BE7CC8E1C016FBA3  Time : 0.0 sec.
user=juhehe
[2012-03-26 19:38:47]
511*2^1128689-1 is not prime.  Res64: 24C443DA0621546B  Time : 0.0 sec.
user=henryzz
[2012-03-26 19:39:45]
579*2^1128692-1 is not prime.  Res64: BA3C9AEFA08DB073  Time : 0.0 sec.
user=juhehe
[2012-03-26 19:40:58]
599*2^1128692-1 is not prime.  Res64: 886D846BC8E7B4D8  Time : 0.0 sec.
user=juhehe
[2012-03-26 19:42:48]
537*2^1128689-1 is not prime.  Res64: 34F0E735E056ED91  Time : 0.0 sec.
user=henryzz
[2012-03-26 19:48:05]
451*2^1128693-1 is not prime.  Res64: 4B715963430EAE16  Time : 0.0 sec.
user=henryzz
[2012-03-26 19:50:39]
499*2^1128693-1 is not prime.  Res64: 0564FED1F05238B1  Time : 0.0 sec.
user=henryzz
[2012-03-26 19:51:07]
511*2^1128693-1 is not prime.  Res64: C78F84F285BF5DF9  Time : 0.0 sec.
user=odicin
[2012-03-26 19:53:38]
517*2^1128693-1 is not prime.  Res64: 176BC00FEA6CD437  Time : 0.0 sec.
user=odicin
[2012-03-26 19:53:40]
597*2^1128693-1 is not prime.  Res64: 6B74A1206A5BE5CD  Time : 0.0 sec.
user=juhehe
[2012-03-26 19:58:15]
553*2^1128695-1 is not prime.  Res64: F08F18A67F09EFEB  Time : 0.0 sec.
user=henryzz
[2012-03-26 20:00:11]
543*2^1128695-1 is not prime.  Res64: 9B00ADE174DFDBA1  Time : 0.0 sec.
user=henryzz
[2012-03-26 20:08:12]
479*2^1128696-1 is not prime.  Res64: DA0FC22256C85373  Time : 0.0 sec.
user=henryzz
[2012-03-26 20:11:29]
405*2^1128697-1 is not prime.  Res64: F233DE4EDCCB8A8F  Time : 0.0 sec.
user=henryzz
[2012-03-26 20:11:52]
525*2^1128696-1 is not prime.  Res64: 215CE932B0B3C8ED  Time : 0.0 sec.
user=juhehe
[2012-03-26 20:13:59]
475*2^1128695-1 is not prime.  Res64: B58CBB3489F2D048  Time : 0.0 sec.
user=odicin
[2012-03-26 20:15:10]
555*2^1128697-1 is not prime.  Res64: 42A3FF01F02927A4  Time : 0.0 sec.
user=odicin
[2012-03-26 20:15:12]
525*2^1128698-1 is not prime.  Res64: 6F818E9A5DF6A6D3  Time : 0.0 sec.
user=juhehe
[2012-03-26 20:15:32]
411*2^1128699-1 is not prime.  Res64: 09D4450C11E33D11  Time : 0.0 sec.
user=juhehe
[2012-03-26 20:16:04]
585*2^1128695-1 is not prime.  Res64: 792E65F2F6D7BC56  Time : 0.0 sec.
user=henryzz
[2012-03-26 20:20:58]
481*2^1128699-1 is not prime.  Res64: 1DD40474F8E6C0A7  Time : 0.0 sec.
user=henryzz
[2012-03-26 20:28:33]
583*2^1128699-1 is not prime.  Res64: 9AA7B1544FBE3AEF  Time : 0.0 sec.
user=henryzz
[2012-03-26 20:32:08]
437*2^1128700-1 is not prime.  Res64: E9E0106A25E744E5  Time : 0.0 sec.
user=juhehe
[2012-03-26 20:32:53]
477*2^1128701-1 is not prime.  Res64: 326FA7B22EBE50A4  Time : 0.0 sec.
user=henryzz
[2012-03-26 20:32:56]
423*2^1128700-1 is not prime.  Res64: BBB3057352517AE1  Time : 0.0 sec.
user=odicin
[2012-03-26 20:36:42]
441*2^1128701-1 is not prime.  Res64: 278239D4B6C9A11D  Time : 0.0 sec.
user=odicin
[2012-03-26 20:36:44]
475*2^1128701-1 is not prime.  Res64: D2E95100A8107F46  Time : 0.0 sec.
user=henryzz
[2012-03-26 20:41:39]
431*2^1128702-1 is not prime.  Res64: EB646C1FF8C01CBD  Time : 0.0 sec.
user=juhehe
[2012-03-26 20:47:10]
439*2^1128701-1 is not prime.  Res64: D7D34DB2012F8EA9  Time : 0.0 sec.
user=henryzz
[2012-03-26 20:49:47]
437*2^1128702-1 is not prime.  Res64: C3DFD315A4B79227  Time : 0.0 sec.
user=juhehe
[2012-03-26 20:50:12]
523*2^1128703-1 is not prime.  Res64: 3EC379B4F44292C4  Time : 0.0 sec.
user=juhehe
[2012-03-26 20:51:14]
561*2^1128701-1 is not prime.  Res64: 52D3F4BEFF7A914D  Time : 0.0 sec.
user=henryzz
[2012-03-26 20:52:06]
527*2^1128702-1 is not prime.  Res64: 0AA1FF1A3937FFD1  Time : 0.0 sec.
user=henryzz
[2012-03-26 20:54:18]
473*2^1128704-1 is not prime.  Res64: 8A5D0295C40952D2  Time : 0.0 sec.
user=odicin
[2012-03-26 20:58:15]
495*2^1128704-1 is not prime.  Res64: F667D86457EDD0EA  Time : 0.0 sec.
user=odicin
[2012-03-26 20:58:16]
539*2^1128704-1 is not prime.  Res64: 5CE3D85041C96C2D  Time : 0.0 sec.
user=mdettweiler
[2012-03-26 21:01:44]
527*2^1128706-1 is not prime.  Res64: 90F68E8BEE6B294C  Time : 0.0 sec.
user=henryzz
[2012-03-26 21:02:37]
487*2^1128705-1 is not prime.  Res64: FDC4363E7D09A02A  Time : 0.0 sec.
user=juhehe
[2012-03-26 21:07:32]
483*2^1128706-1 is not prime.  Res64: BDA2F674BE68235D  Time : 0.0 sec.
user=henryzz
[2012-03-26 21:10:52]
443*2^1128706-1 is not prime.  Res64: C463FC60B5CE8D4D  Time : 0.0 sec.
user=henryzz
[2012-03-26 21:14:07]
587*2^1128706-1 is not prime.  Res64: FE7A836FF3F9E027  Time : 0.0 sec.
user=henryzz
[2012-03-26 21:15:38]
597*2^1128706-1 is not prime.  Res64: 7CCEECFD629B6AF5  Time : 0.0 sec.
user=odicin
[2012-03-26 21:19:56]
441*2^1128707-1 is not prime.  Res64: CCC2A831033DA1C2  Time : 0.0 sec.
user=odicin
[2012-03-26 21:19:58]
463*2^1128707-1 is not prime.  Res64: D0C28F6A90B78EAB  Time : 0.0 sec.
user=juhehe
[2012-03-26 21:21:10]
507*2^1128705-1 is not prime.  Res64: 9004FFFEEB51D5CF  Time : 0.0 sec.
user=henryzz
[2012-03-26 21:24:25]
585*2^1128707-1 is not prime.  Res64: A92CF0F7B0DBDC7C  Time : 0.0 sec.
user=juhehe
[2012-03-26 21:24:54]
489*2^1128708-1 is not prime.  Res64: 93FB6E217721CA1C  Time : 0.0 sec.
user=juhehe
[2012-03-26 21:25:21]
521*2^1128706-1 is not prime.  Res64: 5A17D8347D8DDC1F  Time : 0.0 sec.
user=henryzz
[2012-03-26 21:31:20]
513*2^1128708-1 is not prime.  Res64: 08CD658CF47A82D9  Time : 0.0 sec.
user=henryzz
[2012-03-26 21:35:14]
597*2^1128708-1 is not prime.  Res64: ACA6D39E7C5F2391  Time : 0.0 sec.
user=henryzz
[2012-03-26 21:36:39]
451*2^1128709-1 is not prime.  Res64: 5CEF7D2F5E3831D4  Time : 0.0 sec.
user=odicin
[2012-03-26 21:41:30]
555*2^1128709-1 is not prime.  Res64: 57FA6E3DA74306EE  Time : 0.0 sec.
user=odicin
[2012-03-26 21:41:30]
567*2^1128709-1 is not prime.  Res64: 2BC0A633881DB765  Time : 0.0 sec.
user=juhehe
[2012-03-26 21:42:15]
483*2^1128710-1 is not prime.  Res64: DF905981CF607F48  Time : 0.0 sec.
user=henryzz
[2012-03-26 21:45:00]
431*2^1128710-1 is not prime.  Res64: 72FDF9199A29AAC2  Time : 0.0 sec.
user=henryzz
[2012-03-26 21:52:31]
503*2^1128710-1 is not prime.  Res64: 09A8EAA938E172E5  Time : 0.0 sec.
user=henryzz
[2012-03-26 21:55:31]
521*2^1128710-1 is not prime.  Res64: 698FA9DD5DDAD5A8  Time : 0.0 sec.
user=juhehe
[2012-03-26 21:56:03]
411*2^1128710-1 is not prime.  Res64: 2382897F1CD25865  Time : 0.0 sec.
user=henryzz
[2012-03-26 21:58:01]
545*2^1128710-1 is not prime.  Res64: 43F523C01152F4E0  Time : 0.0 sec.
user=juhehe
[2012-03-26 21:59:35]
583*2^1128711-1 is not prime.  Res64: B4F3C106833F1B13  Time : 0.0 sec.
user=juhehe
[2012-03-26 22:00:18]
495*2^1128710-1 is not prime.  Res64: FE7CCB3C9ED1DBD7  Time : 0.0 sec.
user=odicin
[2012-03-26 22:03:00]
459*2^1128711-1 is not prime.  Res64: D3D1D4297054AB4A  Time : 0.0 sec.
user=odicin
[2012-03-26 22:03:00]
559*2^1128711-1 is not prime.  Res64: 0410303F6E937FEC  Time : 0.0 sec.
user=henryzz
[2012-03-26 22:05:45]
413*2^1128712-1 is not prime.  Res64: 7A0AC15B0311BCEF  Time : 0.0 sec.
user=henryzz
[2012-03-26 22:14:19]
429*2^1128712-1 is not prime.  Res64: BA59A4D5E43AB6BA  Time : 0.0 sec.
user=juhehe
[2012-03-26 22:16:57]
565*2^1128713-1 is not prime.  Res64: 4CEB9CDA58CCC1BF  Time : 0.0 sec.
user=henryzz
[2012-03-26 22:19:07]
507*2^1128712-1 is not prime.  Res64: 9A61F1CA7ACFC0FA  Time : 0.0 sec.
user=henryzz
[2012-03-26 22:19:35]
529*2^1128713-1 is not prime.  Res64: 8F3554F1C62EABBA  Time : 0.0 sec.
user=odicin
[2012-03-26 22:24:31]
443*2^1128714-1 is not prime.  Res64: 5616BF7611E6FD69  Time : 0.0 sec.
user=odicin
[2012-03-26 22:24:31]
413*2^1128714-1 is not prime.  Res64: C9C32AD2E899CC1E  Time : 0.0 sec.
user=henryzz
[2012-03-26 22:26:53]
415*2^1128715-1 is not prime.  Res64: 425536FA0CD13249  Time : 0.0 sec.
user=juhehe
[2012-03-26 22:30:26]
563*2^1128712-1 is not prime.  Res64: C81F648BC0FBE207  Time : 0.0 sec.
user=juhehe
[2012-03-26 22:34:17]
425*2^1128716-1 is not prime.  Res64: 43413DFF81F04212  Time : 0.0 sec.
user=juhehe
[2012-03-26 22:34:46]
595*2^1128713-1 is not prime.  Res64: 789F5A6777FC6D3B  Time : 0.0 sec.
user=henryzz
[2012-03-26 22:35:02]
441*2^1128715-1 is not prime.  Res64: C4A3BD73922B562F  Time : 0.0 sec.
user=henryzz
[2012-03-26 22:40:00]
519*2^1128716-1 is not prime.  Res64: 5680FFC2252A680F  Time : 0.0 sec.
user=henryzz
[2012-03-26 22:41:14]
453*2^1128716-1 is not prime.  Res64: E515D6E0ED58D9DE  Time : 0.0 sec.
user=odicin
[2012-03-26 22:46:01]
517*2^1128717-1 is not prime.  Res64: 79EA6C07C51A20BD  Time : 0.0 sec.
user=odicin
[2012-03-26 22:46:02]
507*2^1128717-1 is not prime.  Res64: 72907EB2E01451E5  Time : 0.0 sec.
user=henryzz
[2012-03-26 22:47:42]
443*2^1128718-1 is not prime.  Res64: 09D1E28527AC4EEF  Time : 0.0 sec.
user=juhehe
[2012-03-26 22:51:36]
567*2^1128718-1 is not prime.  Res64: 77FA6D511E2B1670  Time : 0.0 sec.
user=henryzz
[2012-03-26 23:00:04]
525*2^1128720-1 is not prime.  Res64: 02FA633825E45AC4  Time : 0.0 sec.
user=henryzz
[2012-03-26 23:01:34]
567*2^1128720-1 is not prime.  Res64: 2A6B9F46679E3596  Time : 0.0 sec.
user=juhehe
[2012-03-26 23:05:06]
467*2^1128718-1 is not prime.  Res64: 7FA7D3040CE6BB9E  Time : 0.0 sec.
user=henryzz
[2012-03-26 23:06:16]
513*2^1128720-1 is not prime.  Res64: 408F28D675264EFE  Time : 0.0 sec.
user=henryzz
[2012-03-26 23:07:22]
407*2^1128722-1 is not prime.  Res64: EA6CD803A789026D  Time : 0.0 sec.
user=odicin
[2012-03-26 23:07:31]
489*2^1128721-1 is not prime.  Res64: 9E63B81E5971225C  Time : 0.0 sec.
user=odicin
[2012-03-26 23:07:32]
577*2^1128721-1 is not prime.  Res64: 509BC7CB617A6BB0  Time : 0.0 sec.
user=juhehe
[2012-03-26 23:08:56]
423*2^1128722-1 is not prime.  Res64: 043AC33FE70F5130  Time : 0.0 sec.
user=juhehe
[2012-03-26 23:12:06]
505*2^1128719-1 is not prime.  Res64: CF4464D47C90F58D  Time : 0.0 sec.
user=henryzz
[2012-03-26 23:21:31]
501*2^1128722-1 is not prime.  Res64: 532AE835B86409D3  Time : 0.0 sec.
user=henryzz
[2012-03-26 23:22:05]
581*2^1128722-1 is not prime.  Res64: BE1A4EEC54624112  Time : 0.0 sec.
user=juhehe
[2012-03-26 23:26:15]
497*2^1128724-1 is not prime.  Res64: B62542DFDF1D4370  Time : 0.0 sec.
user=henryzz
[2012-03-26 23:26:59]
439*2^1128723-1 is not prime.  Res64: 28B526AB33C9ECE0  Time : 0.0 sec.
user=henryzz
[2012-03-26 23:28:40]
583*2^1128723-1 is not prime.  Res64: 8E2D925604A728DD  Time : 0.0 sec.
user=odicin
[2012-03-26 23:29:05]
437*2^1128724-1 is not prime.  Res64: CA8EB3EB0846F2B4  Time : 0.0 sec.
user=odicin
[2012-03-26 23:29:07]
483*2^1128724-1 is not prime.  Res64: 14A971FD25BC2D24  Time : 0.0 sec.
user=juhehe
[2012-03-26 23:39:09]
411*2^1128723-1 is not prime.  Res64: A2DEF3CD16F6CF00  Time : 0.0 sec.
user=henryzz
[2012-03-26 23:42:36]
579*2^1128724-1 is not prime.  Res64: FF308AFA92301DBD  Time : 0.0 sec.
user=juhehe
[2012-03-26 23:43:36]
469*2^1128725-1 is not prime.  Res64: CEBFA128D6AF995C  Time : 0.0 sec.
user=henryzz
[2012-03-26 23:43:41]
451*2^1128725-1 is not prime.  Res64: 843D3857093F1665  Time : 0.0 sec.
user=juhehe
[2012-03-26 23:46:01]
539*2^1128724-1 is not prime.  Res64: A6D46829BB4A0162  Time : 0.0 sec.
user=henryzz
[2012-03-26 23:48:00]
489*2^1128725-1 is not prime.  Res64: 9B47D20255C8CEFC  Time : 0.0 sec.
user=henryzz
[2012-03-26 23:50:11]
507*2^1128725-1 is not prime.  Res64: C0508E4F2B2D7FF0  Time : 0.0 sec.
user=odicin
[2012-03-26 23:50:34]
517*2^1128725-1 is not prime.  Res64: EC2BBCD0A0A10864  Time : 0.0 sec.
user=odicin
[2012-03-26 23:50:36]
561*2^1128725-1 is not prime.  Res64: CF3A334C5B3801BF  Time : 0.0 sec.
user=juhehe
[2012-03-27 00:00:56]
417*2^1128726-1 is not prime.  Res64: E0FD4DCA922EBDC2  Time : 0.0 sec.