user=mdettweiler [2015-10-02 00:03:11] 629*2^1410748-1 is not prime. Res64: 0A051AA6CF49712A Time : 0.0 sec. user=mdettweiler [2015-10-02 00:03:12] 639*2^1410748-1 is not prime. Res64: 73184BD0DAA9E688 Time : 0.0 sec. user=mdettweiler [2015-10-02 00:03:46] 735*2^1410748-1 is not prime. Res64: 6E3B65FD5647B31B Time : 0.0 sec. user=mdettweiler [2015-10-02 00:03:47] 677*2^1410748-1 is not prime. Res64: A02ABB936AA055A1 Time : 0.0 sec. user=mdettweiler [2015-10-02 00:03:47] 819*2^1410748-1 is not prime. Res64: 709C2409D8A9C34B Time : 0.0 sec. user=mdettweiler [2015-10-02 00:03:48] 723*2^1410748-1 is not prime. Res64: 864EC167A8119E50 Time : 0.0 sec. user=mdettweiler [2015-10-02 00:09:14] 825*2^1410748-1 is not prime. Res64: A886A30EF27736D0 Time : 0.0 sec. user=mdettweiler [2015-10-02 00:09:15] 869*2^1410748-1 is not prime. Res64: 9713CC188316BF20 Time : 0.0 sec. user=mdettweiler [2015-10-02 00:21:09] 957*2^1410748-1 is not prime. Res64: F846561C90812F80 Time : 0.0 sec. user=mdettweiler [2015-10-02 00:21:09] 655*2^1410749-1 is not prime. Res64: 734AAD750050D6E4 Time : 0.0 sec. user=mdettweiler [2015-10-02 00:21:32] 771*2^1410749-1 is not prime. Res64: AC0D41D2CD304858 Time : 0.0 sec. user=mdettweiler [2015-10-02 00:21:32] 801*2^1410749-1 is not prime. Res64: 689D3E28078E9B60 Time : 0.0 sec. user=mdettweiler [2015-10-02 00:21:44] 657*2^1410749-1 is not prime. Res64: EE7827E94B92443E Time : 0.0 sec. user=mdettweiler [2015-10-02 00:21:44] 699*2^1410749-1 is not prime. Res64: 11B571FD3A3AC8C7 Time : 0.0 sec. user=mdettweiler [2015-10-02 00:27:12] 651*2^1410750-1 is not prime. Res64: 65591DEA9EC63300 Time : 0.0 sec. user=mdettweiler [2015-10-02 00:27:12] 677*2^1410750-1 is not prime. Res64: 79C8B81425D3C9F6 Time : 0.0 sec. user=mdettweiler [2015-10-02 00:38:56] 777*2^1410750-1 is not prime. Res64: A1CA8476CCF6C892 Time : 0.0 sec. user=mdettweiler [2015-10-02 00:38:57] 833*2^1410750-1 is not prime. Res64: 84EF545890E07AC4 Time : 0.0 sec. user=mdettweiler [2015-10-02 00:39:24] 843*2^1410750-1 is not prime. Res64: B2916624E87742E1 Time : 0.0 sec. user=mdettweiler [2015-10-02 00:39:25] 863*2^1410750-1 is not prime. Res64: D2A65B6B0640ED1A Time : 0.0 sec. user=mdettweiler [2015-10-02 00:39:32] 885*2^1410750-1 is not prime. Res64: 496A9C337874E1AB Time : 0.0 sec. user=mdettweiler [2015-10-02 00:39:32] 941*2^1410750-1 is not prime. Res64: E4B0DDEFA3583B1A Time : 0.0 sec. user=mdettweiler [2015-10-02 00:45:08] 957*2^1410750-1 is not prime. Res64: B3E1A6289FEF46E9 Time : 0.0 sec. user=mdettweiler [2015-10-02 00:45:09] 965*2^1410750-1 is not prime. Res64: 19D7228F7433518B Time : 0.0 sec. user=mdettweiler [2015-10-02 00:56:41] 651*2^1410751-1 is not prime. Res64: 5F9B9FAE8E8E0223 Time : 0.0 sec. user=mdettweiler [2015-10-02 00:56:41] 693*2^1410751-1 is not prime. Res64: 69D2B4FF18ED430B Time : 0.0 sec. user=mdettweiler [2015-10-02 00:57:12] 715*2^1410751-1 is not prime. Res64: F5A1E38F8EA0F649 Time : 0.0 sec. user=mdettweiler [2015-10-02 00:57:12] 745*2^1410751-1 is not prime. Res64: 49FDD507C45766DA Time : 0.0 sec. user=mdettweiler [2015-10-02 00:57:17] 871*2^1410751-1 is not prime. Res64: C4FDFDAD9BC23FFC Time : 0.0 sec. user=mdettweiler [2015-10-02 00:57:17] 873*2^1410751-1 is not prime. Res64: C95EBA1F60E223A3 Time : 0.0 sec. user=mdettweiler [2015-10-02 01:02:58] 993*2^1410751-1 is not prime. Res64: 2D8E19B0A22A1D59 Time : 0.0 sec. user=mdettweiler [2015-10-02 01:02:58] 669*2^1410752-1 is not prime. Res64: 05E7D195A923C51F Time : 0.0 sec. user=mdettweiler [2015-10-02 01:14:25] 683*2^1410752-1 is not prime. Res64: ECBE3C1C7EE9AFF9 Time : 0.0 sec. user=mdettweiler [2015-10-02 01:14:25] 693*2^1410752-1 is not prime. Res64: 3C59FD2E49BC98E4 Time : 0.0 sec. user=mdettweiler [2015-10-02 01:14:58] 767*2^1410752-1 is not prime. Res64: 9EBDF5E61BC3591C Time : 0.0 sec. user=mdettweiler [2015-10-02 01:14:58] 855*2^1410752-1 is not prime. Res64: D4304965EB7A4985 Time : 0.0 sec. user=mdettweiler [2015-10-02 01:15:05] 657*2^1410753-1 is not prime. Res64: AF41539D5B5E1AF9 Time : 0.0 sec. user=mdettweiler [2015-10-02 01:15:05] 741*2^1410753-1 is not prime. Res64: 7F116F37E7A0D729 Time : 0.0 sec. user=mdettweiler [2015-10-02 01:21:01] 621*2^1410754-1 is not prime. Res64: 51E3B5447ADE5D02 Time : 0.0 sec. user=mdettweiler [2015-10-02 01:21:02] 701*2^1410754-1 is not prime. Res64: 15E37F092FD8776F Time : 0.0 sec. user=mdettweiler [2015-10-02 01:32:23] 717*2^1410754-1 is not prime. Res64: 236970582A0CB8F8 Time : 0.0 sec. user=mdettweiler [2015-10-02 01:32:25] 723*2^1410754-1 is not prime. Res64: AF53B23D32F9CCAA Time : 0.0 sec. user=mdettweiler [2015-10-02 01:32:43] 885*2^1410754-1 is not prime. Res64: 5B1DB2E1030E16DC Time : 0.0 sec. user=mdettweiler [2015-10-02 01:32:45] 951*2^1410754-1 is not prime. Res64: B739A16DCB991C37 Time : 0.0 sec. user=mdettweiler [2015-10-02 01:32:52] 753*2^1410755-1 is not prime. Res64: 9E3A70392BFF10BB Time : 0.0 sec. user=mdettweiler [2015-10-02 01:32:52] 843*2^1410755-1 is not prime. Res64: 1734E3CA12999A79 Time : 0.0 sec. user=mdettweiler [2015-10-02 01:38:44] 859*2^1410755-1 is not prime. Res64: 37FB55743F85352E Time : 0.0 sec. user=mdettweiler [2015-10-02 01:38:44] 885*2^1410755-1 is not prime. Res64: D47D1E0E86A3DFF6 Time : 0.0 sec. user=mdettweiler [2015-10-02 01:50:32] 979*2^1410755-1 is not prime. Res64: 551DD7BE2AEFC22A Time : 0.0 sec. user=mdettweiler [2015-10-02 01:50:32] 675*2^1410756-1 is not prime. Res64: 3E7D38EF1256555D Time : 0.0 sec. user=mdettweiler [2015-10-02 01:50:39] 843*2^1410756-1 is not prime. Res64: 5492C874BE17E6F8 Time : 0.0 sec. user=mdettweiler [2015-10-02 01:50:40] 867*2^1410756-1 is not prime. Res64: 1A133F67D7181620 Time : 0.0 sec. user=mdettweiler [2015-10-02 01:50:45] 903*2^1410756-1 is not prime. Res64: 3A600F3A113766B5 Time : 0.0 sec. user=mdettweiler [2015-10-02 01:50:45] 905*2^1410756-1 is not prime. Res64: DFEBF15D49BCFA06 Time : 0.0 sec. user=mdettweiler [2015-10-02 01:56:39] 607*2^1410757-1 is not prime. Res64: 5ACC39787FEEF2A8 Time : 0.0 sec. user=mdettweiler [2015-10-02 01:56:39] 645*2^1410757-1 is not prime. Res64: 9D41153131F8D9E5 Time : 0.0 sec. user=mdettweiler [2015-10-02 02:08:26] 717*2^1410757-1 is not prime. Res64: 259963713F660626 Time : 0.0 sec. user=mdettweiler [2015-10-02 02:08:27] 805*2^1410757-1 is not prime. Res64: C7F3665E1E921C8C Time : 0.0 sec. user=mdettweiler [2015-10-02 02:08:40] 931*2^1410757-1 is not prime. Res64: 98EF706B59D13A01 Time : 0.0 sec. user=mdettweiler [2015-10-02 02:08:41] 797*2^1410758-1 is not prime. Res64: 705EB9074F22C86F Time : 0.0 sec. user=mdettweiler [2015-10-02 02:08:41] 825*2^1410758-1 is not prime. Res64: BB5CE957209D799E Time : 0.0 sec. user=mdettweiler [2015-10-02 02:08:42] 845*2^1410758-1 is not prime. Res64: 1AB8FBA3021461D3 Time : 0.0 sec. user=mdettweiler [2015-10-02 02:15:53] 935*2^1410758-1 is not prime. Res64: 05736A344E51028F Time : 0.0 sec. user=mdettweiler [2015-10-02 02:15:54] 963*2^1410758-1 is not prime. Res64: 9E5B315141ADEA19 Time : 0.0 sec. user=mdettweiler [2015-10-02 02:27:04] 795*2^1410759-1 is not prime. Res64: F77FF98BB97E2E1F Time : 0.0 sec. user=mdettweiler [2015-10-02 02:27:05] 825*2^1410759-1 is not prime. Res64: 3E214E57DAB12F70 Time : 0.0 sec. user=mdettweiler [2015-10-02 02:27:10] 1001*2^1410758-1 is not prime. Res64: DCA129B8CCD902F1 Time : 0.0 sec. user=mdettweiler [2015-10-02 02:27:11] 613*2^1410759-1 is not prime. Res64: 8594114B52B597E6 Time : 0.0 sec. user=mdettweiler [2015-10-02 02:27:40] 745*2^1410759-1 is not prime. Res64: E6BB29918ED14F9B Time : 0.0 sec. user=mdettweiler [2015-10-02 02:27:41] 789*2^1410759-1 is not prime. Res64: A42D1324900D0C6E Time : 0.0 sec. user=mdettweiler [2015-10-02 02:33:51] 933*2^1410759-1 is not prime. Res64: A6AE3E3E78971E4A Time : 0.0 sec. user=mdettweiler [2015-10-02 02:33:52] 975*2^1410759-1 is not prime. Res64: 05855E5AAE85DEA7 Time : 0.0 sec. user=mdettweiler [2015-10-02 02:45:10] 773*2^1410760-1 is not prime. Res64: BB57CBD00482DD2F Time : 0.0 sec. user=mdettweiler [2015-10-02 02:45:10] 839*2^1410760-1 is not prime. Res64: 13BDFEA72C9E60BD Time : 0.0 sec. user=mdettweiler [2015-10-02 02:45:12] 605*2^1410760-1 is not prime. Res64: 77D29A10A05A3D9C Time : 0.0 sec. user=mdettweiler [2015-10-02 02:45:12] 723*2^1410760-1 is not prime. Res64: 5642E14E989DD77B Time : 0.0 sec. user=mdettweiler [2015-10-02 02:45:49] 875*2^1410760-1 is not prime. Res64: DEDE853B986ADD5C Time : 0.0 sec. user=mdettweiler [2015-10-02 02:45:50] 933*2^1410760-1 is not prime. Res64: F20FB0F9985B9B58 Time : 0.0 sec. user=mdettweiler [2015-10-02 02:51:51] 939*2^1410760-1 is not prime. Res64: 1B41F8B6FA976355 Time : 0.0 sec. user=mdettweiler [2015-10-02 02:51:51] 965*2^1410760-1 is not prime. Res64: DEF8BD29566050D6 Time : 0.0 sec. user=mdettweiler [2015-10-02 03:03:07] 975*2^1410760-1 is not prime. Res64: 888B088AB7755BA0 Time : 0.0 sec. user=mdettweiler [2015-10-02 03:03:08] 983*2^1410760-1 is not prime. Res64: 65EBB4760D46FA24 Time : 0.0 sec. user=mdettweiler [2015-10-02 03:03:27] 989*2^1410760-1 is not prime. Res64: 4A16F191F33C7348 Time : 0.0 sec. user=mdettweiler [2015-10-02 03:03:28] 601*2^1410761-1 is not prime. Res64: 0A1A6D316C08255D Time : 0.0 sec. user=mdettweiler [2015-10-02 03:03:47] 631*2^1410761-1 is not prime. Res64: 31AF25F2CB51E109 Time : 0.0 sec. user=mdettweiler [2015-10-02 03:03:48] 649*2^1410761-1 is not prime. Res64: AB27C9A89E82E6B6 Time : 0.0 sec. user=mdettweiler [2015-10-02 03:09:51] 669*2^1410761-1 is not prime. Res64: EA6F0A6332523DCC Time : 0.0 sec. user=mdettweiler [2015-10-02 03:09:52] 685*2^1410761-1 is not prime. Res64: 30D53699721C8A84 Time : 0.0 sec. user=mdettweiler [2015-10-02 03:21:02] 715*2^1410761-1 is not prime. Res64: 86081E40D8006302 Time : 0.0 sec. user=mdettweiler [2015-10-02 03:21:02] 781*2^1410761-1 is not prime. Res64: FA623FD86E9299A4 Time : 0.0 sec. user=mdettweiler [2015-10-02 03:21:14] 861*2^1410761-1 is not prime. Res64: 29532C2F09BF7DE8 Time : 0.0 sec. user=mdettweiler [2015-10-02 03:21:15] 879*2^1410761-1 is not prime. Res64: D04FD34255B76B83 Time : 0.0 sec. user=mdettweiler [2015-10-02 03:21:35] 717*2^1410762-1 is not prime. Res64: A77468754B346984 Time : 0.0 sec. user=mdettweiler [2015-10-02 03:21:36] 791*2^1410762-1 is not prime. Res64: EDFC50A2CD0FF178 Time : 0.0 sec. user=mdettweiler [2015-10-02 03:27:45] 837*2^1410762-1 is not prime. Res64: FCD803E0F2ED70FD Time : 0.0 sec. user=mdettweiler [2015-10-02 03:27:47] 923*2^1410762-1 is not prime. Res64: 79134401485A3ACB Time : 0.0 sec. user=mdettweiler [2015-10-02 03:38:51] 977*2^1410762-1 is not prime. Res64: 8D79873BEB50A056 Time : 0.0 sec. user=mdettweiler [2015-10-02 03:38:52] 663*2^1410763-1 is not prime. Res64: C27F9676D0B673A3 Time : 0.0 sec. user=mdettweiler [2015-10-02 03:38:58] 679*2^1410763-1 is not prime. Res64: 28EFF4ECBCD321A7 Time : 0.0 sec. user=mdettweiler [2015-10-02 03:38:59] 723*2^1410763-1 is not prime. Res64: 0F3FD15839188678 Time : 0.0 sec. user=mdettweiler [2015-10-02 03:39:25] 855*2^1410763-1 is not prime. Res64: 53219350812A069E Time : 0.0 sec. user=mdettweiler [2015-10-02 03:39:26] 859*2^1410763-1 is not prime. Res64: E04F6942B0391D38 Time : 0.0 sec. user=mdettweiler [2015-10-02 03:46:05] 889*2^1410763-1 is not prime. Res64: 158D83CEE754149E Time : 0.0 sec. user=mdettweiler [2015-10-02 03:46:07] 901*2^1410763-1 is not prime. Res64: 9609228A18487E84 Time : 0.0 sec. user=mdettweiler [2015-10-02 03:57:28] 939*2^1410763-1 is not prime. Res64: 9BBD0104A9054F59 Time : 0.0 sec. user=mdettweiler [2015-10-02 03:57:29] 985*2^1410763-1 is not prime. Res64: CEE7E1D310BB745A Time : 0.0 sec. user=mdettweiler [2015-10-02 03:57:50] 687*2^1410764-1 is not prime. Res64: 4E500BDF4A31D173 Time : 0.0 sec. user=mdettweiler [2015-10-02 03:57:51] 869*2^1410764-1 is not prime. Res64: E6185503D918C5F8 Time : 0.0 sec. user=mdettweiler [2015-10-02 03:58:23] 913*2^1410763-1 is not prime. Res64: 669D7A7C1557493E Time : 0.0 sec. user=mdettweiler [2015-10-02 03:58:24] 915*2^1410763-1 is not prime. Res64: 261979E5762B6A0D Time : 0.0 sec. user=mdettweiler [2015-10-02 04:04:08] 861*2^1410765-1 is not prime. Res64: 07141A5A1AED3733 Time : 0.0 sec. user=mdettweiler [2015-10-02 04:04:08] 871*2^1410765-1 is not prime. Res64: 655CA610AB158F2E Time : 0.0 sec. user=mdettweiler [2015-10-02 04:15:15] 927*2^1410765-1 is not prime. Res64: B5B2B2A2E2CA317B Time : 0.0 sec. user=mdettweiler [2015-10-02 04:15:15] 985*2^1410765-1 is not prime. Res64: A648D84E51B3AB87 Time : 0.0 sec. user=mdettweiler [2015-10-02 04:15:39] 765*2^1410766-1 is not prime. Res64: 988458114A730E74 Time : 0.0 sec. user=mdettweiler [2015-10-02 04:15:39] 785*2^1410766-1 is not prime. Res64: A15779B8969071AB Time : 0.0 sec. user=mdettweiler [2015-10-02 04:16:12] 945*2^1410766-1 is not prime. Res64: 93665F394D196B0B Time : 0.0 sec. user=mdettweiler [2015-10-02 04:16:12] 987*2^1410766-1 is not prime. Res64: DE7F38E5399E68DF Time : 0.0 sec. user=mdettweiler [2015-10-02 04:22:00] 619*2^1410767-1 is not prime. Res64: D60E6E35AF275D3C Time : 0.0 sec. user=mdettweiler [2015-10-02 04:22:00] 669*2^1410767-1 is not prime. Res64: 3C948E620EA12153 Time : 0.0 sec. user=mdettweiler [2015-10-02 04:33:03] 741*2^1410767-1 is not prime. Res64: 4A45DDCE13FD5A78 Time : 0.0 sec. user=mdettweiler [2015-10-02 04:33:03] 763*2^1410767-1 is not prime. Res64: 3B714EF4193DB7FA Time : 0.0 sec. user=mdettweiler [2015-10-02 04:33:26] 813*2^1410767-1 is not prime. Res64: C0B4FD866FBF3E56 Time : 0.0 sec. user=mdettweiler [2015-10-02 04:33:26] 901*2^1410767-1 is not prime. Res64: D24E0CB330A63EED Time : 0.0 sec. user=mdettweiler [2015-10-02 04:33:59] 939*2^1410767-1 is not prime. Res64: 4C6359F78A1145C6 Time : 0.0 sec. user=mdettweiler [2015-10-02 04:33:59] 985*2^1410767-1 is not prime. Res64: 66E4DA4A51F9E73A Time : 0.0 sec. user=mdettweiler [2015-10-02 04:39:48] 993*2^1410767-1 is not prime. Res64: FCCD1F241373D396 Time : 0.0 sec. user=mdettweiler [2015-10-02 04:39:48] 737*2^1410768-1 is not prime. Res64: D25116E74C01DDA8 Time : 0.0 sec. user=mdettweiler [2015-10-02 04:50:44] 753*2^1410768-1 is not prime. Res64: B62D8292C19E8F35 Time : 0.0 sec. user=mdettweiler [2015-10-02 04:50:44] 803*2^1410768-1 is not prime. Res64: 9DD85C173A9D7B80 Time : 0.0 sec. user=mdettweiler [2015-10-02 04:51:22] 825*2^1410768-1 is not prime. Res64: 4F37AE7760BE1F1B Time : 0.0 sec. user=mdettweiler [2015-10-02 04:51:23] 839*2^1410768-1 is not prime. Res64: 949D3BE05A75E536 Time : 0.0 sec. user=mdettweiler [2015-10-02 04:51:56] 893*2^1410768-1 is not prime. Res64: A7A7947E0E073F9C Time : 0.0 sec. user=mdettweiler [2015-10-02 04:51:56] 915*2^1410768-1 is not prime. Res64: 9C1FCA470A112BD5 Time : 0.0 sec. user=mdettweiler [2015-10-02 04:57:30] 923*2^1410768-1 is not prime. Res64: 273912A359773BF3 Time : 0.0 sec. user=mdettweiler [2015-10-02 04:57:30] 625*2^1410769-1 is not prime. Res64: 97E6C3FF06FC651E Time : 0.0 sec. user=mdettweiler [2015-10-02 05:08:28] 667*2^1410769-1 is not prime. Res64: BBEBDD7F9153B503 Time : 0.0 sec. user=mdettweiler [2015-10-02 05:08:28] 687*2^1410769-1 is not prime. Res64: 01ACCEA2071031B1 Time : 0.0 sec. user=mdettweiler [2015-10-02 05:09:13] 847*2^1410769-1 is not prime. Res64: 311D341AEE670379 Time : 0.0 sec. user=mdettweiler [2015-10-02 05:09:13] 919*2^1410769-1 is not prime. Res64: 43C605F0726A927D Time : 0.0 sec. user=mdettweiler [2015-10-02 05:09:48] 999*2^1410769-1 is not prime. Res64: 464F2D3A88DA73F6 Time : 0.0 sec. user=mdettweiler [2015-10-02 05:09:48] 753*2^1410770-1 is not prime. Res64: 57C4BC7006541C16 Time : 0.0 sec. user=mdettweiler [2015-10-02 05:15:16] 801*2^1410770-1 is not prime. Res64: 1E6A06C2C847EA04 Time : 0.0 sec. user=mdettweiler [2015-10-02 05:15:17] 735*2^1410771-1 is not prime. Res64: 19940BC098D801AC Time : 0.0 sec. user=mdettweiler [2015-10-02 05:26:28] 647*2^1410772-1 is not prime. Res64: 3EA872634F5D5E78 Time : 0.0 sec. user=mdettweiler [2015-10-02 05:26:28] 743*2^1410772-1 is not prime. Res64: D46EC88753F97C62 Time : 0.0 sec. user=mdettweiler [2015-10-02 05:27:10] 825*2^1410772-1 is not prime. Res64: 7AF67DE570757BDA Time : 0.0 sec. user=mdettweiler [2015-10-02 05:27:10] 855*2^1410772-1 is not prime. Res64: 6D8DAD0132891480 Time : 0.0 sec. user=mdettweiler [2015-10-02 05:27:40] 909*2^1410772-1 is not prime. Res64: 70E11CACFF810DF2 Time : 0.0 sec. user=mdettweiler [2015-10-02 05:27:40] 607*2^1410773-1 is not prime. Res64: 5FD513EF69B1F890 Time : 0.0 sec. user=mdettweiler [2015-10-02 05:33:08] 727*2^1410773-1 is not prime. Res64: 5805BA0ACBA59A5A Time : 0.0 sec. user=mdettweiler [2015-10-02 05:33:08] 831*2^1410773-1 is not prime. Res64: DB6854634CE29BCD Time : 0.0 sec. user=mdettweiler [2015-10-02 05:44:13] 867*2^1410773-1 is not prime. Res64: F6C64DD7A011EA48 Time : 0.0 sec. user=mdettweiler [2015-10-02 05:44:14] 927*2^1410773-1 is not prime. Res64: D8E383203E5C3D78 Time : 0.0 sec. user=mdettweiler [2015-10-02 05:45:00] 939*2^1410773-1 is not prime. Res64: 6632850901E3B867 Time : 0.0 sec. user=mdettweiler [2015-10-02 05:45:00] 707*2^1410774-1 is not prime. Res64: 51C4436F6289572E Time : 0.0 sec. user=mdettweiler [2015-10-02 05:45:34] 773*2^1410774-1 is not prime. Res64: 35AF0F4815DF9F83 Time : 0.0 sec. user=mdettweiler [2015-10-02 05:45:34] 797*2^1410774-1 is not prime. Res64: 66DCA11175F438FF Time : 0.0 sec. user=mdettweiler [2015-10-02 05:51:00] 851*2^1410774-1 is not prime. Res64: EF5E3A9DCC719091 Time : 0.0 sec. user=mdettweiler [2015-10-02 05:51:00] 873*2^1410774-1 is not prime. Res64: E8E2B1C77D05C629 Time : 0.0 sec. user=mdettweiler [2015-10-02 06:02:02] 891*2^1410774-1 is not prime. Res64: 1671E7A9076B74C5 Time : 0.0 sec. user=mdettweiler [2015-10-02 06:02:03] 625*2^1410775-1 is not prime. Res64: EAA8E9C57C598F30 Time : 0.0 sec. user=mdettweiler [2015-10-02 06:02:43] 663*2^1410775-1 is not prime. Res64: A795CF796E0E1036 Time : 0.0 sec. user=mdettweiler [2015-10-02 06:02:44] 675*2^1410775-1 is not prime. Res64: 605D24CE8426C86A Time : 0.0 sec. user=mdettweiler [2015-10-02 06:03:16] 723*2^1410775-1 is not prime. Res64: F60463E5846598B0 Time : 0.0 sec. user=mdettweiler [2015-10-02 06:03:18] 735*2^1410775-1 is not prime. Res64: DA20CEF24BE1945D Time : 0.0 sec. user=mdettweiler [2015-10-02 06:08:43] 783*2^1410775-1 is not prime. Res64: 78FE0E6E9F832176 Time : 0.0 sec. user=mdettweiler [2015-10-02 06:08:43] 789*2^1410775-1 is not prime. Res64: 190020992106CEB5 Time : 0.0 sec. user=mdettweiler [2015-10-02 06:20:05] 939*2^1410775-1 is not prime. Res64: A9A7C024F6D00AC3 Time : 0.0 sec. user=mdettweiler [2015-10-02 06:20:05] 999*2^1410775-1 is not prime. Res64: 62565F8369EB6814 Time : 0.0 sec. user=mdettweiler [2015-10-02 06:20:35] 845*2^1410776-1 is not prime. Res64: B70F5FD52A3396DD Time : 0.0 sec. user=mdettweiler [2015-10-02 06:20:36] 879*2^1410776-1 is not prime. Res64: 4B1EB629E86A64CD Time : 0.0 sec. user=mdettweiler [2015-10-02 06:21:05] 923*2^1410776-1 is not prime. Res64: A03F29523980E25D Time : 0.0 sec. user=mdettweiler [2015-10-02 06:21:06] 957*2^1410776-1 is not prime. Res64: 1C10006935F699EC Time : 0.0 sec. user=mdettweiler [2015-10-02 06:26:34] 969*2^1410776-1 is not prime. Res64: E9ABBDF203411D8F Time : 0.0 sec. user=mdettweiler [2015-10-02 06:26:34] 627*2^1410777-1 is not prime. Res64: FC0D246451211C8B Time : 0.0 sec. user=mdettweiler [2015-10-02 06:37:49] 669*2^1410777-1 is not prime. Res64: 8FC8FC588D491B77 Time : 0.0 sec. user=mdettweiler [2015-10-02 06:37:50] 765*2^1410777-1 is not prime. Res64: 64DE6A16BCF5F0F2 Time : 0.0 sec. user=mdettweiler [2015-10-02 06:38:24] 819*2^1410777-1 is not prime. Res64: 10E5044B7BA4FA6E Time : 0.0 sec. user=mdettweiler [2015-10-02 06:38:25] 829*2^1410777-1 is not prime. Res64: D8CE8A3F40F5B58E Time : 0.0 sec. user=mdettweiler [2015-10-02 06:38:50] 909*2^1410777-1 is not prime. Res64: 8D78A21D0438B56F Time : 0.0 sec. user=mdettweiler [2015-10-02 06:38:50] 945*2^1410777-1 is not prime. Res64: 927D84F663A838C1 Time : 0.0 sec. user=mdettweiler [2015-10-02 06:44:15] 991*2^1410777-1 is not prime. Res64: 9BF333EF6F0A64B4 Time : 0.0 sec. user=mdettweiler [2015-10-02 06:44:16] 681*2^1410778-1 is not prime. Res64: B3A68EBB4699FEAD Time : 0.0 sec. user=mdettweiler [2015-10-02 06:55:36] 831*2^1410778-1 is not prime. Res64: B3FFEB5DEF336A96 Time : 0.0 sec. user=mdettweiler [2015-10-02 06:55:37] 861*2^1410778-1 is not prime. Res64: DBCB090E0FC79085 Time : 0.0 sec. user=mdettweiler [2015-10-02 06:56:17] 933*2^1410778-1 is not prime. Res64: C22F3044EB09DB33 Time : 0.0 sec. user=mdettweiler [2015-10-02 06:56:17] 981*2^1410778-1 is not prime. Res64: 462CC9EA0DB15D96 Time : 0.0 sec. user=mdettweiler [2015-10-02 06:56:33] 987*2^1410778-1 is not prime. Res64: 0F5ACF9571A7AD57 Time : 0.0 sec. user=mdettweiler [2015-10-02 06:56:34] 621*2^1410779-1 is not prime. Res64: 89F322C0CB87053F Time : 0.0 sec. user=mdettweiler [2015-10-02 07:02:01] 645*2^1410779-1 is not prime. Res64: 5D059E2927B22F9B Time : 0.0 sec. user=mdettweiler [2015-10-02 07:02:02] 663*2^1410779-1 is not prime. Res64: 2AB5A34A5A0B37AD Time : 0.0 sec. user=mdettweiler [2015-10-02 07:13:36] 675*2^1410779-1 is not prime. Res64: 6BE40B5950952FDD Time : 0.0 sec. user=mdettweiler [2015-10-02 07:13:37] 771*2^1410779-1 is not prime. Res64: 1773D6BEA213A634 Time : 0.0 sec. user=mdettweiler [2015-10-02 07:14:01] 841*2^1410779-1 is not prime. Res64: 2DB244BCE997E4D7 Time : 0.0 sec. user=mdettweiler [2015-10-02 07:14:01] 861*2^1410779-1 is not prime. Res64: 275C6B6DE41E5C3A Time : 0.0 sec. user=mdettweiler [2015-10-02 07:14:23] 883*2^1410779-1 is not prime. Res64: C6B83BA9BCB393C5 Time : 0.0 sec. user=mdettweiler [2015-10-02 07:14:23] 889*2^1410779-1 is not prime. Res64: 3AA9EFABB5470406 Time : 0.0 sec. user=mdettweiler [2015-10-02 07:19:54] 627*2^1410780-1 is not prime. Res64: 08738E9B3A3E8109 Time : 0.0 sec. user=mdettweiler [2015-10-02 07:19:54] 669*2^1410780-1 is not prime. Res64: 7E2A7454CA95EA45 Time : 0.0 sec. user=mdettweiler [2015-10-02 07:31:31] 717*2^1410780-1 is not prime. Res64: C3818E0EF289C454 Time : 0.0 sec. user=mdettweiler [2015-10-02 07:31:31] 797*2^1410780-1 is not prime. Res64: 9322B39352420E01 Time : 0.0 sec. user=mdettweiler [2015-10-02 07:32:00] 819*2^1410780-1 is not prime. Res64: 785D880A2E8533BD Time : 0.0 sec. user=mdettweiler [2015-10-02 07:32:01] 685*2^1410781-1 is not prime. Res64: 07BF336DA21B9D39 Time : 0.0 sec. user=mdettweiler [2015-10-02 07:32:21] 789*2^1410781-1 is not prime. Res64: 2C81C24DF9D585D2 Time : 0.0 sec. user=mdettweiler [2015-10-02 07:32:22] 825*2^1410781-1 is not prime. Res64: CB6FE8CCDED6649B Time : 0.0 sec. user=mdettweiler [2015-10-02 07:37:50] 889*2^1410781-1 is not prime. Res64: B5ACDFE70D61C51B Time : 0.0 sec. user=mdettweiler [2015-10-02 07:37:50] 651*2^1410782-1 is not prime. Res64: A3651F645CB4C3F9 Time : 0.0 sec. user=mdettweiler [2015-10-02 07:49:16] 671*2^1410782-1 is not prime. Res64: C17DF3FD157A98E4 Time : 0.0 sec. user=mdettweiler [2015-10-02 07:49:17] 731*2^1410782-1 is not prime. Res64: A337B4BC8C4F6167 Time : 0.0 sec. user=mdettweiler [2015-10-02 07:49:48] 827*2^1410782-1 is not prime. Res64: 047D0842349CAC96 Time : 0.0 sec. user=mdettweiler [2015-10-02 07:49:49] 935*2^1410782-1 is not prime. Res64: 71124C2CBCE8686C Time : 0.0 sec. user=mdettweiler [2015-10-02 07:50:12] 613*2^1410783-1 is not prime. Res64: 599D1C377546F021 Time : 0.0 sec. user=mdettweiler [2015-10-02 07:50:13] 625*2^1410783-1 is not prime. Res64: 41E114B4FDFF35D3 Time : 0.0 sec. user=mdettweiler [2015-10-02 07:55:40] 735*2^1410783-1 is not prime. Res64: 84922DDD1758A8C8 Time : 0.0 sec. user=mdettweiler [2015-10-02 07:55:41] 739*2^1410783-1 is not prime. Res64: 9E229F6DE3AA5ACE Time : 0.0 sec. user=mdettweiler [2015-10-02 08:07:08] 741*2^1410783-1 is not prime. Res64: DBD0577E3EE244FA Time : 0.0 sec. user=mdettweiler [2015-10-02 08:07:10] 873*2^1410783-1 is not prime. Res64: 23FBB98694BA2E7E Time : 0.0 sec. user=mdettweiler [2015-10-02 08:07:39] 949*2^1410783-1 is not prime. Res64: F02E606062D421A8 Time : 0.0 sec. user=mdettweiler [2015-10-02 08:07:40] 623*2^1410784-1 is not prime. Res64: B61B582F1341488A Time : 0.0 sec. user=mdettweiler [2015-10-02 08:08:01] 675*2^1410784-1 is not prime. Res64: 2769D06EF2A068DC Time : 0.0 sec. user=mdettweiler [2015-10-02 08:08:02] 765*2^1410784-1 is not prime. Res64: D77010571D782626 Time : 0.0 sec. user=mdettweiler [2015-10-02 08:13:27] 833*2^1410784-1 is not prime. Res64: 1FC33A4D79D969BB Time : 0.0 sec. user=mdettweiler [2015-10-02 08:13:27] 843*2^1410784-1 is not prime. Res64: 36245A63F89AECD4 Time : 0.0 sec. user=mdettweiler [2015-10-02 08:25:25] 869*2^1410784-1 is not prime. Res64: E0B83041EC878C34 Time : 0.0 sec. user=mdettweiler [2015-10-02 08:25:26] 993*2^1410784-1 is not prime. Res64: AB734FA2134E221E Time : 0.0 sec. user=mdettweiler [2015-10-02 08:25:29] 669*2^1410785-1 is not prime. Res64: E2FF26674ACFF1C6 Time : 0.0 sec. user=mdettweiler [2015-10-02 08:25:29] 675*2^1410785-1 is not prime. Res64: 082DCC6A79757F8E Time : 0.0 sec. user=mdettweiler [2015-10-02 08:26:00] 699*2^1410785-1 is not prime. Res64: 9F9E6DF700C190BC Time : 0.0 sec. user=mdettweiler [2015-10-02 08:26:01] 799*2^1410785-1 is not prime. Res64: FCED71834BAA2781 Time : 0.0 sec. user=mdettweiler [2015-10-02 08:31:17] 641*2^1410786-1 is not prime. Res64: D7AE92D7D62767BA Time : 0.0 sec. user=mdettweiler [2015-10-02 08:31:17] 717*2^1410786-1 is not prime. Res64: 69E85CB79DBD0EFC Time : 0.0 sec. user=mdettweiler [2015-10-02 08:43:14] 735*2^1410786-1 is not prime. Res64: 02BC6330EEECC3CB Time : 0.0 sec. user=mdettweiler [2015-10-02 08:43:14] 767*2^1410786-1 is not prime. Res64: 31777CB805CAD634 Time : 0.0 sec. user=mdettweiler [2015-10-02 08:43:15] 807*2^1410786-1 is not prime. Res64: 2C33093FB1A960EB Time : 0.0 sec. user=mdettweiler [2015-10-02 08:43:16] 825*2^1410786-1 is not prime. Res64: 3E03590FC85BFF6E Time : 0.0 sec. user=mdettweiler [2015-10-02 08:43:50] 851*2^1410786-1 is not prime. Res64: EB6C257F4FBEA972 Time : 0.0 sec. user=mdettweiler [2015-10-02 08:43:50] 893*2^1410786-1 is not prime. Res64: 5BE6BB57967CA98F Time : 0.0 sec. user=mdettweiler [2015-10-02 08:49:00] 947*2^1410786-1 is not prime. Res64: 28C9B4B473922D7F Time : 0.0 sec. user=mdettweiler [2015-10-02 08:49:00] 957*2^1410786-1 is not prime. Res64: E4C334E3E4DCAFDD Time : 0.0 sec. user=mdettweiler [2015-10-02 09:00:56] 775*2^1410787-1 is not prime. Res64: C0E77BA868651A62 Time : 0.0 sec. user=mdettweiler [2015-10-02 09:00:57] 813*2^1410787-1 is not prime. Res64: 1A78657A3C2B7D6F Time : 0.0 sec. user=mdettweiler [2015-10-02 09:00:58] 915*2^1410787-1 is not prime. Res64: 9B2B106226A3A7BF Time : 0.0 sec. user=mdettweiler [2015-10-02 09:00:59] 931*2^1410787-1 is not prime. Res64: 1491C8D26C781A27 Time : 0.0 sec. user=mdettweiler [2015-10-02 09:01:40] 973*2^1410787-1 is not prime. Res64: 7CB1B19ED3CB03A1 Time : 0.0 sec. user=mdettweiler [2015-10-02 09:01:41] 635*2^1410788-1 is not prime. Res64: 26296A7CC7562566 Time : 0.0 sec. user=mdettweiler [2015-10-02 09:06:50] 845*2^1410788-1 is not prime. Res64: 1F468A16E5AAD6BE Time : 0.0 sec. user=mdettweiler [2015-10-02 09:06:54] 855*2^1410788-1 is not prime. Res64: 401923B8C5B60AA3 Time : 0.0 sec. user=mdettweiler [2015-10-02 09:18:48] 963*2^1410788-1 is not prime. Res64: 9FF8C015DAB28B55 Time : 0.0 sec. user=mdettweiler [2015-10-02 09:18:49] 977*2^1410788-1 is not prime. Res64: 97002196ED988845 Time : 0.0 sec. user=mdettweiler [2015-10-02 09:18:53] 621*2^1410789-1 is not prime. Res64: C5693AD6E912ABEF Time : 0.0 sec. user=mdettweiler [2015-10-02 09:18:53] 627*2^1410789-1 is not prime. Res64: 041D938575FA098E Time : 0.0 sec. user=mdettweiler [2015-10-02 09:19:29] 675*2^1410789-1 is not prime. Res64: A6DA86B44D8E9D4F Time : 0.0 sec. user=mdettweiler [2015-10-02 09:19:30] 709*2^1410789-1 is not prime. Res64: 680CFE8377F28400 Time : 0.0 sec. user=mdettweiler [2015-10-02 09:25:06] 741*2^1410789-1 is not prime. Res64: 217894C28CB275F2 Time : 0.0 sec. user=mdettweiler [2015-10-02 09:25:06] 765*2^1410789-1 is not prime. Res64: FBFA82644F60AFE6 Time : 0.0 sec. user=mdettweiler [2015-10-02 09:36:41] 945*2^1410789-1 is not prime. Res64: 685FA66F576EA5E9 Time : 0.0 sec. user=mdettweiler [2015-10-02 09:36:42] 687*2^1410790-1 is not prime. Res64: CCA5CA25DD1A8DB5 Time : 0.0 sec. user=mdettweiler [2015-10-02 09:36:42] 789*2^1410789-1 is not prime. Res64: 049640E414E6312A Time : 0.0 sec. user=mdettweiler [2015-10-02 09:36:42] 811*2^1410789-1 is not prime. Res64: A9DA06B43ADFB16F Time : 0.0 sec. user=mdettweiler [2015-10-02 09:37:25] 801*2^1410790-1 is not prime. Res64: 1A6004342C0E74A8 Time : 0.0 sec. user=mdettweiler [2015-10-02 09:37:25] 857*2^1410790-1 is not prime. Res64: 05CB6A8D09E71416 Time : 0.0 sec. user=mdettweiler [2015-10-02 09:42:53] 933*2^1410790-1 is not prime. Res64: E6F55CAA6A7B4403 Time : 0.0 sec. user=mdettweiler [2015-10-02 09:42:53] 971*2^1410790-1 is not prime. Res64: 801CCF8E9849B6D0 Time : 0.0 sec. user=mdettweiler [2015-10-02 09:54:32] 615*2^1410791-1 is not prime. Res64: E8B22265CF51CAA2 Time : 0.0 sec. user=mdettweiler [2015-10-02 09:54:33] 661*2^1410791-1 is not prime. Res64: AA99FDEADA828D5D Time : 0.0 sec. user=mdettweiler [2015-10-02 09:54:33] 685*2^1410791-1 is not prime. Res64: 1F37275C0EC4A238 Time : 0.0 sec. user=mdettweiler [2015-10-02 09:54:34] 811*2^1410791-1 is not prime. Res64: A4DDA40407C9FAD4 Time : 0.0 sec. user=mdettweiler [2015-10-02 09:55:13] 823*2^1410791-1 is not prime. Res64: DE26DB3549D0A4B0 Time : 0.0 sec. user=mdettweiler [2015-10-02 09:55:13] 879*2^1410791-1 is not prime. Res64: CAE04D16AE9CAD17 Time : 0.0 sec. user=mdettweiler [2015-10-02 10:00:42] 895*2^1410791-1 is not prime. Res64: 64086222DA1BEC55 Time : 0.0 sec. user=mdettweiler [2015-10-02 10:00:43] 921*2^1410791-1 is not prime. Res64: B3EC68D1B2D000E3 Time : 0.0 sec. user=mdettweiler [2015-10-02 10:12:18] 969*2^1410791-1 is not prime. Res64: A795F1953682D389 Time : 0.0 sec. user=mdettweiler [2015-10-02 10:12:19] 615*2^1410792-1 is not prime. Res64: 665825988D2BB916 Time : 0.0 sec. user=mdettweiler [2015-10-02 10:12:22] 629*2^1410792-1 is not prime. Res64: 896E6759CEFD77B2 Time : 0.0 sec. user=mdettweiler [2015-10-02 10:12:23] 765*2^1410792-1 is not prime. Res64: A1D0DC382B30C310 Time : 0.0 sec. user=mdettweiler [2015-10-02 10:12:59] 767*2^1410792-1 is not prime. Res64: 56224FEF0F9838FD Time : 0.0 sec. user=mdettweiler [2015-10-02 10:12:59] 825*2^1410792-1 is not prime. Res64: 0698F3C203F5421D Time : 0.0 sec. user=mdettweiler [2015-10-02 10:18:27] 609*2^1410793-1 is not prime. Res64: D30E2617907DB855 Time : 0.0 sec. user=mdettweiler [2015-10-02 10:18:28] 751*2^1410793-1 is not prime. Res64: 1A266FF08A11EE62 Time : 0.0 sec. user=mdettweiler [2015-10-02 10:30:11] 765*2^1410793-1 is not prime. Res64: 0157E053CC1B2DF9 Time : 0.0 sec. user=mdettweiler [2015-10-02 10:30:11] 999*2^1410793-1 is not prime. Res64: 34291AD4D8E1F2F3 Time : 0.0 sec. user=mdettweiler [2015-10-02 10:30:12] 615*2^1410794-1 is not prime. Res64: 3DB8E218C3FF2D2F Time : 0.0 sec. user=mdettweiler [2015-10-02 10:30:12] 785*2^1410794-1 is not prime. Res64: E759EC9F787217D5 Time : 0.0 sec. user=mdettweiler [2015-10-02 10:30:55] 791*2^1410794-1 is not prime. Res64: 4D2ED56D46C99F9C Time : 0.0 sec. user=mdettweiler [2015-10-02 10:30:55] 813*2^1410794-1 is not prime. Res64: C3F1CB80ECEBF601 Time : 0.0 sec. user=mdettweiler [2015-10-02 10:36:14] 825*2^1410794-1 is not prime. Res64: 1063415D9846A6BA Time : 0.0 sec. user=mdettweiler [2015-10-02 10:36:14] 887*2^1410794-1 is not prime. Res64: EBA64B0BF6C609DC Time : 0.0 sec. user=mdettweiler [2015-10-02 10:48:05] 917*2^1410794-1 is not prime. Res64: 64745BE5A0AB2B32 Time : 0.0 sec. user=mdettweiler [2015-10-02 10:48:05] 935*2^1410794-1 is not prime. Res64: 1A07B70F700F8FBE Time : 0.0 sec. user=mdettweiler [2015-10-02 10:48:08] 941*2^1410794-1 is not prime. Res64: 1FD378E84C803E93 Time : 0.0 sec. user=mdettweiler [2015-10-02 10:48:08] 609*2^1410795-1 is not prime. Res64: 41975C0F057E5273 Time : 0.0 sec. user=mdettweiler [2015-10-02 10:48:52] 613*2^1410795-1 is not prime. Res64: 8DF55920DC2A6A60 Time : 0.0 sec. user=mdettweiler [2015-10-02 10:48:52] 669*2^1410795-1 is not prime. Res64: 388F7A8C06EB0BF9 Time : 0.0 sec. user=mdettweiler [2015-10-02 10:54:22] 775*2^1410795-1 is not prime. Res64: 5F331DC2C04AFFF3 Time : 0.0 sec. user=mdettweiler [2015-10-02 10:54:22] 999*2^1410795-1 is not prime. Res64: ABB77C8BE3E6F816 Time : 0.0 sec. user=mdettweiler [2015-10-02 11:06:24] 603*2^1410796-1 is not prime. Res64: F5E9BFE3218C0A33 Time : 0.0 sec. user=mdettweiler [2015-10-02 11:06:24] 773*2^1410796-1 is not prime. Res64: 9C41890C7C5BD687 Time : 0.0 sec. user=mdettweiler [2015-10-02 11:06:28] 839*2^1410796-1 is not prime. Res64: 67B37649E1DEA0FF Time : 0.0 sec. user=mdettweiler [2015-10-02 11:06:29] 899*2^1410796-1 is not prime. Res64: C8146B5EC68D68A1 Time : 0.0 sec. user=mdettweiler [2015-10-02 11:07:06] 909*2^1410796-1 is not prime. Res64: AAE0D64DCDA946F2 Time : 0.0 sec. user=mdettweiler [2015-10-02 11:07:06] 607*2^1410797-1 is not prime. Res64: C761B93AD91E211D Time : 0.0 sec. user=mdettweiler [2015-10-02 11:12:27] 615*2^1410797-1 is not prime. Res64: 209AD9DE15BD66BC Time : 0.0 sec. user=mdettweiler [2015-10-02 11:12:28] 711*2^1410797-1 is not prime. Res64: 1BE76B6570B68FE0 Time : 0.0 sec. user=mdettweiler [2015-10-02 11:24:47] 747*2^1410797-1 is not prime. Res64: D06E730B073893EC Time : 0.0 sec. user=mdettweiler [2015-10-02 11:24:48] 759*2^1410797-1 is not prime. Res64: F32D598036EDE871 Time : 0.0 sec. user=mdettweiler [2015-10-02 11:25:09] 781*2^1410797-1 is not prime. Res64: 19B8E6E7E78C8024 Time : 0.0 sec. user=mdettweiler [2015-10-02 11:25:09] 799*2^1410797-1 is not prime. Res64: 400A66D06BE5BCAA Time : 0.0 sec. user=mdettweiler [2015-10-02 11:25:30] 829*2^1410797-1 is not prime. Res64: AE45AD2FBD55D4E6 Time : 0.0 sec. user=mdettweiler [2015-10-02 11:25:30] 641*2^1410798-1 is not prime. Res64: 72ADF1E57D886F04 Time : 0.0 sec. user=mdettweiler [2015-10-02 11:30:42] 671*2^1410798-1 is not prime. Res64: 4894CA61FE20A3A9 Time : 0.0 sec. user=mdettweiler [2015-10-02 11:30:42] 681*2^1410798-1 is not prime. Res64: 019A51F8FC0DEBCA Time : 0.0 sec. user=mdettweiler [2015-10-02 11:43:10] 833*2^1410798-1 is not prime. Res64: 7E1D94023257B95F Time : 0.0 sec. user=mdettweiler [2015-10-02 11:43:10] 875*2^1410798-1 is not prime. Res64: 3D41035F17415135 Time : 0.0 sec. user=mdettweiler [2015-10-02 11:43:32] 885*2^1410798-1 is not prime. Res64: 3BF4B6F1990F7B5D Time : 0.0 sec. user=mdettweiler [2015-10-02 11:43:32] 927*2^1410798-1 is not prime. Res64: C7025C546A42EBBF Time : 0.0 sec. user=mdettweiler [2015-10-02 11:43:51] 609*2^1410799-1 is not prime. Res64: D0ED5AEEBBDE2713 Time : 0.0 sec. user=mdettweiler [2015-10-02 11:43:52] 649*2^1410799-1 is not prime. Res64: A18EE539F984F0DF Time : 0.0 sec. user=mdettweiler [2015-10-02 11:49:00] 679*2^1410799-1 is not prime. Res64: 6B57BF27EF3AC6D4 Time : 0.0 sec. user=mdettweiler [2015-10-02 11:49:00] 759*2^1410799-1 is not prime. Res64: 3ADCF8120FBB070D Time : 0.0 sec. user=mdettweiler [2015-10-02 12:01:41] 765*2^1410799-1 is not prime. Res64: A51791B7D1EC3103 Time : 0.0 sec. user=mdettweiler [2015-10-02 12:01:42] 789*2^1410799-1 is not prime. Res64: 3124D0AF66C0BF87 Time : 0.0 sec. user=mdettweiler [2015-10-02 12:02:05] 853*2^1410799-1 is not prime. Res64: 0600FD0D364DAA02 Time : 0.0 sec. user=mdettweiler [2015-10-02 12:02:05] 859*2^1410799-1 is not prime. Res64: 308DA29458737BFA Time : 0.0 sec. user=mdettweiler [2015-10-02 12:02:28] 861*2^1410799-1 is not prime. Res64: C80B54E817A3DD35 Time : 0.0 sec. user=mdettweiler [2015-10-02 12:02:29] 909*2^1410799-1 is not prime. Res64: 70C542C2AFFC52D0 Time : 0.0 sec. user=mdettweiler [2015-10-02 12:07:56] 913*2^1410799-1 is not prime. Res64: E6F24C574A13737C Time : 0.0 sec. user=mdettweiler [2015-10-02 12:07:57] 919*2^1410799-1 is not prime. Res64: C582A8E716182DF1 Time : 0.0 sec. user=mdettweiler [2015-10-02 12:20:04] 979*2^1410799-1 is not prime. Res64: AD306EA33B05420F Time : 0.0 sec. user=mdettweiler [2015-10-02 12:20:04] 669*2^1410800-1 is not prime. Res64: EA4109F1FF7DF34E Time : 0.0 sec. user=mdettweiler [2015-10-02 12:20:06] 675*2^1410800-1 is not prime. Res64: 7615E2F994D8C31F Time : 0.0 sec. user=mdettweiler [2015-10-02 12:20:07] 759*2^1410800-1 is not prime. Res64: 2C7E2A9D057FAED9 Time : 0.0 sec. user=mdettweiler [2015-10-02 12:20:39] 839*2^1410800-1 is not prime. Res64: DE0F335993196AEB Time : 0.0 sec. user=mdettweiler [2015-10-02 12:20:39] 995*2^1410800-1 is not prime. Res64: E9CEA6F270FC51D3 Time : 0.0 sec. user=mdettweiler [2015-10-02 12:25:46] 681*2^1410801-1 is not prime. Res64: 093140D39F2042A2 Time : 0.0 sec. user=mdettweiler [2015-10-02 12:25:46] 747*2^1410801-1 is not prime. Res64: 2FACA8B8534628DA Time : 0.0 sec. user=mdettweiler [2015-10-02 12:37:59] 777*2^1410801-1 is not prime. Res64: B312C2BF890F2753 Time : 0.0 sec. user=mdettweiler [2015-10-02 12:37:59] 807*2^1410801-1 is not prime. Res64: 7485274137E98DCD Time : 0.0 sec. user=mdettweiler [2015-10-02 12:38:06] 819*2^1410801-1 is not prime. Res64: A4CABF8E0A583726 Time : 0.0 sec. user=mdettweiler [2015-10-02 12:38:06] 889*2^1410801-1 is not prime. Res64: 0EF1EE78C68A9D97 Time : 0.0 sec. user=mdettweiler [2015-10-02 12:38:44] 979*2^1410801-1 is not prime. Res64: 022855F13E01FE1B Time : 0.0 sec. user=mdettweiler [2015-10-02 12:38:45] 645*2^1410802-1 is not prime. Res64: C008AA37A12BC1BD Time : 0.0 sec. user=mdettweiler [2015-10-02 12:43:38] 677*2^1410802-1 is not prime. Res64: E00CCC1623E36B61 Time : 0.0 sec. user=mdettweiler [2015-10-02 12:43:38] 791*2^1410802-1 is not prime. Res64: 543C232A73D208A1 Time : 0.0 sec. user=mdettweiler [2015-10-02 12:55:46] 917*2^1410802-1 is not prime. Res64: 56E95B61076C04E1 Time : 0.0 sec. user=mdettweiler [2015-10-02 12:55:46] 981*2^1410802-1 is not prime. Res64: F4E8419D3133F52F Time : 0.0 sec. user=mdettweiler [2015-10-02 12:56:02] 771*2^1410803-1 is not prime. Res64: 9465E2D584F323C6 Time : 0.0 sec. user=mdettweiler [2015-10-02 12:56:03] 801*2^1410803-1 is not prime. Res64: AAD20BA9FCE58744 Time : 0.0 sec. user=mdettweiler [2015-10-02 12:56:41] 871*2^1410803-1 is not prime. Res64: A96A7BAFF8265C9C Time : 0.0 sec. user=mdettweiler [2015-10-02 12:56:42] 949*2^1410803-1 is not prime. Res64: F4B3D403F694D67F Time : 0.0 sec. user=mdettweiler [2015-10-02 13:01:28] 689*2^1410804-1 is not prime. Res64: 998BD37A51CE0D30 Time : 0.0 sec. user=mdettweiler [2015-10-02 13:01:29] 693*2^1410804-1 is not prime. Res64: 20EC48D9665B76BD Time : 0.0 sec. user=mdettweiler [2015-10-02 13:13:34] 737*2^1410804-1 is not prime. Res64: 0234DE0F8D3B2DFE Time : 0.0 sec. user=mdettweiler [2015-10-02 13:13:35] 759*2^1410804-1 is not prime. Res64: A046CC837392B1EC Time : 0.0 sec. user=mdettweiler [2015-10-02 13:13:52] 765*2^1410804-1 is not prime. Res64: 60A0E60E8920F0C0 Time : 0.0 sec. user=mdettweiler [2015-10-02 13:13:52] 789*2^1410804-1 is not prime. Res64: B697F1FB5F806218 Time : 0.0 sec. user=mdettweiler [2015-10-02 13:14:35] 909*2^1410804-1 is not prime. Res64: 20470B31D8D34C5E Time : 0.0 sec. user=mdettweiler [2015-10-02 13:14:36] 699*2^1410805-1 is not prime. Res64: 7CE08ABDB045A529 Time : 0.0 sec. user=mdettweiler [2015-10-02 13:19:22] 757*2^1410805-1 is not prime. Res64: 400516AFB4852DA6 Time : 0.0 sec. user=mdettweiler [2015-10-02 13:19:23] 951*2^1410805-1 is not prime. Res64: CE7903E723D2CC8F Time : 0.0 sec. user=mdettweiler [2015-10-02 13:31:26] 999*2^1410805-1 is not prime. Res64: 4FDE8C7CA78FEF3C Time : 0.0 sec. user=mdettweiler [2015-10-02 13:31:26] 675*2^1410806-1 is not prime. Res64: 1DD560CA0402AE5D Time : 0.0 sec. user=mdettweiler [2015-10-02 13:31:47] 683*2^1410806-1 is not prime. Res64: DF479B35DB52A0BC Time : 0.0 sec. user=mdettweiler [2015-10-02 13:31:48] 707*2^1410806-1 is not prime. Res64: 5F568210A516F2F3 Time : 0.0 sec. user=mdettweiler [2015-10-02 13:32:29] 711*2^1410806-1 is not prime. Res64: 0B552435BD37B037 Time : 0.0 sec. user=mdettweiler [2015-10-02 13:32:29] 833*2^1410806-1 is not prime. Res64: 2F30AE6AC0953817 Time : 0.0 sec. user=mdettweiler [2015-10-02 13:37:03] 911*2^1410806-1 is not prime. Res64: 7C9DE8F1C894F855 Time : 0.0 sec. user=mdettweiler [2015-10-02 13:37:04] 923*2^1410806-1 is not prime. Res64: FB06827A10F131E0 Time : 0.0 sec. user=mdettweiler [2015-10-02 13:49:24] 739*2^1410807-1 is not prime. Res64: 6835B8D7890BD298 Time : 0.0 sec. user=mdettweiler [2015-10-02 13:49:24] 741*2^1410807-1 is not prime. Res64: D2061BE3C51C5A72 Time : 0.0 sec. user=mdettweiler [2015-10-02 13:49:35] 795*2^1410807-1 is not prime. Res64: EFA49A050DB65A27 Time : 0.0 sec. user=mdettweiler [2015-10-02 13:49:35] 951*2^1410807-1 is not prime. Res64: 8789B4E3920B06A5 Time : 0.0 sec. user=mdettweiler [2015-10-02 13:50:22] 615*2^1410808-1 is not prime. Res64: 831D6489250D1BE7 Time : 0.0 sec. user=mdettweiler [2015-10-02 13:50:22] 635*2^1410808-1 is not prime. Res64: 27F8A9B6418237A6 Time : 0.0 sec. user=mdettweiler [2015-10-02 13:54:54] 687*2^1410808-1 is not prime. Res64: FA30122675A27D06 Time : 0.0 sec. user=mdettweiler [2015-10-02 13:54:54] 699*2^1410808-1 is not prime. Res64: A5143AA4642BAAFA Time : 0.0 sec. user=mdettweiler [2015-10-02 14:07:16] 723*2^1410808-1 is not prime. Res64: DB70A9C4EE3ECF18 Time : 0.0 sec. user=mdettweiler [2015-10-02 14:07:17] 933*2^1410808-1 is not prime. Res64: C19B79E0DB3A0B7D Time : 0.0 sec. user=mdettweiler [2015-10-02 14:07:25] 957*2^1410808-1 is not prime. Res64: AEBD7F0589BEA765 Time : 0.0 sec. user=mdettweiler [2015-10-02 14:07:25] 679*2^1410809-1 is not prime. Res64: 22CE8F2767B799E0 Time : 0.0 sec. user=mdettweiler [2015-10-02 14:08:18] 771*2^1410809-1 is not prime. Res64: E743852E305431E6 Time : 0.0 sec. user=mdettweiler [2015-10-02 14:08:18] 627*2^1410810-1 is not prime. Res64: AE407F48BF521730 Time : 0.0 sec. user=mdettweiler [2015-10-02 14:12:43] 633*2^1410810-1 is not prime. Res64: AC88CCFAF2C7FA2A Time : 0.0 sec. user=mdettweiler [2015-10-02 14:12:43] 741*2^1410810-1 is not prime. Res64: C68E14B73B3D6A2B Time : 0.0 sec. user=mdettweiler [2015-10-02 14:25:05] 755*2^1410810-1 is not prime. Res64: 7452278DBC150DBF Time : 0.0 sec. user=mdettweiler [2015-10-02 14:25:06] 1001*2^1410810-1 is not prime. Res64: D6D42BFC695BF2D8 Time : 0.0 sec. user=mdettweiler [2015-10-02 14:25:13] 603*2^1410811-1 is not prime. Res64: 7A904566A4552134 Time : 0.0 sec. user=mdettweiler [2015-10-02 14:25:13] 621*2^1410811-1 is not prime. Res64: 144F3CAB95FB8E17 Time : 0.0 sec. user=mdettweiler [2015-10-02 14:26:04] 675*2^1410811-1 is not prime. Res64: 998AA1B6D3F618F4 Time : 0.0 sec. user=mdettweiler [2015-10-02 14:26:04] 709*2^1410811-1 is not prime. Res64: 3F5775CD9B453D0D Time : 0.0 sec. user=mdettweiler [2015-10-02 14:30:31] 783*2^1410811-1 is not prime. Res64: 6FDAD453507D4CD6 Time : 0.0 sec. user=mdettweiler [2015-10-02 14:30:31] 969*2^1410811-1 is not prime. Res64: 40F9240DC2B857DA Time : 0.0 sec. user=mdettweiler [2015-10-02 14:42:51] 993*2^1410811-1 is not prime. Res64: 9C4DEC1D2E9A317D Time : 0.0 sec. user=mdettweiler [2015-10-02 14:42:51] 623*2^1410812-1 is not prime. Res64: 9FAD90157E5F4997 Time : 0.0 sec. user=mdettweiler [2015-10-02 14:42:55] 749*2^1410812-1 is not prime. Res64: 980322737518C107 Time : 0.0 sec. user=mdettweiler [2015-10-02 14:42:55] 813*2^1410812-1 is not prime. Res64: E397EC67AFBA53D9 Time : 0.0 sec. user=mdettweiler [2015-10-02 14:43:43] 909*2^1410812-1 is not prime. Res64: 5A09C604F3AFA340 Time : 0.0 sec. user=mdettweiler [2015-10-02 14:43:43] 945*2^1410812-1 is not prime. Res64: 81A0F171171B13AA Time : 0.0 sec. user=mdettweiler [2015-10-02 14:48:16] 885*2^1410813-1 is not prime. Res64: EC52B999ADD3EF49 Time : 0.0 sec. user=mdettweiler [2015-10-02 14:48:17] 901*2^1410813-1 is not prime. Res64: 5670D42C6AAA693D Time : 0.0 sec. user=mdettweiler [2015-10-02 15:00:39] 969*2^1410813-1 is not prime. Res64: AADEEEE79816CF7B Time : 0.0 sec. user=mdettweiler [2015-10-02 15:00:40] 999*2^1410813-1 is not prime. Res64: 88B8310E7CAD30CF Time : 0.0 sec. user=mdettweiler [2015-10-02 15:00:48] 657*2^1410814-1 is not prime. Res64: 7566D53585B16144 Time : 0.0 sec. user=mdettweiler [2015-10-02 15:00:49] 665*2^1410814-1 is not prime. Res64: 10C991B2DEE22B3E Time : 0.0 sec. user=mdettweiler [2015-10-02 15:01:40] 707*2^1410814-1 is not prime. Res64: 7140CC9C98C0F969 Time : 0.0 sec. user=mdettweiler [2015-10-02 15:01:40] 737*2^1410814-1 is not prime. Res64: E0D943657AB6BF02 Time : 0.0 sec. user=mdettweiler [2015-10-02 15:06:01] 765*2^1410814-1 is not prime. Res64: 4974C38A981D6A13 Time : 0.0 sec. user=mdettweiler [2015-10-02 15:06:02] 791*2^1410814-1 is not prime. Res64: C217720F634C4A53 Time : 0.0 sec. user=mdettweiler [2015-10-02 15:18:35] 813*2^1410814-1 is not prime. Res64: F749B4B7DC3A061B Time : 0.0 sec. user=mdettweiler [2015-10-02 15:18:35] 609*2^1410815-1 is not prime. Res64: A5628741AD892CF0 Time : 0.0 sec. user=mdettweiler [2015-10-02 15:18:53] 651*2^1410815-1 is not prime. Res64: F3DB8BEA2C721412 Time : 0.0 sec. user=mdettweiler [2015-10-02 15:18:53] 673*2^1410815-1 is not prime. Res64: 27232C58E47891F5 Time : 0.0 sec. user=mdettweiler [2015-10-02 15:19:40] 721*2^1410815-1 is not prime. Res64: 004100B3750B1E48 Time : 0.0 sec. user=mdettweiler [2015-10-02 15:19:40] 741*2^1410815-1 is not prime. Res64: 9FD462E32F5F4478 Time : 0.0 sec. user=mdettweiler [2015-10-02 15:23:52] 759*2^1410815-1 is not prime. Res64: CA9DA50D2DCCA31A Time : 0.0 sec. user=mdettweiler [2015-10-02 15:23:52] 799*2^1410815-1 is not prime. Res64: DDB0031B7DD2B878 Time : 0.0 sec. user=mdettweiler [2015-10-02 15:36:38] 823*2^1410815-1 is not prime. Res64: ADF23AB2DDD57410 Time : 0.0 sec. user=mdettweiler [2015-10-02 15:36:39] 885*2^1410815-1 is not prime. Res64: DC7BDED227433770 Time : 0.0 sec. user=mdettweiler [2015-10-02 15:36:50] 913*2^1410815-1 is not prime. Res64: 0DC1F5DCBE406731 Time : 0.0 sec. user=mdettweiler [2015-10-02 15:36:50] 943*2^1410815-1 is not prime. Res64: 07F2DD1DC5E4D53E Time : 0.0 sec. user=mdettweiler [2015-10-02 15:37:40] 725*2^1410816-1 is not prime. Res64: B0162F35A14ACE5B Time : 0.0 sec. user=mdettweiler [2015-10-02 15:37:40] 857*2^1410816-1 is not prime. Res64: 5806C3516008AD03 Time : 0.0 sec. user=mdettweiler [2015-10-02 15:41:41] 873*2^1410816-1 is not prime. Res64: F4E644EE2AD0FB6F Time : 0.0 sec. user=mdettweiler [2015-10-02 15:41:41] 927*2^1410816-1 is not prime. Res64: DE70EB1D8A6CE67C Time : 0.0 sec. user=mdettweiler [2015-10-02 15:54:31] 969*2^1410816-1 is not prime. Res64: 7B00163B3F2FFB57 Time : 0.0 sec. user=mdettweiler [2015-10-02 15:54:31] 993*2^1410816-1 is not prime. Res64: 648802E63858688B Time : 0.0 sec. user=mdettweiler [2015-10-02 15:54:40] 601*2^1410817-1 is not prime. Res64: 4FEBA861441AB3A3 Time : 0.0 sec. user=mdettweiler [2015-10-02 15:54:40] 639*2^1410817-1 is not prime. Res64: 322025A13FCC2A06 Time : 0.0 sec. user=mdettweiler [2015-10-02 15:55:30] 729*2^1410817-1 is not prime. Res64: 74F444737FB9D0AE Time : 0.0 sec. user=mdettweiler [2015-10-02 15:55:31] 671*2^1410818-1 is not prime. Res64: D107B10479B072D4 Time : 0.0 sec. user=mdettweiler [2015-10-02 15:59:29] 705*2^1410818-1 is not prime. Res64: A57A807447AC49BF Time : 0.0 sec. user=mdettweiler [2015-10-02 15:59:30] 801*2^1410818-1 is not prime. Res64: 321745B44FE7ABBA Time : 0.0 sec. user=mdettweiler [2015-10-02 16:12:22] 815*2^1410818-1 is not prime. Res64: 9E068413F69B548F Time : 0.0 sec. user=mdettweiler [2015-10-02 16:12:23] 831*2^1410818-1 is not prime. Res64: 1082CD3FE2BC8CEA Time : 0.0 sec. user=mdettweiler [2015-10-02 16:12:29] 923*2^1410818-1 is not prime. Res64: 2BE47083EECBDC18 Time : 0.0 sec. user=mdettweiler [2015-10-02 16:12:31] 927*2^1410818-1 is not prime. Res64: 4DA5D4AC8E0CD7B8 Time : 0.0 sec. user=mdettweiler [2015-10-02 16:13:26] 993*2^1410818-1 is not prime. Res64: DF9BB194E94B567D Time : 0.0 sec. user=mdettweiler [2015-10-02 16:13:26] 619*2^1410819-1 is not prime. Res64: D015DF817B86A453 Time : 0.0 sec. user=mdettweiler [2015-10-02 16:17:18] 705*2^1410819-1 is not prime. Res64: D8D0BF12ABA51D37 Time : 0.0 sec. user=mdettweiler [2015-10-02 16:17:18] 741*2^1410819-1 is not prime. Res64: B117174C0B91F7F2 Time : 0.0 sec. user=mdettweiler [2015-10-02 16:30:28] 835*2^1410819-1 is not prime. Res64: 1C19D579583D0D3D Time : 0.0 sec. user=mdettweiler [2015-10-02 16:30:28] 859*2^1410819-1 is not prime. Res64: 11A0B8070430378E Time : 0.0 sec. user=mdettweiler [2015-10-02 16:30:31] 873*2^1410819-1 is not prime. Res64: 8ADFED6106817403 Time : 0.0 sec. user=mdettweiler [2015-10-02 16:30:32] 921*2^1410819-1 is not prime. Res64: 3D7DEC410F409B32 Time : 0.0 sec. user=mdettweiler [2015-10-02 16:31:21] 629*2^1410820-1 is not prime. Res64: 56DECDCE1297D787 Time : 0.0 sec. user=mdettweiler [2015-10-02 16:31:21] 797*2^1410820-1 is not prime. Res64: 0E7EA1B5F3C1D59F Time : 0.0 sec. user=mdettweiler [2015-10-02 16:35:03] 845*2^1410820-1 is not prime. Res64: 92FDD1C8B5E03657 Time : 0.0 sec. user=mdettweiler [2015-10-02 16:35:04] 875*2^1410820-1 is not prime. Res64: FCEF9F6C48619379 Time : 0.0 sec. user=mdettweiler [2015-10-02 16:48:13] 905*2^1410820-1 is not prime. Res64: D69FEA570670FD07 Time : 0.0 sec. user=mdettweiler [2015-10-02 16:48:13] 927*2^1410820-1 is not prime. Res64: 95C2E5A9EE521305 Time : 0.0 sec. user=mdettweiler [2015-10-02 16:48:15] 965*2^1410820-1 is not prime. Res64: FBC4671F2235C6DF Time : 0.0 sec. user=mdettweiler [2015-10-02 16:48:16] 601*2^1410821-1 is not prime. Res64: 94F7EE09762425DB Time : 0.0 sec. user=mdettweiler [2015-10-02 16:49:07] 711*2^1410821-1 is not prime. Res64: 1A91E9EB48078798 Time : 0.0 sec. user=mdettweiler [2015-10-02 16:49:07] 811*2^1410821-1 is not prime. Res64: 1FC7CADF7CDF8EE1 Time : 0.0 sec. user=mdettweiler [2015-10-02 16:52:48] 871*2^1410821-1 is not prime. Res64: CC2E88E77F75DBE5 Time : 0.0 sec. user=mdettweiler [2015-10-02 16:52:48] 879*2^1410821-1 is not prime. Res64: B2CB103B1F6B0570 Time : 0.0 sec. user=mdettweiler [2015-10-02 17:06:04] 907*2^1410821-1 is not prime. Res64: 0B751DB35B2D3E5F Time : 0.0 sec. user=mdettweiler [2015-10-02 17:06:04] 931*2^1410821-1 is not prime. Res64: 308AB8E1DD8F27E4 Time : 0.0 sec. user=mdettweiler [2015-10-02 17:06:07] 615*2^1410822-1 is not prime. Res64: BEAFFEEB586E2916 Time : 0.0 sec. user=mdettweiler [2015-10-02 17:06:07] 621*2^1410822-1 is not prime. Res64: 0C72640FF4310B76 Time : 0.0 sec. user=mdettweiler [2015-10-02 17:07:01] 683*2^1410822-1 is not prime. Res64: D2DC56594EEE7668 Time : 0.0 sec. user=mdettweiler [2015-10-02 17:07:01] 711*2^1410822-1 is not prime. Res64: FF7BFEDF4DD84AC0 Time : 0.0 sec. user=mdettweiler [2015-10-02 17:10:35] 649*2^1410823-1 is not prime. Res64: 15AF0AF62AC04CE8 Time : 0.0 sec. user=mdettweiler [2015-10-02 17:10:36] 709*2^1410823-1 is not prime. Res64: 108A7A3C96363BF0 Time : 0.0 sec. user=mdettweiler [2015-10-02 17:23:56] 829*2^1410823-1 is not prime. Res64: E689D986D192329C Time : 0.0 sec. user=mdettweiler [2015-10-02 17:23:57] 999*2^1410823-1 is not prime. Res64: 1D6FD780D4E45B91 Time : 0.0 sec. user=mdettweiler [2015-10-02 17:23:57] 919*2^1410823-1 is not prime. Res64: EAA4C4B800AB4272 Time : 0.0 sec. user=mdettweiler [2015-10-02 17:23:57] 615*2^1410824-1 is not prime. Res64: 2B9787EE9DD77123 Time : 0.0 sec. user=mdettweiler [2015-10-02 17:24:50] 635*2^1410824-1 is not prime. Res64: 9DBC2F3E58A7ABA1 Time : 0.0 sec. user=mdettweiler [2015-10-02 17:24:50] 663*2^1410824-1 is not prime. Res64: A8A28F276805202B Time : 0.0 sec. user=mdettweiler [2015-10-02 17:28:29] 743*2^1410824-1 is not prime. Res64: 032A08CC23DC91A5 Time : 0.0 sec. user=mdettweiler [2015-10-02 17:28:30] 795*2^1410824-1 is not prime. Res64: A8E9324CA206DFCF Time : 0.0 sec. user=mdettweiler [2015-10-02 17:41:48] 827*2^1410824-1 is not prime. Res64: 08413ADD1C9DB183 Time : 0.0 sec. user=mdettweiler [2015-10-02 17:41:48] 875*2^1410824-1 is not prime. Res64: 415635FFE6AB2F9B Time : 0.0 sec. user=mdettweiler [2015-10-02 17:41:54] 929*2^1410824-1 is not prime. Res64: CB6F74C20C2301DB Time : 0.0 sec. user=mdettweiler [2015-10-02 17:41:54] 945*2^1410824-1 is not prime. Res64: 5B592DCCEF98AA43 Time : 0.0 sec. user=mdettweiler [2015-10-02 17:42:42] 995*2^1410824-1 is not prime. Res64: 95963503693DD318 Time : 0.0 sec. user=mdettweiler [2015-10-02 17:42:42] 609*2^1410825-1 is not prime. Res64: F6D69EC5D7F70AF8 Time : 0.0 sec. user=mdettweiler [2015-10-02 17:46:24] 691*2^1410825-1 is not prime. Res64: 048993A60268B772 Time : 0.0 sec. user=mdettweiler [2015-10-02 17:46:24] 795*2^1410825-1 is not prime. Res64: 1C519F049FAEE2D8 Time : 0.0 sec. user=mdettweiler [2015-10-02 17:59:37] 849*2^1410825-1 is not prime. Res64: C350A17E260D0E38 Time : 0.0 sec. user=mdettweiler [2015-10-02 17:59:38] 909*2^1410825-1 is not prime. Res64: 64D00FA2AB8C6EB4 Time : 0.0 sec. user=mdettweiler [2015-10-02 17:59:43] 979*2^1410825-1 is not prime. Res64: 738AE931C5C3BF34 Time : 0.0 sec. user=mdettweiler [2015-10-02 17:59:43] 611*2^1410826-1 is not prime. Res64: B8C594BDE55C5B29 Time : 0.0 sec. user=mdettweiler [2015-10-02 18:00:26] 635*2^1410826-1 is not prime. Res64: F9FA427E0D785BE0 Time : 0.0 sec. user=mdettweiler [2015-10-02 18:00:28] 737*2^1410826-1 is not prime. Res64: B33CE03E2C60EF03 Time : 0.0 sec. user=mdettweiler [2015-10-02 18:04:08] 765*2^1410826-1 is not prime. Res64: C5C6DA7618167299 Time : 0.0 sec. user=mdettweiler [2015-10-02 18:04:11] 777*2^1410826-1 is not prime. Res64: C45F6571FD0A24D1 Time : 0.0 sec. user=mdettweiler [2015-10-02 18:17:22] 783*2^1410826-1 is not prime. Res64: 8F7C255684B209C1 Time : 0.0 sec. user=mdettweiler [2015-10-02 18:17:23] 815*2^1410826-1 is not prime. Res64: F4A7127FC9DAD66B Time : 0.0 sec. user=mdettweiler [2015-10-02 18:17:34] 857*2^1410826-1 is not prime. Res64: B057072588137B88 Time : 0.0 sec. user=mdettweiler [2015-10-02 18:17:34] 941*2^1410826-1 is not prime. Res64: 12BEE98BDC7214B3 Time : 0.0 sec. user=mdettweiler [2015-10-02 18:18:14] 993*2^1410826-1 is not prime. Res64: 634970400DD053FE Time : 0.0 sec. user=mdettweiler [2015-10-02 18:18:14] 601*2^1410827-1 is not prime. Res64: 642C21FEE8ABAC60 Time : 0.0 sec. user=mdettweiler [2015-10-02 18:22:20] 631*2^1410827-1 is not prime. Res64: 6F0E48B6B3E3CEEC Time : 0.0 sec. user=mdettweiler [2015-10-02 18:22:20] 775*2^1410827-1 is not prime. Res64: A17907FCB9019F99 Time : 0.0 sec. user=mdettweiler [2015-10-02 18:35:16] 781*2^1410827-1 is not prime. Res64: 7F472F42C8D774A0 Time : 0.0 sec. user=mdettweiler [2015-10-02 18:35:16] 825*2^1410827-1 is not prime. Res64: 0F572B1C90A4029E Time : 0.0 sec. user=mdettweiler [2015-10-02 18:35:30] 843*2^1410827-1 is not prime. Res64: 3324B2582D1440AA Time : 0.0 sec. user=mdettweiler [2015-10-02 18:35:30] 871*2^1410827-1 is not prime. Res64: 9012E7F9D810E1C8 Time : 0.0 sec. user=mdettweiler [2015-10-02 18:36:15] 895*2^1410827-1 is not prime. Res64: AB0015E1F4A7583B Time : 0.0 sec. user=mdettweiler [2015-10-02 18:36:15] 999*2^1410827-1 is not prime. Res64: E640042151F8C888 Time : 0.0 sec. user=mdettweiler [2015-10-02 18:40:07] 683*2^1410828-1 is not prime. Res64: 025BAC1FF924B1DD Time : 0.0 sec. user=mdettweiler [2015-10-02 18:40:07] 707*2^1410828-1 is not prime. Res64: 4B6CA03C0799078D Time : 0.0 sec. user=mdettweiler [2015-10-02 18:53:09] 759*2^1410828-1 is not prime. Res64: A764A2490C06D7A8 Time : 0.0 sec. user=mdettweiler [2015-10-02 18:53:09] 825*2^1410828-1 is not prime. Res64: 64B9ABB674C03A27 Time : 0.0 sec. user=mdettweiler [2015-10-02 18:53:21] 843*2^1410828-1 is not prime. Res64: 2B5CF7EF39A53DCE Time : 0.0 sec. user=mdettweiler [2015-10-02 18:53:22] 959*2^1410828-1 is not prime. Res64: B9C73823A6C71E18 Time : 0.0 sec. user=mdettweiler [2015-10-02 18:54:17] 975*2^1410828-1 is not prime. Res64: 4467B886D83080D2 Time : 0.0 sec. user=mdettweiler [2015-10-02 18:54:17] 977*2^1410828-1 is not prime. Res64: 15FEBE1360675704 Time : 0.0 sec. user=mdettweiler [2015-10-02 18:57:53] 769*2^1410829-1 is not prime. Res64: AAC50D44F94FB972 Time : 0.0 sec. user=mdettweiler [2015-10-02 18:57:53] 825*2^1410829-1 is not prime. Res64: 72FC245B6465F54D Time : 0.0 sec. user=mdettweiler [2015-10-02 19:11:08] 605*2^1410830-1 is not prime. Res64: 2CE92ADDC2F330F1 Time : 0.0 sec. user=mdettweiler [2015-10-02 19:11:08] 627*2^1410830-1 is not prime. Res64: E7D9E959DD8F08DD Time : 0.0 sec. user=mdettweiler [2015-10-02 19:11:10] 835*2^1410829-1 is not prime. Res64: 5068A04AA95715A6 Time : 0.0 sec. user=mdettweiler [2015-10-02 19:11:10] 967*2^1410829-1 is not prime. Res64: 78B5594E0297D165 Time : 0.0 sec. user=mdettweiler [2015-10-02 19:12:11] 665*2^1410830-1 is not prime. Res64: 1B0532C86458B676 Time : 0.0 sec. user=mdettweiler [2015-10-02 19:12:11] 717*2^1410830-1 is not prime. Res64: ADF9F9FBB00DF83B Time : 0.0 sec. user=mdettweiler [2015-10-02 19:15:44] 827*2^1410830-1 is not prime. Res64: 0C60A8519A84F26F Time : 0.0 sec. user=mdettweiler [2015-10-02 19:15:44] 833*2^1410830-1 is not prime. Res64: 6D935583F2B9EEEC Time : 0.0 sec. user=mdettweiler [2015-10-02 19:29:01] 639*2^1410831-1 is not prime. Res64: D241C28EC077E411 Time : 0.0 sec. user=mdettweiler [2015-10-02 19:29:02] 941*2^1410830-1 is not prime. Res64: 513970ABCED78931 Time : 0.0 sec. user=mdettweiler [2015-10-02 19:29:02] 783*2^1410831-1 is not prime. Res64: 1F7025D1BF92FF1D Time : 0.0 sec. user=mdettweiler [2015-10-02 19:29:03] 977*2^1410830-1 is not prime. Res64: 492FD8848BF3CD3A Time : 0.0 sec. user=mdettweiler [2015-10-02 19:30:04] 865*2^1410831-1 is not prime. Res64: 101696AD75AD6F79 Time : 0.0 sec. user=mdettweiler [2015-10-02 19:30:08] 609*2^1410832-1 is not prime. Res64: 9143C6A615887C9A Time : 0.0 sec. user=mdettweiler [2015-10-02 19:33:29] 645*2^1410832-1 is not prime. Res64: B1D96DCDEF67642B Time : 0.0 sec. user=mdettweiler [2015-10-02 19:33:30] 695*2^1410832-1 is not prime. Res64: 8EFCA4E1DC85B745 Time : 0.0 sec. user=mdettweiler [2015-10-02 19:46:54] 909*2^1410832-1 is not prime. Res64: 5CC85C95B1108352 Time : 0.0 sec. user=mdettweiler [2015-10-02 19:46:54] 947*2^1410832-1 is not prime. Res64: 85B44DE0B1D53A0A Time : 0.0 sec. user=mdettweiler [2015-10-02 19:46:56] 713*2^1410832-1 is not prime. Res64: 466DE27AB0F503D1 Time : 0.0 sec. user=mdettweiler [2015-10-02 19:46:56] 849*2^1410832-1 is not prime. Res64: 374F5242F6DAC807 Time : 0.0 sec. user=mdettweiler [2015-10-02 19:47:55] 983*2^1410832-1 is not prime. Res64: A9B0B9DAF84B7B4B Time : 0.0 sec. user=mdettweiler [2015-10-02 19:47:56] 989*2^1410832-1 is not prime. Res64: 5B8CFFEC9360F8FA Time : 0.0 sec. user=mdettweiler [2015-10-02 19:51:14] 615*2^1410833-1 is not prime. Res64: 873C9680F53A816B Time : 0.0 sec. user=mdettweiler [2015-10-02 19:51:15] 811*2^1410833-1 is not prime. Res64: D1192ACEFDBBB239 Time : 0.0 sec. user=mdettweiler [2015-10-02 20:04:46] 819*2^1410833-1 is not prime. Res64: D8CFB2E416C58720 Time : 0.0 sec. user=mdettweiler [2015-10-02 20:04:47] 915*2^1410833-1 is not prime. Res64: 3CA052E66F20F58C Time : 0.0 sec. user=mdettweiler [2015-10-02 20:04:48] 847*2^1410833-1 is not prime. Res64: 08F6BB8D76BC3B74 Time : 0.0 sec. user=mdettweiler [2015-10-02 20:04:49] 987*2^1410833-1 is not prime. Res64: F2B183E65AFBA452 Time : 0.0 sec. user=mdettweiler [2015-10-02 20:05:47] 657*2^1410834-1 is not prime. Res64: 3E2C39C76EFA58E8 Time : 0.0 sec. user=mdettweiler [2015-10-02 20:05:48] 677*2^1410834-1 is not prime. Res64: FC20243F65E3D142 Time : 0.0 sec. user=mdettweiler [2015-10-02 20:09:00] 723*2^1410834-1 is not prime. Res64: 48B9F0588DE9EF4B Time : 0.0 sec. user=mdettweiler [2015-10-02 20:09:00] 731*2^1410834-1 is not prime. Res64: B968F64CD335252C Time : 0.0 sec. user=mdettweiler [2015-10-02 20:22:53] 741*2^1410834-1 is not prime. Res64: 4E435C1BB5BCBE98 Time : 0.0 sec. user=mdettweiler [2015-10-02 20:22:54] 791*2^1410834-1 is not prime. Res64: CFD62145D27546E7 Time : 0.0 sec. user=mdettweiler [2015-10-02 20:22:56] 803*2^1410834-1 is not prime. Res64: E76934D91070E7B4 Time : 0.0 sec. user=mdettweiler [2015-10-02 20:22:56] 851*2^1410834-1 is not prime. Res64: 92ADC3ECA5CB28BF Time : 0.0 sec. user=mdettweiler [2015-10-02 20:23:40] 905*2^1410834-1 is not prime. Res64: B6B97FD4A0A8F6C6 Time : 0.0 sec. user=mdettweiler [2015-10-02 20:23:40] 639*2^1410835-1 is not prime. Res64: 32F53DEE7CEA4EEF Time : 0.0 sec. user=mdettweiler [2015-10-02 20:26:56] 829*2^1410835-1 is not prime. Res64: 5C76407633F002D9 Time : 0.0 sec. user=mdettweiler [2015-10-02 20:26:56] 853*2^1410835-1 is not prime. Res64: 3A6A96EA8D29F327 Time : 0.0 sec. user=mdettweiler [2015-10-02 20:40:47] 979*2^1410835-1 is not prime. Res64: 37500E4D0626F113 Time : 0.0 sec. user=mdettweiler [2015-10-02 20:40:47] 615*2^1410836-1 is not prime. Res64: 9121C6BD8E5A1874 Time : 0.0 sec. user=mdettweiler [2015-10-02 20:40:47] 609*2^1410836-1 is not prime. Res64: EE08CB228D2D6615 Time : 0.0 sec. user=mdettweiler [2015-10-02 20:40:47] 699*2^1410836-1 is not prime. Res64: C9046CAAFB5C6431 Time : 0.0 sec. user=mdettweiler [2015-10-02 20:41:27] 827*2^1410836-1 is not prime. Res64: 934A948423CB7417 Time : 0.0 sec. user=mdettweiler [2015-10-02 20:41:27] 893*2^1410836-1 is not prime. Res64: 1CD565B984FE3956 Time : 0.0 sec. user=mdettweiler [2015-10-02 20:44:51] 953*2^1410836-1 is not prime. Res64: BEF6714613416F0F Time : 0.0 sec. user=mdettweiler [2015-10-02 20:44:51] 963*2^1410836-1 is not prime. Res64: A266A31F4CB5CC9C Time : 0.0 sec. user=mdettweiler [2015-10-02 20:58:34] 999*2^1410836-1 is not prime. Res64: FD8D6F6EFC1681E3 Time : 0.0 sec. user=mdettweiler [2015-10-02 20:58:34] 627*2^1410837-1 is not prime. Res64: F36C4CA605CA43B7 Time : 0.0 sec. user=mdettweiler [2015-10-02 20:58:35] 655*2^1410837-1 is not prime. Res64: A924E57E427766A6 Time : 0.0 sec. user=mdettweiler [2015-10-02 20:58:35] 837*2^1410837-1 is not prime. Res64: 4CEA7E224E62A06A Time : 0.0 sec. user=mdettweiler [2015-10-02 20:59:17] 867*2^1410837-1 is not prime. Res64: 36168E4F5667F19D Time : 0.0 sec. user=mdettweiler [2015-10-02 20:59:17] 997*2^1410837-1 is not prime. Res64: 7F15D028A9BCD7CE Time : 0.0 sec. user=mdettweiler [2015-10-02 21:02:36] 623*2^1410838-1 is not prime. Res64: A79AC92E303F527C Time : 0.0 sec. user=mdettweiler [2015-10-02 21:02:37] 777*2^1410838-1 is not prime. Res64: E4DD3EC2921030D8 Time : 0.0 sec. user=mdettweiler [2015-10-02 21:16:23] 825*2^1410838-1 is not prime. Res64: 10438E3DE28ADA6B Time : 0.0 sec. user=mdettweiler [2015-10-02 21:16:24] 923*2^1410838-1 is not prime. Res64: 7C7002E89C98BF2B Time : 0.0 sec. user=mdettweiler [2015-10-02 21:16:29] 951*2^1410838-1 is not prime. Res64: 210D9DEC7EBA6AF5 Time : 0.0 sec. user=mdettweiler [2015-10-02 21:16:30] 987*2^1410838-1 is not prime. Res64: 75FAFC7733E9AF67 Time : 0.0 sec. user=mdettweiler [2015-10-02 21:17:04] 993*2^1410838-1 is not prime. Res64: 6021638165B9E064 Time : 0.0 sec. user=mdettweiler [2015-10-02 21:17:04] 703*2^1410839-1 is not prime. Res64: DD45AE22E5F9D6BF Time : 0.0 sec. user=mdettweiler [2015-10-02 21:20:33] 729*2^1410839-1 is not prime. Res64: 707DDCBDE0AAB321 Time : 0.0 sec. user=mdettweiler [2015-10-02 21:20:34] 789*2^1410839-1 is not prime. Res64: C33CEE31C52854C9 Time : 0.0 sec. user=mdettweiler [2015-10-02 21:34:17] 943*2^1410839-1 is not prime. Res64: B0686EB2D494F318 Time : 0.0 sec. user=mdettweiler [2015-10-02 21:34:18] 949*2^1410839-1 is not prime. Res64: 07D3ADCE9EB0263A Time : 0.0 sec. user=mdettweiler [2015-10-02 21:34:18] 859*2^1410839-1 is not prime. Res64: 4969A9C0EF01BDA8 Time : 0.0 sec. user=mdettweiler [2015-10-02 21:34:18] 885*2^1410839-1 is not prime. Res64: 0EC5642F7B1A4F26 Time : 0.0 sec. user=mdettweiler [2015-10-02 21:34:52] 615*2^1410840-1 is not prime. Res64: 4C3729A1A441A29D Time : 0.0 sec. user=mdettweiler [2015-10-02 21:34:53] 635*2^1410840-1 is not prime. Res64: B35BC691386456F6 Time : 0.0 sec. user=mdettweiler [2015-10-02 21:38:24] 695*2^1410840-1 is not prime. Res64: 7A34917B62C5BE2F Time : 0.0 sec. user=mdettweiler [2015-10-02 21:38:24] 767*2^1410840-1 is not prime. Res64: DFA660FB67463694 Time : 0.0 sec. user=mdettweiler [2015-10-02 21:52:12] 915*2^1410840-1 is not prime. Res64: EAD88BE7176F4453 Time : 0.0 sec. user=mdettweiler [2015-10-02 21:52:12] 927*2^1410840-1 is not prime. Res64: 9ADDF9C47C29FAA7 Time : 0.0 sec. user=mdettweiler [2015-10-02 21:52:13] 789*2^1410840-1 is not prime. Res64: 91E0D11ECCA1D164 Time : 0.0 sec. user=mdettweiler [2015-10-02 21:52:13] 825*2^1410840-1 is not prime. Res64: 58C19F7B0322AB7E Time : 0.0 sec. user=mdettweiler [2015-10-02 21:52:42] 715*2^1410841-1 is not prime. Res64: 51E856EF765A85A9 Time : 0.0 sec. user=mdettweiler [2015-10-02 21:52:43] 717*2^1410841-1 is not prime. Res64: 9021B6D62F4E0921 Time : 0.0 sec. user=mdettweiler [2015-10-02 21:56:17] 847*2^1410841-1 is not prime. Res64: DE7D3D22DB17560C Time : 0.0 sec. user=mdettweiler [2015-10-02 21:56:18] 871*2^1410841-1 is not prime. Res64: B737BCD80C4219A7 Time : 0.0 sec. user=mdettweiler [2015-10-02 22:10:03] 791*2^1410842-1 is not prime. Res64: 9B8D93F5A51C1134 Time : 0.0 sec. user=mdettweiler [2015-10-02 22:10:03] 833*2^1410842-1 is not prime. Res64: 42414D1B6F84FE3E Time : 0.0 sec. user=mdettweiler [2015-10-02 22:10:03] 889*2^1410841-1 is not prime. Res64: 485684D14CB82E4F Time : 0.0 sec. user=mdettweiler [2015-10-02 22:10:04] 975*2^1410841-1 is not prime. Res64: D6170FE361233CC1 Time : 0.0 sec. user=mdettweiler [2015-10-02 22:10:26] 873*2^1410842-1 is not prime. Res64: 285B555B66EA5CF1 Time : 0.0 sec. user=mdettweiler [2015-10-02 22:10:27] 1001*2^1410842-1 is not prime. Res64: 41AEFE49F1C919C8 Time : 0.0 sec. user=mdettweiler [2015-10-02 22:14:05] 679*2^1410843-1 is not prime. Res64: F21E97015425C19E Time : 0.0 sec. user=mdettweiler [2015-10-02 22:14:05] 735*2^1410843-1 is not prime. Res64: A66E7086AD07CC6B Time : 0.0 sec. user=mdettweiler [2015-10-02 22:27:50] 745*2^1410843-1 is not prime. Res64: 23F70BB5A25D5C04 Time : 0.0 sec. user=mdettweiler [2015-10-02 22:27:51] 769*2^1410843-1 is not prime. Res64: D01643E489ECD6BC Time : 0.0 sec. user=mdettweiler [2015-10-02 22:28:00] 795*2^1410843-1 is not prime. Res64: B4D0352B1E476D12 Time : 0.0 sec. user=mdettweiler [2015-10-02 22:28:00] 819*2^1410843-1 is not prime. Res64: F601889F2677F631 Time : 0.0 sec. user=mdettweiler [2015-10-02 22:28:16] 849*2^1410843-1 is not prime. Res64: F8821A7CCCAB906E Time : 0.0 sec. user=mdettweiler [2015-10-02 22:28:17] 861*2^1410843-1 is not prime. Res64: 57C820E47F6C3F6C Time : 0.0 sec. user=mdettweiler [2015-10-02 22:31:59] 639*2^1410844-1 is not prime. Res64: 1B4948CA8EFCDFA1 Time : 0.0 sec. user=mdettweiler [2015-10-02 22:32:00] 743*2^1410844-1 is not prime. Res64: 66E2EF3BF2515E7A Time : 0.0 sec. user=mdettweiler [2015-10-02 22:45:36] 759*2^1410844-1 is not prime. Res64: 00CDED895859056A Time : 0.0 sec. user=mdettweiler [2015-10-02 22:45:36] 813*2^1410844-1 is not prime. Res64: F7469ECB02EC23B6 Time : 0.0 sec. user=mdettweiler [2015-10-02 22:45:44] 885*2^1410844-1 is not prime. Res64: 28663437714DDB9E Time : 0.0 sec. user=mdettweiler [2015-10-02 22:45:44] 897*2^1410844-1 is not prime. Res64: DCA848637DDD17F8 Time : 0.0 sec. user=mdettweiler [2015-10-02 22:46:03] 959*2^1410844-1 is not prime. Res64: 75FBE878427D47A8 Time : 0.0 sec. user=mdettweiler [2015-10-02 22:46:03] 983*2^1410844-1 is not prime. Res64: 9200DEFD38E4790C Time : 0.0 sec. user=mdettweiler [2015-10-02 22:49:48] 993*2^1410844-1 is not prime. Res64: BB425571E5E025FA Time : 0.0 sec. user=mdettweiler [2015-10-02 22:49:49] 601*2^1410845-1 is not prime. Res64: F5D6393A611DAAD6 Time : 0.0 sec. user=mdettweiler [2015-10-02 23:04:03] 679*2^1410845-1 is not prime. Res64: 53D6C42528576EFA Time : 0.0 sec. user=mdettweiler [2015-10-02 23:04:04] 699*2^1410845-1 is not prime. Res64: B26D9269E502B643 Time : 0.0 sec. user=mdettweiler [2015-10-02 23:04:15] 757*2^1410845-1 is not prime. Res64: 3899CEC783F6FF73 Time : 0.0 sec. user=mdettweiler [2015-10-02 23:04:16] 831*2^1410845-1 is not prime. Res64: 6866017D53F4C129 Time : 0.0 sec. user=mdettweiler [2015-10-02 23:04:42] 871*2^1410845-1 is not prime. Res64: D610AB13B644C59B Time : 0.0 sec. user=mdettweiler [2015-10-02 23:04:43] 615*2^1410846-1 is not prime. Res64: 24F8235B4C7383FE Time : 0.0 sec. user=mdettweiler [2015-10-02 23:09:18] 635*2^1410846-1 is not prime. Res64: 4B8849B8124378D7 Time : 0.0 sec. user=mdettweiler [2015-10-02 23:09:18] 755*2^1410846-1 is not prime. Res64: 3665E70B85FC1F55 Time : 0.0 sec. user=mdettweiler [2015-10-02 23:28:35] 777*2^1410846-1 is not prime. Res64: F7C82CD54C080B41 Time : 0.0 sec. user=mdettweiler [2015-10-02 23:28:36] 867*2^1410846-1 is not prime. Res64: 2632770E1B7BB6E9 Time : 0.0 sec. user=mdettweiler [2015-10-02 23:29:11] 875*2^1410846-1 is not prime. Res64: 07031A34351DB2FC Time : 0.0 sec. user=mdettweiler [2015-10-02 23:29:12] 947*2^1410846-1 is not prime. Res64: 58FF6A6391A5FCD6 Time : 0.0 sec. user=mdettweiler [2015-10-02 23:29:21] 963*2^1410846-1 is not prime. Res64: 010D0D23224F68B9 Time : 0.0 sec. user=mdettweiler [2015-10-02 23:29:22] 663*2^1410847-1 is not prime. Res64: 1D20F96B90AA430B Time : 0.0 sec. user=mdettweiler [2015-10-02 23:33:39] 675*2^1410847-1 is not prime. Res64: 396079184A75FF2B Time : 0.0 sec. user=mdettweiler [2015-10-02 23:33:40] 703*2^1410847-1 is not prime. Res64: 7A4B3AA9536375DE Time : 0.0 sec. user=mdettweiler [2015-10-02 23:47:50] 741*2^1410847-1 is not prime. Res64: BA679B324187F4F8 Time : 0.0 sec. user=mdettweiler [2015-10-02 23:47:50] 973*2^1410847-1 is not prime. Res64: 0FB2AC6D888C366C Time : 0.0 sec. user=mdettweiler [2015-10-02 23:48:19] 975*2^1410847-1 is not prime. Res64: 11D8A27481569463 Time : 0.0 sec. user=mdettweiler [2015-10-02 23:48:20] 699*2^1410848-1 is not prime. Res64: 1C971D1FD434D5C3 Time : 0.0 sec. user=mdettweiler [2015-10-02 23:48:33] 795*2^1410848-1 is not prime. Res64: 4CE882AF047B17F9 Time : 0.0 sec. user=mdettweiler [2015-10-02 23:48:33] 813*2^1410848-1 is not prime. Res64: 69594E3F35DE78E1 Time : 0.0 sec. user=mdettweiler [2015-10-02 23:52:38] 935*2^1410848-1 is not prime. Res64: FAB6E5E81F226644 Time : 0.0 sec. user=mdettweiler [2015-10-02 23:52:39] 999*2^1410848-1 is not prime. Res64: 1478090DB1E78F36 Time : 0.0 sec.