user=mdettweiler [2015-10-09 00:15:11] 951*2^1411479-1 is not prime. Res64: 104129EDB801696A Time : 0.0 sec. user=mdettweiler [2015-10-09 00:15:11] 699*2^1411480-1 is not prime. Res64: 578F0BBC257BC9C5 Time : 0.0 sec. user=mdettweiler [2015-10-09 00:15:33] 719*2^1411480-1 is not prime. Res64: E2C699A2A1AF2FEB Time : 0.0 sec. user=mdettweiler [2015-10-09 00:15:34] 857*2^1411480-1 is not prime. Res64: 9B233103AE5EC5DC Time : 0.0 sec. user=mdettweiler [2015-10-09 00:16:19] 863*2^1411480-1 is not prime. Res64: F9394D040769F790 Time : 0.0 sec. user=mdettweiler [2015-10-09 00:16:19] 873*2^1411480-1 is not prime. Res64: 15B046C8832EDF94 Time : 0.0 sec. user=mdettweiler [2015-10-09 00:18:00] 627*2^1411481-1 is not prime. Res64: 429CD2D4EDC76EFD Time : 0.0 sec. user=mdettweiler [2015-10-09 00:18:00] 795*2^1411481-1 is not prime. Res64: 0230513B2419BC03 Time : 0.0 sec. user=mdettweiler [2015-10-09 00:33:21] 889*2^1411481-1 is not prime. Res64: 2666870C6B1763A4 Time : 0.0 sec. user=mdettweiler [2015-10-09 00:33:21] 901*2^1411481-1 is not prime. Res64: 7D9C9090F0AE9D61 Time : 0.0 sec. user=mdettweiler [2015-10-09 00:33:38] 939*2^1411481-1 is not prime. Res64: F21450675A6D467B Time : 0.0 sec. user=mdettweiler [2015-10-09 00:33:38] 987*2^1411481-1 is not prime. Res64: C68B2351DD3B89BC Time : 0.0 sec. user=mdettweiler [2015-10-09 00:34:17] 621*2^1411482-1 is not prime. Res64: F8FE56CCC808CC73 Time : 0.0 sec. user=mdettweiler [2015-10-09 00:34:18] 807*2^1411482-1 is not prime. Res64: F7524D9DB7C1D5A5 Time : 0.0 sec. user=mdettweiler [2015-10-09 00:36:19] 963*2^1411482-1 is not prime. Res64: FB7201AE88A22179 Time : 0.0 sec. user=mdettweiler [2015-10-09 00:36:19] 983*2^1411482-1 is not prime. Res64: 3C7202BCD942B193 Time : 0.0 sec. user=mdettweiler [2015-10-09 00:51:15] 633*2^1411483-1 is not prime. Res64: 661C3E568642270A Time : 0.0 sec. user=mdettweiler [2015-10-09 00:51:15] 675*2^1411483-1 is not prime. Res64: 2FD60B302C671D7D Time : 0.0 sec. user=mdettweiler [2015-10-09 00:51:37] 741*2^1411483-1 is not prime. Res64: CFE74D9B85A63BF7 Time : 0.0 sec. user=mdettweiler [2015-10-09 00:51:37] 829*2^1411483-1 is not prime. Res64: B79956404EC5386D Time : 0.0 sec. user=mdettweiler [2015-10-09 00:52:15] 993*2^1411483-1 is not prime. Res64: 3868A87E2E9854B4 Time : 0.0 sec. user=mdettweiler [2015-10-09 00:52:16] 699*2^1411484-1 is not prime. Res64: FD83CEF5D98A14CC Time : 0.0 sec. user=mdettweiler [2015-10-09 00:54:16] 773*2^1411484-1 is not prime. Res64: 83752B7F20301150 Time : 0.0 sec. user=mdettweiler [2015-10-09 00:54:16] 837*2^1411484-1 is not prime. Res64: DCD74559371D85C5 Time : 0.0 sec. user=mdettweiler [2015-10-09 01:09:07] 875*2^1411484-1 is not prime. Res64: 6E300587C301D17E Time : 0.0 sec. user=mdettweiler [2015-10-09 01:09:07] 935*2^1411484-1 is not prime. Res64: 3E6341931FE4E7A8 Time : 0.0 sec. user=mdettweiler [2015-10-09 01:09:33] 983*2^1411484-1 is not prime. Res64: D7E7ECDE75DDBCE0 Time : 0.0 sec. user=mdettweiler [2015-10-09 01:09:33] 691*2^1411485-1 is not prime. Res64: 43AFEAFE1F7DD45F Time : 0.0 sec. user=mdettweiler [2015-10-09 01:10:11] 741*2^1411485-1 is not prime. Res64: F4F7CECB7FF7A756 Time : 0.0 sec. user=mdettweiler [2015-10-09 01:10:11] 759*2^1411485-1 is not prime. Res64: 69ED1DF51668F300 Time : 0.0 sec. user=mdettweiler [2015-10-09 01:12:15] 831*2^1411485-1 is not prime. Res64: D2CA33E4E99FF6C2 Time : 0.0 sec. user=mdettweiler [2015-10-09 01:12:15] 837*2^1411485-1 is not prime. Res64: A04CA688EE1251B9 Time : 0.0 sec. user=mdettweiler [2015-10-09 01:27:02] 895*2^1411485-1 is not prime. Res64: 2FE5EA447BA72350 Time : 0.0 sec. user=mdettweiler [2015-10-09 01:27:04] 927*2^1411485-1 is not prime. Res64: B4979713E72F6463 Time : 0.0 sec. user=mdettweiler [2015-10-09 01:27:38] 979*2^1411485-1 is not prime. Res64: 44B8B6CB004C46F2 Time : 0.0 sec. user=mdettweiler [2015-10-09 01:27:40] 611*2^1411486-1 is not prime. Res64: E7DFB3111BCD800D Time : 0.0 sec. user=mdettweiler [2015-10-09 01:28:14] 647*2^1411486-1 is not prime. Res64: 14862532F790C926 Time : 0.0 sec. user=mdettweiler [2015-10-09 01:28:18] 657*2^1411486-1 is not prime. Res64: 61F366E538CF295F Time : 0.0 sec. user=mdettweiler [2015-10-09 01:30:19] 675*2^1411486-1 is not prime. Res64: 555215B82A678BA2 Time : 0.0 sec. user=mdettweiler [2015-10-09 01:30:25] 747*2^1411486-1 is not prime. Res64: 5110FF7BAE2E51D0 Time : 0.0 sec. user=mdettweiler [2015-10-09 01:45:08] 773*2^1411486-1 is not prime. Res64: F98ACB1D7DBC41A8 Time : 0.0 sec. user=mdettweiler [2015-10-09 01:45:09] 965*2^1411486-1 is not prime. Res64: 2E5F44C5C78C3402 Time : 0.0 sec. user=mdettweiler [2015-10-09 01:45:36] 971*2^1411486-1 is not prime. Res64: 01BF450E7B5C1586 Time : 0.0 sec. user=mdettweiler [2015-10-09 01:45:37] 615*2^1411487-1 is not prime. Res64: D174457722340C5B Time : 0.0 sec. user=mdettweiler [2015-10-09 01:46:14] 735*2^1411487-1 is not prime. Res64: 75426621DB4E8C5A Time : 0.0 sec. user=mdettweiler [2015-10-09 01:46:14] 799*2^1411487-1 is not prime. Res64: 0CBC62581347BD9B Time : 0.0 sec. user=mdettweiler [2015-10-09 01:48:40] 825*2^1411487-1 is not prime. Res64: CA82AF97CBA53B74 Time : 0.0 sec. user=mdettweiler [2015-10-09 01:48:41] 865*2^1411487-1 is not prime. Res64: B4B634CE85BB2456 Time : 0.0 sec. user=mdettweiler [2015-10-09 02:03:08] 963*2^1411487-1 is not prime. Res64: CFA4B0732527DEC0 Time : 0.0 sec. user=mdettweiler [2015-10-09 02:03:10] 615*2^1411488-1 is not prime. Res64: CBD45111625D5A31 Time : 0.0 sec. user=mdettweiler [2015-10-09 02:03:39] 663*2^1411488-1 is not prime. Res64: DFCC1C6C1B6BCFDB Time : 0.0 sec. user=mdettweiler [2015-10-09 02:03:40] 683*2^1411488-1 is not prime. Res64: B2D298CC342F5357 Time : 0.0 sec. user=mdettweiler [2015-10-09 02:04:14] 809*2^1411488-1 is not prime. Res64: 32E9C54A50869E8C Time : 0.0 sec. user=mdettweiler [2015-10-09 02:04:15] 993*2^1411488-1 is not prime. Res64: A30739E40846BA14 Time : 0.0 sec. user=mdettweiler [2015-10-09 02:06:44] 801*2^1411489-1 is not prime. Res64: 21C7C643172D55E2 Time : 0.0 sec. user=mdettweiler [2015-10-09 02:06:48] 897*2^1411489-1 is not prime. Res64: F07E36EDB0B48D63 Time : 0.0 sec. user=mdettweiler [2015-10-09 02:22:33] 931*2^1411489-1 is not prime. Res64: FC1787157BCE1CB2 Time : 0.0 sec. user=mdettweiler [2015-10-09 02:22:33] 951*2^1411489-1 is not prime. Res64: 7F305FFFD030E9DA Time : 0.0 sec. user=mdettweiler [2015-10-09 02:23:09] 987*2^1411489-1 is not prime. Res64: FFF8B887EA721D59 Time : 0.0 sec. user=mdettweiler [2015-10-09 02:23:09] 671*2^1411490-1 is not prime. Res64: DDE552DA2D94080E Time : 0.0 sec. user=mdettweiler [2015-10-09 02:23:14] 851*2^1411490-1 is not prime. Res64: BF175E6A60CCB842 Time : 0.0 sec. user=mdettweiler [2015-10-09 02:23:15] 911*2^1411490-1 is not prime. Res64: 1CC6ED24C00E6B2D Time : 0.0 sec. user=mdettweiler [2015-10-09 02:26:08] 915*2^1411490-1 is not prime. Res64: A8A22C4160CCBFBE Time : 0.0 sec. user=mdettweiler [2015-10-09 02:26:09] 951*2^1411490-1 is not prime. Res64: 532DB3124797FCA5 Time : 0.0 sec. user=mdettweiler [2015-10-09 02:40:39] 987*2^1411490-1 is not prime. Res64: 18A0E3287652DD75 Time : 0.0 sec. user=mdettweiler [2015-10-09 02:40:39] 995*2^1411490-1 is not prime. Res64: 6AFA89C8BE32EAF9 Time : 0.0 sec. user=mdettweiler [2015-10-09 02:40:53] 669*2^1411491-1 is not prime. Res64: D009F3FEAAD38580 Time : 0.0 sec. user=mdettweiler [2015-10-09 02:40:54] 705*2^1411491-1 is not prime. Res64: 9496F953033CA353 Time : 0.0 sec. user=mdettweiler [2015-10-09 02:41:12] 723*2^1411491-1 is not prime. Res64: 34C2BA9C2F459E6D Time : 0.0 sec. user=mdettweiler [2015-10-09 02:41:12] 823*2^1411491-1 is not prime. Res64: D4F800F40D24DD81 Time : 0.0 sec. user=mdettweiler [2015-10-09 02:44:12] 835*2^1411491-1 is not prime. Res64: D1AC3438C63598D4 Time : 0.0 sec. user=mdettweiler [2015-10-09 02:44:12] 859*2^1411491-1 is not prime. Res64: 09D6659B4FE06280 Time : 0.0 sec. user=mdettweiler [2015-10-09 02:58:35] 991*2^1411491-1 is not prime. Res64: A55BF55F1D88E544 Time : 0.0 sec. user=mdettweiler [2015-10-09 02:58:36] 615*2^1411492-1 is not prime. Res64: 2025EE53414EF969 Time : 0.0 sec. user=mdettweiler [2015-10-09 02:58:48] 843*2^1411492-1 is not prime. Res64: E59120D5BC1DC421 Time : 0.0 sec. user=mdettweiler [2015-10-09 02:58:48] 855*2^1411492-1 is not prime. Res64: F04AD528BD9A4390 Time : 0.0 sec. user=mdettweiler [2015-10-09 02:59:08] 875*2^1411492-1 is not prime. Res64: 36D0BC9EA32F5613 Time : 0.0 sec. user=mdettweiler [2015-10-09 02:59:09] 897*2^1411492-1 is not prime. Res64: 7548BEFB37C053CB Time : 0.0 sec. user=mdettweiler [2015-10-09 03:02:10] 903*2^1411492-1 is not prime. Res64: 6238B6A50906B0BB Time : 0.0 sec. user=mdettweiler [2015-10-09 03:02:11] 627*2^1411493-1 is not prime. Res64: 8E0123402B697565 Time : 0.0 sec. user=mdettweiler [2015-10-09 03:16:28] 669*2^1411493-1 is not prime. Res64: F71F45649E1375F3 Time : 0.0 sec. user=mdettweiler [2015-10-09 03:16:29] 679*2^1411493-1 is not prime. Res64: 984466280BA5BD01 Time : 0.0 sec. user=mdettweiler [2015-10-09 03:16:44] 691*2^1411493-1 is not prime. Res64: 6596F303332B14C5 Time : 0.0 sec. user=mdettweiler [2015-10-09 03:16:44] 735*2^1411493-1 is not prime. Res64: 7D6396B65DC0067C Time : 0.0 sec. user=mdettweiler [2015-10-09 03:17:09] 901*2^1411493-1 is not prime. Res64: 3769EB83E684D6A5 Time : 0.0 sec. user=mdettweiler [2015-10-09 03:17:09] 979*2^1411493-1 is not prime. Res64: 28394B307344F06C Time : 0.0 sec. user=mdettweiler [2015-10-09 03:20:17] 755*2^1411494-1 is not prime. Res64: 54EB5DAE3FEE50A3 Time : 0.0 sec. user=mdettweiler [2015-10-09 03:20:18] 783*2^1411494-1 is not prime. Res64: C4F52F3FA245AC84 Time : 0.0 sec. user=mdettweiler [2015-10-09 03:34:27] 797*2^1411494-1 is not prime. Res64: 1F5C14354E18CF44 Time : 0.0 sec. user=mdettweiler [2015-10-09 03:34:29] 881*2^1411494-1 is not prime. Res64: 91549193A4CDA694 Time : 0.0 sec. user=mdettweiler [2015-10-09 03:34:39] 891*2^1411494-1 is not prime. Res64: F93B1D6F5AA5FED0 Time : 0.0 sec. user=mdettweiler [2015-10-09 03:34:41] 625*2^1411495-1 is not prime. Res64: D136A39CA6585F9D Time : 0.0 sec. user=mdettweiler [2015-10-09 03:35:09] 663*2^1411495-1 is not prime. Res64: 38FA58CA7A1B6DDB Time : 0.0 sec. user=mdettweiler [2015-10-09 03:35:10] 685*2^1411495-1 is not prime. Res64: BA4E2E57E73D5051 Time : 0.0 sec. user=mdettweiler [2015-10-09 03:38:18] 765*2^1411495-1 is not prime. Res64: D30E34A04BB97D52 Time : 0.0 sec. user=mdettweiler [2015-10-09 03:38:19] 841*2^1411495-1 is not prime. Res64: 0984F1657956817D Time : 0.0 sec. user=mdettweiler [2015-10-09 03:52:36] 633*2^1411496-1 is not prime. Res64: FBFC33B99433A04E Time : 0.0 sec. user=mdettweiler [2015-10-09 03:52:36] 735*2^1411496-1 is not prime. Res64: 58BE29B80BAC0557 Time : 0.0 sec. user=mdettweiler [2015-10-09 03:52:36] 803*2^1411496-1 is not prime. Res64: E44F2886DEBF4CED Time : 0.0 sec. user=mdettweiler [2015-10-09 03:52:37] 725*2^1411496-1 is not prime. Res64: F66AA3468A9CFA01 Time : 0.0 sec. user=mdettweiler [2015-10-09 03:53:12] 893*2^1411496-1 is not prime. Res64: FF31FE1641E17427 Time : 0.0 sec. user=mdettweiler [2015-10-09 03:53:12] 999*2^1411496-1 is not prime. Res64: CC6725841A6A790A Time : 0.0 sec. user=mdettweiler [2015-10-09 03:56:21] 615*2^1411497-1 is not prime. Res64: D4F6935FC2DF4BC3 Time : 0.0 sec. user=mdettweiler [2015-10-09 03:56:21] 699*2^1411497-1 is not prime. Res64: 50FD9AC3D7ADE70F Time : 0.0 sec. user=mdettweiler [2015-10-09 04:10:40] 985*2^1411497-1 is not prime. Res64: C3E266E2976083D4 Time : 0.0 sec. user=mdettweiler [2015-10-09 04:10:40] 831*2^1411498-1 is not prime. Res64: 48B06E1CE0334B0B Time : 0.0 sec. user=mdettweiler [2015-10-09 04:10:55] 909*2^1411497-1 is not prime. Res64: 5744F1FC657E61F9 Time : 0.0 sec. user=mdettweiler [2015-10-09 04:10:55] 915*2^1411497-1 is not prime. Res64: B6055CD4A8831783 Time : 0.0 sec. user=mdettweiler [2015-10-09 04:11:23] 867*2^1411498-1 is not prime. Res64: FDC877C48C4D458B Time : 0.0 sec. user=mdettweiler [2015-10-09 04:11:24] 993*2^1411498-1 is not prime. Res64: 7C386F7FF66445D3 Time : 0.0 sec. user=mdettweiler [2015-10-09 04:14:12] 745*2^1411499-1 is not prime. Res64: 1FABBB92660B95D3 Time : 0.0 sec. user=mdettweiler [2015-10-09 04:14:13] 861*2^1411499-1 is not prime. Res64: 44946A1FB64B6B54 Time : 0.0 sec. user=mdettweiler [2015-10-09 04:28:36] 895*2^1411499-1 is not prime. Res64: 13DFF7DB4EBC9214 Time : 0.0 sec. user=mdettweiler [2015-10-09 04:28:37] 921*2^1411499-1 is not prime. Res64: 783B4A0225623D59 Time : 0.0 sec. user=mdettweiler [2015-10-09 04:28:48] 979*2^1411499-1 is not prime. Res64: 34C79F00B848F303 Time : 0.0 sec. user=mdettweiler [2015-10-09 04:28:48] 647*2^1411500-1 is not prime. Res64: BD26133E24B1B69F Time : 0.0 sec. user=mdettweiler [2015-10-09 04:29:18] 707*2^1411500-1 is not prime. Res64: E0C698AAB6D803F4 Time : 0.0 sec. user=mdettweiler [2015-10-09 04:29:19] 777*2^1411500-1 is not prime. Res64: 29656DD537602335 Time : 0.0 sec. user=mdettweiler [2015-10-09 04:32:07] 783*2^1411500-1 is not prime. Res64: B175EA6F25369DB3 Time : 0.0 sec. user=mdettweiler [2015-10-09 04:32:07] 873*2^1411500-1 is not prime. Res64: 0CCCB2C7FAEF713D Time : 0.0 sec. user=mdettweiler [2015-10-09 04:46:30] 905*2^1411500-1 is not prime. Res64: 1E15DAE589307624 Time : 0.0 sec. user=mdettweiler [2015-10-09 04:46:30] 619*2^1411501-1 is not prime. Res64: F24C3D35EBFA34D7 Time : 0.0 sec. user=mdettweiler [2015-10-09 04:46:41] 651*2^1411501-1 is not prime. Res64: 3DF352B907246266 Time : 0.0 sec. user=mdettweiler [2015-10-09 04:46:41] 771*2^1411501-1 is not prime. Res64: 4AA90DC6C8BBF6C4 Time : 0.0 sec. user=mdettweiler [2015-10-09 04:47:09] 805*2^1411501-1 is not prime. Res64: DA9F30EA894CE9FC Time : 0.0 sec. user=mdettweiler [2015-10-09 04:47:10] 817*2^1411501-1 is not prime. Res64: AAB589DDB1A0518E Time : 0.0 sec. user=mdettweiler [2015-10-09 04:50:00] 867*2^1411501-1 is not prime. Res64: 3E2158AB655B59EE Time : 0.0 sec. user=mdettweiler [2015-10-09 04:50:00] 889*2^1411501-1 is not prime. Res64: 734B418F5BF31A8A Time : 0.0 sec. user=mdettweiler [2015-10-09 05:04:29] 713*2^1411502-1 is not prime. Res64: 8AB8A181DBACBD51 Time : 0.0 sec. user=mdettweiler [2015-10-09 05:04:31] 741*2^1411502-1 is not prime. Res64: EE51323385BB01FF Time : 0.0 sec. user=mdettweiler [2015-10-09 05:04:34] 961*2^1411501-1 is not prime. Res64: 00827B5C2B196253 Time : 0.0 sec. user=mdettweiler [2015-10-09 05:04:36] 627*2^1411502-1 is not prime. Res64: 4A0CC4B018CEB8E7 Time : 0.0 sec. user=mdettweiler [2015-10-09 05:05:08] 753*2^1411502-1 is not prime. Res64: 7D8C2D9EBE935C63 Time : 0.0 sec. user=mdettweiler [2015-10-09 05:05:09] 801*2^1411502-1 is not prime. Res64: A10048D8728F728F Time : 0.0 sec. user=mdettweiler [2015-10-09 05:07:58] 815*2^1411502-1 is not prime. Res64: 7AF43487C94ED66A Time : 0.0 sec. user=mdettweiler [2015-10-09 05:07:59] 935*2^1411502-1 is not prime. Res64: DC9C42FC260921D5 Time : 0.0 sec. user=mdettweiler [2015-10-09 05:22:35] 941*2^1411502-1 is not prime. Res64: 9F9126681367CD30 Time : 0.0 sec. user=mdettweiler [2015-10-09 05:22:36] 669*2^1411503-1 is not prime. Res64: AC499B1E6CFF2B84 Time : 0.0 sec. user=mdettweiler [2015-10-09 05:22:41] 735*2^1411503-1 is not prime. Res64: 25A2D951413AAB68 Time : 0.0 sec. user=mdettweiler [2015-10-09 05:22:41] 751*2^1411503-1 is not prime. Res64: 49276782C7FCA1A2 Time : 0.0 sec. user=mdettweiler [2015-10-09 05:23:04] 829*2^1411503-1 is not prime. Res64: 74316E38DF1A0760 Time : 0.0 sec. user=mdettweiler [2015-10-09 05:23:04] 677*2^1411504-1 is not prime. Res64: 4EBE0D6DC4F6B9AD Time : 0.0 sec. user=mdettweiler [2015-10-09 05:25:58] 869*2^1411504-1 is not prime. Res64: 832ECF6D0F94C234 Time : 0.0 sec. user=mdettweiler [2015-10-09 05:25:58] 909*2^1411504-1 is not prime. Res64: C77D50C8FC835977 Time : 0.0 sec. user=mdettweiler [2015-10-09 05:40:25] 965*2^1411504-1 is not prime. Res64: DA3E7C9883C6F94F Time : 0.0 sec. user=mdettweiler [2015-10-09 05:40:25] 699*2^1411505-1 is not prime. Res64: A040F0D69DC09FD1 Time : 0.0 sec. user=mdettweiler [2015-10-09 05:40:44] 771*2^1411505-1 is not prime. Res64: 28F8FB7C63CB465C Time : 0.0 sec. user=mdettweiler [2015-10-09 05:40:44] 841*2^1411505-1 is not prime. Res64: 70BE840CA7E41033 Time : 0.0 sec. user=mdettweiler [2015-10-09 05:40:59] 677*2^1411506-1 is not prime. Res64: 3AD5C9473C08A9E3 Time : 0.0 sec. user=mdettweiler [2015-10-09 05:40:59] 681*2^1411507-1 is not prime. Res64: 3C7FDF067CA0DF2F Time : 0.0 sec. user=mdettweiler [2015-10-09 05:43:53] 735*2^1411507-1 is not prime. Res64: 59D1EFEB9C36F4EF Time : 0.0 sec. user=mdettweiler [2015-10-09 05:43:53] 741*2^1411507-1 is not prime. Res64: D68B9C5220C70FEA Time : 0.0 sec. user=mdettweiler [2015-10-09 05:58:18] 769*2^1411507-1 is not prime. Res64: D749E206A6EBE1E4 Time : 0.0 sec. user=mdettweiler [2015-10-09 05:58:19] 883*2^1411507-1 is not prime. Res64: 5392491883B3953E Time : 0.0 sec. user=mdettweiler [2015-10-09 05:58:41] 647*2^1411508-1 is not prime. Res64: F8E70475FD7F63ED Time : 0.0 sec. user=mdettweiler [2015-10-09 05:58:41] 659*2^1411508-1 is not prime. Res64: AA8B856954BE9886 Time : 0.0 sec. user=mdettweiler [2015-10-09 05:58:57] 687*2^1411508-1 is not prime. Res64: 900393AC0C2A6C8A Time : 0.0 sec. user=mdettweiler [2015-10-09 05:58:57] 753*2^1411508-1 is not prime. Res64: D8ED23B8974B50CA Time : 0.0 sec. user=mdettweiler [2015-10-09 06:01:55] 795*2^1411508-1 is not prime. Res64: F99B620DAD435F27 Time : 0.0 sec. user=mdettweiler [2015-10-09 06:01:57] 621*2^1411509-1 is not prime. Res64: 2308C982E0C614EC Time : 0.0 sec. user=mdettweiler [2015-10-09 06:16:18] 625*2^1411509-1 is not prime. Res64: 2A1F36F20A62F869 Time : 0.0 sec. user=mdettweiler [2015-10-09 06:16:18] 655*2^1411509-1 is not prime. Res64: 1D4C21F394BA8452 Time : 0.0 sec. user=mdettweiler [2015-10-09 06:16:36] 741*2^1411509-1 is not prime. Res64: 59916C821749BD01 Time : 0.0 sec. user=mdettweiler [2015-10-09 06:16:36] 745*2^1411509-1 is not prime. Res64: 7B90F1ECD1F28BE6 Time : 0.0 sec. user=mdettweiler [2015-10-09 06:16:47] 787*2^1411509-1 is not prime. Res64: 8E64843021BF162B Time : 0.0 sec. user=mdettweiler [2015-10-09 06:16:48] 927*2^1411509-1 is not prime. Res64: 1D973E4C70C33808 Time : 0.0 sec. user=mdettweiler [2015-10-09 06:20:06] 969*2^1411509-1 is not prime. Res64: 7074286AB60B708F Time : 0.0 sec. user=mdettweiler [2015-10-09 06:20:06] 603*2^1411510-1 is not prime. Res64: 012386364B663020 Time : 0.0 sec. user=mdettweiler [2015-10-09 06:34:05] 647*2^1411510-1 is not prime. Res64: 219E1774E5B8D0F4 Time : 0.0 sec. user=mdettweiler [2015-10-09 06:34:06] 653*2^1411510-1 is not prime. Res64: EB451399DF8C0A68 Time : 0.0 sec. user=mdettweiler [2015-10-09 06:34:33] 707*2^1411510-1 is not prime. Res64: D3CE1962EF51BBD0 Time : 0.0 sec. user=mdettweiler [2015-10-09 06:34:34] 783*2^1411510-1 is not prime. Res64: F6E099F6061DF8F6 Time : 0.0 sec. user=mdettweiler [2015-10-09 06:34:35] 831*2^1411510-1 is not prime. Res64: 8F65B3E36EACE355 Time : 0.0 sec. user=mdettweiler [2015-10-09 06:34:36] 843*2^1411510-1 is not prime. Res64: 5E99C166C1051FAF Time : 0.0 sec. user=mdettweiler [2015-10-09 06:37:51] 891*2^1411510-1 is not prime. Res64: B4992479FDCF1F0C Time : 0.0 sec. user=mdettweiler [2015-10-09 06:37:52] 987*2^1411510-1 is not prime. Res64: BB9F9FF7B1D4CC2A Time : 0.0 sec. user=mdettweiler [2015-10-09 06:51:52] 735*2^1411511-1 is not prime. Res64: C4B2913FE7999883 Time : 0.0 sec. user=mdettweiler [2015-10-09 06:51:53] 789*2^1411511-1 is not prime. Res64: 854CAE885E5B6399 Time : 0.0 sec. user=mdettweiler [2015-10-09 06:52:40] 805*2^1411511-1 is not prime. Res64: CC417A012FB2EEBC Time : 0.0 sec. user=mdettweiler [2015-10-09 06:52:40] 895*2^1411511-1 is not prime. Res64: B8A9D044F84DB2B1 Time : 0.0 sec. user=mdettweiler [2015-10-09 06:52:41] 713*2^1411512-1 is not prime. Res64: 5CB9AAEECDF00A9D Time : 0.0 sec. user=mdettweiler [2015-10-09 06:52:42] 843*2^1411512-1 is not prime. Res64: CD57B9B7EB0597C9 Time : 0.0 sec. user=mdettweiler [2015-10-09 06:55:51] 887*2^1411512-1 is not prime. Res64: 76B874989DD9BAD9 Time : 0.0 sec. user=mdettweiler [2015-10-09 06:55:52] 945*2^1411512-1 is not prime. Res64: 8E668C48533FF9AE Time : 0.0 sec. user=mdettweiler [2015-10-09 07:09:45] 975*2^1411512-1 is not prime. Res64: 6A3BE009DEE1BD2C Time : 0.0 sec. user=mdettweiler [2015-10-09 07:09:45] 675*2^1411513-1 is not prime. Res64: ED90778D9B272770 Time : 0.0 sec. user=mdettweiler [2015-10-09 07:10:36] 937*2^1411513-1 is not prime. Res64: 6801C3773D445ECE Time : 0.0 sec. user=mdettweiler [2015-10-09 07:10:37] 939*2^1411513-1 is not prime. Res64: 15D36FBABFEF7AC1 Time : 0.0 sec. user=mdettweiler [2015-10-09 07:10:44] 847*2^1411513-1 is not prime. Res64: 63648848C5ABEF3E Time : 0.0 sec. user=mdettweiler [2015-10-09 07:10:44] 919*2^1411513-1 is not prime. Res64: 8247D725006743DF Time : 0.0 sec. user=mdettweiler [2015-10-09 07:13:50] 615*2^1411514-1 is not prime. Res64: 1BF90C83D4FD7002 Time : 0.0 sec. user=mdettweiler [2015-10-09 07:13:51] 651*2^1411514-1 is not prime. Res64: 2979048B399EF6F3 Time : 0.0 sec. user=mdettweiler [2015-10-09 07:27:37] 657*2^1411514-1 is not prime. Res64: 002167F76A59950A Time : 0.0 sec. user=mdettweiler [2015-10-09 07:27:37] 671*2^1411514-1 is not prime. Res64: 2ED94C77FB25A942 Time : 0.0 sec. user=mdettweiler [2015-10-09 07:28:35] 813*2^1411514-1 is not prime. Res64: 3B5B0443F52E7A88 Time : 0.0 sec. user=mdettweiler [2015-10-09 07:28:36] 851*2^1411514-1 is not prime. Res64: C652D21EB325A904 Time : 0.0 sec. user=mdettweiler [2015-10-09 07:28:48] 857*2^1411514-1 is not prime. Res64: D34ECD36D1BF30F2 Time : 0.0 sec. user=mdettweiler [2015-10-09 07:28:49] 917*2^1411514-1 is not prime. Res64: 51A3929EE27965F2 Time : 0.0 sec. user=mdettweiler [2015-10-09 07:31:56] 921*2^1411514-1 is not prime. Res64: 7B4A0562C9D4A25C Time : 0.0 sec. user=mdettweiler [2015-10-09 07:31:57] 1001*2^1411514-1 is not prime. Res64: EB05B9B4F34E22A8 Time : 0.0 sec. user=mdettweiler [2015-10-09 07:45:30] 639*2^1411515-1 is not prime. Res64: CF4B829D7CE65C1E Time : 0.0 sec. user=mdettweiler [2015-10-09 07:45:30] 649*2^1411515-1 is not prime. Res64: EF96299559473F0E Time : 0.0 sec. user=mdettweiler [2015-10-09 07:46:37] 781*2^1411515-1 is not prime. Res64: 3FB47E8C698C7BD7 Time : 0.0 sec. user=mdettweiler [2015-10-09 07:46:37] 891*2^1411515-1 is not prime. Res64: 8D53EA6E30A210A6 Time : 0.0 sec. user=mdettweiler [2015-10-09 07:46:39] 895*2^1411515-1 is not prime. Res64: 022221B1EE43B11E Time : 0.0 sec. user=mdettweiler [2015-10-09 07:46:39] 921*2^1411515-1 is not prime. Res64: E2DE1B26DBB1A3BF Time : 0.0 sec. user=mdettweiler [2015-10-09 07:50:10] 609*2^1411516-1 is not prime. Res64: 9AEE91B4AA68EAEB Time : 0.0 sec. user=mdettweiler [2015-10-09 07:50:11] 689*2^1411516-1 is not prime. Res64: 266CBA5715544697 Time : 0.0 sec. user=mdettweiler [2015-10-09 08:03:28] 695*2^1411516-1 is not prime. Res64: C3F5AEFDF1222A48 Time : 0.0 sec. user=mdettweiler [2015-10-09 08:03:29] 723*2^1411516-1 is not prime. Res64: 045F44352CFF3EFD Time : 0.0 sec. user=mdettweiler [2015-10-09 08:04:27] 923*2^1411516-1 is not prime. Res64: 36AE5F5623504C39 Time : 0.0 sec. user=mdettweiler [2015-10-09 08:04:28] 975*2^1411516-1 is not prime. Res64: 6E6D7E8450CA4F38 Time : 0.0 sec. user=mdettweiler [2015-10-09 08:04:31] 773*2^1411516-1 is not prime. Res64: FF131521D704FF65 Time : 0.0 sec. user=mdettweiler [2015-10-09 08:04:33] 903*2^1411516-1 is not prime. Res64: 73C7888F1D7B4BB1 Time : 0.0 sec. user=mdettweiler [2015-10-09 08:08:10] 989*2^1411516-1 is not prime. Res64: B9AA8E2E0E32332A Time : 0.0 sec. user=mdettweiler [2015-10-09 08:08:10] 615*2^1411517-1 is not prime. Res64: 4C1807BCE372C3F1 Time : 0.0 sec. user=mdettweiler [2015-10-09 08:21:25] 645*2^1411517-1 is not prime. Res64: 767F07FCA9E9D8A1 Time : 0.0 sec. user=mdettweiler [2015-10-09 08:21:25] 685*2^1411517-1 is not prime. Res64: 56F783E7AD7852CF Time : 0.0 sec. user=mdettweiler [2015-10-09 08:22:23] 781*2^1411517-1 is not prime. Res64: A07CB5D9050D53F0 Time : 0.0 sec. user=mdettweiler [2015-10-09 08:22:23] 801*2^1411517-1 is not prime. Res64: D4D741AB6E6F0792 Time : 0.0 sec. user=mdettweiler [2015-10-09 08:22:45] 611*2^1411518-1 is not prime. Res64: 52572D6672280260 Time : 0.0 sec. user=mdettweiler [2015-10-09 08:22:45] 665*2^1411518-1 is not prime. Res64: F274D35982AAC6FD Time : 0.0 sec. user=mdettweiler [2015-10-09 08:26:16] 695*2^1411518-1 is not prime. Res64: EF4C883CBBB77D6F Time : 0.0 sec. user=mdettweiler [2015-10-09 08:26:17] 705*2^1411518-1 is not prime. Res64: D789CEB1D98469E2 Time : 0.0 sec. user=mdettweiler [2015-10-09 08:39:24] 797*2^1411518-1 is not prime. Res64: E718F0C75C2A726E Time : 0.0 sec. user=mdettweiler [2015-10-09 08:39:25] 875*2^1411518-1 is not prime. Res64: FF1B3E5BFEAE2459 Time : 0.0 sec. user=mdettweiler [2015-10-09 08:40:11] 951*2^1411518-1 is not prime. Res64: 17641EB037F09CBF Time : 0.0 sec. user=mdettweiler [2015-10-09 08:40:11] 975*2^1411518-1 is not prime. Res64: 2891AB3128A84064 Time : 0.0 sec. user=mdettweiler [2015-10-09 08:40:37] 703*2^1411519-1 is not prime. Res64: 665FEE43DC600FCF Time : 0.0 sec. user=mdettweiler [2015-10-09 08:40:37] 709*2^1411519-1 is not prime. Res64: F86F985873E76713 Time : 0.0 sec. user=mdettweiler [2015-10-09 08:44:09] 745*2^1411519-1 is not prime. Res64: 9CCC44F3C978998C Time : 0.0 sec. user=mdettweiler [2015-10-09 08:44:09] 769*2^1411519-1 is not prime. Res64: 7957A75B5CB1707A Time : 0.0 sec. user=mdettweiler [2015-10-09 08:57:24] 841*2^1411519-1 is not prime. Res64: 4208C7328FAA3FF5 Time : 0.0 sec. user=mdettweiler [2015-10-09 08:57:24] 859*2^1411519-1 is not prime. Res64: 8734819FF6C44771 Time : 0.0 sec. user=mdettweiler [2015-10-09 08:58:06] 895*2^1411519-1 is not prime. Res64: 1510687925B5A5EA Time : 0.0 sec. user=mdettweiler [2015-10-09 08:58:06] 909*2^1411519-1 is not prime. Res64: 4D454F71FD56F465 Time : 0.0 sec. user=mdettweiler [2015-10-09 08:58:30] 931*2^1411519-1 is not prime. Res64: 9AFEDD29D8F91060 Time : 0.0 sec. user=mdettweiler [2015-10-09 08:58:31] 969*2^1411519-1 is not prime. Res64: 6E10D31965870845 Time : 0.0 sec. user=mdettweiler [2015-10-09 09:02:02] 999*2^1411519-1 is not prime. Res64: 29ECED2BDDE93D64 Time : 0.0 sec. user=mdettweiler [2015-10-09 09:02:03] 629*2^1411520-1 is not prime. Res64: EE9FFA8EDD4DB2C6 Time : 0.0 sec. user=mdettweiler [2015-10-09 09:15:17] 635*2^1411520-1 is not prime. Res64: D571B5FFBC671B19 Time : 0.0 sec. user=mdettweiler [2015-10-09 09:15:18] 669*2^1411520-1 is not prime. Res64: 927D5DA6F73EEA06 Time : 0.0 sec. user=mdettweiler [2015-10-09 09:15:59] 675*2^1411520-1 is not prime. Res64: E6B03A49C9973F41 Time : 0.0 sec. user=mdettweiler [2015-10-09 09:15:59] 857*2^1411520-1 is not prime. Res64: 1776E1B52EEABA92 Time : 0.0 sec. user=mdettweiler [2015-10-09 09:16:32] 927*2^1411520-1 is not prime. Res64: E273D479E3C4D70F Time : 0.0 sec. user=mdettweiler [2015-10-09 09:16:32] 751*2^1411521-1 is not prime. Res64: A89C3E8C66BC1214 Time : 0.0 sec. user=mdettweiler [2015-10-09 09:19:57] 795*2^1411521-1 is not prime. Res64: 9783DD34FA0E9869 Time : 0.0 sec. user=mdettweiler [2015-10-09 09:19:57] 849*2^1411521-1 is not prime. Res64: 7DFD3095F1B88A0A Time : 0.0 sec. user=mdettweiler [2015-10-09 09:33:13] 867*2^1411521-1 is not prime. Res64: 3AEDD5B3750288B1 Time : 0.0 sec. user=mdettweiler [2015-10-09 09:33:13] 895*2^1411521-1 is not prime. Res64: 116E65BDFBA32B5A Time : 0.0 sec. user=mdettweiler [2015-10-09 09:33:56] 945*2^1411521-1 is not prime. Res64: 8D7A52B9193C9B3E Time : 0.0 sec. user=mdettweiler [2015-10-09 09:33:56] 969*2^1411521-1 is not prime. Res64: D7E711A36D0CD76F Time : 0.0 sec. user=mdettweiler [2015-10-09 09:34:24] 645*2^1411522-1 is not prime. Res64: 9CAF18611160B668 Time : 0.0 sec. user=mdettweiler [2015-10-09 09:34:24] 647*2^1411522-1 is not prime. Res64: F64077FB49291880 Time : 0.0 sec. user=mdettweiler [2015-10-09 09:37:48] 675*2^1411522-1 is not prime. Res64: 834BD5B675BD348B Time : 0.0 sec. user=mdettweiler [2015-10-09 09:37:48] 723*2^1411522-1 is not prime. Res64: CDFE1994BCD481E8 Time : 0.0 sec. user=mdettweiler [2015-10-09 09:51:08] 777*2^1411522-1 is not prime. Res64: 9F7D79296E09320C Time : 0.0 sec. user=mdettweiler [2015-10-09 09:51:08] 803*2^1411522-1 is not prime. Res64: 083E18943143EAE5 Time : 0.0 sec. user=mdettweiler [2015-10-09 09:51:56] 815*2^1411522-1 is not prime. Res64: 504C91360C6E9893 Time : 0.0 sec. user=mdettweiler [2015-10-09 09:51:56] 833*2^1411522-1 is not prime. Res64: B2977A78ED32B038 Time : 0.0 sec. user=mdettweiler [2015-10-09 09:52:19] 615*2^1411523-1 is not prime. Res64: 0597AB7AC7523509 Time : 0.0 sec. user=mdettweiler [2015-10-09 09:52:19] 663*2^1411523-1 is not prime. Res64: 844075A9C263EEC1 Time : 0.0 sec. user=mdettweiler [2015-10-09 09:55:41] 669*2^1411523-1 is not prime. Res64: 259AA22D8DF855A5 Time : 0.0 sec. user=mdettweiler [2015-10-09 09:55:42] 859*2^1411523-1 is not prime. Res64: 6DF4E739EC22AE8B Time : 0.0 sec. user=mdettweiler [2015-10-09 10:09:21] 945*2^1411523-1 is not prime. Res64: FFFEB0ADA2C5050C Time : 0.0 sec. user=mdettweiler [2015-10-09 10:09:22] 963*2^1411523-1 is not prime. Res64: C3E8FE08B40576A0 Time : 0.0 sec. user=mdettweiler [2015-10-09 10:10:20] 627*2^1411524-1 is not prime. Res64: 0386BBBD7A16C27A Time : 0.0 sec. user=mdettweiler [2015-10-09 10:10:20] 639*2^1411524-1 is not prime. Res64: E9C9A1D999B3567D Time : 0.0 sec. user=mdettweiler [2015-10-09 10:10:41] 773*2^1411524-1 is not prime. Res64: 0A60CF0D471CD615 Time : 0.0 sec. user=mdettweiler [2015-10-09 10:10:42] 789*2^1411524-1 is not prime. Res64: B547E23D8E2CB69B Time : 0.0 sec. user=mdettweiler [2015-10-09 10:14:13] 809*2^1411524-1 is not prime. Res64: 25621ED352350DD6 Time : 0.0 sec. user=mdettweiler [2015-10-09 10:14:14] 825*2^1411524-1 is not prime. Res64: 7E59E1AF17AE8DF0 Time : 0.0 sec. user=mdettweiler [2015-10-09 10:27:48] 899*2^1411524-1 is not prime. Res64: 1C3A8083303A8382 Time : 0.0 sec. user=mdettweiler [2015-10-09 10:27:49] 927*2^1411524-1 is not prime. Res64: AF39286C6AFAB469 Time : 0.0 sec. user=mdettweiler [2015-10-09 10:28:49] 729*2^1411525-1 is not prime. Res64: DA2EBF4F00A09212 Time : 0.0 sec. user=mdettweiler [2015-10-09 10:28:49] 741*2^1411525-1 is not prime. Res64: 92E02EB055DE05B5 Time : 0.0 sec. user=mdettweiler [2015-10-09 10:29:15] 895*2^1411525-1 is not prime. Res64: 7682D34915056CFC Time : 0.0 sec. user=mdettweiler [2015-10-09 10:29:15] 997*2^1411525-1 is not prime. Res64: 712BC992A6BA7A11 Time : 0.0 sec. user=mdettweiler [2015-10-09 10:33:15] 999*2^1411525-1 is not prime. Res64: 5624CB9990EDB573 Time : 0.0 sec. user=mdettweiler [2015-10-09 10:33:16] 707*2^1411526-1 is not prime. Res64: D591B2CA47AFB16A Time : 0.0 sec. user=mdettweiler [2015-10-09 10:46:10] 711*2^1411526-1 is not prime. Res64: 5D47E2D18A5124A7 Time : 0.0 sec. user=mdettweiler [2015-10-09 10:46:10] 873*2^1411526-1 is not prime. Res64: 7B6003D9A5C6C48E Time : 0.0 sec. user=mdettweiler [2015-10-09 10:47:12] 893*2^1411526-1 is not prime. Res64: 4205F5F6A32B05C7 Time : 0.0 sec. user=mdettweiler [2015-10-09 10:47:13] 963*2^1411526-1 is not prime. Res64: 71FCDAFB0BAE5B48 Time : 0.0 sec. user=mdettweiler [2015-10-09 10:47:42] 735*2^1411527-1 is not prime. Res64: 5E28A81EAAF6D751 Time : 0.0 sec. user=mdettweiler [2015-10-09 10:47:42] 819*2^1411527-1 is not prime. Res64: A96FEB986DABB0AA Time : 0.0 sec. user=mdettweiler [2015-10-09 10:51:13] 879*2^1411527-1 is not prime. Res64: C3A1437B44BA7E86 Time : 0.0 sec. user=mdettweiler [2015-10-09 10:51:13] 933*2^1411527-1 is not prime. Res64: FD399BAD7C342A1E Time : 0.0 sec. user=mdettweiler [2015-10-09 11:04:11] 999*2^1411527-1 is not prime. Res64: C4EA72FA960A52AD Time : 0.0 sec. user=mdettweiler [2015-10-09 11:04:13] 603*2^1411528-1 is not prime. Res64: DB473744A10163A4 Time : 0.0 sec. user=mdettweiler [2015-10-09 11:05:08] 623*2^1411528-1 is not prime. Res64: E329534A36F9093B Time : 0.0 sec. user=mdettweiler [2015-10-09 11:05:10] 827*2^1411528-1 is not prime. Res64: 4C8D8F97B153BC23 Time : 0.0 sec. user=mdettweiler [2015-10-09 11:05:28] 887*2^1411528-1 is not prime. Res64: 8ABCBED76AE0E58B Time : 0.0 sec. user=mdettweiler [2015-10-09 11:05:29] 685*2^1411529-1 is not prime. Res64: 3F2617E48D57CCCE Time : 0.0 sec. user=mdettweiler [2015-10-09 11:09:14] 727*2^1411529-1 is not prime. Res64: 16ECE88DED338459 Time : 0.0 sec. user=mdettweiler [2015-10-09 11:09:15] 831*2^1411529-1 is not prime. Res64: 355684B13AF65F0F Time : 0.0 sec. user=mdettweiler [2015-10-09 11:22:29] 865*2^1411529-1 is not prime. Res64: 275619B09C64B308 Time : 0.0 sec. user=mdettweiler [2015-10-09 11:22:30] 931*2^1411529-1 is not prime. Res64: C61A876949DB0C22 Time : 0.0 sec. user=mdettweiler [2015-10-09 11:23:15] 725*2^1411530-1 is not prime. Res64: D39475598E12F945 Time : 0.0 sec. user=mdettweiler [2015-10-09 11:23:16] 747*2^1411530-1 is not prime. Res64: FADF3907137E96C4 Time : 0.0 sec. user=mdettweiler [2015-10-09 11:23:32] 765*2^1411530-1 is not prime. Res64: 9CB391A9AD85ED28 Time : 0.0 sec. user=mdettweiler [2015-10-09 11:23:32] 767*2^1411530-1 is not prime. Res64: 7E3F4C61D3AD1D4B Time : 0.0 sec. user=mdettweiler [2015-10-09 11:27:20] 917*2^1411530-1 is not prime. Res64: 0D539F9603F2E9EF Time : 0.0 sec. user=mdettweiler [2015-10-09 11:27:20] 977*2^1411530-1 is not prime. Res64: 13B53707B6FE2479 Time : 0.0 sec. user=mdettweiler [2015-10-09 11:40:28] 631*2^1411531-1 is not prime. Res64: 881949318C7D348F Time : 0.0 sec. user=mdettweiler [2015-10-09 11:40:29] 649*2^1411531-1 is not prime. Res64: 73D1611E21E79C43 Time : 0.0 sec. user=mdettweiler [2015-10-09 11:41:09] 715*2^1411531-1 is not prime. Res64: D6AEAFB4C622B816 Time : 0.0 sec. user=mdettweiler [2015-10-09 11:41:09] 735*2^1411531-1 is not prime. Res64: 1C1AD923C60C4B04 Time : 0.0 sec. user=mdettweiler [2015-10-09 11:41:32] 741*2^1411531-1 is not prime. Res64: F577AD93377F9E3B Time : 0.0 sec. user=mdettweiler [2015-10-09 11:41:32] 819*2^1411531-1 is not prime. Res64: 26509948FAD40266 Time : 0.0 sec. user=mdettweiler [2015-10-09 11:45:15] 861*2^1411531-1 is not prime. Res64: C73894A01A6B54FD Time : 0.0 sec. user=mdettweiler [2015-10-09 11:45:16] 901*2^1411531-1 is not prime. Res64: 42FF6D8298606E7C Time : 0.0 sec. user=mdettweiler [2015-10-09 11:58:19] 913*2^1411531-1 is not prime. Res64: 0765269CABBD57E7 Time : 0.0 sec. user=mdettweiler [2015-10-09 11:58:20] 999*2^1411531-1 is not prime. Res64: 42F796ED91D78381 Time : 0.0 sec. user=mdettweiler [2015-10-09 11:59:15] 603*2^1411532-1 is not prime. Res64: 8D497CD518FC0D08 Time : 0.0 sec. user=mdettweiler [2015-10-09 11:59:16] 855*2^1411532-1 is not prime. Res64: 8C174B60BF627C53 Time : 0.0 sec. user=mdettweiler [2015-10-09 11:59:26] 977*2^1411532-1 is not prime. Res64: A8ADFEB8ADB03916 Time : 0.0 sec. user=mdettweiler [2015-10-09 11:59:26] 639*2^1411533-1 is not prime. Res64: D8030754C54DE594 Time : 0.0 sec. user=mdettweiler [2015-10-09 12:03:12] 685*2^1411533-1 is not prime. Res64: DDC436DC44C04D62 Time : 0.0 sec. user=mdettweiler [2015-10-09 12:03:14] 769*2^1411533-1 is not prime. Res64: 132FF2117A21E753 Time : 0.0 sec. user=mdettweiler [2015-10-09 12:16:18] 781*2^1411533-1 is not prime. Res64: 5ADAA7DCAD758C72 Time : 0.0 sec. user=mdettweiler [2015-10-09 12:16:18] 795*2^1411533-1 is not prime. Res64: 2C1918A45F9DE7D0 Time : 0.0 sec. user=mdettweiler [2015-10-09 12:17:12] 885*2^1411533-1 is not prime. Res64: A5BEFD48927E7A3D Time : 0.0 sec. user=mdettweiler [2015-10-09 12:17:12] 605*2^1411534-1 is not prime. Res64: BE4A1F7AD24C1A4D Time : 0.0 sec. user=mdettweiler [2015-10-09 12:17:29] 665*2^1411534-1 is not prime. Res64: A8B384F378894F10 Time : 0.0 sec. user=mdettweiler [2015-10-09 12:17:30] 675*2^1411534-1 is not prime. Res64: 8BEEBCF0DAD96696 Time : 0.0 sec. user=mdettweiler [2015-10-09 12:21:14] 705*2^1411534-1 is not prime. Res64: 26B23682BF626212 Time : 0.0 sec. user=mdettweiler [2015-10-09 12:21:15] 741*2^1411534-1 is not prime. Res64: 687BAFB6C04904A1 Time : 0.0 sec. user=mdettweiler [2015-10-09 12:34:22] 951*2^1411534-1 is not prime. Res64: 1A5E38F01F13F43E Time : 0.0 sec. user=mdettweiler [2015-10-09 12:34:22] 601*2^1411535-1 is not prime. Res64: 4FDD2028AC8486C6 Time : 0.0 sec. user=mdettweiler [2015-10-09 12:35:05] 609*2^1411535-1 is not prime. Res64: CC67E1490B6CDD18 Time : 0.0 sec. user=mdettweiler [2015-10-09 12:35:05] 645*2^1411535-1 is not prime. Res64: D37E7E6427103D14 Time : 0.0 sec. user=mdettweiler [2015-10-09 12:35:23] 655*2^1411535-1 is not prime. Res64: 082961C84BAB5A4A Time : 0.0 sec. user=mdettweiler [2015-10-09 12:35:23] 753*2^1411535-1 is not prime. Res64: A797A284730AABD7 Time : 0.0 sec. user=mdettweiler [2015-10-09 12:39:11] 771*2^1411535-1 is not prime. Res64: 1A437967086B6DE6 Time : 0.0 sec. user=mdettweiler [2015-10-09 12:39:11] 783*2^1411535-1 is not prime. Res64: C47F336B93E8CDA2 Time : 0.0 sec. user=mdettweiler [2015-10-09 12:52:13] 823*2^1411535-1 is not prime. Res64: 916E8131E1E97A13 Time : 0.0 sec. user=mdettweiler [2015-10-09 12:52:14] 885*2^1411535-1 is not prime. Res64: 3510546B656B78D9 Time : 0.0 sec. user=mdettweiler [2015-10-09 12:52:54] 633*2^1411536-1 is not prime. Res64: 48BA7AC8EB208CB3 Time : 0.0 sec. user=mdettweiler [2015-10-09 12:52:54] 657*2^1411536-1 is not prime. Res64: B21C220D1FA06174 Time : 0.0 sec. user=mdettweiler [2015-10-09 12:53:20] 683*2^1411536-1 is not prime. Res64: 9B0AA7B9B35F12A5 Time : 0.0 sec. user=mdettweiler [2015-10-09 12:53:21] 725*2^1411536-1 is not prime. Res64: 6C8D0235A92B0014 Time : 0.0 sec. user=mdettweiler [2015-10-09 12:57:03] 975*2^1411536-1 is not prime. Res64: 7CAA866019222B50 Time : 0.0 sec. user=mdettweiler [2015-10-09 12:57:03] 999*2^1411536-1 is not prime. Res64: A10F823380C16197 Time : 0.0 sec. user=mdettweiler [2015-10-09 13:10:04] 601*2^1411537-1 is not prime. Res64: 317E93034FCB3199 Time : 0.0 sec. user=mdettweiler [2015-10-09 13:10:05] 645*2^1411537-1 is not prime. Res64: 92DFA08180278F57 Time : 0.0 sec. user=mdettweiler [2015-10-09 13:10:49] 729*2^1411537-1 is not prime. Res64: 456AEDD819591301 Time : 0.0 sec. user=mdettweiler [2015-10-09 13:10:49] 775*2^1411537-1 is not prime. Res64: 6E4560FAFB5369F2 Time : 0.0 sec. user=mdettweiler [2015-10-09 13:11:23] 945*2^1411537-1 is not prime. Res64: 2405BC282182F373 Time : 0.0 sec. user=mdettweiler [2015-10-09 13:11:23] 657*2^1411538-1 is not prime. Res64: 3D64BC898E5713FF Time : 0.0 sec. user=mdettweiler [2015-10-09 13:15:07] 755*2^1411538-1 is not prime. Res64: 3632A1800DD80EE6 Time : 0.0 sec. user=mdettweiler [2015-10-09 13:15:08] 767*2^1411538-1 is not prime. Res64: 3F9424A715A62A73 Time : 0.0 sec. user=mdettweiler [2015-10-09 13:27:55] 773*2^1411538-1 is not prime. Res64: 310DF19C50F20341 Time : 0.0 sec. user=mdettweiler [2015-10-09 13:27:55] 791*2^1411538-1 is not prime. Res64: 102409A54AD0913B Time : 0.0 sec. user=mdettweiler [2015-10-09 13:28:47] 797*2^1411538-1 is not prime. Res64: 830EBB0E3ECB06C7 Time : 0.0 sec. user=mdettweiler [2015-10-09 13:28:48] 801*2^1411538-1 is not prime. Res64: 58E0D992686E2680 Time : 0.0 sec. user=mdettweiler [2015-10-09 13:29:12] 827*2^1411538-1 is not prime. Res64: 6278C93ADD952FC9 Time : 0.0 sec. user=mdettweiler [2015-10-09 13:29:12] 935*2^1411538-1 is not prime. Res64: 10A883EB415BB39B Time : 0.0 sec. user=mdettweiler [2015-10-09 13:46:13] 669*2^1411539-1 is not prime. Res64: 03FA143AD6CF6F9C Time : 0.0 sec. user=mdettweiler [2015-10-09 13:46:13] 703*2^1411539-1 is not prime. Res64: 294C7A6A31F50332 Time : 0.0 sec. user=mdettweiler [2015-10-09 13:47:06] 885*2^1411539-1 is not prime. Res64: 7BC9AC555FF111C0 Time : 0.0 sec. user=mdettweiler [2015-10-09 13:47:07] 913*2^1411539-1 is not prime. Res64: BBDD3F684E2D569D Time : 0.0 sec. user=mdettweiler [2015-10-09 13:47:13] 609*2^1411540-1 is not prime. Res64: 0903619558132D45 Time : 0.0 sec. user=mdettweiler [2015-10-09 13:47:14] 675*2^1411540-1 is not prime. Res64: AD070E3E3B33F7FD Time : 0.0 sec. user=mdettweiler [2015-10-09 14:04:30] 833*2^1411540-1 is not prime. Res64: F423929F85F0D868 Time : 0.0 sec. user=mdettweiler [2015-10-09 14:04:32] 885*2^1411540-1 is not prime. Res64: 42F275841831E5E8 Time : 0.0 sec. user=mdettweiler [2015-10-09 14:05:23] 909*2^1411540-1 is not prime. Res64: AE763C66C907E47B Time : 0.0 sec. user=mdettweiler [2015-10-09 14:05:25] 631*2^1411541-1 is not prime. Res64: 2A81F21970392E02 Time : 0.0 sec. user=mdettweiler [2015-10-09 14:05:29] 679*2^1411541-1 is not prime. Res64: 28CC601C92B20DC1 Time : 0.0 sec. user=mdettweiler [2015-10-09 14:05:30] 747*2^1411541-1 is not prime. Res64: D3166E4ED8ECF2CF Time : 0.0 sec. user=mdettweiler [2015-10-09 14:23:11] 811*2^1411541-1 is not prime. Res64: 1E196B160B91035E Time : 0.0 sec. user=mdettweiler [2015-10-09 14:23:11] 885*2^1411541-1 is not prime. Res64: 9A4BB3184342DFED Time : 0.0 sec. user=mdettweiler [2015-10-09 14:23:30] 901*2^1411541-1 is not prime. Res64: 70F4DE7453431D22 Time : 0.0 sec. user=mdettweiler [2015-10-09 14:23:30] 755*2^1411542-1 is not prime. Res64: 332F8CB89F08A95F Time : 0.0 sec. user=mdettweiler [2015-10-09 14:23:42] 791*2^1411542-1 is not prime. Res64: 60151746015E4AEF Time : 0.0 sec. user=mdettweiler [2015-10-09 14:23:43] 801*2^1411542-1 is not prime. Res64: ED3D4711A2606470 Time : 0.0 sec. user=mdettweiler [2015-10-09 14:41:30] 825*2^1411542-1 is not prime. Res64: 6FE323066112C881 Time : 0.0 sec. user=mdettweiler [2015-10-09 14:41:31] 833*2^1411542-1 is not prime. Res64: DD123D8E5A32252A Time : 0.0 sec. user=mdettweiler [2015-10-09 14:41:46] 945*2^1411542-1 is not prime. Res64: 793C9F33D6711319 Time : 0.0 sec. user=mdettweiler [2015-10-09 14:41:46] 947*2^1411542-1 is not prime. Res64: 1812BFC6594435F5 Time : 0.0 sec. user=mdettweiler [2015-10-09 14:41:56] 843*2^1411542-1 is not prime. Res64: EDC1ED52A2E660AE Time : 0.0 sec. user=mdettweiler [2015-10-09 14:41:56] 893*2^1411542-1 is not prime. Res64: 0E57E655FD255D9B Time : 0.0 sec. user=mdettweiler [2015-10-09 14:53:47] 971*2^1411538-1 is not prime. Res64: 2BE13808D3320CD5 Time : 0.0 sec. user=mdettweiler [2015-10-09 14:53:47] 615*2^1411539-1 is not prime. Res64: 4C3DD06E229CF21A Time : 0.0 sec. user=mdettweiler [2015-10-09 14:59:36] 681*2^1411543-1 is not prime. Res64: 69402D46982B3EAF Time : 0.0 sec. user=mdettweiler [2015-10-09 14:59:37] 705*2^1411543-1 is not prime. Res64: 8779116DC27ECD65 Time : 0.0 sec. user=mdettweiler [2015-10-09 14:59:49] 831*2^1411543-1 is not prime. Res64: 567BECC49A18F736 Time : 0.0 sec. user=mdettweiler [2015-10-09 14:59:49] 849*2^1411543-1 is not prime. Res64: EF978B54885D828E Time : 0.0 sec. user=mdettweiler [2015-10-09 14:59:56] 853*2^1411543-1 is not prime. Res64: 5AEB72456612021B Time : 0.0 sec. user=mdettweiler [2015-10-09 14:59:56] 615*2^1411544-1 is not prime. Res64: 285EC96754740594 Time : 0.0 sec. user=mdettweiler [2015-10-09 15:11:31] 617*2^1411544-1 is not prime. Res64: 8910F367B9179965 Time : 0.0 sec. user=mdettweiler [2015-10-09 15:11:32] 969*2^1411544-1 is not prime. Res64: 5678E711595871D2 Time : 0.0 sec. user=mdettweiler [2015-10-09 15:17:45] 679*2^1411545-1 is not prime. Res64: 348B73979AD3AD5D Time : 0.0 sec. user=mdettweiler [2015-10-09 15:17:45] 789*2^1411545-1 is not prime. Res64: DDD362BE60A9924B Time : 0.0 sec. user=mdettweiler [2015-10-09 15:17:51] 895*2^1411545-1 is not prime. Res64: 5692D2D34F9A3553 Time : 0.0 sec. user=mdettweiler [2015-10-09 15:17:52] 645*2^1411546-1 is not prime. Res64: DC1D68C142551882 Time : 0.0 sec. user=mdettweiler [2015-10-09 15:18:04] 705*2^1411546-1 is not prime. Res64: 37650C34E4E4C81F Time : 0.0 sec. user=mdettweiler [2015-10-09 15:18:05] 723*2^1411546-1 is not prime. Res64: 2D6DB124C44BB4BA Time : 0.0 sec. user=mdettweiler [2015-10-09 15:29:27] 773*2^1411546-1 is not prime. Res64: 25100FC592DCF1FF Time : 0.0 sec. user=mdettweiler [2015-10-09 15:29:27] 777*2^1411546-1 is not prime. Res64: B4D5FAA1A27F2D5A Time : 0.0 sec. user=mdettweiler [2015-10-09 15:35:44] 645*2^1411547-1 is not prime. Res64: FCB63449EEB3061A Time : 0.0 sec. user=mdettweiler [2015-10-09 15:35:45] 655*2^1411547-1 is not prime. Res64: 11F4F1C2EC5F3CAF Time : 0.0 sec. user=mdettweiler [2015-10-09 15:35:47] 663*2^1411547-1 is not prime. Res64: 7D58E4906B91A36C Time : 0.0 sec. user=mdettweiler [2015-10-09 15:35:48] 735*2^1411547-1 is not prime. Res64: CD67A62CF0D98388 Time : 0.0 sec. user=mdettweiler [2015-10-09 15:36:01] 799*2^1411547-1 is not prime. Res64: 87BAD67C66C68F7A Time : 0.0 sec. user=mdettweiler [2015-10-09 15:36:02] 843*2^1411547-1 is not prime. Res64: 7E3C62228B474345 Time : 0.0 sec. user=mdettweiler [2015-10-09 15:47:17] 871*2^1411547-1 is not prime. Res64: 201EE67406192576 Time : 0.0 sec. user=mdettweiler [2015-10-09 15:47:17] 999*2^1411547-1 is not prime. Res64: 0C2492E6F98DDD37 Time : 0.0 sec. user=mdettweiler [2015-10-09 15:53:37] 737*2^1411548-1 is not prime. Res64: 812F5E3EBBF86F5A Time : 0.0 sec. user=mdettweiler [2015-10-09 15:53:38] 795*2^1411548-1 is not prime. Res64: 1D4C6692E54E21F8 Time : 0.0 sec. user=mdettweiler [2015-10-09 15:53:38] 601*2^1411549-1 is not prime. Res64: 359DAA63C6F5B8FC Time : 0.0 sec. user=mdettweiler [2015-10-09 15:53:38] 619*2^1411549-1 is not prime. Res64: FDD4A27A661DBED7 Time : 0.0 sec. user=mdettweiler [2015-10-09 15:53:58] 625*2^1411549-1 is not prime. Res64: D05841FCD7217C22 Time : 0.0 sec. user=mdettweiler [2015-10-09 15:53:58] 811*2^1411549-1 is not prime. Res64: 7EECEE8AFB2C6F56 Time : 0.0 sec. user=mdettweiler [2015-10-09 16:05:07] 831*2^1411549-1 is not prime. Res64: E3E701E05EF2C1F7 Time : 0.0 sec. user=mdettweiler [2015-10-09 16:05:10] 885*2^1411549-1 is not prime. Res64: A9C1063BFD907490 Time : 0.0 sec. user=mdettweiler [2015-10-09 16:11:33] 961*2^1411549-1 is not prime. Res64: 1043B1A0C775DC33 Time : 0.0 sec. user=mdettweiler [2015-10-09 16:11:34] 967*2^1411549-1 is not prime. Res64: 97065A0A94E8C86C Time : 0.0 sec. user=mdettweiler [2015-10-09 16:11:37] 919*2^1411549-1 is not prime. Res64: 5431A6009307739B Time : 0.0 sec. user=mdettweiler [2015-10-09 16:11:38] 945*2^1411549-1 is not prime. Res64: 14584F5E51DB6756 Time : 0.0 sec. user=mdettweiler [2015-10-09 16:11:52] 623*2^1411550-1 is not prime. Res64: C81ED8FE5A9EB9D7 Time : 0.0 sec. user=mdettweiler [2015-10-09 16:11:52] 687*2^1411550-1 is not prime. Res64: E44CEB718E0B5174 Time : 0.0 sec. user=mdettweiler [2015-10-09 16:23:21] 717*2^1411550-1 is not prime. Res64: 5E6A8BF509EE48F5 Time : 0.0 sec. user=mdettweiler [2015-10-09 16:23:22] 773*2^1411550-1 is not prime. Res64: 538139C3A49DD974 Time : 0.0 sec. user=mdettweiler [2015-10-09 16:29:31] 601*2^1411551-1 is not prime. Res64: 544A2DC8418AC2FA Time : 0.0 sec. user=mdettweiler [2015-10-09 16:29:31] 609*2^1411551-1 is not prime. Res64: 80EC00C2E1E6B61F Time : 0.0 sec. user=mdettweiler [2015-10-09 16:29:37] 827*2^1411550-1 is not prime. Res64: 17B1842B6186F06A Time : 0.0 sec. user=mdettweiler [2015-10-09 16:29:37] 867*2^1411550-1 is not prime. Res64: B8AD9772B4CCCE6A Time : 0.0 sec. user=mdettweiler [2015-10-09 16:30:22] 871*2^1411551-1 is not prime. Res64: 3F9069A2A6F1B9A4 Time : 0.0 sec. user=mdettweiler [2015-10-09 16:30:22] 961*2^1411551-1 is not prime. Res64: 3F13A9D447482D91 Time : 0.0 sec. user=mdettweiler [2015-10-09 16:41:33] 973*2^1411551-1 is not prime. Res64: 13750C0AD1362DFA Time : 0.0 sec. user=mdettweiler [2015-10-09 16:41:34] 695*2^1411552-1 is not prime. Res64: FE3094565CE10EC5 Time : 0.0 sec. user=mdettweiler [2015-10-09 16:47:36] 765*2^1411552-1 is not prime. Res64: 668E47ED817F96CA Time : 0.0 sec. user=mdettweiler [2015-10-09 16:47:36] 863*2^1411552-1 is not prime. Res64: 2C6D4D2E83211616 Time : 0.0 sec. user=mdettweiler [2015-10-09 16:47:39] 705*2^1411552-1 is not prime. Res64: EDD0BBA67F19C98E Time : 0.0 sec. user=mdettweiler [2015-10-09 16:47:39] 755*2^1411552-1 is not prime. Res64: D69C58B78AD3D90D Time : 0.0 sec. user=mdettweiler [2015-10-09 16:48:26] 903*2^1411552-1 is not prime. Res64: 65C0246971C4F10F Time : 0.0 sec. user=mdettweiler [2015-10-09 16:48:26] 989*2^1411552-1 is not prime. Res64: C67E7008E8E0AEB2 Time : 0.0 sec. user=mdettweiler [2015-10-09 16:59:29] 995*2^1411552-1 is not prime. Res64: 89B4BF652B41E44C Time : 0.0 sec. user=mdettweiler [2015-10-09 16:59:29] 999*2^1411552-1 is not prime. Res64: 239A0FFF6763679B Time : 0.0 sec. user=mdettweiler [2015-10-09 17:05:29] 649*2^1411553-1 is not prime. Res64: DDEEB9ECC59C5BF0 Time : 0.0 sec. user=mdettweiler [2015-10-09 17:05:30] 721*2^1411553-1 is not prime. Res64: 0B2DC469BF24D346 Time : 0.0 sec. user=mdettweiler [2015-10-09 17:05:31] 699*2^1411553-1 is not prime. Res64: A470BAE480F3705C Time : 0.0 sec. user=mdettweiler [2015-10-09 17:05:34] 747*2^1411553-1 is not prime. Res64: 612A7891296A4668 Time : 0.0 sec. user=mdettweiler [2015-10-09 17:06:16] 789*2^1411553-1 is not prime. Res64: 4A799C209DE9D93A Time : 0.0 sec. user=mdettweiler [2015-10-09 17:06:23] 847*2^1411553-1 is not prime. Res64: 1C5DDE2987BEAA49 Time : 0.0 sec. user=mdettweiler [2015-10-09 17:17:29] 855*2^1411553-1 is not prime. Res64: 70A836743D930BFE Time : 0.0 sec. user=mdettweiler [2015-10-09 17:17:29] 897*2^1411553-1 is not prime. Res64: 7DFAA2F97FCD5ACB Time : 0.0 sec. user=mdettweiler [2015-10-09 17:24:16] 837*2^1411554-1 is not prime. Res64: AA7587105F84944D Time : 0.0 sec. user=mdettweiler [2015-10-09 17:24:16] 893*2^1411554-1 is not prime. Res64: 5AA6886D2F7B5F40 Time : 0.0 sec. user=mdettweiler [2015-10-09 17:24:19] 903*2^1411554-1 is not prime. Res64: 27CA1C7A2249201B Time : 0.0 sec. user=mdettweiler [2015-10-09 17:24:20] 971*2^1411554-1 is not prime. Res64: 4BD4C2B9C149BF9C Time : 0.0 sec. user=mdettweiler [2015-10-09 17:24:22] 991*2^1411553-1 is not prime. Res64: 9E8DB28772584FD4 Time : 0.0 sec. user=mdettweiler [2015-10-09 17:24:23] 747*2^1411554-1 is not prime. Res64: 4430CFE291120166 Time : 0.0 sec. user=mdettweiler [2015-10-09 17:35:27] 993*2^1411554-1 is not prime. Res64: D132C292947781C2 Time : 0.0 sec. user=mdettweiler [2015-10-09 17:35:28] 693*2^1411555-1 is not prime. Res64: C8DC8F4F736F0A29 Time : 0.0 sec. user=mdettweiler [2015-10-09 17:42:12] 829*2^1411555-1 is not prime. Res64: 9981C0D627523896 Time : 0.0 sec. user=mdettweiler [2015-10-09 17:42:13] 859*2^1411555-1 is not prime. Res64: 976BD8A76F95ACCC Time : 0.0 sec. user=mdettweiler [2015-10-09 17:42:26] 741*2^1411555-1 is not prime. Res64: 8E660945A405F19F Time : 0.0 sec. user=mdettweiler [2015-10-09 17:42:26] 789*2^1411555-1 is not prime. Res64: 95DCD42DB01D4823 Time : 0.0 sec. user=mdettweiler [2015-10-09 17:42:28] 871*2^1411555-1 is not prime. Res64: EC6D272BEB0D9780 Time : 0.0 sec. user=mdettweiler [2015-10-09 17:42:28] 913*2^1411555-1 is not prime. Res64: 933E36CA1D37D2D0 Time : 0.0 sec. user=mdettweiler [2015-10-09 17:53:22] 999*2^1411555-1 is not prime. Res64: 5CA8ABCC60FBA27D Time : 0.0 sec. user=mdettweiler [2015-10-09 17:53:22] 623*2^1411556-1 is not prime. Res64: FFF6972B8D0F5C90 Time : 0.0 sec. user=mdettweiler [2015-10-09 17:59:58] 669*2^1411556-1 is not prime. Res64: 1DC6FE1E6389881C Time : 0.0 sec. user=mdettweiler [2015-10-09 17:59:59] 825*2^1411556-1 is not prime. Res64: 9408773D9C8EA67E Time : 0.0 sec. user=mdettweiler [2015-10-09 18:00:19] 843*2^1411556-1 is not prime. Res64: EF586A5E67539E72 Time : 0.0 sec. user=mdettweiler [2015-10-09 18:00:21] 845*2^1411556-1 is not prime. Res64: 4F32B08906D20647 Time : 0.0 sec. user=mdettweiler [2015-10-09 18:00:24] 855*2^1411556-1 is not prime. Res64: 6EFB691084CBFDC6 Time : 0.0 sec. user=mdettweiler [2015-10-09 18:00:25] 893*2^1411556-1 is not prime. Res64: 844FCF7381FACB79 Time : 0.0 sec. user=mdettweiler [2015-10-09 18:11:14] 899*2^1411556-1 is not prime. Res64: F5F80A44D076A5A2 Time : 0.0 sec. user=mdettweiler [2015-10-09 18:11:15] 957*2^1411556-1 is not prime. Res64: 5B15E0F511270384 Time : 0.0 sec. user=mdettweiler [2015-10-09 18:17:45] 963*2^1411556-1 is not prime. Res64: 12BD6D6DB6997C64 Time : 0.0 sec. user=mdettweiler [2015-10-09 18:17:46] 781*2^1411557-1 is not prime. Res64: 984412DC8F54D8EA Time : 0.0 sec. user=mdettweiler [2015-10-09 18:18:18] 915*2^1411557-1 is not prime. Res64: C40FBBCD8B4D7E9E Time : 0.0 sec. user=mdettweiler [2015-10-09 18:18:19] 861*2^1411557-1 is not prime. Res64: 7CBE5653AD6CFAD6 Time : 0.0 sec. user=mdettweiler [2015-10-09 18:18:19] 603*2^1411558-1 is not prime. Res64: D6D5BF57103A008A Time : 0.0 sec. user=mdettweiler [2015-10-09 18:18:19] 867*2^1411557-1 is not prime. Res64: 04CC4797F0AC6D15 Time : 0.0 sec. user=mdettweiler [2015-10-09 18:29:08] 713*2^1411558-1 is not prime. Res64: 84EDB4889CC08535 Time : 0.0 sec. user=mdettweiler [2015-10-09 18:29:08] 743*2^1411558-1 is not prime. Res64: 6F514CB5E4E0FD67 Time : 0.0 sec. user=mdettweiler [2015-10-09 18:35:36] 761*2^1411558-1 is not prime. Res64: 1924B6A05D896B14 Time : 0.0 sec. user=mdettweiler [2015-10-09 18:35:36] 773*2^1411558-1 is not prime. Res64: A9E2198251BB0CC4 Time : 0.0 sec. user=mdettweiler [2015-10-09 18:36:12] 801*2^1411558-1 is not prime. Res64: 1551D78FDE0B9D22 Time : 0.0 sec. user=mdettweiler [2015-10-09 18:36:12] 933*2^1411558-1 is not prime. Res64: 01B26AC3EFBC5F3D Time : 0.0 sec. user=mdettweiler [2015-10-09 18:36:14] 951*2^1411558-1 is not prime. Res64: 52F47F341BB99C4A Time : 0.0 sec. user=mdettweiler [2015-10-09 18:36:14] 669*2^1411559-1 is not prime. Res64: FA535F50614BF71A Time : 0.0 sec. user=mdettweiler [2015-10-09 18:47:00] 859*2^1411559-1 is not prime. Res64: 1EC1AB2F3D016563 Time : 0.0 sec. user=mdettweiler [2015-10-09 18:47:00] 889*2^1411559-1 is not prime. Res64: 9260E1313EBD75F1 Time : 0.0 sec. user=mdettweiler [2015-10-09 18:53:32] 693*2^1411560-1 is not prime. Res64: 7BFBFC05D978A6AB Time : 0.0 sec. user=mdettweiler [2015-10-09 18:53:33] 713*2^1411560-1 is not prime. Res64: 40E55AFEAD916AE9 Time : 0.0 sec. user=mdettweiler [2015-10-09 18:54:04] 767*2^1411560-1 is not prime. Res64: 54A8ED22A18CFA67 Time : 0.0 sec. user=mdettweiler [2015-10-09 18:54:04] 975*2^1411560-1 is not prime. Res64: 048A40960986CAD2 Time : 0.0 sec. user=mdettweiler [2015-10-09 18:54:05] 899*2^1411560-1 is not prime. Res64: 4A06418DEBFF9959 Time : 0.0 sec. user=mdettweiler [2015-10-09 18:54:05] 615*2^1411561-1 is not prime. Res64: 581AFA43EDED5E7B Time : 0.0 sec. user=mdettweiler [2015-10-09 19:05:00] 639*2^1411561-1 is not prime. Res64: 0C16D6DA8D6A0A48 Time : 0.0 sec. user=mdettweiler [2015-10-09 19:05:02] 889*2^1411561-1 is not prime. Res64: BEF4379B4D419085 Time : 0.0 sec. user=mdettweiler [2015-10-09 19:11:35] 895*2^1411561-1 is not prime. Res64: B940F90C1162A002 Time : 0.0 sec. user=mdettweiler [2015-10-09 19:11:35] 937*2^1411561-1 is not prime. Res64: 82BDA27B9A5C6445 Time : 0.0 sec. user=mdettweiler [2015-10-09 19:12:05] 951*2^1411562-1 is not prime. Res64: FBD0FBBF31DB2757 Time : 0.0 sec. user=mdettweiler [2015-10-09 19:12:05] 963*2^1411562-1 is not prime. Res64: AB37CE7AE539E831 Time : 0.0 sec. user=mdettweiler [2015-10-09 19:12:11] 815*2^1411562-1 is not prime. Res64: 86C64B83158635DD Time : 0.0 sec. user=mdettweiler [2015-10-09 19:12:12] 831*2^1411562-1 is not prime. Res64: DC4C5CDE92ABCFA4 Time : 0.0 sec. user=mdettweiler [2015-10-09 19:23:21] 675*2^1411563-1 is not prime. Res64: 45AB52048C6BC1A5 Time : 0.0 sec. user=mdettweiler [2015-10-09 19:23:21] 741*2^1411563-1 is not prime. Res64: 228E97B7E7A814C8 Time : 0.0 sec. user=mdettweiler [2015-10-09 19:29:31] 781*2^1411563-1 is not prime. Res64: C306536C8A044EF0 Time : 0.0 sec. user=mdettweiler [2015-10-09 19:29:31] 963*2^1411563-1 is not prime. Res64: 9BBBE01B61840623 Time : 0.0 sec. user=mdettweiler [2015-10-09 19:29:52] 605*2^1411564-1 is not prime. Res64: 46CE7A61AA08CD59 Time : 0.0 sec. user=mdettweiler [2015-10-09 19:29:52] 657*2^1411564-1 is not prime. Res64: AE9BA6EF744BD1FB Time : 0.0 sec. user=mdettweiler [2015-10-09 19:30:12] 677*2^1411564-1 is not prime. Res64: 8A1C00BA3AD3438E Time : 0.0 sec. user=mdettweiler [2015-10-09 19:30:13] 693*2^1411564-1 is not prime. Res64: 99EFD3CE3E1E2AB7 Time : 0.0 sec. user=mdettweiler [2015-10-09 19:41:09] 807*2^1411564-1 is not prime. Res64: 8BEFCB8195DDBACA Time : 0.0 sec. user=mdettweiler [2015-10-09 19:41:09] 825*2^1411564-1 is not prime. Res64: 9B2CAECD459E7B8D Time : 0.0 sec. user=mdettweiler [2015-10-09 19:47:25] 989*2^1411564-1 is not prime. Res64: 4D09EC11B240896C Time : 0.0 sec. user=mdettweiler [2015-10-09 19:47:26] 601*2^1411565-1 is not prime. Res64: 05FA1E0C80F8715A Time : 0.0 sec. user=mdettweiler [2015-10-09 19:47:49] 619*2^1411565-1 is not prime. Res64: 67FF290CA6C77094 Time : 0.0 sec. user=mdettweiler [2015-10-09 19:47:49] 669*2^1411565-1 is not prime. Res64: B02B91B242602170 Time : 0.0 sec. user=mdettweiler [2015-10-09 19:48:05] 691*2^1411565-1 is not prime. Res64: 7E60A3E8CCC60061 Time : 0.0 sec. user=mdettweiler [2015-10-09 19:48:05] 729*2^1411565-1 is not prime. Res64: AA9E7CD854A06E09 Time : 0.0 sec. user=mdettweiler [2015-10-09 19:59:13] 759*2^1411565-1 is not prime. Res64: 6D860F9C2C5EDF2D Time : 0.0 sec. user=mdettweiler [2015-10-09 19:59:13] 781*2^1411565-1 is not prime. Res64: 358F9AD0FCBAD506 Time : 0.0 sec. user=mdettweiler [2015-10-09 20:05:19] 795*2^1411565-1 is not prime. Res64: FC53AF5C038A37F7 Time : 0.0 sec. user=mdettweiler [2015-10-09 20:05:21] 825*2^1411565-1 is not prime. Res64: 646851DB6036E540 Time : 0.0 sec. user=mdettweiler [2015-10-09 20:05:44] 951*2^1411565-1 is not prime. Res64: F90B2FE906E11F22 Time : 0.0 sec. user=mdettweiler [2015-10-09 20:05:46] 641*2^1411566-1 is not prime. Res64: BA21034F98573915 Time : 0.0 sec. user=mdettweiler [2015-10-09 20:05:57] 707*2^1411566-1 is not prime. Res64: 4DE4C6BBF972CD0D Time : 0.0 sec. user=mdettweiler [2015-10-09 20:06:00] 737*2^1411566-1 is not prime. Res64: 5B21DC6392506627 Time : 0.0 sec. user=mdettweiler [2015-10-09 20:17:05] 843*2^1411566-1 is not prime. Res64: 4756F79311AFEE1E Time : 0.0 sec. user=mdettweiler [2015-10-09 20:17:06] 945*2^1411566-1 is not prime. Res64: A540ACB105610D1F Time : 0.0 sec. user=mdettweiler [2015-10-09 20:23:41] 983*2^1411566-1 is not prime. Res64: A994C050B2D05D5D Time : 0.0 sec. user=mdettweiler [2015-10-09 20:23:42] 633*2^1411567-1 is not prime. Res64: 806B5F78BC833B0D Time : 0.0 sec. user=mdettweiler [2015-10-09 20:23:46] 673*2^1411567-1 is not prime. Res64: 1D5D8B261D7A47EC Time : 0.0 sec. user=mdettweiler [2015-10-09 20:23:46] 741*2^1411567-1 is not prime. Res64: 5B23383D73FDDB4C Time : 0.0 sec. user=mdettweiler [2015-10-09 20:24:00] 763*2^1411567-1 is not prime. Res64: 34327FC945A82CB6 Time : 0.0 sec. user=mdettweiler [2015-10-09 20:24:00] 841*2^1411567-1 is not prime. Res64: 6553301B74DDD3A1 Time : 0.0 sec. user=mdettweiler [2015-10-09 20:35:00] 861*2^1411567-1 is not prime. Res64: 888E3158209EDA8C Time : 0.0 sec. user=mdettweiler [2015-10-09 20:35:01] 885*2^1411567-1 is not prime. Res64: 512D79ED749E9525 Time : 0.0 sec. user=mdettweiler [2015-10-09 20:41:33] 961*2^1411567-1 is not prime. Res64: 908690C57A6B7ADF Time : 0.0 sec. user=mdettweiler [2015-10-09 20:41:33] 985*2^1411567-1 is not prime. Res64: 857CA0328EB34896 Time : 0.0 sec. user=mdettweiler [2015-10-09 20:41:39] 913*2^1411567-1 is not prime. Res64: 91B05AE346558807 Time : 0.0 sec. user=mdettweiler [2015-10-09 20:41:39] 951*2^1411567-1 is not prime. Res64: 97CA52FCA1DF9113 Time : 0.0 sec. user=mdettweiler [2015-10-09 20:41:51] 669*2^1411568-1 is not prime. Res64: CCC9DE223D0ECD70 Time : 0.0 sec. user=mdettweiler [2015-10-09 20:41:53] 713*2^1411568-1 is not prime. Res64: CAAB7A24BB2DE386 Time : 0.0 sec. user=mdettweiler [2015-10-09 20:52:59] 813*2^1411568-1 is not prime. Res64: 0B9F3F2AD77C72E0 Time : 0.0 sec. user=mdettweiler [2015-10-09 20:52:59] 825*2^1411568-1 is not prime. Res64: A94589A120050F50 Time : 0.0 sec. user=mdettweiler [2015-10-09 20:59:28] 843*2^1411568-1 is not prime. Res64: 8F31CDB24B90C397 Time : 0.0 sec. user=mdettweiler [2015-10-09 20:59:28] 869*2^1411568-1 is not prime. Res64: 6B0EB2AF9C1A3D5C Time : 0.0 sec. user=mdettweiler [2015-10-09 20:59:34] 681*2^1411569-1 is not prime. Res64: EE0A1B9C78974B73 Time : 0.0 sec. user=mdettweiler [2015-10-09 20:59:35] 745*2^1411569-1 is not prime. Res64: CAD375A2C7EEAA57 Time : 0.0 sec. user=mdettweiler [2015-10-09 20:59:50] 765*2^1411569-1 is not prime. Res64: D954EAFB3AD4D8B1 Time : 0.0 sec. user=mdettweiler [2015-10-09 20:59:51] 817*2^1411569-1 is not prime. Res64: 14D21D77C93A164A Time : 0.0 sec. user=mdettweiler [2015-10-09 21:10:48] 891*2^1411569-1 is not prime. Res64: 171F97177CC2CA55 Time : 0.0 sec. user=mdettweiler [2015-10-09 21:10:49] 955*2^1411569-1 is not prime. Res64: 1F35DAC8D31FA4F6 Time : 0.0 sec. user=mdettweiler [2015-10-09 21:17:18] 657*2^1411570-1 is not prime. Res64: F03ACD59FFC3FDF1 Time : 0.0 sec. user=mdettweiler [2015-10-09 21:17:19] 663*2^1411570-1 is not prime. Res64: F034285CAE4B1D5A Time : 0.0 sec. user=mdettweiler [2015-10-09 21:17:31] 665*2^1411570-1 is not prime. Res64: A7D15EE0C045AB2F Time : 0.0 sec. user=mdettweiler [2015-10-09 21:17:31] 773*2^1411570-1 is not prime. Res64: 2BF3FFF6580BAEE8 Time : 0.0 sec. user=mdettweiler [2015-10-09 21:17:45] 911*2^1411570-1 is not prime. Res64: 37686057F30CB9AE Time : 0.0 sec. user=mdettweiler [2015-10-09 21:17:45] 1001*2^1411570-1 is not prime. Res64: 037C7A2092A25FD5 Time : 0.0 sec. user=mdettweiler [2015-10-09 21:28:44] 651*2^1411571-1 is not prime. Res64: 2AA208A2DF0BFD76 Time : 0.0 sec. user=mdettweiler [2015-10-09 21:28:45] 669*2^1411571-1 is not prime. Res64: B758939FF6CE3FD3 Time : 0.0 sec. user=mdettweiler [2015-10-09 21:35:13] 759*2^1411571-1 is not prime. Res64: 8A3C59F2CC88528B Time : 0.0 sec. user=mdettweiler [2015-10-09 21:35:13] 939*2^1411571-1 is not prime. Res64: 5ED501DEF604AC71 Time : 0.0 sec. user=mdettweiler [2015-10-09 21:35:17] 969*2^1411571-1 is not prime. Res64: F88E4B3BC0B10FF7 Time : 0.0 sec. user=mdettweiler [2015-10-09 21:35:17] 605*2^1411572-1 is not prime. Res64: F2DEA75118FD2658 Time : 0.0 sec. user=mdettweiler [2015-10-09 21:35:35] 657*2^1411572-1 is not prime. Res64: 2CEBFF6337DD80F0 Time : 0.0 sec. user=mdettweiler [2015-10-09 21:35:36] 753*2^1411572-1 is not prime. Res64: 6EAC214A0A9559AE Time : 0.0 sec. user=mdettweiler [2015-10-09 21:46:37] 903*2^1411572-1 is not prime. Res64: 7A93B2123B3EE34A Time : 0.0 sec. user=mdettweiler [2015-10-09 21:46:38] 933*2^1411572-1 is not prime. Res64: 21C2636277453F4B Time : 0.0 sec. user=mdettweiler [2015-10-09 21:53:09] 639*2^1411573-1 is not prime. Res64: EC7949E345B5EB34 Time : 0.0 sec. user=mdettweiler [2015-10-09 21:53:10] 687*2^1411573-1 is not prime. Res64: DED1212C6E79EFC4 Time : 0.0 sec. user=mdettweiler [2015-10-09 21:53:15] 721*2^1411573-1 is not prime. Res64: 500DF9BE868D0D28 Time : 0.0 sec. user=mdettweiler [2015-10-09 21:53:15] 877*2^1411573-1 is not prime. Res64: 3F33439128899521 Time : 0.0 sec. user=mdettweiler [2015-10-09 21:53:38] 937*2^1411573-1 is not prime. Res64: 4B1966E03988BAA2 Time : 0.0 sec. user=mdettweiler [2015-10-09 21:53:39] 945*2^1411573-1 is not prime. Res64: CE13310830B3C444 Time : 0.0 sec. user=mdettweiler [2015-10-09 22:04:42] 627*2^1411574-1 is not prime. Res64: C5E988694CEDB01D Time : 0.0 sec. user=mdettweiler [2015-10-09 22:04:51] 635*2^1411574-1 is not prime. Res64: FF8A1D2F863541A1 Time : 0.0 sec. user=mdettweiler [2015-10-09 22:11:12] 753*2^1411574-1 is not prime. Res64: 3D4A961E861D1BA9 Time : 0.0 sec. user=mdettweiler [2015-10-09 22:11:13] 791*2^1411574-1 is not prime. Res64: 06B6B3BC09B263EB Time : 0.0 sec. user=mdettweiler [2015-10-09 22:11:15] 873*2^1411574-1 is not prime. Res64: 0B31B83AD3F53A26 Time : 0.0 sec. user=mdettweiler [2015-10-09 22:11:16] 915*2^1411574-1 is not prime. Res64: 5AB2F238A5E7C7D5 Time : 0.0 sec. user=mdettweiler [2015-10-09 22:11:36] 613*2^1411575-1 is not prime. Res64: E14AF8DA4C2DED59 Time : 0.0 sec. user=mdettweiler [2015-10-09 22:11:37] 649*2^1411575-1 is not prime. Res64: 3622533E869D95C6 Time : 0.0 sec. user=mdettweiler [2015-10-09 22:23:51] 709*2^1411575-1 is not prime. Res64: 3C91E93BD41BE7F4 Time : 0.0 sec. user=mdettweiler [2015-10-09 22:23:51] 781*2^1411575-1 is not prime. Res64: B384E6404D580EDE Time : 0.0 sec. user=mdettweiler [2015-10-09 22:29:07] 843*2^1411576-1 is not prime. Res64: 94D4807D338766AA Time : 0.0 sec. user=mdettweiler [2015-10-09 22:29:08] 899*2^1411576-1 is not prime. Res64: 4518E6D385D29262 Time : 0.0 sec. user=mdettweiler [2015-10-09 22:29:15] 865*2^1411575-1 is not prime. Res64: F0E8CC1D2FA992E6 Time : 0.0 sec. user=mdettweiler [2015-10-09 22:29:16] 653*2^1411576-1 is not prime. Res64: 0A0C23542F4F9325 Time : 0.0 sec. user=mdettweiler [2015-10-09 22:29:31] 939*2^1411576-1 is not prime. Res64: 82E822892AA7329A Time : 0.0 sec. user=mdettweiler [2015-10-09 22:29:32] 957*2^1411576-1 is not prime. Res64: 09493698B97EAEC8 Time : 0.0 sec. user=mdettweiler [2015-10-09 22:41:51] 901*2^1411577-1 is not prime. Res64: AAD18C7778633F90 Time : 0.0 sec. user=mdettweiler [2015-10-09 22:41:52] 937*2^1411577-1 is not prime. Res64: 1EA8ECB984BB16D8 Time : 0.0 sec. user=mdettweiler [2015-10-09 22:47:01] 633*2^1411578-1 is not prime. Res64: 46DEF636D4B15901 Time : 0.0 sec. user=mdettweiler [2015-10-09 22:47:02] 711*2^1411578-1 is not prime. Res64: 185A8023094640BB Time : 0.0 sec. user=mdettweiler [2015-10-09 22:47:13] 747*2^1411578-1 is not prime. Res64: C7F7F2185021C2B9 Time : 0.0 sec. user=mdettweiler [2015-10-09 22:47:14] 765*2^1411578-1 is not prime. Res64: 63279075CCF772C7 Time : 0.0 sec. user=mdettweiler [2015-10-09 22:47:30] 891*2^1411578-1 is not prime. Res64: 6BA38689CB089AE0 Time : 0.0 sec. user=mdettweiler [2015-10-09 22:47:30] 971*2^1411578-1 is not prime. Res64: 3308C98E374E10BC Time : 0.0 sec. user=mdettweiler [2015-10-09 22:59:45] 615*2^1411579-1 is not prime. Res64: C9DD4209AF966235 Time : 0.0 sec. user=mdettweiler [2015-10-09 22:59:46] 619*2^1411579-1 is not prime. Res64: 06EF790D7BB9C623 Time : 0.0 sec. user=mdettweiler [2015-10-09 23:05:03] 759*2^1411579-1 is not prime. Res64: 6E8D8ABC4EBC92E4 Time : 0.0 sec. user=mdettweiler [2015-10-09 23:05:05] 793*2^1411579-1 is not prime. Res64: DD3F44C359D81DDB Time : 0.0 sec. user=mdettweiler [2015-10-09 23:05:07] 859*2^1411579-1 is not prime. Res64: A3C47390EC13AE7E Time : 0.0 sec. user=mdettweiler [2015-10-09 23:05:08] 873*2^1411579-1 is not prime. Res64: 59BF9B82EE75AADF Time : 0.0 sec. user=mdettweiler [2015-10-09 23:05:34] 633*2^1411580-1 is not prime. Res64: 8DF5A587F1B6A270 Time : 0.0 sec. user=mdettweiler [2015-10-09 23:05:35] 663*2^1411580-1 is not prime. Res64: A63F6974AECD9220 Time : 0.0 sec. user=mdettweiler [2015-10-09 23:17:48] 665*2^1411580-1 is not prime. Res64: 0D1CDECEDACCFD02 Time : 0.0 sec. user=mdettweiler [2015-10-09 23:17:48] 707*2^1411580-1 is not prime. Res64: 219A3E4E309E16F8 Time : 0.0 sec. user=mdettweiler [2015-10-09 23:23:32] 661*2^1411581-1 is not prime. Res64: FD575C8315AEA6F1 Time : 0.0 sec. user=mdettweiler [2015-10-09 23:23:32] 691*2^1411581-1 is not prime. Res64: 27BBCA42BD6297CF Time : 0.0 sec. user=mdettweiler [2015-10-09 23:23:33] 725*2^1411580-1 is not prime. Res64: ECEB6C38C9584B7C Time : 0.0 sec. user=mdettweiler [2015-10-09 23:23:33] 845*2^1411580-1 is not prime. Res64: 17DADC05329C7E6A Time : 0.0 sec. user=mdettweiler [2015-10-09 23:23:38] 923*2^1411580-1 is not prime. Res64: 0B16C87BCE47CDEE Time : 0.0 sec. user=mdettweiler [2015-10-09 23:23:39] 929*2^1411580-1 is not prime. Res64: 147EC17565AD5ECA Time : 0.0 sec. user=mdettweiler [2015-10-09 23:35:47] 735*2^1411581-1 is not prime. Res64: DD6EE66FA787963C Time : 0.0 sec. user=mdettweiler [2015-10-09 23:35:47] 781*2^1411581-1 is not prime. Res64: 7A59DF344ABFDA1D Time : 0.0 sec. user=mdettweiler [2015-10-09 23:41:19] 865*2^1411581-1 is not prime. Res64: A5AF4267165D1D4C Time : 0.0 sec. user=mdettweiler [2015-10-09 23:41:20] 681*2^1411582-1 is not prime. Res64: C0988766F4EEB5F6 Time : 0.0 sec. user=mdettweiler [2015-10-09 23:41:33] 741*2^1411582-1 is not prime. Res64: E389954DCDB3621E Time : 0.0 sec. user=mdettweiler [2015-10-09 23:41:33] 815*2^1411582-1 is not prime. Res64: 4BF0606210F3EB2B Time : 0.0 sec. user=mdettweiler [2015-10-09 23:41:34] 777*2^1411582-1 is not prime. Res64: AB7F76B8179DEFEC Time : 0.0 sec. user=mdettweiler [2015-10-09 23:41:34] 831*2^1411582-1 is not prime. Res64: 46A02B808FEF845A Time : 0.0 sec. user=mdettweiler [2015-10-09 23:53:53] 833*2^1411582-1 is not prime. Res64: B912F59156924595 Time : 0.0 sec. user=mdettweiler [2015-10-09 23:53:53] 945*2^1411582-1 is not prime. Res64: 66407EAA9564C56A Time : 0.0 sec. user=mdettweiler [2015-10-09 23:59:27] 703*2^1411583-1 is not prime. Res64: 687A4924D4576DE3 Time : 0.0 sec. user=mdettweiler [2015-10-09 23:59:28] 775*2^1411583-1 is not prime. Res64: A7928CD6617486F8 Time : 0.0 sec. user=mdettweiler [2015-10-09 23:59:39] 949*2^1411583-1 is not prime. Res64: 77A2082D6EB7FB3A Time : 0.0 sec. user=mdettweiler [2015-10-09 23:59:39] 609*2^1411584-1 is not prime. Res64: 3C153A59AA30DE60 Time : 0.0 sec. user=mdettweiler [2015-10-09 23:59:40] 781*2^1411583-1 is not prime. Res64: D149AF1F0B5168E3 Time : 0.0 sec. user=mdettweiler [2015-10-09 23:59:41] 811*2^1411583-1 is not prime. Res64: 6B132132ED71F180 Time : 0.0 sec.