user=mdettweiler [2016-05-07 00:01:18] 615*2^1428437-1 is not prime. Res64: B4A47418EC50F534 Time : 0.0 sec. user=mdettweiler [2016-05-07 00:01:19] 735*2^1428437-1 is not prime. Res64: 31937AB2654BCB4A Time : 0.0 sec. user=mdettweiler [2016-05-07 00:01:19] 747*2^1428437-1 is not prime. Res64: 76660F6C8F8CF19C Time : 0.0 sec. user=mdettweiler [2016-05-07 00:01:20] 769*2^1428437-1 is not prime. Res64: C74217E9DE4F5EB3 Time : 0.0 sec. user=mdettweiler [2016-05-07 00:01:20] 867*2^1428437-1 is not prime. Res64: FB9FC51DD73515C3 Time : 0.0 sec. user=mdettweiler [2016-05-07 00:03:12] 949*2^1428437-1 is not prime. Res64: A4EE1A4EE6C8EFCF Time : 0.0 sec. user=mdettweiler [2016-05-07 00:03:13] 621*2^1428438-1 is not prime. Res64: 1126E2E56D0572C9 Time : 0.0 sec. user=mdettweiler [2016-05-07 00:03:14] 677*2^1428438-1 is not prime. Res64: 869C53C5462E6681 Time : 0.0 sec. user=mdettweiler [2016-05-07 00:03:15] 683*2^1428438-1 is not prime. Res64: 51127ADD5C98A81E Time : 0.0 sec. user=mdettweiler [2016-05-07 00:03:16] 731*2^1428438-1 is not prime. Res64: 89414576941EC6D7 Time : 0.0 sec. user=mdettweiler [2016-05-07 00:33:12] 887*2^1428438-1 is not prime. Res64: 95B70A7B5DBBE556 Time : 0.0 sec. user=mdettweiler [2016-05-07 00:33:12] 945*2^1428438-1 is not prime. Res64: FD666BADD3DE075F Time : 0.0 sec. user=mdettweiler [2016-05-07 00:33:13] 977*2^1428438-1 is not prime. Res64: 00D21AC5AEB3FB1A Time : 0.0 sec. user=mdettweiler [2016-05-07 00:33:13] 993*2^1428438-1 is not prime. Res64: D1F8919CD772F5D8 Time : 0.0 sec. user=mdettweiler [2016-05-07 00:33:14] 723*2^1428439-1 is not prime. Res64: 477EAD55804DEF35 Time : 0.0 sec. user=mdettweiler [2016-05-07 00:36:13] 789*2^1428439-1 is not prime. Res64: 66EFD463801FDD9F Time : 0.0 sec. user=mdettweiler [2016-05-07 00:36:13] 843*2^1428439-1 is not prime. Res64: ED5708E11361EB4F Time : 0.0 sec. user=mdettweiler [2016-05-07 00:36:14] 861*2^1428439-1 is not prime. Res64: 61636E982AD45721 Time : 0.0 sec. user=mdettweiler [2016-05-07 00:36:14] 885*2^1428439-1 is not prime. Res64: 76B5B438242DC4D0 Time : 0.0 sec. user=mdettweiler [2016-05-07 00:36:15] 913*2^1428439-1 is not prime. Res64: 5E3B10CB34A13C17 Time : 0.0 sec. user=mdettweiler [2016-05-07 00:46:47] 675*2^1428440-1 is not prime. Res64: E08EBB28DDE36465 Time : 0.0 sec. user=mdettweiler [2016-05-07 00:46:47] 803*2^1428440-1 is not prime. Res64: C2FE92B4AF534E6E Time : 0.0 sec. user=mdettweiler [2016-05-07 00:46:48] 855*2^1428440-1 is not prime. Res64: 15CC96D1BFB4F3AE Time : 0.0 sec. user=mdettweiler [2016-05-07 00:46:48] 879*2^1428440-1 is not prime. Res64: 66793515CDFF77A7 Time : 0.0 sec. user=mdettweiler [2016-05-07 00:46:48] 963*2^1428440-1 is not prime. Res64: 094A87ED8E2DB11D Time : 0.0 sec. user=mdettweiler [2016-05-07 00:48:46] 615*2^1428441-1 is not prime. Res64: D88851586ABCFA68 Time : 0.0 sec. user=mdettweiler [2016-05-07 00:48:47] 735*2^1428441-1 is not prime. Res64: 0920D77092C10D2C Time : 0.0 sec. user=mdettweiler [2016-05-07 00:48:47] 741*2^1428441-1 is not prime. Res64: 44115B8822CBCCBA Time : 0.0 sec. user=mdettweiler [2016-05-07 00:48:47] 777*2^1428441-1 is not prime. Res64: C7BE3C5294155EC2 Time : 0.0 sec. user=mdettweiler [2016-05-07 00:48:48] 829*2^1428441-1 is not prime. Res64: 9861DB3B2AB954EF Time : 0.0 sec. user=mdettweiler [2016-05-07 01:18:52] 847*2^1428441-1 is not prime. Res64: 94008150FD692848 Time : 0.0 sec. user=mdettweiler [2016-05-07 01:18:53] 865*2^1428441-1 is not prime. Res64: FF33068B110F3DA1 Time : 0.0 sec. user=mdettweiler [2016-05-07 01:18:53] 889*2^1428441-1 is not prime. Res64: A85AB49A77F5C168 Time : 0.0 sec. user=mdettweiler [2016-05-07 01:18:54] 895*2^1428441-1 is not prime. Res64: 4402996FE1200283 Time : 0.0 sec. user=mdettweiler [2016-05-07 01:18:54] 603*2^1428442-1 is not prime. Res64: 54710811D0E7FFA3 Time : 0.0 sec. user=mdettweiler [2016-05-07 01:21:41] 671*2^1428442-1 is not prime. Res64: A9F1DB1ED289FE2E Time : 0.0 sec. user=mdettweiler [2016-05-07 01:21:42] 701*2^1428442-1 is not prime. Res64: 6D288200192DE08F Time : 0.0 sec. user=mdettweiler [2016-05-07 01:21:42] 735*2^1428442-1 is not prime. Res64: BA6C4790BE316C77 Time : 0.0 sec. user=mdettweiler [2016-05-07 01:21:42] 801*2^1428442-1 is not prime. Res64: AFC0DEBCEFAEA3BE Time : 0.0 sec. user=mdettweiler [2016-05-07 01:21:43] 891*2^1428442-1 is not prime. Res64: 1619EBF839250FB6 Time : 0.0 sec. user=mdettweiler [2016-05-07 01:32:34] 975*2^1428442-1 is not prime. Res64: 743D4BF28064CC99 Time : 0.0 sec. user=mdettweiler [2016-05-07 01:32:35] 981*2^1428442-1 is not prime. Res64: 602A4CFDC5AE6EAF Time : 0.0 sec. user=mdettweiler [2016-05-07 01:32:35] 995*2^1428442-1 is not prime. Res64: 9E1AB2BA09E2C6CA Time : 0.0 sec. user=mdettweiler [2016-05-07 01:32:36] 615*2^1428443-1 is not prime. Res64: CA0CE25932AAD973 Time : 0.0 sec. user=mdettweiler [2016-05-07 01:32:36] 621*2^1428443-1 is not prime. Res64: BA5E9E6AC2F3FA81 Time : 0.0 sec. user=mdettweiler [2016-05-07 01:34:29] 669*2^1428443-1 is not prime. Res64: 86D927D51979308B Time : 0.0 sec. user=mdettweiler [2016-05-07 01:34:30] 675*2^1428443-1 is not prime. Res64: DFB4FB3FBF5A270E Time : 0.0 sec. user=mdettweiler [2016-05-07 01:34:30] 703*2^1428443-1 is not prime. Res64: EAF59EA70F122DEE Time : 0.0 sec. user=mdettweiler [2016-05-07 01:34:31] 741*2^1428443-1 is not prime. Res64: 66D8F8B267636AB4 Time : 0.0 sec. user=mdettweiler [2016-05-07 01:34:33] 745*2^1428443-1 is not prime. Res64: E779B460D208E281 Time : 0.0 sec. user=mdettweiler [2016-05-07 02:04:32] 801*2^1428443-1 is not prime. Res64: 16AE0A0481A1F278 Time : 0.0 sec. user=mdettweiler [2016-05-07 02:04:33] 969*2^1428443-1 is not prime. Res64: 481FC4AB491A715F Time : 0.0 sec. user=mdettweiler [2016-05-07 02:04:34] 803*2^1428444-1 is not prime. Res64: 3128470A9843C1B4 Time : 0.0 sec. user=mdettweiler [2016-05-07 02:04:35] 809*2^1428444-1 is not prime. Res64: F6AE49189E5E6849 Time : 0.0 sec. user=mdettweiler [2016-05-07 02:04:36] 887*2^1428444-1 is not prime. Res64: 1A0C691936829197 Time : 0.0 sec. user=mdettweiler [2016-05-07 02:07:25] 661*2^1428445-1 is not prime. Res64: AC9BD51E65DE12B6 Time : 0.0 sec. user=mdettweiler [2016-05-07 02:07:25] 679*2^1428445-1 is not prime. Res64: 58E0A5333579677D Time : 0.0 sec. user=mdettweiler [2016-05-07 02:07:26] 919*2^1428445-1 is not prime. Res64: 2DCA9937906F2C07 Time : 0.0 sec. user=mdettweiler [2016-05-07 02:07:26] 957*2^1428445-1 is not prime. Res64: 97B66EE84065A9ED Time : 0.0 sec. user=mdettweiler [2016-05-07 02:07:26] 961*2^1428445-1 is not prime. Res64: 1B14B66E7DBC953B Time : 0.0 sec. user=mdettweiler [2016-05-07 02:18:14] 985*2^1428445-1 is not prime. Res64: 6DD337E366A50809 Time : 0.0 sec. user=mdettweiler [2016-05-07 02:18:15] 987*2^1428445-1 is not prime. Res64: 8B729938CF2B022B Time : 0.0 sec. user=mdettweiler [2016-05-07 02:18:16] 683*2^1428446-1 is not prime. Res64: 8B1727531242E7E7 Time : 0.0 sec. user=mdettweiler [2016-05-07 02:18:16] 741*2^1428446-1 is not prime. Res64: DAF6FE6DE0610A06 Time : 0.0 sec. user=mdettweiler [2016-05-07 02:18:17] 747*2^1428446-1 is not prime. Res64: EDD9C624B98B02AB Time : 0.0 sec. user=mdettweiler [2016-05-07 02:20:12] 941*2^1428446-1 is not prime. Res64: A4355AA88ACF59D3 Time : 0.0 sec. user=mdettweiler [2016-05-07 02:20:13] 971*2^1428446-1 is not prime. Res64: 2B4C54BE9C34AEBD Time : 0.0 sec. user=mdettweiler [2016-05-07 02:20:13] 691*2^1428447-1 is not prime. Res64: 5A450CAD709CECDA Time : 0.0 sec. user=mdettweiler [2016-05-07 02:20:14] 735*2^1428447-1 is not prime. Res64: 2163A5C3BFA6E7D3 Time : 0.0 sec. user=mdettweiler [2016-05-07 02:20:14] 765*2^1428447-1 is not prime. Res64: 96CF41F87A2226D8 Time : 0.0 sec. user=mdettweiler [2016-05-07 02:50:29] 781*2^1428447-1 is not prime. Res64: 88EE203B9A5628B2 Time : 0.0 sec. user=mdettweiler [2016-05-07 02:50:29] 657*2^1428448-1 is not prime. Res64: C805CF8F8A619A17 Time : 0.0 sec. user=mdettweiler [2016-05-07 02:50:30] 677*2^1428448-1 is not prime. Res64: 3458771029699D8A Time : 0.0 sec. user=mdettweiler [2016-05-07 02:50:30] 777*2^1428448-1 is not prime. Res64: 83AAE33B86356528 Time : 0.0 sec. user=mdettweiler [2016-05-07 02:50:30] 679*2^1428449-1 is not prime. Res64: B413E404EA42A1B4 Time : 0.0 sec. user=mdettweiler [2016-05-07 02:52:54] 771*2^1428449-1 is not prime. Res64: E6A6FC4255F98ECD Time : 0.0 sec. user=mdettweiler [2016-05-07 02:52:55] 795*2^1428449-1 is not prime. Res64: 14993D6953E95C04 Time : 0.0 sec. user=mdettweiler [2016-05-07 02:52:55] 861*2^1428449-1 is not prime. Res64: 098D0F97DC95F8B0 Time : 0.0 sec. user=mdettweiler [2016-05-07 02:52:55] 867*2^1428449-1 is not prime. Res64: 4402BF3C60FE8394 Time : 0.0 sec. user=mdettweiler [2016-05-07 02:52:56] 711*2^1428450-1 is not prime. Res64: 8F32CFBD6649671F Time : 0.0 sec. user=mdettweiler [2016-05-07 03:04:00] 777*2^1428450-1 is not prime. Res64: F7995015C162171C Time : 0.0 sec. user=mdettweiler [2016-05-07 03:04:01] 845*2^1428450-1 is not prime. Res64: A8E92E86DA2836BA Time : 0.0 sec. user=mdettweiler [2016-05-07 03:04:02] 609*2^1428451-1 is not prime. Res64: 22D2C963107D7713 Time : 0.0 sec. user=mdettweiler [2016-05-07 03:04:03] 621*2^1428451-1 is not prime. Res64: 3AF69ED4635780C5 Time : 0.0 sec. user=mdettweiler [2016-05-07 03:04:04] 625*2^1428451-1 is not prime. Res64: 8D2C82219246630F Time : 0.0 sec. user=mdettweiler [2016-05-07 03:05:47] 723*2^1428451-1 is not prime. Res64: 3F6886F0A35A2928 Time : 0.0 sec. user=mdettweiler [2016-05-07 03:05:49] 783*2^1428451-1 is not prime. Res64: 3AD2939659972D9C Time : 0.0 sec. user=mdettweiler [2016-05-07 03:05:50] 835*2^1428451-1 is not prime. Res64: 3040E6C2B36CFBC3 Time : 0.0 sec. user=mdettweiler [2016-05-07 03:05:51] 849*2^1428451-1 is not prime. Res64: 03EE6E6C9E3166EB Time : 0.0 sec. user=mdettweiler [2016-05-07 03:05:52] 617*2^1428452-1 is not prime. Res64: F39CE100F450F9FB Time : 0.0 sec. user=mdettweiler [2016-05-07 03:36:09] 689*2^1428452-1 is not prime. Res64: F67A53A8913AE810 Time : 0.0 sec. user=mdettweiler [2016-05-07 03:36:10] 699*2^1428452-1 is not prime. Res64: AF7BC22E3DA3A5D7 Time : 0.0 sec. user=mdettweiler [2016-05-07 03:36:11] 819*2^1428452-1 is not prime. Res64: 44955522EC053C59 Time : 0.0 sec. user=mdettweiler [2016-05-07 03:36:11] 691*2^1428453-1 is not prime. Res64: 0F94C5EA07A249E4 Time : 0.0 sec. user=mdettweiler [2016-05-07 03:36:12] 745*2^1428453-1 is not prime. Res64: 0A6546D63A1FACA5 Time : 0.0 sec. user=mdettweiler [2016-05-07 03:38:42] 781*2^1428453-1 is not prime. Res64: CFD9A131BC906852 Time : 0.0 sec. user=mdettweiler [2016-05-07 03:38:43] 901*2^1428453-1 is not prime. Res64: 90BE24ECC18B5CAC Time : 0.0 sec. user=mdettweiler [2016-05-07 03:38:44] 945*2^1428453-1 is not prime. Res64: 43E304036F180E27 Time : 0.0 sec. user=mdettweiler [2016-05-07 03:38:44] 773*2^1428454-1 is not prime. Res64: CD648D1682307512 Time : 0.0 sec. user=mdettweiler [2016-05-07 03:38:45] 831*2^1428454-1 is not prime. Res64: 68FCBD7A85C01D99 Time : 0.0 sec. user=mdettweiler [2016-05-07 03:49:57] 923*2^1428454-1 is not prime. Res64: 331428176C2D81D7 Time : 0.0 sec. user=mdettweiler [2016-05-07 03:49:58] 993*2^1428454-1 is not prime. Res64: 189CB6C34A470D9B Time : 0.0 sec. user=mdettweiler [2016-05-07 03:49:59] 741*2^1428455-1 is not prime. Res64: 91E66A2E536C1956 Time : 0.0 sec. user=mdettweiler [2016-05-07 03:50:00] 753*2^1428455-1 is not prime. Res64: 4806DB16DE03F23D Time : 0.0 sec. user=mdettweiler [2016-05-07 03:50:00] 775*2^1428455-1 is not prime. Res64: 29F9E77BD5D77130 Time : 0.0 sec. user=mdettweiler [2016-05-07 03:51:37] 789*2^1428455-1 is not prime. Res64: 81D1B4E781DAB20F Time : 0.0 sec. user=mdettweiler [2016-05-07 03:51:39] 895*2^1428455-1 is not prime. Res64: E1032FFB7489E83B Time : 0.0 sec. user=mdettweiler [2016-05-07 03:51:40] 909*2^1428455-1 is not prime. Res64: 1283CE643CA8B9DB Time : 0.0 sec. user=mdettweiler [2016-05-07 03:51:40] 609*2^1428456-1 is not prime. Res64: 5789F896E9C323A8 Time : 0.0 sec. user=mdettweiler [2016-05-07 03:51:41] 717*2^1428456-1 is not prime. Res64: 4A3B9D24F231E642 Time : 0.0 sec. user=mdettweiler [2016-05-07 04:22:39] 837*2^1428456-1 is not prime. Res64: B0DA999DEE36726F Time : 0.0 sec. user=mdettweiler [2016-05-07 04:22:39] 945*2^1428456-1 is not prime. Res64: 0442284689553C58 Time : 0.0 sec. user=mdettweiler [2016-05-07 04:22:40] 607*2^1428457-1 is not prime. Res64: 603A81753783C025 Time : 0.0 sec. user=mdettweiler [2016-05-07 04:22:40] 615*2^1428457-1 is not prime. Res64: 520163B297BD0FE9 Time : 0.0 sec. user=mdettweiler [2016-05-07 04:22:40] 619*2^1428457-1 is not prime. Res64: 48AD6D378ED3CBA2 Time : 0.0 sec. user=mdettweiler [2016-05-07 04:25:05] 805*2^1428457-1 is not prime. Res64: CE62840C762193CD Time : 0.0 sec. user=mdettweiler [2016-05-07 04:25:06] 937*2^1428457-1 is not prime. Res64: 2A43C0573F1403D9 Time : 0.0 sec. user=mdettweiler [2016-05-07 04:25:06] 635*2^1428458-1 is not prime. Res64: 492BED24E4C016A7 Time : 0.0 sec. user=mdettweiler [2016-05-07 04:25:07] 683*2^1428458-1 is not prime. Res64: AEF17FBE552AE0CF Time : 0.0 sec. user=mdettweiler [2016-05-07 04:25:07] 731*2^1428458-1 is not prime. Res64: 0D0C1ECD1C61C897 Time : 0.0 sec. user=mdettweiler [2016-05-07 04:36:28] 735*2^1428458-1 is not prime. Res64: C749FE9554729609 Time : 0.0 sec. user=mdettweiler [2016-05-07 04:36:28] 791*2^1428458-1 is not prime. Res64: 2B021920ADD44654 Time : 0.0 sec. user=mdettweiler [2016-05-07 04:36:28] 663*2^1428459-1 is not prime. Res64: 4180B1D19BFC8588 Time : 0.0 sec. user=mdettweiler [2016-05-07 04:36:29] 913*2^1428459-1 is not prime. Res64: 1D4C33A3EBD25AC5 Time : 0.0 sec. user=mdettweiler [2016-05-07 04:36:29] 955*2^1428459-1 is not prime. Res64: 6E169D88C9C61547 Time : 0.0 sec. user=mdettweiler [2016-05-07 04:38:39] 961*2^1428459-1 is not prime. Res64: 400DFDA81AEFF0DB Time : 0.0 sec. user=mdettweiler [2016-05-07 04:38:39] 719*2^1428460-1 is not prime. Res64: 22B02B5CDDFB8D60 Time : 0.0 sec. user=mdettweiler [2016-05-07 04:38:39] 927*2^1428460-1 is not prime. Res64: 4878853A5CB9386E Time : 0.0 sec. user=mdettweiler [2016-05-07 04:38:40] 959*2^1428460-1 is not prime. Res64: BDC14416CB151D86 Time : 0.0 sec. user=mdettweiler [2016-05-07 04:38:40] 965*2^1428460-1 is not prime. Res64: CE7BC5B9A9E99BD0 Time : 0.0 sec. user=mdettweiler [2016-05-07 05:08:08] 999*2^1428460-1 is not prime. Res64: 986135824E8BDBC7 Time : 0.0 sec. user=mdettweiler [2016-05-07 05:08:08] 631*2^1428461-1 is not prime. Res64: 2FFB1B640477920B Time : 0.0 sec. user=mdettweiler [2016-05-07 05:08:09] 735*2^1428461-1 is not prime. Res64: 90E65EB7E3AC2DDC Time : 0.0 sec. user=mdettweiler [2016-05-07 05:08:09] 741*2^1428461-1 is not prime. Res64: 5EE725EF441AC1D6 Time : 0.0 sec. user=mdettweiler [2016-05-07 05:08:09] 799*2^1428461-1 is not prime. Res64: F31BE24BCBDC9DE5 Time : 0.0 sec. user=mdettweiler [2016-05-07 05:10:35] 871*2^1428461-1 is not prime. Res64: 723BC1328C79A7AF Time : 0.0 sec. user=mdettweiler [2016-05-07 05:10:36] 879*2^1428461-1 is not prime. Res64: 0ED590A17302F52B Time : 0.0 sec. user=mdettweiler [2016-05-07 05:10:36] 889*2^1428461-1 is not prime. Res64: 4A874AB91F82BA83 Time : 0.0 sec. user=mdettweiler [2016-05-07 05:10:36] 901*2^1428461-1 is not prime. Res64: 86C5BCB850FBE986 Time : 0.0 sec. user=mdettweiler [2016-05-07 05:10:37] 939*2^1428461-1 is not prime. Res64: C6151F81A6CD0B96 Time : 0.0 sec. user=mdettweiler [2016-05-07 05:22:03] 945*2^1428461-1 is not prime. Res64: 4C582F4A9DD55E70 Time : 0.0 sec. user=mdettweiler [2016-05-07 05:22:03] 967*2^1428461-1 is not prime. Res64: FC62F32CF9381F84 Time : 0.0 sec. user=mdettweiler [2016-05-07 05:22:03] 987*2^1428461-1 is not prime. Res64: 6EB74F501008DCD0 Time : 0.0 sec. user=mdettweiler [2016-05-07 05:22:04] 681*2^1428462-1 is not prime. Res64: 7E602AB88BED205B Time : 0.0 sec. user=mdettweiler [2016-05-07 05:22:04] 741*2^1428462-1 is not prime. Res64: 50210D899D076552 Time : 0.0 sec. user=mdettweiler [2016-05-07 05:24:33] 755*2^1428462-1 is not prime. Res64: 8EB6BCB6038A15DD Time : 0.0 sec. user=mdettweiler [2016-05-07 05:24:33] 767*2^1428462-1 is not prime. Res64: 4154C8E6BE48707C Time : 0.0 sec. user=mdettweiler [2016-05-07 05:24:33] 821*2^1428462-1 is not prime. Res64: F35EC0F9ED32F745 Time : 0.0 sec. user=mdettweiler [2016-05-07 05:24:33] 843*2^1428462-1 is not prime. Res64: 821FBCCCB66FCB99 Time : 0.0 sec. user=mdettweiler [2016-05-07 05:24:34] 891*2^1428462-1 is not prime. Res64: 68C6448DB9944B86 Time : 0.0 sec. user=mdettweiler [2016-05-07 05:54:49] 975*2^1428462-1 is not prime. Res64: 6E3F360A199D2F19 Time : 0.0 sec. user=mdettweiler [2016-05-07 05:54:49] 709*2^1428463-1 is not prime. Res64: 3091A4032C8910A0 Time : 0.0 sec. user=mdettweiler [2016-05-07 05:54:50] 723*2^1428463-1 is not prime. Res64: 67C80875EBD84353 Time : 0.0 sec. user=mdettweiler [2016-05-07 05:54:50] 901*2^1428463-1 is not prime. Res64: 93F53566008D62AF Time : 0.0 sec. user=mdettweiler [2016-05-07 05:54:50] 915*2^1428463-1 is not prime. Res64: 2D39726CF8A6DA28 Time : 0.0 sec. user=mdettweiler [2016-05-07 05:57:18] 939*2^1428463-1 is not prime. Res64: 1DD371E27AC8C60E Time : 0.0 sec. user=mdettweiler [2016-05-07 05:57:18] 973*2^1428463-1 is not prime. Res64: 650014A7AA967FBC Time : 0.0 sec. user=mdettweiler [2016-05-07 05:57:18] 635*2^1428464-1 is not prime. Res64: 90B162005CCA1B38 Time : 0.0 sec. user=mdettweiler [2016-05-07 05:57:19] 767*2^1428464-1 is not prime. Res64: F00D003AE361AB26 Time : 0.0 sec. user=mdettweiler [2016-05-07 05:57:19] 855*2^1428464-1 is not prime. Res64: 4079894B0CA3B405 Time : 0.0 sec. user=mdettweiler [2016-05-07 06:08:42] 869*2^1428464-1 is not prime. Res64: DF89108563E494E8 Time : 0.0 sec. user=mdettweiler [2016-05-07 06:08:43] 893*2^1428464-1 is not prime. Res64: 487D673BEE589AB3 Time : 0.0 sec. user=mdettweiler [2016-05-07 06:08:43] 923*2^1428464-1 is not prime. Res64: FBE75AF2574CA2B1 Time : 0.0 sec. user=mdettweiler [2016-05-07 06:08:43] 679*2^1428465-1 is not prime. Res64: 1C339B0756FF2C59 Time : 0.0 sec. user=mdettweiler [2016-05-07 06:08:44] 751*2^1428465-1 is not prime. Res64: 177A53BBEF5A21E0 Time : 0.0 sec. user=mdettweiler [2016-05-07 06:10:51] 861*2^1428465-1 is not prime. Res64: 86FE913A4AF9C0B8 Time : 0.0 sec. user=mdettweiler [2016-05-07 06:10:51] 891*2^1428465-1 is not prime. Res64: 543FDDD49D7BBEAB Time : 0.0 sec. user=mdettweiler [2016-05-07 06:10:51] 909*2^1428465-1 is not prime. Res64: 9DE1F4D35E39DDAE Time : 0.0 sec. user=mdettweiler [2016-05-07 06:10:52] 951*2^1428465-1 is not prime. Res64: A0B96B4A552B8169 Time : 0.0 sec. user=mdettweiler [2016-05-07 06:10:52] 617*2^1428466-1 is not prime. Res64: DA0CDE5B17DC8C76 Time : 0.0 sec. user=mdettweiler [2016-05-07 06:40:05] 701*2^1428466-1 is not prime. Res64: D4907FD3032EBDE4 Time : 0.0 sec. user=mdettweiler [2016-05-07 06:40:05] 717*2^1428466-1 is not prime. Res64: 106092880D1AC4BE Time : 0.0 sec. user=mdettweiler [2016-05-07 06:40:05] 993*2^1428466-1 is not prime. Res64: 453428705593797C Time : 0.0 sec. user=mdettweiler [2016-05-07 06:40:06] 619*2^1428467-1 is not prime. Res64: 8C92B4C4D69660BA Time : 0.0 sec. user=mdettweiler [2016-05-07 06:40:06] 621*2^1428467-1 is not prime. Res64: A4404D199EFF23B0 Time : 0.0 sec. user=mdettweiler [2016-05-07 06:42:42] 633*2^1428467-1 is not prime. Res64: 7D6B54AAC123EA74 Time : 0.0 sec. user=mdettweiler [2016-05-07 06:42:43] 645*2^1428467-1 is not prime. Res64: 7CCA711B89B12189 Time : 0.0 sec. user=mdettweiler [2016-05-07 06:42:43] 711*2^1428467-1 is not prime. Res64: DFB551BE18244021 Time : 0.0 sec. user=mdettweiler [2016-05-07 06:42:44] 861*2^1428467-1 is not prime. Res64: B593A2B07578BBDB Time : 0.0 sec. user=mdettweiler [2016-05-07 06:42:44] 879*2^1428467-1 is not prime. Res64: 4E82FBC7ADF046B1 Time : 0.0 sec. user=mdettweiler [2016-05-07 06:54:13] 883*2^1428467-1 is not prime. Res64: DFA75912E1C8E013 Time : 0.0 sec. user=mdettweiler [2016-05-07 06:54:14] 979*2^1428467-1 is not prime. Res64: EEEB170A39E4EBA2 Time : 0.0 sec. user=mdettweiler [2016-05-07 06:54:14] 635*2^1428468-1 is not prime. Res64: 987580C957FC4C06 Time : 0.0 sec. user=mdettweiler [2016-05-07 06:54:15] 647*2^1428468-1 is not prime. Res64: B377C0AA360F5D02 Time : 0.0 sec. user=mdettweiler [2016-05-07 06:54:15] 669*2^1428468-1 is not prime. Res64: 869227152F6DD3BF Time : 0.0 sec. user=mdettweiler [2016-05-07 06:56:28] 777*2^1428468-1 is not prime. Res64: 2CFAC733085930A2 Time : 0.0 sec. user=mdettweiler [2016-05-07 06:56:29] 609*2^1428469-1 is not prime. Res64: B0ADFBD0540E757F Time : 0.0 sec. user=mdettweiler [2016-05-07 06:56:29] 685*2^1428469-1 is not prime. Res64: 600F2A1F574305E6 Time : 0.0 sec. user=mdettweiler [2016-05-07 06:56:29] 745*2^1428469-1 is not prime. Res64: 5E704F3E02642375 Time : 0.0 sec. user=mdettweiler [2016-05-07 06:56:30] 769*2^1428469-1 is not prime. Res64: 320000391B919A3F Time : 0.0 sec. user=mdettweiler [2016-05-07 07:28:34] 811*2^1428469-1 is not prime. Res64: 87DC1AF95FA8D39D Time : 0.0 sec. user=mdettweiler [2016-05-07 07:28:35] 819*2^1428469-1 is not prime. Res64: F48FCFFDB4A8FC24 Time : 0.0 sec. user=mdettweiler [2016-05-07 07:28:35] 861*2^1428469-1 is not prime. Res64: E08BA22E4B563884 Time : 0.0 sec. user=mdettweiler [2016-05-07 07:28:36] 885*2^1428469-1 is not prime. Res64: 33587D69EE5DF954 Time : 0.0 sec. user=mdettweiler [2016-05-07 07:28:36] 897*2^1428469-1 is not prime. Res64: 659A8F3C37250ED8 Time : 0.0 sec. user=mdettweiler [2016-05-07 07:32:32] 985*2^1428469-1 is not prime. Res64: E243EF6C97B1DFBA Time : 0.0 sec. user=mdettweiler [2016-05-07 07:32:32] 997*2^1428469-1 is not prime. Res64: 33C0D36DDFD57929 Time : 0.0 sec. user=mdettweiler [2016-05-07 07:32:32] 671*2^1428470-1 is not prime. Res64: 0B54E672535BB7FA Time : 0.0 sec. user=mdettweiler [2016-05-07 07:32:33] 717*2^1428470-1 is not prime. Res64: 093F4C99F0DC0188 Time : 0.0 sec. user=mdettweiler [2016-05-07 07:32:33] 897*2^1428470-1 is not prime. Res64: 267D89375398A327 Time : 0.0 sec. user=mdettweiler [2016-05-07 07:47:01] 957*2^1428470-1 is not prime. Res64: BD9679A80A9533B3 Time : 0.0 sec. user=mdettweiler [2016-05-07 07:47:03] 965*2^1428470-1 is not prime. Res64: 468F3194D6A3DB8D Time : 0.0 sec. user=mdettweiler [2016-05-07 07:47:03] 995*2^1428470-1 is not prime. Res64: D0B5A9693E9AE03D Time : 0.0 sec. user=mdettweiler [2016-05-07 07:47:03] 1001*2^1428470-1 is not prime. Res64: D4EC117829FEE24E Time : 0.0 sec. user=mdettweiler [2016-05-07 07:47:04] 649*2^1428471-1 is not prime. Res64: 98A52409CCFFA1F7 Time : 0.0 sec. user=mdettweiler [2016-05-07 07:50:54] 651*2^1428471-1 is not prime. Res64: 8351ED484EA7C172 Time : 0.0 sec. user=mdettweiler [2016-05-07 07:50:55] 723*2^1428471-1 is not prime. Res64: 346625A064E9D29C Time : 0.0 sec. user=mdettweiler [2016-05-07 07:50:55] 951*2^1428471-1 is not prime. Res64: 66944B7AD5C83D57 Time : 0.0 sec. user=mdettweiler [2016-05-07 07:50:55] 999*2^1428471-1 is not prime. Res64: 8BD5701B7E804C03 Time : 0.0 sec. user=mdettweiler [2016-05-07 07:50:55] 603*2^1428472-1 is not prime. Res64: 210484D3C2030A47 Time : 0.0 sec. user=mdettweiler [2016-05-07 08:21:40] 623*2^1428472-1 is not prime. Res64: 3FBED7CF36B261C1 Time : 0.0 sec. user=mdettweiler [2016-05-07 08:21:40] 717*2^1428472-1 is not prime. Res64: 45EFF2FF271C1B61 Time : 0.0 sec. user=mdettweiler [2016-05-07 08:21:40] 785*2^1428472-1 is not prime. Res64: ED822601A0E5D04E Time : 0.0 sec. user=mdettweiler [2016-05-07 08:21:40] 797*2^1428472-1 is not prime. Res64: A1B764A5587022AE Time : 0.0 sec. user=mdettweiler [2016-05-07 08:21:41] 855*2^1428472-1 is not prime. Res64: 539A63548A4DD445 Time : 0.0 sec. user=mdettweiler [2016-05-07 08:25:07] 875*2^1428472-1 is not prime. Res64: 3E19A9FA32E3B480 Time : 0.0 sec. user=mdettweiler [2016-05-07 08:25:07] 999*2^1428472-1 is not prime. Res64: 73B70CBE05B8A589 Time : 0.0 sec. user=mdettweiler [2016-05-07 08:25:07] 619*2^1428473-1 is not prime. Res64: 6494082AFA315CC5 Time : 0.0 sec. user=mdettweiler [2016-05-07 08:25:08] 691*2^1428473-1 is not prime. Res64: 9375DF12407F1B8D Time : 0.0 sec. user=mdettweiler [2016-05-07 08:25:08] 771*2^1428473-1 is not prime. Res64: 107C0D74C4207AD5 Time : 0.0 sec. user=mdettweiler [2016-05-07 08:36:04] 819*2^1428473-1 is not prime. Res64: 85E3A3732B4B574C Time : 0.0 sec. user=mdettweiler [2016-05-07 08:36:05] 829*2^1428473-1 is not prime. Res64: 04E71808C24ACA2B Time : 0.0 sec. user=mdettweiler [2016-05-07 08:36:05] 889*2^1428473-1 is not prime. Res64: 7FB1135EF98D3919 Time : 0.0 sec. user=mdettweiler [2016-05-07 08:36:05] 901*2^1428473-1 is not prime. Res64: 3165CA3A0E31A9FA Time : 0.0 sec. user=mdettweiler [2016-05-07 08:36:05] 987*2^1428473-1 is not prime. Res64: 3F69F7478E1BF80D Time : 0.0 sec. user=mdettweiler [2016-05-07 08:39:44] 657*2^1428474-1 is not prime. Res64: BDEFA1D639BFB605 Time : 0.0 sec. user=mdettweiler [2016-05-07 08:39:44] 663*2^1428474-1 is not prime. Res64: 3AE46AD0F9FA6C79 Time : 0.0 sec. user=mdettweiler [2016-05-07 08:39:45] 681*2^1428474-1 is not prime. Res64: D949F0CA9A8E0981 Time : 0.0 sec. user=mdettweiler [2016-05-07 08:39:45] 725*2^1428474-1 is not prime. Res64: CE173E07A016C59B Time : 0.0 sec. user=mdettweiler [2016-05-07 08:39:45] 791*2^1428474-1 is not prime. Res64: DE9DADF86412FA59 Time : 0.0 sec. user=mdettweiler [2016-05-07 09:08:44] 837*2^1428474-1 is not prime. Res64: 16DAC06A76F3DAAD Time : 0.0 sec. user=mdettweiler [2016-05-07 09:08:44] 917*2^1428474-1 is not prime. Res64: 22A14973BC93DFD8 Time : 0.0 sec. user=mdettweiler [2016-05-07 09:08:45] 971*2^1428474-1 is not prime. Res64: 0A6AD38757CC3F57 Time : 0.0 sec. user=mdettweiler [2016-05-07 09:08:45] 975*2^1428474-1 is not prime. Res64: E525305C77D3F954 Time : 0.0 sec. user=mdettweiler [2016-05-07 09:08:46] 631*2^1428475-1 is not prime. Res64: E1115A715A21261E Time : 0.0 sec. user=mdettweiler [2016-05-07 09:11:36] 679*2^1428475-1 is not prime. Res64: 0A0FFC9362AFAE39 Time : 0.0 sec. user=mdettweiler [2016-05-07 09:11:36] 685*2^1428475-1 is not prime. Res64: 19B07990F895EE64 Time : 0.0 sec. user=mdettweiler [2016-05-07 09:11:37] 699*2^1428475-1 is not prime. Res64: D6F602DBD07CEE61 Time : 0.0 sec. user=mdettweiler [2016-05-07 09:11:37] 861*2^1428475-1 is not prime. Res64: 93F72A132B58A879 Time : 0.0 sec. user=mdettweiler [2016-05-07 09:11:37] 913*2^1428475-1 is not prime. Res64: DA986143B0E3179C Time : 0.0 sec. user=mdettweiler [2016-05-07 09:22:07] 749*2^1428476-1 is not prime. Res64: 0CF40013CB044FB9 Time : 0.0 sec. user=mdettweiler [2016-05-07 09:22:07] 825*2^1428476-1 is not prime. Res64: 983297A662FE3936 Time : 0.0 sec. user=mdettweiler [2016-05-07 09:22:07] 837*2^1428476-1 is not prime. Res64: 88DC989C55554D32 Time : 0.0 sec. user=mdettweiler [2016-05-07 09:22:08] 893*2^1428476-1 is not prime. Res64: 63A702F35CE5FEC6 Time : 0.0 sec. user=mdettweiler [2016-05-07 09:22:08] 899*2^1428476-1 is not prime. Res64: 2924DE2E8A827A9D Time : 0.0 sec. user=mdettweiler [2016-05-07 09:25:20] 923*2^1428476-1 is not prime. Res64: D451B344D0FF8607 Time : 0.0 sec. user=mdettweiler [2016-05-07 09:25:21] 927*2^1428476-1 is not prime. Res64: C5CA4EE5A06238E0 Time : 0.0 sec. user=mdettweiler [2016-05-07 09:25:21] 953*2^1428476-1 is not prime. Res64: BF02F2781C459BAE Time : 0.0 sec. user=mdettweiler [2016-05-07 09:25:21] 627*2^1428477-1 is not prime. Res64: 886C7C162FEC463A Time : 0.0 sec. user=mdettweiler [2016-05-07 09:25:22] 675*2^1428477-1 is not prime. Res64: 7F954F14156B0996 Time : 0.0 sec. user=mdettweiler [2016-05-07 09:54:16] 727*2^1428477-1 is not prime. Res64: 0AF1A9A8AC583764 Time : 0.0 sec. user=mdettweiler [2016-05-07 09:54:16] 741*2^1428477-1 is not prime. Res64: 6DBA045D7179EF5D Time : 0.0 sec. user=mdettweiler [2016-05-07 09:54:16] 795*2^1428477-1 is not prime. Res64: 306B712484C8C3A3 Time : 0.0 sec. user=mdettweiler [2016-05-07 09:54:17] 817*2^1428477-1 is not prime. Res64: 915941C6CBC3DED4 Time : 0.0 sec. user=mdettweiler [2016-05-07 09:54:17] 895*2^1428477-1 is not prime. Res64: 3E41248033796ADF Time : 0.0 sec. user=mdettweiler [2016-05-07 09:57:17] 937*2^1428477-1 is not prime. Res64: 3F7514BD318C157F Time : 0.0 sec. user=mdettweiler [2016-05-07 09:57:17] 623*2^1428478-1 is not prime. Res64: 61DA701791285D4E Time : 0.0 sec. user=mdettweiler [2016-05-07 09:57:18] 657*2^1428478-1 is not prime. Res64: FD9E0B68756E52FA Time : 0.0 sec. user=mdettweiler [2016-05-07 09:57:18] 813*2^1428478-1 is not prime. Res64: 5B476A8E79A18D43 Time : 0.0 sec. user=mdettweiler [2016-05-07 09:57:19] 843*2^1428478-1 is not prime. Res64: BDBA855C26956DD0 Time : 0.0 sec. user=mdettweiler [2016-05-07 10:07:42] 1001*2^1428478-1 is not prime. Res64: F0C308FB032E709C Time : 0.0 sec. user=mdettweiler [2016-05-07 10:07:42] 729*2^1428479-1 is not prime. Res64: 2C7BE96CA1C8D8B7 Time : 0.0 sec. user=mdettweiler [2016-05-07 10:07:43] 735*2^1428479-1 is not prime. Res64: C9EAA911775E950B Time : 0.0 sec. user=mdettweiler [2016-05-07 10:07:43] 811*2^1428479-1 is not prime. Res64: C7F1EA65268583B8 Time : 0.0 sec. user=mdettweiler [2016-05-07 10:07:44] 889*2^1428479-1 is not prime. Res64: CFD237AECDADE8A5 Time : 0.0 sec. user=mdettweiler [2016-05-07 10:10:48] 913*2^1428479-1 is not prime. Res64: 4464B0ED7EDCC0EC Time : 0.0 sec. user=mdettweiler [2016-05-07 10:10:49] 921*2^1428479-1 is not prime. Res64: A346476635DAF24E Time : 0.0 sec. user=mdettweiler [2016-05-07 10:10:49] 615*2^1428480-1 is not prime. Res64: 6DF7B0503151EA73 Time : 0.0 sec. user=mdettweiler [2016-05-07 10:10:50] 665*2^1428480-1 is not prime. Res64: D9F12E4C58365378 Time : 0.0 sec. user=mdettweiler [2016-05-07 10:10:50] 707*2^1428480-1 is not prime. Res64: 8AEF48D4DD1ECC8F Time : 0.0 sec. user=mdettweiler [2016-05-07 10:39:36] 737*2^1428480-1 is not prime. Res64: A7B5559A14F7BCE8 Time : 0.0 sec. user=mdettweiler [2016-05-07 10:39:36] 879*2^1428480-1 is not prime. Res64: 455E178233F58596 Time : 0.0 sec. user=mdettweiler [2016-05-07 10:39:37] 887*2^1428480-1 is not prime. Res64: 26AF326B212D16D7 Time : 0.0 sec. user=mdettweiler [2016-05-07 10:39:37] 679*2^1428481-1 is not prime. Res64: 3DB6229F83B0DDC4 Time : 0.0 sec. user=mdettweiler [2016-05-07 10:39:37] 691*2^1428481-1 is not prime. Res64: E77352C8467EADF0 Time : 0.0 sec. user=mdettweiler [2016-05-07 10:42:33] 775*2^1428481-1 is not prime. Res64: 99F37AA66DFC24AE Time : 0.0 sec. user=mdettweiler [2016-05-07 10:42:34] 635*2^1428482-1 is not prime. Res64: AC7AFAF0967C5F99 Time : 0.0 sec. user=mdettweiler [2016-05-07 10:42:34] 923*2^1428482-1 is not prime. Res64: 2FC4E84019F05D25 Time : 0.0 sec. user=mdettweiler [2016-05-07 10:42:34] 983*2^1428482-1 is not prime. Res64: 010F93AEA0C1CD32 Time : 0.0 sec. user=mdettweiler [2016-05-07 10:42:34] 619*2^1428483-1 is not prime. Res64: 4D01B459487FDCA1 Time : 0.0 sec. user=mdettweiler [2016-05-07 10:53:35] 649*2^1428483-1 is not prime. Res64: 6ACB69471239AF70 Time : 0.0 sec. user=mdettweiler [2016-05-07 10:53:35] 823*2^1428483-1 is not prime. Res64: E2C571E23A73F38F Time : 0.0 sec. user=mdettweiler [2016-05-07 10:53:35] 985*2^1428483-1 is not prime. Res64: 3DD18394BF35FB52 Time : 0.0 sec. user=mdettweiler [2016-05-07 10:53:36] 665*2^1428484-1 is not prime. Res64: CA2454F97AE27D04 Time : 0.0 sec. user=mdettweiler [2016-05-07 10:53:36] 743*2^1428484-1 is not prime. Res64: 7CFC55A20DBF613F Time : 0.0 sec. user=mdettweiler [2016-05-07 10:56:41] 783*2^1428484-1 is not prime. Res64: D85C5CD34BC5589E Time : 0.0 sec. user=mdettweiler [2016-05-07 10:56:41] 905*2^1428484-1 is not prime. Res64: 86CFBF618D97E94D Time : 0.0 sec. user=mdettweiler [2016-05-07 10:56:42] 929*2^1428484-1 is not prime. Res64: 66601BDD0A0462E0 Time : 0.0 sec. user=mdettweiler [2016-05-07 10:56:42] 993*2^1428484-1 is not prime. Res64: ECC4304AE3ABFEBD Time : 0.0 sec. user=mdettweiler [2016-05-07 10:56:42] 655*2^1428485-1 is not prime. Res64: BC606B759503CD09 Time : 0.0 sec. user=mdettweiler [2016-05-07 11:26:34] 657*2^1428485-1 is not prime. Res64: 771B01CB0D0F1696 Time : 0.0 sec. user=mdettweiler [2016-05-07 11:26:34] 777*2^1428485-1 is not prime. Res64: E26219AB4CD72107 Time : 0.0 sec. user=mdettweiler [2016-05-07 11:26:34] 787*2^1428485-1 is not prime. Res64: 16D305140C74993A Time : 0.0 sec. user=mdettweiler [2016-05-07 11:26:35] 811*2^1428485-1 is not prime. Res64: E34FAC48D0FD1ABD Time : 0.0 sec. user=mdettweiler [2016-05-07 11:26:35] 885*2^1428485-1 is not prime. Res64: 726EA31E775B7486 Time : 0.0 sec. user=mdettweiler [2016-05-07 11:31:08] 937*2^1428485-1 is not prime. Res64: 710A746AC4D2AEFC Time : 0.0 sec. user=mdettweiler [2016-05-07 11:31:08] 741*2^1428486-1 is not prime. Res64: 0D98DD434F28D96D Time : 0.0 sec. user=mdettweiler [2016-05-07 11:31:08] 917*2^1428486-1 is not prime. Res64: 92DF25E075EAF17B Time : 0.0 sec. user=mdettweiler [2016-05-07 11:31:08] 947*2^1428486-1 is not prime. Res64: 08B367B969F14EBE Time : 0.0 sec. user=mdettweiler [2016-05-07 11:31:09] 649*2^1428487-1 is not prime. Res64: 2A1B2C4075F96E18 Time : 0.0 sec. user=mdettweiler [2016-05-07 11:42:58] 793*2^1428487-1 is not prime. Res64: EA77486BC5F227FE Time : 0.0 sec. user=mdettweiler [2016-05-07 11:42:58] 859*2^1428487-1 is not prime. Res64: 04506E109FD84D91 Time : 0.0 sec. user=mdettweiler [2016-05-07 11:42:58] 985*2^1428487-1 is not prime. Res64: 403B527942AF9289 Time : 0.0 sec. user=mdettweiler [2016-05-07 11:42:59] 603*2^1428488-1 is not prime. Res64: 654A4FD8C8A97E5D Time : 0.0 sec. user=mdettweiler [2016-05-07 11:42:59] 677*2^1428488-1 is not prime. Res64: 60D12CECF7668255 Time : 0.0 sec. user=mdettweiler [2016-05-07 11:46:06] 819*2^1428488-1 is not prime. Res64: D7005CC9BE89E28C Time : 0.0 sec. user=mdettweiler [2016-05-07 11:46:07] 867*2^1428488-1 is not prime. Res64: 2271B9B903D6C9DF Time : 0.0 sec. user=mdettweiler [2016-05-07 11:46:07] 875*2^1428488-1 is not prime. Res64: 2F09A899C07CAB8E Time : 0.0 sec. user=mdettweiler [2016-05-07 11:46:07] 879*2^1428488-1 is not prime. Res64: 0DD1B69BFC0E28B4 Time : 0.0 sec. user=mdettweiler [2016-05-07 11:46:07] 945*2^1428488-1 is not prime. Res64: E02EF55C7BBC9078 Time : 0.0 sec. user=mdettweiler [2016-05-07 12:15:51] 977*2^1428488-1 is not prime. Res64: 6DDD1BC8665EAFA9 Time : 0.0 sec. user=mdettweiler [2016-05-07 12:15:52] 999*2^1428488-1 is not prime. Res64: B736A51B5DB7A330 Time : 0.0 sec. user=mdettweiler [2016-05-07 12:15:52] 685*2^1428489-1 is not prime. Res64: 36C53A1970159C15 Time : 0.0 sec. user=mdettweiler [2016-05-07 12:15:53] 831*2^1428489-1 is not prime. Res64: 73D695F3130C08E8 Time : 0.0 sec. user=mdettweiler [2016-05-07 12:15:53] 861*2^1428489-1 is not prime. Res64: 895201CA74D37D3D Time : 0.0 sec. user=mdettweiler [2016-05-07 12:18:09] 885*2^1428489-1 is not prime. Res64: 7508F3CEAD832672 Time : 0.0 sec. user=mdettweiler [2016-05-07 12:18:09] 969*2^1428489-1 is not prime. Res64: 3B6B97940EF78060 Time : 0.0 sec. user=mdettweiler [2016-05-07 12:18:10] 635*2^1428490-1 is not prime. Res64: C0BA27E1576A5A46 Time : 0.0 sec. user=mdettweiler [2016-05-07 12:18:10] 663*2^1428490-1 is not prime. Res64: DB2F76A64D7ADFC1 Time : 0.0 sec. user=mdettweiler [2016-05-07 12:18:11] 723*2^1428490-1 is not prime. Res64: 73E9F71700F19C37 Time : 0.0 sec. user=mdettweiler [2016-05-07 12:29:27] 747*2^1428490-1 is not prime. Res64: 5780E41EB333CECF Time : 0.0 sec. user=mdettweiler [2016-05-07 12:29:28] 911*2^1428490-1 is not prime. Res64: 5F64B7DFF34EFD91 Time : 0.0 sec. user=mdettweiler [2016-05-07 12:29:28] 609*2^1428491-1 is not prime. Res64: 0905A96E9297627E Time : 0.0 sec. user=mdettweiler [2016-05-07 12:29:28] 651*2^1428491-1 is not prime. Res64: 3415747360DDE45C Time : 0.0 sec. user=mdettweiler [2016-05-07 12:29:29] 693*2^1428491-1 is not prime. Res64: 1EBE1C03BFE922C3 Time : 0.0 sec. user=mdettweiler [2016-05-07 12:32:49] 759*2^1428491-1 is not prime. Res64: E43045FA5DBB0AA2 Time : 0.0 sec. user=mdettweiler [2016-05-07 12:32:49] 825*2^1428491-1 is not prime. Res64: DD2E74B93AD215C7 Time : 0.0 sec. user=mdettweiler [2016-05-07 12:32:49] 843*2^1428491-1 is not prime. Res64: 42CF3C3A7B6579CD Time : 0.0 sec. user=mdettweiler [2016-05-07 12:32:50] 939*2^1428491-1 is not prime. Res64: 4F601580917186E5 Time : 0.0 sec. user=mdettweiler [2016-05-07 12:32:50] 943*2^1428491-1 is not prime. Res64: 329967CB272B6A50 Time : 0.0 sec. user=mdettweiler [2016-05-07 13:02:42] 949*2^1428491-1 is not prime. Res64: EC9F347E446E990D Time : 0.0 sec. user=mdettweiler [2016-05-07 13:02:43] 675*2^1428492-1 is not prime. Res64: B3BCA717811C357B Time : 0.0 sec. user=mdettweiler [2016-05-07 13:02:43] 695*2^1428492-1 is not prime. Res64: 0785E3752EFF2A72 Time : 0.0 sec. user=mdettweiler [2016-05-07 13:02:44] 725*2^1428492-1 is not prime. Res64: CC6C0A1EE6778710 Time : 0.0 sec. user=mdettweiler [2016-05-07 13:02:44] 749*2^1428492-1 is not prime. Res64: 65D413352CDAFDD7 Time : 0.0 sec. user=mdettweiler [2016-05-07 13:05:59] 779*2^1428492-1 is not prime. Res64: B423E41B9D900FDD Time : 0.0 sec. user=mdettweiler [2016-05-07 13:06:00] 837*2^1428492-1 is not prime. Res64: 3B5C07FF47FCEA69 Time : 0.0 sec. user=mdettweiler [2016-05-07 13:06:00] 903*2^1428492-1 is not prime. Res64: 6C654BE2854D966C Time : 0.0 sec. user=mdettweiler [2016-05-07 13:06:01] 607*2^1428493-1 is not prime. Res64: 60C514DD3F1BF508 Time : 0.0 sec. user=mdettweiler [2016-05-07 13:06:01] 757*2^1428493-1 is not prime. Res64: 5F18C3B02D78234D Time : 0.0 sec. user=mdettweiler [2016-05-07 13:17:38] 831*2^1428493-1 is not prime. Res64: 1CAF189F011ABF77 Time : 0.0 sec. user=mdettweiler [2016-05-07 13:17:38] 645*2^1428494-1 is not prime. Res64: EAEC5A045D2F5683 Time : 0.0 sec. user=mdettweiler [2016-05-07 13:17:39] 707*2^1428494-1 is not prime. Res64: 81E6FCA8510C7110 Time : 0.0 sec. user=mdettweiler [2016-05-07 13:17:39] 915*2^1428494-1 is not prime. Res64: 20296C7439140004 Time : 0.0 sec. user=mdettweiler [2016-05-07 13:17:40] 609*2^1428495-1 is not prime. Res64: D1EADEBB5DE9047E Time : 0.0 sec. user=mdettweiler [2016-05-07 13:20:29] 663*2^1428495-1 is not prime. Res64: 7F93F4B2519EB5DA Time : 0.0 sec. user=mdettweiler [2016-05-07 13:20:29] 751*2^1428495-1 is not prime. Res64: 43D4EAC59C94199C Time : 0.0 sec. user=mdettweiler [2016-05-07 13:20:30] 763*2^1428495-1 is not prime. Res64: 0C53F44811E8A5B8 Time : 0.0 sec. user=mdettweiler [2016-05-07 13:20:30] 781*2^1428495-1 is not prime. Res64: F6EFD00FDF5A2CDA Time : 0.0 sec. user=mdettweiler [2016-05-07 13:20:30] 795*2^1428495-1 is not prime. Res64: 5096CAC8C582EEEC Time : 0.0 sec. user=mdettweiler [2016-05-07 13:48:50] 951*2^1428495-1 is not prime. Res64: 34F1EFBE56C7A2C0 Time : 0.0 sec. user=mdettweiler [2016-05-07 13:48:50] 969*2^1428495-1 is not prime. Res64: 64E8A9D5C919612B Time : 0.0 sec. user=mdettweiler [2016-05-07 13:48:51] 615*2^1428496-1 is not prime. Res64: C801872FB884F2AD Time : 0.0 sec. user=mdettweiler [2016-05-07 13:48:51] 677*2^1428496-1 is not prime. Res64: 3A4C33EF20FE3736 Time : 0.0 sec. user=mdettweiler [2016-05-07 13:48:51] 705*2^1428496-1 is not prime. Res64: F4F5D9350458CB6B Time : 0.0 sec. user=mdettweiler [2016-05-07 13:51:46] 735*2^1428496-1 is not prime. Res64: 423B096BBC2C8996 Time : 0.0 sec. user=mdettweiler [2016-05-07 13:51:46] 849*2^1428496-1 is not prime. Res64: 9A6CE42C35C82695 Time : 0.0 sec. user=mdettweiler [2016-05-07 13:51:47] 855*2^1428496-1 is not prime. Res64: E00AAE812EFD2032 Time : 0.0 sec. user=mdettweiler [2016-05-07 13:51:47] 899*2^1428496-1 is not prime. Res64: 606A5A3AEC77FB1B Time : 0.0 sec. user=mdettweiler [2016-05-07 13:51:48] 905*2^1428496-1 is not prime. Res64: DBE7852413996DB2 Time : 0.0 sec. user=mdettweiler [2016-05-07 14:03:30] 983*2^1428496-1 is not prime. Res64: CFEC1CA639D69079 Time : 0.0 sec. user=mdettweiler [2016-05-07 14:03:31] 631*2^1428497-1 is not prime. Res64: 6FEB2A76C203CA02 Time : 0.0 sec. user=mdettweiler [2016-05-07 14:03:32] 685*2^1428497-1 is not prime. Res64: 1418844E46C0E0A1 Time : 0.0 sec. user=mdettweiler [2016-05-07 14:03:33] 711*2^1428497-1 is not prime. Res64: 8731FD6D61BAA9E7 Time : 0.0 sec. user=mdettweiler [2016-05-07 14:03:36] 901*2^1428497-1 is not prime. Res64: 894A7AA527BCD90F Time : 0.0 sec. user=mdettweiler [2016-05-07 14:06:23] 981*2^1428497-1 is not prime. Res64: 4DD2D887CE5DC9E4 Time : 0.0 sec. user=mdettweiler [2016-05-07 14:06:24] 633*2^1428498-1 is not prime. Res64: 474997808E5ED07A Time : 0.0 sec. user=mdettweiler [2016-05-07 14:06:25] 635*2^1428498-1 is not prime. Res64: 6FB39F3C192B8369 Time : 0.0 sec. user=mdettweiler [2016-05-07 14:06:26] 657*2^1428498-1 is not prime. Res64: 6287540714A75FE4 Time : 0.0 sec. user=mdettweiler [2016-05-07 14:06:27] 683*2^1428498-1 is not prime. Res64: F7D81B2B30E886BD Time : 0.0 sec. user=mdettweiler [2016-05-07 14:34:29] 695*2^1428498-1 is not prime. Res64: 3442A679F4E7F6DB Time : 0.0 sec. user=mdettweiler [2016-05-07 14:34:30] 765*2^1428498-1 is not prime. Res64: C450588B99B3FBC1 Time : 0.0 sec. user=mdettweiler [2016-05-07 14:34:30] 885*2^1428498-1 is not prime. Res64: 7C2EE0E642711B0C Time : 0.0 sec. user=mdettweiler [2016-05-07 14:34:30] 977*2^1428498-1 is not prime. Res64: 34253249A4D5ED15 Time : 0.0 sec. user=mdettweiler [2016-05-07 14:34:31] 633*2^1428499-1 is not prime. Res64: C2FBFC1478D50565 Time : 0.0 sec. user=mdettweiler [2016-05-07 14:37:32] 645*2^1428499-1 is not prime. Res64: 08E94B5C23EAB88F Time : 0.0 sec. user=mdettweiler [2016-05-07 14:37:33] 681*2^1428499-1 is not prime. Res64: 8132F38379BCCF8D Time : 0.0 sec. user=mdettweiler [2016-05-07 14:37:33] 733*2^1428499-1 is not prime. Res64: D7019A67D09B819F Time : 0.0 sec. user=mdettweiler [2016-05-07 14:37:33] 765*2^1428499-1 is not prime. Res64: AE05C3F2C7DF0602 Time : 0.0 sec. user=mdettweiler [2016-05-07 14:37:34] 771*2^1428499-1 is not prime. Res64: 09958E9DC371B2A2 Time : 0.0 sec. user=mdettweiler [2016-05-07 14:49:29] 891*2^1428499-1 is not prime. Res64: 37E6AE3324962DCE Time : 0.0 sec. user=mdettweiler [2016-05-07 14:49:30] 951*2^1428499-1 is not prime. Res64: EDF9AEFB1DA63424 Time : 0.0 sec. user=mdettweiler [2016-05-07 14:49:30] 605*2^1428500-1 is not prime. Res64: 8E16DD591FFFC8E0 Time : 0.0 sec. user=mdettweiler [2016-05-07 14:49:30] 629*2^1428500-1 is not prime. Res64: 6A1B81296862FDB0 Time : 0.0 sec. user=mdettweiler [2016-05-07 14:49:31] 635*2^1428500-1 is not prime. Res64: 51DBE70E70693930 Time : 0.0 sec. user=mdettweiler [2016-05-07 14:52:15] 735*2^1428500-1 is not prime. Res64: 22E4A2D9B3AAD424 Time : 0.0 sec. user=mdettweiler [2016-05-07 14:52:16] 813*2^1428500-1 is not prime. Res64: E36D63A435C57303 Time : 0.0 sec. user=mdettweiler [2016-05-07 14:52:16] 875*2^1428500-1 is not prime. Res64: 40E66477DC322DC9 Time : 0.0 sec. user=mdettweiler [2016-05-07 14:52:16] 909*2^1428500-1 is not prime. Res64: D4444E4157CED8F5 Time : 0.0 sec. user=mdettweiler [2016-05-07 14:52:17] 957*2^1428500-1 is not prime. Res64: 51F6801469F465CE Time : 0.0 sec. user=mdettweiler [2016-05-07 15:20:04] 983*2^1428500-1 is not prime. Res64: B0E9E5B329F54968 Time : 0.0 sec. user=mdettweiler [2016-05-07 15:20:05] 781*2^1428501-1 is not prime. Res64: 37B8DA0D5A317BC6 Time : 0.0 sec. user=mdettweiler [2016-05-07 15:20:05] 811*2^1428501-1 is not prime. Res64: 31130DC61E374C2E Time : 0.0 sec. user=mdettweiler [2016-05-07 15:20:06] 885*2^1428501-1 is not prime. Res64: BEA44D1837BF3199 Time : 0.0 sec. user=mdettweiler [2016-05-07 15:20:06] 895*2^1428501-1 is not prime. Res64: B683D0B28D6DED33 Time : 0.0 sec. user=mdettweiler [2016-05-07 15:23:22] 927*2^1428501-1 is not prime. Res64: 57D45E51E220C2A2 Time : 0.0 sec. user=mdettweiler [2016-05-07 15:23:23] 937*2^1428501-1 is not prime. Res64: BB99D03A4A9118B7 Time : 0.0 sec. user=mdettweiler [2016-05-07 15:23:23] 677*2^1428502-1 is not prime. Res64: 80B289D9898D71D9 Time : 0.0 sec. user=mdettweiler [2016-05-07 15:23:24] 777*2^1428502-1 is not prime. Res64: C627D033EAED53C2 Time : 0.0 sec. user=mdettweiler [2016-05-07 15:23:24] 887*2^1428502-1 is not prime. Res64: 1FB817D5EC6F4F06 Time : 0.0 sec. user=mdettweiler [2016-05-07 15:34:58] 897*2^1428502-1 is not prime. Res64: 3C60C94C7E7B395D Time : 0.0 sec. user=mdettweiler [2016-05-07 15:34:59] 735*2^1428503-1 is not prime. Res64: 234AD6B601035CF4 Time : 0.0 sec. user=mdettweiler [2016-05-07 15:34:59] 885*2^1428503-1 is not prime. Res64: 5FB94C5077FE130B Time : 0.0 sec. user=mdettweiler [2016-05-07 15:35:00] 895*2^1428503-1 is not prime. Res64: 3394F071A3291774 Time : 0.0 sec. user=mdettweiler [2016-05-07 15:35:00] 999*2^1428503-1 is not prime. Res64: 528DEC704A46B8EF Time : 0.0 sec. user=mdettweiler [2016-05-07 15:37:57] 723*2^1428504-1 is not prime. Res64: 4781DCCCEB6458D0 Time : 0.0 sec. user=mdettweiler [2016-05-07 15:37:58] 815*2^1428504-1 is not prime. Res64: A468C80FE89AB651 Time : 0.0 sec. user=mdettweiler [2016-05-07 15:37:58] 843*2^1428504-1 is not prime. Res64: 305264E8C18C576E Time : 0.0 sec. user=mdettweiler [2016-05-07 15:37:59] 887*2^1428504-1 is not prime. Res64: 8463444A56A61093 Time : 0.0 sec. user=mdettweiler [2016-05-07 15:37:59] 607*2^1428505-1 is not prime. Res64: FCD8DBB61D92764E Time : 0.0 sec. user=mdettweiler [2016-05-07 16:05:54] 675*2^1428505-1 is not prime. Res64: 4AB64DDE43134745 Time : 0.0 sec. user=mdettweiler [2016-05-07 16:05:55] 741*2^1428505-1 is not prime. Res64: EB5A4215D33214DC Time : 0.0 sec. user=mdettweiler [2016-05-07 16:05:56] 867*2^1428505-1 is not prime. Res64: 48DC6A041F41B171 Time : 0.0 sec. user=mdettweiler [2016-05-07 16:05:57] 915*2^1428505-1 is not prime. Res64: EAC046C063F18D64 Time : 0.0 sec. user=mdettweiler [2016-05-07 16:05:58] 919*2^1428505-1 is not prime. Res64: C234A6154CBAA1DB Time : 0.0 sec. user=mdettweiler [2016-05-07 16:09:31] 951*2^1428505-1 is not prime. Res64: 16061DABEF4170B9 Time : 0.0 sec. user=mdettweiler [2016-05-07 16:09:32] 783*2^1428506-1 is not prime. Res64: EFBBED0377B76EF8 Time : 0.0 sec. user=mdettweiler [2016-05-07 16:09:32] 887*2^1428506-1 is not prime. Res64: 9233F7A30F40E6DA Time : 0.0 sec. user=mdettweiler [2016-05-07 16:09:33] 893*2^1428506-1 is not prime. Res64: 83CF0C53B320B9A4 Time : 0.0 sec. user=mdettweiler [2016-05-07 16:09:33] 639*2^1428507-1 is not prime. Res64: 77E9DBFF3F28178F Time : 0.0 sec. user=mdettweiler [2016-05-07 16:21:04] 819*2^1428507-1 is not prime. Res64: 9BF4D9335F79961D Time : 0.0 sec. user=mdettweiler [2016-05-07 16:21:04] 895*2^1428507-1 is not prime. Res64: FDDB15A695AFF0BC Time : 0.0 sec. user=mdettweiler [2016-05-07 16:21:05] 961*2^1428507-1 is not prime. Res64: D996411803C94917 Time : 0.0 sec. user=mdettweiler [2016-05-07 16:21:05] 985*2^1428507-1 is not prime. Res64: E88D5BCD2F0A3BA2 Time : 0.0 sec. user=mdettweiler [2016-05-07 16:21:06] 605*2^1428508-1 is not prime. Res64: 15C7C62E11260B58 Time : 0.0 sec. user=mdettweiler [2016-05-07 16:23:50] 615*2^1428508-1 is not prime. Res64: EF90227331567237 Time : 0.0 sec. user=mdettweiler [2016-05-07 16:23:50] 665*2^1428508-1 is not prime. Res64: F771E8CA4A0062C5 Time : 0.0 sec. user=mdettweiler [2016-05-07 16:23:51] 621*2^1428509-1 is not prime. Res64: C174CDDAC41D0837 Time : 0.0 sec. user=mdettweiler [2016-05-07 16:23:51] 655*2^1428509-1 is not prime. Res64: A45E1887A29C89E7 Time : 0.0 sec. user=mdettweiler [2016-05-07 16:23:52] 711*2^1428509-1 is not prime. Res64: 569F38C3B7A6C90D Time : 0.0 sec. user=mdettweiler [2016-05-07 16:51:43] 729*2^1428509-1 is not prime. Res64: 73EFD94F85327A56 Time : 0.0 sec. user=mdettweiler [2016-05-07 16:51:44] 741*2^1428509-1 is not prime. Res64: 56852559B1534E5B Time : 0.0 sec. user=mdettweiler [2016-05-07 16:51:44] 775*2^1428509-1 is not prime. Res64: BAD68E2AFB7A49A3 Time : 0.0 sec. user=mdettweiler [2016-05-07 16:51:44] 829*2^1428509-1 is not prime. Res64: A237A75934F27DF9 Time : 0.0 sec. user=mdettweiler [2016-05-07 16:51:45] 861*2^1428509-1 is not prime. Res64: 95ED31BE95468B3C Time : 0.0 sec. user=mdettweiler [2016-05-07 16:55:18] 879*2^1428509-1 is not prime. Res64: EF33994CA5904C68 Time : 0.0 sec. user=mdettweiler [2016-05-07 16:55:19] 925*2^1428509-1 is not prime. Res64: DF770DA2EEAD80F2 Time : 0.0 sec. user=mdettweiler [2016-05-07 16:55:19] 987*2^1428509-1 is not prime. Res64: C99D8360F0D7FD7E Time : 0.0 sec. user=mdettweiler [2016-05-07 16:55:19] 723*2^1428510-1 is not prime. Res64: 7C1F9FB1770305F7 Time : 0.0 sec. user=mdettweiler [2016-05-07 16:55:20] 741*2^1428510-1 is not prime. Res64: 86C17068F73CF31B Time : 0.0 sec. user=mdettweiler [2016-05-07 17:06:34] 755*2^1428510-1 is not prime. Res64: D961A90FD3A6043D Time : 0.0 sec. user=mdettweiler [2016-05-07 17:06:35] 917*2^1428510-1 is not prime. Res64: 7AC8A8070A5F3526 Time : 0.0 sec. user=mdettweiler [2016-05-07 17:06:35] 673*2^1428511-1 is not prime. Res64: 9572DC65F37438EB Time : 0.0 sec. user=mdettweiler [2016-05-07 17:06:36] 751*2^1428511-1 is not prime. Res64: 3D9A1A87CB518770 Time : 0.0 sec. user=mdettweiler [2016-05-07 17:06:36] 813*2^1428511-1 is not prime. Res64: 6F1A7D41308DDD0E Time : 0.0 sec. user=mdettweiler [2016-05-07 17:09:35] 735*2^1428512-1 is not prime. Res64: A790296690012DDC Time : 0.0 sec. user=mdettweiler [2016-05-07 17:09:36] 797*2^1428512-1 is not prime. Res64: 5A94950EEBCD090C Time : 0.0 sec. user=mdettweiler [2016-05-07 17:09:36] 873*2^1428512-1 is not prime. Res64: 3BDC759D85CDEBB8 Time : 0.0 sec. user=mdettweiler [2016-05-07 17:09:37] 915*2^1428512-1 is not prime. Res64: 66843551800C557B Time : 0.0 sec. user=mdettweiler [2016-05-07 17:09:37] 917*2^1428512-1 is not prime. Res64: 904CB1C946186E19 Time : 0.0 sec. user=mdettweiler [2016-05-07 17:37:18] 935*2^1428512-1 is not prime. Res64: 3AAB97CAB3EC257D Time : 0.0 sec. user=mdettweiler [2016-05-07 17:37:19] 685*2^1428513-1 is not prime. Res64: 60D66849F3F51A8C Time : 0.0 sec. user=mdettweiler [2016-05-07 17:37:19] 735*2^1428513-1 is not prime. Res64: 7C40411756720AE7 Time : 0.0 sec. user=mdettweiler [2016-05-07 17:37:19] 807*2^1428513-1 is not prime. Res64: 1D2986BCBB2A7CF8 Time : 0.0 sec. user=mdettweiler [2016-05-07 17:37:20] 815*2^1428514-1 is not prime. Res64: DAF79C86A535990D Time : 0.0 sec. user=mdettweiler [2016-05-07 17:41:13] 887*2^1428514-1 is not prime. Res64: 559B646AE2F44CDE Time : 0.0 sec. user=mdettweiler [2016-05-07 17:41:13] 891*2^1428514-1 is not prime. Res64: 6E3EDA90CF447C96 Time : 0.0 sec. user=mdettweiler [2016-05-07 17:41:13] 993*2^1428514-1 is not prime. Res64: 64E839B91A3908B4 Time : 0.0 sec. user=mdettweiler [2016-05-07 17:41:14] 603*2^1428515-1 is not prime. Res64: 7E3E40CB4E671115 Time : 0.0 sec. user=mdettweiler [2016-05-07 17:41:14] 651*2^1428515-1 is not prime. Res64: BF98E9605D3752E0 Time : 0.0 sec. user=mdettweiler [2016-05-07 17:52:36] 679*2^1428515-1 is not prime. Res64: 3EF93AC5D2BE6B5A Time : 0.0 sec. user=mdettweiler [2016-05-07 17:52:36] 843*2^1428515-1 is not prime. Res64: 8AAE8CE46D167611 Time : 0.0 sec. user=mdettweiler [2016-05-07 17:52:37] 889*2^1428515-1 is not prime. Res64: E6B6DD066678487A Time : 0.0 sec. user=mdettweiler [2016-05-07 17:52:37] 903*2^1428515-1 is not prime. Res64: 38C333F071C73308 Time : 0.0 sec. user=mdettweiler [2016-05-07 17:52:37] 939*2^1428515-1 is not prime. Res64: 0DAFDA30E380C086 Time : 0.0 sec. user=mdettweiler [2016-05-07 17:55:14] 973*2^1428515-1 is not prime. Res64: 3862631306D7C3CB Time : 0.0 sec. user=mdettweiler [2016-05-07 17:55:14] 705*2^1428516-1 is not prime. Res64: 46080F8A27AC2041 Time : 0.0 sec. user=mdettweiler [2016-05-07 17:55:15] 707*2^1428516-1 is not prime. Res64: C1E298FD61531C3B Time : 0.0 sec. user=mdettweiler [2016-05-07 17:55:15] 749*2^1428516-1 is not prime. Res64: 0C47B6515F6CA06D Time : 0.0 sec. user=mdettweiler [2016-05-07 17:55:16] 767*2^1428516-1 is not prime. Res64: 011D656A36064516 Time : 0.0 sec. user=mdettweiler [2016-05-07 18:22:57] 777*2^1428516-1 is not prime. Res64: E5E2B008E20312AB Time : 0.0 sec. user=mdettweiler [2016-05-07 18:22:57] 809*2^1428516-1 is not prime. Res64: 76DDF015EC00E4B1 Time : 0.0 sec. user=mdettweiler [2016-05-07 18:22:58] 843*2^1428516-1 is not prime. Res64: 0106B56D14920264 Time : 0.0 sec. user=mdettweiler [2016-05-07 18:22:58] 899*2^1428516-1 is not prime. Res64: 30D8370A9D90AA17 Time : 0.0 sec. user=mdettweiler [2016-05-07 18:22:59] 957*2^1428516-1 is not prime. Res64: A8128B15E7981F4B Time : 0.0 sec. user=mdettweiler [2016-05-07 18:26:50] 615*2^1428517-1 is not prime. Res64: FEC5EA7597D7B0B9 Time : 0.0 sec. user=mdettweiler [2016-05-07 18:26:50] 747*2^1428517-1 is not prime. Res64: 6A795EADC1DD81D5 Time : 0.0 sec. user=mdettweiler [2016-05-07 18:26:51] 775*2^1428517-1 is not prime. Res64: E712EC96479D1102 Time : 0.0 sec. user=mdettweiler [2016-05-07 18:26:51] 859*2^1428517-1 is not prime. Res64: 8468CD1E5ACF6720 Time : 0.0 sec. user=mdettweiler [2016-05-07 18:26:52] 885*2^1428517-1 is not prime. Res64: A7194DA04D5643D0 Time : 0.0 sec. user=mdettweiler [2016-05-07 18:37:59] 931*2^1428517-1 is not prime. Res64: 12D74C910B20F7D0 Time : 0.0 sec. user=mdettweiler [2016-05-07 18:38:00] 617*2^1428518-1 is not prime. Res64: C7D1910E47878BEA Time : 0.0 sec. user=mdettweiler [2016-05-07 18:38:00] 707*2^1428518-1 is not prime. Res64: 0376CBB743B3A343 Time : 0.0 sec. user=mdettweiler [2016-05-07 18:38:01] 827*2^1428518-1 is not prime. Res64: 490A27945FC42C62 Time : 0.0 sec. user=mdettweiler [2016-05-07 18:38:01] 867*2^1428518-1 is not prime. Res64: 4B3E19E0F9FCE43C Time : 0.0 sec. user=mdettweiler [2016-05-07 18:40:46] 885*2^1428518-1 is not prime. Res64: CBE61270149604C2 Time : 0.0 sec. user=mdettweiler [2016-05-07 18:40:47] 679*2^1428519-1 is not prime. Res64: F236A56388BFBE2F Time : 0.0 sec. user=mdettweiler [2016-05-07 18:40:47] 763*2^1428519-1 is not prime. Res64: 5A60CB4ABCE2C290 Time : 0.0 sec. user=mdettweiler [2016-05-07 18:40:47] 789*2^1428519-1 is not prime. Res64: E1E7F138E1EBE60B Time : 0.0 sec. user=mdettweiler [2016-05-07 18:40:48] 885*2^1428519-1 is not prime. Res64: 1FC06F8496532EE4 Time : 0.0 sec. user=mdettweiler [2016-05-07 19:08:21] 603*2^1428520-1 is not prime. Res64: C9A7A314FD98BB33 Time : 0.0 sec. user=mdettweiler [2016-05-07 19:08:21] 615*2^1428520-1 is not prime. Res64: 1B76C8057E79853C Time : 0.0 sec. user=mdettweiler [2016-05-07 19:08:22] 759*2^1428520-1 is not prime. Res64: 9576603042842278 Time : 0.0 sec. user=mdettweiler [2016-05-07 19:08:22] 839*2^1428520-1 is not prime. Res64: B1EB4BB6397211D8 Time : 0.0 sec. user=mdettweiler [2016-05-07 19:08:23] 843*2^1428520-1 is not prime. Res64: C4CC3C20117BCDCC Time : 0.0 sec. user=mdettweiler [2016-05-07 19:12:21] 855*2^1428520-1 is not prime. Res64: C4290AB3209B339A Time : 0.0 sec. user=mdettweiler [2016-05-07 19:12:21] 873*2^1428520-1 is not prime. Res64: B165A01B589CCFE2 Time : 0.0 sec. user=mdettweiler [2016-05-07 19:12:21] 909*2^1428520-1 is not prime. Res64: 3734C9D50541E297 Time : 0.0 sec. user=mdettweiler [2016-05-07 19:12:22] 939*2^1428520-1 is not prime. Res64: E3816D97F71A1299 Time : 0.0 sec. user=mdettweiler [2016-05-07 19:12:22] 615*2^1428521-1 is not prime. Res64: 88A267832CA6ACFB Time : 0.0 sec. user=mdettweiler [2016-05-07 19:24:23] 705*2^1428521-1 is not prime. Res64: 4738CD8E2F813C56 Time : 0.0 sec. user=mdettweiler [2016-05-07 19:24:23] 829*2^1428521-1 is not prime. Res64: C68842A65F0C8437 Time : 0.0 sec. user=mdettweiler [2016-05-07 19:24:24] 889*2^1428521-1 is not prime. Res64: D88DF37F73D8F6E5 Time : 0.0 sec. user=mdettweiler [2016-05-07 19:24:24] 967*2^1428521-1 is not prime. Res64: DB570378C16ECFB9 Time : 0.0 sec. user=mdettweiler [2016-05-07 19:24:24] 611*2^1428522-1 is not prime. Res64: CF284C7038D985D5 Time : 0.0 sec. user=mdettweiler [2016-05-07 19:27:11] 621*2^1428522-1 is not prime. Res64: DEE56D1F31B82A6F Time : 0.0 sec. user=mdettweiler [2016-05-07 19:27:11] 635*2^1428522-1 is not prime. Res64: 37A109CECAC06CC8 Time : 0.0 sec. user=mdettweiler [2016-05-07 19:27:12] 915*2^1428522-1 is not prime. Res64: 4ECEDADD34335A58 Time : 0.0 sec. user=mdettweiler [2016-05-07 19:27:12] 1001*2^1428522-1 is not prime. Res64: BD742C762137DAE9 Time : 0.0 sec. user=mdettweiler [2016-05-07 19:27:12] 679*2^1428523-1 is not prime. Res64: F5AF70F268B16E77 Time : 0.0 sec. user=mdettweiler [2016-05-07 19:56:50] 693*2^1428523-1 is not prime. Res64: 915069164D0B6DEF Time : 0.0 sec. user=mdettweiler [2016-05-07 19:56:50] 769*2^1428523-1 is not prime. Res64: 0F1FF2E22C48B1CD Time : 0.0 sec. user=mdettweiler [2016-05-07 19:56:51] 853*2^1428523-1 is not prime. Res64: 2767E30111EEB1EE Time : 0.0 sec. user=mdettweiler [2016-05-07 19:56:51] 891*2^1428523-1 is not prime. Res64: 948AAEFC1ECB7417 Time : 0.0 sec. user=mdettweiler [2016-05-07 19:56:51] 993*2^1428523-1 is not prime. Res64: 47FC68CA92ED78AE Time : 0.0 sec. user=mdettweiler [2016-05-07 20:01:46] 615*2^1428524-1 is not prime. Res64: 0B8996A1F2619E10 Time : 0.0 sec. user=mdettweiler [2016-05-07 20:01:47] 629*2^1428524-1 is not prime. Res64: 1BC1123EC8BCA7B9 Time : 0.0 sec. user=mdettweiler [2016-05-07 20:01:47] 657*2^1428524-1 is not prime. Res64: 16A432836DAE0D72 Time : 0.0 sec. user=mdettweiler [2016-05-07 20:01:48] 665*2^1428524-1 is not prime. Res64: 939270BB7C4CE72C Time : 0.0 sec. user=mdettweiler [2016-05-07 20:01:48] 707*2^1428524-1 is not prime. Res64: C71FE93513203B69 Time : 0.0 sec. user=mdettweiler [2016-05-07 20:14:26] 827*2^1428524-1 is not prime. Res64: B5F9B549199A2FBB Time : 0.0 sec. user=mdettweiler [2016-05-07 20:14:27] 927*2^1428524-1 is not prime. Res64: 1FA2142ABF23B2EB Time : 0.0 sec. user=mdettweiler [2016-05-07 20:14:27] 655*2^1428525-1 is not prime. Res64: 5E0897546D36EB5E Time : 0.0 sec. user=mdettweiler [2016-05-07 20:14:27] 667*2^1428525-1 is not prime. Res64: 5CC8FAB61D7E204B Time : 0.0 sec. user=mdettweiler [2016-05-07 20:14:28] 777*2^1428525-1 is not prime. Res64: 8AE17ADD1986DDF3 Time : 0.0 sec. user=mdettweiler [2016-05-07 20:16:34] 789*2^1428525-1 is not prime. Res64: F82C3DF8172A7811 Time : 0.0 sec. user=mdettweiler [2016-05-07 20:16:34] 825*2^1428525-1 is not prime. Res64: CB5BA748053122FA Time : 0.0 sec. user=mdettweiler [2016-05-07 20:16:34] 927*2^1428525-1 is not prime. Res64: 6A21A71236519B8F Time : 0.0 sec. user=mdettweiler [2016-05-07 20:16:35] 955*2^1428525-1 is not prime. Res64: 072DF63C0F88BF2E Time : 0.0 sec. user=mdettweiler [2016-05-07 20:16:35] 671*2^1428526-1 is not prime. Res64: C57C5B0F5BCB32B2 Time : 0.0 sec. user=mdettweiler [2016-05-07 20:46:57] 887*2^1428526-1 is not prime. Res64: EEF9D32AC6B49A6F Time : 0.0 sec. user=mdettweiler [2016-05-07 20:46:57] 911*2^1428526-1 is not prime. Res64: 05B9999C47E6F8FA Time : 0.0 sec. user=mdettweiler [2016-05-07 20:46:57] 941*2^1428526-1 is not prime. Res64: E502B032C6C92711 Time : 0.0 sec. user=mdettweiler [2016-05-07 20:46:57] 987*2^1428526-1 is not prime. Res64: 475BE6911EB5A5BE Time : 0.0 sec. user=mdettweiler [2016-05-07 20:46:58] 1001*2^1428526-1 is not prime. Res64: 9F09583FD83397A0 Time : 0.0 sec. user=mdettweiler [2016-05-07 20:52:22] 693*2^1428527-1 is not prime. Res64: EC7AB3D4DE1D5BE9 Time : 0.0 sec. user=mdettweiler [2016-05-07 20:52:23] 805*2^1428527-1 is not prime. Res64: 7E616C968E41F988 Time : 0.0 sec. user=mdettweiler [2016-05-07 20:52:23] 819*2^1428527-1 is not prime. Res64: E8E8B21AAD4E608D Time : 0.0 sec. user=mdettweiler [2016-05-07 20:52:23] 895*2^1428527-1 is not prime. Res64: 787564E966BA6356 Time : 0.0 sec. user=mdettweiler [2016-05-07 20:52:23] 605*2^1428528-1 is not prime. Res64: 7380BBC231C37119 Time : 0.0 sec. user=mdettweiler [2016-05-07 21:04:11] 689*2^1428528-1 is not prime. Res64: 6B6D9C39E326151B Time : 0.0 sec. user=mdettweiler [2016-05-07 21:04:13] 789*2^1428528-1 is not prime. Res64: 97B704E0A4ACE966 Time : 0.0 sec. user=mdettweiler [2016-05-07 21:04:14] 849*2^1428528-1 is not prime. Res64: C2D87C6C2C8C69B9 Time : 0.0 sec. user=mdettweiler [2016-05-07 21:04:15] 625*2^1428529-1 is not prime. Res64: 1DE128A3A437E772 Time : 0.0 sec. user=mdettweiler [2016-05-07 21:04:16] 741*2^1428529-1 is not prime. Res64: 43318354C8725F44 Time : 0.0 sec. user=mdettweiler [2016-05-07 21:06:26] 751*2^1428529-1 is not prime. Res64: D1DB0E672EABE63B Time : 0.0 sec. user=mdettweiler [2016-05-07 21:06:27] 769*2^1428529-1 is not prime. Res64: C374F9009EDAB1B7 Time : 0.0 sec. user=mdettweiler [2016-05-07 21:06:29] 775*2^1428529-1 is not prime. Res64: F6287FB735141309 Time : 0.0 sec. user=mdettweiler [2016-05-07 21:06:30] 841*2^1428529-1 is not prime. Res64: 6BA4D70AA8AD0CF0 Time : 0.0 sec. user=mdettweiler [2016-05-07 21:06:30] 939*2^1428529-1 is not prime. Res64: 2C9930E4C30F46CC Time : 0.0 sec. user=mdettweiler [2016-05-07 21:34:35] 957*2^1428529-1 is not prime. Res64: 3CF6BF5CD1F0C28A Time : 0.0 sec. user=mdettweiler [2016-05-07 21:34:35] 985*2^1428529-1 is not prime. Res64: 68B6C3ABAD454316 Time : 0.0 sec. user=mdettweiler [2016-05-07 21:34:35] 755*2^1428530-1 is not prime. Res64: DAE73B7EFE536BFB Time : 0.0 sec. user=mdettweiler [2016-05-07 21:34:36] 767*2^1428530-1 is not prime. Res64: 74DB097F7BB36450 Time : 0.0 sec. user=mdettweiler [2016-05-07 21:34:36] 783*2^1428530-1 is not prime. Res64: A64A9C439CD29CEB Time : 0.0 sec. user=mdettweiler [2016-05-07 21:39:45] 825*2^1428530-1 is not prime. Res64: 6ABC815F582ACA29 Time : 0.0 sec. user=mdettweiler [2016-05-07 21:39:46] 857*2^1428530-1 is not prime. Res64: 2EFE447647D6BF1D Time : 0.0 sec. user=mdettweiler [2016-05-07 21:39:46] 875*2^1428530-1 is not prime. Res64: 5988687B82DC7614 Time : 0.0 sec. user=mdettweiler [2016-05-07 21:39:47] 675*2^1428531-1 is not prime. Res64: 1DD070F3FB12F622 Time : 0.0 sec. user=mdettweiler [2016-05-07 21:39:47] 871*2^1428531-1 is not prime. Res64: D7FFEBCE3D21B0E8 Time : 0.0 sec. user=mdettweiler [2016-05-07 21:51:35] 885*2^1428531-1 is not prime. Res64: D1F105282290EFEF Time : 0.0 sec. user=mdettweiler [2016-05-07 21:51:36] 903*2^1428531-1 is not prime. Res64: 8C5EC90F55579796 Time : 0.0 sec. user=mdettweiler [2016-05-07 21:51:36] 975*2^1428531-1 is not prime. Res64: CC24EEFB7A7E9B93 Time : 0.0 sec. user=mdettweiler [2016-05-07 21:51:37] 609*2^1428532-1 is not prime. Res64: 5D15839A2E4182A6 Time : 0.0 sec. user=mdettweiler [2016-05-07 21:51:37] 615*2^1428532-1 is not prime. Res64: F2307CC54D0281CE Time : 0.0 sec. user=mdettweiler [2016-05-07 21:53:09] 665*2^1428532-1 is not prime. Res64: BFCEE7ACB4087308 Time : 0.0 sec. user=mdettweiler [2016-05-07 21:53:09] 797*2^1428532-1 is not prime. Res64: B4A0034F4C82CEE7 Time : 0.0 sec. user=mdettweiler [2016-05-07 21:53:10] 803*2^1428532-1 is not prime. Res64: D31DF7B86A135E21 Time : 0.0 sec. user=mdettweiler [2016-05-07 21:53:10] 827*2^1428532-1 is not prime. Res64: 702525C5D43FCBE5 Time : 0.0 sec. user=mdettweiler [2016-05-07 21:53:10] 899*2^1428532-1 is not prime. Res64: 4F628350B38B1E26 Time : 0.0 sec. user=mdettweiler [2016-05-07 22:20:03] 669*2^1428533-1 is not prime. Res64: 0AFBA3D546B6BA56 Time : 0.0 sec. user=mdettweiler [2016-05-07 22:20:04] 795*2^1428533-1 is not prime. Res64: 706A3E6321C06CCD Time : 0.0 sec. user=mdettweiler [2016-05-07 22:20:04] 801*2^1428533-1 is not prime. Res64: 772A7D1705667198 Time : 0.0 sec. user=mdettweiler [2016-05-07 22:20:04] 859*2^1428533-1 is not prime. Res64: DF69DC12A5CC87CF Time : 0.0 sec. user=mdettweiler [2016-05-07 22:20:05] 981*2^1428533-1 is not prime. Res64: A5510394039D442B Time : 0.0 sec. user=mdettweiler [2016-05-07 22:25:29] 663*2^1428534-1 is not prime. Res64: 771FA5FB4985578F Time : 0.0 sec. user=mdettweiler [2016-05-07 22:25:29] 683*2^1428534-1 is not prime. Res64: AEDEEF683AD0A0B0 Time : 0.0 sec. user=mdettweiler [2016-05-07 22:25:30] 695*2^1428534-1 is not prime. Res64: 70213A8BA2CB8249 Time : 0.0 sec. user=mdettweiler [2016-05-07 22:25:30] 783*2^1428534-1 is not prime. Res64: 6D7D5A8FEF7C4D1B Time : 0.0 sec. user=mdettweiler [2016-05-07 22:25:30] 795*2^1428534-1 is not prime. Res64: 0DE15D4F41E260A2 Time : 0.0 sec. user=mdettweiler [2016-05-07 22:37:01] 815*2^1428534-1 is not prime. Res64: B57D37C84698F9F3 Time : 0.0 sec. user=mdettweiler [2016-05-07 22:37:02] 851*2^1428534-1 is not prime. Res64: 2B95078828F08758 Time : 0.0 sec. user=mdettweiler [2016-05-07 22:37:02] 983*2^1428534-1 is not prime. Res64: 59E77CA8F1B9637F Time : 0.0 sec. user=mdettweiler [2016-05-07 22:37:02] 603*2^1428535-1 is not prime. Res64: 16C7E62253DF6406 Time : 0.0 sec. user=mdettweiler [2016-05-07 22:37:03] 775*2^1428535-1 is not prime. Res64: 48837AE5D6F5A009 Time : 0.0 sec. user=mdettweiler [2016-05-07 22:38:39] 853*2^1428535-1 is not prime. Res64: C2CE15E4A09E3005 Time : 0.0 sec. user=mdettweiler [2016-05-07 22:38:40] 873*2^1428535-1 is not prime. Res64: B47D032E7486103A Time : 0.0 sec. user=mdettweiler [2016-05-07 22:38:40] 909*2^1428535-1 is not prime. Res64: DDD9859CA6205EB6 Time : 0.0 sec. user=mdettweiler [2016-05-07 22:38:40] 657*2^1428536-1 is not prime. Res64: B50D6718E803AF68 Time : 0.0 sec. user=mdettweiler [2016-05-07 22:38:41] 743*2^1428536-1 is not prime. Res64: 7F385516EF0900DC Time : 0.0 sec. user=mdettweiler [2016-05-07 23:05:39] 759*2^1428536-1 is not prime. Res64: E81B0AE8AD2761D2 Time : 0.0 sec. user=mdettweiler [2016-05-07 23:05:40] 767*2^1428536-1 is not prime. Res64: 983510B0BD1A5F94 Time : 0.0 sec. user=mdettweiler [2016-05-07 23:05:41] 607*2^1428537-1 is not prime. Res64: B4CE47A3EA4F5A8C Time : 0.0 sec. user=mdettweiler [2016-05-07 23:05:42] 759*2^1428537-1 is not prime. Res64: BC1987C63F3EDA17 Time : 0.0 sec. user=mdettweiler [2016-05-07 23:05:43] 765*2^1428537-1 is not prime. Res64: E6B7884671F5E2B4 Time : 0.0 sec. user=mdettweiler [2016-05-07 23:11:01] 807*2^1428537-1 is not prime. Res64: 1C233EBE895941FD Time : 0.0 sec. user=mdettweiler [2016-05-07 23:11:01] 835*2^1428537-1 is not prime. Res64: A619A6C5B3B4351B Time : 0.0 sec. user=mdettweiler [2016-05-07 23:11:02] 623*2^1428538-1 is not prime. Res64: 4F423FE2A65BFAE8 Time : 0.0 sec. user=mdettweiler [2016-05-07 23:11:02] 635*2^1428538-1 is not prime. Res64: 8B470E5D6959AEEB Time : 0.0 sec. user=mdettweiler [2016-05-07 23:11:03] 681*2^1428538-1 is not prime. Res64: 173329406A88AD38 Time : 0.0 sec. user=mdettweiler [2016-05-07 23:22:32] 695*2^1428538-1 is not prime. Res64: FECFFA6CAB718A42 Time : 0.0 sec. user=mdettweiler [2016-05-07 23:22:32] 773*2^1428538-1 is not prime. Res64: 33DF7A63049D90A7 Time : 0.0 sec. user=mdettweiler [2016-05-07 23:22:32] 777*2^1428538-1 is not prime. Res64: C89FAEDF082116DA Time : 0.0 sec. user=mdettweiler [2016-05-07 23:22:33] 801*2^1428538-1 is not prime. Res64: 1BC844109EEFDA05 Time : 0.0 sec. user=mdettweiler [2016-05-07 23:22:33] 821*2^1428538-1 is not prime. Res64: 506FB1EF7055D849 Time : 0.0 sec. user=mdettweiler [2016-05-07 23:24:22] 885*2^1428538-1 is not prime. Res64: C132DE891E6A32A1 Time : 0.0 sec. user=mdettweiler [2016-05-07 23:24:22] 645*2^1428539-1 is not prime. Res64: 15AFD7D32989F769 Time : 0.0 sec. user=mdettweiler [2016-05-07 23:24:23] 669*2^1428539-1 is not prime. Res64: 55E7DC1828BCDBFF Time : 0.0 sec. user=mdettweiler [2016-05-07 23:24:23] 705*2^1428539-1 is not prime. Res64: 4E18191DC0F1BE2C Time : 0.0 sec. user=mdettweiler [2016-05-07 23:24:24] 711*2^1428539-1 is not prime. Res64: 7AAB208357ED1A4E Time : 0.0 sec. user=mdettweiler [2016-05-07 23:51:25] 799*2^1428539-1 is not prime. Res64: 9FE76F2EFAA09DD6 Time : 0.0 sec. user=mdettweiler [2016-05-07 23:51:26] 813*2^1428539-1 is not prime. Res64: 0EB959D9AD2CCD7B Time : 0.0 sec. user=mdettweiler [2016-05-07 23:51:26] 825*2^1428539-1 is not prime. Res64: D7EB49287FC9B59B Time : 0.0 sec. user=mdettweiler [2016-05-07 23:51:26] 913*2^1428539-1 is not prime. Res64: A59F000C8D6AAF37 Time : 0.0 sec. user=mdettweiler [2016-05-07 23:51:27] 723*2^1428540-1 is not prime. Res64: B3831F1AD66549D6 Time : 0.0 sec. user=mdettweiler [2016-05-07 23:56:48] 843*2^1428540-1 is not prime. Res64: 21BBE74135A956CF Time : 0.0 sec. user=mdettweiler [2016-05-07 23:56:48] 905*2^1428540-1 is not prime. Res64: 6E2A80ECA9EAEC36 Time : 0.0 sec. user=mdettweiler [2016-05-07 23:56:49] 915*2^1428540-1 is not prime. Res64: 2661B9B557364441 Time : 0.0 sec. user=mdettweiler [2016-05-07 23:56:49] 741*2^1428541-1 is not prime. Res64: 9371250571AD8D1D Time : 0.0 sec. user=mdettweiler [2016-05-07 23:56:49] 747*2^1428541-1 is not prime. Res64: EADEA74159A62D5B Time : 0.0 sec.