user=juhehe
[2012-04-15 00:18:51]
559*2^1130053-1 is not prime.  Res64: C830B819F5BC6432  Time : 0.0 sec.
user=juhehe
[2012-04-15 00:43:05]
411*2^1130045-1 is not prime.  Res64: 480982F84D74DC54  Time : 0.0 sec.
user=juhehe
[2012-04-15 00:59:58]
473*2^1130054-1 is not prime.  Res64: 465931D236EFA0ED  Time : 0.0 sec.
user=juhehe
[2012-04-15 01:08:27]
483*2^1130054-1 is not prime.  Res64: C4DEB3B8FC9CA4AE  Time : 0.0 sec.
user=juhehe
[2012-04-15 01:33:54]
429*2^1130055-1 is not prime.  Res64: 6C7BD600D9A00ADD  Time : 0.0 sec.
user=henryzz
[2012-04-15 01:39:39]
591*2^1130051-1 is not prime.  Res64: B59D596E8D77F426  Time : 0.0 sec.
user=juhehe
[2012-04-15 01:41:15]
551*2^1130054-1 is not prime.  Res64: AD6824053396ADB4  Time : 0.0 sec.
user=henryzz
[2012-04-15 01:42:23]
511*2^1130051-1 is not prime.  Res64: 8F3A70D3791D4559  Time : 0.0 sec.
user=henryzz
[2012-04-15 01:55:22]
405*2^1130052-1 is not prime.  Res64: C4F0BB41D04E4C7F  Time : 0.0 sec.
user=henryzz
[2012-04-15 01:59:06]
419*2^1130052-1 is not prime.  Res64: B61D7B6448C097EC  Time : 0.0 sec.
user=juhehe
[2012-04-15 01:59:12]
531*2^1130055-1 is not prime.  Res64: CC0E472EEDE4CF1D  Time : 0.0 sec.
user=juhehe
[2012-04-15 02:22:15]
435*2^1130056-1 is not prime.  Res64: AC3E8F493E134192  Time : 0.0 sec.
user=juhehe
[2012-04-15 02:24:35]
439*2^1130059-1 is not prime.  Res64: 3ED2D3A913C097EE  Time : 0.0 sec.
user=juhehe
[2012-04-15 02:49:57]
449*2^1130060-1 is not prime.  Res64: B49385D51A4F4291  Time : 0.0 sec.
user=juhehe
[2012-04-15 03:02:35]
413*2^1130060-1 is not prime.  Res64: 105CF9D184EFC87C  Time : 0.0 sec.
user=juhehe
[2012-04-15 03:15:22]
477*2^1130060-1 is not prime.  Res64: 649151D793A01B7A  Time : 0.0 sec.
user=vaughan
[2012-04-15 03:29:00]
587*2^1130060-1 is not prime.  Res64: 38EC4A2C2B782D3A  Time : 0.0 sec.
user=juhehe
[2012-04-15 03:40:47]
427*2^1130061-1 is not prime.  Res64: 3A695E184B62F325  Time : 0.0 sec.
user=juhehe
[2012-04-15 03:42:12]
409*2^1130061-1 is not prime.  Res64: 3860E006A4C0514F  Time : 0.0 sec.
user=juhehe
[2012-04-15 04:06:16]
517*2^1130061-1 is not prime.  Res64: 058819C176EA466F  Time : 0.0 sec.
user=juhehe
[2012-04-15 04:22:30]
467*2^1130062-1 is not prime.  Res64: 84A37B2B853D1325  Time : 0.0 sec.
user=juhehe
[2012-04-15 04:31:51]
471*2^1130062-1 is not prime.  Res64: F1344ED74A5A5BC2  Time : 0.0 sec.
user=juhehe
[2012-04-15 04:57:15]
527*2^1130062-1 is not prime.  Res64: D532BED86EDCBBB1  Time : 0.0 sec.
user=gd_barnes
[2012-04-15 05:01:00]
489*2^1130063-1 is not prime.  Res64: BD19CD7D105EABC8  Time : 0.0 sec.
user=juhehe
[2012-04-15 05:03:41]
525*2^1130062-1 is not prime.  Res64: 1E5C2ECF7D4E67C3  Time : 0.0 sec.
user=gd_barnes
[2012-04-15 05:04:48]
445*2^1130063-1 is not prime.  Res64: B22C7129D26B9408  Time : 0.0 sec.
user=vaughan
[2012-04-15 05:07:43]
439*2^1130063-1 is not prime.  Res64: 355A563DA899B4CA  Time : 0.0 sec.
user=juhehe
[2012-04-15 05:22:31]
501*2^1130063-1 is not prime.  Res64: EBDA29223BBC5400  Time : 0.0 sec.
user=juhehe
[2012-04-15 05:44:49]
519*2^1130063-1 is not prime.  Res64: 6896ED48F9E72F24  Time : 0.0 sec.
user=juhehe
[2012-04-15 05:48:00]
569*2^1130064-1 is not prime.  Res64: D6A35CDB674CC38A  Time : 0.0 sec.
user=juhehe
[2012-04-15 06:13:23]
477*2^1130065-1 is not prime.  Res64: 6ADE2967C10B4B21  Time : 0.0 sec.
user=vaughan
[2012-04-15 06:13:58]
421*2^1130065-1 is not prime.  Res64: BD94BD120AC693D8  Time : 0.0 sec.
user=juhehe
[2012-04-15 06:26:02]
465*2^1130065-1 is not prime.  Res64: 1B9FE050C93B03ED  Time : 0.0 sec.
user=juhehe
[2012-04-15 06:38:51]
507*2^1130065-1 is not prime.  Res64: 6317E8AB933A0753  Time : 0.0 sec.
user=juhehe
[2012-04-15 07:04:13]
561*2^1130066-1 is not prime.  Res64: B63A2B9DEA346EF3  Time : 0.0 sec.
user=juhehe
[2012-04-15 07:06:57]
595*2^1130065-1 is not prime.  Res64: FB3C8572E731CB22  Time : 0.0 sec.
user=henryzz
[2012-04-15 07:22:02]
573*2^1130055-1 is not prime.  Res64: 335D92BA0C36789A  Time : 0.0 sec.
user=juhehe
[2012-04-15 07:29:38]
465*2^1130067-1 is not prime.  Res64: 0F9728B66ACAD167  Time : 0.0 sec.
user=henryzz
[2012-04-15 07:40:39]
567*2^1130058-1 is not prime.  Res64: CA533BA7736E3BF5  Time : 0.0 sec.
user=henryzz
[2012-04-15 07:46:26]
573*2^1130058-1 is not prime.  Res64: 90E180FCEC1705B2  Time : 0.0 sec.
user=juhehe
[2012-04-15 07:48:18]
469*2^1130067-1 is not prime.  Res64: 3EBA61E66E4ACEB5  Time : 0.0 sec.
user=juhehe
[2012-04-15 07:53:09]
553*2^1130067-1 is not prime.  Res64: DDCEBB5CC9FEB204  Time : 0.0 sec.
user=henryzz
[2012-04-15 07:54:24]
513*2^1130067-1 is not prime.  Res64: 8089018A009AE2A3  Time : 0.0 sec.
user=henryzz
[2012-04-15 07:58:12]
511*2^1130059-1 is not prime.  Res64: 98CACB0382201E65  Time : 0.0 sec.
user=henryzz
[2012-04-15 08:09:15]
405*2^1130068-1 is not prime.  Res64: D5F5430F399C5227  Time : 0.0 sec.
user=juhehe
[2012-04-15 08:14:51]
507*2^1130068-1 is not prime.  Res64: D11FE8618E8CCF64  Time : 0.0 sec.
user=henryzz
[2012-04-15 08:29:29]
435*2^1130069-1 is not prime.  Res64: 491075103E0A9607  Time : 0.0 sec.
user=juhehe
[2012-04-15 08:29:41]
497*2^1130068-1 is not prime.  Res64: F9D05C70AE174A77  Time : 0.0 sec.
user=henryzz
[2012-04-15 08:31:13]
495*2^1130068-1 is not prime.  Res64: 252624CDE8442794  Time : 0.0 sec.
user=juhehe
[2012-04-15 08:34:56]
521*2^1130070-1 is not prime.  Res64: 274EECCF84DDA8FA  Time : 0.0 sec.
user=henryzz
[2012-04-15 08:38:49]
517*2^1130069-1 is not prime.  Res64: D33F80022BD3CD21  Time : 0.0 sec.
user=henryzz
[2012-04-15 08:39:30]
411*2^1130069-1 is not prime.  Res64: 0767834175F0DF0F  Time : 0.0 sec.
user=juhehe
[2012-04-15 08:54:47]
423*2^1130071-1 is not prime.  Res64: 3C617736D844FE7B  Time : 0.0 sec.
user=vaughan
[2012-04-15 08:58:25]
555*2^1130070-1 is not prime.  Res64: 8B70771274F074D7  Time : 0.0 sec.
user=henryzz
[2012-04-15 08:58:35]
557*2^1130070-1 is not prime.  Res64: D54FB71AAD0DF508  Time : 0.0 sec.
user=henryzz
[2012-04-15 09:06:32]
489*2^1130071-1 is not prime.  Res64: FA39F9269F6A60D3  Time : 0.0 sec.
user=henryzz
[2012-04-15 09:09:43]
581*2^1130070-1 is not prime.  Res64: 1F847DFD7A73B956  Time : 0.0 sec.
user=juhehe
[2012-04-15 09:11:19]
563*2^1130070-1 is not prime.  Res64: A6A44F64C0D2B9BE  Time : 0.0 sec.
user=juhehe
[2012-04-15 09:14:35]
405*2^1130072-1 is not prime.  Res64: A14BD168616358A3  Time : 0.0 sec.
user=henryzz
[2012-04-15 09:18:02]
535*2^1130071-1 is not prime.  Res64: 051342B250E24CC7  Time : 0.0 sec.
user=henryzz
[2012-04-15 09:25:49]
495*2^1130072-1 is not prime.  Res64: 2123C5C93A2E33ED  Time : 0.0 sec.
user=henryzz
[2012-04-15 09:31:14]
441*2^1130073-1 is not prime.  Res64: 19C99DACD418A3FC  Time : 0.0 sec.
user=vaughan
[2012-04-15 09:31:54]
427*2^1130073-1 is not prime.  Res64: 5BB9DCE73E48531A  Time : 0.0 sec.
user=juhehe
[2012-04-15 09:34:25]
423*2^1130074-1 is not prime.  Res64: 4783CB0F9C864509  Time : 0.0 sec.
user=henryzz
[2012-04-15 09:36:14]
459*2^1130073-1 is not prime.  Res64: 73B698228F7587F9  Time : 0.0 sec.
user=henryzz
[2012-04-15 09:52:08]
495*2^1130074-1 is not prime.  Res64: 88ACD604E24B84F4  Time : 0.0 sec.
user=juhehe
[2012-04-15 09:53:11]
549*2^1130073-1 is not prime.  Res64: 42EDC7DB3DC45BF1  Time : 0.0 sec.
user=juhehe
[2012-04-15 09:54:18]
469*2^1130075-1 is not prime.  Res64: E2E473C8AB23A5D6  Time : 0.0 sec.
user=henryzz
[2012-04-15 09:57:18]
437*2^1130074-1 is not prime.  Res64: A5E7D4401991A4D7  Time : 0.0 sec.
user=henryzz
[2012-04-15 10:00:35]
527*2^1130074-1 is not prime.  Res64: FBAA5B432CD701A6  Time : 0.0 sec.
user=henryzz
[2012-04-15 10:02:07]
519*2^1130075-1 is not prime.  Res64: B10ED8C1A27FE719  Time : 0.0 sec.
user=juhehe
[2012-04-15 10:14:09]
441*2^1130077-1 is not prime.  Res64: 796E1EBA1E064EE6  Time : 0.0 sec.
user=henryzz
[2012-04-15 10:21:55]
515*2^1130076-1 is not prime.  Res64: 393B103E3722BAC4  Time : 0.0 sec.
user=henryzz
[2012-04-15 10:29:37]
477*2^1130077-1 is not prime.  Res64: 2F3D9E7F095E122C  Time : 0.0 sec.
user=henryzz
[2012-04-15 10:30:40]
519*2^1130077-1 is not prime.  Res64: 40F7D910DBBA322C  Time : 0.0 sec.
user=juhehe
[2012-04-15 10:33:31]
527*2^1130076-1 is not prime.  Res64: 54C7582E29310BED  Time : 0.0 sec.
user=juhehe
[2012-04-15 10:34:01]
467*2^1130078-1 is not prime.  Res64: 0EDB501709109AC7  Time : 0.0 sec.
user=henryzz
[2012-04-15 10:34:39]
531*2^1130077-1 is not prime.  Res64: 2D753783D34495ED  Time : 0.0 sec.
user=juhehe
[2012-04-15 10:53:49]
595*2^1130079-1 is not prime.  Res64: ED96FB60982F5652  Time : 0.0 sec.
user=henryzz
[2012-04-15 10:54:40]
567*2^1130078-1 is not prime.  Res64: 3819B7624AB2AA0A  Time : 0.0 sec.
user=henryzz
[2012-04-15 10:56:16]
585*2^1130078-1 is not prime.  Res64: 6671DBF1DE4C3506  Time : 0.0 sec.
user=henryzz
[2012-04-15 10:58:35]
503*2^1130078-1 is not prime.  Res64: 2E4D2D224B5F904B  Time : 0.0 sec.
user=henryzz
[2012-04-15 11:00:42]
449*2^1130080-1 is not prime.  Res64: 9ADF25C09AD111D5  Time : 0.0 sec.
user=juhehe
[2012-04-15 11:13:04]
403*2^1130079-1 is not prime.  Res64: E20FFD1E6399FCD0  Time : 0.0 sec.
user=juhehe
[2012-04-15 11:13:40]
525*2^1130081-1 is not prime.  Res64: 79378A0D0D2EDA6B  Time : 0.0 sec.
user=henryzz
[2012-04-15 11:18:49]
405*2^1130082-1 is not prime.  Res64: C128BA489C36938F  Time : 0.0 sec.
user=henryzz
[2012-04-15 11:27:28]
495*2^1130082-1 is not prime.  Res64: FB1CC017BA08353D  Time : 0.0 sec.
user=henryzz
[2012-04-15 11:29:12]
495*2^1130083-1 is not prime.  Res64: 9EBDBA2660FA1261  Time : 0.0 sec.
user=juhehe
[2012-04-15 11:33:30]
483*2^1130084-1 is not prime.  Res64: 28ABE59389346E6C  Time : 0.0 sec.
user=henryzz
[2012-04-15 11:37:15]
561*2^1130081-1 is not prime.  Res64: 280CAFA69E1D5177  Time : 0.0 sec.
user=henryzz
[2012-04-15 11:49:03]
405*2^1130085-1 is not prime.  Res64: 408EACF24DE5172E  Time : 0.0 sec.
user=juhehe
[2012-04-15 11:53:21]
437*2^1130086-1 is not prime.  Res64: 73AD823E604B8448  Time : 0.0 sec.
user=juhehe
[2012-04-15 11:53:28]
519*2^1130083-1 is not prime.  Res64: D406F3878457C5EF  Time : 0.0 sec.
user=henryzz
[2012-04-15 11:58:30]
427*2^1130085-1 is not prime.  Res64: 0885426E8F48A90F  Time : 0.0 sec.
user=henryzz
[2012-04-15 11:58:42]
465*2^1130085-1 is not prime.  Res64: 9286D70D87E80FE0  Time : 0.0 sec.
user=henryzz
[2012-04-15 12:08:56]
443*2^1130086-1 is not prime.  Res64: A3A219D6A5DF28C4  Time : 0.0 sec.
user=juhehe
[2012-04-15 12:13:09]
437*2^1130088-1 is not prime.  Res64: EC0AC77001E27952  Time : 0.0 sec.
user=henryzz
[2012-04-15 12:17:16]
553*2^1130087-1 is not prime.  Res64: 2F487FAE90B4426D  Time : 0.0 sec.
user=henryzz
[2012-04-15 12:27:38]
411*2^1130089-1 is not prime.  Res64: 63FAF07FAA98F5F1  Time : 0.0 sec.
user=henryzz
[2012-04-15 12:28:18]
585*2^1130088-1 is not prime.  Res64: FD2E7C2F760E9275  Time : 0.0 sec.
user=juhehe
[2012-04-15 12:33:04]
435*2^1130089-1 is not prime.  Res64: 822CFDA15827D8A1  Time : 0.0 sec.
user=juhehe
[2012-04-15 12:34:31]
489*2^1130088-1 is not prime.  Res64: 376BE67923CD8E6A  Time : 0.0 sec.
user=henryzz
[2012-04-15 12:35:33]
415*2^1130089-1 is not prime.  Res64: 58E8D3FBB18BBFE9  Time : 0.0 sec.
user=henryzz
[2012-04-15 12:47:07]
495*2^1130089-1 is not prime.  Res64: 555292F72DFB8549  Time : 0.0 sec.
user=vaughan
[2012-04-15 12:50:08]
421*2^1130087-1 is not prime.  Res64: 390D9315CD15576D  Time : 0.0 sec.
user=juhehe
[2012-04-15 12:52:54]
515*2^1130090-1 is not prime.  Res64: BFC1BC3FF2335AA0  Time : 0.0 sec.
user=henryzz
[2012-04-15 12:58:08]
517*2^1130089-1 is not prime.  Res64: 3B838F834790005D  Time : 0.0 sec.
user=henryzz
[2012-04-15 13:05:27]
483*2^1130092-1 is not prime.  Res64: 6E9F5C0F8EB45106  Time : 0.0 sec.
user=juhehe
[2012-04-15 13:12:47]
567*2^1130092-1 is not prime.  Res64: 30ADB4B95D57E01A  Time : 0.0 sec.
user=henryzz
[2012-04-15 13:15:44]
405*2^1130090-1 is not prime.  Res64: 1E8F5E8E23B63FB0  Time : 0.0 sec.
user=juhehe
[2012-04-15 13:15:59]
563*2^1130090-1 is not prime.  Res64: 4A570CE95EE014F3  Time : 0.0 sec.
user=henryzz
[2012-04-15 13:18:37]
485*2^1130092-1 is not prime.  Res64: DB72BDE9FB243646  Time : 0.0 sec.
user=vaughan
[2012-04-15 13:26:46]
497*2^1130092-1 is not prime.  Res64: 25717D8DFDCF9A42  Time : 0.0 sec.
user=henryzz
[2012-04-15 13:29:58]
569*2^1130092-1 is not prime.  Res64: 3669817301CED51B  Time : 0.0 sec.
user=juhehe
[2012-04-15 13:32:43]
441*2^1130093-1 is not prime.  Res64: A28AB5E3B6B55654  Time : 0.0 sec.
user=henryzz
[2012-04-15 13:35:45]
435*2^1130093-1 is not prime.  Res64: 4312F22050A9519C  Time : 0.0 sec.
user=henryzz
[2012-04-15 13:48:41]
481*2^1130093-1 is not prime.  Res64: 93ADFA4684971B89  Time : 0.0 sec.
user=henryzz
[2012-04-15 13:51:16]
559*2^1130093-1 is not prime.  Res64: 31A382C6143A2D06  Time : 0.0 sec.
user=juhehe
[2012-04-15 13:52:36]
567*2^1130093-1 is not prime.  Res64: 22355BE885A97740  Time : 0.0 sec.
user=juhehe
[2012-04-15 13:57:22]
507*2^1130093-1 is not prime.  Res64: 018C1A9F3CC89814  Time : 0.0 sec.
user=henryzz
[2012-04-15 14:02:58]
565*2^1130093-1 is not prime.  Res64: 4DCCE38508D9A969  Time : 0.0 sec.
user=henryzz
[2012-04-15 14:05:00]
453*2^1130094-1 is not prime.  Res64: 5893B193707676E7  Time : 0.0 sec.
user=juhehe
[2012-04-15 14:12:29]
433*2^1130095-1 is not prime.  Res64: 59BF86E49099F0BA  Time : 0.0 sec.
user=henryzz
[2012-04-15 14:21:45]
507*2^1130094-1 is not prime.  Res64: 1C64DE02E47EC2A9  Time : 0.0 sec.
user=henryzz
[2012-04-15 14:25:35]
567*2^1130094-1 is not prime.  Res64: B261E1030A9CAC28  Time : 0.0 sec.
user=juhehe
[2012-04-15 14:32:25]
589*2^1130095-1 is not prime.  Res64: F4301D18563F0172  Time : 0.0 sec.
user=juhehe
[2012-04-15 14:38:27]
489*2^1130095-1 is not prime.  Res64: AB84F320F229EABF  Time : 0.0 sec.
user=henryzz
[2012-04-15 14:50:19]
555*2^1130097-1 is not prime.  Res64: EC01E64959A7AEE2  Time : 0.0 sec.
user=juhehe
[2012-04-15 14:52:17]
497*2^1130098-1 is not prime.  Res64: A4BF911D7F50AD49  Time : 0.0 sec.
user=henryzz
[2012-04-15 14:52:28]
535*2^1130095-1 is not prime.  Res64: B53DE76E3DA278F5  Time : 0.0 sec.
user=henryzz
[2012-04-15 14:52:37]
511*2^1130095-1 is not prime.  Res64: 668B434B17CC0089  Time : 0.0 sec.
user=henryzz
[2012-04-15 15:00:23]
401*2^1130098-1 is not prime.  Res64: B0AF70361598E753  Time : 0.0 sec.
user=juhehe
[2012-04-15 15:12:09]
543*2^1130099-1 is not prime.  Res64: 761753FCB5CEAD6E  Time : 0.0 sec.
user=juhehe
[2012-04-15 15:19:40]
561*2^1130098-1 is not prime.  Res64: 111D6ABFB1AD88D4  Time : 0.0 sec.
user=juhehe
[2012-04-15 15:32:00]
587*2^1130100-1 is not prime.  Res64: 935B32FF05A91301  Time : 0.0 sec.
user=henryzz
[2012-04-15 15:35:49]
563*2^1130100-1 is not prime.  Res64: 205EC9D7AA596313  Time : 0.0 sec.
user=henryzz
[2012-04-15 15:37:28]
501*2^1130099-1 is not prime.  Res64: B732DB6071B645CB  Time : 0.0 sec.
user=henryzz
[2012-04-15 15:41:11]
527*2^1130100-1 is not prime.  Res64: 36755D447E3D933D  Time : 0.0 sec.
user=juhehe
[2012-04-15 15:51:53]
469*2^1130101-1 is not prime.  Res64: 71C29824C18D9998  Time : 0.0 sec.
user=henryzz
[2012-04-15 15:53:40]
579*2^1130100-1 is not prime.  Res64: B4C9EA153F7D9FF4  Time : 0.0 sec.
user=juhehe
[2012-04-15 16:00:51]
411*2^1130101-1 is not prime.  Res64: FBECB0B4109B6DF8  Time : 0.0 sec.
user=henryzz
[2012-04-15 16:10:47]
517*2^1130101-1 is not prime.  Res64: CCF6AFA71DE61E43  Time : 0.0 sec.
user=juhehe
[2012-04-15 16:11:46]
461*2^1130102-1 is not prime.  Res64: 3B468AB88A87293C  Time : 0.0 sec.
user=henryzz
[2012-04-15 16:16:39]
405*2^1130102-1 is not prime.  Res64: 7C9DC4F1EE71B7B8  Time : 0.0 sec.
user=henryzz
[2012-04-15 16:18:31]
561*2^1130101-1 is not prime.  Res64: BEBEBB8296FD060B  Time : 0.0 sec.
user=henryzz
[2012-04-15 16:26:53]
429*2^1130103-1 is not prime.  Res64: ED7B7C81C5222BE6  Time : 0.0 sec.
user=juhehe
[2012-04-15 16:31:42]
559*2^1130103-1 is not prime.  Res64: F7969402B84BAD82  Time : 0.0 sec.
user=juhehe
[2012-04-15 16:42:17]
433*2^1130103-1 is not prime.  Res64: E7E7721DB42A783B  Time : 0.0 sec.
user=henryzz
[2012-04-15 16:51:29]
465*2^1130103-1 is not prime.  Res64: D33A8129133D65E2  Time : 0.0 sec.
user=henryzz
[2012-04-15 17:00:37]
507*2^1130104-1 is not prime.  Res64: E04815A359403577  Time : 0.0 sec.
user=vaughan
[2012-04-15 17:17:12]
507*2^1130105-1 is not prime.  Res64: 78CBCFD217CA5D02  Time : 0.0 sec.
user=henryzz
[2012-04-15 17:17:25]
571*2^1130103-1 is not prime.  Res64: F354F98EEDFEF6B6  Time : 0.0 sec.
user=juhehe
[2012-04-15 17:23:43]
445*2^1130105-1 is not prime.  Res64: 39CB3CDEA498E6BD  Time : 0.0 sec.
user=henryzz
[2012-04-15 17:31:52]
525*2^1130105-1 is not prime.  Res64: CF91E46E34967838  Time : 0.0 sec.
user=henryzz
[2012-04-15 17:34:32]
527*2^1130104-1 is not prime.  Res64: 940F8EA75EA1F608  Time : 0.0 sec.
user=henryzz
[2012-04-15 17:40:32]
547*2^1130105-1 is not prime.  Res64: E5D1CDDFE3341DE6  Time : 0.0 sec.
user=henryzz
[2012-04-15 17:52:09]
537*2^1130106-1 is not prime.  Res64: 8394E00F14EB145C  Time : 0.0 sec.
user=juhehe
[2012-04-15 18:05:02]
585*2^1130106-1 is not prime.  Res64: 4C55F0122F70C450  Time : 0.0 sec.
user=henryzz
[2012-04-15 18:12:47]
523*2^1130107-1 is not prime.  Res64: 9934E0C604955102  Time : 0.0 sec.
user=henryzz
[2012-04-15 18:17:07]
579*2^1130107-1 is not prime.  Res64: 3428D5E21590BE3A  Time : 0.0 sec.
user=vaughan
[2012-04-15 18:23:47]
515*2^1130106-1 is not prime.  Res64: 8F8B3FB604CB4D42  Time : 0.0 sec.
user=juhehe
[2012-04-15 18:46:31]
467*2^1130110-1 is not prime.  Res64: 17EAEC514FF12C80  Time : 0.0 sec.
user=juhehe
[2012-04-15 19:28:06]
411*2^1130111-1 is not prime.  Res64: AFC134C221A45193  Time : 0.0 sec.
user=vaughan
[2012-04-15 20:02:36]
451*2^1130111-1 is not prime.  Res64: 0E587222CD337FFC  Time : 0.0 sec.
user=juhehe
[2012-04-15 20:09:26]
441*2^1130111-1 is not prime.  Res64: F0F44FD4291CB5F0  Time : 0.0 sec.
user=juhehe
[2012-04-15 20:50:21]
453*2^1130111-1 is not prime.  Res64: 56D9BEC5C983F39D  Time : 0.0 sec.
user=juhehe
[2012-04-15 21:31:36]
525*2^1130111-1 is not prime.  Res64: 03909A0378FE682E  Time : 0.0 sec.
user=juhehe
[2012-04-15 22:12:45]
595*2^1130111-1 is not prime.  Res64: D7E68FFF60C82FA5  Time : 0.0 sec.
user=juhehe
[2012-04-15 22:54:08]
405*2^1130112-1 is not prime.  Res64: F7C4E74A9BF53C86  Time : 0.0 sec.
user=juhehe
[2012-04-15 23:35:32]
413*2^1130112-1 is not prime.  Res64: 96E3825A189E7EF3  Time : 0.0 sec.