user=mdettweiler [2016-10-08 00:21:32] 699*2^1442035-1 is not prime. Res64: 0592AAA3812FD08E Time : 0.0 sec. user=mdettweiler [2016-10-08 00:21:32] 709*2^1442035-1 is not prime. Res64: 47205D8D4E35B6E2 Time : 0.0 sec. user=mdettweiler [2016-10-08 00:21:32] 715*2^1442035-1 is not prime. Res64: 257FA7648F276368 Time : 0.0 sec. user=mdettweiler [2016-10-08 00:21:33] 735*2^1442035-1 is not prime. Res64: 4906E16A01E3D8F9 Time : 0.0 sec. user=mdettweiler [2016-10-08 00:21:33] 793*2^1442035-1 is not prime. Res64: 33D436808625CA80 Time : 0.0 sec. user=mdettweiler [2016-10-08 00:21:46] 925*2^1442035-1 is not prime. Res64: 770D770263524709 Time : 0.0 sec. user=mdettweiler [2016-10-08 00:21:46] 969*2^1442035-1 is not prime. Res64: 733A73E1731B9CC3 Time : 0.0 sec. user=mdettweiler [2016-10-08 00:21:46] 659*2^1442036-1 is not prime. Res64: 4695F784015C2ECA Time : 0.0 sec. user=mdettweiler [2016-10-08 00:21:46] 707*2^1442036-1 is not prime. Res64: 8F5901F9F7A3FF46 Time : 0.0 sec. user=mdettweiler [2016-10-08 00:21:47] 789*2^1442036-1 is not prime. Res64: 590468D3A68E1A0F Time : 0.0 sec. user=mdettweiler [2016-10-08 00:30:14] 825*2^1442036-1 is not prime. Res64: FA2829BF78DADF47 Time : 0.0 sec. user=mdettweiler [2016-10-08 00:30:14] 607*2^1442037-1 is not prime. Res64: 85763CBC0A42A274 Time : 0.0 sec. user=mdettweiler [2016-10-08 00:30:15] 625*2^1442037-1 is not prime. Res64: F2F086114CF3C092 Time : 0.0 sec. user=mdettweiler [2016-10-08 00:30:15] 699*2^1442037-1 is not prime. Res64: 862B51AAB9D226A9 Time : 0.0 sec. user=mdettweiler [2016-10-08 00:30:15] 861*2^1442037-1 is not prime. Res64: 139EF2780F6664CD Time : 0.0 sec. user=mdettweiler [2016-10-08 00:34:02] 885*2^1442037-1 is not prime. Res64: 120283BB1BF19D43 Time : 0.0 sec. user=mdettweiler [2016-10-08 00:34:02] 945*2^1442037-1 is not prime. Res64: 083CA60D248FBED5 Time : 0.0 sec. user=mdettweiler [2016-10-08 00:34:03] 605*2^1442038-1 is not prime. Res64: 4A251F0CA038FD2A Time : 0.0 sec. user=mdettweiler [2016-10-08 00:34:03] 645*2^1442038-1 is not prime. Res64: F05D61D4A0BD848C Time : 0.0 sec. user=mdettweiler [2016-10-08 00:34:03] 681*2^1442038-1 is not prime. Res64: 74E3FA00F1CAF5B4 Time : 0.0 sec. user=mdettweiler [2016-10-08 01:06:47] 705*2^1442038-1 is not prime. Res64: C2FD8835A35CF716 Time : 0.0 sec. user=mdettweiler [2016-10-08 01:06:49] 707*2^1442038-1 is not prime. Res64: E29E4390952699A8 Time : 0.0 sec. user=mdettweiler [2016-10-08 01:06:52] 831*2^1442038-1 is not prime. Res64: 12C721CF280E1F83 Time : 0.0 sec. user=mdettweiler [2016-10-08 01:06:53] 885*2^1442038-1 is not prime. Res64: 4406280CBB297360 Time : 0.0 sec. user=mdettweiler [2016-10-08 01:06:56] 957*2^1442038-1 is not prime. Res64: 19496E809D5C0530 Time : 0.0 sec. user=mdettweiler [2016-10-08 01:07:08] 669*2^1442039-1 is not prime. Res64: D3FB009A13FC4E92 Time : 0.0 sec. user=mdettweiler [2016-10-08 01:07:09] 675*2^1442039-1 is not prime. Res64: 561E773D4AECDEAC Time : 0.0 sec. user=mdettweiler [2016-10-08 01:07:10] 831*2^1442039-1 is not prime. Res64: F5453775C4269C4B Time : 0.0 sec. user=mdettweiler [2016-10-08 01:07:11] 913*2^1442039-1 is not prime. Res64: 12896B9776112C4A Time : 0.0 sec. user=mdettweiler [2016-10-08 01:07:12] 969*2^1442039-1 is not prime. Res64: 14019F076CB8C0D4 Time : 0.0 sec. user=mdettweiler [2016-10-08 01:15:48] 707*2^1442040-1 is not prime. Res64: CB45A1C11518CA4D Time : 0.0 sec. user=mdettweiler [2016-10-08 01:15:48] 737*2^1442040-1 is not prime. Res64: BA1CAAE9C02744B0 Time : 0.0 sec. user=mdettweiler [2016-10-08 01:15:48] 765*2^1442040-1 is not prime. Res64: 69EE5356AB7D20E8 Time : 0.0 sec. user=mdettweiler [2016-10-08 01:15:48] 789*2^1442040-1 is not prime. Res64: BAC820B019C3C49E Time : 0.0 sec. user=mdettweiler [2016-10-08 01:15:49] 797*2^1442040-1 is not prime. Res64: FF8A329BCE71FB6C Time : 0.0 sec. user=mdettweiler [2016-10-08 01:19:26] 899*2^1442040-1 is not prime. Res64: A796F7EFBDF228C7 Time : 0.0 sec. user=mdettweiler [2016-10-08 01:19:26] 945*2^1442040-1 is not prime. Res64: B08214FA614CC955 Time : 0.0 sec. user=mdettweiler [2016-10-08 01:19:26] 959*2^1442040-1 is not prime. Res64: 4421A61545B52DA3 Time : 0.0 sec. user=mdettweiler [2016-10-08 01:19:27] 615*2^1442041-1 is not prime. Res64: 732C7F5457E54767 Time : 0.0 sec. user=mdettweiler [2016-10-08 01:19:27] 747*2^1442041-1 is not prime. Res64: 7351E0B46CD73638 Time : 0.0 sec. user=mdettweiler [2016-10-08 01:52:19] 805*2^1442041-1 is not prime. Res64: C582D493F1FCACC2 Time : 0.0 sec. user=mdettweiler [2016-10-08 01:52:19] 871*2^1442041-1 is not prime. Res64: 499AD2A4F81DA9CC Time : 0.0 sec. user=mdettweiler [2016-10-08 01:52:20] 931*2^1442041-1 is not prime. Res64: 0331445D67B1CF06 Time : 0.0 sec. user=mdettweiler [2016-10-08 01:52:20] 997*2^1442041-1 is not prime. Res64: 06E3C3AF043FA3B8 Time : 0.0 sec. user=mdettweiler [2016-10-08 01:52:20] 657*2^1442042-1 is not prime. Res64: 700E8C0206FB7644 Time : 0.0 sec. user=mdettweiler [2016-10-08 01:52:54] 713*2^1442042-1 is not prime. Res64: CE3F396BA474A8CF Time : 0.0 sec. user=mdettweiler [2016-10-08 01:52:54] 741*2^1442042-1 is not prime. Res64: 1C8BB49B21D23916 Time : 0.0 sec. user=mdettweiler [2016-10-08 01:52:54] 743*2^1442042-1 is not prime. Res64: D28F2C6DC8973B8F Time : 0.0 sec. user=mdettweiler [2016-10-08 01:52:55] 791*2^1442042-1 is not prime. Res64: F48DB3EB02C4BE8E Time : 0.0 sec. user=mdettweiler [2016-10-08 01:52:55] 917*2^1442042-1 is not prime. Res64: A261A1E83393A99D Time : 0.0 sec. user=mdettweiler [2016-10-08 02:01:16] 613*2^1442043-1 is not prime. Res64: B0D3C885EE2FEC54 Time : 0.0 sec. user=mdettweiler [2016-10-08 02:01:17] 675*2^1442043-1 is not prime. Res64: A786D1FA502059F6 Time : 0.0 sec. user=mdettweiler [2016-10-08 02:01:18] 745*2^1442043-1 is not prime. Res64: EC90881FEF9B8752 Time : 0.0 sec. user=mdettweiler [2016-10-08 02:01:19] 775*2^1442043-1 is not prime. Res64: C82452BCB9E6A321 Time : 0.0 sec. user=mdettweiler [2016-10-08 02:01:20] 801*2^1442043-1 is not prime. Res64: 2B3C4A4BEADA286C Time : 0.0 sec. user=mdettweiler [2016-10-08 02:04:47] 859*2^1442043-1 is not prime. Res64: 7E64D666B9B59C99 Time : 0.0 sec. user=mdettweiler [2016-10-08 02:04:51] 759*2^1442044-1 is not prime. Res64: F0BB6122D1218F9E Time : 0.0 sec. user=mdettweiler [2016-10-08 02:04:53] 813*2^1442044-1 is not prime. Res64: E0816CE0FC474B2F Time : 0.0 sec. user=mdettweiler [2016-10-08 02:04:56] 833*2^1442044-1 is not prime. Res64: 9A03F6B179CD3CE2 Time : 0.0 sec. user=mdettweiler [2016-10-08 02:04:58] 927*2^1442044-1 is not prime. Res64: 064481CDDCF0F789 Time : 0.0 sec. user=mdettweiler [2016-10-08 02:38:44] 953*2^1442044-1 is not prime. Res64: AE28F5578C1A35B8 Time : 0.0 sec. user=mdettweiler [2016-10-08 02:38:44] 657*2^1442045-1 is not prime. Res64: 1B47C0EA7A8B543B Time : 0.0 sec. user=mdettweiler [2016-10-08 02:38:44] 741*2^1442045-1 is not prime. Res64: 7D99B05B10CC21DD Time : 0.0 sec. user=mdettweiler [2016-10-08 02:38:45] 789*2^1442045-1 is not prime. Res64: 61EA0CCC73C59086 Time : 0.0 sec. user=mdettweiler [2016-10-08 02:38:45] 871*2^1442045-1 is not prime. Res64: 4097EF46C056FEB5 Time : 0.0 sec. user=mdettweiler [2016-10-08 02:39:16] 889*2^1442045-1 is not prime. Res64: 48DD957D0F72B3C1 Time : 0.0 sec. user=mdettweiler [2016-10-08 02:39:16] 939*2^1442045-1 is not prime. Res64: 9943AC9AA075CA96 Time : 0.0 sec. user=mdettweiler [2016-10-08 02:39:16] 991*2^1442045-1 is not prime. Res64: 0D1CBA8892629426 Time : 0.0 sec. user=mdettweiler [2016-10-08 02:39:16] 741*2^1442046-1 is not prime. Res64: 029B6CB93A5A6F09 Time : 0.0 sec. user=mdettweiler [2016-10-08 02:39:17] 755*2^1442046-1 is not prime. Res64: 40686A7A540C15B4 Time : 0.0 sec. user=mdettweiler [2016-10-08 02:47:42] 783*2^1442046-1 is not prime. Res64: 3065DA60215E222C Time : 0.0 sec. user=mdettweiler [2016-10-08 02:47:42] 619*2^1442047-1 is not prime. Res64: 37DA8EB73ADF1F83 Time : 0.0 sec. user=mdettweiler [2016-10-08 02:47:42] 769*2^1442047-1 is not prime. Res64: A6C028EA2713D805 Time : 0.0 sec. user=mdettweiler [2016-10-08 02:47:43] 843*2^1442047-1 is not prime. Res64: B455258105D70A94 Time : 0.0 sec. user=mdettweiler [2016-10-08 02:47:43] 861*2^1442047-1 is not prime. Res64: 659200D215246158 Time : 0.0 sec. user=mdettweiler [2016-10-08 02:51:40] 891*2^1442047-1 is not prime. Res64: 7278C9A132776271 Time : 0.0 sec. user=mdettweiler [2016-10-08 02:51:40] 933*2^1442047-1 is not prime. Res64: E088A14F29DEF129 Time : 0.0 sec. user=mdettweiler [2016-10-08 02:51:40] 939*2^1442047-1 is not prime. Res64: C35840FAACD3E13E Time : 0.0 sec. user=mdettweiler [2016-10-08 02:51:41] 961*2^1442047-1 is not prime. Res64: C2209665240CB3AD Time : 0.0 sec. user=mdettweiler [2016-10-08 02:51:41] 635*2^1442048-1 is not prime. Res64: AC8462B4BEAADC7D Time : 0.0 sec. user=mdettweiler [2016-10-08 03:24:15] 687*2^1442048-1 is not prime. Res64: C33F23B2F0E2EBCC Time : 0.0 sec. user=mdettweiler [2016-10-08 03:24:16] 699*2^1442048-1 is not prime. Res64: E903F09C9351EED8 Time : 0.0 sec. user=mdettweiler [2016-10-08 03:24:16] 927*2^1442048-1 is not prime. Res64: A5C9DA41E1AF9011 Time : 0.0 sec. user=mdettweiler [2016-10-08 03:24:16] 935*2^1442048-1 is not prime. Res64: 5BE05E1FA587069F Time : 0.0 sec. user=mdettweiler [2016-10-08 03:24:16] 945*2^1442048-1 is not prime. Res64: 6E3CD8B7583DB3A6 Time : 0.0 sec. user=mdettweiler [2016-10-08 03:24:38] 781*2^1442049-1 is not prime. Res64: 2E301B7D39C7E472 Time : 0.0 sec. user=mdettweiler [2016-10-08 03:24:38] 837*2^1442049-1 is not prime. Res64: FB01F7B1BE011E77 Time : 0.0 sec. user=mdettweiler [2016-10-08 03:24:38] 861*2^1442049-1 is not prime. Res64: E24908D1EE2E2A43 Time : 0.0 sec. user=mdettweiler [2016-10-08 03:24:39] 949*2^1442049-1 is not prime. Res64: 1371EE989CEB5C33 Time : 0.0 sec. user=mdettweiler [2016-10-08 03:24:39] 955*2^1442049-1 is not prime. Res64: 004D2D80B2AB9B6D Time : 0.0 sec. user=mdettweiler [2016-10-08 03:33:09] 675*2^1442050-1 is not prime. Res64: FD3459C38C871E64 Time : 0.0 sec. user=mdettweiler [2016-10-08 03:33:10] 803*2^1442050-1 is not prime. Res64: 25BAC2DDE0CECA67 Time : 0.0 sec. user=mdettweiler [2016-10-08 03:33:11] 911*2^1442050-1 is not prime. Res64: 828D3DF3950FC181 Time : 0.0 sec. user=mdettweiler [2016-10-08 03:33:12] 609*2^1442051-1 is not prime. Res64: 282CE351DDFAA725 Time : 0.0 sec. user=mdettweiler [2016-10-08 03:33:13] 615*2^1442051-1 is not prime. Res64: 6BB99C2365C68DEF Time : 0.0 sec. user=mdettweiler [2016-10-08 03:36:58] 675*2^1442051-1 is not prime. Res64: D2FF924AC2255A84 Time : 0.0 sec. user=mdettweiler [2016-10-08 03:36:59] 693*2^1442051-1 is not prime. Res64: 20D5E8E33F2F2BCB Time : 0.0 sec. user=mdettweiler [2016-10-08 03:37:00] 759*2^1442051-1 is not prime. Res64: 68AF27EE1BF7839C Time : 0.0 sec. user=mdettweiler [2016-10-08 03:37:01] 669*2^1442052-1 is not prime. Res64: EF156E6C8D120B6B Time : 0.0 sec. user=mdettweiler [2016-10-08 03:37:01] 675*2^1442052-1 is not prime. Res64: 35A2BB20933762C9 Time : 0.0 sec. user=mdettweiler [2016-10-08 04:09:35] 929*2^1442052-1 is not prime. Res64: F05EDC6F91FC505C Time : 0.0 sec. user=mdettweiler [2016-10-08 04:09:38] 947*2^1442052-1 is not prime. Res64: 3AA7973A45DAEB84 Time : 0.0 sec. user=mdettweiler [2016-10-08 04:09:40] 983*2^1442052-1 is not prime. Res64: AD17D84A315210AD Time : 0.0 sec. user=mdettweiler [2016-10-08 04:09:41] 615*2^1442053-1 is not prime. Res64: 30E76A43874963DE Time : 0.0 sec. user=mdettweiler [2016-10-08 04:09:42] 639*2^1442053-1 is not prime. Res64: C1EF63D72B727CFA Time : 0.0 sec. user=mdettweiler [2016-10-08 04:10:14] 679*2^1442053-1 is not prime. Res64: 9DC4BDDF3A459D52 Time : 0.0 sec. user=mdettweiler [2016-10-08 04:10:16] 745*2^1442053-1 is not prime. Res64: A1834256E89AA472 Time : 0.0 sec. user=mdettweiler [2016-10-08 04:10:17] 771*2^1442053-1 is not prime. Res64: F511BFF1CF64759F Time : 0.0 sec. user=mdettweiler [2016-10-08 04:10:19] 889*2^1442053-1 is not prime. Res64: B8D782ACFD29CC08 Time : 0.0 sec. user=mdettweiler [2016-10-08 04:10:20] 901*2^1442053-1 is not prime. Res64: B9AA5DBC2EF591BD Time : 0.0 sec. user=mdettweiler [2016-10-08 04:18:45] 623*2^1442054-1 is not prime. Res64: 594DF50298AA82BD Time : 0.0 sec. user=mdettweiler [2016-10-08 04:18:45] 641*2^1442054-1 is not prime. Res64: 40449BAD0C9BAD44 Time : 0.0 sec. user=mdettweiler [2016-10-08 04:18:46] 645*2^1442054-1 is not prime. Res64: 9EAA22E9080DF516 Time : 0.0 sec. user=mdettweiler [2016-10-08 04:18:46] 705*2^1442054-1 is not prime. Res64: 315CAEDC8238B7B8 Time : 0.0 sec. user=mdettweiler [2016-10-08 04:18:46] 825*2^1442054-1 is not prime. Res64: DB673EF05B9B92FD Time : 0.0 sec. user=mdettweiler [2016-10-08 04:22:39] 831*2^1442054-1 is not prime. Res64: 34912F6AFC555880 Time : 0.0 sec. user=mdettweiler [2016-10-08 04:22:40] 915*2^1442054-1 is not prime. Res64: 5D9B330230EFC535 Time : 0.0 sec. user=mdettweiler [2016-10-08 04:22:40] 693*2^1442055-1 is not prime. Res64: 51BD4855E7A3F2C3 Time : 0.0 sec. user=mdettweiler [2016-10-08 04:22:40] 751*2^1442055-1 is not prime. Res64: C02FD1C82812F865 Time : 0.0 sec. user=mdettweiler [2016-10-08 04:22:40] 763*2^1442055-1 is not prime. Res64: 0E152358686BA654 Time : 0.0 sec. user=mdettweiler [2016-10-08 04:55:17] 781*2^1442055-1 is not prime. Res64: 01B283C26BFEC4F0 Time : 0.0 sec. user=mdettweiler [2016-10-08 04:55:18] 895*2^1442055-1 is not prime. Res64: AA08C130373F3D22 Time : 0.0 sec. user=mdettweiler [2016-10-08 04:55:18] 759*2^1442056-1 is not prime. Res64: 8DF711567D5A3ECF Time : 0.0 sec. user=mdettweiler [2016-10-08 04:55:18] 803*2^1442056-1 is not prime. Res64: DAB4FA451DB628E8 Time : 0.0 sec. user=mdettweiler [2016-10-08 04:55:18] 857*2^1442056-1 is not prime. Res64: B3D0A4CDF8B5E0EE Time : 0.0 sec. user=mdettweiler [2016-10-08 04:56:09] 887*2^1442056-1 is not prime. Res64: 08EC4FD54E87B801 Time : 0.0 sec. user=mdettweiler [2016-10-08 04:56:09] 903*2^1442056-1 is not prime. Res64: 5D4EB0694659AB6D Time : 0.0 sec. user=mdettweiler [2016-10-08 04:56:09] 923*2^1442056-1 is not prime. Res64: 43E4853364EF9E6C Time : 0.0 sec. user=mdettweiler [2016-10-08 04:56:09] 933*2^1442056-1 is not prime. Res64: 51618E67759BEFBB Time : 0.0 sec. user=mdettweiler [2016-10-08 04:56:10] 675*2^1442057-1 is not prime. Res64: DF16453F4477274D Time : 0.0 sec. user=mdettweiler [2016-10-08 05:04:18] 759*2^1442057-1 is not prime. Res64: 74465D62A0D47D9E Time : 0.0 sec. user=mdettweiler [2016-10-08 05:04:19] 781*2^1442057-1 is not prime. Res64: C25EB7C1A1AB1F2B Time : 0.0 sec. user=mdettweiler [2016-10-08 05:04:20] 871*2^1442057-1 is not prime. Res64: 5610080EFD8FE922 Time : 0.0 sec. user=mdettweiler [2016-10-08 05:04:21] 957*2^1442057-1 is not prime. Res64: C401684B2FA5694F Time : 0.0 sec. user=mdettweiler [2016-10-08 05:04:22] 663*2^1442058-1 is not prime. Res64: 9967FEC4E80F8E21 Time : 0.0 sec. user=mdettweiler [2016-10-08 05:08:11] 767*2^1442058-1 is not prime. Res64: A1E86977CD294EAF Time : 0.0 sec. user=mdettweiler [2016-10-08 05:08:11] 777*2^1442058-1 is not prime. Res64: 189A5474C7A4A844 Time : 0.0 sec. user=mdettweiler [2016-10-08 05:08:11] 843*2^1442058-1 is not prime. Res64: 91C2F0BABBA01403 Time : 0.0 sec. user=mdettweiler [2016-10-08 05:08:12] 691*2^1442059-1 is not prime. Res64: 6DF5276AB41DCE2E Time : 0.0 sec. user=mdettweiler [2016-10-08 05:08:12] 703*2^1442059-1 is not prime. Res64: 8D7ED8E6E6D259C9 Time : 0.0 sec. user=mdettweiler [2016-10-08 05:40:43] 735*2^1442059-1 is not prime. Res64: F458144B78A3E339 Time : 0.0 sec. user=mdettweiler [2016-10-08 05:40:43] 759*2^1442059-1 is not prime. Res64: FAE309835BAD044F Time : 0.0 sec. user=mdettweiler [2016-10-08 05:40:43] 789*2^1442059-1 is not prime. Res64: 762DC4ADC0D6F475 Time : 0.0 sec. user=mdettweiler [2016-10-08 05:40:43] 811*2^1442059-1 is not prime. Res64: 55FC978DA861D6B1 Time : 0.0 sec. user=mdettweiler [2016-10-08 05:40:43] 861*2^1442059-1 is not prime. Res64: C067BB8A0ECDBB81 Time : 0.0 sec. user=mdettweiler [2016-10-08 05:41:29] 961*2^1442059-1 is not prime. Res64: DAF669A4167A1EAF Time : 0.0 sec. user=mdettweiler [2016-10-08 05:41:29] 985*2^1442059-1 is not prime. Res64: 79BA963AF4FC6EDF Time : 0.0 sec. user=mdettweiler [2016-10-08 05:41:29] 755*2^1442060-1 is not prime. Res64: 4C8C0CCC6A2CDB00 Time : 0.0 sec. user=mdettweiler [2016-10-08 05:41:30] 773*2^1442060-1 is not prime. Res64: 74297DFED274BEE8 Time : 0.0 sec. user=mdettweiler [2016-10-08 05:41:30] 827*2^1442060-1 is not prime. Res64: CB7E8A1B93309105 Time : 0.0 sec. user=mdettweiler [2016-10-08 05:49:54] 857*2^1442060-1 is not prime. Res64: 1B8D81A205732942 Time : 0.0 sec. user=mdettweiler [2016-10-08 05:49:54] 923*2^1442060-1 is not prime. Res64: C1A3164691AF5E49 Time : 0.0 sec. user=mdettweiler [2016-10-08 05:49:55] 957*2^1442060-1 is not prime. Res64: 3ABBE1109D786390 Time : 0.0 sec. user=mdettweiler [2016-10-08 05:49:55] 959*2^1442060-1 is not prime. Res64: 94A78673DBFBCBCD Time : 0.0 sec. user=mdettweiler [2016-10-08 05:49:55] 963*2^1442060-1 is not prime. Res64: AE6F6B59C245A9C5 Time : 0.0 sec. user=mdettweiler [2016-10-08 05:53:38] 747*2^1442061-1 is not prime. Res64: B239EE0AB08273C1 Time : 0.0 sec. user=mdettweiler [2016-10-08 05:53:38] 889*2^1442061-1 is not prime. Res64: 19D00F11FC0129FA Time : 0.0 sec. user=mdettweiler [2016-10-08 05:53:39] 999*2^1442061-1 is not prime. Res64: 6636AB65486DFB77 Time : 0.0 sec. user=mdettweiler [2016-10-08 05:53:39] 675*2^1442062-1 is not prime. Res64: DBBD419B773F71E9 Time : 0.0 sec. user=mdettweiler [2016-10-08 05:53:39] 717*2^1442062-1 is not prime. Res64: E7D25EC3A23DAF9D Time : 0.0 sec. user=mdettweiler [2016-10-08 06:26:06] 737*2^1442062-1 is not prime. Res64: 67930EDCADCE8236 Time : 0.0 sec. user=mdettweiler [2016-10-08 06:26:06] 785*2^1442062-1 is not prime. Res64: B2AE0CCDF7A0F621 Time : 0.0 sec. user=mdettweiler [2016-10-08 06:26:07] 821*2^1442062-1 is not prime. Res64: 2793C42F973FE88F Time : 0.0 sec. user=mdettweiler [2016-10-08 06:26:07] 825*2^1442062-1 is not prime. Res64: 6B7A05430FB10840 Time : 0.0 sec. user=mdettweiler [2016-10-08 06:26:07] 827*2^1442062-1 is not prime. Res64: 9D9E8741B35CE439 Time : 0.0 sec. user=mdettweiler [2016-10-08 06:26:56] 819*2^1442063-1 is not prime. Res64: 4301AE6E1B7A02B9 Time : 0.0 sec. user=mdettweiler [2016-10-08 06:26:56] 915*2^1442063-1 is not prime. Res64: BBCD4C8B234114CA Time : 0.0 sec. user=mdettweiler [2016-10-08 06:26:56] 991*2^1442063-1 is not prime. Res64: C0AA69ABA0D8990F Time : 0.0 sec. user=mdettweiler [2016-10-08 06:26:56] 609*2^1442064-1 is not prime. Res64: 53E30E297E765C66 Time : 0.0 sec. user=mdettweiler [2016-10-08 06:26:56] 657*2^1442064-1 is not prime. Res64: 8A3397BD24C55009 Time : 0.0 sec. user=mdettweiler [2016-10-08 06:35:14] 725*2^1442064-1 is not prime. Res64: 54A54D14A81CC9EC Time : 0.0 sec. user=mdettweiler [2016-10-08 06:35:15] 759*2^1442064-1 is not prime. Res64: 47AB888E2C21E78F Time : 0.0 sec. user=mdettweiler [2016-10-08 06:35:16] 765*2^1442064-1 is not prime. Res64: FD2CE85C2E22A61D Time : 0.0 sec. user=mdettweiler [2016-10-08 06:35:16] 909*2^1442064-1 is not prime. Res64: AE68171B5926155B Time : 0.0 sec. user=mdettweiler [2016-10-08 06:35:17] 975*2^1442064-1 is not prime. Res64: AAB282BC0AF2EFB3 Time : 0.0 sec. user=mdettweiler [2016-10-08 06:39:08] 993*2^1442064-1 is not prime. Res64: D6971DD6E41B6E6A Time : 0.0 sec. user=mdettweiler [2016-10-08 06:39:08] 651*2^1442065-1 is not prime. Res64: FDD9E3EC1D05A3D6 Time : 0.0 sec. user=mdettweiler [2016-10-08 06:39:08] 741*2^1442065-1 is not prime. Res64: 0B19D013535B51EA Time : 0.0 sec. user=mdettweiler [2016-10-08 06:39:08] 799*2^1442065-1 is not prime. Res64: 913D17BC74E0B28F Time : 0.0 sec. user=mdettweiler [2016-10-08 06:39:09] 919*2^1442065-1 is not prime. Res64: 4C156661F6096033 Time : 0.0 sec. user=mdettweiler [2016-10-08 07:11:30] 671*2^1442066-1 is not prime. Res64: 28F01A4DEF7B14DE Time : 0.0 sec. user=mdettweiler [2016-10-08 07:11:30] 813*2^1442066-1 is not prime. Res64: E718645DE58A1E0E Time : 0.0 sec. user=mdettweiler [2016-10-08 07:11:30] 609*2^1442067-1 is not prime. Res64: 222003B34C0C46E6 Time : 0.0 sec. user=mdettweiler [2016-10-08 07:11:31] 741*2^1442067-1 is not prime. Res64: B995EB5CA061A620 Time : 0.0 sec. user=mdettweiler [2016-10-08 07:11:31] 765*2^1442067-1 is not prime. Res64: 6470ACC5AA814BC0 Time : 0.0 sec. user=mdettweiler [2016-10-08 07:12:24] 801*2^1442067-1 is not prime. Res64: 5E627281B3202D26 Time : 0.0 sec. user=mdettweiler [2016-10-08 07:12:24] 945*2^1442067-1 is not prime. Res64: A551BD7238A06F5F Time : 0.0 sec. user=mdettweiler [2016-10-08 07:12:24] 951*2^1442067-1 is not prime. Res64: 27C2A7E3682C0D59 Time : 0.0 sec. user=mdettweiler [2016-10-08 07:12:24] 979*2^1442067-1 is not prime. Res64: 381C2DBE6759BD63 Time : 0.0 sec. user=mdettweiler [2016-10-08 07:12:25] 687*2^1442068-1 is not prime. Res64: EDD4B3AFE3AE70E6 Time : 0.0 sec. user=mdettweiler [2016-10-08 07:20:41] 899*2^1442068-1 is not prime. Res64: 8E99FBDA7113AAEA Time : 0.0 sec. user=mdettweiler [2016-10-08 07:20:41] 947*2^1442068-1 is not prime. Res64: 71C630A5D1F562E3 Time : 0.0 sec. user=mdettweiler [2016-10-08 07:20:42] 975*2^1442068-1 is not prime. Res64: A9192EF451AF35FB Time : 0.0 sec. user=mdettweiler [2016-10-08 07:20:43] 989*2^1442068-1 is not prime. Res64: 80F20378A9A5E357 Time : 0.0 sec. user=mdettweiler [2016-10-08 07:20:43] 649*2^1442069-1 is not prime. Res64: 554E332C9BCA719F Time : 0.0 sec. user=mdettweiler [2016-10-08 07:24:38] 745*2^1442069-1 is not prime. Res64: 20D86682531931AF Time : 0.0 sec. user=mdettweiler [2016-10-08 07:24:38] 795*2^1442069-1 is not prime. Res64: E203AE8F9E4534F5 Time : 0.0 sec. user=mdettweiler [2016-10-08 07:24:38] 801*2^1442069-1 is not prime. Res64: A2A77A0D96A59F53 Time : 0.0 sec. user=mdettweiler [2016-10-08 07:24:38] 825*2^1442069-1 is not prime. Res64: 16A7D80F398A909F Time : 0.0 sec. user=mdettweiler [2016-10-08 07:24:38] 725*2^1442070-1 is not prime. Res64: 0AD61DCC58C6B217 Time : 0.0 sec. user=mdettweiler [2016-10-08 07:56:52] 795*2^1442070-1 is not prime. Res64: EF63DA9FDDBBECCF Time : 0.0 sec. user=mdettweiler [2016-10-08 07:56:52] 867*2^1442070-1 is not prime. Res64: F97496B534D9F59B Time : 0.0 sec. user=mdettweiler [2016-10-08 07:56:52] 873*2^1442070-1 is not prime. Res64: B91B30554468B9E2 Time : 0.0 sec. user=mdettweiler [2016-10-08 07:56:53] 891*2^1442070-1 is not prime. Res64: B8C5B48D785FDF48 Time : 0.0 sec. user=mdettweiler [2016-10-08 07:56:53] 965*2^1442070-1 is not prime. Res64: D689D2C14000B909 Time : 0.0 sec. user=mdettweiler [2016-10-08 07:57:37] 723*2^1442071-1 is not prime. Res64: 6A722ECB8EF24490 Time : 0.0 sec. user=mdettweiler [2016-10-08 07:57:37] 741*2^1442071-1 is not prime. Res64: B4D0BACE79E0DE65 Time : 0.0 sec. user=mdettweiler [2016-10-08 07:57:37] 759*2^1442071-1 is not prime. Res64: C1240B3ECA7FAF4B Time : 0.0 sec. user=mdettweiler [2016-10-08 07:57:38] 861*2^1442071-1 is not prime. Res64: 080B74079BACEA84 Time : 0.0 sec. user=mdettweiler [2016-10-08 07:57:38] 873*2^1442071-1 is not prime. Res64: B8BDC2210101692B Time : 0.0 sec. user=mdettweiler [2016-10-08 08:06:13] 883*2^1442071-1 is not prime. Res64: DAC0864E3685FDDC Time : 0.0 sec. user=mdettweiler [2016-10-08 08:06:14] 951*2^1442071-1 is not prime. Res64: 0AA08E582F91DD39 Time : 0.0 sec. user=mdettweiler [2016-10-08 08:06:15] 973*2^1442071-1 is not prime. Res64: 917FA1283DA19549 Time : 0.0 sec. user=mdettweiler [2016-10-08 08:06:16] 719*2^1442072-1 is not prime. Res64: 2C0D6461223A8BCF Time : 0.0 sec. user=mdettweiler [2016-10-08 08:06:16] 753*2^1442072-1 is not prime. Res64: 4B8865BF520B15A7 Time : 0.0 sec. user=mdettweiler [2016-10-08 08:09:52] 759*2^1442072-1 is not prime. Res64: EDE90FEF8475BDA4 Time : 0.0 sec. user=mdettweiler [2016-10-08 08:09:53] 825*2^1442072-1 is not prime. Res64: B7208360FC8A4F62 Time : 0.0 sec. user=mdettweiler [2016-10-08 08:09:53] 705*2^1442073-1 is not prime. Res64: AF2D34369A486636 Time : 0.0 sec. user=mdettweiler [2016-10-08 08:09:53] 735*2^1442073-1 is not prime. Res64: EA94DB6756526421 Time : 0.0 sec. user=mdettweiler [2016-10-08 08:09:54] 787*2^1442073-1 is not prime. Res64: B6E69FBC493D6B21 Time : 0.0 sec. user=mdettweiler [2016-10-08 08:42:10] 819*2^1442073-1 is not prime. Res64: 10766B61837FA866 Time : 0.0 sec. user=mdettweiler [2016-10-08 08:42:11] 999*2^1442073-1 is not prime. Res64: 55DB7DB44EEEB1E5 Time : 0.0 sec. user=mdettweiler [2016-10-08 08:42:11] 765*2^1442074-1 is not prime. Res64: 75A5EA0E87FC304D Time : 0.0 sec. user=mdettweiler [2016-10-08 08:42:11] 783*2^1442074-1 is not prime. Res64: 1D89EA025183147F Time : 0.0 sec. user=mdettweiler [2016-10-08 08:42:11] 833*2^1442074-1 is not prime. Res64: B696139881017666 Time : 0.0 sec. user=mdettweiler [2016-10-08 08:43:03] 923*2^1442074-1 is not prime. Res64: 326F608F77697560 Time : 0.0 sec. user=mdettweiler [2016-10-08 08:43:04] 601*2^1442075-1 is not prime. Res64: 704881038D54322D Time : 0.0 sec. user=mdettweiler [2016-10-08 08:43:04] 643*2^1442075-1 is not prime. Res64: 3F4F8098F727B56A Time : 0.0 sec. user=mdettweiler [2016-10-08 08:43:04] 663*2^1442075-1 is not prime. Res64: A44CA60A4315E064 Time : 0.0 sec. user=mdettweiler [2016-10-08 08:43:04] 679*2^1442075-1 is not prime. Res64: 7A3BCD43E476A7A9 Time : 0.0 sec. user=mdettweiler [2016-10-08 08:51:57] 775*2^1442075-1 is not prime. Res64: BB616D4535DC5B22 Time : 0.0 sec. user=mdettweiler [2016-10-08 08:51:57] 853*2^1442075-1 is not prime. Res64: 1CB2CEA2CC46C5F3 Time : 0.0 sec. user=mdettweiler [2016-10-08 08:51:58] 871*2^1442075-1 is not prime. Res64: E55035CBA2F4051C Time : 0.0 sec. user=mdettweiler [2016-10-08 08:51:58] 895*2^1442075-1 is not prime. Res64: 150D071600CEDF5A Time : 0.0 sec. user=mdettweiler [2016-10-08 08:51:58] 949*2^1442075-1 is not prime. Res64: F749709FFD73C889 Time : 0.0 sec. user=mdettweiler [2016-10-08 08:55:33] 647*2^1442076-1 is not prime. Res64: 22EFD42AE0968230 Time : 0.0 sec. user=mdettweiler [2016-10-08 08:55:33] 669*2^1442076-1 is not prime. Res64: D58325898EF7759D Time : 0.0 sec. user=mdettweiler [2016-10-08 08:55:33] 699*2^1442076-1 is not prime. Res64: 5F9AC30C175B35AC Time : 0.0 sec. user=mdettweiler [2016-10-08 08:55:33] 719*2^1442076-1 is not prime. Res64: 031DD341C783855E Time : 0.0 sec. user=mdettweiler [2016-10-08 08:55:33] 737*2^1442076-1 is not prime. Res64: C556B13344D3D6E2 Time : 0.0 sec. user=mdettweiler [2016-10-08 09:27:44] 779*2^1442076-1 is not prime. Res64: 7B4F89234D0F4C2B Time : 0.0 sec. user=mdettweiler [2016-10-08 09:27:45] 873*2^1442076-1 is not prime. Res64: 38CB05E56E84819E Time : 0.0 sec. user=mdettweiler [2016-10-08 09:27:45] 969*2^1442076-1 is not prime. Res64: 17BFF3487C86E528 Time : 0.0 sec. user=mdettweiler [2016-10-08 09:27:45] 975*2^1442076-1 is not prime. Res64: EAC005E5731C201D Time : 0.0 sec. user=mdettweiler [2016-10-08 09:27:45] 609*2^1442077-1 is not prime. Res64: 856B1F6A37B59E0F Time : 0.0 sec. user=mdettweiler [2016-10-08 09:28:27] 717*2^1442077-1 is not prime. Res64: 3A97926196EDB977 Time : 0.0 sec. user=mdettweiler [2016-10-08 09:28:27] 819*2^1442077-1 is not prime. Res64: 08C6D45B27162D35 Time : 0.0 sec. user=mdettweiler [2016-10-08 09:28:27] 915*2^1442077-1 is not prime. Res64: AC5F964A9B7CAC52 Time : 0.0 sec. user=mdettweiler [2016-10-08 09:28:28] 641*2^1442078-1 is not prime. Res64: FC2016E913C51E05 Time : 0.0 sec. user=mdettweiler [2016-10-08 09:28:28] 671*2^1442078-1 is not prime. Res64: 073ACC7C255D2F56 Time : 0.0 sec. user=mdettweiler [2016-10-08 09:37:22] 935*2^1442078-1 is not prime. Res64: 8751235F1D7BC8BE Time : 0.0 sec. user=mdettweiler [2016-10-08 09:37:22] 675*2^1442079-1 is not prime. Res64: 92355E04B59D0AD3 Time : 0.0 sec. user=mdettweiler [2016-10-08 09:37:23] 775*2^1442079-1 is not prime. Res64: 033A16F91680C2CE Time : 0.0 sec. user=mdettweiler [2016-10-08 09:37:24] 831*2^1442079-1 is not prime. Res64: 6ADB3FA6CC1338FD Time : 0.0 sec. user=mdettweiler [2016-10-08 09:37:24] 843*2^1442079-1 is not prime. Res64: 6B351C5323CCD028 Time : 0.0 sec. user=mdettweiler [2016-10-08 09:41:00] 853*2^1442079-1 is not prime. Res64: 2AD49DB6ECC02B1C Time : 0.0 sec. user=mdettweiler [2016-10-08 09:41:00] 865*2^1442079-1 is not prime. Res64: 66AB0A12D2EF4293 Time : 0.0 sec. user=mdettweiler [2016-10-08 09:41:00] 991*2^1442079-1 is not prime. Res64: 96E491423517EB76 Time : 0.0 sec. user=mdettweiler [2016-10-08 09:41:00] 615*2^1442080-1 is not prime. Res64: 5BD82CBD1D3B221C Time : 0.0 sec. user=mdettweiler [2016-10-08 09:41:01] 785*2^1442080-1 is not prime. Res64: FC315BE0BAC2DF32 Time : 0.0 sec. user=mdettweiler [2016-10-08 10:13:16] 827*2^1442080-1 is not prime. Res64: 33115392923EA377 Time : 0.0 sec. user=mdettweiler [2016-10-08 10:13:16] 849*2^1442080-1 is not prime. Res64: 5421D0A7DF5C7594 Time : 0.0 sec. user=mdettweiler [2016-10-08 10:13:17] 863*2^1442080-1 is not prime. Res64: 56239609B84B4402 Time : 0.0 sec. user=mdettweiler [2016-10-08 10:13:17] 927*2^1442080-1 is not prime. Res64: A0277F2E058ECE73 Time : 0.0 sec. user=mdettweiler [2016-10-08 10:13:17] 975*2^1442080-1 is not prime. Res64: BE508EB69AAE17EA Time : 0.0 sec. user=mdettweiler [2016-10-08 10:13:58] 711*2^1442081-1 is not prime. Res64: F4E5EB31C47E920E Time : 0.0 sec. user=mdettweiler [2016-10-08 10:13:58] 795*2^1442081-1 is not prime. Res64: 2F32A7AB687F1E6E Time : 0.0 sec. user=mdettweiler [2016-10-08 10:13:59] 811*2^1442081-1 is not prime. Res64: 21E4EF6B080CE378 Time : 0.0 sec. user=mdettweiler [2016-10-08 10:13:59] 909*2^1442081-1 is not prime. Res64: F7739E1C25336160 Time : 0.0 sec. user=mdettweiler [2016-10-08 10:13:59] 713*2^1442082-1 is not prime. Res64: 7C552F418ADA4471 Time : 0.0 sec. user=mdettweiler [2016-10-08 10:23:03] 725*2^1442082-1 is not prime. Res64: B2A2D0DC9D981618 Time : 0.0 sec. user=mdettweiler [2016-10-08 10:23:04] 737*2^1442082-1 is not prime. Res64: DB0637B6CC24ADFF Time : 0.0 sec. user=mdettweiler [2016-10-08 10:23:04] 741*2^1442082-1 is not prime. Res64: DEB6C5B137705F66 Time : 0.0 sec. user=mdettweiler [2016-10-08 10:23:05] 815*2^1442082-1 is not prime. Res64: DDF281573707EFC1 Time : 0.0 sec. user=mdettweiler [2016-10-08 10:23:05] 825*2^1442082-1 is not prime. Res64: 91D7B02C2EA23CE1 Time : 0.0 sec. user=mdettweiler [2016-10-08 10:26:30] 649*2^1442083-1 is not prime. Res64: B2AC315A8E029135 Time : 0.0 sec. user=mdettweiler [2016-10-08 10:26:30] 691*2^1442083-1 is not prime. Res64: 45C96F2EFCA5A8F8 Time : 0.0 sec. user=mdettweiler [2016-10-08 10:26:30] 703*2^1442083-1 is not prime. Res64: 45410625E88A939D Time : 0.0 sec. user=mdettweiler [2016-10-08 10:26:31] 769*2^1442083-1 is not prime. Res64: 5E13E81912CD2CA7 Time : 0.0 sec. user=mdettweiler [2016-10-08 10:26:31] 969*2^1442083-1 is not prime. Res64: 84D7160565E7106A Time : 0.0 sec. user=mdettweiler [2016-10-08 10:58:47] 635*2^1442084-1 is not prime. Res64: AB282FB6D3187A22 Time : 0.0 sec. user=mdettweiler [2016-10-08 10:58:47] 665*2^1442084-1 is not prime. Res64: 093F0EB91018E4F2 Time : 0.0 sec. user=mdettweiler [2016-10-08 10:58:47] 753*2^1442084-1 is not prime. Res64: 7E15B2CC27F32FF5 Time : 0.0 sec. user=mdettweiler [2016-10-08 10:58:48] 803*2^1442084-1 is not prime. Res64: 54152EBCFF982104 Time : 0.0 sec. user=mdettweiler [2016-10-08 10:58:48] 873*2^1442084-1 is not prime. Res64: 5DA18C82187AE3CD Time : 0.0 sec. user=mdettweiler [2016-10-08 10:59:26] 885*2^1442084-1 is not prime. Res64: 33EE488891ABBBCB Time : 0.0 sec. user=mdettweiler [2016-10-08 10:59:26] 923*2^1442084-1 is not prime. Res64: 84308097E9EC17B2 Time : 0.0 sec. user=mdettweiler [2016-10-08 10:59:27] 953*2^1442084-1 is not prime. Res64: A6CED4D0C09981B0 Time : 0.0 sec. user=mdettweiler [2016-10-08 10:59:27] 609*2^1442085-1 is not prime. Res64: F8AC2701277C13BA Time : 0.0 sec. user=mdettweiler [2016-10-08 10:59:27] 627*2^1442085-1 is not prime. Res64: C851D4B9D74E1EAA Time : 0.0 sec. user=mdettweiler [2016-10-08 11:08:46] 679*2^1442085-1 is not prime. Res64: B004D042E2EB8F51 Time : 0.0 sec. user=mdettweiler [2016-10-08 11:08:46] 795*2^1442085-1 is not prime. Res64: 52543D4FA69BF10A Time : 0.0 sec. user=mdettweiler [2016-10-08 11:08:47] 837*2^1442085-1 is not prime. Res64: 581C60B371B76E92 Time : 0.0 sec. user=mdettweiler [2016-10-08 11:08:47] 889*2^1442085-1 is not prime. Res64: 93ED0B3AC8CC3921 Time : 0.0 sec. user=mdettweiler [2016-10-08 11:08:47] 927*2^1442085-1 is not prime. Res64: F8FDA2957AF44940 Time : 0.0 sec. user=mdettweiler [2016-10-08 11:12:02] 955*2^1442085-1 is not prime. Res64: 14A79F62317F51C4 Time : 0.0 sec. user=mdettweiler [2016-10-08 11:12:03] 985*2^1442085-1 is not prime. Res64: 801EB68F45FF8753 Time : 0.0 sec. user=mdettweiler [2016-10-08 11:12:03] 611*2^1442086-1 is not prime. Res64: B84F012A06267E98 Time : 0.0 sec. user=mdettweiler [2016-10-08 11:12:03] 755*2^1442086-1 is not prime. Res64: 6C614165E343D2EA Time : 0.0 sec. user=mdettweiler [2016-10-08 11:12:03] 777*2^1442086-1 is not prime. Res64: C1D8773D012CDF3B Time : 0.0 sec. user=mdettweiler [2016-10-08 11:44:20] 861*2^1442086-1 is not prime. Res64: 665EA897975B8FA3 Time : 0.0 sec. user=mdettweiler [2016-10-08 11:44:21] 965*2^1442086-1 is not prime. Res64: C655B87BDE8D4B14 Time : 0.0 sec. user=mdettweiler [2016-10-08 11:44:21] 741*2^1442087-1 is not prime. Res64: CDEC4F44AF5AA290 Time : 0.0 sec. user=mdettweiler [2016-10-08 11:44:22] 843*2^1442087-1 is not prime. Res64: 663DF865E6777EBE Time : 0.0 sec. user=mdettweiler [2016-10-08 11:44:22] 931*2^1442087-1 is not prime. Res64: 5E4570E80A147618 Time : 0.0 sec. user=mdettweiler [2016-10-08 11:44:51] 639*2^1442088-1 is not prime. Res64: 0003368853944692 Time : 0.0 sec. user=mdettweiler [2016-10-08 11:44:51] 689*2^1442088-1 is not prime. Res64: 46930186EA674249 Time : 0.0 sec. user=mdettweiler [2016-10-08 11:44:52] 705*2^1442088-1 is not prime. Res64: 7632D6205F52E2FD Time : 0.0 sec. user=mdettweiler [2016-10-08 11:44:52] 765*2^1442088-1 is not prime. Res64: B25E2CE1517A6A45 Time : 0.0 sec. user=mdettweiler [2016-10-08 11:44:52] 767*2^1442088-1 is not prime. Res64: 31DCAB13A8E0DA5C Time : 0.0 sec. user=mdettweiler [2016-10-08 11:54:12] 601*2^1442089-1 is not prime. Res64: 5E7A5570C9D81020 Time : 0.0 sec. user=mdettweiler [2016-10-08 11:54:12] 649*2^1442089-1 is not prime. Res64: 18270E28FCE7FAFC Time : 0.0 sec. user=mdettweiler [2016-10-08 11:54:12] 661*2^1442089-1 is not prime. Res64: E80A9FFFFF4ECFF5 Time : 0.0 sec. user=mdettweiler [2016-10-08 11:54:12] 681*2^1442089-1 is not prime. Res64: DFC878CE39D75963 Time : 0.0 sec. user=mdettweiler [2016-10-08 11:54:13] 885*2^1442089-1 is not prime. Res64: 0691F3486E6C9A54 Time : 0.0 sec. user=mdettweiler [2016-10-08 11:57:28] 945*2^1442089-1 is not prime. Res64: 6077035A59614E78 Time : 0.0 sec. user=mdettweiler [2016-10-08 11:57:28] 641*2^1442090-1 is not prime. Res64: 6540CD754F4C3802 Time : 0.0 sec. user=mdettweiler [2016-10-08 11:57:28] 735*2^1442090-1 is not prime. Res64: B95388451E93B3E3 Time : 0.0 sec. user=mdettweiler [2016-10-08 11:57:28] 861*2^1442090-1 is not prime. Res64: DCC977C60E0C4374 Time : 0.0 sec. user=mdettweiler [2016-10-08 11:57:29] 867*2^1442090-1 is not prime. Res64: E3F451B8693AD7DA Time : 0.0 sec. user=mdettweiler [2016-10-08 12:29:51] 615*2^1442091-1 is not prime. Res64: A9196B0319412294 Time : 0.0 sec. user=mdettweiler [2016-10-08 12:29:51] 679*2^1442091-1 is not prime. Res64: DEDFBA7D78A90140 Time : 0.0 sec. user=mdettweiler [2016-10-08 12:29:52] 735*2^1442091-1 is not prime. Res64: 660A21F856111584 Time : 0.0 sec. user=mdettweiler [2016-10-08 12:29:52] 775*2^1442091-1 is not prime. Res64: E932883C6D3E9DFE Time : 0.0 sec. user=mdettweiler [2016-10-08 12:29:52] 795*2^1442091-1 is not prime. Res64: 097D9DDAA01FF68E Time : 0.0 sec. user=mdettweiler [2016-10-08 12:30:12] 825*2^1442091-1 is not prime. Res64: ECB1472F57558AB7 Time : 0.0 sec. user=mdettweiler [2016-10-08 12:30:13] 873*2^1442091-1 is not prime. Res64: 9AB946AA184B3CB9 Time : 0.0 sec. user=mdettweiler [2016-10-08 12:30:13] 901*2^1442091-1 is not prime. Res64: F290712581B41A24 Time : 0.0 sec. user=mdettweiler [2016-10-08 12:30:13] 975*2^1442091-1 is not prime. Res64: BBE5F780DDCD983B Time : 0.0 sec. user=mdettweiler [2016-10-08 12:30:13] 615*2^1442092-1 is not prime. Res64: 28D7C1356E648B6D Time : 0.0 sec. user=mdettweiler [2016-10-08 12:39:43] 629*2^1442092-1 is not prime. Res64: B845BE20B07429CE Time : 0.0 sec. user=mdettweiler [2016-10-08 12:39:43] 807*2^1442092-1 is not prime. Res64: EFC45C8A25A42AD6 Time : 0.0 sec. user=mdettweiler [2016-10-08 12:39:44] 929*2^1442092-1 is not prime. Res64: 655E769874C348A9 Time : 0.0 sec. user=mdettweiler [2016-10-08 12:39:44] 959*2^1442092-1 is not prime. Res64: 8E3135730C9D27A4 Time : 0.0 sec. user=mdettweiler [2016-10-08 12:39:44] 987*2^1442092-1 is not prime. Res64: DE09137A88F1377A Time : 0.0 sec. user=mdettweiler [2016-10-08 12:43:08] 615*2^1442093-1 is not prime. Res64: 9600E14F795E3195 Time : 0.0 sec. user=mdettweiler [2016-10-08 12:43:08] 685*2^1442093-1 is not prime. Res64: A516DB9885CB3EB0 Time : 0.0 sec. user=mdettweiler [2016-10-08 12:43:08] 735*2^1442093-1 is not prime. Res64: 9D284FD8C629E7B5 Time : 0.0 sec. user=mdettweiler [2016-10-08 12:43:08] 805*2^1442093-1 is not prime. Res64: BF66DBE1DB55E28C Time : 0.0 sec. user=mdettweiler [2016-10-08 12:43:09] 847*2^1442093-1 is not prime. Res64: D0EB187FA84C0A1D Time : 0.0 sec. user=mdettweiler [2016-10-08 13:15:15] 885*2^1442093-1 is not prime. Res64: CFBDC794A2F4977B Time : 0.0 sec. user=mdettweiler [2016-10-08 13:15:16] 615*2^1442094-1 is not prime. Res64: 6835FC8742EB8FFA Time : 0.0 sec. user=mdettweiler [2016-10-08 13:15:16] 741*2^1442094-1 is not prime. Res64: 084AE25C42E05231 Time : 0.0 sec. user=mdettweiler [2016-10-08 13:15:17] 887*2^1442094-1 is not prime. Res64: 6F131686EDA146C4 Time : 0.0 sec. user=mdettweiler [2016-10-08 13:15:17] 625*2^1442095-1 is not prime. Res64: 3276F1531E15ACCC Time : 0.0 sec. user=mdettweiler [2016-10-08 13:15:32] 645*2^1442095-1 is not prime. Res64: 423B4B84D323D172 Time : 0.0 sec. user=mdettweiler [2016-10-08 13:15:32] 705*2^1442095-1 is not prime. Res64: E0CE5EAE737C91E7 Time : 0.0 sec. user=mdettweiler [2016-10-08 13:15:33] 759*2^1442095-1 is not prime. Res64: 76C2D6CCDFDB42EF Time : 0.0 sec. user=mdettweiler [2016-10-08 13:15:33] 805*2^1442095-1 is not prime. Res64: 65C2ECA65BECDD90 Time : 0.0 sec. user=mdettweiler [2016-10-08 13:15:33] 829*2^1442095-1 is not prime. Res64: 653400965CC5D88D Time : 0.0 sec. user=mdettweiler [2016-10-08 13:25:02] 853*2^1442095-1 is not prime. Res64: 4B40FBC886E8E932 Time : 0.0 sec. user=mdettweiler [2016-10-08 13:25:03] 855*2^1442095-1 is not prime. Res64: AA49704AA6DD66DC Time : 0.0 sec. user=mdettweiler [2016-10-08 13:25:03] 969*2^1442095-1 is not prime. Res64: 4FC718760E593A24 Time : 0.0 sec. user=mdettweiler [2016-10-08 13:25:03] 985*2^1442095-1 is not prime. Res64: 8FC159FF0045E1E5 Time : 0.0 sec. user=mdettweiler [2016-10-08 13:25:04] 669*2^1442096-1 is not prime. Res64: 6BA015C97D7638CE Time : 0.0 sec. user=mdettweiler [2016-10-08 13:28:31] 843*2^1442096-1 is not prime. Res64: E784D3594537A61E Time : 0.0 sec. user=mdettweiler [2016-10-08 13:28:31] 857*2^1442096-1 is not prime. Res64: 16CCE1430EAE46DF Time : 0.0 sec. user=mdettweiler [2016-10-08 13:28:31] 625*2^1442097-1 is not prime. Res64: 72CA04FF2D65B706 Time : 0.0 sec. user=mdettweiler [2016-10-08 13:28:32] 727*2^1442097-1 is not prime. Res64: E2A4D90BC8E3AA56 Time : 0.0 sec. user=mdettweiler [2016-10-08 13:28:32] 817*2^1442097-1 is not prime. Res64: 37AFC255EB6BF5AF Time : 0.0 sec. user=mdettweiler [2016-10-08 14:00:44] 865*2^1442097-1 is not prime. Res64: 5250A1B9B6B7A148 Time : 0.0 sec. user=mdettweiler [2016-10-08 14:00:45] 885*2^1442097-1 is not prime. Res64: BCFC52D7BB9AB56A Time : 0.0 sec. user=mdettweiler [2016-10-08 14:00:45] 909*2^1442097-1 is not prime. Res64: CF71CEE897D75E05 Time : 0.0 sec. user=mdettweiler [2016-10-08 14:00:46] 777*2^1442098-1 is not prime. Res64: 0E92FEAB778A5204 Time : 0.0 sec. user=mdettweiler [2016-10-08 14:00:46] 933*2^1442098-1 is not prime. Res64: 1C2982AC6F87BA10 Time : 0.0 sec. user=mdettweiler [2016-10-08 14:00:48] 941*2^1442098-1 is not prime. Res64: F329127416FEAD44 Time : 0.0 sec. user=mdettweiler [2016-10-08 14:00:50] 971*2^1442098-1 is not prime. Res64: CB2AC48C4C1470C3 Time : 0.0 sec. user=mdettweiler [2016-10-08 14:00:51] 601*2^1442099-1 is not prime. Res64: 3A1BE81E4A51D6AB Time : 0.0 sec. user=mdettweiler [2016-10-08 14:00:53] 609*2^1442099-1 is not prime. Res64: 53EC955472629DEF Time : 0.0 sec. user=mdettweiler [2016-10-08 14:00:54] 615*2^1442099-1 is not prime. Res64: D4359789F2D49EB9 Time : 0.0 sec. user=mdettweiler [2016-10-08 14:10:29] 813*2^1442099-1 is not prime. Res64: D400E3926844EF31 Time : 0.0 sec. user=mdettweiler [2016-10-08 14:10:29] 823*2^1442099-1 is not prime. Res64: 7CF6B0B5A9E975DD Time : 0.0 sec. user=mdettweiler [2016-10-08 14:10:29] 825*2^1442099-1 is not prime. Res64: 50635231FF8F3785 Time : 0.0 sec. user=mdettweiler [2016-10-08 14:10:30] 859*2^1442099-1 is not prime. Res64: BF431695E0FA39AB Time : 0.0 sec. user=mdettweiler [2016-10-08 14:10:30] 921*2^1442099-1 is not prime. Res64: F1BE8F0F5FA9EF6C Time : 0.0 sec. user=mdettweiler [2016-10-08 14:14:07] 675*2^1442100-1 is not prime. Res64: DB7E723F45230A00 Time : 0.0 sec. user=mdettweiler [2016-10-08 14:14:08] 725*2^1442100-1 is not prime. Res64: 19D6E3C7D6BF9748 Time : 0.0 sec. user=mdettweiler [2016-10-08 14:14:08] 759*2^1442100-1 is not prime. Res64: EBADA5B958E3E0E5 Time : 0.0 sec. user=mdettweiler [2016-10-08 14:14:08] 777*2^1442100-1 is not prime. Res64: B97A42869CAC006C Time : 0.0 sec. user=mdettweiler [2016-10-08 14:14:09] 825*2^1442100-1 is not prime. Res64: 753F7AC3E98ED6CA Time : 0.0 sec. user=mdettweiler [2016-10-08 14:46:34] 857*2^1442100-1 is not prime. Res64: 52C73381F939CDA1 Time : 0.0 sec. user=mdettweiler [2016-10-08 14:46:35] 873*2^1442100-1 is not prime. Res64: ABA5C06B50D01656 Time : 0.0 sec. user=mdettweiler [2016-10-08 14:46:35] 879*2^1442100-1 is not prime. Res64: 7F33403B8E44FEB6 Time : 0.0 sec. user=mdettweiler [2016-10-08 14:46:35] 905*2^1442100-1 is not prime. Res64: 8532F4CE0190B9F7 Time : 0.0 sec. user=mdettweiler [2016-10-08 14:46:35] 983*2^1442100-1 is not prime. Res64: D036EE755C516F5F Time : 0.0 sec. user=mdettweiler [2016-10-08 14:46:43] 649*2^1442101-1 is not prime. Res64: FF6D2B2DF0F0512F Time : 0.0 sec. user=mdettweiler [2016-10-08 14:46:43] 675*2^1442101-1 is not prime. Res64: 0D60BE96CD37DDE6 Time : 0.0 sec. user=mdettweiler [2016-10-08 14:46:43] 687*2^1442101-1 is not prime. Res64: 3279AB9CE6259CD9 Time : 0.0 sec. user=mdettweiler [2016-10-08 14:46:43] 775*2^1442101-1 is not prime. Res64: B9F87C1D36E50063 Time : 0.0 sec. user=mdettweiler [2016-10-08 14:46:44] 895*2^1442101-1 is not prime. Res64: 1A6CECCE162984C5 Time : 0.0 sec. user=mdettweiler [2016-10-08 14:57:45] 937*2^1442101-1 is not prime. Res64: B3A725F2A458A3D9 Time : 0.0 sec. user=mdettweiler [2016-10-08 14:57:45] 987*2^1442101-1 is not prime. Res64: 3A01C57C23EB641F Time : 0.0 sec. user=mdettweiler [2016-10-08 14:57:46] 683*2^1442102-1 is not prime. Res64: C815C7B4E37E8B44 Time : 0.0 sec. user=mdettweiler [2016-10-08 14:57:46] 825*2^1442102-1 is not prime. Res64: 7DCB5367D0F380D5 Time : 0.0 sec. user=mdettweiler [2016-10-08 14:57:46] 867*2^1442102-1 is not prime. Res64: 40EEF465A526DD55 Time : 0.0 sec. user=mdettweiler [2016-10-08 15:02:00] 987*2^1442102-1 is not prime. Res64: 56EFABD4770597DB Time : 0.0 sec. user=mdettweiler [2016-10-08 15:02:01] 1001*2^1442102-1 is not prime. Res64: BF5EE55F3CA017B2 Time : 0.0 sec. user=mdettweiler [2016-10-08 15:02:02] 723*2^1442103-1 is not prime. Res64: 3FBF4EEC8F07AFEA Time : 0.0 sec. user=mdettweiler [2016-10-08 15:02:02] 775*2^1442103-1 is not prime. Res64: 024C8F62B1D87258 Time : 0.0 sec. user=mdettweiler [2016-10-08 15:02:03] 795*2^1442103-1 is not prime. Res64: DDA14EF872426325 Time : 0.0 sec. user=mdettweiler [2016-10-08 15:36:59] 847*2^1442105-1 is not prime. Res64: EEE54F7516318CB0 Time : 0.0 sec. user=mdettweiler [2016-10-08 15:37:00] 861*2^1442105-1 is not prime. Res64: 6BAD27723B2E287C Time : 0.0 sec. user=mdettweiler [2016-10-08 15:37:00] 909*2^1442105-1 is not prime. Res64: 4E847A2458813E00 Time : 0.0 sec. user=mdettweiler [2016-10-08 15:37:00] 987*2^1442105-1 is not prime. Res64: 47DDB6CC0C003B5F Time : 0.0 sec. user=mdettweiler [2016-10-08 15:37:00] 671*2^1442106-1 is not prime. Res64: CB1DABFD93EA183C Time : 0.0 sec. user=mdettweiler [2016-10-08 15:37:01] 639*2^1442104-1 is not prime. Res64: 46766FA8069BE81E Time : 0.0 sec. user=mdettweiler [2016-10-08 15:37:01] 833*2^1442104-1 is not prime. Res64: 26EE8C8D31715A44 Time : 0.0 sec. user=mdettweiler [2016-10-08 15:37:02] 869*2^1442104-1 is not prime. Res64: 6014C25398E62EE8 Time : 0.0 sec. user=mdettweiler [2016-10-08 15:37:02] 697*2^1442105-1 is not prime. Res64: 4C7A82F75736C259 Time : 0.0 sec. user=mdettweiler [2016-10-08 15:37:02] 715*2^1442105-1 is not prime. Res64: 6909D298A5790C83 Time : 0.0 sec. user=mdettweiler [2016-10-08 15:48:03] 695*2^1442106-1 is not prime. Res64: 723AADDD1CBA81AF Time : 0.0 sec. user=mdettweiler [2016-10-08 15:48:03] 807*2^1442106-1 is not prime. Res64: 78E5E00E352351BC Time : 0.0 sec. user=mdettweiler [2016-10-08 15:48:04] 933*2^1442106-1 is not prime. Res64: 336E96C31662EA36 Time : 0.0 sec. user=mdettweiler [2016-10-08 15:48:04] 1001*2^1442106-1 is not prime. Res64: 77B568BA0D46F077 Time : 0.0 sec. user=mdettweiler [2016-10-08 15:48:04] 601*2^1442107-1 is not prime. Res64: 32649265A561F749 Time : 0.0 sec. user=mdettweiler [2016-10-08 15:52:09] 633*2^1442107-1 is not prime. Res64: 9808517A4EA75B0E Time : 0.0 sec. user=mdettweiler [2016-10-08 15:52:09] 685*2^1442107-1 is not prime. Res64: F014D85585B8A349 Time : 0.0 sec. user=mdettweiler [2016-10-08 15:52:09] 715*2^1442107-1 is not prime. Res64: CCF7F70332E4946B Time : 0.0 sec. user=mdettweiler [2016-10-08 15:52:09] 819*2^1442107-1 is not prime. Res64: AAD7A5953BAF2465 Time : 0.0 sec. user=mdettweiler [2016-10-08 15:52:10] 859*2^1442107-1 is not prime. Res64: 501471D3627A1D27 Time : 0.0 sec. user=mdettweiler [2016-10-08 16:27:16] 885*2^1442107-1 is not prime. Res64: AB7B554EC3BC08E9 Time : 0.0 sec. user=mdettweiler [2016-10-08 16:27:16] 975*2^1442107-1 is not prime. Res64: EBF1BCEB746949A2 Time : 0.0 sec. user=mdettweiler [2016-10-08 16:27:16] 699*2^1442108-1 is not prime. Res64: 76482553700F2A7C Time : 0.0 sec. user=mdettweiler [2016-10-08 16:27:17] 743*2^1442108-1 is not prime. Res64: B4AED2FF3E2DA81B Time : 0.0 sec. user=mdettweiler [2016-10-08 16:27:17] 885*2^1442108-1 is not prime. Res64: 6307199E43FDA958 Time : 0.0 sec. user=mdettweiler [2016-10-08 16:27:32] 929*2^1442108-1 is not prime. Res64: 649AA845AC0E3993 Time : 0.0 sec. user=mdettweiler [2016-10-08 16:27:32] 609*2^1442109-1 is not prime. Res64: D955FF1095269594 Time : 0.0 sec. user=mdettweiler [2016-10-08 16:27:32] 691*2^1442109-1 is not prime. Res64: 0AA6CE342FFA5750 Time : 0.0 sec. user=mdettweiler [2016-10-08 16:27:32] 735*2^1442109-1 is not prime. Res64: 8727F076E4E72E67 Time : 0.0 sec. user=mdettweiler [2016-10-08 16:27:33] 747*2^1442109-1 is not prime. Res64: 5966FBC0FF3BF5B1 Time : 0.0 sec. user=mdettweiler [2016-10-08 16:37:02] 835*2^1442109-1 is not prime. Res64: DE71B96DBD7758B3 Time : 0.0 sec. user=mdettweiler [2016-10-08 16:37:03] 611*2^1442110-1 is not prime. Res64: 45298E11EB6924E2 Time : 0.0 sec. user=mdettweiler [2016-10-08 16:37:03] 657*2^1442110-1 is not prime. Res64: D3B5E50E64696848 Time : 0.0 sec. user=mdettweiler [2016-10-08 16:37:03] 723*2^1442110-1 is not prime. Res64: 69B6FFF4C312A2FD Time : 0.0 sec. user=mdettweiler [2016-10-08 16:37:03] 731*2^1442110-1 is not prime. Res64: ECD817E0AB64351C Time : 0.0 sec. user=mdettweiler [2016-10-08 16:40:20] 885*2^1442110-1 is not prime. Res64: 8FCAF8D26DD489CD Time : 0.0 sec. user=mdettweiler [2016-10-08 16:40:21] 619*2^1442111-1 is not prime. Res64: 3FB548B341357DFD Time : 0.0 sec. user=mdettweiler [2016-10-08 16:40:21] 693*2^1442111-1 is not prime. Res64: 66E48E33EF93CA1A Time : 0.0 sec. user=mdettweiler [2016-10-08 16:40:21] 885*2^1442111-1 is not prime. Res64: FA784BA42E4FF47F Time : 0.0 sec. user=mdettweiler [2016-10-08 16:40:21] 981*2^1442111-1 is not prime. Res64: D49AAAE05C15ED28 Time : 0.0 sec. user=mdettweiler [2016-10-08 17:14:32] 747*2^1442113-1 is not prime. Res64: 4939B3675508D00F Time : 0.0 sec. user=mdettweiler [2016-10-08 17:14:33] 847*2^1442113-1 is not prime. Res64: B4108480BCB945A9 Time : 0.0 sec. user=mdettweiler [2016-10-08 17:14:33] 861*2^1442113-1 is not prime. Res64: 29283BD15095B050 Time : 0.0 sec. user=mdettweiler [2016-10-08 17:14:33] 919*2^1442113-1 is not prime. Res64: 149E71A999E5B65D Time : 0.0 sec. user=mdettweiler [2016-10-08 17:14:33] 937*2^1442113-1 is not prime. Res64: B9465CC51BD052EC Time : 0.0 sec. user=mdettweiler [2016-10-08 17:14:37] 993*2^1442111-1 is not prime. Res64: 20405304ADCEFF82 Time : 0.0 sec. user=mdettweiler [2016-10-08 17:14:38] 999*2^1442111-1 is not prime. Res64: CD8CD868527C4088 Time : 0.0 sec. user=mdettweiler [2016-10-08 17:14:38] 713*2^1442112-1 is not prime. Res64: AE16ADA940FC0CBF Time : 0.0 sec. user=mdettweiler [2016-10-08 17:14:38] 675*2^1442113-1 is not prime. Res64: 1F45BBB628F143C9 Time : 0.0 sec. user=mdettweiler [2016-10-08 17:14:38] 729*2^1442113-1 is not prime. Res64: 2C20653143DFF1F1 Time : 0.0 sec. user=mdettweiler [2016-10-08 17:24:39] 951*2^1442113-1 is not prime. Res64: 863F62B602C0D87C Time : 0.0 sec. user=mdettweiler [2016-10-08 17:24:39] 615*2^1442114-1 is not prime. Res64: 6F56FD1EDFCB0E61 Time : 0.0 sec. user=mdettweiler [2016-10-08 17:24:39] 627*2^1442114-1 is not prime. Res64: 24E5269BB4B12F88 Time : 0.0 sec. user=mdettweiler [2016-10-08 17:24:39] 731*2^1442114-1 is not prime. Res64: FD85E84988A98AC0 Time : 0.0 sec. user=mdettweiler [2016-10-08 17:24:40] 783*2^1442114-1 is not prime. Res64: 15DA56843F217AD7 Time : 0.0 sec. user=mdettweiler [2016-10-08 17:27:34] 827*2^1442114-1 is not prime. Res64: 13F799BE89BF1DE9 Time : 0.0 sec. user=mdettweiler [2016-10-08 17:27:34] 983*2^1442114-1 is not prime. Res64: 3B558C8A0516DE32 Time : 0.0 sec. user=mdettweiler [2016-10-08 17:27:35] 871*2^1442115-1 is not prime. Res64: 1A929DA9FDF894B1 Time : 0.0 sec. user=mdettweiler [2016-10-08 17:27:35] 891*2^1442115-1 is not prime. Res64: D4267E8EB8C70C61 Time : 0.0 sec. user=mdettweiler [2016-10-08 17:27:35] 909*2^1442115-1 is not prime. Res64: 81C65119D0E62379 Time : 0.0 sec. user=mdettweiler [2016-10-08 18:03:57] 747*2^1442117-1 is not prime. Res64: 506ED1185CB8BAA5 Time : 0.0 sec. user=mdettweiler [2016-10-08 18:03:59] 847*2^1442117-1 is not prime. Res64: 29583F54D6BD333A Time : 0.0 sec. user=mdettweiler [2016-10-08 18:04:00] 867*2^1442117-1 is not prime. Res64: DB6C160392F45185 Time : 0.0 sec. user=mdettweiler [2016-10-08 18:04:01] 735*2^1442116-1 is not prime. Res64: 0098640EB7A93914 Time : 0.0 sec. user=mdettweiler [2016-10-08 18:04:01] 889*2^1442117-1 is not prime. Res64: 19D9F50A2FBF7859 Time : 0.0 sec. user=mdettweiler [2016-10-08 18:04:03] 901*2^1442117-1 is not prime. Res64: 4C86763DF7A2AF25 Time : 0.0 sec. user=mdettweiler [2016-10-08 18:04:05] 759*2^1442116-1 is not prime. Res64: 2A03BEB0CE5C25E4 Time : 0.0 sec. user=mdettweiler [2016-10-08 18:04:06] 785*2^1442116-1 is not prime. Res64: 4D0DA1DFE7E94DEC Time : 0.0 sec. user=mdettweiler [2016-10-08 18:04:12] 887*2^1442116-1 is not prime. Res64: E4DF672A1223A997 Time : 0.0 sec. user=mdettweiler [2016-10-08 18:04:16] 923*2^1442116-1 is not prime. Res64: 85C71EC242BC2E8C Time : 0.0 sec. user=mdettweiler [2016-10-08 18:14:53] 955*2^1442117-1 is not prime. Res64: 7719BDF428138BC8 Time : 0.0 sec. user=mdettweiler [2016-10-08 18:14:54] 605*2^1442118-1 is not prime. Res64: 9BF52C1AA6B1252D Time : 0.0 sec. user=mdettweiler [2016-10-08 18:14:55] 611*2^1442118-1 is not prime. Res64: 3CC1B179A107ADBB Time : 0.0 sec. user=mdettweiler [2016-10-08 18:14:55] 863*2^1442118-1 is not prime. Res64: 37FBCCEAC3AFA67E Time : 0.0 sec. user=mdettweiler [2016-10-08 18:14:56] 885*2^1442118-1 is not prime. Res64: 622FFD15131BFCC4 Time : 0.0 sec. user=mdettweiler [2016-10-08 18:18:01] 633*2^1442119-1 is not prime. Res64: FC643342111575DE Time : 0.0 sec. user=mdettweiler [2016-10-08 18:18:01] 843*2^1442119-1 is not prime. Res64: 1A55C7670BE995FF Time : 0.0 sec. user=mdettweiler [2016-10-08 18:18:02] 985*2^1442119-1 is not prime. Res64: 27A999392BD44977 Time : 0.0 sec. user=mdettweiler [2016-10-08 18:18:02] 993*2^1442119-1 is not prime. Res64: 4546CCFB086585C4 Time : 0.0 sec. user=mdettweiler [2016-10-08 18:18:02] 999*2^1442119-1 is not prime. Res64: 39164A4E4CD403F7 Time : 0.0 sec. user=mdettweiler [2016-10-08 18:56:04] 659*2^1442120-1 is not prime. Res64: 7691C282FFCC8CE4 Time : 0.0 sec. user=mdettweiler [2016-10-08 18:56:05] 669*2^1442120-1 is not prime. Res64: 591D356FCF0C1FFB Time : 0.0 sec. user=mdettweiler [2016-10-08 18:56:05] 725*2^1442120-1 is not prime. Res64: 0347ACAAFE226B66 Time : 0.0 sec. user=mdettweiler [2016-10-08 18:56:05] 755*2^1442120-1 is not prime. Res64: 6B504DCD6583C529 Time : 0.0 sec. user=mdettweiler [2016-10-08 18:56:05] 773*2^1442120-1 is not prime. Res64: 941BE9B2C2E00B89 Time : 0.0 sec. user=mdettweiler [2016-10-08 18:56:12] 813*2^1442120-1 is not prime. Res64: F6C36ED899C855FA Time : 0.0 sec. user=mdettweiler [2016-10-08 18:56:12] 857*2^1442120-1 is not prime. Res64: 0F4D9A16A1CD0019 Time : 0.0 sec. user=mdettweiler [2016-10-08 18:56:12] 879*2^1442120-1 is not prime. Res64: DB1CB54C3D8E2BEF Time : 0.0 sec. user=mdettweiler [2016-10-08 18:56:13] 915*2^1442120-1 is not prime. Res64: 0F67D477C3E305FA Time : 0.0 sec. user=mdettweiler [2016-10-08 18:56:13] 609*2^1442121-1 is not prime. Res64: 7838B0A01A759C6F Time : 0.0 sec. user=mdettweiler [2016-10-08 19:05:37] 649*2^1442121-1 is not prime. Res64: BFCAB5AA0717CBED Time : 0.0 sec. user=mdettweiler [2016-10-08 19:05:38] 741*2^1442121-1 is not prime. Res64: 54CA8664C082F028 Time : 0.0 sec. user=mdettweiler [2016-10-08 19:05:38] 781*2^1442121-1 is not prime. Res64: D90F8F72CC50A5A8 Time : 0.0 sec. user=mdettweiler [2016-10-08 19:05:39] 789*2^1442121-1 is not prime. Res64: 6CD3DF8C808B6A8F Time : 0.0 sec. user=mdettweiler [2016-10-08 19:05:40] 969*2^1442121-1 is not prime. Res64: D7E4E66342BF4EC1 Time : 0.0 sec. user=mdettweiler [2016-10-08 19:07:44] 979*2^1442121-1 is not prime. Res64: 818A9C7587FD8049 Time : 0.0 sec. user=mdettweiler [2016-10-08 19:07:45] 603*2^1442122-1 is not prime. Res64: 013A0214E52B482F Time : 0.0 sec. user=mdettweiler [2016-10-08 19:07:45] 621*2^1442122-1 is not prime. Res64: DC717E17DB2CF3B0 Time : 0.0 sec. user=mdettweiler [2016-10-08 19:07:45] 677*2^1442122-1 is not prime. Res64: 4945C40492DA65CE Time : 0.0 sec. user=mdettweiler [2016-10-08 19:07:45] 717*2^1442122-1 is not prime. Res64: 5A8B1A0618A5864D Time : 0.0 sec. user=mdettweiler [2016-10-08 19:42:26] 765*2^1442122-1 is not prime. Res64: D41B22AE6210F4D1 Time : 0.0 sec. user=mdettweiler [2016-10-08 19:42:27] 777*2^1442122-1 is not prime. Res64: FC18E5D8AA7AEC2C Time : 0.0 sec. user=mdettweiler [2016-10-08 19:42:27] 827*2^1442122-1 is not prime. Res64: AEC8F39BFA3F76AD Time : 0.0 sec. user=mdettweiler [2016-10-08 19:42:27] 867*2^1442122-1 is not prime. Res64: 97D273842D61A115 Time : 0.0 sec. user=mdettweiler [2016-10-08 19:42:27] 609*2^1442123-1 is not prime. Res64: B63DB532E94E4964 Time : 0.0 sec. user=mdettweiler [2016-10-08 19:42:41] 615*2^1442123-1 is not prime. Res64: 14A29C08FE9FB1F4 Time : 0.0 sec. user=mdettweiler [2016-10-08 19:42:41] 703*2^1442123-1 is not prime. Res64: C539F99B606E34E5 Time : 0.0 sec. user=mdettweiler [2016-10-08 19:42:41] 973*2^1442123-1 is not prime. Res64: 74E575A8C1927BE0 Time : 0.0 sec. user=mdettweiler [2016-10-08 19:42:41] 629*2^1442124-1 is not prime. Res64: 070A80A0F4755DF0 Time : 0.0 sec. user=mdettweiler [2016-10-08 19:42:42] 665*2^1442124-1 is not prime. Res64: C85328245D67FFA8 Time : 0.0 sec. user=mdettweiler [2016-10-08 19:52:20] 759*2^1442124-1 is not prime. Res64: 3374319B9FA3659B Time : 0.0 sec. user=mdettweiler [2016-10-08 19:52:20] 795*2^1442124-1 is not prime. Res64: 522E55B120F9FF74 Time : 0.0 sec. user=mdettweiler [2016-10-08 19:52:21] 959*2^1442124-1 is not prime. Res64: 9E24B6980A3B456E Time : 0.0 sec. user=mdettweiler [2016-10-08 19:52:21] 987*2^1442124-1 is not prime. Res64: C5FB5D2BCC963B0A Time : 0.0 sec. user=mdettweiler [2016-10-08 19:52:21] 661*2^1442125-1 is not prime. Res64: EEF876394AC714CA Time : 0.0 sec. user=mdettweiler [2016-10-08 19:53:57] 667*2^1442125-1 is not prime. Res64: F4A2EAA153DA605C Time : 0.0 sec. user=mdettweiler [2016-10-08 19:53:58] 727*2^1442125-1 is not prime. Res64: 248C0CBD63FFE6F7 Time : 0.0 sec. user=mdettweiler [2016-10-08 19:53:58] 859*2^1442125-1 is not prime. Res64: 92F7B26A4980B65E Time : 0.0 sec. user=mdettweiler [2016-10-08 19:53:58] 937*2^1442125-1 is not prime. Res64: A72FA6DCF7806BEC Time : 0.0 sec. user=mdettweiler [2016-10-08 19:53:59] 635*2^1442126-1 is not prime. Res64: FBC8C90D3AF9775E Time : 0.0 sec. user=mdettweiler [2016-10-08 20:28:55] 717*2^1442126-1 is not prime. Res64: 20407A2CA052CCB3 Time : 0.0 sec. user=mdettweiler [2016-10-08 20:28:56] 801*2^1442126-1 is not prime. Res64: 098D585780AFDC01 Time : 0.0 sec. user=mdettweiler [2016-10-08 20:28:56] 813*2^1442126-1 is not prime. Res64: 7063102CFD9D639A Time : 0.0 sec. user=mdettweiler [2016-10-08 20:28:56] 827*2^1442126-1 is not prime. Res64: 40704ECB4A5BF807 Time : 0.0 sec. user=mdettweiler [2016-10-08 20:28:56] 843*2^1442126-1 is not prime. Res64: 9E18A9691F33D81D Time : 0.0 sec. user=mdettweiler [2016-10-08 20:29:05] 987*2^1442126-1 is not prime. Res64: 3B01A6EB04C49943 Time : 0.0 sec. user=mdettweiler [2016-10-08 20:29:06] 1001*2^1442126-1 is not prime. Res64: 1E5194AA978384FB Time : 0.0 sec. user=mdettweiler [2016-10-08 20:29:06] 625*2^1442127-1 is not prime. Res64: 7D314B636EB29A89 Time : 0.0 sec. user=mdettweiler [2016-10-08 20:29:06] 633*2^1442127-1 is not prime. Res64: 7F32502A674F38A4 Time : 0.0 sec. user=mdettweiler [2016-10-08 20:29:06] 651*2^1442127-1 is not prime. Res64: 027FFF6B96D2DE79 Time : 0.0 sec. user=mdettweiler [2016-10-08 20:38:31] 831*2^1442127-1 is not prime. Res64: 7C009FC0D7367112 Time : 0.0 sec. user=mdettweiler [2016-10-08 20:38:31] 861*2^1442127-1 is not prime. Res64: AA8F2E33D72897A7 Time : 0.0 sec. user=mdettweiler [2016-10-08 20:38:31] 891*2^1442127-1 is not prime. Res64: 58DB78C99E74C835 Time : 0.0 sec. user=mdettweiler [2016-10-08 20:38:32] 973*2^1442127-1 is not prime. Res64: 09475C7871A80801 Time : 0.0 sec. user=mdettweiler [2016-10-08 20:38:32] 677*2^1442128-1 is not prime. Res64: 5EB7E1F39B4EF07D Time : 0.0 sec. user=mdettweiler [2016-10-08 20:40:19] 755*2^1442128-1 is not prime. Res64: 1B76FD374B21359C Time : 0.0 sec. user=mdettweiler [2016-10-08 20:40:19] 765*2^1442128-1 is not prime. Res64: 8EB16F28FEF7D078 Time : 0.0 sec. user=mdettweiler [2016-10-08 20:40:20] 813*2^1442128-1 is not prime. Res64: 9ABBF94240E11F01 Time : 0.0 sec. user=mdettweiler [2016-10-08 20:40:20] 875*2^1442128-1 is not prime. Res64: FACDA46E4E736A86 Time : 0.0 sec. user=mdettweiler [2016-10-08 20:40:20] 909*2^1442128-1 is not prime. Res64: 85EFD27D4EE32067 Time : 0.0 sec. user=mdettweiler [2016-10-08 21:15:19] 915*2^1442128-1 is not prime. Res64: AD65E068129C87BF Time : 0.0 sec. user=mdettweiler [2016-10-08 21:15:20] 999*2^1442128-1 is not prime. Res64: 50104A757A5C0867 Time : 0.0 sec. user=mdettweiler [2016-10-08 21:15:20] 631*2^1442129-1 is not prime. Res64: C0DEA6FF833DBBEA Time : 0.0 sec. user=mdettweiler [2016-10-08 21:15:20] 675*2^1442129-1 is not prime. Res64: D5F59CEFB9EBB101 Time : 0.0 sec. user=mdettweiler [2016-10-08 21:15:21] 831*2^1442129-1 is not prime. Res64: E69B80C9423EBC5D Time : 0.0 sec. user=mdettweiler [2016-10-08 21:15:40] 949*2^1442129-1 is not prime. Res64: 0E554CFB00320823 Time : 0.0 sec. user=mdettweiler [2016-10-08 21:15:40] 969*2^1442129-1 is not prime. Res64: 9DDC44E745EDC5EA Time : 0.0 sec. user=mdettweiler [2016-10-08 21:15:41] 741*2^1442130-1 is not prime. Res64: DBB58D3261270B64 Time : 0.0 sec. user=mdettweiler [2016-10-08 21:15:41] 887*2^1442130-1 is not prime. Res64: 27FAF7A5929A5FD0 Time : 0.0 sec. user=mdettweiler [2016-10-08 21:15:41] 893*2^1442130-1 is not prime. Res64: BC9EF6A138B17F4E Time : 0.0 sec. user=mdettweiler [2016-10-08 21:24:43] 921*2^1442130-1 is not prime. Res64: 08B27C4F65E549C4 Time : 0.0 sec. user=mdettweiler [2016-10-08 21:24:44] 977*2^1442130-1 is not prime. Res64: 34D0447D396C01B9 Time : 0.0 sec. user=mdettweiler [2016-10-08 21:24:44] 741*2^1442131-1 is not prime. Res64: 7D7C51C3DE15BCAB Time : 0.0 sec. user=mdettweiler [2016-10-08 21:24:45] 759*2^1442131-1 is not prime. Res64: 5ECFCFE88BF58839 Time : 0.0 sec. user=mdettweiler [2016-10-08 21:24:45] 849*2^1442131-1 is not prime. Res64: 9730D27DC82230B6 Time : 0.0 sec. user=mdettweiler [2016-10-08 21:26:39] 909*2^1442131-1 is not prime. Res64: 1041410E67E5B2BE Time : 0.0 sec. user=mdettweiler [2016-10-08 21:26:39] 975*2^1442131-1 is not prime. Res64: 3FAAEA064FEF9705 Time : 0.0 sec. user=mdettweiler [2016-10-08 21:26:39] 979*2^1442131-1 is not prime. Res64: BD62FCEEB25A788E Time : 0.0 sec. user=mdettweiler [2016-10-08 21:26:40] 675*2^1442132-1 is not prime. Res64: DA342AD904742412 Time : 0.0 sec. user=mdettweiler [2016-10-08 21:26:40] 683*2^1442132-1 is not prime. Res64: 0C67BB7ED21D6166 Time : 0.0 sec. user=mdettweiler [2016-10-08 22:01:47] 693*2^1442132-1 is not prime. Res64: DCEBDEF7A9C26D2D Time : 0.0 sec. user=mdettweiler [2016-10-08 22:01:48] 767*2^1442132-1 is not prime. Res64: BB47497539DFF171 Time : 0.0 sec. user=mdettweiler [2016-10-08 22:01:48] 797*2^1442132-1 is not prime. Res64: C130F10266113779 Time : 0.0 sec. user=mdettweiler [2016-10-08 22:01:49] 813*2^1442132-1 is not prime. Res64: FEC8472AB1A9FD06 Time : 0.0 sec. user=mdettweiler [2016-10-08 22:01:50] 893*2^1442132-1 is not prime. Res64: EF7C4DF9DD0EAA9D Time : 0.0 sec. user=mdettweiler [2016-10-08 22:02:18] 957*2^1442132-1 is not prime. Res64: D5514CA16D63AEF2 Time : 0.0 sec. user=mdettweiler [2016-10-08 22:02:19] 959*2^1442132-1 is not prime. Res64: 4CBFFA9BB5144D33 Time : 0.0 sec. user=mdettweiler [2016-10-08 22:02:20] 609*2^1442133-1 is not prime. Res64: FBCCF73D2B39EC0D Time : 0.0 sec. user=mdettweiler [2016-10-08 22:02:21] 769*2^1442133-1 is not prime. Res64: 4C89A96DDF2981AA Time : 0.0 sec. user=mdettweiler [2016-10-08 22:02:22] 961*2^1442133-1 is not prime. Res64: 5EC4A613FA1781FB Time : 0.0 sec. user=mdettweiler [2016-10-08 22:11:21] 605*2^1442134-1 is not prime. Res64: F839D6BA5BA89896 Time : 0.0 sec. user=mdettweiler [2016-10-08 22:11:22] 635*2^1442134-1 is not prime. Res64: B78D88C82CF19107 Time : 0.0 sec. user=mdettweiler [2016-10-08 22:11:22] 681*2^1442134-1 is not prime. Res64: A00B4EAEBE3F62ED Time : 0.0 sec. user=mdettweiler [2016-10-08 22:11:22] 747*2^1442134-1 is not prime. Res64: 4616EE39B7A6DD17 Time : 0.0 sec. user=mdettweiler [2016-10-08 22:11:23] 957*2^1442134-1 is not prime. Res64: EE463D6D6893F84B Time : 0.0 sec. user=mdettweiler [2016-10-08 22:13:11] 651*2^1442135-1 is not prime. Res64: 41277DB26BF6A232 Time : 0.0 sec. user=mdettweiler [2016-10-08 22:13:11] 655*2^1442135-1 is not prime. Res64: 98DF5E890F7EB7AA Time : 0.0 sec. user=mdettweiler [2016-10-08 22:13:12] 735*2^1442135-1 is not prime. Res64: DEB41EB815F2572C Time : 0.0 sec. user=mdettweiler [2016-10-08 22:13:12] 775*2^1442135-1 is not prime. Res64: 852C77D5A338B578 Time : 0.0 sec. user=mdettweiler [2016-10-08 22:13:12] 623*2^1442136-1 is not prime. Res64: B442D7844DFD04BE Time : 0.0 sec. user=mdettweiler [2016-10-08 22:48:05] 705*2^1442136-1 is not prime. Res64: 0A7AE94032E89735 Time : 0.0 sec. user=mdettweiler [2016-10-08 22:48:05] 765*2^1442136-1 is not prime. Res64: E9786D87DAA79E3D Time : 0.0 sec. user=mdettweiler [2016-10-08 22:48:05] 825*2^1442136-1 is not prime. Res64: DA0697C924C31203 Time : 0.0 sec. user=mdettweiler [2016-10-08 22:48:05] 845*2^1442136-1 is not prime. Res64: AB0A0F13322E3BC6 Time : 0.0 sec. user=mdettweiler [2016-10-08 22:48:05] 945*2^1442136-1 is not prime. Res64: C4CB2582D76A1F70 Time : 0.0 sec. user=mdettweiler [2016-10-08 22:48:39] 625*2^1442137-1 is not prime. Res64: 30D14BB6E1A9F351 Time : 0.0 sec. user=mdettweiler [2016-10-08 22:48:39] 871*2^1442137-1 is not prime. Res64: 0C7DA7BAA2B6E4A9 Time : 0.0 sec. user=mdettweiler [2016-10-08 22:48:39] 885*2^1442137-1 is not prime. Res64: 2C3F91600A0007BF Time : 0.0 sec. user=mdettweiler [2016-10-08 22:48:40] 603*2^1442138-1 is not prime. Res64: D8600E715E9F920E Time : 0.0 sec. user=mdettweiler [2016-10-08 22:48:40] 633*2^1442138-1 is not prime. Res64: 482A335AC4FF6ECE Time : 0.0 sec. user=mdettweiler [2016-10-08 22:57:39] 645*2^1442138-1 is not prime. Res64: 8EFAF9D459EF3C7F Time : 0.0 sec. user=mdettweiler [2016-10-08 22:57:40] 797*2^1442138-1 is not prime. Res64: 58E397C5CE87E154 Time : 0.0 sec. user=mdettweiler [2016-10-08 22:57:40] 875*2^1442138-1 is not prime. Res64: 394BAE987E6F566D Time : 0.0 sec. user=mdettweiler [2016-10-08 22:57:40] 911*2^1442138-1 is not prime. Res64: C87CD365B78DB860 Time : 0.0 sec. user=mdettweiler [2016-10-08 22:57:40] 963*2^1442138-1 is not prime. Res64: 45C52367A2BD106D Time : 0.0 sec. user=mdettweiler [2016-10-08 22:59:13] 705*2^1442139-1 is not prime. Res64: 67A8C7375E74901B Time : 0.0 sec. user=mdettweiler [2016-10-08 22:59:13] 955*2^1442139-1 is not prime. Res64: 12E26830B18DC17A Time : 0.0 sec. user=mdettweiler [2016-10-08 22:59:13] 961*2^1442139-1 is not prime. Res64: 64705C810F4BBB93 Time : 0.0 sec. user=mdettweiler [2016-10-08 22:59:14] 663*2^1442140-1 is not prime. Res64: 7A23F349CBDD1510 Time : 0.0 sec. user=mdettweiler [2016-10-08 22:59:14] 717*2^1442140-1 is not prime. Res64: 57EF59470F17F11C Time : 0.0 sec. user=mdettweiler [2016-10-08 23:33:30] 845*2^1442140-1 is not prime. Res64: 3D0FE1356C370B81 Time : 0.0 sec. user=mdettweiler [2016-10-08 23:33:30] 915*2^1442140-1 is not prime. Res64: 2A1930674B58B84A Time : 0.0 sec. user=mdettweiler [2016-10-08 23:33:31] 983*2^1442140-1 is not prime. Res64: 3428770F0A280C8A Time : 0.0 sec. user=mdettweiler [2016-10-08 23:33:31] 651*2^1442141-1 is not prime. Res64: 2FFFD7141AB688D8 Time : 0.0 sec. user=mdettweiler [2016-10-08 23:33:31] 741*2^1442141-1 is not prime. Res64: 3EA92D7C4E721446 Time : 0.0 sec. user=mdettweiler [2016-10-08 23:34:04] 855*2^1442141-1 is not prime. Res64: F84646944D71F1B8 Time : 0.0 sec. user=mdettweiler [2016-10-08 23:34:04] 889*2^1442141-1 is not prime. Res64: B36779E0340EDC76 Time : 0.0 sec. user=mdettweiler [2016-10-08 23:34:05] 907*2^1442141-1 is not prime. Res64: 81654CA6EB29E1A0 Time : 0.0 sec. user=mdettweiler [2016-10-08 23:34:05] 677*2^1442142-1 is not prime. Res64: 06F33B60919D01F7 Time : 0.0 sec. user=mdettweiler [2016-10-08 23:34:05] 777*2^1442142-1 is not prime. Res64: 44933425CA249FF6 Time : 0.0 sec. user=mdettweiler [2016-10-08 23:43:01] 867*2^1442142-1 is not prime. Res64: A14F5AC3DFB658F4 Time : 0.0 sec. user=mdettweiler [2016-10-08 23:43:02] 891*2^1442142-1 is not prime. Res64: 708745B4D70AE5C0 Time : 0.0 sec. user=mdettweiler [2016-10-08 23:43:02] 975*2^1442142-1 is not prime. Res64: 41901DA4E2C2FBBD Time : 0.0 sec. user=mdettweiler [2016-10-08 23:43:02] 603*2^1442143-1 is not prime. Res64: B14758481CE2F2B1 Time : 0.0 sec. user=mdettweiler [2016-10-08 23:43:02] 663*2^1442143-1 is not prime. Res64: 68C345543961A7CB Time : 0.0 sec. user=mdettweiler [2016-10-08 23:44:38] 673*2^1442143-1 is not prime. Res64: C8FEC4A3D84522F4 Time : 0.0 sec. user=mdettweiler [2016-10-08 23:44:38] 679*2^1442143-1 is not prime. Res64: DF46EA2C36B67B8B Time : 0.0 sec. user=mdettweiler [2016-10-08 23:44:38] 783*2^1442143-1 is not prime. Res64: E675DCCF3EB6A10D Time : 0.0 sec. user=mdettweiler [2016-10-08 23:44:38] 873*2^1442143-1 is not prime. Res64: 83D3E15B14C0C93F Time : 0.0 sec. user=mdettweiler [2016-10-08 23:44:38] 889*2^1442143-1 is not prime. Res64: A2069D80068C9075 Time : 0.0 sec.