user=mdettweiler [2020-05-02 00:23:35] 851*2^1558586-1 is not prime. Res64: F2861A2B36F47FDF Time : 0.0 sec. user=mdettweiler [2020-05-02 00:23:35] 921*2^1558586-1 is not prime. Res64: 0E9AD0561846276D Time : 0.0 sec. user=mdettweiler [2020-05-02 00:23:36] 621*2^1558587-1 is not prime. Res64: 0D4A77134ED8A469 Time : 0.0 sec. user=mdettweiler [2020-05-02 00:23:36] 633*2^1558587-1 is not prime. Res64: 76592DDC5F5FF801 Time : 0.0 sec. user=mdettweiler [2020-05-02 00:23:36] 703*2^1558587-1 is not prime. Res64: 6C01786B91595790 Time : 0.0 sec. user=mdettweiler [2020-05-02 00:39:31] 705*2^1558587-1 is not prime. Res64: E38D5721C8FE8050 Time : 0.0 sec. user=mdettweiler [2020-05-02 00:39:31] 711*2^1558587-1 is not prime. Res64: 1098309C6D872B63 Time : 0.0 sec. user=mdettweiler [2020-05-02 00:39:32] 805*2^1558587-1 is not prime. Res64: 2AE8CB7608CA2984 Time : 0.0 sec. user=mdettweiler [2020-05-02 00:39:32] 909*2^1558587-1 is not prime. Res64: 86BF0D37BF74A7EC Time : 0.0 sec. user=mdettweiler [2020-05-02 00:39:32] 955*2^1558587-1 is not prime. Res64: 927B0E7CF2854394 Time : 0.0 sec. user=mdettweiler [2020-05-02 00:42:57] 979*2^1558587-1 is not prime. Res64: 5A5C104C2071B5DE Time : 0.0 sec. user=mdettweiler [2020-05-02 00:42:57] 985*2^1558587-1 is not prime. Res64: 2B8624D11EDB3C89 Time : 0.0 sec. user=mdettweiler [2020-05-02 00:42:57] 777*2^1558588-1 is not prime. Res64: F7733530F30674A3 Time : 0.0 sec. user=mdettweiler [2020-05-02 00:42:57] 869*2^1558588-1 is not prime. Res64: 874799B773513CD1 Time : 0.0 sec. user=mdettweiler [2020-05-02 00:42:58] 897*2^1558588-1 is not prime. Res64: 99A7113FB6F53D02 Time : 0.0 sec. user=mdettweiler [2020-05-02 01:18:48] 933*2^1558588-1 is not prime. Res64: 62E6AAFA5FF21C3A Time : 0.0 sec. user=mdettweiler [2020-05-02 01:18:48] 787*2^1558589-1 is not prime. Res64: 4B0800E34D4C12FB Time : 0.0 sec. user=mdettweiler [2020-05-02 01:18:49] 795*2^1558589-1 is not prime. Res64: D1354FF70FA8E460 Time : 0.0 sec. user=mdettweiler [2020-05-02 01:18:49] 831*2^1558589-1 is not prime. Res64: 1F81188EAF366935 Time : 0.0 sec. user=mdettweiler [2020-05-02 01:18:49] 861*2^1558589-1 is not prime. Res64: B66B54DD904E8692 Time : 0.0 sec. user=mdettweiler [2020-05-02 01:35:04] 931*2^1558589-1 is not prime. Res64: 574CAE12E861C3B0 Time : 0.0 sec. user=mdettweiler [2020-05-02 01:35:09] 955*2^1558589-1 is not prime. Res64: 1E24EF64F58E340F Time : 0.0 sec. user=mdettweiler [2020-05-02 01:35:11] 987*2^1558589-1 is not prime. Res64: DDF90EF58DD2BBCB Time : 0.0 sec. user=mdettweiler [2020-05-02 01:35:13] 611*2^1558590-1 is not prime. Res64: 37E0DC6319D194D0 Time : 0.0 sec. user=mdettweiler [2020-05-02 01:35:15] 615*2^1558590-1 is not prime. Res64: BF26502C728B80A4 Time : 0.0 sec. user=mdettweiler [2020-05-02 01:35:35] 711*2^1558590-1 is not prime. Res64: FF135367E7678489 Time : 0.0 sec. user=mdettweiler [2020-05-02 01:35:40] 717*2^1558590-1 is not prime. Res64: E744A35B07851068 Time : 0.0 sec. user=mdettweiler [2020-05-02 01:35:43] 761*2^1558590-1 is not prime. Res64: 573CDC451B5AF500 Time : 0.0 sec. user=mdettweiler [2020-05-02 01:35:47] 777*2^1558590-1 is not prime. Res64: 3E2C74BBD064C8D9 Time : 0.0 sec. user=mdettweiler [2020-05-02 01:35:49] 791*2^1558590-1 is not prime. Res64: 9C24E3E0BD396AF9 Time : 0.0 sec. user=mdettweiler [2020-05-02 02:14:30] 861*2^1558590-1 is not prime. Res64: 9FC6E7FBBDA57DD4 Time : 0.0 sec. user=mdettweiler [2020-05-02 02:14:36] 867*2^1558590-1 is not prime. Res64: 2FCB781A2AF25038 Time : 0.0 sec. user=mdettweiler [2020-05-02 02:14:44] 887*2^1558590-1 is not prime. Res64: 5D17E52490962953 Time : 0.0 sec. user=mdettweiler [2020-05-02 02:14:50] 619*2^1558591-1 is not prime. Res64: 6A411C2D9AE7CEF0 Time : 0.0 sec. user=mdettweiler [2020-05-02 02:14:54] 625*2^1558591-1 is not prime. Res64: B5E2B31FE17D8D8A Time : 0.0 sec. user=mdettweiler [2020-05-02 02:30:43] 685*2^1558591-1 is not prime. Res64: D3947A917DAC048B Time : 0.0 sec. user=mdettweiler [2020-05-02 02:30:44] 769*2^1558591-1 is not prime. Res64: 83BCE20A7F185E28 Time : 0.0 sec. user=mdettweiler [2020-05-02 02:30:44] 811*2^1558591-1 is not prime. Res64: FC11A5453C16C2EC Time : 0.0 sec. user=mdettweiler [2020-05-02 02:30:45] 859*2^1558591-1 is not prime. Res64: 675E78A3D9056E75 Time : 0.0 sec. user=mdettweiler [2020-05-02 02:30:45] 885*2^1558591-1 is not prime. Res64: 04758E3A10A2D185 Time : 0.0 sec. user=mdettweiler [2020-05-02 02:32:56] 925*2^1558591-1 is not prime. Res64: 8EE940C598820EF8 Time : 0.0 sec. user=mdettweiler [2020-05-02 02:32:57] 973*2^1558591-1 is not prime. Res64: 38D9E41803AF5878 Time : 0.0 sec. user=mdettweiler [2020-05-02 02:32:57] 979*2^1558591-1 is not prime. Res64: ABC1D28F24C250CF Time : 0.0 sec. user=mdettweiler [2020-05-02 02:32:57] 999*2^1558591-1 is not prime. Res64: EB02B331EC33041F Time : 0.0 sec. user=mdettweiler [2020-05-02 02:32:58] 615*2^1558592-1 is not prime. Res64: 6061A28AA713560F Time : 0.0 sec. user=mdettweiler [2020-05-02 03:09:20] 677*2^1558592-1 is not prime. Res64: 2A19EBFE9417103A Time : 0.0 sec. user=mdettweiler [2020-05-02 03:09:20] 753*2^1558592-1 is not prime. Res64: D552AABD3A8C5069 Time : 0.0 sec. user=mdettweiler [2020-05-02 03:09:21] 797*2^1558592-1 is not prime. Res64: 537FF4338733B254 Time : 0.0 sec. user=mdettweiler [2020-05-02 03:09:21] 827*2^1558592-1 is not prime. Res64: 52EF938494533D7E Time : 0.0 sec. user=mdettweiler [2020-05-02 03:09:21] 875*2^1558592-1 is not prime. Res64: 488729B4FC5E7936 Time : 0.0 sec. user=mdettweiler [2020-05-02 03:24:13] 977*2^1558592-1 is not prime. Res64: 15457DB10A0E4CC1 Time : 0.0 sec. user=mdettweiler [2020-05-02 03:24:13] 681*2^1558593-1 is not prime. Res64: 95E71A27A331AB56 Time : 0.0 sec. user=mdettweiler [2020-05-02 03:24:14] 685*2^1558593-1 is not prime. Res64: FE6D2CC30C4CFEE3 Time : 0.0 sec. user=mdettweiler [2020-05-02 03:24:14] 747*2^1558593-1 is not prime. Res64: 8280B68840FF6BC3 Time : 0.0 sec. user=mdettweiler [2020-05-02 03:24:14] 847*2^1558593-1 is not prime. Res64: F10F3555102C2B3C Time : 0.0 sec. user=mdettweiler [2020-05-02 03:27:05] 985*2^1558593-1 is not prime. Res64: BF360BDB17007D90 Time : 0.0 sec. user=mdettweiler [2020-05-02 03:27:07] 651*2^1558594-1 is not prime. Res64: BA41BE31A6F03CCE Time : 0.0 sec. user=mdettweiler [2020-05-02 03:27:08] 701*2^1558594-1 is not prime. Res64: A81E2A36A2EB0BB7 Time : 0.0 sec. user=mdettweiler [2020-05-02 03:27:09] 993*2^1558594-1 is not prime. Res64: B072FB3E5FC2507E Time : 0.0 sec. user=mdettweiler [2020-05-02 03:27:11] 601*2^1558595-1 is not prime. Res64: B4A0E2D4313B7C61 Time : 0.0 sec. user=mdettweiler [2020-05-02 04:05:13] 693*2^1558595-1 is not prime. Res64: DEE9AD05069191D7 Time : 0.0 sec. user=mdettweiler [2020-05-02 04:05:20] 843*2^1558595-1 is not prime. Res64: 538990EECF7A2A18 Time : 0.0 sec. user=mdettweiler [2020-05-02 04:05:23] 855*2^1558595-1 is not prime. Res64: A2A866E1086ABAC7 Time : 0.0 sec. user=mdettweiler [2020-05-02 04:05:31] 909*2^1558595-1 is not prime. Res64: B4F7A1E618D5BAD8 Time : 0.0 sec. user=mdettweiler [2020-05-02 04:05:35] 991*2^1558595-1 is not prime. Res64: 5161B7B9AEF93BD8 Time : 0.0 sec. user=mdettweiler [2020-05-02 04:19:53] 657*2^1558596-1 is not prime. Res64: F1653C41270785BB Time : 0.0 sec. user=mdettweiler [2020-05-02 04:19:54] 689*2^1558596-1 is not prime. Res64: 9934F80E88EC34E8 Time : 0.0 sec. user=mdettweiler [2020-05-02 04:19:55] 899*2^1558596-1 is not prime. Res64: 0CD1FD50FAB60C58 Time : 0.0 sec. user=mdettweiler [2020-05-02 04:19:55] 945*2^1558596-1 is not prime. Res64: E9CF7623FE8A2FB4 Time : 0.0 sec. user=mdettweiler [2020-05-02 04:19:56] 987*2^1558596-1 is not prime. Res64: 92410B2AC43D02BF Time : 0.0 sec. user=mdettweiler [2020-05-02 04:21:47] 999*2^1558596-1 is not prime. Res64: 41D32C86C5A301BF Time : 0.0 sec. user=mdettweiler [2020-05-02 04:21:48] 651*2^1558597-1 is not prime. Res64: CA21DF246E3FF67D Time : 0.0 sec. user=mdettweiler [2020-05-02 04:21:48] 661*2^1558597-1 is not prime. Res64: F79003CD83C8EB29 Time : 0.0 sec. user=mdettweiler [2020-05-02 04:21:49] 805*2^1558597-1 is not prime. Res64: F9A6E16B0EAA6A91 Time : 0.0 sec. user=mdettweiler [2020-05-02 04:21:50] 897*2^1558597-1 is not prime. Res64: 2D358DC59119F39B Time : 0.0 sec. user=mdettweiler [2020-05-02 05:02:30] 919*2^1558597-1 is not prime. Res64: 9543B33A980ED3F5 Time : 0.0 sec. user=mdettweiler [2020-05-02 05:02:31] 677*2^1558598-1 is not prime. Res64: 59796972FDA4EAE4 Time : 0.0 sec. user=mdettweiler [2020-05-02 05:02:32] 957*2^1558598-1 is not prime. Res64: D84D028CCA393660 Time : 0.0 sec. user=mdettweiler [2020-05-02 05:02:34] 971*2^1558598-1 is not prime. Res64: B40D8DF1A29F87F6 Time : 0.0 sec. user=mdettweiler [2020-05-02 05:02:35] 775*2^1558599-1 is not prime. Res64: 887A69B954584641 Time : 0.0 sec. user=mdettweiler [2020-05-02 05:15:34] 873*2^1558599-1 is not prime. Res64: 51A61442F98DFB7B Time : 0.0 sec. user=mdettweiler [2020-05-02 05:15:35] 931*2^1558599-1 is not prime. Res64: 336C76236A2B1D67 Time : 0.0 sec. user=mdettweiler [2020-05-02 05:15:35] 723*2^1558600-1 is not prime. Res64: 6E05A199904EC558 Time : 0.0 sec. user=mdettweiler [2020-05-02 05:15:35] 747*2^1558600-1 is not prime. Res64: 4231A0DBF81FBB8B Time : 0.0 sec. user=mdettweiler [2020-05-02 05:15:36] 845*2^1558600-1 is not prime. Res64: 3CAE3175C9527368 Time : 0.0 sec. user=mdettweiler [2020-05-02 05:17:24] 983*2^1558600-1 is not prime. Res64: 7D4AE9B4E171A76B Time : 0.0 sec. user=mdettweiler [2020-05-02 05:17:25] 649*2^1558601-1 is not prime. Res64: CF28586DE4A6CE2A Time : 0.0 sec. user=mdettweiler [2020-05-02 05:17:25] 679*2^1558601-1 is not prime. Res64: 05612C0D2A6D3E98 Time : 0.0 sec. user=mdettweiler [2020-05-02 05:17:25] 871*2^1558601-1 is not prime. Res64: 8C805007E1A098FE Time : 0.0 sec. user=mdettweiler [2020-05-02 05:17:26] 889*2^1558601-1 is not prime. Res64: 1DC3CFF2319C1082 Time : 0.0 sec. user=mdettweiler [2020-05-02 05:57:08] 931*2^1558601-1 is not prime. Res64: B591F9E68442834E Time : 0.0 sec. user=mdettweiler [2020-05-02 05:57:08] 957*2^1558601-1 is not prime. Res64: 2DC782A09D510F72 Time : 0.0 sec. user=mdettweiler [2020-05-02 05:57:09] 677*2^1558602-1 is not prime. Res64: F9258B69C1BB7E7B Time : 0.0 sec. user=mdettweiler [2020-05-02 05:57:09] 681*2^1558602-1 is not prime. Res64: 9FC6679C3C5CC1C9 Time : 0.0 sec. user=mdettweiler [2020-05-02 05:57:09] 755*2^1558602-1 is not prime. Res64: 10C34E9E74E412CA Time : 0.0 sec. user=mdettweiler [2020-05-02 06:09:20] 947*2^1558602-1 is not prime. Res64: 1EB3A69BEBAC4188 Time : 0.0 sec. user=mdettweiler [2020-05-02 06:09:22] 631*2^1558603-1 is not prime. Res64: 833735B6CD631DCD Time : 0.0 sec. user=mdettweiler [2020-05-02 06:09:23] 723*2^1558603-1 is not prime. Res64: B99CE2F77013E1FE Time : 0.0 sec. user=mdettweiler [2020-05-02 06:09:24] 829*2^1558603-1 is not prime. Res64: 64D0768AC2862467 Time : 0.0 sec. user=mdettweiler [2020-05-02 06:09:25] 835*2^1558603-1 is not prime. Res64: 571F015B411FA103 Time : 0.0 sec. user=mdettweiler [2020-05-02 06:10:45] 635*2^1558604-1 is not prime. Res64: E3EAF67B92C31334 Time : 0.0 sec. user=mdettweiler [2020-05-02 06:10:45] 659*2^1558604-1 is not prime. Res64: E70E2655BDC2B781 Time : 0.0 sec. user=mdettweiler [2020-05-02 06:10:45] 743*2^1558604-1 is not prime. Res64: E02A0A58EF9BE43B Time : 0.0 sec. user=mdettweiler [2020-05-02 06:10:45] 819*2^1558604-1 is not prime. Res64: 27D8A1EBAB7ECCB7 Time : 0.0 sec. user=mdettweiler [2020-05-02 06:10:46] 909*2^1558604-1 is not prime. Res64: 82E95963BA3222F8 Time : 0.0 sec. user=mdettweiler [2020-05-02 06:50:20] 669*2^1558605-1 is not prime. Res64: 7EB556AE875CB832 Time : 0.0 sec. user=mdettweiler [2020-05-02 06:50:20] 787*2^1558605-1 is not prime. Res64: 1FF0D336DDDD784C Time : 0.0 sec. user=mdettweiler [2020-05-02 06:50:21] 975*2^1558605-1 is not prime. Res64: AB7C4F79D0F458C1 Time : 0.0 sec. user=mdettweiler [2020-05-02 06:50:21] 611*2^1558606-1 is not prime. Res64: 119D9946AECD717A Time : 0.0 sec. user=mdettweiler [2020-05-02 06:50:21] 635*2^1558606-1 is not prime. Res64: 42E44AB47C8C9A1F Time : 0.0 sec. user=mdettweiler [2020-05-02 07:03:08] 705*2^1558606-1 is not prime. Res64: D79C8963C390EDF8 Time : 0.0 sec. user=mdettweiler [2020-05-02 07:03:09] 783*2^1558606-1 is not prime. Res64: 4C692E3AF6911133 Time : 0.0 sec. user=mdettweiler [2020-05-02 07:03:11] 897*2^1558606-1 is not prime. Res64: 88B8E39EBEF852B1 Time : 0.0 sec. user=mdettweiler [2020-05-02 07:03:11] 601*2^1558607-1 is not prime. Res64: 39237CB5019BBE00 Time : 0.0 sec. user=mdettweiler [2020-05-02 07:03:13] 663*2^1558607-1 is not prime. Res64: 68C11999F7F57E4F Time : 0.0 sec. user=mdettweiler [2020-05-02 07:04:13] 711*2^1558607-1 is not prime. Res64: 63C7127DF8ABD8F8 Time : 0.0 sec. user=mdettweiler [2020-05-02 07:04:14] 741*2^1558607-1 is not prime. Res64: 58118E0354180479 Time : 0.0 sec. user=mdettweiler [2020-05-02 07:04:16] 841*2^1558607-1 is not prime. Res64: FD1E47B15FE0E862 Time : 0.0 sec. user=mdettweiler [2020-05-02 07:04:17] 939*2^1558607-1 is not prime. Res64: D3153BE085D19D31 Time : 0.0 sec. user=mdettweiler [2020-05-02 07:04:18] 635*2^1558608-1 is not prime. Res64: 96B47647E14418E8 Time : 0.0 sec. user=mdettweiler [2020-05-02 07:43:00] 669*2^1558608-1 is not prime. Res64: 6810AC78B8F08895 Time : 0.0 sec. user=mdettweiler [2020-05-02 07:43:00] 747*2^1558608-1 is not prime. Res64: 150BCB4572D13FF7 Time : 0.0 sec. user=mdettweiler [2020-05-02 07:43:00] 753*2^1558608-1 is not prime. Res64: D900CBE276D1A621 Time : 0.0 sec. user=mdettweiler [2020-05-02 07:43:01] 837*2^1558608-1 is not prime. Res64: 4DB3BC72CD717275 Time : 0.0 sec. user=mdettweiler [2020-05-02 07:43:01] 843*2^1558608-1 is not prime. Res64: BDD7233CB102843D Time : 0.0 sec. user=mdettweiler [2020-05-02 07:56:09] 845*2^1558608-1 is not prime. Res64: 99D666C2A65FD661 Time : 0.0 sec. user=mdettweiler [2020-05-02 07:56:10] 705*2^1558609-1 is not prime. Res64: 626DFA5E34C49D43 Time : 0.0 sec. user=mdettweiler [2020-05-02 07:56:10] 729*2^1558609-1 is not prime. Res64: FB367F4995003FA5 Time : 0.0 sec. user=mdettweiler [2020-05-02 07:56:10] 741*2^1558609-1 is not prime. Res64: A32F21314A88DD80 Time : 0.0 sec. user=mdettweiler [2020-05-02 07:56:11] 789*2^1558609-1 is not prime. Res64: B8C18188D6A65400 Time : 0.0 sec. user=mdettweiler [2020-05-02 07:59:24] 799*2^1558609-1 is not prime. Res64: 7CEB8FEC70F47907 Time : 0.0 sec. user=mdettweiler [2020-05-02 07:59:25] 829*2^1558609-1 is not prime. Res64: C0A5C888120FD4EE Time : 0.0 sec. user=mdettweiler [2020-05-02 07:59:25] 847*2^1558609-1 is not prime. Res64: 294295CEF0B98397 Time : 0.0 sec. user=mdettweiler [2020-05-02 07:59:26] 855*2^1558609-1 is not prime. Res64: 12CAEC4DB78F1DB1 Time : 0.0 sec. user=mdettweiler [2020-05-02 07:59:26] 967*2^1558609-1 is not prime. Res64: 6034FCB9593AEA58 Time : 0.0 sec. user=mdettweiler [2020-05-02 08:36:44] 677*2^1558610-1 is not prime. Res64: D30999DDE80B06EB Time : 0.0 sec. user=mdettweiler [2020-05-02 08:36:44] 747*2^1558610-1 is not prime. Res64: 6892604C4E66B46C Time : 0.0 sec. user=mdettweiler [2020-05-02 08:36:45] 791*2^1558610-1 is not prime. Res64: A32B783DA5550A2E Time : 0.0 sec. user=mdettweiler [2020-05-02 08:36:45] 801*2^1558610-1 is not prime. Res64: 0751F7C2C50D76AD Time : 0.0 sec. user=mdettweiler [2020-05-02 08:36:45] 893*2^1558610-1 is not prime. Res64: 230F1FC5DEF0B465 Time : 0.0 sec. user=mdettweiler [2020-05-02 08:50:42] 651*2^1558611-1 is not prime. Res64: C85CAF44CBA3421B Time : 0.0 sec. user=mdettweiler [2020-05-02 08:50:43] 705*2^1558611-1 is not prime. Res64: 1BAEB70E9C9678CD Time : 0.0 sec. user=mdettweiler [2020-05-02 08:50:43] 769*2^1558611-1 is not prime. Res64: 07B145282E26730D Time : 0.0 sec. user=mdettweiler [2020-05-02 08:50:44] 859*2^1558611-1 is not prime. Res64: 87F795DBD15111F2 Time : 0.0 sec. user=mdettweiler [2020-05-02 08:50:44] 969*2^1558611-1 is not prime. Res64: D3DAD5D2BE893B5E Time : 0.0 sec. user=mdettweiler [2020-05-02 08:52:27] 975*2^1558611-1 is not prime. Res64: 61FABDAE8380672E Time : 0.0 sec. user=mdettweiler [2020-05-02 08:52:28] 623*2^1558612-1 is not prime. Res64: 45447BD41D9694F6 Time : 0.0 sec. user=mdettweiler [2020-05-02 08:52:28] 635*2^1558612-1 is not prime. Res64: 2B277C01F760A79B Time : 0.0 sec. user=mdettweiler [2020-05-02 08:52:28] 647*2^1558612-1 is not prime. Res64: 4A33F4DD6097FA6C Time : 0.0 sec. user=mdettweiler [2020-05-02 08:52:29] 717*2^1558612-1 is not prime. Res64: 53E4EC732B3BB4EA Time : 0.0 sec. user=mdettweiler [2020-05-02 09:34:00] 777*2^1558612-1 is not prime. Res64: 8B25098574BF7EBF Time : 0.0 sec. user=mdettweiler [2020-05-02 09:34:00] 869*2^1558612-1 is not prime. Res64: B0B56C61284FADDE Time : 0.0 sec. user=mdettweiler [2020-05-02 09:34:00] 873*2^1558612-1 is not prime. Res64: A419467966F81B20 Time : 0.0 sec. user=mdettweiler [2020-05-02 09:34:01] 903*2^1558612-1 is not prime. Res64: E2CE0A4278BF7AA3 Time : 0.0 sec. user=mdettweiler [2020-05-02 09:34:01] 933*2^1558612-1 is not prime. Res64: 1733942658726E26 Time : 0.0 sec. user=mdettweiler [2020-05-02 09:44:07] 715*2^1558613-1 is not prime. Res64: 8CE3B1E80E06D3B8 Time : 0.0 sec. user=mdettweiler [2020-05-02 09:44:07] 801*2^1558613-1 is not prime. Res64: 3FEA5B9CAB6A054A Time : 0.0 sec. user=mdettweiler [2020-05-02 09:44:08] 861*2^1558613-1 is not prime. Res64: AFD9363BFC18BDD4 Time : 0.0 sec. user=mdettweiler [2020-05-02 09:44:08] 657*2^1558614-1 is not prime. Res64: 91225B351FA2F680 Time : 0.0 sec. user=mdettweiler [2020-05-02 09:44:09] 791*2^1558614-1 is not prime. Res64: CB25E2C07D552636 Time : 0.0 sec. user=mdettweiler [2020-05-02 09:47:19] 821*2^1558614-1 is not prime. Res64: 8093A81BA16C61C3 Time : 0.0 sec. user=mdettweiler [2020-05-02 09:47:20] 983*2^1558614-1 is not prime. Res64: D30FEBC61F18DF2A Time : 0.0 sec. user=mdettweiler [2020-05-02 09:47:20] 993*2^1558614-1 is not prime. Res64: 9AB9921D0AAB8838 Time : 0.0 sec. user=mdettweiler [2020-05-02 09:47:20] 625*2^1558615-1 is not prime. Res64: 47BEF0448BB0BA51 Time : 0.0 sec. user=mdettweiler [2020-05-02 09:47:21] 783*2^1558615-1 is not prime. Res64: 953EB583FC0524C8 Time : 0.0 sec. user=mdettweiler [2020-05-02 10:29:05] 843*2^1558615-1 is not prime. Res64: AAB04450514C76F2 Time : 0.0 sec. user=mdettweiler [2020-05-02 10:29:06] 889*2^1558615-1 is not prime. Res64: DC11A02C5700BBB9 Time : 0.0 sec. user=mdettweiler [2020-05-02 10:29:06] 973*2^1558615-1 is not prime. Res64: 0E7723C1AE6E1560 Time : 0.0 sec. user=mdettweiler [2020-05-02 10:29:07] 617*2^1558616-1 is not prime. Res64: F784C37831855AF7 Time : 0.0 sec. user=mdettweiler [2020-05-02 10:29:07] 759*2^1558616-1 is not prime. Res64: 33FAB7FC51393B3D Time : 0.0 sec. user=mdettweiler [2020-05-02 10:39:02] 785*2^1558616-1 is not prime. Res64: 637119B5C1DD54F7 Time : 0.0 sec. user=mdettweiler [2020-05-02 10:39:03] 845*2^1558616-1 is not prime. Res64: 03ABE1E51A9F6444 Time : 0.0 sec. user=mdettweiler [2020-05-02 10:39:03] 855*2^1558616-1 is not prime. Res64: 3993F78F557A4E90 Time : 0.0 sec. user=mdettweiler [2020-05-02 10:39:03] 875*2^1558616-1 is not prime. Res64: 1249123034118B66 Time : 0.0 sec. user=mdettweiler [2020-05-02 10:39:04] 649*2^1558617-1 is not prime. Res64: 3C21D45BD55A66C0 Time : 0.0 sec. user=mdettweiler [2020-05-02 10:39:50] 699*2^1558617-1 is not prime. Res64: A789D01A239F6229 Time : 0.0 sec. user=mdettweiler [2020-05-02 10:39:50] 709*2^1558617-1 is not prime. Res64: 9BAA363AC462C2E3 Time : 0.0 sec. user=mdettweiler [2020-05-02 10:39:51] 765*2^1558617-1 is not prime. Res64: 648ADBF7EF9A4FFC Time : 0.0 sec. user=mdettweiler [2020-05-02 10:39:51] 769*2^1558617-1 is not prime. Res64: 4347CBCEE2DF8066 Time : 0.0 sec. user=mdettweiler [2020-05-02 10:39:51] 817*2^1558617-1 is not prime. Res64: 73207EA50B7227F7 Time : 0.0 sec. user=mdettweiler [2020-05-02 11:21:16] 617*2^1558618-1 is not prime. Res64: EB00B6F46C22A445 Time : 0.0 sec. user=mdettweiler [2020-05-02 11:21:17] 657*2^1558618-1 is not prime. Res64: 4780D670AEC687B4 Time : 0.0 sec. user=mdettweiler [2020-05-02 11:21:18] 681*2^1558618-1 is not prime. Res64: E898D9AAEA651E30 Time : 0.0 sec. user=mdettweiler [2020-05-02 11:21:19] 765*2^1558618-1 is not prime. Res64: 0C3251C63E67CECE Time : 0.0 sec. user=mdettweiler [2020-05-02 11:21:20] 773*2^1558618-1 is not prime. Res64: F08BFAE64A4B5D0F Time : 0.0 sec. user=mdettweiler [2020-05-02 11:33:25] 973*2^1558619-1 is not prime. Res64: C7030D66FC1EEF99 Time : 0.0 sec. user=mdettweiler [2020-05-02 11:33:25] 669*2^1558620-1 is not prime. Res64: 268F55FF687B02BB Time : 0.0 sec. user=mdettweiler [2020-05-02 11:33:26] 699*2^1558620-1 is not prime. Res64: 729E2DEABDCB6D93 Time : 0.0 sec. user=mdettweiler [2020-05-02 11:33:26] 719*2^1558620-1 is not prime. Res64: 243A239E130FA307 Time : 0.0 sec. user=mdettweiler [2020-05-02 11:33:27] 735*2^1558620-1 is not prime. Res64: 77653998B6ABFC81 Time : 0.0 sec. user=mdettweiler [2020-05-02 11:34:06] 815*2^1558618-1 is not prime. Res64: 759333F32CA8AF11 Time : 0.0 sec. user=mdettweiler [2020-05-02 11:34:06] 945*2^1558618-1 is not prime. Res64: EFEA509C33C7261F Time : 0.0 sec. user=mdettweiler [2020-05-02 11:34:06] 645*2^1558619-1 is not prime. Res64: 1C0FCFC788A1C76F Time : 0.0 sec. user=mdettweiler [2020-05-02 11:34:07] 771*2^1558619-1 is not prime. Res64: 9D36F5EDBF33E8F2 Time : 0.0 sec. user=mdettweiler [2020-05-02 11:34:07] 955*2^1558619-1 is not prime. Res64: 5A9A7F03C08C7136 Time : 0.0 sec. user=mdettweiler [2020-05-02 12:15:21] 759*2^1558620-1 is not prime. Res64: 65CC1709AA83D468 Time : 0.0 sec. user=mdettweiler [2020-05-02 12:15:21] 795*2^1558620-1 is not prime. Res64: 60276FAC1427B165 Time : 0.0 sec. user=mdettweiler [2020-05-02 12:15:22] 927*2^1558620-1 is not prime. Res64: 4FE7E6A6F51B2CCB Time : 0.0 sec. user=mdettweiler [2020-05-02 12:15:22] 651*2^1558621-1 is not prime. Res64: 91285FB9425FCF0A Time : 0.0 sec. user=mdettweiler [2020-05-02 12:15:23] 825*2^1558621-1 is not prime. Res64: 6A8FC5628747F71B Time : 0.0 sec. user=mdettweiler [2020-05-02 12:28:49] 889*2^1558621-1 is not prime. Res64: D01E83F5DE219482 Time : 0.0 sec. user=mdettweiler [2020-05-02 12:28:50] 813*2^1558622-1 is not prime. Res64: 6B70EEF76527039A Time : 0.0 sec. user=mdettweiler [2020-05-02 12:28:50] 825*2^1558622-1 is not prime. Res64: 97F0F2D907E4DEE5 Time : 0.0 sec. user=mdettweiler [2020-05-02 12:28:51] 827*2^1558622-1 is not prime. Res64: 0D5AC850533CBACC Time : 0.0 sec. user=mdettweiler [2020-05-02 12:28:53] 951*2^1558622-1 is not prime. Res64: DD51D51B30D0E16B Time : 0.0 sec. user=mdettweiler [2020-05-02 12:29:55] 963*2^1558622-1 is not prime. Res64: DE362167E2890A5E Time : 0.0 sec. user=mdettweiler [2020-05-02 12:29:55] 977*2^1558622-1 is not prime. Res64: 1F6A766C301BF4AA Time : 0.0 sec. user=mdettweiler [2020-05-02 12:29:55] 983*2^1558622-1 is not prime. Res64: 1987D0FFB0725006 Time : 0.0 sec. user=mdettweiler [2020-05-02 12:29:56] 621*2^1558623-1 is not prime. Res64: DDC0AA75A65BBF51 Time : 0.0 sec. user=mdettweiler [2020-05-02 12:29:56] 661*2^1558623-1 is not prime. Res64: EE4121D1C4C40328 Time : 0.0 sec. user=mdettweiler [2020-05-02 13:11:29] 693*2^1558623-1 is not prime. Res64: 4D9425A55FD4064F Time : 0.0 sec. user=mdettweiler [2020-05-02 13:11:30] 781*2^1558623-1 is not prime. Res64: 0D731C3D87E3D39C Time : 0.0 sec. user=mdettweiler [2020-05-02 13:11:30] 895*2^1558623-1 is not prime. Res64: 38D681AB3781FC10 Time : 0.0 sec. user=mdettweiler [2020-05-02 13:11:31] 961*2^1558623-1 is not prime. Res64: 440CF2825274C0B2 Time : 0.0 sec. user=mdettweiler [2020-05-02 13:11:32] 963*2^1558623-1 is not prime. Res64: 8A26A28D6BDD36AB Time : 0.0 sec. user=mdettweiler [2020-05-02 13:23:34] 657*2^1558625-1 is not prime. Res64: 5CDE391EACC65445 Time : 0.0 sec. user=mdettweiler [2020-05-02 13:23:35] 711*2^1558625-1 is not prime. Res64: 6089C3BCDEFFFE88 Time : 0.0 sec. user=mdettweiler [2020-05-02 13:23:35] 721*2^1558625-1 is not prime. Res64: 3F894C3BA2E127A8 Time : 0.0 sec. user=mdettweiler [2020-05-02 13:23:35] 805*2^1558625-1 is not prime. Res64: 0FE3433366D691C5 Time : 0.0 sec. user=mdettweiler [2020-05-02 13:23:36] 979*2^1558625-1 is not prime. Res64: 01D7C8BC5BE0DD8E Time : 0.0 sec. user=mdettweiler [2020-05-02 13:25:19] 827*2^1558624-1 is not prime. Res64: C760524240938FB4 Time : 0.0 sec. user=mdettweiler [2020-05-02 13:25:19] 843*2^1558624-1 is not prime. Res64: 0E43E462F77FB0E5 Time : 0.0 sec. user=mdettweiler [2020-05-02 13:25:19] 887*2^1558624-1 is not prime. Res64: C7C716A482FD708F Time : 0.0 sec. user=mdettweiler [2020-05-02 13:25:20] 989*2^1558624-1 is not prime. Res64: 66B2BFC96C374807 Time : 0.0 sec. user=mdettweiler [2020-05-02 13:25:20] 993*2^1558624-1 is not prime. Res64: 231BC96F4B890B0D Time : 0.0 sec. user=mdettweiler [2020-05-02 14:04:27] 705*2^1558626-1 is not prime. Res64: 49F69252264872D7 Time : 0.0 sec. user=mdettweiler [2020-05-02 14:04:28] 723*2^1558626-1 is not prime. Res64: 16509334E5437126 Time : 0.0 sec. user=mdettweiler [2020-05-02 14:04:29] 725*2^1558626-1 is not prime. Res64: A9F2A0C5FC495808 Time : 0.0 sec. user=mdettweiler [2020-05-02 14:04:30] 783*2^1558626-1 is not prime. Res64: E0629748737FFE6F Time : 0.0 sec. user=mdettweiler [2020-05-02 14:04:31] 843*2^1558626-1 is not prime. Res64: 041B31B3EF284D97 Time : 0.0 sec. user=mdettweiler [2020-05-02 14:17:06] 603*2^1558627-1 is not prime. Res64: EC5ED641015CF83D Time : 0.0 sec. user=mdettweiler [2020-05-02 14:17:07] 673*2^1558627-1 is not prime. Res64: 37A2F91DC0F96E7B Time : 0.0 sec. user=mdettweiler [2020-05-02 14:17:07] 735*2^1558627-1 is not prime. Res64: F703010D593AE191 Time : 0.0 sec. user=mdettweiler [2020-05-02 14:17:07] 741*2^1558627-1 is not prime. Res64: F97A076B20FD92E2 Time : 0.0 sec. user=mdettweiler [2020-05-02 14:17:08] 909*2^1558627-1 is not prime. Res64: B0A32C72719A4248 Time : 0.0 sec. user=mdettweiler [2020-05-02 14:22:23] 985*2^1558627-1 is not prime. Res64: E3B7C08339BC575B Time : 0.0 sec. user=mdettweiler [2020-05-02 14:22:23] 927*2^1558628-1 is not prime. Res64: E6CF53AB2F6BCEEE Time : 0.0 sec. user=mdettweiler [2020-05-02 14:22:24] 935*2^1558628-1 is not prime. Res64: A375B71F82A076CD Time : 0.0 sec. user=mdettweiler [2020-05-02 14:22:24] 969*2^1558628-1 is not prime. Res64: 9FA6AE1A6E17C0DC Time : 0.0 sec. user=mdettweiler [2020-05-02 14:22:24] 625*2^1558629-1 is not prime. Res64: 26E7760A2D64E308 Time : 0.0 sec. user=mdettweiler [2020-05-02 14:59:51] 789*2^1558629-1 is not prime. Res64: 328397F2E547831E Time : 0.0 sec. user=mdettweiler [2020-05-02 14:59:51] 885*2^1558629-1 is not prime. Res64: DBA86B7CC2F89324 Time : 0.0 sec. user=mdettweiler [2020-05-02 14:59:51] 927*2^1558629-1 is not prime. Res64: 638F47D104FCBF7D Time : 0.0 sec. user=mdettweiler [2020-05-02 14:59:51] 671*2^1558630-1 is not prime. Res64: 190CCDAF64F3B668 Time : 0.0 sec. user=mdettweiler [2020-05-02 14:59:52] 705*2^1558631-1 is not prime. Res64: A292100D7496748F Time : 0.0 sec. user=mdettweiler [2020-05-02 15:13:06] 735*2^1558631-1 is not prime. Res64: C693B381279FF4CB Time : 0.0 sec. user=mdettweiler [2020-05-02 15:13:07] 763*2^1558631-1 is not prime. Res64: 23C8645C3623E8CE Time : 0.0 sec. user=mdettweiler [2020-05-02 15:13:07] 819*2^1558631-1 is not prime. Res64: C28946B9F5D48520 Time : 0.0 sec. user=mdettweiler [2020-05-02 15:13:08] 855*2^1558631-1 is not prime. Res64: 946E6AC848AE79AA Time : 0.0 sec. user=mdettweiler [2020-05-02 15:13:08] 889*2^1558631-1 is not prime. Res64: 932104DCC17A3D88 Time : 0.0 sec. user=mdettweiler [2020-05-02 15:19:14] 939*2^1558631-1 is not prime. Res64: E959AFCF4E5CB622 Time : 0.0 sec. user=mdettweiler [2020-05-02 15:19:14] 993*2^1558631-1 is not prime. Res64: 7D120B741FFB9335 Time : 0.0 sec. user=mdettweiler [2020-05-02 15:19:15] 999*2^1558631-1 is not prime. Res64: 6335232CE28FBA09 Time : 0.0 sec. user=mdettweiler [2020-05-02 15:19:15] 635*2^1558632-1 is not prime. Res64: 43A1C0F4851DDA31 Time : 0.0 sec. user=mdettweiler [2020-05-02 15:19:15] 753*2^1558632-1 is not prime. Res64: E7077A467833199B Time : 0.0 sec. user=mdettweiler [2020-05-02 15:54:25] 765*2^1558632-1 is not prime. Res64: 748339B5D9F1F350 Time : 0.0 sec. user=mdettweiler [2020-05-02 15:54:25] 815*2^1558632-1 is not prime. Res64: 6093529B1ABB0175 Time : 0.0 sec. user=mdettweiler [2020-05-02 15:54:26] 819*2^1558632-1 is not prime. Res64: 173865DEA4321C61 Time : 0.0 sec. user=mdettweiler [2020-05-02 15:54:26] 977*2^1558632-1 is not prime. Res64: 150A81E63F4CE2A5 Time : 0.0 sec. user=mdettweiler [2020-05-02 15:54:26] 615*2^1558633-1 is not prime. Res64: 786D2CAA00570DC4 Time : 0.0 sec. user=mdettweiler [2020-05-02 16:07:28] 687*2^1558633-1 is not prime. Res64: D7DC48A8EF7FFA95 Time : 0.0 sec. user=mdettweiler [2020-05-02 16:07:30] 751*2^1558633-1 is not prime. Res64: F3CFF5D083D4F866 Time : 0.0 sec. user=mdettweiler [2020-05-02 16:07:31] 771*2^1558633-1 is not prime. Res64: 31B41B38C081D07D Time : 0.0 sec. user=mdettweiler [2020-05-02 16:07:32] 889*2^1558633-1 is not prime. Res64: 92320921BFB1EBBA Time : 0.0 sec. user=mdettweiler [2020-05-02 16:07:33] 615*2^1558634-1 is not prime. Res64: ACC51D811FEA62EA Time : 0.0 sec. user=mdettweiler [2020-05-02 16:14:06] 711*2^1558634-1 is not prime. Res64: DA4F27D47260C204 Time : 0.0 sec. user=mdettweiler [2020-05-02 16:14:06] 731*2^1558634-1 is not prime. Res64: 899ADB3D08641FB6 Time : 0.0 sec. user=mdettweiler [2020-05-02 16:14:07] 797*2^1558634-1 is not prime. Res64: D28FE87276994B54 Time : 0.0 sec. user=mdettweiler [2020-05-02 16:14:07] 831*2^1558634-1 is not prime. Res64: 83FD3E2432EA978B Time : 0.0 sec. user=mdettweiler [2020-05-02 16:14:08] 971*2^1558634-1 is not prime. Res64: 62C7860FCA718B64 Time : 0.0 sec. user=mdettweiler [2020-05-02 16:51:17] 987*2^1558634-1 is not prime. Res64: 9478DFAE865E7067 Time : 0.0 sec. user=mdettweiler [2020-05-02 16:51:17] 775*2^1558635-1 is not prime. Res64: 551B29586D065C36 Time : 0.0 sec. user=mdettweiler [2020-05-02 16:51:17] 823*2^1558635-1 is not prime. Res64: 554A28EE053B1F44 Time : 0.0 sec. user=mdettweiler [2020-05-02 16:51:18] 963*2^1558635-1 is not prime. Res64: 8D84DEB3C1E8B911 Time : 0.0 sec. user=mdettweiler [2020-05-02 16:51:18] 677*2^1558636-1 is not prime. Res64: 64FD581128F5567C Time : 0.0 sec. user=mdettweiler [2020-05-02 17:04:47] 803*2^1558636-1 is not prime. Res64: 2F6EB700BBA37044 Time : 0.0 sec. user=mdettweiler [2020-05-02 17:04:50] 869*2^1558636-1 is not prime. Res64: 68DB62B54F891256 Time : 0.0 sec. user=mdettweiler [2020-05-02 17:04:51] 987*2^1558636-1 is not prime. Res64: DC03F8F8DA456C81 Time : 0.0 sec. user=mdettweiler [2020-05-02 17:04:52] 699*2^1558637-1 is not prime. Res64: CCA18079401DF9B7 Time : 0.0 sec. user=mdettweiler [2020-05-02 17:04:53] 825*2^1558637-1 is not prime. Res64: 161C56104512BD1B Time : 0.0 sec. user=mdettweiler [2020-05-02 17:13:31] 861*2^1558637-1 is not prime. Res64: 94F04C5AEE4E00FB Time : 0.0 sec. user=mdettweiler [2020-05-02 17:13:31] 865*2^1558637-1 is not prime. Res64: 99C2D96707A11E06 Time : 0.0 sec. user=mdettweiler [2020-05-02 17:13:32] 885*2^1558637-1 is not prime. Res64: 8889BB5D5C4F5A5F Time : 0.0 sec. user=mdettweiler [2020-05-02 17:13:32] 991*2^1558637-1 is not prime. Res64: 59273E983A72F013 Time : 0.0 sec. user=mdettweiler [2020-05-02 17:13:32] 605*2^1558638-1 is not prime. Res64: D715E544F334FD28 Time : 0.0 sec. user=mdettweiler [2020-05-02 17:44:16] 695*2^1558638-1 is not prime. Res64: 2F96BBE99885CC83 Time : 0.0 sec. user=mdettweiler [2020-05-02 17:44:16] 737*2^1558638-1 is not prime. Res64: FDBDF9A8241168FC Time : 0.0 sec. user=mdettweiler [2020-05-02 17:44:16] 747*2^1558638-1 is not prime. Res64: A662E9003BB51A3E Time : 0.0 sec. user=mdettweiler [2020-05-02 17:44:17] 755*2^1558638-1 is not prime. Res64: 1A714ED530DF7708 Time : 0.0 sec. user=mdettweiler [2020-05-02 17:44:17] 797*2^1558638-1 is not prime. Res64: 9D2C5D8F225B7579 Time : 0.0 sec. user=mdettweiler [2020-05-02 18:00:52] 941*2^1558638-1 is not prime. Res64: 7C3145F6AD3359F6 Time : 0.0 sec. user=mdettweiler [2020-05-02 18:00:53] 993*2^1558638-1 is not prime. Res64: 2E0FA1CE9D6A4E38 Time : 0.0 sec. user=mdettweiler [2020-05-02 18:00:53] 645*2^1558639-1 is not prime. Res64: 74A39FB179D697B6 Time : 0.0 sec. user=mdettweiler [2020-05-02 18:00:54] 769*2^1558639-1 is not prime. Res64: 4A954B87FA8F712D Time : 0.0 sec. user=mdettweiler [2020-05-02 18:00:54] 973*2^1558639-1 is not prime. Res64: E4B7A28FE22A029D Time : 0.0 sec. user=mdettweiler [2020-05-02 18:07:33] 725*2^1558640-1 is not prime. Res64: 04030B5D5C7B9CAD Time : 0.0 sec. user=mdettweiler [2020-05-02 18:07:34] 755*2^1558640-1 is not prime. Res64: 348CED0B8E4A0846 Time : 0.0 sec. user=mdettweiler [2020-05-02 18:07:34] 767*2^1558640-1 is not prime. Res64: DC022D36756F29B1 Time : 0.0 sec. user=mdettweiler [2020-05-02 18:07:35] 845*2^1558640-1 is not prime. Res64: B2F08096652048FC Time : 0.0 sec. user=mdettweiler [2020-05-02 18:07:35] 909*2^1558640-1 is not prime. Res64: F8E804975B7C9B6E Time : 0.0 sec. user=mdettweiler [2020-05-02 18:40:26] 963*2^1558640-1 is not prime. Res64: 5843C57BEE218860 Time : 0.0 sec. user=mdettweiler [2020-05-02 18:40:27] 977*2^1558640-1 is not prime. Res64: F9F1B0276EA8A5CF Time : 0.0 sec. user=mdettweiler [2020-05-02 18:40:27] 995*2^1558640-1 is not prime. Res64: 39312965259E40A5 Time : 0.0 sec. user=mdettweiler [2020-05-02 18:40:27] 627*2^1558641-1 is not prime. Res64: FF674B821C86E2D2 Time : 0.0 sec. user=mdettweiler [2020-05-02 18:40:27] 745*2^1558641-1 is not prime. Res64: 403CBCD01860F771 Time : 0.0 sec. user=mdettweiler [2020-05-02 18:58:23] 865*2^1558641-1 is not prime. Res64: 9CA4B89E559C7446 Time : 0.0 sec. user=mdettweiler [2020-05-02 18:58:23] 871*2^1558641-1 is not prime. Res64: A585E5170DCF3D5B Time : 0.0 sec. user=mdettweiler [2020-05-02 18:58:24] 901*2^1558641-1 is not prime. Res64: 85960878984BFD9E Time : 0.0 sec. user=mdettweiler [2020-05-02 18:58:24] 997*2^1558641-1 is not prime. Res64: E2604813215E47E7 Time : 0.0 sec. user=mdettweiler [2020-05-02 18:58:24] 621*2^1558642-1 is not prime. Res64: 3BB049DE8E080FC4 Time : 0.0 sec. user=mdettweiler [2020-05-02 19:00:14] 651*2^1558642-1 is not prime. Res64: 68254FDF05607DE2 Time : 0.0 sec. user=mdettweiler [2020-05-02 19:00:18] 701*2^1558642-1 is not prime. Res64: 40D186DFE447EA68 Time : 0.0 sec. user=mdettweiler [2020-05-02 19:00:18] 777*2^1558642-1 is not prime. Res64: 41B3EB4AD693BB88 Time : 0.0 sec. user=mdettweiler [2020-05-02 19:00:18] 821*2^1558642-1 is not prime. Res64: 2E25259FE294E4A5 Time : 0.0 sec. user=mdettweiler [2020-05-02 19:00:19] 825*2^1558642-1 is not prime. Res64: 4FD18A190FA4D0F8 Time : 0.0 sec. user=mdettweiler [2020-05-02 19:34:55] 915*2^1558642-1 is not prime. Res64: 383E34B8299BC03A Time : 0.0 sec. user=mdettweiler [2020-05-02 19:34:55] 631*2^1558643-1 is not prime. Res64: 83DFF8257E1C5D0D Time : 0.0 sec. user=mdettweiler [2020-05-02 19:34:56] 715*2^1558643-1 is not prime. Res64: ABD90A25DB4E081F Time : 0.0 sec. user=mdettweiler [2020-05-02 19:34:56] 753*2^1558643-1 is not prime. Res64: 767ECAB819705C41 Time : 0.0 sec. user=mdettweiler [2020-05-02 19:34:56] 825*2^1558643-1 is not prime. Res64: B9EC8C6A2D9D14E5 Time : 0.0 sec. user=mdettweiler [2020-05-02 19:54:57] 795*2^1558644-1 is not prime. Res64: 14A9AED7C22443F6 Time : 0.0 sec. user=mdettweiler [2020-05-02 19:54:57] 965*2^1558644-1 is not prime. Res64: 82BCB1BC3379351B Time : 0.0 sec. user=mdettweiler [2020-05-02 19:54:58] 625*2^1558645-1 is not prime. Res64: 152331FA09A7E70E Time : 0.0 sec. user=mdettweiler [2020-05-02 19:54:58] 651*2^1558645-1 is not prime. Res64: BBFBBD0F6D82DD83 Time : 0.0 sec. user=mdettweiler [2020-05-02 19:54:58] 729*2^1558645-1 is not prime. Res64: 6D93BD8471ED43BA Time : 0.0 sec. user=mdettweiler [2020-05-02 19:55:05] 861*2^1558643-1 is not prime. Res64: 79C6A292742884BC Time : 0.0 sec. user=mdettweiler [2020-05-02 19:55:05] 871*2^1558643-1 is not prime. Res64: EA1FBC71529591D4 Time : 0.0 sec. user=mdettweiler [2020-05-02 19:55:06] 963*2^1558643-1 is not prime. Res64: 387BD41FAD37341A Time : 0.0 sec. user=mdettweiler [2020-05-02 19:55:06] 615*2^1558644-1 is not prime. Res64: E7F69BEEB0BBE664 Time : 0.0 sec. user=mdettweiler [2020-05-02 19:55:06] 689*2^1558644-1 is not prime. Res64: 3040F41A76186008 Time : 0.0 sec. user=mdettweiler [2020-05-02 20:28:58] 771*2^1558645-1 is not prime. Res64: 4C22EF94BC15C54D Time : 0.0 sec. user=mdettweiler [2020-05-02 20:28:58] 805*2^1558645-1 is not prime. Res64: 01B90E03D79D6704 Time : 0.0 sec. user=mdettweiler [2020-05-02 20:28:59] 987*2^1558645-1 is not prime. Res64: 4497C4D05FD41A37 Time : 0.0 sec. user=mdettweiler [2020-05-02 20:28:59] 623*2^1558646-1 is not prime. Res64: 1A828B957E796368 Time : 0.0 sec. user=mdettweiler [2020-05-02 20:29:00] 743*2^1558646-1 is not prime. Res64: 0D326F9BAD4E23C7 Time : 0.0 sec. user=mdettweiler [2020-05-02 20:47:45] 827*2^1558646-1 is not prime. Res64: 28A9396D910EB678 Time : 0.0 sec. user=mdettweiler [2020-05-02 20:47:45] 643*2^1558647-1 is not prime. Res64: 2707BCDA455BB7A5 Time : 0.0 sec. user=mdettweiler [2020-05-02 20:47:45] 805*2^1558647-1 is not prime. Res64: 697C831E108AF6F8 Time : 0.0 sec. user=mdettweiler [2020-05-02 20:47:45] 825*2^1558647-1 is not prime. Res64: E2733F76103C42D2 Time : 0.0 sec. user=mdettweiler [2020-05-02 20:47:46] 829*2^1558647-1 is not prime. Res64: 8697E8645D7F8D84 Time : 0.0 sec. user=mdettweiler [2020-05-02 20:51:10] 831*2^1558647-1 is not prime. Res64: 2DCF6FDE01232355 Time : 0.0 sec. user=mdettweiler [2020-05-02 20:51:10] 885*2^1558647-1 is not prime. Res64: 68CCE2CDD0E03F8B Time : 0.0 sec. user=mdettweiler [2020-05-02 20:51:11] 931*2^1558647-1 is not prime. Res64: D504680B71E198B6 Time : 0.0 sec. user=mdettweiler [2020-05-02 20:51:11] 975*2^1558647-1 is not prime. Res64: 457B392D52DE199D Time : 0.0 sec. user=mdettweiler [2020-05-02 20:51:11] 645*2^1558648-1 is not prime. Res64: 8C489BFF7F7E312E Time : 0.0 sec. user=mdettweiler [2020-05-02 21:22:43] 657*2^1558648-1 is not prime. Res64: B0005E248DAC34FB Time : 0.0 sec. user=mdettweiler [2020-05-02 21:22:43] 735*2^1558648-1 is not prime. Res64: CE3586616026CD98 Time : 0.0 sec. user=mdettweiler [2020-05-02 21:22:44] 843*2^1558648-1 is not prime. Res64: A451E2F5991BC426 Time : 0.0 sec. user=mdettweiler [2020-05-02 21:22:44] 863*2^1558648-1 is not prime. Res64: 3E203E3F53FB127E Time : 0.0 sec. user=mdettweiler [2020-05-02 21:22:44] 675*2^1558649-1 is not prime. Res64: 2AD3E72B72215BC4 Time : 0.0 sec. user=mdettweiler [2020-05-02 21:41:47] 685*2^1558649-1 is not prime. Res64: 4EB09954D94860B3 Time : 0.0 sec. user=mdettweiler [2020-05-02 21:41:47] 771*2^1558649-1 is not prime. Res64: 8E261B2E2CE06515 Time : 0.0 sec. user=mdettweiler [2020-05-02 21:41:48] 775*2^1558649-1 is not prime. Res64: 048902AECCB7FBD0 Time : 0.0 sec. user=mdettweiler [2020-05-02 21:41:48] 789*2^1558649-1 is not prime. Res64: 0464B716D797C000 Time : 0.0 sec. user=mdettweiler [2020-05-02 21:41:48] 909*2^1558649-1 is not prime. Res64: 18706C9F806903F2 Time : 0.0 sec. user=mdettweiler [2020-05-02 21:47:01] 957*2^1558649-1 is not prime. Res64: A324D0133741BC89 Time : 0.0 sec. user=mdettweiler [2020-05-02 21:47:01] 657*2^1558650-1 is not prime. Res64: 4F583DA2E44AC46E Time : 0.0 sec. user=mdettweiler [2020-05-02 21:47:01] 677*2^1558650-1 is not prime. Res64: 5989B63E57D10EA4 Time : 0.0 sec. user=mdettweiler [2020-05-02 21:47:02] 927*2^1558650-1 is not prime. Res64: 8ECD0E434B168FF5 Time : 0.0 sec. user=mdettweiler [2020-05-02 21:47:02] 933*2^1558650-1 is not prime. Res64: 7F5EC5613FFCB732 Time : 0.0 sec. user=mdettweiler [2020-05-02 22:15:38] 733*2^1558651-1 is not prime. Res64: A3B7E393D89A7954 Time : 0.0 sec. user=mdettweiler [2020-05-02 22:15:39] 751*2^1558651-1 is not prime. Res64: A0CEE8CA094DC7FF Time : 0.0 sec. user=mdettweiler [2020-05-02 22:15:39] 623*2^1558652-1 is not prime. Res64: 28728CD51FE6C43F Time : 0.0 sec. user=mdettweiler [2020-05-02 22:15:40] 635*2^1558652-1 is not prime. Res64: 36A01A546A99D17D Time : 0.0 sec. user=mdettweiler [2020-05-02 22:15:40] 827*2^1558652-1 is not prime. Res64: 53402853C38D8037 Time : 0.0 sec. user=mdettweiler [2020-05-02 22:39:16] 855*2^1558652-1 is not prime. Res64: F469DBCA19FE25D0 Time : 0.0 sec. user=mdettweiler [2020-05-02 22:39:17] 885*2^1558652-1 is not prime. Res64: 93D9B6E7CEBEA13C Time : 0.0 sec. user=mdettweiler [2020-05-02 22:39:17] 899*2^1558652-1 is not prime. Res64: 22C0A4F3A6D02BB9 Time : 0.0 sec. user=mdettweiler [2020-05-02 22:39:17] 915*2^1558652-1 is not prime. Res64: B158401F34F95AA5 Time : 0.0 sec. user=mdettweiler [2020-05-02 22:39:17] 607*2^1558653-1 is not prime. Res64: EBD5777BB298E84E Time : 0.0 sec. user=mdettweiler [2020-05-02 22:41:16] 651*2^1558653-1 is not prime. Res64: CF313DE1E77342B4 Time : 0.0 sec. user=mdettweiler [2020-05-02 22:41:17] 781*2^1558653-1 is not prime. Res64: 9F6678CD1BD24EE7 Time : 0.0 sec. user=mdettweiler [2020-05-02 22:41:17] 795*2^1558653-1 is not prime. Res64: 876D8007C1A9CF44 Time : 0.0 sec. user=mdettweiler [2020-05-02 22:41:18] 817*2^1558653-1 is not prime. Res64: CC014044FBBEC0CF Time : 0.0 sec. user=mdettweiler [2020-05-02 22:41:18] 867*2^1558653-1 is not prime. Res64: AE6638DF1C9BF9DD Time : 0.0 sec. user=mdettweiler [2020-05-02 23:11:43] 955*2^1558653-1 is not prime. Res64: 1A4BB53EE533B23F Time : 0.0 sec. user=mdettweiler [2020-05-02 23:11:44] 991*2^1558653-1 is not prime. Res64: 38EF27E24A0D8FB1 Time : 0.0 sec. user=mdettweiler [2020-05-02 23:11:44] 999*2^1558653-1 is not prime. Res64: 09D08C44808BA216 Time : 0.0 sec. user=mdettweiler [2020-05-02 23:11:44] 611*2^1558654-1 is not prime. Res64: F452B601AD825D53 Time : 0.0 sec. user=mdettweiler [2020-05-02 23:11:45] 635*2^1558654-1 is not prime. Res64: F4211379AFD9C6ED Time : 0.0 sec. user=mdettweiler [2020-05-02 23:34:15] 681*2^1558654-1 is not prime. Res64: C682B31F1C28353D Time : 0.0 sec. user=mdettweiler [2020-05-02 23:34:15] 737*2^1558654-1 is not prime. Res64: FF9AB7687B6E7B33 Time : 0.0 sec. user=mdettweiler [2020-05-02 23:34:15] 827*2^1558654-1 is not prime. Res64: FEA70573D62AD91C Time : 0.0 sec. user=mdettweiler [2020-05-02 23:34:16] 885*2^1558654-1 is not prime. Res64: E1A7696C38B281C6 Time : 0.0 sec. user=mdettweiler [2020-05-02 23:34:16] 903*2^1558654-1 is not prime. Res64: E92911AFEE3F579B Time : 0.0 sec. user=mdettweiler [2020-05-02 23:35:55] 645*2^1558655-1 is not prime. Res64: 495FE9978C87FD7F Time : 0.0 sec. user=mdettweiler [2020-05-02 23:35:55] 679*2^1558655-1 is not prime. Res64: 0A092EAAEAEB4714 Time : 0.0 sec. user=mdettweiler [2020-05-02 23:35:56] 845*2^1558656-1 is not prime. Res64: 260E223C09CDEBA1 Time : 0.0 sec. user=mdettweiler [2020-05-02 23:35:56] 903*2^1558656-1 is not prime. Res64: 430EBBFA314BD8C9 Time : 0.0 sec. user=mdettweiler [2020-05-02 23:35:56] 905*2^1558656-1 is not prime. Res64: E2196616B0526B1E Time : 0.0 sec.