user=mdettweiler [2016-01-02 00:11:48] 883*2^1418507-1 is not prime. Res64: B1B7E8AF5BF3C758 Time : 0.0 sec. user=mdettweiler [2016-01-02 00:11:49] 945*2^1418507-1 is not prime. Res64: 94431D46EBAB56EC Time : 0.0 sec. user=mdettweiler [2016-01-02 00:11:52] 985*2^1418507-1 is not prime. Res64: 2F05423999229EF7 Time : 0.0 sec. user=mdettweiler [2016-01-02 00:11:53] 749*2^1418508-1 is not prime. Res64: 284580F8939F1D49 Time : 0.0 sec. user=mdettweiler [2016-01-02 00:29:22] 819*2^1418508-1 is not prime. Res64: AF13F52866E437A1 Time : 0.0 sec. user=mdettweiler [2016-01-02 00:29:22] 893*2^1418508-1 is not prime. Res64: C777A36A0A3E4309 Time : 0.0 sec. user=mdettweiler [2016-01-02 00:29:24] 933*2^1418508-1 is not prime. Res64: 7CD767A3908EE5C0 Time : 0.0 sec. user=mdettweiler [2016-01-02 00:29:24] 601*2^1418509-1 is not prime. Res64: 1601707573317BB6 Time : 0.0 sec. user=mdettweiler [2016-01-02 00:47:04] 831*2^1418509-1 is not prime. Res64: 195E21FA8B7CE6F4 Time : 0.0 sec. user=mdettweiler [2016-01-02 00:47:04] 615*2^1418509-1 is not prime. Res64: 1A78A6B3A1A00ADE Time : 0.0 sec. user=mdettweiler [2016-01-02 00:47:04] 955*2^1418509-1 is not prime. Res64: C79076A991FB440B Time : 0.0 sec. user=mdettweiler [2016-01-02 00:47:04] 825*2^1418509-1 is not prime. Res64: 41913F8505894B45 Time : 0.0 sec. user=mdettweiler [2016-01-02 01:04:38] 641*2^1418510-1 is not prime. Res64: AA5EB370D6CFDFE1 Time : 0.0 sec. user=mdettweiler [2016-01-02 01:04:38] 867*2^1418510-1 is not prime. Res64: F92621CCD5A403D6 Time : 0.0 sec. user=mdettweiler [2016-01-02 01:04:39] 791*2^1418510-1 is not prime. Res64: 3F3343631EBB7053 Time : 0.0 sec. user=mdettweiler [2016-01-02 01:04:40] 885*2^1418510-1 is not prime. Res64: 8383522ADFF3CF84 Time : 0.0 sec. user=mdettweiler [2016-01-02 01:22:20] 887*2^1418510-1 is not prime. Res64: B793320BF4CA90C1 Time : 0.0 sec. user=mdettweiler [2016-01-02 01:22:21] 735*2^1418511-1 is not prime. Res64: 2A035DF774C40886 Time : 0.0 sec. user=mdettweiler [2016-01-02 01:22:21] 705*2^1418511-1 is not prime. Res64: 123C425E51A3B207 Time : 0.0 sec. user=mdettweiler [2016-01-02 01:22:21] 741*2^1418511-1 is not prime. Res64: C9B6A3F2D2F23A50 Time : 0.0 sec. user=mdettweiler [2016-01-02 01:39:56] 805*2^1418511-1 is not prime. Res64: 145176194AF473FA Time : 0.0 sec. user=mdettweiler [2016-01-02 01:39:57] 873*2^1418511-1 is not prime. Res64: E0B9ED9C90C2708A Time : 0.0 sec. user=mdettweiler [2016-01-02 01:39:59] 751*2^1418511-1 is not prime. Res64: BC41E855DB1390C7 Time : 0.0 sec. user=mdettweiler [2016-01-02 01:39:59] 769*2^1418511-1 is not prime. Res64: 13BA15A9F2E3880E Time : 0.0 sec. user=mdettweiler [2016-01-02 01:57:31] 933*2^1418511-1 is not prime. Res64: 81B0CF371B6D5B19 Time : 0.0 sec. user=mdettweiler [2016-01-02 01:57:32] 819*2^1418512-1 is not prime. Res64: AA45D09FFA3DE046 Time : 0.0 sec. user=mdettweiler [2016-01-02 01:57:33] 965*2^1418512-1 is not prime. Res64: 038C21C441557C11 Time : 0.0 sec. user=mdettweiler [2016-01-02 01:57:33] 983*2^1418512-1 is not prime. Res64: 1B1E7DBE978A35F5 Time : 0.0 sec. user=mdettweiler [2016-01-02 02:15:06] 829*2^1418513-1 is not prime. Res64: 5560794200CBB974 Time : 0.0 sec. user=mdettweiler [2016-01-02 02:15:06] 979*2^1418513-1 is not prime. Res64: 68B54E53BDB1CB88 Time : 0.0 sec. user=mdettweiler [2016-01-02 02:15:06] 925*2^1418513-1 is not prime. Res64: 4480E538E773B773 Time : 0.0 sec. user=mdettweiler [2016-01-02 02:15:07] 651*2^1418514-1 is not prime. Res64: D38BFF74C5259073 Time : 0.0 sec. user=mdettweiler [2016-01-02 02:32:44] 803*2^1418514-1 is not prime. Res64: BB75315F3C04C8C7 Time : 0.0 sec. user=mdettweiler [2016-01-02 02:32:45] 807*2^1418514-1 is not prime. Res64: 26D17E6BD61DF241 Time : 0.0 sec. user=mdettweiler [2016-01-02 02:32:45] 663*2^1418514-1 is not prime. Res64: 0E1FFFB7E01937C5 Time : 0.0 sec. user=mdettweiler [2016-01-02 02:32:45] 741*2^1418514-1 is not prime. Res64: 4BDE73517FE84BBE Time : 0.0 sec. user=mdettweiler [2016-01-02 02:50:24] 833*2^1418514-1 is not prime. Res64: C8354F928825D7BC Time : 0.0 sec. user=mdettweiler [2016-01-02 02:50:24] 927*2^1418514-1 is not prime. Res64: 6B0EE6EA4D74813F Time : 0.0 sec. user=mdettweiler [2016-01-02 02:50:25] 915*2^1418514-1 is not prime. Res64: 330835D49DEE4A48 Time : 0.0 sec. user=mdettweiler [2016-01-02 02:50:25] 951*2^1418514-1 is not prime. Res64: B95E0705132F20CC Time : 0.0 sec. user=mdettweiler [2016-01-02 03:07:59] 1001*2^1418514-1 is not prime. Res64: C7A0D5A0DFD8AE56 Time : 0.0 sec. user=mdettweiler [2016-01-02 03:07:59] 633*2^1418515-1 is not prime. Res64: C00ED886C29BD16C Time : 0.0 sec. user=mdettweiler [2016-01-02 03:08:02] 709*2^1418515-1 is not prime. Res64: E9060CC357D29525 Time : 0.0 sec. user=mdettweiler [2016-01-02 03:08:02] 741*2^1418515-1 is not prime. Res64: 2234377722912A75 Time : 0.0 sec. user=mdettweiler [2016-01-02 03:25:35] 961*2^1418515-1 is not prime. Res64: 0132441B36F7D129 Time : 0.0 sec. user=mdettweiler [2016-01-02 03:25:36] 751*2^1418515-1 is not prime. Res64: 07409D507D955F66 Time : 0.0 sec. user=mdettweiler [2016-01-02 03:25:37] 813*2^1418516-1 is not prime. Res64: FE56DDF3A1F05498 Time : 0.0 sec. user=mdettweiler [2016-01-02 03:25:37] 939*2^1418515-1 is not prime. Res64: 45FF6861BEB3AD1D Time : 0.0 sec. user=mdettweiler [2016-01-02 03:43:17] 903*2^1418516-1 is not prime. Res64: 5576986A24FD8157 Time : 0.0 sec. user=mdettweiler [2016-01-02 03:43:17] 639*2^1418517-1 is not prime. Res64: FAE0EDA76B810B1E Time : 0.0 sec. user=mdettweiler [2016-01-02 03:43:18] 609*2^1418517-1 is not prime. Res64: 2C6473BCE01DE09D Time : 0.0 sec. user=mdettweiler [2016-01-02 03:43:19] 871*2^1418517-1 is not prime. Res64: 393677AFF500A406 Time : 0.0 sec. user=mdettweiler [2016-01-02 04:01:04] 895*2^1418517-1 is not prime. Res64: F2B91637DFC8E95E Time : 0.0 sec. user=mdettweiler [2016-01-02 04:01:05] 979*2^1418517-1 is not prime. Res64: B277EF90519C8B8A Time : 0.0 sec. user=mdettweiler [2016-01-02 04:01:05] 997*2^1418517-1 is not prime. Res64: A69A0707E1083AD4 Time : 0.0 sec. user=mdettweiler [2016-01-02 04:01:06] 663*2^1418518-1 is not prime. Res64: BC51F6BB60BCCAE6 Time : 0.0 sec. user=mdettweiler [2016-01-02 04:18:59] 723*2^1418518-1 is not prime. Res64: 1178C0C10F54C279 Time : 0.0 sec. user=mdettweiler [2016-01-02 04:18:59] 681*2^1418518-1 is not prime. Res64: F92B8CD1FA44E1F0 Time : 0.0 sec. user=mdettweiler [2016-01-02 04:19:00] 713*2^1418518-1 is not prime. Res64: 905A5290B310631B Time : 0.0 sec. user=mdettweiler [2016-01-02 04:19:00] 773*2^1418518-1 is not prime. Res64: C2F9D9BF9BBAEBAA Time : 0.0 sec. user=mdettweiler [2016-01-02 04:36:32] 915*2^1418518-1 is not prime. Res64: F08E1C68346E2D03 Time : 0.0 sec. user=mdettweiler [2016-01-02 04:36:32] 791*2^1418518-1 is not prime. Res64: 05A2B701EB0EEFF2 Time : 0.0 sec. user=mdettweiler [2016-01-02 04:36:32] 981*2^1418518-1 is not prime. Res64: F60FEF44F6EC44D9 Time : 0.0 sec. user=mdettweiler [2016-01-02 04:36:32] 863*2^1418518-1 is not prime. Res64: 75B877D1516A6CA0 Time : 0.0 sec. user=mdettweiler [2016-01-02 04:54:06] 627*2^1418520-1 is not prime. Res64: 646A9697FC451677 Time : 0.0 sec. user=mdettweiler [2016-01-02 04:54:06] 665*2^1418520-1 is not prime. Res64: 0E6226140D04EA04 Time : 0.0 sec. user=mdettweiler [2016-01-02 04:54:06] 771*2^1418519-1 is not prime. Res64: 413CBEB45D8AADE6 Time : 0.0 sec. user=mdettweiler [2016-01-02 04:54:07] 883*2^1418519-1 is not prime. Res64: 27F5ADDDA793F6A6 Time : 0.0 sec. user=mdettweiler [2016-01-02 05:11:41] 873*2^1418520-1 is not prime. Res64: 07A24AFBA1334DD9 Time : 0.0 sec. user=mdettweiler [2016-01-02 05:11:41] 669*2^1418520-1 is not prime. Res64: 6FB5A1933C65322C Time : 0.0 sec. user=mdettweiler [2016-01-02 05:11:41] 809*2^1418520-1 is not prime. Res64: FCEE58239DE6540A Time : 0.0 sec. user=mdettweiler [2016-01-02 05:11:41] 899*2^1418520-1 is not prime. Res64: 2716B8C9DBFE7CBD Time : 0.0 sec. user=mdettweiler [2016-01-02 05:29:17] 829*2^1418521-1 is not prime. Res64: EA1943B8D786C092 Time : 0.0 sec. user=mdettweiler [2016-01-02 05:29:17] 741*2^1418521-1 is not prime. Res64: A7B01330E7A1361A Time : 0.0 sec. user=mdettweiler [2016-01-02 05:29:17] 877*2^1418521-1 is not prime. Res64: 0FB408AB054562EB Time : 0.0 sec. user=mdettweiler [2016-01-02 05:29:17] 805*2^1418521-1 is not prime. Res64: 13BD30CD270B090D Time : 0.0 sec. user=mdettweiler [2016-01-02 05:46:49] 939*2^1418521-1 is not prime. Res64: DCF61487DA6EAA83 Time : 0.0 sec. user=mdettweiler [2016-01-02 05:46:49] 615*2^1418522-1 is not prime. Res64: C0E8F5B6632F89B2 Time : 0.0 sec. user=mdettweiler [2016-01-02 05:46:50] 825*2^1418522-1 is not prime. Res64: 33BC6AF1D4F6B4B8 Time : 0.0 sec. user=mdettweiler [2016-01-02 05:46:50] 873*2^1418522-1 is not prime. Res64: 8F7015CD21DF44D6 Time : 0.0 sec. user=mdettweiler [2016-01-02 06:04:24] 721*2^1418523-1 is not prime. Res64: 9A9A0E5C40750D2F Time : 0.0 sec. user=mdettweiler [2016-01-02 06:04:24] 643*2^1418523-1 is not prime. Res64: 8215C7658ABE0BAA Time : 0.0 sec. user=mdettweiler [2016-01-02 06:04:25] 745*2^1418523-1 is not prime. Res64: B7947B9403F713C2 Time : 0.0 sec. user=mdettweiler [2016-01-02 06:04:26] 703*2^1418523-1 is not prime. Res64: B8FB27C904D6081C Time : 0.0 sec. user=mdettweiler [2016-01-02 06:22:13] 823*2^1418523-1 is not prime. Res64: B2584B62B74D7EC8 Time : 0.0 sec. user=mdettweiler [2016-01-02 06:22:14] 615*2^1418524-1 is not prime. Res64: 6FDD774E556C0553 Time : 0.0 sec. user=mdettweiler [2016-01-02 06:22:14] 985*2^1418523-1 is not prime. Res64: E77D221378F4F1AC Time : 0.0 sec. user=mdettweiler [2016-01-02 06:22:14] 657*2^1418524-1 is not prime. Res64: AE360910CA2243AB Time : 0.0 sec. user=mdettweiler [2016-01-02 06:39:50] 863*2^1418524-1 is not prime. Res64: DD74BB69DFB89A76 Time : 0.0 sec. user=mdettweiler [2016-01-02 06:39:50] 717*2^1418524-1 is not prime. Res64: A967170D385D259B Time : 0.0 sec. user=mdettweiler [2016-01-02 06:39:50] 915*2^1418524-1 is not prime. Res64: 8F366D37F7DE513A Time : 0.0 sec. user=mdettweiler [2016-01-02 06:39:51] 749*2^1418524-1 is not prime. Res64: 2E181B084E208A02 Time : 0.0 sec. user=mdettweiler [2016-01-02 06:57:22] 927*2^1418524-1 is not prime. Res64: 7BA723B1CAAFFA2B Time : 0.0 sec. user=mdettweiler [2016-01-02 06:57:22] 787*2^1418525-1 is not prime. Res64: 04CF718B33A29EAA Time : 0.0 sec. user=mdettweiler [2016-01-02 06:57:23] 721*2^1418525-1 is not prime. Res64: 5088EFAF257928D9 Time : 0.0 sec. user=mdettweiler [2016-01-02 06:57:23] 811*2^1418525-1 is not prime. Res64: 5BC37F68703385F0 Time : 0.0 sec. user=mdettweiler [2016-01-02 07:14:54] 741*2^1418526-1 is not prime. Res64: 6BE7ECCE2D846F35 Time : 0.0 sec. user=mdettweiler [2016-01-02 07:14:55] 747*2^1418526-1 is not prime. Res64: 3565E8EADA31E8BB Time : 0.0 sec. user=mdettweiler [2016-01-02 07:14:56] 611*2^1418526-1 is not prime. Res64: DD4E0FD3E3B76218 Time : 0.0 sec. user=mdettweiler [2016-01-02 07:14:56] 711*2^1418526-1 is not prime. Res64: 5D70B2DE0CC692A5 Time : 0.0 sec. user=mdettweiler [2016-01-02 07:32:30] 783*2^1418526-1 is not prime. Res64: C9A7D4161825BB3A Time : 0.0 sec. user=mdettweiler [2016-01-02 07:32:30] 867*2^1418526-1 is not prime. Res64: 8D2EAD0401B748AC Time : 0.0 sec. user=mdettweiler [2016-01-02 07:32:30] 833*2^1418526-1 is not prime. Res64: C61AD94130C17183 Time : 0.0 sec. user=mdettweiler [2016-01-02 07:32:31] 971*2^1418526-1 is not prime. Res64: A9752B42EDCD8CBE Time : 0.0 sec. user=mdettweiler [2016-01-02 07:50:03] 673*2^1418527-1 is not prime. Res64: CA68AF07B1ADA85F Time : 0.0 sec. user=mdettweiler [2016-01-02 07:50:03] 983*2^1418526-1 is not prime. Res64: BEDF8FD36F9B7547 Time : 0.0 sec. user=mdettweiler [2016-01-02 07:50:03] 651*2^1418527-1 is not prime. Res64: 126686FA2F1018CD Time : 0.0 sec. user=mdettweiler [2016-01-02 07:50:03] 705*2^1418527-1 is not prime. Res64: 9E5E668B43FC3D3A Time : 0.0 sec. user=mdettweiler [2016-01-02 08:07:36] 885*2^1418527-1 is not prime. Res64: 3A2271CE4FC66DB0 Time : 0.0 sec. user=mdettweiler [2016-01-02 08:07:37] 925*2^1418527-1 is not prime. Res64: F3CDAFF6F7DA1AE9 Time : 0.0 sec. user=mdettweiler [2016-01-02 08:07:37] 765*2^1418527-1 is not prime. Res64: 1A3022A9B6D6D4DC Time : 0.0 sec. user=mdettweiler [2016-01-02 08:07:38] 841*2^1418527-1 is not prime. Res64: 7B42345B75B8CE13 Time : 0.0 sec. user=mdettweiler [2016-01-02 08:25:39] 961*2^1418527-1 is not prime. Res64: 313C69E2439FC938 Time : 0.0 sec. user=mdettweiler [2016-01-02 08:25:40] 623*2^1418528-1 is not prime. Res64: 22471A2CB35D0C7C Time : 0.0 sec. user=mdettweiler [2016-01-02 08:25:42] 713*2^1418528-1 is not prime. Res64: 1B8A8C585910F004 Time : 0.0 sec. user=mdettweiler [2016-01-02 08:25:42] 709*2^1418529-1 is not prime. Res64: E853F2F67DB54E82 Time : 0.0 sec. user=mdettweiler [2016-01-02 08:43:13] 747*2^1418529-1 is not prime. Res64: 41E5EB724420FADB Time : 0.0 sec. user=mdettweiler [2016-01-02 08:43:13] 759*2^1418529-1 is not prime. Res64: 0EE70D48AF563E56 Time : 0.0 sec. user=mdettweiler [2016-01-02 08:43:16] 781*2^1418529-1 is not prime. Res64: 4EC4D33615903360 Time : 0.0 sec. user=mdettweiler [2016-01-02 08:43:16] 835*2^1418529-1 is not prime. Res64: 22165C0E2E2EBD49 Time : 0.0 sec. user=mdettweiler [2016-01-02 09:00:46] 885*2^1418529-1 is not prime. Res64: F050DEEB1EF32F2C Time : 0.0 sec. user=mdettweiler [2016-01-02 09:00:47] 895*2^1418529-1 is not prime. Res64: 896F8B4BEBD4B7BA Time : 0.0 sec. user=mdettweiler [2016-01-02 09:00:48] 955*2^1418529-1 is not prime. Res64: 0B63EA4FAB05F283 Time : 0.0 sec. user=mdettweiler [2016-01-02 09:00:49] 741*2^1418530-1 is not prime. Res64: 91C6A57ADC0AFFE2 Time : 0.0 sec. user=mdettweiler [2016-01-02 09:18:25] 783*2^1418530-1 is not prime. Res64: A553EE665873F2DB Time : 0.0 sec. user=mdettweiler [2016-01-02 09:18:25] 743*2^1418530-1 is not prime. Res64: A098180AF605D901 Time : 0.0 sec. user=mdettweiler [2016-01-02 09:18:25] 765*2^1418530-1 is not prime. Res64: 60E62F9787C53605 Time : 0.0 sec. user=mdettweiler [2016-01-02 09:18:26] 995*2^1418530-1 is not prime. Res64: BAAD4EF25D15625B Time : 0.0 sec. user=mdettweiler [2016-01-02 09:36:01] 711*2^1418531-1 is not prime. Res64: C5E23EBCA227E484 Time : 0.0 sec. user=mdettweiler [2016-01-02 09:36:01] 871*2^1418531-1 is not prime. Res64: F8C184C8F6984212 Time : 0.0 sec. user=mdettweiler [2016-01-02 09:36:01] 783*2^1418531-1 is not prime. Res64: CB9363BF69F06C25 Time : 0.0 sec. user=mdettweiler [2016-01-02 09:36:01] 901*2^1418531-1 is not prime. Res64: BE34A42713E7D696 Time : 0.0 sec. user=mdettweiler [2016-01-02 09:53:35] 909*2^1418531-1 is not prime. Res64: 3EB0D22A35FFAC67 Time : 0.0 sec. user=mdettweiler [2016-01-02 09:53:35] 955*2^1418531-1 is not prime. Res64: 94F9C11062EAEAB0 Time : 0.0 sec. user=mdettweiler [2016-01-02 09:53:35] 943*2^1418531-1 is not prime. Res64: B8B51D8AF410C846 Time : 0.0 sec. user=mdettweiler [2016-01-02 09:53:35] 737*2^1418532-1 is not prime. Res64: 31DBA7962BC4C11E Time : 0.0 sec. user=mdettweiler [2016-01-02 10:11:07] 899*2^1418532-1 is not prime. Res64: BF7C0D35AD3CED24 Time : 0.0 sec. user=mdettweiler [2016-01-02 10:11:07] 959*2^1418532-1 is not prime. Res64: B25A60294EA1FE13 Time : 0.0 sec. user=mdettweiler [2016-01-02 10:11:08] 947*2^1418532-1 is not prime. Res64: A19ED92ED8C94B48 Time : 0.0 sec. user=mdettweiler [2016-01-02 10:11:08] 987*2^1418532-1 is not prime. Res64: 45082C84A7F5917D Time : 0.0 sec. user=mdettweiler [2016-01-02 10:28:45] 623*2^1418534-1 is not prime. Res64: DCF8CD3EB8344A33 Time : 0.0 sec. user=mdettweiler [2016-01-02 10:28:45] 685*2^1418533-1 is not prime. Res64: D7F867AAB3E64A3D Time : 0.0 sec. user=mdettweiler [2016-01-02 10:28:46] 707*2^1418534-1 is not prime. Res64: A14FDD0FD047B94B Time : 0.0 sec. user=mdettweiler [2016-01-02 10:28:46] 757*2^1418533-1 is not prime. Res64: CC68092889517F7A Time : 0.0 sec. user=mdettweiler [2016-01-02 10:46:21] 873*2^1418534-1 is not prime. Res64: 986DDD95B455503E Time : 0.0 sec. user=mdettweiler [2016-01-02 10:46:21] 813*2^1418534-1 is not prime. Res64: B9137099A08FAFD4 Time : 0.0 sec. user=mdettweiler [2016-01-02 10:46:22] 917*2^1418534-1 is not prime. Res64: BA34EC2C6BDED58D Time : 0.0 sec. user=mdettweiler [2016-01-02 10:46:22] 833*2^1418534-1 is not prime. Res64: 312D9D2B27322D67 Time : 0.0 sec. user=mdettweiler [2016-01-02 11:03:57] 965*2^1418534-1 is not prime. Res64: 5759B79CD4840A18 Time : 0.0 sec. user=mdettweiler [2016-01-02 11:03:57] 923*2^1418534-1 is not prime. Res64: 04EF442CDB044CDE Time : 0.0 sec. user=mdettweiler [2016-01-02 11:03:59] 981*2^1418534-1 is not prime. Res64: DD738053AC38F99B Time : 0.0 sec. user=mdettweiler [2016-01-02 11:04:00] 935*2^1418534-1 is not prime. Res64: A3D1BEC1E5ADE0C0 Time : 0.0 sec. user=mdettweiler [2016-01-02 11:22:06] 643*2^1418535-1 is not prime. Res64: F97926BBABC5082F Time : 0.0 sec. user=mdettweiler [2016-01-02 11:22:07] 649*2^1418535-1 is not prime. Res64: 655F70C33BB873A2 Time : 0.0 sec. user=mdettweiler [2016-01-02 11:22:08] 651*2^1418535-1 is not prime. Res64: B54827025A99E4C1 Time : 0.0 sec. user=mdettweiler [2016-01-02 11:22:09] 679*2^1418535-1 is not prime. Res64: F1F00979C489D556 Time : 0.0 sec. user=mdettweiler [2016-01-02 11:39:47] 685*2^1418535-1 is not prime. Res64: FBCCD26C355887DA Time : 0.0 sec. user=mdettweiler [2016-01-02 11:39:47] 693*2^1418535-1 is not prime. Res64: 73780239456A1009 Time : 0.0 sec. user=mdettweiler [2016-01-02 11:39:54] 709*2^1418535-1 is not prime. Res64: 7E855B2430EE8E0A Time : 0.0 sec. user=mdettweiler [2016-01-02 11:39:54] 741*2^1418535-1 is not prime. Res64: 86B3E2593C10BFB0 Time : 0.0 sec. user=mdettweiler [2016-01-02 11:57:32] 763*2^1418535-1 is not prime. Res64: 53492FEC0156E411 Time : 0.0 sec. user=mdettweiler [2016-01-02 11:57:32] 781*2^1418535-1 is not prime. Res64: 938530DA3C872BB2 Time : 0.0 sec. user=mdettweiler [2016-01-02 11:57:36] 783*2^1418535-1 is not prime. Res64: 094323EB8F0F0359 Time : 0.0 sec. user=mdettweiler [2016-01-02 11:57:36] 885*2^1418535-1 is not prime. Res64: D3E49F3568CE9A78 Time : 0.0 sec. user=mdettweiler [2016-01-02 12:15:25] 895*2^1418535-1 is not prime. Res64: 911497C36D9C259B Time : 0.0 sec. user=mdettweiler [2016-01-02 12:15:25] 615*2^1418536-1 is not prime. Res64: 8F77AAB57BDDA1D7 Time : 0.0 sec. user=mdettweiler [2016-01-02 12:15:29] 623*2^1418536-1 is not prime. Res64: C2DCBC375B490C43 Time : 0.0 sec. user=mdettweiler [2016-01-02 12:15:29] 677*2^1418536-1 is not prime. Res64: E2121B8B2960D350 Time : 0.0 sec. user=mdettweiler [2016-01-02 12:33:09] 699*2^1418536-1 is not prime. Res64: 8CCD64905C17FAE1 Time : 0.0 sec. user=mdettweiler [2016-01-02 12:33:10] 735*2^1418536-1 is not prime. Res64: 5FC4115310447C81 Time : 0.0 sec. user=mdettweiler [2016-01-02 12:33:11] 779*2^1418536-1 is not prime. Res64: EFF1386521B11C21 Time : 0.0 sec. user=mdettweiler [2016-01-02 12:33:12] 803*2^1418536-1 is not prime. Res64: 4A9BCADB5060E666 Time : 0.0 sec. user=mdettweiler [2016-01-02 12:50:49] 899*2^1418536-1 is not prime. Res64: 593483E84D8470F0 Time : 0.0 sec. user=mdettweiler [2016-01-02 12:50:49] 939*2^1418536-1 is not prime. Res64: 9E14AEA993BCBFE4 Time : 0.0 sec. user=mdettweiler [2016-01-02 12:50:50] 933*2^1418536-1 is not prime. Res64: FABA1AB952B5D414 Time : 0.0 sec. user=mdettweiler [2016-01-02 12:50:50] 615*2^1418537-1 is not prime. Res64: B278813C479BEA45 Time : 0.0 sec. user=mdettweiler [2016-01-02 13:09:39] 865*2^1418537-1 is not prime. Res64: EBDB92DA43B7F97C Time : 0.0 sec. user=mdettweiler [2016-01-02 13:09:40] 867*2^1418537-1 is not prime. Res64: 9943A3FC3DE345A8 Time : 0.0 sec. user=mdettweiler [2016-01-02 13:09:40] 645*2^1418537-1 is not prime. Res64: 6CAC8BF0C4D81D6F Time : 0.0 sec. user=mdettweiler [2016-01-02 13:09:41] 691*2^1418537-1 is not prime. Res64: 569FF55FDD85B971 Time : 0.0 sec. user=mdettweiler [2016-01-02 13:27:48] 635*2^1418538-1 is not prime. Res64: 091D1D834E725C32 Time : 0.0 sec. user=mdettweiler [2016-01-02 13:27:48] 937*2^1418537-1 is not prime. Res64: D8E2572B810C141B Time : 0.0 sec. user=mdettweiler [2016-01-02 13:27:49] 657*2^1418538-1 is not prime. Res64: 1FCDC76AD4759F22 Time : 0.0 sec. user=mdettweiler [2016-01-02 13:27:49] 997*2^1418537-1 is not prime. Res64: 5682D4BFEB0C2FAD Time : 0.0 sec. user=mdettweiler [2016-01-02 13:45:22] 731*2^1418538-1 is not prime. Res64: 4654CCA73EAA83F0 Time : 0.0 sec. user=mdettweiler [2016-01-02 13:45:23] 801*2^1418538-1 is not prime. Res64: 3A0330F07930FD5F Time : 0.0 sec. user=mdettweiler [2016-01-02 13:45:23] 755*2^1418538-1 is not prime. Res64: BE29AE66532B6533 Time : 0.0 sec. user=mdettweiler [2016-01-02 13:45:23] 837*2^1418538-1 is not prime. Res64: 4DAB9A3D3A6E40F5 Time : 0.0 sec. user=mdettweiler [2016-01-02 14:02:57] 619*2^1418539-1 is not prime. Res64: 42DB851BB9E98F08 Time : 0.0 sec. user=mdettweiler [2016-01-02 14:02:57] 993*2^1418538-1 is not prime. Res64: F9368492457485CF Time : 0.0 sec. user=mdettweiler [2016-01-02 14:02:58] 691*2^1418539-1 is not prime. Res64: 81B1A2646B17BF1D Time : 0.0 sec. user=mdettweiler [2016-01-02 14:02:58] 603*2^1418539-1 is not prime. Res64: 9344F9D9643D2FED Time : 0.0 sec. user=mdettweiler [2016-01-02 14:20:41] 741*2^1418539-1 is not prime. Res64: EDA405BF487973AB Time : 0.0 sec. user=mdettweiler [2016-01-02 14:20:42] 859*2^1418539-1 is not prime. Res64: C4F5727AB128B744 Time : 0.0 sec. user=mdettweiler [2016-01-02 14:20:42] 861*2^1418539-1 is not prime. Res64: 16D1961F896B74DA Time : 0.0 sec. user=mdettweiler [2016-01-02 14:20:43] 895*2^1418539-1 is not prime. Res64: 11C62E087E61D22D Time : 0.0 sec. user=mdettweiler [2016-01-02 14:38:19] 913*2^1418539-1 is not prime. Res64: 3266A95DDE00EA99 Time : 0.0 sec. user=mdettweiler [2016-01-02 14:38:19] 969*2^1418539-1 is not prime. Res64: EEC0B39207F1B47D Time : 0.0 sec. user=mdettweiler [2016-01-02 14:38:20] 975*2^1418539-1 is not prime. Res64: 36C4C08174A900BF Time : 0.0 sec. user=mdettweiler [2016-01-02 14:38:20] 931*2^1418539-1 is not prime. Res64: 4CA33DEA885856B7 Time : 0.0 sec. user=mdettweiler [2016-01-02 14:55:53] 675*2^1418540-1 is not prime. Res64: DECFEE33FD6C7284 Time : 0.0 sec. user=mdettweiler [2016-01-02 14:55:54] 729*2^1418540-1 is not prime. Res64: A4587AD1A89F5951 Time : 0.0 sec. user=mdettweiler [2016-01-02 14:55:54] 603*2^1418540-1 is not prime. Res64: 260650FFBBB1115C Time : 0.0 sec. user=mdettweiler [2016-01-02 14:55:54] 663*2^1418540-1 is not prime. Res64: C1F1B6D554B5F8E1 Time : 0.0 sec. user=mdettweiler [2016-01-02 15:13:26] 735*2^1418540-1 is not prime. Res64: 33F7F8EFE186E777 Time : 0.0 sec. user=mdettweiler [2016-01-02 15:13:27] 825*2^1418540-1 is not prime. Res64: 0927295F793AA328 Time : 0.0 sec. user=mdettweiler [2016-01-02 15:13:28] 879*2^1418540-1 is not prime. Res64: 76FF0DFF60ED703D Time : 0.0 sec. user=mdettweiler [2016-01-02 15:13:29] 935*2^1418540-1 is not prime. Res64: A87B0B5221E5AF14 Time : 0.0 sec. user=mdettweiler [2016-01-02 15:31:04] 741*2^1418541-1 is not prime. Res64: DE86FBE02AAB88F5 Time : 0.0 sec. user=mdettweiler [2016-01-02 15:31:04] 817*2^1418541-1 is not prime. Res64: 81B6D1851BCD0649 Time : 0.0 sec. user=mdettweiler [2016-01-02 15:31:05] 607*2^1418541-1 is not prime. Res64: 0E0C0CC512A59200 Time : 0.0 sec. user=mdettweiler [2016-01-02 15:31:06] 685*2^1418541-1 is not prime. Res64: A089FD9A5D0F2E28 Time : 0.0 sec. user=mdettweiler [2016-01-02 15:48:39] 949*2^1418541-1 is not prime. Res64: 0BE85E4136CAA4CF Time : 0.0 sec. user=mdettweiler [2016-01-02 15:48:39] 819*2^1418541-1 is not prime. Res64: 99B86A15BFC97890 Time : 0.0 sec. user=mdettweiler [2016-01-02 15:48:39] 623*2^1418542-1 is not prime. Res64: E505F0A0D539F68C Time : 0.0 sec. user=mdettweiler [2016-01-02 15:48:40] 937*2^1418541-1 is not prime. Res64: 415CDB8F3B8204C2 Time : 0.0 sec. user=mdettweiler [2016-01-02 16:06:12] 681*2^1418542-1 is not prime. Res64: 749F844AE8ECEC19 Time : 0.0 sec. user=mdettweiler [2016-01-02 16:06:13] 785*2^1418542-1 is not prime. Res64: A6BF68038060C5A3 Time : 0.0 sec. user=mdettweiler [2016-01-02 16:06:14] 713*2^1418542-1 is not prime. Res64: 91B906873DD19D93 Time : 0.0 sec. user=mdettweiler [2016-01-02 16:06:15] 965*2^1418542-1 is not prime. Res64: 3D145BA470A55253 Time : 0.0 sec. user=mdettweiler [2016-01-02 16:24:19] 621*2^1418543-1 is not prime. Res64: 0F33A01F2FFA17D8 Time : 0.0 sec. user=mdettweiler [2016-01-02 16:24:19] 715*2^1418543-1 is not prime. Res64: C2E02153C8D046BF Time : 0.0 sec. user=mdettweiler [2016-01-02 16:24:21] 789*2^1418543-1 is not prime. Res64: 1F08CC80EA9D8136 Time : 0.0 sec. user=mdettweiler [2016-01-02 16:24:22] 913*2^1418543-1 is not prime. Res64: 52655016DAC4A92B Time : 0.0 sec. user=mdettweiler [2016-01-02 16:41:53] 955*2^1418543-1 is not prime. Res64: D97D5B8F24350DA6 Time : 0.0 sec. user=mdettweiler [2016-01-02 16:41:53] 635*2^1418544-1 is not prime. Res64: 274F7389AD54AA95 Time : 0.0 sec. user=mdettweiler [2016-01-02 16:41:53] 675*2^1418544-1 is not prime. Res64: 4E97AEA2D263F6BD Time : 0.0 sec. user=mdettweiler [2016-01-02 16:41:54] 773*2^1418544-1 is not prime. Res64: 0E1A27C0427F6391 Time : 0.0 sec. user=mdettweiler [2016-01-02 16:59:25] 803*2^1418544-1 is not prime. Res64: A6724A4E5D85CA67 Time : 0.0 sec. user=mdettweiler [2016-01-02 16:59:26] 809*2^1418544-1 is not prime. Res64: 31945969FB459258 Time : 0.0 sec. user=mdettweiler [2016-01-02 16:59:26] 899*2^1418544-1 is not prime. Res64: 76C9942CCE17D41C Time : 0.0 sec. user=mdettweiler [2016-01-02 16:59:26] 935*2^1418544-1 is not prime. Res64: 5482602723922316 Time : 0.0 sec. user=mdettweiler [2016-01-02 17:16:58] 609*2^1418545-1 is not prime. Res64: F89DA8A78D21DFA4 Time : 0.0 sec. user=mdettweiler [2016-01-02 17:16:58] 717*2^1418545-1 is not prime. Res64: ABA1CF74959D2C22 Time : 0.0 sec. user=mdettweiler [2016-01-02 17:16:59] 727*2^1418545-1 is not prime. Res64: F60CDA71747FA0AD Time : 0.0 sec. user=mdettweiler [2016-01-02 17:16:59] 679*2^1418545-1 is not prime. Res64: 1E187AE0A1667050 Time : 0.0 sec. user=mdettweiler [2016-01-02 17:34:33] 889*2^1418545-1 is not prime. Res64: 8474A2DE0FAE5003 Time : 0.0 sec. user=mdettweiler [2016-01-02 17:34:34] 777*2^1418545-1 is not prime. Res64: 002EC30633ECE3E7 Time : 0.0 sec. user=mdettweiler [2016-01-02 17:34:34] 919*2^1418545-1 is not prime. Res64: B72DF5C9908A6F7A Time : 0.0 sec. user=mdettweiler [2016-01-02 17:34:35] 861*2^1418545-1 is not prime. Res64: CC565CAB7862BB21 Time : 0.0 sec. user=mdettweiler [2016-01-02 17:52:08] 957*2^1418545-1 is not prime. Res64: 6CDE13A731B05372 Time : 0.0 sec. user=mdettweiler [2016-01-02 17:52:08] 997*2^1418545-1 is not prime. Res64: 7F039CDD8182BF3B Time : 0.0 sec. user=mdettweiler [2016-01-02 17:52:08] 975*2^1418545-1 is not prime. Res64: 68F744F4667293E5 Time : 0.0 sec. user=mdettweiler [2016-01-02 17:52:09] 701*2^1418546-1 is not prime. Res64: 1EADF9587A7A161A Time : 0.0 sec. user=mdettweiler [2016-01-02 18:09:41] 735*2^1418546-1 is not prime. Res64: 3D875CF1DE028186 Time : 0.0 sec. user=mdettweiler [2016-01-02 18:09:41] 837*2^1418546-1 is not prime. Res64: 5510E0663CF8C94B Time : 0.0 sec. user=mdettweiler [2016-01-02 18:09:42] 801*2^1418546-1 is not prime. Res64: 86AF8379F203C33C Time : 0.0 sec. user=mdettweiler [2016-01-02 18:09:42] 873*2^1418546-1 is not prime. Res64: F2780CDEB403963C Time : 0.0 sec. user=mdettweiler [2016-01-02 18:27:18] 903*2^1418546-1 is not prime. Res64: 6662F58B0108F822 Time : 0.0 sec. user=mdettweiler [2016-01-02 18:27:18] 621*2^1418547-1 is not prime. Res64: 21ACE249134EBB21 Time : 0.0 sec. user=mdettweiler [2016-01-02 18:27:20] 675*2^1418547-1 is not prime. Res64: 4D605DDC4C2F4507 Time : 0.0 sec. user=mdettweiler [2016-01-02 18:27:20] 871*2^1418547-1 is not prime. Res64: CFDA1833F0599D1F Time : 0.0 sec. user=mdettweiler [2016-01-02 18:44:52] 743*2^1418548-1 is not prime. Res64: DCB2A95CA91DF1E8 Time : 0.0 sec. user=mdettweiler [2016-01-02 18:44:53] 825*2^1418548-1 is not prime. Res64: 459C59A8E687AEB5 Time : 0.0 sec. user=mdettweiler [2016-01-02 18:44:53] 951*2^1418547-1 is not prime. Res64: D13ED253BAD7EFDC Time : 0.0 sec. user=mdettweiler [2016-01-02 18:44:53] 635*2^1418548-1 is not prime. Res64: FA238B3F69D25F8C Time : 0.0 sec. user=mdettweiler [2016-01-02 19:02:28] 833*2^1418548-1 is not prime. Res64: BB494D25FF82FE20 Time : 0.0 sec. user=mdettweiler [2016-01-02 19:02:28] 929*2^1418548-1 is not prime. Res64: 786EB784811070BC Time : 0.0 sec. user=mdettweiler [2016-01-02 19:02:29] 619*2^1418549-1 is not prime. Res64: F44A0AB16356EC68 Time : 0.0 sec. user=mdettweiler [2016-01-02 19:02:30] 897*2^1418548-1 is not prime. Res64: E4C23CA03267227B Time : 0.0 sec. user=mdettweiler [2016-01-02 19:20:39] 675*2^1418549-1 is not prime. Res64: D70640C88C334414 Time : 0.0 sec. user=mdettweiler [2016-01-02 19:20:39] 837*2^1418549-1 is not prime. Res64: E24FBA50CAFA8FB4 Time : 0.0 sec. user=mdettweiler [2016-01-02 19:20:40] 879*2^1418549-1 is not prime. Res64: E4B08556C1EF48D7 Time : 0.0 sec. user=mdettweiler [2016-01-02 19:20:40] 945*2^1418549-1 is not prime. Res64: 0ED0DBD51DB8983A Time : 0.0 sec. user=mdettweiler [2016-01-02 19:38:14] 639*2^1418551-1 is not prime. Res64: C07FAB6FD98610AF Time : 0.0 sec. user=mdettweiler [2016-01-02 19:38:14] 777*2^1418550-1 is not prime. Res64: B5542A2F1F526987 Time : 0.0 sec. user=mdettweiler [2016-01-02 19:38:14] 759*2^1418551-1 is not prime. Res64: F0CC3BFB63E220D9 Time : 0.0 sec. user=mdettweiler [2016-01-02 19:38:14] 851*2^1418550-1 is not prime. Res64: A031E0F75CC00EE3 Time : 0.0 sec. user=mdettweiler [2016-01-02 19:55:48] 999*2^1418551-1 is not prime. Res64: 564C430920E1EE68 Time : 0.0 sec. user=mdettweiler [2016-01-02 19:55:48] 735*2^1418552-1 is not prime. Res64: BCC5C1FEF2DE3AE3 Time : 0.0 sec. user=mdettweiler [2016-01-02 19:55:49] 743*2^1418552-1 is not prime. Res64: FAE192817AA8A5DE Time : 0.0 sec. user=mdettweiler [2016-01-02 19:55:49] 683*2^1418552-1 is not prime. Res64: DC47E252A2353BB5 Time : 0.0 sec. user=mdettweiler [2016-01-02 20:13:23] 825*2^1418552-1 is not prime. Res64: 1664C64C10654FAB Time : 0.0 sec. user=mdettweiler [2016-01-02 20:13:23] 875*2^1418552-1 is not prime. Res64: 832CC7044F5D6363 Time : 0.0 sec. user=mdettweiler [2016-01-02 20:13:24] 893*2^1418552-1 is not prime. Res64: 165BA4461BC5FED3 Time : 0.0 sec. user=mdettweiler [2016-01-02 20:13:24] 827*2^1418552-1 is not prime. Res64: B7AE861F76530271 Time : 0.0 sec. user=mdettweiler [2016-01-02 20:30:59] 977*2^1418552-1 is not prime. Res64: 640D293F2399B636 Time : 0.0 sec. user=mdettweiler [2016-01-02 20:30:59] 983*2^1418552-1 is not prime. Res64: 38CCCD20E6949087 Time : 0.0 sec. user=mdettweiler [2016-01-02 20:30:59] 625*2^1418553-1 is not prime. Res64: C9716D930F017915 Time : 0.0 sec. user=mdettweiler [2016-01-02 20:31:00] 681*2^1418553-1 is not prime. Res64: CC46AED1D33FED59 Time : 0.0 sec. user=mdettweiler [2016-01-02 20:48:34] 885*2^1418553-1 is not prime. Res64: 957E6478EE033EAE Time : 0.0 sec. user=mdettweiler [2016-01-02 20:48:35] 633*2^1418554-1 is not prime. Res64: 3E61380C27901219 Time : 0.0 sec. user=mdettweiler [2016-01-02 20:48:35] 663*2^1418554-1 is not prime. Res64: D572F9C12FA38D16 Time : 0.0 sec. user=mdettweiler [2016-01-02 20:48:36] 671*2^1418554-1 is not prime. Res64: 9E31CF0A24F958D0 Time : 0.0 sec. user=mdettweiler [2016-01-02 21:06:10] 695*2^1418554-1 is not prime. Res64: 8AF74C93C4DCF61D Time : 0.0 sec. user=mdettweiler [2016-01-02 21:06:10] 773*2^1418554-1 is not prime. Res64: 461DB4E2807E3030 Time : 0.0 sec. user=mdettweiler [2016-01-02 21:06:12] 765*2^1418554-1 is not prime. Res64: 1B174A6968C0B9E3 Time : 0.0 sec. user=mdettweiler [2016-01-02 21:06:12] 827*2^1418554-1 is not prime. Res64: 780534CBCEB60D00 Time : 0.0 sec. user=mdettweiler [2016-01-02 21:24:00] 923*2^1418554-1 is not prime. Res64: FD5231BF63B78F04 Time : 0.0 sec. user=mdettweiler [2016-01-02 21:24:00] 1001*2^1418554-1 is not prime. Res64: D370C94E5DA273D0 Time : 0.0 sec. user=mdettweiler [2016-01-02 21:24:01] 619*2^1418555-1 is not prime. Res64: 9C191BB2E4A09D68 Time : 0.0 sec. user=mdettweiler [2016-01-02 21:24:01] 651*2^1418555-1 is not prime. Res64: A7D31D5600522932 Time : 0.0 sec. user=mdettweiler [2016-01-02 21:41:33] 771*2^1418555-1 is not prime. Res64: CFF5143FB79B2728 Time : 0.0 sec. user=mdettweiler [2016-01-02 21:41:33] 799*2^1418555-1 is not prime. Res64: B996993E65914D51 Time : 0.0 sec. user=mdettweiler [2016-01-02 21:41:33] 783*2^1418555-1 is not prime. Res64: 463AB76A81942E30 Time : 0.0 sec. user=mdettweiler [2016-01-02 21:41:34] 969*2^1418555-1 is not prime. Res64: F44B04E975D973E5 Time : 0.0 sec. user=mdettweiler [2016-01-02 21:59:05] 675*2^1418556-1 is not prime. Res64: 563ACA32B60CFAF9 Time : 0.0 sec. user=mdettweiler [2016-01-02 21:59:05] 737*2^1418556-1 is not prime. Res64: AEE7848BC6DAC6FC Time : 0.0 sec. user=mdettweiler [2016-01-02 21:59:06] 789*2^1418556-1 is not prime. Res64: DE2FA5EFE29B18BD Time : 0.0 sec. user=mdettweiler [2016-01-02 21:59:06] 839*2^1418556-1 is not prime. Res64: 090C781ECFFD9560 Time : 0.0 sec. user=mdettweiler [2016-01-02 22:16:37] 899*2^1418556-1 is not prime. Res64: 3A79E77570736DF8 Time : 0.0 sec. user=mdettweiler [2016-01-02 22:16:38] 873*2^1418556-1 is not prime. Res64: F2463285EA1E4D81 Time : 0.0 sec. user=mdettweiler [2016-01-02 22:16:38] 909*2^1418556-1 is not prime. Res64: C5E30F655EB67880 Time : 0.0 sec. user=mdettweiler [2016-01-02 22:16:38] 893*2^1418556-1 is not prime. Res64: F128C03CC8FFCC81 Time : 0.0 sec. user=mdettweiler [2016-01-02 22:34:10] 607*2^1418557-1 is not prime. Res64: 584861815BD61E01 Time : 0.0 sec. user=mdettweiler [2016-01-02 22:34:10] 651*2^1418557-1 is not prime. Res64: B1F5299F21902762 Time : 0.0 sec. user=mdettweiler [2016-01-02 22:34:11] 947*2^1418556-1 is not prime. Res64: 7B91818DFD4B31CB Time : 0.0 sec. user=mdettweiler [2016-01-02 22:34:11] 999*2^1418556-1 is not prime. Res64: 3FD5E24689524D38 Time : 0.0 sec. user=mdettweiler [2016-01-02 22:51:42] 931*2^1418557-1 is not prime. Res64: 8529AEAF6093C077 Time : 0.0 sec. user=mdettweiler [2016-01-02 22:51:42] 707*2^1418558-1 is not prime. Res64: BDBD2E47F431FC48 Time : 0.0 sec. user=mdettweiler [2016-01-02 22:51:43] 775*2^1418557-1 is not prime. Res64: D33AD3923AF4061E Time : 0.0 sec. user=mdettweiler [2016-01-02 22:51:43] 871*2^1418557-1 is not prime. Res64: 20BA3C840E8F8F5E Time : 0.0 sec. user=mdettweiler [2016-01-02 23:09:14] 711*2^1418558-1 is not prime. Res64: 5DC18BC95A02671A Time : 0.0 sec. user=mdettweiler [2016-01-02 23:09:15] 797*2^1418558-1 is not prime. Res64: 04F62D85342B1D7A Time : 0.0 sec. user=mdettweiler [2016-01-02 23:09:15] 767*2^1418558-1 is not prime. Res64: 14DC0C1BFB7CB9A8 Time : 0.0 sec. user=mdettweiler [2016-01-02 23:09:15] 639*2^1418559-1 is not prime. Res64: 85626445510FDB7B Time : 0.0 sec. user=mdettweiler [2016-01-02 23:26:49] 693*2^1418559-1 is not prime. Res64: DE14D25749469381 Time : 0.0 sec. user=mdettweiler [2016-01-02 23:26:50] 705*2^1418559-1 is not prime. Res64: A9E677615FCB9BEA Time : 0.0 sec. user=mdettweiler [2016-01-02 23:26:52] 735*2^1418559-1 is not prime. Res64: 36FE2CBD54FBADDA Time : 0.0 sec. user=mdettweiler [2016-01-02 23:26:52] 909*2^1418559-1 is not prime. Res64: 6962A7E7E8FE91DC Time : 0.0 sec. user=mdettweiler [2016-01-02 23:44:22] 913*2^1418559-1 is not prime. Res64: 62D44FAD76DEE826 Time : 0.0 sec. user=mdettweiler [2016-01-02 23:44:23] 949*2^1418559-1 is not prime. Res64: F0DF2C2E9ACC8A30 Time : 0.0 sec. user=mdettweiler [2016-01-02 23:44:25] 969*2^1418559-1 is not prime. Res64: 9D468ACF64A8A92F Time : 0.0 sec. user=mdettweiler [2016-01-02 23:44:25] 999*2^1418559-1 is not prime. Res64: 9459BE3363A7E935 Time : 0.0 sec.