user=mdettweiler [2016-06-11 00:09:26] 765*2^1432014-1 is not prime. Res64: EC5CCBC141A2C157 Time : 0.0 sec. user=mdettweiler [2016-06-11 00:09:26] 783*2^1432014-1 is not prime. Res64: C6C71DD38F7579EB Time : 0.0 sec. user=mdettweiler [2016-06-11 00:09:27] 795*2^1432014-1 is not prime. Res64: 525E32C23ACFEED7 Time : 0.0 sec. user=mdettweiler [2016-06-11 00:09:27] 887*2^1432014-1 is not prime. Res64: CC451C1883CE002B Time : 0.0 sec. user=mdettweiler [2016-06-11 00:09:28] 903*2^1432014-1 is not prime. Res64: 554200CFAABFE00C Time : 0.0 sec. user=mdettweiler [2016-06-11 00:10:17] 633*2^1432015-1 is not prime. Res64: B40EB5FB74959C19 Time : 0.0 sec. user=mdettweiler [2016-06-11 00:10:17] 663*2^1432015-1 is not prime. Res64: C35E25C403F08465 Time : 0.0 sec. user=mdettweiler [2016-06-11 00:10:18] 693*2^1432015-1 is not prime. Res64: 58446DA76215110F Time : 0.0 sec. user=mdettweiler [2016-06-11 00:10:18] 741*2^1432015-1 is not prime. Res64: 661BAE5159EB6B48 Time : 0.0 sec. user=mdettweiler [2016-06-11 00:10:19] 819*2^1432015-1 is not prime. Res64: 0618F854DB128BA9 Time : 0.0 sec. user=mdettweiler [2016-06-11 00:16:19] 861*2^1432015-1 is not prime. Res64: 900083CD2CAE70EF Time : 0.0 sec. user=mdettweiler [2016-06-11 00:16:19] 939*2^1432015-1 is not prime. Res64: BDA0D82E65F8650E Time : 0.0 sec. user=mdettweiler [2016-06-11 00:16:20] 603*2^1432016-1 is not prime. Res64: 9397CC9CCA5E74BB Time : 0.0 sec. user=mdettweiler [2016-06-11 00:16:20] 635*2^1432016-1 is not prime. Res64: FCAA3C12105A19A5 Time : 0.0 sec. user=mdettweiler [2016-06-11 00:16:20] 675*2^1432016-1 is not prime. Res64: AAF3F4333AF1D92B Time : 0.0 sec. user=mdettweiler [2016-06-11 00:32:51] 803*2^1432016-1 is not prime. Res64: D11CDFB5319C772D Time : 0.0 sec. user=mdettweiler [2016-06-11 00:32:52] 903*2^1432016-1 is not prime. Res64: 45FA261ABB173899 Time : 0.0 sec. user=mdettweiler [2016-06-11 00:32:52] 935*2^1432016-1 is not prime. Res64: F3A168B241E4B32D Time : 0.0 sec. user=mdettweiler [2016-06-11 00:32:52] 699*2^1432017-1 is not prime. Res64: 1D9B3A7715F29FC2 Time : 0.0 sec. user=mdettweiler [2016-06-11 00:32:53] 741*2^1432017-1 is not prime. Res64: 4B878F023B997DCD Time : 0.0 sec. user=mdettweiler [2016-06-11 00:54:56] 765*2^1432017-1 is not prime. Res64: 87EE8E06047FCA9B Time : 0.0 sec. user=mdettweiler [2016-06-11 00:54:56] 817*2^1432017-1 is not prime. Res64: 8787BD82C209352E Time : 0.0 sec. user=mdettweiler [2016-06-11 00:54:57] 837*2^1432017-1 is not prime. Res64: DF1B6D252D50EDA2 Time : 0.0 sec. user=mdettweiler [2016-06-11 00:54:57] 885*2^1432017-1 is not prime. Res64: 781EC341B1160632 Time : 0.0 sec. user=mdettweiler [2016-06-11 00:54:57] 919*2^1432017-1 is not prime. Res64: CF992DBE6F42BD04 Time : 0.0 sec. user=mdettweiler [2016-06-11 00:55:34] 945*2^1432017-1 is not prime. Res64: B369FCED038636A2 Time : 0.0 sec. user=mdettweiler [2016-06-11 00:55:35] 651*2^1432018-1 is not prime. Res64: B1C19278D1AE428F Time : 0.0 sec. user=mdettweiler [2016-06-11 00:55:35] 663*2^1432018-1 is not prime. Res64: AA0785F713CA6930 Time : 0.0 sec. user=mdettweiler [2016-06-11 00:55:35] 671*2^1432018-1 is not prime. Res64: A6358DBD36BE3A7A Time : 0.0 sec. user=mdettweiler [2016-06-11 00:55:36] 803*2^1432018-1 is not prime. Res64: 8506AEED307E7CBC Time : 0.0 sec. user=mdettweiler [2016-06-11 01:01:33] 831*2^1432018-1 is not prime. Res64: 3AD9BF01D5634AB1 Time : 0.0 sec. user=mdettweiler [2016-06-11 01:01:34] 843*2^1432018-1 is not prime. Res64: A253D72E70959F5B Time : 0.0 sec. user=mdettweiler [2016-06-11 01:01:35] 775*2^1432019-1 is not prime. Res64: 3F9734A5BB4D4F38 Time : 0.0 sec. user=mdettweiler [2016-06-11 01:01:35] 801*2^1432019-1 is not prime. Res64: DBB97B871EE3B71B Time : 0.0 sec. user=mdettweiler [2016-06-11 01:01:36] 889*2^1432019-1 is not prime. Res64: 4CBE5F7D37F5E688 Time : 0.0 sec. user=mdettweiler [2016-06-11 01:18:04] 949*2^1432019-1 is not prime. Res64: 94D5CD892E93C34D Time : 0.0 sec. user=mdettweiler [2016-06-11 01:18:04] 979*2^1432019-1 is not prime. Res64: A5F07062799414CB Time : 0.0 sec. user=mdettweiler [2016-06-11 01:18:05] 689*2^1432020-1 is not prime. Res64: 416AB587CC083F6D Time : 0.0 sec. user=mdettweiler [2016-06-11 01:18:05] 695*2^1432020-1 is not prime. Res64: 5C9EE6373AED4C30 Time : 0.0 sec. user=mdettweiler [2016-06-11 01:18:06] 803*2^1432020-1 is not prime. Res64: B0F27FA40FACB5FE Time : 0.0 sec. user=mdettweiler [2016-06-11 01:39:52] 825*2^1432020-1 is not prime. Res64: 6D00711444FBC0E7 Time : 0.0 sec. user=mdettweiler [2016-06-11 01:39:53] 879*2^1432020-1 is not prime. Res64: ED7C90471870C897 Time : 0.0 sec. user=mdettweiler [2016-06-11 01:39:53] 893*2^1432020-1 is not prime. Res64: 937F7050A670D595 Time : 0.0 sec. user=mdettweiler [2016-06-11 01:39:53] 905*2^1432020-1 is not prime. Res64: 71CE2C294CF4008B Time : 0.0 sec. user=mdettweiler [2016-06-11 01:39:54] 975*2^1432020-1 is not prime. Res64: C1BC679FA1634F82 Time : 0.0 sec. user=mdettweiler [2016-06-11 01:40:47] 615*2^1432021-1 is not prime. Res64: 26ECAF4A463AD27C Time : 0.0 sec. user=mdettweiler [2016-06-11 01:40:47] 741*2^1432021-1 is not prime. Res64: CEEF4DA48A0697AF Time : 0.0 sec. user=mdettweiler [2016-06-11 01:40:47] 847*2^1432021-1 is not prime. Res64: B620AC61CAF77CF9 Time : 0.0 sec. user=mdettweiler [2016-06-11 01:40:48] 603*2^1432022-1 is not prime. Res64: BF388DD481E61657 Time : 0.0 sec. user=mdettweiler [2016-06-11 01:40:48] 615*2^1432022-1 is not prime. Res64: D7E651BEC30D390C Time : 0.0 sec. user=mdettweiler [2016-06-11 01:46:40] 657*2^1432022-1 is not prime. Res64: AB6B76D2378AE9D9 Time : 0.0 sec. user=mdettweiler [2016-06-11 01:46:41] 677*2^1432022-1 is not prime. Res64: C8855910C286FD66 Time : 0.0 sec. user=mdettweiler [2016-06-11 01:46:41] 873*2^1432022-1 is not prime. Res64: 9D92392C18F04BCA Time : 0.0 sec. user=mdettweiler [2016-06-11 01:46:41] 885*2^1432022-1 is not prime. Res64: F7A14432305AB0BF Time : 0.0 sec. user=mdettweiler [2016-06-11 01:46:42] 935*2^1432022-1 is not prime. Res64: A3E63F2EA1BF3D4F Time : 0.0 sec. user=mdettweiler [2016-06-11 02:03:16] 691*2^1432023-1 is not prime. Res64: 9D8EF232653BE77C Time : 0.0 sec. user=mdettweiler [2016-06-11 02:03:18] 709*2^1432023-1 is not prime. Res64: A1B8A60A0280C3AE Time : 0.0 sec. user=mdettweiler [2016-06-11 02:03:19] 789*2^1432023-1 is not prime. Res64: 6219EBCEC25373F5 Time : 0.0 sec. user=mdettweiler [2016-06-11 02:03:20] 895*2^1432023-1 is not prime. Res64: F748D478754D6CFD Time : 0.0 sec. user=mdettweiler [2016-06-11 02:03:21] 913*2^1432023-1 is not prime. Res64: 98CE2C40CC8F4E55 Time : 0.0 sec. user=mdettweiler [2016-06-11 02:24:53] 949*2^1432023-1 is not prime. Res64: D4275E3EFB5036DC Time : 0.0 sec. user=mdettweiler [2016-06-11 02:24:53] 609*2^1432024-1 is not prime. Res64: AA16A6A69C19FBA0 Time : 0.0 sec. user=mdettweiler [2016-06-11 02:24:54] 617*2^1432024-1 is not prime. Res64: 6D6493E9BACECB33 Time : 0.0 sec. user=mdettweiler [2016-06-11 02:24:54] 843*2^1432024-1 is not prime. Res64: F3633F11E085EEF9 Time : 0.0 sec. user=mdettweiler [2016-06-11 02:24:54] 849*2^1432024-1 is not prime. Res64: 657EDBDD5461AD6A Time : 0.0 sec. user=mdettweiler [2016-06-11 02:25:44] 873*2^1432024-1 is not prime. Res64: 7D98BD93FC8AFC73 Time : 0.0 sec. user=mdettweiler [2016-06-11 02:25:45] 915*2^1432024-1 is not prime. Res64: A1F635E1B8B60EA3 Time : 0.0 sec. user=mdettweiler [2016-06-11 02:25:45] 939*2^1432024-1 is not prime. Res64: 502DA7CD5DB372B2 Time : 0.0 sec. user=mdettweiler [2016-06-11 02:25:46] 947*2^1432024-1 is not prime. Res64: C28F0FFF2841F46A Time : 0.0 sec. user=mdettweiler [2016-06-11 02:25:46] 989*2^1432024-1 is not prime. Res64: 55FA389CD49D2F54 Time : 0.0 sec. user=mdettweiler [2016-06-11 02:31:35] 607*2^1432025-1 is not prime. Res64: 88D38B5138C2C51F Time : 0.0 sec. user=mdettweiler [2016-06-11 02:31:38] 685*2^1432025-1 is not prime. Res64: E5662D37CE22AEA9 Time : 0.0 sec. user=mdettweiler [2016-06-11 02:31:40] 691*2^1432025-1 is not prime. Res64: 37C67BAB619C74BB Time : 0.0 sec. user=mdettweiler [2016-06-11 02:31:41] 799*2^1432025-1 is not prime. Res64: F5D8DEFEE61286FC Time : 0.0 sec. user=mdettweiler [2016-06-11 02:31:42] 847*2^1432025-1 is not prime. Res64: 328B11DFF22454B4 Time : 0.0 sec. user=mdettweiler [2016-06-11 02:48:42] 865*2^1432025-1 is not prime. Res64: 9B967E0FE2818584 Time : 0.0 sec. user=mdettweiler [2016-06-11 02:48:43] 871*2^1432025-1 is not prime. Res64: 31D34C344E400930 Time : 0.0 sec. user=mdettweiler [2016-06-11 02:48:44] 885*2^1432025-1 is not prime. Res64: F4CEBE37B95B76BE Time : 0.0 sec. user=mdettweiler [2016-06-11 02:48:45] 925*2^1432025-1 is not prime. Res64: 5FC7ADB0887BB316 Time : 0.0 sec. user=mdettweiler [2016-06-11 02:48:45] 641*2^1432026-1 is not prime. Res64: AC3A13DA8FE545E0 Time : 0.0 sec. user=mdettweiler [2016-06-11 03:09:58] 861*2^1432026-1 is not prime. Res64: B73518222710AE65 Time : 0.0 sec. user=mdettweiler [2016-06-11 03:09:58] 893*2^1432026-1 is not prime. Res64: 3DF4B3BDBD9A3F02 Time : 0.0 sec. user=mdettweiler [2016-06-11 03:09:59] 975*2^1432026-1 is not prime. Res64: B7774B58F0135521 Time : 0.0 sec. user=mdettweiler [2016-06-11 03:09:59] 603*2^1432027-1 is not prime. Res64: 4A2B0D28782005BB Time : 0.0 sec. user=mdettweiler [2016-06-11 03:09:59] 681*2^1432027-1 is not prime. Res64: 96981BFA64DF4BDA Time : 0.0 sec. user=mdettweiler [2016-06-11 03:10:44] 733*2^1432027-1 is not prime. Res64: 017888669B425A84 Time : 0.0 sec. user=mdettweiler [2016-06-11 03:10:45] 741*2^1432027-1 is not prime. Res64: 6A1500C2E9284537 Time : 0.0 sec. user=mdettweiler [2016-06-11 03:10:45] 775*2^1432027-1 is not prime. Res64: D683214D4D9E51BA Time : 0.0 sec. user=mdettweiler [2016-06-11 03:10:45] 805*2^1432027-1 is not prime. Res64: 0C39D0CCD6F73018 Time : 0.0 sec. user=mdettweiler [2016-06-11 03:10:46] 909*2^1432027-1 is not prime. Res64: 2F771D31BCBF8E06 Time : 0.0 sec. user=mdettweiler [2016-06-11 03:17:18] 939*2^1432027-1 is not prime. Res64: CDD95F919ACE1373 Time : 0.0 sec. user=mdettweiler [2016-06-11 03:17:18] 677*2^1432028-1 is not prime. Res64: 6716F7FF7B8CCC7B Time : 0.0 sec. user=mdettweiler [2016-06-11 03:17:19] 707*2^1432028-1 is not prime. Res64: 3A5D5060A3EF6C66 Time : 0.0 sec. user=mdettweiler [2016-06-11 03:17:19] 935*2^1432028-1 is not prime. Res64: EEB3A8225F1CBB7F Time : 0.0 sec. user=mdettweiler [2016-06-11 03:17:19] 627*2^1432029-1 is not prime. Res64: 54C4846976F2CC75 Time : 0.0 sec. user=mdettweiler [2016-06-11 03:34:53] 709*2^1432029-1 is not prime. Res64: F07F2F5D36250855 Time : 0.0 sec. user=mdettweiler [2016-06-11 03:34:54] 747*2^1432029-1 is not prime. Res64: 2AC86CF72FB3434F Time : 0.0 sec. user=mdettweiler [2016-06-11 03:34:55] 781*2^1432029-1 is not prime. Res64: 18C138EA1DDD497E Time : 0.0 sec. user=mdettweiler [2016-06-11 03:34:56] 811*2^1432029-1 is not prime. Res64: 7ED9A9F2AACE6398 Time : 0.0 sec. user=mdettweiler [2016-06-11 03:34:57] 877*2^1432029-1 is not prime. Res64: A6427975E4117B69 Time : 0.0 sec. user=mdettweiler [2016-06-11 03:55:55] 891*2^1432029-1 is not prime. Res64: 2A3948B7CA5D7844 Time : 0.0 sec. user=mdettweiler [2016-06-11 03:55:56] 919*2^1432029-1 is not prime. Res64: E9124B10CF5BCCB7 Time : 0.0 sec. user=mdettweiler [2016-06-11 03:55:56] 927*2^1432029-1 is not prime. Res64: 88E97A0AC4CA8E97 Time : 0.0 sec. user=mdettweiler [2016-06-11 03:55:57] 951*2^1432029-1 is not prime. Res64: DC0C7E86BB71CB83 Time : 0.0 sec. user=mdettweiler [2016-06-11 03:55:57] 605*2^1432030-1 is not prime. Res64: 56F565FC13AE11B9 Time : 0.0 sec. user=mdettweiler [2016-06-11 03:56:57] 717*2^1432030-1 is not prime. Res64: 0ACE3ED928A8A103 Time : 0.0 sec. user=mdettweiler [2016-06-11 03:56:57] 743*2^1432030-1 is not prime. Res64: CD3BAF415F8E49C5 Time : 0.0 sec. user=mdettweiler [2016-06-11 03:56:58] 873*2^1432030-1 is not prime. Res64: 16641973691EEA71 Time : 0.0 sec. user=mdettweiler [2016-06-11 03:57:01] 891*2^1432030-1 is not prime. Res64: 2FAD44F349E913EF Time : 0.0 sec. user=mdettweiler [2016-06-11 03:57:01] 987*2^1432030-1 is not prime. Res64: 5A7D108020A85282 Time : 0.0 sec. user=mdettweiler [2016-06-11 04:02:54] 619*2^1432031-1 is not prime. Res64: 367A547DACEB01E9 Time : 0.0 sec. user=mdettweiler [2016-06-11 04:02:55] 663*2^1432031-1 is not prime. Res64: 02BD7E64D39A0434 Time : 0.0 sec. user=mdettweiler [2016-06-11 04:02:57] 705*2^1432031-1 is not prime. Res64: FE9035C90870D09C Time : 0.0 sec. user=mdettweiler [2016-06-11 04:02:57] 781*2^1432031-1 is not prime. Res64: DD5D8914AF62C6ED Time : 0.0 sec. user=mdettweiler [2016-06-11 04:02:58] 909*2^1432031-1 is not prime. Res64: 1D0DE63CF34C8CB8 Time : 0.0 sec. user=mdettweiler [2016-06-11 04:20:15] 867*2^1432032-1 is not prime. Res64: E7DEAAEC198BEA2C Time : 0.0 sec. user=mdettweiler [2016-06-11 04:20:16] 771*2^1432033-1 is not prime. Res64: C2DCFE6492C0DA76 Time : 0.0 sec. user=mdettweiler [2016-06-11 04:20:16] 861*2^1432033-1 is not prime. Res64: 5C71B0881D0652F6 Time : 0.0 sec. user=mdettweiler [2016-06-11 04:20:17] 919*2^1432033-1 is not prime. Res64: E2F45BA5014ADB85 Time : 0.0 sec. user=mdettweiler [2016-06-11 04:20:17] 955*2^1432033-1 is not prime. Res64: 917E5D951583A72B Time : 0.0 sec. user=mdettweiler [2016-06-11 04:41:03] 981*2^1432033-1 is not prime. Res64: 40059F28D36A5615 Time : 0.0 sec. user=mdettweiler [2016-06-11 04:41:04] 783*2^1432034-1 is not prime. Res64: D1BD8ED57DDFB9EA Time : 0.0 sec. user=mdettweiler [2016-06-11 04:41:04] 825*2^1432034-1 is not prime. Res64: 20E21EF568EC8C0C Time : 0.0 sec. user=mdettweiler [2016-06-11 04:41:04] 837*2^1432034-1 is not prime. Res64: 1E9FABAD429E1D27 Time : 0.0 sec. user=mdettweiler [2016-06-11 04:41:05] 887*2^1432034-1 is not prime. Res64: 4682C442766909D9 Time : 0.0 sec. user=mdettweiler [2016-06-11 04:42:08] 971*2^1432034-1 is not prime. Res64: C86876774B3AA1E2 Time : 0.0 sec. user=mdettweiler [2016-06-11 04:42:08] 1001*2^1432034-1 is not prime. Res64: 7997FCA8B0CA29B3 Time : 0.0 sec. user=mdettweiler [2016-06-11 04:42:09] 601*2^1432035-1 is not prime. Res64: 390730DCB68F89DD Time : 0.0 sec. user=mdettweiler [2016-06-11 04:42:09] 871*2^1432035-1 is not prime. Res64: 5996911881AB1751 Time : 0.0 sec. user=mdettweiler [2016-06-11 04:42:09] 909*2^1432035-1 is not prime. Res64: 2B9AC60F921D3BE3 Time : 0.0 sec. user=mdettweiler [2016-06-11 04:48:24] 913*2^1432035-1 is not prime. Res64: ECAC269DCB70432A Time : 0.0 sec. user=mdettweiler [2016-06-11 04:48:24] 951*2^1432035-1 is not prime. Res64: 59BC56BE915F9073 Time : 0.0 sec. user=mdettweiler [2016-06-11 04:48:25] 609*2^1432036-1 is not prime. Res64: 475237A30B2CBE01 Time : 0.0 sec. user=mdettweiler [2016-06-11 04:48:25] 675*2^1432036-1 is not prime. Res64: ADA933BC14BDC066 Time : 0.0 sec. user=mdettweiler [2016-06-11 04:48:26] 927*2^1432036-1 is not prime. Res64: 1D43985011BA5BDF Time : 0.0 sec. user=mdettweiler [2016-06-11 05:05:17] 957*2^1432036-1 is not prime. Res64: 5623C50097AC07C9 Time : 0.0 sec. user=mdettweiler [2016-06-11 05:05:19] 975*2^1432036-1 is not prime. Res64: 28FFBDBEA68EFF04 Time : 0.0 sec. user=mdettweiler [2016-06-11 05:05:20] 999*2^1432036-1 is not prime. Res64: 9FDAA365486A9BA3 Time : 0.0 sec. user=mdettweiler [2016-06-11 05:05:21] 615*2^1432037-1 is not prime. Res64: D2BB09D8A9A1FDD9 Time : 0.0 sec. user=mdettweiler [2016-06-11 05:05:22] 621*2^1432037-1 is not prime. Res64: 9B3F3878536020F1 Time : 0.0 sec. user=mdettweiler [2016-06-11 05:26:05] 649*2^1432037-1 is not prime. Res64: EFED0EFD2C227F64 Time : 0.0 sec. user=mdettweiler [2016-06-11 05:26:06] 691*2^1432037-1 is not prime. Res64: F68BE3724D482660 Time : 0.0 sec. user=mdettweiler [2016-06-11 05:26:06] 697*2^1432037-1 is not prime. Res64: 79110B526850B60A Time : 0.0 sec. user=mdettweiler [2016-06-11 05:26:07] 799*2^1432037-1 is not prime. Res64: 7FCA2CDF65AB3790 Time : 0.0 sec. user=mdettweiler [2016-06-11 05:26:07] 937*2^1432037-1 is not prime. Res64: 643D5C0AEC106EA6 Time : 0.0 sec. user=mdettweiler [2016-06-11 05:27:02] 955*2^1432037-1 is not prime. Res64: EDA240FE2B609F8C Time : 0.0 sec. user=mdettweiler [2016-06-11 05:27:02] 981*2^1432037-1 is not prime. Res64: 263D152C8C76BE1D Time : 0.0 sec. user=mdettweiler [2016-06-11 05:27:03] 627*2^1432038-1 is not prime. Res64: E6B8252BA17E9C5C Time : 0.0 sec. user=mdettweiler [2016-06-11 05:27:03] 665*2^1432038-1 is not prime. Res64: CA40BD9416E4145B Time : 0.0 sec. user=mdettweiler [2016-06-11 05:27:04] 671*2^1432038-1 is not prime. Res64: 7E92C5CD4E6B9200 Time : 0.0 sec. user=mdettweiler [2016-06-11 05:33:19] 677*2^1432038-1 is not prime. Res64: B653398B4FDB9C5A Time : 0.0 sec. user=mdettweiler [2016-06-11 05:33:20] 747*2^1432038-1 is not prime. Res64: DD1AB6CDB5D7D339 Time : 0.0 sec. user=mdettweiler [2016-06-11 05:33:20] 777*2^1432038-1 is not prime. Res64: 81BD39DB9EC84458 Time : 0.0 sec. user=mdettweiler [2016-06-11 05:33:20] 951*2^1432038-1 is not prime. Res64: C98695EDCCB80421 Time : 0.0 sec. user=mdettweiler [2016-06-11 05:33:21] 615*2^1432039-1 is not prime. Res64: 918F3738EC03E0AC Time : 0.0 sec. user=mdettweiler [2016-06-11 05:50:38] 693*2^1432039-1 is not prime. Res64: 533EB5BB4D3DC93F Time : 0.0 sec. user=mdettweiler [2016-06-11 05:50:38] 843*2^1432039-1 is not prime. Res64: ACC8765E5B779902 Time : 0.0 sec. user=mdettweiler [2016-06-11 05:50:38] 861*2^1432039-1 is not prime. Res64: AECA9D9BC620DADB Time : 0.0 sec. user=mdettweiler [2016-06-11 05:50:39] 931*2^1432039-1 is not prime. Res64: 6F0C0FDF871E7C85 Time : 0.0 sec. user=mdettweiler [2016-06-11 05:50:39] 939*2^1432039-1 is not prime. Res64: 5875382D0BA2E2B6 Time : 0.0 sec. user=mdettweiler [2016-06-11 06:11:00] 985*2^1432039-1 is not prime. Res64: 905A06BDDC180072 Time : 0.0 sec. user=mdettweiler [2016-06-11 06:11:01] 635*2^1432040-1 is not prime. Res64: C4AE8E346F4C97C4 Time : 0.0 sec. user=mdettweiler [2016-06-11 06:11:01] 665*2^1432040-1 is not prime. Res64: BD121836E896B107 Time : 0.0 sec. user=mdettweiler [2016-06-11 06:11:02] 743*2^1432040-1 is not prime. Res64: E2EE12F75086C8A7 Time : 0.0 sec. user=mdettweiler [2016-06-11 06:11:02] 929*2^1432040-1 is not prime. Res64: B48EB37CE758F8CB Time : 0.0 sec. user=mdettweiler [2016-06-11 06:12:05] 957*2^1432040-1 is not prime. Res64: 072EB2CEA4FFB285 Time : 0.0 sec. user=mdettweiler [2016-06-11 06:12:06] 959*2^1432040-1 is not prime. Res64: BC81A1BFB93DE5E8 Time : 0.0 sec. user=mdettweiler [2016-06-11 06:12:06] 977*2^1432040-1 is not prime. Res64: C86CA4FD7CDE9688 Time : 0.0 sec. user=mdettweiler [2016-06-11 06:12:06] 999*2^1432040-1 is not prime. Res64: 17D226E30A980222 Time : 0.0 sec. user=mdettweiler [2016-06-11 06:12:07] 615*2^1432041-1 is not prime. Res64: 0CC1F7A2DFA71A2A Time : 0.0 sec. user=mdettweiler [2016-06-11 06:18:15] 639*2^1432041-1 is not prime. Res64: A40CBD8D9A1543F2 Time : 0.0 sec. user=mdettweiler [2016-06-11 06:18:15] 685*2^1432041-1 is not prime. Res64: 1C60BE0F677801D2 Time : 0.0 sec. user=mdettweiler [2016-06-11 06:18:15] 817*2^1432041-1 is not prime. Res64: 9C0ADFE681B50EC6 Time : 0.0 sec. user=mdettweiler [2016-06-11 06:18:16] 885*2^1432041-1 is not prime. Res64: 66ECC7E91E35221C Time : 0.0 sec. user=mdettweiler [2016-06-11 06:18:16] 603*2^1432042-1 is not prime. Res64: 7416467CBE5964B2 Time : 0.0 sec. user=mdettweiler [2016-06-11 06:35:39] 671*2^1432042-1 is not prime. Res64: 5A41E71027F3F6CF Time : 0.0 sec. user=mdettweiler [2016-06-11 06:35:39] 705*2^1432042-1 is not prime. Res64: 8204D13350F6C1CD Time : 0.0 sec. user=mdettweiler [2016-06-11 06:35:39] 731*2^1432042-1 is not prime. Res64: CB5D43EE25876836 Time : 0.0 sec. user=mdettweiler [2016-06-11 06:35:40] 803*2^1432042-1 is not prime. Res64: 9B51C5F79FC1D21F Time : 0.0 sec. user=mdettweiler [2016-06-11 06:35:40] 831*2^1432042-1 is not prime. Res64: A68C220A00105476 Time : 0.0 sec. user=mdettweiler [2016-06-11 06:56:14] 983*2^1432042-1 is not prime. Res64: AC041C23ECBB3040 Time : 0.0 sec. user=mdettweiler [2016-06-11 06:56:14] 679*2^1432043-1 is not prime. Res64: 8DDFA66D71D96ABC Time : 0.0 sec. user=mdettweiler [2016-06-11 06:56:15] 693*2^1432043-1 is not prime. Res64: 5CD871F5EBFC5093 Time : 0.0 sec. user=mdettweiler [2016-06-11 06:56:15] 735*2^1432043-1 is not prime. Res64: 5C6F6366385083AD Time : 0.0 sec. user=mdettweiler [2016-06-11 06:56:16] 789*2^1432043-1 is not prime. Res64: 74697C45CA66AEBC Time : 0.0 sec. user=mdettweiler [2016-06-11 06:57:15] 915*2^1432043-1 is not prime. Res64: 3EDCAF738C8FE7DC Time : 0.0 sec. user=mdettweiler [2016-06-11 06:57:16] 981*2^1432043-1 is not prime. Res64: 724AEBBAC9E4D607 Time : 0.0 sec. user=mdettweiler [2016-06-11 06:57:16] 927*2^1432044-1 is not prime. Res64: D6068CCF6A6EA4E5 Time : 0.0 sec. user=mdettweiler [2016-06-11 06:57:16] 957*2^1432044-1 is not prime. Res64: 7B58D7612D295604 Time : 0.0 sec. user=mdettweiler [2016-06-11 06:57:17] 687*2^1432045-1 is not prime. Res64: 8C851E60F80BA6D0 Time : 0.0 sec. user=mdettweiler [2016-06-11 07:03:23] 699*2^1432045-1 is not prime. Res64: 62334E0883BD5561 Time : 0.0 sec. user=mdettweiler [2016-06-11 07:03:24] 771*2^1432045-1 is not prime. Res64: E18C605249C1F0E0 Time : 0.0 sec. user=mdettweiler [2016-06-11 07:03:25] 799*2^1432045-1 is not prime. Res64: 6BA312ED17838C1B Time : 0.0 sec. user=mdettweiler [2016-06-11 07:03:26] 859*2^1432045-1 is not prime. Res64: 8D3AB0D10EF17F7E Time : 0.0 sec. user=mdettweiler [2016-06-11 07:03:27] 861*2^1432045-1 is not prime. Res64: 0FA784C1B31522C7 Time : 0.0 sec. user=mdettweiler [2016-06-11 07:20:52] 871*2^1432045-1 is not prime. Res64: 6BBDCC90A43607AA Time : 0.0 sec. user=mdettweiler [2016-06-11 07:20:52] 663*2^1432046-1 is not prime. Res64: 10A9EB2ED2F8F04C Time : 0.0 sec. user=mdettweiler [2016-06-11 07:20:52] 705*2^1432046-1 is not prime. Res64: 661709377028666D Time : 0.0 sec. user=mdettweiler [2016-06-11 07:20:53] 743*2^1432046-1 is not prime. Res64: 1A4E201A081331A9 Time : 0.0 sec. user=mdettweiler [2016-06-11 07:20:53] 773*2^1432046-1 is not prime. Res64: 0C15244FCFA6DB9A Time : 0.0 sec. user=mdettweiler [2016-06-11 07:41:09] 781*2^1432047-1 is not prime. Res64: 43B2A512737B2DC2 Time : 0.0 sec. user=mdettweiler [2016-06-11 07:41:10] 793*2^1432047-1 is not prime. Res64: DC98DE31CFCB55D0 Time : 0.0 sec. user=mdettweiler [2016-06-11 07:41:10] 823*2^1432047-1 is not prime. Res64: D2821D1470FD2B96 Time : 0.0 sec. user=mdettweiler [2016-06-11 07:41:10] 843*2^1432047-1 is not prime. Res64: 302D681F33F466F4 Time : 0.0 sec. user=mdettweiler [2016-06-11 07:41:11] 885*2^1432047-1 is not prime. Res64: 0112F5E155934CAD Time : 0.0 sec. user=mdettweiler [2016-06-11 07:42:19] 931*2^1432047-1 is not prime. Res64: 98CB3CDC6EDF4DBF Time : 0.0 sec. user=mdettweiler [2016-06-11 07:42:19] 973*2^1432047-1 is not prime. Res64: B9509FE169E1F7C5 Time : 0.0 sec. user=mdettweiler [2016-06-11 07:42:20] 635*2^1432048-1 is not prime. Res64: 502262C340D85146 Time : 0.0 sec. user=mdettweiler [2016-06-11 07:42:20] 695*2^1432048-1 is not prime. Res64: 9F50078325A09415 Time : 0.0 sec. user=mdettweiler [2016-06-11 07:42:20] 723*2^1432048-1 is not prime. Res64: E508B5E540037C28 Time : 0.0 sec. user=mdettweiler [2016-06-11 07:48:44] 813*2^1432048-1 is not prime. Res64: C52DCC35689287D7 Time : 0.0 sec. user=mdettweiler [2016-06-11 07:48:45] 839*2^1432048-1 is not prime. Res64: A42D0BA9C7B1F435 Time : 0.0 sec. user=mdettweiler [2016-06-11 07:48:45] 927*2^1432048-1 is not prime. Res64: A3B875FADACBA838 Time : 0.0 sec. user=mdettweiler [2016-06-11 07:48:46] 999*2^1432048-1 is not prime. Res64: A9464B1A643856DE Time : 0.0 sec. user=mdettweiler [2016-06-11 07:48:46] 631*2^1432049-1 is not prime. Res64: 6834E71ACBFE8E2A Time : 0.0 sec. user=mdettweiler [2016-06-11 08:06:06] 721*2^1432049-1 is not prime. Res64: EEB9706FDC918108 Time : 0.0 sec. user=mdettweiler [2016-06-11 08:06:07] 837*2^1432049-1 is not prime. Res64: 0B439DA60F4BDC6C Time : 0.0 sec. user=mdettweiler [2016-06-11 08:06:08] 979*2^1432049-1 is not prime. Res64: 9F01DBD693A82925 Time : 0.0 sec. user=mdettweiler [2016-06-11 08:06:09] 641*2^1432050-1 is not prime. Res64: 302E963273082213 Time : 0.0 sec. user=mdettweiler [2016-06-11 08:06:11] 791*2^1432050-1 is not prime. Res64: 9EFBA1973414864E Time : 0.0 sec. user=mdettweiler [2016-06-11 08:26:27] 873*2^1432050-1 is not prime. Res64: 8F38E7527CA47521 Time : 0.0 sec. user=mdettweiler [2016-06-11 08:26:27] 905*2^1432050-1 is not prime. Res64: AA0D6B9A2D14F39E Time : 0.0 sec. user=mdettweiler [2016-06-11 08:26:28] 945*2^1432050-1 is not prime. Res64: AF69AC20CC598080 Time : 0.0 sec. user=mdettweiler [2016-06-11 08:26:28] 631*2^1432051-1 is not prime. Res64: 96A11077F4370385 Time : 0.0 sec. user=mdettweiler [2016-06-11 08:26:29] 651*2^1432051-1 is not prime. Res64: 1BF95A7A7A7B39F2 Time : 0.0 sec. user=mdettweiler [2016-06-11 08:27:25] 663*2^1432051-1 is not prime. Res64: 02B32139CADE781B Time : 0.0 sec. user=mdettweiler [2016-06-11 08:27:26] 691*2^1432051-1 is not prime. Res64: B58DB752D81FBA45 Time : 0.0 sec. user=mdettweiler [2016-06-11 08:27:27] 709*2^1432051-1 is not prime. Res64: 7D7B41522666A616 Time : 0.0 sec. user=mdettweiler [2016-06-11 08:27:28] 735*2^1432051-1 is not prime. Res64: D307AEC69087EF6B Time : 0.0 sec. user=mdettweiler [2016-06-11 08:27:28] 745*2^1432051-1 is not prime. Res64: 8CC370AD61AE774E Time : 0.0 sec. user=mdettweiler [2016-06-11 08:33:41] 783*2^1432051-1 is not prime. Res64: C000882112DB56E9 Time : 0.0 sec. user=mdettweiler [2016-06-11 08:33:42] 835*2^1432051-1 is not prime. Res64: 62A672024E455E62 Time : 0.0 sec. user=mdettweiler [2016-06-11 08:33:42] 873*2^1432051-1 is not prime. Res64: 3518EA5A8CFB62B7 Time : 0.0 sec. user=mdettweiler [2016-06-11 08:33:43] 969*2^1432051-1 is not prime. Res64: 413B9BB94383EA8E Time : 0.0 sec. user=mdettweiler [2016-06-11 08:33:43] 623*2^1432052-1 is not prime. Res64: 1E8CA2C750F8B7C3 Time : 0.0 sec. user=mdettweiler [2016-06-11 08:51:23] 635*2^1432052-1 is not prime. Res64: 1F35D5C43856CC62 Time : 0.0 sec. user=mdettweiler [2016-06-11 08:51:24] 647*2^1432052-1 is not prime. Res64: 78E0B5ABE55679C1 Time : 0.0 sec. user=mdettweiler [2016-06-11 08:51:24] 677*2^1432052-1 is not prime. Res64: 2EC23BF653CA40A7 Time : 0.0 sec. user=mdettweiler [2016-06-11 08:51:24] 687*2^1432052-1 is not prime. Res64: DC0CEE0BF9D8CF03 Time : 0.0 sec. user=mdettweiler [2016-06-11 08:51:25] 693*2^1432052-1 is not prime. Res64: 0F316A3D4CDA87E8 Time : 0.0 sec. user=mdettweiler [2016-06-11 09:11:30] 767*2^1432052-1 is not prime. Res64: 93E73D2251FC2A64 Time : 0.0 sec. user=mdettweiler [2016-06-11 09:11:30] 813*2^1432052-1 is not prime. Res64: DC9A7DBB0C2FAA68 Time : 0.0 sec. user=mdettweiler [2016-06-11 09:11:31] 879*2^1432052-1 is not prime. Res64: CDB1B562DEFBE7F3 Time : 0.0 sec. user=mdettweiler [2016-06-11 09:11:31] 963*2^1432052-1 is not prime. Res64: 78E3D81EA53AC880 Time : 0.0 sec. user=mdettweiler [2016-06-11 09:11:32] 657*2^1432053-1 is not prime. Res64: 6E39B35B58A8BC54 Time : 0.0 sec. user=mdettweiler [2016-06-11 09:12:25] 699*2^1432053-1 is not prime. Res64: E8E26501D8BDD87A Time : 0.0 sec. user=mdettweiler [2016-06-11 09:12:26] 727*2^1432053-1 is not prime. Res64: 19F7145AECF450A9 Time : 0.0 sec. user=mdettweiler [2016-06-11 09:12:27] 781*2^1432053-1 is not prime. Res64: 0969F8FC571B3BA7 Time : 0.0 sec. user=mdettweiler [2016-06-11 09:12:27] 789*2^1432053-1 is not prime. Res64: 70577D07B1940F47 Time : 0.0 sec. user=mdettweiler [2016-06-11 09:12:28] 889*2^1432053-1 is not prime. Res64: 949527A94BA1F9B4 Time : 0.0 sec. user=mdettweiler [2016-06-11 09:18:35] 951*2^1432053-1 is not prime. Res64: 056EBD8D724D12F0 Time : 0.0 sec. user=mdettweiler [2016-06-11 09:18:35] 665*2^1432054-1 is not prime. Res64: 38AC1886503EE403 Time : 0.0 sec. user=mdettweiler [2016-06-11 09:18:36] 857*2^1432054-1 is not prime. Res64: 748884E1D890553E Time : 0.0 sec. user=mdettweiler [2016-06-11 09:18:36] 975*2^1432054-1 is not prime. Res64: 7A1DD254DEAF2CB2 Time : 0.0 sec. user=mdettweiler [2016-06-11 09:18:36] 619*2^1432055-1 is not prime. Res64: 79932D9CCAF73162 Time : 0.0 sec. user=mdettweiler [2016-06-11 09:36:37] 643*2^1432055-1 is not prime. Res64: F22A314A479F75EA Time : 0.0 sec. user=mdettweiler [2016-06-11 09:36:37] 655*2^1432055-1 is not prime. Res64: B804ED8A3DA0C8FF Time : 0.0 sec. user=mdettweiler [2016-06-11 09:36:38] 669*2^1432055-1 is not prime. Res64: 43A09F56CE0BB6B0 Time : 0.0 sec. user=mdettweiler [2016-06-11 09:36:38] 693*2^1432055-1 is not prime. Res64: D8802C0F76F77785 Time : 0.0 sec. user=mdettweiler [2016-06-11 09:36:39] 739*2^1432055-1 is not prime. Res64: A71FBD1CC8F7318F Time : 0.0 sec. user=mdettweiler [2016-06-11 09:56:28] 753*2^1432055-1 is not prime. Res64: FFED0FD763039CC0 Time : 0.0 sec. user=mdettweiler [2016-06-11 09:56:28] 783*2^1432055-1 is not prime. Res64: C69891983C54DA2D Time : 0.0 sec. user=mdettweiler [2016-06-11 09:56:29] 909*2^1432055-1 is not prime. Res64: 113CEAC5EE4F810B Time : 0.0 sec. user=mdettweiler [2016-06-11 09:56:29] 943*2^1432055-1 is not prime. Res64: 6EF656A96495ED78 Time : 0.0 sec. user=mdettweiler [2016-06-11 09:56:29] 963*2^1432055-1 is not prime. Res64: D1FCB06367D395CA Time : 0.0 sec. user=mdettweiler [2016-06-11 09:57:27] 609*2^1432056-1 is not prime. Res64: 898952E76371869A Time : 0.0 sec. user=mdettweiler [2016-06-11 09:57:27] 693*2^1432056-1 is not prime. Res64: 9E6BA32F5ABC64FB Time : 0.0 sec. user=mdettweiler [2016-06-11 09:57:28] 695*2^1432056-1 is not prime. Res64: 28B744DC95673898 Time : 0.0 sec. user=mdettweiler [2016-06-11 09:57:28] 705*2^1432056-1 is not prime. Res64: BFF85B5BDC06E642 Time : 0.0 sec. user=mdettweiler [2016-06-11 09:57:29] 773*2^1432056-1 is not prime. Res64: 8CB028F28E399EF0 Time : 0.0 sec. user=mdettweiler [2016-06-11 10:03:31] 779*2^1432056-1 is not prime. Res64: 0B704670CB6D0ACE Time : 0.0 sec. user=mdettweiler [2016-06-11 10:03:32] 873*2^1432056-1 is not prime. Res64: D7BCC1984512021A Time : 0.0 sec. user=mdettweiler [2016-06-11 10:03:33] 923*2^1432056-1 is not prime. Res64: F4D4641C9F98DC72 Time : 0.0 sec. user=mdettweiler [2016-06-11 10:03:34] 975*2^1432056-1 is not prime. Res64: C6060592DA6AF1B5 Time : 0.0 sec. user=mdettweiler [2016-06-11 10:03:34] 741*2^1432057-1 is not prime. Res64: C8000C4276B579D3 Time : 0.0 sec. user=mdettweiler [2016-06-11 10:22:09] 807*2^1432057-1 is not prime. Res64: 1ACF4F0243421756 Time : 0.0 sec. user=mdettweiler [2016-06-11 10:22:09] 817*2^1432057-1 is not prime. Res64: BF0030F4FDD57D36 Time : 0.0 sec. user=mdettweiler [2016-06-11 10:22:10] 683*2^1432058-1 is not prime. Res64: CF183E5CA594F5C9 Time : 0.0 sec. user=mdettweiler [2016-06-11 10:22:10] 837*2^1432058-1 is not prime. Res64: 3C2DEB30BFC4DAF1 Time : 0.0 sec. user=mdettweiler [2016-06-11 10:22:11] 911*2^1432058-1 is not prime. Res64: 58BF0B4A7D9675A2 Time : 0.0 sec. user=mdettweiler [2016-06-11 10:44:00] 971*2^1432058-1 is not prime. Res64: C845B7FBE6874F95 Time : 0.0 sec. user=mdettweiler [2016-06-11 10:44:01] 995*2^1432058-1 is not prime. Res64: A38272DBEAE8484D Time : 0.0 sec. user=mdettweiler [2016-06-11 10:44:01] 619*2^1432059-1 is not prime. Res64: 76E96E6E4511E70E Time : 0.0 sec. user=mdettweiler [2016-06-11 10:44:01] 675*2^1432059-1 is not prime. Res64: 2096CEC27CE4DB10 Time : 0.0 sec. user=mdettweiler [2016-06-11 10:44:01] 709*2^1432059-1 is not prime. Res64: 47F516A85DC9571E Time : 0.0 sec. user=mdettweiler [2016-06-11 10:45:08] 801*2^1432059-1 is not prime. Res64: F700084EE9D38728 Time : 0.0 sec. user=mdettweiler [2016-06-11 10:45:08] 961*2^1432059-1 is not prime. Res64: 9DF420A54647109E Time : 0.0 sec. user=mdettweiler [2016-06-11 10:45:08] 843*2^1432060-1 is not prime. Res64: EAA28667FCE2131E Time : 0.0 sec. user=mdettweiler [2016-06-11 10:45:09] 887*2^1432060-1 is not prime. Res64: 117F97B33571DF99 Time : 0.0 sec. user=mdettweiler [2016-06-11 10:45:09] 927*2^1432060-1 is not prime. Res64: 9066945EA8B6C8F6 Time : 0.0 sec. user=mdettweiler [2016-06-11 10:51:57] 697*2^1432061-1 is not prime. Res64: 2BB43B56EFD7A68B Time : 0.0 sec. user=mdettweiler [2016-06-11 10:51:58] 745*2^1432061-1 is not prime. Res64: 2CE3E66FB0F770CB Time : 0.0 sec. user=mdettweiler [2016-06-11 10:51:59] 855*2^1432061-1 is not prime. Res64: CC974BF0FC905ED3 Time : 0.0 sec. user=mdettweiler [2016-06-11 10:51:59] 1001*2^1432062-1 is not prime. Res64: 17A079DF5866375D Time : 0.0 sec. user=mdettweiler [2016-06-11 10:51:59] 681*2^1432063-1 is not prime. Res64: 77AB4CD3EB0800BC Time : 0.0 sec. user=mdettweiler [2016-06-11 11:10:12] 729*2^1432063-1 is not prime. Res64: 5950A3E4E4285FD6 Time : 0.0 sec. user=mdettweiler [2016-06-11 11:10:12] 741*2^1432063-1 is not prime. Res64: B9D5FFF3218350C3 Time : 0.0 sec. user=mdettweiler [2016-06-11 11:10:13] 771*2^1432063-1 is not prime. Res64: 133247A880423958 Time : 0.0 sec. user=mdettweiler [2016-06-11 11:10:13] 783*2^1432063-1 is not prime. Res64: B0E0AFD633A512C0 Time : 0.0 sec. user=mdettweiler [2016-06-11 11:10:14] 813*2^1432063-1 is not prime. Res64: BF3E2DB7B9579C50 Time : 0.0 sec. user=mdettweiler [2016-06-11 11:30:35] 853*2^1432063-1 is not prime. Res64: E07F61DBF5EEBD64 Time : 0.0 sec. user=mdettweiler [2016-06-11 11:30:36] 901*2^1432063-1 is not prime. Res64: E90F3FBC86A4E916 Time : 0.0 sec. user=mdettweiler [2016-06-11 11:30:36] 999*2^1432063-1 is not prime. Res64: E245883071D3D343 Time : 0.0 sec. user=mdettweiler [2016-06-11 11:30:37] 657*2^1432064-1 is not prime. Res64: 9A66C323D260E6C8 Time : 0.0 sec. user=mdettweiler [2016-06-11 11:30:37] 813*2^1432064-1 is not prime. Res64: A6F63ABC848BD5DD Time : 0.0 sec. user=mdettweiler [2016-06-11 11:31:52] 819*2^1432064-1 is not prime. Res64: 56C1241DD1355390 Time : 0.0 sec. user=mdettweiler [2016-06-11 11:31:52] 909*2^1432064-1 is not prime. Res64: 332FE784DA33A8E0 Time : 0.0 sec. user=mdettweiler [2016-06-11 11:31:52] 915*2^1432064-1 is not prime. Res64: DD27361AEAE60D6A Time : 0.0 sec. user=mdettweiler [2016-06-11 11:31:53] 945*2^1432064-1 is not prime. Res64: CBD192251F5E85E0 Time : 0.0 sec. user=mdettweiler [2016-06-11 11:31:53] 627*2^1432065-1 is not prime. Res64: D4BC34FE7A6ADE76 Time : 0.0 sec. user=mdettweiler [2016-06-11 11:37:35] 919*2^1432065-1 is not prime. Res64: 3005EF3396EE0AEC Time : 0.0 sec. user=mdettweiler [2016-06-11 11:37:36] 921*2^1432065-1 is not prime. Res64: 3905653A4DC2B09D Time : 0.0 sec. user=mdettweiler [2016-06-11 11:37:36] 999*2^1432065-1 is not prime. Res64: 9349D838DCFFEF8A Time : 0.0 sec. user=mdettweiler [2016-06-11 11:37:36] 645*2^1432066-1 is not prime. Res64: 6AAF58AEF7D6869B Time : 0.0 sec. user=mdettweiler [2016-06-11 11:37:37] 735*2^1432066-1 is not prime. Res64: 23DA44BD2E83A680 Time : 0.0 sec. user=mdettweiler [2016-06-11 11:55:21] 917*2^1432066-1 is not prime. Res64: 58056B2A13DAC286 Time : 0.0 sec. user=mdettweiler [2016-06-11 11:55:21] 735*2^1432067-1 is not prime. Res64: 61375F6603AC6501 Time : 0.0 sec. user=mdettweiler [2016-06-11 11:55:21] 775*2^1432067-1 is not prime. Res64: 7E73BB8852332970 Time : 0.0 sec. user=mdettweiler [2016-06-11 11:55:22] 823*2^1432067-1 is not prime. Res64: AD2A9C501AC2CBE4 Time : 0.0 sec. user=mdettweiler [2016-06-11 11:55:22] 939*2^1432067-1 is not prime. Res64: 77D82C802181C039 Time : 0.0 sec. user=mdettweiler [2016-06-11 12:15:42] 629*2^1432068-1 is not prime. Res64: CD60CD6906EFD17D Time : 0.0 sec. user=mdettweiler [2016-06-11 12:15:42] 633*2^1432068-1 is not prime. Res64: 88FF1A964186DD04 Time : 0.0 sec. user=mdettweiler [2016-06-11 12:15:43] 837*2^1432068-1 is not prime. Res64: 6D615B1F1D7E97DD Time : 0.0 sec. user=mdettweiler [2016-06-11 12:15:43] 987*2^1432068-1 is not prime. Res64: 7B79A574B02B8574 Time : 0.0 sec. user=mdettweiler [2016-06-11 12:15:44] 639*2^1432069-1 is not prime. Res64: A7013223FEDD353B Time : 0.0 sec. user=mdettweiler [2016-06-11 12:17:06] 765*2^1432069-1 is not prime. Res64: EED4853F112E32B9 Time : 0.0 sec. user=mdettweiler [2016-06-11 12:17:06] 811*2^1432069-1 is not prime. Res64: 7FE8D13A4FEDBF08 Time : 0.0 sec. user=mdettweiler [2016-06-11 12:17:06] 861*2^1432069-1 is not prime. Res64: F0DE4EA390D0AF16 Time : 0.0 sec. user=mdettweiler [2016-06-11 12:17:07] 945*2^1432069-1 is not prime. Res64: 1D4C97012CB43B98 Time : 0.0 sec. user=mdettweiler [2016-06-11 12:17:07] 957*2^1432069-1 is not prime. Res64: 41A0E8534060DD92 Time : 0.0 sec. user=mdettweiler [2016-06-11 12:22:39] 675*2^1432070-1 is not prime. Res64: 8FD43640DCA8E431 Time : 0.0 sec. user=mdettweiler [2016-06-11 12:22:40] 677*2^1432070-1 is not prime. Res64: F403A681EC153110 Time : 0.0 sec. user=mdettweiler [2016-06-11 12:22:40] 791*2^1432070-1 is not prime. Res64: FA1EFFE33AB54233 Time : 0.0 sec. user=mdettweiler [2016-06-11 12:22:40] 795*2^1432070-1 is not prime. Res64: E37181F371F62D65 Time : 0.0 sec. user=mdettweiler [2016-06-11 12:22:41] 885*2^1432070-1 is not prime. Res64: 28BCC8CB5344A5ED Time : 0.0 sec. user=mdettweiler [2016-06-11 12:40:31] 619*2^1432071-1 is not prime. Res64: 7552BD18C1633E81 Time : 0.0 sec. user=mdettweiler [2016-06-11 12:40:31] 781*2^1432071-1 is not prime. Res64: BA5F70C62F950AE6 Time : 0.0 sec. user=mdettweiler [2016-06-11 12:40:31] 961*2^1432071-1 is not prime. Res64: 61A8F1DED3058918 Time : 0.0 sec. user=mdettweiler [2016-06-11 12:40:32] 813*2^1432072-1 is not prime. Res64: 4542EA6ADD20171D Time : 0.0 sec. user=mdettweiler [2016-06-11 12:40:32] 843*2^1432072-1 is not prime. Res64: E4AEEB307AF359FD Time : 0.0 sec. user=mdettweiler [2016-06-11 13:00:47] 915*2^1432072-1 is not prime. Res64: A55A9A478563BFE7 Time : 0.0 sec. user=mdettweiler [2016-06-11 13:00:48] 965*2^1432072-1 is not prime. Res64: E23D697EAC7A8F09 Time : 0.0 sec. user=mdettweiler [2016-06-11 13:00:49] 657*2^1432073-1 is not prime. Res64: 029EECF1686379F0 Time : 0.0 sec. user=mdettweiler [2016-06-11 13:00:49] 697*2^1432073-1 is not prime. Res64: C56D728155425700 Time : 0.0 sec. user=mdettweiler [2016-06-11 13:00:50] 715*2^1432073-1 is not prime. Res64: 63EF088551BC3D99 Time : 0.0 sec. user=mdettweiler [2016-06-11 13:02:20] 885*2^1432073-1 is not prime. Res64: 0079272F0EDB6A9F Time : 0.0 sec. user=mdettweiler [2016-06-11 13:02:21] 969*2^1432073-1 is not prime. Res64: F0A9AFFBDF0CC256 Time : 0.0 sec. user=mdettweiler [2016-06-11 13:02:22] 657*2^1432074-1 is not prime. Res64: 44E433909394ADA7 Time : 0.0 sec. user=mdettweiler [2016-06-11 13:02:23] 765*2^1432074-1 is not prime. Res64: D632839B087B3FEE Time : 0.0 sec. user=mdettweiler [2016-06-11 13:02:24] 825*2^1432074-1 is not prime. Res64: EB8C414606615BF0 Time : 0.0 sec. user=mdettweiler [2016-06-11 13:07:57] 923*2^1432074-1 is not prime. Res64: F8086A6093538A5B Time : 0.0 sec. user=mdettweiler [2016-06-11 13:07:58] 603*2^1432075-1 is not prime. Res64: 655FF1D29CD5F093 Time : 0.0 sec. user=mdettweiler [2016-06-11 13:07:58] 693*2^1432075-1 is not prime. Res64: 60B6F554F5B08B28 Time : 0.0 sec. user=mdettweiler [2016-06-11 13:07:58] 733*2^1432075-1 is not prime. Res64: 4125AAA7B1AA1657 Time : 0.0 sec. user=mdettweiler [2016-06-11 13:07:59] 783*2^1432075-1 is not prime. Res64: C14D3E2CD2483DCA Time : 0.0 sec. user=mdettweiler [2016-06-11 13:26:26] 889*2^1432075-1 is not prime. Res64: 40C39F088755E477 Time : 0.0 sec. user=mdettweiler [2016-06-11 13:26:27] 973*2^1432075-1 is not prime. Res64: C2FED500A96ACE69 Time : 0.0 sec. user=mdettweiler [2016-06-11 13:26:27] 603*2^1432076-1 is not prime. Res64: 4E2F01AE58802697 Time : 0.0 sec. user=mdettweiler [2016-06-11 13:26:27] 759*2^1432076-1 is not prime. Res64: B55A00FA92ECDBAE Time : 0.0 sec. user=mdettweiler [2016-06-11 13:26:28] 869*2^1432076-1 is not prime. Res64: 1BB1B5EA707ED15C Time : 0.0 sec. user=mdettweiler [2016-06-11 13:46:20] 873*2^1432076-1 is not prime. Res64: EFD81204FEA8C272 Time : 0.0 sec. user=mdettweiler [2016-06-11 13:46:20] 999*2^1432076-1 is not prime. Res64: 48C7D53BDBAF06CF Time : 0.0 sec. user=mdettweiler [2016-06-11 13:46:21] 649*2^1432077-1 is not prime. Res64: CFDF4FBD065B705E Time : 0.0 sec. user=mdettweiler [2016-06-11 13:46:21] 667*2^1432077-1 is not prime. Res64: 95E20C5AB26BA337 Time : 0.0 sec. user=mdettweiler [2016-06-11 13:46:21] 669*2^1432077-1 is not prime. Res64: 6F6CF16A283FA9C8 Time : 0.0 sec. user=mdettweiler [2016-06-11 13:48:02] 837*2^1432077-1 is not prime. Res64: 50475F65D5CE9ECF Time : 0.0 sec. user=mdettweiler [2016-06-11 13:48:02] 847*2^1432077-1 is not prime. Res64: A24E1CA38408B82B Time : 0.0 sec. user=mdettweiler [2016-06-11 13:48:03] 915*2^1432077-1 is not prime. Res64: FBA82E91767615F4 Time : 0.0 sec. user=mdettweiler [2016-06-11 13:48:03] 997*2^1432077-1 is not prime. Res64: 759C2B7094D5CC21 Time : 0.0 sec. user=mdettweiler [2016-06-11 13:48:03] 651*2^1432078-1 is not prime. Res64: F88D63E5A943770B Time : 0.0 sec. user=mdettweiler [2016-06-11 13:53:26] 657*2^1432078-1 is not prime. Res64: 7ACCB1DDAC6C0F0F Time : 0.0 sec. user=mdettweiler [2016-06-11 13:53:27] 687*2^1432078-1 is not prime. Res64: 8BA2022AE59C3F01 Time : 0.0 sec. user=mdettweiler [2016-06-11 13:53:27] 755*2^1432078-1 is not prime. Res64: 818389C64399463C Time : 0.0 sec. user=mdettweiler [2016-06-11 13:53:27] 1001*2^1432078-1 is not prime. Res64: 2C3A737B543B37A0 Time : 0.0 sec. user=mdettweiler [2016-06-11 13:53:28] 693*2^1432079-1 is not prime. Res64: 7FB9B24F9F5836FB Time : 0.0 sec. user=mdettweiler [2016-06-11 14:12:24] 745*2^1432079-1 is not prime. Res64: DAB9A5701E9A9747 Time : 0.0 sec. user=mdettweiler [2016-06-11 14:12:24] 811*2^1432079-1 is not prime. Res64: 8F22074398B7B4F3 Time : 0.0 sec. user=mdettweiler [2016-06-11 14:12:25] 823*2^1432079-1 is not prime. Res64: 1C139989E326CBA4 Time : 0.0 sec. user=mdettweiler [2016-06-11 14:12:25] 841*2^1432079-1 is not prime. Res64: BF048D4D0A35DF21 Time : 0.0 sec. user=mdettweiler [2016-06-11 14:12:25] 859*2^1432079-1 is not prime. Res64: 4EE2EAC1892B7FA2 Time : 0.0 sec. user=mdettweiler [2016-06-11 14:33:23] 883*2^1432079-1 is not prime. Res64: E023F9FFC15EB9EC Time : 0.0 sec. user=mdettweiler [2016-06-11 14:33:23] 931*2^1432079-1 is not prime. Res64: 523A1C6DAFD3D6EA Time : 0.0 sec. user=mdettweiler [2016-06-11 14:33:23] 635*2^1432080-1 is not prime. Res64: CDBB2C3C8D8F6AAB Time : 0.0 sec. user=mdettweiler [2016-06-11 14:33:24] 669*2^1432080-1 is not prime. Res64: 08547F26C36A1579 Time : 0.0 sec. user=mdettweiler [2016-06-11 14:33:24] 695*2^1432080-1 is not prime. Res64: CBDA296DF39C4121 Time : 0.0 sec. user=mdettweiler [2016-06-11 14:35:15] 699*2^1432080-1 is not prime. Res64: ABA7D6BC80FCDFA2 Time : 0.0 sec. user=mdettweiler [2016-06-11 14:35:15] 707*2^1432080-1 is not prime. Res64: 19B38F05050498FE Time : 0.0 sec. user=mdettweiler [2016-06-11 14:35:16] 773*2^1432080-1 is not prime. Res64: B56E6286765095B3 Time : 0.0 sec. user=mdettweiler [2016-06-11 14:35:16] 789*2^1432080-1 is not prime. Res64: CF1AF6D150B241A1 Time : 0.0 sec. user=mdettweiler [2016-06-11 14:35:16] 879*2^1432080-1 is not prime. Res64: D9C7D640F3F5AFD2 Time : 0.0 sec. user=mdettweiler [2016-06-11 14:40:54] 645*2^1432081-1 is not prime. Res64: 6FE903A6FBD3D65A Time : 0.0 sec. user=mdettweiler [2016-06-11 14:40:54] 747*2^1432081-1 is not prime. Res64: 7BFF48E82E7A407E Time : 0.0 sec. user=mdettweiler [2016-06-11 14:40:54] 775*2^1432081-1 is not prime. Res64: 5DE556BF49920A19 Time : 0.0 sec. user=mdettweiler [2016-06-11 14:40:54] 801*2^1432081-1 is not prime. Res64: 3F9CA89C0C9966C0 Time : 0.0 sec. user=mdettweiler [2016-06-11 14:40:55] 987*2^1432081-1 is not prime. Res64: 1433D7DE17C88115 Time : 0.0 sec. user=mdettweiler [2016-06-11 14:59:32] 887*2^1432082-1 is not prime. Res64: AF1796ECF52B6293 Time : 0.0 sec. user=mdettweiler [2016-06-11 14:59:32] 613*2^1432083-1 is not prime. Res64: E8762E9E4FA5EE14 Time : 0.0 sec. user=mdettweiler [2016-06-11 14:59:32] 745*2^1432083-1 is not prime. Res64: 4F39596231573C67 Time : 0.0 sec. user=mdettweiler [2016-06-11 14:59:32] 819*2^1432083-1 is not prime. Res64: F06CA8354E12823A Time : 0.0 sec. user=mdettweiler [2016-06-11 14:59:33] 835*2^1432083-1 is not prime. Res64: 95E6A66B343D5FBA Time : 0.0 sec. user=mdettweiler [2016-06-11 15:21:59] 885*2^1432083-1 is not prime. Res64: 22882BBA5B0AD22C Time : 0.0 sec. user=mdettweiler [2016-06-11 15:22:00] 891*2^1432083-1 is not prime. Res64: 49EE07F69FAECFF0 Time : 0.0 sec. user=mdettweiler [2016-06-11 15:22:00] 895*2^1432083-1 is not prime. Res64: 5045D906C1E66AC2 Time : 0.0 sec. user=mdettweiler [2016-06-11 15:22:00] 945*2^1432083-1 is not prime. Res64: D722B67B7D994AAB Time : 0.0 sec. user=mdettweiler [2016-06-11 15:22:01] 605*2^1432084-1 is not prime. Res64: 85C4C33BC648B4FD Time : 0.0 sec. user=mdettweiler [2016-06-11 15:23:22] 665*2^1432084-1 is not prime. Res64: BF1EAD31878E8D62 Time : 0.0 sec. user=mdettweiler [2016-06-11 15:23:22] 825*2^1432084-1 is not prime. Res64: AB4ABCEC48DE686E Time : 0.0 sec. user=mdettweiler [2016-06-11 15:23:23] 771*2^1432085-1 is not prime. Res64: 3BC900B2C2294A09 Time : 0.0 sec. user=mdettweiler [2016-06-11 15:23:23] 795*2^1432085-1 is not prime. Res64: FA5F7CB42178AEF4 Time : 0.0 sec. user=mdettweiler [2016-06-11 15:23:23] 847*2^1432085-1 is not prime. Res64: B92B21BD593AD6E0 Time : 0.0 sec. user=mdettweiler [2016-06-11 15:29:19] 885*2^1432085-1 is not prime. Res64: 0240CB3830B9453D Time : 0.0 sec. user=mdettweiler [2016-06-11 15:29:20] 705*2^1432086-1 is not prime. Res64: BE1438C17332428B Time : 0.0 sec. user=mdettweiler [2016-06-11 15:29:20] 765*2^1432086-1 is not prime. Res64: 341D59B91B22F038 Time : 0.0 sec. user=mdettweiler [2016-06-11 15:29:21] 783*2^1432086-1 is not prime. Res64: 023069552766CC07 Time : 0.0 sec. user=mdettweiler [2016-06-11 15:29:21] 815*2^1432086-1 is not prime. Res64: EB8E6E4BF282B02B Time : 0.0 sec. user=mdettweiler [2016-06-11 15:47:14] 917*2^1432086-1 is not prime. Res64: 6897957E342C2829 Time : 0.0 sec. user=mdettweiler [2016-06-11 15:47:14] 941*2^1432086-1 is not prime. Res64: AA859C918DB988DF Time : 0.0 sec. user=mdettweiler [2016-06-11 15:47:15] 1001*2^1432086-1 is not prime. Res64: AB747E4436E32318 Time : 0.0 sec. user=mdettweiler [2016-06-11 15:47:15] 693*2^1432087-1 is not prime. Res64: 72C66190CF5BB333 Time : 0.0 sec. user=mdettweiler [2016-06-11 15:47:15] 705*2^1432087-1 is not prime. Res64: 5492F04E37EC8252 Time : 0.0 sec. user=mdettweiler [2016-06-11 16:08:08] 759*2^1432087-1 is not prime. Res64: C6FCA8E540BE4259 Time : 0.0 sec. user=mdettweiler [2016-06-11 16:08:09] 829*2^1432087-1 is not prime. Res64: 5E7F521106F2BFC8 Time : 0.0 sec. user=mdettweiler [2016-06-11 16:08:09] 925*2^1432087-1 is not prime. Res64: 0E0DD431763C8014 Time : 0.0 sec. user=mdettweiler [2016-06-11 16:08:10] 999*2^1432087-1 is not prime. Res64: B08A14AE4A96EDF1 Time : 0.0 sec. user=mdettweiler [2016-06-11 16:08:10] 773*2^1432088-1 is not prime. Res64: B59007D469D72DE9 Time : 0.0 sec. user=mdettweiler [2016-06-11 16:08:54] 819*2^1432088-1 is not prime. Res64: F9C2B7E796474C94 Time : 0.0 sec. user=mdettweiler [2016-06-11 16:08:55] 843*2^1432088-1 is not prime. Res64: 43C6A78D463CC5C1 Time : 0.0 sec. user=mdettweiler [2016-06-11 16:08:55] 915*2^1432088-1 is not prime. Res64: 163D7DEE66C28097 Time : 0.0 sec. user=mdettweiler [2016-06-11 16:08:56] 923*2^1432088-1 is not prime. Res64: FAA41EBCF6721350 Time : 0.0 sec. user=mdettweiler [2016-06-11 16:08:56] 945*2^1432088-1 is not prime. Res64: 19852D22A438D3FB Time : 0.0 sec. user=mdettweiler [2016-06-11 16:15:10] 615*2^1432089-1 is not prime. Res64: 5B00F2B5DDBE6B4A Time : 0.0 sec. user=mdettweiler [2016-06-11 16:15:10] 679*2^1432089-1 is not prime. Res64: D3424EF0713D1683 Time : 0.0 sec. user=mdettweiler [2016-06-11 16:15:11] 747*2^1432089-1 is not prime. Res64: 947D5531739C1C06 Time : 0.0 sec. user=mdettweiler [2016-06-11 16:15:11] 837*2^1432089-1 is not prime. Res64: 2F16639FCB38E694 Time : 0.0 sec. user=mdettweiler [2016-06-11 16:15:11] 865*2^1432089-1 is not prime. Res64: 4CD7DF07B3562D96 Time : 0.0 sec. user=mdettweiler [2016-06-11 16:32:30] 969*2^1432089-1 is not prime. Res64: 72BFDA61521816FE Time : 0.0 sec. user=mdettweiler [2016-06-11 16:32:31] 985*2^1432089-1 is not prime. Res64: CAF4426D22B8BBDB Time : 0.0 sec. user=mdettweiler [2016-06-11 16:32:31] 657*2^1432090-1 is not prime. Res64: 1B2700FE32CD9213 Time : 0.0 sec. user=mdettweiler [2016-06-11 16:32:31] 665*2^1432090-1 is not prime. Res64: 27ACB313E903E881 Time : 0.0 sec. user=mdettweiler [2016-06-11 16:32:32] 777*2^1432090-1 is not prime. Res64: FBCFE98B2670E4D9 Time : 0.0 sec. user=mdettweiler [2016-06-11 16:53:11] 801*2^1432090-1 is not prime. Res64: 241080AC955249CB Time : 0.0 sec. user=mdettweiler [2016-06-11 16:53:11] 821*2^1432090-1 is not prime. Res64: 7F1D643FC855D27C Time : 0.0 sec. user=mdettweiler [2016-06-11 16:53:12] 827*2^1432090-1 is not prime. Res64: 309934679DEEAC48 Time : 0.0 sec. user=mdettweiler [2016-06-11 16:53:12] 867*2^1432090-1 is not prime. Res64: 1DCD33C5740A9AF3 Time : 0.0 sec. user=mdettweiler [2016-06-11 16:53:12] 905*2^1432090-1 is not prime. Res64: 3A1AD4A1B94CD8F0 Time : 0.0 sec. user=mdettweiler [2016-06-11 16:53:52] 915*2^1432090-1 is not prime. Res64: B1842F54D96D53E9 Time : 0.0 sec. user=mdettweiler [2016-06-11 16:53:52] 811*2^1432091-1 is not prime. Res64: 41BD04643544406E Time : 0.0 sec. user=mdettweiler [2016-06-11 16:53:52] 825*2^1432091-1 is not prime. Res64: 75585ED1A0437BC2 Time : 0.0 sec. user=mdettweiler [2016-06-11 16:53:53] 859*2^1432091-1 is not prime. Res64: A6DC77CB2D25DA1F Time : 0.0 sec. user=mdettweiler [2016-06-11 16:53:53] 889*2^1432091-1 is not prime. Res64: C8DF0387E06867B2 Time : 0.0 sec. user=mdettweiler [2016-06-11 17:00:10] 913*2^1432091-1 is not prime. Res64: 9DB3F31C58741548 Time : 0.0 sec. user=mdettweiler [2016-06-11 17:00:11] 749*2^1432092-1 is not prime. Res64: AF843910860C4A51 Time : 0.0 sec. user=mdettweiler [2016-06-11 17:00:11] 759*2^1432092-1 is not prime. Res64: E6823D22B958F3AB Time : 0.0 sec. user=mdettweiler [2016-06-11 17:00:12] 887*2^1432092-1 is not prime. Res64: 3FC933D55648B134 Time : 0.0 sec. user=mdettweiler [2016-06-11 17:00:12] 909*2^1432092-1 is not prime. Res64: CE899C61AFBCBABE Time : 0.0 sec. user=mdettweiler [2016-06-11 17:17:51] 983*2^1432092-1 is not prime. Res64: F37F0986E7C70C84 Time : 0.0 sec. user=mdettweiler [2016-06-11 17:17:51] 987*2^1432092-1 is not prime. Res64: FB5227B8C7980E81 Time : 0.0 sec. user=mdettweiler [2016-06-11 17:17:52] 651*2^1432093-1 is not prime. Res64: A30C6034771F2254 Time : 0.0 sec. user=mdettweiler [2016-06-11 17:17:52] 679*2^1432093-1 is not prime. Res64: 40C0128188F2D753 Time : 0.0 sec. user=mdettweiler [2016-06-11 17:17:53] 747*2^1432093-1 is not prime. Res64: 047ACFAF8DFC6330 Time : 0.0 sec. user=mdettweiler [2016-06-11 17:38:36] 801*2^1432093-1 is not prime. Res64: CBF500DE9E08E3B3 Time : 0.0 sec. user=mdettweiler [2016-06-11 17:38:36] 817*2^1432093-1 is not prime. Res64: 5CCB0DEA937545BA Time : 0.0 sec. user=mdettweiler [2016-06-11 17:38:37] 847*2^1432093-1 is not prime. Res64: 6F2DCD724CF7EB89 Time : 0.0 sec. user=mdettweiler [2016-06-11 17:38:37] 919*2^1432093-1 is not prime. Res64: FB27DF9BFBBF949D Time : 0.0 sec. user=mdettweiler [2016-06-11 17:38:37] 955*2^1432093-1 is not prime. Res64: D7480555D61CB495 Time : 0.0 sec. user=mdettweiler [2016-06-11 17:39:08] 635*2^1432094-1 is not prime. Res64: 8F95D74FB35F421A Time : 0.0 sec. user=mdettweiler [2016-06-11 17:39:09] 731*2^1432094-1 is not prime. Res64: A5018F8FFAD52661 Time : 0.0 sec. user=mdettweiler [2016-06-11 17:39:09] 669*2^1432095-1 is not prime. Res64: AD5AD6A0D83D3245 Time : 0.0 sec. user=mdettweiler [2016-06-11 17:39:09] 693*2^1432095-1 is not prime. Res64: AD7D84224572DD93 Time : 0.0 sec. user=mdettweiler [2016-06-11 17:39:10] 735*2^1432095-1 is not prime. Res64: 7DBCE875F446AC8D Time : 0.0 sec. user=mdettweiler [2016-06-11 17:45:32] 741*2^1432095-1 is not prime. Res64: FEACBFC82F5C7D1A Time : 0.0 sec. user=mdettweiler [2016-06-11 17:45:32] 999*2^1432095-1 is not prime. Res64: 7BDE32B21C3179E2 Time : 0.0 sec. user=mdettweiler [2016-06-11 17:45:33] 657*2^1432096-1 is not prime. Res64: F95155DC3DA85C89 Time : 0.0 sec. user=mdettweiler [2016-06-11 17:45:33] 779*2^1432096-1 is not prime. Res64: F44AEF631FD9A768 Time : 0.0 sec. user=mdettweiler [2016-06-11 17:45:34] 675*2^1432097-1 is not prime. Res64: F9F866E48050DE81 Time : 0.0 sec. user=mdettweiler [2016-06-11 18:03:52] 741*2^1432097-1 is not prime. Res64: E859355741D6F952 Time : 0.0 sec. user=mdettweiler [2016-06-11 18:03:54] 831*2^1432097-1 is not prime. Res64: D6BAD4288250040E Time : 0.0 sec. user=mdettweiler [2016-06-11 18:03:56] 841*2^1432097-1 is not prime. Res64: 0A13CD76143F51BD Time : 0.0 sec. user=mdettweiler [2016-06-11 18:03:58] 865*2^1432097-1 is not prime. Res64: 154E88F469FA34D8 Time : 0.0 sec. user=mdettweiler [2016-06-11 18:03:59] 879*2^1432097-1 is not prime. Res64: EB0A1BE990A90122 Time : 0.0 sec. user=mdettweiler [2016-06-11 18:24:07] 915*2^1432097-1 is not prime. Res64: BDC21D4C5B5AE2FF Time : 0.0 sec. user=mdettweiler [2016-06-11 18:24:07] 611*2^1432098-1 is not prime. Res64: BCD0B43EDA005E7C Time : 0.0 sec. user=mdettweiler [2016-06-11 18:24:08] 621*2^1432098-1 is not prime. Res64: 87971A064D56F831 Time : 0.0 sec. user=mdettweiler [2016-06-11 18:24:08] 663*2^1432098-1 is not prime. Res64: 0858544CF0F0BD90 Time : 0.0 sec. user=mdettweiler [2016-06-11 18:24:09] 755*2^1432098-1 is not prime. Res64: 69913A54EE8B6655 Time : 0.0 sec. user=mdettweiler [2016-06-11 18:24:24] 821*2^1432098-1 is not prime. Res64: 4436499E6FDA6FC0 Time : 0.0 sec. user=mdettweiler [2016-06-11 18:24:25] 927*2^1432098-1 is not prime. Res64: 5A964FFB69E8939F Time : 0.0 sec. user=mdettweiler [2016-06-11 18:24:25] 971*2^1432098-1 is not prime. Res64: 9523B351D376A2F4 Time : 0.0 sec. user=mdettweiler [2016-06-11 18:24:26] 735*2^1432099-1 is not prime. Res64: C50679F7BD3135A9 Time : 0.0 sec. user=mdettweiler [2016-06-11 18:24:26] 769*2^1432099-1 is not prime. Res64: 2B740602B72F8234 Time : 0.0 sec. user=mdettweiler [2016-06-11 18:30:53] 615*2^1432100-1 is not prime. Res64: 7059EEC62DF69DE0 Time : 0.0 sec. user=mdettweiler [2016-06-11 18:30:53] 629*2^1432100-1 is not prime. Res64: 6DD96AA91874C848 Time : 0.0 sec. user=mdettweiler [2016-06-11 18:30:54] 635*2^1432100-1 is not prime. Res64: 9D8169AFFBDA1F6E Time : 0.0 sec. user=mdettweiler [2016-06-11 18:30:54] 687*2^1432100-1 is not prime. Res64: 448BC204B1E7D6EC Time : 0.0 sec. user=mdettweiler [2016-06-11 18:30:54] 845*2^1432100-1 is not prime. Res64: 67F6B6ACAC9B37D5 Time : 0.0 sec. user=mdettweiler [2016-06-11 18:49:28] 929*2^1432100-1 is not prime. Res64: 5B25785B7D4C4201 Time : 0.0 sec. user=mdettweiler [2016-06-11 18:49:29] 995*2^1432100-1 is not prime. Res64: 4C1507BCEEAEBD8A Time : 0.0 sec. user=mdettweiler [2016-06-11 18:49:29] 651*2^1432101-1 is not prime. Res64: E93E7A5193118AA2 Time : 0.0 sec. user=mdettweiler [2016-06-11 18:49:29] 709*2^1432101-1 is not prime. Res64: 8ABD6ABD21F0AA4D Time : 0.0 sec. user=mdettweiler [2016-06-11 18:49:30] 777*2^1432101-1 is not prime. Res64: 6E76A06E5A310225 Time : 0.0 sec. user=mdettweiler [2016-06-11 19:09:16] 817*2^1432101-1 is not prime. Res64: 54BC74E7081CF7A7 Time : 0.0 sec. user=mdettweiler [2016-06-11 19:09:17] 877*2^1432101-1 is not prime. Res64: CAA05CD64BF2EEC2 Time : 0.0 sec. user=mdettweiler [2016-06-11 19:09:17] 907*2^1432101-1 is not prime. Res64: 581B2712389DB0E8 Time : 0.0 sec. user=mdettweiler [2016-06-11 19:09:18] 969*2^1432101-1 is not prime. Res64: F474281270C94F3A Time : 0.0 sec. user=mdettweiler [2016-06-11 19:09:18] 647*2^1432102-1 is not prime. Res64: 3D23091F0077E983 Time : 0.0 sec. user=mdettweiler [2016-06-11 19:09:25] 741*2^1432102-1 is not prime. Res64: 32AC7CFF36F7C266 Time : 0.0 sec. user=mdettweiler [2016-06-11 19:09:26] 791*2^1432102-1 is not prime. Res64: A3F64D83ADCE23B1 Time : 0.0 sec. user=mdettweiler [2016-06-11 19:09:26] 897*2^1432102-1 is not prime. Res64: 0EB45A9E5BA83A9B Time : 0.0 sec. user=mdettweiler [2016-06-11 19:09:27] 951*2^1432102-1 is not prime. Res64: 4F1D2B5ADA89BD1A Time : 0.0 sec. user=mdettweiler [2016-06-11 19:09:27] 995*2^1432102-1 is not prime. Res64: 2BB1C1FD305F76AA Time : 0.0 sec. user=mdettweiler [2016-06-11 19:16:12] 609*2^1432103-1 is not prime. Res64: F6510A996D04A5BA Time : 0.0 sec. user=mdettweiler [2016-06-11 19:16:12] 729*2^1432103-1 is not prime. Res64: 09C4415BA822C85F Time : 0.0 sec. user=mdettweiler [2016-06-11 19:16:12] 861*2^1432103-1 is not prime. Res64: DAD469B284EEADBD Time : 0.0 sec. user=mdettweiler [2016-06-11 19:16:13] 885*2^1432103-1 is not prime. Res64: 86E63B0BC30D2D4D Time : 0.0 sec. user=mdettweiler [2016-06-11 19:16:13] 945*2^1432103-1 is not prime. Res64: 44FD7899128C6E5A Time : 0.0 sec. user=mdettweiler [2016-06-11 19:34:33] 605*2^1432104-1 is not prime. Res64: FC3F6832E3223F32 Time : 0.0 sec. user=mdettweiler [2016-06-11 19:34:34] 623*2^1432104-1 is not prime. Res64: A94330555FC5586F Time : 0.0 sec. user=mdettweiler [2016-06-11 19:34:34] 689*2^1432104-1 is not prime. Res64: 3FA4096753ACA555 Time : 0.0 sec. user=mdettweiler [2016-06-11 19:34:35] 719*2^1432104-1 is not prime. Res64: 78BA9F7BC35EEA00 Time : 0.0 sec. user=mdettweiler [2016-06-11 19:34:35] 765*2^1432104-1 is not prime. Res64: 8CD0F8B22A49CA81 Time : 0.0 sec. user=mdettweiler [2016-06-11 19:54:17] 767*2^1432104-1 is not prime. Res64: 92CE32120AEB138A Time : 0.0 sec. user=mdettweiler [2016-06-11 19:54:18] 789*2^1432104-1 is not prime. Res64: D430016DBF92E57C Time : 0.0 sec. user=mdettweiler [2016-06-11 19:54:18] 815*2^1432104-1 is not prime. Res64: BA4EEEAAA3698402 Time : 0.0 sec. user=mdettweiler [2016-06-11 19:54:18] 825*2^1432104-1 is not prime. Res64: 6154417F5A0BEDF9 Time : 0.0 sec. user=mdettweiler [2016-06-11 19:54:19] 849*2^1432104-1 is not prime. Res64: D49D567392E4B895 Time : 0.0 sec. user=mdettweiler [2016-06-11 19:54:24] 903*2^1432104-1 is not prime. Res64: A639CDDE69219D8C Time : 0.0 sec. user=mdettweiler [2016-06-11 19:54:24] 959*2^1432104-1 is not prime. Res64: 9DE5C8E034AF83F4 Time : 0.0 sec. user=mdettweiler [2016-06-11 19:54:25] 975*2^1432104-1 is not prime. Res64: 4F844BB65DD69ED0 Time : 0.0 sec. user=mdettweiler [2016-06-11 19:54:25] 691*2^1432105-1 is not prime. Res64: 3A45A09BF4CAB9F6 Time : 0.0 sec. user=mdettweiler [2016-06-11 19:54:26] 847*2^1432105-1 is not prime. Res64: 917488684E459FFA Time : 0.0 sec. user=mdettweiler [2016-06-11 20:01:16] 871*2^1432105-1 is not prime. Res64: 73CC31027919C880 Time : 0.0 sec. user=mdettweiler [2016-06-11 20:01:17] 985*2^1432105-1 is not prime. Res64: ECB3AD0819F49A09 Time : 0.0 sec. user=mdettweiler [2016-06-11 20:01:17] 987*2^1432105-1 is not prime. Res64: 698A6556C29BF56D Time : 0.0 sec. user=mdettweiler [2016-06-11 20:01:18] 615*2^1432106-1 is not prime. Res64: 73DDF3B5446FA6DF Time : 0.0 sec. user=mdettweiler [2016-06-11 20:01:19] 651*2^1432106-1 is not prime. Res64: 481B0F1B590045F1 Time : 0.0 sec. user=mdettweiler [2016-06-11 20:19:47] 657*2^1432106-1 is not prime. Res64: B94163059433344E Time : 0.0 sec. user=mdettweiler [2016-06-11 20:19:48] 713*2^1432106-1 is not prime. Res64: EAA39F7C0E219A82 Time : 0.0 sec. user=mdettweiler [2016-06-11 20:19:48] 773*2^1432106-1 is not prime. Res64: 8C0D694A3DBBE209 Time : 0.0 sec. user=mdettweiler [2016-06-11 20:19:49] 887*2^1432106-1 is not prime. Res64: F1D4A90F210C6A97 Time : 0.0 sec. user=mdettweiler [2016-06-11 20:19:49] 921*2^1432106-1 is not prime. Res64: BBEEBFFA41F2E9A8 Time : 0.0 sec. user=mdettweiler [2016-06-11 20:39:24] 983*2^1432106-1 is not prime. Res64: 6D4BE357DBB76739 Time : 0.0 sec. user=mdettweiler [2016-06-11 20:39:25] 601*2^1432107-1 is not prime. Res64: A465B04AB6FE9E5A Time : 0.0 sec. user=mdettweiler [2016-06-11 20:39:25] 649*2^1432107-1 is not prime. Res64: E2406B88ACBE0719 Time : 0.0 sec. user=mdettweiler [2016-06-11 20:39:25] 703*2^1432107-1 is not prime. Res64: 22FEEBF66ACFD9BE Time : 0.0 sec. user=mdettweiler [2016-06-11 20:39:26] 753*2^1432107-1 is not prime. Res64: 3AC1976545C0BF59 Time : 0.0 sec. user=mdettweiler [2016-06-11 20:39:27] 781*2^1432107-1 is not prime. Res64: 7654A64EDDC6D051 Time : 0.0 sec. user=mdettweiler [2016-06-11 20:39:27] 861*2^1432107-1 is not prime. Res64: 296159819AC084DD Time : 0.0 sec. user=mdettweiler [2016-06-11 20:39:28] 623*2^1432108-1 is not prime. Res64: DFF53093A4E02972 Time : 0.0 sec. user=mdettweiler [2016-06-11 20:39:28] 635*2^1432108-1 is not prime. Res64: A947B9304E6F9F9A Time : 0.0 sec. user=mdettweiler [2016-06-11 20:39:29] 735*2^1432108-1 is not prime. Res64: 26F562D34CE6F46B Time : 0.0 sec. user=mdettweiler [2016-06-11 20:46:28] 825*2^1432108-1 is not prime. Res64: FC59A790A9AAEB78 Time : 0.0 sec. user=mdettweiler [2016-06-11 20:46:28] 839*2^1432108-1 is not prime. Res64: 1BF5BAE7AB0C34BF Time : 0.0 sec. user=mdettweiler [2016-06-11 20:46:29] 843*2^1432108-1 is not prime. Res64: 9CBE048546F12D86 Time : 0.0 sec. user=mdettweiler [2016-06-11 20:46:29] 905*2^1432108-1 is not prime. Res64: E1E5099B16DB1B7F Time : 0.0 sec. user=mdettweiler [2016-06-11 20:46:29] 933*2^1432108-1 is not prime. Res64: 976FDD410C93B471 Time : 0.0 sec. user=mdettweiler [2016-06-11 21:04:56] 969*2^1432108-1 is not prime. Res64: DF1F049BC53EF072 Time : 0.0 sec. user=mdettweiler [2016-06-11 21:04:57] 697*2^1432109-1 is not prime. Res64: B33075101364490A Time : 0.0 sec. user=mdettweiler [2016-06-11 21:04:58] 727*2^1432109-1 is not prime. Res64: 4845E0BCDB5C5B83 Time : 0.0 sec. user=mdettweiler [2016-06-11 21:04:59] 745*2^1432109-1 is not prime. Res64: B32F7F958F7E52CB Time : 0.0 sec. user=mdettweiler [2016-06-11 21:05:00] 855*2^1432109-1 is not prime. Res64: 04BD47CAAAD9FC6B Time : 0.0 sec. user=mdettweiler [2016-06-11 21:26:00] 861*2^1432109-1 is not prime. Res64: CCDCBE123D7F3E9F Time : 0.0 sec. user=mdettweiler [2016-06-11 21:26:00] 925*2^1432109-1 is not prime. Res64: 1098B707F29B62A1 Time : 0.0 sec. user=mdettweiler [2016-06-11 21:26:00] 635*2^1432110-1 is not prime. Res64: A86ABEE3D85A4BA2 Time : 0.0 sec. user=mdettweiler [2016-06-11 21:26:01] 641*2^1432110-1 is not prime. Res64: E2D0F48F2F55F5E4 Time : 0.0 sec. user=mdettweiler [2016-06-11 21:26:01] 647*2^1432110-1 is not prime. Res64: D64F6F650DC457A0 Time : 0.0 sec. user=mdettweiler [2016-06-11 21:26:08] 707*2^1432110-1 is not prime. Res64: B48372FD2CB8BF67 Time : 0.0 sec. user=mdettweiler [2016-06-11 21:26:08] 711*2^1432110-1 is not prime. Res64: 680A852BF73A98E1 Time : 0.0 sec. user=mdettweiler [2016-06-11 21:26:08] 783*2^1432110-1 is not prime. Res64: B401E1E0463AC279 Time : 0.0 sec. user=mdettweiler [2016-06-11 21:26:09] 825*2^1432110-1 is not prime. Res64: CDB1759848A16037 Time : 0.0 sec. user=mdettweiler [2016-06-11 21:26:09] 851*2^1432110-1 is not prime. Res64: 3C2D3CACFAF4A1B7 Time : 0.0 sec. user=mdettweiler [2016-06-11 21:33:54] 1001*2^1432110-1 is not prime. Res64: 9ACDE1D9B247F1EE Time : 0.0 sec. user=mdettweiler [2016-06-11 21:33:54] 615*2^1432111-1 is not prime. Res64: 4090B87B7D69EBDA Time : 0.0 sec. user=mdettweiler [2016-06-11 21:33:54] 741*2^1432111-1 is not prime. Res64: 315B0EF5079C96C2 Time : 0.0 sec. user=mdettweiler [2016-06-11 21:33:55] 775*2^1432111-1 is not prime. Res64: 3D89C05B8F73C5CB Time : 0.0 sec. user=mdettweiler [2016-06-11 21:33:55] 943*2^1432111-1 is not prime. Res64: 2336E7336C8FEC8D Time : 0.0 sec. user=mdettweiler [2016-06-11 21:55:28] 961*2^1432111-1 is not prime. Res64: 889DEC5FD0DA6CD3 Time : 0.0 sec. user=mdettweiler [2016-06-11 21:55:28] 657*2^1432112-1 is not prime. Res64: 1AE15155EBA4FFB1 Time : 0.0 sec. user=mdettweiler [2016-06-11 21:55:29] 699*2^1432112-1 is not prime. Res64: 1D1C86CDEFDE9C53 Time : 0.0 sec. user=mdettweiler [2016-06-11 21:55:29] 803*2^1432112-1 is not prime. Res64: BB71E7496BCC9DEE Time : 0.0 sec. user=mdettweiler [2016-06-11 21:55:29] 879*2^1432112-1 is not prime. Res64: CB29D752E6C9677C Time : 0.0 sec. user=mdettweiler [2016-06-11 22:15:57] 837*2^1432113-1 is not prime. Res64: E76597C9E0CFE497 Time : 0.0 sec. user=mdettweiler [2016-06-11 22:15:58] 847*2^1432113-1 is not prime. Res64: 2228DDF1D3F49420 Time : 0.0 sec. user=mdettweiler [2016-06-11 22:15:58] 867*2^1432113-1 is not prime. Res64: 559094A283F3A352 Time : 0.0 sec. user=mdettweiler [2016-06-11 22:15:58] 701*2^1432114-1 is not prime. Res64: C18DD93F06C6D668 Time : 0.0 sec. user=mdettweiler [2016-06-11 22:15:59] 723*2^1432114-1 is not prime. Res64: 51AB0750B608ADEA Time : 0.0 sec. user=mdettweiler [2016-06-11 22:15:59] 899*2^1432112-1 is not prime. Res64: 66FF24500CD9BEFE Time : 0.0 sec. user=mdettweiler [2016-06-11 22:16:00] 995*2^1432112-1 is not prime. Res64: BCE52D0E737993C4 Time : 0.0 sec. user=mdettweiler [2016-06-11 22:16:01] 649*2^1432113-1 is not prime. Res64: 5564CEA173DE8E8D Time : 0.0 sec. user=mdettweiler [2016-06-11 22:16:01] 781*2^1432113-1 is not prime. Res64: 6E94E72BBB97837F Time : 0.0 sec. user=mdettweiler [2016-06-11 22:16:02] 819*2^1432113-1 is not prime. Res64: CB8A248C489E7668 Time : 0.0 sec. user=mdettweiler [2016-06-11 22:23:33] 737*2^1432114-1 is not prime. Res64: 0E59E50D1782DEBD Time : 0.0 sec. user=mdettweiler [2016-06-11 22:23:34] 825*2^1432114-1 is not prime. Res64: 28F008E48B755E82 Time : 0.0 sec. user=mdettweiler [2016-06-11 22:23:34] 833*2^1432114-1 is not prime. Res64: B28C483489ED7C01 Time : 0.0 sec. user=mdettweiler [2016-06-11 22:23:34] 947*2^1432114-1 is not prime. Res64: A3EF71BADB8943C8 Time : 0.0 sec. user=mdettweiler [2016-06-11 22:23:34] 609*2^1432115-1 is not prime. Res64: CD90D96867D05370 Time : 0.0 sec. user=mdettweiler [2016-06-11 22:44:01] 643*2^1432115-1 is not prime. Res64: 7A4EACCC05300666 Time : 0.0 sec. user=mdettweiler [2016-06-11 22:44:02] 651*2^1432115-1 is not prime. Res64: F2B7841D84705009 Time : 0.0 sec. user=mdettweiler [2016-06-11 22:44:02] 685*2^1432115-1 is not prime. Res64: FA916F49A328BA97 Time : 0.0 sec. user=mdettweiler [2016-06-11 22:44:02] 741*2^1432115-1 is not prime. Res64: 30B511DB33ECCB88 Time : 0.0 sec. user=mdettweiler [2016-06-11 22:44:03] 783*2^1432115-1 is not prime. Res64: 40AF24B3F6A24C6F Time : 0.0 sec. user=mdettweiler [2016-06-11 23:02:44] 775*2^1432117-1 is not prime. Res64: 9FFAF50C162C9E61 Time : 0.0 sec. user=mdettweiler [2016-06-11 23:02:45] 645*2^1432118-1 is not prime. Res64: C2D4D4CCB24BC924 Time : 0.0 sec. user=mdettweiler [2016-06-11 23:02:46] 671*2^1432118-1 is not prime. Res64: 1E24D66AAEFE4D4F Time : 0.0 sec. user=mdettweiler [2016-06-11 23:02:46] 771*2^1432118-1 is not prime. Res64: C8E6FD078729B4FD Time : 0.0 sec. user=mdettweiler [2016-06-11 23:02:47] 773*2^1432118-1 is not prime. Res64: 2D773CBF8343DFD5 Time : 0.0 sec. user=mdettweiler [2016-06-11 23:03:16] 921*2^1432115-1 is not prime. Res64: E524A981F330BC18 Time : 0.0 sec. user=mdettweiler [2016-06-11 23:03:16] 999*2^1432115-1 is not prime. Res64: 7649A04F9FEEBEFE Time : 0.0 sec. user=mdettweiler [2016-06-11 23:03:17] 633*2^1432116-1 is not prime. Res64: 5962F53D91A032C4 Time : 0.0 sec. user=mdettweiler [2016-06-11 23:03:18] 725*2^1432116-1 is not prime. Res64: 5FFE17A40F3926A6 Time : 0.0 sec. user=mdettweiler [2016-06-11 23:03:19] 691*2^1432117-1 is not prime. Res64: 934EC57EEA64A0E7 Time : 0.0 sec. user=mdettweiler [2016-06-11 23:09:59] 813*2^1432118-1 is not prime. Res64: 1227F0F9331D81B4 Time : 0.0 sec. user=mdettweiler [2016-06-11 23:09:59] 825*2^1432118-1 is not prime. Res64: 692C9A3817F71CC9 Time : 0.0 sec. user=mdettweiler [2016-06-11 23:09:59] 875*2^1432118-1 is not prime. Res64: 16ED1C3487D9F698 Time : 0.0 sec. user=mdettweiler [2016-06-11 23:10:00] 915*2^1432118-1 is not prime. Res64: 58A8F906E4CA6F7A Time : 0.0 sec. user=mdettweiler [2016-06-11 23:10:00] 977*2^1432118-1 is not prime. Res64: A193B3DAA12E972E Time : 0.0 sec. user=mdettweiler [2016-06-11 23:29:42] 661*2^1432119-1 is not prime. Res64: CDD09825096F93FD Time : 0.0 sec. user=mdettweiler [2016-06-11 23:29:42] 693*2^1432119-1 is not prime. Res64: 74EC95154F0DA68D Time : 0.0 sec. user=mdettweiler [2016-06-11 23:29:43] 843*2^1432119-1 is not prime. Res64: 0526405EEC3B03B9 Time : 0.0 sec. user=mdettweiler [2016-06-11 23:29:43] 853*2^1432119-1 is not prime. Res64: 06C548A4A07FF43A Time : 0.0 sec. user=mdettweiler [2016-06-11 23:29:44] 951*2^1432119-1 is not prime. Res64: 25446F26B1E1B5A2 Time : 0.0 sec. user=mdettweiler [2016-06-11 23:48:24] 985*2^1432119-1 is not prime. Res64: A00AF323EA573370 Time : 0.0 sec. user=mdettweiler [2016-06-11 23:48:25] 645*2^1432120-1 is not prime. Res64: B5334D0E160FEEAD Time : 0.0 sec. user=mdettweiler [2016-06-11 23:48:25] 665*2^1432120-1 is not prime. Res64: 0709048BC632C043 Time : 0.0 sec. user=mdettweiler [2016-06-11 23:48:25] 677*2^1432120-1 is not prime. Res64: F998A0975DFEA5E2 Time : 0.0 sec. user=mdettweiler [2016-06-11 23:48:26] 699*2^1432120-1 is not prime. Res64: A2676C1225E98180 Time : 0.0 sec. user=mdettweiler [2016-06-11 23:48:52] 707*2^1432120-1 is not prime. Res64: 6443B1836BDB4A85 Time : 0.0 sec. user=mdettweiler [2016-06-11 23:48:52] 833*2^1432120-1 is not prime. Res64: FE8FB13BF17DB227 Time : 0.0 sec. user=mdettweiler [2016-06-11 23:48:52] 855*2^1432120-1 is not prime. Res64: ECAA15C8AB76FC6F Time : 0.0 sec. user=mdettweiler [2016-06-11 23:48:53] 875*2^1432120-1 is not prime. Res64: 42B22BF7201F8162 Time : 0.0 sec. user=mdettweiler [2016-06-11 23:48:53] 959*2^1432120-1 is not prime. Res64: 0A87FA00703201F7 Time : 0.0 sec. user=mdettweiler [2016-06-11 23:55:16] 983*2^1432120-1 is not prime. Res64: 650FB45229A8930A Time : 0.0 sec. user=mdettweiler [2016-06-11 23:55:17] 989*2^1432120-1 is not prime. Res64: F67EEF873BA84C23 Time : 0.0 sec. user=mdettweiler [2016-06-11 23:55:17] 645*2^1432121-1 is not prime. Res64: DFE3D2B929E378E0 Time : 0.0 sec. user=mdettweiler [2016-06-11 23:55:17] 937*2^1432121-1 is not prime. Res64: 90B4CCBB22344C31 Time : 0.0 sec. user=mdettweiler [2016-06-11 23:55:18] 945*2^1432121-1 is not prime. Res64: 097127EEDF4EDD08 Time : 0.0 sec.