user=mdettweiler [2019-07-03 00:11:36] 623*2^1541014-1 is not prime. Res64: 7F4671EE9D649128 Time : 0.0 sec. user=mdettweiler [2019-07-03 00:11:42] 665*2^1541014-1 is not prime. Res64: CECC34270C213555 Time : 0.0 sec. user=mdettweiler [2019-07-03 00:11:48] 741*2^1541014-1 is not prime. Res64: 0A5F77997C245994 Time : 0.0 sec. user=mdettweiler [2019-07-03 00:11:50] 885*2^1541014-1 is not prime. Res64: A3955844DFCEF499 Time : 0.0 sec. user=mdettweiler [2019-07-03 00:11:54] 951*2^1541014-1 is not prime. Res64: A91174BD0362DC7C Time : 0.0 sec. user=mdettweiler [2019-07-03 00:19:09] 643*2^1541015-1 is not prime. Res64: E99299E12B604B5F Time : 0.0 sec. user=mdettweiler [2019-07-03 00:19:10] 861*2^1541015-1 is not prime. Res64: 03492A5569EA8D85 Time : 0.0 sec. user=mdettweiler [2019-07-03 00:19:10] 885*2^1541015-1 is not prime. Res64: BDB8D9996183BB69 Time : 0.0 sec. user=mdettweiler [2019-07-03 00:19:11] 653*2^1541016-1 is not prime. Res64: ED717952C8E87BB3 Time : 0.0 sec. user=mdettweiler [2019-07-03 00:19:12] 689*2^1541016-1 is not prime. Res64: A50E774C9A4BF9D8 Time : 0.0 sec. user=mdettweiler [2019-07-03 00:26:38] 725*2^1541016-1 is not prime. Res64: 65A7E001ABDA3473 Time : 0.0 sec. user=mdettweiler [2019-07-03 00:26:39] 747*2^1541016-1 is not prime. Res64: 5A0324775156C616 Time : 0.0 sec. user=mdettweiler [2019-07-03 00:26:39] 945*2^1541016-1 is not prime. Res64: 5118C5956114B34C Time : 0.0 sec. user=mdettweiler [2019-07-03 00:26:40] 607*2^1541017-1 is not prime. Res64: 3A991BA47340D9B7 Time : 0.0 sec. user=mdettweiler [2019-07-03 00:26:40] 691*2^1541017-1 is not prime. Res64: 1F0707C269806156 Time : 0.0 sec. user=mdettweiler [2019-07-03 00:43:12] 741*2^1541017-1 is not prime. Res64: 939DD65CB2F45425 Time : 0.0 sec. user=mdettweiler [2019-07-03 00:43:12] 829*2^1541017-1 is not prime. Res64: C2F1D7D5D9CA288F Time : 0.0 sec. user=mdettweiler [2019-07-03 00:43:13] 887*2^1541018-1 is not prime. Res64: 7BB75D02C06EEE96 Time : 0.0 sec. user=mdettweiler [2019-07-03 00:43:13] 923*2^1541018-1 is not prime. Res64: 992862B70A068CBB Time : 0.0 sec. user=mdettweiler [2019-07-03 00:43:14] 945*2^1541018-1 is not prime. Res64: 085B6E0F204C6330 Time : 0.0 sec. user=mdettweiler [2019-07-03 01:05:40] 705*2^1541019-1 is not prime. Res64: 688627FD0435F746 Time : 0.0 sec. user=mdettweiler [2019-07-03 01:05:41] 795*2^1541019-1 is not prime. Res64: E5AE9ECE3F15C38D Time : 0.0 sec. user=mdettweiler [2019-07-03 01:05:43] 969*2^1541019-1 is not prime. Res64: C97CF8E1CCEE4610 Time : 0.0 sec. user=mdettweiler [2019-07-03 01:05:44] 979*2^1541019-1 is not prime. Res64: B7B83260FF1D929E Time : 0.0 sec. user=mdettweiler [2019-07-03 01:05:46] 985*2^1541019-1 is not prime. Res64: A86E745DE12036CF Time : 0.0 sec. user=mdettweiler [2019-07-03 01:11:23] 991*2^1541019-1 is not prime. Res64: 5FFE7E831A364130 Time : 0.0 sec. user=mdettweiler [2019-07-03 01:11:24] 755*2^1541020-1 is not prime. Res64: F550D2E5782E2417 Time : 0.0 sec. user=mdettweiler [2019-07-03 01:11:24] 857*2^1541020-1 is not prime. Res64: DF005D941717E0E2 Time : 0.0 sec. user=mdettweiler [2019-07-03 01:11:25] 863*2^1541020-1 is not prime. Res64: AF8376A63965DAF8 Time : 0.0 sec. user=mdettweiler [2019-07-03 01:11:25] 619*2^1541021-1 is not prime. Res64: 82D0C4C646BE3185 Time : 0.0 sec. user=mdettweiler [2019-07-03 01:18:36] 657*2^1541021-1 is not prime. Res64: C9ADD8A5EE4A9500 Time : 0.0 sec. user=mdettweiler [2019-07-03 01:18:37] 735*2^1541021-1 is not prime. Res64: C71916DF089C39EF Time : 0.0 sec. user=mdettweiler [2019-07-03 01:18:37] 825*2^1541021-1 is not prime. Res64: C28F989A28DEFB16 Time : 0.0 sec. user=mdettweiler [2019-07-03 01:18:37] 837*2^1541021-1 is not prime. Res64: DFC862869C64DBDE Time : 0.0 sec. user=mdettweiler [2019-07-03 01:18:38] 949*2^1541021-1 is not prime. Res64: BE1E6C7C8D9EDC23 Time : 0.0 sec. user=mdettweiler [2019-07-03 01:35:16] 705*2^1541022-1 is not prime. Res64: 80C2791DC0D2E7CC Time : 0.0 sec. user=mdettweiler [2019-07-03 01:35:24] 731*2^1541022-1 is not prime. Res64: 9C33CAD9A4FBE8D8 Time : 0.0 sec. user=mdettweiler [2019-07-03 01:35:26] 741*2^1541022-1 is not prime. Res64: 4E47CC0B813021B2 Time : 0.0 sec. user=mdettweiler [2019-07-03 01:35:30] 843*2^1541022-1 is not prime. Res64: 250AD7EF7A454112 Time : 0.0 sec. user=mdettweiler [2019-07-03 01:35:32] 977*2^1541022-1 is not prime. Res64: 8ABB0EDCB21503A6 Time : 0.0 sec. user=mdettweiler [2019-07-03 01:58:56] 633*2^1541023-1 is not prime. Res64: 9CE4200501099D71 Time : 0.0 sec. user=mdettweiler [2019-07-03 01:58:57] 685*2^1541023-1 is not prime. Res64: 8AF2B5F1D8E10197 Time : 0.0 sec. user=mdettweiler [2019-07-03 01:58:57] 729*2^1541023-1 is not prime. Res64: 308EA42DDF01415F Time : 0.0 sec. user=mdettweiler [2019-07-03 01:58:58] 853*2^1541023-1 is not prime. Res64: EAD2F65F2EB7FF94 Time : 0.0 sec. user=mdettweiler [2019-07-03 01:58:58] 859*2^1541023-1 is not prime. Res64: 9A6B4C6D5092CFB6 Time : 0.0 sec. user=mdettweiler [2019-07-03 02:04:02] 915*2^1541023-1 is not prime. Res64: B422099A58745E52 Time : 0.0 sec. user=mdettweiler [2019-07-03 02:04:03] 623*2^1541024-1 is not prime. Res64: B7CFAFABAF3CA24B Time : 0.0 sec. user=mdettweiler [2019-07-03 02:04:04] 657*2^1541024-1 is not prime. Res64: 5DC6C2C16602525C Time : 0.0 sec. user=mdettweiler [2019-07-03 02:04:05] 683*2^1541024-1 is not prime. Res64: 6AD5EB9BE46BDC2C Time : 0.0 sec. user=mdettweiler [2019-07-03 02:04:06] 773*2^1541024-1 is not prime. Res64: 71EEC904D7F61FE7 Time : 0.0 sec. user=mdettweiler [2019-07-03 02:12:09] 795*2^1541024-1 is not prime. Res64: 7323FC6714937A81 Time : 0.0 sec. user=mdettweiler [2019-07-03 02:12:11] 869*2^1541024-1 is not prime. Res64: E351BBEF963E4CE0 Time : 0.0 sec. user=mdettweiler [2019-07-03 02:12:12] 945*2^1541024-1 is not prime. Res64: 958D01C7964E5934 Time : 0.0 sec. user=mdettweiler [2019-07-03 02:12:13] 609*2^1541025-1 is not prime. Res64: DBE4280890AF922B Time : 0.0 sec. user=mdettweiler [2019-07-03 02:12:14] 787*2^1541025-1 is not prime. Res64: 71DE86F94C505577 Time : 0.0 sec. user=mdettweiler [2019-07-03 02:30:28] 817*2^1541025-1 is not prime. Res64: EEBFCD95F75BD60C Time : 0.0 sec. user=mdettweiler [2019-07-03 02:52:47] 987*2^1541026-1 is not prime. Res64: 2885F6E475060F78 Time : 0.0 sec. user=mdettweiler [2019-07-03 02:52:48] 621*2^1541027-1 is not prime. Res64: 0B1CB3B3CA1BEAFB Time : 0.0 sec. user=mdettweiler [2019-07-03 02:52:49] 775*2^1541027-1 is not prime. Res64: 46DF1C08F21A4C3D Time : 0.0 sec. user=mdettweiler [2019-07-03 02:52:50] 819*2^1541027-1 is not prime. Res64: 13E33DFFE19DC159 Time : 0.0 sec. user=mdettweiler [2019-07-03 02:52:52] 629*2^1541028-1 is not prime. Res64: 51706AD719B318C1 Time : 0.0 sec. user=mdettweiler [2019-07-03 02:58:42] 723*2^1541028-1 is not prime. Res64: A67C30DAB2F422F6 Time : 0.0 sec. user=mdettweiler [2019-07-03 02:58:43] 765*2^1541028-1 is not prime. Res64: E075B26E5F6284A6 Time : 0.0 sec. user=mdettweiler [2019-07-03 02:58:43] 887*2^1541028-1 is not prime. Res64: 27632FD8723174C6 Time : 0.0 sec. user=mdettweiler [2019-07-03 02:58:44] 945*2^1541028-1 is not prime. Res64: DC7D87CD2B0D9347 Time : 0.0 sec. user=mdettweiler [2019-07-03 02:58:44] 977*2^1541028-1 is not prime. Res64: D639211F3187A25C Time : 0.0 sec. user=mdettweiler [2019-07-03 03:05:57] 625*2^1541029-1 is not prime. Res64: AAF9DF9653ED6616 Time : 0.0 sec. user=mdettweiler [2019-07-03 03:06:00] 667*2^1541029-1 is not prime. Res64: 89454160478119DB Time : 0.0 sec. user=mdettweiler [2019-07-03 03:06:01] 789*2^1541029-1 is not prime. Res64: DFC9E1CF7E757C5F Time : 0.0 sec. user=mdettweiler [2019-07-03 03:06:05] 855*2^1541029-1 is not prime. Res64: 3A07847AC0360045 Time : 0.0 sec. user=mdettweiler [2019-07-03 03:06:08] 987*2^1541029-1 is not prime. Res64: 2A6FB325E820417F Time : 0.0 sec. user=mdettweiler [2019-07-03 03:45:19] 657*2^1541030-1 is not prime. Res64: 00094BEF4B72DC81 Time : 0.0 sec. user=mdettweiler [2019-07-03 03:45:22] 671*2^1541030-1 is not prime. Res64: E1E2C3C71D7C3665 Time : 0.0 sec. user=mdettweiler [2019-07-03 03:45:23] 797*2^1541030-1 is not prime. Res64: 1BB4ED43B456E621 Time : 0.0 sec. user=mdettweiler [2019-07-03 03:45:25] 813*2^1541030-1 is not prime. Res64: 05DD2065D111DF91 Time : 0.0 sec. user=mdettweiler [2019-07-03 03:45:27] 893*2^1541030-1 is not prime. Res64: B73C97667529A3C1 Time : 0.0 sec. user=mdettweiler [2019-07-03 03:51:18] 619*2^1541031-1 is not prime. Res64: 967D1CD061B4F518 Time : 0.0 sec. user=mdettweiler [2019-07-03 03:51:21] 705*2^1541031-1 is not prime. Res64: DC8395B0A06AA27D Time : 0.0 sec. user=mdettweiler [2019-07-03 03:51:24] 741*2^1541031-1 is not prime. Res64: A66D02297ECBB1EE Time : 0.0 sec. user=mdettweiler [2019-07-03 03:51:26] 865*2^1541031-1 is not prime. Res64: 26F51D182100FA6F Time : 0.0 sec. user=mdettweiler [2019-07-03 03:51:27] 913*2^1541031-1 is not prime. Res64: E145D46FC141F160 Time : 0.0 sec. user=mdettweiler [2019-07-03 03:59:51] 609*2^1541032-1 is not prime. Res64: 69BA5443300DFC0C Time : 0.0 sec. user=mdettweiler [2019-07-03 03:59:56] 797*2^1541032-1 is not prime. Res64: E9D7AEE54107C19B Time : 0.0 sec. user=mdettweiler [2019-07-03 04:00:00] 989*2^1541032-1 is not prime. Res64: D3CA8E7C2CD13C7A Time : 0.0 sec. user=mdettweiler [2019-07-03 04:00:07] 735*2^1541033-1 is not prime. Res64: 7C42D7BFAFE63323 Time : 0.0 sec. user=mdettweiler [2019-07-03 04:00:11] 861*2^1541033-1 is not prime. Res64: 9443A065705E8BE9 Time : 0.0 sec. user=mdettweiler [2019-07-03 04:38:57] 651*2^1541034-1 is not prime. Res64: 97BE08A95EBBE19E Time : 0.0 sec. user=mdettweiler [2019-07-03 04:39:05] 765*2^1541034-1 is not prime. Res64: 0FDC228F007D2AAE Time : 0.0 sec. user=mdettweiler [2019-07-03 04:39:10] 609*2^1541035-1 is not prime. Res64: B57FCAA2A2389267 Time : 0.0 sec. user=mdettweiler [2019-07-03 04:39:16] 871*2^1541035-1 is not prime. Res64: F9BCB1E85DD2BA75 Time : 0.0 sec. user=mdettweiler [2019-07-03 04:39:20] 883*2^1541035-1 is not prime. Res64: C398AF9E72A95268 Time : 0.0 sec. user=mdettweiler [2019-07-03 04:45:13] 617*2^1541036-1 is not prime. Res64: B0FE58D5BA7C0C5B Time : 0.0 sec. user=mdettweiler [2019-07-03 04:45:19] 669*2^1541036-1 is not prime. Res64: EE9C27E4B874F272 Time : 0.0 sec. user=mdettweiler [2019-07-03 04:45:26] 683*2^1541036-1 is not prime. Res64: 1B097FDEAA1B21CB Time : 0.0 sec. user=mdettweiler [2019-07-03 04:45:30] 909*2^1541036-1 is not prime. Res64: C00BC7BCC7B41236 Time : 0.0 sec. user=mdettweiler [2019-07-03 04:45:32] 717*2^1541037-1 is not prime. Res64: 0C11BE59571E8F09 Time : 0.0 sec. user=mdettweiler [2019-07-03 04:53:50] 751*2^1541037-1 is not prime. Res64: A9661FE4D8C2B1C8 Time : 0.0 sec. user=mdettweiler [2019-07-03 04:53:51] 777*2^1541037-1 is not prime. Res64: E6523D3D82E69BED Time : 0.0 sec. user=mdettweiler [2019-07-03 04:53:53] 861*2^1541037-1 is not prime. Res64: F5A443A21FE7FA00 Time : 0.0 sec. user=mdettweiler [2019-07-03 04:53:54] 945*2^1541037-1 is not prime. Res64: BC6510E5DF1F089E Time : 0.0 sec. user=mdettweiler [2019-07-03 04:53:56] 603*2^1541038-1 is not prime. Res64: DAD48E3E1FDF3979 Time : 0.0 sec. user=mdettweiler [2019-07-03 05:32:34] 731*2^1541038-1 is not prime. Res64: 91F3CE50656A15B8 Time : 0.0 sec. user=mdettweiler [2019-07-03 05:32:35] 791*2^1541038-1 is not prime. Res64: 8C9DACF4EB7347AC Time : 0.0 sec. user=mdettweiler [2019-07-03 05:32:35] 815*2^1541038-1 is not prime. Res64: 1714D2307510C04D Time : 0.0 sec. user=mdettweiler [2019-07-03 05:32:36] 827*2^1541038-1 is not prime. Res64: CFC67FF796ADA3D4 Time : 0.0 sec. user=mdettweiler [2019-07-03 05:32:36] 603*2^1541039-1 is not prime. Res64: E8511C1DE7D9EDD7 Time : 0.0 sec. user=mdettweiler [2019-07-03 05:39:11] 663*2^1541039-1 is not prime. Res64: 79F4BD63050459D0 Time : 0.0 sec. user=mdettweiler [2019-07-03 05:39:11] 745*2^1541039-1 is not prime. Res64: AF52403EB1432EED Time : 0.0 sec. user=mdettweiler [2019-07-03 05:39:12] 759*2^1541039-1 is not prime. Res64: FCD0F47D222B9421 Time : 0.0 sec. user=mdettweiler [2019-07-03 05:39:12] 843*2^1541039-1 is not prime. Res64: 8B52F68C0E3E17F7 Time : 0.0 sec. user=mdettweiler [2019-07-03 05:39:13] 883*2^1541039-1 is not prime. Res64: 696E30CDDB068201 Time : 0.0 sec. user=mdettweiler [2019-07-03 05:49:09] 895*2^1541039-1 is not prime. Res64: 6D378FB17C86CEA3 Time : 0.0 sec. user=mdettweiler [2019-07-03 05:49:10] 969*2^1541039-1 is not prime. Res64: A9D8EF00812AC2EB Time : 0.0 sec. user=mdettweiler [2019-07-03 05:49:10] 979*2^1541039-1 is not prime. Res64: 711CC20129C554D4 Time : 0.0 sec. user=mdettweiler [2019-07-03 05:49:10] 999*2^1541039-1 is not prime. Res64: 3BA219453B7E366C Time : 0.0 sec. user=mdettweiler [2019-07-03 05:49:11] 725*2^1541040-1 is not prime. Res64: C19729D1F2B76DD6 Time : 0.0 sec. user=mdettweiler [2019-07-03 06:10:24] 623*2^1541026-1 is not prime. Res64: 4593F22FD6CDC3CF Time : 0.0 sec. user=mdettweiler [2019-07-03 06:10:25] 651*2^1541026-1 is not prime. Res64: 0427335FF8F0AC57 Time : 0.0 sec. user=mdettweiler [2019-07-03 06:10:25] 825*2^1541026-1 is not prime. Res64: 351E28328E883822 Time : 0.0 sec. user=mdettweiler [2019-07-03 06:10:25] 861*2^1541026-1 is not prime. Res64: 08A50496B033D0FA Time : 0.0 sec. user=mdettweiler [2019-07-03 06:26:35] 735*2^1541040-1 is not prime. Res64: 32CCDDA6BE440B9F Time : 0.0 sec. user=mdettweiler [2019-07-03 06:26:35] 747*2^1541040-1 is not prime. Res64: D592587A9C2D3DF2 Time : 0.0 sec. user=mdettweiler [2019-07-03 06:26:35] 927*2^1541040-1 is not prime. Res64: A75082F6E835A634 Time : 0.0 sec. user=mdettweiler [2019-07-03 06:26:36] 705*2^1541041-1 is not prime. Res64: 1E60D9111B23027C Time : 0.0 sec. user=mdettweiler [2019-07-03 06:26:36] 715*2^1541041-1 is not prime. Res64: 6CDCA2EDA25E0A59 Time : 0.0 sec. user=mdettweiler [2019-07-03 06:32:35] 717*2^1541041-1 is not prime. Res64: 6B92E93215595E1B Time : 0.0 sec. user=mdettweiler [2019-07-03 06:32:36] 747*2^1541041-1 is not prime. Res64: 3E65DF4DBC6BC8D5 Time : 0.0 sec. user=mdettweiler [2019-07-03 06:32:37] 771*2^1541041-1 is not prime. Res64: 9705534583A84E36 Time : 0.0 sec. user=mdettweiler [2019-07-03 06:32:37] 871*2^1541041-1 is not prime. Res64: 38905D5277C9DCBB Time : 0.0 sec. user=mdettweiler [2019-07-03 06:32:38] 997*2^1541041-1 is not prime. Res64: 6A0E9A112588F084 Time : 0.0 sec. user=mdettweiler [2019-07-03 06:41:21] 651*2^1541042-1 is not prime. Res64: FA23F7C181C31825 Time : 0.0 sec. user=mdettweiler [2019-07-03 06:41:22] 755*2^1541042-1 is not prime. Res64: 0A2A17B604011BF4 Time : 0.0 sec. user=mdettweiler [2019-07-03 06:41:22] 771*2^1541042-1 is not prime. Res64: 0448683804D3A4FF Time : 0.0 sec. user=mdettweiler [2019-07-03 06:41:22] 801*2^1541042-1 is not prime. Res64: F4BE3BA9B931F0D2 Time : 0.0 sec. user=mdettweiler [2019-07-03 06:41:23] 825*2^1541042-1 is not prime. Res64: CAF77B49897826A9 Time : 0.0 sec. user=mdettweiler [2019-07-03 07:03:01] 867*2^1541042-1 is not prime. Res64: 0AFC129F469E64E3 Time : 0.0 sec. user=mdettweiler [2019-07-03 07:03:03] 887*2^1541042-1 is not prime. Res64: 1176FB8AEF9EEED2 Time : 0.0 sec. user=mdettweiler [2019-07-03 07:03:04] 917*2^1541042-1 is not prime. Res64: 929DF3980E16756F Time : 0.0 sec. user=mdettweiler [2019-07-03 07:03:05] 921*2^1541042-1 is not prime. Res64: 5AD813B454604F48 Time : 0.0 sec. user=mdettweiler [2019-07-03 07:03:06] 935*2^1541042-1 is not prime. Res64: 9DBBC12648D09AAA Time : 0.0 sec. user=mdettweiler [2019-07-03 07:18:39] 609*2^1541043-1 is not prime. Res64: E5FAC379B985A73F Time : 0.0 sec. user=mdettweiler [2019-07-03 07:18:40] 699*2^1541043-1 is not prime. Res64: 9B40298D99E5D722 Time : 0.0 sec. user=mdettweiler [2019-07-03 07:18:41] 795*2^1541043-1 is not prime. Res64: 7BB076C739921790 Time : 0.0 sec. user=mdettweiler [2019-07-03 07:18:43] 895*2^1541043-1 is not prime. Res64: 907F5F6FD344C49D Time : 0.0 sec. user=mdettweiler [2019-07-03 07:18:44] 921*2^1541043-1 is not prime. Res64: CEE0AB313A23FFAA Time : 0.0 sec. user=mdettweiler [2019-07-03 07:25:01] 717*2^1541044-1 is not prime. Res64: 673D8FB6930EF35D Time : 0.0 sec. user=mdettweiler [2019-07-03 07:25:01] 875*2^1541044-1 is not prime. Res64: 1AB6DB1B317AD917 Time : 0.0 sec. user=mdettweiler [2019-07-03 07:25:01] 939*2^1541044-1 is not prime. Res64: 8B83DA2E77FD2E2F Time : 0.0 sec. user=mdettweiler [2019-07-03 07:25:02] 965*2^1541044-1 is not prime. Res64: B341CE636D7A1EC0 Time : 0.0 sec. user=mdettweiler [2019-07-03 07:25:02] 825*2^1541045-1 is not prime. Res64: D9E0266ABE42DFC9 Time : 0.0 sec. user=mdettweiler [2019-07-03 07:33:37] 897*2^1541045-1 is not prime. Res64: AFECB863CE2958DE Time : 0.0 sec. user=mdettweiler [2019-07-03 07:33:38] 969*2^1541045-1 is not prime. Res64: 411E67A34C348CA4 Time : 0.0 sec. user=mdettweiler [2019-07-03 07:33:38] 987*2^1541045-1 is not prime. Res64: 37B6863DFC2FC21C Time : 0.0 sec. user=mdettweiler [2019-07-03 07:33:38] 677*2^1541046-1 is not prime. Res64: E5150B42F0948F2C Time : 0.0 sec. user=mdettweiler [2019-07-03 07:33:39] 695*2^1541046-1 is not prime. Res64: D48B4041ED32FD03 Time : 0.0 sec. user=mdettweiler [2019-07-03 07:56:29] 707*2^1541046-1 is not prime. Res64: 6A8F3CA00FE1F7EE Time : 0.0 sec. user=mdettweiler [2019-07-03 07:56:29] 713*2^1541046-1 is not prime. Res64: 647FDC885E574308 Time : 0.0 sec. user=mdettweiler [2019-07-03 07:56:30] 873*2^1541046-1 is not prime. Res64: F00902B2E44F10E0 Time : 0.0 sec. user=mdettweiler [2019-07-03 07:56:30] 921*2^1541046-1 is not prime. Res64: ECB3DA7695F33CE1 Time : 0.0 sec. user=mdettweiler [2019-07-03 07:56:31] 971*2^1541046-1 is not prime. Res64: 94508EDC94517D51 Time : 0.0 sec. user=mdettweiler [2019-07-03 08:12:15] 639*2^1541047-1 is not prime. Res64: 6F63A568D093ADCB Time : 0.0 sec. user=mdettweiler [2019-07-03 08:12:19] 681*2^1541047-1 is not prime. Res64: BF0DBAE021C50289 Time : 0.0 sec. user=mdettweiler [2019-07-03 08:12:22] 685*2^1541047-1 is not prime. Res64: D49F7B45DE28B6E5 Time : 0.0 sec. user=mdettweiler [2019-07-03 08:12:25] 759*2^1541047-1 is not prime. Res64: 10DDC736DAA9AE60 Time : 0.0 sec. user=mdettweiler [2019-07-03 08:12:29] 819*2^1541047-1 is not prime. Res64: 3E8B8D52F32F4C1A Time : 0.0 sec. user=mdettweiler [2019-07-03 08:18:03] 841*2^1541047-1 is not prime. Res64: F0FD3117123F4692 Time : 0.0 sec. user=mdettweiler [2019-07-03 08:18:03] 843*2^1541047-1 is not prime. Res64: D7DEC5ACBB8D950B Time : 0.0 sec. user=mdettweiler [2019-07-03 08:18:04] 993*2^1541047-1 is not prime. Res64: 4010ED0C4A65ED5A Time : 0.0 sec. user=mdettweiler [2019-07-03 08:18:05] 759*2^1541048-1 is not prime. Res64: 9D3796DB491E1B93 Time : 0.0 sec. user=mdettweiler [2019-07-03 08:18:05] 813*2^1541048-1 is not prime. Res64: 7ADCDBB53C0AF523 Time : 0.0 sec. user=mdettweiler [2019-07-03 08:26:42] 977*2^1541048-1 is not prime. Res64: A329EB0AB8B48C75 Time : 0.0 sec. user=mdettweiler [2019-07-03 08:26:43] 601*2^1541049-1 is not prime. Res64: 0DB9F0A71385F026 Time : 0.0 sec. user=mdettweiler [2019-07-03 08:26:43] 679*2^1541049-1 is not prime. Res64: 14ED6CB168131C61 Time : 0.0 sec. user=mdettweiler [2019-07-03 08:26:43] 685*2^1541049-1 is not prime. Res64: E250DCA1AE0ACF2E Time : 0.0 sec. user=mdettweiler [2019-07-03 08:26:44] 735*2^1541049-1 is not prime. Res64: 77D78509B61B6C6B Time : 0.0 sec. user=mdettweiler [2019-07-03 08:49:40] 747*2^1541049-1 is not prime. Res64: EA24943E74668B89 Time : 0.0 sec. user=mdettweiler [2019-07-03 08:49:41] 765*2^1541049-1 is not prime. Res64: DEC67403C305BC27 Time : 0.0 sec. user=mdettweiler [2019-07-03 08:49:41] 847*2^1541049-1 is not prime. Res64: 6657A31EB95E6508 Time : 0.0 sec. user=mdettweiler [2019-07-03 08:49:41] 949*2^1541049-1 is not prime. Res64: C7371A9245D31E15 Time : 0.0 sec. user=mdettweiler [2019-07-03 08:49:42] 623*2^1541050-1 is not prime. Res64: 8E001A4BFFF6638C Time : 0.0 sec. user=mdettweiler [2019-07-03 09:06:04] 635*2^1541050-1 is not prime. Res64: B3C9395947A5A27D Time : 0.0 sec. user=mdettweiler [2019-07-03 09:06:05] 651*2^1541050-1 is not prime. Res64: 8956A49C0DC70A21 Time : 0.0 sec. user=mdettweiler [2019-07-03 09:06:07] 653*2^1541050-1 is not prime. Res64: 5700D03B50B71968 Time : 0.0 sec. user=mdettweiler [2019-07-03 09:06:08] 657*2^1541050-1 is not prime. Res64: 3D7389EE94211B9C Time : 0.0 sec. user=mdettweiler [2019-07-03 09:06:09] 671*2^1541050-1 is not prime. Res64: 90D66CE92CEBBB7C Time : 0.0 sec. user=mdettweiler [2019-07-03 09:10:08] 833*2^1541050-1 is not prime. Res64: 3DB29BEC77FB9936 Time : 0.0 sec. user=mdettweiler [2019-07-03 09:10:08] 643*2^1541051-1 is not prime. Res64: 24C3A3D1B9F9FA32 Time : 0.0 sec. user=mdettweiler [2019-07-03 09:10:09] 605*2^1541052-1 is not prime. Res64: FC066F3E8A422B0E Time : 0.0 sec. user=mdettweiler [2019-07-03 09:10:09] 627*2^1541052-1 is not prime. Res64: 9B5A26EAE3453203 Time : 0.0 sec. user=mdettweiler [2019-07-03 09:10:09] 779*2^1541052-1 is not prime. Res64: 08FFA77FC3038F2D Time : 0.0 sec. user=mdettweiler [2019-07-03 09:18:51] 825*2^1541052-1 is not prime. Res64: 464A897E3C90F925 Time : 0.0 sec. user=mdettweiler [2019-07-03 09:18:52] 879*2^1541052-1 is not prime. Res64: D83A8DDE83D24956 Time : 0.0 sec. user=mdettweiler [2019-07-03 09:18:52] 893*2^1541052-1 is not prime. Res64: 6F2FD3B09F7FADE1 Time : 0.0 sec. user=mdettweiler [2019-07-03 09:18:53] 947*2^1541052-1 is not prime. Res64: B768CC5BF4ACA733 Time : 0.0 sec. user=mdettweiler [2019-07-03 09:18:53] 699*2^1541053-1 is not prime. Res64: 1D0DDC6DF939A4C9 Time : 0.0 sec. user=mdettweiler [2019-07-03 09:41:52] 819*2^1541053-1 is not prime. Res64: 06048018AEEB92A1 Time : 0.0 sec. user=mdettweiler [2019-07-03 09:41:53] 847*2^1541053-1 is not prime. Res64: 99070BA30519BABF Time : 0.0 sec. user=mdettweiler [2019-07-03 09:41:53] 885*2^1541053-1 is not prime. Res64: 8700BD5A3A1056BD Time : 0.0 sec. user=mdettweiler [2019-07-03 09:41:54] 967*2^1541053-1 is not prime. Res64: 85D0DC51FEAEF55E Time : 0.0 sec. user=mdettweiler [2019-07-03 09:41:54] 665*2^1541054-1 is not prime. Res64: 06A84C7991014066 Time : 0.0 sec. user=mdettweiler [2019-07-03 09:59:19] 677*2^1541054-1 is not prime. Res64: 08C95B932B5F37F5 Time : 0.0 sec. user=mdettweiler [2019-07-03 09:59:19] 767*2^1541054-1 is not prime. Res64: 59C988832A87C88A Time : 0.0 sec. user=mdettweiler [2019-07-03 09:59:19] 887*2^1541054-1 is not prime. Res64: 360BA5AD052D826A Time : 0.0 sec. user=mdettweiler [2019-07-03 09:59:20] 951*2^1541054-1 is not prime. Res64: D393424EC77FD6F6 Time : 0.0 sec. user=mdettweiler [2019-07-03 09:59:21] 965*2^1541054-1 is not prime. Res64: DB455ABC77051264 Time : 0.0 sec. user=mdettweiler [2019-07-03 10:01:43] 679*2^1541055-1 is not prime. Res64: 763F7C64535AABB7 Time : 0.0 sec. user=mdettweiler [2019-07-03 10:01:46] 711*2^1541055-1 is not prime. Res64: 1943967D7CD983F4 Time : 0.0 sec. user=mdettweiler [2019-07-03 10:01:53] 739*2^1541055-1 is not prime. Res64: 4AAA841DC08BF21A Time : 0.0 sec. user=mdettweiler [2019-07-03 10:01:56] 781*2^1541055-1 is not prime. Res64: C6A1FDD3C4B86511 Time : 0.0 sec. user=mdettweiler [2019-07-03 10:01:58] 783*2^1541055-1 is not prime. Res64: D8161FB356C98681 Time : 0.0 sec. user=mdettweiler [2019-07-03 10:11:13] 789*2^1541055-1 is not prime. Res64: F03A20D17F438596 Time : 0.0 sec. user=mdettweiler [2019-07-03 10:11:16] 891*2^1541055-1 is not prime. Res64: 2F51EE7BCBBF95D1 Time : 0.0 sec. user=mdettweiler [2019-07-03 10:11:20] 961*2^1541055-1 is not prime. Res64: 749BF4A84BFCA2E8 Time : 0.0 sec. user=mdettweiler [2019-07-03 10:11:22] 979*2^1541055-1 is not prime. Res64: 852DB08E45B6315B Time : 0.0 sec. user=mdettweiler [2019-07-03 10:11:24] 723*2^1541056-1 is not prime. Res64: 05BA545D1C152147 Time : 0.0 sec. user=mdettweiler [2019-07-03 10:33:31] 743*2^1541056-1 is not prime. Res64: 6E0953A03196AAF9 Time : 0.0 sec. user=mdettweiler [2019-07-03 10:33:32] 773*2^1541056-1 is not prime. Res64: A22481CC56685B72 Time : 0.0 sec. user=mdettweiler [2019-07-03 10:33:32] 843*2^1541056-1 is not prime. Res64: 07A2F0756CC6E082 Time : 0.0 sec. user=mdettweiler [2019-07-03 10:33:33] 855*2^1541056-1 is not prime. Res64: E0634B43BAA1B65E Time : 0.0 sec. user=mdettweiler [2019-07-03 10:33:33] 873*2^1541056-1 is not prime. Res64: 49E967B60218EF6F Time : 0.0 sec. user=mdettweiler [2019-07-03 10:51:37] 917*2^1541056-1 is not prime. Res64: 5A128346E7291D54 Time : 0.0 sec. user=mdettweiler [2019-07-03 10:51:37] 989*2^1541056-1 is not prime. Res64: 869BC591DD21A26C Time : 0.0 sec. user=mdettweiler [2019-07-03 10:51:38] 631*2^1541057-1 is not prime. Res64: B274577E8322581B Time : 0.0 sec. user=mdettweiler [2019-07-03 10:51:38] 685*2^1541057-1 is not prime. Res64: 27FB0F676E244DC7 Time : 0.0 sec. user=mdettweiler [2019-07-03 10:51:39] 711*2^1541057-1 is not prime. Res64: B6B2C0BA4DCC8E3E Time : 0.0 sec. user=mdettweiler [2019-07-03 10:55:36] 781*2^1541057-1 is not prime. Res64: 51A8C916FAD36343 Time : 0.0 sec. user=mdettweiler [2019-07-03 10:55:36] 837*2^1541057-1 is not prime. Res64: 2FC5EB35B7331901 Time : 0.0 sec. user=mdettweiler [2019-07-03 10:55:36] 957*2^1541057-1 is not prime. Res64: 61952D03FD8966D7 Time : 0.0 sec. user=mdettweiler [2019-07-03 10:55:37] 663*2^1541058-1 is not prime. Res64: BB4C1E40BFA38EB5 Time : 0.0 sec. user=mdettweiler [2019-07-03 10:55:37] 681*2^1541058-1 is not prime. Res64: F822CCEB66C195EC Time : 0.0 sec. user=mdettweiler [2019-07-03 11:04:47] 713*2^1541058-1 is not prime. Res64: 893901302E9149CC Time : 0.0 sec. user=mdettweiler [2019-07-03 11:04:50] 801*2^1541058-1 is not prime. Res64: 13B179457723CCCB Time : 0.0 sec. user=mdettweiler [2019-07-03 11:04:52] 933*2^1541058-1 is not prime. Res64: 2AC25BABDE65B509 Time : 0.0 sec. user=mdettweiler [2019-07-03 11:04:54] 975*2^1541058-1 is not prime. Res64: C87B8A32D2E5355B Time : 0.0 sec. user=mdettweiler [2019-07-03 11:04:57] 1001*2^1541058-1 is not prime. Res64: 133C2FFDC6468601 Time : 0.0 sec. user=mdettweiler [2019-07-03 11:25:13] 639*2^1541059-1 is not prime. Res64: 184A67A5C07E153D Time : 0.0 sec. user=mdettweiler [2019-07-03 11:25:13] 679*2^1541059-1 is not prime. Res64: 326B6241F7852494 Time : 0.0 sec. user=mdettweiler [2019-07-03 11:25:13] 681*2^1541059-1 is not prime. Res64: 6008A570890DFC0F Time : 0.0 sec. user=mdettweiler [2019-07-03 11:25:14] 751*2^1541059-1 is not prime. Res64: 03F766D46DF94D10 Time : 0.0 sec. user=mdettweiler [2019-07-03 11:25:14] 765*2^1541059-1 is not prime. Res64: A0DC030CACA9ACB2 Time : 0.0 sec. user=mdettweiler [2019-07-03 11:43:18] 699*2^1541060-1 is not prime. Res64: F87E234254021A21 Time : 0.0 sec. user=mdettweiler [2019-07-03 11:43:19] 681*2^1541061-1 is not prime. Res64: 5393B3CE6F289C6C Time : 0.0 sec. user=mdettweiler [2019-07-03 11:43:19] 789*2^1541061-1 is not prime. Res64: ED013D483E471283 Time : 0.0 sec. user=mdettweiler [2019-07-03 11:43:20] 717*2^1541062-1 is not prime. Res64: 739343724D4E6B79 Time : 0.0 sec. user=mdettweiler [2019-07-03 11:43:20] 831*2^1541062-1 is not prime. Res64: 97147F1B9D8B401C Time : 0.0 sec. user=mdettweiler [2019-07-03 11:47:32] 873*2^1541062-1 is not prime. Res64: EE306CCC61195B21 Time : 0.0 sec. user=mdettweiler [2019-07-03 11:47:33] 897*2^1541062-1 is not prime. Res64: 55D18E5F243AC1D7 Time : 0.0 sec. user=mdettweiler [2019-07-03 11:47:33] 987*2^1541062-1 is not prime. Res64: 8986ADA806F861FC Time : 0.0 sec. user=mdettweiler [2019-07-03 11:47:33] 643*2^1541063-1 is not prime. Res64: 29A994B0B503549E Time : 0.0 sec. user=mdettweiler [2019-07-03 11:47:34] 685*2^1541063-1 is not prime. Res64: B2F608AB1261613B Time : 0.0 sec. user=mdettweiler [2019-07-03 11:57:20] 715*2^1541063-1 is not prime. Res64: 4E89562372EDD930 Time : 0.0 sec. user=mdettweiler [2019-07-03 11:57:20] 763*2^1541063-1 is not prime. Res64: EF3B551453B38C19 Time : 0.0 sec. user=mdettweiler [2019-07-03 11:57:21] 623*2^1541064-1 is not prime. Res64: 3BD075687CCEA492 Time : 0.0 sec. user=mdettweiler [2019-07-03 11:57:21] 683*2^1541064-1 is not prime. Res64: EC8DB36E110413F9 Time : 0.0 sec. user=mdettweiler [2019-07-03 11:57:22] 747*2^1541064-1 is not prime. Res64: 66D6AC12E3BDE2F1 Time : 0.0 sec. user=mdettweiler [2019-07-03 12:17:29] 789*2^1541064-1 is not prime. Res64: 2031EB6D9EFD48A2 Time : 0.0 sec. user=mdettweiler [2019-07-03 12:17:29] 803*2^1541064-1 is not prime. Res64: 5B5E4C5D24F9475B Time : 0.0 sec. user=mdettweiler [2019-07-03 12:17:30] 899*2^1541064-1 is not prime. Res64: 3DB69774C470253A Time : 0.0 sec. user=mdettweiler [2019-07-03 12:17:31] 927*2^1541064-1 is not prime. Res64: 4A297C78FA94B028 Time : 0.0 sec. user=mdettweiler [2019-07-03 12:17:31] 619*2^1541065-1 is not prime. Res64: 4DD0917D57D3D498 Time : 0.0 sec. user=mdettweiler [2019-07-03 12:35:36] 649*2^1541065-1 is not prime. Res64: 682EC6EB7043E420 Time : 0.0 sec. user=mdettweiler [2019-07-03 12:35:36] 765*2^1541065-1 is not prime. Res64: 3B530E076635311C Time : 0.0 sec. user=mdettweiler [2019-07-03 12:35:37] 801*2^1541065-1 is not prime. Res64: A7AF31F463F1AADD Time : 0.0 sec. user=mdettweiler [2019-07-03 12:35:38] 877*2^1541065-1 is not prime. Res64: A76FC9F19926C07E Time : 0.0 sec. user=mdettweiler [2019-07-03 12:35:38] 915*2^1541065-1 is not prime. Res64: 82CBA384AABFC907 Time : 0.0 sec. user=mdettweiler [2019-07-03 12:47:51] 861*2^1541066-1 is not prime. Res64: 8F409D1631222F3B Time : 0.0 sec. user=mdettweiler [2019-07-03 12:47:51] 867*2^1541066-1 is not prime. Res64: E69167B726261DBB Time : 0.0 sec. user=mdettweiler [2019-07-03 12:47:52] 625*2^1541067-1 is not prime. Res64: 75F06B1734A75A83 Time : 0.0 sec. user=mdettweiler [2019-07-03 12:47:53] 741*2^1541067-1 is not prime. Res64: 09BBE85F54A3CF31 Time : 0.0 sec. user=mdettweiler [2019-07-03 12:47:53] 795*2^1541067-1 is not prime. Res64: D029295A95358DE8 Time : 0.0 sec. user=mdettweiler [2019-07-03 13:08:55] 861*2^1541067-1 is not prime. Res64: 2F005E5205813E4D Time : 0.0 sec. user=mdettweiler [2019-07-03 13:08:57] 879*2^1541067-1 is not prime. Res64: 6DA64FF71FE69180 Time : 0.0 sec. user=mdettweiler [2019-07-03 13:08:58] 919*2^1541067-1 is not prime. Res64: 4C646054E546D47A Time : 0.0 sec. user=mdettweiler [2019-07-03 13:08:59] 951*2^1541067-1 is not prime. Res64: 15623EDD1924F9E0 Time : 0.0 sec. user=mdettweiler [2019-07-03 13:09:00] 605*2^1541068-1 is not prime. Res64: F272561536CFD319 Time : 0.0 sec. user=mdettweiler [2019-07-03 13:27:10] 665*2^1541068-1 is not prime. Res64: 0CA0E0E5A11D2642 Time : 0.0 sec. user=mdettweiler [2019-07-03 13:27:11] 677*2^1541068-1 is not prime. Res64: 1D2C58C433DECFD3 Time : 0.0 sec. user=mdettweiler [2019-07-03 13:27:11] 777*2^1541068-1 is not prime. Res64: 85DB59C262DC987E Time : 0.0 sec. user=mdettweiler [2019-07-03 13:27:11] 957*2^1541068-1 is not prime. Res64: 20B54FBF9EC73B6C Time : 0.0 sec. user=mdettweiler [2019-07-03 13:27:12] 993*2^1541068-1 is not prime. Res64: 91C4A02151EFA7BA Time : 0.0 sec. user=mdettweiler [2019-07-03 13:40:37] 711*2^1541069-1 is not prime. Res64: C85550811A5CE688 Time : 0.0 sec. user=mdettweiler [2019-07-03 13:40:38] 865*2^1541069-1 is not prime. Res64: 01BEDF9F1BB9A3F4 Time : 0.0 sec. user=mdettweiler [2019-07-03 13:40:39] 955*2^1541069-1 is not prime. Res64: 4A84145D3C7BCE0B Time : 0.0 sec. user=mdettweiler [2019-07-03 13:40:39] 991*2^1541069-1 is not prime. Res64: 9AF52A1DD3C61AF5 Time : 0.0 sec. user=mdettweiler [2019-07-03 13:40:39] 611*2^1541070-1 is not prime. Res64: 4CD8FE493B78AB19 Time : 0.0 sec. user=mdettweiler [2019-07-03 14:01:24] 707*2^1541070-1 is not prime. Res64: 46668552EC39563A Time : 0.0 sec. user=mdettweiler [2019-07-03 14:01:27] 777*2^1541070-1 is not prime. Res64: F14E452EAAAFA86E Time : 0.0 sec. user=mdettweiler [2019-07-03 14:01:30] 791*2^1541070-1 is not prime. Res64: C243BCBA5FFC0BE0 Time : 0.0 sec. user=mdettweiler [2019-07-03 14:01:32] 821*2^1541070-1 is not prime. Res64: 6DDDCD8148B84232 Time : 0.0 sec. user=mdettweiler [2019-07-03 14:01:33] 921*2^1541070-1 is not prime. Res64: 79542480F567CBD7 Time : 0.0 sec. user=mdettweiler [2019-07-03 14:19:29] 673*2^1541071-1 is not prime. Res64: C7A70E5967BE6EA9 Time : 0.0 sec. user=mdettweiler [2019-07-03 14:19:30] 685*2^1541071-1 is not prime. Res64: C8320AF7BACA940D Time : 0.0 sec. user=mdettweiler [2019-07-03 14:19:30] 709*2^1541071-1 is not prime. Res64: 5F42774DB224EE3B Time : 0.0 sec. user=mdettweiler [2019-07-03 14:19:31] 855*2^1541071-1 is not prime. Res64: E83A1884774F7A91 Time : 0.0 sec. user=mdettweiler [2019-07-03 14:19:31] 883*2^1541071-1 is not prime. Res64: D6471427A78671F1 Time : 0.0 sec. user=mdettweiler [2019-07-03 14:33:27] 925*2^1541071-1 is not prime. Res64: 8B0E235B653804DF Time : 0.0 sec. user=mdettweiler [2019-07-03 14:33:28] 975*2^1541071-1 is not prime. Res64: 8E9124B25452807E Time : 0.0 sec. user=mdettweiler [2019-07-03 14:33:28] 635*2^1541072-1 is not prime. Res64: 4D4E184BCECD7748 Time : 0.0 sec. user=mdettweiler [2019-07-03 14:33:28] 717*2^1541072-1 is not prime. Res64: 6F84DAFA1D3D42F5 Time : 0.0 sec. user=mdettweiler [2019-07-03 14:33:29] 759*2^1541072-1 is not prime. Res64: F24691387CF9C3EB Time : 0.0 sec. user=mdettweiler [2019-07-03 14:56:01] 819*2^1541072-1 is not prime. Res64: CF693294E27A5605 Time : 0.0 sec. user=mdettweiler [2019-07-03 14:56:01] 957*2^1541072-1 is not prime. Res64: 62269795D1CD348A Time : 0.0 sec. user=mdettweiler [2019-07-03 14:56:02] 705*2^1541073-1 is not prime. Res64: 7565BEC4E08181AF Time : 0.0 sec. user=mdettweiler [2019-07-03 14:56:02] 727*2^1541073-1 is not prime. Res64: 48323109E7D96806 Time : 0.0 sec. user=mdettweiler [2019-07-03 14:56:02] 741*2^1541073-1 is not prime. Res64: 93AD21295055B6E7 Time : 0.0 sec. user=mdettweiler [2019-07-03 15:13:23] 781*2^1541073-1 is not prime. Res64: 5EFCB9C4B58C7DE8 Time : 0.0 sec. user=mdettweiler [2019-07-03 15:13:24] 861*2^1541073-1 is not prime. Res64: 33D78B0585B2A483 Time : 0.0 sec. user=mdettweiler [2019-07-03 15:13:24] 951*2^1541073-1 is not prime. Res64: F52E65DB852F4885 Time : 0.0 sec. user=mdettweiler [2019-07-03 15:13:25] 979*2^1541073-1 is not prime. Res64: 55D3C662DDD0236B Time : 0.0 sec. user=mdettweiler [2019-07-03 15:13:25] 741*2^1541074-1 is not prime. Res64: 39D7CA58902997B9 Time : 0.0 sec. user=mdettweiler [2019-07-03 15:27:02] 791*2^1541074-1 is not prime. Res64: E394C129F0E88768 Time : 0.0 sec. user=mdettweiler [2019-07-03 15:27:02] 945*2^1541074-1 is not prime. Res64: F36A40CFDF3D0C3F Time : 0.0 sec. user=mdettweiler [2019-07-03 15:27:03] 947*2^1541074-1 is not prime. Res64: CA7FCA2AD422F447 Time : 0.0 sec. user=mdettweiler [2019-07-03 15:27:03] 957*2^1541074-1 is not prime. Res64: A09EA0985FB2A00B Time : 0.0 sec. user=mdettweiler [2019-07-03 15:27:04] 705*2^1541075-1 is not prime. Res64: F0694F9416025615 Time : 0.0 sec. user=mdettweiler [2019-07-03 15:48:34] 855*2^1541075-1 is not prime. Res64: 44A914C1CC4B1CF6 Time : 0.0 sec. user=mdettweiler [2019-07-03 15:48:34] 861*2^1541075-1 is not prime. Res64: 6E82C65DCF063392 Time : 0.0 sec. user=mdettweiler [2019-07-03 15:48:34] 939*2^1541075-1 is not prime. Res64: D0D21F398BDAB749 Time : 0.0 sec. user=mdettweiler [2019-07-03 15:48:35] 623*2^1541076-1 is not prime. Res64: 7B027A321BEAA96B Time : 0.0 sec. user=mdettweiler [2019-07-03 15:48:35] 647*2^1541076-1 is not prime. Res64: 448E40893B3417AC Time : 0.0 sec. user=mdettweiler [2019-07-03 16:06:05] 653*2^1541076-1 is not prime. Res64: 3522D6F3B809A83E Time : 0.0 sec. user=mdettweiler [2019-07-03 16:06:09] 705*2^1541076-1 is not prime. Res64: 1620B02280A624E7 Time : 0.0 sec. user=mdettweiler [2019-07-03 16:06:12] 909*2^1541076-1 is not prime. Res64: 28A6B658ED34EAE3 Time : 0.0 sec. user=mdettweiler [2019-07-03 16:06:17] 609*2^1541077-1 is not prime. Res64: 0015728F2BA859DE Time : 0.0 sec. user=mdettweiler [2019-07-03 16:06:21] 621*2^1541077-1 is not prime. Res64: 9AEF38946F00E04E Time : 0.0 sec. user=mdettweiler [2019-07-03 16:19:51] 691*2^1541077-1 is not prime. Res64: 2561E0608BE4D604 Time : 0.0 sec. user=mdettweiler [2019-07-03 16:19:51] 759*2^1541077-1 is not prime. Res64: 1C42EF2C45580B2E Time : 0.0 sec. user=mdettweiler [2019-07-03 16:19:52] 769*2^1541077-1 is not prime. Res64: E98F82BE50EEE20A Time : 0.0 sec. user=mdettweiler [2019-07-03 16:19:52] 771*2^1541077-1 is not prime. Res64: A9948AAFCC765F93 Time : 0.0 sec. user=mdettweiler [2019-07-03 16:19:53] 957*2^1541077-1 is not prime. Res64: 10BF66EDCA16B048 Time : 0.0 sec. user=mdettweiler [2019-07-03 16:41:36] 979*2^1541077-1 is not prime. Res64: 01A922B8BE65441A Time : 0.0 sec. user=mdettweiler [2019-07-03 16:41:36] 999*2^1541077-1 is not prime. Res64: 7B2DA975B099D223 Time : 0.0 sec. user=mdettweiler [2019-07-03 16:41:36] 845*2^1541078-1 is not prime. Res64: 697E521A2ECAC5DF Time : 0.0 sec. user=mdettweiler [2019-07-03 16:41:37] 911*2^1541078-1 is not prime. Res64: 2B7800702004B34F Time : 0.0 sec. user=mdettweiler [2019-07-03 16:41:37] 941*2^1541078-1 is not prime. Res64: 5B388A287B691DCC Time : 0.0 sec. user=mdettweiler [2019-07-03 17:01:02] 957*2^1541078-1 is not prime. Res64: 21DCE0124876957C Time : 0.0 sec. user=mdettweiler [2019-07-03 17:01:04] 995*2^1541078-1 is not prime. Res64: 771D30CD3DA3524D Time : 0.0 sec. user=mdettweiler [2019-07-03 17:01:05] 613*2^1541079-1 is not prime. Res64: 1BD970857F390BC6 Time : 0.0 sec. user=mdettweiler [2019-07-03 17:01:06] 669*2^1541079-1 is not prime. Res64: 96F532749DA2264B Time : 0.0 sec. user=mdettweiler [2019-07-03 17:01:08] 685*2^1541079-1 is not prime. Res64: 8AFA678CD043B4A7 Time : 0.0 sec. user=mdettweiler [2019-07-03 17:12:02] 693*2^1541079-1 is not prime. Res64: BFDCCF9E5A3163CA Time : 0.0 sec. user=mdettweiler [2019-07-03 17:12:07] 793*2^1541079-1 is not prime. Res64: 55535CF5B5F8CC08 Time : 0.0 sec. user=mdettweiler [2019-07-03 17:12:11] 825*2^1541079-1 is not prime. Res64: 5A173F422AEFA3A6 Time : 0.0 sec. user=mdettweiler [2019-07-03 17:12:16] 865*2^1541079-1 is not prime. Res64: 814FBE8024B10437 Time : 0.0 sec. user=mdettweiler [2019-07-03 17:12:20] 615*2^1541080-1 is not prime. Res64: 98A95E2940F06C62 Time : 0.0 sec. user=mdettweiler [2019-07-03 17:25:16] 955*2^1541065-1 is not prime. Res64: 6105EEE431FEBDBC Time : 0.0 sec. user=mdettweiler [2019-07-03 17:25:16] 635*2^1541066-1 is not prime. Res64: 81BF812E2F573E2A Time : 0.0 sec. user=mdettweiler [2019-07-03 17:25:16] 671*2^1541066-1 is not prime. Res64: 02144B2090A7DBC8 Time : 0.0 sec. user=mdettweiler [2019-07-03 17:25:17] 677*2^1541066-1 is not prime. Res64: 1F979760C0BE846F Time : 0.0 sec. user=mdettweiler [2019-07-03 17:25:17] 783*2^1541066-1 is not prime. Res64: 7E5A789377E962F7 Time : 0.0 sec. user=mdettweiler [2019-07-03 17:34:31] 723*2^1541080-1 is not prime. Res64: CF60A3BD0D8511FA Time : 0.0 sec. user=mdettweiler [2019-07-03 17:34:31] 855*2^1541080-1 is not prime. Res64: 6497890A194977DD Time : 0.0 sec. user=mdettweiler [2019-07-03 17:34:32] 915*2^1541080-1 is not prime. Res64: 01C9D68FE53D0533 Time : 0.0 sec. user=mdettweiler [2019-07-03 17:34:32] 917*2^1541080-1 is not prime. Res64: 1CC9AFDE59A6A5BE Time : 0.0 sec. user=mdettweiler [2019-07-03 17:34:33] 983*2^1541080-1 is not prime. Res64: 4350FE36F2F3BB45 Time : 0.0 sec. user=mdettweiler [2019-07-03 17:54:01] 657*2^1541081-1 is not prime. Res64: 235FB7362343B605 Time : 0.0 sec. user=mdettweiler [2019-07-03 17:54:02] 735*2^1541081-1 is not prime. Res64: D6D3CE70FFEFAB30 Time : 0.0 sec. user=mdettweiler [2019-07-03 17:54:02] 871*2^1541081-1 is not prime. Res64: 3D083247A492AAD9 Time : 0.0 sec. user=mdettweiler [2019-07-03 17:54:02] 957*2^1541081-1 is not prime. Res64: 10ABEE16B2856D3A Time : 0.0 sec. user=mdettweiler [2019-07-03 17:54:03] 651*2^1541082-1 is not prime. Res64: F49405371D7F20A4 Time : 0.0 sec. user=mdettweiler [2019-07-03 18:06:57] 717*2^1541082-1 is not prime. Res64: E8A7921083B533A3 Time : 0.0 sec. user=mdettweiler [2019-07-03 18:06:59] 741*2^1541082-1 is not prime. Res64: 28EB90D4333E1A2A Time : 0.0 sec. user=mdettweiler [2019-07-03 18:07:00] 801*2^1541082-1 is not prime. Res64: E4BD0F7EEC7DB998 Time : 0.0 sec. user=mdettweiler [2019-07-03 18:07:02] 923*2^1541082-1 is not prime. Res64: 276B5C4FA61653E9 Time : 0.0 sec. user=mdettweiler [2019-07-03 18:07:03] 951*2^1541082-1 is not prime. Res64: CC5015E856B81FDD Time : 0.0 sec. user=mdettweiler [2019-07-03 18:17:44] 983*2^1541082-1 is not prime. Res64: 824974C5345F2FE7 Time : 0.0 sec. user=mdettweiler [2019-07-03 18:17:45] 1001*2^1541082-1 is not prime. Res64: CE6A0FFAC5410FFD Time : 0.0 sec. user=mdettweiler [2019-07-03 18:17:45] 663*2^1541083-1 is not prime. Res64: 79223EC0D63B9BA2 Time : 0.0 sec. user=mdettweiler [2019-07-03 18:17:45] 693*2^1541083-1 is not prime. Res64: 547A43CFD5E38E31 Time : 0.0 sec. user=mdettweiler [2019-07-03 18:17:46] 745*2^1541083-1 is not prime. Res64: 17A628E446BD1B45 Time : 0.0 sec. user=mdettweiler [2019-07-03 18:26:51] 861*2^1541083-1 is not prime. Res64: 4BFF22ABD14FFA05 Time : 0.0 sec. user=mdettweiler [2019-07-03 18:26:51] 901*2^1541083-1 is not prime. Res64: 2052060B525C3156 Time : 0.0 sec. user=mdettweiler [2019-07-03 18:26:52] 943*2^1541083-1 is not prime. Res64: 93F6C040AFC71C54 Time : 0.0 sec. user=mdettweiler [2019-07-03 18:26:52] 635*2^1541084-1 is not prime. Res64: F5DA52FC48B9B7F0 Time : 0.0 sec. user=mdettweiler [2019-07-03 18:26:52] 659*2^1541084-1 is not prime. Res64: D71E03685B732DB2 Time : 0.0 sec. user=mdettweiler [2019-07-03 18:46:08] 663*2^1541084-1 is not prime. Res64: 77643473B748263C Time : 0.0 sec. user=mdettweiler [2019-07-03 18:46:09] 683*2^1541084-1 is not prime. Res64: 574B62D7AC2DCA3C Time : 0.0 sec. user=mdettweiler [2019-07-03 18:46:10] 759*2^1541084-1 is not prime. Res64: 7C83DAE878A17950 Time : 0.0 sec. user=mdettweiler [2019-07-03 18:46:10] 843*2^1541084-1 is not prime. Res64: 428EB0C0D3C816A9 Time : 0.0 sec. user=mdettweiler [2019-07-03 18:46:10] 855*2^1541084-1 is not prime. Res64: 3489C16EAFF8DB8E Time : 0.0 sec. user=mdettweiler [2019-07-03 19:00:36] 869*2^1541084-1 is not prime. Res64: 5226441580AFA29C Time : 0.0 sec. user=mdettweiler [2019-07-03 19:00:37] 885*2^1541084-1 is not prime. Res64: D4AEFBE3F4F4729C Time : 0.0 sec. user=mdettweiler [2019-07-03 19:00:41] 945*2^1541084-1 is not prime. Res64: 3D41AD974D594C97 Time : 0.0 sec. user=mdettweiler [2019-07-03 19:00:43] 609*2^1541085-1 is not prime. Res64: B419CA5D6EACAA0B Time : 0.0 sec. user=mdettweiler [2019-07-03 19:00:44] 699*2^1541085-1 is not prime. Res64: 509981F629469B56 Time : 0.0 sec. user=mdettweiler [2019-07-03 19:12:24] 717*2^1541085-1 is not prime. Res64: 5359A72CDA1267F0 Time : 0.0 sec. user=mdettweiler [2019-07-03 19:12:26] 741*2^1541085-1 is not prime. Res64: 556ED43F1941CE47 Time : 0.0 sec. user=mdettweiler [2019-07-03 19:12:28] 837*2^1541085-1 is not prime. Res64: 35A863A61901DCB4 Time : 0.0 sec. user=mdettweiler [2019-07-03 19:12:30] 951*2^1541085-1 is not prime. Res64: F6507600AE6CC571 Time : 0.0 sec. user=mdettweiler [2019-07-03 19:12:33] 653*2^1541086-1 is not prime. Res64: 3E2E2B298DC524C1 Time : 0.0 sec. user=mdettweiler [2019-07-03 19:20:40] 695*2^1541086-1 is not prime. Res64: E0CAC38046040179 Time : 0.0 sec. user=mdettweiler [2019-07-03 19:20:40] 705*2^1541086-1 is not prime. Res64: 2F10C36F97F278B7 Time : 0.0 sec. user=mdettweiler [2019-07-03 19:20:40] 717*2^1541086-1 is not prime. Res64: 56A75D401E910215 Time : 0.0 sec. user=mdettweiler [2019-07-03 19:20:41] 747*2^1541086-1 is not prime. Res64: 2847F1326354121F Time : 0.0 sec. user=mdettweiler [2019-07-03 19:20:41] 873*2^1541086-1 is not prime. Res64: CB1AC14F710314E8 Time : 0.0 sec. user=mdettweiler [2019-07-03 19:40:25] 981*2^1541086-1 is not prime. Res64: DA6AEB92EB674CE5 Time : 0.0 sec. user=mdettweiler [2019-07-03 19:40:25] 609*2^1541087-1 is not prime. Res64: CE2EB281BEFBB616 Time : 0.0 sec. user=mdettweiler [2019-07-03 19:40:25] 669*2^1541087-1 is not prime. Res64: DA9B785D866E1AF8 Time : 0.0 sec. user=mdettweiler [2019-07-03 19:40:26] 759*2^1541087-1 is not prime. Res64: 176B8FD8B31A7E0F Time : 0.0 sec. user=mdettweiler [2019-07-03 19:40:26] 775*2^1541087-1 is not prime. Res64: 1736F9B7E38BE36A Time : 0.0 sec. user=mdettweiler [2019-07-03 19:54:26] 825*2^1541087-1 is not prime. Res64: 100149EF43E305BA Time : 0.0 sec. user=mdettweiler [2019-07-03 19:54:27] 885*2^1541087-1 is not prime. Res64: F3442706EB7BA00F Time : 0.0 sec. user=mdettweiler [2019-07-03 19:54:27] 635*2^1541088-1 is not prime. Res64: 8786B963D4167518 Time : 0.0 sec. user=mdettweiler [2019-07-03 19:54:27] 689*2^1541088-1 is not prime. Res64: 3540FCE329F0108A Time : 0.0 sec. user=mdettweiler [2019-07-03 19:54:28] 825*2^1541088-1 is not prime. Res64: ECA2BEF802F012AF Time : 0.0 sec. user=mdettweiler [2019-07-03 20:06:19] 993*2^1541088-1 is not prime. Res64: 94A03F14C8FEB0BE Time : 0.0 sec. user=mdettweiler [2019-07-03 20:06:21] 649*2^1541089-1 is not prime. Res64: CFF93CD93C3ED003 Time : 0.0 sec. user=mdettweiler [2019-07-03 20:06:28] 699*2^1541089-1 is not prime. Res64: C46FA72F637278EE Time : 0.0 sec. user=mdettweiler [2019-07-03 20:06:32] 765*2^1541089-1 is not prime. Res64: E2E903DF7A28EB87 Time : 0.0 sec. user=mdettweiler [2019-07-03 20:06:34] 975*2^1541089-1 is not prime. Res64: 71D6A8ECC3662B81 Time : 0.0 sec. user=mdettweiler [2019-07-03 20:13:16] 603*2^1541090-1 is not prime. Res64: A4CE0816BDCA6E8B Time : 0.0 sec. user=mdettweiler [2019-07-03 20:13:17] 813*2^1541090-1 is not prime. Res64: D33BE18013910424 Time : 0.0 sec. user=mdettweiler [2019-07-03 20:13:18] 867*2^1541090-1 is not prime. Res64: AE060BF98A68599C Time : 0.0 sec. user=mdettweiler [2019-07-03 20:13:19] 927*2^1541090-1 is not prime. Res64: DABD225CF3E0A9D9 Time : 0.0 sec. user=mdettweiler [2019-07-03 20:13:19] 941*2^1541090-1 is not prime. Res64: 001E9BC6962AA402 Time : 0.0 sec. user=mdettweiler [2019-07-03 20:32:31] 995*2^1541090-1 is not prime. Res64: 885D1C6FE57AD4FC Time : 0.0 sec. user=mdettweiler [2019-07-03 20:32:31] 675*2^1541091-1 is not prime. Res64: D6DDE9C24C06C406 Time : 0.0 sec. user=mdettweiler [2019-07-03 20:32:32] 703*2^1541091-1 is not prime. Res64: 5A7CCC19AFE732CB Time : 0.0 sec. user=mdettweiler [2019-07-03 20:32:32] 825*2^1541091-1 is not prime. Res64: D09CE31FE2045A53 Time : 0.0 sec. user=mdettweiler [2019-07-03 20:32:32] 859*2^1541091-1 is not prime. Res64: A0DA37239327A313 Time : 0.0 sec. user=mdettweiler [2019-07-03 20:46:58] 921*2^1541091-1 is not prime. Res64: 78B8B92AC35538C3 Time : 0.0 sec. user=mdettweiler [2019-07-03 20:46:58] 961*2^1541091-1 is not prime. Res64: 40C0030643B155C9 Time : 0.0 sec. user=mdettweiler [2019-07-03 20:46:59] 975*2^1541091-1 is not prime. Res64: 81C8084332AF1B06 Time : 0.0 sec. user=mdettweiler [2019-07-03 20:46:59] 605*2^1541092-1 is not prime. Res64: 3FDE1FC31E3AFB0B Time : 0.0 sec. user=mdettweiler [2019-07-03 20:47:00] 657*2^1541092-1 is not prime. Res64: 9B9301D104FCC0E8 Time : 0.0 sec. user=mdettweiler [2019-07-03 20:59:12] 687*2^1541092-1 is not prime. Res64: E7E0438F21CABCC2 Time : 0.0 sec. user=mdettweiler [2019-07-03 20:59:13] 735*2^1541092-1 is not prime. Res64: 6A65CF3A02422799 Time : 0.0 sec. user=mdettweiler [2019-07-03 20:59:13] 749*2^1541092-1 is not prime. Res64: 98A212D13AE973FB Time : 0.0 sec. user=mdettweiler [2019-07-03 20:59:13] 779*2^1541092-1 is not prime. Res64: 7C019B4E69F3F739 Time : 0.0 sec. user=mdettweiler [2019-07-03 20:59:14] 797*2^1541092-1 is not prime. Res64: EBAF042438BD1D32 Time : 0.0 sec. user=mdettweiler [2019-07-03 21:05:48] 843*2^1541092-1 is not prime. Res64: 714E9BD4090B4B72 Time : 0.0 sec. user=mdettweiler [2019-07-03 21:05:51] 855*2^1541092-1 is not prime. Res64: AB17DB7F2CB95A7E Time : 0.0 sec. user=mdettweiler [2019-07-03 21:05:54] 887*2^1541092-1 is not prime. Res64: 6A75E005FBA26AA3 Time : 0.0 sec. user=mdettweiler [2019-07-03 21:05:56] 897*2^1541092-1 is not prime. Res64: A85481998129D830 Time : 0.0 sec. user=mdettweiler [2019-07-03 21:05:58] 957*2^1541092-1 is not prime. Res64: FCA48381EE7B50F0 Time : 0.0 sec. user=mdettweiler [2019-07-03 21:24:29] 615*2^1541093-1 is not prime. Res64: F314403ADD457F17 Time : 0.0 sec. user=mdettweiler [2019-07-03 21:24:30] 621*2^1541093-1 is not prime. Res64: 7185FC090D10F4C5 Time : 0.0 sec. user=mdettweiler [2019-07-03 21:24:30] 775*2^1541093-1 is not prime. Res64: 839AD5D8BEF164A9 Time : 0.0 sec. user=mdettweiler [2019-07-03 21:24:30] 861*2^1541093-1 is not prime. Res64: 85C07184D3062AAE Time : 0.0 sec. user=mdettweiler [2019-07-03 21:24:31] 949*2^1541093-1 is not prime. Res64: 262072058B41A139 Time : 0.0 sec. user=mdettweiler [2019-07-03 21:38:47] 957*2^1541093-1 is not prime. Res64: FFD3F8EF420637FD Time : 0.0 sec. user=mdettweiler [2019-07-03 21:38:48] 635*2^1541094-1 is not prime. Res64: BBC18CFC92BF1283 Time : 0.0 sec. user=mdettweiler [2019-07-03 21:38:48] 681*2^1541094-1 is not prime. Res64: 7AF79CD0668C8BD4 Time : 0.0 sec. user=mdettweiler [2019-07-03 21:38:48] 723*2^1541094-1 is not prime. Res64: 85BAF268CAA4A07C Time : 0.0 sec. user=mdettweiler [2019-07-03 21:38:49] 755*2^1541094-1 is not prime. Res64: F60D0DACC87B2BED Time : 0.0 sec. user=mdettweiler [2019-07-03 21:50:56] 891*2^1541094-1 is not prime. Res64: 23A63C9B0C1FC6F8 Time : 0.0 sec. user=mdettweiler [2019-07-03 21:50:57] 903*2^1541094-1 is not prime. Res64: 3FDD5579C7B18FA4 Time : 0.0 sec. user=mdettweiler [2019-07-03 21:50:57] 601*2^1541095-1 is not prime. Res64: 339BB52D79874FF7 Time : 0.0 sec. user=mdettweiler [2019-07-03 21:50:58] 759*2^1541095-1 is not prime. Res64: 7BB93466A655D949 Time : 0.0 sec. user=mdettweiler [2019-07-03 21:50:58] 871*2^1541095-1 is not prime. Res64: 0800B158F488B843 Time : 0.0 sec. user=mdettweiler [2019-07-03 21:59:49] 885*2^1541095-1 is not prime. Res64: 7F6606E9DD825550 Time : 0.0 sec. user=mdettweiler [2019-07-03 21:59:50] 919*2^1541095-1 is not prime. Res64: A3BDF6010891F290 Time : 0.0 sec. user=mdettweiler [2019-07-03 21:59:50] 925*2^1541095-1 is not prime. Res64: 743F77377140B0EE Time : 0.0 sec. user=mdettweiler [2019-07-03 21:59:50] 943*2^1541095-1 is not prime. Res64: 10BA023607281241 Time : 0.0 sec. user=mdettweiler [2019-07-03 21:59:51] 951*2^1541095-1 is not prime. Res64: 67B86F70E5CE2F35 Time : 0.0 sec. user=mdettweiler [2019-07-03 22:16:06] 623*2^1541096-1 is not prime. Res64: 370698FC86BD0A4D Time : 0.0 sec. user=mdettweiler [2019-07-03 22:16:07] 743*2^1541096-1 is not prime. Res64: CF45DA9457D22EDF Time : 0.0 sec. user=mdettweiler [2019-07-03 22:16:07] 759*2^1541096-1 is not prime. Res64: 0AFB2A995883B01A Time : 0.0 sec. user=mdettweiler [2019-07-03 22:16:08] 869*2^1541096-1 is not prime. Res64: 9EBD00633B764CAE Time : 0.0 sec. user=mdettweiler [2019-07-03 22:16:08] 837*2^1541097-1 is not prime. Res64: 227E1B69568C3044 Time : 0.0 sec. user=mdettweiler [2019-07-03 22:31:08] 867*2^1541097-1 is not prime. Res64: 01C27704C4A6C32F Time : 0.0 sec. user=mdettweiler [2019-07-03 22:31:08] 885*2^1541097-1 is not prime. Res64: 1ECEB89DF27B6F7E Time : 0.0 sec. user=mdettweiler [2019-07-03 22:31:08] 919*2^1541097-1 is not prime. Res64: F25A99FD533C6A1B Time : 0.0 sec. user=mdettweiler [2019-07-03 22:31:09] 955*2^1541097-1 is not prime. Res64: 9DF3E2EF0F56DF9B Time : 0.0 sec. user=mdettweiler [2019-07-03 22:31:09] 603*2^1541098-1 is not prime. Res64: 67607DC6E861B139 Time : 0.0 sec. user=mdettweiler [2019-07-03 22:42:58] 663*2^1541098-1 is not prime. Res64: CFC5F9714CC5362F Time : 0.0 sec. user=mdettweiler [2019-07-03 22:42:58] 695*2^1541098-1 is not prime. Res64: 3C8534FF91E15EFF Time : 0.0 sec. user=mdettweiler [2019-07-03 22:42:58] 995*2^1541098-1 is not prime. Res64: B8A6F1DDDBE81F57 Time : 0.0 sec. user=mdettweiler [2019-07-03 22:42:59] 733*2^1541099-1 is not prime. Res64: 40575EA7BAD4F7DC Time : 0.0 sec. user=mdettweiler [2019-07-03 22:42:59] 759*2^1541099-1 is not prime. Res64: DD912C9F2F3B23D6 Time : 0.0 sec. user=mdettweiler [2019-07-03 22:51:42] 775*2^1541099-1 is not prime. Res64: 5E60C1DABA457B0E Time : 0.0 sec. user=mdettweiler [2019-07-03 22:51:43] 799*2^1541099-1 is not prime. Res64: 03A6FBD46CA04ADD Time : 0.0 sec. user=mdettweiler [2019-07-03 22:51:43] 811*2^1541099-1 is not prime. Res64: 8AB050F313332170 Time : 0.0 sec. user=mdettweiler [2019-07-03 22:51:43] 825*2^1541099-1 is not prime. Res64: 6D13DD859CDC62B1 Time : 0.0 sec. user=mdettweiler [2019-07-03 22:51:44] 843*2^1541099-1 is not prime. Res64: CFB6FBE5E87D0162 Time : 0.0 sec. user=mdettweiler [2019-07-03 23:08:14] 861*2^1541099-1 is not prime. Res64: 95C9B7F22CF3F603 Time : 0.0 sec. user=mdettweiler [2019-07-03 23:08:15] 879*2^1541099-1 is not prime. Res64: F4E31C9E2CBCD801 Time : 0.0 sec. user=mdettweiler [2019-07-03 23:08:15] 985*2^1541099-1 is not prime. Res64: 482F142983C54CBB Time : 0.0 sec. user=mdettweiler [2019-07-03 23:08:16] 629*2^1541100-1 is not prime. Res64: FCD1BEBFBCD230E5 Time : 0.0 sec. user=mdettweiler [2019-07-03 23:08:16] 633*2^1541100-1 is not prime. Res64: 47B0E2E07086232A Time : 0.0 sec. user=mdettweiler [2019-07-03 23:22:56] 647*2^1541100-1 is not prime. Res64: BDF42614CC386725 Time : 0.0 sec. user=mdettweiler [2019-07-03 23:22:56] 665*2^1541100-1 is not prime. Res64: 51C9660AEED093AD Time : 0.0 sec. user=mdettweiler [2019-07-03 23:22:57] 695*2^1541100-1 is not prime. Res64: 04C10F1216B3146E Time : 0.0 sec. user=mdettweiler [2019-07-03 23:22:57] 717*2^1541100-1 is not prime. Res64: 3094B5BFFAE02476 Time : 0.0 sec. user=mdettweiler [2019-07-03 23:22:58] 797*2^1541100-1 is not prime. Res64: 1ADE1993C12B6487 Time : 0.0 sec. user=mdettweiler [2019-07-03 23:34:59] 803*2^1541100-1 is not prime. Res64: 706DBD2BD87650AC Time : 0.0 sec. user=mdettweiler [2019-07-03 23:35:00] 857*2^1541100-1 is not prime. Res64: 45085DE143254DB3 Time : 0.0 sec. user=mdettweiler [2019-07-03 23:35:00] 999*2^1541100-1 is not prime. Res64: E8BF4338C8B80E87 Time : 0.0 sec. user=mdettweiler [2019-07-03 23:35:00] 607*2^1541101-1 is not prime. Res64: D41B4995E6DDB56A Time : 0.0 sec. user=mdettweiler [2019-07-03 23:35:01] 681*2^1541101-1 is not prime. Res64: 6C39F06DB23D4B2C Time : 0.0 sec. user=mdettweiler [2019-07-03 23:44:13] 769*2^1541101-1 is not prime. Res64: F86C87640E460C09 Time : 0.0 sec. user=mdettweiler [2019-07-03 23:44:14] 799*2^1541101-1 is not prime. Res64: 09936577FDA2BA18 Time : 0.0 sec. user=mdettweiler [2019-07-03 23:44:14] 801*2^1541101-1 is not prime. Res64: 0E297DFF2BEB3346 Time : 0.0 sec. user=mdettweiler [2019-07-03 23:44:14] 945*2^1541101-1 is not prime. Res64: B73A9651F2D69577 Time : 0.0 sec. user=mdettweiler [2019-07-03 23:44:15] 975*2^1541101-1 is not prime. Res64: 9C3E6BD5AF619C0F Time : 0.0 sec. user=mdettweiler [2019-07-04 00:00:20] 657*2^1541102-1 is not prime. Res64: 84BDC8C42AE592D4 Time : 0.0 sec. user=mdettweiler [2019-07-04 00:00:20] 827*2^1541102-1 is not prime. Res64: 01CEAF84A51833FE Time : 0.0 sec. user=mdettweiler [2019-07-04 00:00:21] 873*2^1541102-1 is not prime. Res64: 144313C66ED150D3 Time : 0.0 sec. user=mdettweiler [2019-07-04 00:00:22] 875*2^1541102-1 is not prime. Res64: 0079AA354CCB5E91 Time : 0.0 sec. user=mdettweiler [2019-07-04 00:00:22] 915*2^1541102-1 is not prime. Res64: 3E60F568163FB736 Time : 0.0 sec.