user=mdettweiler [2016-05-12 00:01:24] 707*2^1428876-1 is not prime. Res64: CD8279EFB975F264 Time : 0.0 sec. user=mdettweiler [2016-05-12 00:01:24] 725*2^1428876-1 is not prime. Res64: 3B48D1DFF04BA5F5 Time : 0.0 sec. user=mdettweiler [2016-05-12 00:01:25] 773*2^1428876-1 is not prime. Res64: 4B9FADB4802B500E Time : 0.0 sec. user=mdettweiler [2016-05-12 00:01:25] 867*2^1428876-1 is not prime. Res64: 18207AD2F89CD765 Time : 0.0 sec. user=mdettweiler [2016-05-12 00:01:26] 879*2^1428876-1 is not prime. Res64: 54F0E6DAA091E500 Time : 0.0 sec. user=mdettweiler [2016-05-12 00:19:29] 923*2^1428876-1 is not prime. Res64: AF545EA90758A329 Time : 0.0 sec. user=mdettweiler [2016-05-12 00:19:30] 639*2^1428877-1 is not prime. Res64: A290FC4417D72539 Time : 0.0 sec. user=mdettweiler [2016-05-12 00:19:30] 775*2^1428877-1 is not prime. Res64: BFABCBEAE2A118D7 Time : 0.0 sec. user=mdettweiler [2016-05-12 00:19:30] 801*2^1428877-1 is not prime. Res64: 243A1D0C4C09CFF9 Time : 0.0 sec. user=mdettweiler [2016-05-12 00:19:30] 819*2^1428877-1 is not prime. Res64: C986A754DFF52E00 Time : 0.0 sec. user=mdettweiler [2016-05-12 00:21:07] 831*2^1428877-1 is not prime. Res64: 320EF27A6170B0C3 Time : 0.0 sec. user=mdettweiler [2016-05-12 00:21:07] 897*2^1428877-1 is not prime. Res64: A5AC3CE08E2F0900 Time : 0.0 sec. user=mdettweiler [2016-05-12 00:21:08] 919*2^1428877-1 is not prime. Res64: C96ACFD53F1DFB33 Time : 0.0 sec. user=mdettweiler [2016-05-12 00:21:08] 961*2^1428877-1 is not prime. Res64: F936E88AC4CAA44F Time : 0.0 sec. user=mdettweiler [2016-05-12 00:21:09] 635*2^1428878-1 is not prime. Res64: 42B87CE7FDBF24B2 Time : 0.0 sec. user=mdettweiler [2016-05-12 00:32:36] 693*2^1428878-1 is not prime. Res64: C1B7C0E5A277EF26 Time : 0.0 sec. user=mdettweiler [2016-05-12 00:32:36] 771*2^1428878-1 is not prime. Res64: D1EF934CCB1DA82A Time : 0.0 sec. user=mdettweiler [2016-05-12 00:32:37] 887*2^1428878-1 is not prime. Res64: B2801714FE0D3FEF Time : 0.0 sec. user=mdettweiler [2016-05-12 00:32:37] 897*2^1428878-1 is not prime. Res64: 40544F21B2101975 Time : 0.0 sec. user=mdettweiler [2016-05-12 00:32:37] 609*2^1428879-1 is not prime. Res64: 968EBDEB40E78E54 Time : 0.0 sec. user=mdettweiler [2016-05-12 00:52:15] 615*2^1428879-1 is not prime. Res64: 3DE1152FEDF073CA Time : 0.0 sec. user=mdettweiler [2016-05-12 00:52:16] 621*2^1428879-1 is not prime. Res64: 73A949301D6CBFAD Time : 0.0 sec. user=mdettweiler [2016-05-12 00:52:16] 649*2^1428879-1 is not prime. Res64: BF06AF081F71B2D8 Time : 0.0 sec. user=mdettweiler [2016-05-12 00:52:16] 669*2^1428879-1 is not prime. Res64: 78F47B8DD218C640 Time : 0.0 sec. user=mdettweiler [2016-05-12 00:52:17] 685*2^1428879-1 is not prime. Res64: AC00617A75057E93 Time : 0.0 sec. user=mdettweiler [2016-05-12 01:05:36] 705*2^1428879-1 is not prime. Res64: 735C47CE6109CB0F Time : 0.0 sec. user=mdettweiler [2016-05-12 01:05:37] 823*2^1428879-1 is not prime. Res64: 4986CFC8CEF79F97 Time : 0.0 sec. user=mdettweiler [2016-05-12 01:05:38] 975*2^1428879-1 is not prime. Res64: 0F0067B1DC70829E Time : 0.0 sec. user=mdettweiler [2016-05-12 01:05:39] 623*2^1428880-1 is not prime. Res64: 90C1CD9AB5E8C53E Time : 0.0 sec. user=mdettweiler [2016-05-12 01:05:40] 675*2^1428880-1 is not prime. Res64: E0A92F026D71CF1A Time : 0.0 sec. user=mdettweiler [2016-05-12 01:06:50] 687*2^1428880-1 is not prime. Res64: E68371E6D27A1611 Time : 0.0 sec. user=mdettweiler [2016-05-12 01:06:50] 713*2^1428880-1 is not prime. Res64: B55BFDAF1E24D981 Time : 0.0 sec. user=mdettweiler [2016-05-12 01:06:50] 723*2^1428880-1 is not prime. Res64: 7DA8FBB893A00D95 Time : 0.0 sec. user=mdettweiler [2016-05-12 01:06:51] 759*2^1428880-1 is not prime. Res64: 022813B04525A118 Time : 0.0 sec. user=mdettweiler [2016-05-12 01:06:51] 999*2^1428880-1 is not prime. Res64: 72FF52FFCE28F625 Time : 0.0 sec. user=mdettweiler [2016-05-12 01:18:15] 669*2^1428881-1 is not prime. Res64: 4B0D7C497A1719FA Time : 0.0 sec. user=mdettweiler [2016-05-12 01:18:15] 747*2^1428881-1 is not prime. Res64: 4BCBCD7179F8503F Time : 0.0 sec. user=mdettweiler [2016-05-12 01:18:16] 861*2^1428881-1 is not prime. Res64: 73CEF7BAFB24B321 Time : 0.0 sec. user=mdettweiler [2016-05-12 01:18:16] 901*2^1428881-1 is not prime. Res64: 19A9A2468FCA53E9 Time : 0.0 sec. user=mdettweiler [2016-05-12 01:18:17] 717*2^1428882-1 is not prime. Res64: 976C9E5D238320F9 Time : 0.0 sec. user=mdettweiler [2016-05-12 01:37:51] 765*2^1428882-1 is not prime. Res64: 127D5E108B034120 Time : 0.0 sec. user=mdettweiler [2016-05-12 01:37:52] 837*2^1428882-1 is not prime. Res64: 88DEC45B4686EB58 Time : 0.0 sec. user=mdettweiler [2016-05-12 01:37:52] 893*2^1428882-1 is not prime. Res64: 1BBD603C64A39F4F Time : 0.0 sec. user=mdettweiler [2016-05-12 01:37:53] 615*2^1428883-1 is not prime. Res64: C1E17C62764D4DD9 Time : 0.0 sec. user=mdettweiler [2016-05-12 01:37:53] 691*2^1428883-1 is not prime. Res64: AB864565BFD99F4F Time : 0.0 sec. user=mdettweiler [2016-05-12 01:51:21] 783*2^1428883-1 is not prime. Res64: AAC102E5F62956A5 Time : 0.0 sec. user=mdettweiler [2016-05-12 01:51:22] 811*2^1428883-1 is not prime. Res64: 81229352F078141A Time : 0.0 sec. user=mdettweiler [2016-05-12 01:51:22] 615*2^1428884-1 is not prime. Res64: 82E57AC1AF183BBE Time : 0.0 sec. user=mdettweiler [2016-05-12 01:51:22] 707*2^1428884-1 is not prime. Res64: DEE92FC5EA9EE813 Time : 0.0 sec. user=mdettweiler [2016-05-12 01:51:23] 749*2^1428884-1 is not prime. Res64: DA09FCBC8B780671 Time : 0.0 sec. user=mdettweiler [2016-05-12 01:52:25] 753*2^1428884-1 is not prime. Res64: 3453887FE271065D Time : 0.0 sec. user=mdettweiler [2016-05-12 01:52:26] 813*2^1428884-1 is not prime. Res64: 0E7B4343978A69AB Time : 0.0 sec. user=mdettweiler [2016-05-12 01:52:26] 649*2^1428885-1 is not prime. Res64: 5588B4717421C2E7 Time : 0.0 sec. user=mdettweiler [2016-05-12 01:52:26] 727*2^1428885-1 is not prime. Res64: 7EBE5ABCA96718F6 Time : 0.0 sec. user=mdettweiler [2016-05-12 01:52:27] 735*2^1428885-1 is not prime. Res64: DF2955A3E0ABAEA8 Time : 0.0 sec. user=mdettweiler [2016-05-12 02:04:19] 777*2^1428885-1 is not prime. Res64: 420BF3B9D639F982 Time : 0.0 sec. user=mdettweiler [2016-05-12 02:04:21] 819*2^1428885-1 is not prime. Res64: 3B16E1876ED916D4 Time : 0.0 sec. user=mdettweiler [2016-05-12 02:04:23] 825*2^1428885-1 is not prime. Res64: 70DFCA84B02AAFF5 Time : 0.0 sec. user=mdettweiler [2016-05-12 02:04:25] 937*2^1428885-1 is not prime. Res64: 7D11B2FE2E02F5B1 Time : 0.0 sec. user=mdettweiler [2016-05-12 02:04:28] 979*2^1428885-1 is not prime. Res64: C1A8B0487E831499 Time : 0.0 sec. user=mdettweiler [2016-05-12 02:27:01] 705*2^1428887-1 is not prime. Res64: 7593AE0CD565F6AF Time : 0.0 sec. user=mdettweiler [2016-05-12 02:27:01] 711*2^1428887-1 is not prime. Res64: AC8FA07C3E236396 Time : 0.0 sec. user=mdettweiler [2016-05-12 02:27:02] 729*2^1428887-1 is not prime. Res64: 7C242156EC0AC247 Time : 0.0 sec. user=mdettweiler [2016-05-12 02:27:02] 781*2^1428887-1 is not prime. Res64: 7ED921856BDF9165 Time : 0.0 sec. user=mdettweiler [2016-05-12 02:27:02] 885*2^1428887-1 is not prime. Res64: 18ACCD0D0BB23888 Time : 0.0 sec. user=mdettweiler [2016-05-12 02:44:02] 837*2^1428888-1 is not prime. Res64: BA1DD1E61C4DEE85 Time : 0.0 sec. user=mdettweiler [2016-05-12 02:44:03] 845*2^1428888-1 is not prime. Res64: BCDF24B7A5B31BA7 Time : 0.0 sec. user=mdettweiler [2016-05-12 02:44:03] 887*2^1428888-1 is not prime. Res64: 2C9DB5B50F7BB520 Time : 0.0 sec. user=mdettweiler [2016-05-12 02:44:03] 639*2^1428889-1 is not prime. Res64: 3B09AEC413F5CA1E Time : 0.0 sec. user=mdettweiler [2016-05-12 02:44:04] 765*2^1428889-1 is not prime. Res64: 4A3BED9C4537474A Time : 0.0 sec. user=mdettweiler [2016-05-12 02:44:58] 915*2^1428887-1 is not prime. Res64: 03997D94D333551D Time : 0.0 sec. user=mdettweiler [2016-05-12 02:44:59] 707*2^1428888-1 is not prime. Res64: 5E4C4C945848BC72 Time : 0.0 sec. user=mdettweiler [2016-05-12 02:44:59] 737*2^1428888-1 is not prime. Res64: BE9E3553A5D839AE Time : 0.0 sec. user=mdettweiler [2016-05-12 02:44:59] 759*2^1428888-1 is not prime. Res64: 21A0A9E4966DB546 Time : 0.0 sec. user=mdettweiler [2016-05-12 02:44:59] 809*2^1428888-1 is not prime. Res64: FEA36E45BE1AD27B Time : 0.0 sec. user=mdettweiler [2016-05-12 03:00:31] 789*2^1428889-1 is not prime. Res64: EE55DC756D6A3F19 Time : 0.0 sec. user=mdettweiler [2016-05-12 03:00:32] 855*2^1428889-1 is not prime. Res64: D64286E2CE75D6CA Time : 0.0 sec. user=mdettweiler [2016-05-12 03:00:33] 861*2^1428889-1 is not prime. Res64: 7A8E5F656004316A Time : 0.0 sec. user=mdettweiler [2016-05-12 03:00:35] 867*2^1428889-1 is not prime. Res64: A133446001C5ADC3 Time : 0.0 sec. user=mdettweiler [2016-05-12 03:00:36] 931*2^1428889-1 is not prime. Res64: 8A730DB3F6B067B9 Time : 0.0 sec. user=mdettweiler [2016-05-12 03:25:20] 975*2^1428889-1 is not prime. Res64: 95733769274AFE19 Time : 0.0 sec. user=mdettweiler [2016-05-12 03:25:21] 979*2^1428889-1 is not prime. Res64: 8A03A3172360AA63 Time : 0.0 sec. user=mdettweiler [2016-05-12 03:25:23] 711*2^1428890-1 is not prime. Res64: 452EC40CEE24BEA3 Time : 0.0 sec. user=mdettweiler [2016-05-12 03:25:24] 713*2^1428890-1 is not prime. Res64: 538A1D965DFAB5DE Time : 0.0 sec. user=mdettweiler [2016-05-12 03:25:26] 717*2^1428890-1 is not prime. Res64: 3F0E24A21D3B5264 Time : 0.0 sec. user=mdettweiler [2016-05-12 03:42:46] 791*2^1428890-1 is not prime. Res64: 327EEAB2F2D3635F Time : 0.0 sec. user=mdettweiler [2016-05-12 03:42:49] 851*2^1428890-1 is not prime. Res64: 22A1DB21C55BF58A Time : 0.0 sec. user=mdettweiler [2016-05-12 03:42:51] 861*2^1428890-1 is not prime. Res64: F21F3EA9F9BFDDFA Time : 0.0 sec. user=mdettweiler [2016-05-12 03:42:53] 625*2^1428891-1 is not prime. Res64: 67900AFAEB235F19 Time : 0.0 sec. user=mdettweiler [2016-05-12 03:42:56] 651*2^1428891-1 is not prime. Res64: 44D67A506026A873 Time : 0.0 sec. user=mdettweiler [2016-05-12 03:43:18] 685*2^1428891-1 is not prime. Res64: 1FD54FC9FD266A92 Time : 0.0 sec. user=mdettweiler [2016-05-12 03:43:19] 665*2^1428892-1 is not prime. Res64: 4EBC148C90B94055 Time : 0.0 sec. user=mdettweiler [2016-05-12 03:43:19] 689*2^1428892-1 is not prime. Res64: CD4D47CE51E04C1C Time : 0.0 sec. user=mdettweiler [2016-05-12 03:43:20] 869*2^1428892-1 is not prime. Res64: 9BC4F8642E6D64A4 Time : 0.0 sec. user=mdettweiler [2016-05-12 03:43:21] 903*2^1428892-1 is not prime. Res64: AEDA6A969C23CC6A Time : 0.0 sec. user=mdettweiler [2016-05-12 03:51:47] 607*2^1428893-1 is not prime. Res64: 22EEA86E5D4E3413 Time : 0.0 sec. user=mdettweiler [2016-05-12 03:51:48] 615*2^1428893-1 is not prime. Res64: 3287A7003211C11C Time : 0.0 sec. user=mdettweiler [2016-05-12 03:51:49] 679*2^1428893-1 is not prime. Res64: BD128751A7C1F586 Time : 0.0 sec. user=mdettweiler [2016-05-12 03:51:50] 741*2^1428893-1 is not prime. Res64: 235066D03AFA79FC Time : 0.0 sec. user=mdettweiler [2016-05-12 03:51:51] 745*2^1428893-1 is not prime. Res64: 047D4F6E44047691 Time : 0.0 sec. user=mdettweiler [2016-05-12 04:10:04] 705*2^1428894-1 is not prime. Res64: B35A99A898321A4C Time : 0.0 sec. user=mdettweiler [2016-05-12 04:10:04] 965*2^1428894-1 is not prime. Res64: D45C880DA7DFFFC6 Time : 0.0 sec. user=mdettweiler [2016-05-12 04:10:05] 1001*2^1428894-1 is not prime. Res64: AB54085EAD1F47A3 Time : 0.0 sec. user=mdettweiler [2016-05-12 04:10:05] 723*2^1428895-1 is not prime. Res64: A8D1CE121238E45A Time : 0.0 sec. user=mdettweiler [2016-05-12 04:10:06] 741*2^1428895-1 is not prime. Res64: 5C59B4ABD5D0D30B Time : 0.0 sec. user=mdettweiler [2016-05-12 04:27:30] 629*2^1428896-1 is not prime. Res64: F50864D6A1CE8548 Time : 0.0 sec. user=mdettweiler [2016-05-12 04:27:31] 633*2^1428896-1 is not prime. Res64: 577014355BDC05B3 Time : 0.0 sec. user=mdettweiler [2016-05-12 04:27:31] 657*2^1428896-1 is not prime. Res64: 9008FAA99B41A30C Time : 0.0 sec. user=mdettweiler [2016-05-12 04:27:31] 855*2^1428896-1 is not prime. Res64: 16F26417C41D912C Time : 0.0 sec. user=mdettweiler [2016-05-12 04:27:32] 759*2^1428896-1 is not prime. Res64: 6DC08810FFBE6A81 Time : 0.0 sec. user=mdettweiler [2016-05-12 04:27:32] 903*2^1428896-1 is not prime. Res64: 666B0079E991B2D1 Time : 0.0 sec. user=mdettweiler [2016-05-12 04:27:32] 825*2^1428896-1 is not prime. Res64: 52A94F8D61E24DD8 Time : 0.0 sec. user=mdettweiler [2016-05-12 04:27:32] 923*2^1428896-1 is not prime. Res64: 87A582D74DBB6B4C Time : 0.0 sec. user=mdettweiler [2016-05-12 04:27:33] 963*2^1428896-1 is not prime. Res64: E115CD3BAABBDBA4 Time : 0.0 sec. user=mdettweiler [2016-05-12 04:27:33] 651*2^1428897-1 is not prime. Res64: 382512725ECB8617 Time : 0.0 sec. user=mdettweiler [2016-05-12 04:36:13] 727*2^1428897-1 is not prime. Res64: 418DEC85CA9D56ED Time : 0.0 sec. user=mdettweiler [2016-05-12 04:36:13] 747*2^1428897-1 is not prime. Res64: 58434C6C1173314A Time : 0.0 sec. user=mdettweiler [2016-05-12 04:36:14] 759*2^1428897-1 is not prime. Res64: DB62DE9C41D73FDE Time : 0.0 sec. user=mdettweiler [2016-05-12 04:36:14] 807*2^1428897-1 is not prime. Res64: 89C34D81DA4CD338 Time : 0.0 sec. user=mdettweiler [2016-05-12 04:36:15] 955*2^1428897-1 is not prime. Res64: 3013233F021B163E Time : 0.0 sec. user=mdettweiler [2016-05-12 04:54:05] 603*2^1428898-1 is not prime. Res64: 8A392FBDA701E815 Time : 0.0 sec. user=mdettweiler [2016-05-12 04:54:06] 621*2^1428898-1 is not prime. Res64: 540A3CCBFEA8FC8C Time : 0.0 sec. user=mdettweiler [2016-05-12 04:54:06] 657*2^1428898-1 is not prime. Res64: 263FF108824E2402 Time : 0.0 sec. user=mdettweiler [2016-05-12 04:54:07] 825*2^1428898-1 is not prime. Res64: 4403D066A370B2EA Time : 0.0 sec. user=mdettweiler [2016-05-12 04:54:07] 833*2^1428898-1 is not prime. Res64: 3943A69FC69C2EAE Time : 0.0 sec. user=mdettweiler [2016-05-12 05:11:41] 857*2^1428898-1 is not prime. Res64: 64A48207400B9D7B Time : 0.0 sec. user=mdettweiler [2016-05-12 05:11:42] 891*2^1428898-1 is not prime. Res64: 3A7E0F9C0D990F33 Time : 0.0 sec. user=mdettweiler [2016-05-12 05:11:42] 859*2^1428899-1 is not prime. Res64: B613F0A8A2677A09 Time : 0.0 sec. user=mdettweiler [2016-05-12 05:11:42] 979*2^1428899-1 is not prime. Res64: 33C2EBEBA882AC0E Time : 0.0 sec. user=mdettweiler [2016-05-12 05:11:43] 909*2^1428899-1 is not prime. Res64: C7C3C99768E5E34A Time : 0.0 sec. user=mdettweiler [2016-05-12 05:11:43] 633*2^1428900-1 is not prime. Res64: CBC8B6FAA326E1E3 Time : 0.0 sec. user=mdettweiler [2016-05-12 05:11:43] 921*2^1428899-1 is not prime. Res64: B138A3861DE39B72 Time : 0.0 sec. user=mdettweiler [2016-05-12 05:11:43] 725*2^1428900-1 is not prime. Res64: 9751E7A0CCFF37DB Time : 0.0 sec. user=mdettweiler [2016-05-12 05:11:44] 845*2^1428900-1 is not prime. Res64: 6D4BD4A1DD91D592 Time : 0.0 sec. user=mdettweiler [2016-05-12 05:11:44] 873*2^1428900-1 is not prime. Res64: DA112C50EB8F56EE Time : 0.0 sec. user=mdettweiler [2016-05-12 05:20:43] 933*2^1428900-1 is not prime. Res64: 8542AE19BC93242A Time : 0.0 sec. user=mdettweiler [2016-05-12 05:20:44] 615*2^1428901-1 is not prime. Res64: 02A32E576BD89E41 Time : 0.0 sec. user=mdettweiler [2016-05-12 05:20:44] 625*2^1428901-1 is not prime. Res64: 598ED66915CF203B Time : 0.0 sec. user=mdettweiler [2016-05-12 05:20:45] 649*2^1428901-1 is not prime. Res64: 816085F47A120B04 Time : 0.0 sec. user=mdettweiler [2016-05-12 05:20:45] 651*2^1428901-1 is not prime. Res64: 88C77FFF2BF60827 Time : 0.0 sec. user=mdettweiler [2016-05-12 05:38:17] 687*2^1428901-1 is not prime. Res64: 5E78067864E41054 Time : 0.0 sec. user=mdettweiler [2016-05-12 05:38:18] 769*2^1428901-1 is not prime. Res64: 6468FA36C88E08E1 Time : 0.0 sec. user=mdettweiler [2016-05-12 05:38:18] 987*2^1428901-1 is not prime. Res64: E36F0C9176CC63C8 Time : 0.0 sec. user=mdettweiler [2016-05-12 05:38:19] 603*2^1428902-1 is not prime. Res64: 780EDF941EA22174 Time : 0.0 sec. user=mdettweiler [2016-05-12 05:38:19] 741*2^1428902-1 is not prime. Res64: 95DF05B277E7FBC8 Time : 0.0 sec. user=mdettweiler [2016-05-12 05:55:52] 945*2^1428902-1 is not prime. Res64: 78667B3196E05D5D Time : 0.0 sec. user=mdettweiler [2016-05-12 05:55:52] 983*2^1428902-1 is not prime. Res64: D2DEC993B3554D55 Time : 0.0 sec. user=mdettweiler [2016-05-12 05:55:53] 613*2^1428903-1 is not prime. Res64: EF09128B80E17272 Time : 0.0 sec. user=mdettweiler [2016-05-12 05:55:53] 639*2^1428903-1 is not prime. Res64: 72A52EF688C80310 Time : 0.0 sec. user=mdettweiler [2016-05-12 05:55:54] 751*2^1428903-1 is not prime. Res64: 1CD5CA0F2068980F Time : 0.0 sec. user=mdettweiler [2016-05-12 05:55:59] 747*2^1428902-1 is not prime. Res64: 5D761970C0F7B3F4 Time : 0.0 sec. user=mdettweiler [2016-05-12 05:56:00] 785*2^1428902-1 is not prime. Res64: A5CFE79BFFB7168A Time : 0.0 sec. user=mdettweiler [2016-05-12 05:56:00] 791*2^1428902-1 is not prime. Res64: CE331A7EDD582025 Time : 0.0 sec. user=mdettweiler [2016-05-12 05:56:01] 917*2^1428902-1 is not prime. Res64: 9962702B26E73D9B Time : 0.0 sec. user=mdettweiler [2016-05-12 05:56:01] 923*2^1428902-1 is not prime. Res64: 2E2139251F05B2AF Time : 0.0 sec. user=mdettweiler [2016-05-12 06:04:49] 783*2^1428903-1 is not prime. Res64: BB0D80377B90A77A Time : 0.0 sec. user=mdettweiler [2016-05-12 06:04:51] 789*2^1428903-1 is not prime. Res64: 19A38FB27DE02D7B Time : 0.0 sec. user=mdettweiler [2016-05-12 06:04:52] 819*2^1428903-1 is not prime. Res64: A9083914AA1EAE3D Time : 0.0 sec. user=mdettweiler [2016-05-12 06:04:53] 961*2^1428903-1 is not prime. Res64: 3A403F987AC2F97C Time : 0.0 sec. user=mdettweiler [2016-05-12 06:04:54] 985*2^1428903-1 is not prime. Res64: C10EC0D0291A4E1E Time : 0.0 sec. user=mdettweiler [2016-05-12 06:22:15] 609*2^1428904-1 is not prime. Res64: AFAEFC19394C358B Time : 0.0 sec. user=mdettweiler [2016-05-12 06:22:15] 615*2^1428904-1 is not prime. Res64: C838122F2B086AC9 Time : 0.0 sec. user=mdettweiler [2016-05-12 06:22:16] 677*2^1428904-1 is not prime. Res64: 7D4B36C9257CFF56 Time : 0.0 sec. user=mdettweiler [2016-05-12 06:22:17] 747*2^1428904-1 is not prime. Res64: 8DEFE0017A7064A9 Time : 0.0 sec. user=mdettweiler [2016-05-12 06:22:17] 813*2^1428904-1 is not prime. Res64: 558BDB5EF1B8E75F Time : 0.0 sec. user=mdettweiler [2016-05-12 06:39:54] 849*2^1428904-1 is not prime. Res64: D9A623EBFE84CBDC Time : 0.0 sec. user=mdettweiler [2016-05-12 06:39:54] 899*2^1428904-1 is not prime. Res64: D04AA04949C7061C Time : 0.0 sec. user=mdettweiler [2016-05-12 06:39:55] 903*2^1428904-1 is not prime. Res64: 6A32C3FC101CFCE2 Time : 0.0 sec. user=mdettweiler [2016-05-12 06:39:55] 627*2^1428905-1 is not prime. Res64: 04C1C062DEC43877 Time : 0.0 sec. user=mdettweiler [2016-05-12 06:39:56] 645*2^1428905-1 is not prime. Res64: CCABB1DB880C904B Time : 0.0 sec. user=mdettweiler [2016-05-12 06:40:05] 727*2^1428905-1 is not prime. Res64: 521E40C1A6D575D1 Time : 0.0 sec. user=mdettweiler [2016-05-12 06:40:05] 889*2^1428905-1 is not prime. Res64: D7C991D9C7624B2C Time : 0.0 sec. user=mdettweiler [2016-05-12 06:40:06] 949*2^1428905-1 is not prime. Res64: 9F8398D31D169757 Time : 0.0 sec. user=mdettweiler [2016-05-12 06:40:06] 851*2^1428906-1 is not prime. Res64: B34A399C1B7A8271 Time : 0.0 sec. user=mdettweiler [2016-05-12 06:40:07] 971*2^1428906-1 is not prime. Res64: C4D68ADE8D77BA86 Time : 0.0 sec. user=mdettweiler [2016-05-12 06:49:02] 649*2^1428907-1 is not prime. Res64: BB5A1077DD3D0C41 Time : 0.0 sec. user=mdettweiler [2016-05-12 06:49:02] 741*2^1428907-1 is not prime. Res64: 3C3BA3FF4D9DDD9F Time : 0.0 sec. user=mdettweiler [2016-05-12 06:49:03] 751*2^1428907-1 is not prime. Res64: BC98D4E1D397F471 Time : 0.0 sec. user=mdettweiler [2016-05-12 06:49:03] 759*2^1428907-1 is not prime. Res64: EA310DA1DB61605E Time : 0.0 sec. user=mdettweiler [2016-05-12 06:49:04] 859*2^1428907-1 is not prime. Res64: DBEB7F8764C64CC2 Time : 0.0 sec. user=mdettweiler [2016-05-12 07:06:31] 861*2^1428907-1 is not prime. Res64: 2E73D052A945B0C9 Time : 0.0 sec. user=mdettweiler [2016-05-12 07:06:32] 885*2^1428907-1 is not prime. Res64: E811EB82E36745CE Time : 0.0 sec. user=mdettweiler [2016-05-12 07:06:33] 919*2^1428907-1 is not prime. Res64: A36A892F8864E924 Time : 0.0 sec. user=mdettweiler [2016-05-12 07:06:33] 939*2^1428907-1 is not prime. Res64: 72ACA47997E9F33D Time : 0.0 sec. user=mdettweiler [2016-05-12 07:06:34] 755*2^1428908-1 is not prime. Res64: 71F0C1F53E919B2C Time : 0.0 sec. user=mdettweiler [2016-05-12 07:24:02] 897*2^1428908-1 is not prime. Res64: 6B2AEE51938A0437 Time : 0.0 sec. user=mdettweiler [2016-05-12 07:24:03] 601*2^1428909-1 is not prime. Res64: AEB5AE1BE63905CA Time : 0.0 sec. user=mdettweiler [2016-05-12 07:24:03] 691*2^1428909-1 is not prime. Res64: 218BF823746788B8 Time : 0.0 sec. user=mdettweiler [2016-05-12 07:24:04] 961*2^1428909-1 is not prime. Res64: 937BFB30CFBDECD4 Time : 0.0 sec. user=mdettweiler [2016-05-12 07:24:04] 969*2^1428909-1 is not prime. Res64: 84698A9B3C3D2E36 Time : 0.0 sec. user=mdettweiler [2016-05-12 07:24:09] 975*2^1428909-1 is not prime. Res64: 00CD36664FF8B651 Time : 0.0 sec. user=mdettweiler [2016-05-12 07:24:09] 743*2^1428910-1 is not prime. Res64: 665A563A7AC038F6 Time : 0.0 sec. user=mdettweiler [2016-05-12 07:24:10] 777*2^1428910-1 is not prime. Res64: A0879BE05D638DDD Time : 0.0 sec. user=mdettweiler [2016-05-12 07:24:10] 791*2^1428910-1 is not prime. Res64: 1B9D4D6F2DF8C1D1 Time : 0.0 sec. user=mdettweiler [2016-05-12 07:24:11] 843*2^1428910-1 is not prime. Res64: 303AC7C0378D9F85 Time : 0.0 sec. user=mdettweiler [2016-05-12 07:33:03] 911*2^1428910-1 is not prime. Res64: 9106865FD5BDD3AE Time : 0.0 sec. user=mdettweiler [2016-05-12 07:33:03] 1001*2^1428910-1 is not prime. Res64: DEA4D17D29A94B05 Time : 0.0 sec. user=mdettweiler [2016-05-12 07:33:04] 661*2^1428911-1 is not prime. Res64: EDD1E8A34DF7F0BE Time : 0.0 sec. user=mdettweiler [2016-05-12 07:33:04] 775*2^1428911-1 is not prime. Res64: 2F60A6822CE2B4FA Time : 0.0 sec. user=mdettweiler [2016-05-12 07:33:05] 841*2^1428911-1 is not prime. Res64: 546CD3498D08863C Time : 0.0 sec. user=mdettweiler [2016-05-12 07:50:41] 843*2^1428911-1 is not prime. Res64: 74EE49E0164D7050 Time : 0.0 sec. user=mdettweiler [2016-05-12 07:50:42] 909*2^1428911-1 is not prime. Res64: 4D7CDD9D97FA3B0C Time : 0.0 sec. user=mdettweiler [2016-05-12 07:50:42] 943*2^1428911-1 is not prime. Res64: 46AD3531C8010719 Time : 0.0 sec. user=mdettweiler [2016-05-12 07:50:43] 993*2^1428911-1 is not prime. Res64: 20CC195B3788675E Time : 0.0 sec. user=mdettweiler [2016-05-12 07:50:43] 669*2^1428912-1 is not prime. Res64: 2AFB93DFE4CD944C Time : 0.0 sec. user=mdettweiler [2016-05-12 08:09:39] 915*2^1428913-1 is not prime. Res64: D2D425EDF0F3C53B Time : 0.0 sec. user=mdettweiler [2016-05-12 08:09:39] 919*2^1428913-1 is not prime. Res64: 230928D19B009529 Time : 0.0 sec. user=mdettweiler [2016-05-12 08:09:40] 951*2^1428913-1 is not prime. Res64: 40E3A8722E0EB6D6 Time : 0.0 sec. user=mdettweiler [2016-05-12 08:09:41] 875*2^1428914-1 is not prime. Res64: CA6735CFE9F1F814 Time : 0.0 sec. user=mdettweiler [2016-05-12 08:09:41] 921*2^1428914-1 is not prime. Res64: B528C899B83C9C51 Time : 0.0 sec. user=mdettweiler [2016-05-12 08:09:57] 689*2^1428912-1 is not prime. Res64: 443DEB9865A695B0 Time : 0.0 sec. user=mdettweiler [2016-05-12 08:09:58] 693*2^1428912-1 is not prime. Res64: B5F61959CDF1B680 Time : 0.0 sec. user=mdettweiler [2016-05-12 08:09:58] 915*2^1428912-1 is not prime. Res64: 7490E5D7BF2C758F Time : 0.0 sec. user=mdettweiler [2016-05-12 08:09:59] 945*2^1428912-1 is not prime. Res64: D212BB4FE5574B2C Time : 0.0 sec. user=mdettweiler [2016-05-12 08:09:59] 835*2^1428913-1 is not prime. Res64: C1EB33F5CDA5C586 Time : 0.0 sec. user=mdettweiler [2016-05-12 08:18:37] 941*2^1428914-1 is not prime. Res64: 1E3DD9F7B26F8B96 Time : 0.0 sec. user=mdettweiler [2016-05-12 08:18:38] 705*2^1428915-1 is not prime. Res64: 4D6DA818CDCF9452 Time : 0.0 sec. user=mdettweiler [2016-05-12 08:18:38] 709*2^1428915-1 is not prime. Res64: 2B205ED8EC57D81F Time : 0.0 sec. user=mdettweiler [2016-05-12 08:18:39] 781*2^1428915-1 is not prime. Res64: 58AFA55831D170F7 Time : 0.0 sec. user=mdettweiler [2016-05-12 08:18:39] 793*2^1428915-1 is not prime. Res64: F839ACDA0D708326 Time : 0.0 sec. user=mdettweiler [2016-05-12 08:36:48] 825*2^1428915-1 is not prime. Res64: 7226DB80012BC046 Time : 0.0 sec. user=mdettweiler [2016-05-12 08:36:48] 871*2^1428915-1 is not prime. Res64: 216EADD3E0B8EC16 Time : 0.0 sec. user=mdettweiler [2016-05-12 08:36:49] 873*2^1428915-1 is not prime. Res64: 5570A83BD83BFD78 Time : 0.0 sec. user=mdettweiler [2016-05-12 08:36:49] 949*2^1428915-1 is not prime. Res64: 8825AE98167588CD Time : 0.0 sec. user=mdettweiler [2016-05-12 08:36:50] 961*2^1428915-1 is not prime. Res64: 651ED35330EB17AC Time : 0.0 sec. user=mdettweiler [2016-05-12 08:54:20] 889*2^1428917-1 is not prime. Res64: 2FDFB65121CF3A30 Time : 0.0 sec. user=mdettweiler [2016-05-12 08:54:20] 657*2^1428916-1 is not prime. Res64: B2CF4D293188A8C2 Time : 0.0 sec. user=mdettweiler [2016-05-12 08:54:20] 931*2^1428917-1 is not prime. Res64: 71FA1664F4111F9A Time : 0.0 sec. user=mdettweiler [2016-05-12 08:54:20] 723*2^1428916-1 is not prime. Res64: 504FF7BF19E266C0 Time : 0.0 sec. user=mdettweiler [2016-05-12 08:54:21] 981*2^1428917-1 is not prime. Res64: F3E4829D21F6C2D4 Time : 0.0 sec. user=mdettweiler [2016-05-12 08:54:21] 939*2^1428916-1 is not prime. Res64: D7824462F29498C7 Time : 0.0 sec. user=mdettweiler [2016-05-12 08:54:21] 997*2^1428917-1 is not prime. Res64: 6589013335F67F78 Time : 0.0 sec. user=mdettweiler [2016-05-12 08:54:22] 983*2^1428916-1 is not prime. Res64: 739BE7C8BDC4467B Time : 0.0 sec. user=mdettweiler [2016-05-12 08:54:22] 621*2^1428918-1 is not prime. Res64: 119954273B11E724 Time : 0.0 sec. user=mdettweiler [2016-05-12 08:54:22] 741*2^1428917-1 is not prime. Res64: D178D78AAB4AC686 Time : 0.0 sec. user=mdettweiler [2016-05-12 09:02:50] 693*2^1428918-1 is not prime. Res64: 16EDB9C36D9A4399 Time : 0.0 sec. user=mdettweiler [2016-05-12 09:02:51] 765*2^1428918-1 is not prime. Res64: B5426B8DB358D0DE Time : 0.0 sec. user=mdettweiler [2016-05-12 09:02:51] 797*2^1428918-1 is not prime. Res64: 2189B3EF4E498B5C Time : 0.0 sec. user=mdettweiler [2016-05-12 09:02:52] 861*2^1428918-1 is not prime. Res64: B510AE918F68B44C Time : 0.0 sec. user=mdettweiler [2016-05-12 09:02:53] 971*2^1428918-1 is not prime. Res64: E7F322F64FEE05B3 Time : 0.0 sec. user=mdettweiler [2016-05-12 09:21:03] 601*2^1428919-1 is not prime. Res64: 53F2DF943670CC1C Time : 0.0 sec. user=mdettweiler [2016-05-12 09:21:04] 645*2^1428919-1 is not prime. Res64: D81635DA3A3D0E0A Time : 0.0 sec. user=mdettweiler [2016-05-12 09:21:05] 649*2^1428919-1 is not prime. Res64: FB6CEE23010B3480 Time : 0.0 sec. user=mdettweiler [2016-05-12 09:21:05] 681*2^1428919-1 is not prime. Res64: 2E753213C4587DB9 Time : 0.0 sec. user=mdettweiler [2016-05-12 09:21:06] 771*2^1428919-1 is not prime. Res64: 17D1DD4532E8E1E0 Time : 0.0 sec. user=mdettweiler [2016-05-12 09:38:30] 831*2^1428919-1 is not prime. Res64: B7B874DE398F7DD6 Time : 0.0 sec. user=mdettweiler [2016-05-12 09:38:31] 909*2^1428919-1 is not prime. Res64: A9D896ACE1FA8387 Time : 0.0 sec. user=mdettweiler [2016-05-12 09:38:31] 913*2^1428919-1 is not prime. Res64: 80596129A7B89213 Time : 0.0 sec. user=mdettweiler [2016-05-12 09:38:32] 933*2^1428919-1 is not prime. Res64: D74EAB7B51A30828 Time : 0.0 sec. user=mdettweiler [2016-05-12 09:38:32] 635*2^1428920-1 is not prime. Res64: CBD28F6AEC373BF5 Time : 0.0 sec. user=mdettweiler [2016-05-12 09:38:46] 795*2^1428920-1 is not prime. Res64: 6A2FD3EDE31EA463 Time : 0.0 sec. user=mdettweiler [2016-05-12 09:38:47] 825*2^1428920-1 is not prime. Res64: CF43F9A37DE6B586 Time : 0.0 sec. user=mdettweiler [2016-05-12 09:38:47] 977*2^1428920-1 is not prime. Res64: 616437A8DC9B2A63 Time : 0.0 sec. user=mdettweiler [2016-05-12 09:38:48] 615*2^1428921-1 is not prime. Res64: C9B117124B972A70 Time : 0.0 sec. user=mdettweiler [2016-05-12 09:38:48] 649*2^1428921-1 is not prime. Res64: D52B250551F4E696 Time : 0.0 sec. user=mdettweiler [2016-05-12 09:47:24] 679*2^1428921-1 is not prime. Res64: FA541285C2D2E08B Time : 0.0 sec. user=mdettweiler [2016-05-12 09:47:25] 735*2^1428921-1 is not prime. Res64: 049100135FB7510E Time : 0.0 sec. user=mdettweiler [2016-05-12 09:47:25] 745*2^1428921-1 is not prime. Res64: 62672285458B618A Time : 0.0 sec. user=mdettweiler [2016-05-12 09:47:26] 751*2^1428921-1 is not prime. Res64: 042AE0670F67DCB4 Time : 0.0 sec. user=mdettweiler [2016-05-12 09:47:27] 781*2^1428921-1 is not prime. Res64: 6EB0A9C4D85093A3 Time : 0.0 sec. user=mdettweiler [2016-05-12 10:05:15] 805*2^1428921-1 is not prime. Res64: DBB82A4C49F64E37 Time : 0.0 sec. user=mdettweiler [2016-05-12 10:05:16] 811*2^1428921-1 is not prime. Res64: A7C3483AFB5AC3BD Time : 0.0 sec. user=mdettweiler [2016-05-12 10:05:17] 861*2^1428921-1 is not prime. Res64: E0366A354524D4C2 Time : 0.0 sec. user=mdettweiler [2016-05-12 10:05:18] 717*2^1428922-1 is not prime. Res64: 666F5C52A1E71175 Time : 0.0 sec. user=mdettweiler [2016-05-12 10:05:19] 857*2^1428922-1 is not prime. Res64: 242AAD380DF3CCCF Time : 0.0 sec. user=mdettweiler [2016-05-12 10:22:42] 873*2^1428922-1 is not prime. Res64: F8847C29DE225C17 Time : 0.0 sec. user=mdettweiler [2016-05-12 10:22:43] 945*2^1428922-1 is not prime. Res64: 60397FC5C5BFF59A Time : 0.0 sec. user=mdettweiler [2016-05-12 10:22:43] 957*2^1428922-1 is not prime. Res64: 971906E954EFED3F Time : 0.0 sec. user=mdettweiler [2016-05-12 10:22:44] 1001*2^1428922-1 is not prime. Res64: 1BA255A244EC6CAE Time : 0.0 sec. user=mdettweiler [2016-05-12 10:22:44] 609*2^1428923-1 is not prime. Res64: 2D423D57BD53BF80 Time : 0.0 sec. user=mdettweiler [2016-05-12 10:22:57] 619*2^1428923-1 is not prime. Res64: 4FEAA9CBB3A1BACA Time : 0.0 sec. user=mdettweiler [2016-05-12 10:22:58] 643*2^1428923-1 is not prime. Res64: 563C617DD6C6DFB2 Time : 0.0 sec. user=mdettweiler [2016-05-12 10:22:58] 735*2^1428923-1 is not prime. Res64: 14953C5765C079E1 Time : 0.0 sec. user=mdettweiler [2016-05-12 10:22:59] 741*2^1428923-1 is not prime. Res64: 0786CACCC278A7B7 Time : 0.0 sec. user=mdettweiler [2016-05-12 10:22:59] 823*2^1428923-1 is not prime. Res64: 2DA1AABB770EFADF Time : 0.0 sec. user=mdettweiler [2016-05-12 10:31:23] 981*2^1428923-1 is not prime. Res64: E32372F45B26D476 Time : 0.0 sec. user=mdettweiler [2016-05-12 10:31:24] 605*2^1428924-1 is not prime. Res64: 34A6F9538FD68BAD Time : 0.0 sec. user=mdettweiler [2016-05-12 10:31:24] 609*2^1428924-1 is not prime. Res64: FF375245EB5497B6 Time : 0.0 sec. user=mdettweiler [2016-05-12 10:31:25] 773*2^1428924-1 is not prime. Res64: 5F7C7C7669B03932 Time : 0.0 sec. user=mdettweiler [2016-05-12 10:31:25] 803*2^1428924-1 is not prime. Res64: 0A9521357526B06C Time : 0.0 sec. user=mdettweiler [2016-05-12 10:49:32] 887*2^1428924-1 is not prime. Res64: 9B217FEEEC2C78E0 Time : 0.0 sec. user=mdettweiler [2016-05-12 10:49:32] 729*2^1428925-1 is not prime. Res64: 554C8C4527A42E07 Time : 0.0 sec. user=mdettweiler [2016-05-12 10:49:33] 799*2^1428925-1 is not prime. Res64: 5601C4AF8FA80FE3 Time : 0.0 sec. user=mdettweiler [2016-05-12 10:49:33] 897*2^1428925-1 is not prime. Res64: A6E577B1D1F43BCB Time : 0.0 sec. user=mdettweiler [2016-05-12 10:49:34] 915*2^1428925-1 is not prime. Res64: 344576130BB278E5 Time : 0.0 sec. user=mdettweiler [2016-05-12 11:06:57] 939*2^1428925-1 is not prime. Res64: 3AD426B20760E988 Time : 0.0 sec. user=mdettweiler [2016-05-12 11:06:58] 603*2^1428926-1 is not prime. Res64: A0FD5BC19D0888ED Time : 0.0 sec. user=mdettweiler [2016-05-12 11:06:58] 651*2^1428926-1 is not prime. Res64: B2D5DC9C1EEC6D73 Time : 0.0 sec. user=mdettweiler [2016-05-12 11:06:59] 675*2^1428926-1 is not prime. Res64: E953B3C3D7CCC41C Time : 0.0 sec. user=mdettweiler [2016-05-12 11:07:00] 693*2^1428926-1 is not prime. Res64: 178D854F7C8D65E7 Time : 0.0 sec. user=mdettweiler [2016-05-12 11:07:08] 773*2^1428926-1 is not prime. Res64: 14CB6292BB27347D Time : 0.0 sec. user=mdettweiler [2016-05-12 11:07:08] 815*2^1428926-1 is not prime. Res64: 198D795E9FF0C7F1 Time : 0.0 sec. user=mdettweiler [2016-05-12 11:07:09] 993*2^1428926-1 is not prime. Res64: 46FD608DFF50FE4A Time : 0.0 sec. user=mdettweiler [2016-05-12 11:07:10] 609*2^1428927-1 is not prime. Res64: 6334C9419A9E4ABC Time : 0.0 sec. user=mdettweiler [2016-05-12 11:07:10] 625*2^1428927-1 is not prime. Res64: 83EB9096C9010A2F Time : 0.0 sec. user=mdettweiler [2016-05-12 11:15:34] 669*2^1428927-1 is not prime. Res64: 9F0202BD5234E5EC Time : 0.0 sec. user=mdettweiler [2016-05-12 11:15:34] 739*2^1428927-1 is not prime. Res64: E8F0A97500E8563F Time : 0.0 sec. user=mdettweiler [2016-05-12 11:15:35] 831*2^1428927-1 is not prime. Res64: 0C0BBCF1993D30DE Time : 0.0 sec. user=mdettweiler [2016-05-12 11:15:35] 861*2^1428927-1 is not prime. Res64: E7411A84B16FBA83 Time : 0.0 sec. user=mdettweiler [2016-05-12 11:15:36] 955*2^1428927-1 is not prime. Res64: BFCC7414A3E6C5EA Time : 0.0 sec. user=mdettweiler [2016-05-12 11:34:01] 713*2^1428928-1 is not prime. Res64: 561DEAE4E3316D58 Time : 0.0 sec. user=mdettweiler [2016-05-12 11:34:01] 863*2^1428928-1 is not prime. Res64: F96A744BD4F55133 Time : 0.0 sec. user=mdettweiler [2016-05-12 11:34:02] 969*2^1428928-1 is not prime. Res64: 198E6B6BB3B8AF0E Time : 0.0 sec. user=mdettweiler [2016-05-12 11:34:03] 675*2^1428929-1 is not prime. Res64: CD0DC898524A80D4 Time : 0.0 sec. user=mdettweiler [2016-05-12 11:34:04] 685*2^1428929-1 is not prime. Res64: 2DFDF789EA963AF4 Time : 0.0 sec. user=mdettweiler [2016-05-12 11:51:51] 699*2^1428929-1 is not prime. Res64: CB67233AC6D25A3D Time : 0.0 sec. user=mdettweiler [2016-05-12 11:51:51] 829*2^1428929-1 is not prime. Res64: 5EA5AC63E67325BE Time : 0.0 sec. user=mdettweiler [2016-05-12 11:51:51] 945*2^1428929-1 is not prime. Res64: B22AE7173FC7009A Time : 0.0 sec. user=mdettweiler [2016-05-12 11:51:52] 611*2^1428930-1 is not prime. Res64: 0381524244C36093 Time : 0.0 sec. user=mdettweiler [2016-05-12 11:51:52] 755*2^1428930-1 is not prime. Res64: ED4B9B73B0D09C88 Time : 0.0 sec. user=mdettweiler [2016-05-12 11:52:07] 765*2^1428930-1 is not prime. Res64: D0C06569FED02DAE Time : 0.0 sec. user=mdettweiler [2016-05-12 11:52:07] 803*2^1428930-1 is not prime. Res64: 53F83F429E0903B1 Time : 0.0 sec. user=mdettweiler [2016-05-12 11:52:08] 861*2^1428930-1 is not prime. Res64: 0C4E46E317FE1B70 Time : 0.0 sec. user=mdettweiler [2016-05-12 11:52:08] 873*2^1428930-1 is not prime. Res64: 3115396AAEA1A55D Time : 0.0 sec. user=mdettweiler [2016-05-12 11:52:08] 927*2^1428930-1 is not prime. Res64: 7BF0FEBEE704B9EB Time : 0.0 sec. user=mdettweiler [2016-05-12 12:01:08] 619*2^1428931-1 is not prime. Res64: 6C1E4E4F64F256D3 Time : 0.0 sec. user=mdettweiler [2016-05-12 12:01:09] 703*2^1428931-1 is not prime. Res64: 67201C03914260D0 Time : 0.0 sec. user=mdettweiler [2016-05-12 12:01:10] 709*2^1428931-1 is not prime. Res64: 1C8E80453A429C6E Time : 0.0 sec. user=mdettweiler [2016-05-12 12:01:10] 769*2^1428931-1 is not prime. Res64: 71FF57DD6F950E67 Time : 0.0 sec. user=mdettweiler [2016-05-12 12:01:11] 873*2^1428931-1 is not prime. Res64: D9643D1E61A9BE2C Time : 0.0 sec. user=mdettweiler [2016-05-12 12:19:26] 925*2^1428931-1 is not prime. Res64: AF8A0A5C7EE2CC4B Time : 0.0 sec. user=mdettweiler [2016-05-12 12:19:26] 969*2^1428931-1 is not prime. Res64: B22F61CC5B96840C Time : 0.0 sec. user=mdettweiler [2016-05-12 12:19:26] 633*2^1428932-1 is not prime. Res64: 24A7F699C17A3322 Time : 0.0 sec. user=mdettweiler [2016-05-12 12:19:27] 959*2^1428932-1 is not prime. Res64: A26201DFAA3A9B54 Time : 0.0 sec. user=mdettweiler [2016-05-12 12:19:27] 625*2^1428933-1 is not prime. Res64: 3C725DE22478D785 Time : 0.0 sec. user=mdettweiler [2016-05-12 12:36:47] 735*2^1428933-1 is not prime. Res64: 947EE7D85FEE159B Time : 0.0 sec. user=mdettweiler [2016-05-12 12:36:48] 745*2^1428933-1 is not prime. Res64: 633A0F6D26377D94 Time : 0.0 sec. user=mdettweiler [2016-05-12 12:36:48] 795*2^1428933-1 is not prime. Res64: 89772C9C8E997224 Time : 0.0 sec. user=mdettweiler [2016-05-12 12:36:48] 861*2^1428933-1 is not prime. Res64: 78B1B4E82DAEDDFE Time : 0.0 sec. user=mdettweiler [2016-05-12 12:36:49] 927*2^1428933-1 is not prime. Res64: 2CEBA0AF85871F65 Time : 0.0 sec. user=mdettweiler [2016-05-12 12:36:54] 949*2^1428933-1 is not prime. Res64: B6A64EF98CE763CC Time : 0.0 sec. user=mdettweiler [2016-05-12 12:36:54] 961*2^1428933-1 is not prime. Res64: 379A8A1EB9428A39 Time : 0.0 sec. user=mdettweiler [2016-05-12 12:36:55] 617*2^1428934-1 is not prime. Res64: 55F56F63E74FF11E Time : 0.0 sec. user=mdettweiler [2016-05-12 12:36:55] 645*2^1428934-1 is not prime. Res64: C93703DE6FED19FD Time : 0.0 sec. user=mdettweiler [2016-05-12 12:36:55] 717*2^1428934-1 is not prime. Res64: 150C77AB94CC6F8C Time : 0.0 sec. user=mdettweiler [2016-05-12 12:45:56] 945*2^1428934-1 is not prime. Res64: E86F94A983169EED Time : 0.0 sec. user=mdettweiler [2016-05-12 12:45:56] 951*2^1428934-1 is not prime. Res64: E35EE96EE85B44A5 Time : 0.0 sec. user=mdettweiler [2016-05-12 12:45:56] 987*2^1428934-1 is not prime. Res64: 91692EB56AE2C3BA Time : 0.0 sec. user=mdettweiler [2016-05-12 12:45:57] 645*2^1428935-1 is not prime. Res64: 063BF9ACC65CFEDA Time : 0.0 sec. user=mdettweiler [2016-05-12 12:45:57] 655*2^1428935-1 is not prime. Res64: EB2216617F4D751C Time : 0.0 sec. user=mdettweiler [2016-05-12 13:04:13] 705*2^1428935-1 is not prime. Res64: 6D1A6C922B262BD5 Time : 0.0 sec. user=mdettweiler [2016-05-12 13:04:14] 721*2^1428935-1 is not prime. Res64: 884488F04E98106D Time : 0.0 sec. user=mdettweiler [2016-05-12 13:04:15] 741*2^1428935-1 is not prime. Res64: 131BB774C1CB6302 Time : 0.0 sec. user=mdettweiler [2016-05-12 13:04:16] 843*2^1428935-1 is not prime. Res64: CAD89D689E1009EB Time : 0.0 sec. user=mdettweiler [2016-05-12 13:04:17] 633*2^1428936-1 is not prime. Res64: 2FAF6E49D090DFBA Time : 0.0 sec. user=mdettweiler [2016-05-12 13:21:31] 689*2^1428936-1 is not prime. Res64: 1C41CC69F693EB55 Time : 0.0 sec. user=mdettweiler [2016-05-12 13:21:31] 699*2^1428936-1 is not prime. Res64: E138E2AB9D273F36 Time : 0.0 sec. user=mdettweiler [2016-05-12 13:21:32] 777*2^1428936-1 is not prime. Res64: 0CFE02546C7836C6 Time : 0.0 sec. user=mdettweiler [2016-05-12 13:21:32] 825*2^1428936-1 is not prime. Res64: D1FB8AAF97A4892E Time : 0.0 sec. user=mdettweiler [2016-05-12 13:21:33] 609*2^1428937-1 is not prime. Res64: AE66F51E5D8A636F Time : 0.0 sec. user=mdettweiler [2016-05-12 13:21:36] 619*2^1428937-1 is not prime. Res64: CBEC7D26F667368E Time : 0.0 sec. user=mdettweiler [2016-05-12 13:21:36] 759*2^1428937-1 is not prime. Res64: 4C78D0F49528E125 Time : 0.0 sec. user=mdettweiler [2016-05-12 13:21:37] 861*2^1428937-1 is not prime. Res64: B7E5672EEDBFAFA2 Time : 0.0 sec. user=mdettweiler [2016-05-12 13:21:37] 671*2^1428938-1 is not prime. Res64: 40BA4DADAFDDCB52 Time : 0.0 sec. user=mdettweiler [2016-05-12 13:21:38] 797*2^1428938-1 is not prime. Res64: 2BB722E46AA9C13E Time : 0.0 sec. user=mdettweiler [2016-05-12 13:30:50] 825*2^1428938-1 is not prime. Res64: 77941DFC5AD6A44C Time : 0.0 sec. user=mdettweiler [2016-05-12 13:30:50] 867*2^1428938-1 is not prime. Res64: F8519F9460983CC2 Time : 0.0 sec. user=mdettweiler [2016-05-12 13:30:50] 971*2^1428938-1 is not prime. Res64: DFA5007EDD878E38 Time : 0.0 sec. user=mdettweiler [2016-05-12 13:30:51] 977*2^1428938-1 is not prime. Res64: 096F08A5655F471A Time : 0.0 sec. user=mdettweiler [2016-05-12 13:30:51] 633*2^1428939-1 is not prime. Res64: 39432F14B4C08A70 Time : 0.0 sec. user=mdettweiler [2016-05-12 13:48:57] 649*2^1428939-1 is not prime. Res64: 48971ADD2B2208B5 Time : 0.0 sec. user=mdettweiler [2016-05-12 13:48:58] 663*2^1428939-1 is not prime. Res64: CC3B308ABF72A47A Time : 0.0 sec. user=mdettweiler [2016-05-12 13:48:58] 685*2^1428939-1 is not prime. Res64: A2C2510A38BF4489 Time : 0.0 sec. user=mdettweiler [2016-05-12 13:48:58] 769*2^1428939-1 is not prime. Res64: 8950CED5C1B99D2A Time : 0.0 sec. user=mdettweiler [2016-05-12 13:48:59] 943*2^1428939-1 is not prime. Res64: 1F77647A24E5DB04 Time : 0.0 sec. user=mdettweiler [2016-05-12 14:06:24] 827*2^1428940-1 is not prime. Res64: 16F1AEBB7D9DB25B Time : 0.0 sec. user=mdettweiler [2016-05-12 14:06:27] 875*2^1428940-1 is not prime. Res64: D33740BD340FC638 Time : 0.0 sec. user=mdettweiler [2016-05-12 14:06:28] 923*2^1428940-1 is not prime. Res64: 17D928848E8E7EFF Time : 0.0 sec. user=mdettweiler [2016-05-12 14:06:29] 933*2^1428940-1 is not prime. Res64: 1DA52205B8F8FE1E Time : 0.0 sec. user=mdettweiler [2016-05-12 14:06:30] 975*2^1428940-1 is not prime. Res64: 789519AF71BBFCE4 Time : 0.0 sec. user=mdettweiler [2016-05-12 14:06:34] 653*2^1428940-1 is not prime. Res64: 8ECEEFA5FA45477C Time : 0.0 sec. user=mdettweiler [2016-05-12 14:06:36] 719*2^1428940-1 is not prime. Res64: EB59C2CA06D783D3 Time : 0.0 sec. user=mdettweiler [2016-05-12 14:06:38] 743*2^1428940-1 is not prime. Res64: 0B0789C415D6C238 Time : 0.0 sec. user=mdettweiler [2016-05-12 14:06:40] 765*2^1428940-1 is not prime. Res64: 49AB780368A62DB5 Time : 0.0 sec. user=mdettweiler [2016-05-12 14:06:43] 777*2^1428940-1 is not prime. Res64: 5050286DB6572741 Time : 0.0 sec. user=mdettweiler [2016-05-12 14:15:29] 983*2^1428940-1 is not prime. Res64: 88DD988229B96981 Time : 0.0 sec. user=mdettweiler [2016-05-12 14:15:30] 607*2^1428941-1 is not prime. Res64: A2FE5BE451B0E2F5 Time : 0.0 sec. user=mdettweiler [2016-05-12 14:15:30] 711*2^1428941-1 is not prime. Res64: A4FDE297D6244CEA Time : 0.0 sec. user=mdettweiler [2016-05-12 14:15:30] 819*2^1428941-1 is not prime. Res64: 43F226D5AFBAA6E2 Time : 0.0 sec. user=mdettweiler [2016-05-12 14:15:31] 871*2^1428941-1 is not prime. Res64: FCED81CEC00B53A4 Time : 0.0 sec. user=mdettweiler [2016-05-12 14:33:34] 955*2^1428941-1 is not prime. Res64: 7BD0CF8C20EFE49A Time : 0.0 sec. user=mdettweiler [2016-05-12 14:33:34] 677*2^1428942-1 is not prime. Res64: 7FE9BD04C78457CA Time : 0.0 sec. user=mdettweiler [2016-05-12 14:33:35] 683*2^1428942-1 is not prime. Res64: 007665FEBFAAC85D Time : 0.0 sec. user=mdettweiler [2016-05-12 14:33:35] 741*2^1428942-1 is not prime. Res64: B68DC5C22E78CA63 Time : 0.0 sec. user=mdettweiler [2016-05-12 14:33:35] 747*2^1428942-1 is not prime. Res64: D2A15E05BD30B7E6 Time : 0.0 sec. user=mdettweiler [2016-05-12 14:51:25] 807*2^1428942-1 is not prime. Res64: 6141207ABEECEF79 Time : 0.0 sec. user=mdettweiler [2016-05-12 14:51:26] 615*2^1428943-1 is not prime. Res64: 7A4773BDFF603371 Time : 0.0 sec. user=mdettweiler [2016-05-12 14:51:26] 663*2^1428943-1 is not prime. Res64: 6D5E6B08CD24F958 Time : 0.0 sec. user=mdettweiler [2016-05-12 14:51:27] 673*2^1428943-1 is not prime. Res64: EBE86FA42B01F92B Time : 0.0 sec. user=mdettweiler [2016-05-12 14:51:27] 763*2^1428943-1 is not prime. Res64: 9E20AA481FDB5E5E Time : 0.0 sec. user=mdettweiler [2016-05-12 14:51:36] 617*2^1428944-1 is not prime. Res64: F20443AA5399EAD6 Time : 0.0 sec. user=mdettweiler [2016-05-12 14:51:36] 629*2^1428944-1 is not prime. Res64: 958100A09EB8CBCB Time : 0.0 sec. user=mdettweiler [2016-05-12 14:51:36] 915*2^1428944-1 is not prime. Res64: 159F766B78A7FD89 Time : 0.0 sec. user=mdettweiler [2016-05-12 14:51:37] 607*2^1428945-1 is not prime. Res64: 69DE3391749AC8CF Time : 0.0 sec. user=mdettweiler [2016-05-12 14:51:37] 639*2^1428945-1 is not prime. Res64: 3D87B52B71A71197 Time : 0.0 sec. user=mdettweiler [2016-05-12 15:00:10] 685*2^1428945-1 is not prime. Res64: 7689B275340F7926 Time : 0.0 sec. user=mdettweiler [2016-05-12 15:00:11] 765*2^1428945-1 is not prime. Res64: 195C02EADE430021 Time : 0.0 sec. user=mdettweiler [2016-05-12 15:00:11] 891*2^1428945-1 is not prime. Res64: 80D61A89A0AEEFEE Time : 0.0 sec. user=mdettweiler [2016-05-12 15:00:12] 895*2^1428945-1 is not prime. Res64: 2478E90F73671C68 Time : 0.0 sec. user=mdettweiler [2016-05-12 15:00:13] 647*2^1428946-1 is not prime. Res64: 6AAC5A2CA24F26A6 Time : 0.0 sec. user=mdettweiler [2016-05-12 15:18:11] 867*2^1428946-1 is not prime. Res64: 24DAEF6C683C8548 Time : 0.0 sec. user=mdettweiler [2016-05-12 15:18:11] 941*2^1428946-1 is not prime. Res64: 38A3F1EC7DBC7E9A Time : 0.0 sec. user=mdettweiler [2016-05-12 15:18:12] 1001*2^1428946-1 is not prime. Res64: E1E4A464C938C4AF Time : 0.0 sec. user=mdettweiler [2016-05-12 15:18:12] 643*2^1428947-1 is not prime. Res64: 4E3C8C0BDD1AE187 Time : 0.0 sec. user=mdettweiler [2016-05-12 15:18:12] 645*2^1428947-1 is not prime. Res64: 8F1FE301D496F19C Time : 0.0 sec. user=mdettweiler [2016-05-12 15:35:55] 675*2^1428947-1 is not prime. Res64: B797E7C64365B194 Time : 0.0 sec. user=mdettweiler [2016-05-12 15:35:55] 741*2^1428947-1 is not prime. Res64: 939212E682AA82D5 Time : 0.0 sec. user=mdettweiler [2016-05-12 15:35:56] 759*2^1428947-1 is not prime. Res64: 3FE62FBAA6FD44AF Time : 0.0 sec. user=mdettweiler [2016-05-12 15:35:56] 801*2^1428947-1 is not prime. Res64: 067F34458CFE1604 Time : 0.0 sec. user=mdettweiler [2016-05-12 15:35:57] 859*2^1428947-1 is not prime. Res64: 9F1108343CF84194 Time : 0.0 sec. user=mdettweiler [2016-05-12 15:36:18] 979*2^1428947-1 is not prime. Res64: 339FB8D2BE74F82A Time : 0.0 sec. user=mdettweiler [2016-05-12 15:36:18] 789*2^1428948-1 is not prime. Res64: 9F643171554A710A Time : 0.0 sec. user=mdettweiler [2016-05-12 15:36:18] 977*2^1428948-1 is not prime. Res64: D1F96F56F69E42CF Time : 0.0 sec. user=mdettweiler [2016-05-12 15:36:18] 601*2^1428949-1 is not prime. Res64: 0244069FC533E325 Time : 0.0 sec. user=mdettweiler [2016-05-12 15:36:19] 609*2^1428949-1 is not prime. Res64: 9E90B7B33704A9C6 Time : 0.0 sec. user=mdettweiler [2016-05-12 15:44:53] 661*2^1428949-1 is not prime. Res64: 1B3F4A844B0B0786 Time : 0.0 sec. user=mdettweiler [2016-05-12 15:44:54] 747*2^1428949-1 is not prime. Res64: 92CFCC3A1505383F Time : 0.0 sec. user=mdettweiler [2016-05-12 15:44:54] 773*2^1428950-1 is not prime. Res64: D270B533EC9B4A42 Time : 0.0 sec. user=mdettweiler [2016-05-12 15:44:54] 813*2^1428950-1 is not prime. Res64: 434BEB1BFBDA3F64 Time : 0.0 sec. user=mdettweiler [2016-05-12 15:44:55] 851*2^1428950-1 is not prime. Res64: D789A44928EC1B59 Time : 0.0 sec. user=mdettweiler [2016-05-12 16:02:54] 897*2^1428950-1 is not prime. Res64: 41D4A89C0F966D1A Time : 0.0 sec. user=mdettweiler [2016-05-12 16:02:55] 935*2^1428950-1 is not prime. Res64: C33411DDAA8F823B Time : 0.0 sec. user=mdettweiler [2016-05-12 16:02:56] 613*2^1428951-1 is not prime. Res64: CF131AC1CEA3BE56 Time : 0.0 sec. user=mdettweiler [2016-05-12 16:02:56] 625*2^1428951-1 is not prime. Res64: 892FCA92B7D2892C Time : 0.0 sec. user=mdettweiler [2016-05-12 16:02:57] 739*2^1428951-1 is not prime. Res64: 7B26753CE2B2A2D1 Time : 0.0 sec. user=mdettweiler [2016-05-12 16:20:43] 751*2^1428951-1 is not prime. Res64: 5A625EE7CB57B715 Time : 0.0 sec. user=mdettweiler [2016-05-12 16:20:43] 975*2^1428951-1 is not prime. Res64: 4EEC350D2963238A Time : 0.0 sec. user=mdettweiler [2016-05-12 16:20:44] 979*2^1428951-1 is not prime. Res64: 888620060AD0B592 Time : 0.0 sec. user=mdettweiler [2016-05-12 16:20:44] 623*2^1428952-1 is not prime. Res64: 0EA2475589CA8F4B Time : 0.0 sec. user=mdettweiler [2016-05-12 16:20:45] 653*2^1428952-1 is not prime. Res64: 7F8193461EE3FC16 Time : 0.0 sec. user=mdettweiler [2016-05-12 16:21:12] 719*2^1428952-1 is not prime. Res64: F2CD7635D761F1F8 Time : 0.0 sec. user=mdettweiler [2016-05-12 16:21:13] 843*2^1428952-1 is not prime. Res64: 9E0C57AA3C3DB9FA Time : 0.0 sec. user=mdettweiler [2016-05-12 16:21:13] 923*2^1428952-1 is not prime. Res64: F9E46AD86746B6F7 Time : 0.0 sec. user=mdettweiler [2016-05-12 16:21:14] 989*2^1428952-1 is not prime. Res64: D4EA857D2A8426B0 Time : 0.0 sec. user=mdettweiler [2016-05-12 16:21:14] 995*2^1428952-1 is not prime. Res64: 362BB3034D625802 Time : 0.0 sec. user=mdettweiler [2016-05-12 16:29:41] 619*2^1428953-1 is not prime. Res64: 1793CA1C90BDD068 Time : 0.0 sec. user=mdettweiler [2016-05-12 16:29:41] 631*2^1428953-1 is not prime. Res64: 221989768290E285 Time : 0.0 sec. user=mdettweiler [2016-05-12 16:29:42] 691*2^1428953-1 is not prime. Res64: 2C6A7AFDDFBAB086 Time : 0.0 sec. user=mdettweiler [2016-05-12 16:29:42] 861*2^1428953-1 is not prime. Res64: C7BB5043D7714BCA Time : 0.0 sec. user=mdettweiler [2016-05-12 16:29:43] 969*2^1428953-1 is not prime. Res64: BC623EEDEC78F3C3 Time : 0.0 sec. user=mdettweiler [2016-05-12 16:48:02] 605*2^1428954-1 is not prime. Res64: A8A8B71864719D8A Time : 0.0 sec. user=mdettweiler [2016-05-12 16:48:02] 773*2^1428954-1 is not prime. Res64: 7A221F94686496CB Time : 0.0 sec. user=mdettweiler [2016-05-12 16:48:03] 797*2^1428954-1 is not prime. Res64: CE8A1C7D29DFE561 Time : 0.0 sec. user=mdettweiler [2016-05-12 16:48:03] 861*2^1428954-1 is not prime. Res64: C32DAD52A1B47CD4 Time : 0.0 sec. user=mdettweiler [2016-05-12 16:48:03] 875*2^1428954-1 is not prime. Res64: AD0C2D128064B174 Time : 0.0 sec. user=mdettweiler [2016-05-12 17:05:36] 893*2^1428954-1 is not prime. Res64: 1EBD0808D18B5475 Time : 0.0 sec. user=mdettweiler [2016-05-12 17:05:37] 903*2^1428954-1 is not prime. Res64: E5E6BA1BA25267AD Time : 0.0 sec. user=mdettweiler [2016-05-12 17:05:38] 917*2^1428954-1 is not prime. Res64: 05DAB7FD96D950B1 Time : 0.0 sec. user=mdettweiler [2016-05-12 17:05:39] 975*2^1428954-1 is not prime. Res64: 54F90732D7247F71 Time : 0.0 sec. user=mdettweiler [2016-05-12 17:05:40] 679*2^1428955-1 is not prime. Res64: 4CADF08683893C70 Time : 0.0 sec. user=mdettweiler [2016-05-12 17:06:07] 951*2^1428955-1 is not prime. Res64: 1BC38B0D4A00272D Time : 0.0 sec. user=mdettweiler [2016-05-12 17:06:07] 999*2^1428955-1 is not prime. Res64: F023B572B68D8BE0 Time : 0.0 sec. user=mdettweiler [2016-05-12 17:06:08] 623*2^1428956-1 is not prime. Res64: F2011D872B008A39 Time : 0.0 sec. user=mdettweiler [2016-05-12 17:06:09] 683*2^1428956-1 is not prime. Res64: 76DB7C8E3528B410 Time : 0.0 sec. user=mdettweiler [2016-05-12 17:06:10] 717*2^1428956-1 is not prime. Res64: 0276EC626B562131 Time : 0.0 sec. user=mdettweiler [2016-05-12 17:14:41] 813*2^1428956-1 is not prime. Res64: 9BA00C5DB10EE626 Time : 0.0 sec. user=mdettweiler [2016-05-12 17:14:41] 903*2^1428956-1 is not prime. Res64: A43F40B23D417639 Time : 0.0 sec. user=mdettweiler [2016-05-12 17:14:41] 945*2^1428956-1 is not prime. Res64: 40FFDF67AE4A687B Time : 0.0 sec. user=mdettweiler [2016-05-12 17:14:42] 969*2^1428956-1 is not prime. Res64: 194F62C2F83603F3 Time : 0.0 sec. user=mdettweiler [2016-05-12 17:14:42] 621*2^1428957-1 is not prime. Res64: 266E87DE1BF10125 Time : 0.0 sec. user=mdettweiler [2016-05-12 17:33:15] 805*2^1428957-1 is not prime. Res64: 5587554DEF4EE5C7 Time : 0.0 sec. user=mdettweiler [2016-05-12 17:33:15] 837*2^1428957-1 is not prime. Res64: 4FB791555AD95372 Time : 0.0 sec. user=mdettweiler [2016-05-12 17:33:16] 919*2^1428957-1 is not prime. Res64: 0CFC6D84B1D1FFB6 Time : 0.0 sec. user=mdettweiler [2016-05-12 17:33:16] 955*2^1428957-1 is not prime. Res64: BA28B0CA88152694 Time : 0.0 sec. user=mdettweiler [2016-05-12 17:33:16] 605*2^1428958-1 is not prime. Res64: ADC71617B8A8876C Time : 0.0 sec. user=mdettweiler [2016-05-12 17:50:50] 665*2^1428958-1 is not prime. Res64: F0E0676581069BAD Time : 0.0 sec. user=mdettweiler [2016-05-12 17:50:51] 705*2^1428958-1 is not prime. Res64: 94E0D74E3116BDE2 Time : 0.0 sec. user=mdettweiler [2016-05-12 17:50:51] 765*2^1428958-1 is not prime. Res64: 2716091121A3DC1D Time : 0.0 sec. user=mdettweiler [2016-05-12 17:50:52] 801*2^1428958-1 is not prime. Res64: A3CEED7AEBD1035F Time : 0.0 sec. user=mdettweiler [2016-05-12 17:50:52] 833*2^1428958-1 is not prime. Res64: E8703EE74D65AFB3 Time : 0.0 sec. user=mdettweiler [2016-05-12 17:51:05] 861*2^1428958-1 is not prime. Res64: 2807F2BB5A663FA0 Time : 0.0 sec. user=mdettweiler [2016-05-12 17:51:05] 885*2^1428958-1 is not prime. Res64: A48B4E158D59B32A Time : 0.0 sec. user=mdettweiler [2016-05-12 17:51:06] 1001*2^1428958-1 is not prime. Res64: 825135F6EF973C4D Time : 0.0 sec. user=mdettweiler [2016-05-12 17:51:06] 705*2^1428959-1 is not prime. Res64: F591A28B2F55758F Time : 0.0 sec. user=mdettweiler [2016-05-12 17:51:06] 717*2^1428960-1 is not prime. Res64: 4314DBD3C2D48B7F Time : 0.0 sec. user=mdettweiler [2016-05-12 17:59:43] 809*2^1428960-1 is not prime. Res64: EB2D7F56AE0D215F Time : 0.0 sec. user=mdettweiler [2016-05-12 17:59:43] 857*2^1428960-1 is not prime. Res64: 71CD412C91A6F706 Time : 0.0 sec. user=mdettweiler [2016-05-12 17:59:44] 905*2^1428960-1 is not prime. Res64: BD02AB6E9B98939E Time : 0.0 sec. user=mdettweiler [2016-05-12 17:59:44] 619*2^1428961-1 is not prime. Res64: 7161D2E98ECA337C Time : 0.0 sec. user=mdettweiler [2016-05-12 17:59:44] 681*2^1428961-1 is not prime. Res64: F80AA6F31BEBA0F6 Time : 0.0 sec. user=mdettweiler [2016-05-12 18:18:03] 685*2^1428961-1 is not prime. Res64: E1C1904FD4396990 Time : 0.0 sec. user=mdettweiler [2016-05-12 18:18:03] 777*2^1428961-1 is not prime. Res64: 7EE92CB8E4C05D67 Time : 0.0 sec. user=mdettweiler [2016-05-12 18:18:04] 817*2^1428961-1 is not prime. Res64: 000B652DC92B3FC1 Time : 0.0 sec. user=mdettweiler [2016-05-12 18:18:04] 861*2^1428961-1 is not prime. Res64: B2F86C35025CD6BC Time : 0.0 sec. user=mdettweiler [2016-05-12 18:18:05] 871*2^1428961-1 is not prime. Res64: 8DD281498C313867 Time : 0.0 sec. user=mdettweiler [2016-05-12 18:37:00] 837*2^1428962-1 is not prime. Res64: 26424330DF22E947 Time : 0.0 sec. user=mdettweiler [2016-05-12 18:37:00] 911*2^1428962-1 is not prime. Res64: BB732FB05458311B Time : 0.0 sec. user=mdettweiler [2016-05-12 18:37:01] 963*2^1428962-1 is not prime. Res64: 782B6373FD9F6649 Time : 0.0 sec. user=mdettweiler [2016-05-12 18:37:01] 977*2^1428962-1 is not prime. Res64: E18941FE99E694BF Time : 0.0 sec. user=mdettweiler [2016-05-12 18:37:01] 945*2^1428961-1 is not prime. Res64: 08021CB6612B3889 Time : 0.0 sec. user=mdettweiler [2016-05-12 18:37:01] 609*2^1428963-1 is not prime. Res64: 64C3A8C9363B2C21 Time : 0.0 sec. user=mdettweiler [2016-05-12 18:37:01] 955*2^1428961-1 is not prime. Res64: 596773A926E8B4E7 Time : 0.0 sec. user=mdettweiler [2016-05-12 18:37:02] 657*2^1428962-1 is not prime. Res64: B502A2E515069534 Time : 0.0 sec. user=mdettweiler [2016-05-12 18:37:02] 705*2^1428962-1 is not prime. Res64: 3393BC8B0FA52535 Time : 0.0 sec. user=mdettweiler [2016-05-12 18:37:03] 711*2^1428962-1 is not prime. Res64: 2D98647BF27F5B46 Time : 0.0 sec. user=mdettweiler [2016-05-12 18:45:53] 639*2^1428963-1 is not prime. Res64: A2F1A62F846CE9DC Time : 0.0 sec. user=mdettweiler [2016-05-12 18:45:53] 663*2^1428963-1 is not prime. Res64: B16C60E80F848B00 Time : 0.0 sec. user=mdettweiler [2016-05-12 18:45:53] 723*2^1428963-1 is not prime. Res64: 5A43E0B1BD0382B0 Time : 0.0 sec. user=mdettweiler [2016-05-12 18:45:54] 751*2^1428963-1 is not prime. Res64: 534BB45F8A17083D Time : 0.0 sec. user=mdettweiler [2016-05-12 18:45:54] 765*2^1428963-1 is not prime. Res64: C57E7C48E3761255 Time : 0.0 sec. user=mdettweiler [2016-05-12 19:04:01] 945*2^1428963-1 is not prime. Res64: 0BF8C54A03A8B5AE Time : 0.0 sec. user=mdettweiler [2016-05-12 19:04:03] 961*2^1428963-1 is not prime. Res64: 30B0B5C6CBA760DF Time : 0.0 sec. user=mdettweiler [2016-05-12 19:04:04] 629*2^1428964-1 is not prime. Res64: 7AFB3234C6A24458 Time : 0.0 sec. user=mdettweiler [2016-05-12 19:04:06] 657*2^1428964-1 is not prime. Res64: 2A4D1229F1CF812D Time : 0.0 sec. user=mdettweiler [2016-05-12 19:04:08] 675*2^1428964-1 is not prime. Res64: 5FDFCA86F0BE0128 Time : 0.0 sec. user=mdettweiler [2016-05-12 19:21:52] 825*2^1428964-1 is not prime. Res64: 1F69AA5D14A731FF Time : 0.0 sec. user=mdettweiler [2016-05-12 19:21:52] 923*2^1428964-1 is not prime. Res64: 9702DCB73F22027E Time : 0.0 sec. user=mdettweiler [2016-05-12 19:21:53] 885*2^1428965-1 is not prime. Res64: E310D24C129F7A4E Time : 0.0 sec. user=mdettweiler [2016-05-12 19:21:53] 677*2^1428964-1 is not prime. Res64: 4FB5368CD9447766 Time : 0.0 sec. user=mdettweiler [2016-05-12 19:21:53] 937*2^1428965-1 is not prime. Res64: 770C873AC6A31516 Time : 0.0 sec. user=mdettweiler [2016-05-12 19:21:54] 719*2^1428964-1 is not prime. Res64: 2F5C361EB45127B6 Time : 0.0 sec. user=mdettweiler [2016-05-12 19:21:54] 987*2^1428965-1 is not prime. Res64: 1FBDEB4D8B34E566 Time : 0.0 sec. user=mdettweiler [2016-05-12 19:21:54] 743*2^1428964-1 is not prime. Res64: 09F3BD2FE588BE11 Time : 0.0 sec. user=mdettweiler [2016-05-12 19:21:54] 765*2^1428964-1 is not prime. Res64: 1989FF71A541974D Time : 0.0 sec. user=mdettweiler [2016-05-12 19:21:55] 819*2^1428964-1 is not prime. Res64: E662B81B3B2702DB Time : 0.0 sec. user=mdettweiler [2016-05-12 19:30:42] 627*2^1428966-1 is not prime. Res64: 8181A680738749DF Time : 0.0 sec. user=mdettweiler [2016-05-12 19:30:43] 635*2^1428966-1 is not prime. Res64: CA2D45583C84A115 Time : 0.0 sec. user=mdettweiler [2016-05-12 19:30:43] 717*2^1428966-1 is not prime. Res64: 295056020792A594 Time : 0.0 sec. user=mdettweiler [2016-05-12 19:30:43] 945*2^1428966-1 is not prime. Res64: 0DAB0CD62CFDBCEF Time : 0.0 sec. user=mdettweiler [2016-05-12 19:30:44] 993*2^1428966-1 is not prime. Res64: 32DEA23078DC444F Time : 0.0 sec. user=mdettweiler [2016-05-12 19:49:16] 619*2^1428967-1 is not prime. Res64: 6364313C3FB81355 Time : 0.0 sec. user=mdettweiler [2016-05-12 19:49:16] 693*2^1428967-1 is not prime. Res64: 6217A35AFD484446 Time : 0.0 sec. user=mdettweiler [2016-05-12 19:49:17] 703*2^1428967-1 is not prime. Res64: 892E042DE5E1996F Time : 0.0 sec. user=mdettweiler [2016-05-12 19:49:17] 735*2^1428967-1 is not prime. Res64: BE18A62C79D0364D Time : 0.0 sec. user=mdettweiler [2016-05-12 19:49:18] 831*2^1428967-1 is not prime. Res64: 2DE2CB81E30FECE8 Time : 0.0 sec. user=mdettweiler [2016-05-12 20:07:09] 959*2^1428968-1 is not prime. Res64: BA027D5A4E15EDC2 Time : 0.0 sec. user=mdettweiler [2016-05-12 20:07:10] 969*2^1428968-1 is not prime. Res64: 6D0707D325C4E498 Time : 0.0 sec. user=mdettweiler [2016-05-12 20:07:10] 667*2^1428969-1 is not prime. Res64: BB88E7EFEC658D66 Time : 0.0 sec. user=mdettweiler [2016-05-12 20:07:11] 711*2^1428969-1 is not prime. Res64: 3DE4F788992397DC Time : 0.0 sec. user=mdettweiler [2016-05-12 20:07:11] 817*2^1428969-1 is not prime. Res64: EB31174B3A96A8B5 Time : 0.0 sec. user=mdettweiler [2016-05-12 20:07:20] 623*2^1428968-1 is not prime. Res64: 4B82E21E786039D5 Time : 0.0 sec. user=mdettweiler [2016-05-12 20:07:21] 669*2^1428968-1 is not prime. Res64: B9A8C96590EC088B Time : 0.0 sec. user=mdettweiler [2016-05-12 20:07:21] 767*2^1428968-1 is not prime. Res64: 4C2AC51B36DABEA5 Time : 0.0 sec. user=mdettweiler [2016-05-12 20:07:22] 869*2^1428968-1 is not prime. Res64: 876FB85E5FB95687 Time : 0.0 sec. user=mdettweiler [2016-05-12 20:07:22] 945*2^1428968-1 is not prime. Res64: 614FEACD44800324 Time : 0.0 sec. user=mdettweiler [2016-05-12 20:16:26] 885*2^1428969-1 is not prime. Res64: 69A7F3AA792FE632 Time : 0.0 sec. user=mdettweiler [2016-05-12 20:16:26] 907*2^1428969-1 is not prime. Res64: 5227FD4EF3F74260 Time : 0.0 sec. user=mdettweiler [2016-05-12 20:16:27] 645*2^1428970-1 is not prime. Res64: 97CF43A0A4837EAF Time : 0.0 sec. user=mdettweiler [2016-05-12 20:16:27] 651*2^1428970-1 is not prime. Res64: D2FD098193EF3B91 Time : 0.0 sec. user=mdettweiler [2016-05-12 20:16:27] 665*2^1428970-1 is not prime. Res64: 710B6FE8E2BC107C Time : 0.0 sec. user=mdettweiler [2016-05-12 20:36:04] 741*2^1428970-1 is not prime. Res64: A710A00182EA718E Time : 0.0 sec. user=mdettweiler [2016-05-12 20:36:05] 857*2^1428970-1 is not prime. Res64: 38DAFA70EBE488D8 Time : 0.0 sec. user=mdettweiler [2016-05-12 20:36:05] 917*2^1428970-1 is not prime. Res64: 8D0BFD7DA927B995 Time : 0.0 sec. user=mdettweiler [2016-05-12 20:36:05] 951*2^1428970-1 is not prime. Res64: A32B9FAA89F21BBE Time : 0.0 sec. user=mdettweiler [2016-05-12 20:36:06] 663*2^1428971-1 is not prime. Res64: BBB947FF1304FFE4 Time : 0.0 sec. user=mdettweiler [2016-05-12 20:52:53] 843*2^1428971-1 is not prime. Res64: F18464BA3651A6CB Time : 0.0 sec. user=mdettweiler [2016-05-12 20:52:54] 855*2^1428971-1 is not prime. Res64: 109DFFB44D0C9036 Time : 0.0 sec. user=mdettweiler [2016-05-12 20:52:54] 871*2^1428971-1 is not prime. Res64: 3CE13C3F33041925 Time : 0.0 sec. user=mdettweiler [2016-05-12 20:52:55] 885*2^1428971-1 is not prime. Res64: 2DB6C78C23D42BE8 Time : 0.0 sec. user=mdettweiler [2016-05-12 20:52:55] 931*2^1428971-1 is not prime. Res64: A17CFE2CA9718717 Time : 0.0 sec. user=mdettweiler [2016-05-12 20:53:13] 945*2^1428971-1 is not prime. Res64: 02CC4A42EFAB7383 Time : 0.0 sec. user=mdettweiler [2016-05-12 20:53:13] 675*2^1428972-1 is not prime. Res64: 207F983BA3AB3F44 Time : 0.0 sec. user=mdettweiler [2016-05-12 20:53:14] 873*2^1428972-1 is not prime. Res64: D307CEF33CFAD6C8 Time : 0.0 sec. user=mdettweiler [2016-05-12 20:53:14] 945*2^1428972-1 is not prime. Res64: E54C52AE9B4511F1 Time : 0.0 sec. user=mdettweiler [2016-05-12 20:53:15] 847*2^1428973-1 is not prime. Res64: 26E49B92C363F3A1 Time : 0.0 sec. user=mdettweiler [2016-05-12 21:01:40] 957*2^1428973-1 is not prime. Res64: 8034495F1BE15812 Time : 0.0 sec. user=mdettweiler [2016-05-12 21:01:41] 961*2^1428973-1 is not prime. Res64: BCFB0BD1F5FF9DDF Time : 0.0 sec. user=mdettweiler [2016-05-12 21:01:41] 967*2^1428973-1 is not prime. Res64: BAB195722422EF5C Time : 0.0 sec. user=mdettweiler [2016-05-12 21:01:43] 651*2^1428974-1 is not prime. Res64: 9901A11E1ABEF26B Time : 0.0 sec. user=mdettweiler [2016-05-12 21:01:43] 687*2^1428974-1 is not prime. Res64: 9C4056A8C18C37D0 Time : 0.0 sec. user=mdettweiler [2016-05-12 21:21:08] 693*2^1428974-1 is not prime. Res64: 7424CA26C9434D78 Time : 0.0 sec. user=mdettweiler [2016-05-12 21:21:09] 747*2^1428974-1 is not prime. Res64: 1DEE2A5835CFCB8B Time : 0.0 sec. user=mdettweiler [2016-05-12 21:21:09] 753*2^1428974-1 is not prime. Res64: 3E5CF979D173C9B5 Time : 0.0 sec. user=mdettweiler [2016-05-12 21:21:10] 773*2^1428974-1 is not prime. Res64: 96BDAA874B4B4C33 Time : 0.0 sec. user=mdettweiler [2016-05-12 21:21:11] 791*2^1428974-1 is not prime. Res64: BA8FDB40BA12FEAD Time : 0.0 sec. user=mdettweiler [2016-05-12 21:37:54] 965*2^1428974-1 is not prime. Res64: B6ACE921FA02A994 Time : 0.0 sec. user=mdettweiler [2016-05-12 21:37:54] 981*2^1428974-1 is not prime. Res64: F694FE721262DBE2 Time : 0.0 sec. user=mdettweiler [2016-05-12 21:37:55] 601*2^1428975-1 is not prime. Res64: 99FEABCAB82DDC0B Time : 0.0 sec. user=mdettweiler [2016-05-12 21:37:55] 663*2^1428975-1 is not prime. Res64: AADD75DE3B318C44 Time : 0.0 sec. user=mdettweiler [2016-05-12 21:37:56] 709*2^1428975-1 is not prime. Res64: 3FE00BACB6B198EC Time : 0.0 sec. user=mdettweiler [2016-05-12 21:38:14] 861*2^1428975-1 is not prime. Res64: 853395D5B540B38E Time : 0.0 sec. user=mdettweiler [2016-05-12 21:38:15] 999*2^1428975-1 is not prime. Res64: F2643F52631D60C3 Time : 0.0 sec. user=mdettweiler [2016-05-12 21:38:15] 603*2^1428976-1 is not prime. Res64: FADEE5D62808D997 Time : 0.0 sec. user=mdettweiler [2016-05-12 21:38:16] 705*2^1428976-1 is not prime. Res64: E606F82E69590257 Time : 0.0 sec. user=mdettweiler [2016-05-12 21:38:16] 719*2^1428976-1 is not prime. Res64: E4A93C7C5705AF2D Time : 0.0 sec. user=mdettweiler [2016-05-12 21:46:46] 743*2^1428976-1 is not prime. Res64: EBBE1FDEA73F8F23 Time : 0.0 sec. user=mdettweiler [2016-05-12 21:46:46] 765*2^1428976-1 is not prime. Res64: 9FA0E3815D05358C Time : 0.0 sec. user=mdettweiler [2016-05-12 21:46:46] 869*2^1428976-1 is not prime. Res64: 8C6E367FE2906808 Time : 0.0 sec. user=mdettweiler [2016-05-12 21:46:47] 957*2^1428976-1 is not prime. Res64: 59287081C38F3E3A Time : 0.0 sec. user=mdettweiler [2016-05-12 21:46:47] 993*2^1428976-1 is not prime. Res64: ADB3B7F54971D546 Time : 0.0 sec. user=mdettweiler [2016-05-12 22:06:05] 627*2^1428977-1 is not prime. Res64: C9A6EDD31CFAD560 Time : 0.0 sec. user=mdettweiler [2016-05-12 22:06:07] 697*2^1428977-1 is not prime. Res64: E5438FB316637EF8 Time : 0.0 sec. user=mdettweiler [2016-05-12 22:06:08] 741*2^1428977-1 is not prime. Res64: 6DBE8198C06762EA Time : 0.0 sec. user=mdettweiler [2016-05-12 22:06:09] 801*2^1428977-1 is not prime. Res64: AA09BAFA5F07D717 Time : 0.0 sec. user=mdettweiler [2016-05-12 22:06:10] 819*2^1428977-1 is not prime. Res64: DD9DEBC9A8DC7848 Time : 0.0 sec. user=mdettweiler [2016-05-12 22:22:56] 867*2^1428977-1 is not prime. Res64: 0078D8E6C59A7EA4 Time : 0.0 sec. user=mdettweiler [2016-05-12 22:22:56] 885*2^1428977-1 is not prime. Res64: 8A50CBAE2B6D3FB7 Time : 0.0 sec. user=mdettweiler [2016-05-12 22:22:57] 909*2^1428977-1 is not prime. Res64: 9F7C7591A57C012F Time : 0.0 sec. user=mdettweiler [2016-05-12 22:22:57] 937*2^1428977-1 is not prime. Res64: ED9AAC0D683BB00C Time : 0.0 sec. user=mdettweiler [2016-05-12 22:22:58] 605*2^1428978-1 is not prime. Res64: 23AAA9ADB8125B22 Time : 0.0 sec. user=mdettweiler [2016-05-12 22:23:17] 737*2^1428978-1 is not prime. Res64: 20DCBB3998C9DE9F Time : 0.0 sec. user=mdettweiler [2016-05-12 22:23:17] 773*2^1428978-1 is not prime. Res64: 220C871CEA74EBC3 Time : 0.0 sec. user=mdettweiler [2016-05-12 22:23:18] 905*2^1428978-1 is not prime. Res64: ED9A816348196EA8 Time : 0.0 sec. user=mdettweiler [2016-05-12 22:23:18] 923*2^1428978-1 is not prime. Res64: 67AED81D7B342BDE Time : 0.0 sec. user=mdettweiler [2016-05-12 22:23:19] 941*2^1428978-1 is not prime. Res64: 23C1E3FE7E26CE40 Time : 0.0 sec. user=mdettweiler [2016-05-12 22:32:04] 681*2^1428979-1 is not prime. Res64: 58521F2C29BDD386 Time : 0.0 sec. user=mdettweiler [2016-05-12 22:32:05] 693*2^1428979-1 is not prime. Res64: 8E71E00DD7C2E7A9 Time : 0.0 sec. user=mdettweiler [2016-05-12 22:32:05] 769*2^1428979-1 is not prime. Res64: 16E32720CED70D67 Time : 0.0 sec. user=mdettweiler [2016-05-12 22:32:05] 771*2^1428979-1 is not prime. Res64: 6337066D1D568ACA Time : 0.0 sec. user=mdettweiler [2016-05-12 22:32:06] 775*2^1428979-1 is not prime. Res64: 8D1BE46D54140D3F Time : 0.0 sec. user=mdettweiler [2016-05-12 22:51:31] 789*2^1428979-1 is not prime. Res64: 6A248F0836E7771A Time : 0.0 sec. user=mdettweiler [2016-05-12 22:51:32] 931*2^1428979-1 is not prime. Res64: 59743E7A1BE479C8 Time : 0.0 sec. user=mdettweiler [2016-05-12 22:51:33] 943*2^1428979-1 is not prime. Res64: 26F985C2B3C082DE Time : 0.0 sec. user=mdettweiler [2016-05-12 22:51:33] 759*2^1428980-1 is not prime. Res64: C1D9027514045136 Time : 0.0 sec. user=mdettweiler [2016-05-12 22:51:34] 827*2^1428980-1 is not prime. Res64: CC543178A546F6A6 Time : 0.0 sec. user=mdettweiler [2016-05-12 23:07:58] 875*2^1428980-1 is not prime. Res64: AA22A34B89DEBA55 Time : 0.0 sec. user=mdettweiler [2016-05-12 23:07:59] 897*2^1428980-1 is not prime. Res64: 18A4EE2DAD1AFBCE Time : 0.0 sec. user=mdettweiler [2016-05-12 23:08:00] 953*2^1428980-1 is not prime. Res64: D689CC4039898146 Time : 0.0 sec. user=mdettweiler [2016-05-12 23:08:00] 669*2^1428981-1 is not prime. Res64: 02242BD7763B5668 Time : 0.0 sec. user=mdettweiler [2016-05-12 23:08:01] 847*2^1428981-1 is not prime. Res64: 3067C2CE1C006B3D Time : 0.0 sec. user=mdettweiler [2016-05-12 23:08:07] 895*2^1428981-1 is not prime. Res64: 433A039BAEDCEF42 Time : 0.0 sec. user=mdettweiler [2016-05-12 23:08:08] 937*2^1428981-1 is not prime. Res64: 3008134487771981 Time : 0.0 sec. user=mdettweiler [2016-05-12 23:08:08] 949*2^1428981-1 is not prime. Res64: 46BDA1129A9CD791 Time : 0.0 sec. user=mdettweiler [2016-05-12 23:08:09] 999*2^1428981-1 is not prime. Res64: 457FD3096C3B9B3F Time : 0.0 sec. user=mdettweiler [2016-05-12 23:08:10] 617*2^1428982-1 is not prime. Res64: 7A909F29279A6C59 Time : 0.0 sec. user=mdettweiler [2016-05-12 23:16:53] 825*2^1428982-1 is not prime. Res64: 1B08E4461378820D Time : 0.0 sec. user=mdettweiler [2016-05-12 23:16:54] 887*2^1428982-1 is not prime. Res64: 2DD2D5FF02845F70 Time : 0.0 sec. user=mdettweiler [2016-05-12 23:16:54] 1001*2^1428982-1 is not prime. Res64: F27C5BC833523CC7 Time : 0.0 sec. user=mdettweiler [2016-05-12 23:16:55] 663*2^1428983-1 is not prime. Res64: 590F131829628556 Time : 0.0 sec. user=mdettweiler [2016-05-12 23:16:56] 735*2^1428983-1 is not prime. Res64: 9A093A7C8954381E Time : 0.0 sec. user=mdettweiler [2016-05-12 23:36:31] 811*2^1428983-1 is not prime. Res64: 594560C4DEA1BC25 Time : 0.0 sec. user=mdettweiler [2016-05-12 23:36:32] 879*2^1428983-1 is not prime. Res64: 0EB838B3D317D8D3 Time : 0.0 sec. user=mdettweiler [2016-05-12 23:36:32] 901*2^1428983-1 is not prime. Res64: C47F273A198A0237 Time : 0.0 sec. user=mdettweiler [2016-05-12 23:36:33] 765*2^1428984-1 is not prime. Res64: A5930F24E3B0945C Time : 0.0 sec. user=mdettweiler [2016-05-12 23:36:33] 789*2^1428984-1 is not prime. Res64: FA3AF5234873316B Time : 0.0 sec. user=mdettweiler [2016-05-12 23:53:03] 927*2^1428984-1 is not prime. Res64: 40905F08B56A0D67 Time : 0.0 sec. user=mdettweiler [2016-05-12 23:53:04] 935*2^1428984-1 is not prime. Res64: 78553A0B6FCA948B Time : 0.0 sec. user=mdettweiler [2016-05-12 23:53:04] 945*2^1428984-1 is not prime. Res64: 0EEB586E1A5E76E7 Time : 0.0 sec. user=mdettweiler [2016-05-12 23:53:05] 679*2^1428985-1 is not prime. Res64: F4FCACE5C45B43CA Time : 0.0 sec. user=mdettweiler [2016-05-12 23:53:05] 717*2^1428985-1 is not prime. Res64: 967E2143C01D34BC Time : 0.0 sec. user=mdettweiler [2016-05-12 23:53:10] 841*2^1428985-1 is not prime. Res64: 646FB240D8038A0F Time : 0.0 sec. user=mdettweiler [2016-05-12 23:53:10] 877*2^1428985-1 is not prime. Res64: 7B286F6C72365C2A Time : 0.0 sec. user=mdettweiler [2016-05-12 23:53:11] 897*2^1428985-1 is not prime. Res64: 91EB00F5555355E5 Time : 0.0 sec. user=mdettweiler [2016-05-12 23:53:11] 975*2^1428985-1 is not prime. Res64: D2AF33CAFAFC0A13 Time : 0.0 sec. user=mdettweiler [2016-05-12 23:53:12] 783*2^1428986-1 is not prime. Res64: B65540A1865D65FF Time : 0.0 sec.