user=mdettweiler
[2013-08-28 00:03:25]
743*2^1251998-1 is not prime.  Res64: 224BE936716D550D  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 00:03:27]
843*2^1251998-1 is not prime.  Res64: 1463AFA0FA651AB0  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 00:08:47]
945*2^1251998-1 is not prime.  Res64: BA1B03B492AF8B6C  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 00:08:48]
661*2^1251999-1 is not prime.  Res64: BC112D4CE4E252F8  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 00:09:34]
711*2^1251999-1 is not prime.  Res64: 98523AA714B64405  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 00:09:36]
865*2^1251999-1 is not prime.  Res64: 8F1227AA3F732B97  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 00:12:21]
885*2^1251999-1 is not prime.  Res64: 2283A39680357112  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 00:12:23]
931*2^1251999-1 is not prime.  Res64: 7D12A1232A530D56  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 00:25:48]
961*2^1251999-1 is not prime.  Res64: 687A1CB9D893ED8E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 00:25:49]
985*2^1251999-1 is not prime.  Res64: C34E96E985445369  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 00:29:08]
723*2^1252000-1 is not prime.  Res64: 8EF601C06DBBBC0A  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 00:29:08]
873*2^1252000-1 is not prime.  Res64: C003D13EB4143FF8  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 00:31:02]
875*2^1252000-1 is not prime.  Res64: 333F75E778FD9829  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 00:31:03]
887*2^1252000-1 is not prime.  Res64: E311253F33414342  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 00:34:54]
899*2^1252000-1 is not prime.  Res64: 66FAE579952016AF  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 00:34:55]
927*2^1252000-1 is not prime.  Res64: 05FA4B6F57D38A59  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 00:47:42]
929*2^1252000-1 is not prime.  Res64: A374B833B7BE0AFA  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 00:47:43]
607*2^1252001-1 is not prime.  Res64: 06C1D11798C301E4  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 00:49:56]
651*2^1252001-1 is not prime.  Res64: F79762A61762A9F8  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 00:49:57]
789*2^1252001-1 is not prime.  Res64: AE9D89A390534E0B  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 00:51:27]
837*2^1252001-1 is not prime.  Res64: 3AD08AF55101C1A2  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 00:51:27]
871*2^1252001-1 is not prime.  Res64: D8C5F01340EE6D6D  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 00:55:35]
635*2^1252002-1 is not prime.  Res64: 3A33CE3E0B1F8CE5  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 00:55:35]
671*2^1252002-1 is not prime.  Res64: 2C36276205DE3F0F  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 01:07:56]
695*2^1252002-1 is not prime.  Res64: F8AB3F85EFCF7906  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 01:07:57]
723*2^1252002-1 is not prime.  Res64: 0E0FC44D70A57EDB  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 01:11:09]
791*2^1252002-1 is not prime.  Res64: B295F9BFAD6A0CCE  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 01:11:10]
891*2^1252002-1 is not prime.  Res64: C1A70EFF3A0427D5  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 01:12:41]
951*2^1252002-1 is not prime.  Res64: F4EE90B56BF7485F  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 01:12:42]
625*2^1252003-1 is not prime.  Res64: 9FB7F3BD417B301B  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 01:15:45]
673*2^1252003-1 is not prime.  Res64: F93F62F089950878  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 01:15:46]
693*2^1252003-1 is not prime.  Res64: EB6595E0CE4B1B3A  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 01:28:13]
705*2^1252003-1 is not prime.  Res64: DC92D032FE0302A4  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 01:28:13]
769*2^1252003-1 is not prime.  Res64: 254A9E33AFEF673C  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 01:31:20]
819*2^1252003-1 is not prime.  Res64: 9051BA3AB9CD370B  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 01:31:20]
853*2^1252003-1 is not prime.  Res64: 49702580F9E3D4B2  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 01:34:50]
973*2^1252003-1 is not prime.  Res64: 49FB562731CBB728  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 01:34:51]
993*2^1252003-1 is not prime.  Res64: 92BEC5857AC3D849  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 01:36:53]
789*2^1252004-1 is not prime.  Res64: 09B35E9E0ECBD5AE  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 01:36:53]
897*2^1252004-1 is not prime.  Res64: E86BC87C755E1339  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 01:49:25]
899*2^1252004-1 is not prime.  Res64: C773447D9B11AC27  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 01:49:25]
649*2^1252005-1 is not prime.  Res64: 0F190238A39B583E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 01:57:22]
831*2^1252005-1 is not prime.  Res64: BFF3772E9881616C  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 01:57:22]
979*2^1252005-1 is not prime.  Res64: D6BB12D970930D19  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 01:57:23]
655*2^1252005-1 is not prime.  Res64: 34F10DCD4CB59275  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 01:57:24]
657*2^1252005-1 is not prime.  Res64: 1E12DCCEB035B083  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 02:08:37]
743*2^1252006-1 is not prime.  Res64: 81A2ED5AC6F3AC4E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 02:08:38]
765*2^1252006-1 is not prime.  Res64: 4CF7F2288F32241D  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 02:17:52]
873*2^1252006-1 is not prime.  Res64: E1B4A83CD8E48AD7  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 02:17:53]
957*2^1252006-1 is not prime.  Res64: 743316EA2BBED48E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 02:17:54]
993*2^1252006-1 is not prime.  Res64: 06A35A7A04631047  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 02:17:55]
651*2^1252007-1 is not prime.  Res64: 4EE5B2955D6391BA  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 02:28:15]
661*2^1252007-1 is not prime.  Res64: 265F4B8283E1B88B  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 02:28:16]
675*2^1252007-1 is not prime.  Res64: D4D2AD97F5DB68E9  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 02:37:25]
693*2^1252007-1 is not prime.  Res64: 5241EC7D3A4E6256  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 02:37:26]
759*2^1252007-1 is not prime.  Res64: 6BE4535211381B33  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 02:37:27]
711*2^1252007-1 is not prime.  Res64: F44151A33F2921FD  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 02:37:28]
841*2^1252007-1 is not prime.  Res64: 4077692BD02B4B96  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 02:48:45]
931*2^1252007-1 is not prime.  Res64: 3C7B6CADB68BB9DB  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 02:48:46]
615*2^1252008-1 is not prime.  Res64: FCEDE8BD01923128  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 02:57:14]
609*2^1252009-1 is not prime.  Res64: A419D5E0E89BDB6D  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 02:57:14]
615*2^1252009-1 is not prime.  Res64: 0B045E56782863D8  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 02:57:15]
713*2^1252008-1 is not prime.  Res64: 9739EB49AC690058  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 02:57:16]
777*2^1252008-1 is not prime.  Res64: F0C744ECF1354F2E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 03:08:31]
687*2^1252009-1 is not prime.  Res64: F79392BB07A19C01  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 03:08:32]
765*2^1252009-1 is not prime.  Res64: AE662A74BBE38C5B  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 03:16:46]
799*2^1252009-1 is not prime.  Res64: 189FBC213AAB4AEE  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 03:16:46]
861*2^1252009-1 is not prime.  Res64: C3D29010567135D1  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 03:17:46]
951*2^1252009-1 is not prime.  Res64: F7BDAE1CAFE44EE7  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 03:17:47]
635*2^1252010-1 is not prime.  Res64: 2829B4E5D233F723  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 03:23:40]
717*2^1252005-1 is not prime.  Res64: 760891D305ECE9A3  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 03:23:43]
795*2^1252005-1 is not prime.  Res64: 6FFA67E4B856DCA2  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 03:28:18]
747*2^1252010-1 is not prime.  Res64: 24B64F9F2D6CB681  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 03:28:18]
753*2^1252010-1 is not prime.  Res64: 20DE821E7355FF75  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 03:36:46]
831*2^1252010-1 is not prime.  Res64: 5E7EA586B0C54FF7  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 03:36:47]
669*2^1252011-1 is not prime.  Res64: E8EC04B5303C6B21  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 03:38:45]
805*2^1252011-1 is not prime.  Res64: 638AE3B3335C7CF8  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 03:38:45]
969*2^1252011-1 is not prime.  Res64: 618AD81A2BC7EDED  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 03:44:20]
609*2^1252012-1 is not prime.  Res64: 1E3E2762B31B31D7  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 03:44:21]
635*2^1252012-1 is not prime.  Res64: DF9FCD454D65BE39  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 03:48:24]
675*2^1252012-1 is not prime.  Res64: C5FD69564E69F65A  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 03:48:24]
765*2^1252012-1 is not prime.  Res64: 5F60C3712ABDAD64  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 03:59:04]
909*2^1252012-1 is not prime.  Res64: D088103915C58E4D  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 03:59:04]
929*2^1252012-1 is not prime.  Res64: 0C8B5FF252FA9664  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 04:00:50]
933*2^1252012-1 is not prime.  Res64: 79C1F558360825EA  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 04:00:51]
965*2^1252012-1 is not prime.  Res64: 37B2435E36B1FF14  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 04:04:43]
631*2^1252013-1 is not prime.  Res64: 31A5A332DD88FEEA  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 04:04:43]
721*2^1252013-1 is not prime.  Res64: 6CDE43DA315EB755  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 04:08:44]
747*2^1252013-1 is not prime.  Res64: 897522530F8DEA0F  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 04:08:45]
771*2^1252013-1 is not prime.  Res64: 22526C7AB1808802  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 04:19:14]
847*2^1252013-1 is not prime.  Res64: 4E41BF00E4CC7D9E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 04:19:14]
861*2^1252013-1 is not prime.  Res64: 79ED041526F72CB6  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 04:22:01]
879*2^1252013-1 is not prime.  Res64: F629788D61222864  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 04:22:01]
889*2^1252013-1 is not prime.  Res64: B0927E4C26FBC251  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 04:24:51]
651*2^1252014-1 is not prime.  Res64: E8602B6B37FC80C7  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 04:24:52]
705*2^1252014-1 is not prime.  Res64: 3205A61CB3CAAC3C  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 04:29:58]
815*2^1252014-1 is not prime.  Res64: 33E2C2C9822A8A61  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 04:29:58]
903*2^1252014-1 is not prime.  Res64: 59E61FF68C577FF6  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 04:39:23]
663*2^1252015-1 is not prime.  Res64: 8C896DDFC098F1ED  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 04:39:24]
723*2^1252015-1 is not prime.  Res64: 0FC23EF141793701  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 04:42:12]
765*2^1252015-1 is not prime.  Res64: 49AF1C58B61E4441  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 04:42:13]
829*2^1252015-1 is not prime.  Res64: 0226B5E99E4874EE  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 04:45:57]
915*2^1252015-1 is not prime.  Res64: 53B79D85928F7D6C  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 04:45:58]
615*2^1252016-1 is not prime.  Res64: 4D3322F0205DC151  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 04:50:09]
669*2^1252016-1 is not prime.  Res64: 8E7F3C37ED145435  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 04:50:09]
675*2^1252016-1 is not prime.  Res64: C128A5457699BC12  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 04:59:32]
693*2^1252016-1 is not prime.  Res64: CD44627A91F75E3B  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 04:59:33]
719*2^1252016-1 is not prime.  Res64: 8DA974A3D1C51446  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 05:02:18]
773*2^1252016-1 is not prime.  Res64: 730204B33A5A3B7E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 05:02:19]
785*2^1252016-1 is not prime.  Res64: 71B21D8428D50BFD  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 05:07:01]
845*2^1252016-1 is not prime.  Res64: 2AB27749660EB73A  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 05:07:02]
917*2^1252016-1 is not prime.  Res64: DF61B4FAAE47032E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 05:10:10]
639*2^1252017-1 is not prime.  Res64: DD6B2215C255BADF  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 05:10:10]
747*2^1252017-1 is not prime.  Res64: B22263F226553B88  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 05:20:40]
867*2^1252017-1 is not prime.  Res64: 44867EB3548F9B68  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 05:20:40]
901*2^1252017-1 is not prime.  Res64: DDFF30D5405541A0  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 05:23:29]
985*2^1252017-1 is not prime.  Res64: 8D31994E63ED5F98  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 05:23:30]
657*2^1252018-1 is not prime.  Res64: A0463033413C6721  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 05:27:24]
713*2^1252018-1 is not prime.  Res64: 82B3EC89DDF28BC6  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 05:27:24]
815*2^1252018-1 is not prime.  Res64: 9CCD7C963F3A7E3C  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 05:32:16]
923*2^1252018-1 is not prime.  Res64: A4DFCE7F8A34E9D8  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 05:32:17]
941*2^1252018-1 is not prime.  Res64: 150E1F7F88A18597  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 05:40:52]
615*2^1252019-1 is not prime.  Res64: E4E357B50874E3E1  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 05:40:53]
705*2^1252019-1 is not prime.  Res64: 6B9B57A24D8986A2  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 05:45:31]
939*2^1252019-1 is not prime.  Res64: 36801E6257613B60  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 05:45:32]
943*2^1252019-1 is not prime.  Res64: F8C517AC5316BC0C  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 05:48:31]
999*2^1252019-1 is not prime.  Res64: F64A807A240577CA  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 05:48:31]
635*2^1252020-1 is not prime.  Res64: 729D1DBEE109EEBE  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 05:52:26]
693*2^1252020-1 is not prime.  Res64: E6CEAECE0B3086E2  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 05:52:26]
723*2^1252020-1 is not prime.  Res64: AD0DABE0B03CD495  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 06:01:03]
857*2^1252020-1 is not prime.  Res64: C37342691A7E546C  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 06:01:05]
863*2^1252020-1 is not prime.  Res64: 7ADA8399C1DB289E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 06:06:37]
873*2^1252020-1 is not prime.  Res64: 6A0E9104C4180DBA  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 06:06:38]
983*2^1252020-1 is not prime.  Res64: 446EA4A0C32C5F0E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 06:09:33]
999*2^1252020-1 is not prime.  Res64: DE85A10992003546  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 06:09:34]
649*2^1252021-1 is not prime.  Res64: 99780797F04B1292  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 06:12:29]
799*2^1252021-1 is not prime.  Res64: 8FEC757729AD5BCA  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 06:12:30]
847*2^1252021-1 is not prime.  Res64: 81E8C0A4B7E64BC7  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 06:23:22]
957*2^1252021-1 is not prime.  Res64: 90608D99EECE3036  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 06:23:22]
975*2^1252021-1 is not prime.  Res64: FD3ADFE0FBDC0948  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 06:27:47]
979*2^1252021-1 is not prime.  Res64: 89CC83B992C79DDA  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 06:27:47]
615*2^1252022-1 is not prime.  Res64: 0826D64CFD9304AD  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 06:29:43]
635*2^1252022-1 is not prime.  Res64: 76357D2B97CD1137  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 06:29:43]
771*2^1252022-1 is not prime.  Res64: 0167ECF19ACD4E0F  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 06:32:43]
797*2^1252022-1 is not prime.  Res64: 0E4FB8D1E8B6CBE9  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 06:32:44]
801*2^1252022-1 is not prime.  Res64: 2C309AA25A629E2B  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 06:45:22]
885*2^1252022-1 is not prime.  Res64: 370A5E61B1E10364  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 06:45:23]
893*2^1252022-1 is not prime.  Res64: 16C638E6BDE65C34  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 06:48:46]
923*2^1252022-1 is not prime.  Res64: CB2675DEAAF6F475  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 06:48:47]
669*2^1252023-1 is not prime.  Res64: 8D9EF50D8E9A1BD7  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 06:49:45]
703*2^1252023-1 is not prime.  Res64: 97D92B237FA5E269  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 06:49:45]
723*2^1252023-1 is not prime.  Res64: D6FC9A8F5C4096F4  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 06:52:46]
745*2^1252023-1 is not prime.  Res64: 1C601107603382AE  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 06:52:46]
781*2^1252023-1 is not prime.  Res64: 1ED47DF41537B0FA  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 07:07:26]
885*2^1252023-1 is not prime.  Res64: EAB7A9D945BFA54C  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 07:07:27]
919*2^1252023-1 is not prime.  Res64: 0AD5B0BD4BDA75CD  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 07:10:46]
961*2^1252023-1 is not prime.  Res64: 16EB071B250A9896  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 07:10:47]
639*2^1252024-1 is not prime.  Res64: 3D6D1E8E83BE9C70  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 07:10:49]
933*2^1252023-1 is not prime.  Res64: 2DC4CFFC429B6984  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 07:10:51]
951*2^1252023-1 is not prime.  Res64: 3A95781790AA5A9B  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 07:12:57]
705*2^1252024-1 is not prime.  Res64: DB2AC7659BCCA1AC  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 07:12:57]
765*2^1252024-1 is not prime.  Res64: 934C264821C2CBEC  Time : 0.0 sec.
user=juhehe
[2013-08-28 07:13:08]
849*2^1252023-1 is not prime.  Res64: 41AD194B398387D6  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 07:27:30]
833*2^1252024-1 is not prime.  Res64: C1476DA9677ABECF  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 07:27:31]
869*2^1252024-1 is not prime.  Res64: 4307C6AF290BC507  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 07:31:56]
875*2^1252024-1 is not prime.  Res64: 40C051455C49DBB4  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 07:31:56]
939*2^1252024-1 is not prime.  Res64: 5BC4A6E596AF604D  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 07:31:59]
993*2^1252024-1 is not prime.  Res64: 71B033A21C3977DD  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 07:32:00]
649*2^1252025-1 is not prime.  Res64: D0AD09DF2F6BFFB7  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 07:32:58]
691*2^1252025-1 is not prime.  Res64: F195F158CC1ED9FF  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 07:32:59]
729*2^1252025-1 is not prime.  Res64: 2C5983A24CD7C446  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 07:48:40]
789*2^1252025-1 is not prime.  Res64: 8C82BE84871E74CE  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 07:48:40]
885*2^1252025-1 is not prime.  Res64: D816E2B5CDC6D7A5  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 07:52:18]
695*2^1252026-1 is not prime.  Res64: 26568F250561A8B1  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 07:52:18]
711*2^1252026-1 is not prime.  Res64: D8A95852459341D0  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 07:53:10]
897*2^1252025-1 is not prime.  Res64: F90A23C4FA9F51AC  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 07:53:11]
633*2^1252026-1 is not prime.  Res64: 0D049A2C36DDC88E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 07:53:21]
825*2^1252026-1 is not prime.  Res64: 90D38EFF44A53675  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 07:53:22]
843*2^1252026-1 is not prime.  Res64: 7A4566C16845CC13  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 08:10:49]
905*2^1252026-1 is not prime.  Res64: F67FC49C420C437E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 08:10:50]
983*2^1252026-1 is not prime.  Res64: C3C63577A80D695F  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 08:12:26]
631*2^1252027-1 is not prime.  Res64: 15133B91A78E498E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 08:12:27]
633*2^1252027-1 is not prime.  Res64: F84B2E9E6108C634  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 08:13:26]
649*2^1252027-1 is not prime.  Res64: 2915A0B6DC5BF19A  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 08:13:26]
813*2^1252027-1 is not prime.  Res64: AEFADBB8677DF78E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 08:13:37]
843*2^1252027-1 is not prime.  Res64: 05F2762470CF482D  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 08:13:38]
873*2^1252027-1 is not prime.  Res64: EFCB5E74C897159C  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 08:31:58]
883*2^1252027-1 is not prime.  Res64: BF1B5AD651F5AB4C  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 08:31:58]
909*2^1252027-1 is not prime.  Res64: 07CA5C9BDE3EB660  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 08:33:38]
827*2^1252028-1 is not prime.  Res64: CCEFD4ADF448CBB7  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 08:33:38]
869*2^1252028-1 is not prime.  Res64: DDF504A33E3D9B6E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 08:33:43]
975*2^1252027-1 is not prime.  Res64: C395FAE9A4AD7BF3  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 08:33:44]
669*2^1252028-1 is not prime.  Res64: D41E95922F494DE6  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 08:34:42]
999*2^1252028-1 is not prime.  Res64: F8DAB42A1911B087  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 08:34:42]
655*2^1252029-1 is not prime.  Res64: 211ED90FCF50B591  Time : 0.0 sec.
user=juhehe
[2013-08-28 08:47:28]
961*2^1252027-1 is not prime.  Res64: BA3AD9D245672047  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 08:52:08]
675*2^1252029-1 is not prime.  Res64: 81C21AB7EBAEB998  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 08:52:09]
685*2^1252029-1 is not prime.  Res64: A87C5A97E063803B  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 08:53:43]
795*2^1252029-1 is not prime.  Res64: 3019CE441E2C4BCB  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 08:53:44]
811*2^1252029-1 is not prime.  Res64: 31A0A0090715AD0A  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 08:55:46]
979*2^1252029-1 is not prime.  Res64: 8148A5CF0FC89A59  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 08:55:47]
605*2^1252030-1 is not prime.  Res64: 2E83C114E52186DB  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 08:55:52]
927*2^1252029-1 is not prime.  Res64: 693BB948186CBC98  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 08:55:52]
945*2^1252029-1 is not prime.  Res64: 22C98C1264EAC363  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 09:12:20]
611*2^1252030-1 is not prime.  Res64: 8ED14D132C84CD17  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 09:12:21]
647*2^1252030-1 is not prime.  Res64: 6711DE49B13CDE4D  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 09:13:50]
665*2^1252030-1 is not prime.  Res64: 8FFC616BABD5E592  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 09:13:51]
843*2^1252030-1 is not prime.  Res64: DFDF352C77E29D05  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 09:15:52]
873*2^1252030-1 is not prime.  Res64: 0C44D480EB4BECCB  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 09:15:52]
859*2^1252031-1 is not prime.  Res64: 620D5AD0F7FF28FA  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 09:17:01]
871*2^1252031-1 is not prime.  Res64: A4A1DCFC116F7618  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 09:17:02]
885*2^1252031-1 is not prime.  Res64: 353158ADD7BB1B00  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 09:34:05]
623*2^1252032-1 is not prime.  Res64: 7C8C2951A5D1A14E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 09:34:05]
675*2^1252032-1 is not prime.  Res64: 965B5548C5F84CDE  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 09:34:18]
913*2^1252031-1 is not prime.  Res64: 7044BC0641592AC0  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 09:34:18]
955*2^1252031-1 is not prime.  Res64: 91C11B347BE17F2D  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 09:36:00]
689*2^1252032-1 is not prime.  Res64: 6313DFCDFBA927E1  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 09:36:01]
713*2^1252032-1 is not prime.  Res64: D4A8962AC5D8E4C5  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 09:37:05]
797*2^1252032-1 is not prime.  Res64: 87278E0215B91DC7  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 09:37:06]
873*2^1252032-1 is not prime.  Res64: 6480A9BFA7D81561  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 09:55:24]
959*2^1252032-1 is not prime.  Res64: AC42711BC1D48277  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 09:55:25]
675*2^1252033-1 is not prime.  Res64: 627DFCD13DC35AFE  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 09:56:09]
681*2^1252033-1 is not prime.  Res64: 2184263B2A99ACF2  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 09:56:09]
855*2^1252033-1 is not prime.  Res64: 2BEC21AC7E49F495  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 09:56:12]
917*2^1252032-1 is not prime.  Res64: 1B6219E0576627F6  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 09:56:12]
929*2^1252032-1 is not prime.  Res64: C31095675132B3D8  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 09:58:18]
951*2^1252033-1 is not prime.  Res64: 621FC8CDEC4A74FC  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 09:58:19]
641*2^1252034-1 is not prime.  Res64: BF9558A8EE59FCD9  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 10:15:31]
731*2^1252034-1 is not prime.  Res64: 1224E26C9BCEE969  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 10:15:31]
875*2^1252034-1 is not prime.  Res64: 649D607DC820300A  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 10:16:17]
643*2^1252035-1 is not prime.  Res64: FC956CD104AB225D  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 10:16:18]
669*2^1252035-1 is not prime.  Res64: C8EBC806A1C57C57  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 10:16:19]
709*2^1252035-1 is not prime.  Res64: C34CC901ED9AB018  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 10:16:20]
765*2^1252035-1 is not prime.  Res64: A9894289CA267CE4  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 10:19:27]
781*2^1252035-1 is not prime.  Res64: DCE7C13CCEF6E614  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 10:19:27]
909*2^1252035-1 is not prime.  Res64: EF786381D528EBBB  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 10:36:33]
723*2^1252036-1 is not prime.  Res64: A2CD1027EDC61E0C  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 10:36:34]
875*2^1252036-1 is not prime.  Res64: 0E003DA61DCB2055  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 10:37:31]
999*2^1252035-1 is not prime.  Res64: 9206079A37DFB395  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 10:37:31]
695*2^1252036-1 is not prime.  Res64: 9BFAB6D8C6320BE6  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 10:37:35]
963*2^1252035-1 is not prime.  Res64: 1C4420DA0F13E1F4  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 10:37:35]
969*2^1252035-1 is not prime.  Res64: 3406326907472370  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 10:40:37]
905*2^1252036-1 is not prime.  Res64: FE68EB28CBEA32F5  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 10:40:37]
649*2^1252037-1 is not prime.  Res64: A96A90E6B0D1E933  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 10:56:50]
697*2^1252037-1 is not prime.  Res64: D3CE2D9C883965A3  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 10:56:50]
741*2^1252037-1 is not prime.  Res64: CB75D3626D28A8A8  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 10:58:51]
825*2^1252037-1 is not prime.  Res64: DD5DB74938E8C26A  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 10:58:51]
915*2^1252037-1 is not prime.  Res64: 07B8FDC948B92CCD  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 10:58:59]
955*2^1252037-1 is not prime.  Res64: 997DAFC8451507B9  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 10:58:59]
677*2^1252038-1 is not prime.  Res64: CFD37ECD557B55D7  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 11:01:05]
731*2^1252038-1 is not prime.  Res64: 6689E3ABDAA55DB9  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 11:01:06]
777*2^1252038-1 is not prime.  Res64: 5A28F380DCBA42D1  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 11:18:18]
815*2^1252038-1 is not prime.  Res64: 30DB53D38865AE0B  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 11:18:18]
885*2^1252038-1 is not prime.  Res64: E341CF145B36D93D  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 11:20:11]
887*2^1252038-1 is not prime.  Res64: 404D07D3E0B3F0F6  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 11:20:11]
603*2^1252039-1 is not prime.  Res64: 3DC121433DB5773D  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 11:20:16]
843*2^1252039-1 is not prime.  Res64: C5731F3F2D54FF24  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 11:20:16]
943*2^1252039-1 is not prime.  Res64: 6D3765E6E8AFAF0E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 11:22:28]
975*2^1252039-1 is not prime.  Res64: 215E14351C5116B0  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 11:22:29]
629*2^1252040-1 is not prime.  Res64: 106D7855E647A84A  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 11:38:59]
735*2^1252040-1 is not prime.  Res64: BD2C8642890D6D19  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 11:38:59]
743*2^1252040-1 is not prime.  Res64: 36955FA2B9156656  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 11:41:03]
627*2^1252041-1 is not prime.  Res64: 02DAE7501D74B3CC  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 11:41:04]
741*2^1252041-1 is not prime.  Res64: C8EBAEEC59FF4D3D  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 11:41:56]
857*2^1252040-1 is not prime.  Res64: 5A1A5AE229FDCE07  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 11:41:56]
915*2^1252040-1 is not prime.  Res64: DE3899C2AB3FB423  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 11:43:08]
837*2^1252041-1 is not prime.  Res64: 394CE531253F817D  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 11:43:08]
861*2^1252041-1 is not prime.  Res64: 95D0DED4F5BC799F  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 12:01:06]
907*2^1252041-1 is not prime.  Res64: 7B83E94E11F7177D  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 12:01:07]
909*2^1252041-1 is not prime.  Res64: C640AE876BFBFC32  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 12:02:09]
635*2^1252042-1 is not prime.  Res64: 34657F2A303F04FB  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 12:02:10]
717*2^1252042-1 is not prime.  Res64: 56D83976508486A8  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 12:03:08]
951*2^1252041-1 is not prime.  Res64: 906747267CA98B5F  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 12:03:09]
999*2^1252041-1 is not prime.  Res64: AD4BFB0DDFC71008  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 12:04:17]
957*2^1252042-1 is not prime.  Res64: 2A6DC20ACB78E62D  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 12:04:18]
609*2^1252043-1 is not prime.  Res64: E636A5B008AC918B  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 12:22:59]
735*2^1252043-1 is not prime.  Res64: 420755A75019484F  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 12:22:59]
945*2^1252043-1 is not prime.  Res64: 11239BC61F7EB4D4  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 12:24:49]
973*2^1252043-1 is not prime.  Res64: 5A383B74B696BFC9  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 12:24:50]
707*2^1252044-1 is not prime.  Res64: 409074AD2B6E108D  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 12:24:53]
949*2^1252043-1 is not prime.  Res64: D5E0F2E90E08B4C6  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 12:24:54]
969*2^1252043-1 is not prime.  Res64: FB78B77872643496  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 12:25:53]
825*2^1252044-1 is not prime.  Res64: EE56D0FC4FA406B4  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 12:25:53]
899*2^1252044-1 is not prime.  Res64: 22374C0FBE732296  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 12:43:31]
607*2^1252045-1 is not prime.  Res64: 7B93FCD1445B4EED  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 12:43:32]
679*2^1252045-1 is not prime.  Res64: 5910C9413ABA5639  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 12:45:26]
687*2^1252045-1 is not prime.  Res64: 93CE837AF70B93E1  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 12:45:26]
717*2^1252045-1 is not prime.  Res64: 7099055CE1F3D549  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 12:45:35]
757*2^1252045-1 is not prime.  Res64: 437A4322D6936F63  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 12:45:35]
847*2^1252045-1 is not prime.  Res64: 1DAA9F2D76D0D9B6  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 12:46:32]
855*2^1252045-1 is not prime.  Res64: B2F1541ABF0FF031  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 12:46:32]
747*2^1252046-1 is not prime.  Res64: C4358F542FA58321  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 13:04:55]
813*2^1252046-1 is not prime.  Res64: 8E71B710AA3C05A3  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 13:04:56]
825*2^1252046-1 is not prime.  Res64: 1522124687B8A18B  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 13:07:38]
833*2^1252046-1 is not prime.  Res64: 578FA4B571184BF2  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 13:07:38]
921*2^1252046-1 is not prime.  Res64: 4C7E51A9B153A2BA  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 13:08:46]
1001*2^1252046-1 is not prime.  Res64: 8D23F6CC4D43E573  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 13:08:46]
615*2^1252047-1 is not prime.  Res64: AAB5148979F2DA34  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 13:08:59]
957*2^1252046-1 is not prime.  Res64: B1F459CD74AEB044  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 13:09:00]
983*2^1252046-1 is not prime.  Res64: 88ED5CD708A9BEE6  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 13:28:35]
711*2^1252047-1 is not prime.  Res64: DA7080CB2B575393  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 13:28:35]
931*2^1252047-1 is not prime.  Res64: 879D29CEA3C6A802  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 13:31:01]
933*2^1252047-1 is not prime.  Res64: F67B7811D31A59E6  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 13:31:01]
797*2^1252048-1 is not prime.  Res64: 0FEAA85A90038CBB  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 13:31:08]
843*2^1252048-1 is not prime.  Res64: 47A7D4E2D42E7C05  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 13:31:08]
855*2^1252048-1 is not prime.  Res64: 98905DF3D149176D  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 13:33:46]
933*2^1252048-1 is not prime.  Res64: BCD4E52DC6CEACD5  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 13:33:47]
989*2^1252048-1 is not prime.  Res64: B66243A8EEC3F694  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 13:50:34]
631*2^1252049-1 is not prime.  Res64: A2E5A2CE424ED168  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 13:50:34]
747*2^1252049-1 is not prime.  Res64: 5C04B37082A60C8E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 13:54:06]
967*2^1252049-1 is not prime.  Res64: 6423F3BE38F385A4  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 13:54:06]
651*2^1252050-1 is not prime.  Res64: 6D2692D310FCE738  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 13:54:49]
889*2^1252049-1 is not prime.  Res64: 789744B001221B74  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 13:54:50]
955*2^1252049-1 is not prime.  Res64: 0E5BE1C2270DF326  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 13:55:57]
735*2^1252050-1 is not prime.  Res64: 4740A1A3F3593562  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 13:55:57]
873*2^1252050-1 is not prime.  Res64: F885D9532C0E9AC4  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 14:13:42]
917*2^1252050-1 is not prime.  Res64: F78963F51E4DDB3E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 14:13:42]
945*2^1252050-1 is not prime.  Res64: 71155BD549C29300  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 14:14:53]
603*2^1252051-1 is not prime.  Res64: DB16C700247631E0  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 14:14:54]
609*2^1252051-1 is not prime.  Res64: D5E8E1AFF9778447  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 14:16:05]
639*2^1252051-1 is not prime.  Res64: 7E29E47EAFE01EFA  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 14:16:05]
645*2^1252051-1 is not prime.  Res64: 4243D8C12C29F88C  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 14:16:46]
759*2^1252051-1 is not prime.  Res64: 414BB9C0D992951C  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 14:16:47]
789*2^1252051-1 is not prime.  Res64: 67D724395400CDEC  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 14:34:40]
829*2^1252051-1 is not prime.  Res64: F33A24BA2FB6D9A4  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 14:34:40]
683*2^1252052-1 is not prime.  Res64: B76819ABA5534937  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 14:35:58]
693*2^1252052-1 is not prime.  Res64: 8F3EEABA4AFF60B1  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 14:35:58]
875*2^1252052-1 is not prime.  Res64: B2CEEEC6808C8B2F  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 14:37:50]
625*2^1252053-1 is not prime.  Res64: 5EA97572DF341682  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 14:37:51]
649*2^1252053-1 is not prime.  Res64: E3055F0CA5F8C72F  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 14:39:05]
957*2^1252052-1 is not prime.  Res64: 34A60500246C96AC  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 14:39:05]
995*2^1252052-1 is not prime.  Res64: 4ED2CC9FF52C56BC  Time : 0.0 sec.
user=juhehe
[2013-08-28 14:55:39]
795*2^1252053-1 is not prime.  Res64: 8A85CCA0A4EEE5C7  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 14:57:40]
915*2^1252053-1 is not prime.  Res64: FC497F8C3B05D693  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 14:57:40]
705*2^1252054-1 is not prime.  Res64: 703E5795C0A50BB6  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 14:57:58]
737*2^1252054-1 is not prime.  Res64: 042A9F8C640079AC  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 14:57:58]
813*2^1252054-1 is not prime.  Res64: E63C752A75584D73  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 15:02:09]
887*2^1252054-1 is not prime.  Res64: 693BFCA3C97AA709  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 15:02:10]
975*2^1252054-1 is not prime.  Res64: C01F651AD19806A9  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 15:03:18]
981*2^1252054-1 is not prime.  Res64: EE526DCC909CF0BA  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 15:03:19]
983*2^1252054-1 is not prime.  Res64: FFC49BC7E54C6555  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 15:20:29]
645*2^1252055-1 is not prime.  Res64: CB5852A7A4C041E4  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 15:20:30]
789*2^1252055-1 is not prime.  Res64: 14B222C4CC5D805E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 15:20:33]
825*2^1252055-1 is not prime.  Res64: DE2BB5F233ED336E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 15:20:33]
861*2^1252055-1 is not prime.  Res64: 0C463E561F6AE0A9  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 15:28:06]
845*2^1252056-1 is not prime.  Res64: 43DA97C3450BE5E7  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 15:28:06]
913*2^1252055-1 is not prime.  Res64: 80905FAABC438794  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 15:28:07]
887*2^1252056-1 is not prime.  Res64: 824BEDEA3AC9F845  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 15:28:07]
963*2^1252055-1 is not prime.  Res64: 684461854FB0BFFF  Time : 0.0 sec.
user=juhehe
[2013-08-28 15:34:08]
747*2^1252056-1 is not prime.  Res64: 7042A6C82D7BD54B  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 15:42:46]
861*2^1252057-1 is not prime.  Res64: 1024F7BA56C6148B  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 15:42:46]
871*2^1252057-1 is not prime.  Res64: 2714AF4F339FF233  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 15:45:16]
957*2^1252057-1 is not prime.  Res64: 3A44D913AF6EE496  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 15:45:17]
997*2^1252057-1 is not prime.  Res64: 8A86B5AF94E3AFFD  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 15:49:44]
633*2^1252058-1 is not prime.  Res64: AE6A5577ABFADDDD  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 15:49:45]
707*2^1252058-1 is not prime.  Res64: D12E04E513ED84FA  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 15:50:00]
603*2^1252058-1 is not prime.  Res64: 310AB0FE5536A80B  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 15:50:00]
627*2^1252058-1 is not prime.  Res64: 6D0B2264F863BB15  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 16:04:02]
791*2^1252058-1 is not prime.  Res64: CB16FBD87CE7D106  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 16:04:02]
815*2^1252058-1 is not prime.  Res64: FD2BEDD56FDC7C97  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 16:06:15]
857*2^1252058-1 is not prime.  Res64: E06E69B464AEF1FE  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 16:06:17]
875*2^1252058-1 is not prime.  Res64: F9D76DEB60BC21D6  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 16:10:49]
633*2^1252059-1 is not prime.  Res64: 54FB86CF1B3647FF  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 16:10:50]
685*2^1252059-1 is not prime.  Res64: EB66B732E599A304  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 16:12:40]
893*2^1252058-1 is not prime.  Res64: AE57608FFA755304  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 16:12:40]
923*2^1252058-1 is not prime.  Res64: 1E65C9363D653CAF  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 16:25:09]
705*2^1252059-1 is not prime.  Res64: DFBDD8F6B37E04E2  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 16:25:10]
829*2^1252059-1 is not prime.  Res64: 484871E75EDDAAFB  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 16:27:21]
653*2^1252060-1 is not prime.  Res64: 298866FF39BD66B4  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 16:27:21]
687*2^1252060-1 is not prime.  Res64: 61DECE7EEC7AE79E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 16:32:51]
845*2^1252060-1 is not prime.  Res64: 918BEF5725D105F3  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 16:32:51]
887*2^1252060-1 is not prime.  Res64: 3282E6157C5F95F8  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 16:34:40]
899*2^1252060-1 is not prime.  Res64: 2D62A7A119C2BD29  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 16:34:40]
651*2^1252061-1 is not prime.  Res64: 81D0D28B9EC0A72A  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 16:47:07]
745*2^1252061-1 is not prime.  Res64: 1BD9A1615866C78D  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 16:47:07]
901*2^1252061-1 is not prime.  Res64: 32AD72364FDDDE5A  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 16:50:12]
957*2^1252061-1 is not prime.  Res64: 06E4D8670A2C35F0  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 16:50:12]
967*2^1252061-1 is not prime.  Res64: 4ED26DC0C307095C  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 16:53:45]
611*2^1252062-1 is not prime.  Res64: 7F9482058471D87D  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 16:53:45]
725*2^1252062-1 is not prime.  Res64: 5109899EA891474B  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 16:55:39]
755*2^1252062-1 is not prime.  Res64: 647ADF62450FD64C  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 16:55:39]
815*2^1252062-1 is not prime.  Res64: 7B66346928DAE637  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 17:08:55]
843*2^1252062-1 is not prime.  Res64: 745B24C92670CC49  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 17:08:56]
975*2^1252062-1 is not prime.  Res64: 3B55B13639671888  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 17:10:53]
705*2^1252063-1 is not prime.  Res64: F9923050C4B0DEAD  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 17:10:53]
831*2^1252063-1 is not prime.  Res64: 26880BD1309EC15C  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 17:14:26]
859*2^1252063-1 is not prime.  Res64: 132084D86133F8F7  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 17:14:26]
605*2^1252064-1 is not prime.  Res64: 2DD3A415C260AEFE  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 17:16:22]
623*2^1252064-1 is not prime.  Res64: 95ECFF44BDDCF1CB  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 17:16:22]
687*2^1252064-1 is not prime.  Res64: 63E38A62AA05F304  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 17:29:33]
717*2^1252064-1 is not prime.  Res64: D4048C33DD4F7965  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 17:29:33]
855*2^1252064-1 is not prime.  Res64: 8AC2B01035EE4F86  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 17:32:25]
869*2^1252064-1 is not prime.  Res64: E051F581A68C1D48  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 17:32:25]
903*2^1252064-1 is not prime.  Res64: 9F34F31F150D35CC  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 17:35:03]
607*2^1252065-1 is not prime.  Res64: A2D14CF0B63D68AD  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 17:35:03]
741*2^1252065-1 is not prime.  Res64: 13B1B8393A577440  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 17:38:02]
861*2^1252065-1 is not prime.  Res64: F92B7AB6FFBBADD0  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 17:38:02]
889*2^1252065-1 is not prime.  Res64: 4982BCF05216468D  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 17:51:08]
979*2^1252065-1 is not prime.  Res64: CB837F932BE5426F  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 17:51:08]
663*2^1252066-1 is not prime.  Res64: DFEC11D2677C2792  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 17:53:02]
713*2^1252066-1 is not prime.  Res64: 87542AB6E49DEC5C  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 17:53:02]
833*2^1252066-1 is not prime.  Res64: 994DED3D6AF7D1CE  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 17:56:40]
917*2^1252066-1 is not prime.  Res64: 3A29DDDE04032B18  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 17:56:40]
603*2^1252067-1 is not prime.  Res64: 32662FCBC5B28685  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 17:58:37]
631*2^1252067-1 is not prime.  Res64: 1889E7192DA52779  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 17:58:37]
825*2^1252067-1 is not prime.  Res64: 06F5A5001818138A  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 18:12:50]
883*2^1252067-1 is not prime.  Res64: 3431D20DB76656E5  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 18:12:51]
945*2^1252067-1 is not prime.  Res64: BBC358859CBCD05B  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 18:14:36]
963*2^1252067-1 is not prime.  Res64: C1CF24B006838CBE  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 18:14:36]
605*2^1252068-1 is not prime.  Res64: BD7BC804430C3AE0  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 18:17:24]
635*2^1252068-1 is not prime.  Res64: 7C3115807AEF4E63  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 18:17:24]
663*2^1252068-1 is not prime.  Res64: 84D59CCC8A9B16A3  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 18:20:20]
905*2^1252068-1 is not prime.  Res64: D5E8399DF32ECE70  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 18:20:20]
609*2^1252069-1 is not prime.  Res64: 90EAA5E966F1ABBC  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 18:33:33]
789*2^1252069-1 is not prime.  Res64: F804D6E0F1C1072E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 18:33:33]
801*2^1252069-1 is not prime.  Res64: A22CAA8D2C534CEC  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 18:36:12]
895*2^1252069-1 is not prime.  Res64: 5FDFA89BA083A4C7  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 18:36:12]
635*2^1252070-1 is not prime.  Res64: 470C5271546C6EDD  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 18:38:03]
657*2^1252070-1 is not prime.  Res64: 1FB37D40D94C7912  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 18:38:04]
755*2^1252070-1 is not prime.  Res64: C0F1A01F3D3C9F4A  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 18:40:56]
773*2^1252070-1 is not prime.  Res64: 8EDEB0B9BE5DA7CD  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 18:40:56]
851*2^1252070-1 is not prime.  Res64: FDAF61E2FA3B6085  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 18:55:11]
857*2^1252070-1 is not prime.  Res64: 590ED2C1D56D32C0  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 18:55:11]
897*2^1252070-1 is not prime.  Res64: 04276CACAA69021E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 18:57:51]
921*2^1252070-1 is not prime.  Res64: C0B331FC439DF904  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 18:57:52]
601*2^1252071-1 is not prime.  Res64: 41655792E0CABF61  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 18:58:43]
613*2^1252071-1 is not prime.  Res64: 940DC5288F4A71B8  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 18:58:44]
643*2^1252071-1 is not prime.  Res64: 5DA5EE1922B0DB9F  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 19:01:36]
879*2^1252071-1 is not prime.  Res64: E9CC6B43AA9EFB52  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 19:01:36]
785*2^1252072-1 is not prime.  Res64: 17994B061710EB47  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 19:16:56]
797*2^1252072-1 is not prime.  Res64: B99356F3DE25A5E4  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 19:16:56]
909*2^1252072-1 is not prime.  Res64: FD24E333674A81C8  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 19:19:31]
939*2^1252072-1 is not prime.  Res64: 1F8725A076BE9D66  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 19:19:31]
615*2^1252073-1 is not prime.  Res64: A112CD46F25323DA  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 19:19:39]
669*2^1252073-1 is not prime.  Res64: DB2523C95EC78A6B  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 19:19:39]
685*2^1252073-1 is not prime.  Res64: DD788ED8548718F0  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 19:23:11]
871*2^1252073-1 is not prime.  Res64: 0578DC17A50F60C5  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 19:23:11]
925*2^1252073-1 is not prime.  Res64: B7F952FA4C80CFB2  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 19:38:40]
987*2^1252073-1 is not prime.  Res64: A6B0F0E567A7CE9E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 19:38:40]
605*2^1252074-1 is not prime.  Res64: ECAA1B936916E226  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 19:40:08]
635*2^1252074-1 is not prime.  Res64: 04CF37E7D51EA91D  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 19:40:09]
707*2^1252074-1 is not prime.  Res64: 9742A605ADFA96B6  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 19:40:22]
791*2^1252074-1 is not prime.  Res64: B1436A854017269C  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 19:40:22]
815*2^1252074-1 is not prime.  Res64: C6EBB0693C05F30C  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 19:46:13]
885*2^1252074-1 is not prime.  Res64: 70E78CD00F3D58B8  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 19:46:13]
923*2^1252074-1 is not prime.  Res64: 5497E3B4439B0908  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 20:00:47]
927*2^1252074-1 is not prime.  Res64: 20BE2B4678C21AF9  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 20:00:49]
601*2^1252075-1 is not prime.  Res64: 98255BDC293A6407  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 20:01:13]
639*2^1252075-1 is not prime.  Res64: C8827CF2851FE42B  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 20:01:14]
651*2^1252075-1 is not prime.  Res64: D079E7A2DA89DC67  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 20:01:24]
723*2^1252075-1 is not prime.  Res64: 85BB8AE721B951A1  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 20:01:25]
751*2^1252075-1 is not prime.  Res64: 0306B4652A5BECA6  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 20:08:10]
855*2^1252075-1 is not prime.  Res64: 99FE7E4D23FCC8D3  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 20:08:11]
999*2^1252075-1 is not prime.  Res64: 376F64ED44206674  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 20:21:56]
615*2^1252076-1 is not prime.  Res64: A225AA84E28AE0C4  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 20:21:56]
669*2^1252076-1 is not prime.  Res64: 3895DCFE37FFB549  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 20:22:03]
749*2^1252076-1 is not prime.  Res64: CFE9190FC575E594  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 20:22:03]
759*2^1252076-1 is not prime.  Res64: 6C523D93EB47C6C3  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 20:23:20]
767*2^1252076-1 is not prime.  Res64: A675E6CB9A304297  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 20:23:20]
953*2^1252076-1 is not prime.  Res64: 3CCA0BB924D9C74E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 20:30:01]
963*2^1252076-1 is not prime.  Res64: FFBA7F4CFF95C8CC  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 20:30:02]
709*2^1252077-1 is not prime.  Res64: 4E790DE40D7CE54A  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 20:42:51]
717*2^1252077-1 is not prime.  Res64: 562CFA5C5AE07B4B  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 20:42:51]
865*2^1252077-1 is not prime.  Res64: 513C428FE0E55869  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 20:44:58]
927*2^1252077-1 is not prime.  Res64: 21CF4948A11621B1  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 20:44:58]
937*2^1252077-1 is not prime.  Res64: 0E4DBF39768038B1  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 20:45:21]
985*2^1252077-1 is not prime.  Res64: 24FEC9CC3C443598  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 20:45:21]
773*2^1252078-1 is not prime.  Res64: CE3541C0E187EE1F  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 20:53:39]
861*2^1252078-1 is not prime.  Res64: 72759E51007A7F36  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 20:53:40]
915*2^1252078-1 is not prime.  Res64: 50737DDD01FF4264  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 21:07:32]
745*2^1252079-1 is not prime.  Res64: 8C9A5AC101C122FC  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 21:07:34]
753*2^1252079-1 is not prime.  Res64: 65E3049FB483C7F9  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 21:07:35]
679*2^1252079-1 is not prime.  Res64: 81CD26B76AD19CFB  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 21:07:35]
933*2^1252078-1 is not prime.  Res64: 647842F9CD7B68AE  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 21:07:36]
711*2^1252079-1 is not prime.  Res64: 007FBEA8E9D09164  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 21:07:36]
971*2^1252078-1 is not prime.  Res64: 74DE9FB5A918DE8E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 21:15:31]
825*2^1252079-1 is not prime.  Res64: 76B4BB81085E3ABA  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 21:15:32]
931*2^1252079-1 is not prime.  Res64: 77CA303BBE462766  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 21:27:52]
627*2^1252080-1 is not prime.  Res64: E5DDE64B6D0C460B  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 21:27:53]
839*2^1252080-1 is not prime.  Res64: 4639E00EB0D63AC0  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 21:27:54]
689*2^1252080-1 is not prime.  Res64: EEC24152521EC8E6  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 21:27:55]
829*2^1252081-1 is not prime.  Res64: C3414AF3E05FC334  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 21:28:53]
855*2^1252081-1 is not prime.  Res64: 3EA8DBD7700E25E1  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 21:28:54]
895*2^1252081-1 is not prime.  Res64: F6BD3D8CF2EA42AC  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 21:35:44]
623*2^1252082-1 is not prime.  Res64: 1B3BC43E6C82FEB5  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 21:35:44]
677*2^1252082-1 is not prime.  Res64: EA520F57B6F652A3  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 21:47:59]
743*2^1252082-1 is not prime.  Res64: D07B34DB7D821A1C  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 21:48:00]
831*2^1252082-1 is not prime.  Res64: 988628C45C4232B0  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 21:48:57]
873*2^1252082-1 is not prime.  Res64: 48BD768A418193EC  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 21:48:58]
903*2^1252082-1 is not prime.  Res64: 5C5709BFDBB2E3E1  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 21:50:55]
951*2^1252082-1 is not prime.  Res64: 9CFB4833AFD629D1  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 21:50:56]
977*2^1252082-1 is not prime.  Res64: A6382DFC1F64F63E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 21:55:57]
669*2^1252083-1 is not prime.  Res64: B45036E02B80BBA1  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 21:55:57]
723*2^1252083-1 is not prime.  Res64: 00FAC1D466645C43  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 22:08:06]
765*2^1252083-1 is not prime.  Res64: BD5B292CFFCB57FD  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 22:08:07]
805*2^1252083-1 is not prime.  Res64: A8968E71B5D2788D  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 22:09:04]
871*2^1252083-1 is not prime.  Res64: D2827DCF15888271  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 22:09:05]
873*2^1252083-1 is not prime.  Res64: 1A0508E17BF47741  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 22:13:04]
895*2^1252083-1 is not prime.  Res64: 119091F8A48E6BC7  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 22:13:05]
901*2^1252083-1 is not prime.  Res64: DF8E778375759DB5  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 22:18:01]
919*2^1252083-1 is not prime.  Res64: 4203E6761AB8F753  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 22:18:02]
985*2^1252083-1 is not prime.  Res64: FEFAF012B25E04FD  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 22:28:16]
605*2^1252084-1 is not prime.  Res64: 18F8E7B7E77EDC28  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 22:28:16]
635*2^1252084-1 is not prime.  Res64: E70BBEF5F496C0B5  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 22:29:19]
663*2^1252084-1 is not prime.  Res64: EDA3B34C52ECF213  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 22:29:19]
759*2^1252084-1 is not prime.  Res64: 5D790E9A1632908C  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 22:33:12]
827*2^1252084-1 is not prime.  Res64: ECDFB2AAB133D58F  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 22:33:12]
833*2^1252084-1 is not prime.  Res64: BF5A2A1E0720CD31  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 22:40:02]
897*2^1252084-1 is not prime.  Res64: 38EF111CCC1F754A  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 22:40:03]
959*2^1252084-1 is not prime.  Res64: 77B78791C52D968A  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 22:48:29]
795*2^1252085-1 is not prime.  Res64: D732985D662289E4  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 22:48:30]
825*2^1252085-1 is not prime.  Res64: B50D6CEC96466D1D  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 22:49:34]
831*2^1252085-1 is not prime.  Res64: 1749ED7EB2A77EA7  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 22:49:35]
859*2^1252085-1 is not prime.  Res64: D34847DDD46EB724  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 22:54:22]
861*2^1252085-1 is not prime.  Res64: 56B5075E9E5B6CC4  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 22:54:23]
897*2^1252085-1 is not prime.  Res64: 5817504FDF279BA8  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 23:01:06]
939*2^1252085-1 is not prime.  Res64: F376595583F4CE08  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 23:01:07]
627*2^1252086-1 is not prime.  Res64: F1C5BDE3E2DC96F2  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 23:08:36]
693*2^1252086-1 is not prime.  Res64: 7C94A6B0FFB1454A  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 23:08:37]
711*2^1252086-1 is not prime.  Res64: 3493FE6319D56F89  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 23:09:46]
761*2^1252086-1 is not prime.  Res64: 80AC7A3ED78A5BB3  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 23:09:46]
851*2^1252086-1 is not prime.  Res64: 91CE7B68759CF835  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 23:15:26]
861*2^1252086-1 is not prime.  Res64: CC927F6602BFA1F1  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 23:15:26]
975*2^1252086-1 is not prime.  Res64: EA108B7E9326FD94  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 23:21:32]
639*2^1252087-1 is not prime.  Res64: 85156104EA610DA0  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 23:21:32]
663*2^1252087-1 is not prime.  Res64: 2B4D845ED581451A  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 23:28:50]
693*2^1252087-1 is not prime.  Res64: 587E4BE21F87BAED  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 23:28:51]
729*2^1252087-1 is not prime.  Res64: 8F858E17379DE583  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 23:29:57]
793*2^1252087-1 is not prime.  Res64: A9F180C14D08B62E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 23:29:57]
841*2^1252087-1 is not prime.  Res64: 15CB81060E5D88C6  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 23:36:31]
873*2^1252087-1 is not prime.  Res64: BF7F31AB05D41E37  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 23:36:31]
973*2^1252087-1 is not prime.  Res64: 311FDD5C26693399  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 23:43:36]
975*2^1252087-1 is not prime.  Res64: 8390FD579CD05387  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 23:43:37]
979*2^1252087-1 is not prime.  Res64: 50F884AA67D5BF8E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 23:48:54]
623*2^1252088-1 is not prime.  Res64: 0BBC1A039E7E75A4  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 23:48:54]
683*2^1252088-1 is not prime.  Res64: 932B186E2CC69452  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 23:50:11]
725*2^1252088-1 is not prime.  Res64: 4062E56975ED3F43  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 23:50:11]
743*2^1252088-1 is not prime.  Res64: 1DD8E554DF651D19  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 23:56:35]
827*2^1252088-1 is not prime.  Res64: 2016B46AB3F55A2E  Time : 0.0 sec.
user=mdettweiler
[2013-08-28 23:56:36]
681*2^1252089-1 is not prime.  Res64: A971AD5B1E472A48  Time : 0.0 sec.