user=mdettweiler [2017-05-02 00:13:06] 945*2^1452936-1 is not prime. Res64: F7B5F0639B730757 Time : 0.0 sec. user=mdettweiler [2017-05-02 00:13:07] 607*2^1452937-1 is not prime. Res64: 2A76C5640316DF0C Time : 0.0 sec. user=mdettweiler [2017-05-02 00:13:07] 667*2^1452937-1 is not prime. Res64: F6572FDF05ED6BA2 Time : 0.0 sec. user=mdettweiler [2017-05-02 00:13:08] 817*2^1452937-1 is not prime. Res64: 0CA5CE3744145CAE Time : 0.0 sec. user=mdettweiler [2017-05-02 00:13:08] 831*2^1452937-1 is not prime. Res64: 225AF5ADEF67982E Time : 0.0 sec. user=mdettweiler [2017-05-02 00:13:09] 895*2^1452937-1 is not prime. Res64: DB5558A66D953C88 Time : 0.0 sec. user=mdettweiler [2017-05-02 00:13:09] 909*2^1452937-1 is not prime. Res64: 4A53370F579C170B Time : 0.0 sec. user=mdettweiler [2017-05-02 00:13:10] 915*2^1452937-1 is not prime. Res64: FBCF037E7BD3E83F Time : 0.0 sec. user=mdettweiler [2017-05-02 00:13:10] 919*2^1452937-1 is not prime. Res64: 5019EB9B65DB57CF Time : 0.0 sec. user=mdettweiler [2017-05-02 00:13:11] 939*2^1452937-1 is not prime. Res64: D29FB3095A58B1FC Time : 0.0 sec. user=mdettweiler [2017-05-02 00:57:37] 845*2^1452938-1 is not prime. Res64: 786AD680545171D6 Time : 0.0 sec. user=mdettweiler [2017-05-02 00:57:37] 945*2^1452937-1 is not prime. Res64: 1242665F17F4CF3A Time : 0.0 sec. user=mdettweiler [2017-05-02 00:57:37] 875*2^1452938-1 is not prime. Res64: B268747A85EBB53E Time : 0.0 sec. user=mdettweiler [2017-05-02 00:57:38] 955*2^1452937-1 is not prime. Res64: FE471E0C11BDC761 Time : 0.0 sec. user=mdettweiler [2017-05-02 00:57:38] 887*2^1452938-1 is not prime. Res64: 616C16BA035D42C7 Time : 0.0 sec. user=mdettweiler [2017-05-02 00:57:38] 997*2^1452937-1 is not prime. Res64: 88CAB96C79513110 Time : 0.0 sec. user=mdettweiler [2017-05-02 00:57:38] 893*2^1452938-1 is not prime. Res64: D9931291A0A41D0A Time : 0.0 sec. user=mdettweiler [2017-05-02 00:57:39] 641*2^1452938-1 is not prime. Res64: A2F99E1DBC411FF0 Time : 0.0 sec. user=mdettweiler [2017-05-02 00:57:39] 927*2^1452938-1 is not prime. Res64: 3556056AB1686658 Time : 0.0 sec. user=mdettweiler [2017-05-02 00:57:39] 767*2^1452938-1 is not prime. Res64: F48439E05CC277A4 Time : 0.0 sec. user=juhehe [2017-05-02 00:57:40] 963*2^1452938-1 is not prime. Res64: 84E4D9822A04B116 Time : 0.0 sec. user=mdettweiler [2017-05-02 01:42:04] 909*2^1452939-1 is not prime. Res64: 3FF2DA67CFAE5736 Time : 0.0 sec. user=mdettweiler [2017-05-02 01:42:04] 961*2^1452939-1 is not prime. Res64: DBF719F921C5AABF Time : 0.0 sec. user=mdettweiler [2017-05-02 01:42:04] 971*2^1452938-1 is not prime. Res64: 43BD18C3AA0DA548 Time : 0.0 sec. user=mdettweiler [2017-05-02 01:42:05] 675*2^1452940-1 is not prime. Res64: B9C9E803102A415E Time : 0.0 sec. user=mdettweiler [2017-05-02 01:42:05] 705*2^1452939-1 is not prime. Res64: 40D1D98EF929C032 Time : 0.0 sec. user=mdettweiler [2017-05-02 01:42:05] 803*2^1452940-1 is not prime. Res64: F59B015339B870D9 Time : 0.0 sec. user=mdettweiler [2017-05-02 01:42:05] 721*2^1452939-1 is not prime. Res64: 7D725CFCB6B4BEFC Time : 0.0 sec. user=mdettweiler [2017-05-02 01:42:05] 819*2^1452940-1 is not prime. Res64: 1FD043860BEFB77D Time : 0.0 sec. user=mdettweiler [2017-05-02 01:42:05] 823*2^1452939-1 is not prime. Res64: 1EC978CB9F859408 Time : 0.0 sec. user=mdettweiler [2017-05-02 01:42:06] 829*2^1452939-1 is not prime. Res64: 3F07DDFDF0575FEF Time : 0.0 sec. user=juhehe [2017-05-02 02:15:25] 843*2^1452940-1 is not prime. Res64: AF904C9E6F85A2D5 Time : 0.0 sec. user=mdettweiler [2017-05-02 02:26:28] 899*2^1452940-1 is not prime. Res64: C485C85857EDA07F Time : 0.0 sec. user=mdettweiler [2017-05-02 02:26:28] 909*2^1452940-1 is not prime. Res64: 2CCD8DDF37CA261F Time : 0.0 sec. user=mdettweiler [2017-05-02 02:26:29] 929*2^1452940-1 is not prime. Res64: 0F58EA587CCA0B68 Time : 0.0 sec. user=mdettweiler [2017-05-02 02:26:29] 975*2^1452940-1 is not prime. Res64: A3F77E3385A7A90C Time : 0.0 sec. user=mdettweiler [2017-05-02 02:26:30] 989*2^1452940-1 is not prime. Res64: 7E2C64CD1EC0A1CE Time : 0.0 sec. user=mdettweiler [2017-05-02 02:26:32] 649*2^1452941-1 is not prime. Res64: AF763750F9FD9790 Time : 0.0 sec. user=mdettweiler [2017-05-02 02:26:33] 685*2^1452941-1 is not prime. Res64: E041050CCD5C13C9 Time : 0.0 sec. user=mdettweiler [2017-05-02 02:26:33] 769*2^1452941-1 is not prime. Res64: 1FBCB0C402961249 Time : 0.0 sec. user=mdettweiler [2017-05-02 02:26:34] 777*2^1452941-1 is not prime. Res64: 5F2DC0A9B36A878D Time : 0.0 sec. user=mdettweiler [2017-05-02 02:26:34] 789*2^1452941-1 is not prime. Res64: A1004C494884BE9F Time : 0.0 sec. user=mdettweiler [2017-05-02 03:11:03] 967*2^1452941-1 is not prime. Res64: FB4B853305901513 Time : 0.0 sec. user=mdettweiler [2017-05-02 03:11:03] 611*2^1452942-1 is not prime. Res64: 9CDBEF000AE90FAD Time : 0.0 sec. user=mdettweiler [2017-05-02 03:11:04] 651*2^1452942-1 is not prime. Res64: 8A035D089A3B957F Time : 0.0 sec. user=mdettweiler [2017-05-02 03:11:04] 711*2^1452942-1 is not prime. Res64: EF81D3795052EB23 Time : 0.0 sec. user=mdettweiler [2017-05-02 03:11:05] 755*2^1452942-1 is not prime. Res64: ACA28D4BE91D5B98 Time : 0.0 sec. user=mdettweiler [2017-05-02 03:11:06] 891*2^1452942-1 is not prime. Res64: B6A1249A2C9A2309 Time : 0.0 sec. user=mdettweiler [2017-05-02 03:11:07] 603*2^1452943-1 is not prime. Res64: F4DC7CA7C1C878EA Time : 0.0 sec. user=mdettweiler [2017-05-02 03:11:07] 619*2^1452943-1 is not prime. Res64: 438D417B953A3DD3 Time : 0.0 sec. user=mdettweiler [2017-05-02 03:11:07] 649*2^1452943-1 is not prime. Res64: 9FE725604AA3484F Time : 0.0 sec. user=mdettweiler [2017-05-02 03:11:08] 661*2^1452943-1 is not prime. Res64: 6413C6BBACF17AF8 Time : 0.0 sec. user=mdettweiler [2017-05-02 03:55:28] 805*2^1452943-1 is not prime. Res64: 3FF3DE6D618ED3B0 Time : 0.0 sec. user=mdettweiler [2017-05-02 03:55:29] 831*2^1452943-1 is not prime. Res64: 5DA81D4F71691327 Time : 0.0 sec. user=mdettweiler [2017-05-02 03:55:29] 635*2^1452944-1 is not prime. Res64: EAF9ED3A66130D3B Time : 0.0 sec. user=mdettweiler [2017-05-02 03:55:30] 663*2^1452944-1 is not prime. Res64: A1D03A8C2976E3D2 Time : 0.0 sec. user=mdettweiler [2017-05-02 03:55:30] 743*2^1452944-1 is not prime. Res64: 17189E18774F4C32 Time : 0.0 sec. user=mdettweiler [2017-05-02 03:55:31] 827*2^1452944-1 is not prime. Res64: 027123074FC2B881 Time : 0.0 sec. user=mdettweiler [2017-05-02 03:55:32] 929*2^1452944-1 is not prime. Res64: CABB4511A5E6D02F Time : 0.0 sec. user=mdettweiler [2017-05-02 03:55:33] 995*2^1452944-1 is not prime. Res64: 30003DEF4F9A2AC5 Time : 0.0 sec. user=mdettweiler [2017-05-02 03:55:33] 735*2^1452945-1 is not prime. Res64: D52F3B72D50A9791 Time : 0.0 sec. user=mdettweiler [2017-05-02 03:55:33] 741*2^1452945-1 is not prime. Res64: 377042E57E517C8F Time : 0.0 sec. user=mdettweiler [2017-05-02 04:39:57] 675*2^1452946-1 is not prime. Res64: 3989FDE134B2EEFC Time : 0.0 sec. user=mdettweiler [2017-05-02 04:39:57] 847*2^1452945-1 is not prime. Res64: 1AB28F728A259926 Time : 0.0 sec. user=mdettweiler [2017-05-02 04:39:57] 677*2^1452946-1 is not prime. Res64: 76C946F26CFC884F Time : 0.0 sec. user=mdettweiler [2017-05-02 04:39:57] 937*2^1452945-1 is not prime. Res64: C61701518F9AECD6 Time : 0.0 sec. user=mdettweiler [2017-05-02 04:39:58] 701*2^1452946-1 is not prime. Res64: 20212D13A52AEF8A Time : 0.0 sec. user=mdettweiler [2017-05-02 04:39:58] 979*2^1452945-1 is not prime. Res64: A4981B69D04E24A0 Time : 0.0 sec. user=mdettweiler [2017-05-02 04:39:58] 717*2^1452946-1 is not prime. Res64: D8DD2D743B33923E Time : 0.0 sec. user=mdettweiler [2017-05-02 04:39:58] 623*2^1452946-1 is not prime. Res64: 7307C6E3FB5C8C97 Time : 0.0 sec. user=mdettweiler [2017-05-02 04:39:59] 741*2^1452946-1 is not prime. Res64: 716ACDF65CB1B138 Time : 0.0 sec. user=mdettweiler [2017-05-02 04:39:59] 653*2^1452946-1 is not prime. Res64: 224A024FC8212B82 Time : 0.0 sec. user=mdettweiler [2017-05-02 05:24:22] 755*2^1452946-1 is not prime. Res64: 39AB447A82F549F3 Time : 0.0 sec. user=mdettweiler [2017-05-02 05:24:22] 803*2^1452946-1 is not prime. Res64: 5CC7A87117DC58AD Time : 0.0 sec. user=mdettweiler [2017-05-02 05:24:22] 911*2^1452946-1 is not prime. Res64: C21F2BC180CA88ED Time : 0.0 sec. user=mdettweiler [2017-05-02 05:24:23] 645*2^1452947-1 is not prime. Res64: E902F892C62D45ED Time : 0.0 sec. user=mdettweiler [2017-05-02 05:24:23] 941*2^1452946-1 is not prime. Res64: AAB10FC38EB5E978 Time : 0.0 sec. user=mdettweiler [2017-05-02 05:24:23] 987*2^1452946-1 is not prime. Res64: 38E3534663A5556E Time : 0.0 sec. user=mdettweiler [2017-05-02 05:24:23] 711*2^1452947-1 is not prime. Res64: CF9EC9B5C7D2F0CB Time : 0.0 sec. user=mdettweiler [2017-05-02 05:24:24] 647*2^1452948-1 is not prime. Res64: 180461FAD721DDDE Time : 0.0 sec. user=mdettweiler [2017-05-02 05:24:24] 705*2^1452948-1 is not prime. Res64: 1BE26B6C57997F88 Time : 0.0 sec. user=mdettweiler [2017-05-02 05:24:25] 795*2^1452948-1 is not prime. Res64: DB59CE10DA100D13 Time : 0.0 sec. user=mdettweiler [2017-05-02 06:08:50] 681*2^1452949-1 is not prime. Res64: 4F934F0851171D70 Time : 0.0 sec. user=mdettweiler [2017-05-02 06:08:50] 967*2^1452949-1 is not prime. Res64: 2DBF15E7CF91EEB3 Time : 0.0 sec. user=mdettweiler [2017-05-02 06:08:50] 759*2^1452949-1 is not prime. Res64: B19D3D37935DB9CB Time : 0.0 sec. user=mdettweiler [2017-05-02 06:08:51] 771*2^1452949-1 is not prime. Res64: BA7BA00A4C92DE83 Time : 0.0 sec. user=mdettweiler [2017-05-02 06:08:52] 999*2^1452949-1 is not prime. Res64: E3EAB8BC0E3058F2 Time : 0.0 sec. user=mdettweiler [2017-05-02 06:08:52] 801*2^1452949-1 is not prime. Res64: 5CD132E402975CAA Time : 0.0 sec. user=mdettweiler [2017-05-02 06:08:53] 931*2^1452949-1 is not prime. Res64: 3AA1F9B0CB0CDFDB Time : 0.0 sec. user=mdettweiler [2017-05-02 06:08:54] 627*2^1452950-1 is not prime. Res64: B2475837A4AB9AD6 Time : 0.0 sec. user=mdettweiler [2017-05-02 06:08:55] 711*2^1452950-1 is not prime. Res64: 4C17FFDB6A4D7271 Time : 0.0 sec. user=mdettweiler [2017-05-02 06:08:56] 713*2^1452950-1 is not prime. Res64: F426E981D499008A Time : 0.0 sec. user=juhehe [2017-05-02 06:12:05] 717*2^1452950-1 is not prime. Res64: 47861E36B197727C Time : 0.0 sec. user=juhehe [2017-05-02 06:51:10] 885*2^1452951-1 is not prime. Res64: 4ADF5171DAFFEB75 Time : 0.0 sec. user=mdettweiler [2017-05-02 06:53:24] 773*2^1452950-1 is not prime. Res64: 4061A37B4343C705 Time : 0.0 sec. user=mdettweiler [2017-05-02 06:53:24] 861*2^1452950-1 is not prime. Res64: 9636650F26F33884 Time : 0.0 sec. user=mdettweiler [2017-05-02 06:53:25] 791*2^1452950-1 is not prime. Res64: 05FD976483DF3B01 Time : 0.0 sec. user=mdettweiler [2017-05-02 06:53:25] 971*2^1452950-1 is not prime. Res64: 3E9C23CC3D2819BA Time : 0.0 sec. user=mdettweiler [2017-05-02 06:53:25] 797*2^1452950-1 is not prime. Res64: 45D7294298C6E85B Time : 0.0 sec. user=mdettweiler [2017-05-02 06:53:25] 793*2^1452951-1 is not prime. Res64: B135CD862B604E3D Time : 0.0 sec. user=mdettweiler [2017-05-02 06:53:25] 825*2^1452950-1 is not prime. Res64: 6F6A61B878FD8122 Time : 0.0 sec. user=mdettweiler [2017-05-02 06:53:26] 829*2^1452951-1 is not prime. Res64: ABD59F4F05614878 Time : 0.0 sec. user=mdettweiler [2017-05-02 06:53:26] 845*2^1452950-1 is not prime. Res64: ACF547B70A94F248 Time : 0.0 sec. user=mdettweiler [2017-05-02 06:53:26] 861*2^1452951-1 is not prime. Res64: D05DBA61D6BEFE6D Time : 0.0 sec. user=juhehe [2017-05-02 07:30:51] 909*2^1452951-1 is not prime. Res64: 2C953308774517DC Time : 0.0 sec. user=mdettweiler [2017-05-02 07:37:50] 875*2^1452952-1 is not prime. Res64: FC46F18E8452B8CC Time : 0.0 sec. user=mdettweiler [2017-05-02 07:37:50] 609*2^1452952-1 is not prime. Res64: E58D552BE94D036E Time : 0.0 sec. user=mdettweiler [2017-05-02 07:37:51] 917*2^1452952-1 is not prime. Res64: 127CB3953FDE0C2D Time : 0.0 sec. user=mdettweiler [2017-05-02 07:37:51] 615*2^1452952-1 is not prime. Res64: 4C721B5551366E51 Time : 0.0 sec. user=mdettweiler [2017-05-02 07:37:51] 957*2^1452952-1 is not prime. Res64: AB0EECC05272B20A Time : 0.0 sec. user=mdettweiler [2017-05-02 07:37:51] 717*2^1452952-1 is not prime. Res64: C3D743E72DB6C10F Time : 0.0 sec. user=mdettweiler [2017-05-02 07:37:51] 627*2^1452953-1 is not prime. Res64: EB0EC34C8F4B5F04 Time : 0.0 sec. user=mdettweiler [2017-05-02 07:37:51] 755*2^1452952-1 is not prime. Res64: AAE7DC166B4286CD Time : 0.0 sec. user=mdettweiler [2017-05-02 07:37:52] 699*2^1452953-1 is not prime. Res64: 364DE77181DC0F47 Time : 0.0 sec. user=mdettweiler [2017-05-02 07:37:52] 855*2^1452952-1 is not prime. Res64: CF2193227C5A2E85 Time : 0.0 sec. user=juhehe [2017-05-02 08:08:49] 741*2^1452953-1 is not prime. Res64: B8A6ACCEBF7FEE99 Time : 0.0 sec. user=mdettweiler [2017-05-02 08:22:17] 773*2^1452954-1 is not prime. Res64: 1902DB07192604E3 Time : 0.0 sec. user=mdettweiler [2017-05-02 08:22:17] 893*2^1452954-1 is not prime. Res64: 8FDCB5453C4D2CA6 Time : 0.0 sec. user=mdettweiler [2017-05-02 08:22:18] 941*2^1452954-1 is not prime. Res64: B38A4F01C5C886F1 Time : 0.0 sec. user=mdettweiler [2017-05-02 08:22:18] 631*2^1452955-1 is not prime. Res64: FCA44C95D73F1E4A Time : 0.0 sec. user=mdettweiler [2017-05-02 08:22:19] 787*2^1452953-1 is not prime. Res64: C8964125AF9A5243 Time : 0.0 sec. user=mdettweiler [2017-05-02 08:22:19] 651*2^1452955-1 is not prime. Res64: DF9598B6BE1D637C Time : 0.0 sec. user=mdettweiler [2017-05-02 08:22:19] 925*2^1452953-1 is not prime. Res64: 2D44EED180850E30 Time : 0.0 sec. user=mdettweiler [2017-05-02 08:22:19] 651*2^1452954-1 is not prime. Res64: 559377F5CD6BDED5 Time : 0.0 sec. user=mdettweiler [2017-05-02 08:22:20] 683*2^1452954-1 is not prime. Res64: EC2323683233C222 Time : 0.0 sec. user=mdettweiler [2017-05-02 08:22:20] 717*2^1452954-1 is not prime. Res64: 8C7AF27CF87C6137 Time : 0.0 sec. user=mdettweiler [2017-05-02 09:06:43] 759*2^1452955-1 is not prime. Res64: 6A83FBF27B531B92 Time : 0.0 sec. user=mdettweiler [2017-05-02 09:06:43] 873*2^1452955-1 is not prime. Res64: DFE61ECD9CD354BC Time : 0.0 sec. user=mdettweiler [2017-05-02 09:06:44] 875*2^1452956-1 is not prime. Res64: E1781554E9D1032C Time : 0.0 sec. user=mdettweiler [2017-05-02 09:06:44] 979*2^1452955-1 is not prime. Res64: 923FB0C62ADFF6C9 Time : 0.0 sec. user=mdettweiler [2017-05-02 09:06:45] 963*2^1452956-1 is not prime. Res64: 2896114DA82724FA Time : 0.0 sec. user=mdettweiler [2017-05-02 09:06:45] 855*2^1452956-1 is not prime. Res64: 816E1F91C4E1F2BB Time : 0.0 sec. user=mdettweiler [2017-05-02 09:06:45] 969*2^1452956-1 is not prime. Res64: AF80B7DB49018C32 Time : 0.0 sec. user=mdettweiler [2017-05-02 09:06:45] 857*2^1452956-1 is not prime. Res64: D04D57D4602A66DF Time : 0.0 sec. user=mdettweiler [2017-05-02 09:06:46] 609*2^1452957-1 is not prime. Res64: 7643DC3B33C75560 Time : 0.0 sec. user=mdettweiler [2017-05-02 09:06:46] 621*2^1452957-1 is not prime. Res64: A397ECC61626D097 Time : 0.0 sec. user=mdettweiler [2017-05-02 09:51:19] 645*2^1452958-1 is not prime. Res64: CF9081357D72D0E6 Time : 0.0 sec. user=mdettweiler [2017-05-02 09:51:20] 657*2^1452958-1 is not prime. Res64: 076C13CE5281FEBD Time : 0.0 sec. user=mdettweiler [2017-05-02 09:51:20] 685*2^1452957-1 is not prime. Res64: FCE6C496E1FDD190 Time : 0.0 sec. user=mdettweiler [2017-05-02 09:51:20] 815*2^1452958-1 is not prime. Res64: 57A1A9A2DCA65AAE Time : 0.0 sec. user=mdettweiler [2017-05-02 09:51:21] 741*2^1452957-1 is not prime. Res64: 7331280D7A26566A Time : 0.0 sec. user=mdettweiler [2017-05-02 09:51:21] 911*2^1452958-1 is not prime. Res64: AA7881BA3722841E Time : 0.0 sec. user=mdettweiler [2017-05-02 09:51:21] 871*2^1452957-1 is not prime. Res64: 389495DB45B874A4 Time : 0.0 sec. user=mdettweiler [2017-05-02 09:51:21] 993*2^1452958-1 is not prime. Res64: B0D11AD6B2013252 Time : 0.0 sec. user=mdettweiler [2017-05-02 09:51:21] 889*2^1452957-1 is not prime. Res64: F14B88D695B53D78 Time : 0.0 sec. user=mdettweiler [2017-05-02 09:51:22] 603*2^1452958-1 is not prime. Res64: 7C8C51D30C40EC6C Time : 0.0 sec. user=mdettweiler [2017-05-02 10:35:47] 859*2^1452959-1 is not prime. Res64: F9A91E5D61009EAA Time : 0.0 sec. user=mdettweiler [2017-05-02 10:35:48] 943*2^1452959-1 is not prime. Res64: A3D703144C8A7E6C Time : 0.0 sec. user=mdettweiler [2017-05-02 10:35:48] 635*2^1452960-1 is not prime. Res64: 5469049BB7BDD8E5 Time : 0.0 sec. user=mdettweiler [2017-05-02 10:35:49] 689*2^1452960-1 is not prime. Res64: 1297D9A6C3C94EC5 Time : 0.0 sec. user=mdettweiler [2017-05-02 10:35:49] 753*2^1452960-1 is not prime. Res64: FFA32F105400ED5C Time : 0.0 sec. user=mdettweiler [2017-05-02 10:35:50] 621*2^1452959-1 is not prime. Res64: 15C5BC66902E302A Time : 0.0 sec. user=mdettweiler [2017-05-02 10:35:50] 649*2^1452959-1 is not prime. Res64: 35E7106FBDAD8CB2 Time : 0.0 sec. user=mdettweiler [2017-05-02 10:35:51] 703*2^1452959-1 is not prime. Res64: 378A2D6B868A0142 Time : 0.0 sec. user=mdettweiler [2017-05-02 10:35:51] 759*2^1452959-1 is not prime. Res64: 47F1EFC7B00E5BEB Time : 0.0 sec. user=mdettweiler [2017-05-02 10:35:52] 855*2^1452959-1 is not prime. Res64: E8AB26CE788D2D96 Time : 0.0 sec. user=mdettweiler [2017-05-02 11:20:14] 789*2^1452960-1 is not prime. Res64: 816021C3C0E0039C Time : 0.0 sec. user=mdettweiler [2017-05-02 11:20:15] 795*2^1452960-1 is not prime. Res64: C5FB1E485C327C54 Time : 0.0 sec. user=mdettweiler [2017-05-02 11:20:15] 845*2^1452960-1 is not prime. Res64: CDF4A6C542455085 Time : 0.0 sec. user=mdettweiler [2017-05-02 11:20:16] 609*2^1452961-1 is not prime. Res64: F8F1196683B0DCB7 Time : 0.0 sec. user=mdettweiler [2017-05-02 11:20:16] 887*2^1452960-1 is not prime. Res64: B50EC3BBC178F146 Time : 0.0 sec. user=mdettweiler [2017-05-02 11:20:16] 639*2^1452961-1 is not prime. Res64: 2DF8FFD55FB8DD81 Time : 0.0 sec. user=mdettweiler [2017-05-02 11:20:16] 999*2^1452960-1 is not prime. Res64: 61BD1B20651CA969 Time : 0.0 sec. user=mdettweiler [2017-05-02 11:20:17] 679*2^1452961-1 is not prime. Res64: 13A6603C18C93B76 Time : 0.0 sec. user=mdettweiler [2017-05-02 11:20:17] 727*2^1452961-1 is not prime. Res64: 386FEACDB5BAC587 Time : 0.0 sec. user=mdettweiler [2017-05-02 11:20:18] 925*2^1452961-1 is not prime. Res64: 5335F2A45D2B99F6 Time : 0.0 sec. user=juhehe [2017-05-02 12:02:48] 885*2^1452963-1 is not prime. Res64: 2FA779620ADE7753 Time : 0.0 sec. user=mdettweiler [2017-05-02 12:05:25] 671*2^1452962-1 is not prime. Res64: 5572A786CD1AD1E8 Time : 0.0 sec. user=mdettweiler [2017-05-02 12:05:25] 935*2^1452962-1 is not prime. Res64: A615670D3DC44C58 Time : 0.0 sec. user=mdettweiler [2017-05-02 12:05:27] 625*2^1452963-1 is not prime. Res64: B3213239B8204769 Time : 0.0 sec. user=mdettweiler [2017-05-02 12:05:29] 683*2^1452962-1 is not prime. Res64: 568326E63C438E24 Time : 0.0 sec. user=mdettweiler [2017-05-02 12:05:30] 789*2^1452963-1 is not prime. Res64: 39FE3C6B01C275B8 Time : 0.0 sec. user=mdettweiler [2017-05-02 12:05:31] 735*2^1452962-1 is not prime. Res64: B97A5D3422455F31 Time : 0.0 sec. user=mdettweiler [2017-05-02 12:05:32] 805*2^1452963-1 is not prime. Res64: 13338F5840E4E127 Time : 0.0 sec. user=mdettweiler [2017-05-02 12:05:33] 875*2^1452962-1 is not prime. Res64: 3CFC39BA3D993552 Time : 0.0 sec. user=mdettweiler [2017-05-02 12:05:34] 823*2^1452963-1 is not prime. Res64: 78BCDFCB0C9EA2B0 Time : 0.0 sec. user=mdettweiler [2017-05-02 12:05:34] 911*2^1452962-1 is not prime. Res64: ECB7885E51D91CF0 Time : 0.0 sec. user=juhehe [2017-05-02 12:41:47] 955*2^1452963-1 is not prime. Res64: F8C70140CB61170F Time : 0.0 sec. user=mdettweiler [2017-05-02 12:50:01] 675*2^1452964-1 is not prime. Res64: 5CDE0D28DCB9742D Time : 0.0 sec. user=mdettweiler [2017-05-02 12:50:02] 705*2^1452964-1 is not prime. Res64: 901A0663FA434DE2 Time : 0.0 sec. user=mdettweiler [2017-05-02 12:50:02] 861*2^1452965-1 is not prime. Res64: 6C1ADBC90250A05E Time : 0.0 sec. user=mdettweiler [2017-05-02 12:50:02] 657*2^1452965-1 is not prime. Res64: D03CE371FAE73C7F Time : 0.0 sec. user=mdettweiler [2017-05-02 12:50:03] 939*2^1452965-1 is not prime. Res64: FBA1B8680F293097 Time : 0.0 sec. user=mdettweiler [2017-05-02 12:50:03] 789*2^1452965-1 is not prime. Res64: 5C596A386C8A7EE5 Time : 0.0 sec. user=mdettweiler [2017-05-02 12:50:03] 969*2^1452965-1 is not prime. Res64: 7481AD4E335DEFB1 Time : 0.0 sec. user=mdettweiler [2017-05-02 12:50:03] 825*2^1452965-1 is not prime. Res64: E6DBA31941B1EB31 Time : 0.0 sec. user=mdettweiler [2017-05-02 12:50:03] 979*2^1452965-1 is not prime. Res64: 1BB90981EEFD978C Time : 0.0 sec. user=mdettweiler [2017-05-02 12:50:04] 741*2^1452966-1 is not prime. Res64: 51F199636B54E3C7 Time : 0.0 sec. user=mdettweiler [2017-05-02 13:34:25] 681*2^1452967-1 is not prime. Res64: F3BD15D1A9B35A13 Time : 0.0 sec. user=mdettweiler [2017-05-02 13:34:26] 735*2^1452967-1 is not prime. Res64: 0E1F8B0D233A726C Time : 0.0 sec. user=mdettweiler [2017-05-02 13:34:26] 841*2^1452967-1 is not prime. Res64: 95543EF47A776426 Time : 0.0 sec. user=mdettweiler [2017-05-02 13:34:27] 617*2^1452968-1 is not prime. Res64: D74C3789F5974613 Time : 0.0 sec. user=mdettweiler [2017-05-02 13:34:27] 815*2^1452966-1 is not prime. Res64: B3E346FBEA72B9B3 Time : 0.0 sec. user=mdettweiler [2017-05-02 13:34:27] 755*2^1452968-1 is not prime. Res64: 7FD0D88A330681BC Time : 0.0 sec. user=mdettweiler [2017-05-02 13:34:27] 887*2^1452966-1 is not prime. Res64: 1A2C9A33E3706778 Time : 0.0 sec. user=mdettweiler [2017-05-02 13:34:28] 941*2^1452966-1 is not prime. Res64: A067CB55E8329057 Time : 0.0 sec. user=mdettweiler [2017-05-02 13:34:28] 945*2^1452966-1 is not prime. Res64: EB7FA6E8FBB50501 Time : 0.0 sec. user=mdettweiler [2017-05-02 13:34:29] 675*2^1452967-1 is not prime. Res64: 7014393A6BE57CED Time : 0.0 sec. user=juhehe [2017-05-02 14:01:15] 845*2^1452968-1 is not prime. Res64: 1E49175997A9B9C5 Time : 0.0 sec. user=mdettweiler [2017-05-02 14:18:51] 897*2^1452968-1 is not prime. Res64: 5A5AFF950A42DD41 Time : 0.0 sec. user=mdettweiler [2017-05-02 14:18:51] 969*2^1452968-1 is not prime. Res64: B626F2C41C33893A Time : 0.0 sec. user=mdettweiler [2017-05-02 14:18:52] 995*2^1452968-1 is not prime. Res64: B2BF4C62D7944331 Time : 0.0 sec. user=mdettweiler [2017-05-02 14:18:52] 625*2^1452969-1 is not prime. Res64: 994A7529050ED30E Time : 0.0 sec. user=mdettweiler [2017-05-02 14:18:52] 747*2^1452969-1 is not prime. Res64: 38098ED90C686F41 Time : 0.0 sec. user=mdettweiler [2017-05-02 14:18:52] 657*2^1452969-1 is not prime. Res64: 2330C324FDBF47B7 Time : 0.0 sec. user=mdettweiler [2017-05-02 14:18:53] 751*2^1452969-1 is not prime. Res64: 5601AE1F6E8BE5D1 Time : 0.0 sec. user=mdettweiler [2017-05-02 14:18:53] 769*2^1452969-1 is not prime. Res64: 95D65F9C432BE945 Time : 0.0 sec. user=mdettweiler [2017-05-02 14:18:54] 831*2^1452969-1 is not prime. Res64: 5132AC058C3410F4 Time : 0.0 sec. user=mdettweiler [2017-05-02 14:18:54] 907*2^1452969-1 is not prime. Res64: 37FDF2576C53CC59 Time : 0.0 sec. user=mdettweiler [2017-05-02 15:03:31] 939*2^1452971-1 is not prime. Res64: 1AD708C38EA167E7 Time : 0.0 sec. user=mdettweiler [2017-05-02 15:03:32] 827*2^1452970-1 is not prime. Res64: 86AB5A91F0BDE1AA Time : 0.0 sec. user=mdettweiler [2017-05-02 15:03:33] 999*2^1452971-1 is not prime. Res64: AB482D53A22B2560 Time : 0.0 sec. user=mdettweiler [2017-05-02 15:03:33] 923*2^1452970-1 is not prime. Res64: 99A050BC5F3EE07C Time : 0.0 sec. user=mdettweiler [2017-05-02 15:03:34] 899*2^1452972-1 is not prime. Res64: 9CC986517EB81BA3 Time : 0.0 sec. user=mdettweiler [2017-05-02 15:03:35] 951*2^1452970-1 is not prime. Res64: 4A1779D4C6D62491 Time : 0.0 sec. user=mdettweiler [2017-05-02 15:03:36] 983*2^1452972-1 is not prime. Res64: 48FF4EAEAF2DEB86 Time : 0.0 sec. user=mdettweiler [2017-05-02 15:03:37] 735*2^1452971-1 is not prime. Res64: 3BC217A63D9E1663 Time : 0.0 sec. user=mdettweiler [2017-05-02 15:03:38] 781*2^1452971-1 is not prime. Res64: 054D1A18A02765A0 Time : 0.0 sec. user=mdettweiler [2017-05-02 15:03:39] 987*2^1452972-1 is not prime. Res64: 774DB1136C678ACC Time : 0.0 sec. user=juhehe [2017-05-02 15:19:21] 615*2^1452973-1 is not prime. Res64: A26C0C61A76EF1F9 Time : 0.0 sec. user=mdettweiler [2017-05-02 15:48:07] 679*2^1452973-1 is not prime. Res64: 8C7D4BD6BA5A66E0 Time : 0.0 sec. user=mdettweiler [2017-05-02 15:48:08] 775*2^1452973-1 is not prime. Res64: 1959B15E310EC41B Time : 0.0 sec. user=mdettweiler [2017-05-02 15:48:08] 805*2^1452973-1 is not prime. Res64: 0FF02FEC10B42C9D Time : 0.0 sec. user=mdettweiler [2017-05-02 15:48:09] 937*2^1452973-1 is not prime. Res64: 0957E3CA38B31A67 Time : 0.0 sec. user=mdettweiler [2017-05-02 15:48:09] 615*2^1452974-1 is not prime. Res64: BF69283E48DCBA8D Time : 0.0 sec. user=mdettweiler [2017-05-02 15:48:10] 665*2^1452974-1 is not prime. Res64: 18BA958F0B921BF0 Time : 0.0 sec. user=mdettweiler [2017-05-02 15:48:10] 705*2^1452974-1 is not prime. Res64: EED90564D14A0AA5 Time : 0.0 sec. user=mdettweiler [2017-05-02 15:48:11] 707*2^1452974-1 is not prime. Res64: D3DF33AB92ED96D8 Time : 0.0 sec. user=mdettweiler [2017-05-02 15:48:11] 785*2^1452974-1 is not prime. Res64: C4A476CB9363ED7F Time : 0.0 sec. user=mdettweiler [2017-05-02 15:48:12] 827*2^1452974-1 is not prime. Res64: 1F11D82C7187F9FA Time : 0.0 sec. user=mdettweiler [2017-05-02 16:32:35] 651*2^1452975-1 is not prime. Res64: 1099A7B73E0ECFE5 Time : 0.0 sec. user=mdettweiler [2017-05-02 16:32:36] 691*2^1452975-1 is not prime. Res64: BD8BD6344E5942EF Time : 0.0 sec. user=mdettweiler [2017-05-02 16:32:36] 723*2^1452975-1 is not prime. Res64: 42B84D1CBCA2B4C4 Time : 0.0 sec. user=mdettweiler [2017-05-02 16:32:37] 979*2^1452975-1 is not prime. Res64: B09456D671E78A99 Time : 0.0 sec. user=mdettweiler [2017-05-02 16:32:37] 609*2^1452976-1 is not prime. Res64: 9C984BE1F6D07C80 Time : 0.0 sec. user=mdettweiler [2017-05-02 16:32:37] 615*2^1452976-1 is not prime. Res64: 0A21557EBE54ED38 Time : 0.0 sec. user=mdettweiler [2017-05-02 16:32:38] 677*2^1452976-1 is not prime. Res64: 1E246C76185A3AAD Time : 0.0 sec. user=mdettweiler [2017-05-02 16:32:38] 723*2^1452976-1 is not prime. Res64: 023698268C3F45B7 Time : 0.0 sec. user=mdettweiler [2017-05-02 16:32:39] 765*2^1452976-1 is not prime. Res64: DFF45C9304D1BCFA Time : 0.0 sec. user=mdettweiler [2017-05-02 16:32:39] 779*2^1452976-1 is not prime. Res64: 82626DFA26F52521 Time : 0.0 sec. user=juhehe [2017-05-02 17:16:50] 773*2^1452978-1 is not prime. Res64: C059C37E0DBD28DD Time : 0.0 sec. user=mdettweiler [2017-05-02 17:17:03] 909*2^1452976-1 is not prime. Res64: 03E9FD1278BFB991 Time : 0.0 sec. user=mdettweiler [2017-05-02 17:17:03] 957*2^1452976-1 is not prime. Res64: 2D3026003E7280FE Time : 0.0 sec. user=mdettweiler [2017-05-02 17:17:04] 993*2^1452976-1 is not prime. Res64: 9300DA2237CA942E Time : 0.0 sec. user=mdettweiler [2017-05-02 17:17:04] 637*2^1452977-1 is not prime. Res64: F3D75573C6DF5211 Time : 0.0 sec. user=mdettweiler [2017-05-02 17:17:05] 795*2^1452977-1 is not prime. Res64: 7061D22DFD827FA0 Time : 0.0 sec. user=mdettweiler [2017-05-02 17:17:05] 759*2^1452977-1 is not prime. Res64: 57E3AC842E1118A3 Time : 0.0 sec. user=mdettweiler [2017-05-02 17:17:06] 949*2^1452977-1 is not prime. Res64: 2DB2F28BE91C0591 Time : 0.0 sec. user=mdettweiler [2017-05-02 17:17:06] 981*2^1452977-1 is not prime. Res64: 08C1AE9D39DC965C Time : 0.0 sec. user=mdettweiler [2017-05-02 17:17:06] 985*2^1452977-1 is not prime. Res64: 4C813BE7CA92E88A Time : 0.0 sec. user=mdettweiler [2017-05-02 17:17:07] 677*2^1452978-1 is not prime. Res64: 65F9BB53FA04A6B0 Time : 0.0 sec. user=mdettweiler [2017-05-02 18:01:31] 923*2^1452978-1 is not prime. Res64: 84F26A5746C49C89 Time : 0.0 sec. user=mdettweiler [2017-05-02 18:01:32] 633*2^1452979-1 is not prime. Res64: 292F5C0F1CF41712 Time : 0.0 sec. user=mdettweiler [2017-05-02 18:01:33] 679*2^1452979-1 is not prime. Res64: 6968ADF9CAED8ED1 Time : 0.0 sec. user=mdettweiler [2017-05-02 18:01:34] 685*2^1452979-1 is not prime. Res64: 87E6055D1F572FE7 Time : 0.0 sec. user=mdettweiler [2017-05-02 18:01:35] 885*2^1452979-1 is not prime. Res64: 545DBBFD68351CDB Time : 0.0 sec. user=mdettweiler [2017-05-02 18:01:36] 735*2^1452979-1 is not prime. Res64: 99F20298A88BEB46 Time : 0.0 sec. user=mdettweiler [2017-05-02 18:01:37] 895*2^1452979-1 is not prime. Res64: E30CB3D44FB85B94 Time : 0.0 sec. user=mdettweiler [2017-05-02 18:01:38] 659*2^1452980-1 is not prime. Res64: 5A71C32A1ED56C35 Time : 0.0 sec. user=mdettweiler [2017-05-02 18:01:39] 719*2^1452980-1 is not prime. Res64: 5D6E25520A8D02F1 Time : 0.0 sec. user=mdettweiler [2017-05-02 18:01:41] 773*2^1452980-1 is not prime. Res64: 7461940088BEB79A Time : 0.0 sec. user=mdettweiler [2017-05-02 18:46:25] 685*2^1452981-1 is not prime. Res64: EDC51E6B9E213309 Time : 0.0 sec. user=mdettweiler [2017-05-02 18:46:25] 845*2^1452980-1 is not prime. Res64: D36A823B5BFA559B Time : 0.0 sec. user=mdettweiler [2017-05-02 18:46:25] 795*2^1452981-1 is not prime. Res64: 6D4B61EDE1FE5D89 Time : 0.0 sec. user=mdettweiler [2017-05-02 18:46:26] 927*2^1452980-1 is not prime. Res64: BA314017774903BA Time : 0.0 sec. user=mdettweiler [2017-05-02 18:46:26] 907*2^1452981-1 is not prime. Res64: D779503D2FC387FE Time : 0.0 sec. user=mdettweiler [2017-05-02 18:46:26] 657*2^1452981-1 is not prime. Res64: 353F6290D0E9910B Time : 0.0 sec. user=mdettweiler [2017-05-02 18:46:26] 955*2^1452981-1 is not prime. Res64: 89BBB0144BA82125 Time : 0.0 sec. user=mdettweiler [2017-05-02 18:46:26] 669*2^1452981-1 is not prime. Res64: 290803E104AB7419 Time : 0.0 sec. user=mdettweiler [2017-05-02 18:46:27] 969*2^1452981-1 is not prime. Res64: 61ADA8A2BCE897E6 Time : 0.0 sec. user=mdettweiler [2017-05-02 18:46:27] 675*2^1452981-1 is not prime. Res64: 7BAF9418DA6B8AFA Time : 0.0 sec. user=juhehe [2017-05-02 19:14:13] 713*2^1452982-1 is not prime. Res64: 415DF0318FDBF703 Time : 0.0 sec. user=mdettweiler [2017-05-02 19:30:52] 717*2^1452982-1 is not prime. Res64: 994B4AF13AFDD2E7 Time : 0.0 sec. user=mdettweiler [2017-05-02 19:30:52] 855*2^1452982-1 is not prime. Res64: 1A8A7E6D20125362 Time : 0.0 sec. user=mdettweiler [2017-05-02 19:30:53] 755*2^1452982-1 is not prime. Res64: 056A44969D4228B4 Time : 0.0 sec. user=mdettweiler [2017-05-02 19:30:53] 885*2^1452982-1 is not prime. Res64: 5BC1EAF0DFF24FB1 Time : 0.0 sec. user=mdettweiler [2017-05-02 19:30:53] 947*2^1452982-1 is not prime. Res64: 6DB833EDEB12EED7 Time : 0.0 sec. user=mdettweiler [2017-05-02 19:30:54] 813*2^1452982-1 is not prime. Res64: D4153C4BB94F9009 Time : 0.0 sec. user=mdettweiler [2017-05-02 19:30:54] 957*2^1452982-1 is not prime. Res64: 734AE3672B161A69 Time : 0.0 sec. user=mdettweiler [2017-05-02 19:30:54] 821*2^1452982-1 is not prime. Res64: 372DB573297A305D Time : 0.0 sec. user=mdettweiler [2017-05-02 19:30:54] 603*2^1452983-1 is not prime. Res64: AD8B31B17A46E456 Time : 0.0 sec. user=mdettweiler [2017-05-02 19:30:55] 827*2^1452982-1 is not prime. Res64: 3133D8C384B7139D Time : 0.0 sec. user=mdettweiler [2017-05-02 20:15:20] 663*2^1452984-1 is not prime. Res64: 666B87BFB3791531 Time : 0.0 sec. user=mdettweiler [2017-05-02 20:15:20] 609*2^1452983-1 is not prime. Res64: 2287FD49B5C8E9A6 Time : 0.0 sec. user=mdettweiler [2017-05-02 20:15:20] 689*2^1452984-1 is not prime. Res64: ED560C93C69399BA Time : 0.0 sec. user=mdettweiler [2017-05-02 20:15:20] 735*2^1452983-1 is not prime. Res64: A56A4BCCE75AD3B0 Time : 0.0 sec. user=mdettweiler [2017-05-02 20:15:21] 739*2^1452983-1 is not prime. Res64: 7F07A68E1ABDEDB9 Time : 0.0 sec. user=mdettweiler [2017-05-02 20:15:21] 753*2^1452984-1 is not prime. Res64: B009C3BB9B5AB74D Time : 0.0 sec. user=mdettweiler [2017-05-02 20:15:22] 753*2^1452983-1 is not prime. Res64: C75F3751F83788D4 Time : 0.0 sec. user=mdettweiler [2017-05-02 20:15:22] 825*2^1452984-1 is not prime. Res64: 1FF6447D5282CC64 Time : 0.0 sec. user=mdettweiler [2017-05-02 20:15:22] 605*2^1452984-1 is not prime. Res64: 2D8181502A912215 Time : 0.0 sec. user=mdettweiler [2017-05-02 20:15:22] 843*2^1452984-1 is not prime. Res64: 011918A407D2A8FC Time : 0.0 sec. user=juhehe [2017-05-02 20:47:12] 721*2^1452985-1 is not prime. Res64: 706F72C1C9653D34 Time : 0.0 sec. user=mdettweiler [2017-05-02 20:59:47] 755*2^1452986-1 is not prime. Res64: 659E4C78A52EB136 Time : 0.0 sec. user=mdettweiler [2017-05-02 20:59:48] 773*2^1452986-1 is not prime. Res64: 22C51263CA2E258B Time : 0.0 sec. user=mdettweiler [2017-05-02 20:59:48] 841*2^1452985-1 is not prime. Res64: EC3897AC8861715E Time : 0.0 sec. user=mdettweiler [2017-05-02 20:59:49] 957*2^1452985-1 is not prime. Res64: DFD6AB55F8FC3A7B Time : 0.0 sec. user=mdettweiler [2017-05-02 20:59:49] 785*2^1452986-1 is not prime. Res64: 7926A9DBDD3B84AC Time : 0.0 sec. user=mdettweiler [2017-05-02 20:59:49] 997*2^1452985-1 is not prime. Res64: D6A47F7F9ADB8906 Time : 0.0 sec. user=mdettweiler [2017-05-02 20:59:50] 851*2^1452986-1 is not prime. Res64: 99FDA50BB548D504 Time : 0.0 sec. user=mdettweiler [2017-05-02 20:59:50] 627*2^1452986-1 is not prime. Res64: 25130AA08430F8EA Time : 0.0 sec. user=mdettweiler [2017-05-02 20:59:50] 935*2^1452986-1 is not prime. Res64: E554E9095E8609A7 Time : 0.0 sec. user=mdettweiler [2017-05-02 20:59:50] 641*2^1452986-1 is not prime. Res64: 565FA72BD52B0CAD Time : 0.0 sec. user=juhehe [2017-05-02 21:12:32] 633*2^1452987-1 is not prime. Res64: F7E39E3DC3C7F9C7 Time : 0.0 sec. user=mdettweiler [2017-05-02 21:44:17] 963*2^1452987-1 is not prime. Res64: D4494321FBAEA4DB Time : 0.0 sec. user=mdettweiler [2017-05-02 21:44:18] 723*2^1452988-1 is not prime. Res64: 6FF4799117243A01 Time : 0.0 sec. user=mdettweiler [2017-05-02 21:44:18] 649*2^1452987-1 is not prime. Res64: DC5AA7D3ECA9EB31 Time : 0.0 sec. user=mdettweiler [2017-05-02 21:44:18] 755*2^1452988-1 is not prime. Res64: 6E580BAB085FAC11 Time : 0.0 sec. user=mdettweiler [2017-05-02 21:44:19] 699*2^1452987-1 is not prime. Res64: DFCE270C30A6A1EB Time : 0.0 sec. user=mdettweiler [2017-05-02 21:44:19] 989*2^1452988-1 is not prime. Res64: 4E97E9F3D9C3780E Time : 0.0 sec. user=mdettweiler [2017-05-02 21:44:19] 735*2^1452987-1 is not prime. Res64: C4926FCFBCCCD9F8 Time : 0.0 sec. user=mdettweiler [2017-05-02 21:44:20] 751*2^1452987-1 is not prime. Res64: AB466C0BB30B628E Time : 0.0 sec. user=mdettweiler [2017-05-02 21:44:20] 697*2^1452989-1 is not prime. Res64: 616E26C6D1FD460C Time : 0.0 sec. user=mdettweiler [2017-05-02 21:44:20] 903*2^1452987-1 is not prime. Res64: 2A0D6AF56BA74651 Time : 0.0 sec. user=mdettweiler [2017-05-02 22:28:45] 711*2^1452989-1 is not prime. Res64: C2710C3302B6BCBA Time : 0.0 sec. user=mdettweiler [2017-05-02 22:28:45] 861*2^1452989-1 is not prime. Res64: 232F7207F3023CE3 Time : 0.0 sec. user=mdettweiler [2017-05-02 22:28:46] 723*2^1452990-1 is not prime. Res64: 1201DF7EBD861018 Time : 0.0 sec. user=mdettweiler [2017-05-02 22:28:46] 851*2^1452990-1 is not prime. Res64: D50A28A69CC501D5 Time : 0.0 sec. user=mdettweiler [2017-05-02 22:28:47] 873*2^1452990-1 is not prime. Res64: A687E6EF0A87DA6A Time : 0.0 sec. user=mdettweiler [2017-05-02 22:28:47] 761*2^1452990-1 is not prime. Res64: 6554C39823923CAA Time : 0.0 sec. user=mdettweiler [2017-05-02 22:28:47] 833*2^1452990-1 is not prime. Res64: A074CA505D9DE4A4 Time : 0.0 sec. user=mdettweiler [2017-05-02 22:28:47] 663*2^1452991-1 is not prime. Res64: 84EC710161DECFC4 Time : 0.0 sec. user=mdettweiler [2017-05-02 22:28:48] 673*2^1452991-1 is not prime. Res64: 60C30DE30C2EB333 Time : 0.0 sec. user=mdettweiler [2017-05-02 22:28:48] 769*2^1452991-1 is not prime. Res64: 1FE462D4299EDC36 Time : 0.0 sec. user=juhehe [2017-05-02 23:09:40] 615*2^1452993-1 is not prime. Res64: 0752769CEC1CE3E7 Time : 0.0 sec. user=mdettweiler [2017-05-02 23:13:13] 775*2^1452991-1 is not prime. Res64: F4ED4A96F01EC63B Time : 0.0 sec. user=mdettweiler [2017-05-02 23:13:14] 789*2^1452991-1 is not prime. Res64: 7E2E8430E2502D77 Time : 0.0 sec. user=mdettweiler [2017-05-02 23:13:15] 665*2^1452992-1 is not prime. Res64: B1FB268299C413DE Time : 0.0 sec. user=mdettweiler [2017-05-02 23:13:15] 871*2^1452991-1 is not prime. Res64: 86765195B4F777BD Time : 0.0 sec. user=mdettweiler [2017-05-02 23:13:15] 933*2^1452991-1 is not prime. Res64: 9B21E1CB9A07CAD9 Time : 0.0 sec. user=mdettweiler [2017-05-02 23:13:15] 675*2^1452992-1 is not prime. Res64: D57AEEF2EC58EF56 Time : 0.0 sec. user=mdettweiler [2017-05-02 23:13:16] 939*2^1452991-1 is not prime. Res64: 69A8A1AA1A577F8A Time : 0.0 sec. user=mdettweiler [2017-05-02 23:13:16] 753*2^1452992-1 is not prime. Res64: 7F1473C6D0078340 Time : 0.0 sec. user=mdettweiler [2017-05-02 23:13:17] 767*2^1452992-1 is not prime. Res64: 64657E5275834121 Time : 0.0 sec. user=mdettweiler [2017-05-02 23:13:17] 917*2^1452992-1 is not prime. Res64: 5C0F6FCC8D322EF5 Time : 0.0 sec. user=mdettweiler [2017-05-02 23:57:44] 955*2^1452993-1 is not prime. Res64: 6397B1F0C14BCA45 Time : 0.0 sec. user=mdettweiler [2017-05-02 23:57:45] 671*2^1452994-1 is not prime. Res64: 4515F4CBCD1D4E36 Time : 0.0 sec. user=mdettweiler [2017-05-02 23:57:45] 705*2^1452993-1 is not prime. Res64: EEE7C68215014A76 Time : 0.0 sec. user=mdettweiler [2017-05-02 23:57:45] 677*2^1452994-1 is not prime. Res64: B0FBBE461321F159 Time : 0.0 sec. user=mdettweiler [2017-05-02 23:57:46] 795*2^1452993-1 is not prime. Res64: 7EBB3D3661690CEF Time : 0.0 sec. user=mdettweiler [2017-05-02 23:57:46] 681*2^1452994-1 is not prime. Res64: F8E743854AC35EB6 Time : 0.0 sec. user=mdettweiler [2017-05-02 23:57:46] 891*2^1452993-1 is not prime. Res64: D2D62469C34C339E Time : 0.0 sec. user=mdettweiler [2017-05-02 23:57:46] 755*2^1452994-1 is not prime. Res64: 06EDB29C878A28AD Time : 0.0 sec. user=mdettweiler [2017-05-02 23:57:47] 895*2^1452993-1 is not prime. Res64: FD7BBEF6D310B8F1 Time : 0.0 sec. user=mdettweiler [2017-05-02 23:57:47] 937*2^1452993-1 is not prime. Res64: 68DE8FA856D63021 Time : 0.0 sec.