user=mdettweiler [2017-05-09 00:16:13] 759*2^1453331-1 is not prime. Res64: E28D4A61A8251850 Time : 0.0 sec. user=mdettweiler [2017-05-09 00:16:13] 855*2^1453331-1 is not prime. Res64: 5F78F8E5C4942C2C Time : 0.0 sec. user=mdettweiler [2017-05-09 00:16:14] 859*2^1453331-1 is not prime. Res64: F86CDA199C4D0464 Time : 0.0 sec. user=mdettweiler [2017-05-09 00:16:14] 883*2^1453331-1 is not prime. Res64: 14BD474CB1886880 Time : 0.0 sec. user=mdettweiler [2017-05-09 00:16:15] 993*2^1453331-1 is not prime. Res64: 97DECB785EFAA306 Time : 0.0 sec. user=mdettweiler [2017-05-09 00:19:54] 675*2^1453332-1 is not prime. Res64: B3E7AFD9F4DE7098 Time : 0.0 sec. user=mdettweiler [2017-05-09 00:19:54] 825*2^1453332-1 is not prime. Res64: 3034E831ED69FB0C Time : 0.0 sec. user=mdettweiler [2017-05-09 00:19:55] 887*2^1453332-1 is not prime. Res64: D2ADD3B7E350E070 Time : 0.0 sec. user=mdettweiler [2017-05-09 00:19:55] 893*2^1453332-1 is not prime. Res64: 882EEE68A6996618 Time : 0.0 sec. user=mdettweiler [2017-05-09 00:19:55] 947*2^1453332-1 is not prime. Res64: D4326B5EA4F5B6F9 Time : 0.0 sec. user=juhehe [2017-05-09 00:39:32] 805*2^1453333-1 is not prime. Res64: 40EAAB02E69648EC Time : 0.0 sec. user=mdettweiler [2017-05-09 01:00:50] 847*2^1453333-1 is not prime. Res64: 37821C44ABCBF168 Time : 0.0 sec. user=mdettweiler [2017-05-09 01:00:51] 889*2^1453333-1 is not prime. Res64: 5ADCE6E97D8680AC Time : 0.0 sec. user=mdettweiler [2017-05-09 01:00:52] 927*2^1453333-1 is not prime. Res64: 5B86BDCC0A0953F5 Time : 0.0 sec. user=mdettweiler [2017-05-09 01:00:54] 665*2^1453334-1 is not prime. Res64: 5A697AF62421932B Time : 0.0 sec. user=mdettweiler [2017-05-09 01:00:55] 677*2^1453334-1 is not prime. Res64: 1B9DC1043723A0E2 Time : 0.0 sec. user=mdettweiler [2017-05-09 01:04:26] 705*2^1453334-1 is not prime. Res64: 8B293F15047BA7EB Time : 0.0 sec. user=mdettweiler [2017-05-09 01:04:28] 755*2^1453334-1 is not prime. Res64: 5AEDC70451854B66 Time : 0.0 sec. user=mdettweiler [2017-05-09 01:04:31] 815*2^1453334-1 is not prime. Res64: 5B8804066092DC33 Time : 0.0 sec. user=mdettweiler [2017-05-09 01:04:33] 941*2^1453334-1 is not prime. Res64: DF3E8B41DF1CB0B3 Time : 0.0 sec. user=mdettweiler [2017-05-09 01:04:35] 685*2^1453335-1 is not prime. Res64: 8B29891069F12E59 Time : 0.0 sec. user=mdettweiler [2017-05-09 01:45:45] 723*2^1453335-1 is not prime. Res64: 02BE1F3166C7C0E1 Time : 0.0 sec. user=mdettweiler [2017-05-09 01:45:46] 765*2^1453335-1 is not prime. Res64: 92C8BB0FFA1A8488 Time : 0.0 sec. user=mdettweiler [2017-05-09 01:45:46] 789*2^1453335-1 is not prime. Res64: 916621EB6BFD2152 Time : 0.0 sec. user=mdettweiler [2017-05-09 01:45:47] 819*2^1453335-1 is not prime. Res64: C10CE8BA38286F3E Time : 0.0 sec. user=mdettweiler [2017-05-09 01:45:47] 961*2^1453335-1 is not prime. Res64: 5216CA28C4F7A7F5 Time : 0.0 sec. user=mdettweiler [2017-05-09 01:49:31] 609*2^1453336-1 is not prime. Res64: 86219A5B2AD76D03 Time : 0.0 sec. user=mdettweiler [2017-05-09 01:49:31] 663*2^1453336-1 is not prime. Res64: FADD17DB167D8FCC Time : 0.0 sec. user=mdettweiler [2017-05-09 01:49:32] 803*2^1453336-1 is not prime. Res64: 4F1D3E39C40711D3 Time : 0.0 sec. user=mdettweiler [2017-05-09 01:49:32] 993*2^1453336-1 is not prime. Res64: F70669F9BE713898 Time : 0.0 sec. user=mdettweiler [2017-05-09 01:49:32] 619*2^1453337-1 is not prime. Res64: A0998281628FD351 Time : 0.0 sec. user=mdettweiler [2017-05-09 02:30:24] 741*2^1453337-1 is not prime. Res64: D78C5F301DCEE1AF Time : 0.0 sec. user=mdettweiler [2017-05-09 02:30:28] 865*2^1453337-1 is not prime. Res64: 39A1E5D8BC2ECDC2 Time : 0.0 sec. user=mdettweiler [2017-05-09 02:30:34] 885*2^1453337-1 is not prime. Res64: 72E4F1E285115621 Time : 0.0 sec. user=mdettweiler [2017-05-09 02:30:37] 915*2^1453337-1 is not prime. Res64: 0C9353771528F628 Time : 0.0 sec. user=mdettweiler [2017-05-09 02:30:40] 945*2^1453337-1 is not prime. Res64: DA49478828B54451 Time : 0.0 sec. user=mdettweiler [2017-05-09 02:34:03] 641*2^1453338-1 is not prime. Res64: C5CBFB451C2B2437 Time : 0.0 sec. user=mdettweiler [2017-05-09 02:34:03] 677*2^1453338-1 is not prime. Res64: E7EBCC9EC85BC5A3 Time : 0.0 sec. user=mdettweiler [2017-05-09 02:34:04] 695*2^1453338-1 is not prime. Res64: 41A32E403B7249D3 Time : 0.0 sec. user=mdettweiler [2017-05-09 02:34:04] 705*2^1453338-1 is not prime. Res64: 395CE6AA4372C340 Time : 0.0 sec. user=mdettweiler [2017-05-09 02:34:05] 711*2^1453338-1 is not prime. Res64: E829C22761A6E5B2 Time : 0.0 sec. user=juhehe [2017-05-09 02:36:44] 843*2^1453338-1 is not prime. Res64: 1CFB21FA70A21701 Time : 0.0 sec. user=mdettweiler [2017-05-09 03:15:32] 945*2^1453338-1 is not prime. Res64: 857200EA939C3E56 Time : 0.0 sec. user=mdettweiler [2017-05-09 03:15:33] 619*2^1453339-1 is not prime. Res64: 9CF5201687847EA2 Time : 0.0 sec. user=mdettweiler [2017-05-09 03:15:33] 709*2^1453339-1 is not prime. Res64: B451C3084DEC411F Time : 0.0 sec. user=mdettweiler [2017-05-09 03:15:34] 735*2^1453339-1 is not prime. Res64: DFC08A8C835172ED Time : 0.0 sec. user=mdettweiler [2017-05-09 03:15:35] 853*2^1453339-1 is not prime. Res64: D830F6FA72E76DFE Time : 0.0 sec. user=mdettweiler [2017-05-09 03:18:46] 895*2^1453339-1 is not prime. Res64: D6ACD0F04959F47B Time : 0.0 sec. user=mdettweiler [2017-05-09 03:18:46] 931*2^1453339-1 is not prime. Res64: B0311C720A3DA714 Time : 0.0 sec. user=mdettweiler [2017-05-09 03:18:47] 985*2^1453339-1 is not prime. Res64: 2CB21C3AF9B4783E Time : 0.0 sec. user=mdettweiler [2017-05-09 03:18:47] 605*2^1453340-1 is not prime. Res64: B449A45E41F195CB Time : 0.0 sec. user=mdettweiler [2017-05-09 03:18:48] 669*2^1453340-1 is not prime. Res64: 73E116237EA7E7D9 Time : 0.0 sec. user=mdettweiler [2017-05-09 04:00:08] 909*2^1453340-1 is not prime. Res64: 438904871170521E Time : 0.0 sec. user=mdettweiler [2017-05-09 04:00:08] 959*2^1453340-1 is not prime. Res64: C05B433B5117F3FD Time : 0.0 sec. user=mdettweiler [2017-05-09 04:00:09] 627*2^1453341-1 is not prime. Res64: 9C3C9A6FC27C0369 Time : 0.0 sec. user=mdettweiler [2017-05-09 04:00:09] 657*2^1453341-1 is not prime. Res64: A38C40548CBD56F0 Time : 0.0 sec. user=mdettweiler [2017-05-09 04:00:10] 709*2^1453341-1 is not prime. Res64: EC2C8160FDF96627 Time : 0.0 sec. user=mdettweiler [2017-05-09 04:03:20] 745*2^1453341-1 is not prime. Res64: 1019D55792228B6E Time : 0.0 sec. user=mdettweiler [2017-05-09 04:03:22] 751*2^1453341-1 is not prime. Res64: B76ACBDF967BB8A2 Time : 0.0 sec. user=mdettweiler [2017-05-09 04:03:23] 805*2^1453341-1 is not prime. Res64: 22080C1E1189B910 Time : 0.0 sec. user=mdettweiler [2017-05-09 04:03:24] 847*2^1453341-1 is not prime. Res64: 7A4A3BAAB9FB40F8 Time : 0.0 sec. user=mdettweiler [2017-05-09 04:03:26] 861*2^1453341-1 is not prime. Res64: E584744BA727E752 Time : 0.0 sec. user=juhehe [2017-05-09 04:34:09] 901*2^1453341-1 is not prime. Res64: 70764F4D7A1E3CBC Time : 0.0 sec. user=mdettweiler [2017-05-09 04:44:41] 927*2^1453341-1 is not prime. Res64: 187EC2C5C5D638AD Time : 0.0 sec. user=mdettweiler [2017-05-09 04:44:41] 949*2^1453341-1 is not prime. Res64: 1DEA08B5B64A2A8D Time : 0.0 sec. user=mdettweiler [2017-05-09 04:44:42] 997*2^1453341-1 is not prime. Res64: 0BA95F68BB107754 Time : 0.0 sec. user=mdettweiler [2017-05-09 04:44:42] 617*2^1453342-1 is not prime. Res64: 72C04207F884ECC2 Time : 0.0 sec. user=mdettweiler [2017-05-09 04:44:43] 723*2^1453342-1 is not prime. Res64: F243AEF8BD81560F Time : 0.0 sec. user=mdettweiler [2017-05-09 04:47:58] 731*2^1453342-1 is not prime. Res64: 3AD0F05744E23431 Time : 0.0 sec. user=mdettweiler [2017-05-09 04:47:59] 755*2^1453342-1 is not prime. Res64: D4DDF0871A87D4D7 Time : 0.0 sec. user=mdettweiler [2017-05-09 04:47:59] 813*2^1453342-1 is not prime. Res64: 7663631E993C0178 Time : 0.0 sec. user=mdettweiler [2017-05-09 04:48:00] 825*2^1453342-1 is not prime. Res64: 3C3BAD575E443AC1 Time : 0.0 sec. user=mdettweiler [2017-05-09 04:48:00] 843*2^1453342-1 is not prime. Res64: 127C087021A31C48 Time : 0.0 sec. user=mdettweiler [2017-05-09 05:29:14] 911*2^1453342-1 is not prime. Res64: 3643A5D9342D53A8 Time : 0.0 sec. user=mdettweiler [2017-05-09 05:29:14] 661*2^1453343-1 is not prime. Res64: ADA7A65E3C92F56F Time : 0.0 sec. user=mdettweiler [2017-05-09 05:29:15] 789*2^1453343-1 is not prime. Res64: BAF3C935D8993DD3 Time : 0.0 sec. user=mdettweiler [2017-05-09 05:29:15] 805*2^1453343-1 is not prime. Res64: 40AAC069FC06833A Time : 0.0 sec. user=mdettweiler [2017-05-09 05:29:16] 895*2^1453343-1 is not prime. Res64: CCB49E55641B672A Time : 0.0 sec. user=mdettweiler [2017-05-09 05:32:30] 615*2^1453344-1 is not prime. Res64: 2B115E4DB632754C Time : 0.0 sec. user=mdettweiler [2017-05-09 05:32:30] 635*2^1453344-1 is not prime. Res64: 2598D6F5FA729771 Time : 0.0 sec. user=mdettweiler [2017-05-09 05:32:30] 699*2^1453344-1 is not prime. Res64: 2FA69812D1D9B170 Time : 0.0 sec. user=mdettweiler [2017-05-09 05:32:31] 759*2^1453344-1 is not prime. Res64: 9ED06045E23113D8 Time : 0.0 sec. user=mdettweiler [2017-05-09 05:32:31] 849*2^1453344-1 is not prime. Res64: D7AD41AED77B162D Time : 0.0 sec. user=mdettweiler [2017-05-09 06:13:47] 863*2^1453344-1 is not prime. Res64: F94857E9E1F11195 Time : 0.0 sec. user=mdettweiler [2017-05-09 06:13:47] 905*2^1453344-1 is not prime. Res64: 73A2A553797EADF8 Time : 0.0 sec. user=mdettweiler [2017-05-09 06:13:48] 625*2^1453345-1 is not prime. Res64: 7FC31B8D5734E002 Time : 0.0 sec. user=mdettweiler [2017-05-09 06:13:48] 685*2^1453345-1 is not prime. Res64: D707CC63D2863CAE Time : 0.0 sec. user=mdettweiler [2017-05-09 06:13:48] 705*2^1453345-1 is not prime. Res64: 44071C8785D4B431 Time : 0.0 sec. user=mdettweiler [2017-05-09 06:17:01] 715*2^1453345-1 is not prime. Res64: 5E380701066EB9D5 Time : 0.0 sec. user=mdettweiler [2017-05-09 06:17:02] 717*2^1453345-1 is not prime. Res64: D1A1FA15121038EA Time : 0.0 sec. user=mdettweiler [2017-05-09 06:17:02] 729*2^1453345-1 is not prime. Res64: 7183FC9B8482A797 Time : 0.0 sec. user=mdettweiler [2017-05-09 06:17:03] 751*2^1453345-1 is not prime. Res64: 78193DA84465EE2C Time : 0.0 sec. user=mdettweiler [2017-05-09 06:17:03] 841*2^1453345-1 is not prime. Res64: 3F07929DAAA0A23B Time : 0.0 sec. user=juhehe [2017-05-09 06:31:53] 955*2^1453345-1 is not prime. Res64: 4098246BD156708D Time : 0.0 sec. user=mdettweiler [2017-05-09 06:58:18] 979*2^1453345-1 is not prime. Res64: BCA87CAC5EB8AF18 Time : 0.0 sec. user=mdettweiler [2017-05-09 06:58:19] 713*2^1453346-1 is not prime. Res64: AF54EA6223D8DA06 Time : 0.0 sec. user=mdettweiler [2017-05-09 06:58:19] 717*2^1453346-1 is not prime. Res64: BF95A3D3884EA4BE Time : 0.0 sec. user=mdettweiler [2017-05-09 06:58:19] 735*2^1453346-1 is not prime. Res64: 326806C3E1825044 Time : 0.0 sec. user=mdettweiler [2017-05-09 06:58:20] 843*2^1453346-1 is not prime. Res64: C857DC332F74BF98 Time : 0.0 sec. user=mdettweiler [2017-05-09 07:01:35] 857*2^1453346-1 is not prime. Res64: 1B709CCFC0D3AE3A Time : 0.0 sec. user=mdettweiler [2017-05-09 07:01:36] 903*2^1453346-1 is not prime. Res64: D881CD065ECDD976 Time : 0.0 sec. user=mdettweiler [2017-05-09 07:01:37] 981*2^1453346-1 is not prime. Res64: 13D2488268B948E2 Time : 0.0 sec. user=mdettweiler [2017-05-09 07:01:38] 625*2^1453347-1 is not prime. Res64: A34EB19DAE57D016 Time : 0.0 sec. user=mdettweiler [2017-05-09 07:01:39] 703*2^1453347-1 is not prime. Res64: 661254D5E215A567 Time : 0.0 sec. user=mdettweiler [2017-05-09 07:42:53] 765*2^1453347-1 is not prime. Res64: D8874BDED086D7C5 Time : 0.0 sec. user=mdettweiler [2017-05-09 07:42:54] 819*2^1453347-1 is not prime. Res64: B636A9DCA7FA5341 Time : 0.0 sec. user=mdettweiler [2017-05-09 07:42:54] 843*2^1453347-1 is not prime. Res64: 2AB5602B08AC1396 Time : 0.0 sec. user=mdettweiler [2017-05-09 07:42:55] 849*2^1453347-1 is not prime. Res64: BF92516C9F12BE1D Time : 0.0 sec. user=mdettweiler [2017-05-09 07:42:55] 879*2^1453347-1 is not prime. Res64: 2BDA44CB82F1BDBA Time : 0.0 sec. user=mdettweiler [2017-05-09 07:46:13] 639*2^1453348-1 is not prime. Res64: 7AB05009B7348BD0 Time : 0.0 sec. user=mdettweiler [2017-05-09 07:46:13] 657*2^1453348-1 is not prime. Res64: 5416DAFF81551B38 Time : 0.0 sec. user=mdettweiler [2017-05-09 07:46:14] 665*2^1453348-1 is not prime. Res64: 09A56D42607662F3 Time : 0.0 sec. user=mdettweiler [2017-05-09 07:46:14] 869*2^1453348-1 is not prime. Res64: F2B89C409A30ADB9 Time : 0.0 sec. user=mdettweiler [2017-05-09 07:46:14] 897*2^1453348-1 is not prime. Res64: 8A1F0285420FB8C7 Time : 0.0 sec. user=mdettweiler [2017-05-09 08:27:29] 999*2^1453348-1 is not prime. Res64: 77E0C70253373E3F Time : 0.0 sec. user=mdettweiler [2017-05-09 08:27:29] 655*2^1453349-1 is not prime. Res64: D0E2CC683E3EFA1E Time : 0.0 sec. user=mdettweiler [2017-05-09 08:27:30] 697*2^1453349-1 is not prime. Res64: 7CD6D07B18A4857D Time : 0.0 sec. user=mdettweiler [2017-05-09 08:27:30] 885*2^1453349-1 is not prime. Res64: 42A69E0AC53A680E Time : 0.0 sec. user=mdettweiler [2017-05-09 08:27:31] 957*2^1453349-1 is not prime. Res64: B7D8C034DD2CD3FF Time : 0.0 sec. user=juhehe [2017-05-09 08:29:40] 615*2^1453351-1 is not prime. Res64: 6ED1816EEE998D03 Time : 0.0 sec. user=mdettweiler [2017-05-09 08:30:46] 635*2^1453350-1 is not prime. Res64: 5B5AB067DFCA32FE Time : 0.0 sec. user=mdettweiler [2017-05-09 08:30:46] 641*2^1453350-1 is not prime. Res64: 20088F5E851962D1 Time : 0.0 sec. user=mdettweiler [2017-05-09 08:30:47] 723*2^1453350-1 is not prime. Res64: 13E7E0147E533743 Time : 0.0 sec. user=mdettweiler [2017-05-09 08:30:48] 945*2^1453350-1 is not prime. Res64: EC40847AD561AACA Time : 0.0 sec. user=mdettweiler [2017-05-09 08:30:48] 965*2^1453350-1 is not prime. Res64: 6047BE36239B6B85 Time : 0.0 sec. user=mdettweiler [2017-05-09 09:12:02] 663*2^1453351-1 is not prime. Res64: 4518628B368BBFBE Time : 0.0 sec. user=mdettweiler [2017-05-09 09:12:03] 673*2^1453351-1 is not prime. Res64: 561570DC84E7B102 Time : 0.0 sec. user=mdettweiler [2017-05-09 09:12:03] 693*2^1453351-1 is not prime. Res64: 6AA469E8BAADB504 Time : 0.0 sec. user=mdettweiler [2017-05-09 09:12:04] 909*2^1453351-1 is not prime. Res64: B3FDAE66B81CC2C3 Time : 0.0 sec. user=mdettweiler [2017-05-09 09:12:04] 913*2^1453351-1 is not prime. Res64: 45648559274E0B72 Time : 0.0 sec. user=mdettweiler [2017-05-09 09:15:23] 665*2^1453352-1 is not prime. Res64: 8AFFE1E98C349D2A Time : 0.0 sec. user=mdettweiler [2017-05-09 09:15:23] 689*2^1453352-1 is not prime. Res64: DDD741CBD0747340 Time : 0.0 sec. user=mdettweiler [2017-05-09 09:15:24] 755*2^1453352-1 is not prime. Res64: A1EB151CCBAD255A Time : 0.0 sec. user=mdettweiler [2017-05-09 09:15:25] 825*2^1453352-1 is not prime. Res64: 414A8DB05D75335B Time : 0.0 sec. user=mdettweiler [2017-05-09 09:15:26] 963*2^1453352-1 is not prime. Res64: AA32D09C789580F3 Time : 0.0 sec. user=juhehe [2017-05-09 09:47:59] 977*2^1453352-1 is not prime. Res64: 29B3C979E5B0C311 Time : 0.0 sec. user=mdettweiler [2017-05-09 09:56:38] 657*2^1453353-1 is not prime. Res64: 1D35792D20A3F28C Time : 0.0 sec. user=mdettweiler [2017-05-09 09:56:39] 699*2^1453353-1 is not prime. Res64: 7749CEFB50AA2BD6 Time : 0.0 sec. user=mdettweiler [2017-05-09 09:56:39] 705*2^1453353-1 is not prime. Res64: CA077FE18D16B0E6 Time : 0.0 sec. user=mdettweiler [2017-05-09 09:56:40] 805*2^1453353-1 is not prime. Res64: 22AF913622D57518 Time : 0.0 sec. user=mdettweiler [2017-05-09 09:56:40] 867*2^1453353-1 is not prime. Res64: B695A2B98ED7221C Time : 0.0 sec. user=mdettweiler [2017-05-09 09:59:57] 877*2^1453353-1 is not prime. Res64: 01C6E4BFC673E473 Time : 0.0 sec. user=mdettweiler [2017-05-09 09:59:58] 885*2^1453353-1 is not prime. Res64: 586AC57435628E69 Time : 0.0 sec. user=mdettweiler [2017-05-09 09:59:58] 949*2^1453353-1 is not prime. Res64: E23AB165198D1B9A Time : 0.0 sec. user=mdettweiler [2017-05-09 09:59:58] 985*2^1453353-1 is not prime. Res64: C2BBDE3DACC5B678 Time : 0.0 sec. user=mdettweiler [2017-05-09 09:59:59] 605*2^1453354-1 is not prime. Res64: 38EA7491803AA84C Time : 0.0 sec. user=juhehe [2017-05-09 10:15:40] 617*2^1453354-1 is not prime. Res64: FB8A3FD49F7C77B3 Time : 0.0 sec. user=mdettweiler [2017-05-09 10:41:11] 623*2^1453354-1 is not prime. Res64: 65D2103975C50826 Time : 0.0 sec. user=mdettweiler [2017-05-09 10:41:11] 671*2^1453354-1 is not prime. Res64: D178F7F9C55FA5B9 Time : 0.0 sec. user=mdettweiler [2017-05-09 10:41:12] 717*2^1453354-1 is not prime. Res64: B2E2F292AE8FD40D Time : 0.0 sec. user=mdettweiler [2017-05-09 10:41:12] 747*2^1453354-1 is not prime. Res64: FBCB73D2B4343CB4 Time : 0.0 sec. user=mdettweiler [2017-05-09 10:41:13] 765*2^1453354-1 is not prime. Res64: 35771C56D3C81491 Time : 0.0 sec. user=mdettweiler [2017-05-09 10:44:30] 803*2^1453354-1 is not prime. Res64: 3BB8457FB36266C2 Time : 0.0 sec. user=mdettweiler [2017-05-09 10:44:31] 833*2^1453354-1 is not prime. Res64: 76F0BADF00A0C020 Time : 0.0 sec. user=mdettweiler [2017-05-09 10:44:31] 915*2^1453354-1 is not prime. Res64: AE0DC66606A83673 Time : 0.0 sec. user=mdettweiler [2017-05-09 10:44:32] 981*2^1453354-1 is not prime. Res64: 9F8AC260E8596BD6 Time : 0.0 sec. user=mdettweiler [2017-05-09 10:44:32] 655*2^1453355-1 is not prime. Res64: 5D8537B6A35C0DDC Time : 0.0 sec. user=mdettweiler [2017-05-09 11:25:47] 733*2^1453355-1 is not prime. Res64: 1118F2FE2F66733B Time : 0.0 sec. user=mdettweiler [2017-05-09 11:25:48] 861*2^1453355-1 is not prime. Res64: 464505E3EEAF767D Time : 0.0 sec. user=mdettweiler [2017-05-09 11:25:49] 883*2^1453355-1 is not prime. Res64: B925922CAE1134D1 Time : 0.0 sec. user=mdettweiler [2017-05-09 11:25:49] 633*2^1453356-1 is not prime. Res64: 734AFD36E99F415B Time : 0.0 sec. user=mdettweiler [2017-05-09 11:25:50] 773*2^1453356-1 is not prime. Res64: 2DCFD393EAC6EB5D Time : 0.0 sec. user=mdettweiler [2017-05-09 11:29:07] 809*2^1453356-1 is not prime. Res64: 70B1FBFFE87968CA Time : 0.0 sec. user=mdettweiler [2017-05-09 11:29:08] 867*2^1453356-1 is not prime. Res64: 5BB79D815788BCE4 Time : 0.0 sec. user=mdettweiler [2017-05-09 11:29:08] 893*2^1453356-1 is not prime. Res64: 0042A2CBED3521B0 Time : 0.0 sec. user=mdettweiler [2017-05-09 11:29:09] 899*2^1453356-1 is not prime. Res64: 710B25B9049FE18C Time : 0.0 sec. user=mdettweiler [2017-05-09 11:29:09] 983*2^1453356-1 is not prime. Res64: E3371BC37BB812A7 Time : 0.0 sec. user=juhehe [2017-05-09 11:45:47] 607*2^1453357-1 is not prime. Res64: 07B7C014048B5BCE Time : 0.0 sec. user=mdettweiler [2017-05-09 12:10:28] 615*2^1453357-1 is not prime. Res64: 10220D4446658317 Time : 0.0 sec. user=mdettweiler [2017-05-09 12:10:28] 687*2^1453357-1 is not prime. Res64: A86C4791366C1830 Time : 0.0 sec. user=mdettweiler [2017-05-09 12:10:29] 717*2^1453357-1 is not prime. Res64: 67EC0599E29D883D Time : 0.0 sec. user=mdettweiler [2017-05-09 12:10:29] 849*2^1453357-1 is not prime. Res64: 221BA3E149138653 Time : 0.0 sec. user=mdettweiler [2017-05-09 12:10:30] 967*2^1453357-1 is not prime. Res64: 25AADAE84B0E55A6 Time : 0.0 sec. user=mdettweiler [2017-05-09 12:13:46] 801*2^1453358-1 is not prime. Res64: 01335881076B5895 Time : 0.0 sec. user=mdettweiler [2017-05-09 12:13:46] 843*2^1453358-1 is not prime. Res64: 1ACCB32A400847A5 Time : 0.0 sec. user=mdettweiler [2017-05-09 12:13:47] 867*2^1453358-1 is not prime. Res64: 85E0FD9E56BE3195 Time : 0.0 sec. user=mdettweiler [2017-05-09 12:13:47] 887*2^1453358-1 is not prime. Res64: 115B15A93D070DEC Time : 0.0 sec. user=mdettweiler [2017-05-09 12:13:48] 921*2^1453358-1 is not prime. Res64: C0E021B45C249497 Time : 0.0 sec. user=mdettweiler [2017-05-09 12:55:02] 935*2^1453358-1 is not prime. Res64: 8071AEFB6553BC02 Time : 0.0 sec. user=mdettweiler [2017-05-09 12:55:02] 945*2^1453358-1 is not prime. Res64: 57E16FDF73D65A9C Time : 0.0 sec. user=mdettweiler [2017-05-09 12:55:02] 977*2^1453358-1 is not prime. Res64: 0DA04F632ECE1524 Time : 0.0 sec. user=mdettweiler [2017-05-09 12:55:03] 1001*2^1453358-1 is not prime. Res64: 5D0D505AD307D892 Time : 0.0 sec. user=mdettweiler [2017-05-09 12:55:03] 709*2^1453359-1 is not prime. Res64: 0526E9DBDB94005C Time : 0.0 sec. user=mdettweiler [2017-05-09 12:58:18] 891*2^1453359-1 is not prime. Res64: AAA1B8857452EE32 Time : 0.0 sec. user=mdettweiler [2017-05-09 12:58:18] 603*2^1453360-1 is not prime. Res64: 39C0C82C55B3F806 Time : 0.0 sec. user=mdettweiler [2017-05-09 12:58:19] 713*2^1453360-1 is not prime. Res64: 201D102BD16B785D Time : 0.0 sec. user=mdettweiler [2017-05-09 12:58:19] 797*2^1453360-1 is not prime. Res64: CF824A0F061370DE Time : 0.0 sec. user=mdettweiler [2017-05-09 12:58:20] 827*2^1453360-1 is not prime. Res64: 1CABAA5AD976395C Time : 0.0 sec. user=mdettweiler [2017-05-09 13:39:32] 833*2^1453360-1 is not prime. Res64: 9E28FB5735DC5826 Time : 0.0 sec. user=mdettweiler [2017-05-09 13:39:33] 607*2^1453361-1 is not prime. Res64: FF13015C64D56190 Time : 0.0 sec. user=mdettweiler [2017-05-09 13:39:33] 619*2^1453361-1 is not prime. Res64: EE7954EF8CB36D7C Time : 0.0 sec. user=mdettweiler [2017-05-09 13:39:34] 711*2^1453361-1 is not prime. Res64: 87FBA5C648A942A8 Time : 0.0 sec. user=mdettweiler [2017-05-09 13:39:34] 937*2^1453361-1 is not prime. Res64: 34148F460EBA2E82 Time : 0.0 sec. user=mdettweiler [2017-05-09 13:42:52] 957*2^1453361-1 is not prime. Res64: 4E261BC0F5844258 Time : 0.0 sec. user=mdettweiler [2017-05-09 13:42:52] 647*2^1453362-1 is not prime. Res64: BA6C1AF0F0C9D31B Time : 0.0 sec. user=mdettweiler [2017-05-09 13:42:52] 705*2^1453362-1 is not prime. Res64: 78B147D1FAD89B00 Time : 0.0 sec. user=mdettweiler [2017-05-09 13:42:53] 747*2^1453362-1 is not prime. Res64: ABB9726AA0C349AC Time : 0.0 sec. user=mdettweiler [2017-05-09 13:42:53] 941*2^1453362-1 is not prime. Res64: 3E4F4D6E89BE1316 Time : 0.0 sec. user=juhehe [2017-05-09 13:43:49] 951*2^1453362-1 is not prime. Res64: D3060B526DAFF392 Time : 0.0 sec. user=mdettweiler [2017-05-09 14:24:13] 835*2^1453363-1 is not prime. Res64: E4C245A5071F0777 Time : 0.0 sec. user=mdettweiler [2017-05-09 14:24:14] 951*2^1453363-1 is not prime. Res64: BAC841A108C557CE Time : 0.0 sec. user=mdettweiler [2017-05-09 14:24:14] 999*2^1453363-1 is not prime. Res64: 49B1DF3547B50D38 Time : 0.0 sec. user=mdettweiler [2017-05-09 14:24:15] 617*2^1453364-1 is not prime. Res64: 0EB926BA5AFD1673 Time : 0.0 sec. user=mdettweiler [2017-05-09 14:24:15] 729*2^1453364-1 is not prime. Res64: 4F17A70C3AE06628 Time : 0.0 sec. user=mdettweiler [2017-05-09 14:27:33] 813*2^1453364-1 is not prime. Res64: 2A19D397A39F937E Time : 0.0 sec. user=mdettweiler [2017-05-09 14:27:33] 825*2^1453364-1 is not prime. Res64: E8A57F931F6C5B8C Time : 0.0 sec. user=mdettweiler [2017-05-09 14:27:34] 843*2^1453364-1 is not prime. Res64: F0AC226A5D58C409 Time : 0.0 sec. user=mdettweiler [2017-05-09 14:27:34] 927*2^1453364-1 is not prime. Res64: F2E9826740140E7B Time : 0.0 sec. user=mdettweiler [2017-05-09 14:27:34] 969*2^1453364-1 is not prime. Res64: 7BB3DD88A8BBBEE2 Time : 0.0 sec. user=mdettweiler [2017-05-09 15:09:47] 667*2^1453365-1 is not prime. Res64: C99D4FBB788BA10E Time : 0.0 sec. user=mdettweiler [2017-05-09 15:09:48] 795*2^1453365-1 is not prime. Res64: E0D3D2DA45DB8910 Time : 0.0 sec. user=mdettweiler [2017-05-09 15:09:48] 859*2^1453365-1 is not prime. Res64: AC0C1F047D97D0AB Time : 0.0 sec. user=mdettweiler [2017-05-09 15:09:48] 861*2^1453365-1 is not prime. Res64: CA21B8E9D246B61A Time : 0.0 sec. user=mdettweiler [2017-05-09 15:09:48] 961*2^1453365-1 is not prime. Res64: D8D3C7D918970053 Time : 0.0 sec. user=mdettweiler [2017-05-09 15:13:06] 773*2^1453366-1 is not prime. Res64: 6287693A5572BDA2 Time : 0.0 sec. user=mdettweiler [2017-05-09 15:13:07] 833*2^1453366-1 is not prime. Res64: E47AE26242A6ACD7 Time : 0.0 sec. user=mdettweiler [2017-05-09 15:13:07] 855*2^1453366-1 is not prime. Res64: 88F55F5EA27E5864 Time : 0.0 sec. user=mdettweiler [2017-05-09 15:13:07] 975*2^1453366-1 is not prime. Res64: 54314550A582043B Time : 0.0 sec. user=mdettweiler [2017-05-09 15:13:08] 661*2^1453367-1 is not prime. Res64: C7BEB167DA4B1E63 Time : 0.0 sec. user=juhehe [2017-05-09 15:41:38] 685*2^1453367-1 is not prime. Res64: C41B78B0FD2517EC Time : 0.0 sec. user=mdettweiler [2017-05-09 15:54:15] 703*2^1453367-1 is not prime. Res64: 9AC5D7EA78385BB1 Time : 0.0 sec. user=mdettweiler [2017-05-09 15:54:16] 763*2^1453367-1 is not prime. Res64: E1FE7AA7CC78B198 Time : 0.0 sec. user=mdettweiler [2017-05-09 15:54:16] 861*2^1453367-1 is not prime. Res64: F16EDA24437A777A Time : 0.0 sec. user=mdettweiler [2017-05-09 15:54:17] 979*2^1453367-1 is not prime. Res64: DEB9D179E861ED48 Time : 0.0 sec. user=mdettweiler [2017-05-09 15:54:17] 993*2^1453367-1 is not prime. Res64: 2A96EE75A6EDC8A9 Time : 0.0 sec. user=mdettweiler [2017-05-09 15:57:35] 707*2^1453368-1 is not prime. Res64: 9BF16D0E62EE10B9 Time : 0.0 sec. user=mdettweiler [2017-05-09 15:57:36] 737*2^1453368-1 is not prime. Res64: 0E2B982B55064AE1 Time : 0.0 sec. user=mdettweiler [2017-05-09 15:57:36] 819*2^1453368-1 is not prime. Res64: 339DBA11E1978347 Time : 0.0 sec. user=mdettweiler [2017-05-09 15:57:37] 879*2^1453368-1 is not prime. Res64: 67233E6C1D40D7FA Time : 0.0 sec. user=mdettweiler [2017-05-09 15:57:37] 691*2^1453369-1 is not prime. Res64: DC903993C5BA4AD4 Time : 0.0 sec. user=mdettweiler [2017-05-09 16:38:44] 775*2^1453369-1 is not prime. Res64: FE1055767571C0BA Time : 0.0 sec. user=mdettweiler [2017-05-09 16:38:44] 817*2^1453369-1 is not prime. Res64: DCE620D58A91B087 Time : 0.0 sec. user=mdettweiler [2017-05-09 16:38:45] 847*2^1453369-1 is not prime. Res64: F344043E33DC0102 Time : 0.0 sec. user=mdettweiler [2017-05-09 16:38:45] 867*2^1453369-1 is not prime. Res64: 3A405FD57B064BAE Time : 0.0 sec. user=mdettweiler [2017-05-09 16:38:46] 999*2^1453369-1 is not prime. Res64: C0DD4A5CDF2DE86E Time : 0.0 sec. user=mdettweiler [2017-05-09 16:42:03] 635*2^1453370-1 is not prime. Res64: 321FA75819F3A95E Time : 0.0 sec. user=mdettweiler [2017-05-09 16:42:04] 735*2^1453370-1 is not prime. Res64: 22C6B3A05F86F747 Time : 0.0 sec. user=mdettweiler [2017-05-09 16:42:04] 741*2^1453370-1 is not prime. Res64: 6303FC3671E12EEB Time : 0.0 sec. user=mdettweiler [2017-05-09 16:42:04] 827*2^1453370-1 is not prime. Res64: 0D020A030AB52E5F Time : 0.0 sec. user=mdettweiler [2017-05-09 16:42:05] 845*2^1453370-1 is not prime. Res64: 75793F7E704AE4A8 Time : 0.0 sec. user=mdettweiler [2017-05-09 17:23:14] 945*2^1453370-1 is not prime. Res64: A6F3F5FD5AAB1C17 Time : 0.0 sec. user=mdettweiler [2017-05-09 17:23:14] 981*2^1453370-1 is not prime. Res64: D13FD4B6F5BE81AA Time : 0.0 sec. user=mdettweiler [2017-05-09 17:23:15] 703*2^1453371-1 is not prime. Res64: B80BD18328D0E860 Time : 0.0 sec. user=mdettweiler [2017-05-09 17:23:16] 789*2^1453371-1 is not prime. Res64: A62D25BF5BD53AB6 Time : 0.0 sec. user=mdettweiler [2017-05-09 17:23:16] 793*2^1453371-1 is not prime. Res64: 257B3594489B3B8F Time : 0.0 sec. user=mdettweiler [2017-05-09 17:26:30] 859*2^1453371-1 is not prime. Res64: 13E943E76CC55341 Time : 0.0 sec. user=mdettweiler [2017-05-09 17:26:30] 873*2^1453371-1 is not prime. Res64: FD19291CE5A01042 Time : 0.0 sec. user=mdettweiler [2017-05-09 17:26:31] 879*2^1453371-1 is not prime. Res64: 751F79DD045AA574 Time : 0.0 sec. user=mdettweiler [2017-05-09 17:26:31] 921*2^1453371-1 is not prime. Res64: 5426B4CBBC645A3D Time : 0.0 sec. user=mdettweiler [2017-05-09 17:26:32] 975*2^1453371-1 is not prime. Res64: 4285F040FFD264CF Time : 0.0 sec. user=juhehe [2017-05-09 17:39:49] 827*2^1453372-1 is not prime. Res64: 1612283ADC3EFFF3 Time : 0.0 sec. user=mdettweiler [2017-05-09 18:07:43] 875*2^1453372-1 is not prime. Res64: C2929F862A32D33A Time : 0.0 sec. user=mdettweiler [2017-05-09 18:07:43] 899*2^1453372-1 is not prime. Res64: 72EC989AC3307585 Time : 0.0 sec. user=mdettweiler [2017-05-09 18:07:44] 909*2^1453372-1 is not prime. Res64: 6C035AEBD238A4ED Time : 0.0 sec. user=mdettweiler [2017-05-09 18:07:44] 929*2^1453372-1 is not prime. Res64: E37F7D4417E2DD11 Time : 0.0 sec. user=mdettweiler [2017-05-09 18:07:45] 983*2^1453372-1 is not prime. Res64: EC9F00AB483CC31D Time : 0.0 sec. user=mdettweiler [2017-05-09 18:10:58] 675*2^1453373-1 is not prime. Res64: 4B810DA200C724B1 Time : 0.0 sec. user=mdettweiler [2017-05-09 18:10:58] 691*2^1453373-1 is not prime. Res64: A63DCC68F6182D9F Time : 0.0 sec. user=mdettweiler [2017-05-09 18:10:59] 699*2^1453373-1 is not prime. Res64: F7C6B596905C5A1D Time : 0.0 sec. user=mdettweiler [2017-05-09 18:10:59] 745*2^1453373-1 is not prime. Res64: 41336F7AAF57DCF5 Time : 0.0 sec. user=mdettweiler [2017-05-09 18:11:00] 789*2^1453373-1 is not prime. Res64: 9856619D4AD3D54C Time : 0.0 sec. user=mdettweiler [2017-05-09 18:52:16] 657*2^1453374-1 is not prime. Res64: 8F11A1C4753F07E7 Time : 0.0 sec. user=mdettweiler [2017-05-09 18:52:16] 693*2^1453374-1 is not prime. Res64: 8C2AAC10E5F10D60 Time : 0.0 sec. user=mdettweiler [2017-05-09 18:52:16] 863*2^1453374-1 is not prime. Res64: 82280CCAAFACD039 Time : 0.0 sec. user=mdettweiler [2017-05-09 18:52:17] 881*2^1453374-1 is not prime. Res64: A68727C9CA8DB165 Time : 0.0 sec. user=mdettweiler [2017-05-09 18:52:17] 917*2^1453374-1 is not prime. Res64: 59BBF7CE527CBF18 Time : 0.0 sec. user=mdettweiler [2017-05-09 18:55:27] 1001*2^1453374-1 is not prime. Res64: D8F751948A972B32 Time : 0.0 sec. user=mdettweiler [2017-05-09 18:55:27] 603*2^1453375-1 is not prime. Res64: 7D2A2F3A54FE0CD7 Time : 0.0 sec. user=mdettweiler [2017-05-09 18:55:28] 633*2^1453375-1 is not prime. Res64: 548A184B632DAD99 Time : 0.0 sec. user=mdettweiler [2017-05-09 18:55:28] 705*2^1453375-1 is not prime. Res64: C46C9A78FBC85023 Time : 0.0 sec. user=mdettweiler [2017-05-09 18:55:28] 873*2^1453375-1 is not prime. Res64: AF50E8921DF7710B Time : 0.0 sec. user=mdettweiler [2017-05-09 19:36:43] 743*2^1453376-1 is not prime. Res64: F690BFB412224619 Time : 0.0 sec. user=mdettweiler [2017-05-09 19:36:44] 827*2^1453376-1 is not prime. Res64: F4C47DC7758B9AF0 Time : 0.0 sec. user=mdettweiler [2017-05-09 19:36:44] 869*2^1453376-1 is not prime. Res64: 2AE9C77003CB0EF0 Time : 0.0 sec. user=mdettweiler [2017-05-09 19:36:45] 873*2^1453376-1 is not prime. Res64: E2F05FAF27DAD27D Time : 0.0 sec. user=mdettweiler [2017-05-09 19:36:45] 969*2^1453376-1 is not prime. Res64: 8FEA171ADB708540 Time : 0.0 sec. user=juhehe [2017-05-09 19:37:41] 813*2^1453378-1 is not prime. Res64: 6E7FD5652697E491 Time : 0.0 sec. user=mdettweiler [2017-05-09 19:39:55] 999*2^1453376-1 is not prime. Res64: 28673F2D4AFDF517 Time : 0.0 sec. user=mdettweiler [2017-05-09 19:39:55] 741*2^1453377-1 is not prime. Res64: 3CA26F8863196C03 Time : 0.0 sec. user=mdettweiler [2017-05-09 19:39:56] 807*2^1453377-1 is not prime. Res64: 51157B08C6850B13 Time : 0.0 sec. user=mdettweiler [2017-05-09 19:39:56] 871*2^1453377-1 is not prime. Res64: 3612DEA96D4F767F Time : 0.0 sec. user=mdettweiler [2017-05-09 19:39:57] 773*2^1453378-1 is not prime. Res64: 95989E2C225CE89E Time : 0.0 sec. user=mdettweiler [2017-05-09 20:21:30] 995*2^1453378-1 is not prime. Res64: 866577D88FFA188A Time : 0.0 sec. user=mdettweiler [2017-05-09 20:21:30] 603*2^1453379-1 is not prime. Res64: A5DB98661C3BBDFE Time : 0.0 sec. user=mdettweiler [2017-05-09 20:21:31] 711*2^1453379-1 is not prime. Res64: F77CC9A5DF768FB3 Time : 0.0 sec. user=mdettweiler [2017-05-09 20:21:31] 813*2^1453379-1 is not prime. Res64: 9B3A1EBA86B88C94 Time : 0.0 sec. user=mdettweiler [2017-05-09 20:21:32] 633*2^1453380-1 is not prime. Res64: BB1EFDDD2F29F17C Time : 0.0 sec. user=mdettweiler [2017-05-09 20:24:38] 699*2^1453380-1 is not prime. Res64: 5FFD9A98D2654E6B Time : 0.0 sec. user=mdettweiler [2017-05-09 20:24:38] 723*2^1453380-1 is not prime. Res64: 3A228A3C7EC01A8E Time : 0.0 sec. user=mdettweiler [2017-05-09 20:24:39] 725*2^1453380-1 is not prime. Res64: 277764E4B810845E Time : 0.0 sec. user=mdettweiler [2017-05-09 20:24:39] 767*2^1453380-1 is not prime. Res64: B083C770BBC8192C Time : 0.0 sec. user=mdettweiler [2017-05-09 20:24:40] 789*2^1453380-1 is not prime. Res64: 7EEBA065D6B7E271 Time : 0.0 sec. user=juhehe [2017-05-09 20:55:48] 927*2^1453380-1 is not prime. Res64: 6835CFA7AC4A1586 Time : 0.0 sec. user=mdettweiler [2017-05-09 21:06:04] 687*2^1453381-1 is not prime. Res64: ABC5F8BFFC7DFD78 Time : 0.0 sec. user=mdettweiler [2017-05-09 21:06:05] 757*2^1453381-1 is not prime. Res64: 8DD14BCEEB3EED02 Time : 0.0 sec. user=mdettweiler [2017-05-09 21:06:07] 855*2^1453381-1 is not prime. Res64: D1D2F5DCB7889E7A Time : 0.0 sec. user=mdettweiler [2017-05-09 21:06:08] 861*2^1453381-1 is not prime. Res64: FF7C3A4756E24D75 Time : 0.0 sec. user=mdettweiler [2017-05-09 21:06:12] 867*2^1453381-1 is not prime. Res64: 87286C31888F0E9E Time : 0.0 sec. user=mdettweiler [2017-05-09 21:09:10] 871*2^1453381-1 is not prime. Res64: B11D0F8EBC2DA855 Time : 0.0 sec. user=mdettweiler [2017-05-09 21:09:10] 895*2^1453381-1 is not prime. Res64: 9D01504E6FBF3785 Time : 0.0 sec. user=mdettweiler [2017-05-09 21:09:11] 939*2^1453381-1 is not prime. Res64: BD48848C792E91A2 Time : 0.0 sec. user=mdettweiler [2017-05-09 21:09:11] 999*2^1453381-1 is not prime. Res64: 68C34D0E93D07E3E Time : 0.0 sec. user=mdettweiler [2017-05-09 21:09:12] 645*2^1453382-1 is not prime. Res64: EB6DA6337F848831 Time : 0.0 sec. user=mdettweiler [2017-05-09 21:50:51] 743*2^1453382-1 is not prime. Res64: 2E3DA2373912E13B Time : 0.0 sec. user=mdettweiler [2017-05-09 21:50:51] 785*2^1453382-1 is not prime. Res64: 781A27D35425B278 Time : 0.0 sec. user=mdettweiler [2017-05-09 21:50:51] 917*2^1453382-1 is not prime. Res64: B708E114D0DBFDB2 Time : 0.0 sec. user=mdettweiler [2017-05-09 21:50:52] 953*2^1453382-1 is not prime. Res64: 3F4B1FE67A87BE45 Time : 0.0 sec. user=mdettweiler [2017-05-09 21:50:52] 963*2^1453382-1 is not prime. Res64: 8B4A240735532690 Time : 0.0 sec. user=mdettweiler [2017-05-09 21:53:44] 983*2^1453382-1 is not prime. Res64: 5B27717843FB78BF Time : 0.0 sec. user=mdettweiler [2017-05-09 21:53:45] 619*2^1453383-1 is not prime. Res64: 23BA69022F86DE7A Time : 0.0 sec. user=mdettweiler [2017-05-09 21:53:45] 649*2^1453383-1 is not prime. Res64: 6823EF9CFCE3B674 Time : 0.0 sec. user=mdettweiler [2017-05-09 21:53:45] 663*2^1453383-1 is not prime. Res64: A247F7EC596E5B64 Time : 0.0 sec. user=mdettweiler [2017-05-09 21:53:46] 685*2^1453383-1 is not prime. Res64: A349CB9AC730ED4A Time : 0.0 sec. user=juhehe [2017-05-09 22:18:02] 693*2^1453383-1 is not prime. Res64: 1CA72849F334E0A7 Time : 0.0 sec. user=mdettweiler [2017-05-09 22:35:21] 775*2^1453383-1 is not prime. Res64: CB1C337C00FCAE44 Time : 0.0 sec. user=mdettweiler [2017-05-09 22:35:22] 825*2^1453383-1 is not prime. Res64: 854F9875705BB446 Time : 0.0 sec. user=mdettweiler [2017-05-09 22:35:22] 871*2^1453383-1 is not prime. Res64: AC8EE4E58F3F95CF Time : 0.0 sec. user=mdettweiler [2017-05-09 22:35:23] 615*2^1453384-1 is not prime. Res64: EBB04679F752A3C6 Time : 0.0 sec. user=mdettweiler [2017-05-09 22:35:23] 629*2^1453384-1 is not prime. Res64: 9B6CFB5F42AEC123 Time : 0.0 sec. user=mdettweiler [2017-05-09 22:38:15] 675*2^1453384-1 is not prime. Res64: 754C5D8F49AAEA91 Time : 0.0 sec. user=mdettweiler [2017-05-09 22:38:16] 677*2^1453384-1 is not prime. Res64: E18A8D090227DCE2 Time : 0.0 sec. user=mdettweiler [2017-05-09 22:38:16] 755*2^1453384-1 is not prime. Res64: 3E36338482C0BA34 Time : 0.0 sec. user=mdettweiler [2017-05-09 22:38:16] 825*2^1453384-1 is not prime. Res64: 2D54CD170D4716B4 Time : 0.0 sec. user=mdettweiler [2017-05-09 22:38:17] 827*2^1453384-1 is not prime. Res64: 2FD2C67956C09BF0 Time : 0.0 sec. user=juhehe [2017-05-09 22:53:16] 857*2^1453384-1 is not prime. Res64: 5BBE909416AB3F38 Time : 0.0 sec. user=mdettweiler [2017-05-09 23:19:53] 923*2^1453384-1 is not prime. Res64: 2ADBCE58EA433F04 Time : 0.0 sec. user=mdettweiler [2017-05-09 23:19:53] 939*2^1453384-1 is not prime. Res64: 28423F0923FB312B Time : 0.0 sec. user=mdettweiler [2017-05-09 23:19:54] 691*2^1453385-1 is not prime. Res64: 6BFBB55993B130B0 Time : 0.0 sec. user=mdettweiler [2017-05-09 23:19:54] 727*2^1453385-1 is not prime. Res64: 647A8F2D9CA70E20 Time : 0.0 sec. user=mdettweiler [2017-05-09 23:19:55] 811*2^1453385-1 is not prime. Res64: B784ABD640DE3C4C Time : 0.0 sec. user=mdettweiler [2017-05-09 23:22:47] 841*2^1453385-1 is not prime. Res64: 55A4C71960C52DA2 Time : 0.0 sec. user=mdettweiler [2017-05-09 23:22:47] 885*2^1453385-1 is not prime. Res64: 377E5E7820B2682D Time : 0.0 sec. user=mdettweiler [2017-05-09 23:22:47] 925*2^1453385-1 is not prime. Res64: 5D46B08C6F67F30C Time : 0.0 sec. user=mdettweiler [2017-05-09 23:22:48] 741*2^1453386-1 is not prime. Res64: 100A531005F692BB Time : 0.0 sec. user=mdettweiler [2017-05-09 23:22:48] 765*2^1453386-1 is not prime. Res64: EE1D63B3380B3DD3 Time : 0.0 sec.