user=juhehe
[2012-03-10 00:01:18]
417*2^1127013-1 is not prime.  Res64: DDA6E7A7D86A174C  Time : 0.0 sec.
user=juhehe
[2012-03-10 00:16:06]
429*2^1127013-1 is not prime.  Res64: 240ABBC7586F0582  Time : 0.0 sec.
user=juhehe
[2012-03-10 00:33:48]
555*2^1127013-1 is not prime.  Res64: 262044F3C9896415  Time : 0.0 sec.
user=juhehe
[2012-03-10 00:48:35]
595*2^1127013-1 is not prime.  Res64: C554AEA9CE6A4D24  Time : 0.0 sec.
user=vaughan
[2012-03-10 00:58:13]
487*2^1127013-1 is not prime.  Res64: 5782F53692039133  Time : 0.0 sec.
user=juhehe
[2012-03-10 01:06:20]
423*2^1127014-1 is not prime.  Res64: 7C42E7504887180A  Time : 0.0 sec.
user=juhehe
[2012-03-10 01:21:12]
477*2^1127014-1 is not prime.  Res64: 358AF4709665DF2B  Time : 0.0 sec.
user=juhehe
[2012-03-10 01:38:52]
433*2^1127015-1 is not prime.  Res64: BEE0D664D80FF653  Time : 0.0 sec.
user=juhehe
[2012-03-10 01:53:42]
453*2^1127015-1 is not prime.  Res64: 95B82C8D26E3124F  Time : 0.0 sec.
user=juhehe
[2012-03-10 02:02:36]
451*2^1126999-1 is not prime.  Res64: 3451D40E869842E8  Time : 0.0 sec.
user=juhehe
[2012-03-10 02:02:37]
549*2^1126999-1 is not prime.  Res64: 63ED4C9099F8F758  Time : 0.0 sec.
user=juhehe
[2012-03-10 02:02:38]
437*2^1127000-1 is not prime.  Res64: 710FA558060A2CCE  Time : 0.0 sec.
user=juhehe
[2012-03-10 02:02:38]
455*2^1127000-1 is not prime.  Res64: A200DD234401BC73  Time : 0.0 sec.
user=juhehe
[2012-03-10 02:02:39]
533*2^1127000-1 is not prime.  Res64: DF230A1E269A9926  Time : 0.0 sec.
user=juhehe
[2012-03-10 02:02:40]
539*2^1127000-1 is not prime.  Res64: 355BF1288A7E5263  Time : 0.0 sec.
user=juhehe
[2012-03-10 02:02:40]
567*2^1127000-1 is not prime.  Res64: 042402E8D971C38B  Time : 0.0 sec.
user=juhehe
[2012-03-10 02:02:41]
471*2^1127001-1 is not prime.  Res64: 3E2D140F8A3DC436  Time : 0.0 sec.
user=juhehe
[2012-03-10 02:02:42]
531*2^1127001-1 is not prime.  Res64: F22A37373D71C6FB  Time : 0.0 sec.
user=juhehe
[2012-03-10 02:02:42]
549*2^1127001-1 is not prime.  Res64: 56CC868CDA238DA1  Time : 0.0 sec.
user=juhehe
[2012-03-10 02:02:43]
577*2^1127001-1 is not prime.  Res64: 03E5CFED06C3067C  Time : 0.0 sec.
user=juhehe
[2012-03-10 02:02:44]
401*2^1127002-1 is not prime.  Res64: 26CBCB4D637A936A  Time : 0.0 sec.
user=juhehe
[2012-03-10 02:02:44]
411*2^1127003-1 is not prime.  Res64: EC2C1CFCFF76EF06  Time : 0.0 sec.
user=juhehe
[2012-03-10 02:02:45]
481*2^1127003-1 is not prime.  Res64: A69661D536BB0FDF  Time : 0.0 sec.
user=juhehe
[2012-03-10 02:02:45]
519*2^1127003-1 is not prime.  Res64: 2FFA0B73B88669E6  Time : 0.0 sec.
user=juhehe
[2012-03-10 02:02:46]
529*2^1127003-1 is not prime.  Res64: 52AA2394228C4F23  Time : 0.0 sec.
user=juhehe
[2012-03-10 02:02:47]
419*2^1127004-1 is not prime.  Res64: 9B8D15CA4A1301C6  Time : 0.0 sec.
user=juhehe
[2012-03-10 02:02:47]
525*2^1127004-1 is not prime.  Res64: A5EDB8ECF5886306  Time : 0.0 sec.
user=juhehe
[2012-03-10 02:02:48]
585*2^1127004-1 is not prime.  Res64: 54397B7A8748DB97  Time : 0.0 sec.
user=juhehe
[2012-03-10 02:02:48]
405*2^1127005-1 is not prime.  Res64: FD79DD897FB8B073  Time : 0.0 sec.
user=juhehe
[2012-03-10 02:11:23]
463*2^1127015-1 is not prime.  Res64: A43DA0A8AD676869  Time : 0.0 sec.
user=juhehe
[2012-03-10 02:26:15]
543*2^1127015-1 is not prime.  Res64: 252E50B8E1997E7B  Time : 0.0 sec.
user=juhehe
[2012-03-10 02:27:40]
525*2^1126996-1 is not prime.  Res64: 834325E91814F4A2  Time : 0.0 sec.
user=juhehe
[2012-03-10 02:51:49]
503*2^1127024-1 is not prime.  Res64: 4D6DE621F3C6174E  Time : 0.0 sec.
user=juhehe
[2012-03-10 03:13:38]
459*2^1127025-1 is not prime.  Res64: 88F9B53D81029D0E  Time : 0.0 sec.
user=juhehe
[2012-03-10 03:33:25]
525*2^1127025-1 is not prime.  Res64: C0D42C1856CA2AC9  Time : 0.0 sec.
user=juhehe
[2012-03-10 03:53:24]
597*2^1127025-1 is not prime.  Res64: DED250CB0EC7AAE4  Time : 0.0 sec.
user=vaughan
[2012-03-10 04:07:45]
513*2^1127026-1 is not prime.  Res64: 35F6B229E0DF1955  Time : 0.0 sec.
user=juhehe
[2012-03-10 04:15:31]
441*2^1127027-1 is not prime.  Res64: A4B581E5FBB0C20D  Time : 0.0 sec.
user=juhehe
[2012-03-10 04:35:46]
519*2^1127027-1 is not prime.  Res64: 028683357ABF03BF  Time : 0.0 sec.
user=juhehe
[2012-03-10 04:55:00]
537*2^1127028-1 is not prime.  Res64: 05FAFCE4432F369D  Time : 0.0 sec.
user=vaughan
[2012-03-10 05:12:07]
427*2^1127029-1 is not prime.  Res64: 422E9DA1BC10CAE9  Time : 0.0 sec.
user=juhehe
[2012-03-10 05:13:40]
429*2^1127029-1 is not prime.  Res64: E0C526FD484F220F  Time : 0.0 sec.
user=juhehe
[2012-03-10 05:32:18]
477*2^1127029-1 is not prime.  Res64: E78DC7B657ABCD29  Time : 0.0 sec.
user=vaughan
[2012-03-10 05:44:55]
441*2^1127029-1 is not prime.  Res64: 6AA4C7BECCC65A5D  Time : 0.0 sec.
user=juhehe
[2012-03-10 05:50:57]
481*2^1127029-1 is not prime.  Res64: 0022A4DDBCFB5E5B  Time : 0.0 sec.
user=juhehe
[2012-03-10 06:09:35]
511*2^1127029-1 is not prime.  Res64: 779067CA4DE78565  Time : 0.0 sec.
user=juhehe
[2012-03-10 06:28:14]
555*2^1127029-1 is not prime.  Res64: 000927F94779938F  Time : 0.0 sec.
user=juhehe
[2012-03-10 06:46:53]
461*2^1127030-1 is not prime.  Res64: 2CF8979406CDD2FD  Time : 0.0 sec.
user=juhehe
[2012-03-10 07:05:34]
501*2^1127030-1 is not prime.  Res64: 1E7B705E3849FBE0  Time : 0.0 sec.
user=juhehe
[2012-03-10 07:24:11]
405*2^1127031-1 is not prime.  Res64: E65F649CCAA30D57  Time : 0.0 sec.
user=juhehe
[2012-03-10 07:42:48]
441*2^1127031-1 is not prime.  Res64: 827F22E968781293  Time : 0.0 sec.
user=juhehe
[2012-03-10 08:01:29]
535*2^1127031-1 is not prime.  Res64: 2E30BC59172E36BE  Time : 0.0 sec.
user=juhehe
[2012-03-10 08:20:07]
419*2^1127032-1 is not prime.  Res64: 2DF27653906058C5  Time : 0.0 sec.
user=juhehe
[2012-03-10 08:40:59]
453*2^1127032-1 is not prime.  Res64: 47F5352915CE10E9  Time : 0.0 sec.
user=juhehe
[2012-03-10 09:04:42]
485*2^1127032-1 is not prime.  Res64: 49791B40755BC49B  Time : 0.0 sec.
user=juhehe
[2012-03-10 09:36:47]
489*2^1127032-1 is not prime.  Res64: 8C25931242ECEA9A  Time : 0.0 sec.
user=juhehe
[2012-03-10 10:05:32]
569*2^1127032-1 is not prime.  Res64: E83401A09328CE32  Time : 0.0 sec.
user=vaughan
[2012-03-10 10:28:23]
411*2^1127033-1 is not prime.  Res64: 3D02A67D4B1E5AE0  Time : 0.0 sec.
user=juhehe
[2012-03-10 10:31:43]
435*2^1127033-1 is not prime.  Res64: E588AC06D77A5C4E  Time : 0.0 sec.
user=vaughan
[2012-03-10 12:04:45]
595*2^1127033-1 is not prime.  Res64: 5583F8E41E990CEA  Time : 0.0 sec.
user=vaughan
[2012-03-10 12:37:56]
423*2^1127034-1 is not prime.  Res64: FD756EE7535E6596  Time : 0.0 sec.
user=juhehe
[2012-03-10 12:57:13]
441*2^1127033-1 is not prime.  Res64: 7BB3BE7878440E64  Time : 0.0 sec.
user=henryzz
[2012-03-10 13:10:44]
563*2^1127034-1 is not prime.  Res64: 96DE6E1E4288A0AD  Time : 0.0 sec.
user=henryzz
[2012-03-10 13:11:21]
567*2^1127034-1 is not prime.  Res64: CF731702E39D3F31  Time : 0.0 sec.
user=henryzz
[2012-03-10 13:14:30]
535*2^1127035-1 is not prime.  Res64: CDDBA60109EB8058  Time : 0.0 sec.
user=henryzz
[2012-03-10 13:14:46]
451*2^1127037-1 is not prime.  Res64: 31EA630EEF07A48E  Time : 0.0 sec.
user=juhehe
[2012-03-10 13:18:22]
475*2^1127037-1 is not prime.  Res64: 8F33C6DF0AD80E9E  Time : 0.0 sec.
user=gd_barnes
[2012-03-10 13:33:27]
579*2^1127037-1 is not prime.  Res64: AB74443021774212  Time : 0.0 sec.
user=gd_barnes
[2012-03-10 13:34:17]
451*2^1127039-1 is not prime.  Res64: 05E9B6FA10644152  Time : 0.0 sec.
user=gd_barnes
[2012-03-10 13:35:24]
423*2^1127038-1 is not prime.  Res64: C2B0A6C33FA3BC0C  Time : 0.0 sec.
user=juhehe
[2012-03-10 13:37:16]
473*2^1127040-1 is not prime.  Res64: D160C96F595B66C5  Time : 0.0 sec.
user=henryzz
[2012-03-10 13:39:43]
453*2^1127038-1 is not prime.  Res64: B41F2C4FC51B3E0C  Time : 0.0 sec.
user=henryzz
[2012-03-10 13:40:20]
423*2^1127039-1 is not prime.  Res64: 36034532DC901280  Time : 0.0 sec.
user=vaughan
[2012-03-10 13:42:10]
447*2^1127038-1 is not prime.  Res64: 425FBDDD0121F560  Time : 0.0 sec.
user=henryzz
[2012-03-10 13:43:18]
571*2^1127039-1 is not prime.  Res64: 56FEF514EDC76ABE  Time : 0.0 sec.
user=henryzz
[2012-03-10 13:44:40]
489*2^1127039-1 is not prime.  Res64: 15208F1A64DD8BDF  Time : 0.0 sec.
user=juhehe
[2012-03-10 13:55:54]
557*2^1127040-1 is not prime.  Res64: 17F56035CB8DECF4  Time : 0.0 sec.
user=henryzz
[2012-03-10 14:08:36]
447*2^1127041-1 is not prime.  Res64: 4A96D256E8514830  Time : 0.0 sec.
user=henryzz
[2012-03-10 14:10:13]
465*2^1127041-1 is not prime.  Res64: AD823A525C669382  Time : 0.0 sec.
user=henryzz
[2012-03-10 14:13:06]
559*2^1127041-1 is not prime.  Res64: 09958CE239C379D6  Time : 0.0 sec.
user=henryzz
[2012-03-10 14:13:12]
525*2^1127041-1 is not prime.  Res64: AA809D2BED2D4449  Time : 0.0 sec.
user=juhehe
[2012-03-10 14:14:34]
433*2^1127043-1 is not prime.  Res64: 88E917B44067086E  Time : 0.0 sec.
user=juhehe
[2012-03-10 14:33:14]
569*2^1127044-1 is not prime.  Res64: FBE0BEEA9B435503  Time : 0.0 sec.
user=henryzz
[2012-03-10 14:38:16]
523*2^1127043-1 is not prime.  Res64: BA2B239F9AE17C10  Time : 0.0 sec.
user=henryzz
[2012-03-10 14:41:20]
419*2^1127044-1 is not prime.  Res64: EF726A512C8456AF  Time : 0.0 sec.
user=henryzz
[2012-03-10 14:43:08]
541*2^1127043-1 is not prime.  Res64: 8863999FCB50BFCC  Time : 0.0 sec.
user=henryzz
[2012-03-10 14:46:07]
453*2^1127044-1 is not prime.  Res64: 2091A8B9C9D48E17  Time : 0.0 sec.
user=juhehe
[2012-03-10 14:51:52]
573*2^1127044-1 is not prime.  Res64: B1FAB871E6B7F258  Time : 0.0 sec.
user=henryzz
[2012-03-10 15:05:55]
487*2^1127045-1 is not prime.  Res64: 8D9DE506ECB777D6  Time : 0.0 sec.
user=henryzz
[2012-03-10 15:09:22]
597*2^1127044-1 is not prime.  Res64: 30AB0A6ADC6ECC35  Time : 0.0 sec.
user=juhehe
[2012-03-10 15:10:32]
489*2^1127047-1 is not prime.  Res64: 641B4AAD2E731AFE  Time : 0.0 sec.
user=henryzz
[2012-03-10 15:14:31]
537*2^1127045-1 is not prime.  Res64: 17C67E64BFDBB3F5  Time : 0.0 sec.
user=henryzz
[2012-03-10 15:18:12]
483*2^1127046-1 is not prime.  Res64: 61C89C61814BCD95  Time : 0.0 sec.
user=vaughan
[2012-03-10 15:21:16]
521*2^1127046-1 is not prime.  Res64: 0BE3D23B9DC77CEE  Time : 0.0 sec.
user=juhehe
[2012-03-10 15:29:12]
573*2^1127048-1 is not prime.  Res64: 90C4390A685316AA  Time : 0.0 sec.
user=henryzz
[2012-03-10 15:35:04]
595*2^1127047-1 is not prime.  Res64: 2AE6F5868FD49CAE  Time : 0.0 sec.
user=henryzz
[2012-03-10 15:39:36]
509*2^1127048-1 is not prime.  Res64: A4292DBC32101D5C  Time : 0.0 sec.
user=henryzz
[2012-03-10 15:44:54]
439*2^1127049-1 is not prime.  Res64: A4023FA538BDCA0D  Time : 0.0 sec.
user=juhehe
[2012-03-10 15:47:53]
595*2^1127049-1 is not prime.  Res64: A9E4917EC9F662E4  Time : 0.0 sec.
user=henryzz
[2012-03-10 15:48:42]
565*2^1127049-1 is not prime.  Res64: A0CE59A441A3B503  Time : 0.0 sec.
user=henryzz
[2012-03-10 16:03:49]
425*2^1127050-1 is not prime.  Res64: F25EF73E001B7827  Time : 0.0 sec.
user=juhehe
[2012-03-10 16:06:34]
453*2^1127051-1 is not prime.  Res64: 0AACD15E7B364E0C  Time : 0.0 sec.
user=henryzz
[2012-03-10 16:07:59]
461*2^1127050-1 is not prime.  Res64: 707486D967CC7D23  Time : 0.0 sec.
user=henryzz
[2012-03-10 16:13:07]
421*2^1127051-1 is not prime.  Res64: 013F1B9828E4855B  Time : 0.0 sec.
user=henryzz
[2012-03-10 16:16:53]
531*2^1127051-1 is not prime.  Res64: 855A87809F0D4816  Time : 0.0 sec.
user=juhehe
[2012-03-10 16:25:16]
447*2^1127052-1 is not prime.  Res64: 5F77030030E30BC9  Time : 0.0 sec.
user=gd_barnes
[2012-03-10 16:33:53]
489*2^1127053-1 is not prime.  Res64: 39E8F8EDE5821900  Time : 0.0 sec.
user=henryzz
[2012-03-10 16:35:29]
585*2^1127051-1 is not prime.  Res64: 892AF3A349DC1383  Time : 0.0 sec.
user=henryzz
[2012-03-10 16:37:31]
479*2^1127052-1 is not prime.  Res64: B12A5D45613A7369  Time : 0.0 sec.
user=juhehe
[2012-03-10 16:43:56]
589*2^1127053-1 is not prime.  Res64: A77F5D162C5118A1  Time : 0.0 sec.
user=henryzz
[2012-03-10 16:46:16]
547*2^1127053-1 is not prime.  Res64: FB79BDE21D5094C3  Time : 0.0 sec.
user=henryzz
[2012-03-10 16:55:09]
507*2^1127053-1 is not prime.  Res64: 63B1AB082E661A7A  Time : 0.0 sec.
user=henryzz
[2012-03-10 16:58:09]
473*2^1127054-1 is not prime.  Res64: 9B8B01485D0FC122  Time : 0.0 sec.
user=henryzz
[2012-03-10 16:58:23]
447*2^1127054-1 is not prime.  Res64: 62511A743D3B4EF8  Time : 0.0 sec.
user=juhehe
[2012-03-10 17:02:34]
521*2^1127054-1 is not prime.  Res64: 52ADDBF8B34CC434  Time : 0.0 sec.
user=henryzz
[2012-03-10 17:18:31]
551*2^1127054-1 is not prime.  Res64: B8661877906F6708  Time : 0.0 sec.
user=henryzz
[2012-03-10 17:20:06]
567*2^1127054-1 is not prime.  Res64: 3561F552B7986777  Time : 0.0 sec.
user=juhehe
[2012-03-10 17:21:13]
433*2^1127055-1 is not prime.  Res64: BE1CECEABD23DDAA  Time : 0.0 sec.
user=gd_barnes
[2012-03-10 17:25:54]
481*2^1127055-1 is not prime.  Res64: 44694C5981DC70A6  Time : 0.0 sec.
user=henryzz
[2012-03-10 17:36:37]
489*2^1127055-1 is not prime.  Res64: 0F7FB372FAD715E7  Time : 0.0 sec.
user=juhehe
[2012-03-10 17:39:50]
501*2^1127058-1 is not prime.  Res64: 004859BDF1C617C5  Time : 0.0 sec.
user=henryzz
[2012-03-10 17:41:55]
579*2^1127055-1 is not prime.  Res64: 901D6BA8693828AD  Time : 0.0 sec.
user=henryzz
[2012-03-10 17:43:58]
439*2^1127057-1 is not prime.  Res64: 0DE1BDD4D51415FC  Time : 0.0 sec.
user=henryzz
[2012-03-10 17:44:52]
437*2^1127058-1 is not prime.  Res64: AB38ACB27C866BA0  Time : 0.0 sec.
user=juhehe
[2012-03-10 17:58:31]
507*2^1127058-1 is not prime.  Res64: 9C9636B0BDFE83D2  Time : 0.0 sec.
user=henryzz
[2012-03-10 18:07:08]
411*2^1127059-1 is not prime.  Res64: 36ABCE37033B3A71  Time : 0.0 sec.
user=henryzz
[2012-03-10 18:15:14]
451*2^1127059-1 is not prime.  Res64: 68ADB3900FDA9B42  Time : 0.0 sec.
user=juhehe
[2012-03-10 18:17:08]
467*2^1127060-1 is not prime.  Res64: B3C8A13E6D420996  Time : 0.0 sec.
user=henryzz
[2012-03-10 18:17:28]
567*2^1127058-1 is not prime.  Res64: F26AD9D1B88552E6  Time : 0.0 sec.
user=henryzz
[2012-03-10 18:21:07]
437*2^1127060-1 is not prime.  Res64: CDF3A9AFC5400C59  Time : 0.0 sec.
user=vaughan
[2012-03-10 18:30:47]
555*2^1127059-1 is not prime.  Res64: 2845C3866B9C6DB9  Time : 0.0 sec.
user=juhehe
[2012-03-10 18:35:47]
533*2^1127060-1 is not prime.  Res64: 494D0CF45B3518E6  Time : 0.0 sec.
user=henryzz
[2012-03-10 18:36:04]
495*2^1127060-1 is not prime.  Res64: 2C2928BAC545DE3F  Time : 0.0 sec.
user=henryzz
[2012-03-10 18:38:41]
585*2^1127060-1 is not prime.  Res64: B8D403FB0BE5B475  Time : 0.0 sec.
user=henryzz
[2012-03-10 18:41:43]
405*2^1127061-1 is not prime.  Res64: F82E7849865D10A3  Time : 0.0 sec.
user=juhehe
[2012-03-10 18:54:25]
415*2^1127061-1 is not prime.  Res64: 22F7598112530B9B  Time : 0.0 sec.
user=henryzz
[2012-03-10 18:58:53]
499*2^1127061-1 is not prime.  Res64: 20A07A0CA62B1A85  Time : 0.0 sec.
user=henryzz
[2012-03-10 19:06:12]
571*2^1127061-1 is not prime.  Res64: C059DBFB2166FCC9  Time : 0.0 sec.
user=juhehe
[2012-03-10 19:13:05]
401*2^1127062-1 is not prime.  Res64: 20710D23499CA55A  Time : 0.0 sec.
user=henryzz
[2012-03-10 19:16:25]
591*2^1127061-1 is not prime.  Res64: 68541B6F6C1EF1B8  Time : 0.0 sec.
user=henryzz
[2012-03-10 19:16:33]
577*2^1127061-1 is not prime.  Res64: 6CE015A71EAA9DA4  Time : 0.0 sec.
user=henryzz
[2012-03-10 19:29:52]
491*2^1127062-1 is not prime.  Res64: B7AC01410E6C8260  Time : 0.0 sec.
user=juhehe
[2012-03-10 19:31:43]
591*2^1127063-1 is not prime.  Res64: 200F7334B41F77BC  Time : 0.0 sec.
user=gd_barnes
[2012-03-10 19:33:43]
439*2^1127063-1 is not prime.  Res64: EB0F479EC5FC97E9  Time : 0.0 sec.
user=henryzz
[2012-03-10 19:34:38]
405*2^1127062-1 is not prime.  Res64: 77C4DD423C97594C  Time : 0.0 sec.
user=juhehe
[2012-03-10 19:50:21]
481*2^1127065-1 is not prime.  Res64: E0660207A96DD957  Time : 0.0 sec.
user=henryzz
[2012-03-10 19:52:29]
543*2^1127064-1 is not prime.  Res64: 15E7C0A10C2D46B9  Time : 0.0 sec.
user=henryzz
[2012-03-10 19:52:40]
585*2^1127064-1 is not prime.  Res64: 55B7AF0E840BF8A8  Time : 0.0 sec.
user=henryzz
[2012-03-10 19:56:03]
441*2^1127065-1 is not prime.  Res64: C8C2F088DA474881  Time : 0.0 sec.
user=henryzz
[2012-03-10 20:00:12]
499*2^1127065-1 is not prime.  Res64: EEEA2688E46D9071  Time : 0.0 sec.
user=juhehe
[2012-03-10 20:09:01]
541*2^1127065-1 is not prime.  Res64: E6D81E17B43D1335  Time : 0.0 sec.
user=henryzz
[2012-03-10 20:19:12]
497*2^1127066-1 is not prime.  Res64: ACDCC6E6670286CB  Time : 0.0 sec.
user=henryzz
[2012-03-10 20:20:21]
521*2^1127066-1 is not prime.  Res64: A2C9AD5089E7CBD9  Time : 0.0 sec.
user=henryzz
[2012-03-10 20:24:00]
537*2^1127066-1 is not prime.  Res64: 890B76781D3FE640  Time : 0.0 sec.
user=henryzz
[2012-03-10 20:26:42]
587*2^1127066-1 is not prime.  Res64: CEF1EC79BBDA1990  Time : 0.0 sec.
user=juhehe
[2012-03-10 20:27:43]
405*2^1127067-1 is not prime.  Res64: 549CECAAF1DD3FF2  Time : 0.0 sec.
user=henryzz
[2012-03-10 20:45:57]
409*2^1127067-1 is not prime.  Res64: EEE7C660AAF558E3  Time : 0.0 sec.
user=juhehe
[2012-03-10 20:46:21]
489*2^1127067-1 is not prime.  Res64: 4A113A99B942EB58  Time : 0.0 sec.
user=henryzz
[2012-03-10 20:47:18]
433*2^1127067-1 is not prime.  Res64: 1D21EF3348E74595  Time : 0.0 sec.
user=henryzz
[2012-03-10 20:49:41]
471*2^1127067-1 is not prime.  Res64: F82271E662EF9214  Time : 0.0 sec.
user=henryzz
[2012-03-10 20:52:30]
475*2^1127067-1 is not prime.  Res64: 68785DAEFFADF68A  Time : 0.0 sec.
user=juhehe
[2012-03-10 21:04:57]
493*2^1127067-1 is not prime.  Res64: 55BAC7127DFD2020  Time : 0.0 sec.
user=henryzz
[2012-03-10 21:09:52]
573*2^1127067-1 is not prime.  Res64: 9E130A9119DFA036  Time : 0.0 sec.
user=henryzz
[2012-03-10 21:13:13]
483*2^1127068-1 is not prime.  Res64: 81331BFAF8787B7D  Time : 0.0 sec.
user=juhehe
[2012-03-10 21:23:41]
533*2^1127068-1 is not prime.  Res64: 2C248A64AC8F752E  Time : 0.0 sec.
user=henryzz
[2012-03-10 21:30:01]
507*2^1127069-1 is not prime.  Res64: DCC46475B6F380B2  Time : 0.0 sec.
user=henryzz
[2012-03-10 21:31:30]
471*2^1127070-1 is not prime.  Res64: 970220F731AE193A  Time : 0.0 sec.
user=henryzz
[2012-03-10 21:38:18]
557*2^1127070-1 is not prime.  Res64: 5E5E7037A3E9E636  Time : 0.0 sec.
user=juhehe
[2012-03-10 21:42:18]
519*2^1127071-1 is not prime.  Res64: AA107A572494F3CD  Time : 0.0 sec.
user=henryzz
[2012-03-10 21:49:23]
483*2^1127071-1 is not prime.  Res64: A1897B2875A955FD  Time : 0.0 sec.
user=henryzz
[2012-03-10 21:55:04]
483*2^1127072-1 is not prime.  Res64: DD33BB48B1356763  Time : 0.0 sec.
user=henryzz
[2012-03-10 21:56:54]
567*2^1127072-1 is not prime.  Res64: D7FD80391A47DA0B  Time : 0.0 sec.
user=juhehe
[2012-03-10 22:00:58]
411*2^1127074-1 is not prime.  Res64: 3F6BF6D341BA07BB  Time : 0.0 sec.
user=henryzz
[2012-03-10 22:01:40]
459*2^1127073-1 is not prime.  Res64: 1077A3FB6171D928  Time : 0.0 sec.
user=juhehe
[2012-03-10 22:19:38]
523*2^1127075-1 is not prime.  Res64: FD0BCC432D5F45E1  Time : 0.0 sec.
user=henryzz
[2012-03-10 22:20:12]
435*2^1127074-1 is not prime.  Res64: EF6E75EDAFC3EF64  Time : 0.0 sec.
user=henryzz
[2012-03-10 22:22:37]
477*2^1127074-1 is not prime.  Res64: D5732C049E86DDAD  Time : 0.0 sec.
user=henryzz
[2012-03-10 22:25:45]
561*2^1127074-1 is not prime.  Res64: D7CF62ED4F4562BE  Time : 0.0 sec.
user=henryzz
[2012-03-10 22:28:00]
531*2^1127075-1 is not prime.  Res64: A63ACABE786A6BC1  Time : 0.0 sec.
user=juhehe
[2012-03-10 22:38:21]
425*2^1127076-1 is not prime.  Res64: DC6B8D5266F4843D  Time : 0.0 sec.
user=henryzz
[2012-03-10 22:47:52]
483*2^1127076-1 is not prime.  Res64: 504B00F18C8C3378  Time : 0.0 sec.
user=henryzz
[2012-03-10 22:50:46]
555*2^1127077-1 is not prime.  Res64: 74D9AF761A8DEC71  Time : 0.0 sec.
user=henryzz
[2012-03-10 22:54:27]
503*2^1127078-1 is not prime.  Res64: 323FFB8817970BBD  Time : 0.0 sec.
user=juhehe
[2012-03-10 22:56:59]
567*2^1127078-1 is not prime.  Res64: D098AE342B5A67F2  Time : 0.0 sec.
user=henryzz
[2012-03-10 22:59:33]
561*2^1127078-1 is not prime.  Res64: 0F3CA2C4401F1BA8  Time : 0.0 sec.
user=henryzz
[2012-03-10 23:15:18]
441*2^1127079-1 is not prime.  Res64: C24B3C771A5DA4CB  Time : 0.0 sec.
user=juhehe
[2012-03-10 23:15:37]
455*2^1127080-1 is not prime.  Res64: 8EA66F13032C8818  Time : 0.0 sec.
user=henryzz
[2012-03-10 23:18:32]
469*2^1127079-1 is not prime.  Res64: 612DE809382F5E0F  Time : 0.0 sec.
user=henryzz
[2012-03-10 23:20:55]
481*2^1127079-1 is not prime.  Res64: B2A60582DD27D919  Time : 0.0 sec.
user=henryzz
[2012-03-10 23:27:05]
519*2^1127080-1 is not prime.  Res64: 1CAAA54DE666384A  Time : 0.0 sec.
user=juhehe
[2012-03-10 23:34:16]
563*2^1127080-1 is not prime.  Res64: 3FBFFB44333DC200  Time : 0.0 sec.
user=henryzz
[2012-03-10 23:36:26]
527*2^1127080-1 is not prime.  Res64: 28B4F6F9F24334EA  Time : 0.0 sec.
user=henryzz
[2012-03-10 23:40:27]
597*2^1127080-1 is not prime.  Res64: 5A0163D3E01D3281  Time : 0.0 sec.
user=juhehe
[2012-03-10 23:52:54]
477*2^1127081-1 is not prime.  Res64: 17D090BCD6693FDB  Time : 0.0 sec.
user=henryzz
[2012-03-10 23:55:01]
475*2^1127081-1 is not prime.  Res64: 9D4299A8BEC6421F  Time : 0.0 sec.