user=mdettweiler [2020-05-06 00:08:22] 635*2^1558844-1 is not prime. Res64: FEE04CCA42BD9474 Time : 0.0 sec. user=mdettweiler [2020-05-06 00:08:24] 837*2^1558844-1 is not prime. Res64: 889BA2AE2862D2B1 Time : 0.0 sec. user=mdettweiler [2020-05-06 00:08:25] 843*2^1558844-1 is not prime. Res64: 765ED4F24F5860DE Time : 0.0 sec. user=mdettweiler [2020-05-06 00:08:26] 869*2^1558844-1 is not prime. Res64: AFBCCC9D04584222 Time : 0.0 sec. user=mdettweiler [2020-05-06 00:08:28] 953*2^1558844-1 is not prime. Res64: 26881CAA9E76CC3A Time : 0.0 sec. user=mdettweiler [2020-05-06 00:23:04] 995*2^1558844-1 is not prime. Res64: 1465ADDE93387D93 Time : 0.0 sec. user=mdettweiler [2020-05-06 00:23:04] 639*2^1558845-1 is not prime. Res64: C62FF6A856C6743C Time : 0.0 sec. user=mdettweiler [2020-05-06 00:23:05] 727*2^1558845-1 is not prime. Res64: 030003900C6A150B Time : 0.0 sec. user=mdettweiler [2020-05-06 00:23:05] 751*2^1558845-1 is not prime. Res64: 235EFE82991F6527 Time : 0.0 sec. user=mdettweiler [2020-05-06 00:23:05] 825*2^1558845-1 is not prime. Res64: E775D54FBCE8F10B Time : 0.0 sec. user=mdettweiler [2020-05-06 00:33:04] 919*2^1558845-1 is not prime. Res64: 8DED0F0E203389C8 Time : 0.0 sec. user=mdettweiler [2020-05-06 00:33:05] 921*2^1558845-1 is not prime. Res64: BC448ED646DC8C62 Time : 0.0 sec. user=mdettweiler [2020-05-06 00:33:05] 955*2^1558845-1 is not prime. Res64: 89D4384DD75FF962 Time : 0.0 sec. user=mdettweiler [2020-05-06 00:33:05] 969*2^1558845-1 is not prime. Res64: A94BB6BA93199A70 Time : 0.0 sec. user=mdettweiler [2020-05-06 00:33:06] 985*2^1558845-1 is not prime. Res64: 7EDCBF7E6EF682F5 Time : 0.0 sec. user=mdettweiler [2020-05-06 01:02:00] 997*2^1558845-1 is not prime. Res64: A18F321768DF8ECB Time : 0.0 sec. user=mdettweiler [2020-05-06 01:02:01] 651*2^1558846-1 is not prime. Res64: 2175858A031779F4 Time : 0.0 sec. user=mdettweiler [2020-05-06 01:02:03] 695*2^1558846-1 is not prime. Res64: DEFEF07F1C0A0E73 Time : 0.0 sec. user=mdettweiler [2020-05-06 01:02:04] 705*2^1558846-1 is not prime. Res64: 499460C6CEAD0848 Time : 0.0 sec. user=mdettweiler [2020-05-06 01:02:06] 717*2^1558846-1 is not prime. Res64: 84F07C02E624400A Time : 0.0 sec. user=mdettweiler [2020-05-06 01:18:10] 821*2^1558846-1 is not prime. Res64: 4EE9932DAA8217A7 Time : 0.0 sec. user=mdettweiler [2020-05-06 01:18:10] 833*2^1558846-1 is not prime. Res64: CC665466107C515D Time : 0.0 sec. user=mdettweiler [2020-05-06 01:18:11] 975*2^1558846-1 is not prime. Res64: 79C0BCA89F6D9824 Time : 0.0 sec. user=mdettweiler [2020-05-06 01:18:11] 825*2^1558847-1 is not prime. Res64: 4622EBCD59EFD0CC Time : 0.0 sec. user=mdettweiler [2020-05-06 01:18:11] 861*2^1558847-1 is not prime. Res64: CCA20705CEF9C0AD Time : 0.0 sec. user=mdettweiler [2020-05-06 01:28:42] 889*2^1558847-1 is not prime. Res64: 692CFFFC971682C4 Time : 0.0 sec. user=mdettweiler [2020-05-06 01:28:44] 909*2^1558847-1 is not prime. Res64: 016C8D6AF5D29EEC Time : 0.0 sec. user=mdettweiler [2020-05-06 01:28:45] 665*2^1558848-1 is not prime. Res64: 891E30CCB6E8C4EE Time : 0.0 sec. user=mdettweiler [2020-05-06 01:28:46] 695*2^1558848-1 is not prime. Res64: 8C9C894FB0E11C48 Time : 0.0 sec. user=mdettweiler [2020-05-06 01:28:48] 879*2^1558848-1 is not prime. Res64: 44D9DEB66F6590B3 Time : 0.0 sec. user=mdettweiler [2020-05-06 01:57:06] 999*2^1558848-1 is not prime. Res64: 1F1FEB6715F1DE2F Time : 0.0 sec. user=mdettweiler [2020-05-06 01:57:09] 687*2^1558849-1 is not prime. Res64: 0DD5DCDD9D26AF97 Time : 0.0 sec. user=mdettweiler [2020-05-06 01:57:10] 721*2^1558849-1 is not prime. Res64: A149D6B17E9E0665 Time : 0.0 sec. user=mdettweiler [2020-05-06 01:57:13] 775*2^1558849-1 is not prime. Res64: C9CA5026D446EC24 Time : 0.0 sec. user=mdettweiler [2020-05-06 01:57:15] 877*2^1558849-1 is not prime. Res64: A36B50CC980B81E5 Time : 0.0 sec. user=mdettweiler [2020-05-06 02:14:49] 939*2^1558849-1 is not prime. Res64: 801AC31FEC1E7679 Time : 0.0 sec. user=mdettweiler [2020-05-06 02:14:53] 955*2^1558849-1 is not prime. Res64: 0C935778476EA3A2 Time : 0.0 sec. user=mdettweiler [2020-05-06 02:14:58] 979*2^1558849-1 is not prime. Res64: 182EC51100F3AD57 Time : 0.0 sec. user=mdettweiler [2020-05-06 02:15:08] 767*2^1558850-1 is not prime. Res64: B2312907D15AE017 Time : 0.0 sec. user=mdettweiler [2020-05-06 02:26:45] 861*2^1558850-1 is not prime. Res64: 093F598E8F9FD9C3 Time : 0.0 sec. user=mdettweiler [2020-05-06 02:26:48] 885*2^1558850-1 is not prime. Res64: 5A6364AD2049E76E Time : 0.0 sec. user=mdettweiler [2020-05-06 02:26:49] 923*2^1558850-1 is not prime. Res64: 283C919D29903668 Time : 0.0 sec. user=mdettweiler [2020-05-06 02:26:51] 1001*2^1558850-1 is not prime. Res64: A37D9EF62545D8B8 Time : 0.0 sec. user=mdettweiler [2020-05-06 02:26:53] 703*2^1558851-1 is not prime. Res64: D5401EA375CF7ECA Time : 0.0 sec. user=mdettweiler [2020-05-06 02:54:44] 793*2^1558851-1 is not prime. Res64: 8F4AF4435665E611 Time : 0.0 sec. user=mdettweiler [2020-05-06 02:54:45] 801*2^1558851-1 is not prime. Res64: 089DE6DE95C5453B Time : 0.0 sec. user=mdettweiler [2020-05-06 02:54:45] 913*2^1558851-1 is not prime. Res64: 042F2262D29B2C5A Time : 0.0 sec. user=mdettweiler [2020-05-06 02:54:45] 931*2^1558851-1 is not prime. Res64: 3D6F11DF77C4175F Time : 0.0 sec. user=mdettweiler [2020-05-06 02:54:46] 955*2^1558851-1 is not prime. Res64: 5533C74F7781FF3B Time : 0.0 sec. user=mdettweiler [2020-05-06 03:22:21] 975*2^1558851-1 is not prime. Res64: FA14FB074918E017 Time : 0.0 sec. user=mdettweiler [2020-05-06 03:22:21] 979*2^1558851-1 is not prime. Res64: 8C5248CA2C9427CA Time : 0.0 sec. user=mdettweiler [2020-05-06 03:22:21] 653*2^1558852-1 is not prime. Res64: E85EC791778B7BEE Time : 0.0 sec. user=mdettweiler [2020-05-06 03:22:22] 765*2^1558852-1 is not prime. Res64: DA4E65D0410DEA95 Time : 0.0 sec. user=mdettweiler [2020-05-06 03:22:22] 779*2^1558852-1 is not prime. Res64: 3CB3C4D4A4E55150 Time : 0.0 sec. user=mdettweiler [2020-05-06 03:49:55] 819*2^1558852-1 is not prime. Res64: 43761A0622DD0106 Time : 0.0 sec. user=mdettweiler [2020-05-06 03:49:56] 923*2^1558852-1 is not prime. Res64: 603AA0D632291053 Time : 0.0 sec. user=mdettweiler [2020-05-06 03:49:58] 929*2^1558852-1 is not prime. Res64: F70B341769644823 Time : 0.0 sec. user=mdettweiler [2020-05-06 03:50:00] 607*2^1558853-1 is not prime. Res64: 8DEB743AD791E9AC Time : 0.0 sec. user=mdettweiler [2020-05-06 03:50:02] 837*2^1558853-1 is not prime. Res64: 7E8B57D000BE9A6A Time : 0.0 sec. user=mdettweiler [2020-05-06 04:18:51] 725*2^1558854-1 is not prime. Res64: 5A566BE3C122BB53 Time : 0.0 sec. user=mdettweiler [2020-05-06 04:18:54] 863*2^1558854-1 is not prime. Res64: B49818C204C11CF8 Time : 0.0 sec. user=mdettweiler [2020-05-06 04:18:57] 893*2^1558854-1 is not prime. Res64: 09A64824447BC1FA Time : 0.0 sec. user=mdettweiler [2020-05-06 04:19:00] 645*2^1558855-1 is not prime. Res64: EB9251A12A596A67 Time : 0.0 sec. user=mdettweiler [2020-05-06 04:19:03] 985*2^1558855-1 is not prime. Res64: 5624D90B15CB51A3 Time : 0.0 sec. user=mdettweiler [2020-05-06 04:46:14] 999*2^1558855-1 is not prime. Res64: 7F5F83E4DD4BBE2E Time : 0.0 sec. user=mdettweiler [2020-05-06 04:46:14] 683*2^1558856-1 is not prime. Res64: 4F9B753D57AE016D Time : 0.0 sec. user=mdettweiler [2020-05-06 04:46:15] 873*2^1558856-1 is not prime. Res64: 25A0D35F085EE364 Time : 0.0 sec. user=mdettweiler [2020-05-06 04:46:15] 969*2^1558856-1 is not prime. Res64: 413C3A6F64232775 Time : 0.0 sec. user=mdettweiler [2020-05-06 04:46:15] 649*2^1558857-1 is not prime. Res64: 3A6142F92BBD1F85 Time : 0.0 sec. user=mdettweiler [2020-05-06 05:13:52] 661*2^1558857-1 is not prime. Res64: 452B57B796859CA7 Time : 0.0 sec. user=mdettweiler [2020-05-06 05:13:53] 717*2^1558857-1 is not prime. Res64: 1B4CB26358571F4C Time : 0.0 sec. user=mdettweiler [2020-05-06 05:13:53] 759*2^1558857-1 is not prime. Res64: 7E1CE80EA839CE10 Time : 0.0 sec. user=mdettweiler [2020-05-06 05:13:54] 817*2^1558857-1 is not prime. Res64: 3C0DA6988C396BF9 Time : 0.0 sec. user=mdettweiler [2020-05-06 05:13:54] 945*2^1558857-1 is not prime. Res64: A75ACB27E079D0FF Time : 0.0 sec. user=mdettweiler [2020-05-06 05:40:00] 687*2^1558858-1 is not prime. Res64: 1C5AE3919DBF8B98 Time : 0.0 sec. user=mdettweiler [2020-05-06 05:40:00] 713*2^1558858-1 is not prime. Res64: 6B43C53B5A8E1772 Time : 0.0 sec. user=mdettweiler [2020-05-06 05:40:00] 743*2^1558858-1 is not prime. Res64: B34615B3C7026068 Time : 0.0 sec. user=mdettweiler [2020-05-06 05:40:01] 765*2^1558858-1 is not prime. Res64: 8971A24BD532DE35 Time : 0.0 sec. user=mdettweiler [2020-05-06 05:40:01] 857*2^1558858-1 is not prime. Res64: 7B93E7445907D777 Time : 0.0 sec. user=mdettweiler [2020-05-06 06:07:45] 993*2^1558858-1 is not prime. Res64: E92DFDB2E971004F Time : 0.0 sec. user=mdettweiler [2020-05-06 06:07:47] 601*2^1558859-1 is not prime. Res64: 2023D4F307436424 Time : 0.0 sec. user=mdettweiler [2020-05-06 06:07:47] 693*2^1558859-1 is not prime. Res64: 3FD4DDFBDCB5210D Time : 0.0 sec. user=mdettweiler [2020-05-06 06:07:48] 733*2^1558859-1 is not prime. Res64: 2E0B7DBFBFA441C4 Time : 0.0 sec. user=mdettweiler [2020-05-06 06:07:48] 775*2^1558859-1 is not prime. Res64: 89003D4D208587D5 Time : 0.0 sec. user=mdettweiler [2020-05-06 06:33:42] 789*2^1558859-1 is not prime. Res64: C5425A3E58FA7A61 Time : 0.0 sec. user=mdettweiler [2020-05-06 06:33:42] 799*2^1558859-1 is not prime. Res64: D6F184335FDD52C9 Time : 0.0 sec. user=mdettweiler [2020-05-06 06:33:42] 943*2^1558859-1 is not prime. Res64: 7E281828E707BACE Time : 0.0 sec. user=mdettweiler [2020-05-06 06:33:43] 609*2^1558860-1 is not prime. Res64: 45097BF903E35F0D Time : 0.0 sec. user=mdettweiler [2020-05-06 06:33:43] 635*2^1558860-1 is not prime. Res64: 648D0B5CE62DA400 Time : 0.0 sec. user=mdettweiler [2020-05-06 07:00:23] 647*2^1558860-1 is not prime. Res64: EA81A2623402C772 Time : 0.0 sec. user=mdettweiler [2020-05-06 07:00:25] 777*2^1558860-1 is not prime. Res64: 2A578508137AD066 Time : 0.0 sec. user=mdettweiler [2020-05-06 07:00:26] 797*2^1558860-1 is not prime. Res64: 69293014F79B814B Time : 0.0 sec. user=mdettweiler [2020-05-06 07:00:27] 845*2^1558860-1 is not prime. Res64: 39DCCFE31A847595 Time : 0.0 sec. user=mdettweiler [2020-05-06 07:00:28] 645*2^1558861-1 is not prime. Res64: F9F1338A607B6443 Time : 0.0 sec. user=mdettweiler [2020-05-06 07:27:30] 827*2^1558850-1 is not prime. Res64: 250DAEE5C8B60889 Time : 0.0 sec. user=mdettweiler [2020-05-06 07:28:46] 675*2^1558861-1 is not prime. Res64: 0237FA58420D9111 Time : 0.0 sec. user=mdettweiler [2020-05-06 07:28:47] 757*2^1558861-1 is not prime. Res64: 7885F70BB353D257 Time : 0.0 sec. user=mdettweiler [2020-05-06 07:28:47] 769*2^1558861-1 is not prime. Res64: 594F07A0A5C8F47C Time : 0.0 sec. user=mdettweiler [2020-05-06 07:28:47] 855*2^1558861-1 is not prime. Res64: 0945CFCE8454B7FD Time : 0.0 sec. user=mdettweiler [2020-05-06 07:28:48] 861*2^1558861-1 is not prime. Res64: 812DF495F0E93C4B Time : 0.0 sec. user=mdettweiler [2020-05-06 07:55:29] 961*2^1558861-1 is not prime. Res64: CF997B1DDB3E03E8 Time : 0.0 sec. user=mdettweiler [2020-05-06 07:55:30] 979*2^1558861-1 is not prime. Res64: 5165DD5E070B31C0 Time : 0.0 sec. user=mdettweiler [2020-05-06 07:55:30] 627*2^1558862-1 is not prime. Res64: C620BB1934BD48AA Time : 0.0 sec. user=mdettweiler [2020-05-06 07:55:31] 785*2^1558862-1 is not prime. Res64: 29695D578F80CD4A Time : 0.0 sec. user=mdettweiler [2020-05-06 07:55:31] 797*2^1558862-1 is not prime. Res64: 3616C952B4837956 Time : 0.0 sec. user=mdettweiler [2020-05-06 08:20:42] 831*2^1558862-1 is not prime. Res64: C03C96386D7E997A Time : 0.0 sec. user=mdettweiler [2020-05-06 08:20:43] 893*2^1558862-1 is not prime. Res64: CB98E963BA6A6ECA Time : 0.0 sec. user=mdettweiler [2020-05-06 08:20:43] 675*2^1558863-1 is not prime. Res64: ACAF0B4CB27A9D27 Time : 0.0 sec. user=mdettweiler [2020-05-06 08:20:44] 691*2^1558863-1 is not prime. Res64: DDFF66508963A0B9 Time : 0.0 sec. user=mdettweiler [2020-05-06 08:20:44] 703*2^1558863-1 is not prime. Res64: CE0E00B5385389F9 Time : 0.0 sec. user=mdettweiler [2020-05-06 08:22:48] 769*2^1558863-1 is not prime. Res64: DEDFE3E9E31DADB3 Time : 0.0 sec. user=mdettweiler [2020-05-06 08:22:49] 789*2^1558863-1 is not prime. Res64: 219B69D1936D6457 Time : 0.0 sec. user=mdettweiler [2020-05-06 08:22:49] 823*2^1558863-1 is not prime. Res64: FB010A23022D68EE Time : 0.0 sec. user=mdettweiler [2020-05-06 08:22:49] 829*2^1558863-1 is not prime. Res64: 9F455CF251161FFD Time : 0.0 sec. user=mdettweiler [2020-05-06 08:22:49] 895*2^1558863-1 is not prime. Res64: 9C876983DE73BBA1 Time : 0.0 sec. user=mdettweiler [2020-05-06 08:50:23] 963*2^1558863-1 is not prime. Res64: BD08F34AA9DEFCBB Time : 0.0 sec. user=mdettweiler [2020-05-06 08:50:23] 677*2^1558864-1 is not prime. Res64: 2C44238D11E8C711 Time : 0.0 sec. user=mdettweiler [2020-05-06 08:50:23] 705*2^1558864-1 is not prime. Res64: 7E762DE4AC5EBCE4 Time : 0.0 sec. user=mdettweiler [2020-05-06 08:50:23] 825*2^1558864-1 is not prime. Res64: 27871FDC3C8FF03D Time : 0.0 sec. user=mdettweiler [2020-05-06 08:50:24] 863*2^1558864-1 is not prime. Res64: 93059580AAF8B0F2 Time : 0.0 sec. user=mdettweiler [2020-05-06 09:18:20] 869*2^1558864-1 is not prime. Res64: 3F128212160A9E34 Time : 0.0 sec. user=mdettweiler [2020-05-06 09:18:20] 873*2^1558864-1 is not prime. Res64: 420B8E4305D2A4AA Time : 0.0 sec. user=mdettweiler [2020-05-06 09:18:21] 939*2^1558864-1 is not prime. Res64: 68271D22ACA8C0A0 Time : 0.0 sec. user=mdettweiler [2020-05-06 09:18:21] 995*2^1558864-1 is not prime. Res64: AD363D4907177F0D Time : 0.0 sec. user=mdettweiler [2020-05-06 09:18:22] 771*2^1558865-1 is not prime. Res64: 72181FD1B5DB7344 Time : 0.0 sec. user=mdettweiler [2020-05-06 09:19:10] 819*2^1558865-1 is not prime. Res64: 292A02A9274AEE75 Time : 0.0 sec. user=mdettweiler [2020-05-06 09:19:10] 837*2^1558865-1 is not prime. Res64: 2D057B355C649E20 Time : 0.0 sec. user=mdettweiler [2020-05-06 09:19:11] 897*2^1558865-1 is not prime. Res64: D41599FF4BDBC31F Time : 0.0 sec. user=mdettweiler [2020-05-06 09:19:11] 937*2^1558865-1 is not prime. Res64: 8663DD338C6AF8C2 Time : 0.0 sec. user=mdettweiler [2020-05-06 09:19:11] 949*2^1558865-1 is not prime. Res64: CD831ABC75CDD1D6 Time : 0.0 sec. user=mdettweiler [2020-05-06 09:44:58] 987*2^1558865-1 is not prime. Res64: B67ECA7246C7AF8F Time : 0.0 sec. user=mdettweiler [2020-05-06 09:44:59] 635*2^1558866-1 is not prime. Res64: DA7CEC7D0C566236 Time : 0.0 sec. user=mdettweiler [2020-05-06 09:44:59] 671*2^1558866-1 is not prime. Res64: 5F993E2679BF56D0 Time : 0.0 sec. user=mdettweiler [2020-05-06 09:44:59] 783*2^1558866-1 is not prime. Res64: AC64D8A0612FDCC0 Time : 0.0 sec. user=mdettweiler [2020-05-06 09:45:00] 891*2^1558866-1 is not prime. Res64: BF278FBB3D0B67C6 Time : 0.0 sec. user=mdettweiler [2020-05-06 10:10:14] 639*2^1558867-1 is not prime. Res64: 976438F573443513 Time : 0.0 sec. user=mdettweiler [2020-05-06 10:10:14] 649*2^1558867-1 is not prime. Res64: 5AE95E7B006B6FCB Time : 0.0 sec. user=mdettweiler [2020-05-06 10:10:14] 651*2^1558867-1 is not prime. Res64: B1A25DF5A2788400 Time : 0.0 sec. user=mdettweiler [2020-05-06 10:10:15] 663*2^1558867-1 is not prime. Res64: 7ADC3CCD7240E479 Time : 0.0 sec. user=mdettweiler [2020-05-06 10:10:15] 775*2^1558867-1 is not prime. Res64: 3DCF86F70A34A291 Time : 0.0 sec. user=mdettweiler [2020-05-06 10:13:53] 885*2^1558867-1 is not prime. Res64: 5CB9106D682AE3BC Time : 0.0 sec. user=mdettweiler [2020-05-06 10:13:53] 895*2^1558867-1 is not prime. Res64: C3047BDF2DE27C29 Time : 0.0 sec. user=mdettweiler [2020-05-06 10:13:54] 635*2^1558868-1 is not prime. Res64: 2E782A28B1DCC8A0 Time : 0.0 sec. user=mdettweiler [2020-05-06 10:13:54] 669*2^1558868-1 is not prime. Res64: AEE3992134F7B742 Time : 0.0 sec. user=mdettweiler [2020-05-06 10:13:54] 837*2^1558868-1 is not prime. Res64: 588FCD35295D93D3 Time : 0.0 sec. user=mdettweiler [2020-05-06 10:42:19] 929*2^1558868-1 is not prime. Res64: 5D4F6D62BF0F8564 Time : 0.0 sec. user=mdettweiler [2020-05-06 10:42:20] 963*2^1558868-1 is not prime. Res64: 39FA1943B6D6B1C8 Time : 0.0 sec. user=mdettweiler [2020-05-06 10:42:20] 847*2^1558869-1 is not prime. Res64: 9D6D798D84F882AC Time : 0.0 sec. user=mdettweiler [2020-05-06 10:42:20] 889*2^1558869-1 is not prime. Res64: 251AA6190C650BB7 Time : 0.0 sec. user=mdettweiler [2020-05-06 10:42:21] 891*2^1558869-1 is not prime. Res64: 344157548B27A7AF Time : 0.0 sec. user=mdettweiler [2020-05-06 11:07:25] 657*2^1558870-1 is not prime. Res64: DD0BE547CC463B76 Time : 0.0 sec. user=mdettweiler [2020-05-06 11:07:33] 867*2^1558870-1 is not prime. Res64: 223A0FABE08E4777 Time : 0.0 sec. user=mdettweiler [2020-05-06 11:07:36] 887*2^1558870-1 is not prime. Res64: 874D3B268149A1C5 Time : 0.0 sec. user=mdettweiler [2020-05-06 11:07:39] 891*2^1558870-1 is not prime. Res64: AAAAF8C5546C5727 Time : 0.0 sec. user=mdettweiler [2020-05-06 11:07:42] 941*2^1558870-1 is not prime. Res64: 5C0CB29AA7FA34C1 Time : 0.0 sec. user=mdettweiler [2020-05-06 11:09:38] 971*2^1558870-1 is not prime. Res64: FCCE9316E1F3D0AA Time : 0.0 sec. user=mdettweiler [2020-05-06 11:09:40] 675*2^1558871-1 is not prime. Res64: D38566332DE28CC8 Time : 0.0 sec. user=mdettweiler [2020-05-06 11:09:41] 693*2^1558871-1 is not prime. Res64: 74FDAB89C6B56576 Time : 0.0 sec. user=mdettweiler [2020-05-06 11:09:42] 879*2^1558871-1 is not prime. Res64: 5C1FEA7F24AB5C80 Time : 0.0 sec. user=mdettweiler [2020-05-06 11:09:43] 979*2^1558871-1 is not prime. Res64: A996F5385EBF1F27 Time : 0.0 sec. user=mdettweiler [2020-05-06 11:35:37] 629*2^1558872-1 is not prime. Res64: B87B2F1C3B7B5B21 Time : 0.0 sec. user=mdettweiler [2020-05-06 11:35:38] 695*2^1558872-1 is not prime. Res64: 4F154C785C61547A Time : 0.0 sec. user=mdettweiler [2020-05-06 11:35:38] 713*2^1558872-1 is not prime. Res64: 63A44597681A1756 Time : 0.0 sec. user=mdettweiler [2020-05-06 11:35:38] 753*2^1558872-1 is not prime. Res64: 3E5CAAE4D8C9B668 Time : 0.0 sec. user=mdettweiler [2020-05-06 11:35:39] 899*2^1558872-1 is not prime. Res64: B6016DE9A6A1F7DC Time : 0.0 sec. user=mdettweiler [2020-05-06 12:03:10] 957*2^1558872-1 is not prime. Res64: 21CD1DC515F9A2B5 Time : 0.0 sec. user=mdettweiler [2020-05-06 12:03:12] 983*2^1558872-1 is not prime. Res64: D69CCF708424351B Time : 0.0 sec. user=mdettweiler [2020-05-06 12:03:14] 625*2^1558873-1 is not prime. Res64: BE1B6547975AEB94 Time : 0.0 sec. user=mdettweiler [2020-05-06 12:03:16] 741*2^1558873-1 is not prime. Res64: 812BB4A39B17C36D Time : 0.0 sec. user=mdettweiler [2020-05-06 12:03:18] 765*2^1558873-1 is not prime. Res64: 1995E8A4A356E334 Time : 0.0 sec. user=mdettweiler [2020-05-06 12:03:19] 775*2^1558873-1 is not prime. Res64: 830B20E936941891 Time : 0.0 sec. user=mdettweiler [2020-05-06 12:03:21] 829*2^1558873-1 is not prime. Res64: 5DA90341C9306984 Time : 0.0 sec. user=mdettweiler [2020-05-06 12:03:24] 939*2^1558873-1 is not prime. Res64: 0804181CC4DA2B3C Time : 0.0 sec. user=mdettweiler [2020-05-06 12:03:25] 605*2^1558874-1 is not prime. Res64: 61B8948CDFA09332 Time : 0.0 sec. user=mdettweiler [2020-05-06 12:03:27] 641*2^1558874-1 is not prime. Res64: 2D32897EB069F5F9 Time : 0.0 sec. user=mdettweiler [2020-05-06 12:28:48] 665*2^1558874-1 is not prime. Res64: 1ECD30D204FC4F3F Time : 0.0 sec. user=mdettweiler [2020-05-06 12:28:48] 743*2^1558874-1 is not prime. Res64: 89E0AA22020600B0 Time : 0.0 sec. user=mdettweiler [2020-05-06 12:28:49] 755*2^1558874-1 is not prime. Res64: E9A7B04255424D88 Time : 0.0 sec. user=mdettweiler [2020-05-06 12:28:49] 767*2^1558874-1 is not prime. Res64: 62D2B57A07075F21 Time : 0.0 sec. user=mdettweiler [2020-05-06 12:28:49] 797*2^1558874-1 is not prime. Res64: 43E7F7311C96590E Time : 0.0 sec. user=mdettweiler [2020-05-06 12:56:11] 783*2^1558875-1 is not prime. Res64: A0F5130EAB6B3F8D Time : 0.0 sec. user=mdettweiler [2020-05-06 12:56:12] 825*2^1558875-1 is not prime. Res64: 33E4220D1993AF57 Time : 0.0 sec. user=mdettweiler [2020-05-06 12:56:12] 617*2^1558876-1 is not prime. Res64: EA5031BD390FCD06 Time : 0.0 sec. user=mdettweiler [2020-05-06 12:56:13] 707*2^1558876-1 is not prime. Res64: 0C188A530D2101F7 Time : 0.0 sec. user=mdettweiler [2020-05-06 12:56:13] 711*2^1558877-1 is not prime. Res64: 3FD6C14AF46C494D Time : 0.0 sec. user=mdettweiler [2020-05-06 12:57:50] 825*2^1558874-1 is not prime. Res64: 5239AA71F5C853F8 Time : 0.0 sec. user=mdettweiler [2020-05-06 12:57:50] 837*2^1558874-1 is not prime. Res64: DFB0435D66E36A1D Time : 0.0 sec. user=mdettweiler [2020-05-06 12:57:51] 861*2^1558874-1 is not prime. Res64: EC05BED39A847D1C Time : 0.0 sec. user=mdettweiler [2020-05-06 12:57:51] 619*2^1558875-1 is not prime. Res64: 09733400CAEA2596 Time : 0.0 sec. user=mdettweiler [2020-05-06 12:57:52] 781*2^1558875-1 is not prime. Res64: 462059865D642B31 Time : 0.0 sec. user=mdettweiler [2020-05-06 13:25:05] 805*2^1558877-1 is not prime. Res64: 14B4445A5D034A48 Time : 0.0 sec. user=mdettweiler [2020-05-06 13:25:06] 837*2^1558877-1 is not prime. Res64: 550E2643270840D5 Time : 0.0 sec. user=mdettweiler [2020-05-06 13:25:06] 945*2^1558877-1 is not prime. Res64: 214ABA8749E39BC5 Time : 0.0 sec. user=mdettweiler [2020-05-06 13:25:07] 949*2^1558877-1 is not prime. Res64: B5ACF16A0A3EC4A3 Time : 0.0 sec. user=mdettweiler [2020-05-06 13:25:07] 979*2^1558877-1 is not prime. Res64: 0744F8B77C661BAF Time : 0.0 sec. user=mdettweiler [2020-05-06 13:48:21] 615*2^1558878-1 is not prime. Res64: C89FDA6A2E0E49C5 Time : 0.0 sec. user=mdettweiler [2020-05-06 13:48:22] 635*2^1558878-1 is not prime. Res64: 1CBC203D91F94840 Time : 0.0 sec. user=mdettweiler [2020-05-06 13:48:22] 713*2^1558878-1 is not prime. Res64: BC4988080C2711CF Time : 0.0 sec. user=mdettweiler [2020-05-06 13:48:23] 731*2^1558878-1 is not prime. Res64: C39528977DD83495 Time : 0.0 sec. user=mdettweiler [2020-05-06 13:48:23] 843*2^1558878-1 is not prime. Res64: ADA50B7741834B98 Time : 0.0 sec. user=mdettweiler [2020-05-06 13:52:41] 709*2^1558879-1 is not prime. Res64: 47D0A7BCECE6DAF3 Time : 0.0 sec. user=mdettweiler [2020-05-06 13:52:42] 751*2^1558879-1 is not prime. Res64: 8DE8F5900977A551 Time : 0.0 sec. user=mdettweiler [2020-05-06 13:52:42] 765*2^1558879-1 is not prime. Res64: EAE634B7AFF8F3A4 Time : 0.0 sec. user=mdettweiler [2020-05-06 13:52:42] 939*2^1558879-1 is not prime. Res64: 492D13969AC97D9E Time : 0.0 sec. user=mdettweiler [2020-05-06 13:52:43] 993*2^1558879-1 is not prime. Res64: AAEF18691CB84EB3 Time : 0.0 sec. user=mdettweiler [2020-05-06 14:22:11] 689*2^1558880-1 is not prime. Res64: FCEA591C9B7587D0 Time : 0.0 sec. user=mdettweiler [2020-05-06 14:22:11] 855*2^1558880-1 is not prime. Res64: 45A829551F0060DF Time : 0.0 sec. user=mdettweiler [2020-05-06 14:22:12] 857*2^1558880-1 is not prime. Res64: 2CCF430A1C45B85C Time : 0.0 sec. user=mdettweiler [2020-05-06 14:22:12] 917*2^1558880-1 is not prime. Res64: 6CC74492DCCD1F4F Time : 0.0 sec. user=mdettweiler [2020-05-06 14:22:13] 959*2^1558880-1 is not prime. Res64: 741C89174B591193 Time : 0.0 sec. user=mdettweiler [2020-05-06 14:41:38] 999*2^1558880-1 is not prime. Res64: 2106B3D69A798140 Time : 0.0 sec. user=mdettweiler [2020-05-06 14:41:38] 675*2^1558881-1 is not prime. Res64: C446E29A9E907253 Time : 0.0 sec. user=mdettweiler [2020-05-06 14:41:39] 647*2^1558882-1 is not prime. Res64: 8FF0A34EA694F18E Time : 0.0 sec. user=mdettweiler [2020-05-06 14:41:39] 657*2^1558882-1 is not prime. Res64: 79ECEBA924264700 Time : 0.0 sec. user=mdettweiler [2020-05-06 14:41:39] 737*2^1558882-1 is not prime. Res64: 70DDA5ED3D43DF99 Time : 0.0 sec. user=mdettweiler [2020-05-06 14:47:39] 765*2^1558882-1 is not prime. Res64: 873064E51B2269B9 Time : 0.0 sec. user=mdettweiler [2020-05-06 14:47:40] 843*2^1558882-1 is not prime. Res64: 1F7E112ED68985E4 Time : 0.0 sec. user=mdettweiler [2020-05-06 14:47:40] 911*2^1558882-1 is not prime. Res64: 231568493B9DD937 Time : 0.0 sec. user=mdettweiler [2020-05-06 14:47:41] 951*2^1558882-1 is not prime. Res64: B9D4935C1EAA5F05 Time : 0.0 sec. user=mdettweiler [2020-05-06 14:47:41] 621*2^1558883-1 is not prime. Res64: 2E1B28596AEA95E6 Time : 0.0 sec. user=mdettweiler [2020-05-06 15:16:22] 771*2^1558883-1 is not prime. Res64: 39D1F549876C0ED8 Time : 0.0 sec. user=mdettweiler [2020-05-06 15:16:23] 737*2^1558884-1 is not prime. Res64: C45B587E870D0576 Time : 0.0 sec. user=mdettweiler [2020-05-06 15:16:23] 749*2^1558884-1 is not prime. Res64: 2BDD9B6E4085D346 Time : 0.0 sec. user=mdettweiler [2020-05-06 15:16:24] 773*2^1558884-1 is not prime. Res64: 5778974CB54E18A3 Time : 0.0 sec. user=mdettweiler [2020-05-06 15:16:24] 975*2^1558884-1 is not prime. Res64: 6316657AA0588164 Time : 0.0 sec. user=mdettweiler [2020-05-06 15:37:15] 685*2^1558885-1 is not prime. Res64: 32EA066DD1DB906E Time : 0.0 sec. user=mdettweiler [2020-05-06 15:37:16] 877*2^1558885-1 is not prime. Res64: 997ADB9CE52B6C58 Time : 0.0 sec. user=mdettweiler [2020-05-06 15:37:16] 937*2^1558885-1 is not prime. Res64: 8B8681828C0DF468 Time : 0.0 sec. user=mdettweiler [2020-05-06 15:37:17] 985*2^1558885-1 is not prime. Res64: 7641122608C3467F Time : 0.0 sec. user=mdettweiler [2020-05-06 15:37:17] 615*2^1558886-1 is not prime. Res64: CA68D24BFF98B912 Time : 0.0 sec. user=mdettweiler [2020-05-06 15:43:19] 657*2^1558886-1 is not prime. Res64: 062AF9D5D8ABA52C Time : 0.0 sec. user=mdettweiler [2020-05-06 15:43:19] 875*2^1558886-1 is not prime. Res64: AACB312C88A0741F Time : 0.0 sec. user=mdettweiler [2020-05-06 15:43:19] 911*2^1558886-1 is not prime. Res64: B84201AF4718AD2C Time : 0.0 sec. user=mdettweiler [2020-05-06 15:43:20] 953*2^1558886-1 is not prime. Res64: 1653111709E260EC Time : 0.0 sec. user=mdettweiler [2020-05-06 15:43:20] 601*2^1558887-1 is not prime. Res64: BB0F54B7848E89FE Time : 0.0 sec. user=mdettweiler [2020-05-06 16:08:21] 649*2^1558887-1 is not prime. Res64: FCE6656432213B87 Time : 0.0 sec. user=mdettweiler [2020-05-06 16:08:24] 651*2^1558887-1 is not prime. Res64: AF04140D32714C13 Time : 0.0 sec. user=mdettweiler [2020-05-06 16:08:29] 709*2^1558887-1 is not prime. Res64: 7F1F53CB252D06E2 Time : 0.0 sec. user=mdettweiler [2020-05-06 16:08:30] 775*2^1558887-1 is not prime. Res64: 08A29836226D6CDE Time : 0.0 sec. user=mdettweiler [2020-05-06 16:08:32] 657*2^1558888-1 is not prime. Res64: 37D903912476CE7C Time : 0.0 sec. user=mdettweiler [2020-05-06 16:30:48] 755*2^1558888-1 is not prime. Res64: 440EE3A7047D253C Time : 0.0 sec. user=mdettweiler [2020-05-06 16:30:49] 839*2^1558888-1 is not prime. Res64: 738A1904C1D4A705 Time : 0.0 sec. user=mdettweiler [2020-05-06 16:30:51] 887*2^1558888-1 is not prime. Res64: 28E9E10B4B07541A Time : 0.0 sec. user=mdettweiler [2020-05-06 16:30:52] 615*2^1558889-1 is not prime. Res64: 53BC2FC44D2F8B69 Time : 0.0 sec. user=mdettweiler [2020-05-06 16:30:55] 657*2^1558889-1 is not prime. Res64: D9745BBCB79FBD41 Time : 0.0 sec. user=mdettweiler [2020-05-06 16:38:32] 745*2^1558889-1 is not prime. Res64: 523DF3A34B9262BA Time : 0.0 sec. user=mdettweiler [2020-05-06 16:38:33] 771*2^1558889-1 is not prime. Res64: 5B7A7E40BF7CF62A Time : 0.0 sec. user=mdettweiler [2020-05-06 16:38:33] 789*2^1558889-1 is not prime. Res64: 8AED5492FC6BBD78 Time : 0.0 sec. user=mdettweiler [2020-05-06 16:38:34] 861*2^1558889-1 is not prime. Res64: 58CFB7EA7DABF453 Time : 0.0 sec. user=mdettweiler [2020-05-06 16:38:34] 867*2^1558889-1 is not prime. Res64: D2DE8DC2E6A0CE75 Time : 0.0 sec. user=mdettweiler [2020-05-06 17:05:26] 885*2^1558889-1 is not prime. Res64: DC8C5BE6B7C5E647 Time : 0.0 sec. user=mdettweiler [2020-05-06 17:05:31] 741*2^1558890-1 is not prime. Res64: DF5538BF8D5788C6 Time : 0.0 sec. user=mdettweiler [2020-05-06 17:05:34] 755*2^1558890-1 is not prime. Res64: 26DD227B063954E2 Time : 0.0 sec. user=mdettweiler [2020-05-06 17:05:38] 851*2^1558890-1 is not prime. Res64: 73277B1387E366AB Time : 0.0 sec. user=mdettweiler [2020-05-06 17:05:42] 867*2^1558890-1 is not prime. Res64: B53C132E892E481C Time : 0.0 sec. user=mdettweiler [2020-05-06 17:25:24] 905*2^1558890-1 is not prime. Res64: 8162573F025FEB22 Time : 0.0 sec. user=mdettweiler [2020-05-06 17:25:24] 957*2^1558890-1 is not prime. Res64: 09AC73F9548D4992 Time : 0.0 sec. user=mdettweiler [2020-05-06 17:25:25] 601*2^1558891-1 is not prime. Res64: 823862F0A7F07C49 Time : 0.0 sec. user=mdettweiler [2020-05-06 17:25:25] 631*2^1558891-1 is not prime. Res64: F30FAA3C76402570 Time : 0.0 sec. user=mdettweiler [2020-05-06 17:25:25] 651*2^1558891-1 is not prime. Res64: 013C3A0A8C5A51C2 Time : 0.0 sec. user=mdettweiler [2020-05-06 17:30:25] 673*2^1558891-1 is not prime. Res64: C972A2ED1C06041B Time : 0.0 sec. user=mdettweiler [2020-05-06 17:30:26] 709*2^1558891-1 is not prime. Res64: 894BFC9BD743C112 Time : 0.0 sec. user=mdettweiler [2020-05-06 17:30:26] 835*2^1558891-1 is not prime. Res64: A47AA07645764157 Time : 0.0 sec. user=mdettweiler [2020-05-06 17:30:26] 605*2^1558892-1 is not prime. Res64: B114BE2E7F577496 Time : 0.0 sec. user=mdettweiler [2020-05-06 17:30:27] 699*2^1558892-1 is not prime. Res64: 59A263109910D876 Time : 0.0 sec. user=mdettweiler [2020-05-06 18:00:22] 719*2^1558892-1 is not prime. Res64: 263380F137AA70FF Time : 0.0 sec. user=mdettweiler [2020-05-06 18:00:23] 755*2^1558892-1 is not prime. Res64: 4105A63ACF2C4788 Time : 0.0 sec. user=mdettweiler [2020-05-06 18:00:24] 819*2^1558892-1 is not prime. Res64: B9232F47E179C149 Time : 0.0 sec. user=mdettweiler [2020-05-06 18:00:25] 833*2^1558892-1 is not prime. Res64: D69F177BF8A7AC06 Time : 0.0 sec. user=mdettweiler [2020-05-06 18:00:27] 855*2^1558892-1 is not prime. Res64: 105AE4E7694D3B1C Time : 0.0 sec. user=mdettweiler [2020-05-06 18:21:20] 885*2^1558892-1 is not prime. Res64: A5DCF712DE2CADD0 Time : 0.0 sec. user=mdettweiler [2020-05-06 18:21:20] 903*2^1558892-1 is not prime. Res64: 00E1B295545F18C5 Time : 0.0 sec. user=mdettweiler [2020-05-06 18:21:20] 959*2^1558892-1 is not prime. Res64: EC8C0FE103E6F91F Time : 0.0 sec. user=mdettweiler [2020-05-06 18:21:21] 691*2^1558893-1 is not prime. Res64: B2265775D6A1EDB0 Time : 0.0 sec. user=mdettweiler [2020-05-06 18:21:21] 741*2^1558893-1 is not prime. Res64: 3B59198BBEE1B323 Time : 0.0 sec. user=mdettweiler [2020-05-06 18:25:17] 759*2^1558893-1 is not prime. Res64: DE6E88D8C5FF7C59 Time : 0.0 sec. user=mdettweiler [2020-05-06 18:25:17] 991*2^1558893-1 is not prime. Res64: 88654E89DAAEEC6A Time : 0.0 sec. user=mdettweiler [2020-05-06 18:25:18] 645*2^1558894-1 is not prime. Res64: 48DB3A4C7604C7A9 Time : 0.0 sec. user=mdettweiler [2020-05-06 18:25:18] 815*2^1558894-1 is not prime. Res64: 480326F56C20F8AE Time : 0.0 sec. user=mdettweiler [2020-05-06 18:25:18] 857*2^1558894-1 is not prime. Res64: F78DDD70B961D2A1 Time : 0.0 sec. user=mdettweiler [2020-05-06 18:53:57] 947*2^1558894-1 is not prime. Res64: 4FEC9F258BE8B283 Time : 0.0 sec. user=mdettweiler [2020-05-06 18:53:58] 601*2^1558895-1 is not prime. Res64: 6453F8AADE2D04DB Time : 0.0 sec. user=mdettweiler [2020-05-06 18:53:58] 705*2^1558895-1 is not prime. Res64: 815ADFB4A6A7FB7E Time : 0.0 sec. user=mdettweiler [2020-05-06 18:53:58] 831*2^1558895-1 is not prime. Res64: 545F77A590BFD7BC Time : 0.0 sec. user=mdettweiler [2020-05-06 18:53:59] 841*2^1558895-1 is not prime. Res64: 87F54422E0CB0D39 Time : 0.0 sec. user=mdettweiler [2020-05-06 19:15:38] 979*2^1558895-1 is not prime. Res64: 7B8943A937CC0B77 Time : 0.0 sec. user=mdettweiler [2020-05-06 19:15:38] 981*2^1558895-1 is not prime. Res64: AFDD0A35496B6A63 Time : 0.0 sec. user=mdettweiler [2020-05-06 19:15:39] 635*2^1558896-1 is not prime. Res64: 5094A792CA20E100 Time : 0.0 sec. user=mdettweiler [2020-05-06 19:15:39] 689*2^1558896-1 is not prime. Res64: 1B06D6C2FB170CE0 Time : 0.0 sec. user=mdettweiler [2020-05-06 19:15:40] 693*2^1558896-1 is not prime. Res64: 504FF3F0B32AAF8E Time : 0.0 sec. user=mdettweiler [2020-05-06 19:21:34] 725*2^1558896-1 is not prime. Res64: DFFE0558EA0B41AC Time : 0.0 sec. user=mdettweiler [2020-05-06 19:21:35] 773*2^1558896-1 is not prime. Res64: FD27A5051127C78E Time : 0.0 sec. user=mdettweiler [2020-05-06 19:21:36] 875*2^1558896-1 is not prime. Res64: 8C35EF395E4C022C Time : 0.0 sec. user=mdettweiler [2020-05-06 19:21:36] 879*2^1558896-1 is not prime. Res64: F257C3D12CF86F6F Time : 0.0 sec. user=mdettweiler [2020-05-06 19:21:37] 887*2^1558896-1 is not prime. Res64: D510BDE69FACBAEE Time : 0.0 sec. user=mdettweiler [2020-05-06 19:48:27] 687*2^1558897-1 is not prime. Res64: D4C61A57C47EEBE5 Time : 0.0 sec. user=mdettweiler [2020-05-06 19:48:28] 751*2^1558897-1 is not prime. Res64: AE3D3B6E44519442 Time : 0.0 sec. user=mdettweiler [2020-05-06 19:48:28] 861*2^1558897-1 is not prime. Res64: D354CE2FA22C1C65 Time : 0.0 sec. user=mdettweiler [2020-05-06 19:48:29] 979*2^1558897-1 is not prime. Res64: 545F4AD78633D39B Time : 0.0 sec. user=mdettweiler [2020-05-06 19:48:29] 651*2^1558898-1 is not prime. Res64: 19A9972572DB89D5 Time : 0.0 sec. user=mdettweiler [2020-05-06 20:08:20] 665*2^1558898-1 is not prime. Res64: 830561F513BF17B9 Time : 0.0 sec. user=mdettweiler [2020-05-06 20:08:21] 747*2^1558898-1 is not prime. Res64: 826ADEEED3866938 Time : 0.0 sec. user=mdettweiler [2020-05-06 20:08:22] 767*2^1558898-1 is not prime. Res64: 7BAD62A326233252 Time : 0.0 sec. user=mdettweiler [2020-05-06 20:08:22] 791*2^1558898-1 is not prime. Res64: 77A49E61C4717BC9 Time : 0.0 sec. user=mdettweiler [2020-05-06 20:08:23] 825*2^1558898-1 is not prime. Res64: B99A922DAA71E94B Time : 0.0 sec. user=mdettweiler [2020-05-06 20:15:04] 639*2^1558899-1 is not prime. Res64: B8F9C51733934361 Time : 0.0 sec. user=mdettweiler [2020-05-06 20:15:05] 711*2^1558899-1 is not prime. Res64: C61DAB06A372E3F2 Time : 0.0 sec. user=mdettweiler [2020-05-06 20:15:06] 723*2^1558899-1 is not prime. Res64: 16323E556B976B6D Time : 0.0 sec. user=mdettweiler [2020-05-06 20:15:06] 751*2^1558899-1 is not prime. Res64: 6D64E61507C6B1F1 Time : 0.0 sec. user=mdettweiler [2020-05-06 20:15:06] 853*2^1558899-1 is not prime. Res64: 797B6172E697EFA0 Time : 0.0 sec. user=mdettweiler [2020-05-06 20:43:17] 931*2^1558899-1 is not prime. Res64: 826D49336B84C3BC Time : 0.0 sec. user=mdettweiler [2020-05-06 20:43:18] 975*2^1558899-1 is not prime. Res64: 12211A6F5C2C2290 Time : 0.0 sec. user=mdettweiler [2020-05-06 20:43:18] 665*2^1558900-1 is not prime. Res64: 3EB2A117E42A6D21 Time : 0.0 sec. user=mdettweiler [2020-05-06 20:43:18] 803*2^1558900-1 is not prime. Res64: 85ED0DC945440DD2 Time : 0.0 sec. user=mdettweiler [2020-05-06 20:43:19] 819*2^1558900-1 is not prime. Res64: 89E061B21EAC0C66 Time : 0.0 sec. user=mdettweiler [2020-05-06 21:04:41] 827*2^1558900-1 is not prime. Res64: 2F423B1611940FB5 Time : 0.0 sec. user=mdettweiler [2020-05-06 21:04:43] 833*2^1558900-1 is not prime. Res64: 525F6A1E168B3F8A Time : 0.0 sec. user=mdettweiler [2020-05-06 21:04:45] 875*2^1558900-1 is not prime. Res64: 12C4C9298D0D206C Time : 0.0 sec. user=mdettweiler [2020-05-06 21:04:47] 887*2^1558900-1 is not prime. Res64: 3AA56CA17F81D6F8 Time : 0.0 sec. user=mdettweiler [2020-05-06 21:04:48] 923*2^1558900-1 is not prime. Res64: DB6DA4798C36E44F Time : 0.0 sec. user=mdettweiler [2020-05-06 21:07:30] 627*2^1558901-1 is not prime. Res64: 093389F0C1BDBB7E Time : 0.0 sec. user=mdettweiler [2020-05-06 21:07:32] 697*2^1558901-1 is not prime. Res64: D059152CFF6043BA Time : 0.0 sec. user=mdettweiler [2020-05-06 21:07:35] 747*2^1558901-1 is not prime. Res64: BDE9029F308744AF Time : 0.0 sec. user=mdettweiler [2020-05-06 21:07:37] 781*2^1558901-1 is not prime. Res64: D6403347545642EB Time : 0.0 sec. user=mdettweiler [2020-05-06 21:07:38] 829*2^1558901-1 is not prime. Res64: 55403778579616DB Time : 0.0 sec. user=mdettweiler [2020-05-06 21:40:49] 855*2^1558901-1 is not prime. Res64: 49433CA3930531FC Time : 0.0 sec. user=mdettweiler [2020-05-06 21:40:49] 937*2^1558901-1 is not prime. Res64: 33CE6F647830C23F Time : 0.0 sec. user=mdettweiler [2020-05-06 21:40:50] 957*2^1558901-1 is not prime. Res64: B040903C808878FE Time : 0.0 sec. user=mdettweiler [2020-05-06 21:40:50] 755*2^1558902-1 is not prime. Res64: 67B07276A35D78F9 Time : 0.0 sec. user=mdettweiler [2020-05-06 21:40:51] 875*2^1558902-1 is not prime. Res64: 9843472DD66DF0FC Time : 0.0 sec. user=mdettweiler [2020-05-06 22:03:53] 891*2^1558902-1 is not prime. Res64: AF92BB1BBFAFCF0A Time : 0.0 sec. user=mdettweiler [2020-05-06 22:03:55] 903*2^1558902-1 is not prime. Res64: 60C5F28A32013EAB Time : 0.0 sec. user=mdettweiler [2020-05-06 22:03:56] 923*2^1558902-1 is not prime. Res64: 69A5753F626CC832 Time : 0.0 sec. user=mdettweiler [2020-05-06 22:03:57] 947*2^1558902-1 is not prime. Res64: FEE12C1CA9BD8AFA Time : 0.0 sec. user=mdettweiler [2020-05-06 22:03:58] 963*2^1558902-1 is not prime. Res64: F1ED1F0C66EBD4FC Time : 0.0 sec. user=mdettweiler [2020-05-06 22:05:17] 977*2^1558902-1 is not prime. Res64: 59A305441FF53F37 Time : 0.0 sec. user=mdettweiler [2020-05-06 22:05:19] 763*2^1558903-1 is not prime. Res64: 2ED83DE62945890B Time : 0.0 sec. user=mdettweiler [2020-05-06 22:05:21] 885*2^1558903-1 is not prime. Res64: 77EA3B3A5CF72122 Time : 0.0 sec. user=mdettweiler [2020-05-06 22:05:23] 919*2^1558903-1 is not prime. Res64: B2C1EA96503B8F01 Time : 0.0 sec. user=mdettweiler [2020-05-06 22:05:24] 943*2^1558903-1 is not prime. Res64: 7D680DBC22C62D3C Time : 0.0 sec. user=mdettweiler [2020-05-06 22:37:03] 743*2^1558904-1 is not prime. Res64: 98CDF1501B8C0D2E Time : 0.0 sec. user=mdettweiler [2020-05-06 22:37:04] 767*2^1558904-1 is not prime. Res64: 7C7168726FBEEC76 Time : 0.0 sec. user=mdettweiler [2020-05-06 22:37:04] 915*2^1558904-1 is not prime. Res64: AAA1200E3F57C0F6 Time : 0.0 sec. user=mdettweiler [2020-05-06 22:37:05] 935*2^1558904-1 is not prime. Res64: 36C295E565008954 Time : 0.0 sec. user=mdettweiler [2020-05-06 22:37:05] 983*2^1558904-1 is not prime. Res64: 5A313FBEC3AF3345 Time : 0.0 sec. user=mdettweiler [2020-05-06 22:56:16] 627*2^1558905-1 is not prime. Res64: F17FA5E09C6C6A80 Time : 0.0 sec. user=mdettweiler [2020-05-06 22:56:17] 669*2^1558905-1 is not prime. Res64: B5F0648150193047 Time : 0.0 sec. user=mdettweiler [2020-05-06 22:56:17] 691*2^1558905-1 is not prime. Res64: 46A3AB0235C403A7 Time : 0.0 sec. user=mdettweiler [2020-05-06 22:56:17] 739*2^1558905-1 is not prime. Res64: 4AABDFBFF19CCC55 Time : 0.0 sec. user=mdettweiler [2020-05-06 22:56:18] 789*2^1558905-1 is not prime. Res64: 6C40A3AED83893E1 Time : 0.0 sec. user=mdettweiler [2020-05-06 23:01:22] 847*2^1558905-1 is not prime. Res64: 11FD449DB74F3B96 Time : 0.0 sec. user=mdettweiler [2020-05-06 23:01:23] 861*2^1558905-1 is not prime. Res64: 5004C9857129D47C Time : 0.0 sec. user=mdettweiler [2020-05-06 23:01:24] 955*2^1558905-1 is not prime. Res64: 3DCA9CAECB500292 Time : 0.0 sec. user=mdettweiler [2020-05-06 23:01:25] 979*2^1558905-1 is not prime. Res64: 9213F69A9F89AA70 Time : 0.0 sec. user=mdettweiler [2020-05-06 23:01:26] 671*2^1558906-1 is not prime. Res64: 62620027EB6CF747 Time : 0.0 sec. user=mdettweiler [2020-05-06 23:32:08] 717*2^1558906-1 is not prime. Res64: E74B3806A27065FC Time : 0.0 sec. user=mdettweiler [2020-05-06 23:32:09] 801*2^1558906-1 is not prime. Res64: 2117B7AA275C4EB6 Time : 0.0 sec. user=mdettweiler [2020-05-06 23:32:09] 825*2^1558906-1 is not prime. Res64: 9BDE0964D2DC34ED Time : 0.0 sec. user=mdettweiler [2020-05-06 23:32:10] 867*2^1558906-1 is not prime. Res64: E1293223DD4388B4 Time : 0.0 sec. user=mdettweiler [2020-05-06 23:32:10] 903*2^1558906-1 is not prime. Res64: E421150ED17002BE Time : 0.0 sec. user=mdettweiler [2020-05-06 23:50:34] 911*2^1558906-1 is not prime. Res64: 9AAD07F37833E469 Time : 0.0 sec. user=mdettweiler [2020-05-06 23:50:35] 971*2^1558906-1 is not prime. Res64: E3692728EE9EF90D Time : 0.0 sec. user=mdettweiler [2020-05-06 23:50:35] 619*2^1558907-1 is not prime. Res64: 645710BC86F8B77F Time : 0.0 sec. user=mdettweiler [2020-05-06 23:50:36] 651*2^1558907-1 is not prime. Res64: B2207519BD793ED1 Time : 0.0 sec. user=mdettweiler [2020-05-06 23:50:36] 669*2^1558907-1 is not prime. Res64: A7A10C3E0E093918 Time : 0.0 sec. user=mdettweiler [2020-05-06 23:56:19] 685*2^1558907-1 is not prime. Res64: 4EEA973F2AB5E9D6 Time : 0.0 sec. user=mdettweiler [2020-05-06 23:56:20] 733*2^1558907-1 is not prime. Res64: 719A3E0094B39313 Time : 0.0 sec. user=mdettweiler [2020-05-06 23:56:20] 735*2^1558907-1 is not prime. Res64: BE52D9AD9922C8A5 Time : 0.0 sec. user=mdettweiler [2020-05-06 23:56:20] 861*2^1558907-1 is not prime. Res64: 7565E1BA2706C73F Time : 0.0 sec. user=mdettweiler [2020-05-06 23:56:21] 949*2^1558907-1 is not prime. Res64: 3E6EF8700934E5FB Time : 0.0 sec.