user=mdettweiler [2015-07-05 00:13:19] 817*2^1402201-1 is not prime. Res64: 2AAC8DE6DE032074 Time : 0.0 sec. user=mdettweiler [2015-07-05 00:13:19] 937*2^1402201-1 is not prime. Res64: 652242D7C199C76C Time : 0.0 sec. user=mdettweiler [2015-07-05 00:17:18] 957*2^1402201-1 is not prime. Res64: E0FFF9143E8240CD Time : 0.0 sec. user=mdettweiler [2015-07-05 00:17:19] 635*2^1402202-1 is not prime. Res64: 916B203CFB4FBC74 Time : 0.0 sec. user=mdettweiler [2015-07-05 00:17:19] 683*2^1402202-1 is not prime. Res64: B8948121FA2786E7 Time : 0.0 sec. user=mdettweiler [2015-07-05 00:17:20] 797*2^1402202-1 is not prime. Res64: BDAB7916CCE15244 Time : 0.0 sec. user=mdettweiler [2015-07-05 00:30:45] 815*2^1402202-1 is not prime. Res64: 94AEC4FD114BE4FF Time : 0.0 sec. user=mdettweiler [2015-07-05 00:30:45] 935*2^1402202-1 is not prime. Res64: C7B3C5B8577342F0 Time : 0.0 sec. user=mdettweiler [2015-07-05 00:34:41] 951*2^1402202-1 is not prime. Res64: 33BB96C41789BFFC Time : 0.0 sec. user=mdettweiler [2015-07-05 00:34:41] 621*2^1402203-1 is not prime. Res64: 09CF22668615A48B Time : 0.0 sec. user=mdettweiler [2015-07-05 00:34:42] 751*2^1402203-1 is not prime. Res64: 2E0B54EBAEC3F095 Time : 0.0 sec. user=mdettweiler [2015-07-05 00:34:43] 765*2^1402203-1 is not prime. Res64: 7D4BCA7FBE519113 Time : 0.0 sec. user=mdettweiler [2015-07-05 00:48:09] 793*2^1402203-1 is not prime. Res64: 36A06EE52DD97F3F Time : 0.0 sec. user=mdettweiler [2015-07-05 00:48:10] 871*2^1402203-1 is not prime. Res64: 78BD4680C6C56FFE Time : 0.0 sec. user=mdettweiler [2015-07-05 00:52:05] 879*2^1402203-1 is not prime. Res64: 40A98361A0A4159D Time : 0.0 sec. user=mdettweiler [2015-07-05 00:52:05] 695*2^1402204-1 is not prime. Res64: AE2398EDD4D762EE Time : 0.0 sec. user=mdettweiler [2015-07-05 00:52:07] 719*2^1402204-1 is not prime. Res64: 3F715103FECE1AAF Time : 0.0 sec. user=mdettweiler [2015-07-05 00:52:07] 723*2^1402204-1 is not prime. Res64: 796BCCC2DA0D24B9 Time : 0.0 sec. user=mdettweiler [2015-07-05 01:05:34] 855*2^1402204-1 is not prime. Res64: DFC9153E3E4515BA Time : 0.0 sec. user=mdettweiler [2015-07-05 01:05:34] 607*2^1402205-1 is not prime. Res64: 1C9A9F64A644AA89 Time : 0.0 sec. user=mdettweiler [2015-07-05 01:09:28] 675*2^1402205-1 is not prime. Res64: 3E38639A29DB90BA Time : 0.0 sec. user=mdettweiler [2015-07-05 01:09:29] 691*2^1402205-1 is not prime. Res64: 357C680FD3E65E7C Time : 0.0 sec. user=mdettweiler [2015-07-05 01:09:29] 939*2^1402205-1 is not prime. Res64: 2789B437F118D462 Time : 0.0 sec. user=mdettweiler [2015-07-05 01:09:30] 761*2^1402206-1 is not prime. Res64: EB7A2A56C799E46F Time : 0.0 sec. user=mdettweiler [2015-07-05 01:22:59] 893*2^1402206-1 is not prime. Res64: 6FED2BA49A1B3208 Time : 0.0 sec. user=mdettweiler [2015-07-05 01:22:59] 971*2^1402206-1 is not prime. Res64: 35C4C377B9EF6A76 Time : 0.0 sec. user=mdettweiler [2015-07-05 01:26:50] 693*2^1402207-1 is not prime. Res64: 5669AFDCCAF7C910 Time : 0.0 sec. user=mdettweiler [2015-07-05 01:26:51] 885*2^1402207-1 is not prime. Res64: 52211380B61B6B2F Time : 0.0 sec. user=mdettweiler [2015-07-05 01:26:52] 629*2^1402208-1 is not prime. Res64: 3AB07CDC1E8BF0A1 Time : 0.0 sec. user=mdettweiler [2015-07-05 01:26:52] 793*2^1402207-1 is not prime. Res64: D08F3C9F07BEA862 Time : 0.0 sec. user=mdettweiler [2015-07-05 01:40:24] 665*2^1402208-1 is not prime. Res64: F2EC922D20E38615 Time : 0.0 sec. user=mdettweiler [2015-07-05 01:40:24] 713*2^1402208-1 is not prime. Res64: 5664030B2A087314 Time : 0.0 sec. user=mdettweiler [2015-07-05 01:44:38] 795*2^1402208-1 is not prime. Res64: 5E7028DF4CA68E91 Time : 0.0 sec. user=mdettweiler [2015-07-05 01:44:39] 867*2^1402208-1 is not prime. Res64: 3320EB4C8EC15F66 Time : 0.0 sec. user=mdettweiler [2015-07-05 01:44:44] 875*2^1402208-1 is not prime. Res64: 2C83FB0DBCB2AC4C Time : 0.0 sec. user=mdettweiler [2015-07-05 01:44:45] 893*2^1402208-1 is not prime. Res64: 60DD2ED854CE9E31 Time : 0.0 sec. user=mdettweiler [2015-07-05 01:57:46] 609*2^1402209-1 is not prime. Res64: 990982875855D0BC Time : 0.0 sec. user=mdettweiler [2015-07-05 01:57:47] 649*2^1402209-1 is not prime. Res64: 8C40BBBA79037CE0 Time : 0.0 sec. user=mdettweiler [2015-07-05 02:02:03] 657*2^1402209-1 is not prime. Res64: 96E2223DD1D54267 Time : 0.0 sec. user=mdettweiler [2015-07-05 02:02:05] 751*2^1402209-1 is not prime. Res64: F036727C90BFB8D7 Time : 0.0 sec. user=mdettweiler [2015-07-05 02:02:09] 787*2^1402209-1 is not prime. Res64: 11B5DAB0089DFC56 Time : 0.0 sec. user=mdettweiler [2015-07-05 02:02:09] 795*2^1402209-1 is not prime. Res64: AFE8D3410D21E75F Time : 0.0 sec. user=mdettweiler [2015-07-05 02:15:09] 847*2^1402209-1 is not prime. Res64: 1448A4E41CB7ACDE Time : 0.0 sec. user=mdettweiler [2015-07-05 02:15:09] 951*2^1402209-1 is not prime. Res64: C8D88E48D27EE43F Time : 0.0 sec. user=S_K_ [2015-07-05 02:17:50] 755*2^1402204-1 is not prime. Res64: FA0BEC1A5DD331FD Time : 0.0 sec. user=mdettweiler [2015-07-05 02:19:29] 635*2^1402210-1 is not prime. Res64: CF4EAAAE9D088753 Time : 0.0 sec. user=mdettweiler [2015-07-05 02:19:29] 645*2^1402210-1 is not prime. Res64: 244CBFDC4F887B86 Time : 0.0 sec. user=mdettweiler [2015-07-05 02:19:31] 665*2^1402210-1 is not prime. Res64: D4067BCC96E8E33A Time : 0.0 sec. user=mdettweiler [2015-07-05 02:19:32] 701*2^1402210-1 is not prime. Res64: C7BF26FBAA096495 Time : 0.0 sec. user=mdettweiler [2015-07-05 02:32:34] 747*2^1402210-1 is not prime. Res64: 1CE4914F84890104 Time : 0.0 sec. user=mdettweiler [2015-07-05 02:36:56] 783*2^1402210-1 is not prime. Res64: B7DF0339DEB2B3AD Time : 0.0 sec. user=mdettweiler [2015-07-05 02:36:57] 857*2^1402210-1 is not prime. Res64: 8F011CD3B6ADB727 Time : 0.0 sec. user=mdettweiler [2015-07-05 02:36:57] 975*2^1402210-1 is not prime. Res64: CA90E7BC785CD604 Time : 0.0 sec. user=mdettweiler [2015-07-05 02:36:58] 705*2^1402211-1 is not prime. Res64: 10921571783DAD63 Time : 0.0 sec. user=mdettweiler [2015-07-05 02:54:44] 715*2^1402211-1 is not prime. Res64: 9FBEB70DA9EFACD7 Time : 0.0 sec. user=mdettweiler [2015-07-05 02:54:44] 801*2^1402211-1 is not prime. Res64: 1109529C3DD5C3FE Time : 0.0 sec. user=mdettweiler [2015-07-05 02:54:44] 943*2^1402211-1 is not prime. Res64: C4D7B2E71E4709F3 Time : 0.0 sec. user=mdettweiler [2015-07-05 02:54:45] 657*2^1402212-1 is not prime. Res64: 596723CE589BDCAC Time : 0.0 sec. user=mdettweiler [2015-07-05 03:12:19] 909*2^1402212-1 is not prime. Res64: 8C9E746636D5CF93 Time : 0.0 sec. user=mdettweiler [2015-07-05 03:12:19] 923*2^1402212-1 is not prime. Res64: 2BAA2A33BBA29CCA Time : 0.0 sec. user=mdettweiler [2015-07-05 03:12:20] 723*2^1402212-1 is not prime. Res64: 97EFDA9D1D9940D6 Time : 0.0 sec. user=mdettweiler [2015-07-05 03:12:21] 899*2^1402212-1 is not prime. Res64: 13766F4162502468 Time : 0.0 sec. user=mdettweiler [2015-07-05 03:27:58] 765*2^1402210-1 is not prime. Res64: CC084B1DB7927F7C Time : 0.0 sec. user=mdettweiler [2015-07-05 03:29:48] 649*2^1402213-1 is not prime. Res64: 7A0943F69E428DE0 Time : 0.0 sec. user=mdettweiler [2015-07-05 03:29:49] 721*2^1402213-1 is not prime. Res64: C0A2FF27CA294D31 Time : 0.0 sec. user=mdettweiler [2015-07-05 03:29:57] 729*2^1402213-1 is not prime. Res64: FE1AC42E040B3B8A Time : 0.0 sec. user=mdettweiler [2015-07-05 03:29:58] 771*2^1402213-1 is not prime. Res64: E63803FFFBCE6B42 Time : 0.0 sec. user=mdettweiler [2015-07-05 03:45:39] 801*2^1402213-1 is not prime. Res64: 2114F49D2C16A894 Time : 0.0 sec. user=mdettweiler [2015-07-05 03:45:41] 877*2^1402213-1 is not prime. Res64: 8C60C3F76E65F471 Time : 0.0 sec. user=mdettweiler [2015-07-05 03:47:14] 939*2^1402213-1 is not prime. Res64: 17D748D2F000BF2E Time : 0.0 sec. user=mdettweiler [2015-07-05 03:47:15] 665*2^1402214-1 is not prime. Res64: 53CCBE0260990A92 Time : 0.0 sec. user=mdettweiler [2015-07-05 03:47:23] 731*2^1402214-1 is not prime. Res64: 903E6444CAC68198 Time : 0.0 sec. user=mdettweiler [2015-07-05 03:47:24] 773*2^1402214-1 is not prime. Res64: 53202310B0EDEED2 Time : 0.0 sec. user=mdettweiler [2015-07-05 04:03:17] 861*2^1402214-1 is not prime. Res64: 7314A55A8A20F385 Time : 0.0 sec. user=mdettweiler [2015-07-05 04:03:18] 885*2^1402214-1 is not prime. Res64: 3DAA90FC7AE388FA Time : 0.0 sec. user=mdettweiler [2015-07-05 04:04:47] 981*2^1402214-1 is not prime. Res64: CE312113AE8F2092 Time : 0.0 sec. user=mdettweiler [2015-07-05 04:04:48] 987*2^1402214-1 is not prime. Res64: 25D5EEA66A29ED34 Time : 0.0 sec. user=mdettweiler [2015-07-05 04:04:50] 993*2^1402214-1 is not prime. Res64: CA1E9D882587751E Time : 0.0 sec. user=mdettweiler [2015-07-05 04:04:50] 625*2^1402215-1 is not prime. Res64: CF38C7D25B3BF628 Time : 0.0 sec. user=mdettweiler [2015-07-05 04:21:07] 643*2^1402215-1 is not prime. Res64: A487DB3B7BA63649 Time : 0.0 sec. user=mdettweiler [2015-07-05 04:21:07] 831*2^1402215-1 is not prime. Res64: E06406D34C11497C Time : 0.0 sec. user=mdettweiler [2015-07-05 04:22:22] 853*2^1402215-1 is not prime. Res64: FBB9747B6826859C Time : 0.0 sec. user=mdettweiler [2015-07-05 04:22:23] 871*2^1402215-1 is not prime. Res64: BDBBC2DB897A8580 Time : 0.0 sec. user=mdettweiler [2015-07-05 04:22:23] 943*2^1402215-1 is not prime. Res64: 7C3ECA24C2B09CB9 Time : 0.0 sec. user=mdettweiler [2015-07-05 04:22:23] 985*2^1402215-1 is not prime. Res64: A5A99962018F0B07 Time : 0.0 sec. user=mdettweiler [2015-07-05 04:38:44] 875*2^1402216-1 is not prime. Res64: F3B70F1F25031BF4 Time : 0.0 sec. user=mdettweiler [2015-07-05 04:38:44] 939*2^1402216-1 is not prime. Res64: AA6F69C2DBFB3685 Time : 0.0 sec. user=mdettweiler [2015-07-05 04:39:56] 975*2^1402216-1 is not prime. Res64: 3D7C1F914A2F5F18 Time : 0.0 sec. user=mdettweiler [2015-07-05 04:39:56] 993*2^1402216-1 is not prime. Res64: F4528E89275621B3 Time : 0.0 sec. user=mdettweiler [2015-07-05 04:40:01] 685*2^1402217-1 is not prime. Res64: 50EB73249275B810 Time : 0.0 sec. user=mdettweiler [2015-07-05 04:40:01] 711*2^1402217-1 is not prime. Res64: 22F08C24488AC721 Time : 0.0 sec. user=mdettweiler [2015-07-05 04:56:19] 759*2^1402217-1 is not prime. Res64: 9D73938AB0F68E05 Time : 0.0 sec. user=mdettweiler [2015-07-05 04:56:19] 937*2^1402217-1 is not prime. Res64: 930F93C48DA8EB4B Time : 0.0 sec. user=mdettweiler [2015-07-05 04:57:25] 939*2^1402217-1 is not prime. Res64: 34394884170A9AC7 Time : 0.0 sec. user=mdettweiler [2015-07-05 04:57:26] 949*2^1402217-1 is not prime. Res64: 41EA21DB03448267 Time : 0.0 sec. user=mdettweiler [2015-07-05 04:57:32] 955*2^1402217-1 is not prime. Res64: A87FD60BD13317A2 Time : 0.0 sec. user=mdettweiler [2015-07-05 04:57:32] 695*2^1402218-1 is not prime. Res64: 5D8FC6D25BAE907F Time : 0.0 sec. user=mdettweiler [2015-07-05 05:13:54] 801*2^1402218-1 is not prime. Res64: 72480D659B21028D Time : 0.0 sec. user=mdettweiler [2015-07-05 05:13:55] 803*2^1402218-1 is not prime. Res64: 95BE61E68194688F Time : 0.0 sec. user=mdettweiler [2015-07-05 05:14:56] 821*2^1402218-1 is not prime. Res64: 273B576FEE3F612E Time : 0.0 sec. user=mdettweiler [2015-07-05 05:14:56] 861*2^1402218-1 is not prime. Res64: 162F85C6B7A60726 Time : 0.0 sec. user=mdettweiler [2015-07-05 05:15:02] 975*2^1402218-1 is not prime. Res64: 7649DFEAA46C0DA9 Time : 0.0 sec. user=mdettweiler [2015-07-05 05:15:03] 977*2^1402218-1 is not prime. Res64: C6FF2F0800C76623 Time : 0.0 sec. user=mdettweiler [2015-07-05 05:31:24] 1001*2^1402218-1 is not prime. Res64: 9BFFEE1DF9B182D7 Time : 0.0 sec. user=mdettweiler [2015-07-05 05:31:25] 603*2^1402219-1 is not prime. Res64: 37D83373C0758833 Time : 0.0 sec. user=mdettweiler [2015-07-05 05:32:19] 615*2^1402219-1 is not prime. Res64: 3B0028FBBAD661D1 Time : 0.0 sec. user=mdettweiler [2015-07-05 05:32:19] 709*2^1402219-1 is not prime. Res64: 2B85C3CD7273B21F Time : 0.0 sec. user=mdettweiler [2015-07-05 05:32:27] 853*2^1402219-1 is not prime. Res64: 8FC2370A3CCFB890 Time : 0.0 sec. user=mdettweiler [2015-07-05 05:32:27] 975*2^1402219-1 is not prime. Res64: 63CF5CFB9220373F Time : 0.0 sec. user=mdettweiler [2015-07-05 05:48:46] 605*2^1402220-1 is not prime. Res64: 777B124B191574E9 Time : 0.0 sec. user=mdettweiler [2015-07-05 05:48:46] 659*2^1402220-1 is not prime. Res64: 898D66E2F9C67127 Time : 0.0 sec. user=mdettweiler [2015-07-05 05:49:40] 707*2^1402220-1 is not prime. Res64: A2F8F9EF6DDFC1ED Time : 0.0 sec. user=mdettweiler [2015-07-05 05:49:40] 735*2^1402220-1 is not prime. Res64: 9F58CF6D55B17EF1 Time : 0.0 sec. user=mdettweiler [2015-07-05 05:49:48] 915*2^1402220-1 is not prime. Res64: 046B16429C829203 Time : 0.0 sec. user=mdettweiler [2015-07-05 05:49:49] 927*2^1402220-1 is not prime. Res64: 0BAADEDF7AD01624 Time : 0.0 sec. user=S_K_ [2015-07-05 06:06:09] 999*2^1402219-1 is not prime. Res64: DAA97C573A1344B1 Time : 0.0 sec. user=mdettweiler [2015-07-05 06:06:09] 607*2^1402221-1 is not prime. Res64: 5F130D0D2336BD56 Time : 0.0 sec. user=mdettweiler [2015-07-05 06:06:10] 661*2^1402221-1 is not prime. Res64: B1885A24DC9F22EA Time : 0.0 sec. user=mdettweiler [2015-07-05 06:07:02] 789*2^1402221-1 is not prime. Res64: 572DEE2EFF7ADE57 Time : 0.0 sec. user=mdettweiler [2015-07-05 06:07:02] 859*2^1402221-1 is not prime. Res64: BB947D73109B375B Time : 0.0 sec. user=mdettweiler [2015-07-05 06:07:10] 603*2^1402222-1 is not prime. Res64: 6E4A2D3904108F17 Time : 0.0 sec. user=mdettweiler [2015-07-05 06:07:10] 717*2^1402222-1 is not prime. Res64: 16284101A92A02CF Time : 0.0 sec. user=mdettweiler [2015-07-05 06:23:38] 737*2^1402222-1 is not prime. Res64: 779A553AF499102E Time : 0.0 sec. user=mdettweiler [2015-07-05 06:23:38] 827*2^1402222-1 is not prime. Res64: A8CDC86F36F549D2 Time : 0.0 sec. user=mdettweiler [2015-07-05 06:24:23] 857*2^1402222-1 is not prime. Res64: B14558D35120CBD1 Time : 0.0 sec. user=mdettweiler [2015-07-05 06:24:23] 915*2^1402222-1 is not prime. Res64: 1988AA6D0BDD57C6 Time : 0.0 sec. user=mdettweiler [2015-07-05 06:24:32] 923*2^1402222-1 is not prime. Res64: 0FC7F0F02FCB975A Time : 0.0 sec. user=mdettweiler [2015-07-05 06:24:32] 945*2^1402222-1 is not prime. Res64: DC053769D41B47E5 Time : 0.0 sec. user=mdettweiler [2015-07-05 06:40:59] 983*2^1402222-1 is not prime. Res64: 134D84D0D08291A4 Time : 0.0 sec. user=mdettweiler [2015-07-05 06:41:00] 609*2^1402223-1 is not prime. Res64: F8745DAE7E5F55C3 Time : 0.0 sec. user=mdettweiler [2015-07-05 06:41:43] 715*2^1402223-1 is not prime. Res64: 646841B1F3A25C0B Time : 0.0 sec. user=mdettweiler [2015-07-05 06:41:44] 741*2^1402223-1 is not prime. Res64: 8581A564C720E975 Time : 0.0 sec. user=mdettweiler [2015-07-05 06:41:53] 759*2^1402223-1 is not prime. Res64: 2BA910DFB50D15DE Time : 0.0 sec. user=mdettweiler [2015-07-05 06:41:53] 981*2^1402223-1 is not prime. Res64: 0FDE93DFEFD4D7EF Time : 0.0 sec. user=mdettweiler [2015-07-05 06:58:21] 683*2^1402224-1 is not prime. Res64: B6DF18D52CBB34FE Time : 0.0 sec. user=mdettweiler [2015-07-05 06:58:21] 699*2^1402224-1 is not prime. Res64: 8B304F70BAECD8F8 Time : 0.0 sec. user=mdettweiler [2015-07-05 06:59:07] 719*2^1402224-1 is not prime. Res64: 27AEEF53879832F9 Time : 0.0 sec. user=mdettweiler [2015-07-05 06:59:07] 767*2^1402224-1 is not prime. Res64: 1F180D1953F42D21 Time : 0.0 sec. user=mdettweiler [2015-07-05 06:59:15] 917*2^1402224-1 is not prime. Res64: 312964BAF9A02F29 Time : 0.0 sec. user=mdettweiler [2015-07-05 06:59:15] 983*2^1402224-1 is not prime. Res64: F05875B5C69DD686 Time : 0.0 sec. user=mdettweiler [2015-07-05 07:15:43] 667*2^1402225-1 is not prime. Res64: FC2D3AD091F9E01E Time : 0.0 sec. user=mdettweiler [2015-07-05 07:15:44] 811*2^1402225-1 is not prime. Res64: 056D01EAC263A933 Time : 0.0 sec. user=mdettweiler [2015-07-05 07:16:31] 841*2^1402225-1 is not prime. Res64: 9A14210365876EC0 Time : 0.0 sec. user=mdettweiler [2015-07-05 07:16:31] 855*2^1402225-1 is not prime. Res64: 8A9205E3F01D3125 Time : 0.0 sec. user=mdettweiler [2015-07-05 07:16:37] 871*2^1402225-1 is not prime. Res64: 26F3F90CCA8D9F94 Time : 0.0 sec. user=mdettweiler [2015-07-05 07:16:38] 979*2^1402225-1 is not prime. Res64: E2D3E3A3ED6ED486 Time : 0.0 sec. user=mdettweiler [2015-07-05 07:33:11] 783*2^1402226-1 is not prime. Res64: 9061B578A0C967B6 Time : 0.0 sec. user=mdettweiler [2015-07-05 07:33:11] 831*2^1402226-1 is not prime. Res64: E5AC49EE1E8C0848 Time : 0.0 sec. user=mdettweiler [2015-07-05 07:33:53] 911*2^1402226-1 is not prime. Res64: 051A9FB16FC582FD Time : 0.0 sec. user=mdettweiler [2015-07-05 07:33:53] 917*2^1402226-1 is not prime. Res64: C0FFD56F45EC0EED Time : 0.0 sec. user=mdettweiler [2015-07-05 07:33:59] 921*2^1402226-1 is not prime. Res64: 3624B0E9DDB35BC7 Time : 0.0 sec. user=mdettweiler [2015-07-05 07:34:00] 923*2^1402226-1 is not prime. Res64: 617EE7A205D02B11 Time : 0.0 sec. user=mdettweiler [2015-07-05 07:50:35] 953*2^1402226-1 is not prime. Res64: A72050ECE969DD4C Time : 0.0 sec. user=mdettweiler [2015-07-05 07:50:35] 981*2^1402226-1 is not prime. Res64: 2637D8C4B9EC356C Time : 0.0 sec. user=mdettweiler [2015-07-05 07:51:15] 849*2^1402227-1 is not prime. Res64: 32248DA2E7EB53BB Time : 0.0 sec. user=mdettweiler [2015-07-05 07:51:15] 885*2^1402227-1 is not prime. Res64: B048C8E12C5F9047 Time : 0.0 sec. user=mdettweiler [2015-07-05 07:51:25] 985*2^1402227-1 is not prime. Res64: 2BBE4CC24A481557 Time : 0.0 sec. user=mdettweiler [2015-07-05 07:51:25] 635*2^1402228-1 is not prime. Res64: 187D221B31771522 Time : 0.0 sec. user=mdettweiler [2015-07-05 08:07:58] 707*2^1402228-1 is not prime. Res64: FDD6A14164424C53 Time : 0.0 sec. user=mdettweiler [2015-07-05 08:07:58] 783*2^1402228-1 is not prime. Res64: 7AADDF4E75792AE6 Time : 0.0 sec. user=mdettweiler [2015-07-05 08:08:38] 827*2^1402228-1 is not prime. Res64: 3A3F6F4C88448650 Time : 0.0 sec. user=mdettweiler [2015-07-05 08:08:38] 869*2^1402228-1 is not prime. Res64: FE2D77E0654845D7 Time : 0.0 sec. user=mdettweiler [2015-07-05 08:08:47] 875*2^1402228-1 is not prime. Res64: 6A5463FA5C0DAC06 Time : 0.0 sec. user=mdettweiler [2015-07-05 08:08:47] 887*2^1402228-1 is not prime. Res64: 8BF09282C748D6DD Time : 0.0 sec. user=mdettweiler [2015-07-05 08:25:25] 947*2^1402228-1 is not prime. Res64: C0F5147ADC2C420B Time : 0.0 sec. user=mdettweiler [2015-07-05 08:25:25] 615*2^1402229-1 is not prime. Res64: BC9D429F7F79E00D Time : 0.0 sec. user=mdettweiler [2015-07-05 08:26:00] 655*2^1402229-1 is not prime. Res64: CD3848FA4A6BCC2F Time : 0.0 sec. user=mdettweiler [2015-07-05 08:26:00] 675*2^1402229-1 is not prime. Res64: 1D34B0919A5CFB02 Time : 0.0 sec. user=mdettweiler [2015-07-05 08:26:09] 799*2^1402229-1 is not prime. Res64: 5A692BFDD0DDB38F Time : 0.0 sec. user=mdettweiler [2015-07-05 08:26:09] 825*2^1402229-1 is not prime. Res64: 65ADB3B98D76B845 Time : 0.0 sec. user=mdettweiler [2015-07-05 08:42:46] 627*2^1402230-1 is not prime. Res64: 33D675DBCCF83845 Time : 0.0 sec. user=mdettweiler [2015-07-05 08:42:46] 765*2^1402230-1 is not prime. Res64: 35235ABF056B08E4 Time : 0.0 sec. user=mdettweiler [2015-07-05 08:43:21] 791*2^1402230-1 is not prime. Res64: F3DEFF472933AEEE Time : 0.0 sec. user=mdettweiler [2015-07-05 08:43:22] 795*2^1402230-1 is not prime. Res64: 9BC823D121775B41 Time : 0.0 sec. user=mdettweiler [2015-07-05 08:43:31] 891*2^1402230-1 is not prime. Res64: 0C563B371015DB39 Time : 0.0 sec. user=mdettweiler [2015-07-05 08:43:31] 963*2^1402230-1 is not prime. Res64: D5087973DBB744CC Time : 0.0 sec. user=mdettweiler [2015-07-05 09:00:09] 645*2^1402231-1 is not prime. Res64: E96D349BB7CE0565 Time : 0.0 sec. user=mdettweiler [2015-07-05 09:00:10] 829*2^1402231-1 is not prime. Res64: E1D6002618E7D8EC Time : 0.0 sec. user=mdettweiler [2015-07-05 09:00:43] 859*2^1402231-1 is not prime. Res64: 0A2341473BB93BC2 Time : 0.0 sec. user=mdettweiler [2015-07-05 09:00:44] 909*2^1402231-1 is not prime. Res64: 22EC73D5B8372034 Time : 0.0 sec. user=mdettweiler [2015-07-05 09:00:52] 913*2^1402231-1 is not prime. Res64: AA6DC45A058E8D36 Time : 0.0 sec. user=mdettweiler [2015-07-05 09:00:55] 999*2^1402231-1 is not prime. Res64: 81A1868F63273246 Time : 0.0 sec. user=mdettweiler [2015-07-05 09:17:35] 669*2^1402232-1 is not prime. Res64: 193125E153B489D1 Time : 0.0 sec. user=mdettweiler [2015-07-05 09:17:35] 713*2^1402232-1 is not prime. Res64: 2AE538962368B0EB Time : 0.0 sec. user=mdettweiler [2015-07-05 09:18:11] 785*2^1402232-1 is not prime. Res64: 1F5FED11C27229F2 Time : 0.0 sec. user=mdettweiler [2015-07-05 09:18:11] 873*2^1402232-1 is not prime. Res64: 33DA152E46AC7537 Time : 0.0 sec. user=mdettweiler [2015-07-05 09:18:20] 915*2^1402232-1 is not prime. Res64: A72368B50D0A5BA8 Time : 0.0 sec. user=mdettweiler [2015-07-05 09:18:21] 917*2^1402232-1 is not prime. Res64: 12F7B81FABDD3757 Time : 0.0 sec. user=mdettweiler [2015-07-05 09:35:01] 945*2^1402232-1 is not prime. Res64: 5BCFE84FFE26D2D0 Time : 0.0 sec. user=mdettweiler [2015-07-05 09:35:02] 739*2^1402233-1 is not prime. Res64: F19D355A9DAD2563 Time : 0.0 sec. user=mdettweiler [2015-07-05 09:35:33] 759*2^1402233-1 is not prime. Res64: 6B6EF927E6CF2C7B Time : 0.0 sec. user=mdettweiler [2015-07-05 09:35:34] 765*2^1402233-1 is not prime. Res64: CABE1E89BD690101 Time : 0.0 sec. user=mdettweiler [2015-07-05 09:35:50] 871*2^1402233-1 is not prime. Res64: 3F8753C74B941120 Time : 0.0 sec. user=mdettweiler [2015-07-05 09:35:51] 889*2^1402233-1 is not prime. Res64: 35630B1F9B9656E0 Time : 0.0 sec. user=mdettweiler [2015-07-05 09:52:27] 617*2^1402234-1 is not prime. Res64: 846E347080FEE5CC Time : 0.0 sec. user=mdettweiler [2015-07-05 09:52:27] 675*2^1402234-1 is not prime. Res64: E75EE9DDAC908DDD Time : 0.0 sec. user=mdettweiler [2015-07-05 09:52:56] 723*2^1402234-1 is not prime. Res64: 8472A8ACFF46536E Time : 0.0 sec. user=mdettweiler [2015-07-05 09:52:57] 765*2^1402234-1 is not prime. Res64: 759DFF1BDFB7EAD0 Time : 0.0 sec. user=mdettweiler [2015-07-05 09:53:14] 831*2^1402234-1 is not prime. Res64: D8429539DD3B9A2C Time : 0.0 sec. user=mdettweiler [2015-07-05 09:53:14] 861*2^1402234-1 is not prime. Res64: 9530A1C13C4C8FF8 Time : 0.0 sec. user=mdettweiler [2015-07-05 10:09:50] 945*2^1402234-1 is not prime. Res64: 289440EA334E4E34 Time : 0.0 sec. user=mdettweiler [2015-07-05 10:09:51] 889*2^1402235-1 is not prime. Res64: 3195B1BF84C11720 Time : 0.0 sec. user=mdettweiler [2015-07-05 10:10:21] 693*2^1402236-1 is not prime. Res64: 04BD95568FDBC607 Time : 0.0 sec. user=mdettweiler [2015-07-05 10:10:21] 707*2^1402236-1 is not prime. Res64: EF95D30794652597 Time : 0.0 sec. user=mdettweiler [2015-07-05 10:10:38] 725*2^1402236-1 is not prime. Res64: 796104DF9EFBF27D Time : 0.0 sec. user=mdettweiler [2015-07-05 10:10:38] 777*2^1402236-1 is not prime. Res64: 4E81F6AD674580B1 Time : 0.0 sec. user=mdettweiler [2015-07-05 10:27:19] 947*2^1402236-1 is not prime. Res64: 2FE6E8E439B59C45 Time : 0.0 sec. user=mdettweiler [2015-07-05 10:27:20] 619*2^1402237-1 is not prime. Res64: AF24A52D76D6160A Time : 0.0 sec. user=mdettweiler [2015-07-05 10:27:45] 625*2^1402237-1 is not prime. Res64: A0788606C2D384E2 Time : 0.0 sec. user=mdettweiler [2015-07-05 10:27:46] 639*2^1402237-1 is not prime. Res64: A9737E03732B576F Time : 0.0 sec. user=mdettweiler [2015-07-05 10:28:02] 645*2^1402237-1 is not prime. Res64: 51A122D1FACA9CCC Time : 0.0 sec. user=mdettweiler [2015-07-05 10:28:03] 691*2^1402237-1 is not prime. Res64: B7E89F73FD42678E Time : 0.0 sec. user=mdettweiler [2015-07-05 10:44:46] 717*2^1402237-1 is not prime. Res64: C60A547FEDE49637 Time : 0.0 sec. user=mdettweiler [2015-07-05 10:44:46] 769*2^1402237-1 is not prime. Res64: 68CC9434355C64E6 Time : 0.0 sec. user=mdettweiler [2015-07-05 10:45:08] 859*2^1402237-1 is not prime. Res64: 9B124C615EB96723 Time : 0.0 sec. user=mdettweiler [2015-07-05 10:45:08] 975*2^1402237-1 is not prime. Res64: 1BE2E7B9AFBEE24F Time : 0.0 sec. user=mdettweiler [2015-07-05 10:45:26] 605*2^1402238-1 is not prime. Res64: EE1837BE76256272 Time : 0.0 sec. user=mdettweiler [2015-07-05 10:45:26] 755*2^1402238-1 is not prime. Res64: 55DF26516EC56F4F Time : 0.0 sec. user=mdettweiler [2015-07-05 11:02:11] 791*2^1402238-1 is not prime. Res64: B06120D2A0CF4D49 Time : 0.0 sec. user=mdettweiler [2015-07-05 11:02:13] 801*2^1402238-1 is not prime. Res64: 391253974F648502 Time : 0.0 sec. user=mdettweiler [2015-07-05 11:02:34] 827*2^1402238-1 is not prime. Res64: AC7372A08F1FEE24 Time : 0.0 sec. user=mdettweiler [2015-07-05 11:02:35] 843*2^1402238-1 is not prime. Res64: DA1AFEEFBA6191F0 Time : 0.0 sec. user=mdettweiler [2015-07-05 11:02:49] 867*2^1402238-1 is not prime. Res64: 29AD3D61C4638016 Time : 0.0 sec. user=mdettweiler [2015-07-05 11:02:50] 923*2^1402238-1 is not prime. Res64: BC6A8861126BFC0D Time : 0.0 sec. user=mdettweiler [2015-07-05 11:19:52] 971*2^1402238-1 is not prime. Res64: 1ACEFCE1EC670123 Time : 0.0 sec. user=mdettweiler [2015-07-05 11:19:53] 987*2^1402238-1 is not prime. Res64: FC2513F552EA6E13 Time : 0.0 sec. user=mdettweiler [2015-07-05 11:19:59] 613*2^1402239-1 is not prime. Res64: CC8B214138414D0A Time : 0.0 sec. user=mdettweiler [2015-07-05 11:19:59] 663*2^1402239-1 is not prime. Res64: E612E4060090388B Time : 0.0 sec. user=mdettweiler [2015-07-05 11:20:18] 705*2^1402239-1 is not prime. Res64: AB882201AB15BAA7 Time : 0.0 sec. user=mdettweiler [2015-07-05 11:20:20] 711*2^1402239-1 is not prime. Res64: 9CA61EE21C1BCF92 Time : 0.0 sec. user=mdettweiler [2015-07-05 11:37:17] 735*2^1402239-1 is not prime. Res64: FE779DE1E52F8953 Time : 0.0 sec. user=mdettweiler [2015-07-05 11:37:17] 825*2^1402239-1 is not prime. Res64: 9A6065B00A090763 Time : 0.0 sec. user=mdettweiler [2015-07-05 11:37:23] 859*2^1402239-1 is not prime. Res64: 703714891718E705 Time : 0.0 sec. user=mdettweiler [2015-07-05 11:37:23] 873*2^1402239-1 is not prime. Res64: EDEC9C10326B39DC Time : 0.0 sec. user=mdettweiler [2015-07-05 11:37:46] 895*2^1402239-1 is not prime. Res64: 588336FD299434A2 Time : 0.0 sec. user=mdettweiler [2015-07-05 11:37:46] 921*2^1402239-1 is not prime. Res64: 297981B9683BC767 Time : 0.0 sec. user=mdettweiler [2015-07-05 11:54:44] 949*2^1402239-1 is not prime. Res64: D868677F0BB357AD Time : 0.0 sec. user=mdettweiler [2015-07-05 11:54:45] 717*2^1402240-1 is not prime. Res64: AB645965D956E196 Time : 0.0 sec. user=mdettweiler [2015-07-05 11:54:47] 723*2^1402240-1 is not prime. Res64: FC55541224F18D23 Time : 0.0 sec. user=mdettweiler [2015-07-05 11:54:47] 735*2^1402240-1 is not prime. Res64: AC5A663D6A9A2CF7 Time : 0.0 sec. user=mdettweiler [2015-07-05 11:55:12] 873*2^1402240-1 is not prime. Res64: 3C8B1EC1B42BC681 Time : 0.0 sec. user=mdettweiler [2015-07-05 11:55:13] 957*2^1402240-1 is not prime. Res64: 88CFEC4BE9AD16B4 Time : 0.0 sec. user=mdettweiler [2015-07-05 12:12:08] 983*2^1402240-1 is not prime. Res64: CF75C05036B3D186 Time : 0.0 sec. user=mdettweiler [2015-07-05 12:12:08] 669*2^1402241-1 is not prime. Res64: 80531635E371567B Time : 0.0 sec. user=mdettweiler [2015-07-05 12:12:12] 867*2^1402241-1 is not prime. Res64: CFEB13089937377E Time : 0.0 sec. user=mdettweiler [2015-07-05 12:12:12] 633*2^1402242-1 is not prime. Res64: BF140F6737B7E02C Time : 0.0 sec. user=mdettweiler [2015-07-05 12:12:40] 723*2^1402242-1 is not prime. Res64: E158207D4518ED4D Time : 0.0 sec. user=mdettweiler [2015-07-05 12:12:40] 741*2^1402242-1 is not prime. Res64: 4804470A4E0938E9 Time : 0.0 sec. user=mdettweiler [2015-07-05 12:29:37] 843*2^1402242-1 is not prime. Res64: A8C7618359988249 Time : 0.0 sec. user=mdettweiler [2015-07-05 12:29:38] 903*2^1402242-1 is not prime. Res64: 078F0D3A27ECC6F8 Time : 0.0 sec. user=mdettweiler [2015-07-05 12:29:40] 1001*2^1402242-1 is not prime. Res64: CDDD616A823E61E6 Time : 0.0 sec. user=mdettweiler [2015-07-05 12:29:41] 663*2^1402243-1 is not prime. Res64: 498B9366AFB7F7FE Time : 0.0 sec. user=mdettweiler [2015-07-05 12:30:04] 679*2^1402243-1 is not prime. Res64: 1D16AE70A77EC5D0 Time : 0.0 sec. user=mdettweiler [2015-07-05 12:30:05] 741*2^1402243-1 is not prime. Res64: 8B32CA031B92F747 Time : 0.0 sec. user=mdettweiler [2015-07-05 12:47:03] 789*2^1402243-1 is not prime. Res64: DD61A252E18A590D Time : 0.0 sec. user=mdettweiler [2015-07-05 12:47:03] 915*2^1402243-1 is not prime. Res64: BC8F9F140FB8610A Time : 0.0 sec. user=mdettweiler [2015-07-05 12:47:03] 805*2^1402243-1 is not prime. Res64: 80028F258371A36D Time : 0.0 sec. user=mdettweiler [2015-07-05 12:47:03] 615*2^1402244-1 is not prime. Res64: F2FA2DB63EF7227C Time : 0.0 sec. user=mdettweiler [2015-07-05 12:47:32] 635*2^1402244-1 is not prime. Res64: AFF365B269A2515D Time : 0.0 sec. user=mdettweiler [2015-07-05 12:47:32] 773*2^1402244-1 is not prime. Res64: 1AF34708CFA2ED46 Time : 0.0 sec. user=mdettweiler [2015-07-05 13:04:26] 819*2^1402244-1 is not prime. Res64: 8685C86FBF01A8D2 Time : 0.0 sec. user=mdettweiler [2015-07-05 13:04:26] 959*2^1402244-1 is not prime. Res64: 7EE0C237FD3266F4 Time : 0.0 sec. user=mdettweiler [2015-07-05 13:04:27] 833*2^1402244-1 is not prime. Res64: 42D98EEF62393A11 Time : 0.0 sec. user=mdettweiler [2015-07-05 13:04:28] 601*2^1402245-1 is not prime. Res64: 2D5510A18C982D64 Time : 0.0 sec. user=mdettweiler [2015-07-05 13:04:53] 657*2^1402245-1 is not prime. Res64: C048EE1F9E8F0779 Time : 0.0 sec. user=mdettweiler [2015-07-05 13:04:54] 847*2^1402245-1 is not prime. Res64: 29CFE33608D23879 Time : 0.0 sec. user=mdettweiler [2015-07-05 13:22:07] 867*2^1402245-1 is not prime. Res64: 71D2568410A1625A Time : 0.0 sec. user=mdettweiler [2015-07-05 13:22:07] 975*2^1402245-1 is not prime. Res64: 961C178EC8131101 Time : 0.0 sec. user=mdettweiler [2015-07-05 13:22:09] 611*2^1402246-1 is not prime. Res64: 1D7F26ADF9EEF6DF Time : 0.0 sec. user=mdettweiler [2015-07-05 13:22:10] 671*2^1402246-1 is not prime. Res64: 0DBABA44A782D028 Time : 0.0 sec. user=mdettweiler [2015-07-05 13:22:16] 695*2^1402246-1 is not prime. Res64: 0C76364D0649B25E Time : 0.0 sec. user=mdettweiler [2015-07-05 13:22:17] 825*2^1402246-1 is not prime. Res64: CA931C83C2544933 Time : 0.0 sec. user=mdettweiler [2015-07-05 13:39:32] 843*2^1402246-1 is not prime. Res64: FA5129A8CED40CAE Time : 0.0 sec. user=mdettweiler [2015-07-05 13:39:32] 923*2^1402246-1 is not prime. Res64: 8AFBBAD2EC752519 Time : 0.0 sec. user=mdettweiler [2015-07-05 13:39:35] 685*2^1402247-1 is not prime. Res64: F071A386F000FF70 Time : 0.0 sec. user=mdettweiler [2015-07-05 13:39:36] 705*2^1402247-1 is not prime. Res64: 932080CECC49C184 Time : 0.0 sec. user=mdettweiler [2015-07-05 13:39:39] 711*2^1402247-1 is not prime. Res64: 62CFA27961DBB459 Time : 0.0 sec. user=mdettweiler [2015-07-05 13:39:40] 805*2^1402247-1 is not prime. Res64: 5EBAB2875B5C31C4 Time : 0.0 sec. user=mdettweiler [2015-07-05 13:56:54] 819*2^1402247-1 is not prime. Res64: 3E0C3DBE56334EE7 Time : 0.0 sec. user=mdettweiler [2015-07-05 13:56:54] 825*2^1402247-1 is not prime. Res64: 614A929145F948D9 Time : 0.0 sec. user=mdettweiler [2015-07-05 13:56:56] 841*2^1402247-1 is not prime. Res64: A095B902C106F5D9 Time : 0.0 sec. user=mdettweiler [2015-07-05 13:56:57] 909*2^1402247-1 is not prime. Res64: BA7BB3AC34953C14 Time : 0.0 sec. user=mdettweiler [2015-07-05 13:57:00] 915*2^1402247-1 is not prime. Res64: 98D200F0B352D608 Time : 0.0 sec. user=mdettweiler [2015-07-05 13:57:00] 993*2^1402247-1 is not prime. Res64: DB4C1A804DA5F8A6 Time : 0.0 sec. user=mdettweiler [2015-07-05 14:14:15] 899*2^1402248-1 is not prime. Res64: 1C4CF63E7DA8EC7D Time : 0.0 sec. user=mdettweiler [2015-07-05 14:14:16] 915*2^1402248-1 is not prime. Res64: 688219E08FC64749 Time : 0.0 sec. user=mdettweiler [2015-07-05 14:14:18] 615*2^1402249-1 is not prime. Res64: FA1638A6F528A104 Time : 0.0 sec. user=mdettweiler [2015-07-05 14:14:19] 685*2^1402249-1 is not prime. Res64: 35D4B36E2A21C3A5 Time : 0.0 sec. user=mdettweiler [2015-07-05 14:14:21] 691*2^1402249-1 is not prime. Res64: 6F25E0543937B0F6 Time : 0.0 sec. user=mdettweiler [2015-07-05 14:14:22] 721*2^1402249-1 is not prime. Res64: CA87A6CB54B56456 Time : 0.0 sec. user=mdettweiler [2015-07-05 14:31:43] 775*2^1402249-1 is not prime. Res64: C2D87A61CDC20F7B Time : 0.0 sec. user=mdettweiler [2015-07-05 14:31:43] 999*2^1402249-1 is not prime. Res64: 6E566E900B76C416 Time : 0.0 sec. user=mdettweiler [2015-07-05 14:31:43] 847*2^1402249-1 is not prime. Res64: 391CAA285F306C75 Time : 0.0 sec. user=mdettweiler [2015-07-05 14:31:43] 677*2^1402250-1 is not prime. Res64: 71C221257EA9A460 Time : 0.0 sec. user=mdettweiler [2015-07-05 14:31:44] 713*2^1402250-1 is not prime. Res64: 2695AFDAA633D16A Time : 0.0 sec. user=mdettweiler [2015-07-05 14:31:44] 885*2^1402250-1 is not prime. Res64: 990808FE826033DC Time : 0.0 sec. user=mdettweiler [2015-07-05 14:49:05] 615*2^1402251-1 is not prime. Res64: 245941A1D790E067 Time : 0.0 sec. user=mdettweiler [2015-07-05 14:49:06] 619*2^1402251-1 is not prime. Res64: 786A9D4ACB0D5480 Time : 0.0 sec. user=mdettweiler [2015-07-05 14:49:06] 679*2^1402251-1 is not prime. Res64: 2D2874AECC00974C Time : 0.0 sec. user=mdettweiler [2015-07-05 14:49:07] 753*2^1402251-1 is not prime. Res64: 142357110B317878 Time : 0.0 sec. user=mdettweiler [2015-07-05 14:49:07] 709*2^1402251-1 is not prime. Res64: 23E510ED7AAC7127 Time : 0.0 sec. user=mdettweiler [2015-07-05 14:49:07] 861*2^1402251-1 is not prime. Res64: 10CDC1DE911D989D Time : 0.0 sec. user=mdettweiler [2015-07-05 15:06:29] 803*2^1402252-1 is not prime. Res64: AC3323B293E552BB Time : 0.0 sec. user=mdettweiler [2015-07-05 15:06:29] 819*2^1402252-1 is not prime. Res64: ABE76511F660E5BA Time : 0.0 sec. user=mdettweiler [2015-07-05 15:06:30] 735*2^1402253-1 is not prime. Res64: 81C4D2AD9BEEA747 Time : 0.0 sec. user=mdettweiler [2015-07-05 15:06:30] 771*2^1402253-1 is not prime. Res64: FF67F6D8BAA7C14E Time : 0.0 sec. user=mdettweiler [2015-07-05 15:06:30] 863*2^1402252-1 is not prime. Res64: B6548BC1441D1B82 Time : 0.0 sec. user=mdettweiler [2015-07-05 15:06:31] 729*2^1402253-1 is not prime. Res64: 3DA960A78229E8CC Time : 0.0 sec. user=S_K_ [2015-07-05 15:13:59] 825*2^1402248-1 is not prime. Res64: 13064B477D14441E Time : 0.0 sec. user=mdettweiler [2015-07-05 15:23:59] 867*2^1402253-1 is not prime. Res64: 7D0A44C97D6A68D1 Time : 0.0 sec. user=mdettweiler [2015-07-05 15:23:59] 925*2^1402253-1 is not prime. Res64: A3D7BDA739F94097 Time : 0.0 sec. user=mdettweiler [2015-07-05 15:24:00] 971*2^1402254-1 is not prime. Res64: BFC839D69D3F8BF9 Time : 0.0 sec. user=mdettweiler [2015-07-05 15:24:01] 625*2^1402255-1 is not prime. Res64: 2C2E51296711084F Time : 0.0 sec. user=mdettweiler [2015-07-05 15:24:01] 901*2^1402253-1 is not prime. Res64: 6CEE37253C5DBE30 Time : 0.0 sec. user=mdettweiler [2015-07-05 15:24:01] 673*2^1402255-1 is not prime. Res64: A7C015159503958B Time : 0.0 sec. user=mdettweiler [2015-07-05 15:41:20] 763*2^1402255-1 is not prime. Res64: 07271680576100DE Time : 0.0 sec. user=mdettweiler [2015-07-05 15:41:21] 775*2^1402255-1 is not prime. Res64: 7D7D17CF7B7F143D Time : 0.0 sec. user=mdettweiler [2015-07-05 15:41:22] 891*2^1402255-1 is not prime. Res64: 466963A2B0CA5F9E Time : 0.0 sec. user=mdettweiler [2015-07-05 15:41:22] 755*2^1402256-1 is not prime. Res64: 264D1A9E6F02463E Time : 0.0 sec. user=mdettweiler [2015-07-05 15:41:25] 777*2^1402256-1 is not prime. Res64: E1498265D7BA93E0 Time : 0.0 sec. user=mdettweiler [2015-07-05 15:41:25] 903*2^1402256-1 is not prime. Res64: 3D62796AE75DE7F1 Time : 0.0 sec. user=mdettweiler [2015-07-05 15:58:44] 759*2^1402257-1 is not prime. Res64: FEAB6E6EFA129AC0 Time : 0.0 sec. user=mdettweiler [2015-07-05 15:58:45] 865*2^1402257-1 is not prime. Res64: 88F2A4BF7A6E49DE Time : 0.0 sec. user=mdettweiler [2015-07-05 15:58:45] 969*2^1402256-1 is not prime. Res64: 83AAA09876515674 Time : 0.0 sec. user=mdettweiler [2015-07-05 15:58:45] 667*2^1402257-1 is not prime. Res64: BC605853F888069A Time : 0.0 sec. user=mdettweiler [2015-07-05 15:58:47] 885*2^1402257-1 is not prime. Res64: BA7AD7CFB0DC0CAC Time : 0.0 sec. user=mdettweiler [2015-07-05 15:58:47] 889*2^1402257-1 is not prime. Res64: A04D750AEA654271 Time : 0.0 sec. user=mdettweiler [2015-07-05 16:16:07] 901*2^1402257-1 is not prime. Res64: 4B2DC4C4A89C6588 Time : 0.0 sec. user=mdettweiler [2015-07-05 16:16:08] 937*2^1402257-1 is not prime. Res64: 60B05C074FBDCAE9 Time : 0.0 sec. user=mdettweiler [2015-07-05 16:16:09] 949*2^1402257-1 is not prime. Res64: C60E65EA249DB8B6 Time : 0.0 sec. user=mdettweiler [2015-07-05 16:16:09] 651*2^1402258-1 is not prime. Res64: 8DE548CA38D5D9D2 Time : 0.0 sec. user=mdettweiler [2015-07-05 16:16:09] 955*2^1402257-1 is not prime. Res64: C15A6660956D7E69 Time : 0.0 sec. user=mdettweiler [2015-07-05 16:16:10] 681*2^1402258-1 is not prime. Res64: C971EECCFCC005FB Time : 0.0 sec. user=mdettweiler [2015-07-05 16:33:32] 857*2^1402258-1 is not prime. Res64: A0A31897EA2F54FB Time : 0.0 sec. user=mdettweiler [2015-07-05 16:33:32] 987*2^1402258-1 is not prime. Res64: D4AC2B25D98AFCFF Time : 0.0 sec. user=mdettweiler [2015-07-05 16:33:34] 887*2^1402258-1 is not prime. Res64: A29691E6006B5EAB Time : 0.0 sec. user=mdettweiler [2015-07-05 16:33:35] 993*2^1402258-1 is not prime. Res64: 982F8B877BCB6410 Time : 0.0 sec. user=mdettweiler [2015-07-05 16:33:39] 603*2^1402259-1 is not prime. Res64: 24BBD92EDD636223 Time : 0.0 sec. user=mdettweiler [2015-07-05 16:33:39] 631*2^1402259-1 is not prime. Res64: 7DCA25C0D3571B34 Time : 0.0 sec. user=S_K_ [2015-07-05 16:37:53] 735*2^1402255-1 is not prime. Res64: 0DBC0D49F1C5C6A4 Time : 0.0 sec. user=mdettweiler [2015-07-05 16:50:54] 693*2^1402259-1 is not prime. Res64: 8C96ED6506EC3A04 Time : 0.0 sec. user=mdettweiler [2015-07-05 16:50:54] 753*2^1402259-1 is not prime. Res64: A7D3001B8A6DF5F0 Time : 0.0 sec. user=mdettweiler [2015-07-05 16:50:56] 759*2^1402259-1 is not prime. Res64: 8A3C0D3250E6C7C9 Time : 0.0 sec. user=mdettweiler [2015-07-05 16:50:56] 843*2^1402259-1 is not prime. Res64: 88EB4A15F7D4B9F2 Time : 0.0 sec. user=mdettweiler [2015-07-05 16:51:01] 879*2^1402259-1 is not prime. Res64: 8D50A182C81AC59B Time : 0.0 sec. user=mdettweiler [2015-07-05 16:51:01] 623*2^1402260-1 is not prime. Res64: 19D5231BBC0FF145 Time : 0.0 sec. user=mdettweiler [2015-07-05 17:08:16] 689*2^1402260-1 is not prime. Res64: 0B17AB8C372C984E Time : 0.0 sec. user=mdettweiler [2015-07-05 17:08:17] 693*2^1402260-1 is not prime. Res64: 2633419714CF6E94 Time : 0.0 sec. user=mdettweiler [2015-07-05 17:08:18] 737*2^1402260-1 is not prime. Res64: 73020FE6749D83F6 Time : 0.0 sec. user=mdettweiler [2015-07-05 17:08:19] 773*2^1402260-1 is not prime. Res64: C124A4DC58D650F3 Time : 0.0 sec. user=mdettweiler [2015-07-05 17:08:24] 867*2^1402260-1 is not prime. Res64: 2F663466101493D5 Time : 0.0 sec. user=mdettweiler [2015-07-05 17:08:25] 805*2^1402261-1 is not prime. Res64: 06392B17402270CF Time : 0.0 sec. user=mdettweiler [2015-07-05 17:25:42] 871*2^1402261-1 is not prime. Res64: CD07A08CFE5B2DAC Time : 0.0 sec. user=mdettweiler [2015-07-05 17:25:42] 925*2^1402261-1 is not prime. Res64: 0A77EEAB5EC91A73 Time : 0.0 sec. user=mdettweiler [2015-07-05 17:25:46] 939*2^1402261-1 is not prime. Res64: 4149C991340E4674 Time : 0.0 sec. user=mdettweiler [2015-07-05 17:25:46] 741*2^1402262-1 is not prime. Res64: 39CAFE3561C092F4 Time : 0.0 sec. user=mdettweiler [2015-07-05 17:25:53] 857*2^1402262-1 is not prime. Res64: 2A50AD6673F8A926 Time : 0.0 sec. user=mdettweiler [2015-07-05 17:25:53] 921*2^1402262-1 is not prime. Res64: 5D19A23B47BC3214 Time : 0.0 sec. user=mdettweiler [2015-07-05 17:43:04] 945*2^1402262-1 is not prime. Res64: 7FFD73EA1739085F Time : 0.0 sec. user=mdettweiler [2015-07-05 17:43:05] 965*2^1402262-1 is not prime. Res64: 0F0813955A2A7961 Time : 0.0 sec. user=mdettweiler [2015-07-05 17:43:08] 691*2^1402263-1 is not prime. Res64: 200FD901FF258D9B Time : 0.0 sec. user=mdettweiler [2015-07-05 17:43:09] 703*2^1402263-1 is not prime. Res64: 08E0B65AA2D7B565 Time : 0.0 sec. user=mdettweiler [2015-07-05 17:43:15] 709*2^1402263-1 is not prime. Res64: 79B2D22F64E770A0 Time : 0.0 sec. user=mdettweiler [2015-07-05 17:43:15] 623*2^1402264-1 is not prime. Res64: 357ED7962758EE22 Time : 0.0 sec. user=mdettweiler [2015-07-05 18:00:27] 657*2^1402264-1 is not prime. Res64: 8CDC1E9C0C779CA1 Time : 0.0 sec. user=mdettweiler [2015-07-05 18:00:28] 903*2^1402264-1 is not prime. Res64: 765A65587B8CEC0D Time : 0.0 sec. user=mdettweiler [2015-07-05 18:00:31] 995*2^1402264-1 is not prime. Res64: B6552AC5992D889E Time : 0.0 sec. user=mdettweiler [2015-07-05 18:00:31] 649*2^1402265-1 is not prime. Res64: 00DB803C14CE0D8C Time : 0.0 sec. user=mdettweiler [2015-07-05 18:00:37] 699*2^1402265-1 is not prime. Res64: B7FF7D63AD70802D Time : 0.0 sec. user=mdettweiler [2015-07-05 18:00:38] 909*2^1402265-1 is not prime. Res64: 76F86D7ED0552E60 Time : 0.0 sec. user=S_K_ [2015-07-05 18:02:11] 653*2^1402260-1 is not prime. Res64: 09908F48F41A17A6 Time : 0.0 sec. user=mdettweiler [2015-07-05 18:17:54] 705*2^1402266-1 is not prime. Res64: 887F4A6C57FFA8F1 Time : 0.0 sec. user=mdettweiler [2015-07-05 18:17:54] 925*2^1402265-1 is not prime. Res64: F7B79EC1395ABE8A Time : 0.0 sec. user=mdettweiler [2015-07-05 18:17:54] 747*2^1402266-1 is not prime. Res64: B5683A9C583A1384 Time : 0.0 sec. user=mdettweiler [2015-07-05 18:17:55] 657*2^1402266-1 is not prime. Res64: 6F2B327E910FC794 Time : 0.0 sec. user=mdettweiler [2015-07-05 18:18:02] 807*2^1402266-1 is not prime. Res64: 0277436D9DB7BCCC Time : 0.0 sec. user=mdettweiler [2015-07-05 18:18:03] 921*2^1402266-1 is not prime. Res64: 34CBF49390E8A516 Time : 0.0 sec. user=mdettweiler [2015-07-05 18:35:16] 675*2^1402267-1 is not prime. Res64: 7CF4A9174C455318 Time : 0.0 sec. user=mdettweiler [2015-07-05 18:35:16] 699*2^1402267-1 is not prime. Res64: F38904DBA1E60579 Time : 0.0 sec. user=mdettweiler [2015-07-05 18:35:17] 961*2^1402267-1 is not prime. Res64: F5B8CBE349CE4C1C Time : 0.0 sec. user=mdettweiler [2015-07-05 18:35:18] 617*2^1402268-1 is not prime. Res64: 11164423885BF253 Time : 0.0 sec. user=mdettweiler [2015-07-05 18:35:24] 683*2^1402268-1 is not prime. Res64: BD50082B96F56018 Time : 0.0 sec. user=mdettweiler [2015-07-05 18:35:24] 759*2^1402268-1 is not prime. Res64: B87D93C74F7BAFE3 Time : 0.0 sec. user=mdettweiler [2015-07-05 18:52:38] 773*2^1402268-1 is not prime. Res64: B00832BA7CFFE230 Time : 0.0 sec. user=mdettweiler [2015-07-05 18:52:39] 827*2^1402268-1 is not prime. Res64: 91C9F120D7217BF2 Time : 0.0 sec. user=mdettweiler [2015-07-05 18:52:39] 845*2^1402268-1 is not prime. Res64: D8E3AAD81716A4D8 Time : 0.0 sec. user=mdettweiler [2015-07-05 18:52:40] 893*2^1402268-1 is not prime. Res64: E59CAF00C6D0DB7B Time : 0.0 sec. user=mdettweiler [2015-07-05 18:52:46] 999*2^1402268-1 is not prime. Res64: EC1BD8FCBAAD1A35 Time : 0.0 sec. user=mdettweiler [2015-07-05 18:52:46] 675*2^1402269-1 is not prime. Res64: D5E627794DA4E15C Time : 0.0 sec. user=mdettweiler [2015-07-05 19:10:02] 837*2^1402269-1 is not prime. Res64: 3FEA7D588F2043BD Time : 0.0 sec. user=mdettweiler [2015-07-05 19:10:03] 985*2^1402269-1 is not prime. Res64: BF966B619CD86378 Time : 0.0 sec. user=mdettweiler [2015-07-05 19:10:06] 747*2^1402269-1 is not prime. Res64: 780962B6E841D143 Time : 0.0 sec. user=mdettweiler [2015-07-05 19:10:07] 789*2^1402269-1 is not prime. Res64: 994746840B9E580A Time : 0.0 sec. user=mdettweiler [2015-07-05 19:10:11] 999*2^1402269-1 is not prime. Res64: 1D115A369EBB613C Time : 0.0 sec. user=mdettweiler [2015-07-05 19:10:11] 635*2^1402270-1 is not prime. Res64: 9582573DC2E2657A Time : 0.0 sec. user=mdettweiler [2015-07-05 19:27:27] 645*2^1402270-1 is not prime. Res64: 86A7AB4EDB9DBE3F Time : 0.0 sec. user=mdettweiler [2015-07-05 19:27:28] 651*2^1402270-1 is not prime. Res64: 17FECFB34FDC653F Time : 0.0 sec. user=mdettweiler [2015-07-05 19:27:34] 675*2^1402270-1 is not prime. Res64: A22142CF69D3ACF2 Time : 0.0 sec. user=mdettweiler [2015-07-05 19:27:34] 773*2^1402270-1 is not prime. Res64: 6E38F74E2268F2A1 Time : 0.0 sec. user=mdettweiler [2015-07-05 19:27:37] 653*2^1402270-1 is not prime. Res64: F867C87CD632C93F Time : 0.0 sec. user=mdettweiler [2015-07-05 19:27:37] 657*2^1402270-1 is not prime. Res64: F02CB810B10B1222 Time : 0.0 sec. user=mdettweiler [2015-07-05 19:44:50] 861*2^1402270-1 is not prime. Res64: EFC7AAF095DEAF88 Time : 0.0 sec. user=mdettweiler [2015-07-05 19:44:50] 917*2^1402270-1 is not prime. Res64: C5D5858F5B631B7D Time : 0.0 sec. user=mdettweiler [2015-07-05 19:44:57] 981*2^1402270-1 is not prime. Res64: 592B7F6F46842329 Time : 0.0 sec. user=mdettweiler [2015-07-05 19:44:58] 603*2^1402271-1 is not prime. Res64: B6A25C57E611D844 Time : 0.0 sec. user=mdettweiler [2015-07-05 19:45:00] 669*2^1402271-1 is not prime. Res64: E02C07C4481DA748 Time : 0.0 sec. user=mdettweiler [2015-07-05 19:45:01] 679*2^1402271-1 is not prime. Res64: 125A0681BA07606D Time : 0.0 sec. user=mdettweiler [2015-07-05 20:02:15] 829*2^1402271-1 is not prime. Res64: DFC3936F7A317D3F Time : 0.0 sec. user=mdettweiler [2015-07-05 20:02:15] 871*2^1402271-1 is not prime. Res64: DF34240A0F721F79 Time : 0.0 sec. user=mdettweiler [2015-07-05 20:02:20] 901*2^1402271-1 is not prime. Res64: 1876C55D2AE5CA3F Time : 0.0 sec. user=mdettweiler [2015-07-05 20:02:22] 633*2^1402272-1 is not prime. Res64: 09B984A126DAAB0B Time : 0.0 sec. user=mdettweiler [2015-07-05 20:02:24] 893*2^1402272-1 is not prime. Res64: E091D15234736EAE Time : 0.0 sec. user=mdettweiler [2015-07-05 20:02:25] 899*2^1402272-1 is not prime. Res64: 675B9A4536179922 Time : 0.0 sec. user=mdettweiler [2015-07-05 20:20:06] 741*2^1402273-1 is not prime. Res64: 695EBB904D0C4E0C Time : 0.0 sec. user=mdettweiler [2015-07-05 20:20:07] 769*2^1402273-1 is not prime. Res64: 2DB7FBB1D8B6BD7B Time : 0.0 sec. user=mdettweiler [2015-07-05 20:20:07] 625*2^1402273-1 is not prime. Res64: C266B0191213625E Time : 0.0 sec. user=mdettweiler [2015-07-05 20:20:07] 765*2^1402273-1 is not prime. Res64: 73D571DBD5A65687 Time : 0.0 sec. user=mdettweiler [2015-07-05 20:20:08] 805*2^1402273-1 is not prime. Res64: A881142E6DCCA1AA Time : 0.0 sec. user=mdettweiler [2015-07-05 20:20:08] 831*2^1402273-1 is not prime. Res64: 86C4F7497E370367 Time : 0.0 sec. user=mdettweiler [2015-07-05 20:38:04] 861*2^1402273-1 is not prime. Res64: A3205039821DA92D Time : 0.0 sec. user=mdettweiler [2015-07-05 20:38:05] 951*2^1402273-1 is not prime. Res64: 5C1D581EE9D020B5 Time : 0.0 sec. user=mdettweiler [2015-07-05 20:38:05] 617*2^1402274-1 is not prime. Res64: 0EC6F7BF93AFD786 Time : 0.0 sec. user=mdettweiler [2015-07-05 20:38:05] 887*2^1402274-1 is not prime. Res64: FC0E995AB5C28A6C Time : 0.0 sec. user=mdettweiler [2015-07-05 20:38:07] 995*2^1402274-1 is not prime. Res64: AEDC363DCCD914B9 Time : 0.0 sec. user=mdettweiler [2015-07-05 20:38:07] 679*2^1402275-1 is not prime. Res64: D4646C4FF7CF9063 Time : 0.0 sec. user=mdettweiler [2015-07-05 20:56:17] 949*2^1402275-1 is not prime. Res64: 3D5E85BFFCB939A0 Time : 0.0 sec. user=mdettweiler [2015-07-05 20:56:18] 991*2^1402275-1 is not prime. Res64: D131B52EBEA35CF3 Time : 0.0 sec. user=mdettweiler [2015-07-05 20:56:18] 783*2^1402275-1 is not prime. Res64: B81A1BB3E2E6676A Time : 0.0 sec. user=mdettweiler [2015-07-05 20:56:19] 921*2^1402275-1 is not prime. Res64: 1F645C1D68FA3D83 Time : 0.0 sec. user=mdettweiler [2015-07-05 20:56:21] 717*2^1402276-1 is not prime. Res64: BE3D43E3FE42191C Time : 0.0 sec. user=mdettweiler [2015-07-05 20:56:21] 939*2^1402276-1 is not prime. Res64: 980729888DB731B8 Time : 0.0 sec. user=mdettweiler [2015-07-05 21:13:52] 669*2^1402277-1 is not prime. Res64: 5A7092851F02FB33 Time : 0.0 sec. user=mdettweiler [2015-07-05 21:13:52] 987*2^1402276-1 is not prime. Res64: 935D9EE13001A6F0 Time : 0.0 sec. user=mdettweiler [2015-07-05 21:13:52] 655*2^1402277-1 is not prime. Res64: 5D504D1E834E2EF7 Time : 0.0 sec. user=mdettweiler [2015-07-05 21:13:52] 699*2^1402277-1 is not prime. Res64: 789303DA0CA072DA Time : 0.0 sec. user=mdettweiler [2015-07-05 21:13:57] 781*2^1402277-1 is not prime. Res64: DAF4C8B113917E05 Time : 0.0 sec. user=mdettweiler [2015-07-05 21:13:57] 825*2^1402277-1 is not prime. Res64: 90F00D0C97B067DE Time : 0.0 sec. user=mdettweiler [2015-07-05 21:31:42] 843*2^1402278-1 is not prime. Res64: F0EF8BA1E22493E0 Time : 0.0 sec. user=mdettweiler [2015-07-05 21:31:42] 867*2^1402278-1 is not prime. Res64: 760357CF163612E5 Time : 0.0 sec. user=mdettweiler [2015-07-05 21:31:42] 865*2^1402277-1 is not prime. Res64: A6E1C847F00F84B2 Time : 0.0 sec. user=mdettweiler [2015-07-05 21:31:43] 879*2^1402277-1 is not prime. Res64: 3F446164A148D8A2 Time : 0.0 sec. user=mdettweiler [2015-07-05 21:31:43] 885*2^1402277-1 is not prime. Res64: B9D8E94DD78B6C54 Time : 0.0 sec. user=mdettweiler [2015-07-05 21:31:43] 707*2^1402278-1 is not prime. Res64: 3321F071AB3BE4A3 Time : 0.0 sec. user=mdettweiler [2015-07-05 21:49:28] 881*2^1402278-1 is not prime. Res64: D6728A10D5705870 Time : 0.0 sec. user=mdettweiler [2015-07-05 21:49:28] 971*2^1402278-1 is not prime. Res64: 34B1AF41B08C5BF6 Time : 0.0 sec. user=mdettweiler [2015-07-05 21:49:29] 915*2^1402278-1 is not prime. Res64: 2FD37ABA30F17888 Time : 0.0 sec. user=mdettweiler [2015-07-05 21:49:29] 741*2^1402279-1 is not prime. Res64: F6FE671FBB169681 Time : 0.0 sec. user=mdettweiler [2015-07-05 21:49:30] 829*2^1402279-1 is not prime. Res64: 1A942AC4DD60AC95 Time : 0.0 sec. user=mdettweiler [2015-07-05 21:49:31] 843*2^1402279-1 is not prime. Res64: 08ED4DDA41143487 Time : 0.0 sec. user=mdettweiler [2015-07-05 22:07:18] 885*2^1402279-1 is not prime. Res64: 8AD0A2467755C72B Time : 0.0 sec. user=mdettweiler [2015-07-05 22:07:18] 975*2^1402279-1 is not prime. Res64: D5413F3CBEA93154 Time : 0.0 sec. user=mdettweiler [2015-07-05 22:07:19] 633*2^1402280-1 is not prime. Res64: A353A33FF3ABE054 Time : 0.0 sec. user=mdettweiler [2015-07-05 22:07:19] 993*2^1402279-1 is not prime. Res64: 728B973DA799ED93 Time : 0.0 sec. user=mdettweiler [2015-07-05 22:07:19] 753*2^1402280-1 is not prime. Res64: D55A233124DBBC22 Time : 0.0 sec. user=mdettweiler [2015-07-05 22:07:20] 603*2^1402280-1 is not prime. Res64: 45A6A9A62A8BD680 Time : 0.0 sec. user=mdettweiler [2015-07-05 22:25:16] 827*2^1402280-1 is not prime. Res64: D2A37EF610C40072 Time : 0.0 sec. user=mdettweiler [2015-07-05 22:25:16] 681*2^1402281-1 is not prime. Res64: 5DAB5977BC7B54A8 Time : 0.0 sec. user=mdettweiler [2015-07-05 22:25:16] 625*2^1402281-1 is not prime. Res64: 46F2814F9DEBD1F3 Time : 0.0 sec. user=mdettweiler [2015-07-05 22:25:16] 795*2^1402281-1 is not prime. Res64: E53F273E8C76EF5F Time : 0.0 sec. user=mdettweiler [2015-07-05 22:25:17] 785*2^1402280-1 is not prime. Res64: 77B8D83FE1C16237 Time : 0.0 sec. user=mdettweiler [2015-07-05 22:25:17] 945*2^1402280-1 is not prime. Res64: 45DDE8603A553EC2 Time : 0.0 sec. user=mdettweiler [2015-07-05 22:43:02] 997*2^1402281-1 is not prime. Res64: 38DC6091E899D2D2 Time : 0.0 sec. user=mdettweiler [2015-07-05 22:43:02] 999*2^1402281-1 is not prime. Res64: 3FBB818394AAD557 Time : 0.0 sec. user=mdettweiler [2015-07-05 22:43:03] 885*2^1402281-1 is not prime. Res64: 0CA72E06B5305CE9 Time : 0.0 sec. user=mdettweiler [2015-07-05 22:43:03] 901*2^1402281-1 is not prime. Res64: E0389AA4D0CD89BF Time : 0.0 sec. user=mdettweiler [2015-07-05 22:43:04] 623*2^1402282-1 is not prime. Res64: 4040EBAE2D913600 Time : 0.0 sec. user=mdettweiler [2015-07-05 22:43:05] 657*2^1402282-1 is not prime. Res64: BFDBAA4C41308BB8 Time : 0.0 sec. user=mdettweiler [2015-07-05 23:00:45] 675*2^1402282-1 is not prime. Res64: 1E20F3827BB4F96D Time : 0.0 sec. user=mdettweiler [2015-07-05 23:00:46] 917*2^1402282-1 is not prime. Res64: 4FF902A03440B18D Time : 0.0 sec. user=mdettweiler [2015-07-05 23:00:47] 747*2^1402282-1 is not prime. Res64: 4698D5637186FF3C Time : 0.0 sec. user=mdettweiler [2015-07-05 23:00:47] 675*2^1402283-1 is not prime. Res64: 06AB98281B3E0849 Time : 0.0 sec. user=mdettweiler [2015-07-05 23:00:48] 633*2^1402283-1 is not prime. Res64: D7B0D17CCBD9834F Time : 0.0 sec. user=mdettweiler [2015-07-05 23:00:49] 781*2^1402283-1 is not prime. Res64: 2EA7A108F99E14F9 Time : 0.0 sec. user=mdettweiler [2015-07-05 23:18:43] 759*2^1402284-1 is not prime. Res64: 6A28B3E3B2ADC1B0 Time : 0.0 sec. user=mdettweiler [2015-07-05 23:18:44] 765*2^1402284-1 is not prime. Res64: 138C62A7BC44FB2F Time : 0.0 sec. user=mdettweiler [2015-07-05 23:18:44] 921*2^1402283-1 is not prime. Res64: F4322F0C4D1D3427 Time : 0.0 sec. user=mdettweiler [2015-07-05 23:18:44] 707*2^1402284-1 is not prime. Res64: D652E5194ACE34C5 Time : 0.0 sec. user=mdettweiler [2015-07-05 23:18:44] 753*2^1402284-1 is not prime. Res64: B9B492ED48FF827F Time : 0.0 sec. user=mdettweiler [2015-07-05 23:18:45] 857*2^1402284-1 is not prime. Res64: AAE53DB1F8D5999C Time : 0.0 sec. user=mdettweiler [2015-07-05 23:36:10] 893*2^1402284-1 is not prime. Res64: E2C07B2043F47C3D Time : 0.0 sec. user=mdettweiler [2015-07-05 23:36:10] 875*2^1402284-1 is not prime. Res64: 979FCBEB30810F18 Time : 0.0 sec. user=mdettweiler [2015-07-05 23:36:10] 969*2^1402284-1 is not prime. Res64: F07AD37D16F5CD43 Time : 0.0 sec. user=mdettweiler [2015-07-05 23:36:10] 975*2^1402284-1 is not prime. Res64: EA4EB81540A86890 Time : 0.0 sec. user=mdettweiler [2015-07-05 23:36:11] 601*2^1402285-1 is not prime. Res64: 6BEDD5B085A05221 Time : 0.0 sec. user=mdettweiler [2015-07-05 23:36:11] 661*2^1402285-1 is not prime. Res64: B7F08345A6F2E46F Time : 0.0 sec. user=mdettweiler [2015-07-05 23:53:38] 729*2^1402285-1 is not prime. Res64: 3FC490B332F34A69 Time : 0.0 sec. user=mdettweiler [2015-07-05 23:53:38] 987*2^1402285-1 is not prime. Res64: 802A5E3AC31AA911 Time : 0.0 sec. user=mdettweiler [2015-07-05 23:53:38] 979*2^1402285-1 is not prime. Res64: 20B56F5788A6D3C8 Time : 0.0 sec. user=mdettweiler [2015-07-05 23:53:38] 663*2^1402286-1 is not prime. Res64: 9FD4FFE52AD02431 Time : 0.0 sec. user=mdettweiler [2015-07-05 23:53:40] 691*2^1402287-1 is not prime. Res64: 4BC3C7BDD78FA681 Time : 0.0 sec. user=mdettweiler [2015-07-05 23:53:40] 693*2^1402287-1 is not prime. Res64: 84A947B59BB0337A Time : 0.0 sec.