user=mdettweiler
[2009-04-04 00:00:17]
481*2^666745-1 is not prime.  Res64: 99EADC58A7922B86  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 00:00:43]
495*2^666745-1 is not prime.  Res64: 71C8984D60432AC2  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 00:01:58]
507*2^666746-1 is not prime.  Res64: DF0CE03EDB7112F4  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 00:02:15]
567*2^666746-1 is not prime.  Res64: A0C988579F8F59C5  Time : 2714.0 sec.
user=glennpat
[2009-04-04 00:08:19]
533*2^666728-1 is not prime.  Res64: 7BD2237D7E2C04D7  Time : 9680.0 sec.
user=mdettweiler
[2009-04-04 00:09:21]
585*2^666746-1 is not prime.  Res64: D07E2D1BFAA90566  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 00:09:45]
465*2^666747-1 is not prime.  Res64: AE6CFBBC848CC55E  Time : 2711.0 sec.
user=mdettweiler
[2009-04-04 00:11:01]
489*2^666747-1 is not prime.  Res64: 712CED5A82DF4245  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 00:11:21]
523*2^666747-1 is not prime.  Res64: 2186CF14384C9104  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 00:18:27]
595*2^666747-1 is not prime.  Res64: 4DC36B0AE8F4FF60  Time : 2722.0 sec.
user=mdettweiler
[2009-04-04 00:18:48]
453*2^666748-1 is not prime.  Res64: EF72B73098369DF9  Time : 2712.0 sec.
user=glennpat
[2009-04-04 00:19:07]
405*2^666730-1 is not prime.  Res64: AD87D672DCC03392  Time : 9683.0 sec.
user=mdettweiler
[2009-04-04 00:20:03]
569*2^666748-1 is not prime.  Res64: C2749DFD2ECADD6A  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 00:20:24]
589*2^666749-1 is not prime.  Res64: ABEF4098497F9FF0  Time : 2718.0 sec.
user=mdettweiler
[2009-04-04 00:27:27]
557*2^666750-1 is not prime.  Res64: BDF3E54754BAA735  Time : 2719.0 sec.
user=mdettweiler
[2009-04-04 00:27:51]
581*2^666750-1 is not prime.  Res64: 5FD9E4314F0D5747  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 00:29:06]
423*2^666751-1 is not prime.  Res64: C703D7F6349E8C0D  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 00:29:26]
493*2^666751-1 is not prime.  Res64: 0C01D7D0182EA09A  Time : 2717.0 sec.
user=glennpat
[2009-04-04 00:29:52]
403*2^666731-1 is not prime.  Res64: 8D8B68784D2F9120  Time : 9682.0 sec.
user=mdettweiler
[2009-04-04 00:36:33]
407*2^666752-1 is not prime.  Res64: A55FE5D3A994FF3D  Time : 2719.0 sec.
user=mdettweiler
[2009-04-04 00:36:53]
435*2^666752-1 is not prime.  Res64: 1517A3B962920939  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 00:38:08]
557*2^666752-1 is not prime.  Res64: 6124048759C753AC  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 00:38:29]
565*2^666753-1 is not prime.  Res64: 70B574518B62591D  Time : 2716.0 sec.
user=glennpat
[2009-04-04 00:40:38]
527*2^666732-1 is not prime.  Res64: 23ECFBBE4D537CA8  Time : 9681.0 sec.
user=mdettweiler
[2009-04-04 00:45:37]
413*2^666754-1 is not prime.  Res64: 1A89126EB3EEB90D  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 00:45:56]
423*2^666754-1 is not prime.  Res64: 4CD8246DD94A8723  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 00:47:13]
453*2^666754-1 is not prime.  Res64: 332D510E66AC37AD  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 00:47:30]
421*2^666755-1 is not prime.  Res64: B57A1FFD9262D4ED  Time : 2715.0 sec.
user=glennpat
[2009-04-04 00:51:24]
593*2^666734-1 is not prime.  Res64: D32EB496F5D025B2  Time : 9680.0 sec.
user=mdettweiler
[2009-04-04 00:54:41]
501*2^666755-1 is not prime.  Res64: 07142BEA2810AA5E  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 00:54:58]
519*2^666755-1 is not prime.  Res64: 5296DED316F7EEE3  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 00:56:17]
453*2^666756-1 is not prime.  Res64: EFD70EB7FB12E9EA  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 00:56:33]
503*2^666756-1 is not prime.  Res64: 6C339E3AB451503C  Time : 2712.0 sec.
user=glennpat
[2009-04-04 01:02:09]
541*2^666735-1 is not prime.  Res64: A6D3B98C83D7DB80  Time : 9679.0 sec.
user=mdettweiler
[2009-04-04 01:03:44]
539*2^666756-1 is not prime.  Res64: CF3A9523FF929378  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 01:04:01]
563*2^666756-1 is not prime.  Res64: 01C922F08C48A32F  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 01:05:20]
587*2^666756-1 is not prime.  Res64: F2FBFB8D31F7DE5B  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 01:05:35]
439*2^666757-1 is not prime.  Res64: 7AE2EAB8642D10B5  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 01:12:48]
451*2^666757-1 is not prime.  Res64: 032CC36F8EAF1BE1  Time : 2721.0 sec.
user=glennpat
[2009-04-04 01:12:56]
559*2^666737-1 is not prime.  Res64: 452F27D5BF95D8A9  Time : 9679.0 sec.
user=mdettweiler
[2009-04-04 01:13:04]
457*2^666757-1 is not prime.  Res64: 0C9E1F20CA592B69  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 01:14:25]
495*2^666757-1 is not prime.  Res64: 22BD7A42F7934F7B  Time : 2719.0 sec.
user=mdettweiler
[2009-04-04 01:14:38]
483*2^666758-1 is not prime.  Res64: BCF14F225C6E8A6E  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 01:21:51]
471*2^666759-1 is not prime.  Res64: 0520FD1D0933E5E6  Time : 2718.0 sec.
user=mdettweiler
[2009-04-04 01:22:06]
493*2^666759-1 is not prime.  Res64: DF3F1F3548610CC0  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 01:23:29]
531*2^666759-1 is not prime.  Res64: 0C1E1BE70B0F5FB9  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 01:23:41]
573*2^666759-1 is not prime.  Res64: 9ED6258BF4C1743B  Time : 2712.0 sec.
user=glennpat
[2009-04-04 01:23:42]
433*2^666739-1 is not prime.  Res64: A5774BDA9872FF70  Time : 9679.0 sec.
user=mdettweiler
[2009-04-04 01:30:56]
465*2^666760-1 is not prime.  Res64: 42A0F3107F6014C4  Time : 2719.0 sec.
user=mdettweiler
[2009-04-04 01:31:08]
483*2^666760-1 is not prime.  Res64: F0C36874B7CDC46B  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 01:32:33]
549*2^666760-1 is not prime.  Res64: 0EBAE3EC4A0D8682  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 01:32:43]
569*2^666760-1 is not prime.  Res64: B8E7CB34B2900CCB  Time : 2713.0 sec.
user=glennpat
[2009-04-04 01:34:29]
415*2^666741-1 is not prime.  Res64: 95B90370629B0F15  Time : 9680.0 sec.
user=mdettweiler
[2009-04-04 01:40:01]
405*2^666761-1 is not prime.  Res64: DA2235B1BEE6EEE0  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 01:40:10]
487*2^666761-1 is not prime.  Res64: D17F64698E23C75A  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 01:41:37]
507*2^666761-1 is not prime.  Res64: 693BE4DA951EE735  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 01:41:47]
565*2^666761-1 is not prime.  Res64: 9CFA7B6C2A17E4BC  Time : 2714.0 sec.
user=glennpat
[2009-04-04 01:45:16]
453*2^666744-1 is not prime.  Res64: F383F2D50BA2AA85  Time : 9683.0 sec.
user=mdettweiler
[2009-04-04 01:49:04]
423*2^666762-1 is not prime.  Res64: D7EAC9F1D1E7B5AE  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 01:49:15]
485*2^666762-1 is not prime.  Res64: 1FFD0AFBBE468490  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 01:50:40]
501*2^666762-1 is not prime.  Res64: 88293E5D10EB934F  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 01:50:49]
513*2^666762-1 is not prime.  Res64: 7C440E0A74F8A185  Time : 2714.0 sec.
user=glennpat
[2009-04-04 01:56:03]
421*2^666745-1 is not prime.  Res64: 5A0FD44E95658F7A  Time : 9689.0 sec.
user=mdettweiler
[2009-04-04 01:58:07]
573*2^666763-1 is not prime.  Res64: 8C37B093F3A21CB3  Time : 2719.0 sec.
user=mdettweiler
[2009-04-04 01:58:17]
545*2^666764-1 is not prime.  Res64: 80A9CFB7CE6A6706  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 01:59:45]
573*2^666764-1 is not prime.  Res64: C6BF635B7E7016BE  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 01:59:51]
459*2^666765-1 is not prime.  Res64: C259E3EB0121C23D  Time : 2713.0 sec.
user=glennpat
[2009-04-04 02:06:49]
483*2^666747-1 is not prime.  Res64: 326398F19E4D20A4  Time : 9694.0 sec.
user=mdettweiler
[2009-04-04 02:07:14]
471*2^666765-1 is not prime.  Res64: F601758F3A8EC921  Time : 2723.0 sec.
user=mdettweiler
[2009-04-04 02:07:20]
579*2^666765-1 is not prime.  Res64: 533BCAA1A2801BC4  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 02:08:50]
591*2^666765-1 is not prime.  Res64: 7A003D2F04EE3B38  Time : 2722.0 sec.
user=mdettweiler
[2009-04-04 02:08:54]
477*2^666766-1 is not prime.  Res64: 2D05B340B7012FDD  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 02:16:18]
581*2^666766-1 is not prime.  Res64: DF18A83B00D88E1E  Time : 2722.0 sec.
user=mdettweiler
[2009-04-04 02:16:23]
421*2^666767-1 is not prime.  Res64: 546519331DEF6E23  Time : 2715.0 sec.
user=glennpat
[2009-04-04 02:17:35]
437*2^666750-1 is not prime.  Res64: 10145C421DBF5593  Time : 9695.0 sec.
user=mdettweiler
[2009-04-04 02:21:04]
549*2^666767-1 is not prime.  Res64: A0435AE2A801B6D0  Time : 2911.0 sec.
user=mdettweiler
[2009-04-04 02:21:06]
553*2^666767-1 is not prime.  Res64: 0C7A13B4D78E86C5  Time : 2903.0 sec.
user=mdettweiler
[2009-04-04 02:25:21]
595*2^666767-1 is not prime.  Res64: 80D31E245BDE9DAC  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 02:25:25]
453*2^666768-1 is not prime.  Res64: 3AD4FB1820120A07  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 02:26:59]
485*2^666768-1 is not prime.  Res64: B7B7CC4A4A4DDA81  Time : 2722.0 sec.
user=mdettweiler
[2009-04-04 02:27:00]
507*2^666768-1 is not prime.  Res64: 6B61E76CF3727701  Time : 2713.0 sec.
user=glennpat
[2009-04-04 02:28:21]
573*2^666751-1 is not prime.  Res64: EB6C828C2422D0AC  Time : 9696.0 sec.
user=mdettweiler
[2009-04-04 02:34:25]
421*2^666769-1 is not prime.  Res64: 83B3F7F9B92A1E98  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 02:34:28]
441*2^666769-1 is not prime.  Res64: 15DCAE061001CCBF  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 02:36:03]
549*2^666769-1 is not prime.  Res64: CEA542C24FB28937  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 02:36:03]
495*2^666769-1 is not prime.  Res64: 61BC61CE3EEB905F  Time : 2723.0 sec.
user=glennpat
[2009-04-04 02:39:05]
585*2^666753-1 is not prime.  Res64: 1A760F20AC97F866  Time : 9694.0 sec.
user=mdettweiler
[2009-04-04 02:43:29]
503*2^666770-1 is not prime.  Res64: BA37E35F58B2DC7B  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 02:43:30]
589*2^666769-1 is not prime.  Res64: 6CB5CDC21F46BE65  Time : 2723.0 sec.
user=mdettweiler
[2009-04-04 02:45:04]
495*2^666771-1 is not prime.  Res64: E28FD8582B20DF5E  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 02:45:08]
545*2^666770-1 is not prime.  Res64: 0F02BF74DE9A96AD  Time : 2723.0 sec.
user=glennpat
[2009-04-04 02:49:50]
475*2^666755-1 is not prime.  Res64: E6D7CA2188E9EE3A  Time : 9691.0 sec.
user=mdettweiler
[2009-04-04 02:52:32]
483*2^666772-1 is not prime.  Res64: 1D2269B3FC7E10D8  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 02:52:34]
447*2^666772-1 is not prime.  Res64: F08E85186B1EEB97  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 02:54:07]
507*2^666772-1 is not prime.  Res64: 1FE61CB75394310B  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 02:54:10]
489*2^666772-1 is not prime.  Res64: 6742911672D5D3E5  Time : 2720.0 sec.
user=glennpat
[2009-04-04 03:00:37]
567*2^666756-1 is not prime.  Res64: 1FD5E2AD500307F5  Time : 9690.0 sec.
user=mdettweiler
[2009-04-04 03:01:36]
411*2^666773-1 is not prime.  Res64: 4A9C20D74246AD43  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 03:01:39]
573*2^666772-1 is not prime.  Res64: C84A07D7CDB3C604  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 03:03:11]
567*2^666773-1 is not prime.  Res64: 8AEDD0AC86B5AA82  Time : 2464.0 sec.
user=mdettweiler
[2009-04-04 03:03:14]
525*2^666773-1 is not prime.  Res64: 8392C4992141A8C5  Time : 2469.0 sec.
user=mdettweiler
[2009-04-04 03:10:39]
411*2^666774-1 is not prime.  Res64: 80198B8AB9F144CC  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 03:10:43]
589*2^666773-1 is not prime.  Res64: E3148741ABA10ABF  Time : 2722.0 sec.
user=glennpat
[2009-04-04 03:11:23]
433*2^666759-1 is not prime.  Res64: FCB31EF3B051D94B  Time : 9691.0 sec.
user=mdettweiler
[2009-04-04 03:12:13]
447*2^666774-1 is not prime.  Res64: CB3B3644049965CC  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 03:12:19]
437*2^666774-1 is not prime.  Res64: 79F9AE15DAB5B022  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 03:19:41]
415*2^666775-1 is not prime.  Res64: FFEC92C029A343BB  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 03:19:46]
587*2^666774-1 is not prime.  Res64: D4B54B06EDB7E2E0  Time : 2721.0 sec.
user=glennpat
[2009-04-04 03:22:08]
447*2^666760-1 is not prime.  Res64: F32DA02D0E7A196F  Time : 9690.0 sec.
user=mdettweiler
[2009-04-04 03:22:55]
429*2^666775-1 is not prime.  Res64: B1B9C2E46F02EE72  Time : 2812.0 sec.
user=mdettweiler
[2009-04-04 03:23:00]
421*2^666775-1 is not prime.  Res64: F40BDCA8BC4BC9E8  Time : 2817.0 sec.
user=mdettweiler
[2009-04-04 03:28:45]
555*2^666775-1 is not prime.  Res64: 8367218659484F97  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 03:28:49]
405*2^666776-1 is not prime.  Res64: 28FB2C5035918633  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 03:30:18]
585*2^666776-1 is not prime.  Res64: E3EC8EB7F943E194  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 03:30:26]
445*2^666777-1 is not prime.  Res64: 38535637F3D87454  Time : 2719.0 sec.
user=glennpat
[2009-04-04 03:32:56]
593*2^666760-1 is not prime.  Res64: 2642E432A7D63940  Time : 9692.0 sec.
user=mdettweiler
[2009-04-04 03:37:46]
453*2^666778-1 is not prime.  Res64: 3E52D0DF2805A08B  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 03:37:53]
533*2^666778-1 is not prime.  Res64: 48FC24CA85ED3547  Time : 2719.0 sec.
user=mdettweiler
[2009-04-04 03:39:22]
433*2^666779-1 is not prime.  Res64: 2983F7FE31873B2B  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 03:39:28]
435*2^666779-1 is not prime.  Res64: 33182F86BBB75241  Time : 2718.0 sec.
user=glennpat
[2009-04-04 03:43:44]
405*2^666762-1 is not prime.  Res64: 0B2F86DFC55A4A49  Time : 9695.0 sec.
user=mdettweiler
[2009-04-04 03:46:49]
455*2^666780-1 is not prime.  Res64: 97143E65E0202F2A  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 03:46:57]
525*2^666780-1 is not prime.  Res64: AB8D9DB1EBFC07E9  Time : 2718.0 sec.
user=mdettweiler
[2009-04-04 03:48:23]
545*2^666780-1 is not prime.  Res64: DE761DB36E86BAD3  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 03:48:31]
563*2^666780-1 is not prime.  Res64: 43B4C13F5F5A3330  Time : 2717.0 sec.
user=glennpat
[2009-04-04 03:54:28]
595*2^666763-1 is not prime.  Res64: A9AE9DF2D602E796  Time : 9693.0 sec.
user=mdettweiler
[2009-04-04 03:55:52]
569*2^666780-1 is not prime.  Res64: 5CB2A7CC093C26A4  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 03:56:01]
585*2^666780-1 is not prime.  Res64: 62B1290763428891  Time : 2718.0 sec.
user=mdettweiler
[2009-04-04 03:57:26]
429*2^666781-1 is not prime.  Res64: E024B909199485A6  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 03:57:35]
495*2^666781-1 is not prime.  Res64: 432D2AD093920A2C  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 04:04:55]
507*2^666781-1 is not prime.  Res64: 6F1E17FAC4332CAC  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 04:05:06]
517*2^666781-1 is not prime.  Res64: 4B07D1C0D50F7ABC  Time : 2721.0 sec.
user=glennpat
[2009-04-04 04:05:14]
491*2^666766-1 is not prime.  Res64: 9E094B278094FC5F  Time : 9692.0 sec.
user=mdettweiler
[2009-04-04 04:06:28]
565*2^666781-1 is not prime.  Res64: 59906A1CA4FD452D  Time : 2547.0 sec.
user=mdettweiler
[2009-04-04 04:06:39]
555*2^666781-1 is not prime.  Res64: 9491648A51D35EDD  Time : 2624.0 sec.
user=mdettweiler
[2009-04-04 04:13:57]
455*2^666782-1 is not prime.  Res64: FB8FFE39AF81880B  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 04:14:09]
525*2^666782-1 is not prime.  Res64: 69F1708CB9F222BC  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 04:15:30]
533*2^666782-1 is not prime.  Res64: 1982EA446FFE3225  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 04:15:44]
545*2^666782-1 is not prime.  Res64: BBEBAA341483C3DB  Time : 2718.0 sec.
user=glennpat
[2009-04-04 04:15:55]
589*2^666767-1 is not prime.  Res64: 5D95D5E9E4FD3084  Time : 9686.0 sec.
user=mdettweiler
[2009-04-04 04:24:57]
483*2^666784-1 is not prime.  Res64: CDB2E5727CAD4AAE  Time : 2735.0 sec.
user=mdettweiler
[2009-04-04 04:24:59]
533*2^666784-1 is not prime.  Res64: 2E78A9EE2B90583D  Time : 2731.0 sec.
user=mdettweiler
[2009-04-04 04:25:00]
523*2^666783-1 is not prime.  Res64: D3909AF743D7ABFE  Time : 2827.0 sec.
user=mdettweiler
[2009-04-04 04:25:06]
489*2^666783-1 is not prime.  Res64: A064A0AAE080A362  Time : 2840.0 sec.
user=glennpat
[2009-04-04 04:26:39]
567*2^666768-1 is not prime.  Res64: A50F5A824BA32531  Time : 9683.0 sec.
user=mdettweiler
[2009-04-04 04:32:02]
469*2^666785-1 is not prime.  Res64: 5025C66299EE34A8  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 04:32:21]
481*2^666785-1 is not prime.  Res64: 153D04ED1FB5C327  Time : 2724.0 sec.
user=mdettweiler
[2009-04-04 04:33:35]
495*2^666785-1 is not prime.  Res64: AD792E938869A3BB  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 04:33:51]
529*2^666785-1 is not prime.  Res64: 08CE4519C39BFDC9  Time : 2720.0 sec.
user=glennpat
[2009-04-04 04:37:26]
567*2^666769-1 is not prime.  Res64: AB59C8BBF1854C56  Time : 9683.0 sec.
user=mdettweiler
[2009-04-04 04:41:05]
541*2^666787-1 is not prime.  Res64: 4C8A658F8F6EE704  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 04:41:24]
405*2^666788-1 is not prime.  Res64: 14DED21DE5A9959E  Time : 2723.0 sec.
user=mdettweiler
[2009-04-04 04:42:38]
519*2^666788-1 is not prime.  Res64: C480AC2F5EEBB543  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 04:42:55]
537*2^666788-1 is not prime.  Res64: D16DBD6AB29AD85E  Time : 2721.0 sec.
user=glennpat
[2009-04-04 04:48:13]
555*2^666771-1 is not prime.  Res64: 0942EB8E51715964  Time : 9685.0 sec.
user=mdettweiler
[2009-04-04 04:50:06]
563*2^666788-1 is not prime.  Res64: 5120DDCCEBAC88ED  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 04:50:28]
417*2^666789-1 is not prime.  Res64: 0C041A016666D864  Time : 2723.0 sec.
user=mdettweiler
[2009-04-04 04:51:40]
471*2^666789-1 is not prime.  Res64: 2C0A322EAA17C2F8  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 04:51:59]
555*2^666789-1 is not prime.  Res64: BFFD59BFF90EE082  Time : 2720.0 sec.
user=glennpat
[2009-04-04 04:58:58]
421*2^666773-1 is not prime.  Res64: 30A26323A3B4F02A  Time : 9684.0 sec.
user=mdettweiler
[2009-04-04 04:59:09]
425*2^666790-1 is not prime.  Res64: DC14EF2EEE8F683C  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 04:59:33]
443*2^666790-1 is not prime.  Res64: 959303FE1CA41E4A  Time : 2724.0 sec.
user=mdettweiler
[2009-04-04 05:00:44]
447*2^666790-1 is not prime.  Res64: 95D330F433397770  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 05:01:03]
455*2^666790-1 is not prime.  Res64: 851065D23C45A685  Time : 2719.0 sec.
user=mdettweiler
[2009-04-04 05:08:12]
413*2^666792-1 is not prime.  Res64: 27EDCDC145FAE90C  Time : 2526.0 sec.
user=mdettweiler
[2009-04-04 05:08:37]
595*2^666791-1 is not prime.  Res64: FED8ACE17D3FE04E  Time : 2557.0 sec.
user=glennpat
[2009-04-04 05:09:46]
503*2^666774-1 is not prime.  Res64: 849FCD8A8343EFB6  Time : 9685.0 sec.
user=mdettweiler
[2009-04-04 05:09:47]
483*2^666790-1 is not prime.  Res64: 14ADC7069F03E25F  Time : 2690.0 sec.
user=mdettweiler
[2009-04-04 05:10:07]
459*2^666791-1 is not prime.  Res64: DB74689076C3106B  Time : 2708.0 sec.
user=AMDave
[2009-04-04 05:12:43]
507*2^666796-1 is not prime.  Res64: A708ED69C54DDF62  Time : 1474.0 sec.
user=mdettweiler
[2009-04-04 05:17:15]
569*2^666792-1 is not prime.  Res64: 5BCBFAA71211A8F8  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 05:17:41]
587*2^666792-1 is not prime.  Res64: 91F5523F0A530FC8  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 05:18:49]
435*2^666793-1 is not prime.  Res64: B8C5FF653D724CE2  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 05:19:12]
439*2^666793-1 is not prime.  Res64: 38BD3DC35BB11B04  Time : 2721.0 sec.
user=glennpat
[2009-04-04 05:20:35]
519*2^666775-1 is not prime.  Res64: 080B733F7DB8C00E  Time : 9690.0 sec.
user=mdettweiler
[2009-04-04 05:28:01]
503*2^666794-1 is not prime.  Res64: CFB17A03C854341F  Time : 2723.0 sec.
user=mdettweiler
[2009-04-04 05:28:04]
511*2^666793-1 is not prime.  Res64: 50E055EEA5232A89  Time : 2820.0 sec.
user=mdettweiler
[2009-04-04 05:28:07]
431*2^666794-1 is not prime.  Res64: A26DD3024C025FBE  Time : 2803.0 sec.
user=mdettweiler
[2009-04-04 05:28:16]
437*2^666796-1 is not prime.  Res64: 2044F9DD50246DD5  Time : 2722.0 sec.
user=glennpat
[2009-04-04 05:31:18]
413*2^666778-1 is not prime.  Res64: 93F254185A9F3973  Time : 9688.0 sec.
user=mdettweiler
[2009-04-04 05:35:21]
567*2^666796-1 is not prime.  Res64: 33C7CBDB9F504EB9  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 05:35:50]
487*2^666797-1 is not prime.  Res64: 0A2231CF8D8398E6  Time : 2722.0 sec.
user=mdettweiler
[2009-04-04 05:36:54]
517*2^666797-1 is not prime.  Res64: BAF42EC1C942AD0B  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 05:37:19]
519*2^666797-1 is not prime.  Res64: 2B2A3F5E96191204  Time : 2720.0 sec.
user=glennpat
[2009-04-04 05:42:01]
423*2^666780-1 is not prime.  Res64: 045F49A089C8CC1D  Time : 9684.0 sec.
user=mdettweiler
[2009-04-04 05:44:23]
571*2^666797-1 is not prime.  Res64: C473B036B50B7AFA  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 05:44:55]
413*2^666798-1 is not prime.  Res64: 178A6280EFA6D352  Time : 2722.0 sec.
user=mdettweiler
[2009-04-04 05:45:57]
431*2^666798-1 is not prime.  Res64: 7D25B15B34E55E0E  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 05:46:24]
437*2^666798-1 is not prime.  Res64: 32E317112491C068  Time : 2721.0 sec.
user=glennpat
[2009-04-04 05:52:45]
405*2^666781-1 is not prime.  Res64: 8DE61F44AEE93815  Time : 9682.0 sec.
user=mdettweiler
[2009-04-04 05:53:26]
515*2^666798-1 is not prime.  Res64: 67E145660D3DB242  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 05:53:57]
523*2^666799-1 is not prime.  Res64: 9C7FABBCC931FA80  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 05:55:00]
425*2^666800-1 is not prime.  Res64: D4EFCBB2D6E81DED  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 05:55:28]
599*2^666800-1 is not prime.  Res64: 4C2EDCCBFFD7CD28  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 06:02:30]
409*2^666801-1 is not prime.  Res64: 626FAAFFD55FECE8  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 06:03:01]
413*2^666802-1 is not prime.  Res64: F1E54FB6E8B6EEB3  Time : 2721.0 sec.
user=glennpat
[2009-04-04 06:03:30]
537*2^666781-1 is not prime.  Res64: 2FF8A813127AD442  Time : 9682.0 sec.
user=mdettweiler
[2009-04-04 06:04:02]
471*2^666802-1 is not prime.  Res64: F615F13477DC0E35  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 06:04:33]
433*2^666803-1 is not prime.  Res64: 4379FDF489669F42  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 06:11:32]
585*2^666803-1 is not prime.  Res64: 2011FE965D666024  Time : 2547.0 sec.
user=mdettweiler
[2009-04-04 06:12:05]
511*2^666803-1 is not prime.  Res64: 2F9700B6AC0E86B0  Time : 2638.0 sec.
user=mdettweiler
[2009-04-04 06:13:04]
495*2^666803-1 is not prime.  Res64: 27B8AC9D0A27B997  Time : 2703.0 sec.
user=mdettweiler
[2009-04-04 06:13:36]
573*2^666803-1 is not prime.  Res64: 864C6EB18AA1CBC2  Time : 2720.0 sec.
user=glennpat
[2009-04-04 06:14:26]
441*2^666783-1 is not prime.  Res64: 32FDDAE055773C71  Time : 9690.0 sec.
user=mdettweiler
[2009-04-04 06:20:35]
437*2^666804-1 is not prime.  Res64: 30056D721F890BF7  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 06:21:10]
473*2^666804-1 is not prime.  Res64: 17AC013C1860479D  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 06:22:06]
497*2^666804-1 is not prime.  Res64: 6A94DB768DF1B565  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 06:22:40]
549*2^666804-1 is not prime.  Res64: AC90C6D705B18121  Time : 2721.0 sec.
user=glennpat
[2009-04-04 06:25:11]
569*2^666784-1 is not prime.  Res64: 918A2909F5D386ED  Time : 9688.0 sec.
user=mdettweiler
[2009-04-04 06:29:38]
585*2^666804-1 is not prime.  Res64: 10F5B3EC8FF9D6CB  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 06:30:14]
415*2^666805-1 is not prime.  Res64: 57F6BAE07922E444  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 06:31:09]
429*2^666805-1 is not prime.  Res64: A49889D0EE5BCE66  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 06:31:43]
451*2^666805-1 is not prime.  Res64: 2F9D47644D29D6DF  Time : 2719.0 sec.
user=glennpat
[2009-04-04 06:35:56]
591*2^666785-1 is not prime.  Res64: E01DC0BB4AB390E1  Time : 9688.0 sec.
user=mdettweiler
[2009-04-04 06:38:41]
541*2^666805-1 is not prime.  Res64: 5C96D5815114F582  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 06:39:18]
407*2^666806-1 is not prime.  Res64: C9AEA8FEE8D67766  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 06:40:13]
587*2^666806-1 is not prime.  Res64: 42F060A9615BA1E6  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 06:40:47]
439*2^666807-1 is not prime.  Res64: C0EBCF10A230CCB6  Time : 2719.0 sec.
user=glennpat
[2009-04-04 06:46:41]
465*2^666789-1 is not prime.  Res64: A3844D925C977DA9  Time : 9687.0 sec.
user=mdettweiler
[2009-04-04 06:47:42]
511*2^666807-1 is not prime.  Res64: 37116B8BA3BE12F1  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 06:48:23]
523*2^666807-1 is not prime.  Res64: 175A58F8737D521C  Time : 2722.0 sec.
user=mdettweiler
[2009-04-04 06:49:15]
419*2^666808-1 is not prime.  Res64: CABFEEA69EFFBADF  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 06:49:51]
435*2^666808-1 is not prime.  Res64: 8E1E7007BBA308C3  Time : 2719.0 sec.
user=mdettweiler
[2009-04-04 06:56:46]
467*2^666808-1 is not prime.  Res64: 6BE4AB862E8454B6  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 06:57:26]
537*2^666808-1 is not prime.  Res64: 4ACDC2C2C58A450C  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 06:58:17]
573*2^666808-1 is not prime.  Res64: D45B67C2F0C39E0A  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 06:58:56]
575*2^666808-1 is not prime.  Res64: CF4AB73FB740D18C  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 07:05:49]
501*2^666809-1 is not prime.  Res64: 1FD3B6747B8BC347  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 07:06:31]
537*2^666809-1 is not prime.  Res64: BADC3089A804F952  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 07:07:20]
437*2^666810-1 is not prime.  Res64: 3B55442BFFC55AD4  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 07:08:00]
501*2^666810-1 is not prime.  Res64: 54B2EE3697030368  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 07:14:52]
405*2^666811-1 is not prime.  Res64: 150C64E650BAE559  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 07:15:36]
415*2^666811-1 is not prime.  Res64: 3C0B584801438D21  Time : 2722.0 sec.
user=mdettweiler
[2009-04-04 07:16:24]
451*2^666811-1 is not prime.  Res64: 6C0B17A2D0319B88  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 07:17:03]
425*2^666812-1 is not prime.  Res64: C59D4FC68A912E38  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 07:23:54]
519*2^666812-1 is not prime.  Res64: CCD70736B22628DD  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 07:24:41]
405*2^666813-1 is not prime.  Res64: 4A52E112B177C90E  Time : 2723.0 sec.
user=mdettweiler
[2009-04-04 07:25:26]
417*2^666813-1 is not prime.  Res64: 211FEE2FB2188ABA  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 07:26:06]
499*2^666813-1 is not prime.  Res64: C007863374422FAC  Time : 2719.0 sec.
user=mdettweiler
[2009-04-04 07:32:59]
585*2^666813-1 is not prime.  Res64: 5F5D8A7B14EC3DFE  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 07:33:44]
401*2^666814-1 is not prime.  Res64: 838B1849DE31C8AD  Time : 2722.0 sec.
user=mdettweiler
[2009-04-04 07:34:29]
411*2^666814-1 is not prime.  Res64: C834242366F35825  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 07:35:10]
425*2^666814-1 is not prime.  Res64: B9C48130CD2D5B00  Time : 2719.0 sec.
user=mdettweiler
[2009-04-04 07:42:02]
495*2^666814-1 is not prime.  Res64: AF49E704AAC91E87  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 07:42:48]
555*2^666814-1 is not prime.  Res64: FBD0F6112A4F4E55  Time : 2722.0 sec.
user=mdettweiler
[2009-04-04 07:43:32]
433*2^666815-1 is not prime.  Res64: 49482D85F2A917BD  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 07:44:13]
441*2^666815-1 is not prime.  Res64: D250622B54E18B48  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 07:51:04]
465*2^666815-1 is not prime.  Res64: EC76BCD2D6133610  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 07:51:52]
543*2^666815-1 is not prime.  Res64: 831D6D70B4D4EB81  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 07:52:35]
553*2^666815-1 is not prime.  Res64: 5A3579133768514D  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 07:53:19]
503*2^666816-1 is not prime.  Res64: 821E4F2013A9E5A9  Time : 2719.0 sec.
user=mdettweiler
[2009-04-04 08:00:07]
537*2^666816-1 is not prime.  Res64: CD70AF7FB4F09772  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 08:00:57]
597*2^666816-1 is not prime.  Res64: A3A59502C4237DEA  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 08:01:38]
409*2^666817-1 is not prime.  Res64: 2D7522A8D60A0FAB  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 08:02:24]
549*2^666817-1 is not prime.  Res64: 0E4CDBFDDCD311ED  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 08:09:09]
405*2^666818-1 is not prime.  Res64: 1B719B4E9E6FC9FF  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 08:10:00]
423*2^666818-1 is not prime.  Res64: 9BB746CCAF635CEF  Time : 2719.0 sec.
user=mdettweiler
[2009-04-04 08:10:40]
467*2^666818-1 is not prime.  Res64: B24C10EEA30A84FC  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 08:14:04]
483*2^666818-1 is not prime.  Res64: AE7A95863AA29AB1  Time : 2878.0 sec.
user=mdettweiler
[2009-04-04 08:18:13]
511*2^666819-1 is not prime.  Res64: 0F605DFD4A028222  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 08:19:04]
565*2^666819-1 is not prime.  Res64: B21AD288D2CB7656  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 08:19:43]
429*2^666820-1 is not prime.  Res64: 66FFAEAC090BDCFC  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 08:20:32]
449*2^666820-1 is not prime.  Res64: 07CCC812536C6F10  Time : 2722.0 sec.
user=mdettweiler
[2009-04-04 08:27:18]
549*2^666820-1 is not prime.  Res64: 7A24C80820D33CD1  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 08:28:08]
593*2^666820-1 is not prime.  Res64: 9125ED34CFB7B15C  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 08:28:45]
405*2^666821-1 is not prime.  Res64: 62AA6237E1B7D9EE  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 08:29:34]
477*2^666821-1 is not prime.  Res64: 367F29D0F2CE68DF  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 08:36:20]
519*2^666821-1 is not prime.  Res64: 96063C4BB7FCEA26  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 08:37:12]
559*2^666821-1 is not prime.  Res64: 6BEC8A81E9DB368F  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 08:37:48]
447*2^666822-1 is not prime.  Res64: 8B4A2EF107F107B5  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 08:38:38]
483*2^666822-1 is not prime.  Res64: 0C40A7083BA74989  Time : 2719.0 sec.
user=mdettweiler
[2009-04-04 08:45:24]
555*2^666822-1 is not prime.  Res64: BB5DBEC97343F9B2  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 08:46:15]
433*2^666823-1 is not prime.  Res64: 458AB5B8C3BB4CFC  Time : 2718.0 sec.
user=mdettweiler
[2009-04-04 08:46:50]
561*2^666823-1 is not prime.  Res64: E946E73F382CE153  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 08:47:42]
407*2^666824-1 is not prime.  Res64: 642A998289E62657  Time : 2718.0 sec.
user=mdettweiler
[2009-04-04 08:54:28]
447*2^666824-1 is not prime.  Res64: 378734460506E48C  Time : 2719.0 sec.
user=mdettweiler
[2009-04-04 08:55:18]
483*2^666824-1 is not prime.  Res64: CC2056BA6C869139  Time : 2718.0 sec.
user=mdettweiler
[2009-04-04 08:55:52]
525*2^666824-1 is not prime.  Res64: 9E2F94F4CC604513  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 08:56:46]
599*2^666824-1 is not prime.  Res64: 39EDF427AD045E6C  Time : 2502.0 sec.
user=mdettweiler
[2009-04-04 09:03:31]
511*2^666825-1 is not prime.  Res64: AACC1B3BA60B725B  Time : 2718.0 sec.
user=mdettweiler
[2009-04-04 09:04:22]
443*2^666826-1 is not prime.  Res64: ECEFEDF15A0FB2AF  Time : 2718.0 sec.
user=mdettweiler
[2009-04-04 09:04:55]
581*2^666826-1 is not prime.  Res64: D4DE2B3F82F28DEF  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 09:05:51]
403*2^666827-1 is not prime.  Res64: 68BD26212128C4A0  Time : 2719.0 sec.
user=mdettweiler
[2009-04-04 09:12:34]
501*2^666827-1 is not prime.  Res64: 19FD142387499315  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 09:13:25]
531*2^666827-1 is not prime.  Res64: 1720C98519D3DB0D  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 09:13:58]
549*2^666827-1 is not prime.  Res64: A5831DDC300D8FA2  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 09:16:09]
423*2^666828-1 is not prime.  Res64: 25801E225A48A680  Time : 2795.0 sec.
user=mdettweiler
[2009-04-04 09:21:36]
473*2^666828-1 is not prime.  Res64: 111E79F1F440CA89  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 09:22:29]
489*2^666828-1 is not prime.  Res64: ED64AFE9D5000B12  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 09:23:01]
515*2^666828-1 is not prime.  Res64: 9630810E6D72755C  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 09:24:01]
549*2^666828-1 is not prime.  Res64: B3E474BD387D200B  Time : 2723.0 sec.
user=mdettweiler
[2009-04-04 09:30:39]
567*2^666828-1 is not prime.  Res64: 44159FFA8A7C94F2  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 09:31:31]
569*2^666828-1 is not prime.  Res64: 0D0F47A0126433FD  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 09:32:04]
415*2^666829-1 is not prime.  Res64: AC785C8C5FB666A8  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 09:33:05]
427*2^666829-1 is not prime.  Res64: FC6B222B29C37773  Time : 2723.0 sec.
user=mdettweiler
[2009-04-04 09:39:43]
411*2^666830-1 is not prime.  Res64: 59D5BFDD5B297CEE  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 09:40:37]
455*2^666830-1 is not prime.  Res64: CB628B1EC88B774E  Time : 2719.0 sec.
user=mdettweiler
[2009-04-04 09:41:06]
515*2^666830-1 is not prime.  Res64: 57FF78F786102B19  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 09:42:08]
563*2^666830-1 is not prime.  Res64: 22B14B409C5A3EA7  Time : 2722.0 sec.
user=mdettweiler
[2009-04-04 09:48:44]
433*2^666831-1 is not prime.  Res64: F1B58D0F9C486F28  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 09:49:40]
513*2^666831-1 is not prime.  Res64: D3341A89BE14CCAA  Time : 2719.0 sec.
user=mdettweiler
[2009-04-04 09:50:09]
429*2^666832-1 is not prime.  Res64: 6409CC5AF3B0B4F2  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 09:51:11]
567*2^666832-1 is not prime.  Res64: 022E2848C32D9229  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 09:57:48]
573*2^666832-1 is not prime.  Res64: 302D8AB06AB31715  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 09:58:45]
409*2^666833-1 is not prime.  Res64: 75DBC8ADC96710A6  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 09:59:11]
435*2^666833-1 is not prime.  Res64: 0DCEE1AD07072B58  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 10:00:17]
465*2^666833-1 is not prime.  Res64: 6AC090205D259EAC  Time : 2648.0 sec.
user=mdettweiler
[2009-04-04 10:06:51]
481*2^666833-1 is not prime.  Res64: D88BD45051968561  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 10:07:50]
495*2^666833-1 is not prime.  Res64: 569174ED11840A86  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 10:08:14]
511*2^666833-1 is not prime.  Res64: 621A348447353B3B  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 10:09:19]
507*2^666834-1 is not prime.  Res64: A28D14DB0C543106  Time : 2718.0 sec.
user=mdettweiler
[2009-04-04 10:15:53]
585*2^666834-1 is not prime.  Res64: 2DA1FA6CE5323A4B  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 10:18:39]
587*2^666834-1 is not prime.  Res64: 6E9A823C333CFE94  Time : 2828.0 sec.
user=mdettweiler
[2009-04-04 10:18:41]
493*2^666835-1 is not prime.  Res64: B53F26E2E18876BB  Time : 2798.0 sec.
user=mdettweiler
[2009-04-04 10:18:45]
555*2^666835-1 is not prime.  Res64: 4DAB654F077C4782  Time : 2740.0 sec.
user=mdettweiler
[2009-04-04 10:24:56]
589*2^666835-1 is not prime.  Res64: DBD94877A0D23463  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 10:25:58]
453*2^666836-1 is not prime.  Res64: EED2431E128BB8ED  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 10:26:18]
495*2^666836-1 is not prime.  Res64: 93032C75080C3356  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 10:27:30]
503*2^666836-1 is not prime.  Res64: 1E833C76F689D23E  Time : 2723.0 sec.
user=mdettweiler
[2009-04-04 10:33:57]
515*2^666836-1 is not prime.  Res64: 68167B70332EFA81  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 10:35:03]
563*2^666836-1 is not prime.  Res64: A64796F044B13330  Time : 2723.0 sec.
user=mdettweiler
[2009-04-04 10:35:21]
429*2^666837-1 is not prime.  Res64: 237EDA0913206879  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 10:36:34]
451*2^666837-1 is not prime.  Res64: 1987DE1ADE714E0B  Time : 2723.0 sec.
user=mdettweiler
[2009-04-04 10:43:00]
471*2^666837-1 is not prime.  Res64: 9B208399BA671929  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 10:44:08]
537*2^666837-1 is not prime.  Res64: BB78D24F30D1FFAF  Time : 2723.0 sec.
user=mdettweiler
[2009-04-04 10:44:24]
423*2^666838-1 is not prime.  Res64: 6C121BF63492560C  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 10:45:40]
471*2^666838-1 is not prime.  Res64: CBB37DB9B1857EEB  Time : 2723.0 sec.
user=mdettweiler
[2009-04-04 10:52:02]
491*2^666838-1 is not prime.  Res64: B2DE186B5FFD0BFD  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 10:53:10]
513*2^666838-1 is not prime.  Res64: 6D46DE7B27498172  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 10:53:26]
411*2^666839-1 is not prime.  Res64: CA48659CB031CC29  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 10:54:44]
421*2^666839-1 is not prime.  Res64: FE90D1291A070D19  Time : 2725.0 sec.
user=mdettweiler
[2009-04-04 11:01:10]
465*2^666839-1 is not prime.  Res64: 1B8C02FADAD730D9  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 11:02:16]
509*2^666840-1 is not prime.  Res64: 06A36F9D51B25E55  Time : 2556.0 sec.
user=mdettweiler
[2009-04-04 11:02:31]
505*2^666839-1 is not prime.  Res64: 5044F3813B059847  Time : 2630.0 sec.
user=mdettweiler
[2009-04-04 11:03:55]
511*2^666839-1 is not prime.  Res64: E0D3D7723F0DB4DC  Time : 2710.0 sec.
user=mdettweiler
[2009-04-04 11:10:13]
515*2^666840-1 is not prime.  Res64: DBAF9674E0B8BE79  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 11:11:19]
525*2^666840-1 is not prime.  Res64: BFCC8D60D92EB4FD  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 11:11:34]
441*2^666841-1 is not prime.  Res64: 72F38BEFC4391BB5  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 11:12:59]
477*2^666841-1 is not prime.  Res64: 85B6247C64EBC4CF  Time : 2729.0 sec.
user=mdettweiler
[2009-04-04 11:21:18]
565*2^666841-1 is not prime.  Res64: EB8F0D80C17C94D6  Time : 2757.0 sec.
user=mdettweiler
[2009-04-04 11:21:23]
547*2^666841-1 is not prime.  Res64: 3D4F72F5D92DB8C9  Time : 2846.0 sec.
user=mdettweiler
[2009-04-04 11:21:27]
555*2^666841-1 is not prime.  Res64: 23B6E3BFE51CDB81  Time : 2784.0 sec.
user=mdettweiler
[2009-04-04 11:22:03]
425*2^666842-1 is not prime.  Res64: 9202A045B8C7A2FD  Time : 2729.0 sec.
user=glennpat
[2009-04-04 11:26:55]
467*2^666790-1 is not prime.  Res64: 83F0619D5C2E17A1  Time : 25860.0 sec.
user=mdettweiler
[2009-04-04 11:28:19]
581*2^666842-1 is not prime.  Res64: A9F09C396DBB7D65  Time : 2719.0 sec.
user=mdettweiler
[2009-04-04 11:29:30]
587*2^666842-1 is not prime.  Res64: 8B3F74A977B74B49  Time : 2723.0 sec.
user=mdettweiler
[2009-04-04 11:29:40]
441*2^666843-1 is not prime.  Res64: 8B4B09E6C6CDF36D  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 11:31:07]
413*2^666844-1 is not prime.  Res64: ED142F87BDF197A9  Time : 2728.0 sec.
user=mdettweiler
[2009-04-04 11:37:24]
447*2^666844-1 is not prime.  Res64: 4D2BFE7126F16459  Time : 2722.0 sec.
user=glennpat
[2009-04-04 11:37:35]
467*2^666792-1 is not prime.  Res64: BD1F3E8BD4CF7262  Time : 25856.0 sec.
user=mdettweiler
[2009-04-04 11:38:32]
453*2^666844-1 is not prime.  Res64: 0FBD88A8F6930B5E  Time : 2722.0 sec.
user=mdettweiler
[2009-04-04 11:38:43]
455*2^666844-1 is not prime.  Res64: C7A49B5DF1A459F6  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 11:40:10]
573*2^666844-1 is not prime.  Res64: 9C9762203809A12C  Time : 2726.0 sec.
user=mdettweiler
[2009-04-04 11:46:27]
579*2^666844-1 is not prime.  Res64: FD3FEFBECD324E07  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 11:47:36]
587*2^666844-1 is not prime.  Res64: 59B48B9037989EF5  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 11:47:46]
421*2^666845-1 is not prime.  Res64: 5C00F3231DD25356  Time : 2715.0 sec.
user=glennpat
[2009-04-04 11:48:15]
441*2^666793-1 is not prime.  Res64: BF34CE4AF6ECFDAF  Time : 25849.0 sec.
user=mdettweiler
[2009-04-04 11:49:15]
445*2^666845-1 is not prime.  Res64: 0668E5E006DF933D  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 11:55:30]
465*2^666845-1 is not prime.  Res64: D3FAC364E91FD576  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 11:56:39]
489*2^666845-1 is not prime.  Res64: DBDE8F19A6041348  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 11:56:50]
517*2^666845-1 is not prime.  Res64: BC6EBE426E6E8E60  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 11:58:19]
561*2^666845-1 is not prime.  Res64: 8C225EED6DE3B54B  Time : 2720.0 sec.
user=glennpat
[2009-04-04 11:58:56]
539*2^666796-1 is not prime.  Res64: 26AC11C7E0589E0A  Time : 25844.0 sec.
user=mdettweiler
[2009-04-04 12:04:33]
471*2^666846-1 is not prime.  Res64: AC70F6B9C82F50FC  Time : 2529.0 sec.
user=mdettweiler
[2009-04-04 12:05:42]
425*2^666846-1 is not prime.  Res64: E9634C472C5D94D9  Time : 2655.0 sec.
user=mdettweiler
[2009-04-04 12:05:53]
577*2^666845-1 is not prime.  Res64: 0F86143018AA9068  Time : 2675.0 sec.
user=mdettweiler
[2009-04-04 12:07:24]
447*2^666846-1 is not prime.  Res64: C9440F58FA0CD521  Time : 2721.0 sec.
user=glennpat
[2009-04-04 12:09:37]
559*2^666797-1 is not prime.  Res64: C1CD3617C5AB4EE2  Time : 25840.0 sec.
user=mdettweiler
[2009-04-04 12:13:37]
507*2^666846-1 is not prime.  Res64: 386D1537F815625C  Time : 2718.0 sec.
user=mdettweiler
[2009-04-04 12:14:47]
557*2^666846-1 is not prime.  Res64: F289FFD43F0FD3E4  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 12:14:56]
405*2^666847-1 is not prime.  Res64: BE74EFFFBAA64246  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 12:16:27]
421*2^666847-1 is not prime.  Res64: 41CBF5883959BEF0  Time : 2721.0 sec.
user=glennpat
[2009-04-04 12:20:16]
417*2^666800-1 is not prime.  Res64: DAC7CD56180DAD62  Time : 25830.0 sec.
user=mdettweiler
[2009-04-04 12:23:25]
463*2^666847-1 is not prime.  Res64: E46C5ACF1B3899A5  Time : 2761.0 sec.
user=mdettweiler
[2009-04-04 12:23:50]
559*2^666847-1 is not prime.  Res64: 76B66398B01AEB03  Time : 2718.0 sec.
user=mdettweiler
[2009-04-04 12:23:59]
405*2^666848-1 is not prime.  Res64: 29468C228E736CD6  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 12:25:31]
413*2^666848-1 is not prime.  Res64: 1C429E8C05E1EE57  Time : 2721.0 sec.
user=glennpat
[2009-04-04 12:31:05]
445*2^666803-1 is not prime.  Res64: 2D9D0831724BF502  Time : 25830.0 sec.
user=mdettweiler
[2009-04-04 12:31:44]
435*2^666848-1 is not prime.  Res64: 753EAEED6A8D97E8  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 12:32:55]
467*2^666848-1 is not prime.  Res64: F9E4F5AF9A2919BC  Time : 2719.0 sec.
user=mdettweiler
[2009-04-04 12:33:01]
539*2^666848-1 is not prime.  Res64: B53AF4874C71EB43  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 12:34:36]
447*2^666849-1 is not prime.  Res64: D1DF72831843475A  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 12:40:47]
565*2^666849-1 is not prime.  Res64: AE59DE1D3D0E1F75  Time : 2717.0 sec.
user=glennpat
[2009-04-04 12:41:44]
591*2^666803-1 is not prime.  Res64: DBE875FC691B5DA1  Time : 25826.0 sec.
user=mdettweiler
[2009-04-04 12:41:58]
579*2^666849-1 is not prime.  Res64: B0A47EC25991D56F  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 12:42:05]
423*2^666850-1 is not prime.  Res64: DEB33E88EA477108  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 12:43:39]
483*2^666850-1 is not prime.  Res64: F7B3C72719EB2EB1  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 12:49:50]
587*2^666850-1 is not prime.  Res64: 0E90F9EA5B8841B9  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 12:51:03]
519*2^666851-1 is not prime.  Res64: C34FD6271A14035E  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 12:51:07]
549*2^666851-1 is not prime.  Res64: 16CBDC6981050966  Time : 2714.0 sec.
user=glennpat
[2009-04-04 12:52:25]
557*2^666804-1 is not prime.  Res64: 66F0D2160A49221F  Time : 25824.0 sec.
user=mdettweiler
[2009-04-04 12:52:42]
571*2^666851-1 is not prime.  Res64: A1F00ED9D2EC8C84  Time : 2718.0 sec.
user=mdettweiler
[2009-04-04 12:58:53]
419*2^666852-1 is not prime.  Res64: 46999BDE5CC190E6  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 13:00:08]
483*2^666852-1 is not prime.  Res64: D6255CEA3C0458C2  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 13:00:10]
489*2^666852-1 is not prime.  Res64: E51FE5A71A4077E3  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 13:01:48]
503*2^666852-1 is not prime.  Res64: 31A3DA372401B0DC  Time : 2722.0 sec.
user=glennpat
[2009-04-04 13:03:06]
537*2^666805-1 is not prime.  Res64: 4B0B0ED90269BBD3  Time : 25821.0 sec.
user=mdettweiler
[2009-04-04 13:07:57]
481*2^666853-1 is not prime.  Res64: 825C67440E69B59D  Time : 2672.0 sec.
user=mdettweiler
[2009-04-04 13:09:10]
567*2^666853-1 is not prime.  Res64: F611CF7231253C0B  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 13:09:13]
589*2^666853-1 is not prime.  Res64: 4059A5E15F695DC8  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 13:10:52]
417*2^666854-1 is not prime.  Res64: 6872AE140A6341AB  Time : 2721.0 sec.
user=glennpat
[2009-04-04 13:13:49]
583*2^666807-1 is not prime.  Res64: 234E6C113FE665B8  Time : 25819.0 sec.
user=mdettweiler
[2009-04-04 13:17:00]
533*2^666854-1 is not prime.  Res64: 30F6CF6665683B77  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 13:18:14]
545*2^666854-1 is not prime.  Res64: 8E036BC05CDC19DB  Time : 2719.0 sec.
user=mdettweiler
[2009-04-04 13:18:17]
551*2^666854-1 is not prime.  Res64: 7A488B6B528ED673  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 13:19:57]
563*2^666854-1 is not prime.  Res64: 911DEBC486CEF9A5  Time : 2721.0 sec.
user=glennpat
[2009-04-04 13:24:30]
445*2^666809-1 is not prime.  Res64: 7D02DA91FF550688  Time : 25804.0 sec.
user=mdettweiler
[2009-04-04 13:26:02]
411*2^666855-1 is not prime.  Res64: FA081673DC78C4E5  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 13:27:16]
541*2^666855-1 is not prime.  Res64: 1DC5D12A0B7590DD  Time : 2718.0 sec.
user=mdettweiler
[2009-04-04 13:27:20]
587*2^666856-1 is not prime.  Res64: 0BB98FFC73780B41  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 13:29:00]
435*2^666857-1 is not prime.  Res64: 0413D73B7D4FD66A  Time : 2721.0 sec.
user=glennpat
[2009-04-04 13:35:08]
543*2^666810-1 is not prime.  Res64: B5E625E1B2A35424  Time : 25797.0 sec.
user=mdettweiler
[2009-04-04 13:37:18]
445*2^666857-1 is not prime.  Res64: EEB1D03895006AA8  Time : 2848.0 sec.
user=mdettweiler
[2009-04-04 13:38:19]
447*2^666857-1 is not prime.  Res64: 5AEF7A2001DD0CBC  Time : 2837.0 sec.
user=mdettweiler
[2009-04-04 13:38:24]
571*2^666857-1 is not prime.  Res64: 66D6EA2C095D3DD2  Time : 2837.0 sec.
user=mdettweiler
[2009-04-04 13:40:30]
405*2^666858-1 is not prime.  Res64: 95CC81284D23B790  Time : 2868.0 sec.
user=glennpat
[2009-04-04 13:45:52]
449*2^666812-1 is not prime.  Res64: 953ADE37DA29D0D7  Time : 25796.0 sec.
user=mdettweiler
[2009-04-04 13:46:26]
567*2^666858-1 is not prime.  Res64: 478A64A63C2DF8EF  Time : 2853.0 sec.
user=mdettweiler
[2009-04-04 13:47:24]
493*2^666859-1 is not prime.  Res64: B4831D4B1255049F  Time : 2836.0 sec.
user=mdettweiler
[2009-04-04 13:47:28]
523*2^666859-1 is not prime.  Res64: 99B1046F100003AE  Time : 2838.0 sec.
user=mdettweiler
[2009-04-04 13:49:33]
553*2^666859-1 is not prime.  Res64: 790135C2B0251989  Time : 2865.0 sec.
user=mdettweiler
[2009-04-04 13:55:28]
519*2^666860-1 is not prime.  Res64: E9833089151ED6D1  Time : 2851.0 sec.
user=mdettweiler
[2009-04-04 13:56:26]
557*2^666860-1 is not prime.  Res64: B1A0E879DA13AF33  Time : 2836.0 sec.
user=glennpat
[2009-04-04 13:56:32]
517*2^666813-1 is not prime.  Res64: AAE6CC0DEA903420  Time : 25791.0 sec.
user=mdettweiler
[2009-04-04 13:56:34]
471*2^666861-1 is not prime.  Res64: 8D108DA342895EC4  Time : 2841.0 sec.
user=mdettweiler
[2009-04-04 13:58:36]
487*2^666861-1 is not prime.  Res64: 9DE35F16C3B4A778  Time : 2864.0 sec.
user=mdettweiler
[2009-04-04 14:04:31]
423*2^666862-1 is not prime.  Res64: 1AFFE10D3E67A25C  Time : 2851.0 sec.
user=mdettweiler
[2009-04-04 14:05:29]
461*2^666862-1 is not prime.  Res64: 9A891E33D0F0FF35  Time : 2836.0 sec.
user=mdettweiler
[2009-04-04 14:05:36]
467*2^666862-1 is not prime.  Res64: 16747ACA8ED862BD  Time : 2839.0 sec.
user=glennpat
[2009-04-04 14:07:14]
503*2^666846-1 is not prime.  Res64: 1157C6A1E9BB1D50  Time : 9619.0 sec.
user=mdettweiler
[2009-04-04 14:07:38]
483*2^666862-1 is not prime.  Res64: E78FD4961ED863EB  Time : 2861.0 sec.
user=mdettweiler
[2009-04-04 14:13:35]
495*2^666862-1 is not prime.  Res64: 59F0CD8BF7C092D5  Time : 2853.0 sec.
user=mdettweiler
[2009-04-04 14:14:31]
507*2^666862-1 is not prime.  Res64: 9EACE5E377B43DCD  Time : 2835.0 sec.
user=mdettweiler
[2009-04-04 14:14:41]
429*2^666864-1 is not prime.  Res64: A927ED78A3B407F1  Time : 2841.0 sec.
user=mdettweiler
[2009-04-04 14:16:42]
447*2^666864-1 is not prime.  Res64: 479C91617D6F6A29  Time : 2862.0 sec.
user=glennpat
[2009-04-04 14:17:55]
555*2^666847-1 is not prime.  Res64: B44ADAC4965598EB  Time : 9620.0 sec.
user=mdettweiler
[2009-04-04 14:22:37]
473*2^666864-1 is not prime.  Res64: 62249B9CDFE6820D  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 14:23:35]
509*2^666864-1 is not prime.  Res64: 36446D29CA4DCB53  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 14:23:44]
569*2^666864-1 is not prime.  Res64: BA852B64DE133BAB  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 14:25:45]
411*2^666865-1 is not prime.  Res64: 511DA04D8BC61127  Time : 2715.0 sec.
user=glennpat
[2009-04-04 14:28:36]
441*2^666849-1 is not prime.  Res64: 6D5A5D6528C848CE  Time : 9621.0 sec.
user=mdettweiler
[2009-04-04 14:31:41]
481*2^666865-1 is not prime.  Res64: CEE6493D14AD3D2B  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 14:32:37]
525*2^666865-1 is not prime.  Res64: ABA14321977A4EEC  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 14:32:48]
565*2^666865-1 is not prime.  Res64: 02F445FF738F7961  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 14:34:48]
597*2^666865-1 is not prime.  Res64: 1547EAF9FE5E4F73  Time : 2715.0 sec.
user=glennpat
[2009-04-04 14:39:18]
555*2^666850-1 is not prime.  Res64: DDA94348F9445572  Time : 9622.0 sec.
user=mdettweiler
[2009-04-04 14:40:44]
497*2^666866-1 is not prime.  Res64: 58278CC4FC8F12C4  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 14:41:41]
441*2^666867-1 is not prime.  Res64: D237B8BC8EB64238  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 14:41:51]
579*2^666867-1 is not prime.  Res64: F3DFDA284994148D  Time : 2718.0 sec.
user=mdettweiler
[2009-04-04 14:43:52]
583*2^666867-1 is not prime.  Res64: 610E534D1E8BA592  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 14:49:46]
435*2^666868-1 is not prime.  Res64: EC5277A34240704E  Time : 2715.0 sec.
user=glennpat
[2009-04-04 14:50:01]
585*2^666851-1 is not prime.  Res64: 0BA29D32041B892C  Time : 9624.0 sec.
user=mdettweiler
[2009-04-04 14:50:44]
453*2^666868-1 is not prime.  Res64: 6F29328F4ED7EF7E  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 14:50:54]
465*2^666868-1 is not prime.  Res64: FC264959FEA21766  Time : 2718.0 sec.
user=mdettweiler
[2009-04-04 14:53:45]
497*2^666868-1 is not prime.  Res64: 388AD19BB901E74D  Time : 2767.0 sec.
user=mdettweiler
[2009-04-04 14:58:49]
567*2^666868-1 is not prime.  Res64: 42EE20E27AB82861  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 14:59:47]
411*2^666869-1 is not prime.  Res64: B0139E86E47EE397  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 14:59:58]
417*2^666869-1 is not prime.  Res64: 06AC00124B969548  Time : 2717.0 sec.
user=glennpat
[2009-04-04 15:00:40]
477*2^666853-1 is not prime.  Res64: 76DDE113FFD99E4A  Time : 9624.0 sec.
user=mdettweiler
[2009-04-04 15:01:58]
481*2^666869-1 is not prime.  Res64: D8834A22E26B5B8D  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 15:07:51]
549*2^666869-1 is not prime.  Res64: C30FDE89224764E7  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 15:08:50]
589*2^666869-1 is not prime.  Res64: 79565C4078895902  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 15:09:02]
465*2^666870-1 is not prime.  Res64: E29DDEE9EC4D5A82  Time : 2718.0 sec.
user=mdettweiler
[2009-04-04 15:11:00]
471*2^666870-1 is not prime.  Res64: 2FC28DF6770D719C  Time : 2715.0 sec.
user=glennpat
[2009-04-04 15:11:19]
461*2^666854-1 is not prime.  Res64: 58234849E377363C  Time : 9615.0 sec.
user=mdettweiler
[2009-04-04 15:16:55]
405*2^666871-1 is not prime.  Res64: B8861FD657EAE131  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 15:17:53]
411*2^666871-1 is not prime.  Res64: DE264B1ECE3DF41D  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 15:18:05]
489*2^666871-1 is not prime.  Res64: A5D965C2407F2AF6  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 15:20:04]
531*2^666871-1 is not prime.  Res64: 7F54BD724BFABAB4  Time : 2716.0 sec.
user=glennpat
[2009-04-04 15:22:25]
441*2^666855-1 is not prime.  Res64: 4F3ACDB4F5B2BE54  Time : 9641.0 sec.
user=mdettweiler
[2009-04-04 15:25:57]
561*2^666871-1 is not prime.  Res64: 41B03FF96018BB54  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 15:26:56]
407*2^666872-1 is not prime.  Res64: AEB10817CF66AF99  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 15:27:08]
413*2^666872-1 is not prime.  Res64: 846378D908A5FCEE  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 15:29:07]
449*2^666872-1 is not prime.  Res64: BACB30D6E384AEEA  Time : 2715.0 sec.
user=glennpat
[2009-04-04 15:33:07]
589*2^666857-1 is not prime.  Res64: 61C3760359EE8B9B  Time : 9642.0 sec.
user=mdettweiler
[2009-04-04 15:34:59]
455*2^666872-1 is not prime.  Res64: 3F4941C8EA6C39DE  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 15:35:58]
573*2^666872-1 is not prime.  Res64: EA9AA123B96B3112  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 15:36:12]
427*2^666873-1 is not prime.  Res64: 6607D700CC39ACB2  Time : 2718.0 sec.
user=mdettweiler
[2009-04-04 15:38:11]
429*2^666873-1 is not prime.  Res64: 69CD4A96536CFDB4  Time : 2666.0 sec.
user=glennpat
[2009-04-04 15:43:56]
465*2^666860-1 is not prime.  Res64: C77D1202D87CAD0C  Time : 9650.0 sec.
user=mdettweiler
[2009-04-04 15:44:03]
555*2^666873-1 is not prime.  Res64: EDDFAEBAA3DB3876  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 15:45:02]
577*2^666873-1 is not prime.  Res64: 2DDB64C891488444  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 15:45:16]
435*2^666874-1 is not prime.  Res64: 74017F3409893F46  Time : 2718.0 sec.
user=mdettweiler
[2009-04-04 15:47:13]
513*2^666874-1 is not prime.  Res64: 6D651F07B925DB77  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 15:53:05]
433*2^666875-1 is not prime.  Res64: A0496AD7276BB81C  Time : 2714.0 sec.
user=glennpat
[2009-04-04 15:54:39]
531*2^666861-1 is not prime.  Res64: 119659E2CF623191  Time : 9650.0 sec.
user=mdettweiler
[2009-04-04 15:55:45]
459*2^666875-1 is not prime.  Res64: 9C7AB928AC314320  Time : 2803.0 sec.
user=mdettweiler
[2009-04-04 15:55:49]
445*2^666875-1 is not prime.  Res64: 476F910277FC2E86  Time : 2819.0 sec.
user=mdettweiler
[2009-04-04 15:56:15]
465*2^666875-1 is not prime.  Res64: E193AED776AA57B8  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 16:02:07]
585*2^666875-1 is not prime.  Res64: 5C35964EA12CBFAD  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 16:03:07]
483*2^666876-1 is not prime.  Res64: 4650A46FCD571736  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 16:03:26]
525*2^666876-1 is not prime.  Res64: 3CE666E2FC7A882D  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 16:05:18]
593*2^666876-1 is not prime.  Res64: 32FA0E04FA4E5BAE  Time : 2714.0 sec.
user=glennpat
[2009-04-04 16:05:39]
491*2^666862-1 is not prime.  Res64: 8D7DF3B7E3B385A2  Time : 9670.0 sec.
user=mdettweiler
[2009-04-04 16:11:10]
589*2^666877-1 is not prime.  Res64: 3F20AFE71DAB02CD  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 16:12:10]
473*2^666878-1 is not prime.  Res64: 33794684BAA75AB5  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 16:12:30]
503*2^666878-1 is not prime.  Res64: 0D5F0F7C4047B9C9  Time : 2722.0 sec.
user=mdettweiler
[2009-04-04 16:14:21]
423*2^666879-1 is not prime.  Res64: EECA7BCA9D4843CC  Time : 2714.0 sec.
user=glennpat
[2009-04-04 16:16:19]
459*2^666864-1 is not prime.  Res64: 63E4CAFFF4F4433F  Time : 9671.0 sec.
user=mdettweiler
[2009-04-04 16:20:13]
481*2^666879-1 is not prime.  Res64: D6658431F0611BE6  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 16:21:12]
553*2^666879-1 is not prime.  Res64: 73A354D822D80875  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 16:21:34]
583*2^666879-1 is not prime.  Res64: 28061DB971EA106A  Time : 2722.0 sec.
user=mdettweiler
[2009-04-04 16:23:23]
569*2^666880-1 is not prime.  Res64: E147C26931D055FF  Time : 2712.0 sec.
user=glennpat
[2009-04-04 16:26:57]
421*2^666865-1 is not prime.  Res64: 34D6E7C80436E928  Time : 9665.0 sec.
user=mdettweiler
[2009-04-04 16:29:16]
517*2^666881-1 is not prime.  Res64: 1B3D19903A310182  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 16:30:15]
525*2^666881-1 is not prime.  Res64: E51DFAC5A859AD3D  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 16:30:40]
577*2^666881-1 is not prime.  Res64: 4BDBE2F2A6E51120  Time : 2725.0 sec.
user=mdettweiler
[2009-04-04 16:32:26]
579*2^666881-1 is not prime.  Res64: 696C5F07BE6DA97B  Time : 2713.0 sec.
user=glennpat
[2009-04-04 16:37:42]
471*2^666867-1 is not prime.  Res64: 0FAD598C8C069508  Time : 9670.0 sec.
user=mdettweiler
[2009-04-04 16:38:20]
437*2^666882-1 is not prime.  Res64: 5EC1FDBEA106D7BE  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 16:39:18]
493*2^666883-1 is not prime.  Res64: 42FBB4FE4410D556  Time : 2548.0 sec.
user=mdettweiler
[2009-04-04 16:39:42]
485*2^666882-1 is not prime.  Res64: A385754B672AF128  Time : 2637.0 sec.
user=mdettweiler
[2009-04-04 16:41:28]
439*2^666883-1 is not prime.  Res64: E3222EAB54D32BDF  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 16:47:23]
519*2^666883-1 is not prime.  Res64: D2A058648BDC7FEB  Time : 2716.0 sec.
user=glennpat
[2009-04-04 16:48:19]
485*2^666868-1 is not prime.  Res64: F00CAF9687F49C60  Time : 9665.0 sec.
user=mdettweiler
[2009-04-04 16:48:20]
555*2^666883-1 is not prime.  Res64: D1A03917AD52295B  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 16:48:47]
589*2^666883-1 is not prime.  Res64: E4700C3ADE026847  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 16:50:32]
595*2^666883-1 is not prime.  Res64: 743E6826873738C9  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 16:58:42]
465*2^666884-1 is not prime.  Res64: 11D38DFB546CA5C9  Time : 2772.0 sec.
user=mdettweiler
[2009-04-04 16:58:47]
437*2^666884-1 is not prime.  Res64: 7198E383788E549F  Time : 2798.0 sec.
user=mdettweiler
[2009-04-04 16:58:52]
435*2^666884-1 is not prime.  Res64: D74E3037896993CB  Time : 2862.0 sec.
user=glennpat
[2009-04-04 16:58:55]
525*2^666869-1 is not prime.  Res64: 153F45A7BF5DD2D5  Time : 9660.0 sec.
user=mdettweiler
[2009-04-04 16:59:37]
489*2^666884-1 is not prime.  Res64: 0F34930122100B5C  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 17:05:27]
427*2^666885-1 is not prime.  Res64: F7C96E833B34E305  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 17:06:26]
445*2^666885-1 is not prime.  Res64: 8C2CB16CCFA1DE28  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 17:06:58]
465*2^666885-1 is not prime.  Res64: 738AC384C28525AB  Time : 2724.0 sec.
user=mdettweiler
[2009-04-04 17:08:38]
511*2^666885-1 is not prime.  Res64: 4396699A2A4591AB  Time : 2715.0 sec.
user=glennpat
[2009-04-04 17:09:31]
527*2^666870-1 is not prime.  Res64: 83CE9E3CA84AB290  Time : 9655.0 sec.
user=mdettweiler
[2009-04-04 17:14:30]
413*2^666886-1 is not prime.  Res64: 0F74866DC3CFB1EE  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 17:15:28]
453*2^666886-1 is not prime.  Res64: 31F8ECFD39F66899  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 17:16:02]
471*2^666886-1 is not prime.  Res64: AF7135F2F7A23B0F  Time : 2723.0 sec.
user=mdettweiler
[2009-04-04 17:17:42]
521*2^666886-1 is not prime.  Res64: B6FF3332DB389BCF  Time : 2716.0 sec.
user=glennpat
[2009-04-04 17:20:10]
549*2^666871-1 is not prime.  Res64: 28D8484A3BF37989  Time : 9652.0 sec.
user=mdettweiler
[2009-04-04 17:23:33]
531*2^666887-1 is not prime.  Res64: FDF42CB8B24CFC57  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 17:24:31]
571*2^666887-1 is not prime.  Res64: 35193BA2C072925E  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 17:25:06]
507*2^666889-1 is not prime.  Res64: 360BB4ABDB382F65  Time : 2724.0 sec.
user=mdettweiler
[2009-04-04 17:26:44]
525*2^666889-1 is not prime.  Res64: CAA0B1B8126D8745  Time : 2716.0 sec.
user=glennpat
[2009-04-04 17:30:50]
539*2^666872-1 is not prime.  Res64: 26B3F4DEB08A56CF  Time : 9649.0 sec.
user=mdettweiler
[2009-04-04 17:32:35]
537*2^666889-1 is not prime.  Res64: 48F06A12C8E0AB70  Time : 2712.0 sec.
user=mdettweiler
[2009-04-04 17:33:35]
577*2^666889-1 is not prime.  Res64: E1C523D3E5C0AFBF  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 17:34:10]
417*2^666890-1 is not prime.  Res64: E9063BC5AADD5A14  Time : 2723.0 sec.
user=mdettweiler
[2009-04-04 17:35:47]
437*2^666890-1 is not prime.  Res64: 2F8F2AA28EB2E321  Time : 2715.0 sec.
user=glennpat
[2009-04-04 17:41:28]
453*2^666874-1 is not prime.  Res64: 5B1A60081B3A0D2C  Time : 9648.0 sec.
user=mdettweiler
[2009-04-04 17:41:40]
537*2^666892-1 is not prime.  Res64: 4EF0646F70A6C7BE  Time : 2507.0 sec.
user=mdettweiler
[2009-04-04 17:42:39]
415*2^666891-1 is not prime.  Res64: 7905C66F0B0BBB0A  Time : 2632.0 sec.
user=mdettweiler
[2009-04-04 17:43:14]
477*2^666890-1 is not prime.  Res64: 8970E1E591025541  Time : 2672.0 sec.
user=mdettweiler
[2009-04-04 17:44:51]
419*2^666892-1 is not prime.  Res64: FE91E288338E71D5  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 17:50:43]
545*2^666892-1 is not prime.  Res64: B5666C8FDC1D98B0  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 17:51:44]
549*2^666892-1 is not prime.  Res64: CF64F70323F86084  Time : 2718.0 sec.
user=glennpat
[2009-04-04 17:52:05]
529*2^666875-1 is not prime.  Res64: 59F00D18B9E9B642  Time : 9646.0 sec.
user=mdettweiler
[2009-04-04 17:52:20]
405*2^666893-1 is not prime.  Res64: 983EBCD5260BE16C  Time : 2722.0 sec.
user=mdettweiler
[2009-04-04 17:53:54]
413*2^666894-1 is not prime.  Res64: D0B86D61668B3C1C  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 18:00:57]
507*2^666894-1 is not prime.  Res64: 83AB78E38815DE38  Time : 2729.0 sec.
user=mdettweiler
[2009-04-04 18:00:57]
483*2^666894-1 is not prime.  Res64: 4B61EBBB4E4F4072  Time : 2787.0 sec.
user=mdettweiler
[2009-04-04 18:01:25]
543*2^666894-1 is not prime.  Res64: 8664D276F4640964  Time : 2723.0 sec.
user=mdettweiler
[2009-04-04 18:02:57]
593*2^666894-1 is not prime.  Res64: B03897702B15009E  Time : 2715.0 sec.
user=glennpat
[2009-04-04 18:03:14]
465*2^666877-1 is not prime.  Res64: 86E27DD1D027E0BA  Time : 9649.0 sec.
user=mdettweiler
[2009-04-04 18:08:48]
463*2^666895-1 is not prime.  Res64: FED10F132D304D07  Time : 2715.0 sec.
user=mdettweiler
[2009-04-04 18:09:51]
475*2^666897-1 is not prime.  Res64: B33985921033BA75  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 18:10:29]
487*2^666897-1 is not prime.  Res64: FC70E82B0FD4DDEA  Time : 2723.0 sec.
user=mdettweiler
[2009-04-04 18:12:00]
437*2^666898-1 is not prime.  Res64: 32EF340A44FA72E4  Time : 2716.0 sec.
user=glennpat
[2009-04-04 18:14:00]
433*2^666879-1 is not prime.  Res64: 681EAD8AF4B25295  Time : 9653.0 sec.
user=mdettweiler
[2009-04-04 18:17:52]
467*2^666898-1 is not prime.  Res64: 9A15A8A990242C32  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 18:18:55]
491*2^666898-1 is not prime.  Res64: CA0C95683357529D  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 18:19:34]
503*2^666898-1 is not prime.  Res64: B2B233D0AC67A615  Time : 2724.0 sec.
user=mdettweiler
[2009-04-04 18:21:02]
527*2^666898-1 is not prime.  Res64: 2B03EC7A0AF766D8  Time : 2715.0 sec.
user=glennpat
[2009-04-04 18:24:59]
511*2^666881-1 is not prime.  Res64: 956C0CF3AD5B6137  Time : 9664.0 sec.
user=mdettweiler
[2009-04-04 18:26:54]
403*2^666899-1 is not prime.  Res64: 8F8BCB77A2595B7B  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 18:27:58]
469*2^666899-1 is not prime.  Res64: 6C28A1192EFA09F6  Time : 2719.0 sec.
user=mdettweiler
[2009-04-04 18:28:38]
495*2^666899-1 is not prime.  Res64: 2BA7853E39258666  Time : 2724.0 sec.
user=mdettweiler
[2009-04-04 18:30:04]
595*2^666899-1 is not prime.  Res64: B67A73A0F96AD62A  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 18:35:57]
413*2^666900-1 is not prime.  Res64: CD8EBD90798C6634  Time : 2714.0 sec.
user=glennpat
[2009-04-04 18:36:04]
447*2^666882-1 is not prime.  Res64: 968A8E4E8DE95CC0  Time : 9685.0 sec.
user=mdettweiler
[2009-04-04 18:37:04]
453*2^666900-1 is not prime.  Res64: 040FCAD19EA634CD  Time : 2720.0 sec.
user=mdettweiler
[2009-04-04 18:37:41]
513*2^666900-1 is not prime.  Res64: 145CE669CBB48473  Time : 2721.0 sec.
user=mdettweiler
[2009-04-04 18:39:08]
515*2^666900-1 is not prime.  Res64: 341E6AE56F11DCE9  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 18:44:59]
429*2^666901-1 is not prime.  Res64: 06EA8E693D4F18E8  Time : 2642.0 sec.
user=mdettweiler
[2009-04-04 18:46:08]
563*2^666900-1 is not prime.  Res64: 7FCCB3715E9496F2  Time : 2711.0 sec.
user=mdettweiler
[2009-04-04 18:46:46]
439*2^666901-1 is not prime.  Res64: 067236592D1DA81D  Time : 2722.0 sec.
user=glennpat
[2009-04-04 18:47:02]
417*2^666884-1 is not prime.  Res64: 67EC2EABB0BED3C2  Time : 9683.0 sec.
user=mdettweiler
[2009-04-04 18:48:10]
505*2^666901-1 is not prime.  Res64: 4552667BC17AD62B  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 18:54:02]
591*2^666901-1 is not prime.  Res64: 82C4323BE278E916  Time : 2714.0 sec.
user=mdettweiler
[2009-04-04 18:55:10]
597*2^666901-1 is not prime.  Res64: DB3379E24C984DCE  Time : 2719.0 sec.
user=mdettweiler
[2009-04-04 18:55:51]
407*2^666902-1 is not prime.  Res64: F1B6FC5B6255EF93  Time : 2722.0 sec.
user=mdettweiler
[2009-04-04 18:57:15]
507*2^666902-1 is not prime.  Res64: 62C09BCEEF75C000  Time : 2715.0 sec.
user=glennpat
[2009-04-04 18:57:46]
405*2^666885-1 is not prime.  Res64: 1A358DB8D345A3B9  Time : 9687.0 sec.
user=mdettweiler
[2009-04-04 19:03:08]
591*2^666902-1 is not prime.  Res64: B20B134638B3EA74  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 19:04:13]
481*2^666903-1 is not prime.  Res64: D8DE7BD7EECA3B4C  Time : 2718.0 sec.
user=mdettweiler
[2009-04-04 19:04:56]
493*2^666903-1 is not prime.  Res64: 1714191D2F7A1A6E  Time : 2722.0 sec.
user=mdettweiler
[2009-04-04 19:06:17]
571*2^666903-1 is not prime.  Res64: 443B8C42CBA2EFFD  Time : 2715.0 sec.
user=glennpat
[2009-04-04 19:08:30]
579*2^666885-1 is not prime.  Res64: F610C312D786D4DC  Time : 9693.0 sec.
user=mdettweiler
[2009-04-04 19:12:07]
437*2^666904-1 is not prime.  Res64: 14B05780942DFE2C  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 19:13:17]
485*2^666904-1 is not prime.  Res64: 68182FEDB60BE2E8  Time : 2719.0 sec.
user=mdettweiler
[2009-04-04 19:14:00]
507*2^666904-1 is not prime.  Res64: 6F632DE5091F1C2A  Time : 2722.0 sec.
user=mdettweiler
[2009-04-04 19:15:20]
549*2^666904-1 is not prime.  Res64: 52ECA0D0A4B3A6DE  Time : 2716.0 sec.
user=glennpat
[2009-04-04 19:19:15]
545*2^666886-1 is not prime.  Res64: E578324B79587577  Time : 9693.0 sec.
user=mdettweiler
[2009-04-04 19:21:10]
447*2^666905-1 is not prime.  Res64: 0C1A8274F70720AA  Time : 2713.0 sec.
user=mdettweiler
[2009-04-04 19:22:21]
431*2^666906-1 is not prime.  Res64: 0DA5D0E63BDBD8EC  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 19:23:05]
443*2^666906-1 is not prime.  Res64: 428A6983EF52E8BE  Time : 2724.0 sec.
user=mdettweiler
[2009-04-04 19:24:23]
471*2^666906-1 is not prime.  Res64: 21B68E46BD9562C7  Time : 2715.0 sec.
user=glennpat
[2009-04-04 19:29:59]
559*2^666889-1 is not prime.  Res64: 3CB11F3A669BE0BF  Time : 9700.0 sec.
user=mdettweiler
[2009-04-04 19:32:15]
483*2^666907-1 is not prime.  Res64: 450B9E684AE56B4F  Time : 2836.0 sec.
user=mdettweiler
[2009-04-04 19:32:26]
499*2^666907-1 is not prime.  Res64: 5804BB1D1A07B75B  Time : 2778.0 sec.
user=mdettweiler
[2009-04-04 19:33:16]
595*2^666907-1 is not prime.  Res64: CC98212A82CEF6C6  Time : 2790.0 sec.
user=mdettweiler
[2009-04-04 19:35:02]
525*2^666908-1 is not prime.  Res64: C3D1E5A97FDC188A  Time : 2812.0 sec.
user=glennpat
[2009-04-04 19:40:43]
465*2^666891-1 is not prime.  Res64: 52F679B3DF0DCA24  Time : 9709.0 sec.
user=mdettweiler
[2009-04-04 19:42:04]
457*2^666909-1 is not prime.  Res64: DA5510D9B312BBCD  Time : 2814.0 sec.
user=mdettweiler
[2009-04-04 19:43:04]
565*2^666909-1 is not prime.  Res64: B96227B09590B5CB  Time : 2833.0 sec.
user=mdettweiler
[2009-04-04 19:45:40]
597*2^666909-1 is not prime.  Res64: 4DE3F47E014964A1  Time : 2905.0 sec.
user=glennpat
[2009-04-04 19:51:29]
431*2^666894-1 is not prime.  Res64: 48B06D745DD279D9  Time : 9718.0 sec.
user=mdettweiler
[2009-04-04 19:51:37]
575*2^666910-1 is not prime.  Res64: 57BBF9EFA028A3D8  Time : 2844.0 sec.
user=mdettweiler
[2009-04-04 19:53:03]
545*2^666908-1 is not prime.  Res64: FA9D73405DFD8397  Time : 3541.0 sec.
user=mdettweiler
[2009-04-04 19:54:34]
587*2^666910-1 is not prime.  Res64: 589F29113410531D  Time : 2978.0 sec.
user=mdettweiler
[2009-04-04 19:57:35]
445*2^666911-1 is not prime.  Res64: 00F188219B7AD8AA  Time : 3078.0 sec.
user=mdettweiler
[2009-04-04 20:01:55]
585*2^666911-1 is not prime.  Res64: A3418AB02691CC6F  Time : 2918.0 sec.
user=glennpat
[2009-04-04 20:02:12]
423*2^666895-1 is not prime.  Res64: 75C22E2CD5B87FFE  Time : 9722.0 sec.
user=mdettweiler
[2009-04-04 20:05:51]
477*2^666910-1 is not prime.  Res64: 642F13A2B5468AFA  Time : 3763.0 sec.
user=mdettweiler
[2009-04-04 20:05:52]
405*2^666912-1 is not prime.  Res64: BB954C085E9FC6C2  Time : 3112.0 sec.
user=mdettweiler
[2009-04-04 20:06:39]
447*2^666912-1 is not prime.  Res64: 720269F55AADC418  Time : 3079.0 sec.
user=mdettweiler
[2009-04-04 20:10:58]
563*2^666912-1 is not prime.  Res64: DA99B87841DDA9DB  Time : 2917.0 sec.
user=mdettweiler
[2009-04-04 20:12:27]
559*2^666911-1 is not prime.  Res64: A6CE6BEEE41AACFE  Time : 3620.0 sec.
user=glennpat
[2009-04-04 20:13:02]
443*2^666898-1 is not prime.  Res64: 9BE7B60ACFA11DA1  Time : 9733.0 sec.
user=mdettweiler
[2009-04-04 20:13:12]
499*2^666913-1 is not prime.  Res64: 2947ECA3D0C01E84  Time : 3007.0 sec.
user=mdettweiler
[2009-04-04 20:15:42]
511*2^666913-1 is not prime.  Res64: 8F230EECFAA01FC0  Time : 3079.0 sec.
user=mdettweiler
[2009-04-04 20:20:03]
585*2^666915-1 is not prime.  Res64: 227EA336CF65AF8C  Time : 2858.0 sec.
user=mdettweiler
[2009-04-04 20:21:29]
507*2^666912-1 is not prime.  Res64: 396DB5FD02F56701  Time : 3619.0 sec.
user=mdettweiler
[2009-04-04 20:22:15]
465*2^666916-1 is not prime.  Res64: 7B076E92D1EB5BD6  Time : 2939.0 sec.
user=glennpat
[2009-04-04 20:23:47]
597*2^666898-1 is not prime.  Res64: 30B9D4D6CF508E9F  Time : 9739.0 sec.
user=mdettweiler
[2009-04-04 20:24:45]
485*2^666916-1 is not prime.  Res64: D74C2783D12E9815  Time : 2983.0 sec.
user=mdettweiler
[2009-04-04 20:29:06]
545*2^666916-1 is not prime.  Res64: DF7CA474E4FC75CD  Time : 2822.0 sec.
user=mdettweiler
[2009-04-04 20:30:33]
573*2^666915-1 is not prime.  Res64: 7EA4C031DD31FEC8  Time : 3498.0 sec.
user=mdettweiler
[2009-04-04 20:31:20]
587*2^666916-1 is not prime.  Res64: 0D866D8AF9EDDB34  Time : 2896.0 sec.
user=mdettweiler
[2009-04-04 20:33:49]
435*2^666917-1 is not prime.  Res64: 25C1C96FD00B67FC  Time : 2889.0 sec.
user=glennpat
[2009-04-04 20:34:29]
465*2^666900-1 is not prime.  Res64: A3A9DC038A78D480  Time : 9744.0 sec.
user=mdettweiler
[2009-04-04 20:38:09]
585*2^666917-1 is not prime.  Res64: F6B3935EAE78B024  Time : 2793.0 sec.
user=mdettweiler
[2009-04-04 20:39:36]
401*2^666918-1 is not prime.  Res64: CF90EE7531F15CAB  Time : 2793.0 sec.
user=mdettweiler
[2009-04-04 20:40:25]
453*2^666918-1 is not prime.  Res64: 1C3FB4FD43D1735E  Time : 2754.0 sec.
user=mdettweiler
[2009-04-04 20:42:52]
461*2^666918-1 is not prime.  Res64: 2822FC2A313C9ED8  Time : 2717.0 sec.
user=glennpat
[2009-04-04 20:45:09]
511*2^666901-1 is not prime.  Res64: B1F3800A95B99CE7  Time : 9715.0 sec.
user=mdettweiler
[2009-04-04 20:47:13]
527*2^666918-1 is not prime.  Res64: CE0BFF955775E974  Time : 2718.0 sec.
user=mdettweiler
[2009-04-04 20:48:39]
433*2^666919-1 is not prime.  Res64: 829B201D3E411A6B  Time : 2508.0 sec.
user=mdettweiler
[2009-04-04 20:49:29]
439*2^666919-1 is not prime.  Res64: 338EB8B32BBF66E3  Time : 2556.0 sec.
user=mdettweiler
[2009-04-04 20:51:55]
411*2^666919-1 is not prime.  Res64: AB8240841E1D2FA9  Time : 2717.0 sec.
user=glennpat
[2009-04-04 20:55:49]
551*2^666902-1 is not prime.  Res64: 93C47D68897F823D  Time : 9709.0 sec.
user=mdettweiler
[2009-04-04 20:56:15]
489*2^666919-1 is not prime.  Res64: 111B0830B78CFDDF  Time : 2717.0 sec.
user=mdettweiler
[2009-04-04 20:57:43]
525*2^666919-1 is not prime.  Res64: 2125B3902F4D5117  Time : 2716.0 sec.
user=mdettweiler
[2009-04-04 20:58:34]
455*2^666920-1 is not prime.  Res64: BD436C3FF336E140  Time : 2723.0 sec.
user=glennpat
[2009-04-04 21:06:33]
591*2^666903-1 is not prime.  Res64: 9D5C45779B4412BA  Time : 9694.0 sec.
user=glennpat
[2009-04-04 21:17:19]
589*2^666905-1 is not prime.  Res64: 905BA11CBE50435C  Time : 9676.0 sec.
user=glennpat
[2009-04-04 21:28:05]
489*2^666908-1 is not prime.  Res64: F63C574B32EC87F2  Time : 9663.0 sec.
user=glennpat
[2009-04-04 21:38:50]
455*2^666910-1 is not prime.  Res64: 8F267D9CDBA0C1CE  Time : 9664.0 sec.
user=glennpat
[2009-04-04 21:49:34]
459*2^666911-1 is not prime.  Res64: 54BA94D4FD35761D  Time : 9664.0 sec.
user=glennpat
[2009-04-04 22:00:40]
467*2^666912-1 is not prime.  Res64: 08F8F90779A628F3  Time : 9686.0 sec.
user=glennpat
[2009-04-04 22:11:03]
587*2^666914-1 is not prime.  Res64: 22D027543867A43B  Time : 9665.0 sec.
user=glennpat
[2009-04-04 22:21:49]
495*2^666916-1 is not prime.  Res64: EE20D5C627B1A4A5  Time : 9666.0 sec.
user=glennpat
[2009-04-04 22:32:32]
489*2^666917-1 is not prime.  Res64: B767989ACA1695A6  Time : 9663.0 sec.
user=glennpat
[2009-04-04 22:43:17]
563*2^666918-1 is not prime.  Res64: 3DF4B4F97624A97B  Time : 9665.0 sec.
user=glennpat
[2009-04-04 22:54:02]
447*2^666920-1 is not prime.  Res64: F9177630BE5B4F4A  Time : 9660.0 sec.
user=glennpat
[2009-04-04 23:04:44]
441*2^666921-1 is not prime.  Res64: 6F5D2DA845D8EC68  Time : 9657.0 sec.
user=glennpat
[2009-04-04 23:15:28]
591*2^666921-1 is not prime.  Res64: EBCF2F6796A87482  Time : 9659.0 sec.
user=glennpat
[2009-04-04 23:26:12]
409*2^666923-1 is not prime.  Res64: 5ACC7026DE4A4F52  Time : 9663.0 sec.
user=glennpat
[2009-04-04 23:36:57]
539*2^666924-1 is not prime.  Res64: B16C3A8F35F1A994  Time : 9668.0 sec.
user=glennpat
[2009-04-04 23:47:42]
481*2^666925-1 is not prime.  Res64: 62361A38A3CC71D9  Time : 9669.0 sec.
user=glennpat
[2009-04-04 23:58:27]
589*2^666925-1 is not prime.  Res64: B1F5B1ECF29875F0  Time : 9668.0 sec.