user=mdettweiler [2016-05-28 00:18:42] 717*2^1430585-1 is not prime. Res64: 4ACD7F83DBFCB431 Time : 0.0 sec. user=mdettweiler [2016-05-28 00:18:43] 799*2^1430585-1 is not prime. Res64: 8A6F9B1742269111 Time : 0.0 sec. user=mdettweiler [2016-05-28 00:18:43] 939*2^1430585-1 is not prime. Res64: 5AB4358AFCF53A13 Time : 0.0 sec. user=mdettweiler [2016-05-28 00:18:44] 987*2^1430585-1 is not prime. Res64: 3F365334C31E0FB6 Time : 0.0 sec. user=mdettweiler [2016-05-28 00:18:44] 755*2^1430586-1 is not prime. Res64: 106E38C585F16F8A Time : 0.0 sec. user=mdettweiler [2016-05-28 00:20:23] 957*2^1430586-1 is not prime. Res64: 34EDA2885366C969 Time : 0.0 sec. user=mdettweiler [2016-05-28 00:20:24] 615*2^1430587-1 is not prime. Res64: 0DBE512D2095D70A Time : 0.0 sec. user=mdettweiler [2016-05-28 00:20:24] 859*2^1430587-1 is not prime. Res64: 32664214FCE3FD4B Time : 0.0 sec. user=mdettweiler [2016-05-28 00:20:25] 861*2^1430587-1 is not prime. Res64: E7FD46D43F822BE7 Time : 0.0 sec. user=mdettweiler [2016-05-28 00:20:25] 873*2^1430587-1 is not prime. Res64: 7A6D1381E54F5F7A Time : 0.0 sec. user=mdettweiler [2016-05-28 00:29:52] 895*2^1430587-1 is not prime. Res64: 347C988C8860FFFE Time : 0.0 sec. user=mdettweiler [2016-05-28 00:29:53] 909*2^1430587-1 is not prime. Res64: BB7D632AF8C406D7 Time : 0.0 sec. user=mdettweiler [2016-05-28 00:29:53] 961*2^1430587-1 is not prime. Res64: CF5575FAE453C657 Time : 0.0 sec. user=mdettweiler [2016-05-28 00:29:53] 839*2^1430588-1 is not prime. Res64: 1E41EB872B57AAA4 Time : 0.0 sec. user=mdettweiler [2016-05-28 00:29:54] 929*2^1430588-1 is not prime. Res64: 50768B2150AF8800 Time : 0.0 sec. user=mdettweiler [2016-05-28 00:44:59] 957*2^1430588-1 is not prime. Res64: 74191DC815EE2513 Time : 0.0 sec. user=mdettweiler [2016-05-28 00:44:59] 625*2^1430589-1 is not prime. Res64: EF434C2FDA29EBE8 Time : 0.0 sec. user=mdettweiler [2016-05-28 00:44:59] 669*2^1430589-1 is not prime. Res64: 193499655831337C Time : 0.0 sec. user=mdettweiler [2016-05-28 00:45:00] 691*2^1430589-1 is not prime. Res64: F7B6882036AAB531 Time : 0.0 sec. user=mdettweiler [2016-05-28 00:45:00] 751*2^1430589-1 is not prime. Res64: B135A840074D1E23 Time : 0.0 sec. user=mdettweiler [2016-05-28 01:03:40] 769*2^1430589-1 is not prime. Res64: A3F2D3047D996EBF Time : 0.0 sec. user=mdettweiler [2016-05-28 01:03:41] 795*2^1430589-1 is not prime. Res64: 229BB2A4AC75512C Time : 0.0 sec. user=mdettweiler [2016-05-28 01:03:43] 889*2^1430589-1 is not prime. Res64: CDD4F2C90F8EF8F5 Time : 0.0 sec. user=mdettweiler [2016-05-28 01:03:44] 895*2^1430589-1 is not prime. Res64: 04F67FD744632304 Time : 0.0 sec. user=mdettweiler [2016-05-28 01:03:45] 921*2^1430589-1 is not prime. Res64: 809D5A2B7FF94947 Time : 0.0 sec. user=mdettweiler [2016-05-28 01:05:40] 611*2^1430590-1 is not prime. Res64: E2D3F57983A17703 Time : 0.0 sec. user=mdettweiler [2016-05-28 01:05:41] 743*2^1430590-1 is not prime. Res64: 87875B51768769CA Time : 0.0 sec. user=mdettweiler [2016-05-28 01:05:42] 801*2^1430590-1 is not prime. Res64: DE6B6A5DC5399F1D Time : 0.0 sec. user=mdettweiler [2016-05-28 01:05:43] 825*2^1430590-1 is not prime. Res64: 9FA6A74FB1378B9D Time : 0.0 sec. user=mdettweiler [2016-05-28 01:05:44] 945*2^1430590-1 is not prime. Res64: 7A341624CEBED8B0 Time : 0.0 sec. user=mdettweiler [2016-05-28 01:14:59] 957*2^1430590-1 is not prime. Res64: B7B0B29E60435BE6 Time : 0.0 sec. user=mdettweiler [2016-05-28 01:15:00] 965*2^1430590-1 is not prime. Res64: BBB052B03FCBF58E Time : 0.0 sec. user=mdettweiler [2016-05-28 01:15:01] 741*2^1430591-1 is not prime. Res64: CA00A2604CDE50D8 Time : 0.0 sec. user=mdettweiler [2016-05-28 01:15:02] 745*2^1430591-1 is not prime. Res64: 82AE52F4E24732B7 Time : 0.0 sec. user=mdettweiler [2016-05-28 01:15:04] 759*2^1430591-1 is not prime. Res64: C85EAD4B5694AC63 Time : 0.0 sec. user=mdettweiler [2016-05-28 01:30:14] 775*2^1430591-1 is not prime. Res64: 9FB2F6C7B5AAAE73 Time : 0.0 sec. user=mdettweiler [2016-05-28 01:30:15] 805*2^1430591-1 is not prime. Res64: 15F64FD485508CF8 Time : 0.0 sec. user=mdettweiler [2016-05-28 01:30:16] 609*2^1430592-1 is not prime. Res64: BC24F5BC5BEA303D Time : 0.0 sec. user=mdettweiler [2016-05-28 01:30:16] 689*2^1430592-1 is not prime. Res64: B07A593E00159890 Time : 0.0 sec. user=mdettweiler [2016-05-28 01:30:16] 719*2^1430592-1 is not prime. Res64: 77BE86DBBDDAB57C Time : 0.0 sec. user=mdettweiler [2016-05-28 01:49:05] 873*2^1430592-1 is not prime. Res64: 2F135D22884482E5 Time : 0.0 sec. user=mdettweiler [2016-05-28 01:49:05] 887*2^1430592-1 is not prime. Res64: E694372F15F2660C Time : 0.0 sec. user=mdettweiler [2016-05-28 01:49:06] 977*2^1430592-1 is not prime. Res64: D68E644CFA37F9FC Time : 0.0 sec. user=mdettweiler [2016-05-28 01:49:06] 637*2^1430593-1 is not prime. Res64: D0CE4242039B2BF0 Time : 0.0 sec. user=mdettweiler [2016-05-28 01:49:06] 747*2^1430593-1 is not prime. Res64: F5F13AB0960154CE Time : 0.0 sec. user=mdettweiler [2016-05-28 01:51:01] 925*2^1430593-1 is not prime. Res64: EEE3E0A10AE86DB5 Time : 0.0 sec. user=mdettweiler [2016-05-28 01:51:02] 951*2^1430593-1 is not prime. Res64: 241F1471A068D555 Time : 0.0 sec. user=mdettweiler [2016-05-28 01:51:02] 657*2^1430594-1 is not prime. Res64: 2D0A0AF72E31D25A Time : 0.0 sec. user=mdettweiler [2016-05-28 01:51:03] 671*2^1430594-1 is not prime. Res64: 7933EB7B54412112 Time : 0.0 sec. user=mdettweiler [2016-05-28 01:51:03] 873*2^1430594-1 is not prime. Res64: 7B8819D92526C1F3 Time : 0.0 sec. user=mdettweiler [2016-05-28 02:00:10] 927*2^1430594-1 is not prime. Res64: 7D16549C1B42DC0D Time : 0.0 sec. user=mdettweiler [2016-05-28 02:00:11] 935*2^1430594-1 is not prime. Res64: EF01C26D6A0A06A9 Time : 0.0 sec. user=mdettweiler [2016-05-28 02:00:11] 691*2^1430595-1 is not prime. Res64: D524095A1B2DA2D9 Time : 0.0 sec. user=mdettweiler [2016-05-28 02:00:11] 711*2^1430595-1 is not prime. Res64: C39433C918AEF0A6 Time : 0.0 sec. user=mdettweiler [2016-05-28 02:00:12] 825*2^1430595-1 is not prime. Res64: 7D09047253BC3B23 Time : 0.0 sec. user=mdettweiler [2016-05-28 02:15:28] 969*2^1430595-1 is not prime. Res64: C28C3690603792A6 Time : 0.0 sec. user=mdettweiler [2016-05-28 02:15:29] 979*2^1430595-1 is not prime. Res64: 2B79CBD084FFFA77 Time : 0.0 sec. user=mdettweiler [2016-05-28 02:15:29] 777*2^1430596-1 is not prime. Res64: E2B7093DC079E9CF Time : 0.0 sec. user=mdettweiler [2016-05-28 02:15:30] 803*2^1430596-1 is not prime. Res64: 1624311491BCFA9A Time : 0.0 sec. user=mdettweiler [2016-05-28 02:15:30] 825*2^1430596-1 is not prime. Res64: FD243E2A91AD4357 Time : 0.0 sec. user=mdettweiler [2016-05-28 02:34:25] 965*2^1430596-1 is not prime. Res64: 8DC59669DE9F6B84 Time : 0.0 sec. user=mdettweiler [2016-05-28 02:34:25] 759*2^1430597-1 is not prime. Res64: F78C6682E3BA1845 Time : 0.0 sec. user=mdettweiler [2016-05-28 02:34:26] 799*2^1430597-1 is not prime. Res64: 9CC4FBD3953497BF Time : 0.0 sec. user=mdettweiler [2016-05-28 02:34:26] 885*2^1430597-1 is not prime. Res64: 77F75C86B92511DE Time : 0.0 sec. user=mdettweiler [2016-05-28 02:34:27] 863*2^1430598-1 is not prime. Res64: CC2ABE943C171598 Time : 0.0 sec. user=mdettweiler [2016-05-28 02:36:25] 891*2^1430598-1 is not prime. Res64: 3C375180DBF2BF09 Time : 0.0 sec. user=mdettweiler [2016-05-28 02:36:26] 923*2^1430598-1 is not prime. Res64: F6D47CC766630873 Time : 0.0 sec. user=mdettweiler [2016-05-28 02:36:26] 993*2^1430598-1 is not prime. Res64: FB7ED821261258E6 Time : 0.0 sec. user=mdettweiler [2016-05-28 02:36:27] 625*2^1430599-1 is not prime. Res64: 7320BED518999CF4 Time : 0.0 sec. user=mdettweiler [2016-05-28 02:36:27] 633*2^1430599-1 is not prime. Res64: 4A1A095F1ECA5F1B Time : 0.0 sec. user=mdettweiler [2016-05-28 02:45:56] 745*2^1430599-1 is not prime. Res64: 98C23CC1A6B41288 Time : 0.0 sec. user=mdettweiler [2016-05-28 02:45:56] 843*2^1430599-1 is not prime. Res64: 6A628DB95A113C3D Time : 0.0 sec. user=mdettweiler [2016-05-28 02:45:57] 919*2^1430599-1 is not prime. Res64: 7A60D8CC82B318F7 Time : 0.0 sec. user=mdettweiler [2016-05-28 02:45:57] 969*2^1430599-1 is not prime. Res64: FE28F669DF367EA0 Time : 0.0 sec. user=mdettweiler [2016-05-28 02:45:57] 675*2^1430600-1 is not prime. Res64: A480CCB2146E466C Time : 0.0 sec. user=mdettweiler [2016-05-28 03:01:43] 767*2^1430600-1 is not prime. Res64: 82FD14CF9E7BD721 Time : 0.0 sec. user=mdettweiler [2016-05-28 03:01:44] 893*2^1430600-1 is not prime. Res64: A44AAF403316880D Time : 0.0 sec. user=mdettweiler [2016-05-28 03:01:45] 977*2^1430600-1 is not prime. Res64: 6BDA865CC8B42B09 Time : 0.0 sec. user=mdettweiler [2016-05-28 03:01:46] 983*2^1430600-1 is not prime. Res64: 173BBC53E142FCF0 Time : 0.0 sec. user=mdettweiler [2016-05-28 03:01:48] 999*2^1430600-1 is not prime. Res64: 4006A595670AB7C1 Time : 0.0 sec. user=mdettweiler [2016-05-28 03:20:37] 607*2^1430601-1 is not prime. Res64: D391173C625B4645 Time : 0.0 sec. user=mdettweiler [2016-05-28 03:20:37] 735*2^1430601-1 is not prime. Res64: 8FFFFF918218BD93 Time : 0.0 sec. user=mdettweiler [2016-05-28 03:20:37] 741*2^1430601-1 is not prime. Res64: 185E426C233B669E Time : 0.0 sec. user=mdettweiler [2016-05-28 03:20:38] 777*2^1430601-1 is not prime. Res64: E80111AAB4B04509 Time : 0.0 sec. user=mdettweiler [2016-05-28 03:20:38] 837*2^1430601-1 is not prime. Res64: 177F0E3420CD4902 Time : 0.0 sec. user=mdettweiler [2016-05-28 03:22:04] 949*2^1430601-1 is not prime. Res64: 78C2F26E7E3C7D3E Time : 0.0 sec. user=mdettweiler [2016-05-28 03:22:04] 955*2^1430601-1 is not prime. Res64: 22198373B6B6D1BF Time : 0.0 sec. user=mdettweiler [2016-05-28 03:22:05] 969*2^1430601-1 is not prime. Res64: 1DCEE25DA7C19CF6 Time : 0.0 sec. user=mdettweiler [2016-05-28 03:22:05] 991*2^1430601-1 is not prime. Res64: B2DF134CC0B3BF99 Time : 0.0 sec. user=mdettweiler [2016-05-28 03:22:05] 705*2^1430602-1 is not prime. Res64: 0EDFA761D11E451C Time : 0.0 sec. user=mdettweiler [2016-05-28 03:31:10] 827*2^1430602-1 is not prime. Res64: 7E544E6FB6357922 Time : 0.0 sec. user=mdettweiler [2016-05-28 03:31:11] 831*2^1430602-1 is not prime. Res64: 6DE71ED7EF039F59 Time : 0.0 sec. user=mdettweiler [2016-05-28 03:31:15] 911*2^1430602-1 is not prime. Res64: 56F2DA49B83AFAFC Time : 0.0 sec. user=mdettweiler [2016-05-28 03:31:17] 981*2^1430602-1 is not prime. Res64: 9864B5C581C423CB Time : 0.0 sec. user=mdettweiler [2016-05-28 03:31:21] 983*2^1430602-1 is not prime. Res64: CC870FACC9DB0891 Time : 0.0 sec. user=mdettweiler [2016-05-28 03:46:55] 609*2^1430603-1 is not prime. Res64: 21871AF8631E6142 Time : 0.0 sec. user=mdettweiler [2016-05-28 03:46:57] 693*2^1430603-1 is not prime. Res64: 960498993D5A3E72 Time : 0.0 sec. user=mdettweiler [2016-05-28 03:46:57] 703*2^1430603-1 is not prime. Res64: 3CD22264BF581059 Time : 0.0 sec. user=mdettweiler [2016-05-28 03:46:58] 715*2^1430603-1 is not prime. Res64: 4280855D8AAF4989 Time : 0.0 sec. user=mdettweiler [2016-05-28 03:46:59] 771*2^1430603-1 is not prime. Res64: 21916A33736D3620 Time : 0.0 sec. user=mdettweiler [2016-05-28 04:06:02] 775*2^1430603-1 is not prime. Res64: C6578E36A833E6E8 Time : 0.0 sec. user=mdettweiler [2016-05-28 04:06:03] 825*2^1430603-1 is not prime. Res64: 9E72736885CCE282 Time : 0.0 sec. user=mdettweiler [2016-05-28 04:06:04] 861*2^1430603-1 is not prime. Res64: B5AF39E669467275 Time : 0.0 sec. user=mdettweiler [2016-05-28 04:06:04] 871*2^1430603-1 is not prime. Res64: 3CEDF6A174AA6940 Time : 0.0 sec. user=mdettweiler [2016-05-28 04:06:05] 913*2^1430603-1 is not prime. Res64: 121EFA57C4D47D0B Time : 0.0 sec. user=mdettweiler [2016-05-28 04:07:30] 969*2^1430603-1 is not prime. Res64: BD92199C488CDBB7 Time : 0.0 sec. user=mdettweiler [2016-05-28 04:07:31] 693*2^1430604-1 is not prime. Res64: 8E47715DEC5D66B8 Time : 0.0 sec. user=mdettweiler [2016-05-28 04:07:31] 707*2^1430604-1 is not prime. Res64: E38834326CF83766 Time : 0.0 sec. user=mdettweiler [2016-05-28 04:07:31] 737*2^1430604-1 is not prime. Res64: 7CD5EBE8C6AA75FE Time : 0.0 sec. user=mdettweiler [2016-05-28 04:07:32] 773*2^1430604-1 is not prime. Res64: 7C745973AD8D1FF2 Time : 0.0 sec. user=mdettweiler [2016-05-28 04:16:30] 809*2^1430604-1 is not prime. Res64: 7D3C5A081DA32DC0 Time : 0.0 sec. user=mdettweiler [2016-05-28 04:16:31] 625*2^1430605-1 is not prime. Res64: 58B2F33151080206 Time : 0.0 sec. user=mdettweiler [2016-05-28 04:16:31] 651*2^1430605-1 is not prime. Res64: 1431A8900855AE80 Time : 0.0 sec. user=mdettweiler [2016-05-28 04:16:31] 661*2^1430605-1 is not prime. Res64: FB0951539BAEB60B Time : 0.0 sec. user=mdettweiler [2016-05-28 04:16:32] 717*2^1430605-1 is not prime. Res64: 32218CAC2B3C6C8A Time : 0.0 sec. user=mdettweiler [2016-05-28 04:32:01] 771*2^1430605-1 is not prime. Res64: AE46C885653BCAE4 Time : 0.0 sec. user=mdettweiler [2016-05-28 04:32:01] 847*2^1430605-1 is not prime. Res64: 641531B22A53339E Time : 0.0 sec. user=mdettweiler [2016-05-28 04:32:02] 849*2^1430605-1 is not prime. Res64: CE0B5A1DC16DBA22 Time : 0.0 sec. user=mdettweiler [2016-05-28 04:32:02] 951*2^1430605-1 is not prime. Res64: 6881805B3F6FC850 Time : 0.0 sec. user=mdettweiler [2016-05-28 04:32:03] 635*2^1430606-1 is not prime. Res64: 05C259FB353197B7 Time : 0.0 sec. user=mdettweiler [2016-05-28 04:51:03] 705*2^1430606-1 is not prime. Res64: 79B316D936DA4220 Time : 0.0 sec. user=mdettweiler [2016-05-28 04:51:03] 707*2^1430606-1 is not prime. Res64: CF61698F10EDDE17 Time : 0.0 sec. user=mdettweiler [2016-05-28 04:51:04] 743*2^1430606-1 is not prime. Res64: E56EA93A5D8A5FD5 Time : 0.0 sec. user=mdettweiler [2016-05-28 04:51:04] 827*2^1430606-1 is not prime. Res64: CD985C327ACF568E Time : 0.0 sec. user=mdettweiler [2016-05-28 04:51:05] 831*2^1430606-1 is not prime. Res64: 7B37B8777C2EBFAE Time : 0.0 sec. user=mdettweiler [2016-05-28 04:52:19] 843*2^1430606-1 is not prime. Res64: 1545A5E5F5780C7A Time : 0.0 sec. user=mdettweiler [2016-05-28 04:52:19] 857*2^1430606-1 is not prime. Res64: 5B93B01CE8E8F95F Time : 0.0 sec. user=mdettweiler [2016-05-28 04:52:19] 875*2^1430606-1 is not prime. Res64: 0F3EDB51826AC3DB Time : 0.0 sec. user=mdettweiler [2016-05-28 04:52:20] 685*2^1430607-1 is not prime. Res64: 422BAED1CA741D9C Time : 0.0 sec. user=mdettweiler [2016-05-28 04:52:20] 693*2^1430607-1 is not prime. Res64: 824F21D67C0938DA Time : 0.0 sec. user=mdettweiler [2016-05-28 05:01:23] 735*2^1430607-1 is not prime. Res64: 7E3BD3EB95FA9813 Time : 0.0 sec. user=mdettweiler [2016-05-28 05:01:24] 781*2^1430607-1 is not prime. Res64: BF9838830460B44A Time : 0.0 sec. user=mdettweiler [2016-05-28 05:01:25] 819*2^1430607-1 is not prime. Res64: 0FE9148BE91FD7A6 Time : 0.0 sec. user=mdettweiler [2016-05-28 05:01:26] 871*2^1430607-1 is not prime. Res64: 92F915EF82579505 Time : 0.0 sec. user=mdettweiler [2016-05-28 05:01:27] 961*2^1430607-1 is not prime. Res64: DF4908E05339D843 Time : 0.0 sec. user=mdettweiler [2016-05-28 05:16:54] 963*2^1430607-1 is not prime. Res64: 2F719D070E018DB8 Time : 0.0 sec. user=mdettweiler [2016-05-28 05:16:54] 603*2^1430608-1 is not prime. Res64: A7DA17CD707F4874 Time : 0.0 sec. user=mdettweiler [2016-05-28 05:16:55] 657*2^1430608-1 is not prime. Res64: 90F6704CE3E1DBDA Time : 0.0 sec. user=mdettweiler [2016-05-28 05:16:55] 813*2^1430608-1 is not prime. Res64: BB62A9B399C6968C Time : 0.0 sec. user=mdettweiler [2016-05-28 05:16:55] 819*2^1430608-1 is not prime. Res64: 6027CD99ACC69ECD Time : 0.0 sec. user=mdettweiler [2016-05-28 05:36:01] 843*2^1430608-1 is not prime. Res64: D000A89FE66C3F62 Time : 0.0 sec. user=mdettweiler [2016-05-28 05:36:02] 869*2^1430608-1 is not prime. Res64: 96EE54889ABD204F Time : 0.0 sec. user=mdettweiler [2016-05-28 05:36:02] 615*2^1430609-1 is not prime. Res64: AEC7020F88251EBC Time : 0.0 sec. user=mdettweiler [2016-05-28 05:36:02] 675*2^1430609-1 is not prime. Res64: BDBFFE2111703356 Time : 0.0 sec. user=mdettweiler [2016-05-28 05:36:03] 775*2^1430609-1 is not prime. Res64: DB7FA5071228F813 Time : 0.0 sec. user=mdettweiler [2016-05-28 05:37:14] 925*2^1430609-1 is not prime. Res64: DB59836767C04726 Time : 0.0 sec. user=mdettweiler [2016-05-28 05:37:14] 627*2^1430610-1 is not prime. Res64: FD5DA97D975D34E3 Time : 0.0 sec. user=mdettweiler [2016-05-28 05:37:14] 635*2^1430610-1 is not prime. Res64: E1C5AE6C4C5495A1 Time : 0.0 sec. user=mdettweiler [2016-05-28 05:37:15] 797*2^1430610-1 is not prime. Res64: E8506FBDDBD21A93 Time : 0.0 sec. user=mdettweiler [2016-05-28 05:37:15] 861*2^1430610-1 is not prime. Res64: CE95334C14BB9222 Time : 0.0 sec. user=mdettweiler [2016-05-28 05:46:31] 867*2^1430610-1 is not prime. Res64: 4A8D15CE5C83D2A3 Time : 0.0 sec. user=mdettweiler [2016-05-28 05:46:31] 887*2^1430610-1 is not prime. Res64: 441EB66099F9B1C1 Time : 0.0 sec. user=mdettweiler [2016-05-28 05:46:32] 963*2^1430610-1 is not prime. Res64: F87E79C373DC0021 Time : 0.0 sec. user=mdettweiler [2016-05-28 05:46:32] 609*2^1430611-1 is not prime. Res64: 7B2D054E4D8F2DF0 Time : 0.0 sec. user=mdettweiler [2016-05-28 05:46:33] 619*2^1430611-1 is not prime. Res64: 694E091D94DD486F Time : 0.0 sec. user=mdettweiler [2016-05-28 06:01:46] 649*2^1430611-1 is not prime. Res64: F1D94FDC0E73C5F0 Time : 0.0 sec. user=mdettweiler [2016-05-28 06:01:47] 673*2^1430611-1 is not prime. Res64: 8384CC9C29E05D1D Time : 0.0 sec. user=mdettweiler [2016-05-28 06:01:48] 691*2^1430611-1 is not prime. Res64: 48D82D650E8C738C Time : 0.0 sec. user=mdettweiler [2016-05-28 06:01:49] 705*2^1430611-1 is not prime. Res64: B9A8874E71A305F8 Time : 0.0 sec. user=mdettweiler [2016-05-28 06:01:50] 723*2^1430611-1 is not prime. Res64: ACF301675B9770C6 Time : 0.0 sec. user=mdettweiler [2016-05-28 06:20:50] 805*2^1430611-1 is not prime. Res64: 281C3F577A54E092 Time : 0.0 sec. user=mdettweiler [2016-05-28 06:20:50] 885*2^1430611-1 is not prime. Res64: 33218A665CB24845 Time : 0.0 sec. user=mdettweiler [2016-05-28 06:20:51] 901*2^1430611-1 is not prime. Res64: 418FEAC6274D5AB4 Time : 0.0 sec. user=mdettweiler [2016-05-28 06:20:51] 635*2^1430612-1 is not prime. Res64: A29CF7E9DC039AAC Time : 0.0 sec. user=mdettweiler [2016-05-28 06:20:51] 687*2^1430612-1 is not prime. Res64: 7364FF000B926C62 Time : 0.0 sec. user=mdettweiler [2016-05-28 06:22:05] 725*2^1430612-1 is not prime. Res64: E11BE05DCC8E3905 Time : 0.0 sec. user=mdettweiler [2016-05-28 06:22:05] 957*2^1430612-1 is not prime. Res64: 43FF0C31007F8BEC Time : 0.0 sec. user=mdettweiler [2016-05-28 06:22:05] 963*2^1430612-1 is not prime. Res64: EA508AAC860C70A8 Time : 0.0 sec. user=mdettweiler [2016-05-28 06:22:06] 609*2^1430613-1 is not prime. Res64: 27A96BDBB9C67232 Time : 0.0 sec. user=mdettweiler [2016-05-28 06:22:06] 639*2^1430613-1 is not prime. Res64: A990122F9A99CF71 Time : 0.0 sec. user=mdettweiler [2016-05-28 06:31:26] 657*2^1430613-1 is not prime. Res64: 1DEEB88B2FB8757A Time : 0.0 sec. user=mdettweiler [2016-05-28 06:31:26] 765*2^1430613-1 is not prime. Res64: E08C544502085E5E Time : 0.0 sec. user=mdettweiler [2016-05-28 06:31:26] 895*2^1430613-1 is not prime. Res64: 5DE1F886BF429A94 Time : 0.0 sec. user=mdettweiler [2016-05-28 06:31:27] 937*2^1430613-1 is not prime. Res64: AB35C2276C81C177 Time : 0.0 sec. user=mdettweiler [2016-05-28 06:31:27] 991*2^1430613-1 is not prime. Res64: F479A35951B274FD Time : 0.0 sec. user=mdettweiler [2016-05-28 06:46:53] 681*2^1430614-1 is not prime. Res64: C274CD6F8EA702C7 Time : 0.0 sec. user=mdettweiler [2016-05-28 06:46:53] 737*2^1430614-1 is not prime. Res64: C500877C41A319C5 Time : 0.0 sec. user=mdettweiler [2016-05-28 06:46:53] 755*2^1430614-1 is not prime. Res64: 0ABF6CE63299ABD2 Time : 0.0 sec. user=mdettweiler [2016-05-28 06:46:54] 885*2^1430614-1 is not prime. Res64: 9A84FE53CE83D1AD Time : 0.0 sec. user=mdettweiler [2016-05-28 06:46:54] 957*2^1430614-1 is not prime. Res64: 05EC6D53F2C32FEF Time : 0.0 sec. user=mdettweiler [2016-05-28 07:05:53] 981*2^1430614-1 is not prime. Res64: 31F6E33FE963B883 Time : 0.0 sec. user=mdettweiler [2016-05-28 07:05:54] 645*2^1430615-1 is not prime. Res64: 6F69223D131376B1 Time : 0.0 sec. user=mdettweiler [2016-05-28 07:05:55] 705*2^1430615-1 is not prime. Res64: EF5A4333F0D90D01 Time : 0.0 sec. user=mdettweiler [2016-05-28 07:05:56] 735*2^1430615-1 is not prime. Res64: BBDE06E020348C84 Time : 0.0 sec. user=mdettweiler [2016-05-28 07:05:57] 759*2^1430615-1 is not prime. Res64: C4546DC3288C21D1 Time : 0.0 sec. user=mdettweiler [2016-05-28 07:06:47] 855*2^1430615-1 is not prime. Res64: 23C6039515055D4F Time : 0.0 sec. user=mdettweiler [2016-05-28 07:06:48] 895*2^1430615-1 is not prime. Res64: 47239ADB9ABF3B76 Time : 0.0 sec. user=mdettweiler [2016-05-28 07:06:49] 809*2^1430616-1 is not prime. Res64: 7F8BADE6214346E7 Time : 0.0 sec. user=mdettweiler [2016-05-28 07:06:50] 873*2^1430616-1 is not prime. Res64: 151D9948A0EEC4C7 Time : 0.0 sec. user=mdettweiler [2016-05-28 07:06:51] 933*2^1430616-1 is not prime. Res64: 48B0A2ED9E12FD78 Time : 0.0 sec. user=mdettweiler [2016-05-28 07:16:33] 601*2^1430617-1 is not prime. Res64: 7ECB55B94E230CC3 Time : 0.0 sec. user=mdettweiler [2016-05-28 07:16:33] 729*2^1430617-1 is not prime. Res64: 5B654E9524D16B8E Time : 0.0 sec. user=mdettweiler [2016-05-28 07:16:33] 751*2^1430617-1 is not prime. Res64: 391E27099519C2CC Time : 0.0 sec. user=mdettweiler [2016-05-28 07:16:34] 867*2^1430617-1 is not prime. Res64: 6EA5C65E6466B951 Time : 0.0 sec. user=mdettweiler [2016-05-28 07:16:34] 901*2^1430617-1 is not prime. Res64: 8B1E9C4AAD1FC31F Time : 0.0 sec. user=mdettweiler [2016-05-28 07:31:42] 931*2^1430617-1 is not prime. Res64: DD563D73574170FC Time : 0.0 sec. user=mdettweiler [2016-05-28 07:31:43] 985*2^1430617-1 is not prime. Res64: 4EAF7A7D4CDE126F Time : 0.0 sec. user=mdettweiler [2016-05-28 07:31:43] 623*2^1430618-1 is not prime. Res64: 1B2AFB130C3B6864 Time : 0.0 sec. user=mdettweiler [2016-05-28 07:31:43] 683*2^1430618-1 is not prime. Res64: 1D3DB0E304050305 Time : 0.0 sec. user=mdettweiler [2016-05-28 07:31:44] 707*2^1430618-1 is not prime. Res64: C09772EDED4133FB Time : 0.0 sec. user=mdettweiler [2016-05-28 07:51:07] 711*2^1430618-1 is not prime. Res64: 92DB4DAC464916BC Time : 0.0 sec. user=mdettweiler [2016-05-28 07:51:07] 713*2^1430618-1 is not prime. Res64: E51127238BCBEC55 Time : 0.0 sec. user=mdettweiler [2016-05-28 07:51:07] 731*2^1430618-1 is not prime. Res64: 881CA588461144C2 Time : 0.0 sec. user=mdettweiler [2016-05-28 07:51:08] 837*2^1430618-1 is not prime. Res64: 6A41AC699FA4A7B5 Time : 0.0 sec. user=mdettweiler [2016-05-28 07:51:08] 921*2^1430618-1 is not prime. Res64: F6B2EC2CCAF39552 Time : 0.0 sec. user=mdettweiler [2016-05-28 07:51:54] 953*2^1430618-1 is not prime. Res64: CDDE273E49A2948F Time : 0.0 sec. user=mdettweiler [2016-05-28 07:51:54] 639*2^1430619-1 is not prime. Res64: 720C61D613ABC577 Time : 0.0 sec. user=mdettweiler [2016-05-28 07:51:55] 675*2^1430619-1 is not prime. Res64: 8F9C98CFC0A153BB Time : 0.0 sec. user=mdettweiler [2016-05-28 07:51:55] 735*2^1430619-1 is not prime. Res64: B0C04CD0B75F82AB Time : 0.0 sec. user=mdettweiler [2016-05-28 07:51:55] 829*2^1430619-1 is not prime. Res64: DB71BAB1F9B181F2 Time : 0.0 sec. user=mdettweiler [2016-05-28 08:01:39] 921*2^1430619-1 is not prime. Res64: E9C3024EA6CA5911 Time : 0.0 sec. user=mdettweiler [2016-05-28 08:01:40] 985*2^1430619-1 is not prime. Res64: 5D36B3B6B22E791B Time : 0.0 sec. user=mdettweiler [2016-05-28 08:01:41] 675*2^1430620-1 is not prime. Res64: DDFE3672D4436FA1 Time : 0.0 sec. user=mdettweiler [2016-05-28 08:01:42] 695*2^1430620-1 is not prime. Res64: B2E1A9AF37AE7AB2 Time : 0.0 sec. user=mdettweiler [2016-05-28 08:01:42] 735*2^1430620-1 is not prime. Res64: 9E72FFB384255534 Time : 0.0 sec. user=mdettweiler [2016-05-28 08:16:40] 839*2^1430620-1 is not prime. Res64: 04E759B5D6F5B682 Time : 0.0 sec. user=mdettweiler [2016-05-28 08:16:40] 845*2^1430620-1 is not prime. Res64: 868573E3461D9C01 Time : 0.0 sec. user=mdettweiler [2016-05-28 08:16:41] 855*2^1430620-1 is not prime. Res64: 6A8110DF2113D7B4 Time : 0.0 sec. user=mdettweiler [2016-05-28 08:16:41] 875*2^1430620-1 is not prime. Res64: 714F0BAD117D1356 Time : 0.0 sec. user=mdettweiler [2016-05-28 08:16:42] 885*2^1430620-1 is not prime. Res64: DB01C9361B39A323 Time : 0.0 sec. user=mdettweiler [2016-05-28 08:37:55] 983*2^1430620-1 is not prime. Res64: 079757C6C70F0474 Time : 0.0 sec. user=mdettweiler [2016-05-28 08:37:55] 657*2^1430621-1 is not prime. Res64: 7CC6592405C294C9 Time : 0.0 sec. user=mdettweiler [2016-05-28 08:37:55] 757*2^1430621-1 is not prime. Res64: 5053D8D121244160 Time : 0.0 sec. user=mdettweiler [2016-05-28 08:37:56] 889*2^1430621-1 is not prime. Res64: 8E54F40DFD6AFAC5 Time : 0.0 sec. user=mdettweiler [2016-05-28 08:37:56] 981*2^1430621-1 is not prime. Res64: B7DEF3300AE04991 Time : 0.0 sec. user=mdettweiler [2016-05-28 08:39:07] 671*2^1430622-1 is not prime. Res64: EC90B4FCCA6BFBF7 Time : 0.0 sec. user=mdettweiler [2016-05-28 08:39:07] 725*2^1430622-1 is not prime. Res64: DF75DFFF36555862 Time : 0.0 sec. user=mdettweiler [2016-05-28 08:39:08] 747*2^1430622-1 is not prime. Res64: FA1809ED1473145A Time : 0.0 sec. user=mdettweiler [2016-05-28 08:39:08] 945*2^1430622-1 is not prime. Res64: 2FE9F93E2088BAE4 Time : 0.0 sec. user=mdettweiler [2016-05-28 08:39:08] 957*2^1430622-1 is not prime. Res64: 18CCF7D50D935F0B Time : 0.0 sec. user=mdettweiler [2016-05-28 08:49:40] 963*2^1430622-1 is not prime. Res64: 82CC8CE7A0219512 Time : 0.0 sec. user=mdettweiler [2016-05-28 08:49:40] 679*2^1430623-1 is not prime. Res64: 3E6CA6E0CC18FCE6 Time : 0.0 sec. user=mdettweiler [2016-05-28 08:49:40] 763*2^1430623-1 is not prime. Res64: 19086B5FD57EA03D Time : 0.0 sec. user=mdettweiler [2016-05-28 08:49:40] 829*2^1430623-1 is not prime. Res64: AE0092D2515EE231 Time : 0.0 sec. user=mdettweiler [2016-05-28 08:49:41] 849*2^1430623-1 is not prime. Res64: F70549FF93CEE3DF Time : 0.0 sec. user=mdettweiler [2016-05-28 09:05:41] 919*2^1430623-1 is not prime. Res64: 67C8A07810DADB86 Time : 0.0 sec. user=mdettweiler [2016-05-28 09:05:43] 617*2^1430624-1 is not prime. Res64: B7A9280FC86F995C Time : 0.0 sec. user=mdettweiler [2016-05-28 09:05:44] 623*2^1430624-1 is not prime. Res64: 78A2032D9089E01D Time : 0.0 sec. user=mdettweiler [2016-05-28 09:05:45] 659*2^1430624-1 is not prime. Res64: F50488D4678235B7 Time : 0.0 sec. user=mdettweiler [2016-05-28 09:05:45] 725*2^1430624-1 is not prime. Res64: 0FC14CC24B3D8154 Time : 0.0 sec. user=mdettweiler [2016-05-28 09:25:20] 755*2^1430624-1 is not prime. Res64: 07D662ABA3551E7A Time : 0.0 sec. user=mdettweiler [2016-05-28 09:25:20] 759*2^1430624-1 is not prime. Res64: 53A1D69681F1E7F8 Time : 0.0 sec. user=mdettweiler [2016-05-28 09:25:21] 855*2^1430624-1 is not prime. Res64: 9F3D9574F1F1D719 Time : 0.0 sec. user=mdettweiler [2016-05-28 09:25:21] 909*2^1430624-1 is not prime. Res64: 477057EEAA82ABC0 Time : 0.0 sec. user=mdettweiler [2016-05-28 09:25:21] 739*2^1430625-1 is not prime. Res64: 7D6493CBD70BD625 Time : 0.0 sec. user=mdettweiler [2016-05-28 09:27:31] 871*2^1430625-1 is not prime. Res64: 32D430E8FF7DB7DD Time : 0.0 sec. user=mdettweiler [2016-05-28 09:27:31] 885*2^1430625-1 is not prime. Res64: 0B0FA2D9109397F9 Time : 0.0 sec. user=mdettweiler [2016-05-28 09:27:31] 937*2^1430625-1 is not prime. Res64: BBB4820D1CBE5C32 Time : 0.0 sec. user=mdettweiler [2016-05-28 09:27:31] 951*2^1430625-1 is not prime. Res64: C910C4996ACADAF5 Time : 0.0 sec. user=mdettweiler [2016-05-28 09:27:31] 979*2^1430625-1 is not prime. Res64: C4CBC630EA7FE448 Time : 0.0 sec. user=mdettweiler [2016-05-28 09:37:56] 657*2^1430626-1 is not prime. Res64: F3FF69E6A409637F Time : 0.0 sec. user=mdettweiler [2016-05-28 09:37:56] 755*2^1430626-1 is not prime. Res64: 36F7C58268DB7A3F Time : 0.0 sec. user=mdettweiler [2016-05-28 09:37:56] 783*2^1430626-1 is not prime. Res64: C891AFB7B231B74D Time : 0.0 sec. user=mdettweiler [2016-05-28 09:37:57] 833*2^1430626-1 is not prime. Res64: 36AD7269C88BFCA4 Time : 0.0 sec. user=mdettweiler [2016-05-28 09:37:57] 987*2^1430626-1 is not prime. Res64: 94CF493B7D56AD1F Time : 0.0 sec. user=mdettweiler [2016-05-28 09:53:54] 733*2^1430627-1 is not prime. Res64: 0010D521C5A05E92 Time : 0.0 sec. user=mdettweiler [2016-05-28 09:53:54] 775*2^1430627-1 is not prime. Res64: C87FF14C13904F2B Time : 0.0 sec. user=mdettweiler [2016-05-28 09:53:54] 669*2^1430628-1 is not prime. Res64: EDF107EA0CF4B759 Time : 0.0 sec. user=mdettweiler [2016-05-28 09:53:55] 723*2^1430628-1 is not prime. Res64: F356CB78D178216D Time : 0.0 sec. user=mdettweiler [2016-05-28 09:53:55] 887*2^1430628-1 is not prime. Res64: 4CFEF40AA2553E34 Time : 0.0 sec. user=mdettweiler [2016-05-28 10:13:07] 685*2^1430629-1 is not prime. Res64: D78DB5B2780673A1 Time : 0.0 sec. user=mdettweiler [2016-05-28 10:13:07] 771*2^1430629-1 is not prime. Res64: 761D85F5DA6419F7 Time : 0.0 sec. user=mdettweiler [2016-05-28 10:13:08] 831*2^1430629-1 is not prime. Res64: B567E7810B8A0A0A Time : 0.0 sec. user=mdettweiler [2016-05-28 10:13:08] 999*2^1430629-1 is not prime. Res64: A7C0CF72572236B2 Time : 0.0 sec. user=mdettweiler [2016-05-28 10:13:08] 615*2^1430630-1 is not prime. Res64: 3817FF9DCEA1447B Time : 0.0 sec. user=mdettweiler [2016-05-28 10:15:29] 687*2^1430630-1 is not prime. Res64: 285F9473366EFC55 Time : 0.0 sec. user=mdettweiler [2016-05-28 10:15:29] 711*2^1430630-1 is not prime. Res64: D54EF88F6D1CEF82 Time : 0.0 sec. user=mdettweiler [2016-05-28 10:15:29] 833*2^1430630-1 is not prime. Res64: CAA440432CBAAFF1 Time : 0.0 sec. user=mdettweiler [2016-05-28 10:15:29] 851*2^1430630-1 is not prime. Res64: 91604E29C589029F Time : 0.0 sec. user=mdettweiler [2016-05-28 10:15:30] 857*2^1430630-1 is not prime. Res64: 1AA38F83BD2E5820 Time : 0.0 sec. user=mdettweiler [2016-05-28 10:25:29] 885*2^1430630-1 is not prime. Res64: 839F3DBEB6600395 Time : 0.0 sec. user=mdettweiler [2016-05-28 10:25:30] 921*2^1430630-1 is not prime. Res64: 932A5FE29FFF3DF9 Time : 0.0 sec. user=mdettweiler [2016-05-28 10:25:30] 941*2^1430630-1 is not prime. Res64: 9DB7751DC8794414 Time : 0.0 sec. user=mdettweiler [2016-05-28 10:25:31] 945*2^1430630-1 is not prime. Res64: D9E95A2043FE5560 Time : 0.0 sec. user=mdettweiler [2016-05-28 10:25:31] 679*2^1430631-1 is not prime. Res64: D646F98A697BE2AB Time : 0.0 sec. user=mdettweiler [2016-05-28 10:42:39] 763*2^1430631-1 is not prime. Res64: 234E3B3D7E993B24 Time : 0.0 sec. user=mdettweiler [2016-05-28 10:42:39] 825*2^1430631-1 is not prime. Res64: 644E2B5A4668EAA2 Time : 0.0 sec. user=mdettweiler [2016-05-28 10:42:39] 849*2^1430631-1 is not prime. Res64: BCCA84F7381B290E Time : 0.0 sec. user=mdettweiler [2016-05-28 10:42:40] 921*2^1430631-1 is not prime. Res64: DBCE0CD6DFB41C3F Time : 0.0 sec. user=mdettweiler [2016-05-28 10:42:40] 629*2^1430632-1 is not prime. Res64: A52192A84E787CBA Time : 0.0 sec. user=mdettweiler [2016-05-28 11:01:15] 665*2^1430632-1 is not prime. Res64: 20D709BCB456C209 Time : 0.0 sec. user=mdettweiler [2016-05-28 11:01:16] 779*2^1430632-1 is not prime. Res64: 8D45AB0120237DCC Time : 0.0 sec. user=mdettweiler [2016-05-28 11:01:17] 797*2^1430632-1 is not prime. Res64: 530E6B131FEC8304 Time : 0.0 sec. user=mdettweiler [2016-05-28 11:01:17] 849*2^1430632-1 is not prime. Res64: C8997E06480DECBF Time : 0.0 sec. user=mdettweiler [2016-05-28 11:01:18] 909*2^1430632-1 is not prime. Res64: BB80379D80D163E0 Time : 0.0 sec. user=mdettweiler [2016-05-28 11:03:09] 637*2^1430633-1 is not prime. Res64: 8E611392441D3081 Time : 0.0 sec. user=mdettweiler [2016-05-28 11:03:10] 685*2^1430633-1 is not prime. Res64: 0496BBD30BE5F03E Time : 0.0 sec. user=mdettweiler [2016-05-28 11:03:11] 747*2^1430633-1 is not prime. Res64: 7B72BAD1C781C1BF Time : 0.0 sec. user=mdettweiler [2016-05-28 11:03:12] 771*2^1430633-1 is not prime. Res64: 5A630A72C51D87EB Time : 0.0 sec. user=mdettweiler [2016-05-28 11:03:12] 787*2^1430633-1 is not prime. Res64: 5744143C77C3B906 Time : 0.0 sec. user=mdettweiler [2016-05-28 11:13:02] 915*2^1430633-1 is not prime. Res64: D0917ED30B1C6F53 Time : 0.0 sec. user=mdettweiler [2016-05-28 11:13:02] 955*2^1430633-1 is not prime. Res64: 44564B2B7C12978B Time : 0.0 sec. user=mdettweiler [2016-05-28 11:13:03] 605*2^1430634-1 is not prime. Res64: 23FD2CA7453BC544 Time : 0.0 sec. user=mdettweiler [2016-05-28 11:13:03] 671*2^1430634-1 is not prime. Res64: 303A1ED44C226A6C Time : 0.0 sec. user=mdettweiler [2016-05-28 11:13:03] 731*2^1430634-1 is not prime. Res64: 9299FF1A6CE30ED7 Time : 0.0 sec. user=mdettweiler [2016-05-28 11:28:45] 791*2^1430634-1 is not prime. Res64: 70EF4D54C0F1FB40 Time : 0.0 sec. user=mdettweiler [2016-05-28 11:28:45] 803*2^1430634-1 is not prime. Res64: 2E3BB7D2E97C2AF7 Time : 0.0 sec. user=mdettweiler [2016-05-28 11:28:46] 893*2^1430634-1 is not prime. Res64: EE952A2C32359ED3 Time : 0.0 sec. user=mdettweiler [2016-05-28 11:28:46] 971*2^1430634-1 is not prime. Res64: B73695BE1BDA4DD0 Time : 0.0 sec. user=mdettweiler [2016-05-28 11:28:46] 1001*2^1430634-1 is not prime. Res64: C07586DA53FE7EC0 Time : 0.0 sec. user=mdettweiler [2016-05-28 11:46:34] 619*2^1430635-1 is not prime. Res64: FE792C1EF13A7AD9 Time : 0.0 sec. user=mdettweiler [2016-05-28 11:46:35] 853*2^1430635-1 is not prime. Res64: 0BA7C42FA2371F90 Time : 0.0 sec. user=mdettweiler [2016-05-28 11:46:35] 855*2^1430635-1 is not prime. Res64: 1BB08D168DB0461D Time : 0.0 sec. user=mdettweiler [2016-05-28 11:46:35] 895*2^1430635-1 is not prime. Res64: B8875DEF077092DF Time : 0.0 sec. user=mdettweiler [2016-05-28 11:46:36] 985*2^1430635-1 is not prime. Res64: 4C763F8F5C417CD4 Time : 0.0 sec. user=mdettweiler [2016-05-28 11:48:34] 609*2^1430636-1 is not prime. Res64: A0DDC33440D7D243 Time : 0.0 sec. user=mdettweiler [2016-05-28 11:48:35] 669*2^1430636-1 is not prime. Res64: 79BCD39BA1E1B5F8 Time : 0.0 sec. user=mdettweiler [2016-05-28 11:48:35] 755*2^1430636-1 is not prime. Res64: BBEA60878B4A85C2 Time : 0.0 sec. user=mdettweiler [2016-05-28 11:48:35] 825*2^1430636-1 is not prime. Res64: ADD0DB279487767F Time : 0.0 sec. user=mdettweiler [2016-05-28 11:48:36] 869*2^1430636-1 is not prime. Res64: DF9BF7953DC7E27C Time : 0.0 sec. user=mdettweiler [2016-05-28 11:58:13] 879*2^1430636-1 is not prime. Res64: BE4C3658A3E85615 Time : 0.0 sec. user=mdettweiler [2016-05-28 11:58:13] 903*2^1430636-1 is not prime. Res64: F02FB1264B4EB917 Time : 0.0 sec. user=mdettweiler [2016-05-28 11:58:14] 953*2^1430636-1 is not prime. Res64: 65E0B06EE3DB76BB Time : 0.0 sec. user=mdettweiler [2016-05-28 11:58:14] 969*2^1430636-1 is not prime. Res64: 7D1383CE532EFFAD Time : 0.0 sec. user=mdettweiler [2016-05-28 11:58:14] 615*2^1430637-1 is not prime. Res64: 423F2D9EF6C90257 Time : 0.0 sec. user=mdettweiler [2016-05-28 12:13:59] 605*2^1430638-1 is not prime. Res64: 8BC727BB34056D81 Time : 0.0 sec. user=mdettweiler [2016-05-28 12:13:59] 687*2^1430638-1 is not prime. Res64: B20C67F9FA2A218D Time : 0.0 sec. user=mdettweiler [2016-05-28 12:14:00] 791*2^1430638-1 is not prime. Res64: C0F7080722BEBC16 Time : 0.0 sec. user=mdettweiler [2016-05-28 12:14:00] 981*2^1430638-1 is not prime. Res64: 58A3A3727B48B27C Time : 0.0 sec. user=mdettweiler [2016-05-28 12:14:00] 1001*2^1430638-1 is not prime. Res64: C722ED2A4C512051 Time : 0.0 sec. user=mdettweiler [2016-05-28 12:32:20] 711*2^1430639-1 is not prime. Res64: A9983B2A0E4A8E2B Time : 0.0 sec. user=mdettweiler [2016-05-28 12:32:20] 789*2^1430639-1 is not prime. Res64: F5C48216ED315C18 Time : 0.0 sec. user=mdettweiler [2016-05-28 12:32:21] 861*2^1430639-1 is not prime. Res64: DC7AED13364EB09B Time : 0.0 sec. user=mdettweiler [2016-05-28 12:32:21] 883*2^1430639-1 is not prime. Res64: 221CD9A1480F74BA Time : 0.0 sec. user=mdettweiler [2016-05-28 12:32:22] 939*2^1430639-1 is not prime. Res64: 65485E330F1816AF Time : 0.0 sec. user=mdettweiler [2016-05-28 12:34:06] 909*2^1430640-1 is not prime. Res64: AA0DEB04B1CCC97E Time : 0.0 sec. user=mdettweiler [2016-05-28 12:34:06] 927*2^1430640-1 is not prime. Res64: 851E60F41149AAC1 Time : 0.0 sec. user=mdettweiler [2016-05-28 12:34:06] 935*2^1430640-1 is not prime. Res64: 473DD6F24FADA6E1 Time : 0.0 sec. user=mdettweiler [2016-05-28 12:34:07] 609*2^1430641-1 is not prime. Res64: B3ADA924D477374B Time : 0.0 sec. user=mdettweiler [2016-05-28 12:34:07] 747*2^1430641-1 is not prime. Res64: 38324732A128E2D3 Time : 0.0 sec. user=mdettweiler [2016-05-28 12:43:48] 771*2^1430641-1 is not prime. Res64: 8BF0E8FC2D5A58EE Time : 0.0 sec. user=mdettweiler [2016-05-28 12:43:48] 819*2^1430641-1 is not prime. Res64: AB49D0BAB8F9B55E Time : 0.0 sec. user=mdettweiler [2016-05-28 12:43:49] 835*2^1430641-1 is not prime. Res64: BC7E374A85B077E6 Time : 0.0 sec. user=mdettweiler [2016-05-28 12:43:49] 889*2^1430641-1 is not prime. Res64: 179054308F3B207D Time : 0.0 sec. user=mdettweiler [2016-05-28 12:43:50] 713*2^1430642-1 is not prime. Res64: A2A5A728222162CD Time : 0.0 sec. user=mdettweiler [2016-05-28 13:00:48] 945*2^1430642-1 is not prime. Res64: C523CB1A7509A730 Time : 0.0 sec. user=mdettweiler [2016-05-28 13:00:49] 977*2^1430642-1 is not prime. Res64: CAC3FDD8EA10BA07 Time : 0.0 sec. user=mdettweiler [2016-05-28 13:00:49] 625*2^1430643-1 is not prime. Res64: DE3602484AEAA175 Time : 0.0 sec. user=mdettweiler [2016-05-28 13:00:50] 705*2^1430643-1 is not prime. Res64: A85BA7E3825BB2ED Time : 0.0 sec. user=mdettweiler [2016-05-28 13:00:50] 735*2^1430643-1 is not prime. Res64: 561F0E8EEEBA6F09 Time : 0.0 sec. user=mdettweiler [2016-05-28 13:19:50] 745*2^1430643-1 is not prime. Res64: 549950C54BD62383 Time : 0.0 sec. user=mdettweiler [2016-05-28 13:19:51] 873*2^1430643-1 is not prime. Res64: 65A19369A7BD5A49 Time : 0.0 sec. user=mdettweiler [2016-05-28 13:19:51] 623*2^1430644-1 is not prime. Res64: 2C15FF84B0AC2120 Time : 0.0 sec. user=mdettweiler [2016-05-28 13:19:51] 759*2^1430644-1 is not prime. Res64: 0B7D4E8825902EEE Time : 0.0 sec. user=mdettweiler [2016-05-28 13:19:52] 813*2^1430644-1 is not prime. Res64: 6C7A6336E12FEAA7 Time : 0.0 sec. user=mdettweiler [2016-05-28 13:21:46] 857*2^1430644-1 is not prime. Res64: 18D291C547D2D5BC Time : 0.0 sec. user=mdettweiler [2016-05-28 13:21:46] 905*2^1430644-1 is not prime. Res64: 1B13F8F5DE8B6030 Time : 0.0 sec. user=mdettweiler [2016-05-28 13:21:47] 995*2^1430644-1 is not prime. Res64: F02E18D506AFABE2 Time : 0.0 sec. user=mdettweiler [2016-05-28 13:21:47] 619*2^1430645-1 is not prime. Res64: 227BDF427BF6D1BA Time : 0.0 sec. user=mdettweiler [2016-05-28 13:21:47] 795*2^1430645-1 is not prime. Res64: D085FFDE6CEE9992 Time : 0.0 sec. user=mdettweiler [2016-05-28 13:31:40] 825*2^1430645-1 is not prime. Res64: A41E7A22468757F8 Time : 0.0 sec. user=mdettweiler [2016-05-28 13:31:40] 885*2^1430645-1 is not prime. Res64: DB47D28ECE571101 Time : 0.0 sec. user=mdettweiler [2016-05-28 13:31:41] 937*2^1430645-1 is not prime. Res64: 912940A5FFBAB5AF Time : 0.0 sec. user=mdettweiler [2016-05-28 13:31:41] 641*2^1430646-1 is not prime. Res64: 9D92CFBAF5B85D43 Time : 0.0 sec. user=mdettweiler [2016-05-28 13:31:41] 653*2^1430646-1 is not prime. Res64: A656F19C567D7867 Time : 0.0 sec. user=mdettweiler [2016-05-28 13:47:20] 713*2^1430646-1 is not prime. Res64: F2EA9DF2E8FF68F4 Time : 0.0 sec. user=mdettweiler [2016-05-28 13:47:21] 761*2^1430646-1 is not prime. Res64: 17945501CB602D67 Time : 0.0 sec. user=mdettweiler [2016-05-28 13:47:21] 875*2^1430646-1 is not prime. Res64: 6A16F009E9F770BF Time : 0.0 sec. user=mdettweiler [2016-05-28 13:47:21] 971*2^1430646-1 is not prime. Res64: 6D34A841CD8AA41A Time : 0.0 sec. user=mdettweiler [2016-05-28 13:47:22] 651*2^1430647-1 is not prime. Res64: C6ECE5A06BD2D835 Time : 0.0 sec. user=mdettweiler [2016-05-28 14:05:41] 841*2^1430647-1 is not prime. Res64: F852C555DFE694BE Time : 0.0 sec. user=mdettweiler [2016-05-28 14:05:43] 873*2^1430647-1 is not prime. Res64: 6B73B0E2956F09BD Time : 0.0 sec. user=mdettweiler [2016-05-28 14:05:44] 979*2^1430647-1 is not prime. Res64: 2EDA9C837669DA5A Time : 0.0 sec. user=mdettweiler [2016-05-28 14:05:45] 687*2^1430648-1 is not prime. Res64: 0B59DCBC937082ED Time : 0.0 sec. user=mdettweiler [2016-05-28 14:05:46] 855*2^1430648-1 is not prime. Res64: 347B7E6CC7C2BA66 Time : 0.0 sec. user=mdettweiler [2016-05-28 14:07:10] 959*2^1430648-1 is not prime. Res64: 67F20FB81EF43462 Time : 0.0 sec. user=mdettweiler [2016-05-28 14:07:11] 811*2^1430649-1 is not prime. Res64: C1E1486B7DE96FAE Time : 0.0 sec. user=mdettweiler [2016-05-28 14:07:12] 837*2^1430649-1 is not prime. Res64: 8864EFE45CE8B859 Time : 0.0 sec. user=mdettweiler [2016-05-28 14:07:13] 889*2^1430649-1 is not prime. Res64: FC660F3BE71CCCE0 Time : 0.0 sec. user=mdettweiler [2016-05-28 14:07:13] 665*2^1430650-1 is not prime. Res64: 6A3B664305B31EE6 Time : 0.0 sec. user=mdettweiler [2016-05-28 14:16:41] 695*2^1430650-1 is not prime. Res64: 88F9329018A5CA78 Time : 0.0 sec. user=mdettweiler [2016-05-28 14:16:41] 707*2^1430650-1 is not prime. Res64: 2C0EC411F39DF5DE Time : 0.0 sec. user=mdettweiler [2016-05-28 14:16:41] 735*2^1430650-1 is not prime. Res64: 0C43534B423E2544 Time : 0.0 sec. user=mdettweiler [2016-05-28 14:16:42] 819*2^1430651-1 is not prime. Res64: 6DB2137DD074502D Time : 0.0 sec. user=mdettweiler [2016-05-28 14:16:42] 855*2^1430651-1 is not prime. Res64: D0427F9589843DFA Time : 0.0 sec. user=mdettweiler [2016-05-28 14:32:31] 859*2^1430651-1 is not prime. Res64: C9E41F645BAFCCF1 Time : 0.0 sec. user=mdettweiler [2016-05-28 14:32:31] 717*2^1430652-1 is not prime. Res64: BF823E22304781E3 Time : 0.0 sec. user=mdettweiler [2016-05-28 14:32:31] 909*2^1430652-1 is not prime. Res64: EBFBED8B37C82B23 Time : 0.0 sec. user=mdettweiler [2016-05-28 14:32:32] 945*2^1430652-1 is not prime. Res64: AEB0C8B25AB5EF48 Time : 0.0 sec. user=mdettweiler [2016-05-28 14:32:32] 651*2^1430653-1 is not prime. Res64: F8E9EE25421BAA68 Time : 0.0 sec. user=mdettweiler [2016-05-28 14:51:36] 675*2^1430653-1 is not prime. Res64: E9283595736D7451 Time : 0.0 sec. user=mdettweiler [2016-05-28 14:51:37] 801*2^1430653-1 is not prime. Res64: 0D5CFDFAA6A90022 Time : 0.0 sec. user=mdettweiler [2016-05-28 14:51:37] 901*2^1430653-1 is not prime. Res64: 7463049074098E6C Time : 0.0 sec. user=mdettweiler [2016-05-28 14:51:38] 705*2^1430654-1 is not prime. Res64: AFAD6A276565333D Time : 0.0 sec. user=mdettweiler [2016-05-28 14:51:38] 743*2^1430654-1 is not prime. Res64: BCDE01D33CD0DDDC Time : 0.0 sec. user=mdettweiler [2016-05-28 14:53:00] 851*2^1430654-1 is not prime. Res64: B286BDF374A0C33C Time : 0.0 sec. user=mdettweiler [2016-05-28 14:53:00] 669*2^1430655-1 is not prime. Res64: 35541AFE4E3FBF32 Time : 0.0 sec. user=mdettweiler [2016-05-28 14:53:01] 679*2^1430655-1 is not prime. Res64: 63659F136B815D95 Time : 0.0 sec. user=mdettweiler [2016-05-28 14:53:01] 723*2^1430655-1 is not prime. Res64: 4B8D237BFD4AB614 Time : 0.0 sec. user=mdettweiler [2016-05-28 14:53:01] 739*2^1430655-1 is not prime. Res64: D0D8ABDBE17806A3 Time : 0.0 sec. user=mdettweiler [2016-05-28 15:02:46] 783*2^1430655-1 is not prime. Res64: F4D43879A6126C7E Time : 0.0 sec. user=mdettweiler [2016-05-28 15:02:47] 829*2^1430655-1 is not prime. Res64: F2E4D35720340DBA Time : 0.0 sec. user=mdettweiler [2016-05-28 15:02:47] 871*2^1430655-1 is not prime. Res64: DDA8AE9A7E91F388 Time : 0.0 sec. user=mdettweiler [2016-05-28 15:02:48] 961*2^1430655-1 is not prime. Res64: 22F67E14AE389F51 Time : 0.0 sec. user=mdettweiler [2016-05-28 15:02:49] 985*2^1430655-1 is not prime. Res64: ADB3934E2563B99A Time : 0.0 sec. user=mdettweiler [2016-05-28 15:18:01] 629*2^1430656-1 is not prime. Res64: 60ED1DCFD5BAF7A9 Time : 0.0 sec. user=mdettweiler [2016-05-28 15:18:01] 645*2^1430656-1 is not prime. Res64: 6706943481DBF547 Time : 0.0 sec. user=mdettweiler [2016-05-28 15:18:02] 723*2^1430656-1 is not prime. Res64: E402276712EDDF90 Time : 0.0 sec. user=mdettweiler [2016-05-28 15:18:02] 777*2^1430656-1 is not prime. Res64: C1D7233417D65EF1 Time : 0.0 sec. user=mdettweiler [2016-05-28 15:18:02] 825*2^1430656-1 is not prime. Res64: 801A11018026B02F Time : 0.0 sec. user=mdettweiler [2016-05-28 15:36:56] 873*2^1430656-1 is not prime. Res64: C1AC419CC55D1DE5 Time : 0.0 sec. user=mdettweiler [2016-05-28 15:36:57] 975*2^1430656-1 is not prime. Res64: EF9FFCD2CF8CD6DF Time : 0.0 sec. user=mdettweiler [2016-05-28 15:36:57] 993*2^1430656-1 is not prime. Res64: 05FBC7DBD314CCB8 Time : 0.0 sec. user=mdettweiler [2016-05-28 15:36:58] 607*2^1430657-1 is not prime. Res64: 263E2436CCFCEA73 Time : 0.0 sec. user=mdettweiler [2016-05-28 15:36:58] 615*2^1430657-1 is not prime. Res64: 517EA586D7D01B35 Time : 0.0 sec. user=mdettweiler [2016-05-28 15:38:33] 637*2^1430657-1 is not prime. Res64: C2E620D372210AC6 Time : 0.0 sec. user=mdettweiler [2016-05-28 15:38:33] 651*2^1430657-1 is not prime. Res64: DDACD32669A3A2CB Time : 0.0 sec. user=mdettweiler [2016-05-28 15:38:34] 801*2^1430657-1 is not prime. Res64: 2F3F615AFE31419B Time : 0.0 sec. user=mdettweiler [2016-05-28 15:38:34] 861*2^1430657-1 is not prime. Res64: 4975677B82915E8B Time : 0.0 sec. user=mdettweiler [2016-05-28 15:38:34] 909*2^1430657-1 is not prime. Res64: 35450717CA753FA4 Time : 0.0 sec. user=mdettweiler [2016-05-28 15:48:14] 605*2^1430658-1 is not prime. Res64: 40221DC3A4272E85 Time : 0.0 sec. user=mdettweiler [2016-05-28 15:48:14] 711*2^1430658-1 is not prime. Res64: 64F57E3683A8F444 Time : 0.0 sec. user=mdettweiler [2016-05-28 15:48:15] 765*2^1430658-1 is not prime. Res64: D65C49B572401043 Time : 0.0 sec. user=mdettweiler [2016-05-28 15:48:15] 791*2^1430658-1 is not prime. Res64: 42B2579211DA1D91 Time : 0.0 sec. user=mdettweiler [2016-05-28 15:48:15] 691*2^1430659-1 is not prime. Res64: 3DA80A4B3DA2D7CC Time : 0.0 sec. user=mdettweiler [2016-05-28 16:03:13] 709*2^1430659-1 is not prime. Res64: 7BCD558A03AEFCE4 Time : 0.0 sec. user=mdettweiler [2016-05-28 16:03:15] 859*2^1430659-1 is not prime. Res64: 49224C5CE8934C65 Time : 0.0 sec. user=mdettweiler [2016-05-28 16:03:16] 969*2^1430659-1 is not prime. Res64: F61B3D28C364A839 Time : 0.0 sec. user=mdettweiler [2016-05-28 16:03:17] 759*2^1430660-1 is not prime. Res64: 0A211AFA05E6A3AD Time : 0.0 sec. user=mdettweiler [2016-05-28 16:03:19] 767*2^1430660-1 is not prime. Res64: 8881D0BCB906A53A Time : 0.0 sec. user=mdettweiler [2016-05-28 16:22:12] 839*2^1430660-1 is not prime. Res64: 5DD4A8B8B04CBAC8 Time : 0.0 sec. user=mdettweiler [2016-05-28 16:22:12] 923*2^1430660-1 is not prime. Res64: FD2E06D197B50184 Time : 0.0 sec. user=mdettweiler [2016-05-28 16:22:13] 999*2^1430660-1 is not prime. Res64: 0192BC3FA77D7E71 Time : 0.0 sec. user=mdettweiler [2016-05-28 16:22:13] 751*2^1430661-1 is not prime. Res64: DA33C64090DDE3C7 Time : 0.0 sec. user=mdettweiler [2016-05-28 16:22:13] 877*2^1430661-1 is not prime. Res64: CFCFB5A1EEA933BF Time : 0.0 sec. user=mdettweiler [2016-05-28 16:23:56] 921*2^1430661-1 is not prime. Res64: 7094C5E747A3D189 Time : 0.0 sec. user=mdettweiler [2016-05-28 16:23:56] 951*2^1430661-1 is not prime. Res64: 18E7EB632227AE07 Time : 0.0 sec. user=mdettweiler [2016-05-28 16:23:56] 987*2^1430661-1 is not prime. Res64: 2001C46B47611BA3 Time : 0.0 sec. user=mdettweiler [2016-05-28 16:23:57] 677*2^1430662-1 is not prime. Res64: F99816BA16D77B0D Time : 0.0 sec. user=mdettweiler [2016-05-28 16:23:57] 705*2^1430662-1 is not prime. Res64: A4BCCA63ED8087AD Time : 0.0 sec. user=mdettweiler [2016-05-28 16:33:24] 761*2^1430662-1 is not prime. Res64: D21CCE2CDD6AFAAF Time : 0.0 sec. user=mdettweiler [2016-05-28 16:33:25] 911*2^1430662-1 is not prime. Res64: 90452F544C0EC9A5 Time : 0.0 sec. user=mdettweiler [2016-05-28 16:33:25] 965*2^1430662-1 is not prime. Res64: 6C1996E3976D5B8D Time : 0.0 sec. user=mdettweiler [2016-05-28 16:33:26] 603*2^1430663-1 is not prime. Res64: C9B62C3A24ECA16F Time : 0.0 sec. user=mdettweiler [2016-05-28 16:33:26] 619*2^1430663-1 is not prime. Res64: E61DBDF13CA89666 Time : 0.0 sec. user=mdettweiler [2016-05-28 16:49:15] 705*2^1430663-1 is not prime. Res64: 6E8949EA4A2FEFB7 Time : 0.0 sec. user=mdettweiler [2016-05-28 16:49:16] 627*2^1430664-1 is not prime. Res64: F0F40779EC5F7590 Time : 0.0 sec. user=mdettweiler [2016-05-28 16:49:16] 689*2^1430664-1 is not prime. Res64: 89D3A7FDA70DE919 Time : 0.0 sec. user=mdettweiler [2016-05-28 16:49:16] 765*2^1430664-1 is not prime. Res64: 1556A864836E2EBD Time : 0.0 sec. user=mdettweiler [2016-05-28 16:49:17] 837*2^1430664-1 is not prime. Res64: B4F82A62A4127C16 Time : 0.0 sec. user=mdettweiler [2016-05-28 17:07:16] 849*2^1430664-1 is not prime. Res64: F2E311868EC93350 Time : 0.0 sec. user=mdettweiler [2016-05-28 17:07:17] 903*2^1430664-1 is not prime. Res64: C98B7D55D063096F Time : 0.0 sec. user=mdettweiler [2016-05-28 17:07:17] 927*2^1430664-1 is not prime. Res64: 9E09AE87C3133B27 Time : 0.0 sec. user=mdettweiler [2016-05-28 17:07:18] 983*2^1430664-1 is not prime. Res64: 18A5691594C82DEB Time : 0.0 sec. user=mdettweiler [2016-05-28 17:07:18] 993*2^1430664-1 is not prime. Res64: C4B322C5B0B363E8 Time : 0.0 sec. user=mdettweiler [2016-05-28 17:09:12] 607*2^1430665-1 is not prime. Res64: C9FBDBEF5F85B761 Time : 0.0 sec. user=mdettweiler [2016-05-28 17:09:13] 625*2^1430665-1 is not prime. Res64: 8EE641AF2DA2A21E Time : 0.0 sec. user=mdettweiler [2016-05-28 17:09:14] 741*2^1430665-1 is not prime. Res64: F4BEEE41845E1660 Time : 0.0 sec. user=mdettweiler [2016-05-28 17:09:16] 751*2^1430665-1 is not prime. Res64: 6022D0B73AB17EB4 Time : 0.0 sec. user=mdettweiler [2016-05-28 17:09:17] 867*2^1430665-1 is not prime. Res64: 21F4139D0EFC309D Time : 0.0 sec. user=mdettweiler [2016-05-28 17:18:36] 885*2^1430665-1 is not prime. Res64: 9E99AB8EBBC26C26 Time : 0.0 sec. user=mdettweiler [2016-05-28 17:18:36] 671*2^1430666-1 is not prime. Res64: 402A450EA0287309 Time : 0.0 sec. user=mdettweiler [2016-05-28 17:18:37] 717*2^1430666-1 is not prime. Res64: 2B66D886480786F0 Time : 0.0 sec. user=mdettweiler [2016-05-28 17:18:37] 783*2^1430666-1 is not prime. Res64: 73157F7511043AA4 Time : 0.0 sec. user=mdettweiler [2016-05-28 17:18:38] 609*2^1430667-1 is not prime. Res64: 69C36D81AA78323A Time : 0.0 sec. user=mdettweiler [2016-05-28 17:34:56] 619*2^1430667-1 is not prime. Res64: 623D09D2434FF289 Time : 0.0 sec. user=mdettweiler [2016-05-28 17:34:56] 625*2^1430667-1 is not prime. Res64: 3EC25C73E6E15785 Time : 0.0 sec. user=mdettweiler [2016-05-28 17:34:57] 793*2^1430667-1 is not prime. Res64: 57CD12ED03324257 Time : 0.0 sec. user=mdettweiler [2016-05-28 17:34:57] 795*2^1430667-1 is not prime. Res64: 4823A587B38E11BE Time : 0.0 sec. user=mdettweiler [2016-05-28 17:34:57] 861*2^1430667-1 is not prime. Res64: B5E23C5148E22F92 Time : 0.0 sec. user=mdettweiler [2016-05-28 17:55:39] 871*2^1430667-1 is not prime. Res64: 942469596B85D8AC Time : 0.0 sec. user=mdettweiler [2016-05-28 17:55:39] 901*2^1430667-1 is not prime. Res64: 272A20C1522E0372 Time : 0.0 sec. user=mdettweiler [2016-05-28 17:55:40] 975*2^1430667-1 is not prime. Res64: D8EFC52690769F40 Time : 0.0 sec. user=mdettweiler [2016-05-28 17:55:40] 647*2^1430668-1 is not prime. Res64: E70119DC09AEFB05 Time : 0.0 sec. user=mdettweiler [2016-05-28 17:55:40] 665*2^1430668-1 is not prime. Res64: 688179772118862B Time : 0.0 sec. user=mdettweiler [2016-05-28 17:57:30] 743*2^1430668-1 is not prime. Res64: 23C29A471A741E92 Time : 0.0 sec. user=mdettweiler [2016-05-28 17:57:30] 783*2^1430668-1 is not prime. Res64: 55A9CC3EFFC17746 Time : 0.0 sec. user=mdettweiler [2016-05-28 17:57:31] 797*2^1430668-1 is not prime. Res64: BA44409E090DEE9B Time : 0.0 sec. user=mdettweiler [2016-05-28 17:57:31] 863*2^1430668-1 is not prime. Res64: 16A52BD495F5E12B Time : 0.0 sec. user=mdettweiler [2016-05-28 17:57:31] 915*2^1430668-1 is not prime. Res64: 50EE80AA8C784C51 Time : 0.0 sec. user=mdettweiler [2016-05-28 18:07:35] 929*2^1430668-1 is not prime. Res64: 303EDCB56770AF2B Time : 0.0 sec. user=mdettweiler [2016-05-28 18:07:36] 975*2^1430668-1 is not prime. Res64: 9BDE321733DE0BD8 Time : 0.0 sec. user=mdettweiler [2016-05-28 18:07:36] 655*2^1430669-1 is not prime. Res64: B176843B9839D072 Time : 0.0 sec. user=mdettweiler [2016-05-28 18:07:36] 657*2^1430669-1 is not prime. Res64: DD1F4E674A227F18 Time : 0.0 sec. user=mdettweiler [2016-05-28 18:07:37] 837*2^1430669-1 is not prime. Res64: BDBFFE145D541B1D Time : 0.0 sec. user=mdettweiler [2016-05-28 18:27:55] 677*2^1430670-1 is not prime. Res64: D44F96A0B9766CCE Time : 0.0 sec. user=mdettweiler [2016-05-28 18:27:55] 783*2^1430670-1 is not prime. Res64: 6B749EDEA5ED92B9 Time : 0.0 sec. user=mdettweiler [2016-05-28 18:27:55] 873*2^1430670-1 is not prime. Res64: A2960AE2CB0AB970 Time : 0.0 sec. user=mdettweiler [2016-05-28 18:27:56] 927*2^1430670-1 is not prime. Res64: 52BC333A5304CB32 Time : 0.0 sec. user=mdettweiler [2016-05-28 18:27:56] 625*2^1430671-1 is not prime. Res64: 79CD0AFA85BB26D1 Time : 0.0 sec. user=mdettweiler [2016-05-28 18:46:57] 741*2^1430671-1 is not prime. Res64: BFFBCF478AE513DC Time : 0.0 sec. user=mdettweiler [2016-05-28 18:46:58] 885*2^1430671-1 is not prime. Res64: CBA7700E3C474705 Time : 0.0 sec. user=mdettweiler [2016-05-28 18:46:58] 657*2^1430672-1 is not prime. Res64: A3B85C90A7084D2C Time : 0.0 sec. user=mdettweiler [2016-05-28 18:46:59] 669*2^1430672-1 is not prime. Res64: 6826767D769B8B35 Time : 0.0 sec. user=mdettweiler [2016-05-28 18:46:59] 777*2^1430672-1 is not prime. Res64: 53F5D6B9D17C6D34 Time : 0.0 sec. user=mdettweiler [2016-05-28 18:48:34] 897*2^1430672-1 is not prime. Res64: A93B953D0FBB5016 Time : 0.0 sec. user=mdettweiler [2016-05-28 18:48:35] 959*2^1430672-1 is not prime. Res64: 1A8033F704900D77 Time : 0.0 sec. user=mdettweiler [2016-05-28 18:48:35] 995*2^1430672-1 is not prime. Res64: C7ED8C43F16A35F7 Time : 0.0 sec. user=mdettweiler [2016-05-28 18:48:36] 609*2^1430673-1 is not prime. Res64: FBC75AF225E63171 Time : 0.0 sec. user=mdettweiler [2016-05-28 18:48:36] 649*2^1430673-1 is not prime. Res64: 37BE5ECB6377A073 Time : 0.0 sec. user=mdettweiler [2016-05-28 18:57:10] 651*2^1430673-1 is not prime. Res64: 30A0A085D399E81D Time : 0.0 sec. user=mdettweiler [2016-05-28 18:57:11] 705*2^1430673-1 is not prime. Res64: 0DF66D55EAB75410 Time : 0.0 sec. user=mdettweiler [2016-05-28 18:57:11] 721*2^1430673-1 is not prime. Res64: 3082482582F39295 Time : 0.0 sec. user=mdettweiler [2016-05-28 18:57:12] 739*2^1430673-1 is not prime. Res64: CB56D2ABB29A52FA Time : 0.0 sec. user=mdettweiler [2016-05-28 18:57:12] 829*2^1430673-1 is not prime. Res64: EB3162F6329507C7 Time : 0.0 sec. user=mdettweiler [2016-05-28 19:13:32] 937*2^1430673-1 is not prime. Res64: 9EE80E22DFB8041B Time : 0.0 sec. user=mdettweiler [2016-05-28 19:13:32] 675*2^1430674-1 is not prime. Res64: ABF2E20E03822B59 Time : 0.0 sec. user=mdettweiler [2016-05-28 19:13:33] 773*2^1430674-1 is not prime. Res64: BD1C3AD7F10D0D65 Time : 0.0 sec. user=mdettweiler [2016-05-28 19:13:33] 813*2^1430674-1 is not prime. Res64: 4EA9CAF850A68A0A Time : 0.0 sec. user=mdettweiler [2016-05-28 19:13:33] 891*2^1430674-1 is not prime. Res64: 121A69B030FCDDC9 Time : 0.0 sec. user=mdettweiler [2016-05-28 19:32:15] 915*2^1430674-1 is not prime. Res64: 7436F5D2591A6C6C Time : 0.0 sec. user=mdettweiler [2016-05-28 19:32:15] 971*2^1430674-1 is not prime. Res64: 608D07012C269875 Time : 0.0 sec. user=mdettweiler [2016-05-28 19:32:16] 603*2^1430675-1 is not prime. Res64: E1B5477ECD1F868C Time : 0.0 sec. user=mdettweiler [2016-05-28 19:32:16] 655*2^1430675-1 is not prime. Res64: 591659196843A991 Time : 0.0 sec. user=mdettweiler [2016-05-28 19:32:16] 693*2^1430675-1 is not prime. Res64: 84271F6F864E6CA5 Time : 0.0 sec. user=mdettweiler [2016-05-28 19:33:42] 733*2^1430675-1 is not prime. Res64: 056CDD1739B0FA18 Time : 0.0 sec. user=mdettweiler [2016-05-28 19:33:42] 771*2^1430675-1 is not prime. Res64: 9A561EF0D47860EF Time : 0.0 sec. user=mdettweiler [2016-05-28 19:33:43] 799*2^1430675-1 is not prime. Res64: F1C32784D46F1D89 Time : 0.0 sec. user=mdettweiler [2016-05-28 19:33:43] 915*2^1430675-1 is not prime. Res64: 21CB8D507707A35D Time : 0.0 sec. user=mdettweiler [2016-05-28 19:33:43] 969*2^1430675-1 is not prime. Res64: 1AC6328FA25C06B4 Time : 0.0 sec. user=mdettweiler [2016-05-28 19:42:34] 635*2^1430676-1 is not prime. Res64: E9369BC2473AE8ED Time : 0.0 sec. user=mdettweiler [2016-05-28 19:42:34] 695*2^1430676-1 is not prime. Res64: A8ED0F24295B1797 Time : 0.0 sec. user=mdettweiler [2016-05-28 19:42:35] 737*2^1430676-1 is not prime. Res64: 31E98F5A3B884B08 Time : 0.0 sec. user=mdettweiler [2016-05-28 19:42:35] 767*2^1430676-1 is not prime. Res64: 3267F3CF0912DE97 Time : 0.0 sec. user=mdettweiler [2016-05-28 19:42:36] 783*2^1430676-1 is not prime. Res64: 417B5F5D45594817 Time : 0.0 sec. user=mdettweiler [2016-05-28 19:58:48] 857*2^1430676-1 is not prime. Res64: 34ED3C23C32BA2F1 Time : 0.0 sec. user=mdettweiler [2016-05-28 19:58:49] 927*2^1430676-1 is not prime. Res64: FF7E3127ABF73971 Time : 0.0 sec. user=mdettweiler [2016-05-28 19:58:49] 969*2^1430676-1 is not prime. Res64: CD31D67F397939A4 Time : 0.0 sec. user=mdettweiler [2016-05-28 19:58:51] 757*2^1430677-1 is not prime. Res64: F72F91C6EFAAD4F6 Time : 0.0 sec. user=mdettweiler [2016-05-28 19:58:51] 901*2^1430677-1 is not prime. Res64: 63DE1A8C92C5EBA7 Time : 0.0 sec. user=mdettweiler [2016-05-28 20:17:35] 915*2^1430677-1 is not prime. Res64: CA3B704C46000849 Time : 0.0 sec. user=mdettweiler [2016-05-28 20:17:36] 641*2^1430678-1 is not prime. Res64: C2A421053E681B0B Time : 0.0 sec. user=mdettweiler [2016-05-28 20:17:36] 743*2^1430678-1 is not prime. Res64: BD4FFB0635B17F8F Time : 0.0 sec. user=mdettweiler [2016-05-28 20:17:37] 791*2^1430678-1 is not prime. Res64: C921491070BDB37D Time : 0.0 sec. user=mdettweiler [2016-05-28 20:17:37] 915*2^1430678-1 is not prime. Res64: 548595996513C0FF Time : 0.0 sec. user=mdettweiler [2016-05-28 20:18:47] 951*2^1430678-1 is not prime. Res64: 51864A4B1BEEA7D4 Time : 0.0 sec. user=mdettweiler [2016-05-28 20:18:48] 619*2^1430679-1 is not prime. Res64: 64DAD7BE778BD38D Time : 0.0 sec. user=mdettweiler [2016-05-28 20:18:48] 663*2^1430679-1 is not prime. Res64: 77190B6B837396F6 Time : 0.0 sec. user=mdettweiler [2016-05-28 20:18:49] 669*2^1430679-1 is not prime. Res64: A4BB66B879A417FA Time : 0.0 sec. user=mdettweiler [2016-05-28 20:18:49] 711*2^1430679-1 is not prime. Res64: 57F2C0390E39D49B Time : 0.0 sec. user=mdettweiler [2016-05-28 20:27:57] 969*2^1430679-1 is not prime. Res64: 32DCAB626FE065E3 Time : 0.0 sec. user=mdettweiler [2016-05-28 20:27:57] 609*2^1430680-1 is not prime. Res64: 0140742BFAE801DE Time : 0.0 sec. user=mdettweiler [2016-05-28 20:27:58] 773*2^1430680-1 is not prime. Res64: 3298C401A705EB19 Time : 0.0 sec. user=mdettweiler [2016-05-28 20:27:58] 843*2^1430680-1 is not prime. Res64: 9A9ABF175BF7AF04 Time : 0.0 sec. user=mdettweiler [2016-05-28 20:27:59] 863*2^1430680-1 is not prime. Res64: B8220DD9FAAD744F Time : 0.0 sec. user=mdettweiler [2016-05-28 20:44:10] 917*2^1430680-1 is not prime. Res64: BCF5547F89E5365C Time : 0.0 sec. user=mdettweiler [2016-05-28 20:44:10] 933*2^1430680-1 is not prime. Res64: 8A1C8349D4507F07 Time : 0.0 sec. user=mdettweiler [2016-05-28 20:44:11] 697*2^1430681-1 is not prime. Res64: 7DC2FD8D790A11F6 Time : 0.0 sec. user=mdettweiler [2016-05-28 20:44:11] 717*2^1430681-1 is not prime. Res64: CDCF66D61543C7D2 Time : 0.0 sec. user=mdettweiler [2016-05-28 20:44:12] 745*2^1430681-1 is not prime. Res64: E1474B638B86253F Time : 0.0 sec. user=mdettweiler [2016-05-28 21:03:01] 837*2^1430681-1 is not prime. Res64: 0B57AE28A3B68A02 Time : 0.0 sec. user=mdettweiler [2016-05-28 21:03:02] 925*2^1430681-1 is not prime. Res64: E6CDC725C90670B2 Time : 0.0 sec. user=mdettweiler [2016-05-28 21:03:03] 979*2^1430681-1 is not prime. Res64: D964E0C9BBE00024 Time : 0.0 sec. user=mdettweiler [2016-05-28 21:03:04] 611*2^1430682-1 is not prime. Res64: 3B2DF3EDE7434231 Time : 0.0 sec. user=mdettweiler [2016-05-28 21:03:05] 621*2^1430682-1 is not prime. Res64: 6CE0D1F9E3F03029 Time : 0.0 sec. user=mdettweiler [2016-05-28 21:04:09] 633*2^1430682-1 is not prime. Res64: AF5B009BB08D2977 Time : 0.0 sec. user=mdettweiler [2016-05-28 21:04:10] 711*2^1430682-1 is not prime. Res64: CC6232E079627BE1 Time : 0.0 sec. user=mdettweiler [2016-05-28 21:04:11] 723*2^1430682-1 is not prime. Res64: 46FF1215846306FB Time : 0.0 sec. user=mdettweiler [2016-05-28 21:04:12] 765*2^1430682-1 is not prime. Res64: 1BF0B8575E2AF7F7 Time : 0.0 sec. user=mdettweiler [2016-05-28 21:04:13] 815*2^1430682-1 is not prime. Res64: B87CA49A84CEFB75 Time : 0.0 sec. user=mdettweiler [2016-05-28 21:13:16] 915*2^1430682-1 is not prime. Res64: 6563CC2BF27D05B4 Time : 0.0 sec. user=mdettweiler [2016-05-28 21:13:17] 951*2^1430682-1 is not prime. Res64: DFD6018758818465 Time : 0.0 sec. user=mdettweiler [2016-05-28 21:13:17] 621*2^1430683-1 is not prime. Res64: 8E05B27F2413E17D Time : 0.0 sec. user=mdettweiler [2016-05-28 21:13:18] 625*2^1430683-1 is not prime. Res64: B1E7A627BF6F627B Time : 0.0 sec. user=mdettweiler [2016-05-28 21:13:18] 691*2^1430683-1 is not prime. Res64: 065BFE541D5B8D30 Time : 0.0 sec. user=mdettweiler [2016-05-28 21:29:29] 693*2^1430683-1 is not prime. Res64: 616AD2633628C7BD Time : 0.0 sec. user=mdettweiler [2016-05-28 21:29:30] 751*2^1430683-1 is not prime. Res64: F8D3715E992A0E85 Time : 0.0 sec. user=mdettweiler [2016-05-28 21:29:30] 769*2^1430683-1 is not prime. Res64: 8FAEDFC230576FFF Time : 0.0 sec. user=mdettweiler [2016-05-28 21:29:31] 805*2^1430683-1 is not prime. Res64: 140647BCE94200A6 Time : 0.0 sec. user=mdettweiler [2016-05-28 21:29:31] 819*2^1430683-1 is not prime. Res64: FD11207E748ACF01 Time : 0.0 sec. user=mdettweiler [2016-05-28 21:48:40] 853*2^1430683-1 is not prime. Res64: 6922D71004483622 Time : 0.0 sec. user=mdettweiler [2016-05-28 21:48:40] 939*2^1430683-1 is not prime. Res64: 8F153D00CD3498E6 Time : 0.0 sec. user=mdettweiler [2016-05-28 21:48:41] 803*2^1430684-1 is not prime. Res64: 26620B3A38712A85 Time : 0.0 sec. user=mdettweiler [2016-05-28 21:48:41] 935*2^1430684-1 is not prime. Res64: FFFBAAD2328BF57E Time : 0.0 sec. user=mdettweiler [2016-05-28 21:48:42] 953*2^1430684-1 is not prime. Res64: A6645D57AC61391A Time : 0.0 sec. user=mdettweiler [2016-05-28 21:49:59] 679*2^1430685-1 is not prime. Res64: A31C190816DFD62B Time : 0.0 sec. user=mdettweiler [2016-05-28 21:49:59] 961*2^1430685-1 is not prime. Res64: 7E2291668B15F114 Time : 0.0 sec. user=mdettweiler [2016-05-28 21:50:00] 975*2^1430685-1 is not prime. Res64: 618162BF4119E775 Time : 0.0 sec. user=mdettweiler [2016-05-28 21:50:00] 999*2^1430685-1 is not prime. Res64: 1E411A1BB67BA19D Time : 0.0 sec. user=mdettweiler [2016-05-28 21:50:00] 647*2^1430686-1 is not prime. Res64: 649C026F5F65B172 Time : 0.0 sec. user=mdettweiler [2016-05-28 21:58:50] 653*2^1430686-1 is not prime. Res64: BDEEA701CC869AF9 Time : 0.0 sec. user=mdettweiler [2016-05-28 21:58:51] 713*2^1430686-1 is not prime. Res64: E2DB666F268AC934 Time : 0.0 sec. user=mdettweiler [2016-05-28 21:58:51] 773*2^1430686-1 is not prime. Res64: 45F4C2E4A6D13E6F Time : 0.0 sec. user=mdettweiler [2016-05-28 21:58:51] 801*2^1430686-1 is not prime. Res64: CC4589AB7057487D Time : 0.0 sec. user=mdettweiler [2016-05-28 21:58:52] 815*2^1430686-1 is not prime. Res64: E8472F04B169AB2E Time : 0.0 sec. user=mdettweiler [2016-05-28 22:14:45] 897*2^1430686-1 is not prime. Res64: 00C6050D2A4C56D3 Time : 0.0 sec. user=mdettweiler [2016-05-28 22:14:45] 923*2^1430686-1 is not prime. Res64: 6137E71B39FB2942 Time : 0.0 sec. user=mdettweiler [2016-05-28 22:14:46] 971*2^1430686-1 is not prime. Res64: E01021CC04751252 Time : 0.0 sec. user=mdettweiler [2016-05-28 22:14:46] 987*2^1430686-1 is not prime. Res64: 284721F395CFB682 Time : 0.0 sec. user=mdettweiler [2016-05-28 22:14:47] 601*2^1430687-1 is not prime. Res64: 0F2A47E1F59653AF Time : 0.0 sec. user=mdettweiler [2016-05-28 22:34:15] 651*2^1430687-1 is not prime. Res64: E70D2F099627A557 Time : 0.0 sec. user=mdettweiler [2016-05-28 22:34:16] 693*2^1430687-1 is not prime. Res64: FECCD01183001D4B Time : 0.0 sec. user=mdettweiler [2016-05-28 22:34:18] 715*2^1430687-1 is not prime. Res64: 58F1ACB5290513D2 Time : 0.0 sec. user=mdettweiler [2016-05-28 22:34:19] 885*2^1430687-1 is not prime. Res64: DB2C75D9200D83BC Time : 0.0 sec. user=mdettweiler [2016-05-28 22:34:19] 909*2^1430687-1 is not prime. Res64: 5FA71685E187FD9A Time : 0.0 sec. user=mdettweiler [2016-05-28 22:35:16] 747*2^1430688-1 is not prime. Res64: 83169662299EFFFB Time : 0.0 sec. user=mdettweiler [2016-05-28 22:35:17] 819*2^1430688-1 is not prime. Res64: 771883F230604E39 Time : 0.0 sec. user=mdettweiler [2016-05-28 22:35:17] 999*2^1430688-1 is not prime. Res64: 193760738541BF94 Time : 0.0 sec. user=mdettweiler [2016-05-28 22:35:18] 649*2^1430689-1 is not prime. Res64: 1137D0E2FF2D1984 Time : 0.0 sec. user=mdettweiler [2016-05-28 22:35:18] 897*2^1430689-1 is not prime. Res64: 8600B8B494518A3A Time : 0.0 sec. user=mdettweiler [2016-05-28 22:44:16] 919*2^1430689-1 is not prime. Res64: 95420AC0EC5F8F45 Time : 0.0 sec. user=mdettweiler [2016-05-28 22:44:16] 955*2^1430689-1 is not prime. Res64: 56C0B721FBEF34FE Time : 0.0 sec. user=mdettweiler [2016-05-28 22:44:17] 975*2^1430689-1 is not prime. Res64: 9A290C0A7E66BB1A Time : 0.0 sec. user=mdettweiler [2016-05-28 22:44:17] 635*2^1430690-1 is not prime. Res64: D0E489B834C14C60 Time : 0.0 sec. user=mdettweiler [2016-05-28 22:44:18] 641*2^1430690-1 is not prime. Res64: E58028CC5C50F283 Time : 0.0 sec. user=mdettweiler [2016-05-28 23:00:03] 741*2^1430690-1 is not prime. Res64: 064F27616D76F343 Time : 0.0 sec. user=mdettweiler [2016-05-28 23:00:04] 995*2^1430690-1 is not prime. Res64: 14D9454591C2AE7E Time : 0.0 sec. user=mdettweiler [2016-05-28 23:00:04] 753*2^1430691-1 is not prime. Res64: DE58D64E64C3BEA4 Time : 0.0 sec. user=mdettweiler [2016-05-28 23:00:05] 789*2^1430691-1 is not prime. Res64: E736C62735D34301 Time : 0.0 sec. user=mdettweiler [2016-05-28 23:00:05] 793*2^1430691-1 is not prime. Res64: B7D9CAF9A31BB153 Time : 0.0 sec. user=mdettweiler [2016-05-28 23:19:32] 829*2^1430691-1 is not prime. Res64: 7F01A25D889F45AD Time : 0.0 sec. user=mdettweiler [2016-05-28 23:19:33] 835*2^1430691-1 is not prime. Res64: 61CC5DAB378C32F7 Time : 0.0 sec. user=mdettweiler [2016-05-28 23:19:33] 913*2^1430691-1 is not prime. Res64: A5F892E3E372F52D Time : 0.0 sec. user=mdettweiler [2016-05-28 23:19:34] 639*2^1430692-1 is not prime. Res64: 744DB32529AE7B79 Time : 0.0 sec. user=mdettweiler [2016-05-28 23:19:34] 693*2^1430692-1 is not prime. Res64: A417F392E6B4E019 Time : 0.0 sec. user=mdettweiler [2016-05-28 23:20:30] 695*2^1430692-1 is not prime. Res64: 56325930992DFD2F Time : 0.0 sec. user=mdettweiler [2016-05-28 23:20:31] 705*2^1430692-1 is not prime. Res64: 916C894DE7F88FD8 Time : 0.0 sec. user=mdettweiler [2016-05-28 23:20:31] 735*2^1430692-1 is not prime. Res64: 8E9FF93A4F72DC0A Time : 0.0 sec. user=mdettweiler [2016-05-28 23:20:31] 833*2^1430692-1 is not prime. Res64: 7BFFA3038E362BB3 Time : 0.0 sec. user=mdettweiler [2016-05-28 23:20:32] 875*2^1430692-1 is not prime. Res64: 8A7DAEB4ABCB5A41 Time : 0.0 sec. user=mdettweiler [2016-05-28 23:29:26] 885*2^1430692-1 is not prime. Res64: 99C0237BEF3FDE10 Time : 0.0 sec. user=mdettweiler [2016-05-28 23:29:26] 887*2^1430692-1 is not prime. Res64: 74DE5D6B5059F4AD Time : 0.0 sec. user=mdettweiler [2016-05-28 23:29:26] 939*2^1430692-1 is not prime. Res64: 55B44F98DB0E245B Time : 0.0 sec. user=mdettweiler [2016-05-28 23:29:27] 669*2^1430693-1 is not prime. Res64: 14B9ADC4AA63FCA6 Time : 0.0 sec. user=mdettweiler [2016-05-28 23:29:27] 759*2^1430693-1 is not prime. Res64: 5066C6EBBCCE4BD6 Time : 0.0 sec. user=mdettweiler [2016-05-28 23:45:39] 771*2^1430693-1 is not prime. Res64: 5D002796B4ED545C Time : 0.0 sec. user=mdettweiler [2016-05-28 23:45:39] 871*2^1430693-1 is not prime. Res64: 4F31D11609EDC096 Time : 0.0 sec. user=mdettweiler [2016-05-28 23:45:39] 987*2^1430693-1 is not prime. Res64: A9F3F681742A437A Time : 0.0 sec. user=mdettweiler [2016-05-28 23:45:40] 683*2^1430694-1 is not prime. Res64: 96FDAE90A95A0822 Time : 0.0 sec. user=mdettweiler [2016-05-28 23:45:40] 693*2^1430694-1 is not prime. Res64: CCC03FDDE714115B Time : 0.0 sec.