user=henryzz
[2012-05-20 00:01:38]
447*2^1132846-1 is not prime.  Res64: D8F87FA4E9E71680  Time : 0.0 sec.
user=henryzz
[2012-05-20 00:10:55]
587*2^1132846-1 is not prime.  Res64: 22CA4C297751FEA9  Time : 0.0 sec.
user=henryzz
[2012-05-20 00:10:57]
597*2^1132846-1 is not prime.  Res64: 59A05D2859BF3283  Time : 0.0 sec.
user=henryzz
[2012-05-20 00:18:22]
433*2^1132847-1 is not prime.  Res64: BACAB18F5D76F5BA  Time : 0.0 sec.
user=henryzz
[2012-05-20 00:21:18]
465*2^1132847-1 is not prime.  Res64: 24E55D6F943A7D12  Time : 0.0 sec.
user=henryzz
[2012-05-20 00:30:31]
475*2^1132847-1 is not prime.  Res64: 65660B0859B95C6F  Time : 0.0 sec.
user=henryzz
[2012-05-20 00:30:44]
415*2^1132849-1 is not prime.  Res64: EB701972F708942F  Time : 0.0 sec.
user=henryzz
[2012-05-20 00:38:31]
429*2^1132849-1 is not prime.  Res64: 30A734D47B6D4156  Time : 0.0 sec.
user=henryzz
[2012-05-20 00:40:51]
435*2^1132849-1 is not prime.  Res64: 355B9EBE3AF58981  Time : 0.0 sec.
user=henryzz
[2012-05-20 00:50:15]
471*2^1132849-1 is not prime.  Res64: 9AD536CC7EA8B1D4  Time : 0.0 sec.
user=henryzz
[2012-05-20 00:50:21]
469*2^1132849-1 is not prime.  Res64: 6EE5EC59F95CF0CF  Time : 0.0 sec.
user=henryzz
[2012-05-20 00:58:06]
517*2^1132849-1 is not prime.  Res64: E4C13349E205D6C2  Time : 0.0 sec.
user=henryzz
[2012-05-20 01:00:54]
547*2^1132849-1 is not prime.  Res64: B3AA12646065236F  Time : 0.0 sec.
user=henryzz
[2012-05-20 01:09:51]
407*2^1132850-1 is not prime.  Res64: 09FE1146A149574E  Time : 0.0 sec.
user=henryzz
[2012-05-20 01:10:10]
577*2^1132849-1 is not prime.  Res64: 964011E9A9DF2C84  Time : 0.0 sec.
user=henryzz
[2012-05-20 01:17:36]
567*2^1132850-1 is not prime.  Res64: 1B8663A000DF9016  Time : 0.0 sec.
user=henryzz
[2012-05-20 01:20:51]
587*2^1132850-1 is not prime.  Res64: 3C66DE1CB2DDB61D  Time : 0.0 sec.
user=henryzz
[2012-05-20 01:29:21]
441*2^1132851-1 is not prime.  Res64: 1FB1E6C751F5C139  Time : 0.0 sec.
user=henryzz
[2012-05-20 01:30:11]
483*2^1132851-1 is not prime.  Res64: 62EC37878852911A  Time : 0.0 sec.
user=henryzz
[2012-05-20 01:37:16]
493*2^1132851-1 is not prime.  Res64: F53ABD06EE459686  Time : 0.0 sec.
user=henryzz
[2012-05-20 01:40:35]
531*2^1132851-1 is not prime.  Res64: CD787E3ADA491B9A  Time : 0.0 sec.
user=henryzz
[2012-05-20 01:49:02]
591*2^1132851-1 is not prime.  Res64: 1CFFE7A2731A9D26  Time : 0.0 sec.
user=henryzz
[2012-05-20 01:49:57]
413*2^1132852-1 is not prime.  Res64: 6CD24CB734C8BCE7  Time : 0.0 sec.
user=henryzz
[2012-05-20 01:57:23]
485*2^1132852-1 is not prime.  Res64: 1DBFDCBC2E9799C9  Time : 0.0 sec.
user=henryzz
[2012-05-20 02:00:14]
489*2^1132852-1 is not prime.  Res64: E8216DEE1795DE17  Time : 0.0 sec.
user=henryzz
[2012-05-20 02:08:53]
579*2^1132852-1 is not prime.  Res64: D64D4CE98007E652  Time : 0.0 sec.
user=henryzz
[2012-05-20 02:09:34]
593*2^1132852-1 is not prime.  Res64: 797121D12A6ECF57  Time : 0.0 sec.
user=henryzz
[2012-05-20 02:17:14]
451*2^1132853-1 is not prime.  Res64: F679BAF3046A546A  Time : 0.0 sec.
user=henryzz
[2012-05-20 02:20:01]
547*2^1132853-1 is not prime.  Res64: 61A2B4991515841D  Time : 0.0 sec.
user=henryzz
[2012-05-20 02:28:43]
549*2^1132853-1 is not prime.  Res64: 4161E8B128CB7C8E  Time : 0.0 sec.
user=henryzz
[2012-05-20 02:29:13]
443*2^1132854-1 is not prime.  Res64: 6CF11A118ECABD40  Time : 0.0 sec.
user=henryzz
[2012-05-20 02:37:00]
495*2^1132854-1 is not prime.  Res64: 491A93A11CBB6001  Time : 0.0 sec.
user=henryzz
[2012-05-20 02:39:43]
551*2^1132854-1 is not prime.  Res64: FD7F4699E1D44C1E  Time : 0.0 sec.
user=henryzz
[2012-05-20 02:48:20]
563*2^1132854-1 is not prime.  Res64: 97383682C6EE60BB  Time : 0.0 sec.
user=henryzz
[2012-05-20 02:49:15]
421*2^1132855-1 is not prime.  Res64: 37FD4442E51932A4  Time : 0.0 sec.
user=henryzz
[2012-05-20 02:56:50]
429*2^1132855-1 is not prime.  Res64: 8C73A88323E2A339  Time : 0.0 sec.
user=henryzz
[2012-05-20 02:59:14]
553*2^1132855-1 is not prime.  Res64: 036C607595FD7D32  Time : 0.0 sec.
user=henryzz
[2012-05-20 03:08:56]
573*2^1132855-1 is not prime.  Res64: 742271F817AB8858  Time : 0.0 sec.
user=henryzz
[2012-05-20 03:16:31]
583*2^1132855-1 is not prime.  Res64: FEEF1E385C8D15CB  Time : 0.0 sec.
user=henryzz
[2012-05-20 03:18:57]
425*2^1132856-1 is not prime.  Res64: 5FAB7A3727BBAC41  Time : 0.0 sec.
user=henryzz
[2012-05-20 03:19:06]
507*2^1132856-1 is not prime.  Res64: EBB499D4C63D892D  Time : 0.0 sec.
user=henryzz
[2012-05-20 03:28:52]
501*2^1132857-1 is not prime.  Res64: DC69AD237A3F77CA  Time : 0.0 sec.
user=henryzz
[2012-05-20 03:36:25]
577*2^1132857-1 is not prime.  Res64: 580682E95FA04708  Time : 0.0 sec.
user=henryzz
[2012-05-20 03:38:49]
453*2^1132858-1 is not prime.  Res64: 0A3B2B362397AC88  Time : 0.0 sec.
user=henryzz
[2012-05-20 03:38:59]
497*2^1132858-1 is not prime.  Res64: 1A513642EF508166  Time : 0.0 sec.
user=henryzz
[2012-05-20 03:48:46]
581*2^1132858-1 is not prime.  Res64: 4A6D5E0D9AD78C36  Time : 0.0 sec.
user=henryzz
[2012-05-20 03:56:54]
549*2^1132859-1 is not prime.  Res64: 2CD7366C0F84C433  Time : 0.0 sec.
user=henryzz
[2012-05-20 03:58:57]
515*2^1132860-1 is not prime.  Res64: 6644DFBFAEE17892  Time : 0.0 sec.
user=henryzz
[2012-05-20 04:00:01]
405*2^1132862-1 is not prime.  Res64: 6F590ADF0EB4C042  Time : 0.0 sec.
user=henryzz
[2012-05-20 04:08:34]
435*2^1132862-1 is not prime.  Res64: 54BE6498EBF82333  Time : 0.0 sec.
user=henryzz
[2012-05-20 04:17:03]
441*2^1132863-1 is not prime.  Res64: 7D35AC12A1DB90DB  Time : 0.0 sec.
user=henryzz
[2012-05-20 04:18:50]
489*2^1132863-1 is not prime.  Res64: D52D563820EBCFC3  Time : 0.0 sec.
user=henryzz
[2012-05-20 04:19:40]
583*2^1132863-1 is not prime.  Res64: BEFED5E5A0AC8719  Time : 0.0 sec.
user=henryzz
[2012-05-20 04:28:27]
419*2^1132864-1 is not prime.  Res64: 338E27B69ACD3C60  Time : 0.0 sec.
user=henryzz
[2012-05-20 04:36:59]
435*2^1132864-1 is not prime.  Res64: A4C6BB80A77303EE  Time : 0.0 sec.
user=henryzz
[2012-05-20 04:38:37]
469*2^1132865-1 is not prime.  Res64: 02E3550EC2F2B245  Time : 0.0 sec.
user=henryzz
[2012-05-20 04:39:31]
585*2^1132865-1 is not prime.  Res64: 7A1B1594F7283945  Time : 0.0 sec.
user=henryzz
[2012-05-20 04:48:04]
411*2^1132866-1 is not prime.  Res64: 1EFB1A9F68386351  Time : 0.0 sec.
user=henryzz
[2012-05-20 04:56:38]
507*2^1132866-1 is not prime.  Res64: E40031BAC5DE0AC9  Time : 0.0 sec.
user=henryzz
[2012-05-20 04:59:16]
489*2^1132867-1 is not prime.  Res64: 1C52087BECB9E685  Time : 0.0 sec.
user=henryzz
[2012-05-20 05:07:58]
519*2^1132867-1 is not prime.  Res64: B43DE681428599B6  Time : 0.0 sec.
user=henryzz
[2012-05-20 05:09:18]
425*2^1132868-1 is not prime.  Res64: 522ECE904D996485  Time : 0.0 sec.
user=henryzz
[2012-05-20 05:16:31]
449*2^1132868-1 is not prime.  Res64: D3C686BA4D0BF95B  Time : 0.0 sec.
user=henryzz
[2012-05-20 05:19:02]
503*2^1132868-1 is not prime.  Res64: 10A1BA31DD31BEE8  Time : 0.0 sec.
user=henryzz
[2012-05-20 05:28:04]
525*2^1132868-1 is not prime.  Res64: 9C87AC9012D23B45  Time : 0.0 sec.
user=henryzz
[2012-05-20 05:28:56]
445*2^1132869-1 is not prime.  Res64: C76AD5B1DE3D8657  Time : 0.0 sec.
user=henryzz
[2012-05-20 05:36:16]
447*2^1132869-1 is not prime.  Res64: 24390BEE9BFA5D43  Time : 0.0 sec.
user=henryzz
[2012-05-20 05:38:48]
499*2^1132869-1 is not prime.  Res64: 77FD69851021E865  Time : 0.0 sec.
user=henryzz
[2012-05-20 05:47:49]
537*2^1132869-1 is not prime.  Res64: 80FC6555F36A4DF9  Time : 0.0 sec.
user=henryzz
[2012-05-20 05:48:55]
411*2^1132870-1 is not prime.  Res64: 87544B8E65442E2E  Time : 0.0 sec.
user=henryzz
[2012-05-20 05:56:42]
425*2^1132870-1 is not prime.  Res64: AB16C5CEFAB168E0  Time : 0.0 sec.
user=henryzz
[2012-05-20 05:58:45]
593*2^1132870-1 is not prime.  Res64: 80BC4A0DDFD6C12B  Time : 0.0 sec.
user=henryzz
[2012-05-20 06:07:48]
493*2^1132871-1 is not prime.  Res64: 96CE930B8230A368  Time : 0.0 sec.
user=henryzz
[2012-05-20 06:08:50]
423*2^1132872-1 is not prime.  Res64: 155DAE92A81B555B  Time : 0.0 sec.
user=henryzz
[2012-05-20 06:16:51]
447*2^1132872-1 is not prime.  Res64: 7919EEE2A5646F6B  Time : 0.0 sec.
user=henryzz
[2012-05-20 06:18:42]
549*2^1132873-1 is not prime.  Res64: A00432FEFA0EEC3B  Time : 0.0 sec.
user=henryzz
[2012-05-20 06:27:53]
595*2^1132873-1 is not prime.  Res64: 777E40A2A626FB22  Time : 0.0 sec.
user=henryzz
[2012-05-20 06:28:45]
531*2^1132874-1 is not prime.  Res64: 243D255FDD97637A  Time : 0.0 sec.
user=henryzz
[2012-05-20 06:36:47]
465*2^1132875-1 is not prime.  Res64: 73DDAB2875B6751C  Time : 0.0 sec.
user=henryzz
[2012-05-20 06:38:53]
489*2^1132875-1 is not prime.  Res64: 4D563847121C8CD5  Time : 0.0 sec.
user=henryzz
[2012-05-20 06:47:54]
579*2^1132875-1 is not prime.  Res64: A551918A33F4CBDD  Time : 0.0 sec.
user=henryzz
[2012-05-20 06:48:51]
497*2^1132876-1 is not prime.  Res64: DC3FD1CEAEB235CB  Time : 0.0 sec.
user=henryzz
[2012-05-20 06:56:49]
569*2^1132876-1 is not prime.  Res64: E19A4D9DE569C508  Time : 0.0 sec.
user=henryzz
[2012-05-20 07:00:34]
465*2^1132877-1 is not prime.  Res64: 76C0692415E8FED7  Time : 0.0 sec.
user=henryzz
[2012-05-20 07:07:55]
561*2^1132877-1 is not prime.  Res64: E9E0FBCB01A72ADB  Time : 0.0 sec.
user=henryzz
[2012-05-20 07:08:59]
437*2^1132878-1 is not prime.  Res64: 553E8E840C34FF90  Time : 0.0 sec.
user=henryzz
[2012-05-20 07:16:51]
461*2^1132878-1 is not prime.  Res64: 3FB443DC04713495  Time : 0.0 sec.
user=henryzz
[2012-05-20 07:20:27]
473*2^1132878-1 is not prime.  Res64: 597CA1794264CC2A  Time : 0.0 sec.
user=henryzz
[2012-05-20 07:27:48]
515*2^1132878-1 is not prime.  Res64: 64943CD89930CC97  Time : 0.0 sec.
user=henryzz
[2012-05-20 07:29:28]
423*2^1132879-1 is not prime.  Res64: D29BA9330573BBF2  Time : 0.0 sec.
user=henryzz
[2012-05-20 07:36:43]
429*2^1132879-1 is not prime.  Res64: DF080C63F34CAB8A  Time : 0.0 sec.
user=vaughan
[2012-05-20 07:39:39]
483*2^1132878-1 is not prime.  Res64: 31EE1CA4AC8FC775  Time : 0.0 sec.
user=henryzz
[2012-05-20 07:40:41]
483*2^1132879-1 is not prime.  Res64: 9557D0AEB091A117  Time : 0.0 sec.
user=henryzz
[2012-05-20 07:47:35]
525*2^1132879-1 is not prime.  Res64: 8E4291386E601555  Time : 0.0 sec.
user=henryzz
[2012-05-20 07:49:37]
573*2^1132879-1 is not prime.  Res64: A4ADA5321ABF6B4F  Time : 0.0 sec.
user=henryzz
[2012-05-20 07:56:37]
405*2^1132880-1 is not prime.  Res64: DC01133922608C5A  Time : 0.0 sec.
user=henryzz
[2012-05-20 08:00:36]
467*2^1132880-1 is not prime.  Res64: 1B4126AE7B0EE7AF  Time : 0.0 sec.
user=henryzz
[2012-05-20 08:07:34]
593*2^1132880-1 is not prime.  Res64: 2A22DCA0F1426140  Time : 0.0 sec.
user=henryzz
[2012-05-20 08:09:48]
529*2^1132881-1 is not prime.  Res64: C48C29AB5CE1AD7C  Time : 0.0 sec.
user=henryzz
[2012-05-20 08:16:45]
549*2^1132881-1 is not prime.  Res64: 0F61F7B4329E62AB  Time : 0.0 sec.
user=henryzz
[2012-05-20 08:21:03]
555*2^1132881-1 is not prime.  Res64: 6C6A4A169FAFC744  Time : 0.0 sec.
user=henryzz
[2012-05-20 08:30:07]
495*2^1132882-1 is not prime.  Res64: DAE0C275CD9F0E7A  Time : 0.0 sec.
user=henryzz
[2012-05-20 08:37:03]
497*2^1132882-1 is not prime.  Res64: 0BAC2CE70544C5B4  Time : 0.0 sec.
user=henryzz
[2012-05-20 08:40:04]
437*2^1132882-1 is not prime.  Res64: 688E5E362A451D66  Time : 0.0 sec.
user=henryzz
[2012-05-20 08:41:05]
507*2^1132882-1 is not prime.  Res64: DF3DE14D1A7CFF67  Time : 0.0 sec.
user=henryzz
[2012-05-20 08:50:08]
521*2^1132882-1 is not prime.  Res64: A2836BB555A9A7A4  Time : 0.0 sec.
user=henryzz
[2012-05-20 08:57:12]
551*2^1132882-1 is not prime.  Res64: 358B7DA123CA96F7  Time : 0.0 sec.
user=henryzz
[2012-05-20 09:00:13]
411*2^1132883-1 is not prime.  Res64: 9F321BA926F30F56  Time : 0.0 sec.
user=henryzz
[2012-05-20 09:01:12]
585*2^1132883-1 is not prime.  Res64: 4235A1EEEA16126A  Time : 0.0 sec.
user=henryzz
[2012-05-20 09:10:26]
413*2^1132884-1 is not prime.  Res64: 6C82FD306B7E7975  Time : 0.0 sec.
user=henryzz
[2012-05-20 09:17:25]
453*2^1132884-1 is not prime.  Res64: A86F2519A86452BB  Time : 0.0 sec.
user=henryzz
[2012-05-20 09:20:28]
503*2^1132884-1 is not prime.  Res64: 29E5173E347C8CF9  Time : 0.0 sec.
user=henryzz
[2012-05-20 09:21:27]
557*2^1132884-1 is not prime.  Res64: B54DA9594384DA3C  Time : 0.0 sec.
user=henryzz
[2012-05-20 09:30:34]
563*2^1132884-1 is not prime.  Res64: 50376C45A3B77BD1  Time : 0.0 sec.
user=henryzz
[2012-05-20 09:37:37]
489*2^1132885-1 is not prime.  Res64: F75A6F67704E3ABA  Time : 0.0 sec.
user=henryzz
[2012-05-20 09:40:58]
519*2^1132885-1 is not prime.  Res64: 78DCDC25B9D8FD92  Time : 0.0 sec.
user=henryzz
[2012-05-20 09:41:36]
417*2^1132886-1 is not prime.  Res64: 06B8876A03CFED13  Time : 0.0 sec.
user=henryzz
[2012-05-20 09:51:08]
425*2^1132886-1 is not prime.  Res64: FC5A3622B0960FEC  Time : 0.0 sec.
user=henryzz
[2012-05-20 09:58:15]
477*2^1132886-1 is not prime.  Res64: 003FAF3F5DCF59A3  Time : 0.0 sec.
user=henryzz
[2012-05-20 10:02:22]
441*2^1132887-1 is not prime.  Res64: 061AA783DD0CF397  Time : 0.0 sec.
user=henryzz
[2012-05-20 10:02:56]
581*2^1132886-1 is not prime.  Res64: AEF698B93EA6E619  Time : 0.0 sec.
user=henryzz
[2012-05-20 10:13:10]
585*2^1132887-1 is not prime.  Res64: 27B46F352A440E41  Time : 0.0 sec.
user=henryzz
[2012-05-20 10:20:31]
479*2^1132888-1 is not prime.  Res64: 25FDF127E6E5B47B  Time : 0.0 sec.
user=henryzz
[2012-05-20 10:24:08]
517*2^1132889-1 is not prime.  Res64: 52DAB879DB05944C  Time : 0.0 sec.
user=henryzz
[2012-05-20 10:26:17]
565*2^1132889-1 is not prime.  Res64: A3F7B3CF7DC8AF92  Time : 0.0 sec.
user=henryzz
[2012-05-20 10:34:17]
555*2^1132890-1 is not prime.  Res64: 8FD5CBCFB2E1E22A  Time : 0.0 sec.
user=vaughan
[2012-05-20 10:41:30]
453*2^1132890-1 is not prime.  Res64: 176FF4C4A8063550  Time : 0.0 sec.
user=henryzz
[2012-05-20 10:41:40]
421*2^1132891-1 is not prime.  Res64: DE870253947D96F1  Time : 0.0 sec.
user=henryzz
[2012-05-20 10:45:08]
549*2^1132891-1 is not prime.  Res64: FAE20B506504908F  Time : 0.0 sec.
user=henryzz
[2012-05-20 10:46:55]
417*2^1132892-1 is not prime.  Res64: 3C99B8074555E3A5  Time : 0.0 sec.
user=henryzz
[2012-05-20 10:54:51]
479*2^1132892-1 is not prime.  Res64: 8B6DE8B5A96088CB  Time : 0.0 sec.
user=henryzz
[2012-05-20 11:02:19]
599*2^1132892-1 is not prime.  Res64: 14343BD99616140A  Time : 0.0 sec.
user=henryzz
[2012-05-20 11:06:09]
441*2^1132893-1 is not prime.  Res64: 06356FF1777E6345  Time : 0.0 sec.
user=henryzz
[2012-05-20 11:07:30]
471*2^1132893-1 is not prime.  Res64: 42F682C120326B7E  Time : 0.0 sec.
user=vaughan
[2012-05-20 11:14:42]
533*2^1132892-1 is not prime.  Res64: 9415336FCB20B02E  Time : 0.0 sec.
user=henryzz
[2012-05-20 11:15:52]
507*2^1132893-1 is not prime.  Res64: 2F497A08A36A4AE7  Time : 0.0 sec.
user=henryzz
[2012-05-20 11:23:36]
559*2^1132893-1 is not prime.  Res64: 7CCD258E1243B03C  Time : 0.0 sec.
user=henryzz
[2012-05-20 11:26:54]
401*2^1132894-1 is not prime.  Res64: 4C5FED1BC49FB98F  Time : 0.0 sec.
user=henryzz
[2012-05-20 11:28:18]
443*2^1132894-1 is not prime.  Res64: 5ED87E62FEFA71AD  Time : 0.0 sec.
user=henryzz
[2012-05-20 11:36:22]
453*2^1132895-1 is not prime.  Res64: 2111E98C1B9D543C  Time : 0.0 sec.
user=henryzz
[2012-05-20 11:43:57]
481*2^1132895-1 is not prime.  Res64: 60FB579D2EEEA8A8  Time : 0.0 sec.
user=henryzz
[2012-05-20 11:47:22]
497*2^1132896-1 is not prime.  Res64: 06C67113E85986CE  Time : 0.0 sec.
user=henryzz
[2012-05-20 11:48:44]
509*2^1132896-1 is not prime.  Res64: 22FB1AC44DC4FAFB  Time : 0.0 sec.
user=henryzz
[2012-05-20 11:56:46]
557*2^1132896-1 is not prime.  Res64: EB1D50DF92EA3952  Time : 0.0 sec.
user=henryzz
[2012-05-20 12:04:35]
429*2^1132897-1 is not prime.  Res64: 575F2284CC1D9806  Time : 0.0 sec.
user=henryzz
[2012-05-20 12:07:53]
441*2^1132897-1 is not prime.  Res64: 610F2E37203E3EF1  Time : 0.0 sec.
user=henryzz
[2012-05-20 12:10:28]
465*2^1132897-1 is not prime.  Res64: 94AC0005CEE1137D  Time : 0.0 sec.
user=henryzz
[2012-05-20 12:18:52]
477*2^1132897-1 is not prime.  Res64: F20D0E85267E05C6  Time : 0.0 sec.
user=vaughan
[2012-05-20 12:24:37]
471*2^1132897-1 is not prime.  Res64: FC958BF734655F5A  Time : 0.0 sec.
user=henryzz
[2012-05-20 12:28:31]
537*2^1132897-1 is not prime.  Res64: CCF11D08F07B1996  Time : 0.0 sec.
user=henryzz
[2012-05-20 12:31:56]
483*2^1132898-1 is not prime.  Res64: 64E18B68EB24DA0F  Time : 0.0 sec.
user=henryzz
[2012-05-20 12:35:16]
563*2^1132898-1 is not prime.  Res64: 85CC8C8C7789635D  Time : 0.0 sec.
user=henryzz
[2012-05-20 12:43:55]
403*2^1132899-1 is not prime.  Res64: 18DC631B0806F0F1  Time : 0.0 sec.
user=henryzz
[2012-05-20 12:53:33]
439*2^1132899-1 is not prime.  Res64: 00A6F71623118F62  Time : 0.0 sec.
user=henryzz
[2012-05-20 12:56:52]
471*2^1132899-1 is not prime.  Res64: 94704E2D3019027A  Time : 0.0 sec.
user=henryzz
[2012-05-20 12:59:24]
493*2^1132899-1 is not prime.  Res64: E0C99798C4609C20  Time : 0.0 sec.
user=henryzz
[2012-05-20 13:08:22]
583*2^1132899-1 is not prime.  Res64: A896D73C58D9D1BC  Time : 0.0 sec.
user=henryzz
[2012-05-20 13:17:34]
465*2^1132900-1 is not prime.  Res64: 0A0656D155D21782  Time : 0.0 sec.
user=henryzz
[2012-05-20 13:22:11]
489*2^1132900-1 is not prime.  Res64: 416BDDE8A3F6A2D4  Time : 0.0 sec.
user=henryzz
[2012-05-20 13:23:23]
579*2^1132900-1 is not prime.  Res64: 7BC3EA2598B2DF64  Time : 0.0 sec.
user=henryzz
[2012-05-20 13:32:54]
559*2^1132901-1 is not prime.  Res64: F9C5AC8433EED611  Time : 0.0 sec.
user=vaughan
[2012-05-20 13:34:29]
587*2^1132900-1 is not prime.  Res64: 756ACA9DC50905F2  Time : 0.0 sec.
user=henryzz
[2012-05-20 13:40:59]
585*2^1132901-1 is not prime.  Res64: 48208332FB2DA0A2  Time : 0.0 sec.
user=henryzz
[2012-05-20 13:44:43]
485*2^1132902-1 is not prime.  Res64: D1FAF21FE0CA1C1E  Time : 0.0 sec.
user=henryzz
[2012-05-20 13:46:12]
411*2^1132903-1 is not prime.  Res64: 601540C66BCD010E  Time : 0.0 sec.
user=henryzz
[2012-05-20 13:53:47]
453*2^1132903-1 is not prime.  Res64: C90B9F10BBEA2A85  Time : 0.0 sec.
user=henryzz
[2012-05-20 14:02:04]
473*2^1132904-1 is not prime.  Res64: 381ACD846DAE2FF9  Time : 0.0 sec.
user=henryzz
[2012-05-20 14:05:08]
587*2^1132904-1 is not prime.  Res64: AD26873ED7468456  Time : 0.0 sec.
user=henryzz
[2012-05-20 14:06:54]
445*2^1132905-1 is not prime.  Res64: 66826BC7BC015664  Time : 0.0 sec.
user=vaughan
[2012-05-20 14:08:06]
463*2^1132903-1 is not prime.  Res64: C6668BF648DBD001  Time : 0.0 sec.
user=henryzz
[2012-05-20 14:14:17]
529*2^1132905-1 is not prime.  Res64: 30FA816E56546FE3  Time : 0.0 sec.
user=henryzz
[2012-05-20 14:22:48]
537*2^1132905-1 is not prime.  Res64: 784FC2E84D8A6E49  Time : 0.0 sec.
user=henryzz
[2012-05-20 14:26:22]
555*2^1132905-1 is not prime.  Res64: 7148E793A09428AC  Time : 0.0 sec.
user=henryzz
[2012-05-20 14:28:45]
453*2^1132906-1 is not prime.  Res64: ADD64D15E6628332  Time : 0.0 sec.
user=henryzz
[2012-05-20 14:35:38]
573*2^1132906-1 is not prime.  Res64: 67D352F164A3CB0B  Time : 0.0 sec.
user=vaughan
[2012-05-20 14:41:28]
465*2^1132906-1 is not prime.  Res64: 6B06F32C876935F6  Time : 0.0 sec.
user=henryzz
[2012-05-20 14:43:09]
575*2^1132906-1 is not prime.  Res64: 18292A36E7830D77  Time : 0.0 sec.
user=henryzz
[2012-05-20 14:46:54]
589*2^1132907-1 is not prime.  Res64: F1D27F3D73E29411  Time : 0.0 sec.
user=henryzz
[2012-05-20 14:48:57]
419*2^1132908-1 is not prime.  Res64: F8C6B541FB0834E4  Time : 0.0 sec.
user=henryzz
[2012-05-20 14:56:10]
513*2^1132908-1 is not prime.  Res64: 7FC7FE709F1A3BDF  Time : 0.0 sec.
user=henryzz
[2012-05-20 15:03:28]
441*2^1132909-1 is not prime.  Res64: 5401F59F365C4690  Time : 0.0 sec.
user=henryzz
[2012-05-20 15:07:11]
559*2^1132909-1 is not prime.  Res64: 9F5216FCE8A143AE  Time : 0.0 sec.
user=henryzz
[2012-05-20 15:09:32]
407*2^1132910-1 is not prime.  Res64: 596B870F92FA5612  Time : 0.0 sec.
user=henryzz
[2012-05-20 15:16:59]
423*2^1132910-1 is not prime.  Res64: DA01D022DC53CAE0  Time : 0.0 sec.
user=vaughan
[2012-05-20 15:18:51]
569*2^1132908-1 is not prime.  Res64: 1E05912DF577B37E  Time : 0.0 sec.
user=henryzz
[2012-05-20 15:24:40]
545*2^1132910-1 is not prime.  Res64: FC15C796F07A5B7C  Time : 0.0 sec.
user=henryzz
[2012-05-20 15:28:52]
561*2^1132910-1 is not prime.  Res64: B1D1127DA360C177  Time : 0.0 sec.
user=henryzz
[2012-05-20 15:31:34]
483*2^1132911-1 is not prime.  Res64: CAE0093517F4F67E  Time : 0.0 sec.
user=henryzz
[2012-05-20 15:40:43]
559*2^1132911-1 is not prime.  Res64: 5DFEE40BFBCBD3B1  Time : 0.0 sec.
user=henryzz
[2012-05-20 15:50:57]
539*2^1132912-1 is not prime.  Res64: EEF48989340E6EC3  Time : 0.0 sec.
user=vaughan
[2012-05-20 15:52:13]
429*2^1132912-1 is not prime.  Res64: 92E071FB18292576  Time : 0.0 sec.
user=henryzz
[2012-05-20 15:55:24]
569*2^1132912-1 is not prime.  Res64: 9E04821CA381DD53  Time : 0.0 sec.
user=henryzz
[2012-05-20 15:58:35]
537*2^1132913-1 is not prime.  Res64: C9205B4E27FCD130  Time : 0.0 sec.
user=henryzz
[2012-05-20 16:06:32]
447*2^1132914-1 is not prime.  Res64: 8DAACB428E2B1231  Time : 0.0 sec.
user=henryzz
[2012-05-20 16:17:18]
543*2^1132914-1 is not prime.  Res64: FC98D5707A8C06A6  Time : 0.0 sec.
user=henryzz
[2012-05-20 16:19:55]
441*2^1132915-1 is not prime.  Res64: 70F659E2B33D8360  Time : 0.0 sec.
user=henryzz
[2012-05-20 16:24:27]
489*2^1132915-1 is not prime.  Res64: D9AE1293DDCBAD02  Time : 0.0 sec.
user=henryzz
[2012-05-20 16:33:32]
493*2^1132915-1 is not prime.  Res64: A7C1A08B0133B217  Time : 0.0 sec.
user=henryzz
[2012-05-20 16:44:37]
531*2^1132915-1 is not prime.  Res64: 9BC726F283FBB6CE  Time : 0.0 sec.
user=henryzz
[2012-05-20 16:47:32]
459*2^1132916-1 is not prime.  Res64: 3C24DAF4A968AE0F  Time : 0.0 sec.
user=henryzz
[2012-05-20 16:51:15]
483*2^1132916-1 is not prime.  Res64: F0B787CB8DD49348  Time : 0.0 sec.
user=henryzz
[2012-05-20 16:59:10]
563*2^1132916-1 is not prime.  Res64: 7EB4FEBE03CA5262  Time : 0.0 sec.
user=henryzz
[2012-05-20 17:08:01]
475*2^1132917-1 is not prime.  Res64: 45BD39A221505AF9  Time : 0.0 sec.
user=henryzz
[2012-05-20 17:10:51]
487*2^1132917-1 is not prime.  Res64: 3572EA5DB9107BC0  Time : 0.0 sec.
user=henryzz
[2012-05-20 17:13:27]
507*2^1132917-1 is not prime.  Res64: 2458C015105FB76B  Time : 0.0 sec.
user=henryzz
[2012-05-20 17:20:40]
447*2^1132918-1 is not prime.  Res64: B7C5B142A104FC9E  Time : 0.0 sec.
user=henryzz
[2012-05-20 17:29:17]
465*2^1132918-1 is not prime.  Res64: 38EE41247A6FDE03  Time : 0.0 sec.
user=henryzz
[2012-05-20 17:31:48]
495*2^1132918-1 is not prime.  Res64: 2D57842EFDF0B52D  Time : 0.0 sec.
user=henryzz
[2012-05-20 17:35:05]
507*2^1132918-1 is not prime.  Res64: 0C9955CEBF0548DD  Time : 0.0 sec.
user=henryzz
[2012-05-20 17:42:16]
581*2^1132918-1 is not prime.  Res64: 965FB52ED5305834  Time : 0.0 sec.
user=henryzz
[2012-05-20 17:50:50]
591*2^1132918-1 is not prime.  Res64: D580045025F8FBF3  Time : 0.0 sec.
user=henryzz
[2012-05-20 17:54:41]
411*2^1132919-1 is not prime.  Res64: 6DA147BBEA304896  Time : 0.0 sec.
user=henryzz
[2012-05-20 17:57:50]
459*2^1132919-1 is not prime.  Res64: 020B4A99A3E706B2  Time : 0.0 sec.
user=henryzz
[2012-05-20 18:06:20]
511*2^1132919-1 is not prime.  Res64: B269888051CA1CD1  Time : 0.0 sec.
user=henryzz
[2012-05-20 18:14:35]
589*2^1132919-1 is not prime.  Res64: 0BAC011B36770C9E  Time : 0.0 sec.
user=henryzz
[2012-05-20 18:18:16]
459*2^1132920-1 is not prime.  Res64: 726E794F5D102A34  Time : 0.0 sec.
user=henryzz
[2012-05-20 18:20:11]
465*2^1132920-1 is not prime.  Res64: 8E97E993416A55B0  Time : 0.0 sec.
user=henryzz
[2012-05-20 18:27:16]
509*2^1132920-1 is not prime.  Res64: AA941FFEFA03A9B0  Time : 0.0 sec.
user=henryzz
[2012-05-20 18:35:55]
471*2^1132921-1 is not prime.  Res64: D324D459EC80BDE0  Time : 0.0 sec.
user=henryzz
[2012-05-20 18:39:54]
525*2^1132921-1 is not prime.  Res64: 82F7472AB47A8890  Time : 0.0 sec.
user=henryzz
[2012-05-20 18:42:34]
439*2^1132923-1 is not prime.  Res64: 5B933AD69CFCFC8A  Time : 0.0 sec.
user=henryzz
[2012-05-20 18:49:08]
595*2^1132923-1 is not prime.  Res64: 6C539CD9A8C81120  Time : 0.0 sec.
user=henryzz
[2012-05-20 18:57:52]
419*2^1132924-1 is not prime.  Res64: 7ABFDB93050BC743  Time : 0.0 sec.
user=henryzz
[2012-05-20 19:01:46]
533*2^1132924-1 is not prime.  Res64: B1D71A23FC115B50  Time : 0.0 sec.
user=henryzz
[2012-05-20 19:03:32]
539*2^1132924-1 is not prime.  Res64: 45912003652C51A8  Time : 0.0 sec.
user=henryzz
[2012-05-20 19:10:08]
441*2^1132925-1 is not prime.  Res64: 62838D2B391B8944  Time : 0.0 sec.
user=henryzz
[2012-05-20 19:19:12]
447*2^1132925-1 is not prime.  Res64: 6899E40CC0EA1648  Time : 0.0 sec.
user=henryzz
[2012-05-20 19:23:07]
469*2^1132925-1 is not prime.  Res64: 4D7AF85F38394D1D  Time : 0.0 sec.
user=henryzz
[2012-05-20 19:24:20]
481*2^1132925-1 is not prime.  Res64: 9BC39BDE6DB37BC1  Time : 0.0 sec.
user=henryzz
[2012-05-20 19:33:10]
537*2^1132925-1 is not prime.  Res64: 5FDA192E618B0E34  Time : 0.0 sec.
user=henryzz
[2012-05-20 19:40:16]
431*2^1132926-1 is not prime.  Res64: 411FAE65A68DBD86  Time : 0.0 sec.
user=henryzz
[2012-05-20 19:44:50]
437*2^1132926-1 is not prime.  Res64: 471F661141F6340F  Time : 0.0 sec.
user=henryzz
[2012-05-20 19:45:18]
471*2^1132926-1 is not prime.  Res64: 1548F63A47A8E8A9  Time : 0.0 sec.
user=henryzz
[2012-05-20 19:54:03]
463*2^1132927-1 is not prime.  Res64: A15ED639875A7211  Time : 0.0 sec.
user=henryzz
[2012-05-20 20:01:55]
437*2^1132928-1 is not prime.  Res64: C00AADA14A526530  Time : 0.0 sec.
user=henryzz
[2012-05-20 20:05:48]
453*2^1132928-1 is not prime.  Res64: C6F08F9E6EB5C1A1  Time : 0.0 sec.
user=henryzz
[2012-05-20 20:06:56]
479*2^1132928-1 is not prime.  Res64: 90802C5633712B5D  Time : 0.0 sec.
user=henryzz
[2012-05-20 20:15:09]
481*2^1132929-1 is not prime.  Res64: D04678C2D4D63FE2  Time : 0.0 sec.
user=henryzz
[2012-05-20 20:22:53]
555*2^1132929-1 is not prime.  Res64: 4699A5C48E8BD7A3  Time : 0.0 sec.
user=henryzz
[2012-05-20 20:26:53]
425*2^1132930-1 is not prime.  Res64: 773C98D8B1A60DAF  Time : 0.0 sec.
user=henryzz
[2012-05-20 20:28:16]
477*2^1132930-1 is not prime.  Res64: 72BFC3D9688F51D8  Time : 0.0 sec.
user=henryzz
[2012-05-20 20:36:15]
421*2^1132931-1 is not prime.  Res64: 41A0D8EF00D928D8  Time : 0.0 sec.
user=henryzz
[2012-05-20 20:44:13]
441*2^1132931-1 is not prime.  Res64: C84C3C5CE4030B0D  Time : 0.0 sec.
user=henryzz
[2012-05-20 20:47:23]
423*2^1132932-1 is not prime.  Res64: B05035EB6D895897  Time : 0.0 sec.
user=henryzz
[2012-05-20 20:49:42]
497*2^1132932-1 is not prime.  Res64: 1DC7917DFA3D1A3C  Time : 0.0 sec.
user=henryzz
[2012-05-20 20:57:52]
545*2^1132932-1 is not prime.  Res64: 378803E7ACE9C896  Time : 0.0 sec.
user=henryzz
[2012-05-20 21:05:05]
427*2^1132933-1 is not prime.  Res64: 8E28A6E6E47BA45E  Time : 0.0 sec.
user=henryzz
[2012-05-20 21:08:20]
425*2^1132934-1 is not prime.  Res64: AC152591038EA4D3  Time : 0.0 sec.
user=henryzz
[2012-05-20 21:10:46]
435*2^1132934-1 is not prime.  Res64: 5BB0FDDF5E4D98FB  Time : 0.0 sec.
user=henryzz
[2012-05-20 21:19:02]
551*2^1132934-1 is not prime.  Res64: 8CE8A27B0FC740AA  Time : 0.0 sec.
user=henryzz
[2012-05-20 21:25:39]
585*2^1132934-1 is not prime.  Res64: 8ABE7DB067F6AD47  Time : 0.0 sec.
user=henryzz
[2012-05-20 21:29:32]
433*2^1132935-1 is not prime.  Res64: B794EE3709363D5F  Time : 0.0 sec.
user=henryzz
[2012-05-20 21:32:15]
501*2^1132935-1 is not prime.  Res64: A7C2D135B364586A  Time : 0.0 sec.
user=henryzz
[2012-05-20 21:40:23]
523*2^1132935-1 is not prime.  Res64: F6F1C7A85E263C8B  Time : 0.0 sec.
user=henryzz
[2012-05-20 21:48:27]
573*2^1132935-1 is not prime.  Res64: 9C62214C2BE282B6  Time : 0.0 sec.
user=henryzz
[2012-05-20 21:50:42]
585*2^1132935-1 is not prime.  Res64: 3F09BDBD08BA1DA0  Time : 0.0 sec.
user=henryzz
[2012-05-20 21:53:26]
485*2^1132936-1 is not prime.  Res64: 8F55669645E239D8  Time : 0.0 sec.
user=henryzz
[2012-05-20 22:01:47]
537*2^1132936-1 is not prime.  Res64: 24DC8E77DAD8B897  Time : 0.0 sec.
user=henryzz
[2012-05-20 22:09:14]
539*2^1132936-1 is not prime.  Res64: 3894DDEBF78D47DE  Time : 0.0 sec.
user=henryzz
[2012-05-20 22:12:10]
597*2^1132936-1 is not prime.  Res64: F7F5A04350003F9B  Time : 0.0 sec.
user=henryzz
[2012-05-20 22:14:25]
435*2^1132937-1 is not prime.  Res64: 6B5D47A67A1C7B97  Time : 0.0 sec.
user=henryzz
[2012-05-20 22:22:43]
501*2^1132937-1 is not prime.  Res64: DFDA000593564B7E  Time : 0.0 sec.
user=henryzz
[2012-05-20 22:30:34]
507*2^1132937-1 is not prime.  Res64: F4AAF7F515B0AFEF  Time : 0.0 sec.
user=henryzz
[2012-05-20 22:33:23]
517*2^1132937-1 is not prime.  Res64: AF2415F73E27352C  Time : 0.0 sec.
user=henryzz
[2012-05-20 22:35:25]
571*2^1132937-1 is not prime.  Res64: 680D4E17471D51F5  Time : 0.0 sec.
user=henryzz
[2012-05-20 22:44:03]
417*2^1132938-1 is not prime.  Res64: 144AB008BB0B0992  Time : 0.0 sec.
user=henryzz
[2012-05-20 22:51:38]
497*2^1132938-1 is not prime.  Res64: DB208E671867462D  Time : 0.0 sec.
user=henryzz
[2012-05-20 22:53:58]
429*2^1132939-1 is not prime.  Res64: 73CB936E20B9EE9C  Time : 0.0 sec.
user=henryzz
[2012-05-20 22:56:55]
451*2^1132939-1 is not prime.  Res64: 2A46DADC0E265F72  Time : 0.0 sec.
user=henryzz
[2012-05-20 23:05:12]
555*2^1132939-1 is not prime.  Res64: A5C0370F16057F7C  Time : 0.0 sec.
user=henryzz
[2012-05-20 23:12:35]
503*2^1132940-1 is not prime.  Res64: 145A2EADC9F08C10  Time : 0.0 sec.
user=henryzz
[2012-05-20 23:15:36]
533*2^1132940-1 is not prime.  Res64: F774418783B98078  Time : 0.0 sec.
user=henryzz
[2012-05-20 23:18:12]
405*2^1132941-1 is not prime.  Res64: 2BB35427829426E8  Time : 0.0 sec.
user=henryzz
[2012-05-20 23:26:22]
459*2^1132941-1 is not prime.  Res64: 925A4C57D45F8DDC  Time : 0.0 sec.
user=henryzz
[2012-05-20 23:34:12]
585*2^1132941-1 is not prime.  Res64: D39BDC19305ACB1B  Time : 0.0 sec.
user=henryzz
[2012-05-20 23:36:21]
435*2^1132942-1 is not prime.  Res64: BF259166D0D6DF11  Time : 0.0 sec.
user=henryzz
[2012-05-20 23:39:51]
447*2^1132942-1 is not prime.  Res64: 6788B3953FC5A5A6  Time : 0.0 sec.
user=henryzz
[2012-05-20 23:47:29]
513*2^1132942-1 is not prime.  Res64: 3562787AFF5DD2A2  Time : 0.0 sec.
user=henryzz
[2012-05-20 23:55:04]
567*2^1132942-1 is not prime.  Res64: 478429D745801E92  Time : 0.0 sec.
user=henryzz
[2012-05-20 23:58:07]
411*2^1132943-1 is not prime.  Res64: CBA87A76836DE2F9  Time : 0.0 sec.
user=henryzz
[2012-05-21 00:00:42]
439*2^1132943-1 is not prime.  Res64: 6823F8B0DC56BE4C  Time : 0.0 sec.