user=mdettweiler
[2011-10-04 00:03:40]
573*2^1051035-1 is not prime.  Res64: CB0C4582C8DE4CEE  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 00:05:17]
579*2^1051035-1 is not prime.  Res64: 15F0A82379162D2A  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 00:06:47]
435*2^1051036-1 is not prime.  Res64: ACBA2072D752937C  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 00:07:28]
411*2^1051034-1 is not prime.  Res64: C8CA2463864F78AB  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 00:11:34]
507*2^1051036-1 is not prime.  Res64: 61D3D2563E5D1228  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 00:21:31]
525*2^1051036-1 is not prime.  Res64: EAEF43483274EC91  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 00:23:08]
417*2^1051037-1 is not prime.  Res64: 5E1015A06F9AC4BC  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 00:24:39]
465*2^1051037-1 is not prime.  Res64: B634FE5759A8F8C3  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 00:29:30]
489*2^1051037-1 is not prime.  Res64: F66D3BF9C609F9E6  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 00:39:22]
511*2^1051037-1 is not prime.  Res64: 932B90076B37690B  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 00:41:00]
561*2^1051037-1 is not prime.  Res64: 00AE1CAD9497D444  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 00:42:30]
571*2^1051037-1 is not prime.  Res64: 0D6D174C26A9E009  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 00:47:17]
423*2^1051039-1 is not prime.  Res64: 3C4FAF4145279949  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 00:52:25]
475*2^1051037-1 is not prime.  Res64: E742F02F40D158B5  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 00:57:16]
451*2^1051039-1 is not prime.  Res64: 43E5623BD67363F4  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 00:59:06]
463*2^1051039-1 is not prime.  Res64: 7270753F4F8FA4F1  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 01:00:33]
531*2^1051039-1 is not prime.  Res64: 7F7D6AF22D9E644B  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 01:01:49]
585*2^1051032-1 is not prime.  Res64: 26294F9A0B026CC3  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 01:05:23]
425*2^1051040-1 is not prime.  Res64: 157415E16AFFA2F2  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 01:15:29]
461*2^1051042-1 is not prime.  Res64: CC9D65A0B3563850  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 01:17:24]
497*2^1051042-1 is not prime.  Res64: 0F1891DA8217B4E4  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 01:19:41]
521*2^1051042-1 is not prime.  Res64: 63F5379264D356FC  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 01:23:27]
501*2^1051043-1 is not prime.  Res64: BADF5C98E4399DFD  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 01:33:20]
473*2^1051044-1 is not prime.  Res64: D892522DEF3A4C5B  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 01:35:14]
513*2^1051044-1 is not prime.  Res64: 80A2519CB29A56FD  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 01:37:29]
519*2^1051040-1 is not prime.  Res64: DA30AAFD08CCF8DE  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 01:37:35]
539*2^1051044-1 is not prime.  Res64: 592F6E7F48A119E1  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 01:41:14]
563*2^1051044-1 is not prime.  Res64: E10F1AC899B0717F  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 01:51:09]
587*2^1051044-1 is not prime.  Res64: 682332BAB9A6A50A  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 01:53:04]
405*2^1051045-1 is not prime.  Res64: 85314C9D8627E98F  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 01:55:26]
503*2^1051046-1 is not prime.  Res64: DE9E5AA5EC6D6227  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 01:59:03]
551*2^1051046-1 is not prime.  Res64: 1B1D1C2C4AFEE41A  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 02:08:57]
561*2^1051046-1 is not prime.  Res64: ACFE6CD5CC6941A7  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 02:10:52]
581*2^1051046-1 is not prime.  Res64: 992BD5A52DED2723  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 02:13:16]
465*2^1051047-1 is not prime.  Res64: 3F1BF463752FBB07  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 02:16:51]
565*2^1051047-1 is not prime.  Res64: 8B11C7CB2B2F892B  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 02:22:39]
555*2^1051045-1 is not prime.  Res64: 17EE191831CBF9D3  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 02:26:50]
573*2^1051047-1 is not prime.  Res64: E6FA8DFB412BCDC7  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 02:31:05]
579*2^1051047-1 is not prime.  Res64: 79556A588CB20DD3  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 02:34:38]
435*2^1051048-1 is not prime.  Res64: D0B6F6C379EEA7D2  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 02:44:42]
573*2^1051048-1 is not prime.  Res64: DD60431687FAAE07  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 02:45:26]
411*2^1051049-1 is not prime.  Res64: 43BE6BBF241FE169  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 02:48:56]
537*2^1051049-1 is not prime.  Res64: 676874528E9DD658  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 02:52:26]
571*2^1051049-1 is not prime.  Res64: C956269B17213D9B  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 03:02:31]
595*2^1051049-1 is not prime.  Res64: 286893056ED34284  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 03:03:19]
401*2^1051050-1 is not prime.  Res64: 583C5F46E9E688F0  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 03:06:46]
413*2^1051050-1 is not prime.  Res64: 66CE20D3F51FA957  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 03:07:38]
527*2^1051048-1 is not prime.  Res64: 6315C064666F993D  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 03:09:01]
545*2^1051042-1 is not prime.  Res64: 378C48C11FBEF3B3  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 03:10:15]
415*2^1051051-1 is not prime.  Res64: 1B457594AA853C44  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 03:20:22]
451*2^1051051-1 is not prime.  Res64: 53BE2B8601A66D36  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 03:21:09]
463*2^1051051-1 is not prime.  Res64: 2239CE137EFE01E2  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 03:24:38]
531*2^1051051-1 is not prime.  Res64: E49097EAC4BB8CBA  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 03:28:08]
539*2^1051052-1 is not prime.  Res64: C608E4A94EF17131  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 03:38:12]
599*2^1051052-1 is not prime.  Res64: 72298562C0A94326  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 03:38:57]
451*2^1051053-1 is not prime.  Res64: 155A6FC2CEE91F71  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 03:42:28]
481*2^1051053-1 is not prime.  Res64: 2FB0F65C16135600  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 03:45:59]
499*2^1051053-1 is not prime.  Res64: 6E46B8A8E1B90050  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 03:52:20]
417*2^1051052-1 is not prime.  Res64: 5BCE3A047A4CED60  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 03:56:01]
529*2^1051053-1 is not prime.  Res64: 29F192B57389DA84  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 03:56:46]
549*2^1051053-1 is not prime.  Res64: 1E98E98B50ABB902  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 04:00:16]
401*2^1051054-1 is not prime.  Res64: 0F9D9CB3BF14549F  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 04:03:50]
477*2^1051054-1 is not prime.  Res64: 9FD3C1220FCB7E34  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 04:13:49]
561*2^1051054-1 is not prime.  Res64: 8FECE7CED0176768  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 04:14:37]
453*2^1051055-1 is not prime.  Res64: E0B0D3B9F6676363  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 04:18:07]
481*2^1051055-1 is not prime.  Res64: 7F7C46F05213E611  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 04:21:39]
493*2^1051055-1 is not prime.  Res64: C77A3C76BD700B51  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 04:31:39]
509*2^1051056-1 is not prime.  Res64: 571D6895E3C6FE64  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 04:32:27]
517*2^1051057-1 is not prime.  Res64: E6EC545004F2F5E4  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 04:36:00]
531*2^1051057-1 is not prime.  Res64: 97982360277627F2  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 04:39:28]
549*2^1051057-1 is not prime.  Res64: 40DE8ED8727814A0  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 04:41:02]
495*2^1051054-1 is not prime.  Res64: 29E09C326C664DEA  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 04:49:30]
565*2^1051057-1 is not prime.  Res64: F2D3223078FAF492  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 04:50:20]
589*2^1051057-1 is not prime.  Res64: 1DCE88B781408F8E  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 04:53:51]
405*2^1051058-1 is not prime.  Res64: 2D7847D40A6F5D48  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 04:57:18]
503*2^1051058-1 is not prime.  Res64: 2BC638B5A427459B  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 05:07:22]
573*2^1051058-1 is not prime.  Res64: 1F2B74AFB5190BD2  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 05:08:10]
531*2^1051059-1 is not prime.  Res64: 87EEEC0C28B6CA50  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 05:11:40]
553*2^1051059-1 is not prime.  Res64: 50240869D29629E1  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 05:14:41]
447*2^1051052-1 is not prime.  Res64: 5DEE92843CCB3D90  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 05:15:06]
571*2^1051059-1 is not prime.  Res64: F117BEF8FDF149F2  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 05:25:16]
449*2^1051060-1 is not prime.  Res64: 71263F72E6FA3941  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 05:26:05]
539*2^1051060-1 is not prime.  Res64: 630609950E2E2DEA  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 05:28:49]
561*2^1051058-1 is not prime.  Res64: 0B7AD6285FDC8783  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 05:29:29]
417*2^1051061-1 is not prime.  Res64: 478152B624989783  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 05:32:55]
423*2^1051062-1 is not prime.  Res64: 1E11FCA47842E33D  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 05:43:04]
471*2^1051062-1 is not prime.  Res64: C9436848DD27891E  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 05:43:55]
521*2^1051062-1 is not prime.  Res64: 1A46B8CD02121CC3  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 05:47:18]
523*2^1051063-1 is not prime.  Res64: AB0736807C608FFC  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 05:50:44]
413*2^1051064-1 is not prime.  Res64: 93CA312649FFB53D  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 06:00:52]
507*2^1051064-1 is not prime.  Res64: AC3CC0C6E7939779  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 06:01:45]
447*2^1051065-1 is not prime.  Res64: 07008418EE2E0035  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 06:05:09]
535*2^1051065-1 is not prime.  Res64: CCF02C23845AA01C  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 06:08:34]
425*2^1051066-1 is not prime.  Res64: 7A0624E78157BD4F  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 06:16:49]
481*2^1051063-1 is not prime.  Res64: 28724C7C6B2D8A99  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 06:18:47]
551*2^1051066-1 is not prime.  Res64: 9BA4D3552ED89B80  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 06:19:35]
567*2^1051066-1 is not prime.  Res64: A449A4543FAC9E8D  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 06:23:02]
403*2^1051067-1 is not prime.  Res64: 51A4930243A744AF  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 06:26:23]
421*2^1051067-1 is not prime.  Res64: F292156EC6CFD670  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 06:36:39]
485*2^1051068-1 is not prime.  Res64: 96D939112F368F3E  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 06:37:25]
421*2^1051069-1 is not prime.  Res64: 7CCB72A80EA4A434  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 06:40:51]
511*2^1051069-1 is not prime.  Res64: 77BC5016F56E0832  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 06:44:11]
559*2^1051069-1 is not prime.  Res64: 798AB3F3751A65FE  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 06:54:30]
589*2^1051069-1 is not prime.  Res64: DC2EF6A1DDD0A0A6  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 06:55:15]
423*2^1051070-1 is not prime.  Res64: 3A86B05C6C931686  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 06:58:41]
455*2^1051070-1 is not prime.  Res64: 6667E1C3851B9B45  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 07:01:57]
591*2^1051070-1 is not prime.  Res64: 53BEA9AE7054C598  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 07:06:13]
511*2^1051067-1 is not prime.  Res64: B44863ED4A3B770A  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 07:12:21]
493*2^1051071-1 is not prime.  Res64: 56D2C3A9B95A8033  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 07:13:04]
583*2^1051071-1 is not prime.  Res64: D9FB264C5D0D1C4E  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 07:16:29]
525*2^1051072-1 is not prime.  Res64: 4DDDD060FE8DFDA7  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 07:19:47]
465*2^1051073-1 is not prime.  Res64: 285C141037412386  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 07:23:19]
517*2^1051061-1 is not prime.  Res64: 237C1D5649369A05  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 07:30:14]
461*2^1051074-1 is not prime.  Res64: E240AC8D846655F8  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 07:30:57]
465*2^1051074-1 is not prime.  Res64: C50DA98FBBAC513C  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 07:34:20]
483*2^1051074-1 is not prime.  Res64: CBDB3B9497EF5146  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 07:37:40]
531*2^1051074-1 is not prime.  Res64: 1A72E529CD91A362  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 07:48:16]
555*2^1051074-1 is not prime.  Res64: 8D3843CF60C6ACEB  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 07:48:54]
573*2^1051074-1 is not prime.  Res64: C851B2F8621DAC4C  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 07:52:10]
405*2^1051075-1 is not prime.  Res64: 1EB99CB331A46606  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 07:55:33]
493*2^1051075-1 is not prime.  Res64: 1AF08ED74E6D237C  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 07:57:04]
507*2^1051073-1 is not prime.  Res64: 6300468E9AE46C7B  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 08:06:08]
535*2^1051075-1 is not prime.  Res64: EC58D72594820DE9  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 08:06:45]
589*2^1051075-1 is not prime.  Res64: C514FA060D2ED879  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 08:10:04]
405*2^1051076-1 is not prime.  Res64: 4C2FFAEF40B6C98E  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 08:13:21]
417*2^1051076-1 is not prime.  Res64: 21E231E028F09C9B  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 08:24:03]
545*2^1051076-1 is not prime.  Res64: AE1E127DD861D075  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 08:24:39]
579*2^1051076-1 is not prime.  Res64: 945A4C57A0F34D95  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 08:27:58]
499*2^1051077-1 is not prime.  Res64: 1583390DBFC35A46  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 08:31:11]
577*2^1051077-1 is not prime.  Res64: AFB30595709608C3  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 08:41:55]
453*2^1051078-1 is not prime.  Res64: E7CAE8EA924EAB13  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 08:42:31]
491*2^1051078-1 is not prime.  Res64: 6AB7F81630187A4D  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 08:45:49]
495*2^1051078-1 is not prime.  Res64: 35C124E92C643947  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 08:47:26]
435*2^1051076-1 is not prime.  Res64: 08FF7ED72137B88F  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 08:49:00]
403*2^1051079-1 is not prime.  Res64: 70D279D6E7B3BFFC  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 08:59:46]
423*2^1051079-1 is not prime.  Res64: 8B215B8CBFB716EE  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 09:00:21]
463*2^1051079-1 is not prime.  Res64: 29C63D33A3235E68  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 09:03:39]
549*2^1051080-1 is not prime.  Res64: B20DDE23B7927D2C  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 09:06:50]
549*2^1051081-1 is not prime.  Res64: DDD16B7377BE4B86  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 09:17:35]
405*2^1051082-1 is not prime.  Res64: 99DCEA7A348BF524  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 09:18:12]
417*2^1051082-1 is not prime.  Res64: 76C63D75FEA3BCFE  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 09:21:32]
477*2^1051082-1 is not prime.  Res64: DAC6F306E24ED03C  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 09:24:45]
501*2^1051082-1 is not prime.  Res64: C97608AD4AD3CCD8  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 09:32:33]
543*2^1051074-1 is not prime.  Res64: B5A62A9E055A1299  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 09:35:24]
515*2^1051082-1 is not prime.  Res64: 99EA2D56D15C649F  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 09:36:01]
537*2^1051082-1 is not prime.  Res64: FAF493B0D0A87D2B  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 09:37:17]
567*2^1051080-1 is not prime.  Res64: F4A89BFD6D8AFBB9  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 09:39:21]
561*2^1051082-1 is not prime.  Res64: E69E3C11C7D9ABB2  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 09:42:35]
445*2^1051083-1 is not prime.  Res64: 4F3C116DA6C3BF58  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 09:53:12]
453*2^1051083-1 is not prime.  Res64: E8302BCD7F86B794  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 09:53:52]
413*2^1051084-1 is not prime.  Res64: DF5C7F2AF8A2E7B5  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 09:57:11]
525*2^1051084-1 is not prime.  Res64: 5997E48D3104B842  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 10:00:23]
405*2^1051085-1 is not prime.  Res64: 34FB01E1AD58202C  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 10:11:00]
459*2^1051085-1 is not prime.  Res64: EBF83A92912FCF7D  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 10:11:42]
455*2^1051086-1 is not prime.  Res64: 65F30071F671CD60  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 10:15:00]
585*2^1051086-1 is not prime.  Res64: C6E233C3AC4B14D7  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 10:18:16]
499*2^1051089-1 is not prime.  Res64: C59E0346A86236A8  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 10:24:50]
485*2^1051084-1 is not prime.  Res64: 2EC919513289CCB0  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 10:28:50]
549*2^1051089-1 is not prime.  Res64: CA521FCE52FD629A  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 10:29:41]
513*2^1051090-1 is not prime.  Res64: B685572DE5C20B89  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 10:32:54]
581*2^1051090-1 is not prime.  Res64: 6244B6DF5C1ED73E  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 10:36:07]
463*2^1051091-1 is not prime.  Res64: 550F7C129B295B54  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 10:46:41]
519*2^1051091-1 is not prime.  Res64: B59DA1C91E24D0A8  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 10:47:31]
531*2^1051091-1 is not prime.  Res64: 544B181F961B1B11  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 10:50:42]
579*2^1051091-1 is not prime.  Res64: FA142795AA985BF3  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 10:53:58]
471*2^1051093-1 is not prime.  Res64: 5805AE42C333A20C  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 11:04:30]
525*2^1051093-1 is not prime.  Res64: 1F71006613A395AE  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 11:05:20]
411*2^1051094-1 is not prime.  Res64: E74BB6A9C6F90B5B  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 11:08:33]
557*2^1051094-1 is not prime.  Res64: 2718B41D10C54C61  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 11:11:46]
423*2^1051095-1 is not prime.  Res64: 431AFDCED84D3B62  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 11:14:28]
489*2^1051091-1 is not prime.  Res64: 8329B99EC9DBDF70  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 11:22:24]
511*2^1051095-1 is not prime.  Res64: 8CE36B964E54DA21  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 11:23:11]
531*2^1051095-1 is not prime.  Res64: 14B45A2854A1A542  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 11:26:22]
553*2^1051095-1 is not prime.  Res64: AA900420FE74F443  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 11:29:36]
555*2^1051095-1 is not prime.  Res64: 4D6CBB4976BEC204  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 11:40:12]
501*2^1051097-1 is not prime.  Res64: 7E9B07A894C4F55B  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 11:40:59]
507*2^1051097-1 is not prime.  Res64: 14558FED863F2209  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 11:41:17]
451*2^1051083-1 is not prime.  Res64: AC1860742C033A60  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 11:44:10]
585*2^1051097-1 is not prime.  Res64: B5611353B36FC7A6  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 11:47:23]
595*2^1051097-1 is not prime.  Res64: 9FA97D2D20BE536B  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 11:58:01]
497*2^1051098-1 is not prime.  Res64: 3269D84B9D3C1CC9  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 11:58:50]
525*2^1051098-1 is not prime.  Res64: 375AC17F7CD5EA9C  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 12:02:01]
449*2^1051100-1 is not prime.  Res64: 37DEBE999C979945  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 12:05:10]
517*2^1051101-1 is not prime.  Res64: E143DA56B5B00E6C  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 12:12:26]
405*2^1051097-1 is not prime.  Res64: 276703EE4CA9CD1D  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 12:15:52]
579*2^1051101-1 is not prime.  Res64: 789EA2DFAF6FA08D  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 12:16:44]
401*2^1051102-1 is not prime.  Res64: 0D454A74B9D30A50  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 12:19:54]
455*2^1051102-1 is not prime.  Res64: 2E493DFF1084C2F8  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 12:23:02]
461*2^1051102-1 is not prime.  Res64: AC6E0C303FE0BB00  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 12:33:42]
585*2^1051103-1 is not prime.  Res64: 19E663662B6D5462  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 12:34:37]
587*2^1051104-1 is not prime.  Res64: A1465E42B6D1B6CA  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 12:37:48]
411*2^1051105-1 is not prime.  Res64: 9534BF4FAC5214EF  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 12:40:53]
421*2^1051105-1 is not prime.  Res64: 07E1757CB94D87BA  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 12:51:33]
407*2^1051106-1 is not prime.  Res64: 452744D81514344C  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 12:52:29]
473*2^1051106-1 is not prime.  Res64: 44F254FBEEF6A4CC  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 12:55:39]
515*2^1051106-1 is not prime.  Res64: 3CC82C22388BA3B1  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 12:58:42]
575*2^1051106-1 is not prime.  Res64: 88059EC1C6ED5B83  Time : 0.0 sec.
user=Sashixi
[2011-10-04 13:02:10]
507*2^1051106-1 is not prime.  Res64: 0FE2DA0417283B59  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 13:08:50]
545*2^1051102-1 is not prime.  Res64: 224C41B2BDAF690A  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 13:09:22]
405*2^1051107-1 is not prime.  Res64: 010183315A11B4BE  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 13:10:18]
513*2^1051107-1 is not prime.  Res64: E76F4FF22D224DA2  Time : 0.0 sec.
user=Sashixi
[2011-10-04 13:10:55]
511*2^1051107-1 is not prime.  Res64: 4B8DCFA02C7FC8D8  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 13:13:29]
419*2^1051108-1 is not prime.  Res64: 65848155E406908D  Time : 0.0 sec.
user=Sashixi
[2011-10-04 13:14:30]
573*2^1051107-1 is not prime.  Res64: B352931211862A21  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 13:16:30]
507*2^1051108-1 is not prime.  Res64: 54220A387CB6E7EB  Time : 0.0 sec.
user=Sashixi
[2011-10-04 13:24:54]
597*2^1051108-1 is not prime.  Res64: 9D5D9FE16428B997  Time : 0.0 sec.
user=Sashixi
[2011-10-04 13:26:28]
575*2^1051108-1 is not prime.  Res64: 1FB820AC35E52A54  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 13:27:15]
495*2^1051109-1 is not prime.  Res64: B9519338C7E14184  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 13:28:10]
567*2^1051109-1 is not prime.  Res64: AC590DFE16C5590D  Time : 0.0 sec.
user=Sashixi
[2011-10-04 13:30:35]
537*2^1051110-1 is not prime.  Res64: E5F039964319DC7B  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 13:31:19]
451*2^1051111-1 is not prime.  Res64: 6BB89D1D73EBB04A  Time : 0.0 sec.
user=Sashixi
[2011-10-04 13:33:31]
453*2^1051111-1 is not prime.  Res64: BE6D7033480399F7  Time : 0.0 sec.
user=Sashixi
[2011-10-04 13:33:55]
505*2^1051111-1 is not prime.  Res64: 81B9144DD95032A8  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 13:34:19]
417*2^1051112-1 is not prime.  Res64: 98CE8614203308B1  Time : 0.0 sec.
user=Sashixi
[2011-10-04 13:37:44]
435*2^1051112-1 is not prime.  Res64: 81831887AE19378E  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 13:45:04]
561*2^1051099-1 is not prime.  Res64: 54D805287119C595  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 13:45:06]
481*2^1051113-1 is not prime.  Res64: 6F5C4F20A7760408  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 13:46:01]
549*2^1051113-1 is not prime.  Res64: F1B458FAA41427D9  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 13:49:08]
551*2^1051114-1 is not prime.  Res64: A2899761028EFCEC  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 13:52:10]
579*2^1051115-1 is not prime.  Res64: D0092EB377726414  Time : 0.0 sec.
user=Sashixi
[2011-10-04 13:57:00]
599*2^1051112-1 is not prime.  Res64: D6F02880A43E1984  Time : 0.0 sec.
user=Sashixi
[2011-10-04 13:57:06]
525*2^1051114-1 is not prime.  Res64: CA6A00F3871FD293  Time : 0.0 sec.
user=Sashixi
[2011-10-04 13:57:25]
587*2^1051114-1 is not prime.  Res64: BD7BD4F42765D9F9  Time : 0.0 sec.
user=Sashixi
[2011-10-04 13:57:30]
567*2^1051112-1 is not prime.  Res64: 118D6265756A9218  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 13:57:59]
411*2^1051109-1 is not prime.  Res64: 988E6949B5DD2E47  Time : 0.0 sec.
user=Sashixi
[2011-10-04 13:57:59]
451*2^1051115-1 is not prime.  Res64: 89B1829E38362BB2  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 14:02:56]
469*2^1051117-1 is not prime.  Res64: 76D742D10E5FD50E  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 14:03:52]
507*2^1051117-1 is not prime.  Res64: B6BF55A8556FDD87  Time : 0.0 sec.
user=Sashixi
[2011-10-04 14:04:27]
459*2^1051116-1 is not prime.  Res64: 6A8372BA9B22AA35  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 14:06:57]
589*2^1051117-1 is not prime.  Res64: 07425AA87FA26346  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 14:10:00]
447*2^1051118-1 is not prime.  Res64: A4BC2CBF38A1717B  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 14:20:49]
529*2^1051121-1 is not prime.  Res64: B889BECA66CF1402  Time : 0.0 sec.
user=Sashixi
[2011-10-04 14:21:30]
583*2^1051119-1 is not prime.  Res64: 6FD0123B02336CA8  Time : 0.0 sec.
user=Sashixi
[2011-10-04 14:21:39]
575*2^1051118-1 is not prime.  Res64: 95BA4CE466C75B0F  Time : 0.0 sec.
user=Sashixi
[2011-10-04 14:21:49]
595*2^1051119-1 is not prime.  Res64: 01FEAF8BAF20C019  Time : 0.0 sec.
user=Sashixi
[2011-10-04 14:21:50]
527*2^1051120-1 is not prime.  Res64: A244612CEBA05B2A  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 14:21:52]
507*2^1051122-1 is not prime.  Res64: 6B834FF9DD749149  Time : 0.0 sec.
user=Sashixi
[2011-10-04 14:22:22]
533*2^1051120-1 is not prime.  Res64: 8FDD178A2C885053  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 14:24:52]
441*2^1051123-1 is not prime.  Res64: C8BCAD1E3DF52852  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 14:28:04]
463*2^1051123-1 is not prime.  Res64: 7907279DE8B202C5  Time : 0.0 sec.
user=Sashixi
[2011-10-04 14:28:56]
411*2^1051123-1 is not prime.  Res64: 1C9823EF4FF4E853  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 14:39:08]
549*2^1051123-1 is not prime.  Res64: F55A440135A6764A  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 14:39:56]
471*2^1051125-1 is not prime.  Res64: B670AD76C7D2CB24  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 14:42:57]
413*2^1051126-1 is not prime.  Res64: CC38826C9BAB4411  Time : 0.0 sec.
user=Sashixi
[2011-10-04 14:44:30]
435*2^1051124-1 is not prime.  Res64: 86F10E0606CA038B  Time : 0.0 sec.
user=Sashixi
[2011-10-04 14:44:38]
533*2^1051124-1 is not prime.  Res64: BA1CAB991DE634E4  Time : 0.0 sec.
user=Sashixi
[2011-10-04 14:44:38]
427*2^1051125-1 is not prime.  Res64: F641C89A921894B7  Time : 0.0 sec.
user=Sashixi
[2011-10-04 14:44:40]
545*2^1051124-1 is not prime.  Res64: A5E461A2E9B8A3C9  Time : 0.0 sec.
user=Sashixi
[2011-10-04 14:45:17]
405*2^1051126-1 is not prime.  Res64: D190BA513694ED31  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 14:46:15]
461*2^1051126-1 is not prime.  Res64: 894215A3807DB300  Time : 0.0 sec.
user=Sashixi
[2011-10-04 14:51:52]
477*2^1051126-1 is not prime.  Res64: 9E9D97B1C2DB6F68  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 14:54:04]
539*2^1051120-1 is not prime.  Res64: B164DD662DF2219A  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 14:57:04]
503*2^1051126-1 is not prime.  Res64: CBAA0B0EBBBE1A08  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 14:57:49]
521*2^1051126-1 is not prime.  Res64: 8C34CBB71460F025  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 15:00:54]
525*2^1051126-1 is not prime.  Res64: E11FF4D73318A68E  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 15:04:17]
453*2^1051128-1 is not prime.  Res64: 88958F0D059E2BAE  Time : 0.0 sec.
user=Sashixi
[2011-10-04 15:07:03]
545*2^1051126-1 is not prime.  Res64: D89F6AD997E442BA  Time : 0.0 sec.
user=Sashixi
[2011-10-04 15:07:12]
543*2^1051127-1 is not prime.  Res64: 8B3E47AD660690A7  Time : 0.0 sec.
user=Sashixi
[2011-10-04 15:07:12]
549*2^1051127-1 is not prime.  Res64: 12161A10194E8D82  Time : 0.0 sec.
user=Sashixi
[2011-10-04 15:07:43]
589*2^1051127-1 is not prime.  Res64: 3DE810C4462108FB  Time : 0.0 sec.
user=Sashixi
[2011-10-04 15:09:02]
403*2^1051127-1 is not prime.  Res64: 63AE0530E4C94854  Time : 0.0 sec.
user=Sashixi
[2011-10-04 15:12:55]
507*2^1051128-1 is not prime.  Res64: 8472F3E2149067B2  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 15:15:12]
549*2^1051128-1 is not prime.  Res64: 1D224574120DCE87  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 15:16:08]
569*2^1051128-1 is not prime.  Res64: B931C84A93B3BC81  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 15:19:12]
421*2^1051129-1 is not prime.  Res64: 288920FAC0AAABEF  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 15:22:40]
427*2^1051129-1 is not prime.  Res64: C255EB679C8F2050  Time : 0.0 sec.
user=Sashixi
[2011-10-04 15:26:16]
439*2^1051129-1 is not prime.  Res64: FD619A68253B1527  Time : 0.0 sec.
user=Sashixi
[2011-10-04 15:26:19]
507*2^1051129-1 is not prime.  Res64: 840B5D29C35870F5  Time : 0.0 sec.
user=Sashixi
[2011-10-04 15:26:21]
503*2^1051130-1 is not prime.  Res64: A807B4EF5FAF334F  Time : 0.0 sec.
user=Sashixi
[2011-10-04 15:26:43]
545*2^1051130-1 is not prime.  Res64: 15ED94E18585210C  Time : 0.0 sec.
user=Sashixi
[2011-10-04 15:29:55]
445*2^1051131-1 is not prime.  Res64: 0CF1E70519468BF4  Time : 0.0 sec.
user=Sashixi
[2011-10-04 15:30:10]
483*2^1051131-1 is not prime.  Res64: 1484919043EA0105  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 15:33:37]
453*2^1051132-1 is not prime.  Res64: F1BEB60A0D86685D  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 15:34:42]
483*2^1051132-1 is not prime.  Res64: BFE6E1E4E84EF226  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 15:37:50]
567*2^1051132-1 is not prime.  Res64: BC72FEC61848AD2E  Time : 0.0 sec.
user=Sashixi
[2011-10-04 15:38:57]
451*2^1051135-1 is not prime.  Res64: 422806814BE62499  Time : 0.0 sec.
user=Sashixi
[2011-10-04 15:38:58]
495*2^1051133-1 is not prime.  Res64: 8FA89E0B5EA1B653  Time : 0.0 sec.
user=Sashixi
[2011-10-04 15:39:07]
559*2^1051133-1 is not prime.  Res64: 75BF210270D4F836  Time : 0.0 sec.
user=Sashixi
[2011-10-04 15:39:34]
595*2^1051135-1 is not prime.  Res64: D7F34850E8189ED0  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 15:40:53]
451*2^1051133-1 is not prime.  Res64: 945CBA3FDAECD1C3  Time : 0.0 sec.
user=Sashixi
[2011-10-04 15:43:09]
453*2^1051136-1 is not prime.  Res64: 80A22AFEAB18EEF0  Time : 0.0 sec.
user=Sashixi
[2011-10-04 15:43:58]
455*2^1051136-1 is not prime.  Res64: 0D4BF74A1B5599C2  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 15:47:24]
509*2^1051128-1 is not prime.  Res64: 25FD9FE5B425651B  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 15:49:57]
473*2^1051116-1 is not prime.  Res64: 2E69BE5CA4D458A8  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 15:53:35]
495*2^1051136-1 is not prime.  Res64: ECE6641F9D4383AB  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 15:54:13]
441*2^1051137-1 is not prime.  Res64: C3263E455860727F  Time : 0.0 sec.
user=Sashixi
[2011-10-04 15:56:45]
537*2^1051137-1 is not prime.  Res64: C3D56DE4D93F9EFC  Time : 0.0 sec.
user=Sashixi
[2011-10-04 15:56:58]
443*2^1051138-1 is not prime.  Res64: 05FE6E9AEDC78D81  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 15:57:31]
517*2^1051137-1 is not prime.  Res64: 1BBD320DEA3084B2  Time : 0.0 sec.
user=Sashixi
[2011-10-04 15:57:32]
581*2^1051138-1 is not prime.  Res64: ACA5DF6D99BD05B1  Time : 0.0 sec.
user=Sashixi
[2011-10-04 16:00:09]
471*2^1051138-1 is not prime.  Res64: A8A31C797BBA05B1  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 16:02:00]
435*2^1051139-1 is not prime.  Res64: C120B47E479CE2AB  Time : 0.0 sec.
user=Sashixi
[2011-10-04 16:02:18]
481*2^1051139-1 is not prime.  Res64: 1C872518B6C6D14D  Time : 0.0 sec.
user=Sashixi
[2011-10-04 16:03:09]
465*2^1051140-1 is not prime.  Res64: 7E2321BF83DFC3CD  Time : 0.0 sec.
user=Sashixi
[2011-10-04 16:14:59]
415*2^1051141-1 is not prime.  Res64: A0739BDAD8B22B3F  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 16:14:59]
585*2^1051140-1 is not prime.  Res64: 447528FF982F73D2  Time : 0.0 sec.
user=Sashixi
[2011-10-04 16:15:01]
531*2^1051141-1 is not prime.  Res64: 7EB081C9D64EC30F  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 16:15:23]
405*2^1051141-1 is not prime.  Res64: F0F7B7ED6BC63858  Time : 0.0 sec.
user=Sashixi
[2011-10-04 16:18:10]
423*2^1051142-1 is not prime.  Res64: 182E4CE15B392B4B  Time : 0.0 sec.
user=Sashixi
[2011-10-04 16:18:19]
503*2^1051142-1 is not prime.  Res64: 5475E155C2DC5E16  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 16:19:11]
425*2^1051142-1 is not prime.  Res64: CE58597E9DAE2B1C  Time : 0.0 sec.
user=Sashixi
[2011-10-04 16:20:29]
439*2^1051143-1 is not prime.  Res64: CCD42C33DD34E64B  Time : 0.0 sec.
user=Sashixi
[2011-10-04 16:21:15]
523*2^1051143-1 is not prime.  Res64: D1601A8948C1EE91  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 16:22:23]
411*2^1051143-1 is not prime.  Res64: 9AFDA5E2E0A377AB  Time : 0.0 sec.
user=Sashixi
[2011-10-04 16:30:06]
585*2^1051143-1 is not prime.  Res64: 116F330B102C2378  Time : 0.0 sec.
user=Sashixi
[2011-10-04 16:30:39]
565*2^1051143-1 is not prime.  Res64: 611CDC923A9D67BE  Time : 0.0 sec.
user=Sashixi
[2011-10-04 16:31:54]
533*2^1051144-1 is not prime.  Res64: A2F817829B5A0B39  Time : 0.0 sec.
user=Sashixi
[2011-10-04 16:32:09]
411*2^1051145-1 is not prime.  Res64: 16EA47C4B478691C  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 16:32:25]
479*2^1051140-1 is not prime.  Res64: 368FC5644CBDE9BD  Time : 0.0 sec.
user=Sashixi
[2011-10-04 16:33:45]
537*2^1051145-1 is not prime.  Res64: 79746C46CB1D8738  Time : 0.0 sec.
user=Sashixi
[2011-10-04 16:34:12]
561*2^1051145-1 is not prime.  Res64: 7C8BF715CA62BC19  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 16:35:49]
507*2^1051144-1 is not prime.  Res64: AEE27D3119BDC2DE  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 16:36:06]
519*2^1051144-1 is not prime.  Res64: 04E8953AD06CD703  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 16:41:22]
535*2^1051145-1 is not prime.  Res64: 106D72984F1F1D07  Time : 0.0 sec.
user=Sashixi
[2011-10-04 16:42:56]
513*2^1051146-1 is not prime.  Res64: 1BF8A494AF91B289  Time : 0.0 sec.
user=Sashixi
[2011-10-04 16:43:24]
551*2^1051146-1 is not prime.  Res64: 7309C367825D68A8  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 16:44:30]
417*2^1051146-1 is not prime.  Res64: 04A78530E69B2E70  Time : 0.0 sec.
user=Sashixi
[2011-10-04 16:45:23]
573*2^1051146-1 is not prime.  Res64: 21EC3AC9449F4E8B  Time : 0.0 sec.
user=Sashixi
[2011-10-04 16:46:28]
581*2^1051146-1 is not prime.  Res64: AD1BF56F4E669D9C  Time : 0.0 sec.
user=Sashixi
[2011-10-04 16:49:11]
425*2^1051148-1 is not prime.  Res64: 73EA93848EDCD3BA  Time : 0.0 sec.
user=Sashixi
[2011-10-04 16:49:11]
465*2^1051149-1 is not prime.  Res64: D20805DF245607BE  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 16:57:15]
511*2^1051149-1 is not prime.  Res64: 38BFD9E7544B4A5B  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 16:57:45]
465*2^1051150-1 is not prime.  Res64: 9D59026CE39CDA26  Time : 0.0 sec.
user=Sashixi
[2011-10-04 16:58:12]
405*2^1051152-1 is not prime.  Res64: 0291A43BD374CA79  Time : 0.0 sec.
user=Sashixi
[2011-10-04 16:59:11]
413*2^1051152-1 is not prime.  Res64: D8F1C0C4699BC3A5  Time : 0.0 sec.
user=Sashixi
[2011-10-04 17:00:16]
405*2^1051153-1 is not prime.  Res64: FB75B5A5CDBF247A  Time : 0.0 sec.
user=Sashixi
[2011-10-04 17:00:56]
429*2^1051153-1 is not prime.  Res64: 945159CBB2232ED5  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 17:01:56]
493*2^1051151-1 is not prime.  Res64: 3DFD9B6712A3D9C7  Time : 0.0 sec.
user=Sashixi
[2011-10-04 17:03:46]
577*2^1051153-1 is not prime.  Res64: 4FA63E227CA13B95  Time : 0.0 sec.
user=Sashixi
[2011-10-04 17:03:56]
589*2^1051153-1 is not prime.  Res64: 2FD9A2446AD3C979  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 17:06:23]
537*2^1051152-1 is not prime.  Res64: CF8C2338BA919776  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 17:16:55]
477*2^1051154-1 is not prime.  Res64: B520670F0B5C753A  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 17:17:07]
511*2^1051147-1 is not prime.  Res64: D16D3C7D198D1F33  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 17:17:13]
507*2^1051154-1 is not prime.  Res64: DD66C59B9986BC2B  Time : 0.0 sec.
user=Sashixi
[2011-10-04 17:18:25]
531*2^1051154-1 is not prime.  Res64: 46E9687D76EF1348  Time : 0.0 sec.
user=Sashixi
[2011-10-04 17:18:34]
525*2^1051154-1 is not prime.  Res64: 6AF8E2F99A11D913  Time : 0.0 sec.
user=Sashixi
[2011-10-04 17:19:34]
561*2^1051154-1 is not prime.  Res64: 2890112D511834F3  Time : 0.0 sec.
user=Sashixi
[2011-10-04 17:20:16]
465*2^1051155-1 is not prime.  Res64: E07651134F185451  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 17:21:54]
595*2^1051155-1 is not prime.  Res64: 93B23DE1C9331372  Time : 0.0 sec.
user=Sashixi
[2011-10-04 17:23:30]
449*2^1051156-1 is not prime.  Res64: E1688C0DCEDB614A  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 17:25:09]
439*2^1051157-1 is not prime.  Res64: B28FDFF5F0387037  Time : 0.0 sec.
user=Sashixi
[2011-10-04 17:28:15]
483*2^1051156-1 is not prime.  Res64: 76C3DB9475910725  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 17:35:12]
469*2^1051157-1 is not prime.  Res64: 092664A807D4A962  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 17:35:28]
507*2^1051157-1 is not prime.  Res64: 4FA56CA4CB07338D  Time : 0.0 sec.
user=Sashixi
[2011-10-04 17:38:02]
567*2^1051157-1 is not prime.  Res64: 4F06EEA960178A16  Time : 0.0 sec.
user=Sashixi
[2011-10-04 17:38:11]
413*2^1051158-1 is not prime.  Res64: 9DC998E446A0879E  Time : 0.0 sec.
user=Sashixi
[2011-10-04 17:39:03]
423*2^1051158-1 is not prime.  Res64: F012261CC8475BEB  Time : 0.0 sec.
user=Sashixi
[2011-10-04 17:39:35]
461*2^1051158-1 is not prime.  Res64: 0241F580021D9A3C  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 17:40:12]
433*2^1051159-1 is not prime.  Res64: 0CCE5F3F191D32E9  Time : 0.0 sec.
user=Sashixi
[2011-10-04 17:42:38]
549*2^1051159-1 is not prime.  Res64: D2FF87220868A4BB  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 17:44:07]
553*2^1051159-1 is not prime.  Res64: 8234DCD66AD2A407  Time : 0.0 sec.
user=Sashixi
[2011-10-04 17:52:29]
437*2^1051160-1 is not prime.  Res64: 79E29E484F56A9B8  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 17:54:10]
471*2^1051161-1 is not prime.  Res64: E5389CC4E9A2A963  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 17:54:12]
435*2^1051162-1 is not prime.  Res64: 2C69501400EEFEB7  Time : 0.0 sec.
user=Sashixi
[2011-10-04 17:57:44]
447*2^1051162-1 is not prime.  Res64: AF2925AC40561C1C  Time : 0.0 sec.
user=Sashixi
[2011-10-04 17:57:50]
461*2^1051162-1 is not prime.  Res64: B72B0844548801D5  Time : 0.0 sec.
user=Sashixi
[2011-10-04 17:58:43]
513*2^1051162-1 is not prime.  Res64: AB47E56381CC73A4  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 17:58:48]
525*2^1051140-1 is not prime.  Res64: 0AA71AAE31EDAB9A  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 17:58:49]
507*2^1051164-1 is not prime.  Res64: 2A3FDDA26D6219C7  Time : 0.0 sec.
user=Sashixi
[2011-10-04 17:59:12]
561*2^1051162-1 is not prime.  Res64: 4DC1B146FBAF7644  Time : 0.0 sec.
user=Sashixi
[2011-10-04 18:02:14]
525*2^1051164-1 is not prime.  Res64: 7CAC1EAD4A1B8FD3  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 18:02:18]
539*2^1051164-1 is not prime.  Res64: 3F87EAA316432562  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 18:02:20]
475*2^1051157-1 is not prime.  Res64: 8EC5FE5F4345E6BA  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 18:11:58]
555*2^1051165-1 is not prime.  Res64: 366935164FB19122  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 18:12:01]
427*2^1051165-1 is not prime.  Res64: 1B76F90B158C8935  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 18:16:41]
405*2^1051167-1 is not prime.  Res64: 0DE781B69C4621FB  Time : 0.0 sec.
user=Sashixi
[2011-10-04 18:16:43]
557*2^1051164-1 is not prime.  Res64: 2855D5A0E2420920  Time : 0.0 sec.
user=Sashixi
[2011-10-04 18:16:57]
417*2^1051166-1 is not prime.  Res64: ABBFCBC0CE3C5D07  Time : 0.0 sec.
user=Sashixi
[2011-10-04 18:16:58]
545*2^1051166-1 is not prime.  Res64: 6082F55F1D87BAE7  Time : 0.0 sec.
user=Sashixi
[2011-10-04 18:17:52]
573*2^1051166-1 is not prime.  Res64: 37D5DE49E9C5D0C6  Time : 0.0 sec.
user=Sashixi
[2011-10-04 18:18:19]
471*2^1051167-1 is not prime.  Res64: 7AEC54063ECAD565  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 18:20:08]
501*2^1051167-1 is not prime.  Res64: 0F3B968E25596FD6  Time : 0.0 sec.
user=Sashixi
[2011-10-04 18:21:25]
493*2^1051167-1 is not prime.  Res64: 2ADDAFE144F2BD21  Time : 0.0 sec.
user=gd_barnes
[2011-10-04 18:26:26]
527*2^1051168-1 is not prime.  Res64: E94964457D2F86D5  Time : 0.0 sec.
user=gd_barnes
[2011-10-04 18:27:38]
443*2^1051170-1 is not prime.  Res64: A9AB78FE61905A41  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 18:29:49]
471*2^1051173-1 is not prime.  Res64: 8C60656511D60409  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 18:29:50]
599*2^1051172-1 is not prime.  Res64: C2135BD292BA5267  Time : 0.0 sec.
user=gd_barnes
[2011-10-04 18:30:56]
537*2^1051169-1 is not prime.  Res64: 2DA8D5D237ECDCED  Time : 0.0 sec.
user=gd_barnes
[2011-10-04 18:32:00]
465*2^1051170-1 is not prime.  Res64: A3EBFA7B13E114B9  Time : 0.0 sec.
user=gd_barnes
[2011-10-04 18:32:01]
483*2^1051170-1 is not prime.  Res64: 48523C40FB485DE8  Time : 0.0 sec.
user=gd_barnes
[2011-10-04 18:32:01]
587*2^1051170-1 is not prime.  Res64: 88B4BE9E824A8F0B  Time : 0.0 sec.
user=gd_barnes
[2011-10-04 18:32:02]
421*2^1051171-1 is not prime.  Res64: 61D8A6276A18D733  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 18:34:33]
483*2^1051174-1 is not prime.  Res64: 0A6E922B581C0CDD  Time : 0.0 sec.
user=Sashixi
[2011-10-04 18:36:42]
543*2^1051175-1 is not prime.  Res64: 2B77C01521E7F3D6  Time : 0.0 sec.
user=Sashixi
[2011-10-04 18:36:44]
545*2^1051174-1 is not prime.  Res64: 4E8C477947945B0C  Time : 0.0 sec.
user=gd_barnes
[2011-10-04 18:36:49]
461*2^1051170-1 is not prime.  Res64: DA6E6E4AA0A67AEA  Time : 0.0 sec.
user=Sashixi
[2011-10-04 18:37:24]
579*2^1051175-1 is not prime.  Res64: C3DEC2E47A3C2368  Time : 0.0 sec.
user=Sashixi
[2011-10-04 18:37:41]
585*2^1051175-1 is not prime.  Res64: 918D3ABA8EF5A355  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 18:37:59]
591*2^1051175-1 is not prime.  Res64: 47EAC7AB4FE77998  Time : 0.0 sec.
user=Sashixi
[2011-10-04 18:38:58]
507*2^1051173-1 is not prime.  Res64: 6410D65921393369  Time : 0.0 sec.
user=Sashixi
[2011-10-04 18:39:46]
595*2^1051175-1 is not prime.  Res64: B61C5DDFA3C1BD59  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 18:46:59]
513*2^1051168-1 is not prime.  Res64: 33560629EF2A53AA  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 18:47:43]
413*2^1051176-1 is not prime.  Res64: EA5FE22C9059ACF3  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 18:47:44]
479*2^1051176-1 is not prime.  Res64: 0EF032954B2C8D46  Time : 0.0 sec.
user=Sashixi
[2011-10-04 18:49:21]
441*2^1051177-1 is not prime.  Res64: EDAD340237A274AB  Time : 0.0 sec.
user=Sashixi
[2011-10-04 18:49:24]
465*2^1051177-1 is not prime.  Res64: 40C12DE46F79D227  Time : 0.0 sec.
user=Sashixi
[2011-10-04 18:50:30]
499*2^1051177-1 is not prime.  Res64: 7566AF9F413A876B  Time : 0.0 sec.
user=Sashixi
[2011-10-04 18:50:33]
531*2^1051177-1 is not prime.  Res64: F7DA7D9D016F1F56  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 18:52:24]
587*2^1051176-1 is not prime.  Res64: 8E747EBF42F08A7C  Time : 0.0 sec.
user=Sashixi
[2011-10-04 18:52:53]
431*2^1051178-1 is not prime.  Res64: F966F24A1357A59A  Time : 0.0 sec.
user=Sashixi
[2011-10-04 18:53:45]
447*2^1051178-1 is not prime.  Res64: E9A3061F8DFDB73B  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 18:55:48]
425*2^1051178-1 is not prime.  Res64: 19FA8E642CF2CC46  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 19:05:37]
503*2^1051178-1 is not prime.  Res64: 6E91EB17DBD17CBF  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 19:05:41]
563*2^1051178-1 is not prime.  Res64: 2F5CEE3B1EB86887  Time : 0.0 sec.
user=Sashixi
[2011-10-04 19:08:33]
411*2^1051179-1 is not prime.  Res64: C031AF7E433FC606  Time : 0.0 sec.
user=Sashixi
[2011-10-04 19:08:33]
575*2^1051178-1 is not prime.  Res64: 77439C9B7932F158  Time : 0.0 sec.
user=Sashixi
[2011-10-04 19:09:42]
481*2^1051179-1 is not prime.  Res64: 4DA7ADBEDCCD23BB  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 19:10:22]
429*2^1051180-1 is not prime.  Res64: 52BE32638C3E0BFF  Time : 0.0 sec.
user=Sashixi
[2011-10-04 19:11:18]
569*2^1051180-1 is not prime.  Res64: A29BE50CF5A49274  Time : 0.0 sec.
user=Sashixi
[2011-10-04 19:11:44]
409*2^1051181-1 is not prime.  Res64: E2FA633ADA9CFAAC  Time : 0.0 sec.
user=Sashixi
[2011-10-04 19:11:51]
429*2^1051179-1 is not prime.  Res64: 087401ADA22325A5  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 19:13:39]
447*2^1051182-1 is not prime.  Res64: 0952A830105FAE48  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 19:23:28]
587*2^1051182-1 is not prime.  Res64: 38331E2ADEFC759A  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 19:23:36]
593*2^1051182-1 is not prime.  Res64: 2732DEC961F11C3C  Time : 0.0 sec.
user=Sashixi
[2011-10-04 19:26:07]
493*2^1051183-1 is not prime.  Res64: 1ED66ABFDB96DDCC  Time : 0.0 sec.
user=Sashixi
[2011-10-04 19:26:16]
463*2^1051183-1 is not prime.  Res64: 2C8A3AB556593F04  Time : 0.0 sec.
user=Sashixi
[2011-10-04 19:27:57]
555*2^1051183-1 is not prime.  Res64: 1AB804ED2F332F08  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 19:28:16]
413*2^1051184-1 is not prime.  Res64: 157065A8FF865C0D  Time : 0.0 sec.
user=Sashixi
[2011-10-04 19:29:35]
483*2^1051184-1 is not prime.  Res64: 4F925AB67D2FD2BE  Time : 0.0 sec.
user=gd_barnes
[2011-10-04 19:29:42]
513*2^1051182-1 is not prime.  Res64: B19BC1E2D416C1D2  Time : 0.0 sec.
user=Sashixi
[2011-10-04 19:29:59]
475*2^1051185-1 is not prime.  Res64: 953DF71369C5A7A1  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 19:31:32]
531*2^1051185-1 is not prime.  Res64: 43A181EBABFB87D0  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 19:31:43]
467*2^1051178-1 is not prime.  Res64: C80C8BB4711DD6B3  Time : 0.0 sec.
user=Sashixi
[2011-10-04 19:31:52]
459*2^1051185-1 is not prime.  Res64: C257DD3B43A28A44  Time : 0.0 sec.
user=Sashixi
[2011-10-04 19:39:49]
495*2^1051187-1 is not prime.  Res64: A39B3437D25FE0CA  Time : 0.0 sec.
user=Sashixi
[2011-10-04 19:40:01]
475*2^1051187-1 is not prime.  Res64: BBA4DC6DAB5B791F  Time : 0.0 sec.
user=Sashixi
[2011-10-04 19:41:03]
595*2^1051187-1 is not prime.  Res64: 0963DF64AB14AB71  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 19:41:18]
525*2^1051186-1 is not prime.  Res64: 029FB320ECA96DCA  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 19:41:27]
435*2^1051187-1 is not prime.  Res64: 3111E1793DA2AFBF  Time : 0.0 sec.
user=Sashixi
[2011-10-04 19:43:09]
485*2^1051188-1 is not prime.  Res64: BFBC60995F2B49DF  Time : 0.0 sec.
user=Sashixi
[2011-10-04 19:43:55]
569*2^1051188-1 is not prime.  Res64: 7BAE9E38C508C1A3  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 19:46:09]
459*2^1051188-1 is not prime.  Res64: 12086CE78B96D4FC  Time : 0.0 sec.
user=Sashixi
[2011-10-04 19:46:43]
507*2^1051189-1 is not prime.  Res64: 395CF9866958886F  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 19:49:24]
439*2^1051189-1 is not prime.  Res64: 367EF3AB72C643B5  Time : 0.0 sec.
user=Sashixi
[2011-10-04 19:58:44]
501*2^1051190-1 is not prime.  Res64: D1D0E87C2C0FCFDD  Time : 0.0 sec.
user=Sashixi
[2011-10-04 19:59:01]
515*2^1051190-1 is not prime.  Res64: 4128BEAA777534EA  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 19:59:07]
453*2^1051191-1 is not prime.  Res64: AE6299B4AAD56B53  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 19:59:22]
465*2^1051191-1 is not prime.  Res64: E366DDD7058C87F8  Time : 0.0 sec.
user=Sashixi
[2011-10-04 20:02:23]
513*2^1051191-1 is not prime.  Res64: 650EB74BC060D565  Time : 0.0 sec.
user=Sashixi
[2011-10-04 20:03:09]
535*2^1051191-1 is not prime.  Res64: F8FBF2DD4DD26F96  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 20:03:59]
595*2^1051191-1 is not prime.  Res64: 20BD6D7BB216652D  Time : 0.0 sec.
user=Sashixi
[2011-10-04 20:05:21]
525*2^1051190-1 is not prime.  Res64: 30F467826AE1C69F  Time : 0.0 sec.
user=Sashixi
[2011-10-04 20:05:51]
419*2^1051192-1 is not prime.  Res64: E69FBF6F6ED4A367  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 20:07:05]
591*2^1051166-1 is not prime.  Res64: 4073E93DC4EC3EA8  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 20:07:16]
567*2^1051192-1 is not prime.  Res64: CC93BAE034C20C43  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 20:16:55]
579*2^1051195-1 is not prime.  Res64: 492E5DE74971A512  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 20:16:58]
441*2^1051189-1 is not prime.  Res64: 3CB8C37CC5921CDB  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 20:17:13]
589*2^1051195-1 is not prime.  Res64: A4EB2B41BBBF9EFB  Time : 0.0 sec.
user=Sashixi
[2011-10-04 20:18:21]
451*2^1051195-1 is not prime.  Res64: F348B8372CD1CC30  Time : 0.0 sec.
user=Sashixi
[2011-10-04 20:18:38]
493*2^1051195-1 is not prime.  Res64: BEF72C3BFE5E839D  Time : 0.0 sec.
user=Sashixi
[2011-10-04 20:22:08]
405*2^1051196-1 is not prime.  Res64: 8274485D7DC46BEC  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 20:22:08]
483*2^1051196-1 is not prime.  Res64: 26F58B2F65E20D4D  Time : 0.0 sec.
user=Sashixi
[2011-10-04 20:22:46]
465*2^1051196-1 is not prime.  Res64: 745FC5F0EFA23C8A  Time : 0.0 sec.
user=Sashixi
[2011-10-04 20:25:32]
465*2^1051197-1 is not prime.  Res64: CEB2C6FDB36C8DA9  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 20:25:39]
537*2^1051197-1 is not prime.  Res64: 66C0A832198F34F0  Time : 0.0 sec.
user=gd_barnes
[2011-10-04 20:26:54]
587*2^1051196-1 is not prime.  Res64: 153514B0CEA6C869  Time : 0.0 sec.
user=Sashixi
[2011-10-04 20:27:20]
495*2^1051196-1 is not prime.  Res64: 3957E6E633F56D40  Time : 0.0 sec.
user=gd_barnes
[2011-10-04 20:27:48]
499*2^1051197-1 is not prime.  Res64: 2534367687BF1030  Time : 0.0 sec.
user=gd_barnes
[2011-10-04 20:29:24]
539*2^1051196-1 is not prime.  Res64: C72A14509DED18E1  Time : 0.0 sec.
user=Sashixi
[2011-10-04 20:34:05]
559*2^1051199-1 is not prime.  Res64: 9E9CEA073A84CAD1  Time : 0.0 sec.
user=Sashixi
[2011-10-04 20:35:32]
423*2^1051200-1 is not prime.  Res64: 8783B8E1E8BF13D0  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 20:35:48]
467*2^1051198-1 is not prime.  Res64: 9A9693E8EB51C49E  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 20:36:05]
545*2^1051198-1 is not prime.  Res64: B84EF9D47BF73F7C  Time : 0.0 sec.
user=Sashixi
[2011-10-04 20:36:38]
467*2^1051200-1 is not prime.  Res64: 1F5EA408E7D564A7  Time : 0.0 sec.
user=Sashixi
[2011-10-04 20:37:27]
547*2^1051201-1 is not prime.  Res64: 822FE9F11FA789B9  Time : 0.0 sec.
user=Sashixi
[2011-10-04 20:40:11]
597*2^1051201-1 is not prime.  Res64: D71A332B8076DC69  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 20:40:47]
505*2^1051201-1 is not prime.  Res64: 67AAAB0291212FF7  Time : 0.0 sec.
user=Sashixi
[2011-10-04 20:42:23]
545*2^1051202-1 is not prime.  Res64: CD5C0988BBB53010  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 20:43:54]
515*2^1051202-1 is not prime.  Res64: 65B969DBC0559018  Time : 0.0 sec.
user=Sashixi
[2011-10-04 20:52:17]
551*2^1051202-1 is not prime.  Res64: 5D09BC55693DE163  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 20:53:57]
593*2^1051202-1 is not prime.  Res64: 2DB8C8DC7F20D4BD  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 20:54:02]
445*2^1051203-1 is not prime.  Res64: 573BFA7E039FBA70  Time : 0.0 sec.
user=Sashixi
[2011-10-04 20:54:38]
573*2^1051202-1 is not prime.  Res64: 0824295048CD55F7  Time : 0.0 sec.
user=Sashixi
[2011-10-04 20:57:05]
471*2^1051203-1 is not prime.  Res64: AE4EC8DF18A05BCC  Time : 0.0 sec.
user=Sashixi
[2011-10-04 20:57:20]
453*2^1051203-1 is not prime.  Res64: 06F3528A3FF91AF7  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 20:58:40]
435*2^1051204-1 is not prime.  Res64: 70A75550F4F5C729  Time : 0.0 sec.
user=Sashixi
[2011-10-04 20:59:47]
429*2^1051204-1 is not prime.  Res64: AB7E41DBF6D464DF  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 21:01:44]
569*2^1051204-1 is not prime.  Res64: F328E28F2BE34895  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 21:02:27]
507*2^1051198-1 is not prime.  Res64: 762AE465DDD9E881  Time : 0.0 sec.
user=Sashixi
[2011-10-04 21:02:58]
539*2^1051204-1 is not prime.  Res64: D7A970D4736CCED7  Time : 0.0 sec.
user=Sashixi
[2011-10-04 21:07:47]
575*2^1051204-1 is not prime.  Res64: 5DC28EEF3D73204D  Time : 0.0 sec.
user=Sashixi
[2011-10-04 21:09:07]
563*2^1051206-1 is not prime.  Res64: 6127B1431815CF81  Time : 0.0 sec.
user=Sashixi
[2011-10-04 21:10:36]
451*2^1051207-1 is not prime.  Res64: 59D518AF484B3461  Time : 0.0 sec.
user=Sashixi
[2011-10-04 21:11:16]
465*2^1051207-1 is not prime.  Res64: 041766804B7FEB47  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 21:11:47]
587*2^1051204-1 is not prime.  Res64: 7B9E6DFB4810DEDD  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 21:11:54]
585*2^1051205-1 is not prime.  Res64: AD44886671A53EFE  Time : 0.0 sec.
user=Sashixi
[2011-10-04 21:13:24]
519*2^1051207-1 is not prime.  Res64: 39156BA7DE21B121  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 21:16:29]
489*2^1051207-1 is not prime.  Res64: 2CCB6AC16A2E41A9  Time : 0.0 sec.
user=Sashixi
[2011-10-04 21:16:52]
533*2^1051208-1 is not prime.  Res64: 5FB4E97E2C0BA51C  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 21:19:30]
531*2^1051207-1 is not prime.  Res64: 8BFCAA7EDCB097CC  Time : 0.0 sec.
user=Sashixi
[2011-10-04 21:24:04]
539*2^1051208-1 is not prime.  Res64: 1C827430443332BA  Time : 0.0 sec.
user=Sashixi
[2011-10-04 21:26:13]
511*2^1051209-1 is not prime.  Res64: 5382A20348A8AC2D  Time : 0.0 sec.
user=Sashixi
[2011-10-04 21:28:46]
535*2^1051209-1 is not prime.  Res64: C365A4834D1BB1E3  Time : 0.0 sec.
user=Sashixi
[2011-10-04 21:29:29]
549*2^1051209-1 is not prime.  Res64: F46695D675B73F15  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 21:29:41]
425*2^1051210-1 is not prime.  Res64: 083C1DDA9F942558  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 21:29:47]
443*2^1051210-1 is not prime.  Res64: 81A162DDB1DCCC08  Time : 0.0 sec.
user=Sashixi
[2011-10-04 21:33:04]
555*2^1051210-1 is not prime.  Res64: BA9AB1FF2D2856F8  Time : 0.0 sec.
user=Sashixi
[2011-10-04 21:33:52]
463*2^1051211-1 is not prime.  Res64: DC069E96AFE473DB  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 21:34:19]
587*2^1051210-1 is not prime.  Res64: A1991A254787AB80  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 21:37:20]
549*2^1051211-1 is not prime.  Res64: D25A71756422B156  Time : 0.0 sec.
user=Sashixi
[2011-10-04 21:38:59]
579*2^1051211-1 is not prime.  Res64: 165464FD7D508E02  Time : 0.0 sec.
user=Sashixi
[2011-10-04 21:40:20]
423*2^1051212-1 is not prime.  Res64: 775B67726E728949  Time : 0.0 sec.
user=Sashixi
[2011-10-04 21:41:55]
467*2^1051212-1 is not prime.  Res64: EB21AA8E111B8C9D  Time : 0.0 sec.
user=Sashixi
[2011-10-04 21:43:02]
483*2^1051212-1 is not prime.  Res64: 07AD7C35C0DB15FF  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 21:47:23]
541*2^1051207-1 is not prime.  Res64: DE87299B3E3AFEB9  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 21:47:32]
485*2^1051212-1 is not prime.  Res64: F786792350239956  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 21:47:35]
557*2^1051212-1 is not prime.  Res64: 07EDD7F4FBE18E99  Time : 0.0 sec.
user=Sashixi
[2011-10-04 21:48:04]
585*2^1051212-1 is not prime.  Res64: 9863CAF7C173F9F6  Time : 0.0 sec.
user=Sashixi
[2011-10-04 21:48:48]
409*2^1051213-1 is not prime.  Res64: DDC90529C90FF018  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 21:52:10]
481*2^1051213-1 is not prime.  Res64: 5D7178B5B0E38526  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 21:55:16]
495*2^1051213-1 is not prime.  Res64: D2748F92F1908A8A  Time : 0.0 sec.
user=Sashixi
[2011-10-04 21:56:39]
555*2^1051213-1 is not prime.  Res64: C2D0EDFA4A825236  Time : 0.0 sec.
user=Sashixi
[2011-10-04 21:58:57]
559*2^1051213-1 is not prime.  Res64: 2672665F44BF163E  Time : 0.0 sec.
user=Sashixi
[2011-10-04 22:01:19]
589*2^1051213-1 is not prime.  Res64: CD925AD1863B0585  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 22:05:24]
561*2^1051214-1 is not prime.  Res64: 0115D71FC5BF025B  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 22:05:34]
573*2^1051214-1 is not prime.  Res64: 1784B7072A2B084B  Time : 0.0 sec.
user=Sashixi
[2011-10-04 22:06:00]
461*2^1051214-1 is not prime.  Res64: 95E2D044233B5F29  Time : 0.0 sec.
user=Sashixi
[2011-10-04 22:07:13]
523*2^1051215-1 is not prime.  Res64: A19B4ECFAD955EB9  Time : 0.0 sec.
user=Sashixi
[2011-10-04 22:07:42]
453*2^1051216-1 is not prime.  Res64: 7475553E9C1BB86C  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 22:10:02]
455*2^1051216-1 is not prime.  Res64: 80F7D3058F318134  Time : 0.0 sec.
user=Sashixi
[2011-10-04 22:12:53]
527*2^1051216-1 is not prime.  Res64: A3BF6F14C4C4F38D  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 22:13:06]
485*2^1051216-1 is not prime.  Res64: D09C035E0A56A794  Time : 0.0 sec.
user=Sashixi
[2011-10-04 22:15:00]
473*2^1051218-1 is not prime.  Res64: 56371D2358EF5365  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 22:15:14]
469*2^1051197-1 is not prime.  Res64: 697011E4BFA20EB8  Time : 0.0 sec.
user=Sashixi
[2011-10-04 22:16:13]
433*2^1051219-1 is not prime.  Res64: 92DA0B838CAE4622  Time : 0.0 sec.
user=Sashixi
[2011-10-04 22:18:53]
549*2^1051219-1 is not prime.  Res64: 485E6859EE606819  Time : 0.0 sec.
user=Sashixi
[2011-10-04 22:20:32]
579*2^1051219-1 is not prime.  Res64: 39DAFAFDE22D4E80  Time : 0.0 sec.
user=Sashixi
[2011-10-04 22:21:34]
595*2^1051219-1 is not prime.  Res64: 78179F9816FC0BE4  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 22:23:12]
483*2^1051219-1 is not prime.  Res64: F9A37A386F637B46  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 22:23:24]
531*2^1051219-1 is not prime.  Res64: E50206A080D9FEF4  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 22:27:55]
417*2^1051220-1 is not prime.  Res64: 9194EC66E9CEE437  Time : 0.0 sec.
user=Sashixi
[2011-10-04 22:29:38]
447*2^1051220-1 is not prime.  Res64: 68F7EBE0246C93B4  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 22:31:10]
465*2^1051220-1 is not prime.  Res64: 60FC9E534DDE0F2D  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 22:32:32]
545*2^1051214-1 is not prime.  Res64: 1BE3C8F917D4B5C9  Time : 0.0 sec.
user=Sashixi
[2011-10-04 22:32:36]
483*2^1051220-1 is not prime.  Res64: 414E3D54DBEB8F70  Time : 0.0 sec.
user=Sashixi
[2011-10-04 22:33:57]
585*2^1051220-1 is not prime.  Res64: 679A09A644FC3A6E  Time : 0.0 sec.
user=Sashixi
[2011-10-04 22:40:07]
517*2^1051221-1 is not prime.  Res64: B5F2C32535BCEB4F  Time : 0.0 sec.
user=Sashixi
[2011-10-04 22:41:10]
555*2^1051221-1 is not prime.  Res64: D4491BDA56F0B4F9  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 22:41:18]
559*2^1051221-1 is not prime.  Res64: 917285A690D0E779  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 22:41:25]
585*2^1051221-1 is not prime.  Res64: 2454C21E94D93611  Time : 0.0 sec.
user=Sashixi
[2011-10-04 22:43:06]
417*2^1051221-1 is not prime.  Res64: 8FAC9A862952F237  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 22:46:00]
423*2^1051222-1 is not prime.  Res64: 6877C52E825E2963  Time : 0.0 sec.
user=Sashixi
[2011-10-04 22:47:24]
491*2^1051222-1 is not prime.  Res64: 5DD2D981FE928624  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 22:49:04]
495*2^1051222-1 is not prime.  Res64: 07A444B14B645AA9  Time : 0.0 sec.
user=Sashixi
[2011-10-04 22:49:12]
555*2^1051222-1 is not prime.  Res64: 80D503A3964A12A9  Time : 0.0 sec.
user=Sashixi
[2011-10-04 22:50:11]
439*2^1051223-1 is not prime.  Res64: 10DEFCAD0400BDAC  Time : 0.0 sec.
user=Sashixi
[2011-10-04 22:53:53]
585*2^1051223-1 is not prime.  Res64: 923765BF02A0E05E  Time : 0.0 sec.
user=Sashixi
[2011-10-04 22:54:37]
591*2^1051223-1 is not prime.  Res64: 0C962EC6F236359D  Time : 0.0 sec.
user=Sashixi
[2011-10-04 22:55:59]
549*2^1051224-1 is not prime.  Res64: 0971BDED8F598B2E  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 22:59:09]
473*2^1051224-1 is not prime.  Res64: DE70E5A92DC22969  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 22:59:16]
503*2^1051224-1 is not prime.  Res64: 7DBDF21B31C64921  Time : 0.0 sec.
user=Sashixi
[2011-10-04 23:02:26]
585*2^1051224-1 is not prime.  Res64: 62862894D4E2DE8C  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 23:03:53]
567*2^1051224-1 is not prime.  Res64: E35B90B8356F1432  Time : 0.0 sec.
user=Sashixi
[2011-10-04 23:05:09]
411*2^1051225-1 is not prime.  Res64: 14577512D3D76223  Time : 0.0 sec.
user=Sashixi
[2011-10-04 23:06:40]
469*2^1051225-1 is not prime.  Res64: 7BF05E4E9DD6B45F  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 23:06:58]
587*2^1051224-1 is not prime.  Res64: 5AAF7A49EB494DBA  Time : 0.0 sec.
user=Sashixi
[2011-10-04 23:12:17]
497*2^1051226-1 is not prime.  Res64: 3547B55DB4A17DDA  Time : 0.0 sec.
user=Sashixi
[2011-10-04 23:13:42]
563*2^1051226-1 is not prime.  Res64: A04AC45800741862  Time : 0.0 sec.
user=Sashixi
[2011-10-04 23:16:56]
575*2^1051226-1 is not prime.  Res64: 4156ABDC9623CCEE  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 23:17:01]
453*2^1051227-1 is not prime.  Res64: 781458C8B63BA3EC  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 23:17:04]
555*2^1051227-1 is not prime.  Res64: 9A66CA0BE584F192  Time : 0.0 sec.
user=Jean_Penne
[2011-10-04 23:19:14]
561*2^1051222-1 is not prime.  Res64: 3B72AB6E1285D73C  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 23:21:44]
441*2^1051229-1 is not prime.  Res64: F881652895C124ED  Time : 0.0 sec.
user=Sashixi
[2011-10-04 23:24:49]
495*2^1051229-1 is not prime.  Res64: 8B8137AB3A6450E4  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 23:24:51]
423*2^1051231-1 is not prime.  Res64: 1188C2BBE0EB9AE8  Time : 0.0 sec.
user=Sashixi
[2011-10-04 23:26:19]
483*2^1051228-1 is not prime.  Res64: 2A3A97ACAA5F4A47  Time : 0.0 sec.
user=Sashixi
[2011-10-04 23:26:22]
579*2^1051229-1 is not prime.  Res64: FBC13E77D52B815E  Time : 0.0 sec.
user=Sashixi
[2011-10-04 23:31:50]
493*2^1051231-1 is not prime.  Res64: E61F96639EBD95B8  Time : 0.0 sec.
user=Sashixi
[2011-10-04 23:32:54]
573*2^1051231-1 is not prime.  Res64: 0D15F27972BC060E  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 23:34:52]
537*2^1051232-1 is not prime.  Res64: 0098B1780953967C  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 23:34:57]
599*2^1051232-1 is not prime.  Res64: 6D0262A1BB6A633D  Time : 0.0 sec.
user=Sashixi
[2011-10-04 23:36:09]
435*2^1051232-1 is not prime.  Res64: 6E84ED64812F02FF  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 23:39:34]
555*2^1051233-1 is not prime.  Res64: 25E6F9B03D4B4074  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 23:42:42]
437*2^1051234-1 is not prime.  Res64: 35BD65D2340AB656  Time : 0.0 sec.
user=Sashixi
[2011-10-04 23:45:29]
447*2^1051234-1 is not prime.  Res64: 48FFF5613091966B  Time : 0.0 sec.
user=Sashixi
[2011-10-04 23:45:30]
403*2^1051235-1 is not prime.  Res64: 01806C7AAEE942DA  Time : 0.0 sec.
user=Sashixi
[2011-10-04 23:47:22]
423*2^1051234-1 is not prime.  Res64: D9328971A546C265  Time : 0.0 sec.
user=Sashixi
[2011-10-04 23:49:11]
421*2^1051235-1 is not prime.  Res64: 447FB6A78AB3CF43  Time : 0.0 sec.
user=Sashixi
[2011-10-04 23:49:52]
511*2^1051235-1 is not prime.  Res64: 3640B8665D89B66A  Time : 0.0 sec.
user=Sashixi
[2011-10-04 23:52:05]
511*2^1051237-1 is not prime.  Res64: E9BBC1FA250E0451  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 23:52:41]
473*2^1051236-1 is not prime.  Res64: 7D2D84910F8D399C  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 23:52:45]
527*2^1051236-1 is not prime.  Res64: A10E955B07F02844  Time : 0.0 sec.
user=mdettweiler
[2011-10-04 23:57:27]
417*2^1051238-1 is not prime.  Res64: 8EC133C8EC18D721  Time : 0.0 sec.
user=Sashixi
[2011-10-04 23:58:11]
471*2^1051239-1 is not prime.  Res64: 7E297BDE31283710  Time : 0.0 sec.
user=Sashixi
[2011-10-04 23:58:17]
515*2^1051238-1 is not prime.  Res64: 7608AD87A36D18AC  Time : 0.0 sec.
user=mdettweiler
[2011-10-05 00:00:35]
501*2^1051238-1 is not prime.  Res64: 3DCFC2661DF9E4B9  Time : 0.0 sec.