user=mdettweiler
[2011-09-03 00:03:18]
531*2^1031099-1 is not prime.  Res64: 3BE0B2446D6B7BD2  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 00:04:06]
595*2^1031099-1 is not prime.  Res64: 0BD534A39B171020  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 00:05:44]
537*2^1031090-1 is not prime.  Res64: 16EF57C2A515B37F  Time : 0.0 sec.
user=odicin
[2011-09-03 00:06:21]
455*2^1031094-1 is not prime.  Res64: 551883B81E639025  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 00:08:29]
513*2^1031100-1 is not prime.  Res64: 884945EACFCB9073  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 00:10:07]
593*2^1031096-1 is not prime.  Res64: 296717358B8D6BDE  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 00:15:27]
549*2^1031100-1 is not prime.  Res64: 8ED0128A42C81386  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 00:18:25]
427*2^1031101-1 is not prime.  Res64: 733D28E8A32AB08D  Time : 0.0 sec.
user=odicin
[2011-09-03 00:20:41]
473*2^1031096-1 is not prime.  Res64: 5B57FF434A310259  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 00:21:21]
585*2^1031100-1 is not prime.  Res64: 3B0794135FDE1536  Time : 0.0 sec.
user=odicin
[2011-09-03 00:23:46]
527*2^1031100-1 is not prime.  Res64: AABF6F456785D9CA  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 00:26:26]
577*2^1031101-1 is not prime.  Res64: F292B302493AA39E  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 00:32:46]
475*2^1031105-1 is not prime.  Res64: 2BDAAE1B337E0A72  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 00:33:33]
583*2^1031103-1 is not prime.  Res64: 8C7D7F3EACB5CCA4  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 00:39:31]
567*2^1031106-1 is not prime.  Res64: 933F0CECC6E9D7A7  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 00:40:43]
489*2^1031107-1 is not prime.  Res64: CE5C8E4B99A31E7D  Time : 0.0 sec.
user=odicin
[2011-09-03 00:47:03]
593*2^1031106-1 is not prime.  Res64: 025881472EEBE558  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 00:47:11]
499*2^1031107-1 is not prime.  Res64: 3E0E1AD199311F61  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 00:51:37]
595*2^1031107-1 is not prime.  Res64: 1C6E0AC17459C3F8  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 00:53:57]
417*2^1031108-1 is not prime.  Res64: CF6E8B13DDC383CB  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 00:54:18]
571*2^1031103-1 is not prime.  Res64: B4A5BD57CD84F21B  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 00:58:43]
507*2^1031108-1 is not prime.  Res64: DE3863186F84491D  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 01:05:02]
525*2^1031109-1 is not prime.  Res64: D8E02782E4346BE9  Time : 0.0 sec.
user=odicin
[2011-09-03 01:08:31]
515*2^1031108-1 is not prime.  Res64: 85F430DA6FD488CC  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 01:09:30]
537*2^1031109-1 is not prime.  Res64: 78DFEF6EA541FCEC  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 01:11:52]
549*2^1031109-1 is not prime.  Res64: 68B5DD38FD452599  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 01:16:32]
533*2^1031110-1 is not prime.  Res64: 6E6C5807C19B466E  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 01:23:00]
597*2^1031110-1 is not prime.  Res64: 3EDFAEA4B30C9205  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 01:23:03]
469*2^1031101-1 is not prime.  Res64: 639A38A6421123E6  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 01:23:44]
453*2^1031111-1 is not prime.  Res64: E7FC9AD2B942E700  Time : 0.0 sec.
user=odicin
[2011-09-03 01:25:02]
411*2^1031111-1 is not prime.  Res64: 59E296BB2826F5CD  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 01:30:17]
511*2^1031113-1 is not prime.  Res64: FF4A24EB263F0A25  Time : 0.0 sec.
user=odicin
[2011-09-03 01:31:22]
525*2^1031101-1 is not prime.  Res64: F09460BD20F1B86D  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 01:35:34]
591*2^1031113-1 is not prime.  Res64: A3E398755882F399  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 01:38:22]
483*2^1031114-1 is not prime.  Res64: AF7376A32569778E  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 01:38:56]
527*2^1031110-1 is not prime.  Res64: F7923B17ECC546B6  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 01:41:23]
597*2^1031113-1 is not prime.  Res64: B5CBEA06C1B9E124  Time : 0.0 sec.
user=odicin
[2011-09-03 01:42:04]
497*2^1031114-1 is not prime.  Res64: 0B3D215036221784  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 01:44:40]
469*2^1031115-1 is not prime.  Res64: 7CFB5C2CB022D241  Time : 0.0 sec.
user=odicin
[2011-09-03 01:46:22]
525*2^1031106-1 is not prime.  Res64: B2D55C171FEDFAED  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 01:53:40]
579*2^1031115-1 is not prime.  Res64: EB686FC8EC9DC7E7  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 01:55:38]
475*2^1031117-1 is not prime.  Res64: AE41E9C1B5B00808  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 01:56:23]
545*2^1031116-1 is not prime.  Res64: 3A52252E2E7CF888  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 02:02:45]
549*2^1031117-1 is not prime.  Res64: 1829B8BB264A500D  Time : 0.0 sec.
user=odicin
[2011-09-03 02:04:38]
519*2^1031117-1 is not prime.  Res64: 17A480360B10F4F8  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 02:08:03]
489*2^1031119-1 is not prime.  Res64: D519087FEF007063  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 02:09:54]
493*2^1031119-1 is not prime.  Res64: 8B1495E7861767FB  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 02:14:32]
531*2^1031119-1 is not prime.  Res64: 746EDC69523900DD  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 02:20:49]
519*2^1031120-1 is not prime.  Res64: 76121F21CB376345  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 02:22:50]
569*2^1031116-1 is not prime.  Res64: 19BCE4F08CA4A441  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 02:24:21]
415*2^1031121-1 is not prime.  Res64: A5E3A734920968FF  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 02:26:12]
533*2^1031120-1 is not prime.  Res64: 379CF602F478764E  Time : 0.0 sec.
user=odicin
[2011-09-03 02:26:43]
525*2^1031120-1 is not prime.  Res64: 63DC13A3B667B4AA  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 02:29:07]
445*2^1031121-1 is not prime.  Res64: D2F5421F5AC9CF22  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 02:35:20]
459*2^1031121-1 is not prime.  Res64: 124E67E23267F316  Time : 0.0 sec.
user=odicin
[2011-09-03 02:36:12]
493*2^1031115-1 is not prime.  Res64: 17547C1AAA21B33E  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 02:38:42]
471*2^1031122-1 is not prime.  Res64: 69E322245C703A1D  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 02:40:07]
473*2^1031114-1 is not prime.  Res64: 8CACB26F68CEAB9E  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 02:44:28]
533*2^1031122-1 is not prime.  Res64: 8F243CD8BCC39D3F  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 02:47:11]
581*2^1031122-1 is not prime.  Res64: 17DD08CBC2FD6FBC  Time : 0.0 sec.
user=odicin
[2011-09-03 02:47:41]
567*2^1031122-1 is not prime.  Res64: 4AA7D85BD5413DFC  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 02:49:39]
411*2^1031123-1 is not prime.  Res64: 3CC69C60C012E7EF  Time : 0.0 sec.
user=odicin
[2011-09-03 02:51:10]
423*2^1031119-1 is not prime.  Res64: 2409B7857D3485D7  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 02:56:51]
519*2^1031123-1 is not prime.  Res64: EC0DCF3E92030BF8  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 02:58:42]
405*2^1031122-1 is not prime.  Res64: DDA275C9274C6C05  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 02:58:53]
453*2^1031124-1 is not prime.  Res64: EF1FFDE6A32EE548  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 03:04:01]
405*2^1031126-1 is not prime.  Res64: A2FE6B64F37DA498  Time : 0.0 sec.
user=odicin
[2011-09-03 03:04:14]
409*2^1031125-1 is not prime.  Res64: 1883AE417B7485BD  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 03:05:20]
593*2^1031124-1 is not prime.  Res64: FB3B8BFCF16A10EE  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 03:11:19]
473*2^1031126-1 is not prime.  Res64: 55C2503A051EF13D  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 03:17:07]
581*2^1031126-1 is not prime.  Res64: A5EB540E59CC7F14  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 03:18:33]
409*2^1031127-1 is not prime.  Res64: 3DB0A2387DFB07BA  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 03:19:57]
433*2^1031127-1 is not prime.  Res64: F5ABFAB44AAEEDC5  Time : 0.0 sec.
user=odicin
[2011-09-03 03:25:23]
423*2^1031127-1 is not prime.  Res64: 4D0BB08E4612840E  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 03:25:48]
493*2^1031127-1 is not prime.  Res64: E1DDBC97DE7920B7  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 03:31:33]
419*2^1031128-1 is not prime.  Res64: 12F4BCB79C1AC407  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 03:36:43]
559*2^1031129-1 is not prime.  Res64: 3165671CB50A3206  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 03:38:03]
577*2^1031129-1 is not prime.  Res64: A353BDA0EEE0611B  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 03:40:08]
431*2^1031130-1 is not prime.  Res64: B666CCE1251E560D  Time : 0.0 sec.
user=odicin
[2011-09-03 03:41:52]
445*2^1031123-1 is not prime.  Res64: DD3DA3C914F92B5E  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 03:42:38]
561*2^1031126-1 is not prime.  Res64: 7531CD9C77ACCA70  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 03:46:01]
453*2^1031130-1 is not prime.  Res64: FF897AEAA8568DF3  Time : 0.0 sec.
user=odicin
[2011-09-03 03:51:58]
589*2^1031129-1 is not prime.  Res64: DDAD3B67E6D26F89  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 03:52:29]
415*2^1031131-1 is not prime.  Res64: AEF93FD850F8BB1A  Time : 0.0 sec.
user=odicin
[2011-09-03 03:54:12]
455*2^1031126-1 is not prime.  Res64: EDD3C0185CC4B5FE  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 03:54:35]
453*2^1031131-1 is not prime.  Res64: 36A4498BFCC36D69  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 03:54:55]
501*2^1031130-1 is not prime.  Res64: AA63A26F07070FA5  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 04:04:12]
531*2^1031131-1 is not prime.  Res64: 0BBBD0BBB3F90EA2  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 04:06:53]
483*2^1031132-1 is not prime.  Res64: 260284F4166999DB  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 04:09:18]
495*2^1031133-1 is not prime.  Res64: 31C815CC1177D1FF  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 04:12:33]
599*2^1031132-1 is not prime.  Res64: BED46C44A4D7A0FC  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 04:18:43]
589*2^1031123-1 is not prime.  Res64: 947DA72687594717  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 04:21:08]
453*2^1031134-1 is not prime.  Res64: 285DDF06A1423419  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 04:22:16]
571*2^1031133-1 is not prime.  Res64: 4832BBC36763BC80  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 04:26:33]
519*2^1031131-1 is not prime.  Res64: 677997244DE0E419  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 04:27:14]
525*2^1031134-1 is not prime.  Res64: 67AF57E5D57DBDC2  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 04:30:27]
551*2^1031134-1 is not prime.  Res64: 4565EA4B0238CFFA  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 04:39:05]
523*2^1031135-1 is not prime.  Res64: 25FA476F097F2847  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 04:40:17]
543*2^1031135-1 is not prime.  Res64: 469B1709FC3C8276  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 04:41:32]
455*2^1031136-1 is not prime.  Res64: B62ADEAFA8064621  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 04:44:52]
473*2^1031136-1 is not prime.  Res64: 3B55DD0AFA31DD40  Time : 0.0 sec.
user=odicin
[2011-09-03 04:45:08]
483*2^1031131-1 is not prime.  Res64: 334DD91A998732FF  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 04:53:30]
479*2^1031136-1 is not prime.  Res64: 1E42BCD7C5EEA542  Time : 0.0 sec.
user=odicin
[2011-09-03 04:56:11]
495*2^1031132-1 is not prime.  Res64: A920323005B352E6  Time : 0.0 sec.
user=odicin
[2011-09-03 04:56:11]
413*2^1031132-1 is not prime.  Res64: DDD9D760773573E2  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 04:58:30]
513*2^1031136-1 is not prime.  Res64: F3402AE7AC1D29F2  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 04:59:13]
429*2^1031137-1 is not prime.  Res64: D12118E3156ACF9A  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 04:59:39]
585*2^1031136-1 is not prime.  Res64: 2B9FBEDE2ADBA9DD  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 05:02:29]
425*2^1031136-1 is not prime.  Res64: 1A276C6DEA5AF3BB  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 05:07:51]
425*2^1031138-1 is not prime.  Res64: F911CF7E492CDFE9  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 05:13:42]
437*2^1031140-1 is not prime.  Res64: 6819744FB97DC76F  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 05:14:13]
409*2^1031141-1 is not prime.  Res64: 1439E2732C61FBEA  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 05:16:45]
511*2^1031139-1 is not prime.  Res64: 8168849FADEBA235  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 05:22:18]
447*2^1031142-1 is not prime.  Res64: 8F59D1DC75E4941A  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 05:28:04]
429*2^1031143-1 is not prime.  Res64: F5EEB93E81948626  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 05:32:14]
541*2^1031143-1 is not prime.  Res64: 89F45803FD99DED4  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 05:34:41]
549*2^1031143-1 is not prime.  Res64: F7C073F369FEA86E  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 05:38:20]
417*2^1031141-1 is not prime.  Res64: 0D1ED0AEA004EE8A  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 05:40:15]
561*2^1031143-1 is not prime.  Res64: E20E8962694AF982  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 05:45:58]
533*2^1031144-1 is not prime.  Res64: 36927BDD16C96C68  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 05:48:49]
429*2^1031145-1 is not prime.  Res64: 7A0B6E315AA1B4D1  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 05:50:11]
585*2^1031144-1 is not prime.  Res64: 00BB5F89CDF63BC4  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 05:57:27]
501*2^1031135-1 is not prime.  Res64: 2FDFEB1AF3399F54  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 05:58:19]
577*2^1031145-1 is not prime.  Res64: 9D8CA82385D6B7D3  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 06:00:23]
461*2^1031146-1 is not prime.  Res64: 809C713B938552CE  Time : 0.0 sec.
user=odicin
[2011-09-03 06:00:37]
435*2^1031144-1 is not prime.  Res64: 8797F3FFD09E9AF8  Time : 0.0 sec.
user=odicin
[2011-09-03 06:02:19]
497*2^1031138-1 is not prime.  Res64: 5A95A028569A1F94  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 06:03:13]
495*2^1031146-1 is not prime.  Res64: EE4F9DC84099DFC1  Time : 0.0 sec.
user=odicin
[2011-09-03 06:05:31]
589*2^1031137-1 is not prime.  Res64: 2221C671619374C8  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 06:08:11]
581*2^1031146-1 is not prime.  Res64: 3E04F68241105EB5  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 06:16:20]
501*2^1031147-1 is not prime.  Res64: D76DDF7C59CE8166  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 06:17:31]
429*2^1031148-1 is not prime.  Res64: 5BBAF8680C3DED7F  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 06:18:24]
543*2^1031147-1 is not prime.  Res64: 1C0D7434B7B535AC  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 06:22:11]
507*2^1031145-1 is not prime.  Res64: 4E9D782C92389F0C  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 06:22:33]
479*2^1031148-1 is not prime.  Res64: 377475A4FD9E0046  Time : 0.0 sec.
user=odicin
[2011-09-03 06:26:20]
413*2^1031148-1 is not prime.  Res64: A0D884E8F7A743FB  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 06:32:37]
411*2^1031149-1 is not prime.  Res64: E9FC64B139A0C877  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 06:34:18]
503*2^1031148-1 is not prime.  Res64: 422009AF3C81BC4A  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 06:35:27]
549*2^1031148-1 is not prime.  Res64: 2F5F168170B8F2E1  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 06:40:34]
577*2^1031149-1 is not prime.  Res64: 052DC0657917B3DC  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 06:49:53]
405*2^1031151-1 is not prime.  Res64: 37CC9E8BFB2D0AFC  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 06:50:36]
525*2^1031150-1 is not prime.  Res64: C8D961BE7CBCB227  Time : 0.0 sec.
user=odicin
[2011-09-03 06:51:44]
515*2^1031150-1 is not prime.  Res64: 5D4E105A3A1B2268  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 06:52:22]
581*2^1031150-1 is not prime.  Res64: C13D8B6B19FC5AE3  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 06:55:01]
453*2^1031151-1 is not prime.  Res64: BE406352A33E0660  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 06:58:06]
481*2^1031149-1 is not prime.  Res64: 19CA153B13BA7597  Time : 0.0 sec.
user=odicin
[2011-09-03 07:03:40]
423*2^1031148-1 is not prime.  Res64: 660ED5A3EB9901BF  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 07:04:09]
489*2^1031151-1 is not prime.  Res64: 6BCFE3C6D800D82E  Time : 0.0 sec.
user=odicin
[2011-09-03 07:06:57]
473*2^1031148-1 is not prime.  Res64: AD4775AEEEB774B9  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 07:08:34]
511*2^1031151-1 is not prime.  Res64: FF5679E22D7BF2E0  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 07:10:20]
571*2^1031151-1 is not prime.  Res64: F48FFF03943B9CFD  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 07:12:55]
537*2^1031152-1 is not prime.  Res64: 9ED6A40AD8965E06  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 07:15:01]
421*2^1031147-1 is not prime.  Res64: D771C745D4F4F6A4  Time : 0.0 sec.
user=odicin
[2011-09-03 07:17:56]
531*2^1031151-1 is not prime.  Res64: 188EF9951F25E145  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 07:18:25]
439*2^1031153-1 is not prime.  Res64: 70D28F19AE26E859  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 07:26:36]
511*2^1031153-1 is not prime.  Res64: 8D4D9C5FEB9661E7  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 07:27:11]
447*2^1031154-1 is not prime.  Res64: A53FE4742294D801  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 07:28:19]
537*2^1031153-1 is not prime.  Res64: 898C6FD0049FD368  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 07:34:04]
405*2^1031153-1 is not prime.  Res64: C54605C2F52DC7AC  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 07:36:31]
583*2^1031155-1 is not prime.  Res64: B7552B78429AFC1F  Time : 0.0 sec.
user=odicin
[2011-09-03 07:40:10]
551*2^1031154-1 is not prime.  Res64: 397FA5EFB02891D9  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 07:40:55]
451*2^1031157-1 is not prime.  Res64: 9B8F67C648A50545  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 07:41:34]
499*2^1031157-1 is not prime.  Res64: 6BD90C39B66C4E23  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 07:46:26]
577*2^1031157-1 is not prime.  Res64: 3CA71E4692D92B08  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 07:50:58]
405*2^1031158-1 is not prime.  Res64: 5148F8AE1BAD3CA5  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 07:55:20]
483*2^1031158-1 is not prime.  Res64: 9A08812CC453AD74  Time : 0.0 sec.
user=odicin
[2011-09-03 07:57:46]
435*2^1031158-1 is not prime.  Res64: 992889806336A5BD  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 07:59:42]
555*2^1031158-1 is not prime.  Res64: C5AEC925C207B0B7  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 08:00:51]
423*2^1031159-1 is not prime.  Res64: DC43745CB18C28BF  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 08:05:19]
459*2^1031159-1 is not prime.  Res64: B3E97F49BB85A449  Time : 0.0 sec.
user=odicin
[2011-09-03 08:08:26]
411*2^1031153-1 is not prime.  Res64: 2C73833EF2C937B2  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 08:09:56]
401*2^1031158-1 is not prime.  Res64: DAF3223E9990536E  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 08:13:32]
505*2^1031159-1 is not prime.  Res64: EB13D96812E3C300  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 08:14:07]
437*2^1031160-1 is not prime.  Res64: 090957F189F556C6  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 08:15:20]
459*2^1031160-1 is not prime.  Res64: 1B325FD41FF93E19  Time : 0.0 sec.
user=odicin
[2011-09-03 08:15:35]
495*2^1031153-1 is not prime.  Res64: 4746DF152A971522  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 08:19:44]
479*2^1031160-1 is not prime.  Res64: AFCFDE4CD9187524  Time : 0.0 sec.
user=odicin
[2011-09-03 08:21:07]
579*2^1031159-1 is not prime.  Res64: 54E204D1364A5F3F  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 08:31:27]
543*2^1031160-1 is not prime.  Res64: A4E92E35DAF100EC  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 08:32:04]
557*2^1031160-1 is not prime.  Res64: A648D2BA719134FA  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 08:32:59]
483*2^1031154-1 is not prime.  Res64: D655B8135E254542  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 08:33:13]
563*2^1031160-1 is not prime.  Res64: E75CF4FADC373CDC  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 08:33:54]
477*2^1031161-1 is not prime.  Res64: 8AAD38A1EE2A6674  Time : 0.0 sec.
user=odicin
[2011-09-03 08:38:58]
499*2^1031161-1 is not prime.  Res64: 7507EB5B71A0D27E  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 08:49:16]
563*2^1031162-1 is not prime.  Res64: 6E6C636A69BEE3E7  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 08:49:52]
587*2^1031162-1 is not prime.  Res64: 4D81D577772CB500  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 08:50:55]
533*2^1031164-1 is not prime.  Res64: 6F172B697E63D2C4  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 08:51:42]
539*2^1031164-1 is not prime.  Res64: CF707477B59AA040  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 08:53:50]
515*2^1031160-1 is not prime.  Res64: 6798D7DB68188129  Time : 0.0 sec.
user=odicin
[2011-09-03 09:01:55]
563*2^1031164-1 is not prime.  Res64: 9CF2A053EFB17CE2  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 09:03:37]
411*2^1031165-1 is not prime.  Res64: 2F4F224BD0E98EC8  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 09:04:16]
441*2^1031165-1 is not prime.  Res64: D737CDAAD4D6434F  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 09:09:00]
507*2^1031165-1 is not prime.  Res64: A8A8EA8D201F14F3  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 09:09:41]
579*2^1031165-1 is not prime.  Res64: 17F1118C7BE06A64  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 09:17:50]
493*2^1031167-1 is not prime.  Res64: 0099DF01DC547ECA  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 09:22:25]
549*2^1031167-1 is not prime.  Res64: AAB71F8F96E2FD46  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 09:23:18]
437*2^1031168-1 is not prime.  Res64: 174157A12D39BF6C  Time : 0.0 sec.
user=odicin
[2011-09-03 09:23:58]
551*2^1031166-1 is not prime.  Res64: 11FEFD8439AB5385  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 09:27:47]
507*2^1031168-1 is not prime.  Res64: D2C64176AD33F95E  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 09:29:52]
431*2^1031166-1 is not prime.  Res64: 7348D184ECAF1126  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 09:35:57]
533*2^1031168-1 is not prime.  Res64: F472BC47223AA534  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 09:36:49]
415*2^1031169-1 is not prime.  Res64: 0D8BAB7EDC2A88D8  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 09:37:43]
495*2^1031169-1 is not prime.  Res64: 5FFC4B41E5E5F853  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 09:42:10]
411*2^1031170-1 is not prime.  Res64: 80111C4A6181C437  Time : 0.0 sec.
user=odicin
[2011-09-03 09:47:13]
507*2^1031169-1 is not prime.  Res64: FB29B07AEC4DFB24  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 09:53:56]
531*2^1031170-1 is not prime.  Res64: 05D5C9B3A5A50602  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 09:54:41]
575*2^1031170-1 is not prime.  Res64: 92689211A4AE7D3B  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 09:55:31]
587*2^1031170-1 is not prime.  Res64: 31A8DE43C56DEE27  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 09:56:18]
439*2^1031171-1 is not prime.  Res64: 38966C6203AB1AAC  Time : 0.0 sec.
user=odicin
[2011-09-03 10:04:17]
475*2^1031171-1 is not prime.  Res64: 017A957FE69833BD  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 10:05:46]
447*2^1031170-1 is not prime.  Res64: 80079202751CC8FE  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 10:11:41]
507*2^1030813-1 is not prime.  Res64: 3C02EB93A11D4132  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 10:12:23]
517*2^1030813-1 is not prime.  Res64: 46EA870AD87AD1A7  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 10:12:51]
529*2^1031163-1 is not prime.  Res64: A176B1B56949EF24  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 10:13:21]
537*2^1030813-1 is not prime.  Res64: 3CFDC0E63D8518E7  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 10:14:06]
589*2^1030813-1 is not prime.  Res64: 97697C7EF263BB94  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 10:26:08]
501*2^1030814-1 is not prime.  Res64: 10682C636848F489  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 10:27:47]
441*2^1030815-1 is not prime.  Res64: 722C1D603B097CB4  Time : 0.0 sec.
user=odicin
[2011-09-03 10:27:55]
591*2^1030813-1 is not prime.  Res64: 313B41060BE16F53  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 10:28:33]
469*2^1030815-1 is not prime.  Res64: 75044404C7BF8233  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 10:30:33]
575*2^1030814-1 is not prime.  Res64: 87822DCE04344B5E  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 10:40:32]
481*2^1030815-1 is not prime.  Res64: CAE81824FB7DCBE8  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 10:41:44]
495*2^1030814-1 is not prime.  Res64: 67FA85ED5D3454F9  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 10:42:57]
465*2^1030817-1 is not prime.  Res64: 03E60C691E59DA45  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 10:45:02]
483*2^1030819-1 is not prime.  Res64: F96083D44D1F2BC7  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 10:45:56]
539*2^1030816-1 is not prime.  Res64: 0C905BAA114C02EE  Time : 0.0 sec.
user=odicin
[2011-09-03 10:49:20]
563*2^1030816-1 is not prime.  Res64: E30904D988499CEA  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 10:55:01]
479*2^1030820-1 is not prime.  Res64: 549038F08B106C9A  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 10:57:29]
503*2^1030820-1 is not prime.  Res64: 4ACF53A092D619D3  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 10:59:32]
429*2^1030821-1 is not prime.  Res64: D98C8C95203C2D32  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 11:00:28]
499*2^1030821-1 is not prime.  Res64: 2335F62D2B65FD05  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 11:12:59]
505*2^1030823-1 is not prime.  Res64: AB58C426E3420D85  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 11:14:33]
459*2^1031172-1 is not prime.  Res64: BB638A5136C21D1B  Time : 0.0 sec.
user=odicin
[2011-09-03 11:14:33]
591*2^1030822-1 is not prime.  Res64: 7240E3203D2051D8  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 11:15:25]
523*2^1030823-1 is not prime.  Res64: C1E6AC13EDB0A0E9  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 11:17:28]
519*2^1031171-1 is not prime.  Res64: 6057E8621DE791B4  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 11:17:37]
483*2^1030820-1 is not prime.  Res64: 73814645B4930990  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 11:27:10]
497*2^1031172-1 is not prime.  Res64: FAE7E940286C0BF5  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 11:32:26]
513*2^1031172-1 is not prime.  Res64: 287860C5B6D6BA71  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 11:33:14]
525*2^1031172-1 is not prime.  Res64: 384925574C425A81  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 11:35:18]
549*2^1031172-1 is not prime.  Res64: 80F3D052C0513938  Time : 0.0 sec.
user=odicin
[2011-09-03 11:38:36]
503*2^1031172-1 is not prime.  Res64: 45B6526AA1AAC0AC  Time : 0.0 sec.
user=odicin
[2011-09-03 11:43:29]
509*2^1031160-1 is not prime.  Res64: BD37D0CD47B021B0  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 11:45:12]
537*2^1031173-1 is not prime.  Res64: E077A211E121B6A5  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 11:47:32]
411*2^1031174-1 is not prime.  Res64: 7A2D62D18FB55DF2  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 11:49:35]
431*2^1031174-1 is not prime.  Res64: BA2E90E8A8CCF8FB  Time : 0.0 sec.
user=odicin
[2011-09-03 11:49:52]
585*2^1031160-1 is not prime.  Res64: F051C0EA64885579  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 11:50:29]
567*2^1031173-1 is not prime.  Res64: 01F0ED3AB4906DCC  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 11:53:42]
593*2^1030814-1 is not prime.  Res64: 932F7AC6A579CFA1  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 12:01:43]
519*2^1031173-1 is not prime.  Res64: FBED703BCAA143C5  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 12:01:52]
405*2^1031176-1 is not prime.  Res64: DE4277CE2D1D89FA  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 12:03:14]
591*2^1031175-1 is not prime.  Res64: EB4AF8D8965AE9EE  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 12:03:56]
429*2^1031176-1 is not prime.  Res64: F0B228677CAE8FF2  Time : 0.0 sec.
user=odicin
[2011-09-03 12:06:30]
481*2^1031175-1 is not prime.  Res64: D136AE1DCCF2824B  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 12:08:33]
567*2^1031176-1 is not prime.  Res64: 1DEC301345ECE2F8  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 12:16:26]
483*2^1031178-1 is not prime.  Res64: 570006575C74F0AB  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 12:17:49]
463*2^1031179-1 is not prime.  Res64: 6FDA7B7D1AB2703A  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 12:18:28]
471*2^1031179-1 is not prime.  Res64: E6729E505A8E2041  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 12:23:13]
425*2^1031180-1 is not prime.  Res64: AC8092ABE0F36F62  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 12:31:03]
483*2^1031180-1 is not prime.  Res64: 86A944247469D776  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 12:32:27]
495*2^1031180-1 is not prime.  Res64: F8286528A39A8922  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 12:33:01]
427*2^1031181-1 is not prime.  Res64: E56F849269D3110C  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 12:37:41]
431*2^1031178-1 is not prime.  Res64: B0E76D7E3BEB2252  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 12:37:52]
447*2^1031181-1 is not prime.  Res64: A2A6D1B152E3C94E  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 12:45:37]
487*2^1031181-1 is not prime.  Res64: 92FB26357638E7D4  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 12:46:49]
495*2^1031181-1 is not prime.  Res64: 2AD37F9B5616D13C  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 12:51:10]
529*2^1031181-1 is not prime.  Res64: B2F6B0F3523E0EE8  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 12:52:21]
405*2^1031182-1 is not prime.  Res64: 68E8C259750CF7D3  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 13:00:12]
413*2^1031182-1 is not prime.  Res64: 37F9C7DAE4412AD4  Time : 0.0 sec.
user=odicin
[2011-09-03 13:01:08]
437*2^1031176-1 is not prime.  Res64: 4EFDA271610BBCCC  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 13:01:20]
483*2^1031182-1 is not prime.  Res64: A9E602B1613860AF  Time : 0.0 sec.
user=odicin
[2011-09-03 13:03:22]
543*2^1031175-1 is not prime.  Res64: CC1B5C571A644348  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 13:06:54]
441*2^1031183-1 is not prime.  Res64: 41B28438DBF95D2A  Time : 0.0 sec.
user=odicin
[2011-09-03 13:09:21]
405*2^1031180-1 is not prime.  Res64: 2DFD83AE0D68CD96  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 13:09:31]
551*2^1031182-1 is not prime.  Res64: 1E04F0DF3A47420F  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 13:15:38]
441*2^1031185-1 is not prime.  Res64: AD727CD4E7414966  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 13:18:13]
525*2^1031183-1 is not prime.  Res64: 6E410EBA96ACBAC9  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 13:21:45]
591*2^1031181-1 is not prime.  Res64: 315EFE437D7930DD  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 13:23:51]
445*2^1031187-1 is not prime.  Res64: 277491FED246E6BC  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 13:25:05]
589*2^1031185-1 is not prime.  Res64: 723968FBEB79AC9E  Time : 0.0 sec.
user=odicin
[2011-09-03 13:26:08]
405*2^1031187-1 is not prime.  Res64: 17372664EAB57E47  Time : 0.0 sec.
user=gd_barnes
[2011-09-03 13:29:23]
587*2^1031186-1 is not prime.  Res64: AD7B0645D029DF2F  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 13:33:52]
579*2^1031187-1 is not prime.  Res64: 9FA4DAC9521AD9E0  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 13:34:43]
529*2^1031177-1 is not prime.  Res64: E378C2CB0C187C2F  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 13:36:23]
563*2^1031188-1 is not prime.  Res64: 03665648D8B01BF7  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 13:38:14]
435*2^1031189-1 is not prime.  Res64: 527621FC0AF1D9ED  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 13:39:29]
465*2^1031189-1 is not prime.  Res64: DCA0253667ABA72D  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 13:48:23]
405*2^1031190-1 is not prime.  Res64: D0CC1D4B0F1C1FEC  Time : 0.0 sec.
user=odicin
[2011-09-03 13:48:38]
525*2^1031189-1 is not prime.  Res64: B867001A94FCB795  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 13:50:56]
483*2^1031190-1 is not prime.  Res64: 8846ACB0A93408EE  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 13:54:03]
405*2^1031191-1 is not prime.  Res64: 67E3874FFEBCF13B  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 13:56:27]
501*2^1031190-1 is not prime.  Res64: 29EA28ABEE37451F  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 13:58:56]
417*2^1031189-1 is not prime.  Res64: 6EFC96DE826E01B1  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 14:02:46]
495*2^1031192-1 is not prime.  Res64: 5DE4F89173A41D50  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 14:05:18]
429*2^1031193-1 is not prime.  Res64: 46451612CA63063D  Time : 0.0 sec.
user=odicin
[2011-09-03 14:06:15]
409*2^1031193-1 is not prime.  Res64: 4FBC5AF9F8157AEC  Time : 0.0 sec.
user=odicin
[2011-09-03 14:06:35]
455*2^1031184-1 is not prime.  Res64: 9EABC80FE65A371A  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 14:12:09]
511*2^1031193-1 is not prime.  Res64: F717351BBC7CC859  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 14:14:35]
565*2^1031193-1 is not prime.  Res64: 2BC2E5C180F9B011  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 14:17:03]
491*2^1031194-1 is not prime.  Res64: 3415BB9EA2C26ED1  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 14:23:26]
533*2^1031194-1 is not prime.  Res64: AD232CB907BF8FE6  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 14:26:30]
409*2^1031195-1 is not prime.  Res64: 3A9887C6F6C57080  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 14:28:56]
421*2^1031195-1 is not prime.  Res64: 4C8F7A660023A387  Time : 0.0 sec.
user=odicin
[2011-09-03 14:30:06]
525*2^1031185-1 is not prime.  Res64: 9080F39E4BA1B288  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 14:35:03]
511*2^1031195-1 is not prime.  Res64: EB8630B5568C15D0  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 14:36:48]
435*2^1031194-1 is not prime.  Res64: CA15C104329DE160  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 14:41:35]
519*2^1031195-1 is not prime.  Res64: 92C6297A3FD48F0A  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 14:44:51]
585*2^1031195-1 is not prime.  Res64: 1E6CA992B38119CA  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 14:47:36]
595*2^1031195-1 is not prime.  Res64: 53E69A5FA6503FA2  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 14:49:53]
459*2^1031196-1 is not prime.  Res64: D25F5F36D28D8FB5  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 14:53:57]
465*2^1031190-1 is not prime.  Res64: ACCF9E467DCC0E6B  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 14:56:24]
483*2^1031196-1 is not prime.  Res64: E735ED090E6B16F4  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 14:59:54]
497*2^1031196-1 is not prime.  Res64: 8D8DBEB83BA37C00  Time : 0.0 sec.
user=odicin
[2011-09-03 15:04:19]
561*2^1031194-1 is not prime.  Res64: 02D3C0B61DD07168  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 15:06:28]
527*2^1031196-1 is not prime.  Res64: E24EEAB4AE8A5149  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 15:08:12]
545*2^1031196-1 is not prime.  Res64: 7AC3738D01D78698  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 15:14:28]
479*2^1031196-1 is not prime.  Res64: A807689D161A26EC  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 15:15:50]
519*2^1031197-1 is not prime.  Res64: 5977F1BD6723EE4A  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 15:18:32]
507*2^1031198-1 is not prime.  Res64: DBDEFFE829C84C02  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 15:21:00]
489*2^1031199-1 is not prime.  Res64: 198E6DA8B96B0280  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 15:22:51]
493*2^1031199-1 is not prime.  Res64: AD965CD90D900244  Time : 0.0 sec.
user=odicin
[2011-09-03 15:27:06]
533*2^1031198-1 is not prime.  Res64: 774C75AF01BD0FDD  Time : 0.0 sec.
user=odicin
[2011-09-03 15:28:13]
567*2^1031194-1 is not prime.  Res64: 19A7B82F7CC32496  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 15:33:35]
465*2^1031200-1 is not prime.  Res64: 1628D6F960435C3E  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 15:34:01]
579*2^1031199-1 is not prime.  Res64: 19D6D14FB2F72F9F  Time : 0.0 sec.
user=odicin
[2011-09-03 15:37:35]
413*2^1031196-1 is not prime.  Res64: 82F53EED1FA6CD6E  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 15:39:14]
569*2^1031200-1 is not prime.  Res64: 284C478B74DB37CA  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 15:40:58]
529*2^1031201-1 is not prime.  Res64: 987DFCAD3ED221C8  Time : 0.0 sec.
user=odicin
[2011-09-03 15:49:49]
571*2^1031201-1 is not prime.  Res64: 2AA6A6D4274F5A24  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 15:52:00]
587*2^1031202-1 is not prime.  Res64: A49591CBDC7FEC0F  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 15:52:10]
543*2^1031202-1 is not prime.  Res64: 210B00CC144B4D32  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 15:57:58]
549*2^1031203-1 is not prime.  Res64: DD4F595391E61E6E  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 15:59:05]
589*2^1031203-1 is not prime.  Res64: 68A1D6E629DBAE94  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 16:00:43]
531*2^1031199-1 is not prime.  Res64: 8883D98926A89907  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 16:06:42]
495*2^1031204-1 is not prime.  Res64: 01D219A925DE9D5D  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 16:06:48]
417*2^1031204-1 is not prime.  Res64: C12E87FEED0E0EEB  Time : 0.0 sec.
user=odicin
[2011-09-03 16:12:27]
595*2^1031203-1 is not prime.  Res64: 4E636F076253657B  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 16:13:12]
477*2^1031197-1 is not prime.  Res64: 391975BD4FFD0B98  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 16:14:03]
465*2^1031205-1 is not prime.  Res64: 8A4DD035CB635205  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 16:16:26]
573*2^1031204-1 is not prime.  Res64: D570DAD01DBAE481  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 16:25:05]
545*2^1031206-1 is not prime.  Res64: 4E0286DBCB361B8E  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 16:25:16]
575*2^1031206-1 is not prime.  Res64: 8CAD84B2819ED68A  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 16:28:46]
465*2^1031207-1 is not prime.  Res64: CB135FC0A4B1574A  Time : 0.0 sec.
user=odicin
[2011-09-03 16:28:59]
439*2^1031207-1 is not prime.  Res64: F22946CCB586C74A  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 16:31:21]
489*2^1031207-1 is not prime.  Res64: BD33F74C53643C0E  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 16:38:11]
475*2^1031205-1 is not prime.  Res64: ED45231459BD4502  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 16:40:36]
493*2^1031207-1 is not prime.  Res64: D0C6EB4A49FAF41C  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 16:43:52]
559*2^1031207-1 is not prime.  Res64: BE5201E6567C7D88  Time : 0.0 sec.
user=odicin
[2011-09-03 16:44:59]
421*2^1031203-1 is not prime.  Res64: 575D17A01D36E77C  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 16:46:02]
465*2^1031208-1 is not prime.  Res64: DBF7505EAF8F07CD  Time : 0.0 sec.
user=odicin
[2011-09-03 16:46:12]
453*2^1031208-1 is not prime.  Res64: E99FED3901B9BFD7  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 16:47:12]
585*2^1031207-1 is not prime.  Res64: D3F8374295C20E75  Time : 0.0 sec.
user=odicin
[2011-09-03 16:54:25]
585*2^1031201-1 is not prime.  Res64: 842F185257B4DB87  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 16:55:31]
465*2^1031209-1 is not prime.  Res64: 8217785A311FE975  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 17:00:51]
423*2^1031210-1 is not prime.  Res64: D72DA6426613896D  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 17:01:41]
467*2^1031210-1 is not prime.  Res64: 481F534F6F16332A  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 17:02:28]
589*2^1031209-1 is not prime.  Res64: 87C2FAB299C7BD94  Time : 0.0 sec.
user=odicin
[2011-09-03 17:03:55]
453*2^1031210-1 is not prime.  Res64: 0C91432043AD710E  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 17:13:57]
561*2^1031210-1 is not prime.  Res64: EFECA20C41CB362B  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 17:15:01]
411*2^1031209-1 is not prime.  Res64: 9BC46F1DA97BBC19  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 17:15:21]
483*2^1031211-1 is not prime.  Res64: E21658C935093A3B  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 17:17:00]
483*2^1031212-1 is not prime.  Res64: 81A37518117CF144  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 17:20:24]
579*2^1031211-1 is not prime.  Res64: C115A0BDF975E4C9  Time : 0.0 sec.
user=odicin
[2011-09-03 17:26:34]
539*2^1031212-1 is not prime.  Res64: 1B2D83F1D53EA54A  Time : 0.0 sec.
user=gd_barnes
[2011-09-03 17:31:09]
465*2^1031213-1 is not prime.  Res64: 6BF0A0B4E9A11DCF  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 17:32:07]
517*2^1031213-1 is not prime.  Res64: 44A3FEC8C086FC06  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 17:32:41]
463*2^1031207-1 is not prime.  Res64: CBFEA8281B155DA6  Time : 0.0 sec.
user=gd_barnes
[2011-09-03 17:33:18]
569*2^1031212-1 is not prime.  Res64: B9578884912942DC  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 17:34:00]
589*2^1031213-1 is not prime.  Res64: 7F35ACC84643B2FC  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 17:35:02]
525*2^1031214-1 is not prime.  Res64: 05ACF018F154F17E  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 17:39:12]
543*2^1031214-1 is not prime.  Res64: EC8BCF3445C88335  Time : 0.0 sec.
user=odicin
[2011-09-03 17:48:12]
567*2^1031214-1 is not prime.  Res64: 8190561313A67865  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 17:48:36]
437*2^1031216-1 is not prime.  Res64: 4E70C737D601859D  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 17:51:01]
523*2^1031215-1 is not prime.  Res64: 2BDEC490910410A5  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 17:54:23]
563*2^1031216-1 is not prime.  Res64: 4D5AB6A84011F9DE  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 17:58:09]
585*2^1031216-1 is not prime.  Res64: BE3534AE18151DE3  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 17:58:53]
577*2^1031213-1 is not prime.  Res64: 82500A3558AB1BF9  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 18:03:37]
471*2^1031217-1 is not prime.  Res64: 4DB7E7BEA837D20B  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 18:11:22]
531*2^1031217-1 is not prime.  Res64: 1C0A1CB67E238AAA  Time : 0.0 sec.
user=odicin
[2011-09-03 18:11:32]
597*2^1031209-1 is not prime.  Res64: 23750D6BF77D9FCF  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 18:14:21]
577*2^1031217-1 is not prime.  Res64: F7CC5ADF66C95388  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 18:18:19]
585*2^1031217-1 is not prime.  Res64: B843085290B22B34  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 18:19:27]
497*2^1031218-1 is not prime.  Res64: 94625DDAF051DB7C  Time : 0.0 sec.
user=odicin
[2011-09-03 18:22:24]
533*2^1031210-1 is not prime.  Res64: 50057B358A7DC737  Time : 0.0 sec.
user=odicin
[2011-09-03 18:26:52]
409*2^1031217-1 is not prime.  Res64: C062964404573979  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 18:29:15]
433*2^1031219-1 is not prime.  Res64: ABF07CB5B3479077  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 18:30:23]
561*2^1031218-1 is not prime.  Res64: C82C1E5500AEED27  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 18:34:02]
495*2^1031219-1 is not prime.  Res64: D1BE9C0AADC85156  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 18:34:50]
465*2^1031218-1 is not prime.  Res64: 1BCF2B900DF88F77  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 18:38:08]
543*2^1031219-1 is not prime.  Res64: 42E3F8A7AF16BFC0  Time : 0.0 sec.
user=odicin
[2011-09-03 18:43:00]
459*2^1031220-1 is not prime.  Res64: A14C9E85A8B5352E  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 18:44:20]
467*2^1031220-1 is not prime.  Res64: E1D070338F3428E0  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 18:48:41]
579*2^1031220-1 is not prime.  Res64: 997AA39ACCC1892D  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 18:52:27]
587*2^1031220-1 is not prime.  Res64: C5AFDC9E90BDE2D9  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 18:53:09]
469*2^1031221-1 is not prime.  Res64: 3CC675EC176FE61C  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 18:58:57]
437*2^1031222-1 is not prime.  Res64: 8F7DFBC28D367CD6  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 19:03:14]
483*2^1031222-1 is not prime.  Res64: 82AE00E0A313764A  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 19:10:36]
525*2^1031222-1 is not prime.  Res64: EC948CF9B659294D  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 19:10:49]
465*2^1031221-1 is not prime.  Res64: 1A2003FBEF90F2FC  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 19:11:13]
545*2^1031222-1 is not prime.  Res64: 41419F13972BF02E  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 19:14:17]
595*2^1031215-1 is not prime.  Res64: 998E296AD9D7BB37  Time : 0.0 sec.
user=odicin
[2011-09-03 19:16:48]
421*2^1031219-1 is not prime.  Res64: F0508BC2DEBC2FC4  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 19:17:28]
557*2^1031222-1 is not prime.  Res64: 0F926ECCAFBEBFE9  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 19:21:24]
573*2^1031222-1 is not prime.  Res64: 32F085CAE35D4B18  Time : 0.0 sec.
user=odicin
[2011-09-03 19:24:29]
405*2^1031220-1 is not prime.  Res64: E8744A647A1098AC  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 19:29:13]
553*2^1031223-1 is not prime.  Res64: AB9F21D316022780  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 19:29:30]
585*2^1031225-1 is not prime.  Res64: 48BE3DE8ED63D1F3  Time : 0.0 sec.
user=odicin
[2011-09-03 19:31:51]
489*2^1031221-1 is not prime.  Res64: 55F2A17DDDCDCAF8  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 19:32:20]
485*2^1031226-1 is not prime.  Res64: 8BA5520B87DB4723  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 19:35:53]
441*2^1031227-1 is not prime.  Res64: 1869208DA4C47E22  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 19:47:10]
437*2^1031230-1 is not prime.  Res64: C8C445F0256779BE  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 19:47:28]
503*2^1031228-1 is not prime.  Res64: 2FC6091762D7B84A  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 19:48:11]
585*2^1031228-1 is not prime.  Res64: A814E6CD5116750B  Time : 0.0 sec.
user=odicin
[2011-09-03 19:52:52]
595*2^1031229-1 is not prime.  Res64: F653F4C2EAE30F21  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 19:54:15]
561*2^1031230-1 is not prime.  Res64: 38A200DC736BBA9D  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 19:54:47]
567*2^1031224-1 is not prime.  Res64: 252A01A5C2EFBE13  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 20:01:52]
421*2^1031231-1 is not prime.  Res64: 8A33C09273BFFA05  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 20:02:30]
441*2^1031233-1 is not prime.  Res64: 6CE6E2155DB85E31  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 20:03:30]
471*2^1031233-1 is not prime.  Res64: 9186BD199E66BB51  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 20:09:30]
425*2^1031234-1 is not prime.  Res64: B22F4CCD37E7507C  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 20:16:50]
473*2^1031234-1 is not prime.  Res64: 00C5EB77B477FE47  Time : 0.0 sec.
user=odicin
[2011-09-03 20:17:13]
471*2^1031226-1 is not prime.  Res64: 7FA27C1ADD999288  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 20:18:01]
483*2^1031234-1 is not prime.  Res64: 5943A88B528D33F6  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 20:23:17]
533*2^1031234-1 is not prime.  Res64: C1EB4852E38604EC  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 20:25:35]
415*2^1031235-1 is not prime.  Res64: 67B15C0D6B9D00EB  Time : 0.0 sec.
user=odicin
[2011-09-03 20:29:25]
417*2^1031228-1 is not prime.  Res64: 8E2B72E209181A2E  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 20:31:18]
435*2^1031234-1 is not prime.  Res64: 68993D4C0B15F5D8  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 20:32:49]
495*2^1031235-1 is not prime.  Res64: C50FDA859808A5A7  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 20:33:36]
417*2^1031226-1 is not prime.  Res64: A7CF23B762B7B986  Time : 0.0 sec.
user=odicin
[2011-09-03 20:36:58]
567*2^1031233-1 is not prime.  Res64: 1E3F60A7FB746B93  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 20:37:03]
513*2^1031235-1 is not prime.  Res64: 671B2A53584D5188  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 20:43:00]
531*2^1031235-1 is not prime.  Res64: 83AB983DE70392AC  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 20:45:22]
553*2^1031235-1 is not prime.  Res64: B1F6BA0417BB01E2  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 20:52:04]
527*2^1031236-1 is not prime.  Res64: 889B770C574F9E7D  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 20:56:18]
507*2^1031237-1 is not prime.  Res64: BDACF60632AA520D  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 21:02:56]
537*2^1031237-1 is not prime.  Res64: D15B8A0218AC805D  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 21:04:58]
571*2^1031237-1 is not prime.  Res64: 21A84DE46B9C47A8  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 21:07:09]
413*2^1031238-1 is not prime.  Res64: 6360A1F19706AB1F  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 21:12:19]
453*2^1031238-1 is not prime.  Res64: 6D8729F573F8BF2F  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 21:15:51]
519*2^1031236-1 is not prime.  Res64: 6AA8CC4A93A356CE  Time : 0.0 sec.
user=odicin
[2011-09-03 21:20:55]
489*2^1031237-1 is not prime.  Res64: 76C181E5E4E3C93F  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 21:22:37]
515*2^1031238-1 is not prime.  Res64: A1B6BFCCBCD2D297  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 21:22:39]
421*2^1031239-1 is not prime.  Res64: 9A898CB8BBEDBB05  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 21:24:38]
551*2^1031238-1 is not prime.  Res64: 44D2D9B33398BB6F  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 21:27:15]
451*2^1031239-1 is not prime.  Res64: F6F669878CF70E3E  Time : 0.0 sec.
user=odicin
[2011-09-03 21:37:05]
447*2^1031236-1 is not prime.  Res64: 0E4184897157B21E  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 21:37:06]
469*2^1031241-1 is not prime.  Res64: 7D1D84AF26A76F12  Time : 0.0 sec.
user=odicin
[2011-09-03 21:38:38]
511*2^1031235-1 is not prime.  Res64: C439183FAC6B95C8  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 21:41:08]
511*2^1031241-1 is not prime.  Res64: C513CD9A96B8AAEB  Time : 0.0 sec.
user=odicin
[2011-09-03 21:41:54]
539*2^1031240-1 is not prime.  Res64: 6197CEDB6A2496E7  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 21:42:59]
597*2^1031241-1 is not prime.  Res64: C3B7CAD1F6967DED  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 21:45:36]
513*2^1031242-1 is not prime.  Res64: 56920FD6FB79BEF6  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 21:51:49]
483*2^1031239-1 is not prime.  Res64: 510EEE69FF0A724B  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 21:53:00]
445*2^1031237-1 is not prime.  Res64: 99658A1FAF4243D8  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 21:55:37]
561*2^1031242-1 is not prime.  Res64: 7A03BDF694820FA0  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 21:55:39]
439*2^1031243-1 is not prime.  Res64: F6C0034F097ECC69  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 21:57:35]
495*2^1031243-1 is not prime.  Res64: D2DA076F6C9C0302  Time : 0.0 sec.
user=odicin
[2011-09-03 21:58:05]
445*2^1031243-1 is not prime.  Res64: 5200C735B9F7BD88  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 22:04:02]
549*2^1031243-1 is not prime.  Res64: 47F20A7DADAAE7A7  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 22:10:11]
429*2^1031245-1 is not prime.  Res64: 65D8FAAEB728F97E  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 22:10:41]
451*2^1031245-1 is not prime.  Res64: 1CBFED437A54BCCD  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 22:12:34]
465*2^1031245-1 is not prime.  Res64: AF90968F22B4A574  Time : 0.0 sec.
user=odicin
[2011-09-03 22:19:19]
511*2^1031245-1 is not prime.  Res64: E836CF33608057EF  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 22:22:27]
537*2^1031245-1 is not prime.  Res64: 26200E128C31DFED  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 22:28:41]
561*2^1031246-1 is not prime.  Res64: D01CAAE9B0551758  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 22:28:53]
567*2^1031246-1 is not prime.  Res64: 125F98B9229BDA79  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 22:30:44]
581*2^1031246-1 is not prime.  Res64: E5DF7630A73B6B0C  Time : 0.0 sec.
user=gd_barnes
[2011-09-03 22:35:15]
575*2^1031246-1 is not prime.  Res64: 350FD052642430C2  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 22:35:37]
527*2^1031244-1 is not prime.  Res64: CE57DCBDA54987E8  Time : 0.0 sec.
user=odicin
[2011-09-03 22:36:38]
409*2^1031247-1 is not prime.  Res64: BB3E9CCAE7E32D1C  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 22:36:49]
433*2^1031247-1 is not prime.  Res64: 1AB68DCD3B8730F4  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 22:43:05]
465*2^1031247-1 is not prime.  Res64: 75981DECB157ED9B  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 22:46:59]
553*2^1031247-1 is not prime.  Res64: AE09C6F803EDED3A  Time : 0.0 sec.
user=odicin
[2011-09-03 22:47:29]
411*2^1031243-1 is not prime.  Res64: 2A1900A63B703582  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 22:48:53]
559*2^1031247-1 is not prime.  Res64: C6DC45EAE60436CE  Time : 0.0 sec.
user=odicin
[2011-09-03 22:53:50]
483*2^1031248-1 is not prime.  Res64: 39BA08807679C13C  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 22:54:54]
513*2^1031248-1 is not prime.  Res64: 257C1E1C9A90E38E  Time : 0.0 sec.
user=odicin
[2011-09-03 22:55:14]
545*2^1031242-1 is not prime.  Res64: B09848B008FD86DC  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 22:57:30]
411*2^1031249-1 is not prime.  Res64: CF08777BE097BF3E  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 23:01:27]
421*2^1031249-1 is not prime.  Res64: 738504285C643FCC  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 23:06:59]
507*2^1031249-1 is not prime.  Res64: DA29656DB40AB36C  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 23:09:15]
473*2^1031250-1 is not prime.  Res64: BE90B07C514FB3EB  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 23:11:37]
453*2^1031248-1 is not prime.  Res64: 87FD25B3F480FC65  Time : 0.0 sec.
user=odicin
[2011-09-03 23:15:13]
571*2^1031249-1 is not prime.  Res64: E675AE4253D59E4D  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 23:15:28]
505*2^1031251-1 is not prime.  Res64: 429284C5C10DAD01  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 23:19:23]
531*2^1031251-1 is not prime.  Res64: 506F0A3E5D0E66C8  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 23:25:05]
535*2^1031251-1 is not prime.  Res64: 572AC66D6DA3A519  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 23:27:17]
585*2^1031252-1 is not prime.  Res64: 29DD8892A7643528  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 23:29:46]
461*2^1031254-1 is not prime.  Res64: D188880A69692B41  Time : 0.0 sec.
user=odicin
[2011-09-03 23:32:26]
413*2^1031254-1 is not prime.  Res64: 5A466C7B6E1985BB  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 23:33:44]
465*2^1031254-1 is not prime.  Res64: 26D2E7169A4BADA2  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 23:33:59]
545*2^1031244-1 is not prime.  Res64: 69D028DBE44F5384  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 23:43:12]
525*2^1031254-1 is not prime.  Res64: D5CE61CBF7C1F501  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 23:44:10]
423*2^1031255-1 is not prime.  Res64: 8832FF64D7F81E14  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 23:45:23]
527*2^1031254-1 is not prime.  Res64: 201BDA68E5E3A325  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 23:48:12]
453*2^1031255-1 is not prime.  Res64: CDE37581EC3D8728  Time : 0.0 sec.
user=odicin
[2011-09-03 23:48:33]
433*2^1031255-1 is not prime.  Res64: 73F5BE2F400D1026  Time : 0.0 sec.
user=odicin
[2011-09-03 23:54:38]
465*2^1031249-1 is not prime.  Res64: 30464B598FDD9DA1  Time : 0.0 sec.
user=Jean_Penne
[2011-09-03 23:55:45]
593*2^1031252-1 is not prime.  Res64: 36D2CA22AA21F4C1  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 23:57:42]
489*2^1031255-1 is not prime.  Res64: C0EAFB71C7ADDCFB  Time : 0.0 sec.
user=mdettweiler
[2011-09-03 23:58:39]
493*2^1031255-1 is not prime.  Res64: A7A8A3D9CD0432C0  Time : 0.0 sec.