user=mdettweiler [2016-07-22 00:15:30] 977*2^1435830-1 is not prime. Res64: CBBDCF5EC74D6685 Time : 0.0 sec. user=mdettweiler [2016-07-22 00:15:31] 601*2^1435831-1 is not prime. Res64: 9E9E4682985FC7ED Time : 0.0 sec. user=mdettweiler [2016-07-22 00:15:32] 645*2^1435831-1 is not prime. Res64: 96042013089C7663 Time : 0.0 sec. user=mdettweiler [2016-07-22 00:15:34] 705*2^1435831-1 is not prime. Res64: E2C91617A7AC4F70 Time : 0.0 sec. user=mdettweiler [2016-07-22 00:15:36] 709*2^1435831-1 is not prime. Res64: 9BAFBE125218C052 Time : 0.0 sec. user=mdettweiler [2016-07-22 00:59:36] 843*2^1435831-1 is not prime. Res64: E0AC77E4E027756F Time : 0.0 sec. user=mdettweiler [2016-07-22 00:59:36] 883*2^1435831-1 is not prime. Res64: 7B9016805F294596 Time : 0.0 sec. user=mdettweiler [2016-07-22 00:59:36] 891*2^1435831-1 is not prime. Res64: 8780A2B3174E58F7 Time : 0.0 sec. user=mdettweiler [2016-07-22 00:59:37] 969*2^1435831-1 is not prime. Res64: 58C3D772FE984CBF Time : 0.0 sec. user=mdettweiler [2016-07-22 00:59:37] 973*2^1435831-1 is not prime. Res64: C222844F4AFE5DEB Time : 0.0 sec. user=mdettweiler [2016-07-22 01:43:54] 979*2^1435831-1 is not prime. Res64: D9D0EA673AF6E58E Time : 0.0 sec. user=mdettweiler [2016-07-22 01:43:54] 605*2^1435832-1 is not prime. Res64: 4E81338C8B71712D Time : 0.0 sec. user=mdettweiler [2016-07-22 01:43:55] 693*2^1435832-1 is not prime. Res64: 8C435F1F52D04B5B Time : 0.0 sec. user=mdettweiler [2016-07-22 01:43:55] 827*2^1435832-1 is not prime. Res64: 2C61CC24806CD106 Time : 0.0 sec. user=mdettweiler [2016-07-22 01:43:56] 833*2^1435832-1 is not prime. Res64: 738E9E47B3E588E2 Time : 0.0 sec. user=mdettweiler [2016-07-22 02:27:45] 837*2^1435832-1 is not prime. Res64: C5A8B217402B56DA Time : 0.0 sec. user=mdettweiler [2016-07-22 02:27:46] 855*2^1435832-1 is not prime. Res64: 7A162C0F37BEB412 Time : 0.0 sec. user=mdettweiler [2016-07-22 02:27:46] 867*2^1435832-1 is not prime. Res64: C74CD3384E8F500B Time : 0.0 sec. user=mdettweiler [2016-07-22 02:27:47] 945*2^1435832-1 is not prime. Res64: 05B0B263EBDA2541 Time : 0.0 sec. user=mdettweiler [2016-07-22 02:27:47] 639*2^1435833-1 is not prime. Res64: 69B438B3899F6E21 Time : 0.0 sec. user=mdettweiler [2016-07-22 03:11:37] 705*2^1435833-1 is not prime. Res64: 8FF0A06C1D852745 Time : 0.0 sec. user=mdettweiler [2016-07-22 03:11:38] 937*2^1435833-1 is not prime. Res64: E0A9DA6F98ED3DA3 Time : 0.0 sec. user=mdettweiler [2016-07-22 03:11:38] 651*2^1435834-1 is not prime. Res64: B7AE2EF74C90BE0D Time : 0.0 sec. user=mdettweiler [2016-07-22 03:11:38] 723*2^1435834-1 is not prime. Res64: 6B2CC9DF3745F0B4 Time : 0.0 sec. user=mdettweiler [2016-07-22 03:11:39] 755*2^1435834-1 is not prime. Res64: 856970B64F967928 Time : 0.0 sec. user=mdettweiler [2016-07-22 03:55:28] 783*2^1435834-1 is not prime. Res64: 0775337B07DDB565 Time : 0.0 sec. user=mdettweiler [2016-07-22 03:55:29] 903*2^1435834-1 is not prime. Res64: 361E1F16D37CE751 Time : 0.0 sec. user=mdettweiler [2016-07-22 03:55:29] 633*2^1435835-1 is not prime. Res64: B10858699F8C43C8 Time : 0.0 sec. user=mdettweiler [2016-07-22 03:55:29] 669*2^1435835-1 is not prime. Res64: C0D4D47D5286B724 Time : 0.0 sec. user=mdettweiler [2016-07-22 03:55:30] 693*2^1435835-1 is not prime. Res64: 80C20443B7A71EF0 Time : 0.0 sec. user=mdettweiler [2016-07-22 04:39:29] 909*2^1435835-1 is not prime. Res64: DA7932D5FCCD3AD3 Time : 0.0 sec. user=mdettweiler [2016-07-22 04:39:30] 979*2^1435835-1 is not prime. Res64: 19FF0D9547F60A3D Time : 0.0 sec. user=mdettweiler [2016-07-22 04:39:30] 623*2^1435836-1 is not prime. Res64: D7FBA559BE2739BA Time : 0.0 sec. user=mdettweiler [2016-07-22 04:39:30] 695*2^1435836-1 is not prime. Res64: 1EBD5CFD27428F8C Time : 0.0 sec. user=mdettweiler [2016-07-22 04:39:31] 737*2^1435836-1 is not prime. Res64: A9431B219219A72F Time : 0.0 sec. user=mdettweiler [2016-07-22 05:23:19] 749*2^1435836-1 is not prime. Res64: 7F2A64FB433A8D6F Time : 0.0 sec. user=mdettweiler [2016-07-22 05:23:19] 875*2^1435836-1 is not prime. Res64: 1A67CC7FE0DA1590 Time : 0.0 sec. user=mdettweiler [2016-07-22 05:23:20] 923*2^1435836-1 is not prime. Res64: FCEB33FA89EA03FD Time : 0.0 sec. user=mdettweiler [2016-07-22 05:23:20] 987*2^1435836-1 is not prime. Res64: F1B78EB94A2A430F Time : 0.0 sec. user=mdettweiler [2016-07-22 05:23:20] 619*2^1435837-1 is not prime. Res64: DE81B52D282945D4 Time : 0.0 sec. user=mdettweiler [2016-07-22 06:07:09] 625*2^1435837-1 is not prime. Res64: D11E34A73B4AC879 Time : 0.0 sec. user=mdettweiler [2016-07-22 06:07:10] 769*2^1435837-1 is not prime. Res64: DB23E7172E97E87E Time : 0.0 sec. user=mdettweiler [2016-07-22 06:07:12] 939*2^1435837-1 is not prime. Res64: DFF4B5054A9D56F0 Time : 0.0 sec. user=mdettweiler [2016-07-22 06:07:13] 627*2^1435838-1 is not prime. Res64: 87F5DA4D4B43332B Time : 0.0 sec. user=mdettweiler [2016-07-22 06:07:14] 665*2^1435838-1 is not prime. Res64: 7F5B4DAFE894C226 Time : 0.0 sec. user=mdettweiler [2016-07-22 06:51:11] 801*2^1435838-1 is not prime. Res64: 024D0BD63F2C2D93 Time : 0.0 sec. user=mdettweiler [2016-07-22 06:51:12] 815*2^1435838-1 is not prime. Res64: 27E22DCD6E5DAE62 Time : 0.0 sec. user=mdettweiler [2016-07-22 06:51:12] 857*2^1435838-1 is not prime. Res64: 362E75C5EC4B8724 Time : 0.0 sec. user=mdettweiler [2016-07-22 06:51:13] 885*2^1435838-1 is not prime. Res64: 528B1F611BFFBFAC Time : 0.0 sec. user=mdettweiler [2016-07-22 06:51:13] 935*2^1435838-1 is not prime. Res64: BA30204A5DE6A366 Time : 0.0 sec. user=mdettweiler [2016-07-22 07:35:00] 971*2^1435838-1 is not prime. Res64: EDC4F52E1F894F99 Time : 0.0 sec. user=mdettweiler [2016-07-22 07:35:01] 615*2^1435839-1 is not prime. Res64: 227322454685EA63 Time : 0.0 sec. user=mdettweiler [2016-07-22 07:35:01] 663*2^1435839-1 is not prime. Res64: 5D8BAC75615D2339 Time : 0.0 sec. user=mdettweiler [2016-07-22 07:35:01] 685*2^1435839-1 is not prime. Res64: 2912B1A705848ABF Time : 0.0 sec. user=mdettweiler [2016-07-22 07:35:02] 703*2^1435839-1 is not prime. Res64: B69341EA8CFAE0AC Time : 0.0 sec. user=mdettweiler [2016-07-22 08:18:52] 853*2^1435839-1 is not prime. Res64: 6F716E916E8AD50A Time : 0.0 sec. user=mdettweiler [2016-07-22 08:18:53] 885*2^1435839-1 is not prime. Res64: 4D3A269F6D6DE110 Time : 0.0 sec. user=mdettweiler [2016-07-22 08:18:53] 969*2^1435839-1 is not prime. Res64: 6D77954A47788DBE Time : 0.0 sec. user=mdettweiler [2016-07-22 08:18:54] 999*2^1435839-1 is not prime. Res64: 4B876BEBADC46B1D Time : 0.0 sec. user=mdettweiler [2016-07-22 08:18:54] 653*2^1435840-1 is not prime. Res64: B1F5FB55642EA864 Time : 0.0 sec. user=mdettweiler [2016-07-22 09:02:43] 665*2^1435840-1 is not prime. Res64: D2A81F88DA88C558 Time : 0.0 sec. user=mdettweiler [2016-07-22 09:02:45] 677*2^1435840-1 is not prime. Res64: 686D5634270C3FFB Time : 0.0 sec. user=mdettweiler [2016-07-22 09:02:46] 713*2^1435840-1 is not prime. Res64: B6267715531B29DC Time : 0.0 sec. user=mdettweiler [2016-07-22 09:02:49] 827*2^1435840-1 is not prime. Res64: FD8C1653B6CBC10A Time : 0.0 sec. user=mdettweiler [2016-07-22 09:02:51] 855*2^1435840-1 is not prime. Res64: BD9F66CAEECEBF67 Time : 0.0 sec. user=mdettweiler [2016-07-22 09:46:42] 857*2^1435840-1 is not prime. Res64: 986510DD6061962F Time : 0.0 sec. user=mdettweiler [2016-07-22 09:46:43] 887*2^1435840-1 is not prime. Res64: C2D78B4A6BB10777 Time : 0.0 sec. user=mdettweiler [2016-07-22 09:46:43] 939*2^1435840-1 is not prime. Res64: B14DAB0BBC0D96B5 Time : 0.0 sec. user=mdettweiler [2016-07-22 09:46:44] 811*2^1435841-1 is not prime. Res64: 94404EFD3023D9FD Time : 0.0 sec. user=mdettweiler [2016-07-22 09:46:44] 889*2^1435841-1 is not prime. Res64: B14A4569AC89FEF9 Time : 0.0 sec. user=mdettweiler [2016-07-22 10:30:32] 931*2^1435841-1 is not prime. Res64: 6C7AC16B841DCDD7 Time : 0.0 sec. user=mdettweiler [2016-07-22 10:30:32] 937*2^1435841-1 is not prime. Res64: A33029778E22D3A5 Time : 0.0 sec. user=mdettweiler [2016-07-22 10:30:33] 945*2^1435841-1 is not prime. Res64: 300B6702654D393E Time : 0.0 sec. user=mdettweiler [2016-07-22 10:30:33] 949*2^1435841-1 is not prime. Res64: 79A52368D365868D Time : 0.0 sec. user=mdettweiler [2016-07-22 10:30:34] 681*2^1435842-1 is not prime. Res64: 8AA824C16E34F675 Time : 0.0 sec. user=juhehe [2016-07-22 10:56:09] 717*2^1435842-1 is not prime. Res64: D1F6FEE5ECE7BD06 Time : 0.0 sec. user=mdettweiler [2016-07-22 11:14:20] 737*2^1435842-1 is not prime. Res64: D8F9E37852694399 Time : 0.0 sec. user=mdettweiler [2016-07-22 11:14:23] 755*2^1435842-1 is not prime. Res64: 26F2AEECCD3ECAE8 Time : 0.0 sec. user=mdettweiler [2016-07-22 11:14:25] 915*2^1435842-1 is not prime. Res64: 85034871EA740B5D Time : 0.0 sec. user=mdettweiler [2016-07-22 11:14:27] 923*2^1435842-1 is not prime. Res64: AE8CE2B10AF108EE Time : 0.0 sec. user=mdettweiler [2016-07-22 11:14:29] 615*2^1435843-1 is not prime. Res64: B60B22B6F57722CF Time : 0.0 sec. user=mdettweiler [2016-07-22 11:58:20] 679*2^1435843-1 is not prime. Res64: 7B1240168E644679 Time : 0.0 sec. user=mdettweiler [2016-07-22 11:58:20] 859*2^1435843-1 is not prime. Res64: 3867DC5904FEBAC7 Time : 0.0 sec. user=mdettweiler [2016-07-22 11:58:20] 901*2^1435843-1 is not prime. Res64: 9C618B75E96CD045 Time : 0.0 sec. user=mdettweiler [2016-07-22 11:58:21] 617*2^1435844-1 is not prime. Res64: 5D8C4A09E5576E1F Time : 0.0 sec. user=mdettweiler [2016-07-22 11:58:21] 945*2^1435844-1 is not prime. Res64: 2A621A4284DD46E1 Time : 0.0 sec. user=mdettweiler [2016-07-22 12:42:08] 983*2^1435844-1 is not prime. Res64: 31B88D5F67B300F6 Time : 0.0 sec. user=mdettweiler [2016-07-22 12:42:08] 625*2^1435845-1 is not prime. Res64: CBF31E70C9F8CC60 Time : 0.0 sec. user=mdettweiler [2016-07-22 12:42:08] 627*2^1435845-1 is not prime. Res64: 004BAC784D539AE9 Time : 0.0 sec. user=mdettweiler [2016-07-22 12:42:09] 649*2^1435845-1 is not prime. Res64: 1F7F27A2A25CB0AC Time : 0.0 sec. user=mdettweiler [2016-07-22 12:42:09] 685*2^1435845-1 is not prime. Res64: 414BF898A7FFFC45 Time : 0.0 sec. user=mdettweiler [2016-07-22 13:26:00] 915*2^1435845-1 is not prime. Res64: FE637BA6DB2D0844 Time : 0.0 sec. user=mdettweiler [2016-07-22 13:26:01] 955*2^1435845-1 is not prime. Res64: 1839FD187B8D887B Time : 0.0 sec. user=mdettweiler [2016-07-22 13:26:01] 961*2^1435845-1 is not prime. Res64: 498408F1F0A30E90 Time : 0.0 sec. user=mdettweiler [2016-07-22 13:26:01] 991*2^1435845-1 is not prime. Res64: 0497C6BC3EEA978C Time : 0.0 sec. user=mdettweiler [2016-07-22 13:26:02] 999*2^1435845-1 is not prime. Res64: F9537E7ADD005609 Time : 0.0 sec. user=mdettweiler [2016-07-22 14:09:52] 647*2^1435846-1 is not prime. Res64: D130FFA8B6E4BF1D Time : 0.0 sec. user=mdettweiler [2016-07-22 14:09:55] 723*2^1435846-1 is not prime. Res64: DCF39F89DF8C494D Time : 0.0 sec. user=mdettweiler [2016-07-22 14:09:59] 873*2^1435846-1 is not prime. Res64: 4891229D4BB15F79 Time : 0.0 sec. user=mdettweiler [2016-07-22 14:10:02] 983*2^1435846-1 is not prime. Res64: 432F57E6D6000DB3 Time : 0.0 sec. user=mdettweiler [2016-07-22 14:10:06] 993*2^1435846-1 is not prime. Res64: 3416BF155C1DF1C1 Time : 0.0 sec. user=mdettweiler [2016-07-22 14:53:55] 693*2^1435847-1 is not prime. Res64: D1D573113150AAEB Time : 0.0 sec. user=mdettweiler [2016-07-22 14:53:56] 741*2^1435847-1 is not prime. Res64: 5902A8C9D9B912D3 Time : 0.0 sec. user=mdettweiler [2016-07-22 14:53:56] 823*2^1435847-1 is not prime. Res64: F52474942979757C Time : 0.0 sec. user=mdettweiler [2016-07-22 14:53:57] 895*2^1435847-1 is not prime. Res64: 9ACD7CE0C3EE3003 Time : 0.0 sec. user=mdettweiler [2016-07-22 14:53:57] 949*2^1435847-1 is not prime. Res64: 958FC9EF7AFA45FE Time : 0.0 sec. user=mdettweiler [2016-07-22 15:38:16] 707*2^1435848-1 is not prime. Res64: A30C7498B77828BD Time : 0.0 sec. user=mdettweiler [2016-07-22 15:38:16] 735*2^1435848-1 is not prime. Res64: 57A24D2E8A66E55B Time : 0.0 sec. user=mdettweiler [2016-07-22 15:38:17] 767*2^1435848-1 is not prime. Res64: B7D486F34F95D3F8 Time : 0.0 sec. user=mdettweiler [2016-07-22 15:38:17] 601*2^1435849-1 is not prime. Res64: 1153C45127FEF4CD Time : 0.0 sec. user=mdettweiler [2016-07-22 15:38:17] 819*2^1435849-1 is not prime. Res64: 5AAB7DA5FFCAD4C0 Time : 0.0 sec. user=mdettweiler [2016-07-22 16:22:21] 885*2^1435849-1 is not prime. Res64: ECF6F4814A85171A Time : 0.0 sec. user=mdettweiler [2016-07-22 16:22:25] 897*2^1435849-1 is not prime. Res64: D79FDA1DD54CB310 Time : 0.0 sec. user=mdettweiler [2016-07-22 16:22:28] 633*2^1435850-1 is not prime. Res64: 9E9CFA6A050A8C58 Time : 0.0 sec. user=mdettweiler [2016-07-22 16:22:32] 743*2^1435850-1 is not prime. Res64: 5383C45637D60E57 Time : 0.0 sec. user=mdettweiler [2016-07-22 16:22:35] 867*2^1435850-1 is not prime. Res64: A3E13FF905F05D73 Time : 0.0 sec. user=mdettweiler [2016-07-22 17:06:30] 911*2^1435850-1 is not prime. Res64: A84DFC197DB9FFFC Time : 0.0 sec. user=mdettweiler [2016-07-22 17:06:30] 917*2^1435850-1 is not prime. Res64: FFE4EE71A261A51D Time : 0.0 sec. user=mdettweiler [2016-07-22 17:06:31] 923*2^1435850-1 is not prime. Res64: D86296B3FF1ED9ED Time : 0.0 sec. user=mdettweiler [2016-07-22 17:06:31] 935*2^1435850-1 is not prime. Res64: 8456839EC9805F70 Time : 0.0 sec. user=mdettweiler [2016-07-22 17:06:31] 977*2^1435850-1 is not prime. Res64: 3F70E535F1F5F649 Time : 0.0 sec. user=mdettweiler [2016-07-22 17:50:23] 975*2^1435851-1 is not prime. Res64: 07296C3C96ADC74C Time : 0.0 sec. user=mdettweiler [2016-07-22 17:50:23] 603*2^1435852-1 is not prime. Res64: 7CA0D20BD7C132E2 Time : 0.0 sec. user=mdettweiler [2016-07-22 17:50:23] 609*2^1435852-1 is not prime. Res64: FACB50FB644C4D37 Time : 0.0 sec. user=mdettweiler [2016-07-22 17:50:24] 623*2^1435852-1 is not prime. Res64: EDFAB7F2EB1F0D69 Time : 0.0 sec. user=mdettweiler [2016-07-22 17:50:24] 657*2^1435852-1 is not prime. Res64: 215F4DCAFF27A8EE Time : 0.0 sec. user=mdettweiler [2016-07-22 18:34:13] 719*2^1435852-1 is not prime. Res64: 7BA78FCE606C80A5 Time : 0.0 sec. user=mdettweiler [2016-07-22 18:34:17] 743*2^1435852-1 is not prime. Res64: 1D35F6B7A454C657 Time : 0.0 sec. user=mdettweiler [2016-07-22 18:34:20] 803*2^1435852-1 is not prime. Res64: D13F3681DB790D0A Time : 0.0 sec. user=mdettweiler [2016-07-22 18:34:21] 873*2^1435852-1 is not prime. Res64: 256352536A027903 Time : 0.0 sec. user=mdettweiler [2016-07-22 18:34:21] 957*2^1435852-1 is not prime. Res64: F09783E018DD0A77 Time : 0.0 sec. user=mdettweiler [2016-07-22 19:18:09] 619*2^1435853-1 is not prime. Res64: AC260C1732125C7C Time : 0.0 sec. user=mdettweiler [2016-07-22 19:18:09] 621*2^1435853-1 is not prime. Res64: E6027F4144197B64 Time : 0.0 sec. user=mdettweiler [2016-07-22 19:18:10] 675*2^1435853-1 is not prime. Res64: 662133118B62D305 Time : 0.0 sec. user=mdettweiler [2016-07-22 19:18:10] 697*2^1435853-1 is not prime. Res64: B8BC7E6F866C81A1 Time : 0.0 sec. user=mdettweiler [2016-07-22 19:18:11] 801*2^1435853-1 is not prime. Res64: 9F923E5595D0F042 Time : 0.0 sec. user=mdettweiler [2016-07-22 20:02:01] 811*2^1435853-1 is not prime. Res64: E81A882ADB5C7044 Time : 0.0 sec. user=mdettweiler [2016-07-22 20:02:02] 671*2^1435854-1 is not prime. Res64: D4974C9A6D2252C0 Time : 0.0 sec. user=mdettweiler [2016-07-22 20:02:03] 725*2^1435854-1 is not prime. Res64: FE1BC4BCC5F3E186 Time : 0.0 sec. user=mdettweiler [2016-07-22 20:02:03] 731*2^1435854-1 is not prime. Res64: 652364E4F1169445 Time : 0.0 sec. user=mdettweiler [2016-07-22 20:02:04] 751*2^1435855-1 is not prime. Res64: 7F1C63AF7C42F3F4 Time : 0.0 sec. user=mdettweiler [2016-07-22 20:46:04] 771*2^1435855-1 is not prime. Res64: D637E9F807F7F0C8 Time : 0.0 sec. user=mdettweiler [2016-07-22 20:46:04] 985*2^1435855-1 is not prime. Res64: 5C54AD7BCB03F7DC Time : 0.0 sec. user=mdettweiler [2016-07-22 20:46:04] 903*2^1435856-1 is not prime. Res64: 822713D724C63DEC Time : 0.0 sec. user=mdettweiler [2016-07-22 20:46:05] 917*2^1435856-1 is not prime. Res64: E5B6DCFC15C6243D Time : 0.0 sec. user=mdettweiler [2016-07-22 20:46:05] 983*2^1435856-1 is not prime. Res64: 4BCE53216C0CEDC4 Time : 0.0 sec. user=mdettweiler [2016-07-22 21:29:56] 675*2^1435857-1 is not prime. Res64: 29B35AC98E059895 Time : 0.0 sec. user=mdettweiler [2016-07-22 21:29:56] 699*2^1435857-1 is not prime. Res64: 8822ECA43C35AE87 Time : 0.0 sec. user=mdettweiler [2016-07-22 21:29:56] 889*2^1435857-1 is not prime. Res64: AE2972300B593FEF Time : 0.0 sec. user=mdettweiler [2016-07-22 21:29:57] 937*2^1435857-1 is not prime. Res64: FA05DD9F44916463 Time : 0.0 sec. user=mdettweiler [2016-07-22 21:29:57] 945*2^1435857-1 is not prime. Res64: 38800AB4C40E2D7C Time : 0.0 sec. user=mdettweiler [2016-07-22 22:13:55] 949*2^1435857-1 is not prime. Res64: 10DCC79D78428003 Time : 0.0 sec. user=mdettweiler [2016-07-22 22:13:56] 979*2^1435857-1 is not prime. Res64: B466E8F3F74544D5 Time : 0.0 sec. user=mdettweiler [2016-07-22 22:14:01] 831*2^1435858-1 is not prime. Res64: 2654A8A156ED3B51 Time : 0.0 sec. user=mdettweiler [2016-07-22 22:14:01] 941*2^1435858-1 is not prime. Res64: DF2D860B5FAE765B Time : 0.0 sec. user=mdettweiler [2016-07-22 22:14:06] 945*2^1435858-1 is not prime. Res64: 99116841F56DD409 Time : 0.0 sec. user=mdettweiler [2016-07-22 22:58:06] 987*2^1435858-1 is not prime. Res64: 1391697942C788A8 Time : 0.0 sec. user=mdettweiler [2016-07-22 22:58:06] 1001*2^1435858-1 is not prime. Res64: 8D8A0D2F171B9C12 Time : 0.0 sec. user=mdettweiler [2016-07-22 22:58:07] 621*2^1435859-1 is not prime. Res64: 2EAAAA47FDB02EC2 Time : 0.0 sec. user=mdettweiler [2016-07-22 22:58:07] 645*2^1435859-1 is not prime. Res64: 4A5BAA7CB70F4755 Time : 0.0 sec. user=mdettweiler [2016-07-22 22:58:07] 735*2^1435859-1 is not prime. Res64: 6091B07440EED180 Time : 0.0 sec. user=juhehe [2016-07-22 23:16:06] 771*2^1435859-1 is not prime. Res64: 27B0FA492D8DD005 Time : 0.0 sec. user=mdettweiler [2016-07-22 23:41:55] 841*2^1435859-1 is not prime. Res64: 9E0AC264475BD7E9 Time : 0.0 sec. user=mdettweiler [2016-07-22 23:41:58] 859*2^1435859-1 is not prime. Res64: 3C9CAA1CE970AA20 Time : 0.0 sec. user=mdettweiler [2016-07-22 23:41:59] 939*2^1435859-1 is not prime. Res64: 11F12FBFFA2A1DB5 Time : 0.0 sec. user=mdettweiler [2016-07-22 23:42:02] 949*2^1435859-1 is not prime. Res64: 919E3603F0ACBF15 Time : 0.0 sec. user=mdettweiler [2016-07-22 23:42:05] 991*2^1435859-1 is not prime. Res64: 697443251D0B3307 Time : 0.0 sec.