user=mdettweiler [2016-10-27 00:01:20] 663*2^1444048-1 is not prime. Res64: E4E1E5A96376BAFF Time : 0.0 sec. user=mdettweiler [2016-10-27 00:01:20] 665*2^1444048-1 is not prime. Res64: F11B24EA85561E5D Time : 0.0 sec. user=mdettweiler [2016-10-27 00:01:20] 989*2^1444048-1 is not prime. Res64: F07185D232B73E97 Time : 0.0 sec. user=mdettweiler [2016-10-27 00:01:21] 999*2^1444048-1 is not prime. Res64: 546A507F8B4681F0 Time : 0.0 sec. user=mdettweiler [2016-10-27 00:01:21] 711*2^1444049-1 is not prime. Res64: 44F2FA92B7BC0EF9 Time : 0.0 sec. user=mdettweiler [2016-10-27 00:13:23] 897*2^1444049-1 is not prime. Res64: ED20611C08B5D6E9 Time : 0.0 sec. user=mdettweiler [2016-10-27 00:13:24] 851*2^1444050-1 is not prime. Res64: 3CDBBCA4393A1AA4 Time : 0.0 sec. user=mdettweiler [2016-10-27 00:13:24] 905*2^1444050-1 is not prime. Res64: 768673B1894DE4E9 Time : 0.0 sec. user=mdettweiler [2016-10-27 00:13:24] 945*2^1444050-1 is not prime. Res64: 8B26EA27F9307576 Time : 0.0 sec. user=mdettweiler [2016-10-27 00:13:25] 631*2^1444051-1 is not prime. Res64: 01EC1B8DE33F436A Time : 0.0 sec. user=mdettweiler [2016-10-27 00:14:27] 645*2^1444051-1 is not prime. Res64: 72EBF0086863E615 Time : 0.0 sec. user=mdettweiler [2016-10-27 00:14:27] 735*2^1444051-1 is not prime. Res64: 928791DB941FE395 Time : 0.0 sec. user=mdettweiler [2016-10-27 00:14:27] 769*2^1444051-1 is not prime. Res64: EE9A93B46EA2EF2A Time : 0.0 sec. user=mdettweiler [2016-10-27 00:14:27] 819*2^1444051-1 is not prime. Res64: A2BD0943E429EDCD Time : 0.0 sec. user=mdettweiler [2016-10-27 00:14:28] 861*2^1444051-1 is not prime. Res64: 3ABD250A09F02D65 Time : 0.0 sec. user=mdettweiler [2016-10-27 00:25:05] 931*2^1444051-1 is not prime. Res64: 1ECE5F571838CB7E Time : 0.0 sec. user=mdettweiler [2016-10-27 00:25:05] 939*2^1444051-1 is not prime. Res64: A17AC3A303DB6740 Time : 0.0 sec. user=mdettweiler [2016-10-27 00:25:05] 951*2^1444051-1 is not prime. Res64: 34B5219DF7CD6F7F Time : 0.0 sec. user=mdettweiler [2016-10-27 00:25:06] 975*2^1444051-1 is not prime. Res64: F40B6DF669C2353A Time : 0.0 sec. user=mdettweiler [2016-10-27 00:25:11] 999*2^1444051-1 is not prime. Res64: 43152738BC520754 Time : 0.0 sec. user=mdettweiler [2016-10-27 00:46:07] 633*2^1444052-1 is not prime. Res64: 027D75296671991C Time : 0.0 sec. user=mdettweiler [2016-10-27 00:46:07] 665*2^1444052-1 is not prime. Res64: 44713EE99A3C00FD Time : 0.0 sec. user=mdettweiler [2016-10-27 00:46:08] 813*2^1444052-1 is not prime. Res64: 4FF4C87B0D6A3B10 Time : 0.0 sec. user=mdettweiler [2016-10-27 00:46:08] 837*2^1444052-1 is not prime. Res64: 74BEA25EC4B09693 Time : 0.0 sec. user=mdettweiler [2016-10-27 00:46:08] 885*2^1444052-1 is not prime. Res64: 94B1A0FB4BD7EE20 Time : 0.0 sec. user=mdettweiler [2016-10-27 00:58:17] 987*2^1444052-1 is not prime. Res64: 150AAB80E448E24C Time : 0.0 sec. user=mdettweiler [2016-10-27 00:58:17] 627*2^1444053-1 is not prime. Res64: 02FAF4BA9F83CAAC Time : 0.0 sec. user=mdettweiler [2016-10-27 00:58:17] 679*2^1444053-1 is not prime. Res64: 016638496DE30C99 Time : 0.0 sec. user=mdettweiler [2016-10-27 00:58:18] 747*2^1444053-1 is not prime. Res64: 321CFDD7A9B45854 Time : 0.0 sec. user=mdettweiler [2016-10-27 00:58:19] 805*2^1444053-1 is not prime. Res64: 95A8547CA63F4A56 Time : 0.0 sec. user=mdettweiler [2016-10-27 00:59:10] 861*2^1444053-1 is not prime. Res64: ECEFBF98AAE032B1 Time : 0.0 sec. user=mdettweiler [2016-10-27 00:59:12] 741*2^1444054-1 is not prime. Res64: 414D829CF8160A59 Time : 0.0 sec. user=mdettweiler [2016-10-27 00:59:14] 885*2^1444054-1 is not prime. Res64: 9FCD01FA69EC588A Time : 0.0 sec. user=mdettweiler [2016-10-27 00:59:18] 971*2^1444054-1 is not prime. Res64: 6CDAD8D8BC762F15 Time : 0.0 sec. user=mdettweiler [2016-10-27 00:59:18] 993*2^1444054-1 is not prime. Res64: A6EF28AAB5C0CCB2 Time : 0.0 sec. user=mdettweiler [2016-10-27 01:10:07] 603*2^1444055-1 is not prime. Res64: 15D998724C6D47CF Time : 0.0 sec. user=mdettweiler [2016-10-27 01:10:09] 663*2^1444055-1 is not prime. Res64: EABBAD80D93C33E0 Time : 0.0 sec. user=mdettweiler [2016-10-27 01:10:12] 685*2^1444055-1 is not prime. Res64: 7205C4AC611AB094 Time : 0.0 sec. user=mdettweiler [2016-10-27 01:10:15] 735*2^1444055-1 is not prime. Res64: 0739DCF3877408C0 Time : 0.0 sec. user=mdettweiler [2016-10-27 01:10:15] 853*2^1444055-1 is not prime. Res64: 08233D211525E91A Time : 0.0 sec. user=mdettweiler [2016-10-27 01:31:39] 885*2^1444055-1 is not prime. Res64: BD046D8DB45D9D4B Time : 0.0 sec. user=mdettweiler [2016-10-27 01:31:41] 653*2^1444056-1 is not prime. Res64: FBCA53E77E85899A Time : 0.0 sec. user=mdettweiler [2016-10-27 01:31:42] 669*2^1444056-1 is not prime. Res64: C3600801F35F594C Time : 0.0 sec. user=mdettweiler [2016-10-27 01:31:43] 689*2^1444056-1 is not prime. Res64: 73BEE672528499A5 Time : 0.0 sec. user=mdettweiler [2016-10-27 01:31:44] 765*2^1444056-1 is not prime. Res64: B4358D7B8B398C41 Time : 0.0 sec. user=mdettweiler [2016-10-27 01:43:06] 875*2^1444056-1 is not prime. Res64: 0EE61E4F817F7906 Time : 0.0 sec. user=mdettweiler [2016-10-27 01:43:07] 667*2^1444057-1 is not prime. Res64: 29A2BCD4FFB48FAF Time : 0.0 sec. user=mdettweiler [2016-10-27 01:43:07] 741*2^1444057-1 is not prime. Res64: 03FBAFAEC820E60C Time : 0.0 sec. user=mdettweiler [2016-10-27 01:43:08] 759*2^1444057-1 is not prime. Res64: 4B49EF654275FA43 Time : 0.0 sec. user=mdettweiler [2016-10-27 01:43:09] 885*2^1444057-1 is not prime. Res64: C4CFC9C591215FB9 Time : 0.0 sec. user=mdettweiler [2016-10-27 01:44:15] 627*2^1444058-1 is not prime. Res64: 4DF9992ADF7D04C3 Time : 0.0 sec. user=mdettweiler [2016-10-27 01:57:27] 791*2^1444058-1 is not prime. Res64: 3F71F8A7D785AC40 Time : 0.0 sec. user=mdettweiler [2016-10-27 01:57:27] 797*2^1444058-1 is not prime. Res64: 4B6FDE221E23FF1A Time : 0.0 sec. user=mdettweiler [2016-10-27 01:57:28] 837*2^1444058-1 is not prime. Res64: 363D19C253579F12 Time : 0.0 sec. user=mdettweiler [2016-10-27 01:57:28] 867*2^1444058-1 is not prime. Res64: C7FF0D4748E3FCF7 Time : 0.0 sec. user=mdettweiler [2016-10-27 01:57:29] 619*2^1444059-1 is not prime. Res64: 8A02D9F83EA28C33 Time : 0.0 sec. user=mdettweiler [2016-10-27 02:17:44] 891*2^1444059-1 is not prime. Res64: AC83DAF2E462FDCE Time : 0.0 sec. user=mdettweiler [2016-10-27 02:17:44] 903*2^1444059-1 is not prime. Res64: 5A765287D8DC63A5 Time : 0.0 sec. user=mdettweiler [2016-10-27 02:17:44] 921*2^1444059-1 is not prime. Res64: 82540BFE76037C17 Time : 0.0 sec. user=mdettweiler [2016-10-27 02:17:45] 975*2^1444059-1 is not prime. Res64: 2B67AB2B0A97E53C Time : 0.0 sec. user=mdettweiler [2016-10-27 02:17:45] 605*2^1444060-1 is not prime. Res64: 91AFA578BA718E7E Time : 0.0 sec. user=mdettweiler [2016-10-27 02:29:12] 607*2^1444061-1 is not prime. Res64: E9EAA985C47B9215 Time : 0.0 sec. user=mdettweiler [2016-10-27 02:29:12] 615*2^1444061-1 is not prime. Res64: 5B951EA9565BB671 Time : 0.0 sec. user=mdettweiler [2016-10-27 02:29:13] 675*2^1444061-1 is not prime. Res64: 1BBF22447BD343A3 Time : 0.0 sec. user=mdettweiler [2016-10-27 02:29:13] 745*2^1444061-1 is not prime. Res64: A74813F398D23E63 Time : 0.0 sec. user=mdettweiler [2016-10-27 02:29:14] 811*2^1444061-1 is not prime. Res64: 41666C8030EADE41 Time : 0.0 sec. user=mdettweiler [2016-10-27 02:43:10] 819*2^1444061-1 is not prime. Res64: 97C61917F6366FDA Time : 0.0 sec. user=mdettweiler [2016-10-27 02:43:11] 867*2^1444061-1 is not prime. Res64: 993CFAF146BA6615 Time : 0.0 sec. user=mdettweiler [2016-10-27 02:43:11] 713*2^1444062-1 is not prime. Res64: 1A0B4E2501993D2F Time : 0.0 sec. user=mdettweiler [2016-10-27 02:43:11] 731*2^1444062-1 is not prime. Res64: 113E90F88B9B3454 Time : 0.0 sec. user=mdettweiler [2016-10-27 02:43:11] 741*2^1444062-1 is not prime. Res64: 9133C45EA716F8BA Time : 0.0 sec. user=mdettweiler [2016-10-27 03:03:17] 807*2^1444062-1 is not prime. Res64: 7768D9610E85BAF7 Time : 0.0 sec. user=mdettweiler [2016-10-27 03:03:18] 825*2^1444062-1 is not prime. Res64: DBCB389D6D8B7D8A Time : 0.0 sec. user=mdettweiler [2016-10-27 03:03:19] 875*2^1444062-1 is not prime. Res64: 191C1CD36BE20096 Time : 0.0 sec. user=mdettweiler [2016-10-27 03:03:19] 951*2^1444062-1 is not prime. Res64: 64F3C7FD5B3A7E18 Time : 0.0 sec. user=mdettweiler [2016-10-27 03:03:20] 963*2^1444062-1 is not prime. Res64: D109ABB1F732E73D Time : 0.0 sec. user=mdettweiler [2016-10-27 03:14:33] 965*2^1444062-1 is not prime. Res64: 8D048E59BB35AEC0 Time : 0.0 sec. user=mdettweiler [2016-10-27 03:14:34] 983*2^1444062-1 is not prime. Res64: CF7466D1CC52DE94 Time : 0.0 sec. user=mdettweiler [2016-10-27 03:14:34] 1001*2^1444062-1 is not prime. Res64: F2EDB79C268520EA Time : 0.0 sec. user=mdettweiler [2016-10-27 03:14:35] 633*2^1444063-1 is not prime. Res64: F29C5308AD86ED65 Time : 0.0 sec. user=mdettweiler [2016-10-27 03:14:35] 703*2^1444063-1 is not prime. Res64: B57D0C48CB5B1585 Time : 0.0 sec. user=mdettweiler [2016-10-27 03:28:37] 751*2^1444063-1 is not prime. Res64: A35D1A035BF29091 Time : 0.0 sec. user=mdettweiler [2016-10-27 03:28:38] 763*2^1444063-1 is not prime. Res64: 3EC6466C84D09D80 Time : 0.0 sec. user=mdettweiler [2016-10-27 03:28:39] 769*2^1444063-1 is not prime. Res64: FADD36038EA18DF3 Time : 0.0 sec. user=mdettweiler [2016-10-27 03:28:40] 771*2^1444063-1 is not prime. Res64: 2EB9AB0FA160188C Time : 0.0 sec. user=mdettweiler [2016-10-27 03:28:41] 775*2^1444063-1 is not prime. Res64: 0DE5FE0B78B3E8ED Time : 0.0 sec. user=mdettweiler [2016-10-27 03:49:46] 783*2^1444063-1 is not prime. Res64: 8B804040DC40FFDD Time : 0.0 sec. user=mdettweiler [2016-10-27 03:49:47] 819*2^1444063-1 is not prime. Res64: 2EFC93EE85F2AAAA Time : 0.0 sec. user=mdettweiler [2016-10-27 03:49:48] 885*2^1444063-1 is not prime. Res64: F312647C93553FA9 Time : 0.0 sec. user=mdettweiler [2016-10-27 03:49:49] 919*2^1444063-1 is not prime. Res64: 83ECDEBFAC856AA8 Time : 0.0 sec. user=mdettweiler [2016-10-27 03:49:50] 951*2^1444063-1 is not prime. Res64: 157B0B282511F6E5 Time : 0.0 sec. user=mdettweiler [2016-10-27 04:01:04] 609*2^1444064-1 is not prime. Res64: 8843404DFBA8F36F Time : 0.0 sec. user=mdettweiler [2016-10-27 04:01:05] 635*2^1444064-1 is not prime. Res64: 819F66F7A926B199 Time : 0.0 sec. user=mdettweiler [2016-10-27 04:01:06] 875*2^1444064-1 is not prime. Res64: 27A7988F0C1A6CC1 Time : 0.0 sec. user=mdettweiler [2016-10-27 04:01:06] 927*2^1444064-1 is not prime. Res64: 9431E6266131C143 Time : 0.0 sec. user=mdettweiler [2016-10-27 04:01:07] 935*2^1444064-1 is not prime. Res64: 527D5EEEBEF0C556 Time : 0.0 sec. user=mdettweiler [2016-10-27 04:15:07] 959*2^1444064-1 is not prime. Res64: C12453471388EE2A Time : 0.0 sec. user=mdettweiler [2016-10-27 04:15:08] 983*2^1444064-1 is not prime. Res64: 8589FA6C89A5B1D8 Time : 0.0 sec. user=mdettweiler [2016-10-27 04:15:08] 727*2^1444065-1 is not prime. Res64: E4CA54E443576278 Time : 0.0 sec. user=mdettweiler [2016-10-27 04:15:08] 789*2^1444065-1 is not prime. Res64: 01AF8DADEA196E58 Time : 0.0 sec. user=mdettweiler [2016-10-27 04:15:08] 951*2^1444065-1 is not prime. Res64: C133C952B6E1763F Time : 0.0 sec. user=mdettweiler [2016-10-27 04:35:30] 955*2^1444065-1 is not prime. Res64: 5335C208EBFF17EF Time : 0.0 sec. user=mdettweiler [2016-10-27 04:35:31] 603*2^1444066-1 is not prime. Res64: 8B1C18FC35DE9EE2 Time : 0.0 sec. user=mdettweiler [2016-10-27 04:35:31] 705*2^1444066-1 is not prime. Res64: A921BE13E2BFC2E8 Time : 0.0 sec. user=mdettweiler [2016-10-27 04:35:31] 765*2^1444066-1 is not prime. Res64: 0085FCF8A9BB96D2 Time : 0.0 sec. user=mdettweiler [2016-10-27 04:35:31] 669*2^1444067-1 is not prime. Res64: D607BB66A552DA63 Time : 0.0 sec. user=mdettweiler [2016-10-27 04:44:25] 641*2^1444058-1 is not prime. Res64: 1259A661CD103310 Time : 0.0 sec. user=mdettweiler [2016-10-27 04:44:25] 651*2^1444058-1 is not prime. Res64: 9BCF542DB221F942 Time : 0.0 sec. user=mdettweiler [2016-10-27 04:44:25] 687*2^1444058-1 is not prime. Res64: 5BDF23F164E08925 Time : 0.0 sec. user=mdettweiler [2016-10-27 04:44:26] 747*2^1444058-1 is not prime. Res64: 954DC708681C511D Time : 0.0 sec. user=mdettweiler [2016-10-27 04:46:45] 673*2^1444067-1 is not prime. Res64: B976E4732B9BDE48 Time : 0.0 sec. user=mdettweiler [2016-10-27 04:46:45] 775*2^1444067-1 is not prime. Res64: 63BED791A71197CC Time : 0.0 sec. user=mdettweiler [2016-10-27 04:46:46] 903*2^1444067-1 is not prime. Res64: EDB33463EE90D860 Time : 0.0 sec. user=mdettweiler [2016-10-27 04:46:46] 915*2^1444067-1 is not prime. Res64: 8D1D66A800505AA0 Time : 0.0 sec. user=mdettweiler [2016-10-27 04:46:46] 981*2^1444067-1 is not prime. Res64: BA6BDDEC1AE4DC9B Time : 0.0 sec. user=mdettweiler [2016-10-27 05:00:20] 605*2^1444068-1 is not prime. Res64: 01C6D418FB7FCE56 Time : 0.0 sec. user=mdettweiler [2016-10-27 05:00:21] 639*2^1444068-1 is not prime. Res64: 620D7FD666D9B04A Time : 0.0 sec. user=mdettweiler [2016-10-27 05:00:21] 699*2^1444068-1 is not prime. Res64: 6005087EB375B4B9 Time : 0.0 sec. user=mdettweiler [2016-10-27 05:00:23] 737*2^1444068-1 is not prime. Res64: DFFAF6A57233E784 Time : 0.0 sec. user=mdettweiler [2016-10-27 05:00:24] 867*2^1444068-1 is not prime. Res64: EFED354B37FDE366 Time : 0.0 sec. user=mdettweiler [2016-10-27 05:20:24] 893*2^1444068-1 is not prime. Res64: E83B0DE45BACB083 Time : 0.0 sec. user=mdettweiler [2016-10-27 05:20:24] 933*2^1444068-1 is not prime. Res64: AB81B23CF9B86EEF Time : 0.0 sec. user=mdettweiler [2016-10-27 05:20:24] 667*2^1444069-1 is not prime. Res64: 5BE38F1A99CDEF29 Time : 0.0 sec. user=mdettweiler [2016-10-27 05:20:24] 877*2^1444069-1 is not prime. Res64: DFFCB324852374EF Time : 0.0 sec. user=mdettweiler [2016-10-27 05:20:25] 931*2^1444069-1 is not prime. Res64: CAA05ED90C97C614 Time : 0.0 sec. user=mdettweiler [2016-10-27 05:29:14] 951*2^1444069-1 is not prime. Res64: F949FCBB12AC981F Time : 0.0 sec. user=mdettweiler [2016-10-27 05:29:14] 761*2^1444070-1 is not prime. Res64: 63A5B20FCF915A2C Time : 0.0 sec. user=mdettweiler [2016-10-27 05:29:15] 831*2^1444070-1 is not prime. Res64: A80B5B794535EFD1 Time : 0.0 sec. user=mdettweiler [2016-10-27 05:29:15] 833*2^1444070-1 is not prime. Res64: D459B18526A6C1C6 Time : 0.0 sec. user=mdettweiler [2016-10-27 05:29:15] 857*2^1444070-1 is not prime. Res64: 2AF710F9D29852A4 Time : 0.0 sec. user=mdettweiler [2016-10-27 05:31:29] 965*2^1444070-1 is not prime. Res64: C7D2138115D49E2B Time : 0.0 sec. user=mdettweiler [2016-10-27 05:31:29] 995*2^1444070-1 is not prime. Res64: DBDD12CCF03B6810 Time : 0.0 sec. user=mdettweiler [2016-10-27 05:31:29] 613*2^1444071-1 is not prime. Res64: 73BE11F15EBFF5E5 Time : 0.0 sec. user=mdettweiler [2016-10-27 05:31:30] 651*2^1444071-1 is not prime. Res64: 3D34B182B366A22E Time : 0.0 sec. user=mdettweiler [2016-10-27 05:31:30] 709*2^1444071-1 is not prime. Res64: 9FF99EC9EE313763 Time : 0.0 sec. user=mdettweiler [2016-10-27 05:45:08] 723*2^1444071-1 is not prime. Res64: 6F6AFAEB623CBB7C Time : 0.0 sec. user=mdettweiler [2016-10-27 05:45:08] 735*2^1444071-1 is not prime. Res64: A55E9E94129ED4A0 Time : 0.0 sec. user=mdettweiler [2016-10-27 05:45:08] 751*2^1444071-1 is not prime. Res64: 7861F84AD9FF8040 Time : 0.0 sec. user=mdettweiler [2016-10-27 05:45:08] 617*2^1444072-1 is not prime. Res64: 5451815B60890F79 Time : 0.0 sec. user=mdettweiler [2016-10-27 05:45:09] 635*2^1444072-1 is not prime. Res64: B7374AC2C02DD1A1 Time : 0.0 sec. user=mdettweiler [2016-10-27 06:05:11] 777*2^1444072-1 is not prime. Res64: DCE2565DCC551C6C Time : 0.0 sec. user=mdettweiler [2016-10-27 06:05:13] 873*2^1444072-1 is not prime. Res64: 6D4CB30EE5BBA965 Time : 0.0 sec. user=mdettweiler [2016-10-27 06:05:15] 897*2^1444072-1 is not prime. Res64: B3966DE84E3DE01F Time : 0.0 sec. user=mdettweiler [2016-10-27 06:05:16] 741*2^1444073-1 is not prime. Res64: C0F97336A6861DAA Time : 0.0 sec. user=mdettweiler [2016-10-27 06:05:18] 745*2^1444073-1 is not prime. Res64: 4B869E65B13385B0 Time : 0.0 sec. user=mdettweiler [2016-10-27 06:14:01] 937*2^1444073-1 is not prime. Res64: 29B8C05E0B3BAACC Time : 0.0 sec. user=mdettweiler [2016-10-27 06:14:02] 615*2^1444074-1 is not prime. Res64: D9272F9725F0E319 Time : 0.0 sec. user=mdettweiler [2016-10-27 06:14:02] 651*2^1444074-1 is not prime. Res64: 424FD9338BAD75E3 Time : 0.0 sec. user=mdettweiler [2016-10-27 06:14:02] 707*2^1444074-1 is not prime. Res64: 84FA9FDEA52A99EF Time : 0.0 sec. user=mdettweiler [2016-10-27 06:14:02] 711*2^1444074-1 is not prime. Res64: 398FDF6EAEC006B8 Time : 0.0 sec. user=mdettweiler [2016-10-27 06:16:15] 917*2^1444074-1 is not prime. Res64: 6E676A69162CDCDA Time : 0.0 sec. user=mdettweiler [2016-10-27 06:16:15] 741*2^1444075-1 is not prime. Res64: FD4EED42D3916689 Time : 0.0 sec. user=mdettweiler [2016-10-27 06:16:16] 789*2^1444075-1 is not prime. Res64: 64FF45BB5F7F6FD4 Time : 0.0 sec. user=mdettweiler [2016-10-27 06:16:16] 819*2^1444075-1 is not prime. Res64: 0F1B091662C4FF7E Time : 0.0 sec. user=mdettweiler [2016-10-27 06:16:16] 861*2^1444075-1 is not prime. Res64: 40389C18A66897A4 Time : 0.0 sec. user=mdettweiler [2016-10-27 06:29:59] 909*2^1444075-1 is not prime. Res64: 70E8FED73A7DCFE9 Time : 0.0 sec. user=mdettweiler [2016-10-27 06:30:00] 943*2^1444075-1 is not prime. Res64: 15A4093E9ADD89D5 Time : 0.0 sec. user=mdettweiler [2016-10-27 06:30:00] 979*2^1444075-1 is not prime. Res64: 9545A14EFE258D2A Time : 0.0 sec. user=mdettweiler [2016-10-27 06:30:00] 985*2^1444075-1 is not prime. Res64: 4B0F316AD73697D3 Time : 0.0 sec. user=mdettweiler [2016-10-27 06:30:00] 603*2^1444076-1 is not prime. Res64: 1FAC87C0EBEA7372 Time : 0.0 sec. user=mdettweiler [2016-10-27 06:50:25] 893*2^1444076-1 is not prime. Res64: 00262859C7E5CD7E Time : 0.0 sec. user=mdettweiler [2016-10-27 06:50:26] 935*2^1444076-1 is not prime. Res64: BEA2328AB5C42DCD Time : 0.0 sec. user=mdettweiler [2016-10-27 06:50:26] 747*2^1444077-1 is not prime. Res64: 74C39D8ECE902146 Time : 0.0 sec. user=mdettweiler [2016-10-27 06:50:26] 847*2^1444077-1 is not prime. Res64: 2D17CB3CDA829BBF Time : 0.0 sec. user=mdettweiler [2016-10-27 06:50:26] 865*2^1444077-1 is not prime. Res64: 7D6864B9B965A4F3 Time : 0.0 sec. user=mdettweiler [2016-10-27 06:58:48] 937*2^1444077-1 is not prime. Res64: EDDC30466925BDC9 Time : 0.0 sec. user=mdettweiler [2016-10-27 06:58:48] 961*2^1444077-1 is not prime. Res64: B07A3F9C80D622C4 Time : 0.0 sec. user=mdettweiler [2016-10-27 06:58:48] 657*2^1444078-1 is not prime. Res64: A8E747B960F46CB7 Time : 0.0 sec. user=mdettweiler [2016-10-27 06:58:48] 791*2^1444078-1 is not prime. Res64: D668566C0F16DD79 Time : 0.0 sec. user=mdettweiler [2016-10-27 06:58:48] 801*2^1444078-1 is not prime. Res64: 1D0EC872A5FFBD90 Time : 0.0 sec. user=mdettweiler [2016-10-27 07:01:07] 827*2^1444078-1 is not prime. Res64: 776C11A85CF0464A Time : 0.0 sec. user=mdettweiler [2016-10-27 07:01:08] 923*2^1444078-1 is not prime. Res64: 6FF5C68C771F2318 Time : 0.0 sec. user=mdettweiler [2016-10-27 07:01:09] 995*2^1444078-1 is not prime. Res64: E5863EE31667025E Time : 0.0 sec. user=mdettweiler [2016-10-27 07:01:09] 609*2^1444079-1 is not prime. Res64: F5CA627E3A13BDEA Time : 0.0 sec. user=mdettweiler [2016-10-27 07:01:10] 745*2^1444079-1 is not prime. Res64: EDA0FCA10689EAFE Time : 0.0 sec. user=mdettweiler [2016-10-27 07:14:45] 895*2^1444079-1 is not prime. Res64: BE20598692BBCDAA Time : 0.0 sec. user=mdettweiler [2016-10-27 07:14:46] 943*2^1444079-1 is not prime. Res64: 00AAA55A2C74A5B6 Time : 0.0 sec. user=mdettweiler [2016-10-27 07:14:46] 973*2^1444079-1 is not prime. Res64: A545D05672D5C9C3 Time : 0.0 sec. user=mdettweiler [2016-10-27 07:14:46] 765*2^1444080-1 is not prime. Res64: 318F66D2571589BF Time : 0.0 sec. user=mdettweiler [2016-10-27 07:14:46] 909*2^1444080-1 is not prime. Res64: 9DDA3B613C0DCD3F Time : 0.0 sec. user=mdettweiler [2016-10-27 07:35:13] 983*2^1444080-1 is not prime. Res64: 6805E38108907C5B Time : 0.0 sec. user=mdettweiler [2016-10-27 07:35:13] 619*2^1444081-1 is not prime. Res64: 045397526DDCC3A1 Time : 0.0 sec. user=mdettweiler [2016-10-27 07:35:13] 645*2^1444081-1 is not prime. Res64: 021EBCEB3E3E7381 Time : 0.0 sec. user=mdettweiler [2016-10-27 07:35:14] 681*2^1444081-1 is not prime. Res64: 8AD5C808D4B513F7 Time : 0.0 sec. user=mdettweiler [2016-10-27 07:35:14] 717*2^1444081-1 is not prime. Res64: C576F5E1181025B6 Time : 0.0 sec. user=mdettweiler [2016-10-27 07:43:39] 877*2^1444081-1 is not prime. Res64: 83493E5FBF764FF7 Time : 0.0 sec. user=mdettweiler [2016-10-27 07:43:39] 975*2^1444081-1 is not prime. Res64: E935036062D02392 Time : 0.0 sec. user=mdettweiler [2016-10-27 07:43:39] 997*2^1444081-1 is not prime. Res64: 879403CD5C206CD5 Time : 0.0 sec. user=mdettweiler [2016-10-27 07:43:39] 633*2^1444082-1 is not prime. Res64: 38109A2566EDCE79 Time : 0.0 sec. user=mdettweiler [2016-10-27 07:43:40] 657*2^1444082-1 is not prime. Res64: 7B7492CB080A42AD Time : 0.0 sec. user=mdettweiler [2016-10-27 07:46:07] 741*2^1444082-1 is not prime. Res64: F8F7E8EAE1D58C83 Time : 0.0 sec. user=mdettweiler [2016-10-27 07:46:07] 887*2^1444082-1 is not prime. Res64: 830F17FCD42FEE57 Time : 0.0 sec. user=mdettweiler [2016-10-27 07:46:07] 953*2^1444082-1 is not prime. Res64: 20CFD5AA494ECCC2 Time : 0.0 sec. user=mdettweiler [2016-10-27 07:46:07] 977*2^1444082-1 is not prime. Res64: 4D610BBE314CBAFC Time : 0.0 sec. user=mdettweiler [2016-10-27 07:46:08] 613*2^1444083-1 is not prime. Res64: 121CAB483163992A Time : 0.0 sec. user=mdettweiler [2016-10-27 07:59:35] 619*2^1444083-1 is not prime. Res64: 3B0932D2E7C4D814 Time : 0.0 sec. user=mdettweiler [2016-10-27 07:59:36] 675*2^1444083-1 is not prime. Res64: F94D75DE25E69321 Time : 0.0 sec. user=mdettweiler [2016-10-27 07:59:36] 691*2^1444083-1 is not prime. Res64: FC9AEE9DAC491142 Time : 0.0 sec. user=mdettweiler [2016-10-27 07:59:36] 961*2^1444083-1 is not prime. Res64: B2CF22ECD46C463A Time : 0.0 sec. user=mdettweiler [2016-10-27 07:59:36] 695*2^1444084-1 is not prime. Res64: 5EDE5DC605FAB228 Time : 0.0 sec. user=mdettweiler [2016-10-27 08:20:06] 705*2^1444084-1 is not prime. Res64: BF8D373FE0ACEADB Time : 0.0 sec. user=mdettweiler [2016-10-27 08:20:06] 723*2^1444084-1 is not prime. Res64: 3DCD0EABD500C8B4 Time : 0.0 sec. user=mdettweiler [2016-10-27 08:20:06] 869*2^1444084-1 is not prime. Res64: 59582E3493671160 Time : 0.0 sec. user=mdettweiler [2016-10-27 08:20:07] 975*2^1444084-1 is not prime. Res64: 2D9246D7F00934A9 Time : 0.0 sec. user=mdettweiler [2016-10-27 08:20:07] 655*2^1444085-1 is not prime. Res64: D6EC5FED2ED947C4 Time : 0.0 sec. user=mdettweiler [2016-10-27 08:28:32] 657*2^1444085-1 is not prime. Res64: D0D9056A56C990BD Time : 0.0 sec. user=mdettweiler [2016-10-27 08:28:33] 669*2^1444085-1 is not prime. Res64: 4C9DFE3F3A49151C Time : 0.0 sec. user=mdettweiler [2016-10-27 08:28:33] 735*2^1444085-1 is not prime. Res64: A44E7F243036770D Time : 0.0 sec. user=mdettweiler [2016-10-27 08:28:33] 759*2^1444085-1 is not prime. Res64: 0C584F3631C5DDD7 Time : 0.0 sec. user=mdettweiler [2016-10-27 08:28:34] 831*2^1444085-1 is not prime. Res64: 49C9A5C6E7E35BE2 Time : 0.0 sec. user=mdettweiler [2016-10-27 08:30:47] 861*2^1444085-1 is not prime. Res64: 71C2D128557F3CA0 Time : 0.0 sec. user=mdettweiler [2016-10-27 08:30:47] 867*2^1444085-1 is not prime. Res64: 93119DF7411BFFEF Time : 0.0 sec. user=mdettweiler [2016-10-27 08:30:47] 949*2^1444085-1 is not prime. Res64: 59E6CFBB97E289F3 Time : 0.0 sec. user=mdettweiler [2016-10-27 08:30:48] 987*2^1444085-1 is not prime. Res64: B1DB5340C48456E5 Time : 0.0 sec. user=mdettweiler [2016-10-27 08:30:48] 881*2^1444086-1 is not prime. Res64: 568E10A3B31E9310 Time : 0.0 sec. user=mdettweiler [2016-10-27 08:44:19] 945*2^1444086-1 is not prime. Res64: 366AC448953DCE86 Time : 0.0 sec. user=mdettweiler [2016-10-27 08:44:20] 983*2^1444086-1 is not prime. Res64: C0DDB3D7860C74D8 Time : 0.0 sec. user=mdettweiler [2016-10-27 08:44:20] 645*2^1444087-1 is not prime. Res64: 29BA6C10E621B4BF Time : 0.0 sec. user=mdettweiler [2016-10-27 08:44:20] 685*2^1444087-1 is not prime. Res64: 48C82FF6E76B0900 Time : 0.0 sec. user=mdettweiler [2016-10-27 08:44:20] 883*2^1444087-1 is not prime. Res64: F80010739410EBE4 Time : 0.0 sec. user=mdettweiler [2016-10-27 09:04:49] 919*2^1444087-1 is not prime. Res64: F97383D36F33DEA2 Time : 0.0 sec. user=mdettweiler [2016-10-27 09:04:51] 931*2^1444087-1 is not prime. Res64: 84856C50CFD2F6D1 Time : 0.0 sec. user=mdettweiler [2016-10-27 09:04:52] 975*2^1444087-1 is not prime. Res64: 1304A0889864CD2E Time : 0.0 sec. user=mdettweiler [2016-10-27 09:04:52] 633*2^1444088-1 is not prime. Res64: C5191F5F909F7B52 Time : 0.0 sec. user=mdettweiler [2016-10-27 09:04:53] 665*2^1444088-1 is not prime. Res64: 4220FFD68BBB095A Time : 0.0 sec. user=mdettweiler [2016-10-27 09:13:14] 797*2^1444088-1 is not prime. Res64: 3F12CBD379C79B1B Time : 0.0 sec. user=mdettweiler [2016-10-27 09:13:14] 855*2^1444088-1 is not prime. Res64: 626F48CE1AD312FF Time : 0.0 sec. user=mdettweiler [2016-10-27 09:13:15] 915*2^1444088-1 is not prime. Res64: EB64668825418F41 Time : 0.0 sec. user=mdettweiler [2016-10-27 09:13:15] 963*2^1444088-1 is not prime. Res64: D7C967D6B340CF3B Time : 0.0 sec. user=mdettweiler [2016-10-27 09:13:15] 969*2^1444088-1 is not prime. Res64: F4E78732B6892299 Time : 0.0 sec. user=mdettweiler [2016-10-27 09:15:32] 649*2^1444089-1 is not prime. Res64: 16D495F4994C708D Time : 0.0 sec. user=mdettweiler [2016-10-27 09:15:33] 661*2^1444089-1 is not prime. Res64: C32FC86537B6371E Time : 0.0 sec. user=mdettweiler [2016-10-27 09:15:33] 681*2^1444089-1 is not prime. Res64: 08F4F664BA8562D7 Time : 0.0 sec. user=mdettweiler [2016-10-27 09:15:33] 751*2^1444089-1 is not prime. Res64: EB602F81C53CED19 Time : 0.0 sec. user=mdettweiler [2016-10-27 09:15:33] 817*2^1444089-1 is not prime. Res64: 199BC056E08F282E Time : 0.0 sec. user=mdettweiler [2016-10-27 09:29:04] 999*2^1444089-1 is not prime. Res64: 84E9726A265F381C Time : 0.0 sec. user=mdettweiler [2016-10-27 09:29:05] 731*2^1444090-1 is not prime. Res64: 9DBDAA67E4999352 Time : 0.0 sec. user=mdettweiler [2016-10-27 09:29:05] 765*2^1444090-1 is not prime. Res64: A2672D2A4EFA86CD Time : 0.0 sec. user=mdettweiler [2016-10-27 09:29:05] 603*2^1444091-1 is not prime. Res64: 67F049531CA972C2 Time : 0.0 sec. user=mdettweiler [2016-10-27 09:29:05] 651*2^1444091-1 is not prime. Res64: 1851882ADEE820D8 Time : 0.0 sec. user=mdettweiler [2016-10-27 09:49:52] 685*2^1444091-1 is not prime. Res64: 6CB2E04444BC9196 Time : 0.0 sec. user=mdettweiler [2016-10-27 09:49:52] 759*2^1444091-1 is not prime. Res64: CDC98CE30996373C Time : 0.0 sec. user=mdettweiler [2016-10-27 09:49:52] 879*2^1444091-1 is not prime. Res64: 0D8C37295A517E96 Time : 0.0 sec. user=mdettweiler [2016-10-27 09:49:53] 909*2^1444091-1 is not prime. Res64: F766ECF4481C3F8E Time : 0.0 sec. user=mdettweiler [2016-10-27 09:49:53] 931*2^1444091-1 is not prime. Res64: BD7F992933E19E22 Time : 0.0 sec. user=mdettweiler [2016-10-27 09:58:04] 981*2^1444091-1 is not prime. Res64: 954E6B0B17E56B3E Time : 0.0 sec. user=mdettweiler [2016-10-27 09:58:04] 669*2^1444092-1 is not prime. Res64: 83638E93167027A9 Time : 0.0 sec. user=mdettweiler [2016-10-27 09:58:04] 675*2^1444092-1 is not prime. Res64: 97C678704095E6C3 Time : 0.0 sec. user=mdettweiler [2016-10-27 09:58:04] 723*2^1444092-1 is not prime. Res64: F4E7E8675955405E Time : 0.0 sec. user=mdettweiler [2016-10-27 09:58:05] 779*2^1444092-1 is not prime. Res64: 3F2E58294DDA9356 Time : 0.0 sec. user=mdettweiler [2016-10-27 10:00:14] 867*2^1444092-1 is not prime. Res64: 742B222B195A68AE Time : 0.0 sec. user=mdettweiler [2016-10-27 10:00:15] 945*2^1444092-1 is not prime. Res64: 7253AAE951B3CEB7 Time : 0.0 sec. user=mdettweiler [2016-10-27 10:00:15] 965*2^1444092-1 is not prime. Res64: DA6152393812093C Time : 0.0 sec. user=mdettweiler [2016-10-27 10:00:16] 651*2^1444093-1 is not prime. Res64: DC4EBC424CBBC1EF Time : 0.0 sec. user=mdettweiler [2016-10-27 10:00:16] 727*2^1444093-1 is not prime. Res64: A40E17EBDEA51E39 Time : 0.0 sec. user=mdettweiler [2016-10-27 10:13:56] 745*2^1444093-1 is not prime. Res64: 23BCED6FCDB29874 Time : 0.0 sec. user=mdettweiler [2016-10-27 10:13:57] 771*2^1444093-1 is not prime. Res64: 7C9965A9058F7519 Time : 0.0 sec. user=mdettweiler [2016-10-27 10:13:57] 789*2^1444093-1 is not prime. Res64: 2FA1A641710C6D43 Time : 0.0 sec. user=mdettweiler [2016-10-27 10:13:57] 937*2^1444093-1 is not prime. Res64: D2ABA9573DF52FBD Time : 0.0 sec. user=mdettweiler [2016-10-27 10:13:57] 999*2^1444093-1 is not prime. Res64: 09B784CBB673962B Time : 0.0 sec. user=mdettweiler [2016-10-27 10:35:20] 705*2^1444094-1 is not prime. Res64: 240640649429B70A Time : 0.0 sec. user=mdettweiler [2016-10-27 10:35:20] 755*2^1444094-1 is not prime. Res64: 2F2D5D16E4001418 Time : 0.0 sec. user=mdettweiler [2016-10-27 10:35:20] 945*2^1444094-1 is not prime. Res64: 8E64A81F8CF86730 Time : 0.0 sec. user=mdettweiler [2016-10-27 10:35:20] 639*2^1444095-1 is not prime. Res64: 97CF0530DFF0083A Time : 0.0 sec. user=mdettweiler [2016-10-27 10:35:21] 651*2^1444095-1 is not prime. Res64: 0F13FC9E9FF84C8C Time : 0.0 sec. user=mdettweiler [2016-10-27 10:43:42] 663*2^1444095-1 is not prime. Res64: 85FDFC9938A784B8 Time : 0.0 sec. user=mdettweiler [2016-10-27 10:43:42] 693*2^1444095-1 is not prime. Res64: 402ABDB0517E905A Time : 0.0 sec. user=mdettweiler [2016-10-27 10:43:42] 741*2^1444095-1 is not prime. Res64: 8FA390AFAFDF4749 Time : 0.0 sec. user=mdettweiler [2016-10-27 10:43:43] 853*2^1444095-1 is not prime. Res64: A1D23CAEA1DE1B1C Time : 0.0 sec. user=mdettweiler [2016-10-27 10:43:43] 859*2^1444095-1 is not prime. Res64: 7A1F2D4729513080 Time : 0.0 sec. user=mdettweiler [2016-10-27 10:45:26] 895*2^1444095-1 is not prime. Res64: D75A4EEF0BF6B7C7 Time : 0.0 sec. user=mdettweiler [2016-10-27 10:45:27] 913*2^1444095-1 is not prime. Res64: CA5A9E9A672F64A0 Time : 0.0 sec. user=mdettweiler [2016-10-27 10:45:27] 961*2^1444095-1 is not prime. Res64: E0C0C8B8A63A2ACF Time : 0.0 sec. user=mdettweiler [2016-10-27 10:45:27] 657*2^1444096-1 is not prime. Res64: 4DDBF3A5C18ECED5 Time : 0.0 sec. user=mdettweiler [2016-10-27 10:45:27] 695*2^1444096-1 is not prime. Res64: 43480700786B3400 Time : 0.0 sec. user=mdettweiler [2016-10-27 10:59:09] 707*2^1444096-1 is not prime. Res64: 40D324DC1E3391EC Time : 0.0 sec. user=mdettweiler [2016-10-27 10:59:09] 735*2^1444096-1 is not prime. Res64: 1F5525D54299D1F1 Time : 0.0 sec. user=mdettweiler [2016-10-27 10:59:09] 765*2^1444096-1 is not prime. Res64: 5D220A45D710B00C Time : 0.0 sec. user=mdettweiler [2016-10-27 10:59:09] 897*2^1444096-1 is not prime. Res64: 94991B21298D2771 Time : 0.0 sec. user=mdettweiler [2016-10-27 10:59:10] 899*2^1444096-1 is not prime. Res64: D37797C5B8A67349 Time : 0.0 sec. user=mdettweiler [2016-10-27 11:20:06] 917*2^1444096-1 is not prime. Res64: E0A2E6D3A968812D Time : 0.0 sec. user=mdettweiler [2016-10-27 11:20:07] 615*2^1444097-1 is not prime. Res64: 437640E513FF098E Time : 0.0 sec. user=mdettweiler [2016-10-27 11:20:07] 645*2^1444097-1 is not prime. Res64: A3D2CFD37E7BA231 Time : 0.0 sec. user=mdettweiler [2016-10-27 11:20:07] 685*2^1444097-1 is not prime. Res64: 3FBB5784D1BDBC32 Time : 0.0 sec. user=mdettweiler [2016-10-27 11:20:07] 691*2^1444097-1 is not prime. Res64: 4B0CF7F67DD187E3 Time : 0.0 sec. user=mdettweiler [2016-10-27 11:28:23] 729*2^1444097-1 is not prime. Res64: EB959F22C30E94F0 Time : 0.0 sec. user=mdettweiler [2016-10-27 11:28:23] 741*2^1444097-1 is not prime. Res64: B476A00B95E05FDE Time : 0.0 sec. user=mdettweiler [2016-10-27 11:28:23] 769*2^1444097-1 is not prime. Res64: 862D457A7623D0CD Time : 0.0 sec. user=mdettweiler [2016-10-27 11:28:23] 771*2^1444097-1 is not prime. Res64: 1F78794C26886471 Time : 0.0 sec. user=mdettweiler [2016-10-27 11:28:24] 867*2^1444097-1 is not prime. Res64: 9E3491A20C652032 Time : 0.0 sec. user=mdettweiler [2016-10-27 11:30:12] 871*2^1444097-1 is not prime. Res64: 7164211DF8C4C134 Time : 0.0 sec. user=mdettweiler [2016-10-27 11:30:12] 901*2^1444097-1 is not prime. Res64: FCEC3A07D2CC1521 Time : 0.0 sec. user=mdettweiler [2016-10-27 11:30:12] 621*2^1444098-1 is not prime. Res64: 9DAB53738C2C250E Time : 0.0 sec. user=mdettweiler [2016-10-27 11:30:13] 647*2^1444098-1 is not prime. Res64: 55A209F934DF0B71 Time : 0.0 sec. user=mdettweiler [2016-10-27 11:30:13] 663*2^1444098-1 is not prime. Res64: 0F5A1791EFDAEAF3 Time : 0.0 sec. user=mdettweiler [2016-10-27 11:43:49] 797*2^1444098-1 is not prime. Res64: 16CDC33C6858CB6C Time : 0.0 sec. user=mdettweiler [2016-10-27 11:43:49] 941*2^1444098-1 is not prime. Res64: B1965AB73334621B Time : 0.0 sec. user=mdettweiler [2016-10-27 11:43:50] 971*2^1444098-1 is not prime. Res64: C070F9024E404CEB Time : 0.0 sec. user=mdettweiler [2016-10-27 11:43:50] 801*2^1444099-1 is not prime. Res64: 24C5CD7C74843A7C Time : 0.0 sec. user=mdettweiler [2016-10-27 11:43:50] 885*2^1444099-1 is not prime. Res64: F6AA833171A8F100 Time : 0.0 sec. user=mdettweiler [2016-10-27 12:04:55] 939*2^1444099-1 is not prime. Res64: 8C53711ACEC6529F Time : 0.0 sec. user=mdettweiler [2016-10-27 12:04:56] 943*2^1444099-1 is not prime. Res64: 498E30FE87C3BC7B Time : 0.0 sec. user=mdettweiler [2016-10-27 12:04:57] 985*2^1444099-1 is not prime. Res64: A0312C20A0EE3A3C Time : 0.0 sec. user=mdettweiler [2016-10-27 12:04:58] 633*2^1444100-1 is not prime. Res64: C2D6A8F785ED84F4 Time : 0.0 sec. user=mdettweiler [2016-10-27 12:04:59] 797*2^1444100-1 is not prime. Res64: 9FBD0C8F25DA1B48 Time : 0.0 sec. user=mdettweiler [2016-10-27 12:13:04] 845*2^1444100-1 is not prime. Res64: 63F8D2995A6551C2 Time : 0.0 sec. user=mdettweiler [2016-10-27 12:13:04] 949*2^1444101-1 is not prime. Res64: 78DECEA8ED69CB4D Time : 0.0 sec. user=mdettweiler [2016-10-27 12:13:04] 755*2^1444102-1 is not prime. Res64: 8BBB23945972DD73 Time : 0.0 sec. user=mdettweiler [2016-10-27 12:13:05] 761*2^1444102-1 is not prime. Res64: BFC5205A2A1A77D0 Time : 0.0 sec. user=mdettweiler [2016-10-27 12:13:05] 857*2^1444102-1 is not prime. Res64: 70A59A3FB718BB36 Time : 0.0 sec. user=mdettweiler [2016-10-27 12:14:55] 881*2^1444102-1 is not prime. Res64: F44C6AF4582D0E93 Time : 0.0 sec. user=mdettweiler [2016-10-27 12:14:55] 983*2^1444102-1 is not prime. Res64: 81681070884A22BE Time : 0.0 sec. user=mdettweiler [2016-10-27 12:14:56] 693*2^1444103-1 is not prime. Res64: 83FD77DE0EAAF1EA Time : 0.0 sec. user=mdettweiler [2016-10-27 12:14:56] 739*2^1444103-1 is not prime. Res64: DFE44CA524B08FD5 Time : 0.0 sec. user=mdettweiler [2016-10-27 12:14:56] 753*2^1444103-1 is not prime. Res64: D8F7EA4419E61DFF Time : 0.0 sec. user=mdettweiler [2016-10-27 12:28:30] 759*2^1444103-1 is not prime. Res64: 180705E8E913DD2E Time : 0.0 sec. user=mdettweiler [2016-10-27 12:28:30] 775*2^1444103-1 is not prime. Res64: 7CB9F7BC2AC4DF1E Time : 0.0 sec. user=mdettweiler [2016-10-27 12:28:31] 985*2^1444103-1 is not prime. Res64: 90B7F28D6060ADF3 Time : 0.0 sec. user=mdettweiler [2016-10-27 12:28:31] 657*2^1444104-1 is not prime. Res64: E2F5010AB443E5C2 Time : 0.0 sec. user=mdettweiler [2016-10-27 12:28:31] 695*2^1444104-1 is not prime. Res64: 8BC8D80563AA64FF Time : 0.0 sec. user=mdettweiler [2016-10-27 12:49:46] 717*2^1444104-1 is not prime. Res64: 70F1286592924B9E Time : 0.0 sec. user=mdettweiler [2016-10-27 12:49:46] 725*2^1444104-1 is not prime. Res64: 311E335EDF6B5271 Time : 0.0 sec. user=mdettweiler [2016-10-27 12:49:47] 789*2^1444104-1 is not prime. Res64: F973E0B0DC6F3888 Time : 0.0 sec. user=mdettweiler [2016-10-27 12:49:47] 863*2^1444104-1 is not prime. Res64: FF72D24AC23D1D2A Time : 0.0 sec. user=mdettweiler [2016-10-27 12:49:47] 715*2^1444105-1 is not prime. Res64: 31312B8D167709B8 Time : 0.0 sec. user=mdettweiler [2016-10-27 12:57:58] 775*2^1444105-1 is not prime. Res64: 7EF7A308E3228B83 Time : 0.0 sec. user=mdettweiler [2016-10-27 12:57:59] 805*2^1444105-1 is not prime. Res64: A78E31259792186F Time : 0.0 sec. user=mdettweiler [2016-10-27 12:57:59] 889*2^1444105-1 is not prime. Res64: 5B0121BB456C0624 Time : 0.0 sec. user=mdettweiler [2016-10-27 12:57:59] 895*2^1444105-1 is not prime. Res64: 8D9484575B106C04 Time : 0.0 sec. user=mdettweiler [2016-10-27 12:58:00] 617*2^1444106-1 is not prime. Res64: 6E18C5012462607F Time : 0.0 sec. user=mdettweiler [2016-10-27 12:59:35] 633*2^1444106-1 is not prime. Res64: 8D24B4A7C11178F6 Time : 0.0 sec. user=mdettweiler [2016-10-27 12:59:35] 767*2^1444106-1 is not prime. Res64: 1371EEB59C999F63 Time : 0.0 sec. user=mdettweiler [2016-10-27 12:59:35] 801*2^1444106-1 is not prime. Res64: CD70423DDD1BE197 Time : 0.0 sec. user=mdettweiler [2016-10-27 12:59:35] 857*2^1444106-1 is not prime. Res64: 070433200C0637C8 Time : 0.0 sec. user=mdettweiler [2016-10-27 12:59:36] 935*2^1444106-1 is not prime. Res64: 9DE8A6ED7C268C70 Time : 0.0 sec. user=mdettweiler [2016-10-27 13:14:09] 971*2^1444106-1 is not prime. Res64: A525CE788B93EBFD Time : 0.0 sec. user=mdettweiler [2016-10-27 13:14:09] 981*2^1444106-1 is not prime. Res64: 75FA3E330833224E Time : 0.0 sec. user=mdettweiler [2016-10-27 13:14:09] 735*2^1444107-1 is not prime. Res64: 91DFF064F9E25B3F Time : 0.0 sec. user=mdettweiler [2016-10-27 13:14:10] 739*2^1444107-1 is not prime. Res64: 408DC0CE779FA8D0 Time : 0.0 sec. user=mdettweiler [2016-10-27 13:14:10] 871*2^1444107-1 is not prime. Res64: 20F22380D1ADE94D Time : 0.0 sec. user=mdettweiler [2016-10-27 13:35:45] 951*2^1444107-1 is not prime. Res64: 2C775B949659C981 Time : 0.0 sec. user=mdettweiler [2016-10-27 13:35:45] 605*2^1444108-1 is not prime. Res64: D9046B2F1A5BE7F3 Time : 0.0 sec. user=mdettweiler [2016-10-27 13:35:45] 615*2^1444108-1 is not prime. Res64: 4451D2D6246CB699 Time : 0.0 sec. user=mdettweiler [2016-10-27 13:35:46] 647*2^1444108-1 is not prime. Res64: 7429ED7FB0C28339 Time : 0.0 sec. user=mdettweiler [2016-10-27 13:35:46] 707*2^1444108-1 is not prime. Res64: 0C0995EFAC85C727 Time : 0.0 sec. user=mdettweiler [2016-10-27 13:44:33] 827*2^1444108-1 is not prime. Res64: 0B4610146E8F8451 Time : 0.0 sec. user=mdettweiler [2016-10-27 13:44:33] 905*2^1444108-1 is not prime. Res64: DEB25E5D077630FC Time : 0.0 sec. user=mdettweiler [2016-10-27 13:44:33] 909*2^1444108-1 is not prime. Res64: F90E51C35833753E Time : 0.0 sec. user=mdettweiler [2016-10-27 13:44:33] 923*2^1444108-1 is not prime. Res64: 0A75A87CB22F253F Time : 0.0 sec. user=mdettweiler [2016-10-27 13:44:34] 697*2^1444109-1 is not prime. Res64: 46C5C1AD91782230 Time : 0.0 sec. user=mdettweiler [2016-10-27 13:45:47] 811*2^1444109-1 is not prime. Res64: DFBE9B77B6C2BB81 Time : 0.0 sec. user=mdettweiler [2016-10-27 13:45:48] 831*2^1444109-1 is not prime. Res64: 56D7F0C1C3769D70 Time : 0.0 sec. user=mdettweiler [2016-10-27 13:45:48] 885*2^1444109-1 is not prime. Res64: C0A6B46A5112CB47 Time : 0.0 sec. user=mdettweiler [2016-10-27 13:45:48] 931*2^1444109-1 is not prime. Res64: 91A2FA3EA9A39E57 Time : 0.0 sec. user=mdettweiler [2016-10-27 13:45:48] 945*2^1444109-1 is not prime. Res64: FC5EFCD83C36CE1B Time : 0.0 sec. user=mdettweiler [2016-10-27 14:01:13] 955*2^1444109-1 is not prime. Res64: 1512B709171E3C9B Time : 0.0 sec. user=mdettweiler [2016-10-27 14:01:13] 967*2^1444109-1 is not prime. Res64: 9C2524585907DC13 Time : 0.0 sec. user=mdettweiler [2016-10-27 14:01:14] 611*2^1444110-1 is not prime. Res64: 68A9C54D7D4FA91B Time : 0.0 sec. user=mdettweiler [2016-10-27 14:01:15] 765*2^1444110-1 is not prime. Res64: AB0D9BC8F35FA431 Time : 0.0 sec. user=mdettweiler [2016-10-27 14:01:15] 795*2^1444110-1 is not prime. Res64: 68A59AE39B534445 Time : 0.0 sec. user=mdettweiler [2016-10-27 14:23:34] 845*2^1444110-1 is not prime. Res64: 1EFA6D3CEC4FC95B Time : 0.0 sec. user=mdettweiler [2016-10-27 14:23:35] 861*2^1444110-1 is not prime. Res64: 1E62B9F5A41BEFEF Time : 0.0 sec. user=mdettweiler [2016-10-27 14:23:35] 917*2^1444110-1 is not prime. Res64: 2525CF4BF97B4770 Time : 0.0 sec. user=mdettweiler [2016-10-27 14:23:35] 619*2^1444111-1 is not prime. Res64: CD87DB0B36346B77 Time : 0.0 sec. user=mdettweiler [2016-10-27 14:23:35] 621*2^1444111-1 is not prime. Res64: 7128569A01E0B68C Time : 0.0 sec. user=mdettweiler [2016-10-27 14:33:17] 693*2^1444111-1 is not prime. Res64: BE82E89F1897E35B Time : 0.0 sec. user=mdettweiler [2016-10-27 14:33:17] 735*2^1444111-1 is not prime. Res64: B12FBB1C12DDEEB3 Time : 0.0 sec. user=mdettweiler [2016-10-27 14:33:17] 751*2^1444111-1 is not prime. Res64: 5D1DA27261A3E263 Time : 0.0 sec. user=mdettweiler [2016-10-27 14:33:17] 849*2^1444111-1 is not prime. Res64: DED72FA3031B9423 Time : 0.0 sec. user=mdettweiler [2016-10-27 14:33:18] 883*2^1444111-1 is not prime. Res64: C5D58B143944353E Time : 0.0 sec. user=mdettweiler [2016-10-27 14:34:11] 909*2^1444111-1 is not prime. Res64: 01E7C2B49B6AA4CF Time : 0.0 sec. user=mdettweiler [2016-10-27 14:34:11] 913*2^1444111-1 is not prime. Res64: B09247EB20CB3D73 Time : 0.0 sec. user=mdettweiler [2016-10-27 14:34:11] 975*2^1444111-1 is not prime. Res64: CFCB7DCB8B3E9B47 Time : 0.0 sec. user=mdettweiler [2016-10-27 14:34:12] 979*2^1444111-1 is not prime. Res64: AFC5DDF171EFDAC0 Time : 0.0 sec. user=mdettweiler [2016-10-27 14:34:12] 609*2^1444112-1 is not prime. Res64: CC46A17071CBFE20 Time : 0.0 sec. user=mdettweiler [2016-10-27 14:49:47] 855*2^1444112-1 is not prime. Res64: E6A9BA745B64D7F1 Time : 0.0 sec. user=mdettweiler [2016-10-27 14:49:47] 923*2^1444112-1 is not prime. Res64: 0102A383985A2337 Time : 0.0 sec. user=mdettweiler [2016-10-27 14:49:47] 699*2^1444113-1 is not prime. Res64: FAB4216C099D7EE8 Time : 0.0 sec. user=mdettweiler [2016-10-27 14:49:47] 727*2^1444113-1 is not prime. Res64: CE390BF96E70A6A4 Time : 0.0 sec. user=mdettweiler [2016-10-27 14:49:47] 739*2^1444113-1 is not prime. Res64: 7CA9254C98AC441B Time : 0.0 sec. user=mdettweiler [2016-10-27 15:11:33] 765*2^1444113-1 is not prime. Res64: 1224F8B67EB9D24B Time : 0.0 sec. user=mdettweiler [2016-10-27 15:11:34] 861*2^1444113-1 is not prime. Res64: 73E9663B7EE4328B Time : 0.0 sec. user=mdettweiler [2016-10-27 15:11:34] 895*2^1444113-1 is not prime. Res64: 43C447380CF8BF74 Time : 0.0 sec. user=mdettweiler [2016-10-27 15:11:34] 945*2^1444113-1 is not prime. Res64: C8CA3EAFB79EFBEC Time : 0.0 sec. user=mdettweiler [2016-10-27 15:11:35] 985*2^1444113-1 is not prime. Res64: 2AACF9A45C612848 Time : 0.0 sec. user=mdettweiler [2016-10-27 15:20:59] 657*2^1444114-1 is not prime. Res64: E09496C4BDFD50F3 Time : 0.0 sec. user=mdettweiler [2016-10-27 15:20:59] 663*2^1444114-1 is not prime. Res64: 034E4A80C1E67F18 Time : 0.0 sec. user=mdettweiler [2016-10-27 15:20:59] 675*2^1444114-1 is not prime. Res64: 6DA8624FA297CBB1 Time : 0.0 sec. user=mdettweiler [2016-10-27 15:20:59] 827*2^1444114-1 is not prime. Res64: 105C1C8CFEA2D2EA Time : 0.0 sec. user=mdettweiler [2016-10-27 15:21:00] 833*2^1444114-1 is not prime. Res64: DF3EDC806BC398EB Time : 0.0 sec. user=mdettweiler [2016-10-27 15:22:01] 857*2^1444114-1 is not prime. Res64: 8A57AE4BE9B891E6 Time : 0.0 sec. user=mdettweiler [2016-10-27 15:22:01] 609*2^1444115-1 is not prime. Res64: 9643BEE52B26E83D Time : 0.0 sec. user=mdettweiler [2016-10-27 15:22:02] 619*2^1444115-1 is not prime. Res64: 4C10330F045AABA0 Time : 0.0 sec. user=mdettweiler [2016-10-27 15:22:02] 645*2^1444115-1 is not prime. Res64: 19CA73F5BAD652A9 Time : 0.0 sec. user=mdettweiler [2016-10-27 15:22:02] 669*2^1444115-1 is not prime. Res64: 01BD88DC67E160F1 Time : 0.0 sec. user=mdettweiler [2016-10-27 15:38:09] 635*2^1444116-1 is not prime. Res64: A12DCC0CF80F3391 Time : 0.0 sec. user=mdettweiler [2016-10-27 15:38:09] 657*2^1444116-1 is not prime. Res64: 7BDFA7BEEA70458B Time : 0.0 sec. user=mdettweiler [2016-10-27 15:38:09] 683*2^1444116-1 is not prime. Res64: 500EC0C8C0D35A0F Time : 0.0 sec. user=mdettweiler [2016-10-27 15:38:10] 689*2^1444116-1 is not prime. Res64: FECE017D1E54B2B9 Time : 0.0 sec. user=mdettweiler [2016-10-27 15:38:10] 717*2^1444116-1 is not prime. Res64: A10679AFFF38A3D7 Time : 0.0 sec. user=mdettweiler [2016-10-27 16:00:04] 749*2^1444116-1 is not prime. Res64: 631BAA641A1DCF04 Time : 0.0 sec. user=mdettweiler [2016-10-27 16:00:06] 809*2^1444116-1 is not prime. Res64: D9D7D5D7154C2A00 Time : 0.0 sec. user=mdettweiler [2016-10-27 16:00:06] 893*2^1444116-1 is not prime. Res64: 3B27DA93B249400A Time : 0.0 sec. user=mdettweiler [2016-10-27 16:00:07] 639*2^1444117-1 is not prime. Res64: DB6E14216C0DDEE6 Time : 0.0 sec. user=mdettweiler [2016-10-27 16:00:07] 661*2^1444117-1 is not prime. Res64: A9B112152CFCBCF6 Time : 0.0 sec. user=mdettweiler [2016-10-27 16:08:52] 757*2^1444117-1 is not prime. Res64: 9055187541E71A03 Time : 0.0 sec. user=mdettweiler [2016-10-27 16:08:55] 769*2^1444117-1 is not prime. Res64: 42DB389683BF7BFA Time : 0.0 sec. user=mdettweiler [2016-10-27 16:08:55] 817*2^1444117-1 is not prime. Res64: 0B3B1A28314DE404 Time : 0.0 sec. user=mdettweiler [2016-10-27 16:08:56] 867*2^1444117-1 is not prime. Res64: 9848EE913B9E0431 Time : 0.0 sec. user=mdettweiler [2016-10-27 16:08:57] 895*2^1444117-1 is not prime. Res64: 633963F8EFCCB55E Time : 0.0 sec. user=mdettweiler [2016-10-27 16:10:52] 657*2^1444118-1 is not prime. Res64: DCCC4D3CAD5632BC Time : 0.0 sec. user=mdettweiler [2016-10-27 16:10:53] 753*2^1444118-1 is not prime. Res64: 469C56651DF0FD23 Time : 0.0 sec. user=mdettweiler [2016-10-27 16:10:54] 885*2^1444118-1 is not prime. Res64: F818204A8743EBA2 Time : 0.0 sec. user=mdettweiler [2016-10-27 16:10:54] 615*2^1444119-1 is not prime. Res64: 4476A8EBF7A8BD5D Time : 0.0 sec. user=mdettweiler [2016-10-27 16:10:55] 661*2^1444119-1 is not prime. Res64: 14E2D49903326B6E Time : 0.0 sec. user=mdettweiler [2016-10-27 16:25:47] 669*2^1444119-1 is not prime. Res64: 483139C20CF5BDB3 Time : 0.0 sec. user=mdettweiler [2016-10-27 16:25:48] 693*2^1444119-1 is not prime. Res64: 2097F37013ADBB12 Time : 0.0 sec. user=mdettweiler [2016-10-27 16:25:48] 721*2^1444119-1 is not prime. Res64: FAF5BBE9DBDDEAA9 Time : 0.0 sec. user=mdettweiler [2016-10-27 16:25:48] 823*2^1444119-1 is not prime. Res64: 656DD0DA9FBC7B4B Time : 0.0 sec. user=mdettweiler [2016-10-27 16:25:48] 829*2^1444119-1 is not prime. Res64: 8E774D72A7683597 Time : 0.0 sec. user=mdettweiler [2016-10-27 16:48:24] 853*2^1444119-1 is not prime. Res64: 46F5FD358AB72A9E Time : 0.0 sec. user=mdettweiler [2016-10-27 16:48:24] 859*2^1444119-1 is not prime. Res64: 94C71B4B3AE061B8 Time : 0.0 sec. user=mdettweiler [2016-10-27 16:48:24] 895*2^1444119-1 is not prime. Res64: 6C072684C5E6C2A5 Time : 0.0 sec. user=mdettweiler [2016-10-27 16:48:25] 921*2^1444119-1 is not prime. Res64: 0FC25777F42E8AC9 Time : 0.0 sec. user=mdettweiler [2016-10-27 16:48:25] 687*2^1444120-1 is not prime. Res64: 161C9893DCAC509B Time : 0.0 sec. user=mdettweiler [2016-10-27 16:56:55] 765*2^1444120-1 is not prime. Res64: 1E7BD0C359504475 Time : 0.0 sec. user=mdettweiler [2016-10-27 16:56:56] 803*2^1444120-1 is not prime. Res64: 6F375C74FF2DC7EC Time : 0.0 sec. user=mdettweiler [2016-10-27 16:56:56] 833*2^1444120-1 is not prime. Res64: BCB967A457087771 Time : 0.0 sec. user=mdettweiler [2016-10-27 16:56:56] 845*2^1444120-1 is not prime. Res64: C7A3A588F32B0B2A Time : 0.0 sec. user=mdettweiler [2016-10-27 16:56:56] 905*2^1444120-1 is not prime. Res64: 539CC2141083D790 Time : 0.0 sec. user=mdettweiler [2016-10-27 16:59:00] 637*2^1444121-1 is not prime. Res64: 181BAD76DEF0E00E Time : 0.0 sec. user=mdettweiler [2016-10-27 16:59:00] 837*2^1444121-1 is not prime. Res64: C8042F8E17717E59 Time : 0.0 sec. user=mdettweiler [2016-10-27 16:59:00] 741*2^1444122-1 is not prime. Res64: CCD504179875ED44 Time : 0.0 sec. user=mdettweiler [2016-10-27 16:59:00] 747*2^1444122-1 is not prime. Res64: AD51FFBDD6D56E54 Time : 0.0 sec. user=mdettweiler [2016-10-27 16:59:01] 791*2^1444122-1 is not prime. Res64: 97AD8ACB6A7ADD22 Time : 0.0 sec. user=mdettweiler [2016-10-27 17:12:33] 797*2^1444122-1 is not prime. Res64: 7FE2B3048F01C702 Time : 0.0 sec. user=mdettweiler [2016-10-27 17:12:34] 821*2^1444122-1 is not prime. Res64: 5CDBE94A072AE3FD Time : 0.0 sec. user=mdettweiler [2016-10-27 17:12:35] 843*2^1444122-1 is not prime. Res64: 8EB616F5A9B73FD3 Time : 0.0 sec. user=mdettweiler [2016-10-27 17:12:36] 923*2^1444122-1 is not prime. Res64: 8ACC0BF6E8B88EEA Time : 0.0 sec. user=mdettweiler [2016-10-27 17:12:36] 957*2^1444122-1 is not prime. Res64: 8FF5265BE759904C Time : 0.0 sec. user=mdettweiler [2016-10-27 17:33:18] 769*2^1444123-1 is not prime. Res64: D266623805C32CDE Time : 0.0 sec. user=mdettweiler [2016-10-27 17:33:18] 961*2^1444123-1 is not prime. Res64: 32B5392E3B13D8CF Time : 0.0 sec. user=mdettweiler [2016-10-27 17:33:18] 969*2^1444123-1 is not prime. Res64: 182885CCBDE88398 Time : 0.0 sec. user=mdettweiler [2016-10-27 17:33:18] 985*2^1444123-1 is not prime. Res64: 3F132A75FBC2BAF8 Time : 0.0 sec. user=mdettweiler [2016-10-27 17:33:19] 617*2^1444124-1 is not prime. Res64: A71E075AC99A77AA Time : 0.0 sec. user=mdettweiler [2016-10-27 17:41:49] 629*2^1444124-1 is not prime. Res64: 1530316C75DF1936 Time : 0.0 sec. user=mdettweiler [2016-10-27 17:41:50] 827*2^1444124-1 is not prime. Res64: 538906CA4F5A2CC9 Time : 0.0 sec. user=mdettweiler [2016-10-27 17:41:50] 903*2^1444124-1 is not prime. Res64: EA5252F85FC319EF Time : 0.0 sec. user=mdettweiler [2016-10-27 17:41:50] 609*2^1444125-1 is not prime. Res64: 4DC2901FFDAE02B2 Time : 0.0 sec. user=mdettweiler [2016-10-27 17:41:50] 649*2^1444125-1 is not prime. Res64: A3BA8FF046B1C9C0 Time : 0.0 sec. user=mdettweiler [2016-10-27 17:43:47] 657*2^1444125-1 is not prime. Res64: 73AAC216F56320D7 Time : 0.0 sec. user=mdettweiler [2016-10-27 17:43:47] 751*2^1444125-1 is not prime. Res64: 91C6D73404AF8A6B Time : 0.0 sec. user=mdettweiler [2016-10-27 17:43:47] 847*2^1444125-1 is not prime. Res64: 61EC2DDDC3E50715 Time : 0.0 sec. user=mdettweiler [2016-10-27 17:43:48] 885*2^1444125-1 is not prime. Res64: A0345ADF5DB3B4C4 Time : 0.0 sec. user=mdettweiler [2016-10-27 17:43:48] 927*2^1444125-1 is not prime. Res64: 225C4AD4F4DBAC0C Time : 0.0 sec. user=mdettweiler [2016-10-27 17:57:12] 969*2^1444125-1 is not prime. Res64: F2B13733E4DAEDDA Time : 0.0 sec. user=mdettweiler [2016-10-27 17:57:12] 611*2^1444126-1 is not prime. Res64: 8D55D58888FCA436 Time : 0.0 sec. user=mdettweiler [2016-10-27 17:57:12] 651*2^1444126-1 is not prime. Res64: 31767402FB502964 Time : 0.0 sec. user=mdettweiler [2016-10-27 17:57:12] 653*2^1444126-1 is not prime. Res64: 7410DAE40D1CDE58 Time : 0.0 sec. user=mdettweiler [2016-10-27 17:57:13] 741*2^1444126-1 is not prime. Res64: 5C50E96443E76AD9 Time : 0.0 sec. user=mdettweiler [2016-10-27 18:18:07] 873*2^1444126-1 is not prime. Res64: 94A353E5460FA4BC Time : 0.0 sec. user=mdettweiler [2016-10-27 18:18:07] 703*2^1444127-1 is not prime. Res64: 28A5C1F8AF32C228 Time : 0.0 sec. user=mdettweiler [2016-10-27 18:18:07] 963*2^1444127-1 is not prime. Res64: D1237EA34FC062A0 Time : 0.0 sec. user=mdettweiler [2016-10-27 18:18:07] 615*2^1444128-1 is not prime. Res64: FA66A6EAE5B73397 Time : 0.0 sec. user=mdettweiler [2016-10-27 18:18:08] 663*2^1444128-1 is not prime. Res64: E539C1B81CFFD038 Time : 0.0 sec. user=mdettweiler [2016-10-27 18:26:48] 669*2^1444128-1 is not prime. Res64: FBF6F5F4D003B155 Time : 0.0 sec. user=mdettweiler [2016-10-27 18:26:49] 737*2^1444128-1 is not prime. Res64: 889C7029CC991AB1 Time : 0.0 sec. user=mdettweiler [2016-10-27 18:26:49] 837*2^1444128-1 is not prime. Res64: AC6D354138F31AC3 Time : 0.0 sec. user=mdettweiler [2016-10-27 18:26:49] 893*2^1444128-1 is not prime. Res64: 04B98BAEF56AB4DB Time : 0.0 sec. user=mdettweiler [2016-10-27 18:26:49] 975*2^1444128-1 is not prime. Res64: E7EC733618403B57 Time : 0.0 sec. user=mdettweiler [2016-10-27 18:28:39] 601*2^1444129-1 is not prime. Res64: 4074722011B73954 Time : 0.0 sec. user=mdettweiler [2016-10-27 18:28:39] 681*2^1444129-1 is not prime. Res64: 86BF44BBC14211DA Time : 0.0 sec. user=mdettweiler [2016-10-27 18:28:39] 705*2^1444129-1 is not prime. Res64: 561174F5FB34A94B Time : 0.0 sec. user=mdettweiler [2016-10-27 18:28:39] 751*2^1444129-1 is not prime. Res64: 8051396C1A3E50B5 Time : 0.0 sec. user=mdettweiler [2016-10-27 18:28:39] 759*2^1444129-1 is not prime. Res64: 43398D30F473795E Time : 0.0 sec. user=mdettweiler [2016-10-27 18:41:54] 771*2^1444129-1 is not prime. Res64: F5AF862C5EE13C97 Time : 0.0 sec. user=mdettweiler [2016-10-27 18:41:54] 855*2^1444129-1 is not prime. Res64: 723E5216512D3C15 Time : 0.0 sec. user=mdettweiler [2016-10-27 18:41:55] 633*2^1444130-1 is not prime. Res64: F67B538DD3B500A4 Time : 0.0 sec. user=mdettweiler [2016-10-27 18:41:55] 645*2^1444130-1 is not prime. Res64: F7167689CE8670B6 Time : 0.0 sec. user=mdettweiler [2016-10-27 18:41:55] 665*2^1444130-1 is not prime. Res64: 672E12EABBCD388B Time : 0.0 sec. user=mdettweiler [2016-10-27 19:03:00] 767*2^1444130-1 is not prime. Res64: CBD95960E208DE56 Time : 0.0 sec. user=mdettweiler [2016-10-27 19:03:01] 923*2^1444130-1 is not prime. Res64: 1F2758C292F831C2 Time : 0.0 sec. user=mdettweiler [2016-10-27 19:03:02] 945*2^1444130-1 is not prime. Res64: 869E94EE97B6661B Time : 0.0 sec. user=mdettweiler [2016-10-27 19:03:02] 977*2^1444130-1 is not prime. Res64: 8D7416D9E44DD595 Time : 0.0 sec. user=mdettweiler [2016-10-27 19:03:03] 995*2^1444130-1 is not prime. Res64: 86DD810E6FB17C7B Time : 0.0 sec. user=mdettweiler [2016-10-27 19:11:54] 685*2^1444131-1 is not prime. Res64: 8D095C0B8FFB184B Time : 0.0 sec. user=mdettweiler [2016-10-27 19:11:55] 709*2^1444131-1 is not prime. Res64: CC3A99A358C10BD5 Time : 0.0 sec. user=mdettweiler [2016-10-27 19:11:55] 745*2^1444131-1 is not prime. Res64: 7C467B0682E1EBA5 Time : 0.0 sec. user=mdettweiler [2016-10-27 19:11:55] 789*2^1444131-1 is not prime. Res64: 7DDC565EC6B436C8 Time : 0.0 sec. user=mdettweiler [2016-10-27 19:11:55] 793*2^1444131-1 is not prime. Res64: 91ACA73CA9EF83CD Time : 0.0 sec. user=mdettweiler [2016-10-27 19:13:36] 903*2^1444131-1 is not prime. Res64: DD0E6D576E9A87D2 Time : 0.0 sec. user=mdettweiler [2016-10-27 19:13:36] 623*2^1444132-1 is not prime. Res64: E41051E6470C716F Time : 0.0 sec. user=mdettweiler [2016-10-27 19:13:36] 665*2^1444132-1 is not prime. Res64: 028A39A8BD30AC07 Time : 0.0 sec. user=mdettweiler [2016-10-27 19:13:36] 869*2^1444132-1 is not prime. Res64: 372534EB01019ABE Time : 0.0 sec. user=mdettweiler [2016-10-27 19:13:37] 899*2^1444132-1 is not prime. Res64: 74CD6AE5EC8E2A9D Time : 0.0 sec. user=mdettweiler [2016-10-27 19:26:42] 933*2^1444132-1 is not prime. Res64: DE1BAE71400B2A08 Time : 0.0 sec. user=mdettweiler [2016-10-27 19:26:42] 669*2^1444133-1 is not prime. Res64: 7CDD9D9FF57FE2A4 Time : 0.0 sec. user=mdettweiler [2016-10-27 19:26:43] 657*2^1444134-1 is not prime. Res64: 95348FAF4B8FADC8 Time : 0.0 sec. user=mdettweiler [2016-10-27 19:26:43] 671*2^1444134-1 is not prime. Res64: 1AB6CDD819D3B6A5 Time : 0.0 sec. user=mdettweiler [2016-10-27 19:26:43] 677*2^1444134-1 is not prime. Res64: EFE1364C810F63FB Time : 0.0 sec. user=mdettweiler [2016-10-27 19:48:02] 741*2^1444134-1 is not prime. Res64: C4FF7905771F1158 Time : 0.0 sec. user=mdettweiler [2016-10-27 19:48:02] 755*2^1444134-1 is not prime. Res64: 6181364CBE87FE0B Time : 0.0 sec. user=mdettweiler [2016-10-27 19:48:02] 861*2^1444134-1 is not prime. Res64: 915D7B33F9A95E82 Time : 0.0 sec. user=mdettweiler [2016-10-27 19:48:03] 765*2^1444135-1 is not prime. Res64: 4BC921E1010F341D Time : 0.0 sec. user=mdettweiler [2016-10-27 19:48:03] 819*2^1444135-1 is not prime. Res64: 5EE6727295FE17A3 Time : 0.0 sec. user=mdettweiler [2016-10-27 19:56:49] 843*2^1444135-1 is not prime. Res64: B80BBAA2F93707C8 Time : 0.0 sec. user=mdettweiler [2016-10-27 19:56:49] 961*2^1444135-1 is not prime. Res64: 3644FFB7F726F7B8 Time : 0.0 sec. user=mdettweiler [2016-10-27 19:56:50] 985*2^1444135-1 is not prime. Res64: 50472B8B9D1B4B99 Time : 0.0 sec. user=mdettweiler [2016-10-27 19:56:50] 657*2^1444136-1 is not prime. Res64: C6050135BFC3B42D Time : 0.0 sec. user=mdettweiler [2016-10-27 19:56:50] 663*2^1444136-1 is not prime. Res64: DD53318AA52E4046 Time : 0.0 sec. user=mdettweiler [2016-10-27 19:58:26] 747*2^1444136-1 is not prime. Res64: 224873A91DB99982 Time : 0.0 sec. user=mdettweiler [2016-10-27 19:58:26] 899*2^1444136-1 is not prime. Res64: 480162DBDFCF4227 Time : 0.0 sec. user=mdettweiler [2016-10-27 19:58:26] 903*2^1444136-1 is not prime. Res64: BDEEC11782CBF332 Time : 0.0 sec. user=mdettweiler [2016-10-27 19:58:26] 805*2^1444137-1 is not prime. Res64: 8507D0B7842E902D Time : 0.0 sec. user=mdettweiler [2016-10-27 19:58:27] 837*2^1444137-1 is not prime. Res64: 2D932DF8A7353953 Time : 0.0 sec. user=mdettweiler [2016-10-27 20:11:31] 871*2^1444137-1 is not prime. Res64: A04C83DE124669B6 Time : 0.0 sec. user=mdettweiler [2016-10-27 20:11:36] 885*2^1444137-1 is not prime. Res64: 39F4022178C74349 Time : 0.0 sec. user=mdettweiler [2016-10-27 20:11:37] 919*2^1444137-1 is not prime. Res64: CCFECA9AEFCE19B7 Time : 0.0 sec. user=mdettweiler [2016-10-27 20:11:40] 945*2^1444137-1 is not prime. Res64: 4023FBAE0E66AFD9 Time : 0.0 sec. user=mdettweiler [2016-10-27 20:11:42] 705*2^1444138-1 is not prime. Res64: C8A90F32A433070F Time : 0.0 sec. user=mdettweiler [2016-10-27 20:32:51] 773*2^1444138-1 is not prime. Res64: 96923D02708F23C0 Time : 0.0 sec. user=mdettweiler [2016-10-27 20:32:51] 801*2^1444138-1 is not prime. Res64: ECB806FF9306B3D6 Time : 0.0 sec. user=mdettweiler [2016-10-27 20:32:51] 891*2^1444138-1 is not prime. Res64: 2A5359A0FB9B76E6 Time : 0.0 sec. user=mdettweiler [2016-10-27 20:32:52] 987*2^1444138-1 is not prime. Res64: F78175731B6F2C13 Time : 0.0 sec. user=mdettweiler [2016-10-27 20:32:52] 609*2^1444139-1 is not prime. Res64: 193CA255060B35E0 Time : 0.0 sec. user=mdettweiler [2016-10-27 20:41:42] 711*2^1444139-1 is not prime. Res64: 015BDC5D18388A79 Time : 0.0 sec. user=mdettweiler [2016-10-27 20:41:42] 799*2^1444139-1 is not prime. Res64: E33DEF1A2817C64A Time : 0.0 sec. user=mdettweiler [2016-10-27 20:41:42] 879*2^1444139-1 is not prime. Res64: A032D661216F61B4 Time : 0.0 sec. user=mdettweiler [2016-10-27 20:41:43] 889*2^1444139-1 is not prime. Res64: AF760D305D063867 Time : 0.0 sec. user=mdettweiler [2016-10-27 20:41:43] 913*2^1444139-1 is not prime. Res64: F8A5B6AD494FC5C5 Time : 0.0 sec. user=mdettweiler [2016-10-27 20:43:11] 921*2^1444139-1 is not prime. Res64: ED76034FF83816A5 Time : 0.0 sec. user=mdettweiler [2016-10-27 20:43:12] 931*2^1444139-1 is not prime. Res64: 376036191D85BB2A Time : 0.0 sec. user=mdettweiler [2016-10-27 20:43:12] 939*2^1444139-1 is not prime. Res64: 65881CDC10ADA444 Time : 0.0 sec. user=mdettweiler [2016-10-27 20:43:12] 993*2^1444139-1 is not prime. Res64: 832397D3432BF348 Time : 0.0 sec. user=mdettweiler [2016-10-27 20:43:12] 665*2^1444140-1 is not prime. Res64: 61EF9631D13FF9F7 Time : 0.0 sec. user=mdettweiler [2016-10-27 20:56:33] 669*2^1444140-1 is not prime. Res64: D7BE4273C575C534 Time : 0.0 sec. user=mdettweiler [2016-10-27 20:56:33] 795*2^1444140-1 is not prime. Res64: 94F35BC163B1C180 Time : 0.0 sec. user=mdettweiler [2016-10-27 20:56:33] 819*2^1444140-1 is not prime. Res64: FE1C77F482A13CCB Time : 0.0 sec. user=mdettweiler [2016-10-27 20:56:34] 945*2^1444140-1 is not prime. Res64: 93DEAF2C787C276A Time : 0.0 sec. user=mdettweiler [2016-10-27 20:56:34] 717*2^1444141-1 is not prime. Res64: 89B15A60CDE93671 Time : 0.0 sec. user=mdettweiler [2016-10-27 21:17:32] 877*2^1444141-1 is not prime. Res64: E589A37148C9ACA0 Time : 0.0 sec. user=mdettweiler [2016-10-27 21:17:32] 945*2^1444141-1 is not prime. Res64: 70CF46719626CD4B Time : 0.0 sec. user=mdettweiler [2016-10-27 21:17:32] 825*2^1444142-1 is not prime. Res64: 473B6B466844A6BE Time : 0.0 sec. user=mdettweiler [2016-10-27 21:17:33] 951*2^1444142-1 is not prime. Res64: 6795A84134BC85D3 Time : 0.0 sec. user=mdettweiler [2016-10-27 21:17:33] 963*2^1444142-1 is not prime. Res64: CF4CA3177606024E Time : 0.0 sec. user=mdettweiler [2016-10-27 21:26:32] 983*2^1444142-1 is not prime. Res64: 1C808A725E61FDF6 Time : 0.0 sec. user=mdettweiler [2016-10-27 21:26:32] 763*2^1444143-1 is not prime. Res64: FA452C8825916D57 Time : 0.0 sec. user=mdettweiler [2016-10-27 21:26:32] 789*2^1444143-1 is not prime. Res64: 996AD7E7230D5F90 Time : 0.0 sec. user=mdettweiler [2016-10-27 21:26:32] 901*2^1444143-1 is not prime. Res64: 713F55299B5D4776 Time : 0.0 sec. user=mdettweiler [2016-10-27 21:26:33] 615*2^1444144-1 is not prime. Res64: 3E5C70909E898E52 Time : 0.0 sec. user=mdettweiler [2016-10-27 21:28:10] 833*2^1444144-1 is not prime. Res64: BF4261DF6AE844FD Time : 0.0 sec. user=mdettweiler [2016-10-27 21:28:10] 905*2^1444144-1 is not prime. Res64: CE5FD0ECDB554B2A Time : 0.0 sec. user=mdettweiler [2016-10-27 21:28:11] 965*2^1444144-1 is not prime. Res64: 7AB95FD05C00B3AA Time : 0.0 sec. user=mdettweiler [2016-10-27 21:28:11] 607*2^1444145-1 is not prime. Res64: BE96EEBEA0A375D4 Time : 0.0 sec. user=mdettweiler [2016-10-27 21:28:12] 657*2^1444145-1 is not prime. Res64: 26CF5E988C94A6AE Time : 0.0 sec. user=mdettweiler [2016-10-27 21:43:08] 729*2^1444145-1 is not prime. Res64: B9FA0D57A6390BC9 Time : 0.0 sec. user=mdettweiler [2016-10-27 21:43:08] 831*2^1444145-1 is not prime. Res64: 055859DFB42E0371 Time : 0.0 sec. user=mdettweiler [2016-10-27 21:43:08] 871*2^1444145-1 is not prime. Res64: 94F6D05FFCD1D284 Time : 0.0 sec. user=mdettweiler [2016-10-27 21:43:09] 957*2^1444145-1 is not prime. Res64: E40F0BBD6999D17D Time : 0.0 sec. user=mdettweiler [2016-10-27 21:43:09] 641*2^1444146-1 is not prime. Res64: 598F9B44310EDC01 Time : 0.0 sec. user=mdettweiler [2016-10-27 22:06:01] 755*2^1444146-1 is not prime. Res64: 36F671ADB285B703 Time : 0.0 sec. user=mdettweiler [2016-10-27 22:06:03] 887*2^1444146-1 is not prime. Res64: 6B709BC8A82B7F92 Time : 0.0 sec. user=mdettweiler [2016-10-27 22:06:04] 631*2^1444147-1 is not prime. Res64: 2F7EA6296F20A144 Time : 0.0 sec. user=mdettweiler [2016-10-27 22:06:05] 645*2^1444147-1 is not prime. Res64: A7EB78BABAEE4C3B Time : 0.0 sec. user=mdettweiler [2016-10-27 22:06:06] 751*2^1444147-1 is not prime. Res64: AD9C105529857ABB Time : 0.0 sec. user=mdettweiler [2016-10-27 22:17:51] 805*2^1444147-1 is not prime. Res64: B2FC310E2C005952 Time : 0.0 sec. user=mdettweiler [2016-10-27 22:17:51] 861*2^1444147-1 is not prime. Res64: 164F6D76EAB666DE Time : 0.0 sec. user=mdettweiler [2016-10-27 22:17:51] 871*2^1444147-1 is not prime. Res64: DD9852159C76285D Time : 0.0 sec. user=mdettweiler [2016-10-27 22:17:52] 629*2^1444148-1 is not prime. Res64: 8332005B3D258B6C Time : 0.0 sec. user=mdettweiler [2016-10-27 22:17:52] 773*2^1444148-1 is not prime. Res64: 904B2BE45062A7B0 Time : 0.0 sec. user=mdettweiler [2016-10-27 22:20:01] 819*2^1444148-1 is not prime. Res64: 3556E7D07636A366 Time : 0.0 sec. user=mdettweiler [2016-10-27 22:20:02] 843*2^1444148-1 is not prime. Res64: E6A1191159C86FD5 Time : 0.0 sec. user=mdettweiler [2016-10-27 22:20:02] 867*2^1444148-1 is not prime. Res64: B2705382D99AB5B7 Time : 0.0 sec. user=mdettweiler [2016-10-27 22:20:02] 869*2^1444148-1 is not prime. Res64: C625DB0670AE8CB7 Time : 0.0 sec. user=mdettweiler [2016-10-27 22:20:02] 899*2^1444148-1 is not prime. Res64: BEEB1B5D3E6B4567 Time : 0.0 sec. user=mdettweiler [2016-10-27 22:33:38] 915*2^1444148-1 is not prime. Res64: 66B5EE3755B0CC82 Time : 0.0 sec. user=mdettweiler [2016-10-27 22:33:39] 667*2^1444149-1 is not prime. Res64: 89FBC9E30DFB20B1 Time : 0.0 sec. user=mdettweiler [2016-10-27 22:33:39] 769*2^1444149-1 is not prime. Res64: 6533F188A8577BC7 Time : 0.0 sec. user=mdettweiler [2016-10-27 22:33:39] 895*2^1444149-1 is not prime. Res64: 8820D869AA2B3E4E Time : 0.0 sec. user=mdettweiler [2016-10-27 22:33:39] 921*2^1444149-1 is not prime. Res64: F228E56D7BA0DC0B Time : 0.0 sec. user=mdettweiler [2016-10-27 22:57:07] 927*2^1444149-1 is not prime. Res64: 1725542BEFD91B71 Time : 0.0 sec. user=mdettweiler [2016-10-27 22:57:07] 979*2^1444149-1 is not prime. Res64: 01B5CC6C4046CA9F Time : 0.0 sec. user=mdettweiler [2016-10-27 22:57:07] 663*2^1444150-1 is not prime. Res64: B9BD4136D9F8D751 Time : 0.0 sec. user=mdettweiler [2016-10-27 22:57:08] 713*2^1444150-1 is not prime. Res64: 90078C3F045F27D7 Time : 0.0 sec. user=mdettweiler [2016-10-27 22:57:08] 755*2^1444150-1 is not prime. Res64: 733CCDDBDD93D700 Time : 0.0 sec. user=mdettweiler [2016-10-27 23:08:31] 923*2^1444150-1 is not prime. Res64: CDF3DF3474E819B0 Time : 0.0 sec. user=mdettweiler [2016-10-27 23:08:34] 669*2^1444151-1 is not prime. Res64: 83FEC1047AA37337 Time : 0.0 sec. user=mdettweiler [2016-10-27 23:08:35] 811*2^1444151-1 is not prime. Res64: A492D2B8CE684400 Time : 0.0 sec. user=mdettweiler [2016-10-27 23:08:37] 819*2^1444151-1 is not prime. Res64: 07FE31C3A79BC646 Time : 0.0 sec. user=mdettweiler [2016-10-27 23:08:38] 825*2^1444151-1 is not prime. Res64: 7EE628E2DB0E38B6 Time : 0.0 sec. user=mdettweiler [2016-10-27 23:11:56] 843*2^1444151-1 is not prime. Res64: 5E588DACDED7C02C Time : 0.0 sec. user=mdettweiler [2016-10-27 23:11:57] 859*2^1444151-1 is not prime. Res64: D37047E49264BA15 Time : 0.0 sec. user=mdettweiler [2016-10-27 23:11:57] 909*2^1444151-1 is not prime. Res64: F2849B61B76B4881 Time : 0.0 sec. user=mdettweiler [2016-10-27 23:11:58] 627*2^1444152-1 is not prime. Res64: 3D9640CE8BFEBC22 Time : 0.0 sec. user=mdettweiler [2016-10-27 23:11:58] 629*2^1444152-1 is not prime. Res64: D10B158C14D416F6 Time : 0.0 sec. user=mdettweiler [2016-10-27 23:25:12] 809*2^1444152-1 is not prime. Res64: E1734D6F33598953 Time : 0.0 sec. user=mdettweiler [2016-10-27 23:25:13] 875*2^1444152-1 is not prime. Res64: 783B2B66C49CBBA4 Time : 0.0 sec. user=mdettweiler [2016-10-27 23:25:13] 879*2^1444152-1 is not prime. Res64: 080D9B373B0B19D9 Time : 0.0 sec. user=mdettweiler [2016-10-27 23:25:13] 947*2^1444152-1 is not prime. Res64: 2DA88C57961D29D4 Time : 0.0 sec. user=mdettweiler [2016-10-27 23:25:13] 983*2^1444152-1 is not prime. Res64: 76286FC412DF400F Time : 0.0 sec. user=mdettweiler [2016-10-27 23:46:37] 721*2^1444153-1 is not prime. Res64: 474D13CD2B71E253 Time : 0.0 sec. user=mdettweiler [2016-10-27 23:46:37] 747*2^1444153-1 is not prime. Res64: 93340CB7505DBAFD Time : 0.0 sec. user=mdettweiler [2016-10-27 23:46:37] 855*2^1444153-1 is not prime. Res64: 207D1D217D94FC97 Time : 0.0 sec. user=mdettweiler [2016-10-27 23:46:37] 877*2^1444153-1 is not prime. Res64: 1C6E9BC507801976 Time : 0.0 sec. user=mdettweiler [2016-10-27 23:46:38] 985*2^1444153-1 is not prime. Res64: F83E8C729B1DD3C2 Time : 0.0 sec. user=mdettweiler [2016-10-27 23:56:20] 617*2^1444154-1 is not prime. Res64: 15CD2DD40EBA7263 Time : 0.0 sec. user=mdettweiler [2016-10-27 23:56:21] 651*2^1444154-1 is not prime. Res64: CB7381C6872DA59F Time : 0.0 sec. user=mdettweiler [2016-10-27 23:56:21] 743*2^1444154-1 is not prime. Res64: 7B7E36A24E79FBC4 Time : 0.0 sec. user=mdettweiler [2016-10-27 23:56:21] 753*2^1444154-1 is not prime. Res64: A9944D72DCB61461 Time : 0.0 sec. user=mdettweiler [2016-10-27 23:56:21] 857*2^1444154-1 is not prime. Res64: DE09AB5031D436A6 Time : 0.0 sec. user=mdettweiler [2016-10-27 23:59:14] 885*2^1444154-1 is not prime. Res64: 9F2D82C232C90C2D Time : 0.0 sec. user=mdettweiler [2016-10-27 23:59:14] 887*2^1444154-1 is not prime. Res64: 4810B70F2F25F2FE Time : 0.0 sec. user=mdettweiler [2016-10-27 23:59:14] 981*2^1444154-1 is not prime. Res64: 149CE0F7976FD515 Time : 0.0 sec. user=mdettweiler [2016-10-27 23:59:14] 995*2^1444154-1 is not prime. Res64: 1F13263AD852F7E9 Time : 0.0 sec. user=mdettweiler [2016-10-27 23:59:15] 609*2^1444155-1 is not prime. Res64: 549B04299694F847 Time : 0.0 sec.