user=mdettweiler [2016-03-21 00:10:53] 873*2^1423746-1 is not prime. Res64: 6CE00CF9E1B1024A Time : 0.0 sec. user=mdettweiler [2016-03-21 00:10:54] 923*2^1423746-1 is not prime. Res64: AC1DF04882C1EB14 Time : 0.0 sec. user=mdettweiler [2016-03-21 00:10:54] 945*2^1423746-1 is not prime. Res64: 0628FDA77FC822D9 Time : 0.0 sec. user=mdettweiler [2016-03-21 00:10:55] 615*2^1423747-1 is not prime. Res64: CD2F5840F1197002 Time : 0.0 sec. user=mdettweiler [2016-03-21 00:10:55] 673*2^1423747-1 is not prime. Res64: A229A7C3FA81F744 Time : 0.0 sec. user=mdettweiler [2016-03-21 00:15:30] 681*2^1423747-1 is not prime. Res64: C5236B558FB11084 Time : 0.0 sec. user=mdettweiler [2016-03-21 00:15:30] 819*2^1423747-1 is not prime. Res64: 553CF6EC6F7B8C51 Time : 0.0 sec. user=mdettweiler [2016-03-21 00:15:30] 915*2^1423747-1 is not prime. Res64: E6FFDB74F151ED10 Time : 0.0 sec. user=mdettweiler [2016-03-21 00:15:31] 999*2^1423747-1 is not prime. Res64: EBE6A7194CF808F7 Time : 0.0 sec. user=mdettweiler [2016-03-21 00:15:31] 615*2^1423748-1 is not prime. Res64: B9AAAD9369EB85B4 Time : 0.0 sec. user=mdettweiler [2016-03-21 00:17:39] 633*2^1423748-1 is not prime. Res64: 17CAB1E5169F7503 Time : 0.0 sec. user=mdettweiler [2016-03-21 00:17:39] 813*2^1423748-1 is not prime. Res64: 6C56E31CB24FAA20 Time : 0.0 sec. user=mdettweiler [2016-03-21 00:17:40] 819*2^1423748-1 is not prime. Res64: 6E2887B6A0861D76 Time : 0.0 sec. user=mdettweiler [2016-03-21 00:17:40] 709*2^1423749-1 is not prime. Res64: 3B0514A46A26F49D Time : 0.0 sec. user=mdettweiler [2016-03-21 00:17:41] 817*2^1423749-1 is not prime. Res64: 4E08066BCFF3741E Time : 0.0 sec. user=mdettweiler [2016-03-21 00:18:09] 877*2^1423749-1 is not prime. Res64: 43A3AB48F0A1743D Time : 0.0 sec. user=mdettweiler [2016-03-21 00:18:09] 889*2^1423749-1 is not prime. Res64: 713E4F7ECBF42DAF Time : 0.0 sec. user=mdettweiler [2016-03-21 00:18:10] 919*2^1423749-1 is not prime. Res64: 45B85D78A8AA0DC3 Time : 0.0 sec. user=mdettweiler [2016-03-21 00:18:10] 945*2^1423749-1 is not prime. Res64: 2F1447DEF08EC3EE Time : 0.0 sec. user=mdettweiler [2016-03-21 00:18:10] 961*2^1423749-1 is not prime. Res64: 2151CEAD7B0C17CA Time : 0.0 sec. user=mdettweiler [2016-03-21 00:44:00] 909*2^1423752-1 is not prime. Res64: FDDDB5ACE23D44F8 Time : 0.0 sec. user=mdettweiler [2016-03-21 00:56:07] 999*2^1423749-1 is not prime. Res64: 775315EDD2466DA9 Time : 0.0 sec. user=mdettweiler [2016-03-21 00:56:07] 695*2^1423750-1 is not prime. Res64: 95A6B38FD2117FC1 Time : 0.0 sec. user=mdettweiler [2016-03-21 00:56:08] 723*2^1423750-1 is not prime. Res64: 1D2851143301A4B5 Time : 0.0 sec. user=mdettweiler [2016-03-21 00:56:08] 743*2^1423750-1 is not prime. Res64: FC93C87D11FC920B Time : 0.0 sec. user=mdettweiler [2016-03-21 00:56:08] 825*2^1423750-1 is not prime. Res64: 5235EC7B6AAB85C3 Time : 0.0 sec. user=mdettweiler [2016-03-21 01:00:31] 827*2^1423750-1 is not prime. Res64: B0BAEDD6A7EBB1FB Time : 0.0 sec. user=mdettweiler [2016-03-21 01:00:31] 843*2^1423750-1 is not prime. Res64: 0A6B6C42D8F44444 Time : 0.0 sec. user=mdettweiler [2016-03-21 01:00:32] 845*2^1423750-1 is not prime. Res64: E0B5DC6E223AAB9A Time : 0.0 sec. user=mdettweiler [2016-03-21 01:00:33] 863*2^1423750-1 is not prime. Res64: 07AA24AF3C06A5A3 Time : 0.0 sec. user=mdettweiler [2016-03-21 01:00:34] 885*2^1423750-1 is not prime. Res64: 2777849AF71AF49C Time : 0.0 sec. user=mdettweiler [2016-03-21 01:02:28] 741*2^1423751-1 is not prime. Res64: 1DF440ACA1E3A019 Time : 0.0 sec. user=mdettweiler [2016-03-21 01:02:29] 783*2^1423751-1 is not prime. Res64: 0467DB91FB19495D Time : 0.0 sec. user=mdettweiler [2016-03-21 01:02:30] 855*2^1423751-1 is not prime. Res64: 5CCA125C1516D0CE Time : 0.0 sec. user=mdettweiler [2016-03-21 01:02:30] 949*2^1423751-1 is not prime. Res64: A233A31DB88E3D54 Time : 0.0 sec. user=mdettweiler [2016-03-21 01:02:31] 993*2^1423751-1 is not prime. Res64: 0DC26D1B1AE12A18 Time : 0.0 sec. user=mdettweiler [2016-03-21 01:03:21] 633*2^1423752-1 is not prime. Res64: F3CC4271E665979B Time : 0.0 sec. user=mdettweiler [2016-03-21 01:03:23] 669*2^1423752-1 is not prime. Res64: ECEEC5B5989D9C0E Time : 0.0 sec. user=mdettweiler [2016-03-21 01:03:24] 873*2^1423752-1 is not prime. Res64: E5395A77F06DF964 Time : 0.0 sec. user=mdettweiler [2016-03-21 01:03:26] 899*2^1423752-1 is not prime. Res64: FDF4EEB06A8F756E Time : 0.0 sec. user=mdettweiler [2016-03-21 01:03:27] 903*2^1423752-1 is not prime. Res64: 8EC8E68969E638D4 Time : 0.0 sec. user=mdettweiler [2016-03-21 01:40:54] 915*2^1423752-1 is not prime. Res64: 798E06D5A2C29B9F Time : 0.0 sec. user=mdettweiler [2016-03-21 01:40:55] 651*2^1423753-1 is not prime. Res64: BB42A5E535A4D3B3 Time : 0.0 sec. user=mdettweiler [2016-03-21 01:40:55] 769*2^1423753-1 is not prime. Res64: B9C6A9DE307910D6 Time : 0.0 sec. user=mdettweiler [2016-03-21 01:40:56] 979*2^1423753-1 is not prime. Res64: 8BD274E1C6D0ECAD Time : 0.0 sec. user=mdettweiler [2016-03-21 01:40:56] 665*2^1423754-1 is not prime. Res64: C032C242CCF0C54A Time : 0.0 sec. user=mdettweiler [2016-03-21 01:45:32] 677*2^1423754-1 is not prime. Res64: 39620E00D41A6253 Time : 0.0 sec. user=mdettweiler [2016-03-21 01:45:32] 785*2^1423754-1 is not prime. Res64: 0FF422A1E6FAEBF6 Time : 0.0 sec. user=mdettweiler [2016-03-21 01:45:32] 831*2^1423754-1 is not prime. Res64: D6C59E490CAD897C Time : 0.0 sec. user=mdettweiler [2016-03-21 01:45:33] 711*2^1423755-1 is not prime. Res64: 221E42884152D10A Time : 0.0 sec. user=mdettweiler [2016-03-21 01:45:33] 805*2^1423755-1 is not prime. Res64: 6E2AC7E1F5F7E8AD Time : 0.0 sec. user=mdettweiler [2016-03-21 01:47:18] 853*2^1423755-1 is not prime. Res64: 37D97446EBFAB20B Time : 0.0 sec. user=mdettweiler [2016-03-21 01:47:18] 765*2^1423756-1 is not prime. Res64: F9ED0A38AB57E4B9 Time : 0.0 sec. user=mdettweiler [2016-03-21 01:47:19] 783*2^1423756-1 is not prime. Res64: 2F09880AB94D98BA Time : 0.0 sec. user=mdettweiler [2016-03-21 01:47:19] 983*2^1423756-1 is not prime. Res64: 029657E0484FD753 Time : 0.0 sec. user=mdettweiler [2016-03-21 01:47:19] 649*2^1423757-1 is not prime. Res64: 33D0B2E3428DDB99 Time : 0.0 sec. user=mdettweiler [2016-03-21 01:48:25] 669*2^1423757-1 is not prime. Res64: 80C46B1FDECEC9AE Time : 0.0 sec. user=mdettweiler [2016-03-21 01:48:26] 681*2^1423758-1 is not prime. Res64: 6ABA061705026E9C Time : 0.0 sec. user=mdettweiler [2016-03-21 01:48:26] 683*2^1423758-1 is not prime. Res64: 3B3D9EB43BCD6DDA Time : 0.0 sec. user=mdettweiler [2016-03-21 01:48:26] 707*2^1423758-1 is not prime. Res64: A9943E0DFFD315FA Time : 0.0 sec. user=mdettweiler [2016-03-21 01:48:27] 737*2^1423758-1 is not prime. Res64: 938D6EA9EFC75B64 Time : 0.0 sec. user=mdettweiler [2016-03-21 02:25:48] 801*2^1423758-1 is not prime. Res64: E5DD3612DD7EE310 Time : 0.0 sec. user=mdettweiler [2016-03-21 02:25:49] 993*2^1423758-1 is not prime. Res64: 257CD138FA55669B Time : 0.0 sec. user=mdettweiler [2016-03-21 02:25:49] 853*2^1423759-1 is not prime. Res64: 2EBE55172EAD684C Time : 0.0 sec. user=mdettweiler [2016-03-21 02:25:50] 859*2^1423759-1 is not prime. Res64: 88B747A04E4D7958 Time : 0.0 sec. user=mdettweiler [2016-03-21 02:25:50] 861*2^1423759-1 is not prime. Res64: 85CB3EBEF75D54C4 Time : 0.0 sec. user=mdettweiler [2016-03-21 02:30:29] 961*2^1423759-1 is not prime. Res64: E277FA29ED2E62A4 Time : 0.0 sec. user=mdettweiler [2016-03-21 02:30:30] 973*2^1423759-1 is not prime. Res64: 38C52F37902FD381 Time : 0.0 sec. user=mdettweiler [2016-03-21 02:30:30] 985*2^1423759-1 is not prime. Res64: 4584FF0F3FC42EAA Time : 0.0 sec. user=mdettweiler [2016-03-21 02:30:31] 999*2^1423759-1 is not prime. Res64: 678C05AD82F05FC5 Time : 0.0 sec. user=mdettweiler [2016-03-21 02:30:32] 635*2^1423760-1 is not prime. Res64: E6FEFA3E4B66886D Time : 0.0 sec. user=mdettweiler [2016-03-21 02:32:13] 663*2^1423760-1 is not prime. Res64: C17F4BA89C238A6B Time : 0.0 sec. user=mdettweiler [2016-03-21 02:32:14] 665*2^1423760-1 is not prime. Res64: 1A6A1B5CE816BBA2 Time : 0.0 sec. user=mdettweiler [2016-03-21 02:32:15] 713*2^1423760-1 is not prime. Res64: 8933155945725594 Time : 0.0 sec. user=mdettweiler [2016-03-21 02:32:16] 759*2^1423760-1 is not prime. Res64: 66ABAA589FBB316E Time : 0.0 sec. user=mdettweiler [2016-03-21 02:32:17] 995*2^1423760-1 is not prime. Res64: DC4C2D68DC84638B Time : 0.0 sec. user=mdettweiler [2016-03-21 02:33:21] 657*2^1423761-1 is not prime. Res64: D3ABEDC2D3489E8B Time : 0.0 sec. user=mdettweiler [2016-03-21 02:33:22] 735*2^1423761-1 is not prime. Res64: B5509C005546BE43 Time : 0.0 sec. user=mdettweiler [2016-03-21 02:33:22] 835*2^1423761-1 is not prime. Res64: 761D49AFC452C139 Time : 0.0 sec. user=mdettweiler [2016-03-21 02:33:23] 865*2^1423761-1 is not prime. Res64: 842E3C70EC77B3BD Time : 0.0 sec. user=mdettweiler [2016-03-21 02:33:26] 909*2^1423761-1 is not prime. Res64: 7540D80B2FFCD9C1 Time : 0.0 sec. user=mdettweiler [2016-03-21 03:06:02] 855*2^1423765-1 is not prime. Res64: 3CC40C4A9D77865F Time : 0.0 sec. user=mdettweiler [2016-03-21 03:11:49] 955*2^1423761-1 is not prime. Res64: 57251B947383516F Time : 0.0 sec. user=mdettweiler [2016-03-21 03:11:50] 997*2^1423761-1 is not prime. Res64: A562B9657BB8E23E Time : 0.0 sec. user=mdettweiler [2016-03-21 03:11:50] 603*2^1423762-1 is not prime. Res64: BE792FB12D538307 Time : 0.0 sec. user=mdettweiler [2016-03-21 03:11:51] 665*2^1423762-1 is not prime. Res64: 37B5044E687A7EF4 Time : 0.0 sec. user=mdettweiler [2016-03-21 03:11:51] 675*2^1423762-1 is not prime. Res64: DAF144E4D29F9527 Time : 0.0 sec. user=mdettweiler [2016-03-21 03:16:10] 791*2^1423762-1 is not prime. Res64: B85A1E7FD4958513 Time : 0.0 sec. user=mdettweiler [2016-03-21 03:16:11] 609*2^1423763-1 is not prime. Res64: 1249F129FA897AF0 Time : 0.0 sec. user=mdettweiler [2016-03-21 03:16:11] 649*2^1423763-1 is not prime. Res64: 3E45D6C2A45EC33D Time : 0.0 sec. user=mdettweiler [2016-03-21 03:16:11] 759*2^1423763-1 is not prime. Res64: 2967BDA1F7321A18 Time : 0.0 sec. user=mdettweiler [2016-03-21 03:16:12] 855*2^1423763-1 is not prime. Res64: B807796E3B118CCE Time : 0.0 sec. user=mdettweiler [2016-03-21 03:18:54] 939*2^1423763-1 is not prime. Res64: BE1F290F946E07A1 Time : 0.0 sec. user=mdettweiler [2016-03-21 03:18:55] 949*2^1423763-1 is not prime. Res64: A9EB551E5130EA07 Time : 0.0 sec. user=mdettweiler [2016-03-21 03:18:55] 969*2^1423763-1 is not prime. Res64: F5C432EB37BFF409 Time : 0.0 sec. user=mdettweiler [2016-03-21 03:18:55] 639*2^1423764-1 is not prime. Res64: 06EDFF44EAEEA007 Time : 0.0 sec. user=mdettweiler [2016-03-21 03:18:56] 809*2^1423764-1 is not prime. Res64: 365ED3F5E6D4A35F Time : 0.0 sec. user=mdettweiler [2016-03-21 03:19:28] 899*2^1423764-1 is not prime. Res64: 4AE40430E077C7B0 Time : 0.0 sec. user=mdettweiler [2016-03-21 03:19:29] 905*2^1423764-1 is not prime. Res64: F424D8118F766F6D Time : 0.0 sec. user=mdettweiler [2016-03-21 03:19:29] 661*2^1423765-1 is not prime. Res64: 7E2517F874F6228F Time : 0.0 sec. user=mdettweiler [2016-03-21 03:19:29] 717*2^1423765-1 is not prime. Res64: DF88C059709F957E Time : 0.0 sec. user=mdettweiler [2016-03-21 03:19:30] 729*2^1423765-1 is not prime. Res64: 74AEE458264DE768 Time : 0.0 sec. user=mdettweiler [2016-03-21 03:56:44] 925*2^1423765-1 is not prime. Res64: 04C5E7496FCC735F Time : 0.0 sec. user=mdettweiler [2016-03-21 03:56:44] 975*2^1423765-1 is not prime. Res64: F194E1E35BEB146F Time : 0.0 sec. user=mdettweiler [2016-03-21 03:56:45] 641*2^1423766-1 is not prime. Res64: 15BA59C1186C0F4A Time : 0.0 sec. user=mdettweiler [2016-03-21 03:56:45] 671*2^1423766-1 is not prime. Res64: 36C4B1CDC4E69981 Time : 0.0 sec. user=mdettweiler [2016-03-21 03:56:46] 707*2^1423766-1 is not prime. Res64: 24943530664D6CA7 Time : 0.0 sec. user=mdettweiler [2016-03-21 04:01:12] 825*2^1423766-1 is not prime. Res64: 2BD6ECFB9418EBD1 Time : 0.0 sec. user=mdettweiler [2016-03-21 04:01:13] 875*2^1423766-1 is not prime. Res64: A0E549B42736F67B Time : 0.0 sec. user=mdettweiler [2016-03-21 04:01:14] 897*2^1423766-1 is not prime. Res64: E8F53799519CA41E Time : 0.0 sec. user=mdettweiler [2016-03-21 04:01:15] 957*2^1423766-1 is not prime. Res64: 8A54C3E01EE6168A Time : 0.0 sec. user=mdettweiler [2016-03-21 04:01:16] 987*2^1423766-1 is not prime. Res64: 579C37F9CED2AFAD Time : 0.0 sec. user=mdettweiler [2016-03-21 04:03:56] 669*2^1423767-1 is not prime. Res64: FA84240B51562753 Time : 0.0 sec. user=mdettweiler [2016-03-21 04:03:57] 711*2^1423767-1 is not prime. Res64: DF10865E11D5B606 Time : 0.0 sec. user=mdettweiler [2016-03-21 04:03:58] 739*2^1423767-1 is not prime. Res64: 6EC9569EE7B8F77A Time : 0.0 sec. user=mdettweiler [2016-03-21 04:03:59] 793*2^1423767-1 is not prime. Res64: 8DE9B14AB6ACCAC1 Time : 0.0 sec. user=mdettweiler [2016-03-21 04:04:00] 805*2^1423767-1 is not prime. Res64: FAA2EBB625EE1B97 Time : 0.0 sec. user=mdettweiler [2016-03-21 04:04:34] 919*2^1423767-1 is not prime. Res64: B5F3D6851A4DCA69 Time : 0.0 sec. user=mdettweiler [2016-03-21 04:04:35] 629*2^1423768-1 is not prime. Res64: F2230D0EEFD403CF Time : 0.0 sec. user=mdettweiler [2016-03-21 04:04:36] 699*2^1423768-1 is not prime. Res64: 8AE290F0024F22A6 Time : 0.0 sec. user=mdettweiler [2016-03-21 04:04:37] 645*2^1423769-1 is not prime. Res64: 0D22EE0540D78FEA Time : 0.0 sec. user=mdettweiler [2016-03-21 04:04:38] 867*2^1423769-1 is not prime. Res64: 82413EF01B2958EB Time : 0.0 sec. user=mdettweiler [2016-03-21 04:41:56] 945*2^1423769-1 is not prime. Res64: F900538E44C8E51B Time : 0.0 sec. user=mdettweiler [2016-03-21 04:41:57] 611*2^1423770-1 is not prime. Res64: B89509D4F23AE20E Time : 0.0 sec. user=mdettweiler [2016-03-21 04:41:57] 707*2^1423770-1 is not prime. Res64: DEFBE9CB85EFD7CA Time : 0.0 sec. user=mdettweiler [2016-03-21 04:41:57] 711*2^1423770-1 is not prime. Res64: AFAD431DAE51741C Time : 0.0 sec. user=mdettweiler [2016-03-21 04:41:58] 741*2^1423770-1 is not prime. Res64: 2E4BD5CC55BB3B18 Time : 0.0 sec. user=mdettweiler [2016-03-21 04:46:34] 619*2^1423771-1 is not prime. Res64: A9E8D7FCFD4F9ACB Time : 0.0 sec. user=mdettweiler [2016-03-21 04:46:35] 723*2^1423771-1 is not prime. Res64: AEAE484D8605DFCD Time : 0.0 sec. user=mdettweiler [2016-03-21 04:46:35] 745*2^1423771-1 is not prime. Res64: 3671F9893EDD91B2 Time : 0.0 sec. user=mdettweiler [2016-03-21 04:46:36] 751*2^1423771-1 is not prime. Res64: 3B22BA20C030AB89 Time : 0.0 sec. user=mdettweiler [2016-03-21 04:46:36] 677*2^1423772-1 is not prime. Res64: DCA15C45E66C23B0 Time : 0.0 sec. user=mdettweiler [2016-03-21 04:49:04] 749*2^1423772-1 is not prime. Res64: 0A74B49E7259ED77 Time : 0.0 sec. user=mdettweiler [2016-03-21 04:49:05] 753*2^1423772-1 is not prime. Res64: 8F2A002DB765E6AF Time : 0.0 sec. user=mdettweiler [2016-03-21 04:49:05] 819*2^1423772-1 is not prime. Res64: 4E26E53489B41A42 Time : 0.0 sec. user=mdettweiler [2016-03-21 04:49:05] 833*2^1423772-1 is not prime. Res64: 6E558460BE2C7A72 Time : 0.0 sec. user=mdettweiler [2016-03-21 04:49:06] 837*2^1423772-1 is not prime. Res64: 82E1F9C0563D2723 Time : 0.0 sec. user=mdettweiler [2016-03-21 04:50:02] 923*2^1423772-1 is not prime. Res64: 2F8FB70846161901 Time : 0.0 sec. user=mdettweiler [2016-03-21 04:50:03] 963*2^1423772-1 is not prime. Res64: C46480B0D5D5C95B Time : 0.0 sec. user=mdettweiler [2016-03-21 04:50:03] 657*2^1423773-1 is not prime. Res64: 82A736CB351C5456 Time : 0.0 sec. user=mdettweiler [2016-03-21 04:50:04] 727*2^1423773-1 is not prime. Res64: 1D4EDC175A669E97 Time : 0.0 sec. user=mdettweiler [2016-03-21 04:50:04] 745*2^1423773-1 is not prime. Res64: FDCE7825DEA82807 Time : 0.0 sec. user=mdettweiler [2016-03-21 05:26:59] 805*2^1423773-1 is not prime. Res64: A33D60559580FE46 Time : 0.0 sec. user=mdettweiler [2016-03-21 05:27:00] 829*2^1423773-1 is not prime. Res64: 1262063F61D23F44 Time : 0.0 sec. user=mdettweiler [2016-03-21 05:27:00] 867*2^1423773-1 is not prime. Res64: CCD529E34B9442E0 Time : 0.0 sec. user=mdettweiler [2016-03-21 05:27:01] 605*2^1423774-1 is not prime. Res64: 8E4024F1EE19E2D9 Time : 0.0 sec. user=mdettweiler [2016-03-21 05:27:01] 623*2^1423774-1 is not prime. Res64: F034D2972B0B0B5B Time : 0.0 sec. user=mdettweiler [2016-03-21 05:31:53] 717*2^1423774-1 is not prime. Res64: FCB54398ED75D0A2 Time : 0.0 sec. user=mdettweiler [2016-03-21 05:31:53] 861*2^1423774-1 is not prime. Res64: 55671622ABC95DF6 Time : 0.0 sec. user=mdettweiler [2016-03-21 05:31:54] 971*2^1423774-1 is not prime. Res64: DA0433ED37FA2D80 Time : 0.0 sec. user=mdettweiler [2016-03-21 05:31:54] 601*2^1423775-1 is not prime. Res64: 0D97B8C75D6AB77C Time : 0.0 sec. user=mdettweiler [2016-03-21 05:31:55] 663*2^1423775-1 is not prime. Res64: 44A7966FA587D5A4 Time : 0.0 sec. user=mdettweiler [2016-03-21 05:34:01] 693*2^1423775-1 is not prime. Res64: 6D74232AD4E4D6DD Time : 0.0 sec. user=mdettweiler [2016-03-21 05:34:01] 705*2^1423775-1 is not prime. Res64: 6C766B74678FC1B8 Time : 0.0 sec. user=mdettweiler [2016-03-21 05:34:02] 855*2^1423775-1 is not prime. Res64: 7D86147D2E485333 Time : 0.0 sec. user=mdettweiler [2016-03-21 05:34:02] 943*2^1423775-1 is not prime. Res64: 9346D0AD678CFCA0 Time : 0.0 sec. user=mdettweiler [2016-03-21 05:34:02] 633*2^1423776-1 is not prime. Res64: 838C64AC6A6E821C Time : 0.0 sec. user=mdettweiler [2016-03-21 05:35:04] 717*2^1423776-1 is not prime. Res64: B2AA1B801530DB98 Time : 0.0 sec. user=mdettweiler [2016-03-21 05:35:04] 983*2^1423776-1 is not prime. Res64: 75A02C64155DCEE6 Time : 0.0 sec. user=mdettweiler [2016-03-21 05:35:05] 759*2^1423777-1 is not prime. Res64: C4AD74A505B822E6 Time : 0.0 sec. user=mdettweiler [2016-03-21 05:35:05] 765*2^1423777-1 is not prime. Res64: 12C9FE17EBCC6909 Time : 0.0 sec. user=mdettweiler [2016-03-21 05:35:06] 885*2^1423777-1 is not prime. Res64: 49FFA5740306C9DF Time : 0.0 sec. user=mdettweiler [2016-03-21 06:11:54] 975*2^1423777-1 is not prime. Res64: 9D8289C4D4236486 Time : 0.0 sec. user=mdettweiler [2016-03-21 06:11:55] 771*2^1423778-1 is not prime. Res64: 88FA63D599EF74C0 Time : 0.0 sec. user=mdettweiler [2016-03-21 06:11:55] 915*2^1423778-1 is not prime. Res64: DC90E794CB0B9D95 Time : 0.0 sec. user=mdettweiler [2016-03-21 06:11:56] 927*2^1423778-1 is not prime. Res64: 31DC0482BE6EAF11 Time : 0.0 sec. user=mdettweiler [2016-03-21 06:11:56] 1001*2^1423778-1 is not prime. Res64: 31CC8078A5B0534C Time : 0.0 sec. user=mdettweiler [2016-03-21 06:16:49] 613*2^1423779-1 is not prime. Res64: 8EBE4B9486740436 Time : 0.0 sec. user=mdettweiler [2016-03-21 06:16:50] 649*2^1423779-1 is not prime. Res64: 124E823B574D5110 Time : 0.0 sec. user=mdettweiler [2016-03-21 06:16:50] 669*2^1423779-1 is not prime. Res64: 68DA810737577F0A Time : 0.0 sec. user=mdettweiler [2016-03-21 06:16:50] 691*2^1423779-1 is not prime. Res64: 7538E9A793913829 Time : 0.0 sec. user=mdettweiler [2016-03-21 06:16:51] 753*2^1423779-1 is not prime. Res64: 6DCD5A26527D7380 Time : 0.0 sec. user=mdettweiler [2016-03-21 06:19:00] 801*2^1423779-1 is not prime. Res64: 7B8269603E522392 Time : 0.0 sec. user=mdettweiler [2016-03-21 06:19:01] 891*2^1423779-1 is not prime. Res64: BA25704493325E19 Time : 0.0 sec. user=mdettweiler [2016-03-21 06:19:01] 895*2^1423779-1 is not prime. Res64: 9FF51BDCABAAEE84 Time : 0.0 sec. user=mdettweiler [2016-03-21 06:19:01] 919*2^1423779-1 is not prime. Res64: 03043BC6ED79A213 Time : 0.0 sec. user=mdettweiler [2016-03-21 06:19:02] 609*2^1423780-1 is not prime. Res64: 65F3AF8AF3595487 Time : 0.0 sec. user=mdettweiler [2016-03-21 06:20:14] 723*2^1423780-1 is not prime. Res64: 10D2912FC241B79A Time : 0.0 sec. user=mdettweiler [2016-03-21 06:20:14] 785*2^1423780-1 is not prime. Res64: D6875974AEB76FEC Time : 0.0 sec. user=mdettweiler [2016-03-21 06:20:14] 797*2^1423780-1 is not prime. Res64: A62BA474856D6BF0 Time : 0.0 sec. user=mdettweiler [2016-03-21 06:20:15] 819*2^1423780-1 is not prime. Res64: 727CCA35DC61436A Time : 0.0 sec. user=mdettweiler [2016-03-21 06:20:15] 827*2^1423780-1 is not prime. Res64: CB57D5306D90E027 Time : 0.0 sec. user=mdettweiler [2016-03-21 06:38:32] 625*2^1423785-1 is not prime. Res64: 9E5875D4B4CF0BDF Time : 0.0 sec. user=mdettweiler [2016-03-21 06:56:44] 863*2^1423780-1 is not prime. Res64: BF7EB812097DC3F7 Time : 0.0 sec. user=mdettweiler [2016-03-21 06:56:45] 957*2^1423780-1 is not prime. Res64: 7AE45799A6D0B15A Time : 0.0 sec. user=mdettweiler [2016-03-21 06:56:45] 983*2^1423780-1 is not prime. Res64: 3237F92E5DCBC45C Time : 0.0 sec. user=mdettweiler [2016-03-21 06:56:45] 669*2^1423781-1 is not prime. Res64: 66B5DE32210F45F5 Time : 0.0 sec. user=mdettweiler [2016-03-21 06:56:46] 715*2^1423781-1 is not prime. Res64: 6BAEC8D20AD57687 Time : 0.0 sec. user=mdettweiler [2016-03-21 07:01:39] 757*2^1423781-1 is not prime. Res64: 3AD0E38DE52E37C0 Time : 0.0 sec. user=mdettweiler [2016-03-21 07:01:39] 825*2^1423781-1 is not prime. Res64: 0B0313C7FD4BE50A Time : 0.0 sec. user=mdettweiler [2016-03-21 07:01:40] 861*2^1423781-1 is not prime. Res64: E4E9EA9AA46DFE88 Time : 0.0 sec. user=mdettweiler [2016-03-21 07:01:41] 907*2^1423781-1 is not prime. Res64: 4C789EF9A4924789 Time : 0.0 sec. user=mdettweiler [2016-03-21 07:01:41] 711*2^1423782-1 is not prime. Res64: 01ED852488224CAC Time : 0.0 sec. user=mdettweiler [2016-03-21 07:03:59] 975*2^1423782-1 is not prime. Res64: 5D2E3C331805F4A2 Time : 0.0 sec. user=mdettweiler [2016-03-21 07:04:00] 603*2^1423783-1 is not prime. Res64: E0A290B3BB380F25 Time : 0.0 sec. user=mdettweiler [2016-03-21 07:04:01] 609*2^1423783-1 is not prime. Res64: 0C04F9D5CCB7FFBC Time : 0.0 sec. user=mdettweiler [2016-03-21 07:04:02] 685*2^1423783-1 is not prime. Res64: E7A8F24E475DBFB7 Time : 0.0 sec. user=mdettweiler [2016-03-21 07:04:02] 709*2^1423783-1 is not prime. Res64: 56B22ED6B6C774B3 Time : 0.0 sec. user=mdettweiler [2016-03-21 07:05:22] 729*2^1423783-1 is not prime. Res64: 5298C766DB06C51E Time : 0.0 sec. user=mdettweiler [2016-03-21 07:05:24] 629*2^1423784-1 is not prime. Res64: C08506FB2EBDC6EF Time : 0.0 sec. user=mdettweiler [2016-03-21 07:05:25] 935*2^1423784-1 is not prime. Res64: C9219C40F22D4909 Time : 0.0 sec. user=mdettweiler [2016-03-21 07:05:26] 957*2^1423784-1 is not prime. Res64: D1BE4BCD7308EE69 Time : 0.0 sec. user=mdettweiler [2016-03-21 07:05:27] 969*2^1423784-1 is not prime. Res64: 1CE0CF42588F3207 Time : 0.0 sec. user=mdettweiler [2016-03-21 07:41:43] 699*2^1423785-1 is not prime. Res64: 1D0627B4777C6DD1 Time : 0.0 sec. user=mdettweiler [2016-03-21 07:41:43] 705*2^1423785-1 is not prime. Res64: E11B32966DFDBDF6 Time : 0.0 sec. user=mdettweiler [2016-03-21 07:41:44] 735*2^1423785-1 is not prime. Res64: 216013AE073B50B0 Time : 0.0 sec. user=mdettweiler [2016-03-21 07:41:44] 741*2^1423785-1 is not prime. Res64: E9FD6644533404A4 Time : 0.0 sec. user=mdettweiler [2016-03-21 07:41:45] 861*2^1423785-1 is not prime. Res64: 9817E66AADB3C834 Time : 0.0 sec. user=mdettweiler [2016-03-21 07:46:46] 871*2^1423785-1 is not prime. Res64: 5C3CD508289A49F0 Time : 0.0 sec. user=mdettweiler [2016-03-21 07:46:47] 949*2^1423785-1 is not prime. Res64: 79B8B18644E1F2AA Time : 0.0 sec. user=mdettweiler [2016-03-21 07:46:47] 979*2^1423785-1 is not prime. Res64: 17C412DA9F76A30C Time : 0.0 sec. user=mdettweiler [2016-03-21 07:46:47] 999*2^1423785-1 is not prime. Res64: 742F2577A698765D Time : 0.0 sec. user=mdettweiler [2016-03-21 07:46:48] 657*2^1423786-1 is not prime. Res64: 25D36675B19441B3 Time : 0.0 sec. user=mdettweiler [2016-03-21 07:49:00] 701*2^1423786-1 is not prime. Res64: 8CD6B4EB53E3E8C7 Time : 0.0 sec. user=mdettweiler [2016-03-21 07:49:00] 735*2^1423786-1 is not prime. Res64: B13BB602F2F5EC8D Time : 0.0 sec. user=mdettweiler [2016-03-21 07:49:00] 773*2^1423786-1 is not prime. Res64: FFCEF6E1E9CA16C5 Time : 0.0 sec. user=mdettweiler [2016-03-21 07:49:01] 801*2^1423786-1 is not prime. Res64: 821E9B877AB438C3 Time : 0.0 sec. user=mdettweiler [2016-03-21 07:49:01] 825*2^1423786-1 is not prime. Res64: 23DA5C449FA7D266 Time : 0.0 sec. user=mdettweiler [2016-03-21 07:50:33] 857*2^1423786-1 is not prime. Res64: E0C076594337EF88 Time : 0.0 sec. user=mdettweiler [2016-03-21 07:50:33] 911*2^1423786-1 is not prime. Res64: 67097EEBBE5ACC6C Time : 0.0 sec. user=mdettweiler [2016-03-21 07:50:33] 993*2^1423786-1 is not prime. Res64: A39BB6963A8944BC Time : 0.0 sec. user=mdettweiler [2016-03-21 07:50:34] 603*2^1423787-1 is not prime. Res64: 48CE645B985A8CC6 Time : 0.0 sec. user=mdettweiler [2016-03-21 07:50:34] 705*2^1423787-1 is not prime. Res64: A25E8929523CEAFB Time : 0.0 sec. user=mdettweiler [2016-03-21 08:07:33] 921*2^1423790-1 is not prime. Res64: 4BF4F6E711A6E96A Time : 0.0 sec. user=mdettweiler [2016-03-21 08:26:33] 775*2^1423787-1 is not prime. Res64: 6503124C5BD892F9 Time : 0.0 sec. user=mdettweiler [2016-03-21 08:26:33] 629*2^1423788-1 is not prime. Res64: 7DC4FF28527F30E1 Time : 0.0 sec. user=mdettweiler [2016-03-21 08:26:34] 663*2^1423788-1 is not prime. Res64: 0FA70E1C91B40C6C Time : 0.0 sec. user=mdettweiler [2016-03-21 08:26:34] 749*2^1423788-1 is not prime. Res64: C97CA049DE2703C6 Time : 0.0 sec. user=mdettweiler [2016-03-21 08:26:35] 797*2^1423788-1 is not prime. Res64: 940BC202E115FDB8 Time : 0.0 sec. user=mdettweiler [2016-03-21 08:31:43] 825*2^1423788-1 is not prime. Res64: 077CDD6442B78769 Time : 0.0 sec. user=mdettweiler [2016-03-21 08:31:43] 839*2^1423788-1 is not prime. Res64: B2EDB23B56EFD4B7 Time : 0.0 sec. user=mdettweiler [2016-03-21 08:31:44] 843*2^1423788-1 is not prime. Res64: EEFB77251990AB6E Time : 0.0 sec. user=mdettweiler [2016-03-21 08:31:44] 887*2^1423788-1 is not prime. Res64: 0021DF18024A9C3E Time : 0.0 sec. user=mdettweiler [2016-03-21 08:31:44] 929*2^1423788-1 is not prime. Res64: 2FC1154602A52B92 Time : 0.0 sec. user=mdettweiler [2016-03-21 08:33:57] 975*2^1423788-1 is not prime. Res64: 5296C390D2997367 Time : 0.0 sec. user=mdettweiler [2016-03-21 08:33:57] 691*2^1423789-1 is not prime. Res64: B1C016974144B180 Time : 0.0 sec. user=mdettweiler [2016-03-21 08:33:58] 745*2^1423789-1 is not prime. Res64: CDD9E75BE927DCEC Time : 0.0 sec. user=mdettweiler [2016-03-21 08:33:58] 769*2^1423789-1 is not prime. Res64: F64D6DF4E1556021 Time : 0.0 sec. user=mdettweiler [2016-03-21 08:33:58] 877*2^1423789-1 is not prime. Res64: 511EF03505F48BA7 Time : 0.0 sec. user=mdettweiler [2016-03-21 08:35:27] 645*2^1423790-1 is not prime. Res64: D6CC772BC46C1962 Time : 0.0 sec. user=mdettweiler [2016-03-21 08:35:27] 657*2^1423790-1 is not prime. Res64: 8B30641EAAE2A007 Time : 0.0 sec. user=mdettweiler [2016-03-21 08:35:28] 795*2^1423790-1 is not prime. Res64: 9E689A2675AEB5A5 Time : 0.0 sec. user=mdettweiler [2016-03-21 08:35:28] 857*2^1423790-1 is not prime. Res64: 42A7616AB1B1123D Time : 0.0 sec. user=mdettweiler [2016-03-21 08:35:29] 893*2^1423790-1 is not prime. Res64: 0C4C1CF15CFC489E Time : 0.0 sec. user=mdettweiler [2016-03-21 08:43:17] 885*2^1423793-1 is not prime. Res64: A8A40E6DCFCC3418 Time : 0.0 sec. user=mdettweiler [2016-03-21 09:11:21] 957*2^1423790-1 is not prime. Res64: 2E55F1D5E8E83ED7 Time : 0.0 sec. user=mdettweiler [2016-03-21 09:11:22] 679*2^1423791-1 is not prime. Res64: 11F0964D4D87122F Time : 0.0 sec. user=mdettweiler [2016-03-21 09:11:22] 951*2^1423791-1 is not prime. Res64: D1F54329A2FD66DA Time : 0.0 sec. user=mdettweiler [2016-03-21 09:11:22] 961*2^1423791-1 is not prime. Res64: 0C0100A040CB207F Time : 0.0 sec. user=mdettweiler [2016-03-21 09:11:23] 603*2^1423792-1 is not prime. Res64: A5B817DC021CCF89 Time : 0.0 sec. user=mdettweiler [2016-03-21 09:16:36] 609*2^1423792-1 is not prime. Res64: 5C7416ECC22FE838 Time : 0.0 sec. user=mdettweiler [2016-03-21 09:16:37] 653*2^1423792-1 is not prime. Res64: CB4E8FEA6218334E Time : 0.0 sec. user=mdettweiler [2016-03-21 09:16:37] 765*2^1423792-1 is not prime. Res64: 5F533F466D60A779 Time : 0.0 sec. user=mdettweiler [2016-03-21 09:16:37] 875*2^1423792-1 is not prime. Res64: 2EF0F77C94497D7A Time : 0.0 sec. user=mdettweiler [2016-03-21 09:16:38] 897*2^1423792-1 is not prime. Res64: 80EAEE91DA2CD2D5 Time : 0.0 sec. user=mdettweiler [2016-03-21 09:18:47] 939*2^1423792-1 is not prime. Res64: B67184FE864C6391 Time : 0.0 sec. user=mdettweiler [2016-03-21 09:18:47] 649*2^1423793-1 is not prime. Res64: 0967F53B2B1E373C Time : 0.0 sec. user=mdettweiler [2016-03-21 09:18:48] 697*2^1423793-1 is not prime. Res64: B38C6D120953364C Time : 0.0 sec. user=mdettweiler [2016-03-21 09:18:48] 705*2^1423793-1 is not prime. Res64: 561772F0814A3D0A Time : 0.0 sec. user=mdettweiler [2016-03-21 09:18:49] 837*2^1423793-1 is not prime. Res64: 9FC40A9E1BA8525A Time : 0.0 sec. user=mdettweiler [2016-03-21 09:20:13] 889*2^1423793-1 is not prime. Res64: A789FC1C59C22CF7 Time : 0.0 sec. user=mdettweiler [2016-03-21 09:20:13] 641*2^1423794-1 is not prime. Res64: 7039A4DE96A9A825 Time : 0.0 sec. user=mdettweiler [2016-03-21 09:20:14] 683*2^1423794-1 is not prime. Res64: 5A315F14C1DF118E Time : 0.0 sec. user=mdettweiler [2016-03-21 09:20:14] 807*2^1423794-1 is not prime. Res64: 6A8AE9436CB923AE Time : 0.0 sec. user=mdettweiler [2016-03-21 09:20:14] 837*2^1423794-1 is not prime. Res64: 45239E5C1A647919 Time : 0.0 sec. user=mdettweiler [2016-03-21 09:53:39] 801*2^1423798-1 is not prime. Res64: 284DFF8CBC2E05EE Time : 0.0 sec. user=mdettweiler [2016-03-21 09:56:05] 873*2^1423794-1 is not prime. Res64: A8ADBD6C76A1E219 Time : 0.0 sec. user=mdettweiler [2016-03-21 09:56:05] 923*2^1423794-1 is not prime. Res64: 386DBF0DDE59100C Time : 0.0 sec. user=mdettweiler [2016-03-21 09:56:06] 927*2^1423794-1 is not prime. Res64: 179376CEF66149BC Time : 0.0 sec. user=mdettweiler [2016-03-21 09:56:06] 945*2^1423794-1 is not prime. Res64: C43F172ABE26C709 Time : 0.0 sec. user=mdettweiler [2016-03-21 09:56:06] 783*2^1423795-1 is not prime. Res64: FAC60DAAEF4CD1A2 Time : 0.0 sec. user=mdettweiler [2016-03-21 10:01:29] 913*2^1423795-1 is not prime. Res64: 4C379D79468E6411 Time : 0.0 sec. user=mdettweiler [2016-03-21 10:01:30] 939*2^1423795-1 is not prime. Res64: ACB2D6A119576DD4 Time : 0.0 sec. user=mdettweiler [2016-03-21 10:01:31] 749*2^1423796-1 is not prime. Res64: B6E51290C259241B Time : 0.0 sec. user=mdettweiler [2016-03-21 10:01:32] 759*2^1423796-1 is not prime. Res64: 2D8C33FFD2870F65 Time : 0.0 sec. user=mdettweiler [2016-03-21 10:01:33] 813*2^1423796-1 is not prime. Res64: 12FA3F0E785E6256 Time : 0.0 sec. user=mdettweiler [2016-03-21 10:03:45] 903*2^1423796-1 is not prime. Res64: F6C40C68D87A786D Time : 0.0 sec. user=mdettweiler [2016-03-21 10:03:46] 927*2^1423796-1 is not prime. Res64: 4AFAA0F43B9FE9C8 Time : 0.0 sec. user=mdettweiler [2016-03-21 10:03:48] 969*2^1423796-1 is not prime. Res64: F4CD122F92D13A27 Time : 0.0 sec. user=mdettweiler [2016-03-21 10:03:50] 627*2^1423797-1 is not prime. Res64: 895386F549FA22A5 Time : 0.0 sec. user=mdettweiler [2016-03-21 10:03:50] 751*2^1423797-1 is not prime. Res64: 0619A28C9AFF72F6 Time : 0.0 sec. user=mdettweiler [2016-03-21 10:04:58] 765*2^1423797-1 is not prime. Res64: 949DE709C16E7FC6 Time : 0.0 sec. user=mdettweiler [2016-03-21 10:04:59] 937*2^1423797-1 is not prime. Res64: 95EF586FECAF3F76 Time : 0.0 sec. user=mdettweiler [2016-03-21 10:05:00] 681*2^1423798-1 is not prime. Res64: 3E395FFF0A41A17A Time : 0.0 sec. user=mdettweiler [2016-03-21 10:05:01] 687*2^1423798-1 is not prime. Res64: 642E3C7A593696E8 Time : 0.0 sec. user=mdettweiler [2016-03-21 10:05:02] 723*2^1423798-1 is not prime. Res64: FE0DC4254B60414F Time : 0.0 sec. user=mdettweiler [2016-03-21 10:40:47] 615*2^1423799-1 is not prime. Res64: 10668137E65EFC9D Time : 0.0 sec. user=mdettweiler [2016-03-21 10:40:47] 621*2^1423799-1 is not prime. Res64: DE8E566A1A9F7239 Time : 0.0 sec. user=mdettweiler [2016-03-21 10:40:48] 643*2^1423799-1 is not prime. Res64: 224525CDBA7C5016 Time : 0.0 sec. user=mdettweiler [2016-03-21 10:40:48] 645*2^1423799-1 is not prime. Res64: 7D8CDE4F57D753D4 Time : 0.0 sec. user=mdettweiler [2016-03-21 10:40:49] 661*2^1423799-1 is not prime. Res64: 89EF3E0418B6B306 Time : 0.0 sec. user=mdettweiler [2016-03-21 10:46:29] 675*2^1423799-1 is not prime. Res64: 851477A09686B0EB Time : 0.0 sec. user=mdettweiler [2016-03-21 10:46:29] 685*2^1423799-1 is not prime. Res64: 41083301030C6154 Time : 0.0 sec. user=mdettweiler [2016-03-21 10:46:30] 711*2^1423799-1 is not prime. Res64: 0932E742845956E9 Time : 0.0 sec. user=mdettweiler [2016-03-21 10:46:30] 861*2^1423799-1 is not prime. Res64: B63BD281EF3B16A8 Time : 0.0 sec. user=mdettweiler [2016-03-21 10:46:31] 865*2^1423799-1 is not prime. Res64: 1942404417507F6C Time : 0.0 sec. user=mdettweiler [2016-03-21 10:47:16] 691*2^1423801-1 is not prime. Res64: 5055F5432A0A212A Time : 0.0 sec. user=mdettweiler [2016-03-21 10:48:37] 883*2^1423799-1 is not prime. Res64: 8F40219E2F58095D Time : 0.0 sec. user=mdettweiler [2016-03-21 10:48:37] 623*2^1423800-1 is not prime. Res64: D5AC02AAC196E165 Time : 0.0 sec. user=mdettweiler [2016-03-21 10:48:37] 669*2^1423800-1 is not prime. Res64: BD3420420D0E8D19 Time : 0.0 sec. user=mdettweiler [2016-03-21 10:48:38] 707*2^1423800-1 is not prime. Res64: 2BB0331D66972FDB Time : 0.0 sec. user=mdettweiler [2016-03-21 10:48:38] 737*2^1423800-1 is not prime. Res64: 35BB5F57BF91B206 Time : 0.0 sec. user=mdettweiler [2016-03-21 10:49:55] 753*2^1423800-1 is not prime. Res64: 611DAB366B522DDE Time : 0.0 sec. user=mdettweiler [2016-03-21 10:49:56] 849*2^1423800-1 is not prime. Res64: 9DF278E9532FD27B Time : 0.0 sec. user=mdettweiler [2016-03-21 10:49:56] 879*2^1423800-1 is not prime. Res64: 4F914B351F2F4255 Time : 0.0 sec. user=mdettweiler [2016-03-21 10:49:57] 899*2^1423800-1 is not prime. Res64: B69BE3A246AD716D Time : 0.0 sec. user=mdettweiler [2016-03-21 10:49:57] 927*2^1423800-1 is not prime. Res64: D2EFFED617440112 Time : 0.0 sec. user=mdettweiler [2016-03-21 11:22:57] 795*2^1423805-1 is not prime. Res64: B40BFF5031D6482E Time : 0.0 sec. user=mdettweiler [2016-03-21 11:25:33] 867*2^1423801-1 is not prime. Res64: BED3FA48C8A8630A Time : 0.0 sec. user=mdettweiler [2016-03-21 11:25:33] 877*2^1423801-1 is not prime. Res64: 08855F998E7215F6 Time : 0.0 sec. user=mdettweiler [2016-03-21 11:25:33] 951*2^1423801-1 is not prime. Res64: 217594690E74D927 Time : 0.0 sec. user=mdettweiler [2016-03-21 11:25:34] 957*2^1423801-1 is not prime. Res64: 5FEFA54FDCF1042A Time : 0.0 sec. user=mdettweiler [2016-03-21 11:25:34] 645*2^1423802-1 is not prime. Res64: B478467D562EA512 Time : 0.0 sec. user=mdettweiler [2016-03-21 11:31:25] 675*2^1423802-1 is not prime. Res64: 115DB9280F070A76 Time : 0.0 sec. user=mdettweiler [2016-03-21 11:31:25] 753*2^1423802-1 is not prime. Res64: 7DFEC0BFD33671A0 Time : 0.0 sec. user=mdettweiler [2016-03-21 11:31:26] 831*2^1423802-1 is not prime. Res64: 7034822B0ED0F945 Time : 0.0 sec. user=mdettweiler [2016-03-21 11:31:26] 887*2^1423802-1 is not prime. Res64: A4D9FA6EBEA6C85F Time : 0.0 sec. user=mdettweiler [2016-03-21 11:31:27] 911*2^1423802-1 is not prime. Res64: C0C75A1D61FDACA7 Time : 0.0 sec. user=mdettweiler [2016-03-21 11:33:23] 613*2^1423803-1 is not prime. Res64: 80751F3EADDE5DAF Time : 0.0 sec. user=mdettweiler [2016-03-21 11:33:23] 921*2^1423803-1 is not prime. Res64: 73E91F327F4EB633 Time : 0.0 sec. user=mdettweiler [2016-03-21 11:33:23] 719*2^1423804-1 is not prime. Res64: 59EC16F35F4091DC Time : 0.0 sec. user=mdettweiler [2016-03-21 11:33:24] 833*2^1423804-1 is not prime. Res64: 8AE2ECCA614ED1F7 Time : 0.0 sec. user=mdettweiler [2016-03-21 11:33:24] 857*2^1423804-1 is not prime. Res64: 05264F222FE778A5 Time : 0.0 sec. user=mdettweiler [2016-03-21 11:34:46] 915*2^1423804-1 is not prime. Res64: A1B4D6FFA70CB210 Time : 0.0 sec. user=mdettweiler [2016-03-21 11:34:46] 927*2^1423804-1 is not prime. Res64: F9F22E6FD63E3BEB Time : 0.0 sec. user=mdettweiler [2016-03-21 11:34:46] 989*2^1423804-1 is not prime. Res64: 080706FB9797C4C3 Time : 0.0 sec. user=mdettweiler [2016-03-21 11:34:47] 721*2^1423805-1 is not prime. Res64: 55F4FBF298F99962 Time : 0.0 sec. user=mdettweiler [2016-03-21 11:34:47] 759*2^1423805-1 is not prime. Res64: 5326809D0011D60C Time : 0.0 sec. user=mdettweiler [2016-03-21 12:13:04] 867*2^1423805-1 is not prime. Res64: 0E5EA4A21783F972 Time : 0.0 sec. user=mdettweiler [2016-03-21 12:13:04] 871*2^1423805-1 is not prime. Res64: 3F9FB35A53711276 Time : 0.0 sec. user=mdettweiler [2016-03-21 12:13:04] 885*2^1423805-1 is not prime. Res64: 27A0A5BD0A7860F3 Time : 0.0 sec. user=mdettweiler [2016-03-21 12:13:05] 897*2^1423805-1 is not prime. Res64: B62CD7DE0D6ADDE1 Time : 0.0 sec. user=mdettweiler [2016-03-21 12:13:05] 693*2^1423806-1 is not prime. Res64: 70BDD5C3D3F12555 Time : 0.0 sec. user=mdettweiler [2016-03-21 12:21:09] 707*2^1423806-1 is not prime. Res64: 552206892E59CF6A Time : 0.0 sec. user=mdettweiler [2016-03-21 12:21:09] 711*2^1423806-1 is not prime. Res64: CA668DD475F685FC Time : 0.0 sec. user=mdettweiler [2016-03-21 12:21:10] 723*2^1423806-1 is not prime. Res64: EC090F7EFAD5D49E Time : 0.0 sec. user=mdettweiler [2016-03-21 12:21:10] 843*2^1423806-1 is not prime. Res64: 9E23BB37AD921F4A Time : 0.0 sec. user=mdettweiler [2016-03-21 12:21:10] 649*2^1423807-1 is not prime. Res64: 507D7321CCD56DC5 Time : 0.0 sec. user=mdettweiler [2016-03-21 12:22:52] 673*2^1423807-1 is not prime. Res64: F6BB0FA55989EF62 Time : 0.0 sec. user=mdettweiler [2016-03-21 12:22:52] 681*2^1423807-1 is not prime. Res64: 9DB4BBEFED200EEE Time : 0.0 sec. user=mdettweiler [2016-03-21 12:22:52] 741*2^1423807-1 is not prime. Res64: 20721C807D908330 Time : 0.0 sec. user=mdettweiler [2016-03-21 12:22:53] 769*2^1423807-1 is not prime. Res64: 87502590085C289E Time : 0.0 sec. user=mdettweiler [2016-03-21 12:22:53] 805*2^1423807-1 is not prime. Res64: 2CFED40EDB7B5800 Time : 0.0 sec. user=mdettweiler [2016-03-21 12:23:41] 841*2^1423807-1 is not prime. Res64: 814D0FE30C2DC5F6 Time : 0.0 sec. user=mdettweiler [2016-03-21 12:23:41] 843*2^1423807-1 is not prime. Res64: 93BD24F657059B77 Time : 0.0 sec. user=mdettweiler [2016-03-21 12:23:41] 885*2^1423807-1 is not prime. Res64: 46A0A8DC006C6FB2 Time : 0.0 sec. user=mdettweiler [2016-03-21 12:23:42] 615*2^1423808-1 is not prime. Res64: 45B96326D1053897 Time : 0.0 sec. user=mdettweiler [2016-03-21 12:23:42] 635*2^1423808-1 is not prime. Res64: 5E99390A29964964 Time : 0.0 sec. user=mdettweiler [2016-03-21 12:24:52] 649*2^1423809-1 is not prime. Res64: C4EA795182198B48 Time : 0.0 sec. user=mdettweiler [2016-03-21 12:51:32] 801*2^1423811-1 is not prime. Res64: D6FE45A1A9A51EF4 Time : 0.0 sec. user=mdettweiler [2016-03-21 13:02:01] 813*2^1423808-1 is not prime. Res64: D37B671C049FB3FF Time : 0.0 sec. user=mdettweiler [2016-03-21 13:02:03] 867*2^1423808-1 is not prime. Res64: BB18D8AF3530363D Time : 0.0 sec. user=mdettweiler [2016-03-21 13:02:05] 879*2^1423808-1 is not prime. Res64: 25DCDAA59103948D Time : 0.0 sec. user=mdettweiler [2016-03-21 13:02:06] 897*2^1423808-1 is not prime. Res64: BBF3C56B855910D2 Time : 0.0 sec. user=mdettweiler [2016-03-21 13:02:07] 625*2^1423809-1 is not prime. Res64: 711338E01E0BBD85 Time : 0.0 sec. user=mdettweiler [2016-03-21 13:07:17] 745*2^1423809-1 is not prime. Res64: 92472B020207F24E Time : 0.0 sec. user=mdettweiler [2016-03-21 13:07:19] 829*2^1423809-1 is not prime. Res64: 75C32D1F0E54238B Time : 0.0 sec. user=mdettweiler [2016-03-21 13:07:21] 861*2^1423809-1 is not prime. Res64: 3B149CB9502941DC Time : 0.0 sec. user=mdettweiler [2016-03-21 13:07:23] 889*2^1423809-1 is not prime. Res64: 3CD7ED327FDE50F8 Time : 0.0 sec. user=mdettweiler [2016-03-21 13:07:25] 895*2^1423809-1 is not prime. Res64: BF69F98F9E01CDC8 Time : 0.0 sec. user=mdettweiler [2016-03-21 13:09:15] 907*2^1423809-1 is not prime. Res64: 58100229C52A3080 Time : 0.0 sec. user=mdettweiler [2016-03-21 13:09:16] 951*2^1423809-1 is not prime. Res64: F8AC480A2CFE54EB Time : 0.0 sec. user=mdettweiler [2016-03-21 13:09:17] 801*2^1423810-1 is not prime. Res64: D12704E1BA8F50B9 Time : 0.0 sec. user=mdettweiler [2016-03-21 13:09:19] 917*2^1423810-1 is not prime. Res64: C011BC4C97BD8AE0 Time : 0.0 sec. user=mdettweiler [2016-03-21 13:09:19] 609*2^1423811-1 is not prime. Res64: 27E585BA1A910FB7 Time : 0.0 sec. user=mdettweiler [2016-03-21 13:09:46] 663*2^1423811-1 is not prime. Res64: 70851BC34045EB6F Time : 0.0 sec. user=mdettweiler [2016-03-21 13:09:47] 673*2^1423811-1 is not prime. Res64: E1DA495E5030D3E6 Time : 0.0 sec. user=mdettweiler [2016-03-21 13:09:47] 711*2^1423811-1 is not prime. Res64: F95ADAAA0E2F4E8B Time : 0.0 sec. user=mdettweiler [2016-03-21 13:09:47] 733*2^1423811-1 is not prime. Res64: 038950B0A051F421 Time : 0.0 sec. user=mdettweiler [2016-03-21 13:09:48] 753*2^1423811-1 is not prime. Res64: 974FB49942C045FB Time : 0.0 sec. user=mdettweiler [2016-03-21 13:44:58] 915*2^1423814-1 is not prime. Res64: E6752D7E9080A1D3 Time : 0.0 sec. user=mdettweiler [2016-03-21 13:47:34] 813*2^1423811-1 is not prime. Res64: D331FDB6E22B0AD3 Time : 0.0 sec. user=mdettweiler [2016-03-21 13:47:35] 819*2^1423811-1 is not prime. Res64: FAC55E3FEA08300E Time : 0.0 sec. user=mdettweiler [2016-03-21 13:47:35] 829*2^1423811-1 is not prime. Res64: 9511922C156C290F Time : 0.0 sec. user=mdettweiler [2016-03-21 13:47:36] 895*2^1423811-1 is not prime. Res64: 00E57F7EEF107AFC Time : 0.0 sec. user=mdettweiler [2016-03-21 13:47:36] 913*2^1423811-1 is not prime. Res64: 6B9AA9B419C8FD36 Time : 0.0 sec. user=mdettweiler [2016-03-21 13:53:06] 623*2^1423812-1 is not prime. Res64: F51159972903B28E Time : 0.0 sec. user=mdettweiler [2016-03-21 13:53:06] 669*2^1423812-1 is not prime. Res64: 8B32E3B14F43827C Time : 0.0 sec. user=mdettweiler [2016-03-21 13:53:06] 689*2^1423812-1 is not prime. Res64: 41CFDA0B693C7087 Time : 0.0 sec. user=mdettweiler [2016-03-21 13:53:07] 719*2^1423812-1 is not prime. Res64: BB6B4650B99DE7E6 Time : 0.0 sec. user=mdettweiler [2016-03-21 13:53:07] 809*2^1423812-1 is not prime. Res64: 4739CD5E93269C7F Time : 0.0 sec. user=mdettweiler [2016-03-21 13:54:25] 875*2^1423812-1 is not prime. Res64: 8A731DF0D2D9A5A2 Time : 0.0 sec. user=mdettweiler [2016-03-21 13:54:25] 947*2^1423812-1 is not prime. Res64: 4604CEC60F2CC725 Time : 0.0 sec. user=mdettweiler [2016-03-21 13:54:26] 649*2^1423813-1 is not prime. Res64: 1621C7E3B1D09A80 Time : 0.0 sec. user=mdettweiler [2016-03-21 13:54:26] 675*2^1423813-1 is not prime. Res64: 12497F3B9176DDC2 Time : 0.0 sec. user=mdettweiler [2016-03-21 13:54:26] 685*2^1423813-1 is not prime. Res64: 909D324170F84306 Time : 0.0 sec. user=mdettweiler [2016-03-21 13:55:13] 727*2^1423813-1 is not prime. Res64: 4B1D6B7D751F1682 Time : 0.0 sec. user=mdettweiler [2016-03-21 13:55:13] 747*2^1423813-1 is not prime. Res64: B3EA278E24B0F628 Time : 0.0 sec. user=mdettweiler [2016-03-21 13:55:13] 771*2^1423813-1 is not prime. Res64: DD0B5D371B139FFD Time : 0.0 sec. user=mdettweiler [2016-03-21 13:55:14] 855*2^1423813-1 is not prime. Res64: 4462DB5112F6FF5F Time : 0.0 sec. user=mdettweiler [2016-03-21 13:55:14] 999*2^1423813-1 is not prime. Res64: 34ECCB9704BCF0CA Time : 0.0 sec. user=mdettweiler [2016-03-21 14:33:19] 743*2^1423814-1 is not prime. Res64: 423E2E4AEAEB979A Time : 0.0 sec. user=mdettweiler [2016-03-21 14:34:06] 917*2^1423814-1 is not prime. Res64: CC827CA66AEFB3EC Time : 0.0 sec. user=mdettweiler [2016-03-21 14:34:06] 981*2^1423814-1 is not prime. Res64: 321DB5A9349E1A40 Time : 0.0 sec. user=mdettweiler [2016-03-21 14:34:07] 987*2^1423814-1 is not prime. Res64: 18F5BD8137A51BDC Time : 0.0 sec. user=mdettweiler [2016-03-21 14:34:07] 619*2^1423815-1 is not prime. Res64: 8A844FA09E38A306 Time : 0.0 sec. user=mdettweiler [2016-03-21 14:34:08] 625*2^1423815-1 is not prime. Res64: FF76B753982BD24C Time : 0.0 sec. user=mdettweiler [2016-03-21 14:39:45] 633*2^1423815-1 is not prime. Res64: 8115F1F4DB7A6E6B Time : 0.0 sec. user=mdettweiler [2016-03-21 14:39:46] 669*2^1423815-1 is not prime. Res64: 658DE28DC02102FE Time : 0.0 sec. user=mdettweiler [2016-03-21 14:39:46] 685*2^1423815-1 is not prime. Res64: 9972DBB441657F4E Time : 0.0 sec. user=mdettweiler [2016-03-21 14:39:47] 795*2^1423815-1 is not prime. Res64: ED8061BA1610385C Time : 0.0 sec. user=mdettweiler [2016-03-21 14:39:47] 805*2^1423815-1 is not prime. Res64: E9F0D088026ABC69 Time : 0.0 sec. user=mdettweiler [2016-03-21 14:40:55] 853*2^1423815-1 is not prime. Res64: 6298778954A4D9F8 Time : 0.0 sec. user=mdettweiler [2016-03-21 14:40:55] 885*2^1423815-1 is not prime. Res64: AFB3817094FE01F1 Time : 0.0 sec. user=mdettweiler [2016-03-21 14:40:56] 909*2^1423815-1 is not prime. Res64: BF8DF41DC27D2C6A Time : 0.0 sec. user=mdettweiler [2016-03-21 14:40:56] 949*2^1423815-1 is not prime. Res64: 187B3C5E17593B5B Time : 0.0 sec. user=mdettweiler [2016-03-21 14:40:57] 677*2^1423816-1 is not prime. Res64: A1C9CAC439FE1AD2 Time : 0.0 sec. user=mdettweiler [2016-03-21 14:41:59] 849*2^1423816-1 is not prime. Res64: 671A07F92534C9DE Time : 0.0 sec. user=mdettweiler [2016-03-21 14:42:00] 869*2^1423816-1 is not prime. Res64: D58ADDE2894068FA Time : 0.0 sec. user=mdettweiler [2016-03-21 14:42:00] 909*2^1423816-1 is not prime. Res64: BE0ABDB8946E348E Time : 0.0 sec. user=mdettweiler [2016-03-21 14:42:01] 927*2^1423816-1 is not prime. Res64: CEB563A146C16DAE Time : 0.0 sec. user=mdettweiler [2016-03-21 14:42:01] 989*2^1423816-1 is not prime. Res64: B64B2FD025817E12 Time : 0.0 sec. user=mdettweiler [2016-03-21 15:19:21] 615*2^1423817-1 is not prime. Res64: E4703A03F2BE055C Time : 0.0 sec. user=mdettweiler [2016-03-21 15:19:21] 735*2^1423817-1 is not prime. Res64: 3E9E73FA870A328B Time : 0.0 sec. user=mdettweiler [2016-03-21 15:19:22] 861*2^1423817-1 is not prime. Res64: 7C9E84C82359B464 Time : 0.0 sec. user=mdettweiler [2016-03-21 15:19:22] 925*2^1423817-1 is not prime. Res64: A15BBA569EC31D41 Time : 0.0 sec. user=mdettweiler [2016-03-21 15:19:23] 985*2^1423817-1 is not prime. Res64: 2895DFF4A2599349 Time : 0.0 sec. user=mdettweiler [2016-03-21 15:24:50] 657*2^1423818-1 is not prime. Res64: 46F26083202B873B Time : 0.0 sec. user=mdettweiler [2016-03-21 15:24:51] 677*2^1423818-1 is not prime. Res64: 3F2908274DC4C6E5 Time : 0.0 sec. user=mdettweiler [2016-03-21 15:24:51] 735*2^1423818-1 is not prime. Res64: E37C9BBB3DEB6D49 Time : 0.0 sec. user=mdettweiler [2016-03-21 15:24:51] 777*2^1423818-1 is not prime. Res64: E7F8445501768FEB Time : 0.0 sec. user=mdettweiler [2016-03-21 15:24:52] 927*2^1423818-1 is not prime. Res64: 44B0CEE90A8EB5D9 Time : 0.0 sec. user=mdettweiler [2016-03-21 15:26:04] 631*2^1423819-1 is not prime. Res64: FED97F6867A4DF3F Time : 0.0 sec. user=mdettweiler [2016-03-21 15:26:04] 649*2^1423819-1 is not prime. Res64: B35367AB00A15D54 Time : 0.0 sec. user=mdettweiler [2016-03-21 15:26:04] 883*2^1423819-1 is not prime. Res64: 5F58609D13BAF009 Time : 0.0 sec. user=mdettweiler [2016-03-21 15:26:05] 939*2^1423819-1 is not prime. Res64: 41967709CD6A6A32 Time : 0.0 sec. user=mdettweiler [2016-03-21 15:26:05] 969*2^1423819-1 is not prime. Res64: 9ED01DCD19DB4522 Time : 0.0 sec. user=mdettweiler [2016-03-21 15:26:58] 665*2^1423820-1 is not prime. Res64: FDCF57D5BCD6B72B Time : 0.0 sec. user=mdettweiler [2016-03-21 15:26:58] 677*2^1423820-1 is not prime. Res64: 7E6E7A04576243CE Time : 0.0 sec. user=mdettweiler [2016-03-21 15:26:59] 725*2^1423820-1 is not prime. Res64: C11F61E2139EEF6D Time : 0.0 sec. user=mdettweiler [2016-03-21 15:26:59] 825*2^1423820-1 is not prime. Res64: 0A56E07A83090F4A Time : 0.0 sec. user=mdettweiler [2016-03-21 15:26:59] 827*2^1423820-1 is not prime. Res64: 8CBCEB3E10E6660A Time : 0.0 sec. user=mdettweiler [2016-03-21 16:04:35] 839*2^1423820-1 is not prime. Res64: 2E7A7D520111D39C Time : 0.0 sec. user=mdettweiler [2016-03-21 16:04:37] 845*2^1423820-1 is not prime. Res64: E829A7E023A2DC0F Time : 0.0 sec. user=mdettweiler [2016-03-21 16:04:38] 855*2^1423820-1 is not prime. Res64: CE291255A90BE022 Time : 0.0 sec. user=mdettweiler [2016-03-21 16:04:40] 929*2^1423820-1 is not prime. Res64: 5084761908CB80D4 Time : 0.0 sec. user=mdettweiler [2016-03-21 16:04:42] 959*2^1423820-1 is not prime. Res64: 2714E979DEDC8403 Time : 0.0 sec. user=mdettweiler [2016-03-21 16:09:55] 983*2^1423820-1 is not prime. Res64: 379D1231F663845F Time : 0.0 sec. user=mdettweiler [2016-03-21 16:09:55] 649*2^1423821-1 is not prime. Res64: C4D19726270DC6F5 Time : 0.0 sec. user=mdettweiler [2016-03-21 16:09:56] 657*2^1423821-1 is not prime. Res64: 84065DEC1B51605F Time : 0.0 sec. user=mdettweiler [2016-03-21 16:09:56] 711*2^1423821-1 is not prime. Res64: B18A5811C3DED5C7 Time : 0.0 sec. user=mdettweiler [2016-03-21 16:09:56] 727*2^1423821-1 is not prime. Res64: 83B9D24A1E0D1186 Time : 0.0 sec. user=mdettweiler [2016-03-21 16:11:18] 805*2^1423821-1 is not prime. Res64: E19DAEC7FCD69A39 Time : 0.0 sec. user=mdettweiler [2016-03-21 16:11:18] 885*2^1423821-1 is not prime. Res64: B932D86FCC12E897 Time : 0.0 sec. user=mdettweiler [2016-03-21 16:11:18] 889*2^1423821-1 is not prime. Res64: 6AEBFA4E10ED476B Time : 0.0 sec. user=mdettweiler [2016-03-21 16:11:19] 927*2^1423821-1 is not prime. Res64: 5328500557285F49 Time : 0.0 sec. user=mdettweiler [2016-03-21 16:11:19] 999*2^1423821-1 is not prime. Res64: 8CBC7110F2DDC243 Time : 0.0 sec. user=mdettweiler [2016-03-21 16:12:06] 651*2^1423822-1 is not prime. Res64: 7C1797D10D8F6F6F Time : 0.0 sec. user=mdettweiler [2016-03-21 16:12:06] 713*2^1423822-1 is not prime. Res64: B8A17D5C5ECE0527 Time : 0.0 sec. user=mdettweiler [2016-03-21 16:12:07] 897*2^1423822-1 is not prime. Res64: 29132BA545A53554 Time : 0.0 sec. user=mdettweiler [2016-03-21 16:12:07] 923*2^1423822-1 is not prime. Res64: 714BD2B3C5D542F7 Time : 0.0 sec. user=mdettweiler [2016-03-21 16:12:07] 947*2^1423822-1 is not prime. Res64: B3AB4C6D6AFE5CAE Time : 0.0 sec. user=mdettweiler [2016-03-21 16:41:36] 785*2^1423826-1 is not prime. Res64: 7B5D41D93DF7BBBC Time : 0.0 sec. user=mdettweiler [2016-03-21 16:50:04] 615*2^1423823-1 is not prime. Res64: 3F949792C30003FE Time : 0.0 sec. user=mdettweiler [2016-03-21 16:50:05] 621*2^1423823-1 is not prime. Res64: 175D7F597645B4C4 Time : 0.0 sec. user=mdettweiler [2016-03-21 16:50:05] 705*2^1423823-1 is not prime. Res64: CCD8E1F257AA1549 Time : 0.0 sec. user=mdettweiler [2016-03-21 16:50:05] 775*2^1423823-1 is not prime. Res64: 65BACCDB6E89E39C Time : 0.0 sec. user=mdettweiler [2016-03-21 16:50:06] 861*2^1423823-1 is not prime. Res64: A479D412EDAA32D3 Time : 0.0 sec. user=mdettweiler [2016-03-21 16:55:15] 871*2^1423823-1 is not prime. Res64: 9AB3B9C0049CC58B Time : 0.0 sec. user=mdettweiler [2016-03-21 16:55:15] 609*2^1423824-1 is not prime. Res64: E4D5DA73C8EBC003 Time : 0.0 sec. user=mdettweiler [2016-03-21 16:55:16] 689*2^1423824-1 is not prime. Res64: D654D8F25FE2B3EA Time : 0.0 sec. user=mdettweiler [2016-03-21 16:55:16] 693*2^1423824-1 is not prime. Res64: DFA3900558ECFAF5 Time : 0.0 sec. user=mdettweiler [2016-03-21 16:55:16] 843*2^1423824-1 is not prime. Res64: 4447B0195FAC73EF Time : 0.0 sec. user=mdettweiler [2016-03-21 16:56:21] 863*2^1423824-1 is not prime. Res64: CE59F7CAA2E6601E Time : 0.0 sec. user=mdettweiler [2016-03-21 16:56:22] 959*2^1423824-1 is not prime. Res64: 9985CB3B500C548E Time : 0.0 sec. user=mdettweiler [2016-03-21 16:56:22] 705*2^1423825-1 is not prime. Res64: E6B5EBD540E2DD7A Time : 0.0 sec. user=mdettweiler [2016-03-21 16:56:23] 855*2^1423825-1 is not prime. Res64: 10DF035619487F13 Time : 0.0 sec. user=mdettweiler [2016-03-21 16:56:23] 915*2^1423825-1 is not prime. Res64: A27BFF6807718811 Time : 0.0 sec. user=mdettweiler [2016-03-21 16:57:10] 937*2^1423825-1 is not prime. Res64: 92DEB542DA1CAD18 Time : 0.0 sec. user=mdettweiler [2016-03-21 16:57:10] 951*2^1423825-1 is not prime. Res64: 8910A3F271BFC7C0 Time : 0.0 sec. user=mdettweiler [2016-03-21 16:57:10] 979*2^1423825-1 is not prime. Res64: DD120EEB1CD7579D Time : 0.0 sec. user=mdettweiler [2016-03-21 16:57:11] 741*2^1423826-1 is not prime. Res64: DD8558943F65764B Time : 0.0 sec. user=mdettweiler [2016-03-21 16:57:11] 783*2^1423826-1 is not prime. Res64: DD50616D374E265C Time : 0.0 sec. user=mdettweiler [2016-03-21 17:35:10] 801*2^1423826-1 is not prime. Res64: F3EEE3B34EC97654 Time : 0.0 sec. user=mdettweiler [2016-03-21 17:35:10] 917*2^1423826-1 is not prime. Res64: F1F61CDD64D88F9A Time : 0.0 sec. user=mdettweiler [2016-03-21 17:35:11] 983*2^1423826-1 is not prime. Res64: CA891F8819CFDD09 Time : 0.0 sec. user=mdettweiler [2016-03-21 17:35:11] 705*2^1423827-1 is not prime. Res64: 82FF3DB53AE7118F Time : 0.0 sec. user=mdettweiler [2016-03-21 17:35:12] 931*2^1423827-1 is not prime. Res64: 6B2AA527703BFA9A Time : 0.0 sec. user=mdettweiler [2016-03-21 17:40:18] 963*2^1423827-1 is not prime. Res64: D7DE60EE39857902 Time : 0.0 sec. user=mdettweiler [2016-03-21 17:40:19] 605*2^1423828-1 is not prime. Res64: A8C88D2C538C2489 Time : 0.0 sec. user=mdettweiler [2016-03-21 17:40:19] 699*2^1423828-1 is not prime. Res64: 4E5486E3B4621823 Time : 0.0 sec. user=mdettweiler [2016-03-21 17:40:19] 735*2^1423828-1 is not prime. Res64: 2D6E718EF99FD10B Time : 0.0 sec. user=mdettweiler [2016-03-21 17:40:20] 777*2^1423828-1 is not prime. Res64: CBE310DCF8929516 Time : 0.0 sec. user=mdettweiler [2016-03-21 17:41:37] 975*2^1423828-1 is not prime. Res64: 5220D665CC43A43D Time : 0.0 sec. user=mdettweiler [2016-03-21 17:41:38] 995*2^1423828-1 is not prime. Res64: B2E2DB1B4BDF6C08 Time : 0.0 sec. user=mdettweiler [2016-03-21 17:41:38] 721*2^1423829-1 is not prime. Res64: F60CD8277EA2756B Time : 0.0 sec. user=mdettweiler [2016-03-21 17:41:39] 741*2^1423829-1 is not prime. Res64: 5C57631FE0535699 Time : 0.0 sec. user=mdettweiler [2016-03-21 17:41:39] 681*2^1423830-1 is not prime. Res64: 9EDF6C08F269A484 Time : 0.0 sec. user=mdettweiler [2016-03-21 17:42:15] 761*2^1423830-1 is not prime. Res64: 4AC79278D937AA4D Time : 0.0 sec. user=mdettweiler [2016-03-21 17:42:15] 797*2^1423830-1 is not prime. Res64: CCB0195B8ACB2039 Time : 0.0 sec. user=mdettweiler [2016-03-21 17:42:16] 801*2^1423830-1 is not prime. Res64: 6AD7821E5494536E Time : 0.0 sec. user=mdettweiler [2016-03-21 17:42:16] 945*2^1423830-1 is not prime. Res64: D5249FC7DEA35C2A Time : 0.0 sec. user=mdettweiler [2016-03-21 17:42:16] 625*2^1423831-1 is not prime. Res64: A271C3E46798D363 Time : 0.0 sec. user=mdettweiler [2016-03-21 18:10:08] 983*2^1423834-1 is not prime. Res64: 595C920ACF943C87 Time : 0.0 sec. user=mdettweiler [2016-03-21 18:20:21] 771*2^1423831-1 is not prime. Res64: 84E6422A5EDCA3E9 Time : 0.0 sec. user=mdettweiler [2016-03-21 18:20:22] 775*2^1423831-1 is not prime. Res64: 643F12710B73BC43 Time : 0.0 sec. user=mdettweiler [2016-03-21 18:20:22] 805*2^1423831-1 is not prime. Res64: 4D6EC1D6A8F254C7 Time : 0.0 sec. user=mdettweiler [2016-03-21 18:20:23] 861*2^1423831-1 is not prime. Res64: 4F5A800F0DE1D20C Time : 0.0 sec. user=mdettweiler [2016-03-21 18:20:23] 871*2^1423831-1 is not prime. Res64: B9DD563EA66E4AA5 Time : 0.0 sec. user=mdettweiler [2016-03-21 18:25:39] 969*2^1423831-1 is not prime. Res64: 4EEBA697065FE356 Time : 0.0 sec. user=mdettweiler [2016-03-21 18:25:40] 665*2^1423832-1 is not prime. Res64: CE50CE1E6BC16599 Time : 0.0 sec. user=mdettweiler [2016-03-21 18:25:40] 929*2^1423832-1 is not prime. Res64: 5F9A08C274D3576F Time : 0.0 sec. user=mdettweiler [2016-03-21 18:25:41] 685*2^1423833-1 is not prime. Res64: D2EF4A1167D89676 Time : 0.0 sec. user=mdettweiler [2016-03-21 18:25:41] 769*2^1423833-1 is not prime. Res64: 2C4399CE04AE2E9B Time : 0.0 sec. user=mdettweiler [2016-03-21 18:26:46] 837*2^1423833-1 is not prime. Res64: 26702DCA5ABB3D78 Time : 0.0 sec. user=mdettweiler [2016-03-21 18:26:47] 847*2^1423833-1 is not prime. Res64: 6800095E74AA8C0E Time : 0.0 sec. user=mdettweiler [2016-03-21 18:26:47] 885*2^1423833-1 is not prime. Res64: ADB4956774304284 Time : 0.0 sec. user=mdettweiler [2016-03-21 18:26:48] 955*2^1423833-1 is not prime. Res64: 847E78B8112A3102 Time : 0.0 sec. user=mdettweiler [2016-03-21 18:26:48] 605*2^1423834-1 is not prime. Res64: A2D2DD0AC78E197A Time : 0.0 sec. user=mdettweiler [2016-03-21 18:27:13] 665*2^1423834-1 is not prime. Res64: CCF3B2180BDA9A4F Time : 0.0 sec. user=mdettweiler [2016-03-21 18:27:14] 695*2^1423834-1 is not prime. Res64: C050B0025D8E5861 Time : 0.0 sec. user=mdettweiler [2016-03-21 18:27:14] 737*2^1423834-1 is not prime. Res64: 99E10FFC1EE39B30 Time : 0.0 sec. user=mdettweiler [2016-03-21 18:27:14] 831*2^1423834-1 is not prime. Res64: 86CDBA966C1563E9 Time : 0.0 sec. user=mdettweiler [2016-03-21 18:27:15] 975*2^1423834-1 is not prime. Res64: 28EDF0B666BCC0BC Time : 0.0 sec. user=mdettweiler [2016-03-21 18:27:51] 675*2^1423835-1 is not prime. Res64: 29EC8560A2B17229 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:05:28] 685*2^1423835-1 is not prime. Res64: 4B4032CF8F753341 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:05:30] 733*2^1423835-1 is not prime. Res64: E19F11B13ADB01C8 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:05:30] 739*2^1423835-1 is not prime. Res64: BD8D2C448323158E Time : 0.0 sec. user=mdettweiler [2016-03-21 19:05:31] 841*2^1423835-1 is not prime. Res64: B361ECCD1CFE225C Time : 0.0 sec. user=mdettweiler [2016-03-21 19:05:32] 909*2^1423835-1 is not prime. Res64: BD3AF26E6837EC76 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:11:02] 669*2^1423836-1 is not prime. Res64: 38EB685CCEFA5E65 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:11:02] 767*2^1423836-1 is not prime. Res64: 88B04502D7C63B46 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:11:03] 825*2^1423836-1 is not prime. Res64: C6FEAF8829C2E799 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:11:03] 843*2^1423836-1 is not prime. Res64: A2DFDF21E7ACF0A8 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:11:04] 857*2^1423836-1 is not prime. Res64: 13A09612980DF8BC Time : 0.0 sec. user=mdettweiler [2016-03-21 19:11:57] 945*2^1423836-1 is not prime. Res64: A86229D234D1FD1A Time : 0.0 sec. user=mdettweiler [2016-03-21 19:11:57] 999*2^1423836-1 is not prime. Res64: 9FBB7D7D630D1428 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:11:58] 727*2^1423837-1 is not prime. Res64: 5920BC662321B729 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:11:59] 967*2^1423837-1 is not prime. Res64: FF60C1AECFF668E8 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:11:59] 975*2^1423837-1 is not prime. Res64: 92D03490123CA933 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:12:19] 603*2^1423838-1 is not prime. Res64: E53EAE4C61512ECF Time : 0.0 sec. user=mdettweiler [2016-03-21 19:12:20] 605*2^1423838-1 is not prime. Res64: 64A68A739DF7D764 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:12:20] 831*2^1423838-1 is not prime. Res64: 8FBAE262BC4FB50D Time : 0.0 sec. user=mdettweiler [2016-03-21 19:12:21] 893*2^1423838-1 is not prime. Res64: 89C9E2234E1CDFEC Time : 0.0 sec. user=mdettweiler [2016-03-21 19:12:21] 935*2^1423838-1 is not prime. Res64: EB3905D52151FC57 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:20:19] 737*2^1423842-1 is not prime. Res64: 1788B3B18D409F99 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:51:19] 971*2^1423838-1 is not prime. Res64: CF342B5D6D177539 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:51:19] 613*2^1423839-1 is not prime. Res64: B106C9B325C774E4 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:51:20] 615*2^1423839-1 is not prime. Res64: F341406DB91533A3 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:51:20] 619*2^1423839-1 is not prime. Res64: BD69C0BFE9F9C425 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:51:20] 633*2^1423839-1 is not prime. Res64: 08B9EAA8CF7BB010 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:56:10] 941*2^1423842-1 is not prime. Res64: 3D5278294884B641 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:56:25] 741*2^1423839-1 is not prime. Res64: 461B7DA56C0002D2 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:56:25] 745*2^1423839-1 is not prime. Res64: 048D851D167A3A88 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:56:26] 629*2^1423840-1 is not prime. Res64: 2266F55631647391 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:56:26] 635*2^1423840-1 is not prime. Res64: 65EBFC0438EA960E Time : 0.0 sec. user=mdettweiler [2016-03-21 19:56:26] 813*2^1423840-1 is not prime. Res64: 8B9E36E306BF1ECE Time : 0.0 sec. user=mdettweiler [2016-03-21 19:57:09] 915*2^1423840-1 is not prime. Res64: 5D9545F87519AC5C Time : 0.0 sec. user=mdettweiler [2016-03-21 19:57:09] 957*2^1423840-1 is not prime. Res64: F6AE02586856D8DB Time : 0.0 sec. user=mdettweiler [2016-03-21 19:57:10] 627*2^1423841-1 is not prime. Res64: 1A482A780DE82B35 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:57:10] 735*2^1423841-1 is not prime. Res64: D88A732C659EC62B Time : 0.0 sec. user=mdettweiler [2016-03-21 19:57:11] 777*2^1423841-1 is not prime. Res64: 2B3918771772B47A Time : 0.0 sec. user=mdettweiler [2016-03-21 19:57:38] 837*2^1423841-1 is not prime. Res64: 712E700207287184 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:57:39] 889*2^1423841-1 is not prime. Res64: E495A9A718C82292 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:57:39] 901*2^1423841-1 is not prime. Res64: E291032D676F8428 Time : 0.0 sec. user=mdettweiler [2016-03-21 19:57:40] 951*2^1423841-1 is not prime. Res64: 96D50DBA1BB1A79A Time : 0.0 sec. user=mdettweiler [2016-03-21 19:57:40] 723*2^1423842-1 is not prime. Res64: 72809E1C5DEB788D Time : 0.0 sec. user=mdettweiler [2016-03-21 20:42:20] 975*2^1423842-1 is not prime. Res64: ECF8FF3B1D19C627 Time : 0.0 sec. user=mdettweiler [2016-03-21 20:42:20] 663*2^1423843-1 is not prime. Res64: 1C6845839CC02C3A Time : 0.0 sec. user=mdettweiler [2016-03-21 20:42:20] 673*2^1423843-1 is not prime. Res64: 6FA021B821D12D4B Time : 0.0 sec. user=mdettweiler [2016-03-21 20:42:21] 891*2^1423843-1 is not prime. Res64: 629DBDFF2A15E26A Time : 0.0 sec. user=mdettweiler [2016-03-21 20:42:21] 623*2^1423844-1 is not prime. Res64: 3995D680508619AA Time : 0.0 sec. user=mdettweiler [2016-03-21 20:50:45] 689*2^1423844-1 is not prime. Res64: 030A763F1A8FD1EF Time : 0.0 sec. user=mdettweiler [2016-03-21 20:50:45] 707*2^1423844-1 is not prime. Res64: 03542F5BD4883D8B Time : 0.0 sec. user=mdettweiler [2016-03-21 20:50:46] 767*2^1423844-1 is not prime. Res64: FECA7CD4502FDA2A Time : 0.0 sec. user=mdettweiler [2016-03-21 20:50:46] 825*2^1423844-1 is not prime. Res64: A361E92AC8BF3839 Time : 0.0 sec. user=mdettweiler [2016-03-21 20:50:46] 893*2^1423844-1 is not prime. Res64: 73DF5B88D25942BE Time : 0.0 sec. user=mdettweiler [2016-03-21 20:51:11] 735*2^1423845-1 is not prime. Res64: A0BE614825070374 Time : 0.0 sec. user=mdettweiler [2016-03-21 20:51:11] 741*2^1423845-1 is not prime. Res64: BCAC3BBACCCB7FB0 Time : 0.0 sec. user=mdettweiler [2016-03-21 20:51:12] 831*2^1423845-1 is not prime. Res64: 899BB92CBF30C758 Time : 0.0 sec. user=mdettweiler [2016-03-21 20:51:12] 837*2^1423845-1 is not prime. Res64: 3972D66C2EE0583C Time : 0.0 sec. user=mdettweiler [2016-03-21 20:51:12] 889*2^1423845-1 is not prime. Res64: 1D566CC3F9505BB6 Time : 0.0 sec. user=mdettweiler [2016-03-21 20:51:20] 927*2^1423845-1 is not prime. Res64: C813E09FBF7CBA03 Time : 0.0 sec. user=mdettweiler [2016-03-21 20:51:21] 979*2^1423845-1 is not prime. Res64: D9C26D87ADDEC063 Time : 0.0 sec. user=mdettweiler [2016-03-21 20:51:21] 991*2^1423845-1 is not prime. Res64: F324EC9E5C1B747E Time : 0.0 sec. user=mdettweiler [2016-03-21 20:51:21] 603*2^1423846-1 is not prime. Res64: 7166DCA05D5038DC Time : 0.0 sec. user=mdettweiler [2016-03-21 20:51:22] 663*2^1423846-1 is not prime. Res64: E5CEE48BDEED9342 Time : 0.0 sec. user=mdettweiler [2016-03-21 21:07:10] 831*2^1423850-1 is not prime. Res64: BFB8A8BDC6D9EF51 Time : 0.0 sec. user=mdettweiler [2016-03-21 21:08:10] 867*2^1423850-1 is not prime. Res64: CA0D52BF072FED45 Time : 0.0 sec. user=mdettweiler [2016-03-21 21:36:59] 987*2^1423846-1 is not prime. Res64: 05DFF0BD61D731FC Time : 0.0 sec. user=mdettweiler [2016-03-21 21:37:00] 651*2^1423847-1 is not prime. Res64: 7B1A51753C424B04 Time : 0.0 sec. user=mdettweiler [2016-03-21 21:37:00] 669*2^1423847-1 is not prime. Res64: 3FC3A7AD7A1803B2 Time : 0.0 sec. user=mdettweiler [2016-03-21 21:37:00] 735*2^1423847-1 is not prime. Res64: EC993688CF75A7F0 Time : 0.0 sec. user=mdettweiler [2016-03-21 21:37:01] 819*2^1423847-1 is not prime. Res64: 871192F776BDB0B2 Time : 0.0 sec. user=mdettweiler [2016-03-21 21:45:13] 657*2^1423848-1 is not prime. Res64: 67F8F4DDEFC9B9D5 Time : 0.0 sec. user=mdettweiler [2016-03-21 21:45:14] 669*2^1423848-1 is not prime. Res64: D99CE7FC1391FF32 Time : 0.0 sec. user=mdettweiler [2016-03-21 21:45:14] 723*2^1423848-1 is not prime. Res64: CF8BEB1262A34E26 Time : 0.0 sec. user=mdettweiler [2016-03-21 21:45:14] 759*2^1423848-1 is not prime. Res64: DBC0C1D59E009576 Time : 0.0 sec. user=mdettweiler [2016-03-21 21:45:15] 825*2^1423848-1 is not prime. Res64: DAC20A2FAF684EE2 Time : 0.0 sec. user=mdettweiler [2016-03-21 21:45:17] 959*2^1423848-1 is not prime. Res64: 3D3E6DCCCA9FA63F Time : 0.0 sec. user=mdettweiler [2016-03-21 21:45:17] 977*2^1423848-1 is not prime. Res64: 3496A9AD6DB513C9 Time : 0.0 sec. user=mdettweiler [2016-03-21 21:45:17] 675*2^1423849-1 is not prime. Res64: 853B40C5FAC375C3 Time : 0.0 sec. user=mdettweiler [2016-03-21 21:45:18] 765*2^1423849-1 is not prime. Res64: C25F4A4544AF5F41 Time : 0.0 sec. user=mdettweiler [2016-03-21 21:45:18] 807*2^1423849-1 is not prime. Res64: 3C6B90A9DE6B6761 Time : 0.0 sec. user=mdettweiler [2016-03-21 21:46:45] 829*2^1423849-1 is not prime. Res64: 88BF05991D53E2F1 Time : 0.0 sec. user=mdettweiler [2016-03-21 21:46:45] 677*2^1423850-1 is not prime. Res64: 08DCA9251B087D85 Time : 0.0 sec. user=mdettweiler [2016-03-21 21:46:46] 707*2^1423850-1 is not prime. Res64: 04362CAD749F0069 Time : 0.0 sec. user=mdettweiler [2016-03-21 21:46:46] 743*2^1423850-1 is not prime. Res64: A9F72E94A39DD086 Time : 0.0 sec. user=mdettweiler [2016-03-21 21:46:46] 767*2^1423850-1 is not prime. Res64: 5D811DDAB7BA3A53 Time : 0.0 sec. user=mdettweiler [2016-03-21 22:37:35] 977*2^1423850-1 is not prime. Res64: 0A348E14126CD005 Time : 0.0 sec. user=mdettweiler [2016-03-21 22:37:36] 649*2^1423851-1 is not prime. Res64: 05CCF355CEAB8CAE Time : 0.0 sec. user=mdettweiler [2016-03-21 22:37:36] 709*2^1423851-1 is not prime. Res64: 4D0D1E71AB59A4BF Time : 0.0 sec. user=mdettweiler [2016-03-21 22:37:37] 629*2^1423852-1 is not prime. Res64: 3A0728B89F6CAD44 Time : 0.0 sec. user=mdettweiler [2016-03-21 22:37:37] 735*2^1423852-1 is not prime. Res64: F3B18C2A1B2CC274 Time : 0.0 sec. user=mdettweiler [2016-03-21 22:41:41] 939*2^1423853-1 is not prime. Res64: 9C6948F54AF966A6 Time : 0.0 sec. user=mdettweiler [2016-03-21 22:41:42] 663*2^1423854-1 is not prime. Res64: A6F9A1482F538C9A Time : 0.0 sec. user=mdettweiler [2016-03-21 22:41:42] 755*2^1423854-1 is not prime. Res64: FFBBB1D05D1FC732 Time : 0.0 sec. user=mdettweiler [2016-03-21 22:41:43] 791*2^1423854-1 is not prime. Res64: A731FC3DCD23C85F Time : 0.0 sec. user=mdettweiler [2016-03-21 22:41:43] 601*2^1423855-1 is not prime. Res64: CEFF4A82EFD5B8A6 Time : 0.0 sec. user=mdettweiler [2016-03-21 22:42:46] 645*2^1423855-1 is not prime. Res64: 6543FA3472E2C633 Time : 0.0 sec. user=mdettweiler [2016-03-21 22:42:46] 661*2^1423855-1 is not prime. Res64: 619CAFD1EC856821 Time : 0.0 sec. user=mdettweiler [2016-03-21 22:42:47] 723*2^1423855-1 is not prime. Res64: D45307936D927B09 Time : 0.0 sec. user=mdettweiler [2016-03-21 22:42:47] 735*2^1423855-1 is not prime. Res64: 93D9F1644D41F2EB Time : 0.0 sec. user=mdettweiler [2016-03-21 22:42:47] 873*2^1423855-1 is not prime. Res64: 7BB22C2ABF78A9D6 Time : 0.0 sec. user=mdettweiler [2016-03-21 22:43:05] 887*2^1423852-1 is not prime. Res64: A832890E63DE66FF Time : 0.0 sec. user=mdettweiler [2016-03-21 22:43:06] 903*2^1423852-1 is not prime. Res64: 7B47AC9FF86252AB Time : 0.0 sec. user=mdettweiler [2016-03-21 22:43:06] 621*2^1423853-1 is not prime. Res64: D04B84DA64BDF4FE Time : 0.0 sec. user=mdettweiler [2016-03-21 22:43:07] 747*2^1423853-1 is not prime. Res64: ED14CA2E1AC906F5 Time : 0.0 sec. user=mdettweiler [2016-03-21 22:43:07] 925*2^1423853-1 is not prime. Res64: 292C7DCEFBBEDC06 Time : 0.0 sec. user=mdettweiler [2016-03-21 23:23:00] 895*2^1423855-1 is not prime. Res64: DD8D8149B4B9A388 Time : 0.0 sec. user=mdettweiler [2016-03-21 23:23:01] 919*2^1423855-1 is not prime. Res64: 353A528EFC90251B Time : 0.0 sec. user=mdettweiler [2016-03-21 23:23:01] 951*2^1423855-1 is not prime. Res64: 3132676BF06C9D89 Time : 0.0 sec. user=mdettweiler [2016-03-21 23:23:02] 615*2^1423856-1 is not prime. Res64: 12D1BCF82CF3BF74 Time : 0.0 sec. user=mdettweiler [2016-03-21 23:23:02] 735*2^1423856-1 is not prime. Res64: 41E7CD5151326182 Time : 0.0 sec. user=mdettweiler [2016-03-21 23:26:55] 855*2^1423856-1 is not prime. Res64: D8AA5AE600C83F12 Time : 0.0 sec. user=mdettweiler [2016-03-21 23:26:55] 875*2^1423856-1 is not prime. Res64: 87597DD5EF433338 Time : 0.0 sec. user=mdettweiler [2016-03-21 23:26:55] 935*2^1423856-1 is not prime. Res64: C636393D548C2D94 Time : 0.0 sec. user=mdettweiler [2016-03-21 23:26:56] 957*2^1423856-1 is not prime. Res64: 8A941EE5CD22A0CE Time : 0.0 sec. user=mdettweiler [2016-03-21 23:26:56] 999*2^1423856-1 is not prime. Res64: 55F1CE9D03C6E2BF Time : 0.0 sec. user=mdettweiler [2016-03-21 23:28:03] 649*2^1423857-1 is not prime. Res64: B1A59DD9A5AEB8F1 Time : 0.0 sec. user=mdettweiler [2016-03-21 23:28:03] 945*2^1423857-1 is not prime. Res64: 4C26F09014CD7F61 Time : 0.0 sec. user=mdettweiler [2016-03-21 23:28:05] 621*2^1423858-1 is not prime. Res64: CB4F5C1362B6BAF0 Time : 0.0 sec. user=mdettweiler [2016-03-21 23:28:06] 635*2^1423858-1 is not prime. Res64: ED3C2CB9073278F7 Time : 0.0 sec. user=mdettweiler [2016-03-21 23:28:06] 645*2^1423858-1 is not prime. Res64: 609C1FD5F4052CA6 Time : 0.0 sec. user=mdettweiler [2016-03-21 23:28:19] 663*2^1423858-1 is not prime. Res64: F8815BE5E7C5D9F7 Time : 0.0 sec. user=mdettweiler [2016-03-21 23:28:26] 677*2^1423858-1 is not prime. Res64: 533939409750E3F2 Time : 0.0 sec. user=mdettweiler [2016-03-21 23:28:26] 681*2^1423858-1 is not prime. Res64: F69DFCAD3ADBF781 Time : 0.0 sec. user=mdettweiler [2016-03-21 23:28:27] 743*2^1423858-1 is not prime. Res64: 5B2C1D58D7F57370 Time : 0.0 sec. user=mdettweiler [2016-03-21 23:28:27] 777*2^1423858-1 is not prime. Res64: 4AC957FB528EE831 Time : 0.0 sec. user=mdettweiler [2016-03-21 23:30:28] 827*2^1423858-1 is not prime. Res64: C7C583839B1C2A06 Time : 0.0 sec.