user=mdettweiler [2016-04-25 00:05:28] 789*2^1427271-1 is not prime. Res64: 383CA4CC2861DDC6 Time : 0.0 sec. user=mdettweiler [2016-04-25 00:05:30] 913*2^1427271-1 is not prime. Res64: 4CB5A621006F43E4 Time : 0.0 sec. user=mdettweiler [2016-04-25 00:05:31] 921*2^1427271-1 is not prime. Res64: 7F2AEBD38456CD43 Time : 0.0 sec. user=mdettweiler [2016-04-25 00:05:31] 961*2^1427271-1 is not prime. Res64: 8AA1D6D9D344591E Time : 0.0 sec. user=mdettweiler [2016-04-25 00:05:32] 635*2^1427272-1 is not prime. Res64: 5CADE62BD161F8C6 Time : 0.0 sec. user=mdettweiler [2016-04-25 00:05:41] 665*2^1427272-1 is not prime. Res64: BA5B7DB66E76320C Time : 0.0 sec. user=mdettweiler [2016-04-25 00:05:43] 779*2^1427272-1 is not prime. Res64: 8249CD366687BBEC Time : 0.0 sec. user=mdettweiler [2016-04-25 00:05:44] 803*2^1427272-1 is not prime. Res64: 28DF680275875F0C Time : 0.0 sec. user=mdettweiler [2016-04-25 00:05:47] 873*2^1427272-1 is not prime. Res64: 47C98CB9EC82DF01 Time : 0.0 sec. user=mdettweiler [2016-04-25 00:05:48] 691*2^1427273-1 is not prime. Res64: AEAFA0218BD0D83C Time : 0.0 sec. user=mdettweiler [2016-04-25 00:22:36] 759*2^1427273-1 is not prime. Res64: D1E445FE7AE31125 Time : 0.0 sec. user=mdettweiler [2016-04-25 00:22:37] 811*2^1427273-1 is not prime. Res64: 7340574895F12136 Time : 0.0 sec. user=mdettweiler [2016-04-25 00:22:37] 829*2^1427273-1 is not prime. Res64: 650EFA0DE304A29D Time : 0.0 sec. user=mdettweiler [2016-04-25 00:22:37] 615*2^1427274-1 is not prime. Res64: 9F2D4206DA6F7166 Time : 0.0 sec. user=mdettweiler [2016-04-25 00:22:38] 707*2^1427274-1 is not prime. Res64: 9040C51475E5BBEA Time : 0.0 sec. user=mdettweiler [2016-04-25 00:24:16] 807*2^1427274-1 is not prime. Res64: A41ACD8FDC4B5E05 Time : 0.0 sec. user=mdettweiler [2016-04-25 00:24:16] 917*2^1427274-1 is not prime. Res64: 5999B343274CB416 Time : 0.0 sec. user=mdettweiler [2016-04-25 00:24:16] 923*2^1427274-1 is not prime. Res64: EAB96FC3E3388A2F Time : 0.0 sec. user=mdettweiler [2016-04-25 00:24:17] 975*2^1427274-1 is not prime. Res64: BC670A29EE7724B6 Time : 0.0 sec. user=mdettweiler [2016-04-25 00:24:17] 619*2^1427275-1 is not prime. Res64: C97FB6DE2CCA8E69 Time : 0.0 sec. user=mdettweiler [2016-04-25 00:50:32] 639*2^1427275-1 is not prime. Res64: E6E7E4B0BDE40257 Time : 0.0 sec. user=mdettweiler [2016-04-25 00:50:32] 645*2^1427275-1 is not prime. Res64: 0142815CC01C7550 Time : 0.0 sec. user=mdettweiler [2016-04-25 00:50:32] 771*2^1427275-1 is not prime. Res64: E870F70A90B4AACD Time : 0.0 sec. user=mdettweiler [2016-04-25 00:50:33] 617*2^1427276-1 is not prime. Res64: 7BB0419B7C6C0841 Time : 0.0 sec. user=mdettweiler [2016-04-25 00:50:33] 647*2^1427276-1 is not prime. Res64: 150E99C52AAD239C Time : 0.0 sec. user=mdettweiler [2016-04-25 00:50:46] 663*2^1427276-1 is not prime. Res64: 6657CD5F63388C34 Time : 0.0 sec. user=mdettweiler [2016-04-25 00:50:46] 693*2^1427276-1 is not prime. Res64: E1CF785931FCC187 Time : 0.0 sec. user=mdettweiler [2016-04-25 00:50:47] 773*2^1427276-1 is not prime. Res64: 3B15DD6851523D0F Time : 0.0 sec. user=mdettweiler [2016-04-25 00:50:47] 875*2^1427276-1 is not prime. Res64: 670F4525A063E623 Time : 0.0 sec. user=mdettweiler [2016-04-25 00:50:48] 969*2^1427276-1 is not prime. Res64: EB79094BFF7DFD10 Time : 0.0 sec. user=mdettweiler [2016-04-25 01:07:13] 627*2^1427277-1 is not prime. Res64: D609E2596D123774 Time : 0.0 sec. user=mdettweiler [2016-04-25 01:07:13] 649*2^1427277-1 is not prime. Res64: DE11D08A36DF2EAF Time : 0.0 sec. user=mdettweiler [2016-04-25 01:07:14] 741*2^1427277-1 is not prime. Res64: 5D4FDDB420C27B4A Time : 0.0 sec. user=mdettweiler [2016-04-25 01:07:14] 747*2^1427277-1 is not prime. Res64: F529BA0B8AE25B54 Time : 0.0 sec. user=mdettweiler [2016-04-25 01:07:15] 835*2^1427277-1 is not prime. Res64: 72060BF2664A31C4 Time : 0.0 sec. user=mdettweiler [2016-04-25 01:08:59] 891*2^1427277-1 is not prime. Res64: DC9D82714C0E36CF Time : 0.0 sec. user=mdettweiler [2016-04-25 01:09:00] 937*2^1427277-1 is not prime. Res64: 558D25504838932F Time : 0.0 sec. user=mdettweiler [2016-04-25 01:09:00] 617*2^1427278-1 is not prime. Res64: 3EA30A1DCB3F4F06 Time : 0.0 sec. user=mdettweiler [2016-04-25 01:09:01] 681*2^1427278-1 is not prime. Res64: 8CD38EF48F6BB97E Time : 0.0 sec. user=mdettweiler [2016-04-25 01:09:01] 707*2^1427278-1 is not prime. Res64: EA9C319B5D149882 Time : 0.0 sec. user=mdettweiler [2016-04-25 01:35:32] 711*2^1427279-1 is not prime. Res64: 98ECF7BF8DE5F6BA Time : 0.0 sec. user=mdettweiler [2016-04-25 01:35:32] 861*2^1427279-1 is not prime. Res64: 513BD8CEE0FD4A81 Time : 0.0 sec. user=mdettweiler [2016-04-25 01:35:33] 883*2^1427279-1 is not prime. Res64: 1AEE229F0FD694C3 Time : 0.0 sec. user=mdettweiler [2016-04-25 01:35:33] 609*2^1427280-1 is not prime. Res64: 60E936D2F134AAA9 Time : 0.0 sec. user=mdettweiler [2016-04-25 01:35:34] 635*2^1427280-1 is not prime. Res64: 5A30B050EC595CC0 Time : 0.0 sec. user=mdettweiler [2016-04-25 01:35:35] 737*2^1427278-1 is not prime. Res64: 7F45BAA905AB9BF5 Time : 0.0 sec. user=mdettweiler [2016-04-25 01:35:36] 845*2^1427278-1 is not prime. Res64: 9D66C74BB023EB59 Time : 0.0 sec. user=mdettweiler [2016-04-25 01:35:36] 603*2^1427279-1 is not prime. Res64: A0D536472B466EBA Time : 0.0 sec. user=mdettweiler [2016-04-25 01:35:37] 669*2^1427279-1 is not prime. Res64: E64CC692DC8DC116 Time : 0.0 sec. user=mdettweiler [2016-04-25 01:35:38] 693*2^1427279-1 is not prime. Res64: AC0D5D3FE082D4E8 Time : 0.0 sec. user=mdettweiler [2016-04-25 01:52:17] 747*2^1427280-1 is not prime. Res64: 9366202DDF624810 Time : 0.0 sec. user=mdettweiler [2016-04-25 01:52:17] 779*2^1427280-1 is not prime. Res64: 98AE2486C5451FD6 Time : 0.0 sec. user=mdettweiler [2016-04-25 01:52:18] 819*2^1427280-1 is not prime. Res64: 49EF1C4ECB4F7FBC Time : 0.0 sec. user=mdettweiler [2016-04-25 01:52:18] 825*2^1427280-1 is not prime. Res64: 175D62F6B5B493AA Time : 0.0 sec. user=mdettweiler [2016-04-25 01:52:18] 839*2^1427280-1 is not prime. Res64: 63F59325FC1783AC Time : 0.0 sec. user=mdettweiler [2016-04-25 01:54:03] 857*2^1427280-1 is not prime. Res64: 86F5FDA3B9184325 Time : 0.0 sec. user=mdettweiler [2016-04-25 01:54:03] 887*2^1427280-1 is not prime. Res64: 45D906BE88888AB7 Time : 0.0 sec. user=mdettweiler [2016-04-25 01:54:03] 959*2^1427280-1 is not prime. Res64: 17B94ECF893A6549 Time : 0.0 sec. user=mdettweiler [2016-04-25 01:54:04] 651*2^1427281-1 is not prime. Res64: 110D2B9CE4A4FD53 Time : 0.0 sec. user=mdettweiler [2016-04-25 01:54:04] 727*2^1427281-1 is not prime. Res64: 2102D9FDEE2BF115 Time : 0.0 sec. user=mdettweiler [2016-04-25 02:20:38] 731*2^1427282-1 is not prime. Res64: 8F4AAF1946B4B750 Time : 0.0 sec. user=mdettweiler [2016-04-25 02:20:39] 741*2^1427282-1 is not prime. Res64: BDAE4F0F897DBAD8 Time : 0.0 sec. user=mdettweiler [2016-04-25 02:20:39] 885*2^1427282-1 is not prime. Res64: ED1EAD4F0CBCA9D8 Time : 0.0 sec. user=mdettweiler [2016-04-25 02:20:39] 909*2^1427281-1 is not prime. Res64: 207D48EC734CE1D6 Time : 0.0 sec. user=mdettweiler [2016-04-25 02:20:39] 887*2^1427282-1 is not prime. Res64: 999039C22A9D9549 Time : 0.0 sec. user=mdettweiler [2016-04-25 02:20:40] 945*2^1427281-1 is not prime. Res64: 0136A1D79D490C9F Time : 0.0 sec. user=mdettweiler [2016-04-25 02:20:40] 917*2^1427282-1 is not prime. Res64: 0C2E4F59DFA84E95 Time : 0.0 sec. user=mdettweiler [2016-04-25 02:20:40] 955*2^1427281-1 is not prime. Res64: 29C9C78E96658489 Time : 0.0 sec. user=mdettweiler [2016-04-25 02:20:40] 683*2^1427282-1 is not prime. Res64: 49E6C79EA9E44949 Time : 0.0 sec. user=mdettweiler [2016-04-25 02:20:41] 705*2^1427282-1 is not prime. Res64: 079ED331ACE881D2 Time : 0.0 sec. user=mdettweiler [2016-04-25 02:37:13] 921*2^1427282-1 is not prime. Res64: D540C2F0389AD204 Time : 0.0 sec. user=mdettweiler [2016-04-25 02:37:14] 963*2^1427282-1 is not prime. Res64: 73051257732D0250 Time : 0.0 sec. user=mdettweiler [2016-04-25 02:37:14] 649*2^1427283-1 is not prime. Res64: F14800C6A54608CA Time : 0.0 sec. user=mdettweiler [2016-04-25 02:37:14] 723*2^1427283-1 is not prime. Res64: 79465139FD1638C7 Time : 0.0 sec. user=mdettweiler [2016-04-25 02:37:15] 735*2^1427283-1 is not prime. Res64: 84D2614F52707A94 Time : 0.0 sec. user=mdettweiler [2016-04-25 02:38:59] 741*2^1427283-1 is not prime. Res64: 2728CD3AB8C82B88 Time : 0.0 sec. user=mdettweiler [2016-04-25 02:38:59] 753*2^1427283-1 is not prime. Res64: 8675A0E297E7D7D0 Time : 0.0 sec. user=mdettweiler [2016-04-25 02:38:59] 765*2^1427283-1 is not prime. Res64: 41C69D95EA0FD718 Time : 0.0 sec. user=mdettweiler [2016-04-25 02:39:00] 879*2^1427283-1 is not prime. Res64: CA461EBA75DF1CA2 Time : 0.0 sec. user=mdettweiler [2016-04-25 02:39:00] 895*2^1427283-1 is not prime. Res64: 65D0B1E9C291C367 Time : 0.0 sec. user=mdettweiler [2016-04-25 03:05:33] 759*2^1427285-1 is not prime. Res64: 3148282A16046CEF Time : 0.0 sec. user=mdettweiler [2016-04-25 03:05:35] 795*2^1427285-1 is not prime. Res64: 436A50FE6632530B Time : 0.0 sec. user=mdettweiler [2016-04-25 03:05:35] 913*2^1427283-1 is not prime. Res64: 6DB1A82DE690CDB5 Time : 0.0 sec. user=mdettweiler [2016-04-25 03:05:36] 855*2^1427285-1 is not prime. Res64: E65306DC1F0D963D Time : 0.0 sec. user=mdettweiler [2016-04-25 03:05:36] 635*2^1427284-1 is not prime. Res64: D79A850A688AEDB4 Time : 0.0 sec. user=mdettweiler [2016-04-25 03:05:37] 885*2^1427285-1 is not prime. Res64: 0D6F83D0D8AFFB4D Time : 0.0 sec. user=mdettweiler [2016-04-25 03:05:38] 677*2^1427284-1 is not prime. Res64: DAC1A4AD3A258948 Time : 0.0 sec. user=mdettweiler [2016-04-25 03:05:39] 699*2^1427285-1 is not prime. Res64: 823727D3F049A683 Time : 0.0 sec. user=mdettweiler [2016-04-25 03:05:40] 641*2^1427286-1 is not prime. Res64: 113C49511FFFB007 Time : 0.0 sec. user=mdettweiler [2016-04-25 03:05:40] 735*2^1427285-1 is not prime. Res64: F7211D4B379F765C Time : 0.0 sec. user=mdettweiler [2016-04-25 03:22:15] 725*2^1427286-1 is not prime. Res64: 16923F344A82F2CD Time : 0.0 sec. user=mdettweiler [2016-04-25 03:22:15] 851*2^1427286-1 is not prime. Res64: FD16E61939C51BBA Time : 0.0 sec. user=mdettweiler [2016-04-25 03:22:15] 893*2^1427286-1 is not prime. Res64: A768C51C666B1BBD Time : 0.0 sec. user=mdettweiler [2016-04-25 03:22:16] 921*2^1427286-1 is not prime. Res64: CCE4868DA36E2E99 Time : 0.0 sec. user=mdettweiler [2016-04-25 03:22:16] 945*2^1427286-1 is not prime. Res64: 7CFE6BE2A6DFC340 Time : 0.0 sec. user=mdettweiler [2016-04-25 03:23:57] 601*2^1427287-1 is not prime. Res64: 9C58E717E2CD8B02 Time : 0.0 sec. user=mdettweiler [2016-04-25 03:23:57] 615*2^1427287-1 is not prime. Res64: DE78A407965AB335 Time : 0.0 sec. user=mdettweiler [2016-04-25 03:23:58] 625*2^1427287-1 is not prime. Res64: 408CF7BB552950AE Time : 0.0 sec. user=mdettweiler [2016-04-25 03:23:58] 651*2^1427287-1 is not prime. Res64: 435C09B41B9111AF Time : 0.0 sec. user=mdettweiler [2016-04-25 03:23:59] 793*2^1427287-1 is not prime. Res64: E4363AFB4820B49D Time : 0.0 sec. user=mdettweiler [2016-04-25 03:51:08] 993*2^1427287-1 is not prime. Res64: AE0311380695F8E1 Time : 0.0 sec. user=mdettweiler [2016-04-25 03:51:09] 855*2^1427288-1 is not prime. Res64: 436E2A71DFFFD73E Time : 0.0 sec. user=mdettweiler [2016-04-25 03:51:10] 615*2^1427289-1 is not prime. Res64: CBAA136A657E4FDA Time : 0.0 sec. user=mdettweiler [2016-04-25 03:51:11] 765*2^1427289-1 is not prime. Res64: 534ED9ADDC451370 Time : 0.0 sec. user=mdettweiler [2016-04-25 03:51:11] 691*2^1427289-1 is not prime. Res64: 5F0DC766E88A617E Time : 0.0 sec. user=mdettweiler [2016-04-25 03:51:12] 705*2^1427289-1 is not prime. Res64: DBFB15F6FD649E93 Time : 0.0 sec. user=mdettweiler [2016-04-25 03:51:12] 861*2^1427289-1 is not prime. Res64: 190DE8280136C58E Time : 0.0 sec. user=mdettweiler [2016-04-25 03:51:13] 877*2^1427289-1 is not prime. Res64: 5B7171B5CEB4C876 Time : 0.0 sec. user=mdettweiler [2016-04-25 03:51:14] 955*2^1427289-1 is not prime. Res64: A12FDABA1861F1E5 Time : 0.0 sec. user=mdettweiler [2016-04-25 03:51:16] 999*2^1427289-1 is not prime. Res64: 1DCDF50BE509E9B0 Time : 0.0 sec. user=mdettweiler [2016-04-25 04:07:48] 635*2^1427290-1 is not prime. Res64: C3CA42191E657C1B Time : 0.0 sec. user=mdettweiler [2016-04-25 04:07:49] 765*2^1427290-1 is not prime. Res64: 96DB893A530FE135 Time : 0.0 sec. user=mdettweiler [2016-04-25 04:07:49] 777*2^1427290-1 is not prime. Res64: E61A8FBB211902A1 Time : 0.0 sec. user=mdettweiler [2016-04-25 04:07:49] 873*2^1427290-1 is not prime. Res64: 2D53298044C8C5FF Time : 0.0 sec. user=mdettweiler [2016-04-25 04:07:50] 891*2^1427290-1 is not prime. Res64: 28A8CAF580156E3D Time : 0.0 sec. user=mdettweiler [2016-04-25 04:09:38] 933*2^1427290-1 is not prime. Res64: 5687898EAA728464 Time : 0.0 sec. user=mdettweiler [2016-04-25 04:09:39] 951*2^1427290-1 is not prime. Res64: 8FC1E30F7C389923 Time : 0.0 sec. user=mdettweiler [2016-04-25 04:09:39] 649*2^1427291-1 is not prime. Res64: 745E5436DF509D99 Time : 0.0 sec. user=mdettweiler [2016-04-25 04:09:39] 673*2^1427291-1 is not prime. Res64: 9CDB60845770048E Time : 0.0 sec. user=mdettweiler [2016-04-25 04:09:40] 733*2^1427291-1 is not prime. Res64: CB18C9E8CE1D3BA1 Time : 0.0 sec. user=mdettweiler [2016-04-25 04:37:15] 639*2^1427292-1 is not prime. Res64: 473FC067205BDE48 Time : 0.0 sec. user=mdettweiler [2016-04-25 04:37:16] 683*2^1427292-1 is not prime. Res64: 7F5964DD06AEC7A4 Time : 0.0 sec. user=mdettweiler [2016-04-25 04:37:16] 693*2^1427292-1 is not prime. Res64: B74600F89600FFDC Time : 0.0 sec. user=mdettweiler [2016-04-25 04:37:17] 819*2^1427292-1 is not prime. Res64: FC9C91FAA025E006 Time : 0.0 sec. user=mdettweiler [2016-04-25 04:37:17] 863*2^1427292-1 is not prime. Res64: 47E61E147F3BEF4F Time : 0.0 sec. user=mdettweiler [2016-04-25 04:37:34] 825*2^1427291-1 is not prime. Res64: D715CCF92DECDB56 Time : 0.0 sec. user=mdettweiler [2016-04-25 04:37:35] 879*2^1427291-1 is not prime. Res64: 5278085BAAC22B96 Time : 0.0 sec. user=mdettweiler [2016-04-25 04:37:35] 909*2^1427291-1 is not prime. Res64: A34D17A75C886AA5 Time : 0.0 sec. user=mdettweiler [2016-04-25 04:37:35] 913*2^1427291-1 is not prime. Res64: FC3DC88CBBE8D99A Time : 0.0 sec. user=mdettweiler [2016-04-25 04:37:36] 981*2^1427291-1 is not prime. Res64: A88A11B66A2DC249 Time : 0.0 sec. user=mdettweiler [2016-04-25 04:53:01] 887*2^1427292-1 is not prime. Res64: 0140324EBBD0CCFD Time : 0.0 sec. user=mdettweiler [2016-04-25 04:53:02] 909*2^1427292-1 is not prime. Res64: 8127B26597F6C2D8 Time : 0.0 sec. user=mdettweiler [2016-04-25 04:53:02] 935*2^1427292-1 is not prime. Res64: EB579357DB2DE2A4 Time : 0.0 sec. user=mdettweiler [2016-04-25 04:53:03] 977*2^1427292-1 is not prime. Res64: BC7B102A569D9EF1 Time : 0.0 sec. user=mdettweiler [2016-04-25 04:53:03] 741*2^1427293-1 is not prime. Res64: 4B33E144FEAEAF83 Time : 0.0 sec. user=mdettweiler [2016-04-25 04:54:40] 769*2^1427293-1 is not prime. Res64: 32191B90922048CF Time : 0.0 sec. user=mdettweiler [2016-04-25 04:54:40] 819*2^1427293-1 is not prime. Res64: D3450FF894BD9B95 Time : 0.0 sec. user=mdettweiler [2016-04-25 04:54:41] 831*2^1427293-1 is not prime. Res64: 0E75CC99524BCDBA Time : 0.0 sec. user=mdettweiler [2016-04-25 04:54:41] 849*2^1427293-1 is not prime. Res64: 7F813F8ECA10509C Time : 0.0 sec. user=mdettweiler [2016-04-25 04:54:41] 855*2^1427293-1 is not prime. Res64: 4210D9D2847DDF1C Time : 0.0 sec. user=mdettweiler [2016-04-25 05:22:12] 889*2^1427293-1 is not prime. Res64: 976FC15F2D3AD924 Time : 0.0 sec. user=mdettweiler [2016-04-25 05:22:13] 925*2^1427293-1 is not prime. Res64: 5762EDCD15A479AA Time : 0.0 sec. user=mdettweiler [2016-04-25 05:22:13] 967*2^1427293-1 is not prime. Res64: FF3F7C317499A679 Time : 0.0 sec. user=mdettweiler [2016-04-25 05:22:14] 663*2^1427294-1 is not prime. Res64: D53ECC0F4F1CFDDD Time : 0.0 sec. user=mdettweiler [2016-04-25 05:22:14] 717*2^1427294-1 is not prime. Res64: 6C03E3B5D13A9B9E Time : 0.0 sec. user=mdettweiler [2016-04-25 05:22:21] 743*2^1427294-1 is not prime. Res64: 2048077BC3F521F6 Time : 0.0 sec. user=mdettweiler [2016-04-25 05:22:21] 747*2^1427294-1 is not prime. Res64: 197A210A71DC5D1F Time : 0.0 sec. user=mdettweiler [2016-04-25 05:22:21] 755*2^1427294-1 is not prime. Res64: B975525DAFEFF659 Time : 0.0 sec. user=mdettweiler [2016-04-25 05:22:22] 815*2^1427294-1 is not prime. Res64: E0E810161405EA9A Time : 0.0 sec. user=mdettweiler [2016-04-25 05:22:22] 885*2^1427294-1 is not prime. Res64: B80ED2CD9CFBD4BF Time : 0.0 sec. user=mdettweiler [2016-04-25 05:38:05] 887*2^1427294-1 is not prime. Res64: 1703C8BCB8ABE5D6 Time : 0.0 sec. user=mdettweiler [2016-04-25 05:38:06] 915*2^1427294-1 is not prime. Res64: 93963DB137BE41CC Time : 0.0 sec. user=mdettweiler [2016-04-25 05:38:06] 941*2^1427294-1 is not prime. Res64: FEA1C8701E822AB4 Time : 0.0 sec. user=mdettweiler [2016-04-25 05:38:07] 891*2^1427295-1 is not prime. Res64: FBD0E28169E8F395 Time : 0.0 sec. user=mdettweiler [2016-04-25 05:38:07] 999*2^1427295-1 is not prime. Res64: 549EC85A427E84B7 Time : 0.0 sec. user=mdettweiler [2016-04-25 05:39:49] 653*2^1427296-1 is not prime. Res64: F04791667135667C Time : 0.0 sec. user=mdettweiler [2016-04-25 05:39:49] 693*2^1427296-1 is not prime. Res64: 93B4ED921A7FDD5A Time : 0.0 sec. user=mdettweiler [2016-04-25 05:39:49] 755*2^1427296-1 is not prime. Res64: 08FA2AA02FB529A1 Time : 0.0 sec. user=mdettweiler [2016-04-25 05:39:50] 777*2^1427296-1 is not prime. Res64: D4684D1C7556C8F9 Time : 0.0 sec. user=mdettweiler [2016-04-25 05:39:50] 869*2^1427296-1 is not prime. Res64: 30906CAAAE7337FC Time : 0.0 sec. user=mdettweiler [2016-04-25 06:07:14] 983*2^1427296-1 is not prime. Res64: B4B33F1A0E041EAA Time : 0.0 sec. user=mdettweiler [2016-04-25 06:07:15] 685*2^1427297-1 is not prime. Res64: 8218B5421BB7984B Time : 0.0 sec. user=mdettweiler [2016-04-25 06:07:15] 711*2^1427297-1 is not prime. Res64: 2021D3ABB4794789 Time : 0.0 sec. user=mdettweiler [2016-04-25 06:07:15] 729*2^1427297-1 is not prime. Res64: 0C365D65D8964023 Time : 0.0 sec. user=mdettweiler [2016-04-25 06:07:16] 865*2^1427297-1 is not prime. Res64: 1849A9B3E6E6A877 Time : 0.0 sec. user=mdettweiler [2016-04-25 06:07:28] 889*2^1427297-1 is not prime. Res64: C32F4B4A7CA4B6BA Time : 0.0 sec. user=mdettweiler [2016-04-25 06:07:29] 633*2^1427298-1 is not prime. Res64: D9DDEF3EE73728A2 Time : 0.0 sec. user=mdettweiler [2016-04-25 06:07:29] 731*2^1427298-1 is not prime. Res64: 2E970E6CDBBD6258 Time : 0.0 sec. user=mdettweiler [2016-04-25 06:07:29] 755*2^1427298-1 is not prime. Res64: D9D502CA48DF9169 Time : 0.0 sec. user=mdettweiler [2016-04-25 06:07:30] 773*2^1427298-1 is not prime. Res64: 66E4C53C46D595DE Time : 0.0 sec. user=mdettweiler [2016-04-25 06:23:34] 891*2^1427298-1 is not prime. Res64: FDA25D42509533FF Time : 0.0 sec. user=mdettweiler [2016-04-25 06:23:34] 601*2^1427299-1 is not prime. Res64: EBD29F53DA8F309B Time : 0.0 sec. user=mdettweiler [2016-04-25 06:23:34] 621*2^1427299-1 is not prime. Res64: 9C0C424AA88B9B6E Time : 0.0 sec. user=mdettweiler [2016-04-25 06:23:35] 649*2^1427299-1 is not prime. Res64: 56B04B48623EDD50 Time : 0.0 sec. user=mdettweiler [2016-04-25 06:23:35] 679*2^1427299-1 is not prime. Res64: 537311FDDDEF304F Time : 0.0 sec. user=mdettweiler [2016-04-25 06:24:59] 723*2^1427299-1 is not prime. Res64: 51B631A64D05189E Time : 0.0 sec. user=mdettweiler [2016-04-25 06:24:59] 885*2^1427299-1 is not prime. Res64: 0EED25A3BE465A70 Time : 0.0 sec. user=mdettweiler [2016-04-25 06:25:00] 913*2^1427299-1 is not prime. Res64: E0F017AECC3ACCD9 Time : 0.0 sec. user=mdettweiler [2016-04-25 06:25:00] 615*2^1427300-1 is not prime. Res64: 9CDA407BBF4CB71A Time : 0.0 sec. user=mdettweiler [2016-04-25 06:25:01] 707*2^1427300-1 is not prime. Res64: A6F9B359AB664D91 Time : 0.0 sec. user=mdettweiler [2016-04-25 06:52:11] 753*2^1427300-1 is not prime. Res64: 0362E4DF79DD04E2 Time : 0.0 sec. user=mdettweiler [2016-04-25 06:52:11] 679*2^1427301-1 is not prime. Res64: 362F54623FFCAFAD Time : 0.0 sec. user=mdettweiler [2016-04-25 06:52:12] 805*2^1427301-1 is not prime. Res64: 78765629A9AD357B Time : 0.0 sec. user=mdettweiler [2016-04-25 06:52:12] 937*2^1427301-1 is not prime. Res64: 92653ACF9FCD5916 Time : 0.0 sec. user=mdettweiler [2016-04-25 06:52:12] 969*2^1427301-1 is not prime. Res64: 5B6477DC4273996E Time : 0.0 sec. user=mdettweiler [2016-04-25 06:52:27] 705*2^1427302-1 is not prime. Res64: 8DCFBA2B6A6B08B2 Time : 0.0 sec. user=mdettweiler [2016-04-25 06:52:27] 755*2^1427302-1 is not prime. Res64: DA45BC50B09EAEA3 Time : 0.0 sec. user=mdettweiler [2016-04-25 06:52:28] 915*2^1427302-1 is not prime. Res64: 5DB75670BBC15E81 Time : 0.0 sec. user=mdettweiler [2016-04-25 06:52:28] 975*2^1427302-1 is not prime. Res64: 12565CEF45CC504D Time : 0.0 sec. user=mdettweiler [2016-04-25 06:52:28] 643*2^1427303-1 is not prime. Res64: 263FFB4746816712 Time : 0.0 sec. user=mdettweiler [2016-04-25 07:08:34] 819*2^1427303-1 is not prime. Res64: 85F38CB0643DAC25 Time : 0.0 sec. user=mdettweiler [2016-04-25 07:08:34] 825*2^1427303-1 is not prime. Res64: FE233B67BA1D6679 Time : 0.0 sec. user=mdettweiler [2016-04-25 07:08:35] 915*2^1427303-1 is not prime. Res64: 41B309B72E18168C Time : 0.0 sec. user=mdettweiler [2016-04-25 07:08:35] 943*2^1427303-1 is not prime. Res64: CDF8515D2878CA38 Time : 0.0 sec. user=mdettweiler [2016-04-25 07:08:36] 963*2^1427303-1 is not prime. Res64: B7482EFA3CD085BF Time : 0.0 sec. user=mdettweiler [2016-04-25 07:10:01] 991*2^1427303-1 is not prime. Res64: BB7B884E8CFD3969 Time : 0.0 sec. user=mdettweiler [2016-04-25 07:10:01] 999*2^1427303-1 is not prime. Res64: 55102B12C082E6D8 Time : 0.0 sec. user=mdettweiler [2016-04-25 07:10:02] 609*2^1427304-1 is not prime. Res64: F578868793937586 Time : 0.0 sec. user=mdettweiler [2016-04-25 07:10:02] 627*2^1427304-1 is not prime. Res64: C911C10C636ABA2B Time : 0.0 sec. user=mdettweiler [2016-04-25 07:10:03] 635*2^1427304-1 is not prime. Res64: 12BEB323E4F297BE Time : 0.0 sec. user=mdettweiler [2016-04-25 07:37:15] 717*2^1427304-1 is not prime. Res64: C5D2B5F474570D2A Time : 0.0 sec. user=mdettweiler [2016-04-25 07:37:16] 837*2^1427304-1 is not prime. Res64: 315BD4BDEFAC98CE Time : 0.0 sec. user=mdettweiler [2016-04-25 07:37:16] 975*2^1427304-1 is not prime. Res64: A9E0D60979D951D1 Time : 0.0 sec. user=mdettweiler [2016-04-25 07:37:17] 799*2^1427305-1 is not prime. Res64: 4A8E81DCBDCB100C Time : 0.0 sec. user=mdettweiler [2016-04-25 07:37:17] 817*2^1427305-1 is not prime. Res64: 28396DB97A3E57EE Time : 0.0 sec. user=mdettweiler [2016-04-25 07:37:26] 889*2^1427305-1 is not prime. Res64: 0EBCBC617C4D8C79 Time : 0.0 sec. user=mdettweiler [2016-04-25 07:37:27] 987*2^1427305-1 is not prime. Res64: 50EC9352CCA74C1C Time : 0.0 sec. user=mdettweiler [2016-04-25 07:37:27] 623*2^1427306-1 is not prime. Res64: 091A9F11BF6E6ADF Time : 0.0 sec. user=mdettweiler [2016-04-25 07:37:28] 671*2^1427306-1 is not prime. Res64: 00AEA58FFCCD9D30 Time : 0.0 sec. user=mdettweiler [2016-04-25 07:37:28] 735*2^1427306-1 is not prime. Res64: AEDE813116B0F5E8 Time : 0.0 sec. user=mdettweiler [2016-04-25 07:53:49] 887*2^1427306-1 is not prime. Res64: 1A20B63D6DCC0759 Time : 0.0 sec. user=mdettweiler [2016-04-25 07:53:49] 861*2^1427307-1 is not prime. Res64: 53E3B4FFC236DB1F Time : 0.0 sec. user=mdettweiler [2016-04-25 07:53:49] 919*2^1427307-1 is not prime. Res64: FD19798171260003 Time : 0.0 sec. user=mdettweiler [2016-04-25 07:53:50] 665*2^1427308-1 is not prime. Res64: FBB31E5BD54BE63D Time : 0.0 sec. user=mdettweiler [2016-04-25 07:53:50] 797*2^1427308-1 is not prime. Res64: 73ED49B9F051FEBD Time : 0.0 sec. user=mdettweiler [2016-04-25 07:55:02] 887*2^1427308-1 is not prime. Res64: 751A26749F43190B Time : 0.0 sec. user=mdettweiler [2016-04-25 07:55:02] 975*2^1427308-1 is not prime. Res64: 3C25BD7C39904903 Time : 0.0 sec. user=mdettweiler [2016-04-25 07:55:02] 631*2^1427309-1 is not prime. Res64: 92106B479ECC0B1B Time : 0.0 sec. user=mdettweiler [2016-04-25 07:55:03] 691*2^1427309-1 is not prime. Res64: 50F354925551C01F Time : 0.0 sec. user=mdettweiler [2016-04-25 07:55:03] 697*2^1427309-1 is not prime. Res64: 21A952FC1E45799F Time : 0.0 sec. user=mdettweiler [2016-04-25 08:21:58] 787*2^1427309-1 is not prime. Res64: 513DDE87EE4A256C Time : 0.0 sec. user=mdettweiler [2016-04-25 08:21:59] 825*2^1427309-1 is not prime. Res64: 09B0398FB312817F Time : 0.0 sec. user=mdettweiler [2016-04-25 08:21:59] 967*2^1427309-1 is not prime. Res64: 3E058BB2DF96A9A9 Time : 0.0 sec. user=mdettweiler [2016-04-25 08:21:59] 635*2^1427310-1 is not prime. Res64: 9AF06B2A852757BD Time : 0.0 sec. user=mdettweiler [2016-04-25 08:22:00] 843*2^1427310-1 is not prime. Res64: 458C09E952C68A0A Time : 0.0 sec. user=mdettweiler [2016-04-25 08:22:11] 957*2^1427310-1 is not prime. Res64: 19631552A8FECEBA Time : 0.0 sec. user=mdettweiler [2016-04-25 08:22:12] 963*2^1427310-1 is not prime. Res64: 3A02B28023F23341 Time : 0.0 sec. user=mdettweiler [2016-04-25 08:22:12] 603*2^1427311-1 is not prime. Res64: A8A8D103F9D270A3 Time : 0.0 sec. user=mdettweiler [2016-04-25 08:22:12] 811*2^1427311-1 is not prime. Res64: DD4D48A5490C00E0 Time : 0.0 sec. user=mdettweiler [2016-04-25 08:22:13] 841*2^1427311-1 is not prime. Res64: 02CAA950479A1E7F Time : 0.0 sec. user=mdettweiler [2016-04-25 08:38:59] 843*2^1427311-1 is not prime. Res64: 85B7A0C4EC07EF6F Time : 0.0 sec. user=mdettweiler [2016-04-25 08:39:00] 889*2^1427311-1 is not prime. Res64: 0797C463E38AF193 Time : 0.0 sec. user=mdettweiler [2016-04-25 08:39:00] 657*2^1427312-1 is not prime. Res64: 0C5DDD851D579D7E Time : 0.0 sec. user=mdettweiler [2016-04-25 08:39:00] 713*2^1427312-1 is not prime. Res64: 46FF72D162B5B02D Time : 0.0 sec. user=mdettweiler [2016-04-25 08:39:01] 797*2^1427312-1 is not prime. Res64: 5426363867EFF196 Time : 0.0 sec. user=mdettweiler [2016-04-25 08:40:16] 827*2^1427312-1 is not prime. Res64: 366CB78FB5420DA7 Time : 0.0 sec. user=mdettweiler [2016-04-25 08:40:16] 923*2^1427312-1 is not prime. Res64: 57CF625F0C21BAF5 Time : 0.0 sec. user=mdettweiler [2016-04-25 08:40:17] 609*2^1427313-1 is not prime. Res64: 08ECE050C3CB0440 Time : 0.0 sec. user=mdettweiler [2016-04-25 08:40:17] 651*2^1427313-1 is not prime. Res64: D892CA651C5E1332 Time : 0.0 sec. user=mdettweiler [2016-04-25 08:40:18] 705*2^1427313-1 is not prime. Res64: 1BE1BAC1A41D76D0 Time : 0.0 sec. user=mdettweiler [2016-04-25 09:06:52] 727*2^1427313-1 is not prime. Res64: 9665CC26293E48E3 Time : 0.0 sec. user=mdettweiler [2016-04-25 09:06:53] 741*2^1427313-1 is not prime. Res64: 04745EAD18F03ED9 Time : 0.0 sec. user=mdettweiler [2016-04-25 09:06:53] 747*2^1427313-1 is not prime. Res64: DBBC2CFAD21E4146 Time : 0.0 sec. user=mdettweiler [2016-04-25 09:06:54] 817*2^1427313-1 is not prime. Res64: F6D99A808DB0EB88 Time : 0.0 sec. user=mdettweiler [2016-04-25 09:06:54] 635*2^1427314-1 is not prime. Res64: 1D178F944BE4D2D6 Time : 0.0 sec. user=mdettweiler [2016-04-25 09:07:29] 773*2^1427314-1 is not prime. Res64: 45A2080139F1323D Time : 0.0 sec. user=mdettweiler [2016-04-25 09:07:29] 821*2^1427314-1 is not prime. Res64: 9EC77C365C2C3039 Time : 0.0 sec. user=mdettweiler [2016-04-25 09:07:30] 891*2^1427314-1 is not prime. Res64: 9D09BF9A202FC522 Time : 0.0 sec. user=mdettweiler [2016-04-25 09:07:30] 923*2^1427314-1 is not prime. Res64: 2C6C8DB0418878FA Time : 0.0 sec. user=mdettweiler [2016-04-25 09:07:31] 633*2^1427315-1 is not prime. Res64: F61A8C65B599DA20 Time : 0.0 sec. user=mdettweiler [2016-04-25 09:23:53] 781*2^1427315-1 is not prime. Res64: C80EEB63E90872EB Time : 0.0 sec. user=mdettweiler [2016-04-25 09:23:53] 841*2^1427315-1 is not prime. Res64: 6A64F79C83DA5D2D Time : 0.0 sec. user=mdettweiler [2016-04-25 09:23:53] 921*2^1427315-1 is not prime. Res64: 50C6A168FBD82513 Time : 0.0 sec. user=mdettweiler [2016-04-25 09:23:54] 939*2^1427315-1 is not prime. Res64: BC5B446FF78DA482 Time : 0.0 sec. user=mdettweiler [2016-04-25 09:23:54] 623*2^1427316-1 is not prime. Res64: 167D0D07C8532C71 Time : 0.0 sec. user=mdettweiler [2016-04-25 09:25:12] 633*2^1427316-1 is not prime. Res64: EAE9F91AB3E78768 Time : 0.0 sec. user=mdettweiler [2016-04-25 09:25:12] 653*2^1427316-1 is not prime. Res64: 42CEB818112ECA95 Time : 0.0 sec. user=mdettweiler [2016-04-25 09:25:12] 669*2^1427316-1 is not prime. Res64: F761AD28585B09A8 Time : 0.0 sec. user=mdettweiler [2016-04-25 09:25:12] 621*2^1427317-1 is not prime. Res64: 7A8C84409CE7908D Time : 0.0 sec. user=mdettweiler [2016-04-25 09:25:13] 819*2^1427317-1 is not prime. Res64: AF1AAC0963348B37 Time : 0.0 sec. user=mdettweiler [2016-04-25 09:51:48] 847*2^1427317-1 is not prime. Res64: 95AF2856F70C1007 Time : 0.0 sec. user=mdettweiler [2016-04-25 09:51:48] 945*2^1427317-1 is not prime. Res64: C411AE755696CDED Time : 0.0 sec. user=mdettweiler [2016-04-25 09:51:49] 957*2^1427317-1 is not prime. Res64: B335C116BAE323F6 Time : 0.0 sec. user=mdettweiler [2016-04-25 09:51:49] 979*2^1427317-1 is not prime. Res64: 5A84BA843BBD8903 Time : 0.0 sec. user=mdettweiler [2016-04-25 09:51:49] 651*2^1427318-1 is not prime. Res64: 175B60DD758D5B1E Time : 0.0 sec. user=mdettweiler [2016-04-25 09:52:27] 671*2^1427318-1 is not prime. Res64: 54BB8056E10EA968 Time : 0.0 sec. user=mdettweiler [2016-04-25 09:52:28] 677*2^1427318-1 is not prime. Res64: 0E3DB9BB3F88C3D3 Time : 0.0 sec. user=mdettweiler [2016-04-25 09:52:28] 707*2^1427318-1 is not prime. Res64: 5BE2068B0F780031 Time : 0.0 sec. user=mdettweiler [2016-04-25 09:52:28] 747*2^1427318-1 is not prime. Res64: B15F6D1293B25C6D Time : 0.0 sec. user=mdettweiler [2016-04-25 09:52:29] 755*2^1427318-1 is not prime. Res64: 646E519005B6670C Time : 0.0 sec. user=mdettweiler [2016-04-25 10:08:45] 679*2^1427319-1 is not prime. Res64: 3EA766A9670F80BA Time : 0.0 sec. user=mdettweiler [2016-04-25 10:08:46] 751*2^1427319-1 is not prime. Res64: 3DDA840D4A327673 Time : 0.0 sec. user=mdettweiler [2016-04-25 10:08:46] 763*2^1427319-1 is not prime. Res64: 8D4FE497C3E228BB Time : 0.0 sec. user=mdettweiler [2016-04-25 10:08:47] 843*2^1427319-1 is not prime. Res64: AFE30DCFBEB97C7F Time : 0.0 sec. user=mdettweiler [2016-04-25 10:08:47] 895*2^1427319-1 is not prime. Res64: 9DAE6251BDF4C324 Time : 0.0 sec. user=mdettweiler [2016-04-25 10:09:56] 975*2^1427319-1 is not prime. Res64: 61DE84AED26CD989 Time : 0.0 sec. user=mdettweiler [2016-04-25 10:09:56] 675*2^1427320-1 is not prime. Res64: C50BC159B798D47D Time : 0.0 sec. user=mdettweiler [2016-04-25 10:09:57] 687*2^1427320-1 is not prime. Res64: 10E2B7A8323988CC Time : 0.0 sec. user=mdettweiler [2016-04-25 10:09:57] 695*2^1427320-1 is not prime. Res64: E5365F9548301051 Time : 0.0 sec. user=mdettweiler [2016-04-25 10:09:57] 713*2^1427320-1 is not prime. Res64: 88A5D66741B5C325 Time : 0.0 sec. user=mdettweiler [2016-04-25 10:36:36] 723*2^1427320-1 is not prime. Res64: 4B97CA12E366388E Time : 0.0 sec. user=mdettweiler [2016-04-25 10:36:37] 759*2^1427320-1 is not prime. Res64: 0775B2A0BF86F942 Time : 0.0 sec. user=mdettweiler [2016-04-25 10:36:37] 785*2^1427320-1 is not prime. Res64: 9EE3996362647DDF Time : 0.0 sec. user=mdettweiler [2016-04-25 10:36:37] 813*2^1427320-1 is not prime. Res64: 5ED03D04A28BAB64 Time : 0.0 sec. user=mdettweiler [2016-04-25 10:36:38] 627*2^1427321-1 is not prime. Res64: F9DEF67AA2B9AF5E Time : 0.0 sec. user=mdettweiler [2016-04-25 10:37:18] 691*2^1427321-1 is not prime. Res64: 730D698FB7967A5E Time : 0.0 sec. user=mdettweiler [2016-04-25 10:37:18] 747*2^1427321-1 is not prime. Res64: 6A3D67C33BF005CB Time : 0.0 sec. user=mdettweiler [2016-04-25 10:37:18] 855*2^1427321-1 is not prime. Res64: 1E50BE9EEBA03445 Time : 0.0 sec. user=mdettweiler [2016-04-25 10:37:19] 867*2^1427321-1 is not prime. Res64: 6E09A23F02855F66 Time : 0.0 sec. user=mdettweiler [2016-04-25 10:37:19] 889*2^1427321-1 is not prime. Res64: 73597AAF0D2F31BE Time : 0.0 sec. user=mdettweiler [2016-04-25 10:53:33] 939*2^1427321-1 is not prime. Res64: 7ED235F0C02D9498 Time : 0.0 sec. user=mdettweiler [2016-04-25 10:53:33] 611*2^1427322-1 is not prime. Res64: 579417410B3DE698 Time : 0.0 sec. user=mdettweiler [2016-04-25 10:53:34] 657*2^1427322-1 is not prime. Res64: 31BFD56F3757EA60 Time : 0.0 sec. user=mdettweiler [2016-04-25 10:53:34] 671*2^1427322-1 is not prime. Res64: 7CA393625BA84A22 Time : 0.0 sec. user=mdettweiler [2016-04-25 10:53:35] 725*2^1427322-1 is not prime. Res64: 28CDC1F84157D0B2 Time : 0.0 sec. user=mdettweiler [2016-04-25 10:54:39] 807*2^1427322-1 is not prime. Res64: FBFBD0735BA87BCF Time : 0.0 sec. user=mdettweiler [2016-04-25 10:54:39] 825*2^1427322-1 is not prime. Res64: 20BA64EFA3380E00 Time : 0.0 sec. user=mdettweiler [2016-04-25 10:54:40] 917*2^1427322-1 is not prime. Res64: 6EC3158B2B97F0F1 Time : 0.0 sec. user=mdettweiler [2016-04-25 10:54:40] 615*2^1427323-1 is not prime. Res64: D9EEA2051D388A27 Time : 0.0 sec. user=mdettweiler [2016-04-25 10:54:41] 723*2^1427323-1 is not prime. Res64: 101EA9CC7F018B77 Time : 0.0 sec. user=mdettweiler [2016-04-25 11:21:28] 819*2^1427323-1 is not prime. Res64: B2C71E4F27358431 Time : 0.0 sec. user=mdettweiler [2016-04-25 11:21:28] 891*2^1427323-1 is not prime. Res64: EAFD9BF378573B88 Time : 0.0 sec. user=mdettweiler [2016-04-25 11:21:29] 951*2^1427323-1 is not prime. Res64: 888F1B684A22082D Time : 0.0 sec. user=mdettweiler [2016-04-25 11:21:29] 973*2^1427323-1 is not prime. Res64: 6092336DC915D4EC Time : 0.0 sec. user=mdettweiler [2016-04-25 11:21:30] 985*2^1427323-1 is not prime. Res64: B456B963CE966B16 Time : 0.0 sec. user=mdettweiler [2016-04-25 11:22:12] 993*2^1427323-1 is not prime. Res64: 75A037423804B14E Time : 0.0 sec. user=mdettweiler [2016-04-25 11:22:12] 615*2^1427324-1 is not prime. Res64: 3AF4040F3FCFC1EA Time : 0.0 sec. user=mdettweiler [2016-04-25 11:22:13] 623*2^1427324-1 is not prime. Res64: 74A974C18C822FCA Time : 0.0 sec. user=mdettweiler [2016-04-25 11:22:13] 759*2^1427324-1 is not prime. Res64: A498FB79F541A15D Time : 0.0 sec. user=mdettweiler [2016-04-25 11:22:14] 837*2^1427324-1 is not prime. Res64: 01E1374E784E6793 Time : 0.0 sec. user=mdettweiler [2016-04-25 11:38:23] 869*2^1427324-1 is not prime. Res64: 7BB6FC1C1A28600D Time : 0.0 sec. user=mdettweiler [2016-04-25 11:38:24] 903*2^1427324-1 is not prime. Res64: 78CB5472007E0987 Time : 0.0 sec. user=mdettweiler [2016-04-25 11:38:24] 945*2^1427324-1 is not prime. Res64: 171A125CDA2DBBA1 Time : 0.0 sec. user=mdettweiler [2016-04-25 11:38:24] 691*2^1427325-1 is not prime. Res64: FFF1B20C98A833D4 Time : 0.0 sec. user=mdettweiler [2016-04-25 11:38:25] 699*2^1427325-1 is not prime. Res64: 9CCC8078247FF61D Time : 0.0 sec. user=mdettweiler [2016-04-25 11:39:36] 751*2^1427325-1 is not prime. Res64: 369747E467143F20 Time : 0.0 sec. user=mdettweiler [2016-04-25 11:39:36] 819*2^1427325-1 is not prime. Res64: 3843C849941B8BE6 Time : 0.0 sec. user=mdettweiler [2016-04-25 11:39:36] 831*2^1427325-1 is not prime. Res64: 13258A4CFF85EA51 Time : 0.0 sec. user=mdettweiler [2016-04-25 11:39:37] 837*2^1427325-1 is not prime. Res64: B95013572F11DCED Time : 0.0 sec. user=mdettweiler [2016-04-25 11:39:37] 891*2^1427325-1 is not prime. Res64: 49D8FBF45AD67725 Time : 0.0 sec. user=mdettweiler [2016-04-25 12:06:27] 895*2^1427325-1 is not prime. Res64: 2F78F962ECF95B56 Time : 0.0 sec. user=mdettweiler [2016-04-25 12:06:29] 919*2^1427325-1 is not prime. Res64: 1C8E897943A9934E Time : 0.0 sec. user=mdettweiler [2016-04-25 12:06:30] 635*2^1427326-1 is not prime. Res64: 37F7023F96B1DF67 Time : 0.0 sec. user=mdettweiler [2016-04-25 12:06:33] 843*2^1427326-1 is not prime. Res64: 3ADEF71F3ECC6F1D Time : 0.0 sec. user=mdettweiler [2016-04-25 12:06:33] 923*2^1427326-1 is not prime. Res64: 4E7220F227A89966 Time : 0.0 sec. user=mdettweiler [2016-04-25 12:07:10] 965*2^1427326-1 is not prime. Res64: EA85AE0F73672CC0 Time : 0.0 sec. user=mdettweiler [2016-04-25 12:07:11] 609*2^1427327-1 is not prime. Res64: 7B38903064659A0B Time : 0.0 sec. user=mdettweiler [2016-04-25 12:07:13] 859*2^1427327-1 is not prime. Res64: 6E5E1E6AF7E15626 Time : 0.0 sec. user=mdettweiler [2016-04-25 12:07:14] 915*2^1427327-1 is not prime. Res64: 1C52D7560BFA23A9 Time : 0.0 sec. user=mdettweiler [2016-04-25 12:07:16] 945*2^1427327-1 is not prime. Res64: 4B8F6B16B5CE7796 Time : 0.0 sec. user=mdettweiler [2016-04-25 12:23:21] 955*2^1427327-1 is not prime. Res64: E0858F1475C2DA3A Time : 0.0 sec. user=mdettweiler [2016-04-25 12:23:21] 963*2^1427327-1 is not prime. Res64: 53DAAEA4699CCF64 Time : 0.0 sec. user=mdettweiler [2016-04-25 12:23:22] 605*2^1427328-1 is not prime. Res64: 3F03BD4ED392FFD4 Time : 0.0 sec. user=mdettweiler [2016-04-25 12:23:22] 887*2^1427328-1 is not prime. Res64: ABAC8E7BF46B2D70 Time : 0.0 sec. user=mdettweiler [2016-04-25 12:23:23] 923*2^1427328-1 is not prime. Res64: 9D5A6B41F3854508 Time : 0.0 sec. user=mdettweiler [2016-04-25 12:24:32] 977*2^1427328-1 is not prime. Res64: AB9A47A849E54F39 Time : 0.0 sec. user=mdettweiler [2016-04-25 12:24:32] 993*2^1427328-1 is not prime. Res64: 1DFC1CEFE427C85F Time : 0.0 sec. user=mdettweiler [2016-04-25 12:24:33] 625*2^1427329-1 is not prime. Res64: A207F7FB03635D8A Time : 0.0 sec. user=mdettweiler [2016-04-25 12:24:33] 661*2^1427329-1 is not prime. Res64: B3C25B540BF007C1 Time : 0.0 sec. user=mdettweiler [2016-04-25 12:24:34] 819*2^1427329-1 is not prime. Res64: 219759D373BF71C7 Time : 0.0 sec. user=mdettweiler [2016-04-25 12:51:40] 855*2^1427329-1 is not prime. Res64: 1B49351D1990F467 Time : 0.0 sec. user=mdettweiler [2016-04-25 12:51:40] 603*2^1427330-1 is not prime. Res64: 2C28AF277130BDCC Time : 0.0 sec. user=mdettweiler [2016-04-25 12:51:40] 675*2^1427330-1 is not prime. Res64: 40068601881FDFF9 Time : 0.0 sec. user=mdettweiler [2016-04-25 12:51:41] 687*2^1427330-1 is not prime. Res64: 9EE55B5D0E28E629 Time : 0.0 sec. user=mdettweiler [2016-04-25 12:51:41] 743*2^1427330-1 is not prime. Res64: 384818091055CC98 Time : 0.0 sec. user=mdettweiler [2016-04-25 12:52:16] 767*2^1427330-1 is not prime. Res64: 2DA68DBDAE612E4D Time : 0.0 sec. user=mdettweiler [2016-04-25 12:52:16] 981*2^1427330-1 is not prime. Res64: A540DFFC26F440A3 Time : 0.0 sec. user=mdettweiler [2016-04-25 12:52:17] 987*2^1427330-1 is not prime. Res64: 4A7C356AFFAC0E84 Time : 0.0 sec. user=mdettweiler [2016-04-25 12:52:18] 615*2^1427331-1 is not prime. Res64: 2689B8B6A19650A1 Time : 0.0 sec. user=mdettweiler [2016-04-25 12:52:18] 675*2^1427331-1 is not prime. Res64: C143EF6AEB24B431 Time : 0.0 sec. user=mdettweiler [2016-04-25 13:08:18] 723*2^1427331-1 is not prime. Res64: 99B96E3AC007C31C Time : 0.0 sec. user=mdettweiler [2016-04-25 13:08:19] 885*2^1427331-1 is not prime. Res64: AEFAC96D0F3CDEB4 Time : 0.0 sec. user=mdettweiler [2016-04-25 13:08:19] 891*2^1427331-1 is not prime. Res64: 6CC95D42B63EA72C Time : 0.0 sec. user=mdettweiler [2016-04-25 13:08:20] 903*2^1427331-1 is not prime. Res64: C38C3B864DD0423A Time : 0.0 sec. user=mdettweiler [2016-04-25 13:08:20] 605*2^1427332-1 is not prime. Res64: ACF39D15DF8A0D3D Time : 0.0 sec. user=mdettweiler [2016-04-25 13:09:22] 833*2^1427332-1 is not prime. Res64: E592442B9BDC1B6E Time : 0.0 sec. user=mdettweiler [2016-04-25 13:09:22] 843*2^1427332-1 is not prime. Res64: 05DA96BD712465F5 Time : 0.0 sec. user=mdettweiler [2016-04-25 13:09:23] 939*2^1427332-1 is not prime. Res64: C74164380CAF679B Time : 0.0 sec. user=mdettweiler [2016-04-25 13:09:23] 657*2^1427333-1 is not prime. Res64: BC0D3B541E49EE9A Time : 0.0 sec. user=mdettweiler [2016-04-25 13:09:24] 775*2^1427333-1 is not prime. Res64: 65AE8CE4D171328F Time : 0.0 sec. user=mdettweiler [2016-04-25 13:36:28] 885*2^1427333-1 is not prime. Res64: 6EEF99143807A477 Time : 0.0 sec. user=mdettweiler [2016-04-25 13:36:28] 615*2^1427334-1 is not prime. Res64: 44E82D7BBF17A5F4 Time : 0.0 sec. user=mdettweiler [2016-04-25 13:36:29] 1001*2^1427334-1 is not prime. Res64: 6C033C977B08799A Time : 0.0 sec. user=mdettweiler [2016-04-25 13:36:29] 609*2^1427335-1 is not prime. Res64: 038A63C2F08ECBC4 Time : 0.0 sec. user=mdettweiler [2016-04-25 13:36:30] 679*2^1427335-1 is not prime. Res64: 162F4A7B015DDD55 Time : 0.0 sec. user=mdettweiler [2016-04-25 13:37:06] 685*2^1427335-1 is not prime. Res64: 1DF346B146C3341C Time : 0.0 sec. user=mdettweiler [2016-04-25 13:37:06] 693*2^1427335-1 is not prime. Res64: CB31A0F65823633C Time : 0.0 sec. user=mdettweiler [2016-04-25 13:37:07] 805*2^1427335-1 is not prime. Res64: 453FB5A73F0F63A4 Time : 0.0 sec. user=mdettweiler [2016-04-25 13:37:07] 885*2^1427335-1 is not prime. Res64: D30FB71765A5802D Time : 0.0 sec. user=mdettweiler [2016-04-25 13:37:08] 913*2^1427335-1 is not prime. Res64: 372649E2AF485BD4 Time : 0.0 sec. user=mdettweiler [2016-04-25 13:53:37] 973*2^1427335-1 is not prime. Res64: 54F13F3031651240 Time : 0.0 sec. user=mdettweiler [2016-04-25 13:53:38] 985*2^1427335-1 is not prime. Res64: ECA9C7468C6C2986 Time : 0.0 sec. user=mdettweiler [2016-04-25 13:53:38] 999*2^1427335-1 is not prime. Res64: 5BCA3F2A454E39BD Time : 0.0 sec. user=mdettweiler [2016-04-25 13:53:39] 609*2^1427336-1 is not prime. Res64: 29911000D5683C14 Time : 0.0 sec. user=mdettweiler [2016-04-25 13:53:39] 615*2^1427336-1 is not prime. Res64: 0ECF84542992214F Time : 0.0 sec. user=mdettweiler [2016-04-25 13:54:19] 669*2^1427336-1 is not prime. Res64: ABCAAA705DCC0421 Time : 0.0 sec. user=mdettweiler [2016-04-25 13:54:20] 689*2^1427336-1 is not prime. Res64: 1CBE8F6172B11293 Time : 0.0 sec. user=mdettweiler [2016-04-25 13:54:20] 867*2^1427336-1 is not prime. Res64: B170D84186378BB7 Time : 0.0 sec. user=mdettweiler [2016-04-25 13:54:21] 873*2^1427336-1 is not prime. Res64: 0770C3AC67641314 Time : 0.0 sec. user=mdettweiler [2016-04-25 13:54:21] 903*2^1427336-1 is not prime. Res64: 6F96A8CECE36FD7E Time : 0.0 sec. user=mdettweiler [2016-04-25 14:21:33] 923*2^1427336-1 is not prime. Res64: 6AC258C575D6FBEE Time : 0.0 sec. user=mdettweiler [2016-04-25 14:21:33] 739*2^1427337-1 is not prime. Res64: 6008D8D08BBFDDE1 Time : 0.0 sec. user=mdettweiler [2016-04-25 14:21:34] 747*2^1427337-1 is not prime. Res64: 24BD35BCF3D435A1 Time : 0.0 sec. user=mdettweiler [2016-04-25 14:21:34] 781*2^1427337-1 is not prime. Res64: DB4ECB836C115B8D Time : 0.0 sec. user=mdettweiler [2016-04-25 14:21:35] 865*2^1427337-1 is not prime. Res64: A2E79ED061B7E4FA Time : 0.0 sec. user=mdettweiler [2016-04-25 14:22:09] 885*2^1427337-1 is not prime. Res64: 4D39AF9F7A7FAD91 Time : 0.0 sec. user=mdettweiler [2016-04-25 14:22:09] 979*2^1427337-1 is not prime. Res64: DB7BBE8BEEB99BAA Time : 0.0 sec. user=mdettweiler [2016-04-25 14:22:10] 815*2^1427338-1 is not prime. Res64: 2AEAFA64E39EA546 Time : 0.0 sec. user=mdettweiler [2016-04-25 14:22:10] 887*2^1427338-1 is not prime. Res64: F6FFA23B67E0D97A Time : 0.0 sec. user=mdettweiler [2016-04-25 14:22:11] 923*2^1427338-1 is not prime. Res64: 561352FBB083FFE0 Time : 0.0 sec. user=mdettweiler [2016-04-25 14:39:12] 609*2^1427339-1 is not prime. Res64: 48F40D7968F88679 Time : 0.0 sec. user=mdettweiler [2016-04-25 14:39:12] 621*2^1427339-1 is not prime. Res64: 2C6294227043A916 Time : 0.0 sec. user=mdettweiler [2016-04-25 14:39:13] 631*2^1427339-1 is not prime. Res64: E6E9CC0A04349857 Time : 0.0 sec. user=mdettweiler [2016-04-25 14:39:13] 645*2^1427339-1 is not prime. Res64: 86BEE3FAC707D114 Time : 0.0 sec. user=mdettweiler [2016-04-25 14:39:13] 705*2^1427339-1 is not prime. Res64: 624D70B5817FC680 Time : 0.0 sec. user=mdettweiler [2016-04-25 14:40:06] 735*2^1427339-1 is not prime. Res64: D94E0F93C6BF43A9 Time : 0.0 sec. user=mdettweiler [2016-04-25 14:40:06] 759*2^1427339-1 is not prime. Res64: 93BE4DABF571E682 Time : 0.0 sec. user=mdettweiler [2016-04-25 14:40:06] 855*2^1427339-1 is not prime. Res64: 1D517D1D70CDFDE0 Time : 0.0 sec. user=mdettweiler [2016-04-25 14:40:07] 665*2^1427340-1 is not prime. Res64: B589A247EC86C6BB Time : 0.0 sec. user=mdettweiler [2016-04-25 14:40:07] 809*2^1427340-1 is not prime. Res64: 1F6975C8DBEFEDCE Time : 0.0 sec. user=mdettweiler [2016-04-25 15:06:59] 875*2^1427340-1 is not prime. Res64: 993400B7C9C7E00D Time : 0.0 sec. user=mdettweiler [2016-04-25 15:07:00] 909*2^1427340-1 is not prime. Res64: F78B0C7D1B754D6B Time : 0.0 sec. user=mdettweiler [2016-04-25 15:07:01] 625*2^1427341-1 is not prime. Res64: B6C6D48AC5476B47 Time : 0.0 sec. user=mdettweiler [2016-04-25 15:07:01] 717*2^1427341-1 is not prime. Res64: 6D3580FD8EC16151 Time : 0.0 sec. user=mdettweiler [2016-04-25 15:07:02] 757*2^1427341-1 is not prime. Res64: 450C103793D53993 Time : 0.0 sec. user=mdettweiler [2016-04-25 15:07:43] 771*2^1427341-1 is not prime. Res64: 654176B6520DDCDD Time : 0.0 sec. user=mdettweiler [2016-04-25 15:07:44] 775*2^1427341-1 is not prime. Res64: 8EE0F711CCEB1178 Time : 0.0 sec. user=mdettweiler [2016-04-25 15:07:44] 859*2^1427341-1 is not prime. Res64: 539156416E8154DF Time : 0.0 sec. user=mdettweiler [2016-04-25 15:07:45] 927*2^1427341-1 is not prime. Res64: 37A060A8CC2BD82D Time : 0.0 sec. user=mdettweiler [2016-04-25 15:07:45] 979*2^1427341-1 is not prime. Res64: 2AA4AAAC8C7AED91 Time : 0.0 sec. user=mdettweiler [2016-04-25 15:24:22] 683*2^1427342-1 is not prime. Res64: 195381098B3DF833 Time : 0.0 sec. user=mdettweiler [2016-04-25 15:24:23] 731*2^1427342-1 is not prime. Res64: FAC38F7F910A6FE0 Time : 0.0 sec. user=mdettweiler [2016-04-25 15:24:23] 813*2^1427342-1 is not prime. Res64: 20B9B78FD5D4B2B9 Time : 0.0 sec. user=mdettweiler [2016-04-25 15:24:23] 843*2^1427342-1 is not prime. Res64: 5C9B574F4AFEE829 Time : 0.0 sec. user=mdettweiler [2016-04-25 15:24:24] 911*2^1427342-1 is not prime. Res64: 4A07946E9FE6159D Time : 0.0 sec. user=mdettweiler [2016-04-25 15:25:20] 1001*2^1427342-1 is not prime. Res64: A0007C48BF36FA94 Time : 0.0 sec. user=mdettweiler [2016-04-25 15:25:25] 679*2^1427343-1 is not prime. Res64: 82831030EC5AEE1F Time : 0.0 sec. user=mdettweiler [2016-04-25 15:25:25] 765*2^1427343-1 is not prime. Res64: C0C20B7D59870D2C Time : 0.0 sec. user=mdettweiler [2016-04-25 15:25:26] 795*2^1427343-1 is not prime. Res64: C749689D4BE6584F Time : 0.0 sec. user=mdettweiler [2016-04-25 15:25:26] 859*2^1427343-1 is not prime. Res64: 47EAF605A1A73A7E Time : 0.0 sec. user=mdettweiler [2016-04-25 15:52:00] 609*2^1427344-1 is not prime. Res64: CF95B48993860EDF Time : 0.0 sec. user=mdettweiler [2016-04-25 15:52:01] 607*2^1427345-1 is not prime. Res64: B34F944FD81F83D6 Time : 0.0 sec. user=mdettweiler [2016-04-25 15:52:01] 619*2^1427345-1 is not prime. Res64: 8555787DF6C574A3 Time : 0.0 sec. user=mdettweiler [2016-04-25 15:52:01] 741*2^1427345-1 is not prime. Res64: 8C4F9CC79317B755 Time : 0.0 sec. user=mdettweiler [2016-04-25 15:52:02] 861*2^1427345-1 is not prime. Res64: 5312FB7F633CD3FF Time : 0.0 sec. user=mdettweiler [2016-04-25 15:52:43] 871*2^1427345-1 is not prime. Res64: 8DDCC21F35CFCD19 Time : 0.0 sec. user=mdettweiler [2016-04-25 15:52:43] 957*2^1427345-1 is not prime. Res64: 682AF8F7F764B64E Time : 0.0 sec. user=mdettweiler [2016-04-25 15:52:44] 981*2^1427345-1 is not prime. Res64: 6DB6FBA0BF5E3470 Time : 0.0 sec. user=mdettweiler [2016-04-25 15:52:44] 765*2^1427346-1 is not prime. Res64: F24E8949180B0047 Time : 0.0 sec. user=mdettweiler [2016-04-25 15:52:45] 803*2^1427346-1 is not prime. Res64: 4B8C35B5E3E8041A Time : 0.0 sec. user=mdettweiler [2016-04-25 16:09:23] 843*2^1427346-1 is not prime. Res64: 5BC8001553C4A7C7 Time : 0.0 sec. user=mdettweiler [2016-04-25 16:09:23] 861*2^1427346-1 is not prime. Res64: 5A2DE2D3606C21E6 Time : 0.0 sec. user=mdettweiler [2016-04-25 16:09:24] 903*2^1427346-1 is not prime. Res64: 71243E75F8E90710 Time : 0.0 sec. user=mdettweiler [2016-04-25 16:09:24] 941*2^1427346-1 is not prime. Res64: DD2EC3CA3653B43D Time : 0.0 sec. user=mdettweiler [2016-04-25 16:09:25] 945*2^1427346-1 is not prime. Res64: 6008692103A31DC0 Time : 0.0 sec. user=mdettweiler [2016-04-25 16:10:13] 957*2^1427346-1 is not prime. Res64: 7080376E365B264A Time : 0.0 sec. user=mdettweiler [2016-04-25 16:10:14] 615*2^1427347-1 is not prime. Res64: 1AF3F1FAB41BB4CF Time : 0.0 sec. user=mdettweiler [2016-04-25 16:10:14] 765*2^1427347-1 is not prime. Res64: 8BD4EA2D4302A3A7 Time : 0.0 sec. user=mdettweiler [2016-04-25 16:10:14] 861*2^1427347-1 is not prime. Res64: D7829CB9AB3DC5D9 Time : 0.0 sec. user=mdettweiler [2016-04-25 16:10:15] 873*2^1427347-1 is not prime. Res64: 33BE3C648ACE02B8 Time : 0.0 sec. user=mdettweiler [2016-04-25 16:37:09] 931*2^1427347-1 is not prime. Res64: 656307E2ACD00FC3 Time : 0.0 sec. user=mdettweiler [2016-04-25 16:37:09] 959*2^1427348-1 is not prime. Res64: 3B4B11213CBA855F Time : 0.0 sec. user=mdettweiler [2016-04-25 16:37:10] 977*2^1427348-1 is not prime. Res64: 2AF7D1BA572F0852 Time : 0.0 sec. user=mdettweiler [2016-04-25 16:37:10] 999*2^1427348-1 is not prime. Res64: DBA9DA4DF3630890 Time : 0.0 sec. user=mdettweiler [2016-04-25 16:37:10] 709*2^1427349-1 is not prime. Res64: 00F068C7FA85D27F Time : 0.0 sec. user=mdettweiler [2016-04-25 16:37:54] 759*2^1427349-1 is not prime. Res64: 8A686AC4FBE2ABD9 Time : 0.0 sec. user=mdettweiler [2016-04-25 16:37:54] 781*2^1427349-1 is not prime. Res64: 5CFB70EEEE5A519F Time : 0.0 sec. user=mdettweiler [2016-04-25 16:37:55] 811*2^1427349-1 is not prime. Res64: 37B52866A29F68E1 Time : 0.0 sec. user=mdettweiler [2016-04-25 16:37:55] 955*2^1427349-1 is not prime. Res64: 23135B01EADD455B Time : 0.0 sec. user=mdettweiler [2016-04-25 16:37:55] 975*2^1427349-1 is not prime. Res64: 613690222FCFE409 Time : 0.0 sec. user=mdettweiler [2016-04-25 16:54:19] 611*2^1427350-1 is not prime. Res64: 7EF0569FD36DB094 Time : 0.0 sec. user=mdettweiler [2016-04-25 16:54:19] 755*2^1427350-1 is not prime. Res64: 3D2C4970A891E3BF Time : 0.0 sec. user=mdettweiler [2016-04-25 16:54:20] 773*2^1427350-1 is not prime. Res64: 46DCB47414B22F5B Time : 0.0 sec. user=mdettweiler [2016-04-25 16:54:20] 885*2^1427350-1 is not prime. Res64: 27E16F6FF50267AB Time : 0.0 sec. user=mdettweiler [2016-04-25 16:54:20] 923*2^1427350-1 is not prime. Res64: E22348B966FD7F54 Time : 0.0 sec. user=mdettweiler [2016-04-25 16:55:13] 951*2^1427350-1 is not prime. Res64: 1095AF4C00E856D0 Time : 0.0 sec. user=mdettweiler [2016-04-25 16:55:14] 615*2^1427351-1 is not prime. Res64: 2B163C7F0FD138EA Time : 0.0 sec. user=mdettweiler [2016-04-25 16:55:14] 619*2^1427351-1 is not prime. Res64: 8DD0EDABE5B75CB9 Time : 0.0 sec. user=mdettweiler [2016-04-25 16:55:14] 651*2^1427351-1 is not prime. Res64: 79C4F1FC73FCD7D6 Time : 0.0 sec. user=mdettweiler [2016-04-25 16:55:15] 661*2^1427351-1 is not prime. Res64: 5BA3937517C4D080 Time : 0.0 sec. user=mdettweiler [2016-04-25 17:22:07] 775*2^1427351-1 is not prime. Res64: 91C525C203278A96 Time : 0.0 sec. user=mdettweiler [2016-04-25 17:22:07] 855*2^1427351-1 is not prime. Res64: B08C13EB3BA03000 Time : 0.0 sec. user=mdettweiler [2016-04-25 17:22:08] 859*2^1427351-1 is not prime. Res64: 447E0F3C3027E523 Time : 0.0 sec. user=mdettweiler [2016-04-25 17:22:08] 993*2^1427351-1 is not prime. Res64: 0EB85547907D95EA Time : 0.0 sec. user=mdettweiler [2016-04-25 17:22:09] 623*2^1427352-1 is not prime. Res64: 4B72DA66EC90C6D2 Time : 0.0 sec. user=mdettweiler [2016-04-25 17:23:09] 669*2^1427352-1 is not prime. Res64: F784CFDB58EE0AAB Time : 0.0 sec. user=mdettweiler [2016-04-25 17:23:09] 713*2^1427352-1 is not prime. Res64: 875B7D2DEE2FE5B5 Time : 0.0 sec. user=mdettweiler [2016-04-25 17:23:09] 759*2^1427352-1 is not prime. Res64: B9B39ECA2ED9E959 Time : 0.0 sec. user=mdettweiler [2016-04-25 17:23:10] 863*2^1427352-1 is not prime. Res64: F84853055F108BDF Time : 0.0 sec. user=mdettweiler [2016-04-25 17:23:10] 887*2^1427352-1 is not prime. Res64: 4E3826A8D11FCCF7 Time : 0.0 sec. user=mdettweiler [2016-04-25 17:39:08] 615*2^1427353-1 is not prime. Res64: 3956EA8DCB933FA4 Time : 0.0 sec. user=mdettweiler [2016-04-25 17:39:08] 619*2^1427353-1 is not prime. Res64: A6503F5144176EEA Time : 0.0 sec. user=mdettweiler [2016-04-25 17:39:08] 625*2^1427353-1 is not prime. Res64: C1498488D7B7B329 Time : 0.0 sec. user=mdettweiler [2016-04-25 17:39:09] 789*2^1427353-1 is not prime. Res64: 0119649250196953 Time : 0.0 sec. user=mdettweiler [2016-04-25 17:39:09] 835*2^1427353-1 is not prime. Res64: 3397F69F57289FAC Time : 0.0 sec. user=mdettweiler [2016-04-25 17:40:08] 847*2^1427353-1 is not prime. Res64: 0797FFAE7A9C6D70 Time : 0.0 sec. user=mdettweiler [2016-04-25 17:40:08] 945*2^1427353-1 is not prime. Res64: FD339C08DB6F2FB7 Time : 0.0 sec. user=mdettweiler [2016-04-25 17:40:09] 615*2^1427354-1 is not prime. Res64: 9D2EF76962AD98B1 Time : 0.0 sec. user=mdettweiler [2016-04-25 17:40:09] 635*2^1427354-1 is not prime. Res64: 591F2391EFF304B9 Time : 0.0 sec. user=mdettweiler [2016-04-25 17:40:10] 675*2^1427354-1 is not prime. Res64: EA9F2EDDDE7DE32A Time : 0.0 sec. user=mdettweiler [2016-04-25 18:07:03] 677*2^1427354-1 is not prime. Res64: 9B65BBE0777375D7 Time : 0.0 sec. user=mdettweiler [2016-04-25 18:07:04] 705*2^1427354-1 is not prime. Res64: B74AE5FBA21168A7 Time : 0.0 sec. user=mdettweiler [2016-04-25 18:07:05] 783*2^1427354-1 is not prime. Res64: 7DAA0EA4D46F1FCF Time : 0.0 sec. user=mdettweiler [2016-04-25 18:07:05] 813*2^1427354-1 is not prime. Res64: C94D7F806DF0DF9B Time : 0.0 sec. user=mdettweiler [2016-04-25 18:07:06] 873*2^1427354-1 is not prime. Res64: 5B2CBBEC715A690A Time : 0.0 sec. user=mdettweiler [2016-04-25 18:08:15] 625*2^1427355-1 is not prime. Res64: 7D9C8E7F61A6E7CA Time : 0.0 sec. user=mdettweiler [2016-04-25 18:08:16] 651*2^1427355-1 is not prime. Res64: 9C6CB3559C3BCAF4 Time : 0.0 sec. user=mdettweiler [2016-04-25 18:08:17] 961*2^1427355-1 is not prime. Res64: 64A8B58EFB6689B6 Time : 0.0 sec. user=mdettweiler [2016-04-25 18:08:18] 979*2^1427355-1 is not prime. Res64: 7FA9F68FCE1FE808 Time : 0.0 sec. user=mdettweiler [2016-04-25 18:08:19] 609*2^1427356-1 is not prime. Res64: FB1D3B1370FA0D6A Time : 0.0 sec. user=mdettweiler [2016-04-25 18:24:17] 647*2^1427356-1 is not prime. Res64: DC6C6E78ED2218F7 Time : 0.0 sec. user=mdettweiler [2016-04-25 18:24:17] 675*2^1427356-1 is not prime. Res64: 2B0EB7E245C50555 Time : 0.0 sec. user=mdettweiler [2016-04-25 18:24:18] 695*2^1427356-1 is not prime. Res64: 9BCC7BC41C646B49 Time : 0.0 sec. user=mdettweiler [2016-04-25 18:24:18] 735*2^1427356-1 is not prime. Res64: C2E1BF0756493AD3 Time : 0.0 sec. user=mdettweiler [2016-04-25 18:24:18] 843*2^1427356-1 is not prime. Res64: F8914C92C1BA4E8F Time : 0.0 sec. user=mdettweiler [2016-04-25 18:25:11] 855*2^1427356-1 is not prime. Res64: D57EDF9D05DBA248 Time : 0.0 sec. user=mdettweiler [2016-04-25 18:25:11] 999*2^1427356-1 is not prime. Res64: 8D240BE31E38990A Time : 0.0 sec. user=mdettweiler [2016-04-25 18:25:11] 867*2^1427357-1 is not prime. Res64: 848757F9899B96BA Time : 0.0 sec. user=mdettweiler [2016-04-25 18:25:12] 949*2^1427357-1 is not prime. Res64: D04E6AACFC24843B Time : 0.0 sec. user=mdettweiler [2016-04-25 18:25:12] 981*2^1427357-1 is not prime. Res64: 4E7F9FBF9FB13AE6 Time : 0.0 sec. user=mdettweiler [2016-04-25 18:52:24] 621*2^1427358-1 is not prime. Res64: 63B6C5E5E71A93F5 Time : 0.0 sec. user=mdettweiler [2016-04-25 18:52:24] 681*2^1427358-1 is not prime. Res64: 5D776FA02A1FD522 Time : 0.0 sec. user=mdettweiler [2016-04-25 18:52:25] 797*2^1427358-1 is not prime. Res64: 41E1789F3608D9D7 Time : 0.0 sec. user=mdettweiler [2016-04-25 18:52:25] 825*2^1427358-1 is not prime. Res64: 4AFD506ABD29B991 Time : 0.0 sec. user=mdettweiler [2016-04-25 18:52:25] 951*2^1427358-1 is not prime. Res64: 3604440E18F2B05B Time : 0.0 sec. user=mdettweiler [2016-04-25 18:53:35] 971*2^1427358-1 is not prime. Res64: 577341FE9FFE8150 Time : 0.0 sec. user=mdettweiler [2016-04-25 18:53:35] 771*2^1427359-1 is not prime. Res64: 9676ED2EACE96F71 Time : 0.0 sec. user=mdettweiler [2016-04-25 18:53:36] 775*2^1427359-1 is not prime. Res64: 4FA59D792F3BEB5B Time : 0.0 sec. user=mdettweiler [2016-04-25 18:53:36] 855*2^1427359-1 is not prime. Res64: BDBFAF4B23995926 Time : 0.0 sec. user=mdettweiler [2016-04-25 18:53:36] 861*2^1427359-1 is not prime. Res64: 8E7E104F087870C1 Time : 0.0 sec. user=mdettweiler [2016-04-25 19:09:26] 675*2^1427360-1 is not prime. Res64: 67DDD0536A981B72 Time : 0.0 sec. user=mdettweiler [2016-04-25 19:09:26] 689*2^1427360-1 is not prime. Res64: 47DF63831D6B0BAD Time : 0.0 sec. user=mdettweiler [2016-04-25 19:09:27] 717*2^1427360-1 is not prime. Res64: BFFF7B5D361D2E07 Time : 0.0 sec. user=mdettweiler [2016-04-25 19:09:27] 725*2^1427360-1 is not prime. Res64: E1878F183AF83428 Time : 0.0 sec. user=mdettweiler [2016-04-25 19:09:28] 767*2^1427360-1 is not prime. Res64: E62DF6BA0815ADEC Time : 0.0 sec. user=mdettweiler [2016-04-25 19:10:06] 879*2^1427360-1 is not prime. Res64: 711F487A0B448F63 Time : 0.0 sec. user=mdettweiler [2016-04-25 19:10:06] 917*2^1427360-1 is not prime. Res64: 8DD2ABD8BD77DA84 Time : 0.0 sec. user=mdettweiler [2016-04-25 19:10:07] 923*2^1427360-1 is not prime. Res64: 5F7BB6F9B7F92C64 Time : 0.0 sec. user=mdettweiler [2016-04-25 19:10:07] 935*2^1427360-1 is not prime. Res64: 165392B89377809E Time : 0.0 sec. user=mdettweiler [2016-04-25 19:10:07] 995*2^1427360-1 is not prime. Res64: 433582E096B91E99 Time : 0.0 sec. user=mdettweiler [2016-04-25 19:37:31] 627*2^1427361-1 is not prime. Res64: B988556BD9A1DEAC Time : 0.0 sec. user=mdettweiler [2016-04-25 19:37:31] 657*2^1427361-1 is not prime. Res64: FF5A21DF49A80A64 Time : 0.0 sec. user=mdettweiler [2016-04-25 19:37:32] 675*2^1427361-1 is not prime. Res64: 4984FE329A144813 Time : 0.0 sec. user=mdettweiler [2016-04-25 19:37:32] 837*2^1427361-1 is not prime. Res64: A5F1153BB2976206 Time : 0.0 sec. user=mdettweiler [2016-04-25 19:37:32] 861*2^1427361-1 is not prime. Res64: 0A1A26D1316C68DC Time : 0.0 sec. user=mdettweiler [2016-04-25 19:38:38] 889*2^1427361-1 is not prime. Res64: 03338F148635D10F Time : 0.0 sec. user=mdettweiler [2016-04-25 19:38:38] 937*2^1427361-1 is not prime. Res64: 455B67E53EFA88BE Time : 0.0 sec. user=mdettweiler [2016-04-25 19:38:39] 623*2^1427362-1 is not prime. Res64: E30ED6D5AF2C5AC0 Time : 0.0 sec. user=mdettweiler [2016-04-25 19:38:39] 843*2^1427362-1 is not prime. Res64: 320978A24F955C69 Time : 0.0 sec. user=mdettweiler [2016-04-25 19:38:39] 911*2^1427362-1 is not prime. Res64: 7AE1CF0B521A5343 Time : 0.0 sec. user=mdettweiler [2016-04-25 19:54:33] 945*2^1427362-1 is not prime. Res64: 4972614C7D82E8CD Time : 0.0 sec. user=mdettweiler [2016-04-25 19:54:34] 603*2^1427363-1 is not prime. Res64: 4D3E164D7AFD4190 Time : 0.0 sec. user=mdettweiler [2016-04-25 19:54:34] 669*2^1427363-1 is not prime. Res64: 58D1CABAEFE6BC99 Time : 0.0 sec. user=mdettweiler [2016-04-25 19:54:34] 685*2^1427363-1 is not prime. Res64: 1E334F60DAD56E51 Time : 0.0 sec. user=mdettweiler [2016-04-25 19:54:35] 715*2^1427363-1 is not prime. Res64: F0A5F16BD8CF7957 Time : 0.0 sec. user=mdettweiler [2016-04-25 19:55:21] 735*2^1427363-1 is not prime. Res64: 7DF7A079D20F7EB7 Time : 0.0 sec. user=mdettweiler [2016-04-25 19:55:21] 783*2^1427363-1 is not prime. Res64: E6456FC8E85A37CA Time : 0.0 sec. user=mdettweiler [2016-04-25 19:55:22] 801*2^1427363-1 is not prime. Res64: 8679F575110414DA Time : 0.0 sec. user=mdettweiler [2016-04-25 19:55:22] 811*2^1427363-1 is not prime. Res64: 9559F3A3B6341474 Time : 0.0 sec. user=mdettweiler [2016-04-25 19:55:23] 823*2^1427363-1 is not prime. Res64: 5E9F589AD33906AA Time : 0.0 sec. user=mdettweiler [2016-04-25 20:22:29] 885*2^1427363-1 is not prime. Res64: 6221B22C95E70651 Time : 0.0 sec. user=mdettweiler [2016-04-25 20:22:30] 915*2^1427363-1 is not prime. Res64: DEAB434C0D006B72 Time : 0.0 sec. user=mdettweiler [2016-04-25 20:22:30] 921*2^1427363-1 is not prime. Res64: B0C135F3516F4F9D Time : 0.0 sec. user=mdettweiler [2016-04-25 20:22:31] 963*2^1427363-1 is not prime. Res64: C4AFAC1E2CEB1335 Time : 0.0 sec. user=mdettweiler [2016-04-25 20:22:31] 981*2^1427363-1 is not prime. Res64: 8CD651B8AA54F108 Time : 0.0 sec. user=mdettweiler [2016-04-25 20:23:31] 999*2^1427363-1 is not prime. Res64: 7818059FFF96133E Time : 0.0 sec. user=mdettweiler [2016-04-25 20:23:32] 683*2^1427364-1 is not prime. Res64: 22B8DC524D0A2467 Time : 0.0 sec. user=mdettweiler [2016-04-25 20:23:32] 689*2^1427364-1 is not prime. Res64: EF39CC3D2EB8E3D7 Time : 0.0 sec. user=mdettweiler [2016-04-25 20:23:33] 765*2^1427364-1 is not prime. Res64: 107E0DC0ABBA8E4F Time : 0.0 sec. user=mdettweiler [2016-04-25 20:23:33] 843*2^1427364-1 is not prime. Res64: DEA8F521F1210ED0 Time : 0.0 sec. user=mdettweiler [2016-04-25 20:39:29] 923*2^1427364-1 is not prime. Res64: 636B69B792E98454 Time : 0.0 sec. user=mdettweiler [2016-04-25 20:39:29] 935*2^1427364-1 is not prime. Res64: B644616D73CE8B1F Time : 0.0 sec. user=mdettweiler [2016-04-25 20:39:30] 625*2^1427365-1 is not prime. Res64: 7ACCD1D45153773E Time : 0.0 sec. user=mdettweiler [2016-04-25 20:39:30] 715*2^1427365-1 is not prime. Res64: 42F8FDFC2A49B337 Time : 0.0 sec. user=mdettweiler [2016-04-25 20:39:31] 885*2^1427365-1 is not prime. Res64: 708A9119BCB6005F Time : 0.0 sec. user=mdettweiler [2016-04-25 20:40:23] 663*2^1427366-1 is not prime. Res64: D54DE970C7B6FFFA Time : 0.0 sec. user=mdettweiler [2016-04-25 20:40:23] 683*2^1427366-1 is not prime. Res64: 6C41642F433BE468 Time : 0.0 sec. user=mdettweiler [2016-04-25 20:40:24] 741*2^1427366-1 is not prime. Res64: BC5666442500F459 Time : 0.0 sec. user=mdettweiler [2016-04-25 20:40:24] 815*2^1427366-1 is not prime. Res64: 3705EE474A1151D3 Time : 0.0 sec. user=mdettweiler [2016-04-25 20:40:25] 873*2^1427366-1 is not prime. Res64: 47A42212F0177B94 Time : 0.0 sec. user=mdettweiler [2016-04-25 21:07:50] 887*2^1427366-1 is not prime. Res64: D18591C1A8041C16 Time : 0.0 sec. user=mdettweiler [2016-04-25 21:07:51] 983*2^1427366-1 is not prime. Res64: 64A88396CC50DDB0 Time : 0.0 sec. user=mdettweiler [2016-04-25 21:07:52] 651*2^1427367-1 is not prime. Res64: 7D3A376572F435E4 Time : 0.0 sec. user=mdettweiler [2016-04-25 21:07:52] 693*2^1427367-1 is not prime. Res64: DD0F2FD438A44E95 Time : 0.0 sec. user=mdettweiler [2016-04-25 21:07:53] 871*2^1427367-1 is not prime. Res64: 43567CC1F6C7DE8B Time : 0.0 sec. user=mdettweiler [2016-04-25 21:08:38] 919*2^1427367-1 is not prime. Res64: 8DB034CF982B201F Time : 0.0 sec. user=mdettweiler [2016-04-25 21:08:39] 657*2^1427368-1 is not prime. Res64: BC89D4164050C0F6 Time : 0.0 sec. user=mdettweiler [2016-04-25 21:08:39] 705*2^1427368-1 is not prime. Res64: 8B801D22592086F4 Time : 0.0 sec. user=mdettweiler [2016-04-25 21:08:40] 843*2^1427368-1 is not prime. Res64: DD44F0C2B4C92F05 Time : 0.0 sec. user=mdettweiler [2016-04-25 21:08:40] 845*2^1427368-1 is not prime. Res64: C128FE71C8C2FA63 Time : 0.0 sec. user=mdettweiler [2016-04-25 21:24:34] 855*2^1427368-1 is not prime. Res64: 737D6309B39DF0A7 Time : 0.0 sec. user=mdettweiler [2016-04-25 21:24:34] 915*2^1427368-1 is not prime. Res64: 96DCD96900C244B8 Time : 0.0 sec. user=mdettweiler [2016-04-25 21:24:35] 959*2^1427368-1 is not prime. Res64: 809B02AC1434ECCD Time : 0.0 sec. user=mdettweiler [2016-04-25 21:24:35] 601*2^1427369-1 is not prime. Res64: 704E21AEA7DBFF42 Time : 0.0 sec. user=mdettweiler [2016-04-25 21:24:35] 619*2^1427369-1 is not prime. Res64: 8460830EA00A834C Time : 0.0 sec. user=mdettweiler [2016-04-25 21:25:36] 735*2^1427369-1 is not prime. Res64: E99CCA6BF6D195FD Time : 0.0 sec. user=mdettweiler [2016-04-25 21:25:36] 787*2^1427369-1 is not prime. Res64: DDB8731BDF938785 Time : 0.0 sec. user=mdettweiler [2016-04-25 21:25:37] 847*2^1427369-1 is not prime. Res64: 7ABA2A49AF956AB7 Time : 0.0 sec. user=mdettweiler [2016-04-25 21:25:37] 885*2^1427369-1 is not prime. Res64: 3ADD8AED868E3B6B Time : 0.0 sec. user=mdettweiler [2016-04-25 21:25:38] 949*2^1427369-1 is not prime. Res64: B56019667663CD11 Time : 0.0 sec. user=mdettweiler [2016-04-25 21:53:30] 741*2^1427370-1 is not prime. Res64: 622FA4A5C96B34B2 Time : 0.0 sec. user=mdettweiler [2016-04-25 21:53:31] 801*2^1427370-1 is not prime. Res64: FDFD00D348900684 Time : 0.0 sec. user=mdettweiler [2016-04-25 21:53:31] 867*2^1427370-1 is not prime. Res64: 06334C301A248860 Time : 0.0 sec. user=mdettweiler [2016-04-25 21:53:32] 875*2^1427370-1 is not prime. Res64: CF63FD22B7182993 Time : 0.0 sec. user=mdettweiler [2016-04-25 21:53:32] 971*2^1427370-1 is not prime. Res64: A8DFABB908416644 Time : 0.0 sec. user=mdettweiler [2016-04-25 21:54:00] 663*2^1427371-1 is not prime. Res64: 73F88DEEE181C745 Time : 0.0 sec. user=mdettweiler [2016-04-25 21:54:01] 759*2^1427371-1 is not prime. Res64: D572046E96C23B7B Time : 0.0 sec. user=mdettweiler [2016-04-25 21:54:01] 771*2^1427371-1 is not prime. Res64: 5259860E7D9FEBBE Time : 0.0 sec. user=mdettweiler [2016-04-25 21:54:02] 835*2^1427371-1 is not prime. Res64: 143D522771CE2922 Time : 0.0 sec. user=mdettweiler [2016-04-25 21:54:02] 849*2^1427371-1 is not prime. Res64: A1C33ECAED8A977F Time : 0.0 sec. user=mdettweiler [2016-04-25 22:10:10] 883*2^1427371-1 is not prime. Res64: 52D72C4578BB266C Time : 0.0 sec. user=mdettweiler [2016-04-25 22:10:11] 979*2^1427371-1 is not prime. Res64: 31B6CAD2F5F9C78A Time : 0.0 sec. user=mdettweiler [2016-04-25 22:10:11] 623*2^1427372-1 is not prime. Res64: 3BB54EA7A59703D0 Time : 0.0 sec. user=mdettweiler [2016-04-25 22:10:12] 743*2^1427372-1 is not prime. Res64: E1E24153F9D4404E Time : 0.0 sec. user=mdettweiler [2016-04-25 22:10:12] 767*2^1427372-1 is not prime. Res64: D01C4EB229C3804E Time : 0.0 sec. user=mdettweiler [2016-04-25 22:11:05] 873*2^1427372-1 is not prime. Res64: FC637F607A8C7ECB Time : 0.0 sec. user=mdettweiler [2016-04-25 22:11:05] 879*2^1427372-1 is not prime. Res64: 414AC9521589BBA2 Time : 0.0 sec. user=mdettweiler [2016-04-25 22:11:06] 893*2^1427372-1 is not prime. Res64: C82E2F700403C204 Time : 0.0 sec. user=mdettweiler [2016-04-25 22:11:06] 983*2^1427372-1 is not prime. Res64: FD3CE3EB62243A70 Time : 0.0 sec. user=mdettweiler [2016-04-25 22:11:06] 987*2^1427372-1 is not prime. Res64: C6F3F42DAB6FA67F Time : 0.0 sec. user=mdettweiler [2016-04-25 22:38:56] 999*2^1427372-1 is not prime. Res64: 441CD358E84ADAB6 Time : 0.0 sec. user=mdettweiler [2016-04-25 22:38:56] 639*2^1427373-1 is not prime. Res64: DC62C3AFD6F47E99 Time : 0.0 sec. user=mdettweiler [2016-04-25 22:38:57] 657*2^1427373-1 is not prime. Res64: D121BB9FC5FB9507 Time : 0.0 sec. user=mdettweiler [2016-04-25 22:38:57] 751*2^1427373-1 is not prime. Res64: 2F4A5C00BE4191E2 Time : 0.0 sec. user=mdettweiler [2016-04-25 22:38:58] 829*2^1427373-1 is not prime. Res64: D0753CBAA0A27991 Time : 0.0 sec. user=mdettweiler [2016-04-25 22:39:17] 871*2^1427373-1 is not prime. Res64: 70EE5219CD9556DF Time : 0.0 sec. user=mdettweiler [2016-04-25 22:39:17] 901*2^1427373-1 is not prime. Res64: 2874719BF15031A0 Time : 0.0 sec. user=mdettweiler [2016-04-25 22:39:17] 663*2^1427374-1 is not prime. Res64: BAE43CACE14E5374 Time : 0.0 sec. user=mdettweiler [2016-04-25 22:39:18] 681*2^1427374-1 is not prime. Res64: 1DBBA0D23F0BCD02 Time : 0.0 sec. user=mdettweiler [2016-04-25 22:39:18] 773*2^1427374-1 is not prime. Res64: 917A616DC5DDFE14 Time : 0.0 sec. user=mdettweiler [2016-04-25 22:55:21] 947*2^1427374-1 is not prime. Res64: C4CEFF11D0B35BC3 Time : 0.0 sec. user=mdettweiler [2016-04-25 22:55:22] 705*2^1427375-1 is not prime. Res64: FECD729302047653 Time : 0.0 sec. user=mdettweiler [2016-04-25 22:55:22] 741*2^1427375-1 is not prime. Res64: 08929BCC6551F345 Time : 0.0 sec. user=mdettweiler [2016-04-25 22:55:22] 819*2^1427375-1 is not prime. Res64: 5D7594001DCDE419 Time : 0.0 sec. user=mdettweiler [2016-04-25 22:55:23] 843*2^1427375-1 is not prime. Res64: D7AFCBE87AC03738 Time : 0.0 sec. user=mdettweiler [2016-04-25 22:56:25] 913*2^1427375-1 is not prime. Res64: 5A25857E9A30183B Time : 0.0 sec. user=mdettweiler [2016-04-25 22:56:25] 939*2^1427375-1 is not prime. Res64: 5A51C5AFCC783884 Time : 0.0 sec. user=mdettweiler [2016-04-25 22:56:26] 635*2^1427376-1 is not prime. Res64: ACAA22ACDD907911 Time : 0.0 sec. user=mdettweiler [2016-04-25 22:56:26] 675*2^1427376-1 is not prime. Res64: 34A6DD6CE28C4856 Time : 0.0 sec. user=mdettweiler [2016-04-25 22:56:26] 737*2^1427376-1 is not prime. Res64: 745FAF026242CC8F Time : 0.0 sec. user=mdettweiler [2016-04-25 23:23:49] 809*2^1427376-1 is not prime. Res64: CAEFE1391B0C84FB Time : 0.0 sec. user=mdettweiler [2016-04-25 23:23:50] 839*2^1427376-1 is not prime. Res64: C410C2D3916D676C Time : 0.0 sec. user=mdettweiler [2016-04-25 23:23:50] 845*2^1427376-1 is not prime. Res64: 2B34DAF64A18B0AB Time : 0.0 sec. user=mdettweiler [2016-04-25 23:23:51] 887*2^1427376-1 is not prime. Res64: D49E47978E4E1200 Time : 0.0 sec. user=mdettweiler [2016-04-25 23:23:51] 667*2^1427377-1 is not prime. Res64: D603934C39A1C229 Time : 0.0 sec. user=mdettweiler [2016-04-25 23:24:38] 685*2^1427377-1 is not prime. Res64: 83194904C4AECEE9 Time : 0.0 sec. user=mdettweiler [2016-04-25 23:24:39] 759*2^1427377-1 is not prime. Res64: 3FAAB78D57DCCDCB Time : 0.0 sec. user=mdettweiler [2016-04-25 23:24:39] 771*2^1427377-1 is not prime. Res64: E665FA9661798803 Time : 0.0 sec. user=mdettweiler [2016-04-25 23:24:39] 867*2^1427377-1 is not prime. Res64: CEAE26218115EAB4 Time : 0.0 sec. user=mdettweiler [2016-04-25 23:24:40] 895*2^1427377-1 is not prime. Res64: DB2B67D3AEECF4C6 Time : 0.0 sec. user=mdettweiler [2016-04-25 23:40:43] 671*2^1427378-1 is not prime. Res64: 71842C6A4A9E653F Time : 0.0 sec. user=mdettweiler [2016-04-25 23:40:44] 767*2^1427378-1 is not prime. Res64: 6973F96D182E46C2 Time : 0.0 sec. user=mdettweiler [2016-04-25 23:40:44] 797*2^1427378-1 is not prime. Res64: 8D27514F7ED368A8 Time : 0.0 sec. user=mdettweiler [2016-04-25 23:40:44] 815*2^1427378-1 is not prime. Res64: 6327175B410E66F4 Time : 0.0 sec. user=mdettweiler [2016-04-25 23:40:45] 827*2^1427378-1 is not prime. Res64: FDFEF17C465935EF Time : 0.0 sec. user=mdettweiler [2016-04-25 23:41:52] 857*2^1427378-1 is not prime. Res64: A30AA7177D60BC42 Time : 0.0 sec. user=mdettweiler [2016-04-25 23:41:52] 893*2^1427378-1 is not prime. Res64: E8F5796E4CF0E900 Time : 0.0 sec. user=mdettweiler [2016-04-25 23:41:52] 987*2^1427378-1 is not prime. Res64: D09BECC699816BAE Time : 0.0 sec. user=mdettweiler [2016-04-25 23:41:53] 993*2^1427378-1 is not prime. Res64: 1C4CA5014BA08A1F Time : 0.0 sec. user=mdettweiler [2016-04-25 23:41:53] 723*2^1427379-1 is not prime. Res64: 2910CEAA92065FAA Time : 0.0 sec.