user=mdettweiler [2020-07-25 00:07:05] 781*2^1563783-1 is not prime. Res64: BDAC19FD18F2DC15 Time : 0.0 sec. user=mdettweiler [2020-07-25 00:07:08] 795*2^1563783-1 is not prime. Res64: E0C5CD4186733845 Time : 0.0 sec. user=mdettweiler [2020-07-25 00:07:11] 831*2^1563783-1 is not prime. Res64: EED41D53A13B19C3 Time : 0.0 sec. user=mdettweiler [2020-07-25 00:07:12] 853*2^1563783-1 is not prime. Res64: E8956509FD32227B Time : 0.0 sec. user=mdettweiler [2020-07-25 00:07:14] 943*2^1563783-1 is not prime. Res64: 259AD47AA17FED9F Time : 0.0 sec. user=mdettweiler [2020-07-25 00:14:39] 963*2^1563783-1 is not prime. Res64: 7F4D29C6C7EB7970 Time : 0.0 sec. user=mdettweiler [2020-07-25 00:14:44] 675*2^1563784-1 is not prime. Res64: 34090C6E86B0DA55 Time : 0.0 sec. user=mdettweiler [2020-07-25 00:14:47] 803*2^1563784-1 is not prime. Res64: 9516CE42B9F4A62A Time : 0.0 sec. user=mdettweiler [2020-07-25 00:14:50] 825*2^1563784-1 is not prime. Res64: D4D673C0274BA797 Time : 0.0 sec. user=mdettweiler [2020-07-25 00:14:54] 873*2^1563784-1 is not prime. Res64: 7A4382063E21F635 Time : 0.0 sec. user=mdettweiler [2020-07-25 00:15:16] 685*2^1563785-1 is not prime. Res64: DE7217144CDFD592 Time : 0.0 sec. user=mdettweiler [2020-07-25 00:15:20] 715*2^1563785-1 is not prime. Res64: 42BC790EC864299D Time : 0.0 sec. user=mdettweiler [2020-07-25 00:15:23] 717*2^1563785-1 is not prime. Res64: 3DC275D64F49D084 Time : 0.0 sec. user=mdettweiler [2020-07-25 00:15:25] 777*2^1563785-1 is not prime. Res64: 3935120C41FCF5AE Time : 0.0 sec. user=mdettweiler [2020-07-25 00:15:26] 841*2^1563785-1 is not prime. Res64: B7C1D22A604FB269 Time : 0.0 sec. user=mdettweiler [2020-07-25 01:02:26] 871*2^1563785-1 is not prime. Res64: 9E7B738E3A4C78B1 Time : 0.0 sec. user=mdettweiler [2020-07-25 01:02:29] 909*2^1563785-1 is not prime. Res64: D36890CB1512BC58 Time : 0.0 sec. user=mdettweiler [2020-07-25 01:02:31] 705*2^1563786-1 is not prime. Res64: E98DB16F2FA2770E Time : 0.0 sec. user=mdettweiler [2020-07-25 01:02:32] 711*2^1563786-1 is not prime. Res64: 048698E7B49958F8 Time : 0.0 sec. user=mdettweiler [2020-07-25 01:02:34] 741*2^1563786-1 is not prime. Res64: FE3EFBD96DE02CBF Time : 0.0 sec. user=mdettweiler [2020-07-25 01:09:04] 973*2^1563787-1 is not prime. Res64: 47F04C77DB4747FE Time : 0.0 sec. user=mdettweiler [2020-07-25 01:09:11] 663*2^1563788-1 is not prime. Res64: 325A956EDE77E424 Time : 0.0 sec. user=mdettweiler [2020-07-25 01:10:55] 905*2^1563786-1 is not prime. Res64: 9C21D00D46DD409D Time : 0.0 sec. user=mdettweiler [2020-07-25 01:10:56] 609*2^1563787-1 is not prime. Res64: 000495AAECC5B887 Time : 0.0 sec. user=mdettweiler [2020-07-25 01:10:56] 733*2^1563787-1 is not prime. Res64: A577A414F0068877 Time : 0.0 sec. user=mdettweiler [2020-07-25 01:10:57] 849*2^1563787-1 is not prime. Res64: 014C9A16D0018B17 Time : 0.0 sec. user=mdettweiler [2020-07-25 01:10:57] 871*2^1563787-1 is not prime. Res64: 152F8188ABFE6A63 Time : 0.0 sec. user=mdettweiler [2020-07-25 01:59:43] 875*2^1563788-1 is not prime. Res64: 54A842627B8399D0 Time : 0.0 sec. user=mdettweiler [2020-07-25 01:59:49] 885*2^1563788-1 is not prime. Res64: D4CE017033291D28 Time : 0.0 sec. user=mdettweiler [2020-07-25 01:59:52] 923*2^1563788-1 is not prime. Res64: 7FEA8C4976323AF1 Time : 0.0 sec. user=mdettweiler [2020-07-25 01:59:55] 953*2^1563788-1 is not prime. Res64: 30F71E4EC44ED2BB Time : 0.0 sec. user=mdettweiler [2020-07-25 01:59:57] 657*2^1563789-1 is not prime. Res64: DD4D46F1FBAA212B Time : 0.0 sec. user=mdettweiler [2020-07-25 02:08:19] 727*2^1563789-1 is not prime. Res64: EF479DBEB7FA65F9 Time : 0.0 sec. user=mdettweiler [2020-07-25 02:08:25] 865*2^1563789-1 is not prime. Res64: D330CA229BA72C1C Time : 0.0 sec. user=mdettweiler [2020-07-25 02:08:30] 945*2^1563789-1 is not prime. Res64: 80821879F89BDFE5 Time : 0.0 sec. user=mdettweiler [2020-07-25 02:08:35] 951*2^1563789-1 is not prime. Res64: 0237E7DC3CA29368 Time : 0.0 sec. user=mdettweiler [2020-07-25 02:08:43] 999*2^1563789-1 is not prime. Res64: 0F5C4DE09C23B00B Time : 0.0 sec. user=mdettweiler [2020-07-25 02:57:00] 791*2^1563790-1 is not prime. Res64: 698EDC2BECB01CE4 Time : 0.0 sec. user=mdettweiler [2020-07-25 02:57:01] 891*2^1563790-1 is not prime. Res64: C019FE563EC32858 Time : 0.0 sec. user=mdettweiler [2020-07-25 02:57:01] 933*2^1563790-1 is not prime. Res64: ACAA283DDA3D9160 Time : 0.0 sec. user=mdettweiler [2020-07-25 02:57:02] 941*2^1563790-1 is not prime. Res64: C7547C537F3F666D Time : 0.0 sec. user=mdettweiler [2020-07-25 02:57:03] 705*2^1563791-1 is not prime. Res64: 658D2E21A008CEA1 Time : 0.0 sec. user=mdettweiler [2020-07-25 03:07:57] 811*2^1563791-1 is not prime. Res64: AC7462A555BE24A0 Time : 0.0 sec. user=mdettweiler [2020-07-25 03:08:01] 825*2^1563791-1 is not prime. Res64: 82EBB040239B37A3 Time : 0.0 sec. user=mdettweiler [2020-07-25 03:08:03] 921*2^1563791-1 is not prime. Res64: B9C53AD83C5A8227 Time : 0.0 sec. user=mdettweiler [2020-07-25 03:08:05] 931*2^1563791-1 is not prime. Res64: C82A3F8D53BCE34A Time : 0.0 sec. user=mdettweiler [2020-07-25 03:08:07] 955*2^1563791-1 is not prime. Res64: A8DA6D022CE42507 Time : 0.0 sec. user=mdettweiler [2020-07-25 03:51:55] 979*2^1563791-1 is not prime. Res64: A0FC76A067DB7186 Time : 0.0 sec. user=mdettweiler [2020-07-25 03:51:56] 629*2^1563792-1 is not prime. Res64: 738B63770EA8B41C Time : 0.0 sec. user=mdettweiler [2020-07-25 03:51:58] 675*2^1563792-1 is not prime. Res64: A172F678D64207A8 Time : 0.0 sec. user=mdettweiler [2020-07-25 03:51:59] 779*2^1563792-1 is not prime. Res64: 5962BEC57B89C45D Time : 0.0 sec. user=mdettweiler [2020-07-25 03:52:00] 819*2^1563792-1 is not prime. Res64: 4E30BE13C948B837 Time : 0.0 sec. user=mdettweiler [2020-07-25 04:04:19] 825*2^1563792-1 is not prime. Res64: F86D9600A37D3727 Time : 0.0 sec. user=mdettweiler [2020-07-25 04:04:29] 909*2^1563792-1 is not prime. Res64: AC8CB61A8B4B0FE1 Time : 0.0 sec. user=mdettweiler [2020-07-25 04:04:35] 915*2^1563792-1 is not prime. Res64: 42B1C1CF288802C3 Time : 0.0 sec. user=mdettweiler [2020-07-25 04:04:40] 639*2^1563793-1 is not prime. Res64: 3655E67AE3152E95 Time : 0.0 sec. user=mdettweiler [2020-07-25 04:04:47] 685*2^1563793-1 is not prime. Res64: A0C4B416007896BF Time : 0.0 sec. user=mdettweiler [2020-07-25 04:49:19] 721*2^1563793-1 is not prime. Res64: E14AB4D5825CA5BF Time : 0.0 sec. user=mdettweiler [2020-07-25 04:49:20] 817*2^1563793-1 is not prime. Res64: 1E8E6AD65E315A4D Time : 0.0 sec. user=mdettweiler [2020-07-25 04:49:20] 819*2^1563793-1 is not prime. Res64: 461C1992E67B5698 Time : 0.0 sec. user=mdettweiler [2020-07-25 04:49:21] 831*2^1563793-1 is not prime. Res64: 1DE5A11E77409C2D Time : 0.0 sec. user=mdettweiler [2020-07-25 04:49:22] 915*2^1563793-1 is not prime. Res64: 896F2B4427D4B7FF Time : 0.0 sec. user=mdettweiler [2020-07-25 05:01:45] 957*2^1563793-1 is not prime. Res64: DD3FBDF3929993EE Time : 0.0 sec. user=mdettweiler [2020-07-25 05:01:47] 985*2^1563793-1 is not prime. Res64: 401E9F46FE5EE206 Time : 0.0 sec. user=mdettweiler [2020-07-25 05:01:52] 999*2^1563793-1 is not prime. Res64: D011A20FE26CD985 Time : 0.0 sec. user=mdettweiler [2020-07-25 05:01:55] 677*2^1563794-1 is not prime. Res64: C1842A7584B6B5E1 Time : 0.0 sec. user=mdettweiler [2020-07-25 05:01:57] 785*2^1563794-1 is not prime. Res64: 0981D9F25150D6AC Time : 0.0 sec. user=mdettweiler [2020-07-25 05:43:31] 851*2^1563794-1 is not prime. Res64: 9751FBCDC0E1F1B0 Time : 0.0 sec. user=mdettweiler [2020-07-25 05:43:32] 981*2^1563794-1 is not prime. Res64: 1B2E07A95E9D5E4D Time : 0.0 sec. user=mdettweiler [2020-07-25 05:43:33] 609*2^1563795-1 is not prime. Res64: 4750A07F85A1AE57 Time : 0.0 sec. user=mdettweiler [2020-07-25 05:43:34] 625*2^1563795-1 is not prime. Res64: DC5D4EFD0C56D07A Time : 0.0 sec. user=mdettweiler [2020-07-25 05:43:34] 639*2^1563795-1 is not prime. Res64: 2795DE67D9B41ECB Time : 0.0 sec. user=mdettweiler [2020-07-25 05:57:26] 709*2^1563795-1 is not prime. Res64: 6BC1043270C897AC Time : 0.0 sec. user=mdettweiler [2020-07-25 05:57:27] 723*2^1563795-1 is not prime. Res64: 9B4F517ADE1F08A0 Time : 0.0 sec. user=mdettweiler [2020-07-25 05:57:27] 781*2^1563795-1 is not prime. Res64: BCBA33817A2FC8CE Time : 0.0 sec. user=mdettweiler [2020-07-25 05:57:28] 853*2^1563795-1 is not prime. Res64: 3742B1D6D5E83F07 Time : 0.0 sec. user=mdettweiler [2020-07-25 05:57:29] 859*2^1563795-1 is not prime. Res64: 4E0A022A532BC65C Time : 0.0 sec. user=mdettweiler [2020-07-25 06:21:46] 687*2^1563788-1 is not prime. Res64: C26C5360251B3C4F Time : 0.0 sec. user=mdettweiler [2020-07-25 06:21:48] 725*2^1563788-1 is not prime. Res64: 20348D9F11A9B6FA Time : 0.0 sec. user=mdettweiler [2020-07-25 06:21:49] 735*2^1563788-1 is not prime. Res64: 892FCABA394580AB Time : 0.0 sec. user=mdettweiler [2020-07-25 06:37:04] 603*2^1563796-1 is not prime. Res64: 9B87EA97E67A041B Time : 0.0 sec. user=mdettweiler [2020-07-25 06:37:04] 707*2^1563796-1 is not prime. Res64: D3D1249AF2B18C89 Time : 0.0 sec. user=mdettweiler [2020-07-25 06:37:05] 719*2^1563796-1 is not prime. Res64: 31C29229D8932A75 Time : 0.0 sec. user=mdettweiler [2020-07-25 06:37:05] 999*2^1563796-1 is not prime. Res64: D044256526413D5B Time : 0.0 sec. user=mdettweiler [2020-07-25 06:37:06] 601*2^1563797-1 is not prime. Res64: 5CA201EAE6BD319C Time : 0.0 sec. user=mdettweiler [2020-07-25 06:53:23] 647*2^1563798-1 is not prime. Res64: 5A58A7D7D994B360 Time : 0.0 sec. user=mdettweiler [2020-07-25 06:53:25] 707*2^1563798-1 is not prime. Res64: 095C33B72B99CDE6 Time : 0.0 sec. user=mdettweiler [2020-07-25 06:53:25] 815*2^1563798-1 is not prime. Res64: 7216834649CAC618 Time : 0.0 sec. user=mdettweiler [2020-07-25 06:53:27] 875*2^1563798-1 is not prime. Res64: F5DBC063BFA5089B Time : 0.0 sec. user=mdettweiler [2020-07-25 06:53:28] 971*2^1563798-1 is not prime. Res64: F9DB331D561EB980 Time : 0.0 sec. user=mdettweiler [2020-07-25 07:14:56] 633*2^1563799-1 is not prime. Res64: BFCE9D2DFCF98BB6 Time : 0.0 sec. user=mdettweiler [2020-07-25 07:14:57] 615*2^1563800-1 is not prime. Res64: D0EDC84BF9D0A68F Time : 0.0 sec. user=mdettweiler [2020-07-25 07:14:58] 635*2^1563800-1 is not prime. Res64: 62C08DBAFEF94149 Time : 0.0 sec. user=mdettweiler [2020-07-25 07:14:58] 777*2^1563800-1 is not prime. Res64: 43C21C9B36108799 Time : 0.0 sec. user=mdettweiler [2020-07-25 07:14:59] 797*2^1563800-1 is not prime. Res64: F7C45D56F472E4A5 Time : 0.0 sec. user=mdettweiler [2020-07-25 07:32:33] 899*2^1563800-1 is not prime. Res64: C17CC3B3EB85AF4C Time : 0.0 sec. user=mdettweiler [2020-07-25 07:32:33] 963*2^1563800-1 is not prime. Res64: 5392E2C8F8ECA96C Time : 0.0 sec. user=mdettweiler [2020-07-25 07:32:34] 999*2^1563800-1 is not prime. Res64: 5065A08AD78B013C Time : 0.0 sec. user=mdettweiler [2020-07-25 07:32:34] 601*2^1563801-1 is not prime. Res64: 83E4B61474312B37 Time : 0.0 sec. user=mdettweiler [2020-07-25 07:32:35] 625*2^1563801-1 is not prime. Res64: 3A72F3D5B4EC95B9 Time : 0.0 sec. user=mdettweiler [2020-07-25 07:48:35] 777*2^1563801-1 is not prime. Res64: 776728F2A59B9B1F Time : 0.0 sec. user=mdettweiler [2020-07-25 07:48:35] 789*2^1563801-1 is not prime. Res64: E0E82836C569F2B0 Time : 0.0 sec. user=mdettweiler [2020-07-25 07:48:36] 871*2^1563801-1 is not prime. Res64: C15E8AD5CAADCD8E Time : 0.0 sec. user=mdettweiler [2020-07-25 07:48:37] 969*2^1563801-1 is not prime. Res64: 8F94E521D4BD5876 Time : 0.0 sec. user=mdettweiler [2020-07-25 07:48:37] 675*2^1563802-1 is not prime. Res64: B5A64434544B0C4E Time : 0.0 sec. user=mdettweiler [2020-07-25 08:11:07] 843*2^1563802-1 is not prime. Res64: 0C1AC8FD60F556B0 Time : 0.0 sec. user=mdettweiler [2020-07-25 08:11:09] 873*2^1563802-1 is not prime. Res64: A9FAD6B293CEF89F Time : 0.0 sec. user=mdettweiler [2020-07-25 08:11:10] 987*2^1563802-1 is not prime. Res64: F4A0D6B08D0A6CD2 Time : 0.0 sec. user=mdettweiler [2020-07-25 08:11:12] 753*2^1563803-1 is not prime. Res64: 2582B1F534C224DE Time : 0.0 sec. user=mdettweiler [2020-07-25 08:11:13] 771*2^1563803-1 is not prime. Res64: 40C206B271A7D700 Time : 0.0 sec. user=mdettweiler [2020-07-25 08:26:57] 859*2^1563803-1 is not prime. Res64: 2D942C36447B3D4F Time : 0.0 sec. user=mdettweiler [2020-07-25 08:26:57] 879*2^1563803-1 is not prime. Res64: F2B98AD6655DA421 Time : 0.0 sec. user=mdettweiler [2020-07-25 08:26:58] 605*2^1563804-1 is not prime. Res64: 35A6920073B355D7 Time : 0.0 sec. user=mdettweiler [2020-07-25 08:26:59] 623*2^1563804-1 is not prime. Res64: CBC5C5ED9043B664 Time : 0.0 sec. user=mdettweiler [2020-07-25 08:26:59] 693*2^1563804-1 is not prime. Res64: FF0CAFDC21FF3737 Time : 0.0 sec. user=mdettweiler [2020-07-25 08:43:36] 707*2^1563804-1 is not prime. Res64: ECC6B21ADA26DE4D Time : 0.0 sec. user=mdettweiler [2020-07-25 08:43:36] 725*2^1563804-1 is not prime. Res64: B9BD8E94B8BAA0B6 Time : 0.0 sec. user=mdettweiler [2020-07-25 08:43:37] 773*2^1563804-1 is not prime. Res64: 8C89199A7886590A Time : 0.0 sec. user=mdettweiler [2020-07-25 08:43:37] 927*2^1563804-1 is not prime. Res64: 27FD34445E8D0795 Time : 0.0 sec. user=mdettweiler [2020-07-25 08:43:38] 935*2^1563804-1 is not prime. Res64: 435EA030FEBDC93A Time : 0.0 sec. user=mdettweiler [2020-07-25 09:07:07] 945*2^1563804-1 is not prime. Res64: B1036E32B8F0B3F4 Time : 0.0 sec. user=mdettweiler [2020-07-25 09:07:10] 969*2^1563804-1 is not prime. Res64: 9257C95215D0BE2C Time : 0.0 sec. user=mdettweiler [2020-07-25 09:07:12] 625*2^1563805-1 is not prime. Res64: 56149C1D19D5FCEA Time : 0.0 sec. user=mdettweiler [2020-07-25 09:07:14] 729*2^1563805-1 is not prime. Res64: CFCDA3801D40A122 Time : 0.0 sec. user=mdettweiler [2020-07-25 09:07:16] 847*2^1563805-1 is not prime. Res64: 0B9BD5503CC739FA Time : 0.0 sec. user=mdettweiler [2020-07-25 09:23:06] 885*2^1563805-1 is not prime. Res64: 8371BF85F69BE874 Time : 0.0 sec. user=mdettweiler [2020-07-25 09:23:06] 961*2^1563805-1 is not prime. Res64: 8080E8C70A5AD347 Time : 0.0 sec. user=mdettweiler [2020-07-25 09:23:07] 675*2^1563806-1 is not prime. Res64: FFBA6F58E2946B00 Time : 0.0 sec. user=mdettweiler [2020-07-25 09:23:08] 705*2^1563806-1 is not prime. Res64: 958582DD22D964AD Time : 0.0 sec. user=mdettweiler [2020-07-25 09:23:08] 795*2^1563806-1 is not prime. Res64: 933A1CDE702261EB Time : 0.0 sec. user=mdettweiler [2020-07-25 09:41:49] 813*2^1563806-1 is not prime. Res64: F0187386E9797BF4 Time : 0.0 sec. user=mdettweiler [2020-07-25 09:41:49] 867*2^1563806-1 is not prime. Res64: 91732A08A8B8314F Time : 0.0 sec. user=mdettweiler [2020-07-25 09:41:50] 971*2^1563806-1 is not prime. Res64: 62202FEF4E0FC485 Time : 0.0 sec. user=mdettweiler [2020-07-25 09:41:50] 1001*2^1563806-1 is not prime. Res64: 569D20C706CEE736 Time : 0.0 sec. user=mdettweiler [2020-07-25 09:41:51] 909*2^1563807-1 is not prime. Res64: 3CECDC9228A8DA7E Time : 0.0 sec. user=mdettweiler [2020-07-25 10:00:20] 919*2^1563807-1 is not prime. Res64: 205DE8DAF67072D6 Time : 0.0 sec. user=mdettweiler [2020-07-25 10:00:22] 605*2^1563808-1 is not prime. Res64: 95E76B3E484CC70D Time : 0.0 sec. user=mdettweiler [2020-07-25 10:00:26] 635*2^1563808-1 is not prime. Res64: B1CF8D9043F85F55 Time : 0.0 sec. user=mdettweiler [2020-07-25 10:00:33] 665*2^1563808-1 is not prime. Res64: 4585F7CBF22E60D7 Time : 0.0 sec. user=mdettweiler [2020-07-25 10:00:39] 705*2^1563808-1 is not prime. Res64: 512379D67012382F Time : 0.0 sec. user=mdettweiler [2020-07-25 10:18:04] 713*2^1563808-1 is not prime. Res64: C8800232270E57C2 Time : 0.0 sec. user=mdettweiler [2020-07-25 10:18:04] 723*2^1563808-1 is not prime. Res64: 7799602AEE9E65E8 Time : 0.0 sec. user=mdettweiler [2020-07-25 10:18:05] 845*2^1563808-1 is not prime. Res64: 0FD3903B212A3139 Time : 0.0 sec. user=mdettweiler [2020-07-25 10:18:06] 909*2^1563808-1 is not prime. Res64: 90B0757BBF28D3C2 Time : 0.0 sec. user=mdettweiler [2020-07-25 10:18:06] 697*2^1563809-1 is not prime. Res64: D31697893D2EE011 Time : 0.0 sec. user=mdettweiler [2020-07-25 10:36:52] 789*2^1563809-1 is not prime. Res64: 4D1A693018674374 Time : 0.0 sec. user=mdettweiler [2020-07-25 10:36:52] 811*2^1563809-1 is not prime. Res64: 0C9C71BC8834175C Time : 0.0 sec. user=mdettweiler [2020-07-25 10:36:53] 909*2^1563809-1 is not prime. Res64: 49DDF331733A03B1 Time : 0.0 sec. user=mdettweiler [2020-07-25 10:36:53] 713*2^1563810-1 is not prime. Res64: 8B5669F6A17E3074 Time : 0.0 sec. user=mdettweiler [2020-07-25 10:36:54] 717*2^1563810-1 is not prime. Res64: DC11E7BEDFAB9B12 Time : 0.0 sec. user=mdettweiler [2020-07-25 10:57:47] 723*2^1563810-1 is not prime. Res64: 3D1819E14FE7B610 Time : 0.0 sec. user=mdettweiler [2020-07-25 10:57:48] 725*2^1563810-1 is not prime. Res64: 04DC53854B7E256A Time : 0.0 sec. user=mdettweiler [2020-07-25 10:57:48] 851*2^1563810-1 is not prime. Res64: EBBEDD6ED9FBD9EE Time : 0.0 sec. user=mdettweiler [2020-07-25 10:57:49] 891*2^1563810-1 is not prime. Res64: F91602DC300988E1 Time : 0.0 sec. user=mdettweiler [2020-07-25 10:57:49] 951*2^1563810-1 is not prime. Res64: 7D6C2768C3A8EF72 Time : 0.0 sec. user=mdettweiler [2020-07-25 11:13:38] 703*2^1563811-1 is not prime. Res64: 9902D810A941E5F0 Time : 0.0 sec. user=mdettweiler [2020-07-25 11:13:39] 789*2^1563811-1 is not prime. Res64: 09891D844177D071 Time : 0.0 sec. user=mdettweiler [2020-07-25 11:13:40] 793*2^1563811-1 is not prime. Res64: 26DE0D5DB99E970E Time : 0.0 sec. user=mdettweiler [2020-07-25 11:13:41] 819*2^1563811-1 is not prime. Res64: 0A73D0442D627C40 Time : 0.0 sec. user=mdettweiler [2020-07-25 11:13:41] 829*2^1563811-1 is not prime. Res64: F9EA93CF04B015CE Time : 0.0 sec. user=mdettweiler [2020-07-25 11:33:17] 873*2^1563811-1 is not prime. Res64: 831D53048411191E Time : 0.0 sec. user=mdettweiler [2020-07-25 11:33:17] 883*2^1563811-1 is not prime. Res64: 0EC2E83FEA95D973 Time : 0.0 sec. user=mdettweiler [2020-07-25 11:33:18] 943*2^1563811-1 is not prime. Res64: E41F0529311C13B6 Time : 0.0 sec. user=mdettweiler [2020-07-25 11:33:18] 603*2^1563812-1 is not prime. Res64: 707F9DEEDA36B06E Time : 0.0 sec. user=mdettweiler [2020-07-25 11:33:19] 699*2^1563812-1 is not prime. Res64: 21D4FD7484545AE1 Time : 0.0 sec. user=mdettweiler [2020-07-25 11:55:50] 785*2^1563812-1 is not prime. Res64: A3FFD3643409BA1A Time : 0.0 sec. user=mdettweiler [2020-07-25 11:55:50] 875*2^1563812-1 is not prime. Res64: 34EC7929F6B8C209 Time : 0.0 sec. user=mdettweiler [2020-07-25 11:55:51] 885*2^1563812-1 is not prime. Res64: 100B2A4020B8757A Time : 0.0 sec. user=mdettweiler [2020-07-25 11:55:51] 897*2^1563812-1 is not prime. Res64: E7262976D668EF70 Time : 0.0 sec. user=mdettweiler [2020-07-25 11:55:52] 923*2^1563812-1 is not prime. Res64: 14E849759045080A Time : 0.0 sec. user=mdettweiler [2020-07-25 12:10:53] 999*2^1563812-1 is not prime. Res64: 9B39B0B14644C42E Time : 0.0 sec. user=mdettweiler [2020-07-25 12:10:54] 681*2^1563813-1 is not prime. Res64: A626EE0D9C0C8BA6 Time : 0.0 sec. user=mdettweiler [2020-07-25 12:10:54] 937*2^1563813-1 is not prime. Res64: 787B3FA004CD9377 Time : 0.0 sec. user=mdettweiler [2020-07-25 12:10:54] 969*2^1563813-1 is not prime. Res64: 9023EEFDFC2C42B3 Time : 0.0 sec. user=mdettweiler [2020-07-25 12:10:55] 741*2^1563814-1 is not prime. Res64: 8726D2EDD02E8B43 Time : 0.0 sec. user=mdettweiler [2020-07-25 12:29:51] 791*2^1563814-1 is not prime. Res64: BD57858699EDC908 Time : 0.0 sec. user=mdettweiler [2020-07-25 12:29:52] 827*2^1563814-1 is not prime. Res64: 1EF31BD3A24594C0 Time : 0.0 sec. user=mdettweiler [2020-07-25 12:29:53] 855*2^1563814-1 is not prime. Res64: 2E04F83914788AD8 Time : 0.0 sec. user=mdettweiler [2020-07-25 12:29:53] 885*2^1563814-1 is not prime. Res64: 14DE8C2EADDA33FD Time : 0.0 sec. user=mdettweiler [2020-07-25 12:29:54] 643*2^1563815-1 is not prime. Res64: 0E57479C358E6A52 Time : 0.0 sec. user=mdettweiler [2020-07-25 12:51:17] 651*2^1563815-1 is not prime. Res64: 78145BC6FDFE2121 Time : 0.0 sec. user=mdettweiler [2020-07-25 12:51:19] 763*2^1563815-1 is not prime. Res64: 74702055297985F5 Time : 0.0 sec. user=mdettweiler [2020-07-25 12:51:21] 771*2^1563815-1 is not prime. Res64: 7340CB526C2F00E2 Time : 0.0 sec. user=mdettweiler [2020-07-25 12:51:23] 825*2^1563815-1 is not prime. Res64: 1773640B2D528B9C Time : 0.0 sec. user=mdettweiler [2020-07-25 12:51:25] 915*2^1563815-1 is not prime. Res64: BDFB851BF1425748 Time : 0.0 sec. user=mdettweiler [2020-07-25 13:06:24] 669*2^1563816-1 is not prime. Res64: 55C453C24FD4D7C8 Time : 0.0 sec. user=mdettweiler [2020-07-25 13:06:26] 777*2^1563816-1 is not prime. Res64: 64886F597966EC09 Time : 0.0 sec. user=mdettweiler [2020-07-25 13:06:28] 879*2^1563816-1 is not prime. Res64: 895AACF2A5BB25BA Time : 0.0 sec. user=mdettweiler [2020-07-25 13:06:30] 893*2^1563816-1 is not prime. Res64: D8FE69C306AFC9BA Time : 0.0 sec. user=mdettweiler [2020-07-25 13:06:32] 675*2^1563817-1 is not prime. Res64: AF47F3751A93B4BF Time : 0.0 sec. user=mdettweiler [2020-07-25 13:27:00] 691*2^1563817-1 is not prime. Res64: B2DF9EDA52DB4B4E Time : 0.0 sec. user=mdettweiler [2020-07-25 13:27:01] 741*2^1563817-1 is not prime. Res64: 45C3D96E25060CCF Time : 0.0 sec. user=mdettweiler [2020-07-25 13:27:01] 807*2^1563817-1 is not prime. Res64: DBCD6CE8A652B652 Time : 0.0 sec. user=mdettweiler [2020-07-25 13:27:02] 861*2^1563817-1 is not prime. Res64: 035A16F5601E4FFD Time : 0.0 sec. user=mdettweiler [2020-07-25 13:27:02] 889*2^1563817-1 is not prime. Res64: 0572368646C58FD1 Time : 0.0 sec. user=mdettweiler [2020-07-25 13:45:39] 939*2^1563817-1 is not prime. Res64: 10B60E6A628C062D Time : 0.0 sec. user=mdettweiler [2020-07-25 13:45:40] 641*2^1563818-1 is not prime. Res64: B6F4D81FC6E490D1 Time : 0.0 sec. user=mdettweiler [2020-07-25 13:45:41] 683*2^1563818-1 is not prime. Res64: 8D08B1D595534894 Time : 0.0 sec. user=mdettweiler [2020-07-25 13:45:41] 713*2^1563818-1 is not prime. Res64: DAC02FABE738DEC2 Time : 0.0 sec. user=mdettweiler [2020-07-25 13:45:42] 767*2^1563818-1 is not prime. Res64: E27E6C90B9D25FCA Time : 0.0 sec. user=mdettweiler [2020-07-25 14:02:08] 813*2^1563818-1 is not prime. Res64: 9CC9BBDC11BAD28C Time : 0.0 sec. user=mdettweiler [2020-07-25 14:02:09] 601*2^1563819-1 is not prime. Res64: 13262889CDF482A7 Time : 0.0 sec. user=mdettweiler [2020-07-25 14:02:10] 685*2^1563819-1 is not prime. Res64: CE3A527A22C2008A Time : 0.0 sec. user=mdettweiler [2020-07-25 14:02:11] 705*2^1563819-1 is not prime. Res64: 23C0CBCFAECE53C2 Time : 0.0 sec. user=mdettweiler [2020-07-25 14:02:13] 873*2^1563819-1 is not prime. Res64: 3E800D2DA9241FDD Time : 0.0 sec. user=mdettweiler [2020-07-25 14:21:05] 615*2^1563820-1 is not prime. Res64: 9D2698756C09601B Time : 0.0 sec. user=mdettweiler [2020-07-25 14:21:06] 635*2^1563820-1 is not prime. Res64: 9C5FB652C231819D Time : 0.0 sec. user=mdettweiler [2020-07-25 14:21:07] 665*2^1563820-1 is not prime. Res64: 995643EE94749C7D Time : 0.0 sec. user=mdettweiler [2020-07-25 14:21:07] 863*2^1563820-1 is not prime. Res64: D6B2223AADE95BE7 Time : 0.0 sec. user=mdettweiler [2020-07-25 14:21:08] 957*2^1563820-1 is not prime. Res64: AB06213206B128FC Time : 0.0 sec. user=mdettweiler [2020-07-25 14:41:49] 965*2^1563820-1 is not prime. Res64: 37BB6C98A5A6A7B6 Time : 0.0 sec. user=mdettweiler [2020-07-25 14:41:49] 735*2^1563821-1 is not prime. Res64: AA48FB58401A9096 Time : 0.0 sec. user=mdettweiler [2020-07-25 14:41:50] 747*2^1563821-1 is not prime. Res64: 62E4AD9C99B9D751 Time : 0.0 sec. user=mdettweiler [2020-07-25 14:41:51] 927*2^1563821-1 is not prime. Res64: F19D0B63988A0A53 Time : 0.0 sec. user=mdettweiler [2020-07-25 14:41:51] 931*2^1563821-1 is not prime. Res64: 457ED03A2B9C4002 Time : 0.0 sec. user=mdettweiler [2020-07-25 14:57:15] 705*2^1563822-1 is not prime. Res64: ED68244D0401C025 Time : 0.0 sec. user=mdettweiler [2020-07-25 14:57:15] 711*2^1563822-1 is not prime. Res64: BFFE3C319F74A7DE Time : 0.0 sec. user=mdettweiler [2020-07-25 14:57:16] 777*2^1563822-1 is not prime. Res64: 9A548B6B7DDC6B0E Time : 0.0 sec. user=mdettweiler [2020-07-25 14:57:16] 801*2^1563822-1 is not prime. Res64: 0542389CAE9B2C73 Time : 0.0 sec. user=mdettweiler [2020-07-25 14:57:17] 807*2^1563822-1 is not prime. Res64: 84473BFC895BC6E9 Time : 0.0 sec. user=mdettweiler [2020-07-25 15:16:56] 863*2^1563822-1 is not prime. Res64: 8F0D9EC3990B4D28 Time : 0.0 sec. user=mdettweiler [2020-07-25 15:16:56] 663*2^1563823-1 is not prime. Res64: E6E0F95960BADDFE Time : 0.0 sec. user=mdettweiler [2020-07-25 15:16:57] 741*2^1563823-1 is not prime. Res64: 6C411A8C9A0260FC Time : 0.0 sec. user=mdettweiler [2020-07-25 15:16:58] 861*2^1563823-1 is not prime. Res64: 22C33A3FA20A0579 Time : 0.0 sec. user=mdettweiler [2020-07-25 15:16:58] 925*2^1563823-1 is not prime. Res64: E88DB15B5B27DEEB Time : 0.0 sec. user=mdettweiler [2020-07-25 15:35:12] 605*2^1563824-1 is not prime. Res64: A9829F2CAF7A503E Time : 0.0 sec. user=mdettweiler [2020-07-25 15:35:12] 623*2^1563824-1 is not prime. Res64: 47F4199C3DA26DC6 Time : 0.0 sec. user=mdettweiler [2020-07-25 15:35:13] 725*2^1563824-1 is not prime. Res64: DC857DA6A5A52D69 Time : 0.0 sec. user=mdettweiler [2020-07-25 15:35:13] 759*2^1563824-1 is not prime. Res64: 285680F6652132D7 Time : 0.0 sec. user=mdettweiler [2020-07-25 15:35:14] 819*2^1563824-1 is not prime. Res64: 0A9AD5D3E6009B8B Time : 0.0 sec. user=mdettweiler [2020-07-25 15:52:51] 875*2^1563824-1 is not prime. Res64: 3A772B05D291F92D Time : 0.0 sec. user=mdettweiler [2020-07-25 15:52:52] 893*2^1563824-1 is not prime. Res64: 51B7EDEFD04AD3D8 Time : 0.0 sec. user=mdettweiler [2020-07-25 15:52:52] 935*2^1563824-1 is not prime. Res64: D7BE4EAE863F2BFC Time : 0.0 sec. user=mdettweiler [2020-07-25 15:52:53] 609*2^1563825-1 is not prime. Res64: A76CA0EA4E746100 Time : 0.0 sec. user=mdettweiler [2020-07-25 15:52:53] 651*2^1563825-1 is not prime. Res64: 87B952A2CF5F02E4 Time : 0.0 sec. user=mdettweiler [2020-07-25 16:11:45] 735*2^1563825-1 is not prime. Res64: 9614B8DC2A510011 Time : 0.0 sec. user=mdettweiler [2020-07-25 16:11:48] 847*2^1563825-1 is not prime. Res64: 5291EF35C6C8B638 Time : 0.0 sec. user=mdettweiler [2020-07-25 16:11:51] 891*2^1563825-1 is not prime. Res64: 2EC4F52240EBA4A3 Time : 0.0 sec. user=mdettweiler [2020-07-25 16:11:53] 611*2^1563826-1 is not prime. Res64: CC4628D0658B789F Time : 0.0 sec. user=mdettweiler [2020-07-25 16:11:56] 755*2^1563826-1 is not prime. Res64: 91E055D7F7AEEC05 Time : 0.0 sec. user=mdettweiler [2020-07-25 16:33:30] 815*2^1563826-1 is not prime. Res64: 336F05ADD8E0EA17 Time : 0.0 sec. user=mdettweiler [2020-07-25 16:33:30] 825*2^1563826-1 is not prime. Res64: E6ADA6FCCCB3F86B Time : 0.0 sec. user=mdettweiler [2020-07-25 16:33:31] 917*2^1563826-1 is not prime. Res64: BF93C218F4A24D26 Time : 0.0 sec. user=mdettweiler [2020-07-25 16:33:31] 941*2^1563826-1 is not prime. Res64: D632EBAC08BAB8C9 Time : 0.0 sec. user=mdettweiler [2020-07-25 16:33:32] 983*2^1563826-1 is not prime. Res64: 1CF8FF80D918CBFB Time : 0.0 sec. user=mdettweiler [2020-07-25 16:53:30] 705*2^1563827-1 is not prime. Res64: FEB8E74B76BEA2AB Time : 0.0 sec. user=mdettweiler [2020-07-25 16:53:31] 775*2^1563827-1 is not prime. Res64: 4646AE27687503D3 Time : 0.0 sec. user=mdettweiler [2020-07-25 16:53:32] 781*2^1563827-1 is not prime. Res64: 1229B2CAA8E38D41 Time : 0.0 sec. user=mdettweiler [2020-07-25 16:53:32] 805*2^1563827-1 is not prime. Res64: 9AA484F0EDE72948 Time : 0.0 sec. user=mdettweiler [2020-07-25 16:53:33] 647*2^1563828-1 is not prime. Res64: 500282F694F2654E Time : 0.0 sec. user=mdettweiler [2020-07-25 17:08:33] 725*2^1563828-1 is not prime. Res64: 83BBB974DA6B359A Time : 0.0 sec. user=mdettweiler [2020-07-25 17:08:35] 879*2^1563828-1 is not prime. Res64: CF8942076A5F9D00 Time : 0.0 sec. user=mdettweiler [2020-07-25 17:08:38] 887*2^1563828-1 is not prime. Res64: 68E70DE5E54DDDD4 Time : 0.0 sec. user=mdettweiler [2020-07-25 17:08:39] 977*2^1563828-1 is not prime. Res64: 2A1A378933CFF73C Time : 0.0 sec. user=mdettweiler [2020-07-25 17:08:40] 721*2^1563829-1 is not prime. Res64: 56AF047913360F2C Time : 0.0 sec. user=mdettweiler [2020-07-25 17:30:40] 751*2^1563829-1 is not prime. Res64: 1E8E2169CDFDE10A Time : 0.0 sec. user=mdettweiler [2020-07-25 17:30:40] 819*2^1563829-1 is not prime. Res64: ADF58B063F3F8C1A Time : 0.0 sec. user=mdettweiler [2020-07-25 17:30:41] 829*2^1563829-1 is not prime. Res64: 2205D7A9C647059A Time : 0.0 sec. user=mdettweiler [2020-07-25 17:30:41] 931*2^1563829-1 is not prime. Res64: 0CF8F8330D9E68A2 Time : 0.0 sec. user=mdettweiler [2020-07-25 17:30:42] 945*2^1563829-1 is not prime. Res64: F5EAE71B146C870E Time : 0.0 sec. user=mdettweiler [2020-07-25 17:49:24] 635*2^1563830-1 is not prime. Res64: 5FCBE19FA1534573 Time : 0.0 sec. user=mdettweiler [2020-07-25 17:49:25] 687*2^1563830-1 is not prime. Res64: 3A243CCE7846E038 Time : 0.0 sec. user=mdettweiler [2020-07-25 17:49:25] 797*2^1563830-1 is not prime. Res64: F16B45BE17779764 Time : 0.0 sec. user=mdettweiler [2020-07-25 17:49:26] 825*2^1563830-1 is not prime. Res64: 53FC72676CBD6D4C Time : 0.0 sec. user=mdettweiler [2020-07-25 17:49:27] 851*2^1563830-1 is not prime. Res64: 4F6FCD04484B8D73 Time : 0.0 sec. user=mdettweiler [2020-07-25 18:06:59] 897*2^1563830-1 is not prime. Res64: B481D040EBBEC96D Time : 0.0 sec. user=mdettweiler [2020-07-25 18:07:02] 917*2^1563830-1 is not prime. Res64: 74D924F3EA6465A1 Time : 0.0 sec. user=mdettweiler [2020-07-25 18:07:04] 941*2^1563830-1 is not prime. Res64: 52859890815FD76A Time : 0.0 sec. user=mdettweiler [2020-07-25 18:07:06] 981*2^1563830-1 is not prime. Res64: 7B7DDB0C0CDEF8F7 Time : 0.0 sec. user=mdettweiler [2020-07-25 18:07:08] 1001*2^1563830-1 is not prime. Res64: BE974978A3D41C1F Time : 0.0 sec. user=mdettweiler [2020-07-25 18:26:45] 691*2^1563831-1 is not prime. Res64: 1B9A733BE1D9F41A Time : 0.0 sec. user=mdettweiler [2020-07-25 18:26:45] 711*2^1563831-1 is not prime. Res64: 4B95432CAFFB7FC0 Time : 0.0 sec. user=mdettweiler [2020-07-25 18:26:46] 805*2^1563831-1 is not prime. Res64: A4D001193B0FFAEC Time : 0.0 sec. user=mdettweiler [2020-07-25 18:26:47] 819*2^1563831-1 is not prime. Res64: F1136CE48AE9F7FC Time : 0.0 sec. user=mdettweiler [2020-07-25 18:26:47] 871*2^1563831-1 is not prime. Res64: 5770D757486EEAC4 Time : 0.0 sec. user=mdettweiler [2020-07-25 18:43:52] 909*2^1563831-1 is not prime. Res64: D016F79EB663C71D Time : 0.0 sec. user=mdettweiler [2020-07-25 18:43:53] 951*2^1563831-1 is not prime. Res64: 793FF68F9B361A3C Time : 0.0 sec. user=mdettweiler [2020-07-25 18:43:54] 635*2^1563832-1 is not prime. Res64: A7B52E406DA84246 Time : 0.0 sec. user=mdettweiler [2020-07-25 18:43:54] 657*2^1563832-1 is not prime. Res64: BFC9DC71D53E5515 Time : 0.0 sec. user=mdettweiler [2020-07-25 18:43:55] 785*2^1563832-1 is not prime. Res64: C9CEC45EE8D50FDE Time : 0.0 sec. user=mdettweiler [2020-07-25 19:05:41] 849*2^1563832-1 is not prime. Res64: 8BB8C91B4870649F Time : 0.0 sec. user=mdettweiler [2020-07-25 19:05:44] 899*2^1563832-1 is not prime. Res64: 09D3511084E89DAC Time : 0.0 sec. user=mdettweiler [2020-07-25 19:05:46] 903*2^1563832-1 is not prime. Res64: 76555A9C3F4CDAC2 Time : 0.0 sec. user=mdettweiler [2020-07-25 19:05:48] 915*2^1563832-1 is not prime. Res64: B3E209C9E22F1C57 Time : 0.0 sec. user=mdettweiler [2020-07-25 19:05:50] 923*2^1563832-1 is not prime. Res64: DE03E3C6BD7A229E Time : 0.0 sec. user=mdettweiler [2020-07-25 19:24:50] 939*2^1563832-1 is not prime. Res64: 4547909F78A37BF7 Time : 0.0 sec. user=mdettweiler [2020-07-25 19:24:51] 787*2^1563833-1 is not prime. Res64: B17791434E011C69 Time : 0.0 sec. user=mdettweiler [2020-07-25 19:24:51] 811*2^1563833-1 is not prime. Res64: C9C06D41FB8C949C Time : 0.0 sec. user=mdettweiler [2020-07-25 19:24:52] 837*2^1563833-1 is not prime. Res64: C28A9E3DDFC5F258 Time : 0.0 sec. user=mdettweiler [2020-07-25 19:24:53] 991*2^1563833-1 is not prime. Res64: F18DCA9A7F0A49A9 Time : 0.0 sec. user=mdettweiler [2020-07-25 19:38:02] 633*2^1563834-1 is not prime. Res64: A0BE22857C15671C Time : 0.0 sec. user=mdettweiler [2020-07-25 19:38:03] 651*2^1563834-1 is not prime. Res64: B0B65062D3F5E9F5 Time : 0.0 sec. user=mdettweiler [2020-07-25 19:38:04] 747*2^1563834-1 is not prime. Res64: 6A02C7D769E654C5 Time : 0.0 sec. user=mdettweiler [2020-07-25 19:38:04] 765*2^1563834-1 is not prime. Res64: DFC664E8F05D55FF Time : 0.0 sec. user=mdettweiler [2020-07-25 19:38:05] 885*2^1563834-1 is not prime. Res64: 141F215FB58C9DBB Time : 0.0 sec. user=mdettweiler [2020-07-25 20:00:53] 923*2^1563834-1 is not prime. Res64: 95BC595B8EFD321D Time : 0.0 sec. user=mdettweiler [2020-07-25 20:00:55] 723*2^1563835-1 is not prime. Res64: EAADDA28E4D8BC40 Time : 0.0 sec. user=mdettweiler [2020-07-25 20:00:57] 759*2^1563835-1 is not prime. Res64: D2C96AFD093EF01F Time : 0.0 sec. user=mdettweiler [2020-07-25 20:00:58] 765*2^1563835-1 is not prime. Res64: 2B9D1E9FA2C64ACC Time : 0.0 sec. user=mdettweiler [2020-07-25 20:01:00] 783*2^1563835-1 is not prime. Res64: 0AE4A6B6C931F5C9 Time : 0.0 sec. user=mdettweiler [2020-07-25 20:23:09] 861*2^1563835-1 is not prime. Res64: 52194B481F714DD0 Time : 0.0 sec. user=mdettweiler [2020-07-25 20:23:11] 873*2^1563835-1 is not prime. Res64: D149B65E614753B6 Time : 0.0 sec. user=mdettweiler [2020-07-25 20:23:11] 919*2^1563835-1 is not prime. Res64: 0F23C61628190200 Time : 0.0 sec. user=mdettweiler [2020-07-25 20:23:12] 939*2^1563835-1 is not prime. Res64: DB555A341C00F8B8 Time : 0.0 sec. user=mdettweiler [2020-07-25 20:23:13] 979*2^1563835-1 is not prime. Res64: 3FD12787F37E035B Time : 0.0 sec. user=mdettweiler [2020-07-25 20:30:24] 629*2^1563836-1 is not prime. Res64: DF30DAA3848BC261 Time : 0.0 sec. user=mdettweiler [2020-07-25 20:30:25] 663*2^1563836-1 is not prime. Res64: 986179B155D4D157 Time : 0.0 sec. user=mdettweiler [2020-07-25 20:30:25] 677*2^1563836-1 is not prime. Res64: 0FDFAFD01FE14CD6 Time : 0.0 sec. user=mdettweiler [2020-07-25 20:30:26] 749*2^1563836-1 is not prime. Res64: BDA6507112A9CF22 Time : 0.0 sec. user=mdettweiler [2020-07-25 20:30:26] 759*2^1563836-1 is not prime. Res64: 8D9C04C42303116C Time : 0.0 sec. user=mdettweiler [2020-07-25 20:58:21] 993*2^1563836-1 is not prime. Res64: C1FDD3E3D71B32D8 Time : 0.0 sec. user=mdettweiler [2020-07-25 20:58:22] 765*2^1563837-1 is not prime. Res64: 79A952D2B1D59C27 Time : 0.0 sec. user=mdettweiler [2020-07-25 20:58:22] 805*2^1563837-1 is not prime. Res64: BC2BF50802368DD9 Time : 0.0 sec. user=mdettweiler [2020-07-25 20:58:23] 831*2^1563837-1 is not prime. Res64: 86712C871383E7E8 Time : 0.0 sec. user=mdettweiler [2020-07-25 20:58:24] 895*2^1563837-1 is not prime. Res64: F1AED4E8CE095A93 Time : 0.0 sec. user=hwt [2020-07-25 21:00:03] 903*2^1563744-1 is not prime. Res64: 3E75C09E87408B4C Time : 0.0 sec. user=mdettweiler [2020-07-25 21:18:50] 919*2^1563837-1 is not prime. Res64: 6AF9B77A607E23FB Time : 0.0 sec. user=mdettweiler [2020-07-25 21:18:51] 955*2^1563837-1 is not prime. Res64: 68A9F283A3DEEB49 Time : 0.0 sec. user=mdettweiler [2020-07-25 21:18:52] 975*2^1563837-1 is not prime. Res64: 47A58E4E1725AD0F Time : 0.0 sec. user=mdettweiler [2020-07-25 21:18:52] 605*2^1563838-1 is not prime. Res64: 799DA64BC2CDF93F Time : 0.0 sec. user=mdettweiler [2020-07-25 21:18:53] 611*2^1563838-1 is not prime. Res64: D96D3427A1CC8213 Time : 0.0 sec. user=mdettweiler [2020-07-25 21:27:35] 761*2^1563838-1 is not prime. Res64: 0F351025B8D627AC Time : 0.0 sec. user=mdettweiler [2020-07-25 21:27:36] 843*2^1563838-1 is not prime. Res64: 4778BA9381BF1DC8 Time : 0.0 sec. user=mdettweiler [2020-07-25 21:27:36] 845*2^1563838-1 is not prime. Res64: AB93C273023BC3F8 Time : 0.0 sec. user=mdettweiler [2020-07-25 21:27:37] 885*2^1563838-1 is not prime. Res64: A71ED79F88087CEB Time : 0.0 sec. user=mdettweiler [2020-07-25 21:27:37] 933*2^1563838-1 is not prime. Res64: 0686571EB9DEF8BB Time : 0.0 sec. user=hwt [2020-07-25 21:36:09] 889*2^1563839-1 is not prime. Res64: E018673DD3C2A5FA Time : 0.0 sec. user=mdettweiler [2020-07-25 21:53:04] 663*2^1563839-1 is not prime. Res64: 7D39D30EC92EE6E3 Time : 0.0 sec. user=mdettweiler [2020-07-25 21:53:04] 693*2^1563839-1 is not prime. Res64: F4193B0A994256E7 Time : 0.0 sec. user=mdettweiler [2020-07-25 21:53:05] 729*2^1563839-1 is not prime. Res64: E957E9DB06EEE19C Time : 0.0 sec. user=mdettweiler [2020-07-25 21:53:05] 855*2^1563839-1 is not prime. Res64: 0781857EC1FDFEF8 Time : 0.0 sec. user=mdettweiler [2020-07-25 21:53:06] 859*2^1563839-1 is not prime. Res64: 2F31320C627E65C9 Time : 0.0 sec. user=hwt [2020-07-25 22:12:53] 997*2^1563841-1 is not prime. Res64: 3F25A589DB8E6376 Time : 0.0 sec. user=mdettweiler [2020-07-25 22:13:33] 939*2^1563839-1 is not prime. Res64: 3F3071377CBFB299 Time : 0.0 sec. user=mdettweiler [2020-07-25 22:13:34] 707*2^1563840-1 is not prime. Res64: ACD7969E59DB3FA2 Time : 0.0 sec. user=mdettweiler [2020-07-25 22:13:34] 737*2^1563840-1 is not prime. Res64: DE15485569CF952C Time : 0.0 sec. user=mdettweiler [2020-07-25 22:13:35] 795*2^1563840-1 is not prime. Res64: E0730FC128AEACC8 Time : 0.0 sec. user=mdettweiler [2020-07-25 22:13:36] 639*2^1563841-1 is not prime. Res64: 1A326C6554F32B35 Time : 0.0 sec. user=mdettweiler [2020-07-25 22:24:39] 727*2^1563841-1 is not prime. Res64: 6525B827E41774B5 Time : 0.0 sec. user=mdettweiler [2020-07-25 22:24:40] 807*2^1563841-1 is not prime. Res64: 8A9EFC683C8870AD Time : 0.0 sec. user=mdettweiler [2020-07-25 22:24:40] 835*2^1563841-1 is not prime. Res64: 2CF9891A4CEE6994 Time : 0.0 sec. user=mdettweiler [2020-07-25 22:24:41] 867*2^1563841-1 is not prime. Res64: A7A773F4E2476AD4 Time : 0.0 sec. user=mdettweiler [2020-07-25 22:24:41] 939*2^1563841-1 is not prime. Res64: 434473ECA1738758 Time : 0.0 sec. user=mdettweiler [2020-07-25 22:48:46] 633*2^1563842-1 is not prime. Res64: 5B1F883D82F4B2CA Time : 0.0 sec. user=mdettweiler [2020-07-25 22:48:46] 735*2^1563842-1 is not prime. Res64: BD2DDDE652609573 Time : 0.0 sec. user=mdettweiler [2020-07-25 22:48:47] 885*2^1563842-1 is not prime. Res64: 5E2001B711065DCD Time : 0.0 sec. user=mdettweiler [2020-07-25 22:48:47] 987*2^1563842-1 is not prime. Res64: 03783CB57C11F5F2 Time : 0.0 sec. user=mdettweiler [2020-07-25 22:48:48] 995*2^1563842-1 is not prime. Res64: BC9C6A3CF93FE2BD Time : 0.0 sec. user=mdettweiler [2020-07-25 23:08:00] 625*2^1563843-1 is not prime. Res64: FBCA6016392639B3 Time : 0.0 sec. user=mdettweiler [2020-07-25 23:08:04] 751*2^1563843-1 is not prime. Res64: 898899D6A7AE15D0 Time : 0.0 sec. user=mdettweiler [2020-07-25 23:08:07] 859*2^1563843-1 is not prime. Res64: BEA72EE7017976CB Time : 0.0 sec. user=mdettweiler [2020-07-25 23:08:10] 885*2^1563843-1 is not prime. Res64: 8D310101A86285A6 Time : 0.0 sec. user=mdettweiler [2020-07-25 23:08:14] 635*2^1563844-1 is not prime. Res64: 3436542951B4562E Time : 0.0 sec. user=mdettweiler [2020-07-25 23:17:34] 695*2^1563844-1 is not prime. Res64: 648C178D578113E1 Time : 0.0 sec. user=mdettweiler [2020-07-25 23:17:34] 723*2^1563844-1 is not prime. Res64: 5F7B6C877CAD443B Time : 0.0 sec. user=mdettweiler [2020-07-25 23:17:35] 759*2^1563844-1 is not prime. Res64: B3882F963678BB90 Time : 0.0 sec. user=mdettweiler [2020-07-25 23:17:36] 773*2^1563844-1 is not prime. Res64: 5989014C054B0173 Time : 0.0 sec. user=mdettweiler [2020-07-25 23:17:36] 783*2^1563844-1 is not prime. Res64: AA802863C0A5C9B3 Time : 0.0 sec. user=mdettweiler [2020-07-25 23:45:37] 875*2^1563844-1 is not prime. Res64: 0ED74FD9E87464D5 Time : 0.0 sec. user=mdettweiler [2020-07-25 23:45:37] 885*2^1563844-1 is not prime. Res64: 2153AAB7DA18B049 Time : 0.0 sec. user=mdettweiler [2020-07-25 23:45:38] 897*2^1563844-1 is not prime. Res64: 2EA70DABFA0DB474 Time : 0.0 sec. user=mdettweiler [2020-07-25 23:45:39] 905*2^1563844-1 is not prime. Res64: C84B2C56691ADA52 Time : 0.0 sec. user=mdettweiler [2020-07-25 23:45:39] 607*2^1563845-1 is not prime. Res64: 5195C6E54E1E3648 Time : 0.0 sec.