user=mdettweiler
[2011-12-02 00:01:43]
469*2^1070975-1 is not prime.  Res64: 706B10DD863A9424  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 00:07:16]
453*2^1070976-1 is not prime.  Res64: 851C8B75D2D34E6E  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 00:08:25]
479*2^1070976-1 is not prime.  Res64: 4FCD22C69EA1F4D4  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 00:13:25]
405*2^1070977-1 is not prime.  Res64: 6CFE7F0688F96A6E  Time : 0.0 sec.
user=odicin
[2011-12-02 00:13:37]
405*2^1070976-1 is not prime.  Res64: CE16F614BD1A3402  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 00:21:07]
531*2^1070977-1 is not prime.  Res64: EF4E468870CFCC0D  Time : 0.0 sec.
user=odicin
[2011-12-02 00:22:44]
409*2^1070977-1 is not prime.  Res64: FF2DF7A55D0D9230  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 00:26:56]
437*2^1070978-1 is not prime.  Res64: 46D6F432303A74FD  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 00:27:39]
467*2^1070978-1 is not prime.  Res64: 44F1A909D292B487  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 00:32:10]
503*2^1070978-1 is not prime.  Res64: F70D9A490BE31373  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 00:39:52]
525*2^1070978-1 is not prime.  Res64: A45461A97F241B93  Time : 0.0 sec.
user=odicin
[2011-12-02 00:40:06]
507*2^1070978-1 is not prime.  Res64: 18A5F8B3D706F0B8  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 00:45:42]
465*2^1070979-1 is not prime.  Res64: 4E4BCC54DCDCE62A  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 00:46:08]
489*2^1070979-1 is not prime.  Res64: 55E177733E916E35  Time : 0.0 sec.
user=odicin
[2011-12-02 00:49:02]
459*2^1070979-1 is not prime.  Res64: 8D2A759502CD4014  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 00:50:54]
513*2^1070979-1 is not prime.  Res64: AB137B500257FD25  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 00:58:59]
531*2^1070979-1 is not prime.  Res64: EE1247F366F392EA  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 01:04:29]
475*2^1070981-1 is not prime.  Res64: DCDEB3E3597C5426  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 01:05:22]
517*2^1070981-1 is not prime.  Res64: 41477423AECB445C  Time : 0.0 sec.
user=odicin
[2011-12-02 01:06:29]
423*2^1070980-1 is not prime.  Res64: 1BA81A9820F1FF44  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 01:09:42]
585*2^1070981-1 is not prime.  Res64: 7A86992E4CBE6DAA  Time : 0.0 sec.
user=odicin
[2011-12-02 01:15:23]
547*2^1070981-1 is not prime.  Res64: EADE10789E889700  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 01:18:49]
423*2^1070982-1 is not prime.  Res64: 77957DF487A8E0D9  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 01:23:28]
411*2^1070983-1 is not prime.  Res64: 55961BD2846AD6E9  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 01:24:31]
483*2^1070983-1 is not prime.  Res64: 8B84EB7D19EC01CC  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 01:28:23]
549*2^1070983-1 is not prime.  Res64: 97F8A30A4C9B893B  Time : 0.0 sec.
user=odicin
[2011-12-02 01:32:43]
505*2^1070983-1 is not prime.  Res64: 0E6589865A78D16B  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 01:37:08]
555*2^1070983-1 is not prime.  Res64: C546559866D97D14  Time : 0.0 sec.
user=odicin
[2011-12-02 01:41:36]
553*2^1070983-1 is not prime.  Res64: B89DF5A1A62034DF  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 01:41:47]
589*2^1070983-1 is not prime.  Res64: 434522507ED9A44F  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 01:42:49]
417*2^1070984-1 is not prime.  Res64: E425194589E2AE7C  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 01:46:42]
483*2^1070984-1 is not prime.  Res64: 98173AEEA1213265  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 01:55:33]
445*2^1070985-1 is not prime.  Res64: 2BCE9F0DA13A2BB2  Time : 0.0 sec.
user=odicin
[2011-12-02 01:58:56]
585*2^1070984-1 is not prime.  Res64: 862FE6B551600198  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 02:00:02]
411*2^1070986-1 is not prime.  Res64: C2F4B2C936BCFA01  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 02:01:10]
491*2^1070986-1 is not prime.  Res64: DD66C8BAF7CB8111  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 02:05:03]
567*2^1070986-1 is not prime.  Res64: 0CC9DFE2AFCB2CE9  Time : 0.0 sec.
user=odicin
[2011-12-02 02:07:53]
459*2^1070985-1 is not prime.  Res64: 7329B2BEC375D278  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 02:13:50]
465*2^1070987-1 is not prime.  Res64: 1D1DE89180AA8267  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 02:18:27]
459*2^1070988-1 is not prime.  Res64: B54D667B279D8B82  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 02:19:31]
479*2^1070988-1 is not prime.  Res64: 137DF64C43542316  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 02:23:23]
435*2^1070989-1 is not prime.  Res64: 6584FA1654F5A1D9  Time : 0.0 sec.
user=odicin
[2011-12-02 02:25:15]
425*2^1070988-1 is not prime.  Res64: 376E7BA5EDDDD75A  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 02:32:13]
447*2^1070989-1 is not prime.  Res64: 08F5041E16D4F978  Time : 0.0 sec.
user=odicin
[2011-12-02 02:34:13]
439*2^1070989-1 is not prime.  Res64: 9DF7F6A5ADB253C4  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 02:36:46]
495*2^1070989-1 is not prime.  Res64: 5B0EC522BFF4165D  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 02:37:44]
555*2^1070989-1 is not prime.  Res64: FBBCF105FA58370B  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 02:41:42]
561*2^1070989-1 is not prime.  Res64: 0002CA180FA432D2  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 02:50:40]
585*2^1070990-1 is not prime.  Res64: 49DB9D5EB67822C0  Time : 0.0 sec.
user=odicin
[2011-12-02 02:51:38]
467*2^1070990-1 is not prime.  Res64: DFE494CF5FA8200D  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 02:55:07]
415*2^1070991-1 is not prime.  Res64: BBC9DAC49CE27675  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 02:56:04]
565*2^1070991-1 is not prime.  Res64: 0A0F1FC2F2E55600  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 03:00:03]
591*2^1070991-1 is not prime.  Res64: AD2126F3B92984FE  Time : 0.0 sec.
user=odicin
[2011-12-02 03:00:38]
593*2^1070990-1 is not prime.  Res64: ED1ABDDB2FB5AB23  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 03:09:00]
405*2^1070992-1 is not prime.  Res64: 13587E89146B0F9E  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 03:13:26]
421*2^1070993-1 is not prime.  Res64: 5409556204BBD022  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 03:14:18]
511*2^1070993-1 is not prime.  Res64: 4CB623FD6BD52900  Time : 0.0 sec.
user=odicin
[2011-12-02 03:17:56]
519*2^1070992-1 is not prime.  Res64: 7D2853315558DCC5  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 03:18:27]
547*2^1070993-1 is not prime.  Res64: 86C7B876821E600B  Time : 0.0 sec.
user=odicin
[2011-12-02 03:26:56]
507*2^1070994-1 is not prime.  Res64: D9D6F0C6D6AE3C06  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 03:27:21]
525*2^1070994-1 is not prime.  Res64: 222CBEFA904F99CB  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 03:31:47]
573*2^1070994-1 is not prime.  Res64: E7998FA4CF8F3DCE  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 03:32:37]
411*2^1070995-1 is not prime.  Res64: 668C5937131CBAE0  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 03:36:47]
589*2^1070995-1 is not prime.  Res64: F16B94ADB3496957  Time : 0.0 sec.
user=odicin
[2011-12-02 03:44:16]
523*2^1070995-1 is not prime.  Res64: F5D3800B34566513  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 03:45:41]
451*2^1070997-1 is not prime.  Res64: 7F0AB1900BB98782  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 03:50:09]
469*2^1070997-1 is not prime.  Res64: 5F64BC294F24B2D1  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 03:50:52]
525*2^1070998-1 is not prime.  Res64: 6D9366BF4AD5C5E3  Time : 0.0 sec.
user=odicin
[2011-12-02 03:53:16]
455*2^1070996-1 is not prime.  Res64: A7398B7CD05D4F9E  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 03:55:06]
551*2^1070998-1 is not prime.  Res64: 3188589955B3BB8C  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 04:03:52]
549*2^1070999-1 is not prime.  Res64: 86665ABCCC594605  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 04:08:27]
579*2^1070999-1 is not prime.  Res64: 0014041DD2802D32  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 04:09:14]
515*2^1071000-1 is not prime.  Res64: B3F6E60A30D23BA0  Time : 0.0 sec.
user=odicin
[2011-12-02 04:09:37]
501*2^1070999-1 is not prime.  Res64: 31D19A5ACA7A5A3C  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 04:13:26]
525*2^1071000-1 is not prime.  Res64: CD386A0873D05F4B  Time : 0.0 sec.
user=Mini-Geek
[2011-12-02 04:18:45]
471*2^1071001-1 is not prime.  Res64: 6CC57D8DF235F608  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 04:22:09]
489*2^1071001-1 is not prime.  Res64: 742D29CE0B895584  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 04:26:45]
535*2^1071001-1 is not prime.  Res64: 8F8F8F401AA3F54D  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 04:27:44]
425*2^1071002-1 is not prime.  Res64: E6D608C86445E8F7  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 04:31:44]
495*2^1071002-1 is not prime.  Res64: A49922EAC9AB7A9F  Time : 0.0 sec.
user=odicin
[2011-12-02 04:35:06]
453*2^1071002-1 is not prime.  Res64: EF6F1ADBAF2AE10B  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 04:40:29]
525*2^1071002-1 is not prime.  Res64: 789FCAA25393939C  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 04:45:05]
549*2^1071003-1 is not prime.  Res64: F179A603A3DA26D7  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 04:46:01]
585*2^1071003-1 is not prime.  Res64: 4786AFAF2DD59137  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 04:50:02]
435*2^1071004-1 is not prime.  Res64: 8FFD28C5D1D9348F  Time : 0.0 sec.
user=odicin
[2011-12-02 04:51:20]
445*2^1071003-1 is not prime.  Res64: E2C0DAE7D2412999  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 04:59:00]
569*2^1071004-1 is not prime.  Res64: 8154BF96F3C293A7  Time : 0.0 sec.
user=odicin
[2011-12-02 05:01:28]
495*2^1071004-1 is not prime.  Res64: 9199869995444A7A  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 05:03:34]
575*2^1071004-1 is not prime.  Res64: 5FF5EFD25930A60F  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 05:04:23]
473*2^1071006-1 is not prime.  Res64: AD1B7F0E77C59471  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 05:08:20]
521*2^1071006-1 is not prime.  Res64: 52E4F0245F710721  Time : 0.0 sec.
user=gd_barnes
[2011-12-02 05:10:03]
417*2^1071006-1 is not prime.  Res64: 6AE9B8BF1AF397D4  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 05:17:33]
553*2^1071007-1 is not prime.  Res64: 89B2540F7660C1CF  Time : 0.0 sec.
user=odicin
[2011-12-02 05:17:37]
451*2^1071007-1 is not prime.  Res64: 017F8C899514719B  Time : 0.0 sec.
user=gd_barnes
[2011-12-02 05:21:57]
423*2^1071008-1 is not prime.  Res64: 5E211C36C69ADF69  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 05:22:03]
429*2^1071009-1 is not prime.  Res64: 5A4EDC2FDCA4195A  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 05:22:45]
465*2^1071011-1 is not prime.  Res64: BBFC5B3BB8452BA6  Time : 0.0 sec.
user=gd_barnes
[2011-12-02 05:24:53]
511*2^1071009-1 is not prime.  Res64: 3D4A692A284A7AC0  Time : 0.0 sec.
user=gd_barnes
[2011-12-02 05:26:31]
581*2^1071010-1 is not prime.  Res64: B92EB90630E18B56  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 05:26:47]
519*2^1071011-1 is not prime.  Res64: F5C908D10B293579  Time : 0.0 sec.
user=odicin
[2011-12-02 05:27:45]
503*2^1071008-1 is not prime.  Res64: 9B3AE018E16A5FDD  Time : 0.0 sec.
user=gd_barnes
[2011-12-02 05:28:43]
441*2^1071009-1 is not prime.  Res64: 5C9756063A5FA499  Time : 0.0 sec.
user=gd_barnes
[2011-12-02 05:30:26]
411*2^1071010-1 is not prime.  Res64: 3FDDC08298C068F5  Time : 0.0 sec.
user=gd_barnes
[2011-12-02 05:30:29]
461*2^1071010-1 is not prime.  Res64: FC7187CE3EE81FF3  Time : 0.0 sec.
user=gd_barnes
[2011-12-02 05:30:32]
411*2^1071011-1 is not prime.  Res64: 839446B58AC3FF4A  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 05:35:55]
479*2^1071012-1 is not prime.  Res64: ADE0FE5018E91873  Time : 0.0 sec.
user=gd_barnes
[2011-12-02 05:36:28]
549*2^1071011-1 is not prime.  Res64: 6DE8247957FB2962  Time : 0.0 sec.
user=gd_barnes
[2011-12-02 05:36:35]
405*2^1071012-1 is not prime.  Res64: 29617CC8454466DF  Time : 0.0 sec.
user=gd_barnes
[2011-12-02 05:39:09]
419*2^1071012-1 is not prime.  Res64: 97C5F4FD598F6887  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 05:40:27]
567*2^1071012-1 is not prime.  Res64: 76FC53DDEC9C9AC2  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 05:41:07]
435*2^1071013-1 is not prime.  Res64: A510FCA11F0F59BA  Time : 0.0 sec.
user=odicin
[2011-12-02 05:44:02]
467*2^1071012-1 is not prime.  Res64: 5C27F37FEFF39721  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 05:45:06]
451*2^1071013-1 is not prime.  Res64: 08FC1301A2440ED3  Time : 0.0 sec.
user=odicin
[2011-12-02 05:54:04]
511*2^1071013-1 is not prime.  Res64: E605A2C42183D800  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 05:54:14]
577*2^1071013-1 is not prime.  Res64: 0366889FA9239308  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 05:58:46]
423*2^1071014-1 is not prime.  Res64: C02849C3708C66FA  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 05:59:30]
425*2^1071014-1 is not prime.  Res64: 1F9F52450D6C43EA  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 06:03:25]
563*2^1071014-1 is not prime.  Res64: 194FA07DA9AF2737  Time : 0.0 sec.
user=odicin
[2011-12-02 06:10:18]
495*2^1071014-1 is not prime.  Res64: 3A347552E2D93AC1  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 06:12:33]
481*2^1071015-1 is not prime.  Res64: 720E2E888EA76D2C  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 06:17:05]
501*2^1071015-1 is not prime.  Res64: B3BF3A502BFFB5B2  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 06:17:53]
523*2^1071015-1 is not prime.  Res64: A26F71322B8107AD  Time : 0.0 sec.
user=odicin
[2011-12-02 06:20:23]
433*2^1071015-1 is not prime.  Res64: 26C6F08C34C9DA92  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 06:21:40]
585*2^1071015-1 is not prime.  Res64: BE87AD12B0F6A50B  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 06:30:54]
509*2^1071016-1 is not prime.  Res64: 8BF20B959938084B  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 06:35:28]
537*2^1071016-1 is not prime.  Res64: C11E31C68C82D854  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 06:36:09]
575*2^1071016-1 is not prime.  Res64: 0C0577C6B6CBED29  Time : 0.0 sec.
user=odicin
[2011-12-02 06:36:41]
437*2^1071016-1 is not prime.  Res64: 926A548013693610  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 06:39:59]
517*2^1071017-1 is not prime.  Res64: 02FE23F68F521E46  Time : 0.0 sec.
user=odicin
[2011-12-02 06:46:49]
495*2^1071017-1 is not prime.  Res64: D2586CA51BEC523A  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 06:49:11]
577*2^1071017-1 is not prime.  Res64: 481828E5FF099BEF  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 06:53:42]
405*2^1071018-1 is not prime.  Res64: 6EDC0608642B7415  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 06:54:29]
425*2^1071018-1 is not prime.  Res64: F089E9491D81D920  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 06:58:21]
485*2^1071018-1 is not prime.  Res64: 75381CEE322C18BF  Time : 0.0 sec.
user=odicin
[2011-12-02 07:02:57]
483*2^1071018-1 is not prime.  Res64: 5B8A72A1E95B7B75  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 07:07:31]
489*2^1071019-1 is not prime.  Res64: 79FA4A6B251DB82A  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 07:11:56]
493*2^1071019-1 is not prime.  Res64: B264FAF56CDCDEFE  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 07:12:49]
495*2^1071019-1 is not prime.  Res64: 58F397720C44DAE7  Time : 0.0 sec.
user=odicin
[2011-12-02 07:13:06]
507*2^1071018-1 is not prime.  Res64: C1AEE171C3A90A3C  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 07:16:41]
511*2^1071019-1 is not prime.  Res64: 16827902D836AD9B  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 07:25:50]
465*2^1071020-1 is not prime.  Res64: 87EE96E57E853957  Time : 0.0 sec.
user=odicin
[2011-12-02 07:29:15]
405*2^1071020-1 is not prime.  Res64: 92838C2FDF237858  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 07:30:18]
479*2^1071020-1 is not prime.  Res64: 8A5273F0F5E463F5  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 07:31:04]
515*2^1071020-1 is not prime.  Res64: FE5FFFFED7E96C08  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 07:35:06]
599*2^1071020-1 is not prime.  Res64: D597EC35BD46B679  Time : 0.0 sec.
user=odicin
[2011-12-02 07:39:23]
519*2^1071020-1 is not prime.  Res64: F8280E8341704A13  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 07:44:09]
401*2^1071022-1 is not prime.  Res64: 9943EE3A7725AD7E  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 07:48:37]
455*2^1071022-1 is not prime.  Res64: F8537E0511A569D1  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 07:49:16]
495*2^1071022-1 is not prime.  Res64: 18F4F7CD37E7744F  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 07:53:30]
513*2^1071022-1 is not prime.  Res64: 653D45C335CF1B39  Time : 0.0 sec.
user=odicin
[2011-12-02 07:55:35]
435*2^1071022-1 is not prime.  Res64: CB6DD7A4929238FB  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 08:02:27]
571*2^1071023-1 is not prime.  Res64: C1E8FBE226D54687  Time : 0.0 sec.
user=odicin
[2011-12-02 08:05:40]
555*2^1071022-1 is not prime.  Res64: EA4D601968B1525C  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 08:06:55]
455*2^1071024-1 is not prime.  Res64: 89F621B2A61FC5C3  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 08:07:29]
465*2^1071024-1 is not prime.  Res64: FE8A7ACFCD7D327F  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 08:11:51]
513*2^1071024-1 is not prime.  Res64: 13EA3584A5B4A624  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 08:21:00]
563*2^1071024-1 is not prime.  Res64: 4B090C27459CA83D  Time : 0.0 sec.
user=odicin
[2011-12-02 08:21:56]
525*2^1071024-1 is not prime.  Res64: AE7986C8BFECFC18  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 08:25:11]
561*2^1071025-1 is not prime.  Res64: 0D67F097512FA8A3  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 08:25:51]
565*2^1071025-1 is not prime.  Res64: 3E24DA76E6D25067  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 08:30:19]
437*2^1071026-1 is not prime.  Res64: 56B2B550E14F7103  Time : 0.0 sec.
user=odicin
[2011-12-02 08:32:03]
525*2^1071025-1 is not prime.  Res64: 272B56E47B60BCA8  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 08:39:21]
581*2^1071026-1 is not prime.  Res64: DFB3965261CA4286  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 08:43:31]
489*2^1071027-1 is not prime.  Res64: 825990F969527AB1  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 08:44:13]
429*2^1071028-1 is not prime.  Res64: D848B09151ACA795  Time : 0.0 sec.
user=odicin
[2011-12-02 08:48:10]
405*2^1071027-1 is not prime.  Res64: CCA677222314DF52  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 08:48:34]
485*2^1071028-1 is not prime.  Res64: E30E234CBDD0BB9F  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 08:57:41]
567*2^1071029-1 is not prime.  Res64: 08DE54847C3983C9  Time : 0.0 sec.
user=odicin
[2011-12-02 08:58:21]
567*2^1071028-1 is not prime.  Res64: 7AC20FFE127138DC  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 09:01:50]
589*2^1071029-1 is not prime.  Res64: 185A09C1224A446D  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 09:02:34]
401*2^1071030-1 is not prime.  Res64: 3940453468FA17A2  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 09:06:57]
585*2^1071030-1 is not prime.  Res64: 1FB4E85F89763C9B  Time : 0.0 sec.
user=odicin
[2011-12-02 09:14:27]
513*2^1071030-1 is not prime.  Res64: B6D3BE6C9052454F  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 09:16:08]
413*2^1071032-1 is not prime.  Res64: F6E8FCA66BA3D11E  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 09:20:05]
495*2^1071032-1 is not prime.  Res64: B74CA3D31EDB0914  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 09:20:56]
587*2^1071032-1 is not prime.  Res64: 9066E48D49A40606  Time : 0.0 sec.
user=odicin
[2011-12-02 09:24:37]
449*2^1071032-1 is not prime.  Res64: C1347C1D82B96B3D  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 09:25:19]
427*2^1071033-1 is not prime.  Res64: E79CDE6C1FF13539  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 09:34:24]
475*2^1071033-1 is not prime.  Res64: F6762ADE278390F4  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 09:38:27]
495*2^1071033-1 is not prime.  Res64: 27539D697A2DA5AB  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 09:39:16]
565*2^1071033-1 is not prime.  Res64: D0AA71FA9B47DF9B  Time : 0.0 sec.
user=odicin
[2011-12-02 09:40:47]
471*2^1071033-1 is not prime.  Res64: 1DD1AF62F121E7BC  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 09:43:40]
503*2^1071034-1 is not prime.  Res64: 4303E27039C6D332  Time : 0.0 sec.
user=odicin
[2011-12-02 09:50:59]
443*2^1071034-1 is not prime.  Res64: CC7D65D676D42435  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 09:52:45]
561*2^1071034-1 is not prime.  Res64: F1115B7C23807995  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 09:56:46]
479*2^1071036-1 is not prime.  Res64: 1A0E6073578871EC  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 09:57:30]
421*2^1071037-1 is not prime.  Res64: 7F5B852CFC1CFDE0  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 10:02:01]
567*2^1071037-1 is not prime.  Res64: E1E6D470AEBDE86D  Time : 0.0 sec.
user=odicin
[2011-12-02 10:07:14]
451*2^1071037-1 is not prime.  Res64: 21EB78F50E4F618A  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 10:11:01]
453*2^1071038-1 is not prime.  Res64: D22B1BB637A2A551  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 10:15:07]
533*2^1071038-1 is not prime.  Res64: 15648CFB84567A8A  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 10:15:51]
551*2^1071038-1 is not prime.  Res64: 953BA79F3E5A9FCF  Time : 0.0 sec.
user=odicin
[2011-12-02 10:17:23]
589*2^1071037-1 is not prime.  Res64: D393FD2EA784F8DC  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 10:20:19]
563*2^1071038-1 is not prime.  Res64: 4F85EAED5E789AD5  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 10:29:26]
415*2^1071039-1 is not prime.  Res64: E838C59C8C8E7537  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 10:33:28]
513*2^1071039-1 is not prime.  Res64: 4499719104274093  Time : 0.0 sec.
user=odicin
[2011-12-02 10:33:35]
567*2^1071038-1 is not prime.  Res64: BAD73498A3FD6F12  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 10:34:16]
483*2^1071040-1 is not prime.  Res64: C455342384C789BA  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 10:38:38]
409*2^1071041-1 is not prime.  Res64: 2560EFCF70CF9A54  Time : 0.0 sec.
user=odicin
[2011-12-02 10:43:38]
405*2^1071041-1 is not prime.  Res64: BB3B966014E2C213  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 10:47:47]
547*2^1071041-1 is not prime.  Res64: 566597684743E8A4  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 10:51:42]
423*2^1071042-1 is not prime.  Res64: F683CEAB15BBDA34  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 10:52:36]
415*2^1071043-1 is not prime.  Res64: 19686F0CA34A0DD8  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 10:56:56]
451*2^1071043-1 is not prime.  Res64: 88FA8DAF3060B1CF  Time : 0.0 sec.
user=odicin
[2011-12-02 10:59:51]
425*2^1071042-1 is not prime.  Res64: D75729D02A7FEED2  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 11:06:00]
493*2^1071043-1 is not prime.  Res64: 26BFBAD38D8389D4  Time : 0.0 sec.
user=odicin
[2011-12-02 11:09:53]
475*2^1071043-1 is not prime.  Res64: 7B6431885F1EABDE  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 11:09:55]
511*2^1071043-1 is not prime.  Res64: 9AF4ABFBB677767F  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 11:10:50]
555*2^1071043-1 is not prime.  Res64: 2AEF82417B3B60F5  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 11:15:07]
583*2^1071043-1 is not prime.  Res64: B6AAE0E8770EC4A2  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 11:24:13]
465*2^1071044-1 is not prime.  Res64: 91A2AE83593DDDD0  Time : 0.0 sec.
user=odicin
[2011-12-02 11:26:12]
423*2^1071044-1 is not prime.  Res64: 39EFC957902755EC  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 11:28:11]
427*2^1071045-1 is not prime.  Res64: BAE60CE2E402AE0B  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 11:29:24]
459*2^1071045-1 is not prime.  Res64: DCA18430BCF430E5  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 11:33:24]
597*2^1071045-1 is not prime.  Res64: 5D381702E93AAB24  Time : 0.0 sec.
user=odicin
[2011-12-02 11:36:16]
495*2^1071044-1 is not prime.  Res64: 4363F3AB7D401528  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 11:42:23]
491*2^1071046-1 is not prime.  Res64: 4C8A90BCA2BE7D2B  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 11:46:25]
587*2^1071046-1 is not prime.  Res64: C0DBD52D490B0CA6  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 11:47:42]
593*2^1071046-1 is not prime.  Res64: C6B750ECC16A5092  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 11:51:39]
463*2^1071047-1 is not prime.  Res64: 39C136BD5B710BFB  Time : 0.0 sec.
user=odicin
[2011-12-02 11:52:35]
561*2^1071046-1 is not prime.  Res64: A5A023208C53E39B  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 12:00:37]
571*2^1071047-1 is not prime.  Res64: 67A34CB8533D84BF  Time : 0.0 sec.
user=odicin
[2011-12-02 12:02:33]
523*2^1071047-1 is not prime.  Res64: D95439285105C6A1  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 12:04:38]
585*2^1071047-1 is not prime.  Res64: F4062BC8D2F9A018  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 12:05:55]
453*2^1071048-1 is not prime.  Res64: 6AB0CADD9F62B856  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 12:09:49]
479*2^1071048-1 is not prime.  Res64: 0DBCF4D2EF46B912  Time : 0.0 sec.
user=odicin
[2011-12-02 12:18:55]
509*2^1071048-1 is not prime.  Res64: CD50A69148487731  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 12:18:55]
411*2^1071049-1 is not prime.  Res64: 43FE825CC64F5EF5  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 12:22:51]
547*2^1071049-1 is not prime.  Res64: 4CDAF1E51821F04C  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 12:24:11]
405*2^1071050-1 is not prime.  Res64: B7F2AD1E690F02AF  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 12:28:05]
407*2^1071050-1 is not prime.  Res64: A8007133F764DD1E  Time : 0.0 sec.
user=odicin
[2011-12-02 12:28:54]
435*2^1071049-1 is not prime.  Res64: B5EAC006CB64B4A7  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 12:37:07]
467*2^1071050-1 is not prime.  Res64: A5034B76C144671C  Time : 0.0 sec.
user=odicin
[2011-12-02 12:45:20]
461*2^1071050-1 is not prime.  Res64: E865EE0B00854C2F  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 12:47:34]
561*2^1071050-1 is not prime.  Res64: 9F0EC330C141937D  Time : 0.0 sec.
user=odicin
[2011-12-02 12:55:17]
593*2^1071050-1 is not prime.  Res64: AF231E9B233D3B64  Time : 0.0 sec.
user=odicin
[2011-12-02 13:11:40]
507*2^1071052-1 is not prime.  Res64: BE7D32D9F94D12A8  Time : 0.0 sec.
user=odicin
[2011-12-02 13:21:33]
511*2^1071053-1 is not prime.  Res64: 83D5D42FACF30008  Time : 0.0 sec.
user=odicin
[2011-12-02 13:38:06]
589*2^1071053-1 is not prime.  Res64: 7AD8D34B626124C3  Time : 0.0 sec.
user=odicin
[2011-12-02 13:47:57]
501*2^1071054-1 is not prime.  Res64: 971C961E510A3502  Time : 0.0 sec.
user=odicin
[2011-12-02 14:04:27]
525*2^1071055-1 is not prime.  Res64: 7EA210FA83CE3293  Time : 0.0 sec.
user=odicin
[2011-12-02 14:14:15]
455*2^1071056-1 is not prime.  Res64: 6107862237510D81  Time : 0.0 sec.
user=odicin
[2011-12-02 14:30:47]
557*2^1071056-1 is not prime.  Res64: 2E55D3EC8BC64189  Time : 0.0 sec.
user=odicin
[2011-12-02 14:40:43]
563*2^1071056-1 is not prime.  Res64: A0A86B92AE619BB7  Time : 0.0 sec.
user=odicin
[2011-12-02 14:57:17]
593*2^1071056-1 is not prime.  Res64: 6FE1F37586495D12  Time : 0.0 sec.
user=odicin
[2011-12-02 15:07:20]
439*2^1071057-1 is not prime.  Res64: B55264571BB718B1  Time : 0.0 sec.
user=odicin
[2011-12-02 15:23:30]
501*2^1071057-1 is not prime.  Res64: 060F43A7681F1D8F  Time : 0.0 sec.
user=odicin
[2011-12-02 15:33:37]
549*2^1071057-1 is not prime.  Res64: B12DCC95719A85A4  Time : 0.0 sec.
user=odicin
[2011-12-02 15:49:49]
565*2^1071057-1 is not prime.  Res64: 230AE46104F8EBE4  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 15:52:27]
575*2^1071050-1 is not prime.  Res64: F382DEBDA9B917CF  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 15:52:36]
513*2^1071052-1 is not prime.  Res64: 9DE5BE7EB9F28146  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 15:52:53]
585*2^1071050-1 is not prime.  Res64: 409966D57BDB0596  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 15:52:59]
485*2^1071052-1 is not prime.  Res64: 7FC5BA42C191D0AE  Time : 0.0 sec.
user=odicin
[2011-12-02 15:59:52]
571*2^1071057-1 is not prime.  Res64: 427796A29E07DC10  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 16:10:53]
453*2^1071058-1 is not prime.  Res64: D0E60A7999AF781D  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 16:10:59]
483*2^1071058-1 is not prime.  Res64: 20D78CFFD17108D4  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 16:11:07]
497*2^1071058-1 is not prime.  Res64: D30468B5E48DCA88  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 16:11:18]
575*2^1071058-1 is not prime.  Res64: 9A8D4D1F7409E417  Time : 0.0 sec.
user=odicin
[2011-12-02 16:16:08]
401*2^1071058-1 is not prime.  Res64: 39FA1BE298E8FFC7  Time : 0.0 sec.
user=odicin
[2011-12-02 16:26:11]
441*2^1071059-1 is not prime.  Res64: C22841F29840602D  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 16:29:10]
451*2^1071059-1 is not prime.  Res64: CB240EE0C3F21DBE  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 16:29:13]
465*2^1071059-1 is not prime.  Res64: 781D7595BC51D999  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 16:29:25]
481*2^1071059-1 is not prime.  Res64: 5A047615AD32BDA4  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 16:29:34]
495*2^1071059-1 is not prime.  Res64: 58B3B5CC9CB6F8D3  Time : 0.0 sec.
user=odicin
[2011-12-02 16:42:22]
425*2^1071060-1 is not prime.  Res64: 2C931829FB3AAE0F  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 16:47:21]
453*2^1071060-1 is not prime.  Res64: FFA8723594E09235  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 16:47:26]
537*2^1071060-1 is not prime.  Res64: D5F35EBCAAFAEAE8  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 16:47:38]
569*2^1071060-1 is not prime.  Res64: 0788DE7F6E152A29  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 16:47:49]
593*2^1071060-1 is not prime.  Res64: 516F551BCD27F87F  Time : 0.0 sec.
user=odicin
[2011-12-02 16:52:32]
447*2^1071060-1 is not prime.  Res64: 4E10D9AAB597DD82  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 17:06:10]
415*2^1071061-1 is not prime.  Res64: E30EAF526187EA9A  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 17:06:21]
477*2^1071061-1 is not prime.  Res64: A329E59B0C414084  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 17:06:34]
565*2^1071061-1 is not prime.  Res64: EC0210B98E63BCDC  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 17:06:56]
597*2^1071061-1 is not prime.  Res64: E58D480DB6E13925  Time : 0.0 sec.
user=odicin
[2011-12-02 17:08:37]
411*2^1071061-1 is not prime.  Res64: 2360F08EBABE6AF2  Time : 0.0 sec.
user=juhehe
[2011-12-02 17:10:18]
431*2^1071062-1 is not prime.  Res64: E86BEB1A0024CA93  Time : 0.0 sec.
user=odicin
[2011-12-02 17:18:52]
407*2^1071062-1 is not prime.  Res64: 16FDCFF5E8858655  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 17:27:10]
525*2^1071062-1 is not prime.  Res64: CB3DA4275A062E01  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 17:27:34]
445*2^1071063-1 is not prime.  Res64: 8037FAD33957E8B9  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 17:27:43]
533*2^1071062-1 is not prime.  Res64: 5FB7317EB401DB16  Time : 0.0 sec.
user=juhehe
[2011-12-02 17:27:50]
591*2^1071063-1 is not prime.  Res64: FE05892149E164A7  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 17:28:01]
523*2^1071063-1 is not prime.  Res64: 1793C51AEACE1195  Time : 0.0 sec.
user=odicin
[2011-12-02 17:34:59]
553*2^1071063-1 is not prime.  Res64: 494E00D82F3004BB  Time : 0.0 sec.
user=odicin
[2011-12-02 17:45:24]
423*2^1071064-1 is not prime.  Res64: B861F5125DE9692A  Time : 0.0 sec.
user=juhehe
[2011-12-02 17:46:29]
597*2^1071064-1 is not prime.  Res64: 95FB1C3DA7D9E98D  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 17:47:58]
539*2^1071064-1 is not prime.  Res64: 6362560DC997D936  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 17:48:23]
453*2^1071064-1 is not prime.  Res64: 6525BEADA3FA3AC2  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 17:48:29]
511*2^1071065-1 is not prime.  Res64: 67DFB182F90A3699  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 17:48:59]
567*2^1071064-1 is not prime.  Res64: 4FB55B426EA00D79  Time : 0.0 sec.
user=odicin
[2011-12-02 18:01:14]
563*2^1071066-1 is not prime.  Res64: 2867D39109070DE1  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 18:07:17]
541*2^1071073-1 is not prime.  Res64: BAA2001D53AEDF15  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 18:07:46]
549*2^1071073-1 is not prime.  Res64: 3C5A9F6D18F6A17D  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 18:08:18]
585*2^1071074-1 is not prime.  Res64: 99E930BDEFD61441  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 18:08:18]
503*2^1071074-1 is not prime.  Res64: 53F2B3567B685BCE  Time : 0.0 sec.
user=odicin
[2011-12-02 18:11:40]
581*2^1071066-1 is not prime.  Res64: 707EF3A527E9AD90  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 18:26:20]
545*2^1071076-1 is not prime.  Res64: FC188435768C1EB3  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 18:27:19]
405*2^1071077-1 is not prime.  Res64: 3241E987DCA2529D  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 18:27:22]
441*2^1071077-1 is not prime.  Res64: D390B0A9A4983F10  Time : 0.0 sec.
user=odicin
[2011-12-02 18:27:37]
465*2^1071075-1 is not prime.  Res64: 171E76A05926E407  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 18:27:46]
563*2^1071076-1 is not prime.  Res64: 38D692CD03D7D61F  Time : 0.0 sec.
user=odicin
[2011-12-02 18:37:58]
445*2^1071077-1 is not prime.  Res64: 63D86DCD96EFE71D  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 18:45:07]
519*2^1071077-1 is not prime.  Res64: B1629BFE70823D33  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 18:45:41]
529*2^1071077-1 is not prime.  Res64: B57EA88E68826DEF  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 18:46:00]
413*2^1071078-1 is not prime.  Res64: 69714371C28A1F3C  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 18:46:13]
495*2^1071078-1 is not prime.  Res64: CFFCF33B3A3A4574  Time : 0.0 sec.
user=odicin
[2011-12-02 18:53:54]
485*2^1071078-1 is not prime.  Res64: 0FF33DE9D9967619  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 19:03:34]
451*2^1071079-1 is not prime.  Res64: 3DAE4A9E9A7442FA  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 19:04:16]
463*2^1071079-1 is not prime.  Res64: 7A4CE0886056B02D  Time : 0.0 sec.
user=odicin
[2011-12-02 19:04:21]
567*2^1071078-1 is not prime.  Res64: DFB4745031032B4D  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 19:04:24]
559*2^1071079-1 is not prime.  Res64: 2C37C0453968A5DC  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 19:04:41]
449*2^1071080-1 is not prime.  Res64: F065948FA8B64D7D  Time : 0.0 sec.
user=odicin
[2011-12-02 19:20:12]
455*2^1071080-1 is not prime.  Res64: 8E59ADDBA0C0BA83  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 19:21:48]
465*2^1071080-1 is not prime.  Res64: 704D6E03C7520D43  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 19:22:29]
515*2^1071080-1 is not prime.  Res64: D294C84528ED29A7  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 19:22:39]
563*2^1071080-1 is not prime.  Res64: F3B514099BA35BA4  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 19:22:52]
585*2^1071080-1 is not prime.  Res64: 19C4FBF3BDE3716A  Time : 0.0 sec.
user=odicin
[2011-12-02 19:30:47]
543*2^1071080-1 is not prime.  Res64: 5E8DE159CCA4B263  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 19:40:00]
441*2^1071081-1 is not prime.  Res64: 922123CCBDB4B370  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 19:40:40]
465*2^1071081-1 is not prime.  Res64: EA20903F1958604E  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 19:40:50]
475*2^1071081-1 is not prime.  Res64: 6B96F12A6E6A2304  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 19:41:01]
571*2^1071081-1 is not prime.  Res64: 53EF5DCBF12CCD0A  Time : 0.0 sec.
user=juhehe
[2011-12-02 19:42:02]
495*2^1071067-1 is not prime.  Res64: 74DE18C102E39DBF  Time : 0.0 sec.
user=juhehe
[2011-12-02 19:42:02]
555*2^1071067-1 is not prime.  Res64: D120088DDF54B8F8  Time : 0.0 sec.
user=juhehe
[2011-12-02 19:42:03]
435*2^1071068-1 is not prime.  Res64: 8F77B11C2E7FE8CB  Time : 0.0 sec.
user=juhehe
[2011-12-02 19:42:03]
503*2^1071068-1 is not prime.  Res64: DAE83956FFC44AC1  Time : 0.0 sec.
user=juhehe
[2011-12-02 19:42:04]
525*2^1071068-1 is not prime.  Res64: 56DEDC5608DA71FA  Time : 0.0 sec.
user=juhehe
[2011-12-02 19:42:04]
539*2^1071068-1 is not prime.  Res64: 62E35CE04DC0D0F0  Time : 0.0 sec.
user=odicin
[2011-12-02 19:46:32]
593*2^1071080-1 is not prime.  Res64: D29A444990EF68C1  Time : 0.0 sec.
user=odicin
[2011-12-02 19:57:11]
577*2^1071081-1 is not prime.  Res64: E4FCD26197A5DDCB  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 19:58:13]
525*2^1071082-1 is not prime.  Res64: 6E80D1381902BDCF  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 19:58:49]
445*2^1071083-1 is not prime.  Res64: B4768C7FA940EBF5  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 19:58:59]
463*2^1071083-1 is not prime.  Res64: 251AADCE6711AB25  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 19:59:10]
505*2^1071083-1 is not prime.  Res64: 789ECB8AD0E7ADC1  Time : 0.0 sec.
user=odicin
[2011-12-02 20:12:52]
459*2^1071084-1 is not prime.  Res64: A4BD4497C672FE03  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 20:16:23]
489*2^1071084-1 is not prime.  Res64: F46717692EA884E3  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 20:16:59]
497*2^1071084-1 is not prime.  Res64: FC892D427FD7A907  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 20:17:12]
441*2^1071085-1 is not prime.  Res64: 50B5388DACFD2DB0  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 20:17:20]
447*2^1071085-1 is not prime.  Res64: FEDABB4070D46699  Time : 0.0 sec.
user=odicin
[2011-12-02 20:23:27]
483*2^1071084-1 is not prime.  Res64: F03B8F010626BBD3  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 20:34:35]
507*2^1071086-1 is not prime.  Res64: CC93A46948F3BC92  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 20:35:13]
587*2^1071086-1 is not prime.  Res64: F47C8839998F23BF  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 20:35:20]
511*2^1071087-1 is not prime.  Res64: 141980163DE235A8  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 20:35:31]
437*2^1071088-1 is not prime.  Res64: DA0BC3791A28D469  Time : 0.0 sec.
user=odicin
[2011-12-02 20:39:21]
555*2^1071085-1 is not prime.  Res64: 76390E991EFF45AF  Time : 0.0 sec.
user=odicin
[2011-12-02 20:49:43]
483*2^1071088-1 is not prime.  Res64: C800869297CF68F9  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 20:52:47]
489*2^1071088-1 is not prime.  Res64: 62A294A32692BE5C  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 20:53:25]
563*2^1071088-1 is not prime.  Res64: 171663D8805AD77D  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 20:53:31]
575*2^1071088-1 is not prime.  Res64: B121F14F0B5A77CC  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 20:53:40]
465*2^1071089-1 is not prime.  Res64: 20A8135EFE079C23  Time : 0.0 sec.
user=odicin
[2011-12-02 21:05:34]
489*2^1071089-1 is not prime.  Res64: E9D592EF0B7C786A  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 21:11:52]
559*2^1071089-1 is not prime.  Res64: 1331FE1D020D640D  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 21:12:07]
417*2^1071090-1 is not prime.  Res64: 3E0E6380FC369A43  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 21:12:08]
567*2^1071089-1 is not prime.  Res64: 33E36C27EBC6B4DA  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 21:12:26]
431*2^1071090-1 is not prime.  Res64: 7AEF98B74B3241E6  Time : 0.0 sec.
user=odicin
[2011-12-02 21:16:00]
501*2^1071089-1 is not prime.  Res64: 603B75F8FDA89A21  Time : 0.0 sec.
user=odicin
[2011-12-02 21:32:02]
453*2^1071090-1 is not prime.  Res64: A3BF0559F2087D6C  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 21:32:45]
521*2^1071090-1 is not prime.  Res64: 2F8F4C1DD1BBC196  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 21:32:56]
581*2^1071090-1 is not prime.  Res64: 896A6FC65DE07396  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 21:33:22]
405*2^1071091-1 is not prime.  Res64: E05103E25F68E04A  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 21:34:19]
555*2^1071090-1 is not prime.  Res64: 7CB667CBCCFA495D  Time : 0.0 sec.
user=odicin
[2011-12-02 21:42:23]
415*2^1071091-1 is not prime.  Res64: 6B6ECFA7BBE95B51  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 21:53:24]
489*2^1071091-1 is not prime.  Res64: F91628C24A8BCC67  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 21:53:34]
417*2^1071093-1 is not prime.  Res64: 00A889C4ED31102E  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 21:53:53]
505*2^1071091-1 is not prime.  Res64: 75BB788CA7923A19  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 21:55:46]
553*2^1071099-1 is not prime.  Res64: F29C9B8E5BC73285  Time : 0.0 sec.
user=odicin
[2011-12-02 21:58:23]
483*2^1071091-1 is not prime.  Res64: AF1D33BBEDA2E851  Time : 0.0 sec.
user=odicin
[2011-12-02 22:08:43]
571*2^1071099-1 is not prime.  Res64: 797CA33DA6E9BB3A  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 22:12:20]
437*2^1071100-1 is not prime.  Res64: 2294BE0EF58B3CC1  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 22:12:24]
513*2^1071100-1 is not prime.  Res64: DA04DEB9FFBF9153  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 22:12:52]
539*2^1071100-1 is not prime.  Res64: F79A706244A83BCA  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 22:14:35]
417*2^1071101-1 is not prime.  Res64: 0E6B1B6D27B85E4F  Time : 0.0 sec.
user=odicin
[2011-12-02 22:24:40]
447*2^1071101-1 is not prime.  Res64: E2C7B582379B7EFE  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 22:30:39]
571*2^1071101-1 is not prime.  Res64: F3495DC1ED7BC28A  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 22:30:51]
423*2^1071102-1 is not prime.  Res64: D30E5F5975700C17  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 22:31:11]
507*2^1071102-1 is not prime.  Res64: 082D2D2D94847B70  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 22:32:55]
591*2^1071102-1 is not prime.  Res64: BCF412D53F5E5640  Time : 0.0 sec.
user=gd_barnes
[2011-12-02 22:33:05]
547*2^1071101-1 is not prime.  Res64: FF28A31B3CAC1CE5  Time : 0.0 sec.
user=gd_barnes
[2011-12-02 22:33:46]
495*2^1071101-1 is not prime.  Res64: E92523704225CF32  Time : 0.0 sec.
user=odicin
[2011-12-02 22:35:11]
475*2^1071101-1 is not prime.  Res64: 7456A23428D351B2  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 22:48:57]
573*2^1071103-1 is not prime.  Res64: E03977C5F18B3430  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 22:49:10]
425*2^1071104-1 is not prime.  Res64: 6842E2A5A767CCA8  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 22:49:32]
539*2^1071104-1 is not prime.  Res64: 8D6DCA937CF2EA32  Time : 0.0 sec.
user=odicin
[2011-12-02 22:51:00]
549*2^1071103-1 is not prime.  Res64: 5BCE192A676102A8  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 22:51:11]
471*2^1071105-1 is not prime.  Res64: EEC6FC11EFE070E8  Time : 0.0 sec.
user=odicin
[2011-12-02 23:01:28]
511*2^1071105-1 is not prime.  Res64: 96AB7F7C03156915  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 23:07:15]
531*2^1071105-1 is not prime.  Res64: 6A45FE5F9242D132  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 23:07:31]
591*2^1071105-1 is not prime.  Res64: 6774D372DEAF5BCC  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 23:07:51]
425*2^1071106-1 is not prime.  Res64: CEE008D8875ADB65  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 23:09:36]
477*2^1071106-1 is not prime.  Res64: 8481E312D6EBF1E9  Time : 0.0 sec.
user=odicin
[2011-12-02 23:17:18]
443*2^1071106-1 is not prime.  Res64: 0DCF9B2FAE727AF7  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 23:25:40]
421*2^1071107-1 is not prime.  Res64: BB451CBFA0FCF8E4  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 23:25:51]
469*2^1071107-1 is not prime.  Res64: B95D084BA4E232F3  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 23:26:11]
495*2^1071107-1 is not prime.  Res64: 294E1D92CA6259B0  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 23:27:53]
571*2^1071107-1 is not prime.  Res64: AE1E4D2324D6D468  Time : 0.0 sec.
user=odicin
[2011-12-02 23:27:55]
525*2^1071106-1 is not prime.  Res64: CD8ECCAEDCD48768  Time : 0.0 sec.
user=juhehe
[2011-12-02 23:29:33]
429*2^1071069-1 is not prime.  Res64: 1FF20A8EF28C7459  Time : 0.0 sec.
user=juhehe
[2011-12-02 23:29:34]
487*2^1071069-1 is not prime.  Res64: B30853B491E0C38E  Time : 0.0 sec.
user=juhehe
[2011-12-02 23:29:34]
571*2^1071069-1 is not prime.  Res64: 5D62050C92DF6EAC  Time : 0.0 sec.
user=juhehe
[2011-12-02 23:29:34]
579*2^1071069-1 is not prime.  Res64: C859EFA9A1F0F4B5  Time : 0.0 sec.
user=juhehe
[2011-12-02 23:29:35]
443*2^1071070-1 is not prime.  Res64: 2189C3C67F521736  Time : 0.0 sec.
user=juhehe
[2011-12-02 23:29:35]
453*2^1071070-1 is not prime.  Res64: 3880A155088E496A  Time : 0.0 sec.
user=juhehe
[2011-12-02 23:29:35]
471*2^1071070-1 is not prime.  Res64: F5B99319E0B68CE9  Time : 0.0 sec.
user=juhehe
[2011-12-02 23:29:36]
533*2^1071070-1 is not prime.  Res64: A44F01AC240E936B  Time : 0.0 sec.
user=juhehe
[2011-12-02 23:29:36]
423*2^1071071-1 is not prime.  Res64: 0B8A6147A1983B7B  Time : 0.0 sec.
user=juhehe
[2011-12-02 23:29:36]
559*2^1071071-1 is not prime.  Res64: C525E05B84333D88  Time : 0.0 sec.
user=juhehe
[2011-12-02 23:29:36]
405*2^1071072-1 is not prime.  Res64: EF736386762DD2AE  Time : 0.0 sec.
user=juhehe
[2011-12-02 23:29:37]
537*2^1071072-1 is not prime.  Res64: 9CF8C4F88A17233E  Time : 0.0 sec.
user=juhehe
[2011-12-02 23:29:37]
465*2^1071073-1 is not prime.  Res64: 61E944B79F6080B8  Time : 0.0 sec.
user=juhehe
[2011-12-02 23:29:37]
495*2^1071073-1 is not prime.  Res64: FE77477A0267E558  Time : 0.0 sec.
user=odicin
[2011-12-02 23:43:37]
585*2^1071107-1 is not prime.  Res64: 72CB9823E588944D  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 23:43:58]
485*2^1071108-1 is not prime.  Res64: 90A05DD9B728F015  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 23:44:14]
525*2^1071108-1 is not prime.  Res64: 0EECC59A4925E088  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 23:44:29]
549*2^1071109-1 is not prime.  Res64: 29B1400732FF6733  Time : 0.0 sec.
user=mdettweiler
[2011-12-02 23:46:10]
585*2^1071110-1 is not prime.  Res64: A343B2BAAA73EE9E  Time : 0.0 sec.
user=odicin
[2011-12-02 23:54:12]
417*2^1071110-1 is not prime.  Res64: D7BE0B6F842987FB  Time : 0.0 sec.