user=mdettweiler [2015-12-01 00:05:39] 983*2^1416520-1 is not prime. Res64: 54532937FC2A7940 Time : 0.0 sec. user=mdettweiler [2015-12-01 00:05:40] 615*2^1416521-1 is not prime. Res64: C11E513831587F5E Time : 0.0 sec. user=mdettweiler [2015-12-01 00:05:43] 657*2^1416521-1 is not prime. Res64: D91E4431205619E3 Time : 0.0 sec. user=mdettweiler [2015-12-01 00:05:43] 685*2^1416521-1 is not prime. Res64: AFE08504124D2562 Time : 0.0 sec. user=mdettweiler [2015-12-01 00:05:51] 697*2^1416521-1 is not prime. Res64: 3CB54F2BB2132553 Time : 0.0 sec. user=mdettweiler [2015-12-01 00:05:52] 727*2^1416521-1 is not prime. Res64: 73EE519F767866E3 Time : 0.0 sec. user=mdettweiler [2015-12-01 00:24:34] 611*2^1416522-1 is not prime. Res64: A537A9C77C0FA30B Time : 0.0 sec. user=mdettweiler [2015-12-01 00:24:34] 647*2^1416522-1 is not prime. Res64: F88F2FAE3D192B02 Time : 0.0 sec. user=mdettweiler [2015-12-01 00:24:36] 681*2^1416522-1 is not prime. Res64: E79F4BEB365340BB Time : 0.0 sec. user=mdettweiler [2015-12-01 00:24:37] 711*2^1416522-1 is not prime. Res64: 83BFBFBB3BAF15E1 Time : 0.0 sec. user=mdettweiler [2015-12-01 00:24:38] 955*2^1416521-1 is not prime. Res64: 0C4DA42EE9B4BF3F Time : 0.0 sec. user=mdettweiler [2015-12-01 00:24:38] 981*2^1416521-1 is not prime. Res64: 52E321BE56BDA1C0 Time : 0.0 sec. user=mdettweiler [2015-12-01 00:42:14] 741*2^1416522-1 is not prime. Res64: 27E7F3CD15B5DC08 Time : 0.0 sec. user=mdettweiler [2015-12-01 00:42:14] 875*2^1416522-1 is not prime. Res64: 2847BC8189E45764 Time : 0.0 sec. user=mdettweiler [2015-12-01 00:42:16] 673*2^1416523-1 is not prime. Res64: 92593F55C3E47581 Time : 0.0 sec. user=mdettweiler [2015-12-01 00:42:16] 783*2^1416523-1 is not prime. Res64: 0318C7AD50262DE7 Time : 0.0 sec. user=mdettweiler [2015-12-01 00:42:17] 885*2^1416522-1 is not prime. Res64: F7699C88EB41508C Time : 0.0 sec. user=mdettweiler [2015-12-01 00:42:18] 945*2^1416522-1 is not prime. Res64: FF2D2797FE830146 Time : 0.0 sec. user=mdettweiler [2015-12-01 00:59:51] 913*2^1416523-1 is not prime. Res64: F694EABFD4CF8494 Time : 0.0 sec. user=mdettweiler [2015-12-01 00:59:51] 915*2^1416523-1 is not prime. Res64: 7AB71A2D378FF3C0 Time : 0.0 sec. user=mdettweiler [2015-12-01 00:59:53] 677*2^1416524-1 is not prime. Res64: 7D5EDD1D8F9BFE39 Time : 0.0 sec. user=mdettweiler [2015-12-01 00:59:54] 755*2^1416524-1 is not prime. Res64: 3145B4F2D0144CEB Time : 0.0 sec. user=mdettweiler [2015-12-01 00:59:56] 943*2^1416523-1 is not prime. Res64: 288F868BA91E54D2 Time : 0.0 sec. user=mdettweiler [2015-12-01 00:59:56] 961*2^1416523-1 is not prime. Res64: 596B655D8BFD85EE Time : 0.0 sec. user=mdettweiler [2015-12-01 01:17:32] 923*2^1416524-1 is not prime. Res64: 8CF3012E0D643291 Time : 0.0 sec. user=mdettweiler [2015-12-01 01:17:32] 987*2^1416524-1 is not prime. Res64: C98A9877EAE7CDFF Time : 0.0 sec. user=mdettweiler [2015-12-01 01:17:32] 843*2^1416524-1 is not prime. Res64: 75155B6CF32F6174 Time : 0.0 sec. user=mdettweiler [2015-12-01 01:17:33] 885*2^1416524-1 is not prime. Res64: 79C89D1817ADE8C7 Time : 0.0 sec. user=mdettweiler [2015-12-01 01:17:36] 607*2^1416525-1 is not prime. Res64: 88BFA3FB6987D444 Time : 0.0 sec. user=mdettweiler [2015-12-01 01:17:37] 649*2^1416525-1 is not prime. Res64: F7ECF0DF52AE587D Time : 0.0 sec. user=mdettweiler [2015-12-01 01:35:09] 805*2^1416525-1 is not prime. Res64: 6CB0BAFFDC7BF7C5 Time : 0.0 sec. user=mdettweiler [2015-12-01 01:35:09] 717*2^1416525-1 is not prime. Res64: BEE70CE0476DA2EC Time : 0.0 sec. user=mdettweiler [2015-12-01 01:35:10] 871*2^1416525-1 is not prime. Res64: D0C6F579DE3B262A Time : 0.0 sec. user=mdettweiler [2015-12-01 01:35:10] 759*2^1416525-1 is not prime. Res64: E3F92F51C840C270 Time : 0.0 sec. user=mdettweiler [2015-12-01 01:35:12] 889*2^1416525-1 is not prime. Res64: C6D06B28FD7F1D7F Time : 0.0 sec. user=mdettweiler [2015-12-01 01:35:13] 997*2^1416525-1 is not prime. Res64: FA7B912C5D7BB27F Time : 0.0 sec. user=mdettweiler [2015-12-01 01:52:49] 801*2^1416526-1 is not prime. Res64: 957B9968764C41A5 Time : 0.0 sec. user=mdettweiler [2015-12-01 01:52:49] 747*2^1416526-1 is not prime. Res64: 497220C67EE4169C Time : 0.0 sec. user=mdettweiler [2015-12-01 01:52:49] 857*2^1416526-1 is not prime. Res64: 340FE2E5466021BC Time : 0.0 sec. user=mdettweiler [2015-12-01 01:52:49] 651*2^1416526-1 is not prime. Res64: DA4138F3D8A10431 Time : 0.0 sec. user=mdettweiler [2015-12-01 01:52:49] 777*2^1416526-1 is not prime. Res64: 19C2E984ED36AC97 Time : 0.0 sec. user=mdettweiler [2015-12-01 01:52:50] 657*2^1416526-1 is not prime. Res64: 9FFAAF40E161BEF5 Time : 0.0 sec. user=mdettweiler [2015-12-01 02:10:27] 975*2^1416526-1 is not prime. Res64: BE635A350EE4C964 Time : 0.0 sec. user=mdettweiler [2015-12-01 02:10:27] 983*2^1416526-1 is not prime. Res64: 10ADF3CEA63C08B5 Time : 0.0 sec. user=mdettweiler [2015-12-01 02:10:27] 887*2^1416526-1 is not prime. Res64: A41F0765EA386342 Time : 0.0 sec. user=mdettweiler [2015-12-01 02:10:28] 947*2^1416526-1 is not prime. Res64: A52A822373253383 Time : 0.0 sec. user=mdettweiler [2015-12-01 02:10:28] 873*2^1416526-1 is not prime. Res64: 9A8EB84E5F1B3BD6 Time : 0.0 sec. user=mdettweiler [2015-12-01 02:10:28] 881*2^1416526-1 is not prime. Res64: 9400D409A1F7B642 Time : 0.0 sec. user=mdettweiler [2015-12-01 02:28:04] 809*2^1416528-1 is not prime. Res64: A94437D96F2A94D1 Time : 0.0 sec. user=mdettweiler [2015-12-01 02:28:05] 977*2^1416528-1 is not prime. Res64: 017620FB950074AA Time : 0.0 sec. user=mdettweiler [2015-12-01 02:28:06] 915*2^1416527-1 is not prime. Res64: A904B8E6336CA226 Time : 0.0 sec. user=mdettweiler [2015-12-01 02:28:06] 823*2^1416527-1 is not prime. Res64: AC986B27AD463133 Time : 0.0 sec. user=mdettweiler [2015-12-01 02:28:07] 663*2^1416528-1 is not prime. Res64: 49188189751F29DA Time : 0.0 sec. user=mdettweiler [2015-12-01 02:28:07] 879*2^1416527-1 is not prime. Res64: CBC6E5B777943967 Time : 0.0 sec. user=mdettweiler [2015-12-01 02:45:44] 993*2^1416528-1 is not prime. Res64: 321BA711DB8D7D31 Time : 0.0 sec. user=mdettweiler [2015-12-01 02:45:44] 661*2^1416529-1 is not prime. Res64: 464BA8634B8E395F Time : 0.0 sec. user=mdettweiler [2015-12-01 02:45:45] 885*2^1416529-1 is not prime. Res64: 5DECDE80DB1A9FA2 Time : 0.0 sec. user=mdettweiler [2015-12-01 02:45:46] 967*2^1416529-1 is not prime. Res64: B1A752704F7ACD32 Time : 0.0 sec. user=mdettweiler [2015-12-01 02:45:47] 769*2^1416529-1 is not prime. Res64: AB0CEC5EEF696BA0 Time : 0.0 sec. user=mdettweiler [2015-12-01 02:45:48] 775*2^1416529-1 is not prime. Res64: BC70C104F6A5D0DE Time : 0.0 sec. user=mdettweiler [2015-12-01 03:03:21] 997*2^1416529-1 is not prime. Res64: 145D6BADA8B82573 Time : 0.0 sec. user=mdettweiler [2015-12-01 03:03:21] 801*2^1416530-1 is not prime. Res64: F3CEB65A86ED37AB Time : 0.0 sec. user=mdettweiler [2015-12-01 03:03:24] 773*2^1416530-1 is not prime. Res64: 0A1591D93D2C9999 Time : 0.0 sec. user=mdettweiler [2015-12-01 03:03:24] 831*2^1416530-1 is not prime. Res64: 0B33516D2F08F190 Time : 0.0 sec. user=mdettweiler [2015-12-01 03:03:25] 893*2^1416530-1 is not prime. Res64: 8F55ABCCC4C53A5D Time : 0.0 sec. user=mdettweiler [2015-12-01 03:03:27] 945*2^1416530-1 is not prime. Res64: 5BDE002FACE15F64 Time : 0.0 sec. user=mdettweiler [2015-12-01 03:21:30] 793*2^1416531-1 is not prime. Res64: B3153549072F8C74 Time : 0.0 sec. user=mdettweiler [2015-12-01 03:21:31] 885*2^1416531-1 is not prime. Res64: 802BC8B1EEC295A9 Time : 0.0 sec. user=mdettweiler [2015-12-01 03:21:33] 705*2^1416531-1 is not prime. Res64: 06E94C494C523612 Time : 0.0 sec. user=mdettweiler [2015-12-01 03:21:33] 895*2^1416531-1 is not prime. Res64: 4EA45C48F542367B Time : 0.0 sec. user=mdettweiler [2015-12-01 03:21:34] 769*2^1416531-1 is not prime. Res64: C33DD81D8BE932CC Time : 0.0 sec. user=mdettweiler [2015-12-01 03:21:34] 909*2^1416531-1 is not prime. Res64: D56E5B77E2DE741F Time : 0.0 sec. user=mdettweiler [2015-12-01 03:39:13] 675*2^1416532-1 is not prime. Res64: 8E95B85FFE8BE42A Time : 0.0 sec. user=mdettweiler [2015-12-01 03:39:13] 951*2^1416531-1 is not prime. Res64: 241DA61236E337C6 Time : 0.0 sec. user=mdettweiler [2015-12-01 03:39:13] 989*2^1416532-1 is not prime. Res64: 901C03341F69E21A Time : 0.0 sec. user=mdettweiler [2015-12-01 03:39:14] 735*2^1416533-1 is not prime. Res64: 5D54E74956B42C9B Time : 0.0 sec. user=mdettweiler [2015-12-01 03:39:15] 609*2^1416532-1 is not prime. Res64: 430CB93BC9F05904 Time : 0.0 sec. user=mdettweiler [2015-12-01 03:39:16] 873*2^1416532-1 is not prime. Res64: D56779F9C9C2E235 Time : 0.0 sec. user=mdettweiler [2015-12-01 03:57:09] 871*2^1416533-1 is not prime. Res64: 1D08E65441AB0350 Time : 0.0 sec. user=mdettweiler [2015-12-01 03:57:09] 757*2^1416533-1 is not prime. Res64: A74BC7F983D74913 Time : 0.0 sec. user=mdettweiler [2015-12-01 03:57:09] 985*2^1416533-1 is not prime. Res64: 3FEFD4F859E8F80B Time : 0.0 sec. user=mdettweiler [2015-12-01 03:57:10] 693*2^1416534-1 is not prime. Res64: 4D6A0FC3ED840863 Time : 0.0 sec. user=mdettweiler [2015-12-01 03:57:10] 949*2^1416533-1 is not prime. Res64: ABE1E92412CE1858 Time : 0.0 sec. user=mdettweiler [2015-12-01 03:57:10] 787*2^1416533-1 is not prime. Res64: 003A235DD5083594 Time : 0.0 sec. user=mdettweiler [2015-12-01 04:14:48] 975*2^1416534-1 is not prime. Res64: C74230D96AF73593 Time : 0.0 sec. user=mdettweiler [2015-12-01 04:14:48] 917*2^1416534-1 is not prime. Res64: 09667502997D25CB Time : 0.0 sec. user=mdettweiler [2015-12-01 04:14:48] 971*2^1416534-1 is not prime. Res64: 585A94AE159332FD Time : 0.0 sec. user=mdettweiler [2015-12-01 04:14:48] 791*2^1416534-1 is not prime. Res64: DE2E8C9FCD589778 Time : 0.0 sec. user=mdettweiler [2015-12-01 04:14:48] 639*2^1416535-1 is not prime. Res64: 511CD9891AD44876 Time : 0.0 sec. user=mdettweiler [2015-12-01 04:14:49] 893*2^1416534-1 is not prime. Res64: 8E182F5A70E3A033 Time : 0.0 sec. user=mdettweiler [2015-12-01 04:32:28] 969*2^1416535-1 is not prime. Res64: 3639B602CA3632A2 Time : 0.0 sec. user=mdettweiler [2015-12-01 04:32:28] 649*2^1416535-1 is not prime. Res64: F7C4E383AEC6CC95 Time : 0.0 sec. user=mdettweiler [2015-12-01 04:32:28] 973*2^1416535-1 is not prime. Res64: 52D761EE1A634627 Time : 0.0 sec. user=mdettweiler [2015-12-01 04:32:28] 763*2^1416535-1 is not prime. Res64: 3080F14AAE7FBD7C Time : 0.0 sec. user=mdettweiler [2015-12-01 04:32:29] 859*2^1416535-1 is not prime. Res64: D1CDAE7151FBD5ED Time : 0.0 sec. user=mdettweiler [2015-12-01 04:32:29] 951*2^1416535-1 is not prime. Res64: 4DA64FC6512991B9 Time : 0.0 sec. user=mdettweiler [2015-12-01 04:50:04] 677*2^1416536-1 is not prime. Res64: D4CB81CA91C633A1 Time : 0.0 sec. user=mdettweiler [2015-12-01 04:50:04] 825*2^1416536-1 is not prime. Res64: 0D172D86C6C7DEE7 Time : 0.0 sec. user=mdettweiler [2015-12-01 04:50:04] 629*2^1416536-1 is not prime. Res64: 756A603B76FB7FA8 Time : 0.0 sec. user=mdettweiler [2015-12-01 04:50:05] 657*2^1416536-1 is not prime. Res64: A4829C95A00DBF89 Time : 0.0 sec. user=mdettweiler [2015-12-01 04:50:05] 827*2^1416536-1 is not prime. Res64: EC4FFE973E785F74 Time : 0.0 sec. user=mdettweiler [2015-12-01 04:50:05] 837*2^1416536-1 is not prime. Res64: D37CF2AA0F26D7B2 Time : 0.0 sec. user=mdettweiler [2015-12-01 05:07:40] 671*2^1416538-1 is not prime. Res64: BDD24361D36FB15C Time : 0.0 sec. user=mdettweiler [2015-12-01 05:07:40] 735*2^1416537-1 is not prime. Res64: 385923890F795880 Time : 0.0 sec. user=mdettweiler [2015-12-01 05:07:40] 985*2^1416537-1 is not prime. Res64: 89E3BF928B7CBE06 Time : 0.0 sec. user=mdettweiler [2015-12-01 05:07:40] 885*2^1416538-1 is not prime. Res64: FE773EB112495E5B Time : 0.0 sec. user=mdettweiler [2015-12-01 05:07:43] 843*2^1416536-1 is not prime. Res64: 467C4EC7B17859C4 Time : 0.0 sec. user=mdettweiler [2015-12-01 05:07:43] 899*2^1416536-1 is not prime. Res64: 153029D3C4222019 Time : 0.0 sec. user=mdettweiler [2015-12-01 05:25:21] 915*2^1416538-1 is not prime. Res64: 66E3B137430EBB8B Time : 0.0 sec. user=mdettweiler [2015-12-01 05:25:21] 993*2^1416538-1 is not prime. Res64: 162628A5BA0229F6 Time : 0.0 sec. user=mdettweiler [2015-12-01 05:25:21] 975*2^1416538-1 is not prime. Res64: 4B805839181CD1AA Time : 0.0 sec. user=mdettweiler [2015-12-01 05:25:21] 1001*2^1416538-1 is not prime. Res64: 4ED039BF156FC701 Time : 0.0 sec. user=mdettweiler [2015-12-01 05:25:21] 619*2^1416539-1 is not prime. Res64: 63CB011B7E891E96 Time : 0.0 sec. user=mdettweiler [2015-12-01 05:25:22] 655*2^1416539-1 is not prime. Res64: B0C63457853E290F Time : 0.0 sec. user=mdettweiler [2015-12-01 05:42:57] 843*2^1416539-1 is not prime. Res64: 6B0B2AA014F62ACD Time : 0.0 sec. user=mdettweiler [2015-12-01 05:42:57] 711*2^1416539-1 is not prime. Res64: A4B7227228ABD2D7 Time : 0.0 sec. user=mdettweiler [2015-12-01 05:42:57] 885*2^1416539-1 is not prime. Res64: B9F9CD041CF7B84D Time : 0.0 sec. user=mdettweiler [2015-12-01 05:42:57] 741*2^1416539-1 is not prime. Res64: A027711B8203586C Time : 0.0 sec. user=mdettweiler [2015-12-01 05:43:00] 949*2^1416539-1 is not prime. Res64: C90EF4EFC1326FA8 Time : 0.0 sec. user=mdettweiler [2015-12-01 05:43:00] 627*2^1416540-1 is not prime. Res64: D25D9009C103A23D Time : 0.0 sec. user=mdettweiler [2015-12-01 06:00:34] 629*2^1416540-1 is not prime. Res64: B0D596116B9739CA Time : 0.0 sec. user=mdettweiler [2015-12-01 06:00:34] 857*2^1416540-1 is not prime. Res64: 07EF7616C978B452 Time : 0.0 sec. user=mdettweiler [2015-12-01 06:00:35] 723*2^1416540-1 is not prime. Res64: 322ED34B4254AC8C Time : 0.0 sec. user=mdettweiler [2015-12-01 06:00:36] 863*2^1416540-1 is not prime. Res64: 895F47BC42A16E65 Time : 0.0 sec. user=mdettweiler [2015-12-01 06:00:37] 875*2^1416540-1 is not prime. Res64: F16EC82F587F13E3 Time : 0.0 sec. user=mdettweiler [2015-12-01 06:00:37] 915*2^1416540-1 is not prime. Res64: B76BFD41E176EE60 Time : 0.0 sec. user=mdettweiler [2015-12-01 06:18:13] 959*2^1416540-1 is not prime. Res64: 12DF4DC420904642 Time : 0.0 sec. user=mdettweiler [2015-12-01 06:18:13] 615*2^1416541-1 is not prime. Res64: 141E0DB2705F7F86 Time : 0.0 sec. user=mdettweiler [2015-12-01 06:18:14] 741*2^1416541-1 is not prime. Res64: 6F278D390BD1A7BB Time : 0.0 sec. user=mdettweiler [2015-12-01 06:18:14] 775*2^1416541-1 is not prime. Res64: 6DE8357DC5A4B45E Time : 0.0 sec. user=mdettweiler [2015-12-01 06:18:15] 817*2^1416541-1 is not prime. Res64: D90E0DEBA0644ABC Time : 0.0 sec. user=mdettweiler [2015-12-01 06:18:15] 855*2^1416541-1 is not prime. Res64: 7D03CEE5E5ADDCC9 Time : 0.0 sec. user=mdettweiler [2015-12-01 06:35:50] 713*2^1416542-1 is not prime. Res64: 566263609E01A61C Time : 0.0 sec. user=mdettweiler [2015-12-01 06:35:51] 753*2^1416542-1 is not prime. Res64: 439786FF7C9E7572 Time : 0.0 sec. user=mdettweiler [2015-12-01 06:35:51] 975*2^1416541-1 is not prime. Res64: 2F028AC80DD36C1A Time : 0.0 sec. user=mdettweiler [2015-12-01 06:35:51] 815*2^1416542-1 is not prime. Res64: 04F3E90E009ED872 Time : 0.0 sec. user=mdettweiler [2015-12-01 06:35:51] 675*2^1416542-1 is not prime. Res64: 4281834484C8D64D Time : 0.0 sec. user=mdettweiler [2015-12-01 06:35:51] 885*2^1416542-1 is not prime. Res64: 9D682951FD1565CE Time : 0.0 sec. user=mdettweiler [2015-12-01 06:53:27] 893*2^1416542-1 is not prime. Res64: FA90A7BAD6EF9E08 Time : 0.0 sec. user=mdettweiler [2015-12-01 06:53:27] 897*2^1416542-1 is not prime. Res64: C579C6770C572835 Time : 0.0 sec. user=mdettweiler [2015-12-01 06:53:29] 957*2^1416542-1 is not prime. Res64: 0E46353CBFF56479 Time : 0.0 sec. user=mdettweiler [2015-12-01 06:53:29] 977*2^1416542-1 is not prime. Res64: 88ABDF3FF159FF8A Time : 0.0 sec. user=mdettweiler [2015-12-01 06:53:30] 915*2^1416542-1 is not prime. Res64: FA567B0DC37F79D1 Time : 0.0 sec. user=mdettweiler [2015-12-01 06:53:31] 951*2^1416542-1 is not prime. Res64: 84FF50653097FCB0 Time : 0.0 sec. user=mdettweiler [2015-12-01 07:11:05] 669*2^1416543-1 is not prime. Res64: B64087AA0B083CAE Time : 0.0 sec. user=mdettweiler [2015-12-01 07:11:05] 679*2^1416543-1 is not prime. Res64: F9149DBD1B13B0E7 Time : 0.0 sec. user=mdettweiler [2015-12-01 07:11:06] 685*2^1416543-1 is not prime. Res64: BF84DEB3419BACFB Time : 0.0 sec. user=mdettweiler [2015-12-01 07:11:07] 871*2^1416543-1 is not prime. Res64: 5F8ADB375A3CF27A Time : 0.0 sec. user=mdettweiler [2015-12-01 07:11:07] 853*2^1416543-1 is not prime. Res64: 2B28E62C501F3848 Time : 0.0 sec. user=mdettweiler [2015-12-01 07:11:07] 885*2^1416543-1 is not prime. Res64: 2EA83DDD662C0226 Time : 0.0 sec. user=mdettweiler [2015-12-01 07:28:45] 961*2^1416543-1 is not prime. Res64: 307C0E43B33ABA29 Time : 0.0 sec. user=mdettweiler [2015-12-01 07:28:45] 609*2^1416544-1 is not prime. Res64: E7C48109746AA3C7 Time : 0.0 sec. user=mdettweiler [2015-12-01 07:28:45] 963*2^1416543-1 is not prime. Res64: 69943B1B07ED146A Time : 0.0 sec. user=mdettweiler [2015-12-01 07:28:45] 623*2^1416544-1 is not prime. Res64: 0C21BC5C223D647F Time : 0.0 sec. user=mdettweiler [2015-12-01 07:28:45] 723*2^1416544-1 is not prime. Res64: 16964965AE5E7715 Time : 0.0 sec. user=mdettweiler [2015-12-01 07:28:46] 755*2^1416544-1 is not prime. Res64: FFC433416042BDC0 Time : 0.0 sec. user=mdettweiler [2015-12-01 07:46:22] 855*2^1416544-1 is not prime. Res64: 4CCA0AE4DE0C6F5A Time : 0.0 sec. user=mdettweiler [2015-12-01 07:46:22] 727*2^1416545-1 is not prime. Res64: CBA37C6B703DE319 Time : 0.0 sec. user=mdettweiler [2015-12-01 07:46:22] 899*2^1416544-1 is not prime. Res64: 5DD4036603E40DA3 Time : 0.0 sec. user=mdettweiler [2015-12-01 07:46:23] 841*2^1416545-1 is not prime. Res64: 07C8786F31A53427 Time : 0.0 sec. user=mdettweiler [2015-12-01 07:46:23] 959*2^1416544-1 is not prime. Res64: BD11EAB37D704035 Time : 0.0 sec. user=mdettweiler [2015-12-01 07:46:23] 607*2^1416545-1 is not prime. Res64: DA2B4210B492E95C Time : 0.0 sec. user=mdettweiler [2015-12-01 08:04:03] 615*2^1416547-1 is not prime. Res64: 539D909CFF5CFB7E Time : 0.0 sec. user=mdettweiler [2015-12-01 08:04:03] 955*2^1416545-1 is not prime. Res64: 4D14DF355F3A8C1F Time : 0.0 sec. user=mdettweiler [2015-12-01 08:04:05] 631*2^1416547-1 is not prime. Res64: 3B4FF734DDCE4CCA Time : 0.0 sec. user=mdettweiler [2015-12-01 08:04:05] 985*2^1416545-1 is not prime. Res64: 46A1A46BD711B884 Time : 0.0 sec. user=mdettweiler [2015-12-01 08:04:06] 633*2^1416546-1 is not prime. Res64: EFFC69C9C2DC9721 Time : 0.0 sec. user=mdettweiler [2015-12-01 08:04:08] 635*2^1416546-1 is not prime. Res64: 2E9B5A9013422AEC Time : 0.0 sec. user=mdettweiler [2015-12-01 08:22:08] 703*2^1416547-1 is not prime. Res64: 514A3306AF960070 Time : 0.0 sec. user=mdettweiler [2015-12-01 08:22:09] 885*2^1416547-1 is not prime. Res64: 829E82D932F58532 Time : 0.0 sec. user=mdettweiler [2015-12-01 08:22:10] 871*2^1416547-1 is not prime. Res64: D6FBA278FBDE043E Time : 0.0 sec. user=mdettweiler [2015-12-01 08:22:10] 669*2^1416548-1 is not prime. Res64: 899367DC25569183 Time : 0.0 sec. user=mdettweiler [2015-12-01 08:22:11] 623*2^1416548-1 is not prime. Res64: 5BCD54E3AD176C67 Time : 0.0 sec. user=mdettweiler [2015-12-01 08:22:11] 665*2^1416548-1 is not prime. Res64: 585743E885AFF3E1 Time : 0.0 sec. user=mdettweiler [2015-12-01 08:39:46] 707*2^1416548-1 is not prime. Res64: C2CC59372C7367FC Time : 0.0 sec. user=mdettweiler [2015-12-01 08:39:46] 777*2^1416548-1 is not prime. Res64: 42B4064E816AE625 Time : 0.0 sec. user=mdettweiler [2015-12-01 08:39:47] 797*2^1416548-1 is not prime. Res64: 027F332BB98A8AFB Time : 0.0 sec. user=mdettweiler [2015-12-01 08:39:47] 893*2^1416548-1 is not prime. Res64: 5E517C3C72272EAC Time : 0.0 sec. user=mdettweiler [2015-12-01 08:39:48] 875*2^1416548-1 is not prime. Res64: 4BBA955CCD2F9E8A Time : 0.0 sec. user=mdettweiler [2015-12-01 08:39:48] 923*2^1416548-1 is not prime. Res64: E9C9E18C827CCC3A Time : 0.0 sec. user=mdettweiler [2015-12-01 08:57:22] 977*2^1416548-1 is not prime. Res64: 5741CB4CE3CCD008 Time : 0.0 sec. user=mdettweiler [2015-12-01 08:57:22] 681*2^1416549-1 is not prime. Res64: BDC989EA31435FCA Time : 0.0 sec. user=mdettweiler [2015-12-01 08:57:23] 741*2^1416549-1 is not prime. Res64: 5C9844DB9CAD73E2 Time : 0.0 sec. user=mdettweiler [2015-12-01 08:57:24] 751*2^1416549-1 is not prime. Res64: 6BC9B0649E0801C3 Time : 0.0 sec. user=mdettweiler [2015-12-01 08:57:24] 759*2^1416549-1 is not prime. Res64: 91079B42C232A31A Time : 0.0 sec. user=mdettweiler [2015-12-01 08:57:24] 921*2^1416549-1 is not prime. Res64: 96AB8582E42E1052 Time : 0.0 sec. user=mdettweiler [2015-12-01 09:14:57] 677*2^1416550-1 is not prime. Res64: EFA17612BF443DD9 Time : 0.0 sec. user=mdettweiler [2015-12-01 09:14:58] 743*2^1416550-1 is not prime. Res64: 1E65DA5B4D4FD8A4 Time : 0.0 sec. user=mdettweiler [2015-12-01 09:14:59] 917*2^1416550-1 is not prime. Res64: 265B65F985796DDE Time : 0.0 sec. user=mdettweiler [2015-12-01 09:14:59] 827*2^1416550-1 is not prime. Res64: D0F7A1384F282FB0 Time : 0.0 sec. user=mdettweiler [2015-12-01 09:14:59] 945*2^1416550-1 is not prime. Res64: 0C81CE1B42664229 Time : 0.0 sec. user=mdettweiler [2015-12-01 09:15:00] 873*2^1416550-1 is not prime. Res64: 8A33D9B4227BDCD6 Time : 0.0 sec. user=mdettweiler [2015-12-01 09:32:36] 951*2^1416550-1 is not prime. Res64: CF8C90C294693377 Time : 0.0 sec. user=mdettweiler [2015-12-01 09:32:36] 619*2^1416551-1 is not prime. Res64: 768AD922DD5E0232 Time : 0.0 sec. user=mdettweiler [2015-12-01 09:32:36] 669*2^1416552-1 is not prime. Res64: FFDE33D0C0E62A4F Time : 0.0 sec. user=mdettweiler [2015-12-01 09:32:36] 741*2^1416551-1 is not prime. Res64: 698C9B2C4321FA4C Time : 0.0 sec. user=mdettweiler [2015-12-01 09:32:37] 993*2^1416551-1 is not prime. Res64: 8E556DF1C16FA539 Time : 0.0 sec. user=mdettweiler [2015-12-01 09:32:37] 737*2^1416552-1 is not prime. Res64: D9181494B1F98A98 Time : 0.0 sec. user=mdettweiler [2015-12-01 09:50:11] 849*2^1416552-1 is not prime. Res64: 9323B3151880ED1A Time : 0.0 sec. user=mdettweiler [2015-12-01 09:50:11] 873*2^1416552-1 is not prime. Res64: 71804790F70C6BB3 Time : 0.0 sec. user=mdettweiler [2015-12-01 09:50:12] 779*2^1416552-1 is not prime. Res64: E7023C4BB57799AE Time : 0.0 sec. user=mdettweiler [2015-12-01 09:50:12] 819*2^1416552-1 is not prime. Res64: C76BFC3D6B2FB364 Time : 0.0 sec. user=mdettweiler [2015-12-01 09:50:13] 909*2^1416552-1 is not prime. Res64: F91F7D67540EECDB Time : 0.0 sec. user=mdettweiler [2015-12-01 09:50:13] 975*2^1416552-1 is not prime. Res64: 416B0F1BC7D94001 Time : 0.0 sec. user=mdettweiler [2015-12-01 10:07:48] 789*2^1416553-1 is not prime. Res64: EE58BB18CD3D4B4F Time : 0.0 sec. user=mdettweiler [2015-12-01 10:07:49] 877*2^1416553-1 is not prime. Res64: 6334F77F22F6BD94 Time : 0.0 sec. user=mdettweiler [2015-12-01 10:07:53] 637*2^1416553-1 is not prime. Res64: 2231F9043B4A3A7C Time : 0.0 sec. user=mdettweiler [2015-12-01 10:07:54] 801*2^1416553-1 is not prime. Res64: 2EC9686E9790389C Time : 0.0 sec. user=mdettweiler [2015-12-01 10:07:56] 897*2^1416553-1 is not prime. Res64: 822FD75EF9E181D7 Time : 0.0 sec. user=mdettweiler [2015-12-01 10:07:56] 705*2^1416553-1 is not prime. Res64: 03146E13C22E0117 Time : 0.0 sec. user=mdettweiler [2015-12-01 10:26:00] 945*2^1416553-1 is not prime. Res64: B4134D53A9520AFB Time : 0.0 sec. user=mdettweiler [2015-12-01 10:26:00] 955*2^1416553-1 is not prime. Res64: 37EB82BAC8EEDBEC Time : 0.0 sec. user=mdettweiler [2015-12-01 10:26:00] 951*2^1416553-1 is not prime. Res64: 840E725D5DFBAA8F Time : 0.0 sec. user=mdettweiler [2015-12-01 10:26:00] 705*2^1416554-1 is not prime. Res64: A5405645C1322BA9 Time : 0.0 sec. user=mdettweiler [2015-12-01 10:26:02] 711*2^1416554-1 is not prime. Res64: 754D4C768F4366D0 Time : 0.0 sec. user=mdettweiler [2015-12-01 10:26:03] 741*2^1416554-1 is not prime. Res64: A32F762295338458 Time : 0.0 sec. user=mdettweiler [2015-12-01 10:43:37] 861*2^1416554-1 is not prime. Res64: E0B95694AE027CF3 Time : 0.0 sec. user=mdettweiler [2015-12-01 10:43:38] 903*2^1416554-1 is not prime. Res64: 7423B04762472478 Time : 0.0 sec. user=mdettweiler [2015-12-01 10:43:39] 679*2^1416555-1 is not prime. Res64: 5333D8CA202BE5BC Time : 0.0 sec. user=mdettweiler [2015-12-01 10:43:40] 723*2^1416555-1 is not prime. Res64: FAA31A7BB2CE85FA Time : 0.0 sec. user=mdettweiler [2015-12-01 10:43:42] 613*2^1416555-1 is not prime. Res64: 14E52C9B49F42D19 Time : 0.0 sec. user=mdettweiler [2015-12-01 10:43:42] 651*2^1416555-1 is not prime. Res64: F588E73A7D9A0626 Time : 0.0 sec. user=mdettweiler [2015-12-01 11:01:14] 805*2^1416555-1 is not prime. Res64: 54DA273583E4ADE6 Time : 0.0 sec. user=mdettweiler [2015-12-01 11:01:15] 891*2^1416555-1 is not prime. Res64: 5120D56B02B61C7E Time : 0.0 sec. user=mdettweiler [2015-12-01 11:01:16] 943*2^1416555-1 is not prime. Res64: 2C50C24F4C45DA20 Time : 0.0 sec. user=mdettweiler [2015-12-01 11:01:17] 985*2^1416555-1 is not prime. Res64: 49BB4FD3B5D7F5B3 Time : 0.0 sec. user=mdettweiler [2015-12-01 11:01:18] 695*2^1416556-1 is not prime. Res64: 08679517AD3BDC36 Time : 0.0 sec. user=mdettweiler [2015-12-01 11:01:19] 723*2^1416556-1 is not prime. Res64: F909CF2B2DF5E20F Time : 0.0 sec. user=mdettweiler [2015-12-01 11:19:03] 839*2^1416556-1 is not prime. Res64: E28CDCC278C25A74 Time : 0.0 sec. user=mdettweiler [2015-12-01 11:19:03] 899*2^1416556-1 is not prime. Res64: BFDA451081284748 Time : 0.0 sec. user=mdettweiler [2015-12-01 11:19:04] 905*2^1416556-1 is not prime. Res64: A660B7B46A82DA67 Time : 0.0 sec. user=mdettweiler [2015-12-01 11:19:04] 933*2^1416556-1 is not prime. Res64: 4959393B9F358762 Time : 0.0 sec. user=mdettweiler [2015-12-01 11:19:06] 759*2^1416556-1 is not prime. Res64: 1697C60BD3DE9D89 Time : 0.0 sec. user=mdettweiler [2015-12-01 11:19:07] 825*2^1416556-1 is not prime. Res64: 05D8E45800C63098 Time : 0.0 sec. user=mdettweiler [2015-12-01 11:36:41] 735*2^1416557-1 is not prime. Res64: D14720D4659954D8 Time : 0.0 sec. user=mdettweiler [2015-12-01 11:36:41] 615*2^1416557-1 is not prime. Res64: A8F2E94668F445FD Time : 0.0 sec. user=mdettweiler [2015-12-01 11:36:42] 865*2^1416557-1 is not prime. Res64: 361E5CED7107574E Time : 0.0 sec. user=mdettweiler [2015-12-01 11:36:42] 691*2^1416557-1 is not prime. Res64: 57AD2EC3FF47D229 Time : 0.0 sec. user=mdettweiler [2015-12-01 11:36:42] 939*2^1416556-1 is not prime. Res64: ABA16E1A2AAEE33F Time : 0.0 sec. user=mdettweiler [2015-12-01 11:36:43] 999*2^1416556-1 is not prime. Res64: 5FC8C25DCC095DC0 Time : 0.0 sec. user=mdettweiler [2015-12-01 11:54:19] 885*2^1416557-1 is not prime. Res64: 1F1E6DC78A0D78F9 Time : 0.0 sec. user=mdettweiler [2015-12-01 11:54:19] 681*2^1416558-1 is not prime. Res64: 9201ADCFF999EBE0 Time : 0.0 sec. user=mdettweiler [2015-12-01 11:54:20] 725*2^1416558-1 is not prime. Res64: 7DB07C5273D078AC Time : 0.0 sec. user=mdettweiler [2015-12-01 11:54:20] 695*2^1416558-1 is not prime. Res64: FC24B9ED3B8B8F2D Time : 0.0 sec. user=mdettweiler [2015-12-01 11:54:20] 663*2^1416558-1 is not prime. Res64: 8C01FDE523152B4C Time : 0.0 sec. user=mdettweiler [2015-12-01 11:54:20] 761*2^1416558-1 is not prime. Res64: 11B812422114AE89 Time : 0.0 sec. user=mdettweiler [2015-12-01 12:11:58] 801*2^1416558-1 is not prime. Res64: B762D839245A5839 Time : 0.0 sec. user=mdettweiler [2015-12-01 12:11:58] 821*2^1416558-1 is not prime. Res64: A1D565008F2BC3B5 Time : 0.0 sec. user=mdettweiler [2015-12-01 12:11:59] 893*2^1416558-1 is not prime. Res64: E039C0ABEEA03FD9 Time : 0.0 sec. user=mdettweiler [2015-12-01 12:11:59] 933*2^1416558-1 is not prime. Res64: 961A710AEF53FE7D Time : 0.0 sec. user=mdettweiler [2015-12-01 12:12:01] 945*2^1416558-1 is not prime. Res64: 1553F3D872EDA314 Time : 0.0 sec. user=mdettweiler [2015-12-01 12:12:02] 993*2^1416558-1 is not prime. Res64: EADABFFC93FFA0EA Time : 0.0 sec. user=mdettweiler [2015-12-01 12:29:42] 793*2^1416559-1 is not prime. Res64: 54A8F6197394A5DD Time : 0.0 sec. user=mdettweiler [2015-12-01 12:29:42] 853*2^1416559-1 is not prime. Res64: 1B0AD21F68FC5B21 Time : 0.0 sec. user=mdettweiler [2015-12-01 12:29:43] 831*2^1416559-1 is not prime. Res64: D093661F7B321EE3 Time : 0.0 sec. user=mdettweiler [2015-12-01 12:29:43] 859*2^1416559-1 is not prime. Res64: C2B017073EF84079 Time : 0.0 sec. user=mdettweiler [2015-12-01 12:29:43] 723*2^1416559-1 is not prime. Res64: 21CCB535F4DDD4EC Time : 0.0 sec. user=mdettweiler [2015-12-01 12:29:44] 729*2^1416559-1 is not prime. Res64: 45412E114033FD8C Time : 0.0 sec. user=mdettweiler [2015-12-01 12:47:21] 825*2^1416560-1 is not prime. Res64: 36E56BEA193E015E Time : 0.0 sec. user=mdettweiler [2015-12-01 12:47:22] 899*2^1416560-1 is not prime. Res64: 3E08CD02DE9676DB Time : 0.0 sec. user=mdettweiler [2015-12-01 12:47:24] 665*2^1416560-1 is not prime. Res64: 9D0BE82865D130FA Time : 0.0 sec. user=mdettweiler [2015-12-01 12:47:25] 803*2^1416560-1 is not prime. Res64: 6A1FDA581B5C485B Time : 0.0 sec. user=mdettweiler [2015-12-01 12:47:30] 933*2^1416559-1 is not prime. Res64: 0798DFCC05E17152 Time : 0.0 sec. user=mdettweiler [2015-12-01 12:47:30] 609*2^1416560-1 is not prime. Res64: 31755C5BDCF57F6D Time : 0.0 sec. user=mdettweiler [2015-12-01 13:04:59] 675*2^1416561-1 is not prime. Res64: E11EA0FB4E65ED67 Time : 0.0 sec. user=mdettweiler [2015-12-01 13:05:01] 705*2^1416561-1 is not prime. Res64: 03245D9D0818F970 Time : 0.0 sec. user=mdettweiler [2015-12-01 13:05:02] 727*2^1416561-1 is not prime. Res64: 110E71550286079E Time : 0.0 sec. user=mdettweiler [2015-12-01 13:05:03] 817*2^1416561-1 is not prime. Res64: DAE030BD57C152B5 Time : 0.0 sec. user=mdettweiler [2015-12-01 13:05:05] 895*2^1416561-1 is not prime. Res64: 890AD161B3F96385 Time : 0.0 sec. user=mdettweiler [2015-12-01 13:05:07] 975*2^1416561-1 is not prime. Res64: 8D43A18331465295 Time : 0.0 sec. user=mdettweiler [2015-12-01 13:23:19] 801*2^1416562-1 is not prime. Res64: BB59DFB619868102 Time : 0.0 sec. user=mdettweiler [2015-12-01 13:23:19] 827*2^1416562-1 is not prime. Res64: 931F19C021A049C7 Time : 0.0 sec. user=mdettweiler [2015-12-01 13:23:20] 645*2^1416562-1 is not prime. Res64: 108754F2343DDFBF Time : 0.0 sec. user=mdettweiler [2015-12-01 13:23:20] 741*2^1416562-1 is not prime. Res64: D82FBA7A2109DB39 Time : 0.0 sec. user=mdettweiler [2015-12-01 13:23:21] 747*2^1416562-1 is not prime. Res64: C41AF90264C14899 Time : 0.0 sec. user=mdettweiler [2015-12-01 13:23:22] 777*2^1416562-1 is not prime. Res64: D147A499F884381E Time : 0.0 sec. user=mdettweiler [2015-12-01 13:41:00] 811*2^1416563-1 is not prime. Res64: AF83779298904F3B Time : 0.0 sec. user=mdettweiler [2015-12-01 13:41:00] 649*2^1416563-1 is not prime. Res64: 0463EDA9C9A7C1D3 Time : 0.0 sec. user=mdettweiler [2015-12-01 13:41:00] 921*2^1416563-1 is not prime. Res64: 6D12B022449BF5D7 Time : 0.0 sec. user=mdettweiler [2015-12-01 13:41:00] 663*2^1416563-1 is not prime. Res64: AF5D3A823C86DB50 Time : 0.0 sec. user=mdettweiler [2015-12-01 13:41:01] 945*2^1416563-1 is not prime. Res64: CFF7A20455E0DCB5 Time : 0.0 sec. user=mdettweiler [2015-12-01 13:41:01] 629*2^1416564-1 is not prime. Res64: A11F356F46DA13D6 Time : 0.0 sec. user=mdettweiler [2015-12-01 13:58:38] 809*2^1416564-1 is not prime. Res64: 7655ADB1CD2900DB Time : 0.0 sec. user=mdettweiler [2015-12-01 13:58:38] 887*2^1416564-1 is not prime. Res64: 0C0224F9A10BF52A Time : 0.0 sec. user=mdettweiler [2015-12-01 13:58:38] 899*2^1416564-1 is not prime. Res64: 883A8BA65F93129E Time : 0.0 sec. user=mdettweiler [2015-12-01 13:58:38] 639*2^1416564-1 is not prime. Res64: 92DF0C10D453FB2A Time : 0.0 sec. user=mdettweiler [2015-12-01 13:58:38] 909*2^1416564-1 is not prime. Res64: A6083AC889B2E609 Time : 0.0 sec. user=mdettweiler [2015-12-01 13:58:38] 773*2^1416564-1 is not prime. Res64: EED10E5B6D189F11 Time : 0.0 sec. user=mdettweiler [2015-12-01 14:16:17] 721*2^1416565-1 is not prime. Res64: 4F5E0900A03864A0 Time : 0.0 sec. user=mdettweiler [2015-12-01 14:16:17] 965*2^1416564-1 is not prime. Res64: 1AF2439837F6716A Time : 0.0 sec. user=mdettweiler [2015-12-01 14:16:17] 861*2^1416565-1 is not prime. Res64: 49A61E30AE87E684 Time : 0.0 sec. user=mdettweiler [2015-12-01 14:16:18] 699*2^1416565-1 is not prime. Res64: 77CA79013B17A049 Time : 0.0 sec. user=mdettweiler [2015-12-01 14:16:18] 871*2^1416565-1 is not prime. Res64: C99CC96716263F95 Time : 0.0 sec. user=mdettweiler [2015-12-01 14:16:18] 889*2^1416565-1 is not prime. Res64: 54655BDC0F7EF4DB Time : 0.0 sec. user=mdettweiler [2015-12-01 14:33:55] 1001*2^1416566-1 is not prime. Res64: 4D84A431681293AC Time : 0.0 sec. user=mdettweiler [2015-12-01 14:33:56] 861*2^1416567-1 is not prime. Res64: CE8C37915CF448F7 Time : 0.0 sec. user=mdettweiler [2015-12-01 14:33:56] 895*2^1416565-1 is not prime. Res64: 8DBCA8DACFD3EEEF Time : 0.0 sec. user=mdettweiler [2015-12-01 14:33:56] 755*2^1416566-1 is not prime. Res64: 8AD2079B67ED1A03 Time : 0.0 sec. user=mdettweiler [2015-12-01 14:33:56] 623*2^1416566-1 is not prime. Res64: CDF791813B986F12 Time : 0.0 sec. user=mdettweiler [2015-12-01 14:33:57] 795*2^1416566-1 is not prime. Res64: 0C2439DCBC71FDD4 Time : 0.0 sec. user=mdettweiler [2015-12-01 14:51:34] 933*2^1416567-1 is not prime. Res64: 3B32317318118114 Time : 0.0 sec. user=mdettweiler [2015-12-01 14:51:34] 605*2^1416568-1 is not prime. Res64: 9DD61951675163C9 Time : 0.0 sec. user=mdettweiler [2015-12-01 14:51:34] 963*2^1416567-1 is not prime. Res64: DB10297712D85A00 Time : 0.0 sec. user=mdettweiler [2015-12-01 14:51:35] 687*2^1416568-1 is not prime. Res64: 9F0147D082D6D569 Time : 0.0 sec. user=mdettweiler [2015-12-01 14:51:35] 891*2^1416567-1 is not prime. Res64: C1737FC21FBE1CC3 Time : 0.0 sec. user=mdettweiler [2015-12-01 14:51:35] 895*2^1416567-1 is not prime. Res64: D30B91982F732E52 Time : 0.0 sec. user=mdettweiler [2015-12-01 15:09:11] 843*2^1416568-1 is not prime. Res64: 3F822CA4A7A3ACBF Time : 0.0 sec. user=mdettweiler [2015-12-01 15:09:11] 849*2^1416568-1 is not prime. Res64: 60A8D5AE531F118A Time : 0.0 sec. user=mdettweiler [2015-12-01 15:09:12] 855*2^1416568-1 is not prime. Res64: 1A4398AB9DC1CFC4 Time : 0.0 sec. user=mdettweiler [2015-12-01 15:09:12] 771*2^1416569-1 is not prime. Res64: 51D0C19B1FEFFF52 Time : 0.0 sec. user=mdettweiler [2015-12-01 15:09:12] 875*2^1416568-1 is not prime. Res64: 275E12DEDA7E0E83 Time : 0.0 sec. user=mdettweiler [2015-12-01 15:09:12] 787*2^1416569-1 is not prime. Res64: 84E23CF1E224F520 Time : 0.0 sec. user=mdettweiler [2015-12-01 15:26:52] 707*2^1416570-1 is not prime. Res64: 2D8EF4929DFE91AD Time : 0.0 sec. user=mdettweiler [2015-12-01 15:26:52] 811*2^1416569-1 is not prime. Res64: D8BF5F9842EE2D5E Time : 0.0 sec. user=mdettweiler [2015-12-01 15:26:52] 887*2^1416570-1 is not prime. Res64: C72DD2A47611DA92 Time : 0.0 sec. user=mdettweiler [2015-12-01 15:26:53] 879*2^1416569-1 is not prime. Res64: 526C3D0669EC40FB Time : 0.0 sec. user=mdettweiler [2015-12-01 15:26:54] 939*2^1416569-1 is not prime. Res64: 8DBF5AD0E605CCDA Time : 0.0 sec. user=mdettweiler [2015-12-01 15:26:54] 949*2^1416569-1 is not prime. Res64: 5AAAD88D1C3BA519 Time : 0.0 sec. user=mdettweiler [2015-12-01 15:44:32] 625*2^1416571-1 is not prime. Res64: C81F399965AF7CFE Time : 0.0 sec. user=mdettweiler [2015-12-01 15:44:32] 651*2^1416571-1 is not prime. Res64: D9CCE33707D2B702 Time : 0.0 sec. user=mdettweiler [2015-12-01 15:44:33] 891*2^1416570-1 is not prime. Res64: 98C9E0D3CEC14F6F Time : 0.0 sec. user=mdettweiler [2015-12-01 15:44:33] 619*2^1416571-1 is not prime. Res64: A869666A4654FBC8 Time : 0.0 sec. user=mdettweiler [2015-12-01 15:44:34] 675*2^1416571-1 is not prime. Res64: 5EC4B5E708AF176A Time : 0.0 sec. user=mdettweiler [2015-12-01 15:44:34] 685*2^1416571-1 is not prime. Res64: 937ACED9E644232C Time : 0.0 sec. user=mdettweiler [2015-12-01 16:02:21] 859*2^1416571-1 is not prime. Res64: C902D6DC05E79B78 Time : 0.0 sec. user=mdettweiler [2015-12-01 16:02:24] 861*2^1416571-1 is not prime. Res64: 5796AF7099E849D4 Time : 0.0 sec. user=mdettweiler [2015-12-01 16:02:26] 723*2^1416571-1 is not prime. Res64: CE44787F9481C4B0 Time : 0.0 sec. user=mdettweiler [2015-12-01 16:02:28] 735*2^1416571-1 is not prime. Res64: 71FC3BBE7001E193 Time : 0.0 sec. user=mdettweiler [2015-12-01 16:02:31] 885*2^1416571-1 is not prime. Res64: FD67707ECEB19CCC Time : 0.0 sec. user=mdettweiler [2015-12-01 16:21:11] 749*2^1416572-1 is not prime. Res64: 98319EF9599A9E2C Time : 0.0 sec. user=mdettweiler [2015-12-01 16:21:11] 605*2^1416572-1 is not prime. Res64: 18B989923F340F2E Time : 0.0 sec. user=mdettweiler [2015-12-01 16:21:11] 759*2^1416572-1 is not prime. Res64: 76A325AA3C8C7639 Time : 0.0 sec. user=mdettweiler [2015-12-01 16:21:12] 617*2^1416572-1 is not prime. Res64: 935894FAE89811B6 Time : 0.0 sec. user=mdettweiler [2015-12-01 16:40:06] 893*2^1416572-1 is not prime. Res64: F96C7CC6E8445FC5 Time : 0.0 sec. user=mdettweiler [2015-12-01 16:40:07] 957*2^1416572-1 is not prime. Res64: 4635485E73BB86C8 Time : 0.0 sec. user=mdettweiler [2015-12-01 16:40:11] 813*2^1416572-1 is not prime. Res64: EC22194DCD0F0C59 Time : 0.0 sec. user=mdettweiler [2015-12-01 16:40:12] 819*2^1416572-1 is not prime. Res64: 412A003564BEC9EE Time : 0.0 sec. user=mdettweiler [2015-12-01 16:59:51] 983*2^1416572-1 is not prime. Res64: 72F5B09C19D8DA11 Time : 0.0 sec. user=mdettweiler [2015-12-01 16:59:51] 615*2^1416573-1 is not prime. Res64: F9663A942A88BAA2 Time : 0.0 sec. user=mdettweiler [2015-12-01 17:00:01] 625*2^1416573-1 is not prime. Res64: 68EEA577ABEA5721 Time : 0.0 sec. user=mdettweiler [2015-12-01 17:00:01] 627*2^1416573-1 is not prime. Res64: AD41C0E3B69B3301 Time : 0.0 sec. user=mdettweiler [2015-12-01 17:19:13] 669*2^1416573-1 is not prime. Res64: F51516329DE5C6AF Time : 0.0 sec. user=mdettweiler [2015-12-01 17:19:14] 691*2^1416573-1 is not prime. Res64: 945932E2B2B6A5BE Time : 0.0 sec. user=mdettweiler [2015-12-01 17:19:26] 817*2^1416573-1 is not prime. Res64: 9F26C4B977C14162 Time : 0.0 sec. user=mdettweiler [2015-12-01 17:19:26] 623*2^1416574-1 is not prime. Res64: 52AF3AF9E5EF26BC Time : 0.0 sec. user=mdettweiler [2015-12-01 17:28:25] 999*2^1416571-1 is not prime. Res64: 8731AAFD1A7E6F74 Time : 0.0 sec. user=mdettweiler [2015-12-01 17:37:26] 651*2^1416574-1 is not prime. Res64: 50C0BDB4C8BCC386 Time : 0.0 sec. user=mdettweiler [2015-12-01 17:37:26] 825*2^1416574-1 is not prime. Res64: 1FE0A65AF44E24B3 Time : 0.0 sec. user=mdettweiler [2015-12-01 17:37:34] 861*2^1416574-1 is not prime. Res64: 20FF056989E824D1 Time : 0.0 sec. user=mdettweiler [2015-12-01 17:37:34] 881*2^1416574-1 is not prime. Res64: B66A5223EBFC1B2B Time : 0.0 sec. user=mdettweiler [2015-12-01 17:46:05] 885*2^1416574-1 is not prime. Res64: 9CEACD0ECC712CEC Time : 0.0 sec. user=mdettweiler [2015-12-01 17:46:05] 987*2^1416574-1 is not prime. Res64: F95C336E666E1714 Time : 0.0 sec. user=mdettweiler [2015-12-01 17:55:04] 685*2^1416575-1 is not prime. Res64: B570FF9B93885207 Time : 0.0 sec. user=mdettweiler [2015-12-01 17:55:04] 885*2^1416575-1 is not prime. Res64: 121948A5DCCE2DA7 Time : 0.0 sec. user=mdettweiler [2015-12-01 17:55:12] 999*2^1416575-1 is not prime. Res64: CE11FEDCDF3B43B9 Time : 0.0 sec. user=mdettweiler [2015-12-01 17:55:12] 633*2^1416576-1 is not prime. Res64: 97E21C1BDAFCF6EB Time : 0.0 sec. user=mdettweiler [2015-12-01 18:03:45] 723*2^1416576-1 is not prime. Res64: 8B2AC31907120845 Time : 0.0 sec. user=mdettweiler [2015-12-01 18:03:46] 759*2^1416576-1 is not prime. Res64: 70BE35D23972E625 Time : 0.0 sec. user=mdettweiler [2015-12-01 18:12:43] 765*2^1416576-1 is not prime. Res64: BF1FE5E544F8FDB6 Time : 0.0 sec. user=mdettweiler [2015-12-01 18:12:43] 923*2^1416576-1 is not prime. Res64: 403B48E684B4354C Time : 0.0 sec. user=mdettweiler [2015-12-01 18:12:54] 615*2^1416577-1 is not prime. Res64: 7703AE8FB17E88CB Time : 0.0 sec. user=mdettweiler [2015-12-01 18:12:54] 619*2^1416577-1 is not prime. Res64: D3D927E094B37218 Time : 0.0 sec. user=mdettweiler [2015-12-01 18:21:36] 645*2^1416577-1 is not prime. Res64: C5BA8E7890E0EEBC Time : 0.0 sec. user=mdettweiler [2015-12-01 18:21:36] 729*2^1416577-1 is not prime. Res64: 85E2D84165A52B6E Time : 0.0 sec. user=mdettweiler [2015-12-01 18:30:22] 759*2^1416577-1 is not prime. Res64: 7B821AC97B9A3BC5 Time : 0.0 sec. user=mdettweiler [2015-12-01 18:30:23] 801*2^1416577-1 is not prime. Res64: D704F1E4C9ED3085 Time : 0.0 sec. user=mdettweiler [2015-12-01 18:30:34] 867*2^1416577-1 is not prime. Res64: A635B85E2D23BF5F Time : 0.0 sec. user=mdettweiler [2015-12-01 18:30:34] 871*2^1416577-1 is not prime. Res64: D03CC2E94B89C918 Time : 0.0 sec. user=mdettweiler [2015-12-01 18:39:16] 895*2^1416577-1 is not prime. Res64: AE804134CB3BCBCE Time : 0.0 sec. user=mdettweiler [2015-12-01 18:39:16] 931*2^1416577-1 is not prime. Res64: 5BD2EA51E03F308D Time : 0.0 sec. user=mdettweiler [2015-12-01 18:48:01] 731*2^1416578-1 is not prime. Res64: 9BF6264ED5C967C6 Time : 0.0 sec. user=mdettweiler [2015-12-01 18:48:01] 735*2^1416578-1 is not prime. Res64: 418198033832BF0B Time : 0.0 sec. user=mdettweiler [2015-12-01 18:48:12] 825*2^1416578-1 is not prime. Res64: F79B4BD7AA0BB2F4 Time : 0.0 sec. user=mdettweiler [2015-12-01 18:48:13] 837*2^1416578-1 is not prime. Res64: 7FCF9AA1DB6CFAC3 Time : 0.0 sec. user=mdettweiler [2015-12-01 18:56:54] 857*2^1416578-1 is not prime. Res64: 66E6185B2E7DB31E Time : 0.0 sec. user=mdettweiler [2015-12-01 18:56:54] 887*2^1416578-1 is not prime. Res64: 300632020FB4F54A Time : 0.0 sec. user=mdettweiler [2015-12-01 19:05:41] 911*2^1416578-1 is not prime. Res64: 9C89DBAAAFD8DEB0 Time : 0.0 sec. user=mdettweiler [2015-12-01 19:05:43] 923*2^1416578-1 is not prime. Res64: 17AA54D5A0D829D6 Time : 0.0 sec. user=mdettweiler [2015-12-01 19:05:52] 1001*2^1416578-1 is not prime. Res64: 993610E188754005 Time : 0.0 sec. user=mdettweiler [2015-12-01 19:05:53] 609*2^1416579-1 is not prime. Res64: F5BC88ADC084228E Time : 0.0 sec. user=mdettweiler [2015-12-01 19:14:34] 633*2^1416579-1 is not prime. Res64: 6C74193BAF95A337 Time : 0.0 sec. user=mdettweiler [2015-12-01 19:14:35] 735*2^1416579-1 is not prime. Res64: 323ED973BEE433D5 Time : 0.0 sec. user=mdettweiler [2015-12-01 19:23:36] 751*2^1416579-1 is not prime. Res64: B979EAD16C4F6457 Time : 0.0 sec. user=mdettweiler [2015-12-01 19:23:37] 903*2^1416579-1 is not prime. Res64: 6ED281E2EBDE07FD Time : 0.0 sec. user=mdettweiler [2015-12-01 19:23:38] 605*2^1416580-1 is not prime. Res64: 7497CA4DFE0E80DC Time : 0.0 sec. user=mdettweiler [2015-12-01 19:23:38] 623*2^1416580-1 is not prime. Res64: 31B254E62281A2F5 Time : 0.0 sec. user=mdettweiler [2015-12-01 19:32:17] 729*2^1416580-1 is not prime. Res64: 590BE400B359B3F6 Time : 0.0 sec. user=mdettweiler [2015-12-01 19:32:18] 785*2^1416580-1 is not prime. Res64: 888B835652780865 Time : 0.0 sec. user=mdettweiler [2015-12-01 19:41:15] 797*2^1416580-1 is not prime. Res64: 8A247365DBDAA74F Time : 0.0 sec. user=mdettweiler [2015-12-01 19:41:16] 819*2^1416580-1 is not prime. Res64: 01130303699D05FA Time : 0.0 sec. user=mdettweiler [2015-12-01 19:41:20] 827*2^1416580-1 is not prime. Res64: ACD71BD548CBAE43 Time : 0.0 sec. user=mdettweiler [2015-12-01 19:41:20] 839*2^1416580-1 is not prime. Res64: B1560214E715B758 Time : 0.0 sec. user=mdettweiler [2015-12-01 19:49:56] 855*2^1416580-1 is not prime. Res64: AC5E322D0D2891A6 Time : 0.0 sec. user=mdettweiler [2015-12-01 19:49:57] 929*2^1416580-1 is not prime. Res64: 6C232DD5AF755AA5 Time : 0.0 sec. user=mdettweiler [2015-12-01 19:58:54] 607*2^1416581-1 is not prime. Res64: 6B121EE9DE6CFC1D Time : 0.0 sec. user=mdettweiler [2015-12-01 19:58:54] 711*2^1416581-1 is not prime. Res64: 443F6FCC1B604FDF Time : 0.0 sec. user=mdettweiler [2015-12-01 19:58:58] 865*2^1416581-1 is not prime. Res64: 4FBD587E6598A8EF Time : 0.0 sec. user=mdettweiler [2015-12-01 19:58:58] 937*2^1416581-1 is not prime. Res64: 53031EFF123AAB88 Time : 0.0 sec. user=mdettweiler [2015-12-01 20:07:39] 797*2^1416582-1 is not prime. Res64: 47F427366DA81C82 Time : 0.0 sec. user=mdettweiler [2015-12-01 20:07:40] 963*2^1416582-1 is not prime. Res64: F26BDB88918017B2 Time : 0.0 sec. user=mdettweiler [2015-12-01 20:16:33] 975*2^1416582-1 is not prime. Res64: 9D0C789C7F154725 Time : 0.0 sec. user=mdettweiler [2015-12-01 20:16:34] 1001*2^1416582-1 is not prime. Res64: 797C4442A2AD75D0 Time : 0.0 sec. user=mdettweiler [2015-12-01 20:16:37] 705*2^1416583-1 is not prime. Res64: D312E4B9736C240B Time : 0.0 sec. user=mdettweiler [2015-12-01 20:16:37] 709*2^1416583-1 is not prime. Res64: 21A1D0A8434B49EE Time : 0.0 sec. user=mdettweiler [2015-12-01 20:25:23] 793*2^1416583-1 is not prime. Res64: 4ED7262140F3BE43 Time : 0.0 sec. user=mdettweiler [2015-12-01 20:25:23] 849*2^1416583-1 is not prime. Res64: F921416E9D38E3D5 Time : 0.0 sec. user=mdettweiler [2015-12-01 20:34:11] 861*2^1416583-1 is not prime. Res64: B2A28F794B2B6D35 Time : 0.0 sec. user=mdettweiler [2015-12-01 20:34:12] 617*2^1416584-1 is not prime. Res64: 370237B1CE7A9763 Time : 0.0 sec. user=mdettweiler [2015-12-01 20:34:15] 659*2^1416584-1 is not prime. Res64: BF8B5F5736A2461E Time : 0.0 sec. user=mdettweiler [2015-12-01 20:34:16] 717*2^1416584-1 is not prime. Res64: D8C73BF3C10BFD81 Time : 0.0 sec. user=mdettweiler [2015-12-01 20:43:04] 767*2^1416584-1 is not prime. Res64: CD5E2B5421D3D9D6 Time : 0.0 sec. user=mdettweiler [2015-12-01 20:43:04] 609*2^1416585-1 is not prime. Res64: 9DEE5A4C7C6E583C Time : 0.0 sec. user=mdettweiler [2015-12-01 20:51:48] 727*2^1416585-1 is not prime. Res64: 32E919E8ACE3C07A Time : 0.0 sec. user=mdettweiler [2015-12-01 20:51:48] 735*2^1416585-1 is not prime. Res64: 788D256476530661 Time : 0.0 sec. user=mdettweiler [2015-12-01 20:51:52] 739*2^1416585-1 is not prime. Res64: F84E084825E484BB Time : 0.0 sec. user=mdettweiler [2015-12-01 20:51:52] 781*2^1416585-1 is not prime. Res64: E258683D76FE8942 Time : 0.0 sec. user=mdettweiler [2015-12-01 21:00:41] 877*2^1416585-1 is not prime. Res64: CBF454AE79A94D11 Time : 0.0 sec. user=mdettweiler [2015-12-01 21:00:42] 617*2^1416586-1 is not prime. Res64: EB755C5176C20A05 Time : 0.0 sec. user=mdettweiler [2015-12-01 21:09:26] 695*2^1416586-1 is not prime. Res64: 3581A1EFFFA44009 Time : 0.0 sec. user=mdettweiler [2015-12-01 21:09:27] 803*2^1416586-1 is not prime. Res64: DAEA32230EA4D8D2 Time : 0.0 sec. user=mdettweiler [2015-12-01 21:09:31] 855*2^1416586-1 is not prime. Res64: 85775FB7805CD591 Time : 0.0 sec. user=mdettweiler [2015-12-01 21:09:31] 857*2^1416586-1 is not prime. Res64: 46FB6E6EF3622CCD Time : 0.0 sec. user=mdettweiler [2015-12-01 21:18:24] 873*2^1416586-1 is not prime. Res64: 3C8F65A21199A6FF Time : 0.0 sec. user=mdettweiler [2015-12-01 21:18:25] 957*2^1416586-1 is not prime. Res64: DAADB2F90D49BEF3 Time : 0.0 sec. user=mdettweiler [2015-12-01 21:27:06] 615*2^1416587-1 is not prime. Res64: FF71EC2CBD15CF58 Time : 0.0 sec. user=mdettweiler [2015-12-01 21:27:06] 619*2^1416587-1 is not prime. Res64: 3146070F31A9F1FF Time : 0.0 sec. user=mdettweiler [2015-12-01 21:27:11] 655*2^1416587-1 is not prime. Res64: FA8F40C68EA832C3 Time : 0.0 sec. user=mdettweiler [2015-12-01 21:27:11] 705*2^1416587-1 is not prime. Res64: F5C3399AD4DEE14A Time : 0.0 sec. user=mdettweiler [2015-12-01 21:36:05] 805*2^1416587-1 is not prime. Res64: C28F1252559003EB Time : 0.0 sec. user=mdettweiler [2015-12-01 21:36:06] 823*2^1416587-1 is not prime. Res64: 274302E727D3CCC1 Time : 0.0 sec. user=mdettweiler [2015-12-01 21:46:14] 843*2^1416587-1 is not prime. Res64: 1BF401C02D89A393 Time : 0.0 sec. user=mdettweiler [2015-12-01 21:46:14] 883*2^1416587-1 is not prime. Res64: 6F87129F49F39E46 Time : 0.0 sec. user=mdettweiler [2015-12-01 21:46:21] 963*2^1416587-1 is not prime. Res64: 8960B65D25CA048C Time : 0.0 sec. user=mdettweiler [2015-12-01 21:46:21] 689*2^1416588-1 is not prime. Res64: 26AD815D10C7909B Time : 0.0 sec. user=mdettweiler [2015-12-01 21:56:49] 725*2^1416588-1 is not prime. Res64: EDD487F07409B832 Time : 0.0 sec. user=mdettweiler [2015-12-01 21:56:49] 789*2^1416588-1 is not prime. Res64: E1B3752B13B20C9C Time : 0.0 sec. user=mdettweiler [2015-12-01 22:05:36] 819*2^1416588-1 is not prime. Res64: EF874FCCB2F7D2D8 Time : 0.0 sec. user=mdettweiler [2015-12-01 22:05:38] 843*2^1416588-1 is not prime. Res64: 92DA119D24323DDE Time : 0.0 sec. user=mdettweiler [2015-12-01 22:05:42] 867*2^1416588-1 is not prime. Res64: EEA37277CD547F5B Time : 0.0 sec. user=mdettweiler [2015-12-01 22:05:44] 899*2^1416588-1 is not prime. Res64: E8E6DF454761CC3B Time : 0.0 sec. user=mdettweiler [2015-12-01 22:14:52] 915*2^1416588-1 is not prime. Res64: 7005ECF325C36FF2 Time : 0.0 sec. user=mdettweiler [2015-12-01 22:14:52] 929*2^1416588-1 is not prime. Res64: 0B89A912A5184543 Time : 0.0 sec. user=mdettweiler [2015-12-01 22:23:30] 933*2^1416588-1 is not prime. Res64: F52658F7166A793F Time : 0.0 sec. user=mdettweiler [2015-12-01 22:23:31] 975*2^1416588-1 is not prime. Res64: 1045B8281E4C4FF2 Time : 0.0 sec. user=mdettweiler [2015-12-01 22:23:37] 609*2^1416589-1 is not prime. Res64: 4F6EDB25494CFA02 Time : 0.0 sec. user=mdettweiler [2015-12-01 22:23:37] 639*2^1416589-1 is not prime. Res64: E3705191C1F23CBB Time : 0.0 sec. user=mdettweiler [2015-12-01 22:32:30] 745*2^1416589-1 is not prime. Res64: 1A07656E38724C11 Time : 0.0 sec. user=mdettweiler [2015-12-01 22:32:30] 831*2^1416589-1 is not prime. Res64: F17FF54EBACFCA4B Time : 0.0 sec. user=mdettweiler [2015-12-01 22:41:08] 877*2^1416589-1 is not prime. Res64: 28A6C0424AE6BC41 Time : 0.0 sec. user=mdettweiler [2015-12-01 22:41:08] 615*2^1416590-1 is not prime. Res64: 72F6AD626FE67C8F Time : 0.0 sec. user=mdettweiler [2015-12-01 22:41:14] 635*2^1416590-1 is not prime. Res64: E0D1C41F4972BB4A Time : 0.0 sec. user=mdettweiler [2015-12-01 22:41:15] 717*2^1416590-1 is not prime. Res64: BB5901E525F9A678 Time : 0.0 sec. user=mdettweiler [2015-12-01 22:50:08] 797*2^1416590-1 is not prime. Res64: 1CD62A1188FCAAAA Time : 0.0 sec. user=mdettweiler [2015-12-01 22:50:09] 825*2^1416590-1 is not prime. Res64: 923C712BCADC8C64 Time : 0.0 sec. user=mdettweiler [2015-12-01 22:58:45] 827*2^1416590-1 is not prime. Res64: BD8A0EA75775C471 Time : 0.0 sec. user=mdettweiler [2015-12-01 22:58:45] 831*2^1416590-1 is not prime. Res64: 9014A3008CA41CC2 Time : 0.0 sec. user=mdettweiler [2015-12-01 22:58:51] 845*2^1416590-1 is not prime. Res64: 30C13D122E99B2B9 Time : 0.0 sec. user=mdettweiler [2015-12-01 22:58:52] 893*2^1416590-1 is not prime. Res64: A54CFA72111550A4 Time : 0.0 sec. user=mdettweiler [2015-12-01 23:07:45] 1001*2^1416590-1 is not prime. Res64: 7C57E3DE0E0DD2B4 Time : 0.0 sec. user=mdettweiler [2015-12-01 23:07:46] 639*2^1416591-1 is not prime. Res64: 1455C28939981629 Time : 0.0 sec. user=mdettweiler [2015-12-01 23:16:23] 643*2^1416591-1 is not prime. Res64: BAB1A4D0FDE4EBE3 Time : 0.0 sec. user=mdettweiler [2015-12-01 23:16:23] 705*2^1416591-1 is not prime. Res64: 0DA086F2D2998697 Time : 0.0 sec. user=mdettweiler [2015-12-01 23:16:30] 865*2^1416591-1 is not prime. Res64: 2B567A9BAF7F902C Time : 0.0 sec. user=mdettweiler [2015-12-01 23:16:30] 879*2^1416591-1 is not prime. Res64: ADA7EAF10486401F Time : 0.0 sec. user=mdettweiler [2015-12-01 23:25:26] 955*2^1416591-1 is not prime. Res64: BD1F3743E02038A2 Time : 0.0 sec. user=mdettweiler [2015-12-01 23:25:27] 961*2^1416591-1 is not prime. Res64: 32A2F3F4AD803A09 Time : 0.0 sec. user=mdettweiler [2015-12-01 23:34:01] 999*2^1416591-1 is not prime. Res64: 91AD4C04AC6B1BA3 Time : 0.0 sec. user=mdettweiler [2015-12-01 23:34:01] 623*2^1416592-1 is not prime. Res64: 0CFDC7C6111D4FF7 Time : 0.0 sec. user=mdettweiler [2015-12-01 23:34:07] 639*2^1416592-1 is not prime. Res64: ACEFA9FF223F93C6 Time : 0.0 sec. user=mdettweiler [2015-12-01 23:34:07] 717*2^1416592-1 is not prime. Res64: 30B6B96265DC00D8 Time : 0.0 sec. user=mdettweiler [2015-12-01 23:43:02] 747*2^1416592-1 is not prime. Res64: 1B62B13CF5A433D6 Time : 0.0 sec. user=mdettweiler [2015-12-01 23:43:03] 777*2^1416592-1 is not prime. Res64: 0278919F3843ABAC Time : 0.0 sec. user=mdettweiler [2015-12-01 23:51:38] 855*2^1416592-1 is not prime. Res64: 180C183396620735 Time : 0.0 sec. user=mdettweiler [2015-12-01 23:51:39] 875*2^1416592-1 is not prime. Res64: 986833C77488CFC4 Time : 0.0 sec. user=mdettweiler [2015-12-01 23:51:43] 675*2^1416593-1 is not prime. Res64: 86EEAFDB239011D2 Time : 0.0 sec. user=mdettweiler [2015-12-01 23:51:43] 705*2^1416593-1 is not prime. Res64: 01ED0C3D929F37EB Time : 0.0 sec. user=mdettweiler [2015-12-02 00:00:39] 769*2^1416593-1 is not prime. Res64: 53C33D28DB917262 Time : 0.0 sec. user=mdettweiler [2015-12-02 00:00:39] 789*2^1416593-1 is not prime. Res64: C6D2F89234609995 Time : 0.0 sec.