user=mdettweiler
[2011-09-08 00:02:13]
455*2^1031956-1 is not prime.  Res64: E73608E3E027FB90  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 00:06:19]
539*2^1031956-1 is not prime.  Res64: C1551A9ECB3B7635  Time : 0.0 sec.
user=odicin
[2011-09-08 00:12:01]
573*2^1031956-1 is not prime.  Res64: CE6016D8A606BA7F  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 00:12:23]
575*2^1031956-1 is not prime.  Res64: ED00F97503DB70CA  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 00:13:09]
469*2^1031957-1 is not prime.  Res64: 138EA276DD0CE5A9  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 00:19:52]
507*2^1031957-1 is not prime.  Res64: E929162FCB7EE678  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 00:23:16]
453*2^1031956-1 is not prime.  Res64: 7C4ED5562E45C0C4  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 00:23:55]
537*2^1031957-1 is not prime.  Res64: 846AA4CA5A1DACB8  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 00:27:10]
471*2^1031958-1 is not prime.  Res64: 658F53B062EF888F  Time : 0.0 sec.
user=odicin
[2011-09-08 00:28:08]
453*2^1031952-1 is not prime.  Res64: 6800A6DD93145677  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 00:30:01]
567*2^1031957-1 is not prime.  Res64: 8B52ACD34A3398E3  Time : 0.0 sec.
user=odicin
[2011-09-08 00:33:14]
559*2^1031957-1 is not prime.  Res64: 43AE52AD25E3596D  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 00:37:38]
515*2^1031958-1 is not prime.  Res64: 19AB70E9ED230877  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 00:38:05]
411*2^1031959-1 is not prime.  Res64: 8D15B844C56DB74A  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 00:41:23]
439*2^1031959-1 is not prime.  Res64: F98EA499E0FE41C1  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 00:44:12]
417*2^1031960-1 is not prime.  Res64: E22720BEC6D2EDDE  Time : 0.0 sec.
user=odicin
[2011-09-08 00:51:07]
483*2^1031960-1 is not prime.  Res64: 3A55F5C64164F8B3  Time : 0.0 sec.
user=odicin
[2011-09-08 00:53:45]
501*2^1031954-1 is not prime.  Res64: ACDBE2BA111F0A67  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 00:55:33]
593*2^1031960-1 is not prime.  Res64: CE05B5B044D07006  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 00:55:49]
555*2^1031961-1 is not prime.  Res64: FD3CE8155518C3FD  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 00:56:07]
527*2^1031952-1 is not prime.  Res64: 179F65563F2902E7  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 00:59:11]
503*2^1031962-1 is not prime.  Res64: A1311F037E54D060  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 01:03:07]
573*2^1031962-1 is not prime.  Res64: B42DABF0AC378534  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 01:07:11]
563*2^1031958-1 is not prime.  Res64: CE60B90FECDC35CD  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 01:09:53]
419*2^1031964-1 is not prime.  Res64: 4C7B255A040F42FA  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 01:13:11]
495*2^1031963-1 is not prime.  Res64: 9488269D49C57E14  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 01:13:15]
483*2^1031964-1 is not prime.  Res64: ADA91D38442F128E  Time : 0.0 sec.
user=odicin
[2011-09-08 01:14:49]
581*2^1031962-1 is not prime.  Res64: 6E999FE20C757764  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 01:20:50]
503*2^1031964-1 is not prime.  Res64: 7612166C22E482C4  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 01:23:54]
465*2^1031965-1 is not prime.  Res64: 9E56840D4E1BFB55  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 01:30:45]
495*2^1031965-1 is not prime.  Res64: AC4AB0EAD930615F  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 01:30:51]
499*2^1031965-1 is not prime.  Res64: 549908062776F214  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 01:38:21]
515*2^1031966-1 is not prime.  Res64: 70FF1487A50C3B44  Time : 0.0 sec.
user=odicin
[2011-09-08 01:39:00]
565*2^1031965-1 is not prime.  Res64: 6C016329181274BC  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 01:41:25]
545*2^1031966-1 is not prime.  Res64: 144E9950720EF36E  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 01:48:16]
561*2^1031966-1 is not prime.  Res64: AAEB653BBF2531A9  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 01:48:25]
595*2^1031967-1 is not prime.  Res64: 3AEA3DAA27ADAA52  Time : 0.0 sec.
user=odicin
[2011-09-08 01:51:07]
579*2^1031959-1 is not prime.  Res64: 9009189DDEF996F3  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 01:51:26]
513*2^1031964-1 is not prime.  Res64: 50EBB24440271B04  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 01:52:13]
405*2^1031968-1 is not prime.  Res64: 34BC45C4F5050BF2  Time : 0.0 sec.
user=odicin
[2011-09-08 01:55:54]
489*2^1031968-1 is not prime.  Res64: D92411210AFABAE5  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 01:59:00]
507*2^1031968-1 is not prime.  Res64: D7DEB0B72CC9530D  Time : 0.0 sec.
user=odicin
[2011-09-08 02:02:27]
451*2^1031963-1 is not prime.  Res64: B5BD271D3C2CE91E  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 02:04:54]
425*2^1031964-1 is not prime.  Res64: A1DA87E280992A36  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 02:06:46]
539*2^1031968-1 is not prime.  Res64: 12CD3CC7C75B48DA  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 02:06:49]
431*2^1031970-1 is not prime.  Res64: FAC421DD4441DC6D  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 02:07:04]
519*2^1031968-1 is not prime.  Res64: 2279B52C4E723FF5  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 02:17:32]
581*2^1031970-1 is not prime.  Res64: 044EBDEE2AA5C457  Time : 0.0 sec.
user=odicin
[2011-09-08 02:17:38]
525*2^1031970-1 is not prime.  Res64: 3E722F39162CF84E  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 02:20:55]
417*2^1031973-1 is not prime.  Res64: E738A26953C9A5CB  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 02:21:03]
471*2^1031973-1 is not prime.  Res64: C9D249EF71CE75AF  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 02:21:19]
487*2^1031973-1 is not prime.  Res64: E4427FF728409554  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 02:27:26]
411*2^1031970-1 is not prime.  Res64: 3E22CD149A25A9AA  Time : 0.0 sec.
user=odicin
[2011-09-08 02:35:01]
453*2^1031974-1 is not prime.  Res64: 906CEC5DEEA83745  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 02:35:13]
525*2^1031973-1 is not prime.  Res64: 31C88065E1A2D3A8  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 02:35:14]
421*2^1031975-1 is not prime.  Res64: BF925849CC36F6DB  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 02:38:27]
521*2^1031974-1 is not prime.  Res64: 739AC9C1D34FC64E  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 02:38:41]
567*2^1031974-1 is not prime.  Res64: 03153F2A81D9159C  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 02:52:38]
469*2^1031977-1 is not prime.  Res64: 523E310C57520300  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 02:52:47]
509*2^1031976-1 is not prime.  Res64: 09850ABE3ED0FE18  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 02:52:48]
595*2^1031975-1 is not prime.  Res64: ED9F327D4BB3C8DE  Time : 0.0 sec.
user=odicin
[2011-09-08 02:53:41]
405*2^1031970-1 is not prime.  Res64: AA61E7D93D29F6BF  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 02:56:05]
587*2^1031976-1 is not prime.  Res64: FD45697C5B58534E  Time : 0.0 sec.
user=odicin
[2011-09-08 02:57:40]
573*2^1031975-1 is not prime.  Res64: 7D1CCB99660EF989  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 03:03:25]
433*2^1031975-1 is not prime.  Res64: 8E8DD2553351DDFA  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 03:10:08]
511*2^1031977-1 is not prime.  Res64: DDD0C713EA98D3AB  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 03:10:13]
533*2^1031978-1 is not prime.  Res64: 72BFA37BC9A108B9  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 03:10:16]
525*2^1031978-1 is not prime.  Res64: AE2F66853F9E9B8F  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 03:13:31]
573*2^1031978-1 is not prime.  Res64: 27BE60C4A4F454C3  Time : 0.0 sec.
user=odicin
[2011-09-08 03:14:32]
455*2^1031980-1 is not prime.  Res64: 6C6BD96231846D86  Time : 0.0 sec.
user=odicin
[2011-09-08 03:23:56]
495*2^1031971-1 is not prime.  Res64: E5D9320386DF9A5E  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 03:24:20]
417*2^1031981-1 is not prime.  Res64: B51B0FBA9ED34E58  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 03:24:21]
477*2^1031981-1 is not prime.  Res64: 4D2A4C282CD51E6A  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 03:27:37]
483*2^1031982-1 is not prime.  Res64: CAC3E2A48268C032  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 03:28:06]
537*2^1031981-1 is not prime.  Res64: E2CEE8BB10AD07F4  Time : 0.0 sec.
user=odicin
[2011-09-08 03:32:07]
485*2^1031982-1 is not prime.  Res64: FE096E0C8FB01209  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 03:32:46]
507*2^1031972-1 is not prime.  Res64: 2DBE3CD51EC16786  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 03:38:24]
465*2^1031983-1 is not prime.  Res64: 5B57E4AE402C5972  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 03:39:23]
465*2^1031980-1 is not prime.  Res64: 24CFF11060CE3EF5  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 03:41:37]
407*2^1031984-1 is not prime.  Res64: 901F41F2386F3D98  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 03:42:05]
493*2^1031983-1 is not prime.  Res64: 7842432A5AC4CBDB  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 03:45:52]
509*2^1031984-1 is not prime.  Res64: 310D536415E1E8E3  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 03:52:28]
481*2^1031985-1 is not prime.  Res64: 8EC2AEEFF330FC81  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 03:55:37]
405*2^1031986-1 is not prime.  Res64: F5958D55CAD7603F  Time : 0.0 sec.
user=odicin
[2011-09-08 03:57:50]
543*2^1031984-1 is not prime.  Res64: 46AFF3777EA3C647  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 03:59:41]
495*2^1031986-1 is not prime.  Res64: 2C5E5D141223A6DC  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 04:03:27]
545*2^1031986-1 is not prime.  Res64: 554246D216ABFB1A  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 04:09:57]
581*2^1031986-1 is not prime.  Res64: 7A8603CB75EC446E  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 04:13:07]
593*2^1031986-1 is not prime.  Res64: 1C778AC3AA0C79D2  Time : 0.0 sec.
user=odicin
[2011-09-08 04:15:51]
435*2^1031987-1 is not prime.  Res64: 065F2E9F52BF95D1  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 04:17:08]
519*2^1031987-1 is not prime.  Res64: 29C8A904C82729D9  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 04:20:55]
531*2^1031987-1 is prime!  Time : 0.0 sec.
user=odicin
[2011-09-08 04:21:07]
563*2^1031978-1 is not prime.  Res64: C16511823C9A3F1E  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 04:23:14]
597*2^1031985-1 is not prime.  Res64: 30B9192CB75E803C  Time : 0.0 sec.
user=gd_barnes
[2011-09-08 04:25:51]
453*2^1031988-1 is not prime.  Res64: 45F42A85F8027B62  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 04:27:14]
441*2^1031989-1 is not prime.  Res64: 50FC5FBCCA159219  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 04:27:38]
525*2^1031988-1 is not prime.  Res64: BE6FF3CC403B1384  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 04:31:15]
455*2^1031990-1 is not prime.  Res64: 54777CF7CDF401C3  Time : 0.0 sec.
user=odicin
[2011-09-08 04:34:23]
437*2^1031990-1 is not prime.  Res64: 67B52071E3C6BC38  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 04:34:58]
473*2^1031990-1 is not prime.  Res64: 600AE6DC2143A6E5  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 04:40:50]
415*2^1031985-1 is not prime.  Res64: 6A7C15FECE0110A2  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 04:44:58]
575*2^1031990-1 is not prime.  Res64: 117EDE5B078CF445  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 04:45:17]
591*2^1031990-1 is not prime.  Res64: AF34DADABE0B1145  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 04:45:19]
485*2^1031992-1 is not prime.  Res64: F749FCE2F4C9FCDC  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 04:49:05]
421*2^1031993-1 is not prime.  Res64: 060F8879A6896723  Time : 0.0 sec.
user=odicin
[2011-09-08 04:52:12]
551*2^1031982-1 is not prime.  Res64: DED2F07C8C47A087  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 04:59:14]
423*2^1031994-1 is not prime.  Res64: 9B75518B67912BAB  Time : 0.0 sec.
user=odicin
[2011-09-08 04:59:22]
569*2^1031992-1 is not prime.  Res64: 2875FA0214D0D740  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 05:02:35]
507*2^1031993-1 is not prime.  Res64: 77A9BBACDACC9095  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 05:02:50]
595*2^1031993-1 is not prime.  Res64: E19D806B06932CCD  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 05:06:44]
501*2^1031994-1 is not prime.  Res64: F41EDA350C1214E5  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 05:07:32]
525*2^1031990-1 is not prime.  Res64: D9E16E1F12806557  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 05:16:37]
411*2^1031995-1 is not prime.  Res64: 098A2EA4A65C374D  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 05:16:50]
513*2^1031994-1 is not prime.  Res64: 4359AD6852450D28  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 05:16:53]
481*2^1031995-1 is not prime.  Res64: 5E85478B8ACCB3E2  Time : 0.0 sec.
user=odicin
[2011-09-08 05:23:10]
573*2^1031994-1 is not prime.  Res64: B0B56D7FAED19993  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 05:24:28]
531*2^1031995-1 is not prime.  Res64: 3BEBD700DC1B615C  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 05:30:50]
427*2^1031997-1 is not prime.  Res64: 564021484871406D  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 05:30:57]
441*2^1031997-1 is not prime.  Res64: C7DD911614B78678  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 05:34:21]
567*2^1031996-1 is not prime.  Res64: 77E0FBDEF929ED7C  Time : 0.0 sec.
user=odicin
[2011-09-08 05:40:34]
469*2^1031997-1 is not prime.  Res64: 851D097A73D3ABC3  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 05:42:12]
549*2^1031997-1 is not prime.  Res64: 35B39A64A5CCE326  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 05:45:05]
441*2^1031999-1 is not prime.  Res64: 437F51CD227690FD  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 05:45:06]
411*2^1031999-1 is not prime.  Res64: F91FB54D2B17089A  Time : 0.0 sec.
user=odicin
[2011-09-08 05:47:02]
503*2^1031990-1 is not prime.  Res64: 9DE727AA5B66CB8D  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 05:48:32]
465*2^1031993-1 is not prime.  Res64: AE93A9E890EA5877  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 05:48:32]
451*2^1031999-1 is not prime.  Res64: 60137536CFEB8576  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 05:51:19]
563*2^1031996-1 is not prime.  Res64: FF19BE476DAAE4E6  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 05:56:14]
437*2^1032000-1 is not prime.  Res64: 5B4C48600C7D6D3E  Time : 0.0 sec.
user=odicin
[2011-09-08 06:02:27]
589*2^1031999-1 is not prime.  Res64: 0DF1EB1ECE638C91  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 06:02:34]
453*2^1032002-1 is not prime.  Res64: 116B23E53A730A62  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 06:02:49]
539*2^1032000-1 is not prime.  Res64: 5ABCC9888F78ACD1  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 06:02:49]
549*2^1032000-1 is not prime.  Res64: BCBD2D26F4D44191  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 06:10:15]
453*2^1032003-1 is not prime.  Res64: 18B6EE6CC327EA02  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 06:16:47]
443*2^1032004-1 is not prime.  Res64: D324C86B3152BB47  Time : 0.0 sec.
user=odicin
[2011-09-08 06:16:47]
507*2^1031994-1 is not prime.  Res64: 60BED5779E8C04FC  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 06:20:09]
591*2^1032003-1 is not prime.  Res64: E70350D0F8E4ECE0  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 06:20:28]
513*2^1032004-1 is not prime.  Res64: 7B83BE28AD725250  Time : 0.0 sec.
user=odicin
[2011-09-08 06:25:45]
571*2^1032003-1 is not prime.  Res64: D6998D3DFE340C7A  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 06:27:19]
477*2^1032002-1 is not prime.  Res64: 3BF235347E3FAF16  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 06:27:57]
549*2^1032004-1 is not prime.  Res64: 20DFAF114ACA605A  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 06:30:52]
421*2^1032005-1 is not prime.  Res64: 60D39F8D0A3170D0  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 06:34:19]
445*2^1032005-1 is not prime.  Res64: C80B8F8C87206FA2  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 06:34:43]
459*2^1032005-1 is not prime.  Res64: F9BD5981B02DE2A0  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 06:42:10]
471*2^1032007-1 is not prime.  Res64: 770433093FC7A4E6  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 06:44:55]
483*2^1032007-1 is not prime.  Res64: 9E61DFC227959ED5  Time : 0.0 sec.
user=odicin
[2011-09-08 06:45:16]
447*2^1032006-1 is not prime.  Res64: 7D959C60EFF09FCE  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 06:51:56]
493*2^1032007-1 is not prime.  Res64: 756FEB3E0FC5FF0C  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 06:52:22]
511*2^1032007-1 is not prime.  Res64: 8CF42C06D506F66C  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 06:57:00]
423*2^1032002-1 is not prime.  Res64: 4A4BB21BABA6E33E  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 06:58:49]
435*2^1032008-1 is not prime.  Res64: 5A336363041FDFB2  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 06:59:38]
531*2^1032007-1 is not prime.  Res64: E362475EC7E82089  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 07:03:15]
433*2^1032007-1 is not prime.  Res64: 8F473E661337CD5B  Time : 0.0 sec.
user=odicin
[2011-09-08 07:07:26]
507*2^1032008-1 is not prime.  Res64: 6F37078E39182DE6  Time : 0.0 sec.
user=odicin
[2011-09-08 07:07:27]
567*2^1032000-1 is not prime.  Res64: D6E324A039D66C02  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 07:09:31]
537*2^1032008-1 is not prime.  Res64: 9674CB86B2C20D07  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 07:10:03]
539*2^1032008-1 is not prime.  Res64: 5C6107AA707F579F  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 07:12:50]
447*2^1032009-1 is not prime.  Res64: ED9B3F62CB60F3C4  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 07:13:41]
425*2^1032010-1 is not prime.  Res64: 0F9B273568F38FF1  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 07:23:42]
423*2^1032012-1 is not prime.  Res64: F3AEA7CADC4AFF56  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 07:24:21]
453*2^1032012-1 is not prime.  Res64: 66DDFA2E9212DF86  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 07:27:00]
479*2^1032012-1 is not prime.  Res64: 94BC05C96E1F8F45  Time : 0.0 sec.
user=odicin
[2011-09-08 07:29:29]
585*2^1032011-1 is not prime.  Res64: 9EC65957A2316DCA  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 07:31:27]
503*2^1032012-1 is not prime.  Res64: 0936755AB0668E48  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 07:38:19]
481*2^1032013-1 is not prime.  Res64: 791059B46ECB0837  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 07:41:16]
557*2^1032012-1 is not prime.  Res64: E636825D3AC8CA26  Time : 0.0 sec.
user=odicin
[2011-09-08 07:41:38]
593*2^1032004-1 is not prime.  Res64: 8673F155F19096FC  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 07:44:38]
595*2^1032013-1 is not prime.  Res64: 3029E6E443B51D97  Time : 0.0 sec.
user=odicin
[2011-09-08 07:46:35]
407*2^1032014-1 is not prime.  Res64: 6BA617BEC0F65DE5  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 07:47:11]
513*2^1032010-1 is not prime.  Res64: ECB2995800F9221B  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 07:49:04]
573*2^1032014-1 is not prime.  Res64: E8700383F1417170  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 07:52:20]
405*2^1032015-1 is not prime.  Res64: 90562593214006A9  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 07:55:18]
465*2^1032015-1 is not prime.  Res64: E420B72BB5770FCE  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 08:02:21]
523*2^1032015-1 is not prime.  Res64: 1494F8710C04B6EE  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 08:03:01]
465*2^1032016-1 is not prime.  Res64: FF0322518EE764F6  Time : 0.0 sec.
user=odicin
[2011-09-08 08:09:32]
585*2^1032015-1 is not prime.  Res64: 38D488EF24E74C01  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 08:09:52]
527*2^1032016-1 is not prime.  Res64: DD149C11C34D5A75  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 08:12:47]
569*2^1032016-1 is not prime.  Res64: 758A40D087C61427  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 08:19:55]
495*2^1032017-1 is not prime.  Res64: 1EA61E40DD16573D  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 08:20:33]
517*2^1032017-1 is not prime.  Res64: 9BDCE80DDBEC0EB0  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 08:23:12]
437*2^1032016-1 is not prime.  Res64: 2F6714095FDA3816  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 08:23:59]
405*2^1032018-1 is not prime.  Res64: FA6E342B2E1F796A  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 08:26:51]
447*2^1032018-1 is not prime.  Res64: DBA5BD8B01168EF6  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 08:27:38]
599*2^1032008-1 is not prime.  Res64: 1BD4CD6414E0F446  Time : 0.0 sec.
user=odicin
[2011-09-08 08:29:43]
595*2^1032011-1 is not prime.  Res64: D9ADCE1CE0D601B9  Time : 0.0 sec.
user=odicin
[2011-09-08 08:32:32]
595*2^1032017-1 is not prime.  Res64: 0E25014F13AAB4B7  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 08:34:06]
465*2^1032018-1 is not prime.  Res64: 3C46F8DB2B3773F5  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 08:38:08]
481*2^1032019-1 is not prime.  Res64: 27F6A2603043E429  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 08:38:19]
585*2^1032018-1 is not prime.  Res64: F60483E124840D26  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 08:41:02]
413*2^1032020-1 is not prime.  Res64: 07630F531D0CE446  Time : 0.0 sec.
user=odicin
[2011-09-08 08:46:20]
481*2^1032015-1 is not prime.  Res64: 3D7849453065BC8D  Time : 0.0 sec.
user=odicin
[2011-09-08 08:48:37]
479*2^1032020-1 is not prime.  Res64: 070FB561560EEF9A  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 08:51:40]
519*2^1032020-1 is not prime.  Res64: 1506F7CACB04276B  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 08:52:04]
471*2^1032021-1 is not prime.  Res64: E998C4C11DA3FBCA  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 08:55:53]
499*2^1032021-1 is not prime.  Res64: 39ADD5775436F273  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 08:58:35]
517*2^1032021-1 is not prime.  Res64: 4B10B7C3FA86318A  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 08:59:12]
441*2^1032019-1 is not prime.  Res64: 1BCF9595D2A78D0C  Time : 0.0 sec.
user=odicin
[2011-09-08 09:05:17]
435*2^1032022-1 is not prime.  Res64: E59FCD866B02AD53  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 09:05:42]
419*2^1032024-1 is not prime.  Res64: 3DE2E8F03AAC2B3E  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 09:09:47]
525*2^1032024-1 is not prime.  Res64: A648CE36C5A6CD6C  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 09:10:02]
411*2^1032025-1 is not prime.  Res64: BAC43AA4249AF01E  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 09:12:40]
415*2^1032025-1 is not prime.  Res64: D262B685F14D4452  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 09:23:30]
561*2^1032025-1 is not prime.  Res64: 9BCC968F7036F139  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 09:23:53]
431*2^1032026-1 is not prime.  Res64: E2F9C458FDB3B682  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 09:24:01]
447*2^1032026-1 is not prime.  Res64: F45BBC48FE659CCF  Time : 0.0 sec.
user=odicin
[2011-09-08 09:26:19]
525*2^1032025-1 is not prime.  Res64: EDF45108AF224981  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 09:30:23]
587*2^1032026-1 is not prime.  Res64: 913C40138677EAC2  Time : 0.0 sec.
user=odicin
[2011-09-08 09:34:34]
425*2^1032020-1 is not prime.  Res64: 7E8D1194C337CE61  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 09:34:45]
423*2^1032020-1 is not prime.  Res64: 7EA88D2382874D4A  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 09:35:10]
465*2^1032025-1 is not prime.  Res64: AF4594E09C31A3C0  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 09:37:38]
429*2^1032027-1 is not prime.  Res64: 604FF4D6D6CAFEF6  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 09:37:58]
471*2^1032027-1 is not prime.  Res64: 259EE71FFA166418  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 09:41:44]
495*2^1032028-1 is not prime.  Res64: 51A5ED83EE1BB2CD  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 09:44:32]
411*2^1032029-1 is not prime.  Res64: C59D3AC0BD4FFBFB  Time : 0.0 sec.
user=odicin
[2011-09-08 09:47:52]
401*2^1032022-1 is not prime.  Res64: D5770E146F1AE5B1  Time : 0.0 sec.
user=odicin
[2011-09-08 09:48:09]
533*2^1032028-1 is not prime.  Res64: 3CA9136503CD3FE8  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 09:51:35]
437*2^1032030-1 is not prime.  Res64: 6132D020E4CA027C  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 09:55:36]
501*2^1032030-1 is not prime.  Res64: D196D61B41B4F52C  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 09:59:17]
521*2^1032030-1 is not prime.  Res64: F52D61C3120E92A2  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 10:02:08]
581*2^1032030-1 is not prime.  Res64: F6953C60E05F2CB8  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 10:05:32]
465*2^1032031-1 is not prime.  Res64: 57A6A775F274DA67  Time : 0.0 sec.
user=odicin
[2011-09-08 10:05:48]
453*2^1032031-1 is not prime.  Res64: 4F52D895DE81E361  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 10:11:11]
423*2^1032030-1 is not prime.  Res64: 551A32ECA911691B  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 10:13:14]
549*2^1032031-1 is not prime.  Res64: 9B206353F9A80502  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 10:13:15]
489*2^1032032-1 is not prime.  Res64: E0CAD6C13499D4EB  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 10:19:46]
507*2^1032032-1 is not prime.  Res64: B4A81FF2253921D5  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 10:23:12]
573*2^1032032-1 is not prime.  Res64: 157F0A891A430DCB  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 10:27:17]
425*2^1032034-1 is not prime.  Res64: 130F55701D058BE0  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 10:27:18]
453*2^1032034-1 is not prime.  Res64: 29CED72010061C98  Time : 0.0 sec.
user=odicin
[2011-09-08 10:28:20]
517*2^1032033-1 is not prime.  Res64: 9170125626031E8F  Time : 0.0 sec.
user=odicin
[2011-09-08 10:34:24]
465*2^1032029-1 is not prime.  Res64: CBD37C474F03AAB6  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 10:37:22]
495*2^1032034-1 is not prime.  Res64: DF8CBDF2552A37FA  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 10:40:46]
531*2^1032034-1 is not prime.  Res64: 4140FAFF21CF2304  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 10:44:48]
567*2^1032034-1 is not prime.  Res64: B704B2F2DF6A6AFE  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 10:44:52]
561*2^1032034-1 is not prime.  Res64: F78B9FB7DC1BC46C  Time : 0.0 sec.
user=odicin
[2011-09-08 10:50:27]
587*2^1032034-1 is not prime.  Res64: FE605F65469AD96F  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 10:51:15]
489*2^1032035-1 is not prime.  Res64: 98B1FC1EF61C1EF7  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 10:58:27]
501*2^1032035-1 is not prime.  Res64: ED1375B070773D51  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 10:58:46]
479*2^1032036-1 is not prime.  Res64: D5F42785E7A32644  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 10:58:58]
525*2^1032029-1 is not prime.  Res64: 9A51423DE3129BF0  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 11:02:37]
527*2^1032036-1 is not prime.  Res64: 147F536158161F58  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 11:02:39]
549*2^1032033-1 is not prime.  Res64: 6A326B44C7F9F0AE  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 11:05:13]
429*2^1032037-1 is not prime.  Res64: 1F46EC66D6ED3F92  Time : 0.0 sec.
user=odicin
[2011-09-08 11:11:49]
593*2^1032030-1 is not prime.  Res64: B9A856C8682AC3CD  Time : 0.0 sec.
user=odicin
[2011-09-08 11:14:52]
557*2^1032036-1 is not prime.  Res64: 094DB9AAFC50156F  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 11:16:03]
551*2^1032038-1 is not prime.  Res64: 6D8D19F48FC70AD5  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 11:16:19]
585*2^1032038-1 is not prime.  Res64: EE791A34A7D52AD2  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 11:19:10]
477*2^1032041-1 is not prime.  Res64: CDE39E5775EB2E09  Time : 0.0 sec.
user=gd_barnes
[2011-09-08 11:19:24]
489*2^1032040-1 is not prime.  Res64: 4731B4C495BE93FE  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 11:20:13]
563*2^1032040-1 is not prime.  Res64: A60419CB2E1DFA72  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 11:33:30]
549*2^1032041-1 is not prime.  Res64: A87713C8798BAF98  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 11:33:47]
503*2^1032042-1 is not prime.  Res64: C6C99C16C6FD3C19  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 11:36:35]
513*2^1032042-1 is not prime.  Res64: 91EE6B6041731FE6  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 11:37:45]
521*2^1032042-1 is not prime.  Res64: 733627738805FC09  Time : 0.0 sec.
user=odicin
[2011-09-08 11:37:55]
525*2^1032041-1 is not prime.  Res64: AE763064EF940992  Time : 0.0 sec.
user=odicin
[2011-09-08 11:40:02]
445*2^1032035-1 is not prime.  Res64: 4A105CA34A70D4B6  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 11:46:46]
475*2^1032041-1 is not prime.  Res64: 8DA09EFB402304BA  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 11:48:10]
489*2^1032043-1 is not prime.  Res64: 9D2AEAD4027BD385  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 11:48:27]
411*2^1032043-1 is not prime.  Res64: 795436E28896527F  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 11:54:56]
519*2^1032043-1 is not prime.  Res64: 71111EC8FB8DE8D0  Time : 0.0 sec.
user=odicin
[2011-09-08 11:55:47]
473*2^1032044-1 is not prime.  Res64: C5389BCAF9322DE3  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 11:56:06]
553*2^1032043-1 is not prime.  Res64: 78BD897083A72458  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 12:02:56]
465*2^1032045-1 is not prime.  Res64: ACD3A7E037A31985  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 12:06:04]
587*2^1032044-1 is not prime.  Res64: 952F9119392E383A  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 12:09:07]
447*2^1032046-1 is not prime.  Res64: 34B2AEADBAC88BF5  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 12:10:15]
483*2^1032046-1 is not prime.  Res64: 56AD7A451C33E7DB  Time : 0.0 sec.
user=odicin
[2011-09-08 12:12:30]
461*2^1032046-1 is not prime.  Res64: 23C663BDE57FEE41  Time : 0.0 sec.
user=odicin
[2011-09-08 12:15:14]
487*2^1032041-1 is not prime.  Res64: E67CC3D804869A0F  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 12:18:47]
467*2^1032040-1 is not prime.  Res64: 24809CD166319165  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 12:20:16]
441*2^1032047-1 is not prime.  Res64: 50E1D83DE256C1BE  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 12:20:44]
503*2^1032046-1 is not prime.  Res64: 232FB2A1A008AEE6  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 12:24:22]
485*2^1032048-1 is not prime.  Res64: 5D593B1F44D89BED  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 12:26:46]
523*2^1032047-1 is not prime.  Res64: 169C487C4533F8BA  Time : 0.0 sec.
user=odicin
[2011-09-08 12:34:04]
507*2^1032048-1 is not prime.  Res64: 28F90D40284FF8FD  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 12:34:24]
507*2^1032044-1 is not prime.  Res64: AAF999A0E8649980  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 12:37:47]
511*2^1032049-1 is not prime.  Res64: A5677C03C785D977  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 12:38:12]
525*2^1032050-1 is not prime.  Res64: 9FB0142DBC2E4B99  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 12:41:49]
545*2^1032050-1 is not prime.  Res64: 50454C04B4E3B928  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 12:44:11]
561*2^1032050-1 is not prime.  Res64: FFECC1C7BE0E481F  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 12:55:15]
569*2^1032052-1 is not prime.  Res64: 8C91B71F7C164107  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 12:55:41]
579*2^1032052-1 is not prime.  Res64: 0FE9468E3E835E05  Time : 0.0 sec.
user=odicin
[2011-09-08 12:56:22]
529*2^1032051-1 is not prime.  Res64: 2AB2993C4C6D19EB  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 12:59:18]
529*2^1032053-1 is not prime.  Res64: A04A7186BECC9844  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 13:01:43]
567*2^1032053-1 is not prime.  Res64: 71FA309A23A0A289  Time : 0.0 sec.
user=odicin
[2011-09-08 13:06:52]
503*2^1032044-1 is not prime.  Res64: 5200E45744960B3D  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 13:09:34]
411*2^1032054-1 is not prime.  Res64: 027DBA88D9AF0326  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 13:12:48]
589*2^1032053-1 is not prime.  Res64: F6A57D900DC8C44D  Time : 0.0 sec.
user=odicin
[2011-09-08 13:13:51]
437*2^1032054-1 is not prime.  Res64: 8EEAD58E96803C21  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 13:14:37]
489*2^1032051-1 is not prime.  Res64: 951DCA756DFB7336  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 13:16:51]
593*2^1032054-1 is not prime.  Res64: C9143D3EB596C2DC  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 13:19:23]
493*2^1032055-1 is not prime.  Res64: B43E1917879E4D8E  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 13:26:44]
459*2^1032056-1 is not prime.  Res64: AADBD519790E6289  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 13:27:11]
573*2^1032055-1 is not prime.  Res64: E0EF784DB41649C4  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 13:34:32]
539*2^1032056-1 is not prime.  Res64: 12ED5794F18E7E58  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 13:37:05]
573*2^1032056-1 is not prime.  Res64: 98D80B233A3F81E0  Time : 0.0 sec.
user=odicin
[2011-09-08 13:40:53]
569*2^1032048-1 is not prime.  Res64: AFAC76289F5C4FCB  Time : 0.0 sec.
user=odicin
[2011-09-08 13:41:09]
519*2^1032056-1 is not prime.  Res64: 592D7F2DB3AA15C5  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 13:41:20]
409*2^1032057-1 is not prime.  Res64: A803CBFEDF3F306E  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 13:45:04]
549*2^1032057-1 is not prime.  Res64: 06C32A6AFEBE73B8  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 13:48:29]
465*2^1032049-1 is not prime.  Res64: 7CEC7F00B8977C7B  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 13:49:07]
453*2^1032058-1 is not prime.  Res64: 3D775D28926249CC  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 13:51:23]
491*2^1032058-1 is not prime.  Res64: 4D5BAD22CCD8A902  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 13:59:26]
573*2^1032058-1 is not prime.  Res64: C071CE51B98EDAC3  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 14:00:01]
445*2^1032059-1 is not prime.  Res64: CBE2C76B8BE7EEBA  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 14:03:36]
437*2^1032060-1 is not prime.  Res64: 0AD9FC8ABCFB7C0D  Time : 0.0 sec.
user=odicin
[2011-09-08 14:05:46]
561*2^1032058-1 is not prime.  Res64: B966C78BF6A5073F  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 14:05:53]
427*2^1032061-1 is not prime.  Res64: CF51F622FD8A67EA  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 14:10:31]
525*2^1032056-1 is not prime.  Res64: F5F07308AE12B8F1  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 14:13:41]
439*2^1032061-1 is not prime.  Res64: 7834E4E1859B66AC  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 14:18:10]
531*2^1032061-1 is not prime.  Res64: 2F1A3F95EAF9F06C  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 14:21:32]
547*2^1032061-1 is not prime.  Res64: 79C4B445D085AD07  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 14:23:46]
573*2^1032062-1 is not prime.  Res64: 1DB4CE88641095F6  Time : 0.0 sec.
user=odicin
[2011-09-08 14:27:23]
557*2^1032062-1 is not prime.  Res64: 38AE376FA2F099ED  Time : 0.0 sec.
user=odicin
[2011-09-08 14:29:41]
499*2^1032055-1 is not prime.  Res64: 554BD5ABA527C222  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 14:31:43]
495*2^1032064-1 is not prime.  Res64: 601F2A768A200898  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 14:35:38]
421*2^1032065-1 is not prime.  Res64: 32DA4CE84DCD526D  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 14:36:27]
587*2^1032064-1 is not prime.  Res64: 338F205ECF2817DE  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 14:41:37]
511*2^1032065-1 is not prime.  Res64: 5E76DCEE6C966EF6  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 14:46:10]
411*2^1032066-1 is not prime.  Res64: FE60972B91046518  Time : 0.0 sec.
user=odicin
[2011-09-08 14:48:40]
525*2^1032065-1 is not prime.  Res64: 2FD19A85249D76E5  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 14:50:13]
471*2^1032067-1 is not prime.  Res64: 77B2CAD4E78FA2D4  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 14:54:20]
511*2^1032067-1 is not prime.  Res64: AB66A1ECB0CFC15E  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 14:59:31]
583*2^1032067-1 is not prime.  Res64: 6BA8912D7D8726DB  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 15:00:31]
465*2^1032068-1 is not prime.  Res64: BF20E30646377295  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 15:05:02]
591*2^1032063-1 is not prime.  Res64: 8436E88E3D662693  Time : 0.0 sec.
user=odicin
[2011-09-08 15:05:08]
479*2^1032068-1 is not prime.  Res64: C23B72F41B5320CE  Time : 0.0 sec.
user=odicin
[2011-09-08 15:07:52]
525*2^1032058-1 is not prime.  Res64: 136F58ED370022FC  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 15:07:59]
495*2^1032068-1 is not prime.  Res64: 2B9581BB911914AF  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 15:12:20]
585*2^1032068-1 is not prime.  Res64: 2E5571C165E73704  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 15:17:11]
537*2^1032069-1 is not prime.  Res64: DD26BA86F29C4B49  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 15:18:14]
521*2^1032070-1 is not prime.  Res64: 45B3DFA39C0EEF4B  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 15:25:56]
531*2^1032071-1 is not prime.  Res64: D9A591CFCA6D3780  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 15:26:40]
423*2^1032072-1 is not prime.  Res64: 943943E5D6540162  Time : 0.0 sec.
user=gd_barnes
[2011-09-08 15:27:07]
419*2^1032072-1 is not prime.  Res64: 8674D9E42399BA1C  Time : 0.0 sec.
user=odicin
[2011-09-08 15:28:51]
591*2^1032070-1 is not prime.  Res64: 7A161E2904043CB2  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 15:31:26]
425*2^1032072-1 is not prime.  Res64: 353A34D611E1014E  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 15:36:26]
549*2^1032072-1 is not prime.  Res64: 73AAB72A760810CE  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 15:40:25]
439*2^1032073-1 is not prime.  Res64: CEB7FF3E3B6D2D98  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 15:41:17]
495*2^1032059-1 is not prime.  Res64: 13DF46DDC5F72D60  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 15:44:47]
507*2^1032073-1 is not prime.  Res64: 2FC177AC64A9EDF2  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 15:45:59]
407*2^1032074-1 is not prime.  Res64: 3B46B51E5330F97B  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 15:48:55]
445*2^1032071-1 is not prime.  Res64: 9CDA1D0574CD7588  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 15:51:04]
405*2^1032075-1 is not prime.  Res64: B29E283B16ECEB6A  Time : 0.0 sec.
user=odicin
[2011-09-08 15:51:42]
541*2^1032073-1 is not prime.  Res64: E508B72B0670C0D1  Time : 0.0 sec.
user=odicin
[2011-09-08 15:53:48]
565*2^1032065-1 is not prime.  Res64: EF0724763834074A  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 15:55:03]
429*2^1032075-1 is not prime.  Res64: 0BECBB7AD82FFB7E  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 15:59:18]
405*2^1032077-1 is not prime.  Res64: 787A066E88AE8C94  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 16:00:36]
487*2^1032077-1 is not prime.  Res64: 84FF77BE1E5DA618  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 16:05:35]
401*2^1032078-1 is not prime.  Res64: 301FF84264D08C80  Time : 0.0 sec.
user=odicin
[2011-09-08 16:08:23]
465*2^1032078-1 is not prime.  Res64: 4F6A9C2DFAF4A0F1  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 16:13:07]
495*2^1032078-1 is not prime.  Res64: 00B4B44EB2BF87FA  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 16:17:05]
507*2^1032078-1 is not prime.  Res64: 5F464957A7B30E80  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 16:18:35]
585*2^1032078-1 is not prime.  Res64: 0C54772C6547FE2C  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 16:23:24]
525*2^1032080-1 is not prime.  Res64: 3CE9C6D196D11FE4  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 16:31:10]
517*2^1032081-1 is not prime.  Res64: 3D3EEE9C9EF79EE8  Time : 0.0 sec.
user=odicin
[2011-09-08 16:33:20]
585*2^1032080-1 is not prime.  Res64: 329DAACBE87568B5  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 16:35:07]
565*2^1032081-1 is not prime.  Res64: 8426DD98F62D41C9  Time : 0.0 sec.
user=odicin
[2011-09-08 16:35:08]
493*2^1032071-1 is not prime.  Res64: 4BFF3FE5186C8957  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 16:35:12]
549*2^1032077-1 is not prime.  Res64: 45C17BC11502B436  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 16:36:26]
585*2^1032081-1 is not prime.  Res64: BCB8B28D15DFD592  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 16:37:54]
425*2^1032082-1 is not prime.  Res64: FA198130188851E9  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 16:45:22]
437*2^1032082-1 is not prime.  Res64: 78E7746105902A7D  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 16:52:58]
507*2^1032082-1 is not prime.  Res64: 9EC1E810E5B8526F  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 16:54:28]
573*2^1032083-1 is not prime.  Res64: 7718983456C8FE31  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 16:55:58]
589*2^1032083-1 is not prime.  Res64: ED1B34404003174B  Time : 0.0 sec.
user=odicin
[2011-09-08 16:56:53]
477*2^1032082-1 is not prime.  Res64: D0BCB3EDDF318002  Time : 0.0 sec.
user=odicin
[2011-09-08 16:57:56]
485*2^1032078-1 is not prime.  Res64: 2384FE0568F350FF  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 17:03:22]
503*2^1032084-1 is not prime.  Res64: DB5330D15CA0A87F  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 17:04:47]
453*2^1032075-1 is not prime.  Res64: 0237FAE1032A37D5  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 17:10:29]
421*2^1032085-1 is not prime.  Res64: B7FDEF4255732C1B  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 17:11:04]
555*2^1032084-1 is not prime.  Res64: 217DA0121980F8EF  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 17:12:27]
563*2^1032084-1 is not prime.  Res64: 01D2F8BFB3DFA4C1  Time : 0.0 sec.
user=odicin
[2011-09-08 17:17:46]
471*2^1032085-1 is not prime.  Res64: 2CC5550CEF48A0C1  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 17:18:01]
489*2^1032085-1 is not prime.  Res64: 274DC7F54D4D07D3  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 17:21:53]
523*2^1032083-1 is not prime.  Res64: D13B1235EFBC94F4  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 17:25:04]
405*2^1032086-1 is not prime.  Res64: B6AD77971CA56AD8  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 17:25:50]
425*2^1032086-1 is not prime.  Res64: C4BAFAF097455B2E  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 17:27:00]
437*2^1032086-1 is not prime.  Res64: F6C789A14EECDC04  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 17:32:43]
477*2^1032086-1 is not prime.  Res64: 80598E7F8DE2544B  Time : 0.0 sec.
user=odicin
[2011-09-08 17:36:09]
455*2^1032086-1 is not prime.  Res64: 4996253CEF98ABC9  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 17:40:44]
405*2^1032087-1 is not prime.  Res64: 0C3D5C64272F1A19  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 17:41:32]
445*2^1032087-1 is not prime.  Res64: B97B04DC7B8C7C6A  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 17:43:23]
567*2^1032086-1 is not prime.  Res64: 25D4662439830B8B  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 17:47:51]
451*2^1032087-1 is not prime.  Res64: 7F9F2FEA34B59E3D  Time : 0.0 sec.
user=odicin
[2011-09-08 17:53:00]
469*2^1032087-1 is not prime.  Res64: F6FB59B314F7A28B  Time : 0.0 sec.
user=odicin
[2011-09-08 17:53:46]
495*2^1032082-1 is not prime.  Res64: C450759A58C677B9  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 17:55:27]
489*2^1032087-1 is not prime.  Res64: 48CB6E14CCA143E9  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 17:58:08]
479*2^1032088-1 is not prime.  Res64: 1FFF956BD35CADE6  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 18:00:14]
513*2^1032087-1 is not prime.  Res64: 82B98A5E0E4CD5D9  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 18:02:37]
439*2^1032089-1 is not prime.  Res64: 1340B7914DEF7E27  Time : 0.0 sec.
user=odicin
[2011-09-08 18:05:06]
477*2^1032085-1 is not prime.  Res64: F6C7F623C7B0DCDE  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 18:08:12]
515*2^1032086-1 is not prime.  Res64: 47F62510C07B1FFE  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 18:12:40]
443*2^1032090-1 is not prime.  Res64: FC03843F57900966  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 18:13:56]
579*2^1032089-1 is not prime.  Res64: 32BB64D6177EE06D  Time : 0.0 sec.
user=odicin
[2011-09-08 18:14:13]
495*2^1032089-1 is not prime.  Res64: 44E840382F593426  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 18:14:46]
453*2^1032090-1 is not prime.  Res64: A3110E8A5144EB24  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 18:21:02]
495*2^1032090-1 is not prime.  Res64: E58A05E44D0BAD39  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 18:27:19]
415*2^1032091-1 is not prime.  Res64: B6E771A483FD26C5  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 18:28:38]
441*2^1032091-1 is not prime.  Res64: C189FD4129D10BBC  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 18:29:24]
447*2^1032092-1 is not prime.  Res64: 22D1ED3AC98BCEED  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 18:35:30]
471*2^1032093-1 is not prime.  Res64: 78503DC92BC6A023  Time : 0.0 sec.
user=odicin
[2011-09-08 18:36:01]
495*2^1032091-1 is not prime.  Res64: 9FA88E32839610D2  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 18:42:57]
413*2^1032094-1 is not prime.  Res64: 344CA541E1B09ED5  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 18:43:48]
411*2^1032095-1 is not prime.  Res64: 4C44B753B8806863  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 18:44:13]
405*2^1032091-1 is not prime.  Res64: D5809A0A44B4258D  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 18:45:16]
495*2^1032093-1 is not prime.  Res64: A9C85B7DC73B6DD9  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 18:49:44]
469*2^1032095-1 is not prime.  Res64: 6576ABA9999D5451  Time : 0.0 sec.
user=odicin
[2011-09-08 18:53:28]
475*2^1032095-1 is not prime.  Res64: 9F9E79FF88AD855F  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 18:53:48]
597*2^1032085-1 is not prime.  Res64: 8903C39AED4D9585  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 18:59:25]
437*2^1032096-1 is not prime.  Res64: D9D484207A2708FE  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 19:00:45]
543*2^1032095-1 is not prime.  Res64: A8B32052D3341987  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 19:01:34]
553*2^1032095-1 is not prime.  Res64: BA79B01D48AA2C7E  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 19:03:56]
473*2^1032096-1 is not prime.  Res64: 23E1F3DFC037B009  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 19:14:57]
447*2^1032100-1 is not prime.  Res64: 8F7E424439EA3834  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 19:15:47]
489*2^1032100-1 is not prime.  Res64: 9BE467F3DD0A1E5D  Time : 0.0 sec.
user=odicin
[2011-09-08 19:16:21]
509*2^1032096-1 is not prime.  Res64: E782DE595507E2BA  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 19:17:13]
523*2^1032099-1 is not prime.  Res64: 4F93BE8A7FE46BFE  Time : 0.0 sec.
user=odicin
[2011-09-08 19:18:50]
571*2^1032089-1 is not prime.  Res64: FE68ABD79E310705  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 19:21:56]
545*2^1032100-1 is not prime.  Res64: 2A18A90124804051  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 19:28:13]
591*2^1032095-1 is not prime.  Res64: 4DB0B63C9CB8F487  Time : 0.0 sec.
user=odicin
[2011-09-08 19:29:07]
501*2^1032090-1 is not prime.  Res64: 99151CF460256060  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 19:31:10]
483*2^1032103-1 is not prime.  Res64: 7734B77F536D7E35  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 19:32:37]
585*2^1032101-1 is not prime.  Res64: 7E9AC103AFFB1866  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 19:33:29]
507*2^1032102-1 is not prime.  Res64: 329A7709B6821416  Time : 0.0 sec.
user=odicin
[2011-09-08 19:37:45]
567*2^1032102-1 is not prime.  Res64: F238D424F5654295  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 19:39:46]
589*2^1032103-1 is not prime.  Res64: 939C41F074D0D934  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 19:45:21]
415*2^1032105-1 is not prime.  Res64: 61772450C6007E25  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 19:46:54]
441*2^1032105-1 is not prime.  Res64: 3C247D2322539638  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 19:47:49]
475*2^1032105-1 is not prime.  Res64: 2218AFC75D9A1D16  Time : 0.0 sec.
user=odicin
[2011-09-08 19:54:23]
461*2^1032106-1 is not prime.  Res64: 449A6C6CA2A26AD5  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 19:57:32]
495*2^1032106-1 is not prime.  Res64: 193E927921165F93  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 20:03:00]
527*2^1032106-1 is not prime.  Res64: A0BD1BFE7CC9DFC5  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 20:04:11]
483*2^1032104-1 is not prime.  Res64: 3EBF7807D682CEB6  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 20:04:28]
575*2^1032106-1 is not prime.  Res64: 3340B2B82427EBD2  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 20:05:25]
523*2^1032107-1 is not prime.  Res64: E07B39AFA05FDB61  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 20:11:32]
473*2^1032108-1 is not prime.  Res64: EBC1F10118251F4E  Time : 0.0 sec.
user=odicin
[2011-09-08 20:17:15]
585*2^1032107-1 is not prime.  Res64: F0E01CBD78B3DEEB  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 20:17:46]
437*2^1032098-1 is not prime.  Res64: 23CD006E81DC54EC  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 20:19:58]
427*2^1032109-1 is not prime.  Res64: EFAB2FFF2C64FE36  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 20:21:27]
513*2^1032108-1 is not prime.  Res64: 5AD1ABDA6BD17894  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 20:23:06]
585*2^1032108-1 is not prime.  Res64: 65A9D0E5C81D89FD  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 20:26:24]
465*2^1032109-1 is not prime.  Res64: 9148524B56D616CE  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 20:39:12]
495*2^1032110-1 is not prime.  Res64: 5BFFD89B151EDF7D  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 20:40:23]
503*2^1032110-1 is not prime.  Res64: D63137C1718C122E  Time : 0.0 sec.
user=odicin
[2011-09-08 20:41:42]
565*2^1032109-1 is not prime.  Res64: 3AFBE2CD3C9020A5  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 20:42:33]
557*2^1032110-1 is not prime.  Res64: FCDD904403DA3616  Time : 0.0 sec.
user=odicin
[2011-09-08 20:43:52]
559*2^1032103-1 is not prime.  Res64: CEC43CE4D18B204B  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 20:45:31]
561*2^1032110-1 is not prime.  Res64: 78375D524E3B1734  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 20:48:52]
555*2^1032108-1 is not prime.  Res64: 2A549A446A6C6174  Time : 0.0 sec.
user=odicin
[2011-09-08 20:54:31]
599*2^1032104-1 is not prime.  Res64: EDB9C0666CAE1462  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 20:56:35]
405*2^1032111-1 is not prime.  Res64: 9974B2E59F04F4A1  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 20:58:54]
593*2^1032110-1 is not prime.  Res64: 533D2376049F3631  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 21:01:34]
595*2^1032111-1 is not prime.  Res64: F5FFE8084B8B5D65  Time : 0.0 sec.
user=odicin
[2011-09-08 21:01:54]
445*2^1032111-1 is not prime.  Res64: 37F6F5B749CF09CE  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 21:05:06]
495*2^1032114-1 is not prime.  Res64: B10698A37CF64CEB  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 21:11:46]
441*2^1032115-1 is not prime.  Res64: 5F75CCCDCAF014DD  Time : 0.0 sec.
user=odicin
[2011-09-08 21:12:33]
485*2^1032114-1 is not prime.  Res64: 4F32B487661A8B81  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 21:17:57]
437*2^1032116-1 is not prime.  Res64: F6448ECC15BB1AC2  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 21:19:29]
579*2^1032115-1 is not prime.  Res64: 1ACFDF496BB15C82  Time : 0.0 sec.
user=odicin
[2011-09-08 21:20:11]
459*2^1032116-1 is not prime.  Res64: 56E5FD89A06D2F47  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 21:24:26]
587*2^1032116-1 is not prime.  Res64: AEEC07C58C4FC9AB  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 21:31:15]
593*2^1032116-1 is not prime.  Res64: D9868E4CF80E7048  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 21:33:23]
525*2^1032114-1 is not prime.  Res64: B91A9E4DCB6C6374  Time : 0.0 sec.
user=odicin
[2011-09-08 21:37:07]
405*2^1032118-1 is not prime.  Res64: 4D3AE1AD639AF9FC  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 21:38:27]
517*2^1032117-1 is not prime.  Res64: 86E8C01B24EC3554  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 21:38:50]
595*2^1032117-1 is not prime.  Res64: 3BEA5B945D2878C4  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 21:40:23]
443*2^1032118-1 is not prime.  Res64: A22097CBFB54CEA9  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 21:41:16]
455*2^1032110-1 is not prime.  Res64: C4BC50C57E57A1E6  Time : 0.0 sec.
user=odicin
[2011-09-08 21:44:49]
495*2^1032117-1 is not prime.  Res64: 0D8FECFD767A103B  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 21:47:21]
453*2^1032118-1 is not prime.  Res64: 1878EACDA405357F  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 21:57:33]
581*2^1032118-1 is not prime.  Res64: 06182F2D3D40418E  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 21:57:44]
545*2^1032118-1 is not prime.  Res64: DEBEC403281FC630  Time : 0.0 sec.
user=odicin
[2011-09-08 21:58:04]
527*2^1032118-1 is not prime.  Res64: F1BB274634012BBF  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 22:00:51]
531*2^1032119-1 is not prime.  Res64: D0DDB95708007D6B  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 22:06:24]
509*2^1032120-1 is not prime.  Res64: 10D16265B7618DBE  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 22:09:18]
467*2^1032118-1 is not prime.  Res64: BED9645FA528580A  Time : 0.0 sec.
user=odicin
[2011-09-08 22:13:56]
559*2^1032113-1 is not prime.  Res64: EDD9A46B1DDB10C6  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 22:15:19]
525*2^1032120-1 is not prime.  Res64: 4D60A21568BAA363  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 22:15:25]
527*2^1032120-1 is not prime.  Res64: 0865933B9A469F06  Time : 0.0 sec.
user=odicin
[2011-09-08 22:16:42]
573*2^1032119-1 is not prime.  Res64: 6978A9816F315DD5  Time : 0.0 sec.
user=odicin
[2011-09-08 22:17:01]
531*2^1032114-1 is not prime.  Res64: 57DA08E4D57F7447  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 22:18:34]
597*2^1032120-1 is not prime.  Res64: 04BF9DEC94A05975  Time : 0.0 sec.
user=odicin
[2011-09-08 22:20:06]
537*2^1032120-1 is not prime.  Res64: 9B6A10AC577A6B39  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 22:20:32]
429*2^1032121-1 is not prime.  Res64: 3A6E81C83CB08BF1  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 22:32:46]
451*2^1032123-1 is not prime.  Res64: 4E02B3EF669E72CB  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 22:33:17]
495*2^1032122-1 is not prime.  Res64: 608C6CEF4E92A4B8  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 22:33:21]
591*2^1032121-1 is not prime.  Res64: F34D9DCA5981BE5F  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 22:34:42]
481*2^1032123-1 is not prime.  Res64: E84732126D1E8D0F  Time : 0.0 sec.
user=odicin
[2011-09-08 22:37:41]
475*2^1032123-1 is not prime.  Res64: 81A09B9A2BC3D470  Time : 0.0 sec.
user=odicin
[2011-09-08 22:42:14]
415*2^1032123-1 is not prime.  Res64: FF79A215E5B79BAA  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 22:47:22]
423*2^1032124-1 is not prime.  Res64: 37860425ABAA5224  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 22:50:27]
583*2^1032123-1 is not prime.  Res64: DAFF9349310E8882  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 22:51:03]
497*2^1032124-1 is not prime.  Res64: 91CB79D064E636A7  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 22:52:30]
533*2^1032124-1 is not prime.  Res64: D838013D2D31827D  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 22:54:30]
511*2^1032121-1 is not prime.  Res64: 55D7948D1CDF3AE2  Time : 0.0 sec.
user=odicin
[2011-09-08 22:59:24]
597*2^1032124-1 is not prime.  Res64: 4977102DB84DBBF9  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 23:01:21]
475*2^1032125-1 is not prime.  Res64: 7B87B8EDE149E934  Time : 0.0 sec.
user=odicin
[2011-09-08 23:07:51]
451*2^1032125-1 is not prime.  Res64: 58C826B71D4213F0  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 23:08:09]
507*2^1032125-1 is not prime.  Res64: 80486A42D332AEC8  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 23:08:39]
525*2^1032126-1 is not prime.  Res64: 31B4EE8E54CD9AF5  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 23:10:09]
557*2^1032126-1 is not prime.  Res64: 6EF574E8440DBEAC  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 23:19:04]
573*2^1032127-1 is not prime.  Res64: 7513F06EA9740250  Time : 0.0 sec.
user=odicin
[2011-09-08 23:20:43]
499*2^1032127-1 is not prime.  Res64: 3DE99427724F6F7A  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 23:22:45]
471*2^1032129-1 is not prime.  Res64: 3104489100172DC8  Time : 0.0 sec.
user=odicin
[2011-09-08 23:23:48]
433*2^1032123-1 is not prime.  Res64: DF37358D5A0E7B04  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 23:25:51]
507*2^1032128-1 is not prime.  Res64: E857A6FFAE6F7AB4  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 23:27:53]
501*2^1032129-1 is not prime.  Res64: 91E554ED1E16EA31  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 23:31:00]
571*2^1032119-1 is not prime.  Res64: 222CF403A74B6E38  Time : 0.0 sec.
user=Jean_Penne
[2011-09-08 23:31:54]
463*2^1032127-1 is not prime.  Res64: 6A4992E8D2B1D453  Time : 0.0 sec.
user=odicin
[2011-09-08 23:33:29]
437*2^1032128-1 is not prime.  Res64: 8F5A3AAD9A9C4F49  Time : 0.0 sec.
user=odicin
[2011-09-08 23:36:19]
517*2^1032121-1 is not prime.  Res64: 194F661DACAD0219  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 23:36:51]
559*2^1032129-1 is not prime.  Res64: 51806A38C048BFA6  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 23:39:59]
465*2^1032131-1 is not prime.  Res64: F6C933D63A2529ED  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 23:40:32]
581*2^1032130-1 is not prime.  Res64: 53AB64B819650011  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 23:42:06]
459*2^1032132-1 is not prime.  Res64: CCA3BE20BA3DC817  Time : 0.0 sec.
user=odicin
[2011-09-08 23:42:27]
575*2^1032130-1 is not prime.  Res64: 988E43093B7B109C  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 23:54:30]
519*2^1032133-1 is not prime.  Res64: 4ADEEF574993B9A5  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 23:57:36]
561*2^1032133-1 is not prime.  Res64: 34898BF285F46A25  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 23:58:09]
577*2^1032133-1 is not prime.  Res64: 666A9589C5D67593  Time : 0.0 sec.
user=odicin
[2011-09-08 23:59:08]
435*2^1032133-1 is not prime.  Res64: 6EEB7BEF5FBEDE4C  Time : 0.0 sec.
user=mdettweiler
[2011-09-08 23:59:42]
589*2^1032133-1 is not prime.  Res64: 38C76001A0E141CC  Time : 0.0 sec.
user=odicin
[2011-09-09 00:00:18]
411*2^1032134-1 is not prime.  Res64: D0AE00E063852242  Time : 0.0 sec.