user=mdettweiler [2018-03-13 00:27:16] 783*2^1504108-1 is not prime. Res64: A0200C318E7D28EA Time : 0.0 sec. user=mdettweiler [2018-03-13 00:27:17] 875*2^1504108-1 is not prime. Res64: 3A12F92B6DB2E0EA Time : 0.0 sec. user=mdettweiler [2018-03-13 00:27:17] 927*2^1504108-1 is not prime. Res64: 60A8DF4D84D140F8 Time : 0.0 sec. user=mdettweiler [2018-03-13 00:27:18] 933*2^1504108-1 is not prime. Res64: C40A8CDA196D1FF6 Time : 0.0 sec. user=mdettweiler [2018-03-13 00:27:18] 615*2^1504109-1 is not prime. Res64: 8AF21963F12FBBD6 Time : 0.0 sec. user=mdettweiler [2018-03-13 00:27:56] 631*2^1504109-1 is not prime. Res64: 256B6CA2A1F19373 Time : 0.0 sec. user=mdettweiler [2018-03-13 00:27:57] 697*2^1504109-1 is not prime. Res64: 861F1F5064D45A34 Time : 0.0 sec. user=mdettweiler [2018-03-13 00:27:57] 711*2^1504109-1 is not prime. Res64: 259BBB1F94A46929 Time : 0.0 sec. user=mdettweiler [2018-03-13 00:27:57] 721*2^1504109-1 is not prime. Res64: 173C6D672ACD2450 Time : 0.0 sec. user=mdettweiler [2018-03-13 00:27:58] 747*2^1504109-1 is not prime. Res64: D9F12E13593149A4 Time : 0.0 sec. user=mdettweiler [2018-03-13 00:39:19] 769*2^1504109-1 is not prime. Res64: 0AC7DAC86341EA4B Time : 0.0 sec. user=mdettweiler [2018-03-13 00:39:19] 825*2^1504109-1 is not prime. Res64: 88B544F617346734 Time : 0.0 sec. user=mdettweiler [2018-03-13 00:39:20] 861*2^1504109-1 is not prime. Res64: AB3569291D9FCC16 Time : 0.0 sec. user=mdettweiler [2018-03-13 00:39:20] 651*2^1504110-1 is not prime. Res64: BA77C8B26D1C9C9D Time : 0.0 sec. user=mdettweiler [2018-03-13 00:39:20] 725*2^1504110-1 is not prime. Res64: 406648D31A2F492D Time : 0.0 sec. user=mdettweiler [2018-03-13 01:17:00] 619*2^1504111-1 is not prime. Res64: 32BD709890B0F596 Time : 0.0 sec. user=mdettweiler [2018-03-13 01:17:01] 639*2^1504111-1 is not prime. Res64: AB6D79FCF762F89B Time : 0.0 sec. user=mdettweiler [2018-03-13 01:17:02] 705*2^1504111-1 is not prime. Res64: DCBDE2D8887FDCBD Time : 0.0 sec. user=mdettweiler [2018-03-13 01:17:03] 741*2^1504111-1 is not prime. Res64: 30874ED6AB638A92 Time : 0.0 sec. user=mdettweiler [2018-03-13 01:17:03] 769*2^1504111-1 is not prime. Res64: FF7CDD88C74D9094 Time : 0.0 sec. user=mdettweiler [2018-03-13 01:18:31] 801*2^1504110-1 is not prime. Res64: 0CCCCFA2133C9558 Time : 0.0 sec. user=mdettweiler [2018-03-13 01:18:32] 861*2^1504110-1 is not prime. Res64: 0E21524C23B8AC07 Time : 0.0 sec. user=mdettweiler [2018-03-13 01:18:33] 893*2^1504110-1 is not prime. Res64: CCA3795595804065 Time : 0.0 sec. user=mdettweiler [2018-03-13 01:18:34] 917*2^1504110-1 is not prime. Res64: CC7F8BF0C4227DCF Time : 0.0 sec. user=mdettweiler [2018-03-13 01:18:34] 927*2^1504110-1 is not prime. Res64: 7B21A7084FEC6FEE Time : 0.0 sec. user=mdettweiler [2018-03-13 01:29:37] 789*2^1504111-1 is not prime. Res64: EB4F0335D6A65BC2 Time : 0.0 sec. user=mdettweiler [2018-03-13 01:29:39] 861*2^1504111-1 is not prime. Res64: 5E611E7A29DD3CE9 Time : 0.0 sec. user=mdettweiler [2018-03-13 01:29:40] 895*2^1504111-1 is not prime. Res64: B54A1C932171578A Time : 0.0 sec. user=mdettweiler [2018-03-13 01:29:41] 931*2^1504111-1 is not prime. Res64: B37C632D07BC40A6 Time : 0.0 sec. user=mdettweiler [2018-03-13 01:29:42] 939*2^1504111-1 is not prime. Res64: A5B61720FA4B4A32 Time : 0.0 sec. user=mdettweiler [2018-03-13 02:05:55] 951*2^1504111-1 is not prime. Res64: F9EB37505C06B3D7 Time : 0.0 sec. user=mdettweiler [2018-03-13 02:05:59] 975*2^1504111-1 is not prime. Res64: 1365398E73C14378 Time : 0.0 sec. user=mdettweiler [2018-03-13 02:06:02] 717*2^1504112-1 is not prime. Res64: 0B7A459755B87087 Time : 0.0 sec. user=mdettweiler [2018-03-13 02:06:06] 945*2^1504112-1 is not prime. Res64: 9F5B36AECF9911AF Time : 0.0 sec. user=mdettweiler [2018-03-13 02:06:10] 741*2^1504113-1 is not prime. Res64: 5E8E448714D4C956 Time : 0.0 sec. user=mdettweiler [2018-03-13 02:07:06] 747*2^1504113-1 is not prime. Res64: F3745B639247DD03 Time : 0.0 sec. user=mdettweiler [2018-03-13 02:07:10] 817*2^1504113-1 is not prime. Res64: 6B6C8C1659BAC82B Time : 0.0 sec. user=mdettweiler [2018-03-13 02:07:14] 889*2^1504113-1 is not prime. Res64: 8F98E978CF650B2F Time : 0.0 sec. user=mdettweiler [2018-03-13 02:07:18] 665*2^1504114-1 is not prime. Res64: F4957B60C5FD02B9 Time : 0.0 sec. user=mdettweiler [2018-03-13 02:07:22] 723*2^1504114-1 is not prime. Res64: D9F89D9BB2125B91 Time : 0.0 sec. user=mdettweiler [2018-03-13 02:18:35] 861*2^1504114-1 is not prime. Res64: 85839054951ACC16 Time : 0.0 sec. user=mdettweiler [2018-03-13 02:18:36] 881*2^1504114-1 is not prime. Res64: EF366146706716B7 Time : 0.0 sec. user=mdettweiler [2018-03-13 02:18:36] 971*2^1504114-1 is not prime. Res64: D2975E9F3037DB27 Time : 0.0 sec. user=mdettweiler [2018-03-13 02:18:37] 975*2^1504114-1 is not prime. Res64: 1D5476B9C1E97374 Time : 0.0 sec. user=mdettweiler [2018-03-13 02:18:37] 609*2^1504115-1 is not prime. Res64: 46BDA0974BDBE0C4 Time : 0.0 sec. user=mdettweiler [2018-03-13 02:54:48] 991*2^1504115-1 is not prime. Res64: FA7A09132426F0F0 Time : 0.0 sec. user=mdettweiler [2018-03-13 02:54:49] 635*2^1504116-1 is not prime. Res64: 68E2F9A7A16F739D Time : 0.0 sec. user=mdettweiler [2018-03-13 02:54:50] 683*2^1504116-1 is not prime. Res64: 1B54CB4892729697 Time : 0.0 sec. user=mdettweiler [2018-03-13 02:54:50] 699*2^1504116-1 is not prime. Res64: 2FEF87C09BC2D2E9 Time : 0.0 sec. user=mdettweiler [2018-03-13 02:54:50] 749*2^1504116-1 is not prime. Res64: C00EF2C2403A78C3 Time : 0.0 sec. user=mdettweiler [2018-03-13 02:55:53] 777*2^1504116-1 is not prime. Res64: 365C5AE01005B892 Time : 0.0 sec. user=mdettweiler [2018-03-13 02:55:53] 905*2^1504116-1 is not prime. Res64: 3AF91BE206AB9706 Time : 0.0 sec. user=mdettweiler [2018-03-13 02:55:54] 923*2^1504116-1 is not prime. Res64: 27E287FB39095EE8 Time : 0.0 sec. user=mdettweiler [2018-03-13 02:55:54] 615*2^1504117-1 is not prime. Res64: 5A572CC787AFFF5B Time : 0.0 sec. user=mdettweiler [2018-03-13 02:55:55] 645*2^1504117-1 is not prime. Res64: 15DD68F52D56A8C8 Time : 0.0 sec. user=mdettweiler [2018-03-13 03:07:56] 717*2^1504117-1 is not prime. Res64: 82F1776251889B91 Time : 0.0 sec. user=mdettweiler [2018-03-13 03:07:58] 769*2^1504117-1 is not prime. Res64: 4471A51A5A56DF55 Time : 0.0 sec. user=mdettweiler [2018-03-13 03:07:58] 801*2^1504117-1 is not prime. Res64: DF8A582049919BB7 Time : 0.0 sec. user=mdettweiler [2018-03-13 03:07:59] 835*2^1504117-1 is not prime. Res64: D78F3B32297421C5 Time : 0.0 sec. user=mdettweiler [2018-03-13 03:08:00] 861*2^1504117-1 is not prime. Res64: 4E34824195311D67 Time : 0.0 sec. user=mdettweiler [2018-03-13 03:44:12] 885*2^1504117-1 is not prime. Res64: 89ECC854ADFB80BD Time : 0.0 sec. user=mdettweiler [2018-03-13 03:44:14] 915*2^1504117-1 is not prime. Res64: 424B9F3032ECA7CF Time : 0.0 sec. user=mdettweiler [2018-03-13 03:44:15] 937*2^1504117-1 is not prime. Res64: BBE2A858C1731444 Time : 0.0 sec. user=mdettweiler [2018-03-13 03:44:16] 635*2^1504118-1 is not prime. Res64: 593747289F166C5B Time : 0.0 sec. user=mdettweiler [2018-03-13 03:44:18] 795*2^1504118-1 is not prime. Res64: 64BDAA80846D0029 Time : 0.0 sec. user=mdettweiler [2018-03-13 03:44:48] 887*2^1504118-1 is not prime. Res64: E9BE1816BE7CA330 Time : 0.0 sec. user=mdettweiler [2018-03-13 03:44:49] 661*2^1504119-1 is not prime. Res64: F5AEA210EC5DB5B7 Time : 0.0 sec. user=mdettweiler [2018-03-13 03:44:50] 751*2^1504119-1 is not prime. Res64: 364A81981A99C5B4 Time : 0.0 sec. user=mdettweiler [2018-03-13 03:44:52] 763*2^1504119-1 is not prime. Res64: 7B8A93DE6CE43712 Time : 0.0 sec. user=mdettweiler [2018-03-13 03:44:57] 859*2^1504119-1 is not prime. Res64: C0303596436225FF Time : 0.0 sec. user=mdettweiler [2018-03-13 03:57:40] 891*2^1504119-1 is not prime. Res64: 99EF7E8CCB48CFE2 Time : 0.0 sec. user=mdettweiler [2018-03-13 03:57:41] 961*2^1504119-1 is not prime. Res64: 190030BB534F2AF9 Time : 0.0 sec. user=mdettweiler [2018-03-13 03:57:41] 653*2^1504120-1 is not prime. Res64: 3E4C31BC58449571 Time : 0.0 sec. user=mdettweiler [2018-03-13 03:57:42] 735*2^1504120-1 is not prime. Res64: C610952D35745403 Time : 0.0 sec. user=mdettweiler [2018-03-13 03:57:43] 797*2^1504120-1 is not prime. Res64: DF58F1DCEF0DE493 Time : 0.0 sec. user=mdettweiler [2018-03-13 04:33:58] 855*2^1504120-1 is not prime. Res64: F578C069C5C063CF Time : 0.0 sec. user=mdettweiler [2018-03-13 04:33:59] 917*2^1504120-1 is not prime. Res64: 3574D1B296C1B30A Time : 0.0 sec. user=mdettweiler [2018-03-13 04:33:59] 909*2^1504121-1 is not prime. Res64: A3AE093B1BEB9BE8 Time : 0.0 sec. user=mdettweiler [2018-03-13 04:33:59] 675*2^1504121-1 is not prime. Res64: 9895F279DD275BFF Time : 0.0 sec. user=mdettweiler [2018-03-13 04:33:59] 925*2^1504121-1 is not prime. Res64: 3DF22F875CDE9B10 Time : 0.0 sec. user=mdettweiler [2018-03-13 04:34:00] 811*2^1504121-1 is not prime. Res64: C92151B5BBC00648 Time : 0.0 sec. user=mdettweiler [2018-03-13 04:34:00] 829*2^1504121-1 is not prime. Res64: CD3277A2BB210D42 Time : 0.0 sec. user=mdettweiler [2018-03-13 04:34:01] 949*2^1504121-1 is not prime. Res64: FFEA0B33BDD1789F Time : 0.0 sec. user=mdettweiler [2018-03-13 04:34:02] 997*2^1504121-1 is not prime. Res64: FB66868A66181B92 Time : 0.0 sec. user=mdettweiler [2018-03-13 04:34:03] 633*2^1504122-1 is not prime. Res64: 08EA97475440CB86 Time : 0.0 sec. user=mdettweiler [2018-03-13 04:46:09] 681*2^1504122-1 is not prime. Res64: 485CB024216009D9 Time : 0.0 sec. user=mdettweiler [2018-03-13 04:46:10] 725*2^1504122-1 is not prime. Res64: 19E8C4F8A1CEE095 Time : 0.0 sec. user=mdettweiler [2018-03-13 04:46:10] 891*2^1504122-1 is not prime. Res64: F82DAD32DB532D6B Time : 0.0 sec. user=mdettweiler [2018-03-13 04:46:10] 903*2^1504122-1 is not prime. Res64: CC7506745A5338D6 Time : 0.0 sec. user=mdettweiler [2018-03-13 04:46:11] 615*2^1504123-1 is not prime. Res64: A5BC05DFEBBBFC25 Time : 0.0 sec. user=mdettweiler [2018-03-13 05:22:35] 913*2^1504123-1 is not prime. Res64: 7CF7072C171F551F Time : 0.0 sec. user=mdettweiler [2018-03-13 05:22:36] 919*2^1504123-1 is not prime. Res64: 31CD01C2DD9CE06A Time : 0.0 sec. user=mdettweiler [2018-03-13 05:22:36] 943*2^1504123-1 is not prime. Res64: 8B45DBA763708540 Time : 0.0 sec. user=mdettweiler [2018-03-13 05:22:37] 629*2^1504124-1 is not prime. Res64: 85B6521B17EF7C54 Time : 0.0 sec. user=mdettweiler [2018-03-13 05:22:37] 677*2^1504124-1 is not prime. Res64: 7FF93C6042F2169F Time : 0.0 sec. user=mdettweiler [2018-03-13 05:22:53] 703*2^1504123-1 is not prime. Res64: 47E9D27C89FFE9C2 Time : 0.0 sec. user=mdettweiler [2018-03-13 05:22:53] 709*2^1504123-1 is not prime. Res64: 6E00A5ADFD406C0E Time : 0.0 sec. user=mdettweiler [2018-03-13 05:22:54] 771*2^1504123-1 is not prime. Res64: 082C132247E77FA2 Time : 0.0 sec. user=mdettweiler [2018-03-13 05:22:54] 819*2^1504123-1 is not prime. Res64: 97C50C8A5246C82F Time : 0.0 sec. user=mdettweiler [2018-03-13 05:22:54] 829*2^1504123-1 is not prime. Res64: 43EB4DDA92811A73 Time : 0.0 sec. user=mdettweiler [2018-03-13 05:35:46] 813*2^1504124-1 is not prime. Res64: 43FF058C36F89374 Time : 0.0 sec. user=mdettweiler [2018-03-13 05:35:46] 843*2^1504124-1 is not prime. Res64: C178CE8CDC1E1B0C Time : 0.0 sec. user=mdettweiler [2018-03-13 05:35:46] 903*2^1504124-1 is not prime. Res64: AEECA6ACB1A145E1 Time : 0.0 sec. user=mdettweiler [2018-03-13 05:35:47] 959*2^1504124-1 is not prime. Res64: 7EC1934F0AB9A169 Time : 0.0 sec. user=mdettweiler [2018-03-13 05:35:47] 983*2^1504124-1 is not prime. Res64: B111BB74F51705B5 Time : 0.0 sec. user=mdettweiler [2018-03-13 06:10:41] 783*2^1504126-1 is not prime. Res64: 28393C649EEC2950 Time : 0.0 sec. user=mdettweiler [2018-03-13 06:10:41] 619*2^1504127-1 is not prime. Res64: 851A156D7172D001 Time : 0.0 sec. user=mdettweiler [2018-03-13 06:10:42] 651*2^1504127-1 is not prime. Res64: 8696C3D021170299 Time : 0.0 sec. user=mdettweiler [2018-03-13 06:10:42] 655*2^1504127-1 is not prime. Res64: C6ACCE1734166107 Time : 0.0 sec. user=mdettweiler [2018-03-13 06:10:43] 661*2^1504127-1 is not prime. Res64: 219ACDFC16F8278D Time : 0.0 sec. user=mdettweiler [2018-03-13 06:11:29] 691*2^1504125-1 is not prime. Res64: 96D3C5F187386614 Time : 0.0 sec. user=mdettweiler [2018-03-13 06:11:29] 751*2^1504125-1 is not prime. Res64: 0EEDD51551C3E7BF Time : 0.0 sec. user=mdettweiler [2018-03-13 06:11:30] 831*2^1504125-1 is not prime. Res64: 3B41B4433953815D Time : 0.0 sec. user=mdettweiler [2018-03-13 06:11:30] 861*2^1504125-1 is not prime. Res64: 4BB7413C9D76DA07 Time : 0.0 sec. user=mdettweiler [2018-03-13 06:11:31] 975*2^1504125-1 is not prime. Res64: 4A980B9A210D3D45 Time : 0.0 sec. user=mdettweiler [2018-03-13 06:23:33] 663*2^1504127-1 is not prime. Res64: 0523F6FD659029A7 Time : 0.0 sec. user=mdettweiler [2018-03-13 06:23:33] 703*2^1504127-1 is not prime. Res64: EA9921E18537CB57 Time : 0.0 sec. user=mdettweiler [2018-03-13 06:23:33] 705*2^1504127-1 is not prime. Res64: 5790D2CC7E7F0003 Time : 0.0 sec. user=mdettweiler [2018-03-13 06:23:34] 729*2^1504127-1 is not prime. Res64: ABA3A2EF1D3054B1 Time : 0.0 sec. user=mdettweiler [2018-03-13 06:23:34] 741*2^1504127-1 is not prime. Res64: 13AFF3CAE4A02969 Time : 0.0 sec. user=mdettweiler [2018-03-13 06:58:24] 813*2^1504127-1 is not prime. Res64: 02CFB70AA1EFB74B Time : 0.0 sec. user=mdettweiler [2018-03-13 06:58:25] 635*2^1504128-1 is not prime. Res64: F8A1FEAED5D19DC9 Time : 0.0 sec. user=mdettweiler [2018-03-13 06:58:25] 975*2^1504128-1 is not prime. Res64: 9F876D8DFF2FEF28 Time : 0.0 sec. user=mdettweiler [2018-03-13 06:58:26] 619*2^1504129-1 is not prime. Res64: 3E48E7DC4F5B9A82 Time : 0.0 sec. user=mdettweiler [2018-03-13 06:58:26] 639*2^1504129-1 is not prime. Res64: 266C1DDBFF248EE9 Time : 0.0 sec. user=mdettweiler [2018-03-13 07:00:43] 685*2^1504129-1 is not prime. Res64: 594D8D950878366B Time : 0.0 sec. user=mdettweiler [2018-03-13 07:00:44] 769*2^1504129-1 is not prime. Res64: 19B93356F01A8C98 Time : 0.0 sec. user=mdettweiler [2018-03-13 07:00:45] 841*2^1504129-1 is not prime. Res64: C71B23B75D2AC4BD Time : 0.0 sec. user=mdettweiler [2018-03-13 07:00:45] 861*2^1504129-1 is not prime. Res64: 7B3EC065CAC77C57 Time : 0.0 sec. user=mdettweiler [2018-03-13 07:00:46] 951*2^1504129-1 is not prime. Res64: 80811C1FA886633F Time : 0.0 sec. user=mdettweiler [2018-03-13 07:12:44] 955*2^1504129-1 is not prime. Res64: 62396E976189CBF2 Time : 0.0 sec. user=mdettweiler [2018-03-13 07:12:45] 957*2^1504129-1 is not prime. Res64: 44285934B9296351 Time : 0.0 sec. user=mdettweiler [2018-03-13 07:12:46] 911*2^1504130-1 is not prime. Res64: 9863F43F4D5EC6DD Time : 0.0 sec. user=mdettweiler [2018-03-13 07:12:46] 709*2^1504131-1 is not prime. Res64: 0E0C809E8856473B Time : 0.0 sec. user=mdettweiler [2018-03-13 07:12:46] 805*2^1504131-1 is not prime. Res64: F9B8454BB814B06E Time : 0.0 sec. user=mdettweiler [2018-03-13 07:46:40] 921*2^1504131-1 is not prime. Res64: 640988241A2B5C6F Time : 0.0 sec. user=mdettweiler [2018-03-13 07:46:40] 955*2^1504131-1 is not prime. Res64: 273A74120127F59B Time : 0.0 sec. user=mdettweiler [2018-03-13 07:46:41] 975*2^1504131-1 is not prime. Res64: 43BF7043DA3F492C Time : 0.0 sec. user=mdettweiler [2018-03-13 07:46:41] 605*2^1504132-1 is not prime. Res64: AA5D2CE1AD90FC3A Time : 0.0 sec. user=mdettweiler [2018-03-13 07:46:42] 609*2^1504132-1 is not prime. Res64: 8841EAB541C9EE9C Time : 0.0 sec. user=mdettweiler [2018-03-13 07:48:57] 617*2^1504132-1 is not prime. Res64: 6AFEE1B3621ED0E8 Time : 0.0 sec. user=mdettweiler [2018-03-13 07:48:58] 675*2^1504132-1 is not prime. Res64: F2C147661084D1A1 Time : 0.0 sec. user=mdettweiler [2018-03-13 07:48:58] 705*2^1504132-1 is not prime. Res64: D3BAE30E08BE614D Time : 0.0 sec. user=mdettweiler [2018-03-13 07:48:59] 777*2^1504132-1 is not prime. Res64: A7C2A58D5AEDF900 Time : 0.0 sec. user=mdettweiler [2018-03-13 07:48:59] 797*2^1504132-1 is not prime. Res64: 9FA37F30F8908B3A Time : 0.0 sec. user=mdettweiler [2018-03-13 08:00:59] 885*2^1504132-1 is not prime. Res64: F50EF9D5439CC835 Time : 0.0 sec. user=mdettweiler [2018-03-13 08:01:02] 631*2^1504133-1 is not prime. Res64: B12C9E552EFE9C51 Time : 0.0 sec. user=mdettweiler [2018-03-13 08:01:04] 651*2^1504133-1 is not prime. Res64: 7AF9904747C80CE4 Time : 0.0 sec. user=mdettweiler [2018-03-13 08:01:05] 679*2^1504133-1 is not prime. Res64: 2C0F26123953C356 Time : 0.0 sec. user=mdettweiler [2018-03-13 08:01:06] 831*2^1504133-1 is not prime. Res64: 7D4899113CB19C70 Time : 0.0 sec. user=mdettweiler [2018-03-13 08:34:49] 897*2^1504133-1 is not prime. Res64: FEE11B99EEBB6EB6 Time : 0.0 sec. user=mdettweiler [2018-03-13 08:34:50] 945*2^1504133-1 is not prime. Res64: 06A5527470E3BC39 Time : 0.0 sec. user=mdettweiler [2018-03-13 08:34:50] 627*2^1504134-1 is not prime. Res64: 755EA7C888CDD480 Time : 0.0 sec. user=mdettweiler [2018-03-13 08:34:51] 657*2^1504134-1 is not prime. Res64: 09386F7672F07E75 Time : 0.0 sec. user=mdettweiler [2018-03-13 08:34:51] 663*2^1504134-1 is not prime. Res64: 912394147F46566B Time : 0.0 sec. user=mdettweiler [2018-03-13 08:37:50] 773*2^1504134-1 is not prime. Res64: 70D3D2D1E8228BB7 Time : 0.0 sec. user=mdettweiler [2018-03-13 08:37:50] 795*2^1504134-1 is not prime. Res64: C1A09DC9B8BDBD4E Time : 0.0 sec. user=mdettweiler [2018-03-13 08:37:51] 893*2^1504134-1 is not prime. Res64: 0AC05852C0284217 Time : 0.0 sec. user=mdettweiler [2018-03-13 08:37:51] 965*2^1504134-1 is not prime. Res64: F830FFD029FD9477 Time : 0.0 sec. user=mdettweiler [2018-03-13 08:37:51] 603*2^1504135-1 is not prime. Res64: 3986142B93E03EDF Time : 0.0 sec. user=mdettweiler [2018-03-13 08:50:06] 633*2^1504135-1 is not prime. Res64: 5212B33BE71E0C5C Time : 0.0 sec. user=mdettweiler [2018-03-13 08:50:07] 709*2^1504135-1 is not prime. Res64: 78939C012134DBC8 Time : 0.0 sec. user=mdettweiler [2018-03-13 08:50:07] 775*2^1504135-1 is not prime. Res64: A9565DBF0497FF5A Time : 0.0 sec. user=mdettweiler [2018-03-13 08:50:08] 859*2^1504135-1 is not prime. Res64: B43E06AFBF0A2226 Time : 0.0 sec. user=mdettweiler [2018-03-13 08:50:08] 925*2^1504135-1 is not prime. Res64: 03971F28F9D4D3AC Time : 0.0 sec. user=mdettweiler [2018-03-13 09:23:20] 663*2^1504136-1 is not prime. Res64: 2D50409890303DDE Time : 0.0 sec. user=mdettweiler [2018-03-13 09:23:20] 725*2^1504136-1 is not prime. Res64: 483F953D1F3CE2A8 Time : 0.0 sec. user=mdettweiler [2018-03-13 09:23:21] 759*2^1504136-1 is not prime. Res64: 96ABFC675940B97F Time : 0.0 sec. user=mdettweiler [2018-03-13 09:23:21] 789*2^1504136-1 is not prime. Res64: 33A1BC2F4A8B2B52 Time : 0.0 sec. user=mdettweiler [2018-03-13 09:23:22] 813*2^1504136-1 is not prime. Res64: 461061B7D0A75DF0 Time : 0.0 sec. user=mdettweiler [2018-03-13 09:25:44] 893*2^1504136-1 is not prime. Res64: 6B0F3D756AD027EE Time : 0.0 sec. user=mdettweiler [2018-03-13 09:25:44] 983*2^1504136-1 is not prime. Res64: 1372FCC515BB70C2 Time : 0.0 sec. user=mdettweiler [2018-03-13 09:25:45] 625*2^1504137-1 is not prime. Res64: F9F0E4133EBE9CE7 Time : 0.0 sec. user=mdettweiler [2018-03-13 09:25:45] 627*2^1504137-1 is not prime. Res64: 8D31AEB73E0152D0 Time : 0.0 sec. user=mdettweiler [2018-03-13 09:25:46] 751*2^1504137-1 is not prime. Res64: B3E4DC55F271996F Time : 0.0 sec. user=mdettweiler [2018-03-13 09:39:02] 769*2^1504137-1 is not prime. Res64: FFD8B938E65785B6 Time : 0.0 sec. user=mdettweiler [2018-03-13 09:39:03] 781*2^1504137-1 is not prime. Res64: 3F07B94114CF1912 Time : 0.0 sec. user=mdettweiler [2018-03-13 09:39:03] 871*2^1504137-1 is not prime. Res64: 73227AF64B025C36 Time : 0.0 sec. user=mdettweiler [2018-03-13 09:39:04] 979*2^1504137-1 is not prime. Res64: EEFB9C94798ADF2B Time : 0.0 sec. user=mdettweiler [2018-03-13 09:39:04] 635*2^1504138-1 is not prime. Res64: AA56093E7EAAA8CB Time : 0.0 sec. user=mdettweiler [2018-03-13 10:12:35] 765*2^1504138-1 is not prime. Res64: 0C839546DECB7644 Time : 0.0 sec. user=mdettweiler [2018-03-13 10:12:36] 777*2^1504138-1 is not prime. Res64: 22D79BEAC6D88019 Time : 0.0 sec. user=mdettweiler [2018-03-13 10:12:36] 791*2^1504138-1 is not prime. Res64: 47C2BB42A1DB7E39 Time : 0.0 sec. user=mdettweiler [2018-03-13 10:12:37] 801*2^1504138-1 is not prime. Res64: B7EB2569B95F60DC Time : 0.0 sec. user=mdettweiler [2018-03-13 10:12:37] 813*2^1504138-1 is not prime. Res64: 68D8B564F391AFF7 Time : 0.0 sec. user=mdettweiler [2018-03-13 10:13:56] 923*2^1504138-1 is not prime. Res64: BFD62E9168056B8D Time : 0.0 sec. user=mdettweiler [2018-03-13 10:13:57] 995*2^1504138-1 is not prime. Res64: 1A666290C95F00FD Time : 0.0 sec. user=mdettweiler [2018-03-13 10:13:57] 609*2^1504139-1 is not prime. Res64: B82613AFB1A10988 Time : 0.0 sec. user=mdettweiler [2018-03-13 10:13:58] 705*2^1504139-1 is not prime. Res64: 230EF9ACFDA946D5 Time : 0.0 sec. user=mdettweiler [2018-03-13 10:13:58] 753*2^1504139-1 is not prime. Res64: 7C9793715B1984C5 Time : 0.0 sec. user=mdettweiler [2018-03-13 10:28:39] 799*2^1504139-1 is not prime. Res64: E623F734054EA2E2 Time : 0.0 sec. user=mdettweiler [2018-03-13 10:28:40] 823*2^1504139-1 is not prime. Res64: 6607221AFBE85AB6 Time : 0.0 sec. user=mdettweiler [2018-03-13 10:28:40] 879*2^1504139-1 is not prime. Res64: 72A1E8791F405053 Time : 0.0 sec. user=mdettweiler [2018-03-13 10:28:41] 969*2^1504139-1 is not prime. Res64: 4D18EF45E01D015D Time : 0.0 sec. user=mdettweiler [2018-03-13 10:28:41] 979*2^1504139-1 is not prime. Res64: DB42468FF4CF84E6 Time : 0.0 sec. user=mdettweiler [2018-03-13 11:00:24] 633*2^1504140-1 is not prime. Res64: 4BC727E4FE3A1C93 Time : 0.0 sec. user=mdettweiler [2018-03-13 11:00:25] 723*2^1504140-1 is not prime. Res64: 1045D313BD90EEA1 Time : 0.0 sec. user=mdettweiler [2018-03-13 11:00:27] 765*2^1504140-1 is not prime. Res64: C00D6A2029C21552 Time : 0.0 sec. user=mdettweiler [2018-03-13 11:00:28] 789*2^1504140-1 is not prime. Res64: 9EDFE4B2CDBE4243 Time : 0.0 sec. user=mdettweiler [2018-03-13 11:00:29] 675*2^1504141-1 is not prime. Res64: 23174CF59306D8E1 Time : 0.0 sec. user=mdettweiler [2018-03-13 11:02:46] 741*2^1504141-1 is not prime. Res64: B005AA6F34209F90 Time : 0.0 sec. user=mdettweiler [2018-03-13 11:02:49] 745*2^1504141-1 is not prime. Res64: 0807185BC1547D6A Time : 0.0 sec. user=mdettweiler [2018-03-13 11:02:50] 789*2^1504141-1 is not prime. Res64: 7D0941381D4CB04E Time : 0.0 sec. user=mdettweiler [2018-03-13 11:02:51] 825*2^1504141-1 is not prime. Res64: 510502A561B682E4 Time : 0.0 sec. user=mdettweiler [2018-03-13 11:02:53] 847*2^1504141-1 is not prime. Res64: B8912340D70B5A0C Time : 0.0 sec. user=mdettweiler [2018-03-13 11:17:30] 939*2^1504141-1 is not prime. Res64: 7C766C497CE8A804 Time : 0.0 sec. user=mdettweiler [2018-03-13 11:17:30] 981*2^1504141-1 is not prime. Res64: C2FF3DF68375D0C2 Time : 0.0 sec. user=mdettweiler [2018-03-13 11:17:31] 671*2^1504142-1 is not prime. Res64: 8128AD463864C86F Time : 0.0 sec. user=mdettweiler [2018-03-13 11:17:31] 755*2^1504142-1 is not prime. Res64: 243BA8C6BBE8E9F5 Time : 0.0 sec. user=mdettweiler [2018-03-13 11:17:31] 813*2^1504142-1 is not prime. Res64: FA7962B409542AC6 Time : 0.0 sec. user=mdettweiler [2018-03-13 11:49:28] 977*2^1504142-1 is not prime. Res64: CA41C1DB78890434 Time : 0.0 sec. user=mdettweiler [2018-03-13 11:49:28] 615*2^1504143-1 is not prime. Res64: B6319D31927C1F68 Time : 0.0 sec. user=mdettweiler [2018-03-13 11:49:29] 723*2^1504143-1 is not prime. Res64: 8484A798586524DB Time : 0.0 sec. user=mdettweiler [2018-03-13 11:49:29] 745*2^1504143-1 is not prime. Res64: 2BCFBBD090CE1043 Time : 0.0 sec. user=mdettweiler [2018-03-13 11:49:30] 765*2^1504143-1 is not prime. Res64: B0EEAD18521EE119 Time : 0.0 sec. user=mdettweiler [2018-03-13 11:53:55] 885*2^1504143-1 is not prime. Res64: B569BE093F86C8E7 Time : 0.0 sec. user=mdettweiler [2018-03-13 11:53:55] 895*2^1504143-1 is not prime. Res64: D4ED4EF48DDA057D Time : 0.0 sec. user=mdettweiler [2018-03-13 11:53:56] 951*2^1504143-1 is not prime. Res64: CFE3E5B9CCACE521 Time : 0.0 sec. user=mdettweiler [2018-03-13 11:53:56] 843*2^1504144-1 is not prime. Res64: 8E51F5D8BA0B3AED Time : 0.0 sec. user=mdettweiler [2018-03-13 11:53:57] 873*2^1504144-1 is not prime. Res64: A81092A449EC0A0D Time : 0.0 sec. user=mdettweiler [2018-03-13 12:06:34] 903*2^1504144-1 is not prime. Res64: 5E6826BD12A105C3 Time : 0.0 sec. user=mdettweiler [2018-03-13 12:06:35] 983*2^1504144-1 is not prime. Res64: 99BDE53915494680 Time : 0.0 sec. user=mdettweiler [2018-03-13 12:06:36] 601*2^1504145-1 is not prime. Res64: 34300BE8EE8FDF2E Time : 0.0 sec. user=mdettweiler [2018-03-13 12:06:38] 627*2^1504145-1 is not prime. Res64: 90A2324005A1AB6B Time : 0.0 sec. user=mdettweiler [2018-03-13 12:06:40] 669*2^1504145-1 is not prime. Res64: 162613A6B730CE7D Time : 0.0 sec. user=mdettweiler [2018-03-13 12:38:34] 771*2^1504145-1 is not prime. Res64: 329FFFE9AAD2EAB2 Time : 0.0 sec. user=mdettweiler [2018-03-13 12:38:34] 837*2^1504145-1 is not prime. Res64: 94927197951E3B02 Time : 0.0 sec. user=mdettweiler [2018-03-13 12:38:35] 949*2^1504145-1 is not prime. Res64: FE83019D68252B5E Time : 0.0 sec. user=mdettweiler [2018-03-13 12:38:36] 633*2^1504146-1 is not prime. Res64: 045D7FB18F444166 Time : 0.0 sec. user=mdettweiler [2018-03-13 12:38:37] 713*2^1504146-1 is not prime. Res64: 9BDBBE0E56397AA6 Time : 0.0 sec. user=mdettweiler [2018-03-13 12:41:42] 801*2^1504146-1 is not prime. Res64: 9129E6F4A7438713 Time : 0.0 sec. user=mdettweiler [2018-03-13 12:41:43] 619*2^1504147-1 is not prime. Res64: 61C105B984312E8B Time : 0.0 sec. user=mdettweiler [2018-03-13 12:41:43] 631*2^1504147-1 is not prime. Res64: 3A9EA124F7323099 Time : 0.0 sec. user=mdettweiler [2018-03-13 12:41:44] 633*2^1504147-1 is not prime. Res64: E6782F2F1C02164A Time : 0.0 sec. user=mdettweiler [2018-03-13 12:41:44] 675*2^1504147-1 is not prime. Res64: A640160E2A169BF8 Time : 0.0 sec. user=mdettweiler [2018-03-13 12:56:28] 705*2^1504147-1 is not prime. Res64: E3838BC397605E00 Time : 0.0 sec. user=mdettweiler [2018-03-13 12:56:28] 715*2^1504147-1 is not prime. Res64: 1A31703DB1FA7889 Time : 0.0 sec. user=mdettweiler [2018-03-13 12:56:29] 741*2^1504147-1 is not prime. Res64: BB547B03CF226F48 Time : 0.0 sec. user=mdettweiler [2018-03-13 12:56:29] 873*2^1504147-1 is not prime. Res64: D4374B44D7C9C212 Time : 0.0 sec. user=mdettweiler [2018-03-13 12:56:30] 909*2^1504147-1 is not prime. Res64: F4E3141190DD86DB Time : 0.0 sec. user=mdettweiler [2018-03-13 13:28:58] 945*2^1504147-1 is not prime. Res64: 1DC45227439F7CA2 Time : 0.0 sec. user=mdettweiler [2018-03-13 13:28:59] 633*2^1504148-1 is not prime. Res64: 5D93E0F53B23BD43 Time : 0.0 sec. user=mdettweiler [2018-03-13 13:28:59] 683*2^1504148-1 is not prime. Res64: 725EE2D89B058BA1 Time : 0.0 sec. user=mdettweiler [2018-03-13 13:29:00] 825*2^1504148-1 is not prime. Res64: 7C7C5E251DA0F680 Time : 0.0 sec. user=mdettweiler [2018-03-13 13:29:00] 915*2^1504148-1 is not prime. Res64: FEE42B5851379D57 Time : 0.0 sec. user=mdettweiler [2018-03-13 13:32:06] 621*2^1504149-1 is not prime. Res64: 4B0F75E09DFB5908 Time : 0.0 sec. user=mdettweiler [2018-03-13 13:32:06] 675*2^1504149-1 is not prime. Res64: 8211A06FB7E9FED2 Time : 0.0 sec. user=mdettweiler [2018-03-13 13:32:07] 847*2^1504149-1 is not prime. Res64: 8CCFBE972DB28922 Time : 0.0 sec. user=mdettweiler [2018-03-13 13:32:07] 885*2^1504149-1 is not prime. Res64: D78B39D0CB7C2BCE Time : 0.0 sec. user=mdettweiler [2018-03-13 13:32:08] 927*2^1504149-1 is not prime. Res64: C4A2BB98916323DE Time : 0.0 sec. user=mdettweiler [2018-03-13 13:47:37] 951*2^1504149-1 is not prime. Res64: F02AD7930D5E312D Time : 0.0 sec. user=mdettweiler [2018-03-13 13:47:38] 985*2^1504149-1 is not prime. Res64: B17C8AE930F4456A Time : 0.0 sec. user=mdettweiler [2018-03-13 13:47:38] 999*2^1504149-1 is not prime. Res64: 6DBA00EA29E7FD19 Time : 0.0 sec. user=mdettweiler [2018-03-13 13:47:39] 677*2^1504150-1 is not prime. Res64: F49D907311266730 Time : 0.0 sec. user=mdettweiler [2018-03-13 13:47:39] 917*2^1504150-1 is not prime. Res64: F300AEA0C81E9F91 Time : 0.0 sec. user=mdettweiler [2018-03-13 14:17:33] 971*2^1504150-1 is not prime. Res64: 4D10D80AE7676EC8 Time : 0.0 sec. user=mdettweiler [2018-03-13 14:17:34] 609*2^1504151-1 is not prime. Res64: 08CB89EFBFEA94E8 Time : 0.0 sec. user=mdettweiler [2018-03-13 14:17:34] 621*2^1504151-1 is not prime. Res64: F7038266BCA3D3C7 Time : 0.0 sec. user=mdettweiler [2018-03-13 14:17:35] 651*2^1504151-1 is not prime. Res64: F7341C53C79F64AB Time : 0.0 sec. user=mdettweiler [2018-03-13 14:17:35] 663*2^1504151-1 is not prime. Res64: E57FFD57C4D6102B Time : 0.0 sec. user=mdettweiler [2018-03-13 14:21:36] 841*2^1504151-1 is not prime. Res64: 5596FDBE5D511EA4 Time : 0.0 sec. user=mdettweiler [2018-03-13 14:21:37] 865*2^1504151-1 is not prime. Res64: 45A09A588F5B268F Time : 0.0 sec. user=mdettweiler [2018-03-13 14:21:37] 657*2^1504152-1 is not prime. Res64: 1396FE38E5E4468A Time : 0.0 sec. user=mdettweiler [2018-03-13 14:21:38] 665*2^1504152-1 is not prime. Res64: 9E9FA0CD11C2F0D1 Time : 0.0 sec. user=mdettweiler [2018-03-13 14:21:38] 699*2^1504152-1 is not prime. Res64: A67A4961441BA628 Time : 0.0 sec. user=mdettweiler [2018-03-13 14:38:41] 765*2^1504152-1 is not prime. Res64: 31FA10760E1C1BDC Time : 0.0 sec. user=mdettweiler [2018-03-13 14:38:42] 779*2^1504152-1 is not prime. Res64: A3283A4E769F7CD7 Time : 0.0 sec. user=mdettweiler [2018-03-13 14:38:43] 843*2^1504152-1 is not prime. Res64: 05D99067F3CB8D0D Time : 0.0 sec. user=mdettweiler [2018-03-13 14:38:43] 933*2^1504152-1 is not prime. Res64: 860D2DECD3EF28F8 Time : 0.0 sec. user=mdettweiler [2018-03-13 14:38:44] 947*2^1504152-1 is not prime. Res64: 011E64466BCEA883 Time : 0.0 sec. user=mdettweiler [2018-03-13 15:08:44] 607*2^1504153-1 is not prime. Res64: 918F52EB0817273E Time : 0.0 sec. user=mdettweiler [2018-03-13 15:08:45] 715*2^1504153-1 is not prime. Res64: CB6093C70D5639AC Time : 0.0 sec. user=mdettweiler [2018-03-13 15:08:47] 741*2^1504153-1 is not prime. Res64: E52079A2BEBDEF8D Time : 0.0 sec. user=mdettweiler [2018-03-13 15:08:48] 849*2^1504153-1 is not prime. Res64: 493A83293B88CF78 Time : 0.0 sec. user=mdettweiler [2018-03-13 15:08:49] 939*2^1504153-1 is not prime. Res64: 14D600FFCA12E8DD Time : 0.0 sec. user=mdettweiler [2018-03-13 15:12:29] 665*2^1504154-1 is not prime. Res64: DE0C39635718EE24 Time : 0.0 sec. user=mdettweiler [2018-03-13 15:12:30] 705*2^1504154-1 is not prime. Res64: 261E645AE584C10B Time : 0.0 sec. user=mdettweiler [2018-03-13 15:12:31] 773*2^1504154-1 is not prime. Res64: 7C08072E6CE3BCA7 Time : 0.0 sec. user=mdettweiler [2018-03-13 15:12:31] 711*2^1504155-1 is not prime. Res64: 72599C7112B58096 Time : 0.0 sec. user=mdettweiler [2018-03-13 15:12:32] 739*2^1504155-1 is not prime. Res64: B31DEDFB1064DAA1 Time : 0.0 sec. user=mdettweiler [2018-03-13 15:29:53] 789*2^1504155-1 is not prime. Res64: 04B7D117F82EDAEA Time : 0.0 sec. user=mdettweiler [2018-03-13 15:29:54] 861*2^1504155-1 is not prime. Res64: 2D6AC09C689BFB93 Time : 0.0 sec. user=mdettweiler [2018-03-13 15:29:54] 949*2^1504155-1 is not prime. Res64: 40A42BB5AACDD2C9 Time : 0.0 sec. user=mdettweiler [2018-03-13 15:29:55] 963*2^1504155-1 is not prime. Res64: 7D9AE7D723CCDA9F Time : 0.0 sec. user=mdettweiler [2018-03-13 15:29:55] 743*2^1504156-1 is not prime. Res64: 8B2BE14AB0B14B3A Time : 0.0 sec. user=mdettweiler [2018-03-13 15:57:54] 825*2^1504156-1 is not prime. Res64: 8731091B76375178 Time : 0.0 sec. user=mdettweiler [2018-03-13 15:57:55] 903*2^1504156-1 is not prime. Res64: BEF51A4095991A15 Time : 0.0 sec. user=mdettweiler [2018-03-13 15:57:55] 993*2^1504156-1 is not prime. Res64: EE392B81063D16F6 Time : 0.0 sec. user=mdettweiler [2018-03-13 15:57:56] 619*2^1504157-1 is not prime. Res64: C914E71E9244AFFD Time : 0.0 sec. user=mdettweiler [2018-03-13 15:57:56] 645*2^1504157-1 is not prime. Res64: 2FA474AC18FC074E Time : 0.0 sec. user=mdettweiler [2018-03-13 16:00:39] 867*2^1504157-1 is not prime. Res64: 74F486725F9F8CC6 Time : 0.0 sec. user=mdettweiler [2018-03-13 16:00:41] 981*2^1504157-1 is not prime. Res64: 1CAF5430CE4F2286 Time : 0.0 sec. user=mdettweiler [2018-03-13 16:00:42] 627*2^1504158-1 is not prime. Res64: FCB7A0B6EC040BDE Time : 0.0 sec. user=mdettweiler [2018-03-13 16:00:44] 635*2^1504158-1 is not prime. Res64: 01AAF814CD6719AD Time : 0.0 sec. user=mdettweiler [2018-03-13 16:00:46] 647*2^1504158-1 is not prime. Res64: 79A3529B1FC1CA07 Time : 0.0 sec. user=mdettweiler [2018-03-13 16:17:39] 705*2^1504158-1 is not prime. Res64: AA04E3FE521FD096 Time : 0.0 sec. user=mdettweiler [2018-03-13 16:17:40] 875*2^1504158-1 is not prime. Res64: 56490CBF52ED680D Time : 0.0 sec. user=mdettweiler [2018-03-13 16:17:40] 621*2^1504159-1 is not prime. Res64: 19AC261220A7F051 Time : 0.0 sec. user=mdettweiler [2018-03-13 16:17:41] 625*2^1504159-1 is not prime. Res64: 2D9E08DF6AEF78CF Time : 0.0 sec. user=mdettweiler [2018-03-13 16:17:42] 649*2^1504159-1 is not prime. Res64: 1D800AC756B89991 Time : 0.0 sec. user=mdettweiler [2018-03-13 16:46:40] 681*2^1504159-1 is not prime. Res64: 4BD9FD6E3D941914 Time : 0.0 sec. user=mdettweiler [2018-03-13 16:46:41] 751*2^1504159-1 is not prime. Res64: E2C117803CDF3579 Time : 0.0 sec. user=mdettweiler [2018-03-13 16:46:42] 943*2^1504159-1 is not prime. Res64: 07740335F5959F12 Time : 0.0 sec. user=mdettweiler [2018-03-13 16:46:42] 665*2^1504160-1 is not prime. Res64: EEED40CFF3E1CC6E Time : 0.0 sec. user=mdettweiler [2018-03-13 16:46:43] 797*2^1504160-1 is not prime. Res64: 08660895486DD7CF Time : 0.0 sec. user=mdettweiler [2018-03-13 16:49:18] 927*2^1504160-1 is not prime. Res64: 2A96E7142EF0E273 Time : 0.0 sec. user=mdettweiler [2018-03-13 16:49:19] 935*2^1504160-1 is not prime. Res64: DF3F7726415B88B6 Time : 0.0 sec. user=mdettweiler [2018-03-13 16:49:20] 999*2^1504160-1 is not prime. Res64: F110C97B08507BDD Time : 0.0 sec. user=mdettweiler [2018-03-13 16:49:20] 601*2^1504161-1 is not prime. Res64: 77B17AB26DF26DBB Time : 0.0 sec. user=mdettweiler [2018-03-13 16:49:21] 627*2^1504161-1 is not prime. Res64: 47E74068C51B254B Time : 0.0 sec. user=mdettweiler [2018-03-13 17:06:44] 745*2^1504161-1 is not prime. Res64: 964E1DFEDC5C602A Time : 0.0 sec. user=mdettweiler [2018-03-13 17:06:48] 751*2^1504161-1 is not prime. Res64: 8CD480B23C90DFE1 Time : 0.0 sec. user=mdettweiler [2018-03-13 17:06:52] 829*2^1504161-1 is not prime. Res64: F68691DD15BA653C Time : 0.0 sec. user=mdettweiler [2018-03-13 17:06:55] 969*2^1504161-1 is not prime. Res64: 31A042E835DE1434 Time : 0.0 sec. user=mdettweiler [2018-03-13 17:06:58] 979*2^1504161-1 is not prime. Res64: CA0FBC995AFB158C Time : 0.0 sec. user=mdettweiler [2018-03-13 17:36:31] 803*2^1504162-1 is not prime. Res64: 4908DCBA67043D7B Time : 0.0 sec. user=mdettweiler [2018-03-13 17:36:32] 945*2^1504162-1 is not prime. Res64: FFD15A4BC9FA87B8 Time : 0.0 sec. user=mdettweiler [2018-03-13 17:36:32] 981*2^1504162-1 is not prime. Res64: 5FF080D99BC51167 Time : 0.0 sec. user=mdettweiler [2018-03-13 17:36:33] 1001*2^1504162-1 is not prime. Res64: 9CDA5D61FE7A4CDF Time : 0.0 sec. user=mdettweiler [2018-03-13 17:36:33] 811*2^1504163-1 is not prime. Res64: E542D83F7C1E9F90 Time : 0.0 sec. user=mdettweiler [2018-03-13 17:38:47] 813*2^1504163-1 is not prime. Res64: A2FC0268EB3F0FAD Time : 0.0 sec. user=mdettweiler [2018-03-13 17:38:48] 949*2^1504163-1 is not prime. Res64: 4CAD4C487814CEE6 Time : 0.0 sec. user=mdettweiler [2018-03-13 17:38:48] 665*2^1504164-1 is not prime. Res64: D40EFE93A42C3732 Time : 0.0 sec. user=mdettweiler [2018-03-13 17:38:49] 773*2^1504164-1 is not prime. Res64: C0FCCC4645DCA9FD Time : 0.0 sec. user=mdettweiler [2018-03-13 17:38:50] 863*2^1504164-1 is not prime. Res64: BCCD8C4A8DD4351B Time : 0.0 sec. user=mdettweiler [2018-03-13 17:56:32] 899*2^1504164-1 is not prime. Res64: F777CE45966E25DD Time : 0.0 sec. user=mdettweiler [2018-03-13 17:56:33] 927*2^1504164-1 is not prime. Res64: 637EBF038E70FAA7 Time : 0.0 sec. user=mdettweiler [2018-03-13 17:56:33] 959*2^1504164-1 is not prime. Res64: B33B2E7BC3BFE122 Time : 0.0 sec. user=mdettweiler [2018-03-13 17:56:35] 607*2^1504165-1 is not prime. Res64: 1375EB8720CE708D Time : 0.0 sec. user=mdettweiler [2018-03-13 17:56:35] 721*2^1504165-1 is not prime. Res64: F0A1D737CBF33F76 Time : 0.0 sec. user=mdettweiler [2018-03-13 18:27:28] 817*2^1504165-1 is not prime. Res64: 61D803AD64D74C3E Time : 0.0 sec. user=mdettweiler [2018-03-13 18:27:29] 855*2^1504165-1 is not prime. Res64: 22641107E8876B44 Time : 0.0 sec. user=mdettweiler [2018-03-13 18:27:30] 861*2^1504165-1 is not prime. Res64: 0E134F3E7C1F77CF Time : 0.0 sec. user=mdettweiler [2018-03-13 18:27:30] 999*2^1504165-1 is not prime. Res64: 73CA780FB7564B70 Time : 0.0 sec. user=mdettweiler [2018-03-13 18:27:31] 627*2^1504166-1 is not prime. Res64: 20DB340868737658 Time : 0.0 sec. user=mdettweiler [2018-03-13 18:28:39] 717*2^1504166-1 is not prime. Res64: FF9F528D9C7EF247 Time : 0.0 sec. user=mdettweiler [2018-03-13 18:28:40] 615*2^1504167-1 is not prime. Res64: 9A899CBF0B109F9C Time : 0.0 sec. user=mdettweiler [2018-03-13 18:28:40] 649*2^1504167-1 is not prime. Res64: BAE2D85D7FBBD686 Time : 0.0 sec. user=mdettweiler [2018-03-13 18:28:41] 691*2^1504167-1 is not prime. Res64: 9BA25442A0E5318B Time : 0.0 sec. user=mdettweiler [2018-03-13 18:28:41] 805*2^1504167-1 is not prime. Res64: 7BD38140FD1D6558 Time : 0.0 sec. user=mdettweiler [2018-03-13 18:51:19] 979*2^1504167-1 is not prime. Res64: 1E6BF0578D036FDF Time : 0.0 sec. user=mdettweiler [2018-03-13 18:51:19] 645*2^1504168-1 is not prime. Res64: A29D1C119112C552 Time : 0.0 sec. user=mdettweiler [2018-03-13 18:51:20] 743*2^1504168-1 is not prime. Res64: B784A6C86ECC5E57 Time : 0.0 sec. user=mdettweiler [2018-03-13 18:51:20] 797*2^1504168-1 is not prime. Res64: 943D95A1EFAF3A55 Time : 0.0 sec. user=mdettweiler [2018-03-13 18:51:21] 845*2^1504168-1 is not prime. Res64: 0369FA3BC542DB9A Time : 0.0 sec. user=mdettweiler [2018-03-13 19:20:55] 969*2^1504168-1 is not prime. Res64: D5210D3E1ED02427 Time : 0.0 sec. user=mdettweiler [2018-03-13 19:20:56] 697*2^1504169-1 is not prime. Res64: DFE6ADA6E1658288 Time : 0.0 sec. user=mdettweiler [2018-03-13 19:20:57] 789*2^1504169-1 is not prime. Res64: 0CAF9C8991C5A109 Time : 0.0 sec. user=mdettweiler [2018-03-13 19:20:57] 831*2^1504169-1 is not prime. Res64: AE72C2209A2762D6 Time : 0.0 sec. user=mdettweiler [2018-03-13 19:20:58] 847*2^1504169-1 is not prime. Res64: 830BEB7405D1DD1D Time : 0.0 sec. user=mdettweiler [2018-03-13 19:21:37] 991*2^1504169-1 is not prime. Res64: 671F27BB46E12D1F Time : 0.0 sec. user=mdettweiler [2018-03-13 19:21:38] 717*2^1504170-1 is not prime. Res64: 6F724B9A977A87D8 Time : 0.0 sec. user=mdettweiler [2018-03-13 19:21:38] 867*2^1504170-1 is not prime. Res64: 86517A0CA0EB5EF5 Time : 0.0 sec. user=mdettweiler [2018-03-13 19:21:39] 921*2^1504170-1 is not prime. Res64: 40462619C03ADFE5 Time : 0.0 sec. user=mdettweiler [2018-03-13 19:21:39] 645*2^1504171-1 is not prime. Res64: C3F14FF08539C057 Time : 0.0 sec. user=mdettweiler [2018-03-13 19:40:26] 693*2^1504171-1 is not prime. Res64: CC9513100EED0068 Time : 0.0 sec. user=mdettweiler [2018-03-13 19:40:27] 745*2^1504171-1 is not prime. Res64: 9EF7A98A5EBE3E9F Time : 0.0 sec. user=mdettweiler [2018-03-13 19:40:28] 871*2^1504171-1 is not prime. Res64: 5566E4264B1E30BD Time : 0.0 sec. user=mdettweiler [2018-03-13 19:40:28] 939*2^1504171-1 is not prime. Res64: 1DB79F32FD4F50E4 Time : 0.0 sec. user=mdettweiler [2018-03-13 19:40:29] 973*2^1504171-1 is not prime. Res64: B8BC6A4511DCDE13 Time : 0.0 sec. user=mdettweiler [2018-03-13 20:08:54] 999*2^1504171-1 is not prime. Res64: CECB36F39A8CE647 Time : 0.0 sec. user=mdettweiler [2018-03-13 20:08:56] 603*2^1504172-1 is not prime. Res64: A9CCC15DD02731AD Time : 0.0 sec. user=mdettweiler [2018-03-13 20:08:57] 633*2^1504172-1 is not prime. Res64: 4FB8CE23AB075437 Time : 0.0 sec. user=mdettweiler [2018-03-13 20:08:58] 665*2^1504172-1 is not prime. Res64: C512E41E74954DBC Time : 0.0 sec. user=mdettweiler [2018-03-13 20:08:59] 677*2^1504172-1 is not prime. Res64: 4F6797C7A559C2C2 Time : 0.0 sec. user=mdettweiler [2018-03-13 20:10:38] 759*2^1504172-1 is not prime. Res64: BD627A6587737C24 Time : 0.0 sec. user=mdettweiler [2018-03-13 20:10:39] 923*2^1504172-1 is not prime. Res64: CD918064D449C1AC Time : 0.0 sec. user=mdettweiler [2018-03-13 20:10:40] 957*2^1504172-1 is not prime. Res64: 22941282209D25CC Time : 0.0 sec. user=mdettweiler [2018-03-13 20:10:40] 987*2^1504172-1 is not prime. Res64: 88D9C34F1F693375 Time : 0.0 sec. user=mdettweiler [2018-03-13 20:10:41] 621*2^1504173-1 is not prime. Res64: 393A18E58E754F67 Time : 0.0 sec. user=mdettweiler [2018-03-13 20:30:33] 675*2^1504173-1 is not prime. Res64: A2E9D006488B442A Time : 0.0 sec. user=mdettweiler [2018-03-13 20:30:33] 685*2^1504173-1 is not prime. Res64: D4FC82233A760B8F Time : 0.0 sec. user=mdettweiler [2018-03-13 20:30:34] 727*2^1504173-1 is not prime. Res64: AC805CB5403A7857 Time : 0.0 sec. user=mdettweiler [2018-03-13 20:30:34] 765*2^1504173-1 is not prime. Res64: 7BCE9EB49576AF44 Time : 0.0 sec. user=mdettweiler [2018-03-13 20:30:35] 795*2^1504173-1 is not prime. Res64: 11356846CC8F87CC Time : 0.0 sec. user=mdettweiler [2018-03-13 21:01:06] 817*2^1504173-1 is not prime. Res64: A17035FF7D7BFEF1 Time : 0.0 sec. user=mdettweiler [2018-03-13 21:01:08] 849*2^1504173-1 is not prime. Res64: DCCEA946ACE05A50 Time : 0.0 sec. user=mdettweiler [2018-03-13 21:01:11] 861*2^1504173-1 is not prime. Res64: 9B00A072294B7911 Time : 0.0 sec. user=mdettweiler [2018-03-13 21:01:13] 877*2^1504173-1 is not prime. Res64: 0F3EED36C4DFE43F Time : 0.0 sec. user=mdettweiler [2018-03-13 21:01:15] 889*2^1504173-1 is not prime. Res64: 04D769BC9B0FBE0E Time : 0.0 sec. user=mdettweiler [2018-03-13 21:01:24] 919*2^1504173-1 is not prime. Res64: 4D5301C3A81D3BB2 Time : 0.0 sec. user=mdettweiler [2018-03-13 21:01:26] 657*2^1504174-1 is not prime. Res64: 4C30525CB9A9E075 Time : 0.0 sec. user=mdettweiler [2018-03-13 21:01:27] 675*2^1504174-1 is not prime. Res64: 9DE96D032DF95242 Time : 0.0 sec. user=mdettweiler [2018-03-13 21:01:29] 755*2^1504174-1 is not prime. Res64: F7701DB0B76559E1 Time : 0.0 sec. user=mdettweiler [2018-03-13 21:01:32] 825*2^1504174-1 is not prime. Res64: FF1BD37DD9C98F47 Time : 0.0 sec. user=mdettweiler [2018-03-13 21:20:58] 831*2^1504174-1 is not prime. Res64: 67CC3298D3113FA2 Time : 0.0 sec. user=mdettweiler [2018-03-13 21:20:59] 887*2^1504174-1 is not prime. Res64: A5C83C6FAA4DCAA1 Time : 0.0 sec. user=mdettweiler [2018-03-13 21:21:00] 993*2^1504174-1 is not prime. Res64: 48544100AA4695BF Time : 0.0 sec. user=mdettweiler [2018-03-13 21:21:01] 741*2^1504175-1 is not prime. Res64: 83BC6195BFDB13BE Time : 0.0 sec. user=mdettweiler [2018-03-13 21:21:02] 783*2^1504175-1 is not prime. Res64: BF2667E03DCFB286 Time : 0.0 sec. user=mdettweiler [2018-03-13 21:50:59] 927*2^1504176-1 is not prime. Res64: C0DBF4A0A67CECAE Time : 0.0 sec. user=mdettweiler [2018-03-13 21:51:00] 615*2^1504177-1 is not prime. Res64: 95C7A457596DDC2E Time : 0.0 sec. user=mdettweiler [2018-03-13 21:51:00] 741*2^1504177-1 is not prime. Res64: B531701F5796E38A Time : 0.0 sec. user=mdettweiler [2018-03-13 21:51:01] 747*2^1504177-1 is not prime. Res64: 4029D33B577D42BE Time : 0.0 sec. user=mdettweiler [2018-03-13 21:51:01] 759*2^1504177-1 is not prime. Res64: 23585BB313F14D44 Time : 0.0 sec. user=mdettweiler [2018-03-13 21:52:06] 843*2^1504175-1 is not prime. Res64: E81B5C02D6FAC874 Time : 0.0 sec. user=mdettweiler [2018-03-13 21:52:06] 895*2^1504175-1 is not prime. Res64: 7F36604D6B1881E7 Time : 0.0 sec. user=mdettweiler [2018-03-13 21:52:07] 725*2^1504176-1 is not prime. Res64: 0EE69C20E911636C Time : 0.0 sec. user=mdettweiler [2018-03-13 21:52:07] 735*2^1504176-1 is not prime. Res64: 0B2CB0C04FAA5F4B Time : 0.0 sec. user=mdettweiler [2018-03-13 21:52:07] 905*2^1504176-1 is not prime. Res64: 64E579DD53C36547 Time : 0.0 sec. user=mdettweiler [2018-03-13 22:11:59] 895*2^1504177-1 is not prime. Res64: A9C165E53E5B67C0 Time : 0.0 sec. user=mdettweiler [2018-03-13 22:11:59] 897*2^1504177-1 is not prime. Res64: 0D6F3E430FE2C838 Time : 0.0 sec. user=mdettweiler [2018-03-13 22:12:00] 633*2^1504178-1 is not prime. Res64: 037D9A4540008F22 Time : 0.0 sec. user=mdettweiler [2018-03-13 22:12:00] 677*2^1504178-1 is not prime. Res64: EC0593A9E69F617A Time : 0.0 sec. user=mdettweiler [2018-03-13 22:12:01] 735*2^1504178-1 is not prime. Res64: 9F4767730BE71BAF Time : 0.0 sec. user=mdettweiler [2018-03-13 22:41:41] 737*2^1503954-1 is not prime. Res64: AC824B5ACDAFA295 Time : 0.0 sec. user=mdettweiler [2018-03-13 22:41:41] 783*2^1503954-1 is not prime. Res64: 102D7EDF38A988F2 Time : 0.0 sec. user=mdettweiler [2018-03-13 22:41:42] 885*2^1503954-1 is not prime. Res64: 1B826C63A96AE7A1 Time : 0.0 sec. user=mdettweiler [2018-03-13 22:41:42] 891*2^1503954-1 is not prime. Res64: A8F28A5F216B0B77 Time : 0.0 sec. user=mdettweiler [2018-03-13 22:41:43] 975*2^1503954-1 is not prime. Res64: 2D18BD5A933B046F Time : 0.0 sec. user=mdettweiler [2018-03-13 22:42:28] 825*2^1504178-1 is not prime. Res64: F1CAB4DD5FF6B6B2 Time : 0.0 sec. user=mdettweiler [2018-03-13 22:42:29] 843*2^1504178-1 is not prime. Res64: 7B85080D5CC99E2D Time : 0.0 sec. user=mdettweiler [2018-03-13 22:42:29] 921*2^1504178-1 is not prime. Res64: 5813707A2F096DA6 Time : 0.0 sec. user=mdettweiler [2018-03-13 22:42:30] 977*2^1504178-1 is not prime. Res64: D94AFB00E2BF2089 Time : 0.0 sec. user=mdettweiler [2018-03-13 22:42:30] 633*2^1504179-1 is not prime. Res64: 6241422DEAE8D531 Time : 0.0 sec. user=mdettweiler [2018-03-13 23:00:25] 663*2^1504179-1 is not prime. Res64: 94C7A35A2D6FED45 Time : 0.0 sec. user=mdettweiler [2018-03-13 23:00:27] 669*2^1504179-1 is not prime. Res64: 15228B8704779D2A Time : 0.0 sec. user=mdettweiler [2018-03-13 23:00:28] 705*2^1504179-1 is not prime. Res64: E54CBD8E4FB0C5B4 Time : 0.0 sec. user=mdettweiler [2018-03-13 23:00:30] 741*2^1504179-1 is not prime. Res64: E668FBDB4BB652DF Time : 0.0 sec. user=mdettweiler [2018-03-13 23:00:32] 853*2^1504179-1 is not prime. Res64: E2A04AAB34E7A465 Time : 0.0 sec. user=mdettweiler [2018-03-13 23:29:00] 909*2^1504179-1 is not prime. Res64: 4BD0D70356FD3D97 Time : 0.0 sec. user=mdettweiler [2018-03-13 23:29:01] 623*2^1504180-1 is not prime. Res64: 00B4869D7259CC9A Time : 0.0 sec. user=mdettweiler [2018-03-13 23:29:01] 629*2^1504180-1 is not prime. Res64: 6849345D2BA50B43 Time : 0.0 sec. user=mdettweiler [2018-03-13 23:29:02] 635*2^1504180-1 is not prime. Res64: 918E914D3D481C24 Time : 0.0 sec. user=mdettweiler [2018-03-13 23:29:02] 675*2^1504180-1 is not prime. Res64: 85370330D070A258 Time : 0.0 sec. user=mdettweiler [2018-03-13 23:31:44] 843*2^1504180-1 is not prime. Res64: BC1A3A336CC1FD64 Time : 0.0 sec. user=mdettweiler [2018-03-13 23:31:45] 909*2^1504180-1 is not prime. Res64: 2240B6D3EF89087F Time : 0.0 sec. user=mdettweiler [2018-03-13 23:31:45] 965*2^1504180-1 is not prime. Res64: 1CB254136EFAC757 Time : 0.0 sec. user=mdettweiler [2018-03-13 23:31:46] 657*2^1504181-1 is not prime. Res64: 88EA15EE712B45A5 Time : 0.0 sec. user=mdettweiler [2018-03-13 23:31:46] 861*2^1504181-1 is not prime. Res64: 57F6F7BB23706218 Time : 0.0 sec. user=mdettweiler [2018-03-13 23:50:14] 885*2^1504181-1 is not prime. Res64: 01E523132C84C52D Time : 0.0 sec. user=mdettweiler [2018-03-13 23:50:15] 925*2^1504181-1 is not prime. Res64: F477C009DFC919A9 Time : 0.0 sec. user=mdettweiler [2018-03-13 23:50:15] 927*2^1504181-1 is not prime. Res64: E49689D9D76C570D Time : 0.0 sec. user=mdettweiler [2018-03-13 23:50:16] 939*2^1504181-1 is not prime. Res64: FFDB17CB8A249A14 Time : 0.0 sec. user=mdettweiler [2018-03-13 23:50:16] 981*2^1504181-1 is not prime. Res64: 0217D9230D94197C Time : 0.0 sec.