user=mdettweiler [2019-12-15 00:02:16] 679*2^1551173-1 is not prime. Res64: C5FD5F079B02356F Time : 0.0 sec. user=mdettweiler [2019-12-15 00:02:20] 715*2^1551173-1 is not prime. Res64: 4422590570408A03 Time : 0.0 sec. user=mdettweiler [2019-12-15 00:02:22] 729*2^1551173-1 is not prime. Res64: 646513907A54B776 Time : 0.0 sec. user=mdettweiler [2019-12-15 00:02:28] 837*2^1551173-1 is not prime. Res64: 91C231C4C05458C0 Time : 0.0 sec. user=mdettweiler [2019-12-15 00:02:31] 861*2^1551173-1 is not prime. Res64: 69E32FE53643B91D Time : 0.0 sec. user=mdettweiler [2019-12-15 00:03:43] 765*2^1551172-1 is not prime. Res64: B117480B2B4367C7 Time : 0.0 sec. user=mdettweiler [2019-12-15 00:03:46] 833*2^1551172-1 is not prime. Res64: AD2C2BC350535844 Time : 0.0 sec. user=mdettweiler [2019-12-15 00:03:49] 869*2^1551172-1 is not prime. Res64: 5C36CDE9D0598594 Time : 0.0 sec. user=mdettweiler [2019-12-15 00:03:53] 957*2^1551172-1 is not prime. Res64: 7ED76318C503319D Time : 0.0 sec. user=mdettweiler [2019-12-15 00:03:56] 965*2^1551172-1 is not prime. Res64: E794B47893DF65EF Time : 0.0 sec. user=mdettweiler [2019-12-15 00:41:44] 791*2^1551174-1 is not prime. Res64: 7B28EE6308C27534 Time : 0.0 sec. user=mdettweiler [2019-12-15 00:41:45] 807*2^1551174-1 is not prime. Res64: 2DB57830F92FDE05 Time : 0.0 sec. user=mdettweiler [2019-12-15 00:41:46] 951*2^1551174-1 is not prime. Res64: 92B5EB2DF1BD0B32 Time : 0.0 sec. user=mdettweiler [2019-12-15 00:41:46] 603*2^1551175-1 is not prime. Res64: 8BBBDDDED3AB8003 Time : 0.0 sec. user=mdettweiler [2019-12-15 00:41:47] 663*2^1551175-1 is not prime. Res64: 3C33AE8ECB8C96EB Time : 0.0 sec. user=mdettweiler [2019-12-15 00:54:49] 679*2^1551175-1 is not prime. Res64: 6EF35CDC33750C8F Time : 0.0 sec. user=mdettweiler [2019-12-15 00:54:50] 693*2^1551175-1 is not prime. Res64: 106D200EFE5A384A Time : 0.0 sec. user=mdettweiler [2019-12-15 00:54:51] 771*2^1551175-1 is not prime. Res64: EACEA7D438062499 Time : 0.0 sec. user=mdettweiler [2019-12-15 00:54:52] 871*2^1551175-1 is not prime. Res64: 14A161C0BC6D8DC4 Time : 0.0 sec. user=mdettweiler [2019-12-15 00:54:53] 933*2^1551175-1 is not prime. Res64: DDA2303E33C74757 Time : 0.0 sec. user=mdettweiler [2019-12-15 00:57:21] 943*2^1551175-1 is not prime. Res64: EEEBFAF9092D2F05 Time : 0.0 sec. user=mdettweiler [2019-12-15 00:57:21] 717*2^1551176-1 is not prime. Res64: 3B0312988BC40863 Time : 0.0 sec. user=mdettweiler [2019-12-15 00:57:22] 833*2^1551176-1 is not prime. Res64: 3B89D0E46EFC5AB4 Time : 0.0 sec. user=mdettweiler [2019-12-15 00:57:23] 855*2^1551176-1 is not prime. Res64: 0920EC129F95925D Time : 0.0 sec. user=mdettweiler [2019-12-15 00:57:24] 869*2^1551176-1 is not prime. Res64: D2F54670D62E07A9 Time : 0.0 sec. user=mdettweiler [2019-12-15 01:36:07] 935*2^1551176-1 is not prime. Res64: 7CF5C5B0EB3E555C Time : 0.0 sec. user=mdettweiler [2019-12-15 01:36:10] 963*2^1551176-1 is not prime. Res64: C22D70B3690D2E83 Time : 0.0 sec. user=mdettweiler [2019-12-15 01:36:12] 969*2^1551176-1 is not prime. Res64: 23A130843A8087C7 Time : 0.0 sec. user=mdettweiler [2019-12-15 01:36:14] 637*2^1551177-1 is not prime. Res64: 6C5785EEED462245 Time : 0.0 sec. user=mdettweiler [2019-12-15 01:36:15] 681*2^1551177-1 is not prime. Res64: 61FD3E9DE62CBB8D Time : 0.0 sec. user=mdettweiler [2019-12-15 01:48:03] 685*2^1551177-1 is not prime. Res64: 462758A9C44E0706 Time : 0.0 sec. user=mdettweiler [2019-12-15 01:48:04] 699*2^1551177-1 is not prime. Res64: 8FD47A5CE0DFC613 Time : 0.0 sec. user=mdettweiler [2019-12-15 01:48:06] 805*2^1551177-1 is not prime. Res64: 1A87A06910509D2C Time : 0.0 sec. user=mdettweiler [2019-12-15 01:48:07] 831*2^1551177-1 is not prime. Res64: B86FE6993C37E48E Time : 0.0 sec. user=mdettweiler [2019-12-15 01:48:09] 945*2^1551177-1 is not prime. Res64: 2C10B334096BED7F Time : 0.0 sec. user=mdettweiler [2019-12-15 01:48:40] 603*2^1551178-1 is not prime. Res64: 1999628A0FFF75AA Time : 0.0 sec. user=mdettweiler [2019-12-15 01:48:41] 635*2^1551178-1 is not prime. Res64: 1E6B2C3B6BE95A67 Time : 0.0 sec. user=mdettweiler [2019-12-15 01:48:41] 705*2^1551178-1 is not prime. Res64: DE4FD1F5BB513878 Time : 0.0 sec. user=mdettweiler [2019-12-15 01:48:42] 737*2^1551178-1 is not prime. Res64: A5562E7846EFBB35 Time : 0.0 sec. user=mdettweiler [2019-12-15 01:48:43] 747*2^1551178-1 is not prime. Res64: 270E70663D119A8C Time : 0.0 sec. user=mdettweiler [2019-12-15 02:29:58] 813*2^1551178-1 is not prime. Res64: FD9498D32D4B5D9D Time : 0.0 sec. user=mdettweiler [2019-12-15 02:30:00] 951*2^1551178-1 is not prime. Res64: C897DFD1E357E165 Time : 0.0 sec. user=mdettweiler [2019-12-15 02:30:06] 685*2^1551179-1 is not prime. Res64: 48E66BB87621B259 Time : 0.0 sec. user=mdettweiler [2019-12-15 02:41:41] 993*2^1551179-1 is not prime. Res64: 034FB0B37953BE47 Time : 0.0 sec. user=mdettweiler [2019-12-15 02:41:43] 609*2^1551180-1 is not prime. Res64: 146469DC0689404B Time : 0.0 sec. user=mdettweiler [2019-12-15 02:41:44] 819*2^1551180-1 is not prime. Res64: F0505116DD4C6AA5 Time : 0.0 sec. user=mdettweiler [2019-12-15 02:41:45] 825*2^1551180-1 is not prime. Res64: 3040CCB73A236F3E Time : 0.0 sec. user=mdettweiler [2019-12-15 02:41:46] 899*2^1551180-1 is not prime. Res64: CC679743314801E7 Time : 0.0 sec. user=mdettweiler [2019-12-15 02:42:01] 959*2^1551180-1 is not prime. Res64: 19932502DE3666CF Time : 0.0 sec. user=mdettweiler [2019-12-15 02:42:01] 615*2^1551181-1 is not prime. Res64: 838E897B8159AD5D Time : 0.0 sec. user=mdettweiler [2019-12-15 02:42:02] 649*2^1551181-1 is not prime. Res64: 3BA2475A695084F0 Time : 0.0 sec. user=mdettweiler [2019-12-15 02:42:03] 799*2^1551181-1 is not prime. Res64: 75B945856ECE6568 Time : 0.0 sec. user=mdettweiler [2019-12-15 02:42:04] 855*2^1551181-1 is not prime. Res64: AA47ED9479332BC3 Time : 0.0 sec. user=mdettweiler [2019-12-15 03:35:01] 861*2^1551181-1 is not prime. Res64: 61AE71DAEBB1E9D2 Time : 0.0 sec. user=mdettweiler [2019-12-15 03:35:04] 871*2^1551181-1 is not prime. Res64: 363ABC1BA146145F Time : 0.0 sec. user=mdettweiler [2019-12-15 03:35:07] 945*2^1551181-1 is not prime. Res64: 065B787C0981BD23 Time : 0.0 sec. user=mdettweiler [2019-12-15 03:35:08] 615*2^1551182-1 is not prime. Res64: A5E6DFFE02B90BC1 Time : 0.0 sec. user=mdettweiler [2019-12-15 03:35:11] 675*2^1551182-1 is not prime. Res64: 5A6F202FD379EDA6 Time : 0.0 sec. user=mdettweiler [2019-12-15 03:36:38] 713*2^1551182-1 is not prime. Res64: A06BC1673216B489 Time : 0.0 sec. user=mdettweiler [2019-12-15 03:36:39] 873*2^1551182-1 is not prime. Res64: 920474FE927F06BD Time : 0.0 sec. user=mdettweiler [2019-12-15 03:36:40] 915*2^1551182-1 is not prime. Res64: DFE88AB71469C6CC Time : 0.0 sec. user=mdettweiler [2019-12-15 03:36:41] 945*2^1551182-1 is not prime. Res64: E40D14BB4D7D2868 Time : 0.0 sec. user=mdettweiler [2019-12-15 03:36:42] 987*2^1551182-1 is not prime. Res64: 35DBC521A0DA6A7D Time : 0.0 sec. user=mdettweiler [2019-12-15 04:27:16] 613*2^1551183-1 is not prime. Res64: 683D429ECD943C9C Time : 0.0 sec. user=mdettweiler [2019-12-15 04:27:18] 669*2^1551183-1 is not prime. Res64: 5D3AC8E7EE8750BA Time : 0.0 sec. user=mdettweiler [2019-12-15 04:27:20] 703*2^1551183-1 is not prime. Res64: 9A0855CED07FDD66 Time : 0.0 sec. user=mdettweiler [2019-12-15 04:27:23] 723*2^1551183-1 is not prime. Res64: 9A9D655BA8AC306F Time : 0.0 sec. user=mdettweiler [2019-12-15 04:27:25] 795*2^1551183-1 is not prime. Res64: B4C7E3CB28EC7369 Time : 0.0 sec. user=mdettweiler [2019-12-15 04:30:21] 615*2^1551184-1 is not prime. Res64: D74EB70CD4981214 Time : 0.0 sec. user=mdettweiler [2019-12-15 04:30:24] 635*2^1551184-1 is not prime. Res64: 64FEBE43C39D2F13 Time : 0.0 sec. user=mdettweiler [2019-12-15 04:30:26] 833*2^1551184-1 is not prime. Res64: B2F6FDCDA63D2A48 Time : 0.0 sec. user=mdettweiler [2019-12-15 04:30:28] 899*2^1551184-1 is not prime. Res64: 1D8106701394B221 Time : 0.0 sec. user=mdettweiler [2019-12-15 04:30:31] 959*2^1551184-1 is not prime. Res64: 1B269C983F678E14 Time : 0.0 sec. user=mdettweiler [2019-12-15 05:20:51] 969*2^1551184-1 is not prime. Res64: 9444BB284ADD7F0F Time : 0.0 sec. user=mdettweiler [2019-12-15 05:20:52] 649*2^1551185-1 is not prime. Res64: F67D8360795D58B3 Time : 0.0 sec. user=mdettweiler [2019-12-15 05:20:53] 711*2^1551185-1 is not prime. Res64: 22B5308C92ADCA2E Time : 0.0 sec. user=mdettweiler [2019-12-15 05:20:54] 715*2^1551185-1 is not prime. Res64: A228924DAB0A56DE Time : 0.0 sec. user=mdettweiler [2019-12-15 05:20:54] 735*2^1551185-1 is not prime. Res64: 1D9DA3524F1A0CC0 Time : 0.0 sec. user=mdettweiler [2019-12-15 05:21:58] 741*2^1551185-1 is not prime. Res64: DCC6C9353FCA9A6A Time : 0.0 sec. user=mdettweiler [2019-12-15 05:21:59] 611*2^1551186-1 is not prime. Res64: 86C290D64A29DBDE Time : 0.0 sec. user=mdettweiler [2019-12-15 05:22:00] 657*2^1551186-1 is not prime. Res64: 1B1BB71EB452FF61 Time : 0.0 sec. user=mdettweiler [2019-12-15 05:22:00] 747*2^1551186-1 is not prime. Res64: 847A307CED6CAF03 Time : 0.0 sec. user=mdettweiler [2019-12-15 05:22:01] 765*2^1551186-1 is not prime. Res64: 8B4180861BE739CC Time : 0.0 sec. user=mdettweiler [2019-12-15 06:12:33] 873*2^1551186-1 is not prime. Res64: 97F461D4A7C23BC2 Time : 0.0 sec. user=mdettweiler [2019-12-15 06:12:35] 619*2^1551187-1 is not prime. Res64: A53E75BCF73A77AF Time : 0.0 sec. user=mdettweiler [2019-12-15 06:12:36] 625*2^1551187-1 is not prime. Res64: A67FD84BDE68B94D Time : 0.0 sec. user=mdettweiler [2019-12-15 06:12:37] 693*2^1551187-1 is not prime. Res64: 990F5534BF9EF850 Time : 0.0 sec. user=mdettweiler [2019-12-15 06:12:38] 705*2^1551187-1 is not prime. Res64: 4BFC6A4A10A6F2D2 Time : 0.0 sec. user=mdettweiler [2019-12-15 06:13:53] 793*2^1551187-1 is not prime. Res64: 81E584F4417F7701 Time : 0.0 sec. user=mdettweiler [2019-12-15 06:13:53] 915*2^1551187-1 is not prime. Res64: B2A69F194E144CC5 Time : 0.0 sec. user=mdettweiler [2019-12-15 06:13:54] 629*2^1551188-1 is not prime. Res64: 40A8C61975265C34 Time : 0.0 sec. user=mdettweiler [2019-12-15 06:13:55] 659*2^1551188-1 is not prime. Res64: A5341456E8A9B931 Time : 0.0 sec. user=mdettweiler [2019-12-15 06:13:55] 777*2^1551188-1 is not prime. Res64: 735F1605D6A60349 Time : 0.0 sec. user=mdettweiler [2019-12-15 07:05:06] 691*2^1551189-1 is not prime. Res64: B0ABE60EA29165D8 Time : 0.0 sec. user=mdettweiler [2019-12-15 07:05:10] 709*2^1551189-1 is not prime. Res64: 19B6669E127BD5AB Time : 0.0 sec. user=mdettweiler [2019-12-15 07:05:12] 751*2^1551189-1 is not prime. Res64: 4378EFA8A9A40955 Time : 0.0 sec. user=mdettweiler [2019-12-15 07:05:15] 759*2^1551189-1 is not prime. Res64: EDA4C6338FF4FC47 Time : 0.0 sec. user=mdettweiler [2019-12-15 07:05:18] 789*2^1551189-1 is not prime. Res64: 8574170A6952FBB9 Time : 0.0 sec. user=mdettweiler [2019-12-15 07:05:22] 837*2^1551188-1 is not prime. Res64: 1459F6ED5D409231 Time : 0.0 sec. user=mdettweiler [2019-12-15 07:05:25] 843*2^1551188-1 is not prime. Res64: 80E127C21752D855 Time : 0.0 sec. user=mdettweiler [2019-12-15 07:05:28] 855*2^1551188-1 is not prime. Res64: 1403DEFAF7BCF085 Time : 0.0 sec. user=mdettweiler [2019-12-15 07:05:32] 869*2^1551188-1 is not prime. Res64: DE7794DAAF8387FE Time : 0.0 sec. user=mdettweiler [2019-12-15 07:05:34] 915*2^1551188-1 is not prime. Res64: B7FC0E78BA4A533B Time : 0.0 sec. user=mdettweiler [2019-12-15 07:27:45] 753*2^1551179-1 is not prime. Res64: 4F7C9315A89CECFD Time : 0.0 sec. user=mdettweiler [2019-12-15 07:27:47] 825*2^1551179-1 is not prime. Res64: 8E37E0C13880F0B5 Time : 0.0 sec. user=mdettweiler [2019-12-15 07:57:27] 651*2^1551190-1 is not prime. Res64: 0B2371C7FE6FF8DD Time : 0.0 sec. user=mdettweiler [2019-12-15 07:57:28] 657*2^1551190-1 is not prime. Res64: AC49661C02F6E1A7 Time : 0.0 sec. user=mdettweiler [2019-12-15 07:57:29] 665*2^1551190-1 is not prime. Res64: 95F10D5F91194336 Time : 0.0 sec. user=mdettweiler [2019-12-15 07:57:30] 783*2^1551190-1 is not prime. Res64: 20B75821807729BD Time : 0.0 sec. user=mdettweiler [2019-12-15 07:57:31] 833*2^1551190-1 is not prime. Res64: BCE091D6AA71B53A Time : 0.0 sec. user=mdettweiler [2019-12-15 07:59:23] 835*2^1551189-1 is not prime. Res64: 73FA2542C533E66D Time : 0.0 sec. user=mdettweiler [2019-12-15 07:59:24] 885*2^1551189-1 is not prime. Res64: D3E4A39FC6F0A6E9 Time : 0.0 sec. user=mdettweiler [2019-12-15 07:59:25] 891*2^1551189-1 is not prime. Res64: DE0B5EC9251644C4 Time : 0.0 sec. user=mdettweiler [2019-12-15 07:59:25] 951*2^1551189-1 is not prime. Res64: 9D9181FC6A95257F Time : 0.0 sec. user=mdettweiler [2019-12-15 07:59:26] 611*2^1551190-1 is not prime. Res64: A6C98E415A889C47 Time : 0.0 sec. user=mdettweiler [2019-12-15 08:22:00] 863*2^1551190-1 is not prime. Res64: 1CE22BCF3F1F3970 Time : 0.0 sec. user=mdettweiler [2019-12-15 08:22:01] 933*2^1551190-1 is not prime. Res64: 56FBC890A42C090E Time : 0.0 sec. user=mdettweiler [2019-12-15 08:22:01] 951*2^1551190-1 is not prime. Res64: F6630EB4AC2F3506 Time : 0.0 sec. user=mdettweiler [2019-12-15 08:22:02] 971*2^1551190-1 is not prime. Res64: 73A89F3456906E57 Time : 0.0 sec. user=mdettweiler [2019-12-15 08:22:03] 645*2^1551191-1 is not prime. Res64: B9581B7B3F830EF9 Time : 0.0 sec. user=mdettweiler [2019-12-15 08:49:04] 651*2^1551191-1 is not prime. Res64: E963637641E7BEE2 Time : 0.0 sec. user=mdettweiler [2019-12-15 08:49:05] 759*2^1551191-1 is not prime. Res64: 385A7EF94729B4AE Time : 0.0 sec. user=mdettweiler [2019-12-15 08:49:05] 775*2^1551191-1 is not prime. Res64: 23C6E63D1545E8A4 Time : 0.0 sec. user=mdettweiler [2019-12-15 08:49:06] 805*2^1551191-1 is not prime. Res64: 257BEC7BF57A3D4F Time : 0.0 sec. user=mdettweiler [2019-12-15 08:49:07] 825*2^1551191-1 is not prime. Res64: 027D2182E85D5B37 Time : 0.0 sec. user=mdettweiler [2019-12-15 08:52:16] 879*2^1551191-1 is not prime. Res64: ABDF01BDC7CC6CE3 Time : 0.0 sec. user=mdettweiler [2019-12-15 08:52:17] 955*2^1551191-1 is not prime. Res64: C119019F502B066C Time : 0.0 sec. user=mdettweiler [2019-12-15 08:52:18] 699*2^1551192-1 is not prime. Res64: 4D738ACCE7452824 Time : 0.0 sec. user=mdettweiler [2019-12-15 08:52:19] 725*2^1551192-1 is not prime. Res64: C24BDACABE1B0BAD Time : 0.0 sec. user=mdettweiler [2019-12-15 08:52:20] 797*2^1551192-1 is not prime. Res64: F5698B670736F0AF Time : 0.0 sec. user=mdettweiler [2019-12-15 09:16:38] 873*2^1551192-1 is not prime. Res64: E9AF3F3B7503106D Time : 0.0 sec. user=mdettweiler [2019-12-15 09:16:39] 879*2^1551192-1 is not prime. Res64: 3DD8FE954DA569E8 Time : 0.0 sec. user=mdettweiler [2019-12-15 09:16:40] 903*2^1551192-1 is not prime. Res64: 93821D3788AD64E8 Time : 0.0 sec. user=mdettweiler [2019-12-15 09:16:41] 959*2^1551192-1 is not prime. Res64: B371D469D5F80A76 Time : 0.0 sec. user=mdettweiler [2019-12-15 09:16:42] 975*2^1551192-1 is not prime. Res64: 5CC5E797897E1D61 Time : 0.0 sec. user=mdettweiler [2019-12-15 09:40:58] 649*2^1551193-1 is not prime. Res64: B32AB6A1923F26DF Time : 0.0 sec. user=mdettweiler [2019-12-15 09:40:59] 751*2^1551193-1 is not prime. Res64: 550CE046AACB5DD6 Time : 0.0 sec. user=mdettweiler [2019-12-15 09:40:59] 831*2^1551193-1 is not prime. Res64: 2D9761778C03BB3A Time : 0.0 sec. user=mdettweiler [2019-12-15 09:41:00] 855*2^1551193-1 is not prime. Res64: FF9BD72FB6AAAD9F Time : 0.0 sec. user=mdettweiler [2019-12-15 09:41:01] 877*2^1551193-1 is not prime. Res64: 8FAF3D6E6C3A7615 Time : 0.0 sec. user=mdettweiler [2019-12-15 09:47:57] 885*2^1551193-1 is not prime. Res64: 761A946A5D58103C Time : 0.0 sec. user=mdettweiler [2019-12-15 09:47:58] 897*2^1551193-1 is not prime. Res64: D79C7697BDFFB8FE Time : 0.0 sec. user=mdettweiler [2019-12-15 09:47:58] 957*2^1551193-1 is not prime. Res64: 76B7A64E2D1A932B Time : 0.0 sec. user=mdettweiler [2019-12-15 09:47:58] 981*2^1551193-1 is not prime. Res64: F2EAEC7E9EE2375D Time : 0.0 sec. user=mdettweiler [2019-12-15 09:47:59] 985*2^1551193-1 is not prime. Res64: E959634F2747FD22 Time : 0.0 sec. user=mdettweiler [2019-12-15 10:07:48] 741*2^1551194-1 is not prime. Res64: 463DCE7F5564BE7E Time : 0.0 sec. user=mdettweiler [2019-12-15 10:07:52] 747*2^1551194-1 is not prime. Res64: 9A4D9C18BED89531 Time : 0.0 sec. user=mdettweiler [2019-12-15 10:07:56] 767*2^1551194-1 is not prime. Res64: 3BEC836904932C1E Time : 0.0 sec. user=mdettweiler [2019-12-15 10:07:59] 783*2^1551194-1 is not prime. Res64: 59DC86AA9779E504 Time : 0.0 sec. user=mdettweiler [2019-12-15 10:08:04] 791*2^1551194-1 is not prime. Res64: C1051A8EF238C42F Time : 0.0 sec. user=mdettweiler [2019-12-15 10:33:12] 833*2^1551194-1 is not prime. Res64: 3AA6894DDB66DC56 Time : 0.0 sec. user=mdettweiler [2019-12-15 10:33:12] 873*2^1551194-1 is not prime. Res64: 7E1419C83A1558F7 Time : 0.0 sec. user=mdettweiler [2019-12-15 10:33:13] 885*2^1551194-1 is not prime. Res64: 520B8DC4D913327A Time : 0.0 sec. user=mdettweiler [2019-12-15 10:33:14] 927*2^1551194-1 is not prime. Res64: EB5284102423CF84 Time : 0.0 sec. user=mdettweiler [2019-12-15 10:33:14] 601*2^1551195-1 is not prime. Res64: D502294AA0B22E7C Time : 0.0 sec. user=mdettweiler [2019-12-15 10:39:28] 669*2^1551195-1 is not prime. Res64: 75CCFA26AC6849A8 Time : 0.0 sec. user=mdettweiler [2019-12-15 10:39:30] 723*2^1551195-1 is not prime. Res64: 490C2024FA2FDFFF Time : 0.0 sec. user=mdettweiler [2019-12-15 10:39:31] 775*2^1551195-1 is not prime. Res64: F0E34B83BD5946E6 Time : 0.0 sec. user=mdettweiler [2019-12-15 10:39:32] 819*2^1551195-1 is not prime. Res64: 69362E4FE9EE80DD Time : 0.0 sec. user=mdettweiler [2019-12-15 10:39:34] 861*2^1551195-1 is not prime. Res64: F6A97CC92FC7016F Time : 0.0 sec. user=mdettweiler [2019-12-15 11:02:31] 961*2^1551195-1 is not prime. Res64: C4039CFDA2CACBC9 Time : 0.0 sec. user=mdettweiler [2019-12-15 11:02:34] 969*2^1551195-1 is not prime. Res64: 2AB701062D61E9DE Time : 0.0 sec. user=mdettweiler [2019-12-15 11:02:36] 639*2^1551196-1 is not prime. Res64: 9CB580B8F78CDF9F Time : 0.0 sec. user=mdettweiler [2019-12-15 11:02:38] 699*2^1551196-1 is not prime. Res64: C31008A5BD0B6434 Time : 0.0 sec. user=mdettweiler [2019-12-15 11:02:40] 705*2^1551196-1 is not prime. Res64: 2384F8082129ACDF Time : 0.0 sec. user=mdettweiler [2019-12-15 11:26:09] 843*2^1551196-1 is not prime. Res64: C2CDA962EDDBC69D Time : 0.0 sec. user=mdettweiler [2019-12-15 11:26:10] 999*2^1551196-1 is not prime. Res64: C9D095A013E6D4E8 Time : 0.0 sec. user=mdettweiler [2019-12-15 11:26:12] 621*2^1551197-1 is not prime. Res64: FA55641DC6198191 Time : 0.0 sec. user=mdettweiler [2019-12-15 11:26:13] 711*2^1551197-1 is not prime. Res64: DE5CEF7AB419ABEF Time : 0.0 sec. user=mdettweiler [2019-12-15 11:26:14] 795*2^1551197-1 is not prime. Res64: 0B52C97DA4D7B777 Time : 0.0 sec. user=mdettweiler [2019-12-15 11:30:27] 641*2^1551198-1 is not prime. Res64: D0B8EF5CB4405DE7 Time : 0.0 sec. user=mdettweiler [2019-12-15 11:30:27] 657*2^1551198-1 is not prime. Res64: B70FFD8CC489FB98 Time : 0.0 sec. user=mdettweiler [2019-12-15 11:30:28] 695*2^1551198-1 is not prime. Res64: FFD76CFD64B30EB9 Time : 0.0 sec. user=mdettweiler [2019-12-15 11:30:28] 755*2^1551198-1 is not prime. Res64: FA6F3925C755BE5F Time : 0.0 sec. user=mdettweiler [2019-12-15 11:30:29] 761*2^1551198-1 is not prime. Res64: 18557BDB0B344E66 Time : 0.0 sec. user=mdettweiler [2019-12-15 11:56:20] 791*2^1551198-1 is not prime. Res64: FC56FEC935C91F7B Time : 0.0 sec. user=mdettweiler [2019-12-15 11:56:21] 861*2^1551198-1 is not prime. Res64: 94D8173D3594397C Time : 0.0 sec. user=mdettweiler [2019-12-15 11:56:21] 863*2^1551198-1 is not prime. Res64: 34B2C24DB7271604 Time : 0.0 sec. user=mdettweiler [2019-12-15 11:56:22] 933*2^1551198-1 is not prime. Res64: B36D89FF06F3506F Time : 0.0 sec. user=mdettweiler [2019-12-15 11:56:23] 971*2^1551198-1 is not prime. Res64: 81C8C6930E193D9A Time : 0.0 sec. user=mdettweiler [2019-12-15 12:17:32] 663*2^1551199-1 is not prime. Res64: E8DA2005675965A3 Time : 0.0 sec. user=mdettweiler [2019-12-15 12:17:33] 675*2^1551199-1 is not prime. Res64: 7740A1DAB6553173 Time : 0.0 sec. user=mdettweiler [2019-12-15 12:17:34] 741*2^1551199-1 is not prime. Res64: 647AD52D0D242D70 Time : 0.0 sec. user=mdettweiler [2019-12-15 12:17:34] 769*2^1551199-1 is not prime. Res64: 8F573D659DD041FB Time : 0.0 sec. user=mdettweiler [2019-12-15 12:17:35] 831*2^1551199-1 is not prime. Res64: 19213D6C554A11C9 Time : 0.0 sec. user=mdettweiler [2019-12-15 12:26:11] 853*2^1551199-1 is not prime. Res64: A902DC8E62E31941 Time : 0.0 sec. user=mdettweiler [2019-12-15 12:26:12] 895*2^1551199-1 is not prime. Res64: 737110AB64CE2D06 Time : 0.0 sec. user=mdettweiler [2019-12-15 12:26:12] 951*2^1551199-1 is not prime. Res64: F34A22C871A19D30 Time : 0.0 sec. user=mdettweiler [2019-12-15 12:26:13] 975*2^1551199-1 is not prime. Res64: C76F2F78A9A42D78 Time : 0.0 sec. user=mdettweiler [2019-12-15 12:26:14] 979*2^1551199-1 is not prime. Res64: 306F5A10BF7B14E2 Time : 0.0 sec. user=mdettweiler [2019-12-15 12:48:29] 635*2^1551200-1 is not prime. Res64: 87DDD583CE9126CB Time : 0.0 sec. user=mdettweiler [2019-12-15 12:48:30] 699*2^1551200-1 is not prime. Res64: 8333D82B329A9120 Time : 0.0 sec. user=mdettweiler [2019-12-15 12:48:31] 753*2^1551200-1 is not prime. Res64: 1B7CFEF199F57A5D Time : 0.0 sec. user=mdettweiler [2019-12-15 12:48:31] 843*2^1551200-1 is not prime. Res64: 16CC3BFFEE32A82B Time : 0.0 sec. user=mdettweiler [2019-12-15 12:48:32] 875*2^1551200-1 is not prime. Res64: DEA103526ABCBAB6 Time : 0.0 sec. user=mdettweiler [2019-12-15 13:10:17] 691*2^1551201-1 is not prime. Res64: 22A294A38D959F9E Time : 0.0 sec. user=mdettweiler [2019-12-15 13:10:19] 741*2^1551201-1 is not prime. Res64: 8F16FD914B306A5F Time : 0.0 sec. user=mdettweiler [2019-12-15 13:10:21] 805*2^1551201-1 is not prime. Res64: 74FE260941F39353 Time : 0.0 sec. user=mdettweiler [2019-12-15 13:10:22] 837*2^1551201-1 is not prime. Res64: 82C774222DA21F6B Time : 0.0 sec. user=mdettweiler [2019-12-15 13:10:23] 909*2^1551201-1 is not prime. Res64: DC6CF1950A520E82 Time : 0.0 sec. user=mdettweiler [2019-12-15 13:20:59] 987*2^1551201-1 is not prime. Res64: A1D6B146EB87D11B Time : 0.0 sec. user=mdettweiler [2019-12-15 13:21:00] 991*2^1551201-1 is not prime. Res64: 7052F30FA61DCF3D Time : 0.0 sec. user=mdettweiler [2019-12-15 13:21:01] 675*2^1551202-1 is not prime. Res64: F24423AD5789CFB9 Time : 0.0 sec. user=mdettweiler [2019-12-15 13:21:02] 677*2^1551202-1 is not prime. Res64: D68915BEDACD1528 Time : 0.0 sec. user=mdettweiler [2019-12-15 13:21:03] 681*2^1551202-1 is not prime. Res64: 07C51521680C1094 Time : 0.0 sec. user=mdettweiler [2019-12-15 13:41:46] 741*2^1551202-1 is not prime. Res64: A6F26CDF19E663AD Time : 0.0 sec. user=mdettweiler [2019-12-15 13:41:47] 827*2^1551202-1 is not prime. Res64: 5EF338EA7DC19D19 Time : 0.0 sec. user=mdettweiler [2019-12-15 13:41:48] 881*2^1551202-1 is not prime. Res64: EAAF325F2BF9017C Time : 0.0 sec. user=mdettweiler [2019-12-15 13:41:48] 885*2^1551202-1 is not prime. Res64: 016D14BEF4E1776F Time : 0.0 sec. user=mdettweiler [2019-12-15 13:41:49] 891*2^1551202-1 is not prime. Res64: 1AE0AF5EAC284851 Time : 0.0 sec. user=mdettweiler [2019-12-15 14:05:25] 981*2^1551202-1 is not prime. Res64: 59259DEEC8C119C3 Time : 0.0 sec. user=mdettweiler [2019-12-15 14:05:28] 603*2^1551203-1 is not prime. Res64: 8070D048037CDCB2 Time : 0.0 sec. user=mdettweiler [2019-12-15 14:05:31] 643*2^1551203-1 is not prime. Res64: BE54175AA303A187 Time : 0.0 sec. user=mdettweiler [2019-12-15 14:05:35] 741*2^1551203-1 is not prime. Res64: 22AA449278956BAB Time : 0.0 sec. user=mdettweiler [2019-12-15 14:05:38] 945*2^1551203-1 is not prime. Res64: E2F27B96C5FD3EF5 Time : 0.0 sec. user=mdettweiler [2019-12-15 14:17:46] 955*2^1551203-1 is not prime. Res64: CE56A61D505DD1A9 Time : 0.0 sec. user=mdettweiler [2019-12-15 14:17:47] 981*2^1551203-1 is not prime. Res64: CF31E73F2131F6AB Time : 0.0 sec. user=mdettweiler [2019-12-15 14:17:48] 707*2^1551204-1 is not prime. Res64: BAE0EB605CEA395D Time : 0.0 sec. user=mdettweiler [2019-12-15 14:17:48] 927*2^1551204-1 is not prime. Res64: 671644EE70853617 Time : 0.0 sec. user=mdettweiler [2019-12-15 14:17:49] 959*2^1551204-1 is not prime. Res64: 7414EC00466BAE63 Time : 0.0 sec. user=mdettweiler [2019-12-15 14:36:19] 993*2^1551204-1 is not prime. Res64: DCC8D44BFDCAF4C5 Time : 0.0 sec. user=mdettweiler [2019-12-15 14:36:21] 757*2^1551205-1 is not prime. Res64: EA355CC2EDDB7060 Time : 0.0 sec. user=mdettweiler [2019-12-15 14:36:22] 777*2^1551205-1 is not prime. Res64: 942AF9DFB0B7D466 Time : 0.0 sec. user=mdettweiler [2019-12-15 14:36:22] 955*2^1551205-1 is not prime. Res64: 1E0C7F27C90644AF Time : 0.0 sec. user=mdettweiler [2019-12-15 14:36:24] 677*2^1551206-1 is not prime. Res64: 718CD2493003D9E7 Time : 0.0 sec. user=mdettweiler [2019-12-15 14:59:17] 693*2^1551206-1 is not prime. Res64: F0855D21798DF06F Time : 0.0 sec. user=mdettweiler [2019-12-15 14:59:18] 861*2^1551206-1 is not prime. Res64: 73EC5A2415A3B945 Time : 0.0 sec. user=mdettweiler [2019-12-15 14:59:18] 873*2^1551206-1 is not prime. Res64: 27EF95950D2B665D Time : 0.0 sec. user=mdettweiler [2019-12-15 14:59:19] 739*2^1551207-1 is not prime. Res64: ECB748AAF419406A Time : 0.0 sec. user=mdettweiler [2019-12-15 14:59:20] 751*2^1551207-1 is not prime. Res64: 496BC03E9307F483 Time : 0.0 sec. user=mdettweiler [2019-12-15 15:10:29] 885*2^1551207-1 is not prime. Res64: BB0A8FAA9D4F9343 Time : 0.0 sec. user=mdettweiler [2019-12-15 15:10:30] 909*2^1551207-1 is not prime. Res64: ACB0932A049DD9AD Time : 0.0 sec. user=mdettweiler [2019-12-15 15:10:30] 875*2^1551208-1 is not prime. Res64: CCC0766157413E88 Time : 0.0 sec. user=mdettweiler [2019-12-15 15:10:31] 915*2^1551208-1 is not prime. Res64: 0FDFB9B0634CCB4A Time : 0.0 sec. user=mdettweiler [2019-12-15 15:10:31] 927*2^1551208-1 is not prime. Res64: D2A210F54C667521 Time : 0.0 sec. user=mdettweiler [2019-12-15 15:27:41] 735*2^1551209-1 is not prime. Res64: BEBBBDF51332DB54 Time : 0.0 sec. user=mdettweiler [2019-12-15 15:27:41] 741*2^1551209-1 is not prime. Res64: E7CA7C2EFA631FD0 Time : 0.0 sec. user=mdettweiler [2019-12-15 15:27:42] 747*2^1551209-1 is not prime. Res64: B8CEC539D9C73413 Time : 0.0 sec. user=mdettweiler [2019-12-15 15:27:42] 787*2^1551209-1 is not prime. Res64: 26F7665EEE55C569 Time : 0.0 sec. user=mdettweiler [2019-12-15 15:27:43] 889*2^1551209-1 is not prime. Res64: 2A016326C911C4EC Time : 0.0 sec. user=mdettweiler [2019-12-15 15:52:30] 897*2^1551209-1 is not prime. Res64: 8E6DF91A23B0A93F Time : 0.0 sec. user=mdettweiler [2019-12-15 15:52:31] 931*2^1551209-1 is not prime. Res64: 2DA8F5C359E3CF0B Time : 0.0 sec. user=mdettweiler [2019-12-15 15:52:31] 939*2^1551209-1 is not prime. Res64: 17F8E8445F1620A4 Time : 0.0 sec. user=mdettweiler [2019-12-15 15:52:32] 949*2^1551209-1 is not prime. Res64: A9CD043865C05838 Time : 0.0 sec. user=mdettweiler [2019-12-15 15:52:33] 635*2^1551210-1 is not prime. Res64: ADFCC908032DDEA2 Time : 0.0 sec. user=mdettweiler [2019-12-15 16:02:01] 647*2^1551210-1 is not prime. Res64: 6FE21C92FE6CEF58 Time : 0.0 sec. user=mdettweiler [2019-12-15 16:02:02] 653*2^1551210-1 is not prime. Res64: F0A073C4B7EE990B Time : 0.0 sec. user=mdettweiler [2019-12-15 16:02:04] 783*2^1551210-1 is not prime. Res64: 8FAF8CB56B325015 Time : 0.0 sec. user=mdettweiler [2019-12-15 16:02:06] 887*2^1551210-1 is not prime. Res64: 09F99A3FA044C213 Time : 0.0 sec. user=mdettweiler [2019-12-15 16:02:08] 921*2^1551210-1 is not prime. Res64: FA767F1C7677F5CA Time : 0.0 sec. user=mdettweiler [2019-12-15 16:21:22] 971*2^1551210-1 is not prime. Res64: 04F142D004A5FACD Time : 0.0 sec. user=mdettweiler [2019-12-15 16:21:23] 977*2^1551210-1 is not prime. Res64: EF246F9D267F97A7 Time : 0.0 sec. user=mdettweiler [2019-12-15 16:21:25] 615*2^1551211-1 is not prime. Res64: BE41F348631B8A9D Time : 0.0 sec. user=mdettweiler [2019-12-15 16:21:26] 625*2^1551211-1 is not prime. Res64: CFADB27E92175C6D Time : 0.0 sec. user=mdettweiler [2019-12-15 16:21:28] 639*2^1551211-1 is not prime. Res64: 260EA3373E826CF1 Time : 0.0 sec. user=mdettweiler [2019-12-15 16:44:06] 675*2^1551211-1 is not prime. Res64: B880ABAC594ABB4A Time : 0.0 sec. user=mdettweiler [2019-12-15 16:44:06] 723*2^1551211-1 is not prime. Res64: AFEFAB2541FBAA3A Time : 0.0 sec. user=mdettweiler [2019-12-15 16:44:07] 789*2^1551211-1 is not prime. Res64: 8011B166F4CFFA56 Time : 0.0 sec. user=mdettweiler [2019-12-15 16:44:08] 843*2^1551211-1 is not prime. Res64: EA7898BF62E2863F Time : 0.0 sec. user=mdettweiler [2019-12-15 16:44:08] 859*2^1551211-1 is not prime. Res64: F4210F183B53B646 Time : 0.0 sec. user=mdettweiler [2019-12-15 16:56:45] 885*2^1551211-1 is not prime. Res64: D39CC408ECBA7C30 Time : 0.0 sec. user=mdettweiler [2019-12-15 16:56:46] 969*2^1551211-1 is not prime. Res64: 364FF23565F5BA12 Time : 0.0 sec. user=mdettweiler [2019-12-15 16:56:46] 993*2^1551211-1 is not prime. Res64: 21694271F70130DC Time : 0.0 sec. user=mdettweiler [2019-12-15 16:56:47] 603*2^1551212-1 is not prime. Res64: 54FA263448AC96FE Time : 0.0 sec. user=mdettweiler [2019-12-15 16:56:48] 699*2^1551212-1 is not prime. Res64: 70DA0182B47B006D Time : 0.0 sec. user=mdettweiler [2019-12-15 17:15:18] 813*2^1551212-1 is not prime. Res64: A86E60D13F766D66 Time : 0.0 sec. user=mdettweiler [2019-12-15 17:15:19] 885*2^1551212-1 is not prime. Res64: 9B1288D392C3C9B8 Time : 0.0 sec. user=mdettweiler [2019-12-15 17:15:20] 897*2^1551212-1 is not prime. Res64: BF74E2BFF807694D Time : 0.0 sec. user=mdettweiler [2019-12-15 17:15:21] 899*2^1551212-1 is not prime. Res64: 6290269011A9C4FA Time : 0.0 sec. user=mdettweiler [2019-12-15 17:15:22] 999*2^1551212-1 is not prime. Res64: 52DE582D16A5DD56 Time : 0.0 sec. user=mdettweiler [2019-12-15 17:35:41] 639*2^1551213-1 is not prime. Res64: 64B06D83179B89A7 Time : 0.0 sec. user=mdettweiler [2019-12-15 17:35:41] 669*2^1551213-1 is not prime. Res64: A92181CF670DEFFA Time : 0.0 sec. user=mdettweiler [2019-12-15 17:35:42] 847*2^1551213-1 is not prime. Res64: 3C5C50EA89E58980 Time : 0.0 sec. user=mdettweiler [2019-12-15 17:35:43] 915*2^1551213-1 is not prime. Res64: 3EAE07772305177A Time : 0.0 sec. user=mdettweiler [2019-12-15 17:35:43] 675*2^1551214-1 is not prime. Res64: 857414E5F72ACE3A Time : 0.0 sec. user=mdettweiler [2019-12-15 17:51:02] 765*2^1551214-1 is not prime. Res64: 2CC3EBD311811453 Time : 0.0 sec. user=mdettweiler [2019-12-15 17:51:03] 827*2^1551214-1 is not prime. Res64: 8C92F497960988F3 Time : 0.0 sec. user=mdettweiler [2019-12-15 17:51:03] 857*2^1551214-1 is not prime. Res64: 76342384C25F425E Time : 0.0 sec. user=mdettweiler [2019-12-15 17:51:04] 975*2^1551214-1 is not prime. Res64: 7F0FA220753D66B3 Time : 0.0 sec. user=mdettweiler [2019-12-15 17:51:05] 987*2^1551214-1 is not prime. Res64: 6FA2BD19FA46E158 Time : 0.0 sec. user=mdettweiler [2019-12-15 18:06:44] 609*2^1551215-1 is not prime. Res64: ED4CA84FAB3A65E3 Time : 0.0 sec. user=mdettweiler [2019-12-15 18:06:47] 643*2^1551215-1 is not prime. Res64: 9EDCBF4553A90AF3 Time : 0.0 sec. user=mdettweiler [2019-12-15 18:06:50] 685*2^1551215-1 is not prime. Res64: 89311822F1561918 Time : 0.0 sec. user=mdettweiler [2019-12-15 18:06:53] 781*2^1551215-1 is not prime. Res64: 391B57CA41489E63 Time : 0.0 sec. user=mdettweiler [2019-12-15 18:06:55] 889*2^1551215-1 is not prime. Res64: 12FE6DFEE7F31FF2 Time : 0.0 sec. user=mdettweiler [2019-12-15 18:28:44] 999*2^1551215-1 is not prime. Res64: 57C7E1D3C08E3025 Time : 0.0 sec. user=mdettweiler [2019-12-15 18:28:46] 635*2^1551216-1 is not prime. Res64: E2B6C78921EF53AD Time : 0.0 sec. user=mdettweiler [2019-12-15 18:28:47] 695*2^1551216-1 is not prime. Res64: FF51B0BD8D5EF2E8 Time : 0.0 sec. user=mdettweiler [2019-12-15 18:28:48] 845*2^1551216-1 is not prime. Res64: D753C980BE8DA954 Time : 0.0 sec. user=mdettweiler [2019-12-15 18:28:49] 857*2^1551216-1 is not prime. Res64: 60891A6F544083A6 Time : 0.0 sec. user=mdettweiler [2019-12-15 18:42:58] 899*2^1551216-1 is not prime. Res64: CE4BEDFAC7773743 Time : 0.0 sec. user=mdettweiler [2019-12-15 18:42:59] 927*2^1551216-1 is not prime. Res64: CE8CC625DED9DCCE Time : 0.0 sec. user=mdettweiler [2019-12-15 18:43:00] 607*2^1551217-1 is not prime. Res64: F05E327405FCC236 Time : 0.0 sec. user=mdettweiler [2019-12-15 18:43:00] 741*2^1551217-1 is not prime. Res64: A86A0FBFB5E3D3F8 Time : 0.0 sec. user=mdettweiler [2019-12-15 18:43:01] 799*2^1551217-1 is not prime. Res64: 48F4906FDC7912BD Time : 0.0 sec. user=mdettweiler [2019-12-15 19:00:09] 817*2^1551217-1 is not prime. Res64: 85316E45AD604086 Time : 0.0 sec. user=mdettweiler [2019-12-15 19:00:12] 829*2^1551217-1 is not prime. Res64: 82C226B131A24EF4 Time : 0.0 sec. user=mdettweiler [2019-12-15 19:00:14] 895*2^1551217-1 is not prime. Res64: BEF616221C6E088C Time : 0.0 sec. user=mdettweiler [2019-12-15 19:00:15] 915*2^1551217-1 is not prime. Res64: CFDCA8024EEBA20F Time : 0.0 sec. user=mdettweiler [2019-12-15 19:00:16] 937*2^1551217-1 is not prime. Res64: F7885404F51834AA Time : 0.0 sec. user=mdettweiler [2019-12-15 19:20:27] 603*2^1551218-1 is not prime. Res64: 2FE70C4D1FA6332E Time : 0.0 sec. user=mdettweiler [2019-12-15 19:20:28] 657*2^1551218-1 is not prime. Res64: 8920B5485E0A5336 Time : 0.0 sec. user=mdettweiler [2019-12-15 19:20:28] 743*2^1551218-1 is not prime. Res64: DD30E2DD33CB166E Time : 0.0 sec. user=mdettweiler [2019-12-15 19:20:29] 827*2^1551218-1 is not prime. Res64: E40A0262BF40EEF4 Time : 0.0 sec. user=mdettweiler [2019-12-15 19:20:30] 831*2^1551218-1 is not prime. Res64: D853735A93D1B697 Time : 0.0 sec. user=mdettweiler [2019-12-15 19:35:37] 867*2^1551218-1 is not prime. Res64: 31D658D9B2FA82CF Time : 0.0 sec. user=mdettweiler [2019-12-15 19:35:38] 957*2^1551218-1 is not prime. Res64: 9AF184F7D09FC580 Time : 0.0 sec. user=mdettweiler [2019-12-15 19:35:39] 663*2^1551219-1 is not prime. Res64: 172BFBB43164C863 Time : 0.0 sec. user=mdettweiler [2019-12-15 19:35:40] 675*2^1551219-1 is not prime. Res64: DF95DF468ADCCF09 Time : 0.0 sec. user=mdettweiler [2019-12-15 19:35:40] 703*2^1551219-1 is not prime. Res64: 894F5306C43E152D Time : 0.0 sec. user=mdettweiler [2019-12-15 19:54:05] 751*2^1551219-1 is not prime. Res64: 59D3530F83C3EDC2 Time : 0.0 sec. user=mdettweiler [2019-12-15 19:54:06] 753*2^1551219-1 is not prime. Res64: 689E5F0EB3FED563 Time : 0.0 sec. user=mdettweiler [2019-12-15 19:54:06] 801*2^1551219-1 is not prime. Res64: 5D6F8AD9EC8638BD Time : 0.0 sec. user=mdettweiler [2019-12-15 19:54:07] 873*2^1551219-1 is not prime. Res64: 2A1898CEB7EF561C Time : 0.0 sec. user=mdettweiler [2019-12-15 19:54:08] 949*2^1551219-1 is not prime. Res64: 99E83B08F5374FE1 Time : 0.0 sec. user=mdettweiler [2019-12-15 20:12:16] 647*2^1551220-1 is not prime. Res64: CA16C2A3A1DCA5C1 Time : 0.0 sec. user=mdettweiler [2019-12-15 20:12:20] 687*2^1551220-1 is not prime. Res64: 137334186018F08A Time : 0.0 sec. user=mdettweiler [2019-12-15 20:12:23] 719*2^1551220-1 is not prime. Res64: 84AEC392CA2A91F4 Time : 0.0 sec. user=mdettweiler [2019-12-15 20:12:30] 845*2^1551220-1 is not prime. Res64: 24F08846EEDDEB28 Time : 0.0 sec. user=mdettweiler [2019-12-15 20:12:33] 933*2^1551220-1 is not prime. Res64: 3E8130686FAF0AA2 Time : 0.0 sec. user=mdettweiler [2019-12-15 20:27:16] 607*2^1551221-1 is not prime. Res64: 016D9121B81374E7 Time : 0.0 sec. user=mdettweiler [2019-12-15 20:27:17] 697*2^1551221-1 is not prime. Res64: 62A2D58CEF813B02 Time : 0.0 sec. user=mdettweiler [2019-12-15 20:27:18] 889*2^1551221-1 is not prime. Res64: 5218924E81D1F301 Time : 0.0 sec. user=mdettweiler [2019-12-15 20:27:19] 907*2^1551221-1 is not prime. Res64: 166B88F824BF3613 Time : 0.0 sec. user=mdettweiler [2019-12-15 20:27:19] 651*2^1551222-1 is not prime. Res64: 478200614725A969 Time : 0.0 sec. user=mdettweiler [2019-12-15 20:46:02] 693*2^1551222-1 is not prime. Res64: 9970A9EEA183A1D8 Time : 0.0 sec. user=mdettweiler [2019-12-15 20:46:03] 741*2^1551222-1 is not prime. Res64: B811278D6C257DCC Time : 0.0 sec. user=mdettweiler [2019-12-15 20:46:05] 797*2^1551222-1 is not prime. Res64: F147303040293820 Time : 0.0 sec. user=mdettweiler [2019-12-15 20:46:07] 915*2^1551222-1 is not prime. Res64: 809BDE674F416586 Time : 0.0 sec. user=mdettweiler [2019-12-15 20:46:08] 923*2^1551222-1 is not prime. Res64: 7BD7C842DE16755F Time : 0.0 sec. user=mdettweiler [2019-12-15 21:05:12] 765*2^1551223-1 is not prime. Res64: DA18E21B0691BD4A Time : 0.0 sec. user=mdettweiler [2019-12-15 21:05:15] 783*2^1551223-1 is not prime. Res64: 8F34A73D11D55DE4 Time : 0.0 sec. user=mdettweiler [2019-12-15 21:05:17] 861*2^1551223-1 is not prime. Res64: 6696334BC82A152B Time : 0.0 sec. user=mdettweiler [2019-12-15 21:05:18] 919*2^1551223-1 is not prime. Res64: B09D966B8AD4B255 Time : 0.0 sec. user=mdettweiler [2019-12-15 21:05:21] 939*2^1551223-1 is not prime. Res64: CF5E642D3CBEA0D6 Time : 0.0 sec. user=mdettweiler [2019-12-15 21:18:55] 659*2^1551224-1 is not prime. Res64: 2A4A00815131C0F9 Time : 0.0 sec. user=mdettweiler [2019-12-15 21:18:56] 717*2^1551224-1 is not prime. Res64: DAC2B958082462EA Time : 0.0 sec. user=mdettweiler [2019-12-15 21:18:57] 753*2^1551224-1 is not prime. Res64: BBE405EFED3F09C4 Time : 0.0 sec. user=mdettweiler [2019-12-15 21:18:57] 827*2^1551224-1 is not prime. Res64: A2B956ED383A61F6 Time : 0.0 sec. user=mdettweiler [2019-12-15 21:18:58] 869*2^1551224-1 is not prime. Res64: 43A8E07801EE08F4 Time : 0.0 sec. user=mdettweiler [2019-12-15 21:39:22] 893*2^1551224-1 is not prime. Res64: B3618D7FAAD2EDE5 Time : 0.0 sec. user=mdettweiler [2019-12-15 21:39:23] 923*2^1551224-1 is not prime. Res64: AB05D1A4BB684F4D Time : 0.0 sec. user=mdettweiler [2019-12-15 21:39:23] 741*2^1551225-1 is not prime. Res64: F0CBBA92FDB49714 Time : 0.0 sec. user=mdettweiler [2019-12-15 21:39:24] 991*2^1551225-1 is not prime. Res64: B964182E55CAA827 Time : 0.0 sec. user=mdettweiler [2019-12-15 21:39:25] 603*2^1551226-1 is not prime. Res64: 2FF9F104BB24E969 Time : 0.0 sec. user=mdettweiler [2019-12-15 21:57:11] 617*2^1551226-1 is not prime. Res64: 8E56E178968291F6 Time : 0.0 sec. user=mdettweiler [2019-12-15 21:57:12] 623*2^1551226-1 is not prime. Res64: AE0FDB22F310F4D2 Time : 0.0 sec. user=mdettweiler [2019-12-15 21:57:12] 675*2^1551226-1 is not prime. Res64: 41DC6F6E0A9FC40D Time : 0.0 sec. user=mdettweiler [2019-12-15 21:57:13] 765*2^1551226-1 is not prime. Res64: CE1A895F6A2B1A48 Time : 0.0 sec. user=mdettweiler [2019-12-15 21:57:14] 813*2^1551226-1 is not prime. Res64: C92FEF8648405510 Time : 0.0 sec. user=mdettweiler [2019-12-15 22:12:12] 911*2^1551226-1 is not prime. Res64: FF97A9138EBD6EEF Time : 0.0 sec. user=mdettweiler [2019-12-15 22:12:15] 933*2^1551226-1 is not prime. Res64: F1952B4BC4AB5593 Time : 0.0 sec. user=mdettweiler [2019-12-15 22:12:17] 987*2^1551226-1 is not prime. Res64: 8D8AF0B7FCFEEFCA Time : 0.0 sec. user=mdettweiler [2019-12-15 22:12:19] 699*2^1551227-1 is not prime. Res64: A63012B7AFE67DD0 Time : 0.0 sec. user=mdettweiler [2019-12-15 22:12:21] 879*2^1551227-1 is not prime. Res64: 97524D99C679759F Time : 0.0 sec. user=mdettweiler [2019-12-15 22:31:45] 985*2^1551227-1 is not prime. Res64: CF2D1312A5E22997 Time : 0.0 sec. user=mdettweiler [2019-12-15 22:31:46] 663*2^1551228-1 is not prime. Res64: 4EB1D07F6F4F486B Time : 0.0 sec. user=mdettweiler [2019-12-15 22:31:47] 753*2^1551228-1 is not prime. Res64: 8DA7E8462EC3470A Time : 0.0 sec. user=mdettweiler [2019-12-15 22:31:47] 619*2^1551229-1 is not prime. Res64: 305BC81F8C49FB5B Time : 0.0 sec. user=mdettweiler [2019-12-15 22:31:48] 639*2^1551229-1 is not prime. Res64: B1E1669FE08255DC Time : 0.0 sec. user=mdettweiler [2019-12-15 22:50:05] 681*2^1551229-1 is not prime. Res64: 1EBA2586A3EE2E53 Time : 0.0 sec. user=mdettweiler [2019-12-15 22:50:06] 759*2^1551229-1 is not prime. Res64: 1670B678AE10A71D Time : 0.0 sec. user=mdettweiler [2019-12-15 22:50:06] 799*2^1551229-1 is not prime. Res64: 3F52BFA50E8E05BD Time : 0.0 sec. user=mdettweiler [2019-12-15 22:50:07] 861*2^1551229-1 is not prime. Res64: 3510FEFA3EE46C4B Time : 0.0 sec. user=mdettweiler [2019-12-15 22:50:08] 955*2^1551229-1 is not prime. Res64: 6DD396BE237B085E Time : 0.0 sec. user=mdettweiler [2019-12-15 23:04:50] 731*2^1551230-1 is not prime. Res64: 5909A539CD6030D0 Time : 0.0 sec. user=mdettweiler [2019-12-15 23:04:54] 791*2^1551230-1 is not prime. Res64: AB3B8C7C92249CBE Time : 0.0 sec. user=mdettweiler [2019-12-15 23:04:56] 885*2^1551230-1 is not prime. Res64: CB8A577DC5C751D6 Time : 0.0 sec. user=mdettweiler [2019-12-15 23:04:59] 923*2^1551230-1 is not prime. Res64: 63B011AF1FF37C82 Time : 0.0 sec. user=mdettweiler [2019-12-15 23:05:02] 941*2^1551230-1 is not prime. Res64: C5B5610F519C54A8 Time : 0.0 sec. user=mdettweiler [2019-12-15 23:24:24] 965*2^1551230-1 is not prime. Res64: 273B5FFC85600930 Time : 0.0 sec. user=mdettweiler [2019-12-15 23:24:25] 685*2^1551231-1 is not prime. Res64: 438514A30956B467 Time : 0.0 sec. user=mdettweiler [2019-12-15 23:24:26] 705*2^1551231-1 is not prime. Res64: 8683A7DF1A22EDF1 Time : 0.0 sec. user=mdettweiler [2019-12-15 23:24:26] 769*2^1551231-1 is not prime. Res64: 6C754371B918A32E Time : 0.0 sec. user=mdettweiler [2019-12-15 23:24:27] 859*2^1551231-1 is not prime. Res64: 0491CDCAF8E7BF53 Time : 0.0 sec. user=mdettweiler [2019-12-15 23:41:55] 675*2^1551232-1 is not prime. Res64: A06934CF651EFF2D Time : 0.0 sec. user=mdettweiler [2019-12-15 23:41:56] 747*2^1551232-1 is not prime. Res64: 1D53BCF909CDCE31 Time : 0.0 sec. user=mdettweiler [2019-12-15 23:41:56] 819*2^1551232-1 is not prime. Res64: 73A2E2880676389A Time : 0.0 sec. user=mdettweiler [2019-12-15 23:41:57] 825*2^1551232-1 is not prime. Res64: 97B071E4A25152E6 Time : 0.0 sec. user=mdettweiler [2019-12-15 23:41:58] 873*2^1551232-1 is not prime. Res64: 809B6EAA90E352D5 Time : 0.0 sec. user=mdettweiler [2019-12-15 23:59:23] 965*2^1551232-1 is not prime. Res64: ACBFAC6BAB07099F Time : 0.0 sec. user=mdettweiler [2019-12-15 23:59:24] 607*2^1551233-1 is not prime. Res64: CE8499501F8C6269 Time : 0.0 sec. user=mdettweiler [2019-12-15 23:59:25] 861*2^1551233-1 is not prime. Res64: DB65FD5A76BDF9B5 Time : 0.0 sec. user=mdettweiler [2019-12-15 23:59:26] 627*2^1551234-1 is not prime. Res64: 0D7ED6E334B4441A Time : 0.0 sec. user=mdettweiler [2019-12-15 23:59:27] 677*2^1551234-1 is not prime. Res64: 5832D250AB7BDFAE Time : 0.0 sec.