user=mdettweiler [2016-07-16 00:25:20] 717*2^1435390-1 is not prime. Res64: 3FD51DA8980C80B8 Time : 0.0 sec. user=mdettweiler [2016-07-16 00:25:20] 791*2^1435390-1 is not prime. Res64: D9F1F70313721D3B Time : 0.0 sec. user=mdettweiler [2016-07-16 00:25:21] 857*2^1435390-1 is not prime. Res64: E7FD3F3E321DD41E Time : 0.0 sec. user=mdettweiler [2016-07-16 00:25:21] 873*2^1435390-1 is not prime. Res64: A310CDF3F7629C63 Time : 0.0 sec. user=mdettweiler [2016-07-16 00:25:21] 911*2^1435390-1 is not prime. Res64: 043CF6A109D9A326 Time : 0.0 sec. user=mdettweiler [2016-07-16 00:25:37] 933*2^1435390-1 is not prime. Res64: 37A37CC197DC6824 Time : 0.0 sec. user=mdettweiler [2016-07-16 00:25:38] 981*2^1435390-1 is not prime. Res64: 2B4DAE2725AFDDF3 Time : 0.0 sec. user=mdettweiler [2016-07-16 00:25:38] 615*2^1435391-1 is not prime. Res64: 6EF4E27B041F3F4F Time : 0.0 sec. user=mdettweiler [2016-07-16 00:25:39] 693*2^1435391-1 is not prime. Res64: 7A37F59AAD5CD773 Time : 0.0 sec. user=mdettweiler [2016-07-16 00:25:39] 759*2^1435391-1 is not prime. Res64: 5E369D62B5F4E6C6 Time : 0.0 sec. user=mdettweiler [2016-07-16 00:26:00] 945*2^1435391-1 is not prime. Res64: 1ED9FD02376DFC2F Time : 0.0 sec. user=mdettweiler [2016-07-16 00:26:01] 981*2^1435391-1 is not prime. Res64: 5533FD7999FC020C Time : 0.0 sec. user=mdettweiler [2016-07-16 00:26:01] 737*2^1435392-1 is not prime. Res64: FF2B0BD1B69B860D Time : 0.0 sec. user=mdettweiler [2016-07-16 00:26:02] 767*2^1435392-1 is not prime. Res64: A25E4A66D6EB79C7 Time : 0.0 sec. user=mdettweiler [2016-07-16 00:26:02] 923*2^1435392-1 is not prime. Res64: CB81C3CC389C8E54 Time : 0.0 sec. user=mdettweiler [2016-07-16 01:09:17] 625*2^1435393-1 is not prime. Res64: 71582B2FDC83CD78 Time : 0.0 sec. user=mdettweiler [2016-07-16 01:09:18] 681*2^1435393-1 is not prime. Res64: 3FC9EB1009AC3DB6 Time : 0.0 sec. user=mdettweiler [2016-07-16 01:09:19] 955*2^1435393-1 is not prime. Res64: 5C659E54B9EB9C1A Time : 0.0 sec. user=mdettweiler [2016-07-16 01:09:20] 999*2^1435393-1 is not prime. Res64: 67F638E300961595 Time : 0.0 sec. user=mdettweiler [2016-07-16 01:09:20] 623*2^1435394-1 is not prime. Res64: 6022EDAB378740A1 Time : 0.0 sec. user=mdettweiler [2016-07-16 01:09:35] 641*2^1435394-1 is not prime. Res64: CBD32857343EE9AB Time : 0.0 sec. user=mdettweiler [2016-07-16 01:09:36] 711*2^1435394-1 is not prime. Res64: 6DFE74B84117D99B Time : 0.0 sec. user=mdettweiler [2016-07-16 01:09:36] 827*2^1435394-1 is not prime. Res64: 12001AF7A7688F46 Time : 0.0 sec. user=mdettweiler [2016-07-16 01:09:37] 923*2^1435394-1 is not prime. Res64: EC6171738B237771 Time : 0.0 sec. user=mdettweiler [2016-07-16 01:09:37] 951*2^1435394-1 is not prime. Res64: E9D488DD60F59D7F Time : 0.0 sec. user=mdettweiler [2016-07-16 01:09:57] 987*2^1435394-1 is not prime. Res64: 397C3ABB9B5F79FB Time : 0.0 sec. user=mdettweiler [2016-07-16 01:09:58] 609*2^1435395-1 is not prime. Res64: DAFE6D4694992AA7 Time : 0.0 sec. user=mdettweiler [2016-07-16 01:09:58] 663*2^1435395-1 is not prime. Res64: 1F3A0AAF1B7D7595 Time : 0.0 sec. user=mdettweiler [2016-07-16 01:09:58] 735*2^1435395-1 is not prime. Res64: 9D56B1A44C165712 Time : 0.0 sec. user=mdettweiler [2016-07-16 01:09:59] 999*2^1435395-1 is not prime. Res64: B9BAA42B7DFA4578 Time : 0.0 sec. user=mdettweiler [2016-07-16 01:53:23] 603*2^1435396-1 is not prime. Res64: 17F292C8CCF3C08A Time : 0.0 sec. user=mdettweiler [2016-07-16 01:53:23] 855*2^1435396-1 is not prime. Res64: 2BC254A6F077D304 Time : 0.0 sec. user=mdettweiler [2016-07-16 01:53:24] 905*2^1435396-1 is not prime. Res64: 6CA6EADA29022BC2 Time : 0.0 sec. user=mdettweiler [2016-07-16 01:53:24] 923*2^1435396-1 is not prime. Res64: 7DE13913B6968CCA Time : 0.0 sec. user=mdettweiler [2016-07-16 01:53:25] 939*2^1435396-1 is not prime. Res64: 99D7A3BCE2A2598B Time : 0.0 sec. user=mdettweiler [2016-07-16 01:53:33] 965*2^1435396-1 is not prime. Res64: FA0B49C501274B5B Time : 0.0 sec. user=mdettweiler [2016-07-16 01:53:33] 989*2^1435396-1 is not prime. Res64: 73DEE4245B017597 Time : 0.0 sec. user=mdettweiler [2016-07-16 01:53:33] 627*2^1435397-1 is not prime. Res64: 8BD1E1F8BB7C2A9C Time : 0.0 sec. user=mdettweiler [2016-07-16 01:53:34] 675*2^1435397-1 is not prime. Res64: 72EA3D20E8894C9C Time : 0.0 sec. user=mdettweiler [2016-07-16 01:53:34] 685*2^1435397-1 is not prime. Res64: D22562717F599776 Time : 0.0 sec. user=mdettweiler [2016-07-16 01:53:53] 757*2^1435397-1 is not prime. Res64: C00BAC39A9511B2E Time : 0.0 sec. user=mdettweiler [2016-07-16 01:53:54] 859*2^1435397-1 is not prime. Res64: 42CAD4C81212BBF9 Time : 0.0 sec. user=mdettweiler [2016-07-16 01:54:00] 927*2^1435397-1 is not prime. Res64: 1CB7FC97789657CE Time : 0.0 sec. user=mdettweiler [2016-07-16 01:54:00] 997*2^1435397-1 is not prime. Res64: 830C45B9F1329B73 Time : 0.0 sec. user=mdettweiler [2016-07-16 01:54:01] 615*2^1435398-1 is not prime. Res64: 33F4FE249959890A Time : 0.0 sec. user=mdettweiler [2016-07-16 02:37:21] 663*2^1435398-1 is not prime. Res64: FCB7DF3B67EE1000 Time : 0.0 sec. user=mdettweiler [2016-07-16 02:37:22] 681*2^1435398-1 is not prime. Res64: 399C158C41D6CBFE Time : 0.0 sec. user=mdettweiler [2016-07-16 02:37:23] 963*2^1435398-1 is not prime. Res64: 609A2AFB29BA1C58 Time : 0.0 sec. user=mdettweiler [2016-07-16 02:37:23] 619*2^1435399-1 is not prime. Res64: 4CB372754F1D9AC7 Time : 0.0 sec. user=mdettweiler [2016-07-16 02:37:24] 729*2^1435399-1 is not prime. Res64: E2055D4B8B74E98D Time : 0.0 sec. user=mdettweiler [2016-07-16 02:37:33] 741*2^1435399-1 is not prime. Res64: CE59949FA1B184C9 Time : 0.0 sec. user=mdettweiler [2016-07-16 02:37:33] 913*2^1435399-1 is not prime. Res64: C68D9A4B97CB0F17 Time : 0.0 sec. user=mdettweiler [2016-07-16 02:37:34] 925*2^1435399-1 is not prime. Res64: 9E439970808A44D2 Time : 0.0 sec. user=mdettweiler [2016-07-16 02:37:34] 615*2^1435400-1 is not prime. Res64: 7E57E0006BE8A536 Time : 0.0 sec. user=mdettweiler [2016-07-16 02:37:35] 713*2^1435400-1 is not prime. Res64: 7F32DEDCD79EA3F9 Time : 0.0 sec. user=mdettweiler [2016-07-16 02:37:57] 767*2^1435400-1 is not prime. Res64: 68FBED42758EC268 Time : 0.0 sec. user=mdettweiler [2016-07-16 02:37:58] 857*2^1435400-1 is not prime. Res64: CC4F4CCB80C70848 Time : 0.0 sec. user=mdettweiler [2016-07-16 02:37:59] 639*2^1435401-1 is not prime. Res64: C60F3AA32375CB93 Time : 0.0 sec. user=mdettweiler [2016-07-16 02:37:59] 649*2^1435401-1 is not prime. Res64: 2E81EE4195F6BB07 Time : 0.0 sec. user=mdettweiler [2016-07-16 02:37:59] 681*2^1435401-1 is not prime. Res64: 7D0BE9BF9A30F601 Time : 0.0 sec. user=mdettweiler [2016-07-16 03:21:39] 745*2^1435401-1 is not prime. Res64: DFF8B5B6463E3FE6 Time : 0.0 sec. user=mdettweiler [2016-07-16 03:21:40] 807*2^1435401-1 is not prime. Res64: D980977DF3378EA7 Time : 0.0 sec. user=mdettweiler [2016-07-16 03:21:40] 871*2^1435401-1 is not prime. Res64: 8CAF75E3BE11FCFB Time : 0.0 sec. user=mdettweiler [2016-07-16 03:21:41] 955*2^1435401-1 is not prime. Res64: 2092E0153251652A Time : 0.0 sec. user=mdettweiler [2016-07-16 03:21:42] 755*2^1435402-1 is not prime. Res64: 9B094A3907290D2C Time : 0.0 sec. user=mdettweiler [2016-07-16 03:21:42] 777*2^1435402-1 is not prime. Res64: 358FF86CE68EAC77 Time : 0.0 sec. user=mdettweiler [2016-07-16 03:21:43] 827*2^1435402-1 is not prime. Res64: EC7DDC0757816F62 Time : 0.0 sec. user=mdettweiler [2016-07-16 03:21:43] 867*2^1435402-1 is not prime. Res64: 89361017948E1B41 Time : 0.0 sec. user=mdettweiler [2016-07-16 03:21:44] 917*2^1435402-1 is not prime. Res64: A916203B12CB1BFA Time : 0.0 sec. user=mdettweiler [2016-07-16 03:21:44] 923*2^1435402-1 is not prime. Res64: C5DA57E58B1297B0 Time : 0.0 sec. user=mdettweiler [2016-07-16 03:22:06] 983*2^1435402-1 is not prime. Res64: 055D3891121C5140 Time : 0.0 sec. user=mdettweiler [2016-07-16 03:22:06] 619*2^1435403-1 is not prime. Res64: 6B60F3E571AE9610 Time : 0.0 sec. user=mdettweiler [2016-07-16 03:22:06] 771*2^1435403-1 is not prime. Res64: 583A5588D6BEB7F5 Time : 0.0 sec. user=mdettweiler [2016-07-16 03:22:07] 819*2^1435403-1 is not prime. Res64: 546C1F77D8FACE3F Time : 0.0 sec. user=mdettweiler [2016-07-16 03:22:07] 993*2^1435403-1 is not prime. Res64: 01EE5D3F8F61482C Time : 0.0 sec. user=mdettweiler [2016-07-16 04:05:45] 707*2^1435404-1 is not prime. Res64: D54C6FC91C6EE7BC Time : 0.0 sec. user=mdettweiler [2016-07-16 04:05:48] 719*2^1435404-1 is not prime. Res64: 31B7308F1B5C5011 Time : 0.0 sec. user=mdettweiler [2016-07-16 04:05:50] 909*2^1435404-1 is not prime. Res64: 87B09A95358A2893 Time : 0.0 sec. user=mdettweiler [2016-07-16 04:05:51] 717*2^1435405-1 is not prime. Res64: 0C91EF86FDEE0B38 Time : 0.0 sec. user=mdettweiler [2016-07-16 04:05:51] 983*2^1435404-1 is not prime. Res64: 51E3AF664F6A14DB Time : 0.0 sec. user=mdettweiler [2016-07-16 04:05:53] 679*2^1435405-1 is not prime. Res64: D4FFB9BD56658090 Time : 0.0 sec. user=mdettweiler [2016-07-16 04:05:54] 729*2^1435405-1 is not prime. Res64: 1AA647BB3A2544AC Time : 0.0 sec. user=mdettweiler [2016-07-16 04:05:57] 757*2^1435405-1 is not prime. Res64: 54D8483513BB463D Time : 0.0 sec. user=mdettweiler [2016-07-16 04:06:01] 847*2^1435405-1 is not prime. Res64: 4EFCA940FBD5F7B8 Time : 0.0 sec. user=mdettweiler [2016-07-16 04:06:03] 975*2^1435405-1 is not prime. Res64: 1F72624DFF04B025 Time : 0.0 sec. user=mdettweiler [2016-07-16 04:06:09] 635*2^1435406-1 is not prime. Res64: D96E5569080ECC93 Time : 0.0 sec. user=mdettweiler [2016-07-16 04:06:11] 663*2^1435406-1 is not prime. Res64: 4F779A56389BBA25 Time : 0.0 sec. user=mdettweiler [2016-07-16 04:06:12] 683*2^1435406-1 is not prime. Res64: 11B0CD52671A76BA Time : 0.0 sec. user=mdettweiler [2016-07-16 04:06:14] 705*2^1435406-1 is not prime. Res64: F74B7AC0983BD1D2 Time : 0.0 sec. user=mdettweiler [2016-07-16 04:06:15] 713*2^1435406-1 is not prime. Res64: 4DB62CDD137AB735 Time : 0.0 sec. user=mdettweiler [2016-07-16 04:50:11] 717*2^1435406-1 is not prime. Res64: 75A47DFBD531F96B Time : 0.0 sec. user=mdettweiler [2016-07-16 04:50:11] 785*2^1435406-1 is not prime. Res64: FCA5D191FCCABD16 Time : 0.0 sec. user=mdettweiler [2016-07-16 04:50:12] 831*2^1435406-1 is not prime. Res64: 27A4EF01D03ADE82 Time : 0.0 sec. user=mdettweiler [2016-07-16 04:50:12] 935*2^1435406-1 is not prime. Res64: 5CC7D56FA199FB43 Time : 0.0 sec. user=mdettweiler [2016-07-16 04:50:12] 601*2^1435407-1 is not prime. Res64: 8A7A5D02B8123BD3 Time : 0.0 sec. user=mdettweiler [2016-07-16 04:50:13] 953*2^1435406-1 is not prime. Res64: B8593A4CEBC0D90B Time : 0.0 sec. user=mdettweiler [2016-07-16 04:50:13] 609*2^1435407-1 is not prime. Res64: 2532A2332CBC57FD Time : 0.0 sec. user=mdettweiler [2016-07-16 04:50:13] 675*2^1435407-1 is not prime. Res64: 873C647A6DC58381 Time : 0.0 sec. user=mdettweiler [2016-07-16 04:50:13] 685*2^1435407-1 is not prime. Res64: 7198A5C480B2E5B9 Time : 0.0 sec. user=mdettweiler [2016-07-16 04:50:14] 895*2^1435407-1 is not prime. Res64: 115E61A57EE2976B Time : 0.0 sec. user=mdettweiler [2016-07-16 04:50:21] 909*2^1435407-1 is not prime. Res64: 07037F1B3CE17E8B Time : 0.0 sec. user=mdettweiler [2016-07-16 04:50:22] 803*2^1435408-1 is not prime. Res64: 82877AEB86D447F1 Time : 0.0 sec. user=mdettweiler [2016-07-16 04:50:22] 899*2^1435408-1 is not prime. Res64: 19E5752DD8DC2CD3 Time : 0.0 sec. user=mdettweiler [2016-07-16 04:50:23] 909*2^1435408-1 is not prime. Res64: B290FD73B150B572 Time : 0.0 sec. user=mdettweiler [2016-07-16 04:50:23] 615*2^1435409-1 is not prime. Res64: A102F377592540C2 Time : 0.0 sec. user=mdettweiler [2016-07-16 05:34:14] 635*2^1435410-1 is not prime. Res64: 815BC7032638FF59 Time : 0.0 sec. user=mdettweiler [2016-07-16 05:34:14] 677*2^1435410-1 is not prime. Res64: 126DCC7B20077773 Time : 0.0 sec. user=mdettweiler [2016-07-16 05:34:14] 755*2^1435410-1 is not prime. Res64: C9A4C4434B0C9D13 Time : 0.0 sec. user=mdettweiler [2016-07-16 05:34:15] 803*2^1435410-1 is not prime. Res64: 184D231257995435 Time : 0.0 sec. user=mdettweiler [2016-07-16 05:34:15] 927*2^1435410-1 is not prime. Res64: 99267E6F4CA33558 Time : 0.0 sec. user=mdettweiler [2016-07-16 05:34:16] 789*2^1435409-1 is not prime. Res64: FEDFC2A90BD920CC Time : 0.0 sec. user=mdettweiler [2016-07-16 05:34:17] 897*2^1435409-1 is not prime. Res64: 405C4EC86CAA61C5 Time : 0.0 sec. user=mdettweiler [2016-07-16 05:34:17] 931*2^1435409-1 is not prime. Res64: F2092BF72F83D3A1 Time : 0.0 sec. user=mdettweiler [2016-07-16 05:34:18] 949*2^1435409-1 is not prime. Res64: 628FA5D69E59784F Time : 0.0 sec. user=mdettweiler [2016-07-16 05:34:18] 633*2^1435410-1 is not prime. Res64: 049B5BF9F86629A4 Time : 0.0 sec. user=mdettweiler [2016-07-16 05:34:27] 1001*2^1435410-1 is not prime. Res64: 63655D83954F153C Time : 0.0 sec. user=mdettweiler [2016-07-16 05:34:28] 651*2^1435411-1 is not prime. Res64: BC2C53F55167137D Time : 0.0 sec. user=mdettweiler [2016-07-16 05:34:28] 771*2^1435411-1 is not prime. Res64: C4C60380B8185C8A Time : 0.0 sec. user=mdettweiler [2016-07-16 05:34:29] 973*2^1435411-1 is not prime. Res64: 57D080A7F31E871F Time : 0.0 sec. user=mdettweiler [2016-07-16 05:34:29] 603*2^1435412-1 is not prime. Res64: 82D8A30090601B78 Time : 0.0 sec. user=mdettweiler [2016-07-16 06:18:22] 607*2^1435413-1 is not prime. Res64: 15C98DB57C81E03C Time : 0.0 sec. user=mdettweiler [2016-07-16 06:18:22] 627*2^1435413-1 is not prime. Res64: B28C86E5A074AEF1 Time : 0.0 sec. user=mdettweiler [2016-07-16 06:18:23] 617*2^1435412-1 is not prime. Res64: C8CD4265998F4D59 Time : 0.0 sec. user=mdettweiler [2016-07-16 06:18:23] 685*2^1435413-1 is not prime. Res64: 6E7AEE997A2EE6A2 Time : 0.0 sec. user=mdettweiler [2016-07-16 06:18:23] 669*2^1435412-1 is not prime. Res64: 4A5615C74B19E5F9 Time : 0.0 sec. user=mdettweiler [2016-07-16 06:18:23] 877*2^1435413-1 is not prime. Res64: EECE8CE8CFBD8ECF Time : 0.0 sec. user=mdettweiler [2016-07-16 06:18:23] 825*2^1435412-1 is not prime. Res64: 73082080B6305932 Time : 0.0 sec. user=mdettweiler [2016-07-16 06:18:24] 937*2^1435413-1 is not prime. Res64: 7117298A77C47AC9 Time : 0.0 sec. user=mdettweiler [2016-07-16 06:18:24] 833*2^1435412-1 is not prime. Res64: 2A775ECC35177C1E Time : 0.0 sec. user=mdettweiler [2016-07-16 06:18:24] 945*2^1435412-1 is not prime. Res64: 8A0D33B6C3790D6A Time : 0.0 sec. user=mdettweiler [2016-07-16 06:18:31] 617*2^1435414-1 is not prime. Res64: 6314DB34CE1C2334 Time : 0.0 sec. user=mdettweiler [2016-07-16 06:18:31] 687*2^1435414-1 is not prime. Res64: 05E730D501BA23F4 Time : 0.0 sec. user=mdettweiler [2016-07-16 06:18:31] 783*2^1435414-1 is not prime. Res64: C6D727FEA47697D3 Time : 0.0 sec. user=mdettweiler [2016-07-16 06:18:32] 815*2^1435414-1 is not prime. Res64: 62704552C090CF8A Time : 0.0 sec. user=mdettweiler [2016-07-16 06:18:32] 827*2^1435414-1 is not prime. Res64: 2EFEAB90CAE15156 Time : 0.0 sec. user=mdettweiler [2016-07-16 07:02:23] 863*2^1435414-1 is not prime. Res64: 974E68023CE3E629 Time : 0.0 sec. user=mdettweiler [2016-07-16 07:02:24] 651*2^1435415-1 is not prime. Res64: C004A5390475D826 Time : 0.0 sec. user=mdettweiler [2016-07-16 07:02:25] 915*2^1435414-1 is not prime. Res64: 72E1CA40057065CA Time : 0.0 sec. user=mdettweiler [2016-07-16 07:02:25] 655*2^1435415-1 is not prime. Res64: F7EC84EDC7A716E1 Time : 0.0 sec. user=mdettweiler [2016-07-16 07:02:25] 917*2^1435414-1 is not prime. Res64: 5093895694E77105 Time : 0.0 sec. user=mdettweiler [2016-07-16 07:02:26] 663*2^1435415-1 is not prime. Res64: 6928B14CFC561F87 Time : 0.0 sec. user=mdettweiler [2016-07-16 07:02:26] 971*2^1435414-1 is not prime. Res64: 40451AB749C5CD88 Time : 0.0 sec. user=mdettweiler [2016-07-16 07:02:26] 675*2^1435415-1 is not prime. Res64: 6747421CEB7BFAB3 Time : 0.0 sec. user=mdettweiler [2016-07-16 07:02:27] 643*2^1435415-1 is not prime. Res64: 1B4B0C6774F46EA7 Time : 0.0 sec. user=mdettweiler [2016-07-16 07:02:27] 685*2^1435415-1 is not prime. Res64: 156EF4A8D5FF27B6 Time : 0.0 sec. user=mdettweiler [2016-07-16 07:02:33] 775*2^1435415-1 is not prime. Res64: D7BA7974FBC32A11 Time : 0.0 sec. user=mdettweiler [2016-07-16 07:02:33] 861*2^1435415-1 is not prime. Res64: 65DC516DF422DFC2 Time : 0.0 sec. user=mdettweiler [2016-07-16 07:02:34] 973*2^1435415-1 is not prime. Res64: 204F3788F7BD53E6 Time : 0.0 sec. user=mdettweiler [2016-07-16 07:02:34] 979*2^1435415-1 is not prime. Res64: 31A5EDFA32E869D3 Time : 0.0 sec. user=mdettweiler [2016-07-16 07:02:35] 609*2^1435416-1 is not prime. Res64: 1AD4037F028B1C15 Time : 0.0 sec. user=mdettweiler [2016-07-16 07:46:27] 909*2^1435416-1 is not prime. Res64: 2C7903C8E42AB196 Time : 0.0 sec. user=mdettweiler [2016-07-16 07:46:27] 707*2^1435416-1 is not prime. Res64: 609F6ADFB446BBB9 Time : 0.0 sec. user=mdettweiler [2016-07-16 07:46:28] 983*2^1435416-1 is not prime. Res64: D6DC2E224A3DA2D2 Time : 0.0 sec. user=mdettweiler [2016-07-16 07:46:28] 737*2^1435416-1 is not prime. Res64: 053DE9F89D0A231F Time : 0.0 sec. user=mdettweiler [2016-07-16 07:46:28] 849*2^1435416-1 is not prime. Res64: 85D33D0BECB20DE8 Time : 0.0 sec. user=mdettweiler [2016-07-16 07:46:28] 751*2^1435417-1 is not prime. Res64: D88796C1743FE990 Time : 0.0 sec. user=mdettweiler [2016-07-16 07:46:29] 867*2^1435416-1 is not prime. Res64: 5113F2D6C60A6725 Time : 0.0 sec. user=mdettweiler [2016-07-16 07:46:29] 759*2^1435417-1 is not prime. Res64: 865AA9AED0BD6585 Time : 0.0 sec. user=mdettweiler [2016-07-16 07:46:29] 873*2^1435416-1 is not prime. Res64: B2D38DC574492BFD Time : 0.0 sec. user=mdettweiler [2016-07-16 07:46:29] 861*2^1435417-1 is not prime. Res64: 477540E245608EF7 Time : 0.0 sec. user=mdettweiler [2016-07-16 07:46:36] 627*2^1435418-1 is not prime. Res64: 72BA5750EAF38B1E Time : 0.0 sec. user=mdettweiler [2016-07-16 07:46:36] 713*2^1435418-1 is not prime. Res64: 894CB37E6534D369 Time : 0.0 sec. user=mdettweiler [2016-07-16 07:46:36] 887*2^1435418-1 is not prime. Res64: B5B378B5540255CC Time : 0.0 sec. user=mdettweiler [2016-07-16 07:46:37] 633*2^1435419-1 is not prime. Res64: F94F9EFD62F5897E Time : 0.0 sec. user=mdettweiler [2016-07-16 07:46:37] 709*2^1435419-1 is not prime. Res64: 15B2C36E7AE7977A Time : 0.0 sec. user=mdettweiler [2016-07-16 08:30:35] 711*2^1435419-1 is not prime. Res64: 440450ACDBE2F097 Time : 0.0 sec. user=mdettweiler [2016-07-16 08:30:35] 795*2^1435419-1 is not prime. Res64: 49E7442EB7CD196A Time : 0.0 sec. user=mdettweiler [2016-07-16 08:30:36] 635*2^1435420-1 is not prime. Res64: 5CC2E74497C731A8 Time : 0.0 sec. user=mdettweiler [2016-07-16 08:30:36] 853*2^1435419-1 is not prime. Res64: D1D98F8CD9108F8D Time : 0.0 sec. user=mdettweiler [2016-07-16 08:30:36] 785*2^1435420-1 is not prime. Res64: 1E06D91360D412C0 Time : 0.0 sec. user=mdettweiler [2016-07-16 08:30:36] 903*2^1435419-1 is not prime. Res64: 486D68F972EF629F Time : 0.0 sec. user=mdettweiler [2016-07-16 08:30:36] 825*2^1435420-1 is not prime. Res64: 97D3E9827CB5F512 Time : 0.0 sec. user=mdettweiler [2016-07-16 08:30:37] 975*2^1435419-1 is not prime. Res64: 335926FAEB619DE1 Time : 0.0 sec. user=mdettweiler [2016-07-16 08:30:37] 983*2^1435420-1 is not prime. Res64: 0A92C603BAB4C428 Time : 0.0 sec. user=mdettweiler [2016-07-16 08:30:37] 715*2^1435421-1 is not prime. Res64: BD078036E06FD38B Time : 0.0 sec. user=mdettweiler [2016-07-16 08:30:41] 745*2^1435421-1 is not prime. Res64: 2495A4B5F3D97A59 Time : 0.0 sec. user=mdettweiler [2016-07-16 08:30:42] 789*2^1435421-1 is not prime. Res64: 3D1AC4147A48332C Time : 0.0 sec. user=mdettweiler [2016-07-16 08:30:42] 927*2^1435421-1 is not prime. Res64: D763DDC7497DF1F5 Time : 0.0 sec. user=mdettweiler [2016-07-16 08:30:43] 981*2^1435421-1 is not prime. Res64: 05D00FBD86EC8491 Time : 0.0 sec. user=mdettweiler [2016-07-16 08:30:43] 651*2^1435422-1 is not prime. Res64: BB0AC5E9C9C4D4F1 Time : 0.0 sec. user=mdettweiler [2016-07-16 09:14:37] 723*2^1435422-1 is not prime. Res64: 6850CD6B59188777 Time : 0.0 sec. user=mdettweiler [2016-07-16 09:14:37] 755*2^1435422-1 is not prime. Res64: F61E042ADA78BBCD Time : 0.0 sec. user=mdettweiler [2016-07-16 09:14:38] 777*2^1435422-1 is not prime. Res64: 418FFFDB4D5046EB Time : 0.0 sec. user=mdettweiler [2016-07-16 09:14:38] 887*2^1435422-1 is not prime. Res64: 9978873320AB3C72 Time : 0.0 sec. user=mdettweiler [2016-07-16 09:14:38] 825*2^1435422-1 is not prime. Res64: A1303092CDE54BAA Time : 0.0 sec. user=mdettweiler [2016-07-16 09:14:38] 917*2^1435422-1 is not prime. Res64: E14415D9E2C2D133 Time : 0.0 sec. user=mdettweiler [2016-07-16 09:14:39] 873*2^1435422-1 is not prime. Res64: B47CFA7FB718CE2E Time : 0.0 sec. user=mdettweiler [2016-07-16 09:14:39] 983*2^1435422-1 is not prime. Res64: 767C7E00A797388F Time : 0.0 sec. user=mdettweiler [2016-07-16 09:14:39] 1001*2^1435422-1 is not prime. Res64: E3A63D60D13EEF70 Time : 0.0 sec. user=mdettweiler [2016-07-16 09:14:40] 673*2^1435423-1 is not prime. Res64: 05E0369783358A18 Time : 0.0 sec. user=mdettweiler [2016-07-16 09:14:41] 693*2^1435423-1 is not prime. Res64: 81F433E7CC6D3493 Time : 0.0 sec. user=mdettweiler [2016-07-16 09:14:42] 615*2^1435424-1 is not prime. Res64: 7817F39BBFE03659 Time : 0.0 sec. user=mdettweiler [2016-07-16 09:14:42] 683*2^1435424-1 is not prime. Res64: 2D0854E1844A986B Time : 0.0 sec. user=mdettweiler [2016-07-16 09:14:43] 699*2^1435424-1 is not prime. Res64: CF4D938D05457373 Time : 0.0 sec. user=mdettweiler [2016-07-16 09:14:43] 759*2^1435424-1 is not prime. Res64: 63B1727B1362219F Time : 0.0 sec. user=mdettweiler [2016-07-16 09:58:47] 857*2^1435424-1 is not prime. Res64: 54EA1EBCDD7083CA Time : 0.0 sec. user=mdettweiler [2016-07-16 09:58:47] 873*2^1435424-1 is not prime. Res64: C2B6FF14416F66B1 Time : 0.0 sec. user=mdettweiler [2016-07-16 09:58:47] 893*2^1435424-1 is not prime. Res64: 683C1697F27C9A0E Time : 0.0 sec. user=mdettweiler [2016-07-16 09:58:48] 903*2^1435424-1 is not prime. Res64: BADA9FDF598F43AB Time : 0.0 sec. user=mdettweiler [2016-07-16 09:58:48] 923*2^1435424-1 is not prime. Res64: 7F76DDADB7A3632C Time : 0.0 sec. user=mdettweiler [2016-07-16 09:58:48] 917*2^1435424-1 is not prime. Res64: A136A447AB492A98 Time : 0.0 sec. user=mdettweiler [2016-07-16 09:58:48] 927*2^1435424-1 is not prime. Res64: 66AE1CAFD3FD8244 Time : 0.0 sec. user=mdettweiler [2016-07-16 09:58:49] 959*2^1435424-1 is not prime. Res64: 13857FE51356D7B1 Time : 0.0 sec. user=mdettweiler [2016-07-16 09:58:49] 983*2^1435424-1 is not prime. Res64: B3864EC281F5AEDD Time : 0.0 sec. user=mdettweiler [2016-07-16 09:58:49] 625*2^1435425-1 is not prime. Res64: 09916C112A1A84B1 Time : 0.0 sec. user=mdettweiler [2016-07-16 09:58:49] 607*2^1435425-1 is not prime. Res64: 1091C1D67E2B40C8 Time : 0.0 sec. user=mdettweiler [2016-07-16 09:58:50] 651*2^1435425-1 is not prime. Res64: 556A9E178AFE92B3 Time : 0.0 sec. user=mdettweiler [2016-07-16 09:58:50] 657*2^1435425-1 is not prime. Res64: BDA3CEBF7E13F08C Time : 0.0 sec. user=mdettweiler [2016-07-16 09:58:50] 921*2^1435425-1 is not prime. Res64: C469F658F7646CFE Time : 0.0 sec. user=mdettweiler [2016-07-16 09:58:51] 937*2^1435425-1 is not prime. Res64: 0F7535CEF9587375 Time : 0.0 sec. user=mdettweiler [2016-07-16 10:42:50] 955*2^1435425-1 is not prime. Res64: 8D29EA4173E36BD7 Time : 0.0 sec. user=mdettweiler [2016-07-16 10:42:51] 635*2^1435426-1 is not prime. Res64: EE618C95265709D2 Time : 0.0 sec. user=mdettweiler [2016-07-16 10:42:51] 713*2^1435426-1 is not prime. Res64: 8F4E49159B3F4BA6 Time : 0.0 sec. user=mdettweiler [2016-07-16 10:42:51] 801*2^1435427-1 is not prime. Res64: B28A13B0AFDF01EB Time : 0.0 sec. user=mdettweiler [2016-07-16 10:42:51] 723*2^1435426-1 is not prime. Res64: 9AC97735FEA0222D Time : 0.0 sec. user=mdettweiler [2016-07-16 10:42:51] 931*2^1435427-1 is not prime. Res64: AEBAC43ECDEDA45E Time : 0.0 sec. user=mdettweiler [2016-07-16 10:42:52] 737*2^1435426-1 is not prime. Res64: EA86E9C229E37B8E Time : 0.0 sec. user=mdettweiler [2016-07-16 10:42:52] 939*2^1435427-1 is not prime. Res64: AF42EB01AA6D41E1 Time : 0.0 sec. user=mdettweiler [2016-07-16 10:42:52] 633*2^1435428-1 is not prime. Res64: F03D5D779A20469B Time : 0.0 sec. user=mdettweiler [2016-07-16 10:42:53] 845*2^1435428-1 is not prime. Res64: 6A3422360D20A65D Time : 0.0 sec. user=mdettweiler [2016-07-16 10:42:53] 765*2^1435426-1 is not prime. Res64: 3B86E5FB1E062E0D Time : 0.0 sec. user=mdettweiler [2016-07-16 10:42:53] 971*2^1435426-1 is not prime. Res64: F35B257AD7FB9AF3 Time : 0.0 sec. user=mdettweiler [2016-07-16 10:42:54] 603*2^1435427-1 is not prime. Res64: 40521D72EC2E20E5 Time : 0.0 sec. user=mdettweiler [2016-07-16 10:42:54] 609*2^1435427-1 is not prime. Res64: 0AA6B15744BAA3CF Time : 0.0 sec. user=mdettweiler [2016-07-16 10:42:55] 651*2^1435427-1 is not prime. Res64: A81E0FBF9AC1F033 Time : 0.0 sec. user=juhehe [2016-07-16 11:14:46] 905*2^1435428-1 is not prime. Res64: 00A6E3A5A14ACEAF Time : 0.0 sec. user=mdettweiler [2016-07-16 11:26:55] 825*2^1435429-1 is not prime. Res64: C6E64C35691113F6 Time : 0.0 sec. user=mdettweiler [2016-07-16 11:26:55] 835*2^1435429-1 is not prime. Res64: 5E50B0454A9B828B Time : 0.0 sec. user=mdettweiler [2016-07-16 11:26:55] 939*2^1435429-1 is not prime. Res64: C23F79F2BBB0CDE3 Time : 0.0 sec. user=mdettweiler [2016-07-16 11:26:56] 857*2^1435430-1 is not prime. Res64: 64F3A7D1D5306320 Time : 0.0 sec. user=mdettweiler [2016-07-16 11:26:56] 641*2^1435430-1 is not prime. Res64: E1F29BD9D8EC7052 Time : 0.0 sec. user=mdettweiler [2016-07-16 11:26:56] 861*2^1435430-1 is not prime. Res64: C5303EF9F3CA74E9 Time : 0.0 sec. user=mdettweiler [2016-07-16 11:26:56] 795*2^1435430-1 is not prime. Res64: DE3BF70FFFFD0DBF Time : 0.0 sec. user=mdettweiler [2016-07-16 11:26:56] 685*2^1435431-1 is not prime. Res64: 69515AED1B05E794 Time : 0.0 sec. user=mdettweiler [2016-07-16 11:26:57] 705*2^1435431-1 is not prime. Res64: 65E89C4599F1EAFC Time : 0.0 sec. user=mdettweiler [2016-07-16 11:26:57] 957*2^1435428-1 is not prime. Res64: 823F7D6A6E4298C0 Time : 0.0 sec. user=mdettweiler [2016-07-16 11:26:57] 711*2^1435431-1 is not prime. Res64: 170181C4418E9933 Time : 0.0 sec. user=mdettweiler [2016-07-16 11:26:58] 959*2^1435428-1 is not prime. Res64: D4AE70D2970A54F4 Time : 0.0 sec. user=mdettweiler [2016-07-16 11:26:58] 619*2^1435429-1 is not prime. Res64: B06FD354A84F931A Time : 0.0 sec. user=mdettweiler [2016-07-16 11:26:59] 681*2^1435429-1 is not prime. Res64: 9E8DD98D713C2B78 Time : 0.0 sec. user=mdettweiler [2016-07-16 11:26:59] 757*2^1435429-1 is not prime. Res64: 289C4FA719E84E61 Time : 0.0 sec. user=mdettweiler [2016-07-16 12:10:58] 861*2^1435431-1 is not prime. Res64: F15935D36213EE81 Time : 0.0 sec. user=mdettweiler [2016-07-16 12:10:59] 995*2^1435432-1 is not prime. Res64: 405354FA9DAA86D8 Time : 0.0 sec. user=mdettweiler [2016-07-16 12:10:59] 979*2^1435431-1 is not prime. Res64: 0E7E52CC015A3450 Time : 0.0 sec. user=mdettweiler [2016-07-16 12:10:59] 885*2^1435433-1 is not prime. Res64: 7AF1E193D7254AFC Time : 0.0 sec. user=mdettweiler [2016-07-16 12:10:59] 631*2^1435433-1 is not prime. Res64: 836046D76AF730C8 Time : 0.0 sec. user=mdettweiler [2016-07-16 12:10:59] 693*2^1435432-1 is not prime. Res64: FD55AC9B1F486599 Time : 0.0 sec. user=mdettweiler [2016-07-16 12:11:00] 611*2^1435434-1 is not prime. Res64: 77FB84FD66725576 Time : 0.0 sec. user=mdettweiler [2016-07-16 12:11:00] 697*2^1435433-1 is not prime. Res64: 48A0147755743011 Time : 0.0 sec. user=mdettweiler [2016-07-16 12:11:00] 723*2^1435432-1 is not prime. Res64: ED165E960CF73645 Time : 0.0 sec. user=mdettweiler [2016-07-16 12:11:00] 723*2^1435434-1 is not prime. Res64: 39DC43537E91158A Time : 0.0 sec. user=mdettweiler [2016-07-16 12:11:00] 747*2^1435433-1 is not prime. Res64: 292F76E82B6B12CB Time : 0.0 sec. user=mdettweiler [2016-07-16 12:11:00] 869*2^1435432-1 is not prime. Res64: D7093900638CA987 Time : 0.0 sec. user=mdettweiler [2016-07-16 12:11:00] 797*2^1435434-1 is not prime. Res64: 5C8A363A191C1391 Time : 0.0 sec. user=mdettweiler [2016-07-16 12:11:01] 795*2^1435433-1 is not prime. Res64: B31234EF10D3C9B5 Time : 0.0 sec. user=mdettweiler [2016-07-16 12:11:01] 807*2^1435434-1 is not prime. Res64: 9ABB207B3298848D Time : 0.0 sec. user=mdettweiler [2016-07-16 12:55:09] 873*2^1435434-1 is not prime. Res64: 3E022DD5BFDA9DBF Time : 0.0 sec. user=mdettweiler [2016-07-16 12:55:09] 617*2^1435436-1 is not prime. Res64: 434C4A0618AC45ED Time : 0.0 sec. user=mdettweiler [2016-07-16 12:55:09] 1001*2^1435434-1 is not prime. Res64: 80C306F03B59D1B2 Time : 0.0 sec. user=mdettweiler [2016-07-16 12:55:09] 657*2^1435436-1 is not prime. Res64: E7B97352E98A3796 Time : 0.0 sec. user=mdettweiler [2016-07-16 12:55:09] 673*2^1435435-1 is not prime. Res64: 31B33E7640D3699E Time : 0.0 sec. user=mdettweiler [2016-07-16 12:55:10] 677*2^1435436-1 is not prime. Res64: 29C1FBCE39E62479 Time : 0.0 sec. user=mdettweiler [2016-07-16 12:55:10] 601*2^1435435-1 is not prime. Res64: 78750400E1818783 Time : 0.0 sec. user=mdettweiler [2016-07-16 12:55:10] 675*2^1435435-1 is not prime. Res64: ACEFF27AFA7A5DF2 Time : 0.0 sec. user=mdettweiler [2016-07-16 12:55:10] 735*2^1435436-1 is not prime. Res64: FD8CC3CC8C93B256 Time : 0.0 sec. user=mdettweiler [2016-07-16 12:55:10] 625*2^1435435-1 is not prime. Res64: 4FD1A5A08FA9EE66 Time : 0.0 sec. user=mdettweiler [2016-07-16 12:55:10] 819*2^1435435-1 is not prime. Res64: DC62FBCA48EF7D69 Time : 0.0 sec. user=mdettweiler [2016-07-16 12:55:10] 759*2^1435436-1 is not prime. Res64: 23299EA5242F2F9E Time : 0.0 sec. user=mdettweiler [2016-07-16 12:55:10] 861*2^1435435-1 is not prime. Res64: FD36EC2A24195128 Time : 0.0 sec. user=mdettweiler [2016-07-16 12:55:10] 649*2^1435435-1 is not prime. Res64: D70EBAD739FF4544 Time : 0.0 sec. user=mdettweiler [2016-07-16 12:55:11] 615*2^1435436-1 is not prime. Res64: 5F46AC973D7EC319 Time : 0.0 sec. user=mdettweiler [2016-07-16 13:39:16] 695*2^1435438-1 is not prime. Res64: 33B9E84230FE1EA6 Time : 0.0 sec. user=mdettweiler [2016-07-16 13:39:17] 755*2^1435438-1 is not prime. Res64: 7A68900BB13830B7 Time : 0.0 sec. user=mdettweiler [2016-07-16 13:39:17] 777*2^1435438-1 is not prime. Res64: EE970BAD43956CAA Time : 0.0 sec. user=mdettweiler [2016-07-16 13:39:18] 815*2^1435438-1 is not prime. Res64: E0255CD2ACA0AF97 Time : 0.0 sec. user=mdettweiler [2016-07-16 13:39:18] 831*2^1435438-1 is not prime. Res64: 63D8AE2E10C47DD0 Time : 0.0 sec. user=mdettweiler [2016-07-16 13:39:18] 655*2^1435437-1 is not prime. Res64: 36F2DD1FBFFFAD27 Time : 0.0 sec. user=mdettweiler [2016-07-16 13:39:19] 747*2^1435437-1 is not prime. Res64: 7959EED81463F5DE Time : 0.0 sec. user=mdettweiler [2016-07-16 13:39:19] 765*2^1435437-1 is not prime. Res64: 15738FF318F30CBC Time : 0.0 sec. user=mdettweiler [2016-07-16 13:39:20] 825*2^1435437-1 is not prime. Res64: 4F299266660F817E Time : 0.0 sec. user=mdettweiler [2016-07-16 13:39:20] 955*2^1435437-1 is not prime. Res64: 1663119E44FAD9C0 Time : 0.0 sec. user=mdettweiler [2016-07-16 13:39:21] 767*2^1435436-1 is not prime. Res64: 90B08E17AFF76406 Time : 0.0 sec. user=mdettweiler [2016-07-16 13:39:21] 833*2^1435436-1 is not prime. Res64: CC95570AA167835D Time : 0.0 sec. user=mdettweiler [2016-07-16 13:39:21] 845*2^1435436-1 is not prime. Res64: F1B8B080B9700145 Time : 0.0 sec. user=mdettweiler [2016-07-16 13:39:22] 945*2^1435436-1 is not prime. Res64: 0BE683E339C7CFDE Time : 0.0 sec. user=mdettweiler [2016-07-16 13:39:22] 625*2^1435437-1 is not prime. Res64: E69A9AC786A3B6DA Time : 0.0 sec. user=mdettweiler [2016-07-16 14:23:26] 729*2^1435439-1 is not prime. Res64: 41660DF7A446B691 Time : 0.0 sec. user=mdettweiler [2016-07-16 14:23:27] 627*2^1435440-1 is not prime. Res64: 71F6F70325214D77 Time : 0.0 sec. user=mdettweiler [2016-07-16 14:23:27] 857*2^1435438-1 is not prime. Res64: 956BE2204E8858F3 Time : 0.0 sec. user=mdettweiler [2016-07-16 14:23:28] 735*2^1435439-1 is not prime. Res64: 6F13294F5A229531 Time : 0.0 sec. user=mdettweiler [2016-07-16 14:23:28] 649*2^1435441-1 is not prime. Res64: B38B65258EC46439 Time : 0.0 sec. user=mdettweiler [2016-07-16 14:23:28] 859*2^1435439-1 is not prime. Res64: 6219B17560948010 Time : 0.0 sec. user=mdettweiler [2016-07-16 14:23:29] 957*2^1435438-1 is not prime. Res64: 850E64CFB70E4357 Time : 0.0 sec. user=mdettweiler [2016-07-16 14:23:29] 979*2^1435439-1 is not prime. Res64: CFDD8E0190C29DDD Time : 0.0 sec. user=mdettweiler [2016-07-16 14:23:29] 727*2^1435441-1 is not prime. Res64: 4499CD5752B62F4F Time : 0.0 sec. user=mdettweiler [2016-07-16 14:23:29] 993*2^1435438-1 is not prime. Res64: 9CDA4F85E7E09D39 Time : 0.0 sec. user=mdettweiler [2016-07-16 14:23:30] 999*2^1435439-1 is not prime. Res64: 7EA77D3EC5FE6677 Time : 0.0 sec. user=mdettweiler [2016-07-16 14:23:30] 669*2^1435439-1 is not prime. Res64: 3633C438C208A104 Time : 0.0 sec. user=mdettweiler [2016-07-16 14:23:30] 751*2^1435441-1 is not prime. Res64: A46618D129CDF471 Time : 0.0 sec. user=mdettweiler [2016-07-16 14:23:31] 705*2^1435439-1 is not prime. Res64: 2F28594ACDE7A851 Time : 0.0 sec. user=mdettweiler [2016-07-16 14:23:31] 877*2^1435441-1 is not prime. Res64: 160A553F35FAE375 Time : 0.0 sec. user=mdettweiler [2016-07-16 15:08:12] 931*2^1435441-1 is not prime. Res64: 229040F007E418FE Time : 0.0 sec. user=mdettweiler [2016-07-16 15:08:12] 743*2^1435442-1 is not prime. Res64: B475169D17540D0D Time : 0.0 sec. user=mdettweiler [2016-07-16 15:08:13] 791*2^1435442-1 is not prime. Res64: F638EAEA8A6C4096 Time : 0.0 sec. user=mdettweiler [2016-07-16 15:08:17] 909*2^1435441-1 is not prime. Res64: FC5E99C7B4E864D1 Time : 0.0 sec. user=mdettweiler [2016-07-16 15:08:17] 831*2^1435442-1 is not prime. Res64: 16C14D5EB794BB70 Time : 0.0 sec. user=mdettweiler [2016-07-16 15:08:17] 957*2^1435441-1 is not prime. Res64: C28B2643980659AE Time : 0.0 sec. user=mdettweiler [2016-07-16 15:08:17] 609*2^1435443-1 is not prime. Res64: BA940E74DBC5AB1E Time : 0.0 sec. user=mdettweiler [2016-07-16 15:08:17] 685*2^1435443-1 is not prime. Res64: 66D4DF852FFE8C1B Time : 0.0 sec. user=mdettweiler [2016-07-16 15:08:18] 617*2^1435442-1 is not prime. Res64: 83080A4B2DB56B3C Time : 0.0 sec. user=mdettweiler [2016-07-16 15:08:18] 721*2^1435443-1 is not prime. Res64: CA78D0A5133550CD Time : 0.0 sec. user=mdettweiler [2016-07-16 15:08:18] 645*2^1435442-1 is not prime. Res64: CB79CBE948294E04 Time : 0.0 sec. user=mdettweiler [2016-07-16 15:08:18] 793*2^1435443-1 is not prime. Res64: 845F1A6140E2418F Time : 0.0 sec. user=mdettweiler [2016-07-16 15:08:18] 701*2^1435442-1 is not prime. Res64: BA4B6511F15F4DCE Time : 0.0 sec. user=mdettweiler [2016-07-16 15:08:22] 835*2^1435443-1 is not prime. Res64: E002C92DCEA2EA5B Time : 0.0 sec. user=mdettweiler [2016-07-16 15:08:23] 943*2^1435443-1 is not prime. Res64: FB4C5FCB71BB4191 Time : 0.0 sec. user=mdettweiler [2016-07-16 15:52:28] 855*2^1435444-1 is not prime. Res64: B664B1B1BB2DB328 Time : 0.0 sec. user=mdettweiler [2016-07-16 15:52:34] 863*2^1435444-1 is not prime. Res64: 74AF741B677AB0CD Time : 0.0 sec. user=mdettweiler [2016-07-16 15:52:34] 717*2^1435445-1 is not prime. Res64: 3DAFBAFE26C7F88B Time : 0.0 sec. user=mdettweiler [2016-07-16 15:52:34] 955*2^1435443-1 is not prime. Res64: 16579EC829F807AD Time : 0.0 sec. user=mdettweiler [2016-07-16 15:52:34] 969*2^1435444-1 is not prime. Res64: 01A140FE1C0369D8 Time : 0.0 sec. user=mdettweiler [2016-07-16 15:52:34] 727*2^1435445-1 is not prime. Res64: EA47933F1226F6EE Time : 0.0 sec. user=mdettweiler [2016-07-16 15:52:34] 639*2^1435444-1 is not prime. Res64: 8EDD8C8D9041E53B Time : 0.0 sec. user=mdettweiler [2016-07-16 15:52:35] 619*2^1435445-1 is not prime. Res64: BF6EC93D2DF8A810 Time : 0.0 sec. user=mdettweiler [2016-07-16 15:52:35] 735*2^1435445-1 is not prime. Res64: F83B6EA9A4CCCB28 Time : 0.0 sec. user=mdettweiler [2016-07-16 15:52:35] 677*2^1435444-1 is not prime. Res64: 252979EB527155D6 Time : 0.0 sec. user=mdettweiler [2016-07-16 15:52:35] 855*2^1435445-1 is not prime. Res64: EC8455BB84BF7FE7 Time : 0.0 sec. user=mdettweiler [2016-07-16 15:52:35] 711*2^1435445-1 is not prime. Res64: 9821BE52D334D326 Time : 0.0 sec. user=mdettweiler [2016-07-16 15:52:35] 765*2^1435444-1 is not prime. Res64: 31B588AD2B44685A Time : 0.0 sec. user=mdettweiler [2016-07-16 15:52:35] 955*2^1435445-1 is not prime. Res64: 70CD42CF51616DBF Time : 0.0 sec. user=mdettweiler [2016-07-16 15:52:36] 819*2^1435444-1 is not prime. Res64: F65386B354ABBAA7 Time : 0.0 sec. user=mdettweiler [2016-07-16 16:36:44] 677*2^1435446-1 is not prime. Res64: 4378BE5338445D14 Time : 0.0 sec. user=mdettweiler [2016-07-16 16:36:45] 765*2^1435446-1 is not prime. Res64: F0993455B849BCF8 Time : 0.0 sec. user=mdettweiler [2016-07-16 16:36:45] 851*2^1435446-1 is not prime. Res64: 552B0FB4306DB467 Time : 0.0 sec. user=mdettweiler [2016-07-16 16:36:45] 861*2^1435446-1 is not prime. Res64: 3511AF6238E60A1C Time : 0.0 sec. user=mdettweiler [2016-07-16 16:36:50] 873*2^1435447-1 is not prime. Res64: 0BAEED97FECDA50F Time : 0.0 sec. user=mdettweiler [2016-07-16 16:36:50] 921*2^1435446-1 is not prime. Res64: A2BCEDA26515F92D Time : 0.0 sec. user=mdettweiler [2016-07-16 16:36:50] 889*2^1435447-1 is not prime. Res64: C00C418A9AF6DCB6 Time : 0.0 sec. user=mdettweiler [2016-07-16 16:36:50] 915*2^1435447-1 is not prime. Res64: D0C45FBD3F3D89E3 Time : 0.0 sec. user=mdettweiler [2016-07-16 16:36:51] 985*2^1435447-1 is not prime. Res64: E007BAF8B95B7FE7 Time : 0.0 sec. user=mdettweiler [2016-07-16 16:36:51] 633*2^1435448-1 is not prime. Res64: 1E06A3DCC78A809A Time : 0.0 sec. user=mdettweiler [2016-07-16 16:36:55] 945*2^1435446-1 is not prime. Res64: AB1479241D48199F Time : 0.0 sec. user=mdettweiler [2016-07-16 16:36:56] 983*2^1435446-1 is not prime. Res64: CED9755AF9BE038C Time : 0.0 sec. user=mdettweiler [2016-07-16 16:36:56] 715*2^1435447-1 is not prime. Res64: DEE4A7B6C067F338 Time : 0.0 sec. user=mdettweiler [2016-07-16 16:36:57] 829*2^1435447-1 is not prime. Res64: 954BEAC0F719723B Time : 0.0 sec. user=mdettweiler [2016-07-16 16:36:57] 841*2^1435447-1 is not prime. Res64: 7006D6A1F293B54B Time : 0.0 sec. user=mdettweiler [2016-07-16 17:21:06] 659*2^1435448-1 is not prime. Res64: 08FED39A59B1508A Time : 0.0 sec. user=mdettweiler [2016-07-16 17:21:06] 951*2^1435449-1 is not prime. Res64: CD2141A35375FEAA Time : 0.0 sec. user=mdettweiler [2016-07-16 17:21:06] 825*2^1435448-1 is not prime. Res64: 0F6E97C7DC2CC5B2 Time : 0.0 sec. user=mdettweiler [2016-07-16 17:21:06] 611*2^1435450-1 is not prime. Res64: BE8D0411F0600A01 Time : 0.0 sec. user=mdettweiler [2016-07-16 17:21:07] 647*2^1435450-1 is not prime. Res64: 49752C40A8F65A05 Time : 0.0 sec. user=mdettweiler [2016-07-16 17:21:07] 827*2^1435448-1 is not prime. Res64: 84EC2613CA22A7B6 Time : 0.0 sec. user=mdettweiler [2016-07-16 17:21:07] 675*2^1435450-1 is not prime. Res64: 644021DFA6444655 Time : 0.0 sec. user=mdettweiler [2016-07-16 17:21:07] 745*2^1435449-1 is not prime. Res64: 97AA887B966D5D79 Time : 0.0 sec. user=mdettweiler [2016-07-16 17:21:07] 755*2^1435450-1 is not prime. Res64: AB297EB74EB0E487 Time : 0.0 sec. user=mdettweiler [2016-07-16 17:21:07] 945*2^1435449-1 is not prime. Res64: CF103ED6EFA188C9 Time : 0.0 sec. user=mdettweiler [2016-07-16 17:21:08] 801*2^1435450-1 is not prime. Res64: F24574E78BC0B38F Time : 0.0 sec. user=mdettweiler [2016-07-16 17:21:12] 825*2^1435450-1 is not prime. Res64: 185136882975FDED Time : 0.0 sec. user=mdettweiler [2016-07-16 17:21:12] 885*2^1435450-1 is not prime. Res64: 0176C9E7FAE035BB Time : 0.0 sec. user=mdettweiler [2016-07-16 17:21:13] 631*2^1435451-1 is not prime. Res64: 67C89A533DCA2886 Time : 0.0 sec. user=mdettweiler [2016-07-16 17:21:13] 733*2^1435451-1 is not prime. Res64: 5A2507A2EE66AB00 Time : 0.0 sec. user=juhehe [2016-07-16 17:34:17] 781*2^1435451-1 is not prime. Res64: 21E164F182F44C52 Time : 0.0 sec. user=mdettweiler [2016-07-16 18:05:20] 789*2^1435451-1 is not prime. Res64: 39C4C9561177DA06 Time : 0.0 sec. user=mdettweiler [2016-07-16 18:05:21] 837*2^1435452-1 is not prime. Res64: A23C0C96A2978F49 Time : 0.0 sec. user=mdettweiler [2016-07-16 18:05:26] 861*2^1435453-1 is not prime. Res64: 08BD6D7C727A1BC5 Time : 0.0 sec. user=mdettweiler [2016-07-16 18:05:27] 931*2^1435451-1 is not prime. Res64: B5DFC38B8F5BDDED Time : 0.0 sec. user=mdettweiler [2016-07-16 18:05:27] 965*2^1435452-1 is not prime. Res64: C1F8502C719A06AF Time : 0.0 sec. user=mdettweiler [2016-07-16 18:05:28] 867*2^1435453-1 is not prime. Res64: E92F6A842F288901 Time : 0.0 sec. user=mdettweiler [2016-07-16 18:05:28] 983*2^1435452-1 is not prime. Res64: D1D30DEA52746814 Time : 0.0 sec. user=mdettweiler [2016-07-16 18:05:29] 943*2^1435451-1 is not prime. Res64: 99B13C318AC2D16C Time : 0.0 sec. user=mdettweiler [2016-07-16 18:05:33] 877*2^1435453-1 is not prime. Res64: 0BBE2906D93518B2 Time : 0.0 sec. user=mdettweiler [2016-07-16 18:05:36] 885*2^1435453-1 is not prime. Res64: 9E5E445A1CE182DC Time : 0.0 sec. user=mdettweiler [2016-07-16 18:05:36] 725*2^1435452-1 is not prime. Res64: F905EE9AC04481D7 Time : 0.0 sec. user=mdettweiler [2016-07-16 18:05:37] 621*2^1435453-1 is not prime. Res64: 39CC800E6ED15F02 Time : 0.0 sec. user=mdettweiler [2016-07-16 18:05:42] 945*2^1435453-1 is not prime. Res64: 66A975FE906999BF Time : 0.0 sec. user=mdettweiler [2016-07-16 18:05:43] 825*2^1435452-1 is not prime. Res64: C3C60496F722FFC0 Time : 0.0 sec. user=mdettweiler [2016-07-16 18:05:43] 811*2^1435453-1 is not prime. Res64: 64077A505A6F754F Time : 0.0 sec. user=mdettweiler [2016-07-16 18:50:25] 903*2^1435454-1 is not prime. Res64: 846686D3EF3A9E69 Time : 0.0 sec. user=mdettweiler [2016-07-16 18:50:25] 941*2^1435454-1 is not prime. Res64: E909E7E3D931AB47 Time : 0.0 sec. user=mdettweiler [2016-07-16 18:50:26] 945*2^1435454-1 is not prime. Res64: FA7E56C6F72FE6EA Time : 0.0 sec. user=mdettweiler [2016-07-16 18:50:26] 971*2^1435454-1 is not prime. Res64: B7E1EF91DC48AE2F Time : 0.0 sec. user=mdettweiler [2016-07-16 18:50:27] 679*2^1435455-1 is not prime. Res64: 8BD0EAA19B911C8F Time : 0.0 sec. user=mdettweiler [2016-07-16 18:50:31] 981*2^1435453-1 is not prime. Res64: 19DDABF993258545 Time : 0.0 sec. user=mdettweiler [2016-07-16 18:50:31] 615*2^1435454-1 is not prime. Res64: 472A881A6F8382DA Time : 0.0 sec. user=mdettweiler [2016-07-16 18:50:32] 785*2^1435454-1 is not prime. Res64: A5001316021E7585 Time : 0.0 sec. user=mdettweiler [2016-07-16 18:50:32] 851*2^1435454-1 is not prime. Res64: D3E99BE17505A5EE Time : 0.0 sec. user=mdettweiler [2016-07-16 18:50:33] 885*2^1435454-1 is not prime. Res64: 656FDE079830B9BF Time : 0.0 sec. user=mdettweiler [2016-07-16 18:50:37] 739*2^1435455-1 is not prime. Res64: 913022AFD58B81CA Time : 0.0 sec. user=mdettweiler [2016-07-16 18:50:37] 741*2^1435455-1 is not prime. Res64: 092BBD0883E43DC4 Time : 0.0 sec. user=mdettweiler [2016-07-16 18:50:37] 789*2^1435455-1 is not prime. Res64: A4B23862B981167B Time : 0.0 sec. user=mdettweiler [2016-07-16 18:50:38] 985*2^1435455-1 is not prime. Res64: E4BE98DF42158CA5 Time : 0.0 sec. user=mdettweiler [2016-07-16 18:50:38] 657*2^1435456-1 is not prime. Res64: 50A5E7C671776492 Time : 0.0 sec. user=mdettweiler [2016-07-16 19:34:32] 923*2^1435456-1 is not prime. Res64: 7F644F078ACD7532 Time : 0.0 sec. user=mdettweiler [2016-07-16 19:34:32] 957*2^1435456-1 is not prime. Res64: C76FD1B4B6DF0F97 Time : 0.0 sec. user=mdettweiler [2016-07-16 19:34:33] 965*2^1435456-1 is not prime. Res64: AAF26A2CBCE10625 Time : 0.0 sec. user=mdettweiler [2016-07-16 19:34:33] 649*2^1435457-1 is not prime. Res64: 2142B8A6BC2A908D Time : 0.0 sec. user=mdettweiler [2016-07-16 19:34:33] 715*2^1435457-1 is not prime. Res64: CC5A4B9473A1FA18 Time : 0.0 sec. user=mdettweiler [2016-07-16 19:34:38] 981*2^1435457-1 is not prime. Res64: D46188496FD5CEE2 Time : 0.0 sec. user=mdettweiler [2016-07-16 19:34:38] 605*2^1435458-1 is not prime. Res64: F77ACFB484489365 Time : 0.0 sec. user=mdettweiler [2016-07-16 19:34:38] 657*2^1435458-1 is not prime. Res64: 242EAC2A10BD33BC Time : 0.0 sec. user=mdettweiler [2016-07-16 19:34:39] 711*2^1435458-1 is not prime. Res64: 3270DDEC1F1D0723 Time : 0.0 sec. user=mdettweiler [2016-07-16 19:34:39] 713*2^1435458-1 is not prime. Res64: 5FA1975D9769392C Time : 0.0 sec. user=mdettweiler [2016-07-16 19:34:44] 815*2^1435458-1 is not prime. Res64: 57C042CB77EF2A76 Time : 0.0 sec. user=mdettweiler [2016-07-16 19:34:44] 821*2^1435458-1 is not prime. Res64: 1CA16DA2DBA1B277 Time : 0.0 sec. user=mdettweiler [2016-07-16 19:34:44] 619*2^1435459-1 is not prime. Res64: 86F6F008AD11B9C6 Time : 0.0 sec. user=mdettweiler [2016-07-16 19:34:45] 625*2^1435459-1 is not prime. Res64: 11DC69F41984CC22 Time : 0.0 sec. user=mdettweiler [2016-07-16 19:34:45] 675*2^1435459-1 is not prime. Res64: F2D5E0F468C3E56B Time : 0.0 sec. user=mdettweiler [2016-07-16 20:18:39] 709*2^1435459-1 is not prime. Res64: DEE16EED9E488B59 Time : 0.0 sec. user=mdettweiler [2016-07-16 20:18:40] 751*2^1435459-1 is not prime. Res64: 0D19F037AF147F58 Time : 0.0 sec. user=mdettweiler [2016-07-16 20:18:40] 895*2^1435459-1 is not prime. Res64: B9B4B5D4F679D485 Time : 0.0 sec. user=mdettweiler [2016-07-16 20:18:41] 931*2^1435459-1 is not prime. Res64: 2DE4AD6E65E16B5D Time : 0.0 sec. user=mdettweiler [2016-07-16 20:18:47] 961*2^1435459-1 is not prime. Res64: EA628C50C9329548 Time : 0.0 sec. user=mdettweiler [2016-07-16 20:18:48] 993*2^1435459-1 is not prime. Res64: 309FC8459D29D8FB Time : 0.0 sec. user=mdettweiler [2016-07-16 20:18:48] 603*2^1435460-1 is not prime. Res64: A3A09E1578FEB972 Time : 0.0 sec. user=mdettweiler [2016-07-16 20:18:49] 669*2^1435460-1 is not prime. Res64: 3513FB2021804CF0 Time : 0.0 sec. user=mdettweiler [2016-07-16 20:18:49] 717*2^1435460-1 is not prime. Res64: 9F9A7C3536E60313 Time : 0.0 sec. user=mdettweiler [2016-07-16 20:18:54] 759*2^1435460-1 is not prime. Res64: 83987066755AEDC3 Time : 0.0 sec. user=mdettweiler [2016-07-16 20:18:54] 773*2^1435460-1 is not prime. Res64: DED91F1598DD4A43 Time : 0.0 sec. user=mdettweiler [2016-07-16 20:18:55] 797*2^1435460-1 is not prime. Res64: 81448230A536DD63 Time : 0.0 sec. user=mdettweiler [2016-07-16 20:18:55] 879*2^1435460-1 is not prime. Res64: 881319C0F056C052 Time : 0.0 sec. user=mdettweiler [2016-07-16 20:18:56] 601*2^1435461-1 is not prime. Res64: 63A357A58EB511E5 Time : 0.0 sec. user=mdettweiler [2016-07-16 20:18:56] 609*2^1435461-1 is not prime. Res64: 5B89B00F8D099821 Time : 0.0 sec. user=mdettweiler [2016-07-16 21:02:51] 627*2^1435461-1 is not prime. Res64: 4BB979506A4DDBE0 Time : 0.0 sec. user=mdettweiler [2016-07-16 21:02:52] 727*2^1435461-1 is not prime. Res64: 3849201B750562D9 Time : 0.0 sec. user=mdettweiler [2016-07-16 21:02:56] 745*2^1435461-1 is not prime. Res64: 6A6EF663D9F9359A Time : 0.0 sec. user=mdettweiler [2016-07-16 21:02:57] 835*2^1435461-1 is not prime. Res64: 9BF265784923C0A1 Time : 0.0 sec. user=mdettweiler [2016-07-16 21:02:57] 979*2^1435461-1 is not prime. Res64: 3C22A9D1B0F4F403 Time : 0.0 sec. user=mdettweiler [2016-07-16 21:02:57] 889*2^1435461-1 is not prime. Res64: B373F677A218E40F Time : 0.0 sec. user=mdettweiler [2016-07-16 21:02:57] 671*2^1435462-1 is not prime. Res64: BF8FB0FCA743110D Time : 0.0 sec. user=mdettweiler [2016-07-16 21:03:02] 825*2^1435462-1 is not prime. Res64: 6193BE37C3E34A5C Time : 0.0 sec. user=mdettweiler [2016-07-16 21:03:03] 911*2^1435462-1 is not prime. Res64: F9B6D303A4604876 Time : 0.0 sec. user=mdettweiler [2016-07-16 21:03:04] 981*2^1435462-1 is not prime. Res64: 69D3FF979665782E Time : 0.0 sec. user=mdettweiler [2016-07-16 21:03:08] 619*2^1435463-1 is not prime. Res64: 64EAB82F8DED43CF Time : 0.0 sec. user=mdettweiler [2016-07-16 21:03:09] 735*2^1435463-1 is not prime. Res64: 7B24EF5A0709551E Time : 0.0 sec. user=mdettweiler [2016-07-16 21:03:15] 783*2^1435463-1 is not prime. Res64: 739CD0B8FEBC62D4 Time : 0.0 sec. user=mdettweiler [2016-07-16 21:03:15] 823*2^1435463-1 is not prime. Res64: 6628FA8E7BC54CC4 Time : 0.0 sec. user=mdettweiler [2016-07-16 21:03:21] 829*2^1435463-1 is not prime. Res64: 2333D137FC478070 Time : 0.0 sec. user=mdettweiler [2016-07-16 21:47:07] 859*2^1435463-1 is not prime. Res64: 55452D3445D41760 Time : 0.0 sec. user=mdettweiler [2016-07-16 21:47:07] 689*2^1435464-1 is not prime. Res64: 954C90AFD86B0F7D Time : 0.0 sec. user=mdettweiler [2016-07-16 21:47:08] 717*2^1435464-1 is not prime. Res64: E501CB763060D539 Time : 0.0 sec. user=mdettweiler [2016-07-16 21:47:08] 773*2^1435464-1 is not prime. Res64: 5C51F6D3EA3FEA14 Time : 0.0 sec. user=mdettweiler [2016-07-16 21:47:09] 803*2^1435464-1 is not prime. Res64: 0378D7B16E6EE42D Time : 0.0 sec. user=mdettweiler [2016-07-16 21:47:19] 607*2^1435465-1 is not prime. Res64: 273919477FEBE47C Time : 0.0 sec. user=mdettweiler [2016-07-16 21:47:19] 661*2^1435465-1 is not prime. Res64: D109BDD259474F5D Time : 0.0 sec. user=mdettweiler [2016-07-16 21:47:19] 729*2^1435465-1 is not prime. Res64: 6EECA4B0AEE0DF10 Time : 0.0 sec. user=mdettweiler [2016-07-16 21:47:20] 811*2^1435465-1 is not prime. Res64: 7D35692704CE9914 Time : 0.0 sec. user=mdettweiler [2016-07-16 21:47:20] 951*2^1435465-1 is not prime. Res64: 41DF3880D1FA058F Time : 0.0 sec. user=mdettweiler [2016-07-16 21:47:36] 997*2^1435465-1 is not prime. Res64: EA7E3519398249E7 Time : 0.0 sec. user=mdettweiler [2016-07-16 21:47:37] 645*2^1435466-1 is not prime. Res64: FA8193549392B2CE Time : 0.0 sec. user=mdettweiler [2016-07-16 21:47:37] 671*2^1435466-1 is not prime. Res64: E46350DAE66DF897 Time : 0.0 sec. user=mdettweiler [2016-07-16 21:47:37] 801*2^1435466-1 is not prime. Res64: FBA92A204E3CF118 Time : 0.0 sec. user=mdettweiler [2016-07-16 21:47:38] 831*2^1435466-1 is not prime. Res64: 4127CCF8D7B0455F Time : 0.0 sec. user=mdettweiler [2016-07-16 22:31:22] 857*2^1435466-1 is not prime. Res64: 2B25963F8A85CB28 Time : 0.0 sec. user=mdettweiler [2016-07-16 22:31:22] 887*2^1435466-1 is not prime. Res64: 2309B51399CE21A1 Time : 0.0 sec. user=mdettweiler [2016-07-16 22:31:23] 893*2^1435466-1 is not prime. Res64: F16394727F235BAC Time : 0.0 sec. user=mdettweiler [2016-07-16 22:31:23] 699*2^1435467-1 is not prime. Res64: E4F2CA9D5BDBFB20 Time : 0.0 sec. user=mdettweiler [2016-07-16 22:31:23] 765*2^1435467-1 is not prime. Res64: D78BE6D70C4A4FEA Time : 0.0 sec. user=mdettweiler [2016-07-16 22:31:30] 879*2^1435467-1 is not prime. Res64: EEC1EAAACF084383 Time : 0.0 sec. user=mdettweiler [2016-07-16 22:31:31] 895*2^1435467-1 is not prime. Res64: D281C26346A30200 Time : 0.0 sec. user=mdettweiler [2016-07-16 22:31:31] 919*2^1435467-1 is not prime. Res64: DFFDDDECB9DE7085 Time : 0.0 sec. user=mdettweiler [2016-07-16 22:31:32] 955*2^1435467-1 is not prime. Res64: 78D896F2D37EF8E3 Time : 0.0 sec. user=mdettweiler [2016-07-16 22:31:32] 603*2^1435468-1 is not prime. Res64: A616D8A01A3C95D3 Time : 0.0 sec. user=mdettweiler [2016-07-16 22:31:48] 639*2^1435468-1 is not prime. Res64: 009D8C97E86C74EE Time : 0.0 sec. user=mdettweiler [2016-07-16 22:31:48] 777*2^1435468-1 is not prime. Res64: 9EF40FA388FF9CCA Time : 0.0 sec. user=mdettweiler [2016-07-16 22:31:49] 783*2^1435468-1 is not prime. Res64: BD265F853F7DC384 Time : 0.0 sec. user=mdettweiler [2016-07-16 22:31:49] 869*2^1435468-1 is not prime. Res64: F4F567B30E37A305 Time : 0.0 sec. user=mdettweiler [2016-07-16 22:31:49] 897*2^1435468-1 is not prime. Res64: 737EE6C9B469093D Time : 0.0 sec. user=mdettweiler [2016-07-16 23:15:34] 927*2^1435468-1 is not prime. Res64: 62FE3A2EA6C15A54 Time : 0.0 sec. user=mdettweiler [2016-07-16 23:15:34] 989*2^1435468-1 is not prime. Res64: 73781C06F87AD5F6 Time : 0.0 sec. user=mdettweiler [2016-07-16 23:15:35] 993*2^1435468-1 is not prime. Res64: A84E017E9ACBEA6C Time : 0.0 sec. user=mdettweiler [2016-07-16 23:15:35] 655*2^1435469-1 is not prime. Res64: CABC7FBFB5872E13 Time : 0.0 sec. user=mdettweiler [2016-07-16 23:15:36] 657*2^1435469-1 is not prime. Res64: 909F1A7064EF4E82 Time : 0.0 sec. user=mdettweiler [2016-07-16 23:15:41] 721*2^1435469-1 is not prime. Res64: 405EEF3C0EC67AE2 Time : 0.0 sec. user=mdettweiler [2016-07-16 23:15:41] 825*2^1435469-1 is not prime. Res64: F8496A8891BACC43 Time : 0.0 sec. user=mdettweiler [2016-07-16 23:15:42] 987*2^1435469-1 is not prime. Res64: 30111635C519C8E6 Time : 0.0 sec. user=mdettweiler [2016-07-16 23:15:45] 653*2^1435470-1 is not prime. Res64: E6FB1C339CB85FDA Time : 0.0 sec. user=mdettweiler [2016-07-16 23:15:46] 671*2^1435470-1 is not prime. Res64: 3546623B2E515A89 Time : 0.0 sec. user=mdettweiler [2016-07-16 23:15:59] 821*2^1435470-1 is not prime. Res64: 2C2580F1A5A25965 Time : 0.0 sec. user=mdettweiler [2016-07-16 23:16:03] 927*2^1435470-1 is not prime. Res64: 4A599AAE6FF4B0DC Time : 0.0 sec. user=mdettweiler [2016-07-16 23:16:04] 951*2^1435470-1 is not prime. Res64: BB40ACF7B3F6F49F Time : 0.0 sec. user=mdettweiler [2016-07-16 23:16:04] 965*2^1435470-1 is not prime. Res64: FC3AE9515B205A5D Time : 0.0 sec. user=mdettweiler [2016-07-16 23:16:05] 609*2^1435471-1 is not prime. Res64: 100F4BB85181E072 Time : 0.0 sec. user=mdettweiler [2016-07-16 23:59:43] 625*2^1435471-1 is not prime. Res64: CE7D37A22FCB1EC9 Time : 0.0 sec. user=mdettweiler [2016-07-16 23:59:43] 741*2^1435471-1 is not prime. Res64: 6AABFB3698BB679B Time : 0.0 sec. user=mdettweiler [2016-07-16 23:59:44] 913*2^1435471-1 is not prime. Res64: 7FBB3EC64C70B3A8 Time : 0.0 sec. user=mdettweiler [2016-07-16 23:59:44] 939*2^1435471-1 is not prime. Res64: D76C2B2D458A39E8 Time : 0.0 sec. user=mdettweiler [2016-07-16 23:59:44] 961*2^1435471-1 is not prime. Res64: 91C50BB27A13EE13 Time : 0.0 sec. user=mdettweiler [2016-07-16 23:59:52] 615*2^1435472-1 is not prime. Res64: 79ABBFA5D87C97CD Time : 0.0 sec. user=mdettweiler [2016-07-16 23:59:52] 633*2^1435472-1 is not prime. Res64: E6392D6A80BEFE73 Time : 0.0 sec. user=mdettweiler [2016-07-16 23:59:53] 725*2^1435472-1 is not prime. Res64: A71FD6A4486F58BB Time : 0.0 sec. user=mdettweiler [2016-07-16 23:59:53] 803*2^1435472-1 is not prime. Res64: A4246ECC12E74B47 Time : 0.0 sec. user=mdettweiler [2016-07-16 23:59:54] 805*2^1435473-1 is not prime. Res64: 6347FC370BA6F539 Time : 0.0 sec. user=mdettweiler [2016-07-17 00:00:09] 951*2^1435473-1 is not prime. Res64: 38BA351A26AE5710 Time : 0.0 sec. user=mdettweiler [2016-07-17 00:00:10] 657*2^1435474-1 is not prime. Res64: FD00D2B71FDFA683 Time : 0.0 sec. user=mdettweiler [2016-07-17 00:00:10] 747*2^1435474-1 is not prime. Res64: 36C3BBFC600211FB Time : 0.0 sec. user=mdettweiler [2016-07-17 00:00:17] 783*2^1435474-1 is not prime. Res64: DB59992E69DEDCFB Time : 0.0 sec. user=mdettweiler [2016-07-17 00:00:17] 791*2^1435474-1 is not prime. Res64: BCBE70D3EB6305EE Time : 0.0 sec.