user=mdettweiler [2017-05-21 00:03:09] 777*2^1454541-1 is not prime. Res64: E4BA5AB6B2F0E474 Time : 0.0 sec. user=mdettweiler [2017-05-21 00:03:10] 805*2^1454541-1 is not prime. Res64: DCF624B443C051D6 Time : 0.0 sec. user=mdettweiler [2017-05-21 00:03:11] 819*2^1454541-1 is not prime. Res64: 76F9085E2D6D3EB6 Time : 0.0 sec. user=mdettweiler [2017-05-21 00:03:11] 895*2^1454541-1 is not prime. Res64: 50797AA8FC63ADFF Time : 0.0 sec. user=mdettweiler [2017-05-21 00:03:11] 961*2^1454541-1 is not prime. Res64: 2ED18BCD08C30C10 Time : 0.0 sec. user=mdettweiler [2017-05-21 00:22:56] 621*2^1454542-1 is not prime. Res64: 098CB2E57146F973 Time : 0.0 sec. user=mdettweiler [2017-05-21 00:22:56] 645*2^1454542-1 is not prime. Res64: A66C39D48EF31CF0 Time : 0.0 sec. user=mdettweiler [2017-05-21 00:22:56] 657*2^1454542-1 is not prime. Res64: 0213CC0B44DF1BA9 Time : 0.0 sec. user=mdettweiler [2017-05-21 00:22:56] 675*2^1454542-1 is not prime. Res64: 6ABD773210D14EF0 Time : 0.0 sec. user=mdettweiler [2017-05-21 00:22:57] 717*2^1454542-1 is not prime. Res64: 4B917CA786A528E0 Time : 0.0 sec. user=mdettweiler [2017-05-21 00:39:43] 737*2^1454542-1 is not prime. Res64: 6883D02B9FD5ED45 Time : 0.0 sec. user=mdettweiler [2017-05-21 00:39:43] 813*2^1454542-1 is not prime. Res64: 961ADB11FF120BFE Time : 0.0 sec. user=mdettweiler [2017-05-21 00:39:44] 827*2^1454542-1 is not prime. Res64: F0B15EE5E339A95E Time : 0.0 sec. user=mdettweiler [2017-05-21 00:39:44] 891*2^1454542-1 is not prime. Res64: 106C8F684241D6B3 Time : 0.0 sec. user=mdettweiler [2017-05-21 00:39:44] 923*2^1454542-1 is not prime. Res64: 82DBDA5D0CD96334 Time : 0.0 sec. user=mdettweiler [2017-05-21 00:46:24] 957*2^1454542-1 is not prime. Res64: 7AD1C649BD7E5037 Time : 0.0 sec. user=mdettweiler [2017-05-21 00:46:25] 965*2^1454542-1 is not prime. Res64: 9286637D14AC39BC Time : 0.0 sec. user=mdettweiler [2017-05-21 00:46:25] 987*2^1454542-1 is not prime. Res64: 3A42411D4C9B776E Time : 0.0 sec. user=mdettweiler [2017-05-21 00:46:25] 679*2^1454543-1 is not prime. Res64: A9D9D801F8221B5B Time : 0.0 sec. user=mdettweiler [2017-05-21 00:46:25] 741*2^1454543-1 is not prime. Res64: 6A3F4D0DAE55D118 Time : 0.0 sec. user=mdettweiler [2017-05-21 00:48:57] 823*2^1454543-1 is not prime. Res64: F2763785D0083501 Time : 0.0 sec. user=mdettweiler [2017-05-21 00:48:57] 663*2^1454544-1 is not prime. Res64: F420EB7748965653 Time : 0.0 sec. user=mdettweiler [2017-05-21 00:48:58] 765*2^1454544-1 is not prime. Res64: 757B14325EE2A82A Time : 0.0 sec. user=mdettweiler [2017-05-21 00:48:58] 795*2^1454544-1 is not prime. Res64: E0836C66F7B47F04 Time : 0.0 sec. user=mdettweiler [2017-05-21 00:48:58] 843*2^1454544-1 is not prime. Res64: 7351599895EF002C Time : 0.0 sec. user=mdettweiler [2017-05-21 01:08:38] 863*2^1454544-1 is not prime. Res64: 91901A3DBABBFF8C Time : 0.0 sec. user=mdettweiler [2017-05-21 01:08:39] 903*2^1454544-1 is not prime. Res64: A72542F3F0A4EAFE Time : 0.0 sec. user=mdettweiler [2017-05-21 01:08:39] 909*2^1454544-1 is not prime. Res64: DF904BF6B071AC33 Time : 0.0 sec. user=mdettweiler [2017-05-21 01:08:39] 915*2^1454544-1 is not prime. Res64: A70F5DA7A04A7BA8 Time : 0.0 sec. user=mdettweiler [2017-05-21 01:08:40] 619*2^1454545-1 is not prime. Res64: 643F65F8EC24BECE Time : 0.0 sec. user=juhehe [2017-05-21 01:14:23] 645*2^1454545-1 is not prime. Res64: 4A994890FA1E0B42 Time : 0.0 sec. user=mdettweiler [2017-05-21 01:25:35] 661*2^1454545-1 is not prime. Res64: CA35C5FC605490E3 Time : 0.0 sec. user=mdettweiler [2017-05-21 01:25:36] 705*2^1454545-1 is not prime. Res64: 997E7E81D624481D Time : 0.0 sec. user=mdettweiler [2017-05-21 01:25:37] 849*2^1454545-1 is not prime. Res64: B05C61B0EECCC4F5 Time : 0.0 sec. user=mdettweiler [2017-05-21 01:25:38] 895*2^1454545-1 is not prime. Res64: 20A1467A84413495 Time : 0.0 sec. user=mdettweiler [2017-05-21 01:25:38] 677*2^1454546-1 is not prime. Res64: 5A2FA9DEAFE6FC59 Time : 0.0 sec. user=mdettweiler [2017-05-21 01:32:23] 717*2^1454546-1 is not prime. Res64: 4DF464EF1DD0B3A6 Time : 0.0 sec. user=mdettweiler [2017-05-21 01:32:23] 767*2^1454546-1 is not prime. Res64: AB1DD8CF79E4B35E Time : 0.0 sec. user=mdettweiler [2017-05-21 01:32:23] 873*2^1454546-1 is not prime. Res64: 2B9F8C5E0A02FBA7 Time : 0.0 sec. user=mdettweiler [2017-05-21 01:32:24] 945*2^1454546-1 is not prime. Res64: 61EFEFD3EB1D3950 Time : 0.0 sec. user=mdettweiler [2017-05-21 01:32:24] 983*2^1454546-1 is not prime. Res64: CB84BE3934ED7FAF Time : 0.0 sec. user=mdettweiler [2017-05-21 01:34:48] 633*2^1454547-1 is not prime. Res64: 12BB73658426B686 Time : 0.0 sec. user=mdettweiler [2017-05-21 01:34:48] 711*2^1454547-1 is not prime. Res64: 597615D5C73DA561 Time : 0.0 sec. user=mdettweiler [2017-05-21 01:34:49] 735*2^1454547-1 is not prime. Res64: EAE595D1C68C2243 Time : 0.0 sec. user=mdettweiler [2017-05-21 01:34:49] 859*2^1454547-1 is not prime. Res64: D740B8FC34DC3D2F Time : 0.0 sec. user=mdettweiler [2017-05-21 01:34:49] 961*2^1454547-1 is not prime. Res64: D61436CEA555FBE2 Time : 0.0 sec. user=mdettweiler [2017-05-21 01:54:27] 707*2^1454548-1 is not prime. Res64: 4FCC96C2DDC59A55 Time : 0.0 sec. user=mdettweiler [2017-05-21 01:54:27] 813*2^1454548-1 is not prime. Res64: 03071597FBE60A79 Time : 0.0 sec. user=mdettweiler [2017-05-21 01:54:28] 845*2^1454548-1 is not prime. Res64: 4E7BB9DE1D317C9B Time : 0.0 sec. user=mdettweiler [2017-05-21 01:54:28] 855*2^1454548-1 is not prime. Res64: CFBB4A0330F07E81 Time : 0.0 sec. user=mdettweiler [2017-05-21 01:54:28] 909*2^1454548-1 is not prime. Res64: 16C4B2E0176339CD Time : 0.0 sec. user=mdettweiler [2017-05-21 02:11:49] 645*2^1454549-1 is not prime. Res64: CB3C243910147B65 Time : 0.0 sec. user=mdettweiler [2017-05-21 02:11:50] 685*2^1454549-1 is not prime. Res64: 038A702D8362BC9E Time : 0.0 sec. user=mdettweiler [2017-05-21 02:11:50] 699*2^1454549-1 is not prime. Res64: 9E0E7CE52B90234A Time : 0.0 sec. user=mdettweiler [2017-05-21 02:11:50] 789*2^1454549-1 is not prime. Res64: 4ED779BFD7FB50A1 Time : 0.0 sec. user=mdettweiler [2017-05-21 02:11:51] 825*2^1454549-1 is not prime. Res64: D42761D1CC25FFB1 Time : 0.0 sec. user=mdettweiler [2017-05-21 02:18:36] 829*2^1454549-1 is not prime. Res64: 60604C2DD2055A7F Time : 0.0 sec. user=mdettweiler [2017-05-21 02:18:36] 847*2^1454549-1 is not prime. Res64: B9B7C1CFEBAC534E Time : 0.0 sec. user=mdettweiler [2017-05-21 02:18:36] 611*2^1454550-1 is not prime. Res64: ADD5C2E1FD8E8D91 Time : 0.0 sec. user=mdettweiler [2017-05-21 02:18:37] 635*2^1454550-1 is not prime. Res64: 5A02E884A450538F Time : 0.0 sec. user=mdettweiler [2017-05-21 02:18:37] 711*2^1454550-1 is not prime. Res64: 7E0E086673515FFB Time : 0.0 sec. user=mdettweiler [2017-05-21 02:20:57] 765*2^1454550-1 is not prime. Res64: FCBEE323919379D2 Time : 0.0 sec. user=mdettweiler [2017-05-21 02:20:57] 783*2^1454550-1 is not prime. Res64: AB9EFC47FB20FD71 Time : 0.0 sec. user=mdettweiler [2017-05-21 02:20:58] 795*2^1454550-1 is not prime. Res64: 121ACD9449D103C0 Time : 0.0 sec. user=mdettweiler [2017-05-21 02:20:58] 863*2^1454550-1 is not prime. Res64: E694E57805176315 Time : 0.0 sec. user=mdettweiler [2017-05-21 02:20:58] 873*2^1454550-1 is not prime. Res64: 37D79812D0B2B547 Time : 0.0 sec. user=mdettweiler [2017-05-21 02:40:52] 927*2^1454550-1 is not prime. Res64: 06417BC77EDB0A5D Time : 0.0 sec. user=mdettweiler [2017-05-21 02:40:52] 941*2^1454550-1 is not prime. Res64: 7CF0CCE7A8A22DAE Time : 0.0 sec. user=mdettweiler [2017-05-21 02:40:53] 1001*2^1454550-1 is not prime. Res64: 1EF19A63AA47EE93 Time : 0.0 sec. user=mdettweiler [2017-05-21 02:40:53] 673*2^1454551-1 is not prime. Res64: 8A60A2202D89F585 Time : 0.0 sec. user=mdettweiler [2017-05-21 02:40:53] 745*2^1454551-1 is not prime. Res64: 21F965C6DCE24638 Time : 0.0 sec. user=mdettweiler [2017-05-21 02:58:11] 841*2^1454551-1 is not prime. Res64: 3AF2B0894FAC71FB Time : 0.0 sec. user=mdettweiler [2017-05-21 02:58:11] 925*2^1454551-1 is not prime. Res64: FDE1E1373028AE2A Time : 0.0 sec. user=mdettweiler [2017-05-21 02:58:11] 975*2^1454551-1 is not prime. Res64: F9D109D40B12C688 Time : 0.0 sec. user=mdettweiler [2017-05-21 02:58:11] 675*2^1454552-1 is not prime. Res64: C02877BC7D100ACB Time : 0.0 sec. user=mdettweiler [2017-05-21 02:58:12] 819*2^1454552-1 is not prime. Res64: 8CFDCB7325B5360B Time : 0.0 sec. user=mdettweiler [2017-05-21 03:05:33] 825*2^1454552-1 is not prime. Res64: 6DFBF064E94FE144 Time : 0.0 sec. user=mdettweiler [2017-05-21 03:05:35] 857*2^1454552-1 is not prime. Res64: B92C3FA99C528029 Time : 0.0 sec. user=mdettweiler [2017-05-21 03:05:36] 999*2^1454552-1 is not prime. Res64: D5C3334E564B0692 Time : 0.0 sec. user=mdettweiler [2017-05-21 03:05:37] 691*2^1454553-1 is not prime. Res64: 4433B1C54959D2EF Time : 0.0 sec. user=mdettweiler [2017-05-21 03:05:39] 807*2^1454553-1 is not prime. Res64: DDF80980274C7164 Time : 0.0 sec. user=mdettweiler [2017-05-21 03:07:52] 829*2^1454553-1 is not prime. Res64: 59121A90AF866F4E Time : 0.0 sec. user=mdettweiler [2017-05-21 03:07:52] 915*2^1454553-1 is not prime. Res64: 6CC72644EDE143EA Time : 0.0 sec. user=mdettweiler [2017-05-21 03:07:53] 969*2^1454553-1 is not prime. Res64: BFA2A2C7185B2DD3 Time : 0.0 sec. user=mdettweiler [2017-05-21 03:07:53] 701*2^1454554-1 is not prime. Res64: 0CF313B29398CCC1 Time : 0.0 sec. user=mdettweiler [2017-05-21 03:07:53] 771*2^1454555-1 is not prime. Res64: A5F4E1A414570F22 Time : 0.0 sec. user=juhehe [2017-05-21 03:13:38] 801*2^1454555-1 is not prime. Res64: 1A2F303BE069FB32 Time : 0.0 sec. user=mdettweiler [2017-05-21 03:26:56] 609*2^1454556-1 is not prime. Res64: EDB7A6F2187027E6 Time : 0.0 sec. user=mdettweiler [2017-05-21 03:26:57] 669*2^1454556-1 is not prime. Res64: FAAFC8A0EFBA5213 Time : 0.0 sec. user=mdettweiler [2017-05-21 03:26:58] 683*2^1454556-1 is not prime. Res64: B8A926DB624CCE90 Time : 0.0 sec. user=mdettweiler [2017-05-21 03:26:58] 765*2^1454556-1 is not prime. Res64: 5381EE3FF74223D6 Time : 0.0 sec. user=mdettweiler [2017-05-21 03:26:59] 857*2^1454556-1 is not prime. Res64: 967A17508D807FE4 Time : 0.0 sec. user=mdettweiler [2017-05-21 03:44:18] 691*2^1454557-1 is not prime. Res64: 0E1B3C922147EB18 Time : 0.0 sec. user=mdettweiler [2017-05-21 03:44:20] 727*2^1454557-1 is not prime. Res64: 8D66B1CAC0BECC91 Time : 0.0 sec. user=mdettweiler [2017-05-21 03:44:21] 729*2^1454557-1 is not prime. Res64: F690870E3F10DB19 Time : 0.0 sec. user=mdettweiler [2017-05-21 03:44:22] 927*2^1454557-1 is not prime. Res64: 4E4EADB91DE12056 Time : 0.0 sec. user=mdettweiler [2017-05-21 03:44:22] 939*2^1454557-1 is not prime. Res64: 248AB98A17CE4EC4 Time : 0.0 sec. user=mdettweiler [2017-05-21 03:51:55] 945*2^1454557-1 is not prime. Res64: 82286258357D4B24 Time : 0.0 sec. user=mdettweiler [2017-05-21 03:51:56] 623*2^1454558-1 is not prime. Res64: 858C1E70E54A0545 Time : 0.0 sec. user=mdettweiler [2017-05-21 03:51:57] 693*2^1454558-1 is not prime. Res64: 50933A10EED441CE Time : 0.0 sec. user=mdettweiler [2017-05-21 03:51:58] 731*2^1454558-1 is not prime. Res64: 9DB90677E3623256 Time : 0.0 sec. user=mdettweiler [2017-05-21 03:51:58] 801*2^1454558-1 is not prime. Res64: 3D30DB8674AA7D67 Time : 0.0 sec. user=mdettweiler [2017-05-21 03:53:44] 875*2^1454558-1 is not prime. Res64: 5E6C90DB38B0B03A Time : 0.0 sec. user=mdettweiler [2017-05-21 03:53:45] 897*2^1454558-1 is not prime. Res64: 11E55D89836075F7 Time : 0.0 sec. user=mdettweiler [2017-05-21 03:53:45] 953*2^1454558-1 is not prime. Res64: 03EA5F3C49251A10 Time : 0.0 sec. user=mdettweiler [2017-05-21 03:53:46] 613*2^1454559-1 is not prime. Res64: F215C9A57BBE399B Time : 0.0 sec. user=mdettweiler [2017-05-21 03:53:47] 625*2^1454559-1 is not prime. Res64: C7D23EF7A4427303 Time : 0.0 sec. user=mdettweiler [2017-05-21 04:14:00] 661*2^1454559-1 is not prime. Res64: E2494629826AC765 Time : 0.0 sec. user=mdettweiler [2017-05-21 04:14:00] 685*2^1454559-1 is not prime. Res64: 8A73074E673D671A Time : 0.0 sec. user=mdettweiler [2017-05-21 04:14:01] 693*2^1454559-1 is not prime. Res64: 28A4C8C815F77E74 Time : 0.0 sec. user=mdettweiler [2017-05-21 04:14:01] 709*2^1454559-1 is not prime. Res64: EAAF27A5FF543BAE Time : 0.0 sec. user=mdettweiler [2017-05-21 04:14:01] 723*2^1454559-1 is not prime. Res64: CF99F33F4D6DBD50 Time : 0.0 sec. user=mdettweiler [2017-05-21 04:33:05] 853*2^1454559-1 is not prime. Res64: 42438F3B59B8962A Time : 0.0 sec. user=mdettweiler [2017-05-21 04:33:05] 909*2^1454559-1 is not prime. Res64: 99C4647B07A6142D Time : 0.0 sec. user=mdettweiler [2017-05-21 04:33:05] 931*2^1454559-1 is not prime. Res64: 908E8EE792656998 Time : 0.0 sec. user=mdettweiler [2017-05-21 04:33:06] 933*2^1454559-1 is not prime. Res64: B3C394F584D86E7F Time : 0.0 sec. user=mdettweiler [2017-05-21 04:33:06] 949*2^1454559-1 is not prime. Res64: 93F7C39F457CD00F Time : 0.0 sec. user=mdettweiler [2017-05-21 04:40:34] 663*2^1454560-1 is not prime. Res64: 86DBDF9652178D0C Time : 0.0 sec. user=mdettweiler [2017-05-21 04:40:34] 797*2^1454560-1 is not prime. Res64: B3752E66B3660B07 Time : 0.0 sec. user=mdettweiler [2017-05-21 04:40:35] 825*2^1454560-1 is not prime. Res64: 887F262DAA0B53E3 Time : 0.0 sec. user=mdettweiler [2017-05-21 04:40:35] 899*2^1454560-1 is not prime. Res64: C7ADCE76063F9E2B Time : 0.0 sec. user=mdettweiler [2017-05-21 04:40:35] 933*2^1454560-1 is not prime. Res64: 3C3634E2FBFC1BE6 Time : 0.0 sec. user=mdettweiler [2017-05-21 04:42:08] 727*2^1454561-1 is not prime. Res64: 3B18CF02AB93CFFE Time : 0.0 sec. user=mdettweiler [2017-05-21 04:42:08] 741*2^1454561-1 is not prime. Res64: DE24CFFBF56B180D Time : 0.0 sec. user=mdettweiler [2017-05-21 04:42:09] 811*2^1454561-1 is not prime. Res64: 7F37CCA04AD30F4A Time : 0.0 sec. user=mdettweiler [2017-05-21 04:42:09] 907*2^1454561-1 is not prime. Res64: 09B0A0E116D701E4 Time : 0.0 sec. user=mdettweiler [2017-05-21 04:42:09] 967*2^1454561-1 is not prime. Res64: 00237A7D569A3DAF Time : 0.0 sec. user=mdettweiler [2017-05-21 05:01:14] 917*2^1454562-1 is not prime. Res64: 0956AEEB369076D2 Time : 0.0 sec. user=mdettweiler [2017-05-21 05:01:15] 957*2^1454562-1 is not prime. Res64: 981A4BAEF2179D98 Time : 0.0 sec. user=mdettweiler [2017-05-21 05:01:16] 1001*2^1454562-1 is not prime. Res64: FDA560F9CD285E8E Time : 0.0 sec. user=mdettweiler [2017-05-21 05:01:17] 649*2^1454563-1 is not prime. Res64: 1E6FB832BE50003A Time : 0.0 sec. user=mdettweiler [2017-05-21 05:01:17] 741*2^1454563-1 is not prime. Res64: 31894BD36BB89B2F Time : 0.0 sec. user=juhehe [2017-05-21 05:18:10] 819*2^1454564-1 is not prime. Res64: C1D40B43054682CC Time : 0.0 sec. user=mdettweiler [2017-05-21 05:18:48] 849*2^1454563-1 is not prime. Res64: B4F0C0A741141CCF Time : 0.0 sec. user=mdettweiler [2017-05-21 05:18:48] 855*2^1454563-1 is not prime. Res64: 7670038D4C8FA3D1 Time : 0.0 sec. user=mdettweiler [2017-05-21 05:18:48] 939*2^1454563-1 is not prime. Res64: D0CA67D83C9E6F0C Time : 0.0 sec. user=mdettweiler [2017-05-21 05:18:49] 623*2^1454564-1 is not prime. Res64: 7836C26115CB9B82 Time : 0.0 sec. user=mdettweiler [2017-05-21 05:18:49] 795*2^1454564-1 is not prime. Res64: ED878DB5667FC86E Time : 0.0 sec. user=mdettweiler [2017-05-21 05:26:51] 945*2^1454564-1 is not prime. Res64: 3E4D2C49A33F9D0D Time : 0.0 sec. user=mdettweiler [2017-05-21 05:26:52] 953*2^1454564-1 is not prime. Res64: C3A2FB14BC2900A6 Time : 0.0 sec. user=mdettweiler [2017-05-21 05:26:52] 969*2^1454564-1 is not prime. Res64: E45E5C03F9EC5CF3 Time : 0.0 sec. user=mdettweiler [2017-05-21 05:26:53] 649*2^1454565-1 is not prime. Res64: 86E50F78C8F3FEDF Time : 0.0 sec. user=mdettweiler [2017-05-21 05:26:53] 727*2^1454565-1 is not prime. Res64: 3618B1C683EC11CE Time : 0.0 sec. user=mdettweiler [2017-05-21 05:27:56] 861*2^1454565-1 is not prime. Res64: 6D6760B6A521666D Time : 0.0 sec. user=mdettweiler [2017-05-21 05:27:56] 951*2^1454565-1 is not prime. Res64: E959A2DFB096911E Time : 0.0 sec. user=mdettweiler [2017-05-21 05:27:57] 635*2^1454566-1 is not prime. Res64: ECC3CC9108C91072 Time : 0.0 sec. user=mdettweiler [2017-05-21 05:27:57] 783*2^1454566-1 is not prime. Res64: B1ED07811C9D528A Time : 0.0 sec. user=mdettweiler [2017-05-21 05:27:57] 857*2^1454566-1 is not prime. Res64: 36C5EBC58DD5D82A Time : 0.0 sec. user=mdettweiler [2017-05-21 05:47:07] 867*2^1454566-1 is not prime. Res64: 872458C26D577564 Time : 0.0 sec. user=mdettweiler [2017-05-21 05:47:07] 957*2^1454566-1 is not prime. Res64: D98EA796313315CF Time : 0.0 sec. user=mdettweiler [2017-05-21 05:47:08] 601*2^1454567-1 is not prime. Res64: 363D38B60744EEAB Time : 0.0 sec. user=mdettweiler [2017-05-21 05:47:08] 645*2^1454567-1 is not prime. Res64: 90B4D68270D4CA07 Time : 0.0 sec. user=mdettweiler [2017-05-21 05:47:08] 669*2^1454567-1 is not prime. Res64: 757DAB74B82BC3AB Time : 0.0 sec. user=mdettweiler [2017-05-21 06:05:01] 805*2^1454567-1 is not prime. Res64: AA5A55C7E0757276 Time : 0.0 sec. user=mdettweiler [2017-05-21 06:05:03] 973*2^1454567-1 is not prime. Res64: 916B73CC4F02A988 Time : 0.0 sec. user=mdettweiler [2017-05-21 06:05:04] 985*2^1454567-1 is not prime. Res64: 88C5872C0FFC3F6D Time : 0.0 sec. user=mdettweiler [2017-05-21 06:05:06] 669*2^1454568-1 is not prime. Res64: EE55E6BB74CEE4F6 Time : 0.0 sec. user=mdettweiler [2017-05-21 06:05:07] 705*2^1454568-1 is not prime. Res64: 1517A21DFBA5498B Time : 0.0 sec. user=mdettweiler [2017-05-21 06:12:32] 767*2^1454568-1 is not prime. Res64: 125DE80DEF8CBA84 Time : 0.0 sec. user=mdettweiler [2017-05-21 06:12:32] 825*2^1454568-1 is not prime. Res64: 079347372666BFA1 Time : 0.0 sec. user=mdettweiler [2017-05-21 06:12:32] 849*2^1454568-1 is not prime. Res64: 8EEB91CC432DF4F7 Time : 0.0 sec. user=mdettweiler [2017-05-21 06:12:33] 929*2^1454568-1 is not prime. Res64: E4F18F0CBAFB2523 Time : 0.0 sec. user=mdettweiler [2017-05-21 06:12:33] 747*2^1454569-1 is not prime. Res64: FB3FF83F116D036E Time : 0.0 sec. user=mdettweiler [2017-05-21 06:13:19] 765*2^1454569-1 is not prime. Res64: 91461E6F1CC8BC56 Time : 0.0 sec. user=mdettweiler [2017-05-21 06:13:20] 855*2^1454569-1 is not prime. Res64: 98C2ECD9B3D96F26 Time : 0.0 sec. user=mdettweiler [2017-05-21 06:13:20] 877*2^1454569-1 is not prime. Res64: 920915EEB761EAA6 Time : 0.0 sec. user=mdettweiler [2017-05-21 06:13:20] 895*2^1454569-1 is not prime. Res64: A9D5B731DD73B781 Time : 0.0 sec. user=mdettweiler [2017-05-21 06:13:20] 605*2^1454570-1 is not prime. Res64: 1A51FDFB925B74A4 Time : 0.0 sec. user=mdettweiler [2017-05-21 06:32:36] 675*2^1454570-1 is not prime. Res64: 2AD0B1BADABC269D Time : 0.0 sec. user=mdettweiler [2017-05-21 06:32:37] 707*2^1454570-1 is not prime. Res64: 180113312E6DA35A Time : 0.0 sec. user=mdettweiler [2017-05-21 06:32:37] 731*2^1454570-1 is not prime. Res64: 44A26B720D8DF445 Time : 0.0 sec. user=mdettweiler [2017-05-21 06:32:37] 831*2^1454570-1 is not prime. Res64: 531AA583CA16EEA4 Time : 0.0 sec. user=mdettweiler [2017-05-21 06:32:37] 917*2^1454570-1 is not prime. Res64: D7DFDE1F260237CC Time : 0.0 sec. user=juhehe [2017-05-21 06:37:25] 945*2^1454570-1 is not prime. Res64: B9A8CAB338F1D1D3 Time : 0.0 sec. user=mdettweiler [2017-05-21 06:51:16] 957*2^1454570-1 is not prime. Res64: C203DB8CB0B8C0C0 Time : 0.0 sec. user=mdettweiler [2017-05-21 06:51:16] 643*2^1454571-1 is not prime. Res64: 956D2C3F91030366 Time : 0.0 sec. user=mdettweiler [2017-05-21 06:51:16] 703*2^1454571-1 is not prime. Res64: 47755683A3386370 Time : 0.0 sec. user=mdettweiler [2017-05-21 06:51:16] 921*2^1454571-1 is not prime. Res64: 32DAA5BB4B037C5E Time : 0.0 sec. user=mdettweiler [2017-05-21 06:51:17] 955*2^1454571-1 is not prime. Res64: 8E6405C3ECD4321B Time : 0.0 sec. user=mdettweiler [2017-05-21 06:58:27] 675*2^1454572-1 is not prime. Res64: 2C5E6B5B543F8E4B Time : 0.0 sec. user=mdettweiler [2017-05-21 06:58:27] 873*2^1454572-1 is not prime. Res64: 14D1D1547202202B Time : 0.0 sec. user=mdettweiler [2017-05-21 06:58:28] 995*2^1454572-1 is not prime. Res64: 9D7D160389E0B453 Time : 0.0 sec. user=mdettweiler [2017-05-21 06:58:28] 657*2^1454573-1 is not prime. Res64: C16089FE99025DFD Time : 0.0 sec. user=mdettweiler [2017-05-21 06:58:28] 697*2^1454573-1 is not prime. Res64: 3E06978FD253BE18 Time : 0.0 sec. user=mdettweiler [2017-05-21 06:59:16] 879*2^1454573-1 is not prime. Res64: 498BC132C1CAE219 Time : 0.0 sec. user=mdettweiler [2017-05-21 06:59:16] 915*2^1454573-1 is not prime. Res64: 6A34A8CC81F459D9 Time : 0.0 sec. user=mdettweiler [2017-05-21 06:59:16] 927*2^1454573-1 is not prime. Res64: 8C762E780F04B5ED Time : 0.0 sec. user=mdettweiler [2017-05-21 06:59:17] 955*2^1454573-1 is not prime. Res64: 1AA7339A3562A4F9 Time : 0.0 sec. user=mdettweiler [2017-05-21 06:59:17] 985*2^1454573-1 is not prime. Res64: A5369B5A2102F189 Time : 0.0 sec. user=mdettweiler [2017-05-21 07:18:40] 635*2^1454574-1 is not prime. Res64: 8A596FE6C0130915 Time : 0.0 sec. user=mdettweiler [2017-05-21 07:18:41] 651*2^1454574-1 is not prime. Res64: 11419D5E701B47A5 Time : 0.0 sec. user=mdettweiler [2017-05-21 07:18:41] 663*2^1454574-1 is not prime. Res64: 5F376F217A2AD63E Time : 0.0 sec. user=mdettweiler [2017-05-21 07:18:41] 711*2^1454574-1 is not prime. Res64: E6B6378656665B0F Time : 0.0 sec. user=mdettweiler [2017-05-21 07:18:42] 723*2^1454574-1 is not prime. Res64: 24F9449B97F144D3 Time : 0.0 sec. user=juhehe [2017-05-21 07:23:34] 791*2^1454574-1 is not prime. Res64: 94FDF1BCBE07CEA8 Time : 0.0 sec. user=mdettweiler [2017-05-21 07:37:19] 815*2^1454574-1 is not prime. Res64: B11A103B292AA0B9 Time : 0.0 sec. user=mdettweiler [2017-05-21 07:37:19] 825*2^1454574-1 is not prime. Res64: F1CB6B8D32ED796A Time : 0.0 sec. user=mdettweiler [2017-05-21 07:37:20] 887*2^1454574-1 is not prime. Res64: 335BC1F816CCAC8E Time : 0.0 sec. user=mdettweiler [2017-05-21 07:37:20] 917*2^1454574-1 is not prime. Res64: 0CAAD4BA74AB2493 Time : 0.0 sec. user=mdettweiler [2017-05-21 07:37:20] 965*2^1454574-1 is not prime. Res64: FD2B840A24C13D0D Time : 0.0 sec. user=mdettweiler [2017-05-21 07:44:14] 975*2^1454574-1 is not prime. Res64: C12AD8FE4CBFACAC Time : 0.0 sec. user=mdettweiler [2017-05-21 07:44:15] 993*2^1454574-1 is not prime. Res64: D682494EB243FB8B Time : 0.0 sec. user=mdettweiler [2017-05-21 07:44:15] 709*2^1454575-1 is not prime. Res64: EAA326FF48CFCF38 Time : 0.0 sec. user=mdettweiler [2017-05-21 07:44:15] 783*2^1454575-1 is not prime. Res64: C03BA51B515F8ED5 Time : 0.0 sec. user=mdettweiler [2017-05-21 07:44:16] 829*2^1454575-1 is not prime. Res64: E544CD58FD472222 Time : 0.0 sec. user=mdettweiler [2017-05-21 07:44:58] 871*2^1454575-1 is not prime. Res64: D34F32813F423563 Time : 0.0 sec. user=mdettweiler [2017-05-21 07:44:58] 943*2^1454575-1 is not prime. Res64: 0D629D6C4510EF79 Time : 0.0 sec. user=mdettweiler [2017-05-21 07:44:58] 979*2^1454575-1 is not prime. Res64: 21815F8FD7B90632 Time : 0.0 sec. user=mdettweiler [2017-05-21 07:44:59] 635*2^1454576-1 is not prime. Res64: 9611251D6A29622D Time : 0.0 sec. user=mdettweiler [2017-05-21 07:44:59] 657*2^1454576-1 is not prime. Res64: 634EA3C4DFC8F4CF Time : 0.0 sec. user=mdettweiler [2017-05-21 08:04:44] 693*2^1454576-1 is not prime. Res64: 4CA6221DA97F7E5F Time : 0.0 sec. user=mdettweiler [2017-05-21 08:04:46] 735*2^1454576-1 is not prime. Res64: AFCD84F63C56535F Time : 0.0 sec. user=mdettweiler [2017-05-21 08:04:47] 777*2^1454576-1 is not prime. Res64: 055903BB01B78A3F Time : 0.0 sec. user=mdettweiler [2017-05-21 08:04:47] 963*2^1454576-1 is not prime. Res64: 4A06205A2E3E2A74 Time : 0.0 sec. user=mdettweiler [2017-05-21 08:04:48] 627*2^1454577-1 is not prime. Res64: 1B59EB4F2F869D41 Time : 0.0 sec. user=mdettweiler [2017-05-21 08:23:25] 717*2^1454577-1 is not prime. Res64: 3424305718886A59 Time : 0.0 sec. user=mdettweiler [2017-05-21 08:23:26] 741*2^1454577-1 is not prime. Res64: 59157939D4895425 Time : 0.0 sec. user=mdettweiler [2017-05-21 08:23:26] 915*2^1454577-1 is not prime. Res64: 0874E095F470DF39 Time : 0.0 sec. user=mdettweiler [2017-05-21 08:23:26] 937*2^1454577-1 is not prime. Res64: 54A97D640E09CB04 Time : 0.0 sec. user=mdettweiler [2017-05-21 08:23:26] 949*2^1454577-1 is not prime. Res64: 0251D90A824FFCF7 Time : 0.0 sec. user=mdettweiler [2017-05-21 08:30:10] 975*2^1454577-1 is not prime. Res64: 13020D276DDF1F08 Time : 0.0 sec. user=mdettweiler [2017-05-21 08:30:10] 979*2^1454577-1 is not prime. Res64: F65E07BB6D304C9C Time : 0.0 sec. user=mdettweiler [2017-05-21 08:30:11] 991*2^1454577-1 is not prime. Res64: B24A2DFCDD3ADB1F Time : 0.0 sec. user=mdettweiler [2017-05-21 08:30:11] 663*2^1454578-1 is not prime. Res64: 2EC2B1D3B4D5049E Time : 0.0 sec. user=mdettweiler [2017-05-21 08:30:11] 671*2^1454578-1 is not prime. Res64: F3481FD919AF4BB9 Time : 0.0 sec. user=mdettweiler [2017-05-21 08:30:41] 861*2^1454578-1 is not prime. Res64: 135575C4C4E032F7 Time : 0.0 sec. user=mdettweiler [2017-05-21 08:30:42] 915*2^1454578-1 is not prime. Res64: EFAC2CAF6429BE40 Time : 0.0 sec. user=mdettweiler [2017-05-21 08:30:42] 995*2^1454578-1 is not prime. Res64: F5D2B1B5EAF0D01A Time : 0.0 sec. user=mdettweiler [2017-05-21 08:30:42] 825*2^1454579-1 is not prime. Res64: 0E505D8550DE143B Time : 0.0 sec. user=mdettweiler [2017-05-21 08:30:43] 913*2^1454579-1 is not prime. Res64: 0DFF141B0C543B2E Time : 0.0 sec. user=juhehe [2017-05-21 08:36:44] 931*2^1454579-1 is not prime. Res64: B500B3FF3379E49C Time : 0.0 sec. user=mdettweiler [2017-05-21 08:50:35] 629*2^1454580-1 is not prime. Res64: 285C42B8BFE0553C Time : 0.0 sec. user=mdettweiler [2017-05-21 08:50:36] 635*2^1454580-1 is not prime. Res64: CADF764BF683638B Time : 0.0 sec. user=mdettweiler [2017-05-21 08:50:36] 669*2^1454580-1 is not prime. Res64: 2D7882FD19738B03 Time : 0.0 sec. user=mdettweiler [2017-05-21 08:50:36] 693*2^1454580-1 is not prime. Res64: 9C3537CBE5A10808 Time : 0.0 sec. user=mdettweiler [2017-05-21 08:50:37] 765*2^1454580-1 is not prime. Res64: 745080A5FCA1ED0C Time : 0.0 sec. user=mdettweiler [2017-05-21 09:09:04] 773*2^1454580-1 is not prime. Res64: AD5CED3DB2F44FD6 Time : 0.0 sec. user=mdettweiler [2017-05-21 09:09:05] 779*2^1454580-1 is not prime. Res64: 28A2444B02D96C0C Time : 0.0 sec. user=mdettweiler [2017-05-21 09:09:05] 797*2^1454580-1 is not prime. Res64: 6761B013712143C0 Time : 0.0 sec. user=mdettweiler [2017-05-21 09:09:05] 803*2^1454580-1 is not prime. Res64: 60865D2F21A1A45C Time : 0.0 sec. user=mdettweiler [2017-05-21 09:09:06] 819*2^1454580-1 is not prime. Res64: 7111F845790B5EEF Time : 0.0 sec. user=mdettweiler [2017-05-21 09:16:00] 839*2^1454580-1 is not prime. Res64: 9C6C926F880F1279 Time : 0.0 sec. user=mdettweiler [2017-05-21 09:16:00] 845*2^1454580-1 is not prime. Res64: EAC7255CDD1424E6 Time : 0.0 sec. user=mdettweiler [2017-05-21 09:16:00] 857*2^1454580-1 is not prime. Res64: F0DBD81A19B3DE06 Time : 0.0 sec. user=mdettweiler [2017-05-21 09:16:01] 923*2^1454580-1 is not prime. Res64: 812ACE0451D4911B Time : 0.0 sec. user=mdettweiler [2017-05-21 09:16:01] 965*2^1454580-1 is not prime. Res64: A90836385C687B33 Time : 0.0 sec. user=mdettweiler [2017-05-21 09:16:26] 619*2^1454581-1 is not prime. Res64: 5BCC322FBB3EC6EE Time : 0.0 sec. user=mdettweiler [2017-05-21 09:16:26] 745*2^1454581-1 is not prime. Res64: 290FA2383EABCFBD Time : 0.0 sec. user=mdettweiler [2017-05-21 09:16:26] 819*2^1454581-1 is not prime. Res64: B09ADE8FA19309BE Time : 0.0 sec. user=mdettweiler [2017-05-21 09:16:27] 871*2^1454581-1 is not prime. Res64: 9524D83FB638F680 Time : 0.0 sec. user=mdettweiler [2017-05-21 09:16:27] 877*2^1454581-1 is not prime. Res64: 0C369D23B7FB46AA Time : 0.0 sec. user=odicin [2017-05-21 09:18:42] 893*2^1454582-1 is not prime. Res64: EFB8B5F0E2FB6F0D Time : 0.0 sec. user=mdettweiler [2017-05-21 09:36:27] 939*2^1454581-1 is not prime. Res64: 6416BA11BEC3B316 Time : 0.0 sec. user=mdettweiler [2017-05-21 09:36:28] 955*2^1454581-1 is not prime. Res64: E68D2C75021678B8 Time : 0.0 sec. user=mdettweiler [2017-05-21 09:36:28] 617*2^1454582-1 is not prime. Res64: 6902DAB1CC2510A5 Time : 0.0 sec. user=mdettweiler [2017-05-21 09:36:29] 743*2^1454582-1 is not prime. Res64: 0A2816A3050BBE6E Time : 0.0 sec. user=mdettweiler [2017-05-21 09:36:29] 815*2^1454582-1 is not prime. Res64: 65FC48FE3513D1A7 Time : 0.0 sec. user=mdettweiler [2017-05-21 09:54:43] 921*2^1454582-1 is not prime. Res64: 38F8034DEECCAB1F Time : 0.0 sec. user=mdettweiler [2017-05-21 09:54:43] 923*2^1454582-1 is not prime. Res64: C9E1EA5F01838B8E Time : 0.0 sec. user=mdettweiler [2017-05-21 09:54:44] 963*2^1454582-1 is not prime. Res64: F3AF69194E4FB1A8 Time : 0.0 sec. user=mdettweiler [2017-05-21 09:54:44] 709*2^1454583-1 is not prime. Res64: 49B397E5C5905784 Time : 0.0 sec. user=mdettweiler [2017-05-21 09:54:44] 741*2^1454583-1 is not prime. Res64: 418C521E9B44D5B1 Time : 0.0 sec. user=mdettweiler [2017-05-21 10:01:52] 819*2^1454583-1 is not prime. Res64: DD9AA8B19399A157 Time : 0.0 sec. user=mdettweiler [2017-05-21 10:01:53] 831*2^1454583-1 is not prime. Res64: 178D2F4FAE4DC014 Time : 0.0 sec. user=mdettweiler [2017-05-21 10:01:53] 879*2^1454583-1 is not prime. Res64: 5CCFA25C8DE79317 Time : 0.0 sec. user=mdettweiler [2017-05-21 10:01:54] 955*2^1454583-1 is not prime. Res64: 4175CA514FFFE1D7 Time : 0.0 sec. user=mdettweiler [2017-05-21 10:01:54] 961*2^1454583-1 is not prime. Res64: 4F0D356634F6E1D1 Time : 0.0 sec. user=mdettweiler [2017-05-21 10:02:00] 629*2^1454584-1 is not prime. Res64: 9C1EDE2D9CAE1F21 Time : 0.0 sec. user=mdettweiler [2017-05-21 10:02:00] 905*2^1454584-1 is not prime. Res64: 17FFFE172528F7CC Time : 0.0 sec. user=mdettweiler [2017-05-21 10:02:01] 601*2^1454585-1 is not prime. Res64: 6AA4FE8AB966C9CA Time : 0.0 sec. user=mdettweiler [2017-05-21 10:02:02] 697*2^1454585-1 is not prime. Res64: 868AACA6A6BC704B Time : 0.0 sec. user=mdettweiler [2017-05-21 10:02:02] 711*2^1454585-1 is not prime. Res64: D31C30AAF0EF91BC Time : 0.0 sec. user=mdettweiler [2017-05-21 10:22:22] 811*2^1454585-1 is not prime. Res64: 45658DF46AB65F1E Time : 0.0 sec. user=mdettweiler [2017-05-21 10:22:22] 841*2^1454585-1 is not prime. Res64: F06D3343F4B2E184 Time : 0.0 sec. user=mdettweiler [2017-05-21 10:22:23] 861*2^1454585-1 is not prime. Res64: E0405F8D8AF168F6 Time : 0.0 sec. user=mdettweiler [2017-05-21 10:22:23] 867*2^1454585-1 is not prime. Res64: 9FD8BAA388C0E332 Time : 0.0 sec. user=mdettweiler [2017-05-21 10:22:23] 985*2^1454585-1 is not prime. Res64: 1FE7834C4CD777C3 Time : 0.0 sec. user=juhehe [2017-05-21 10:36:03] 891*2^1454586-1 is not prime. Res64: 82FC3E0CD1A81C9B Time : 0.0 sec. user=mdettweiler [2017-05-21 10:40:29] 647*2^1454586-1 is not prime. Res64: EB65F88DB6FE704C Time : 0.0 sec. user=mdettweiler [2017-05-21 10:40:29] 671*2^1454586-1 is not prime. Res64: 021917A2820A3429 Time : 0.0 sec. user=mdettweiler [2017-05-21 10:40:30] 735*2^1454586-1 is not prime. Res64: 0A7732DDF2C83F6C Time : 0.0 sec. user=mdettweiler [2017-05-21 10:40:30] 851*2^1454586-1 is not prime. Res64: 00544A7FDB84A724 Time : 0.0 sec. user=mdettweiler [2017-05-21 10:40:30] 873*2^1454586-1 is not prime. Res64: 1AE76C80FF71D961 Time : 0.0 sec. user=mdettweiler [2017-05-21 10:47:59] 871*2^1454587-1 is not prime. Res64: BCD0097AEDBCE79F Time : 0.0 sec. user=mdettweiler [2017-05-21 10:47:59] 951*2^1454587-1 is not prime. Res64: 2C727A43A298AF4A Time : 0.0 sec. user=mdettweiler [2017-05-21 10:47:59] 973*2^1454587-1 is not prime. Res64: 39054BF0FE52554B Time : 0.0 sec. user=mdettweiler [2017-05-21 10:48:00] 825*2^1454588-1 is not prime. Res64: 0D9F9C4F2951B51F Time : 0.0 sec. user=mdettweiler [2017-05-21 10:48:00] 827*2^1454588-1 is not prime. Res64: B0BD05677AFE2F30 Time : 0.0 sec. user=mdettweiler [2017-05-21 10:48:30] 993*2^1454586-1 is not prime. Res64: 24BE23125EBD2E18 Time : 0.0 sec. user=mdettweiler [2017-05-21 10:48:30] 639*2^1454587-1 is not prime. Res64: A2764859144C6A06 Time : 0.0 sec. user=mdettweiler [2017-05-21 10:48:30] 735*2^1454587-1 is not prime. Res64: BE68AAD8A08C7A71 Time : 0.0 sec. user=mdettweiler [2017-05-21 10:48:31] 741*2^1454587-1 is not prime. Res64: B7DADFF10FEE09F9 Time : 0.0 sec. user=mdettweiler [2017-05-21 10:48:31] 849*2^1454587-1 is not prime. Res64: D05F5EC75BBDE442 Time : 0.0 sec. user=mdettweiler [2017-05-21 11:08:55] 977*2^1454588-1 is not prime. Res64: E0D481C8EED90D56 Time : 0.0 sec. user=mdettweiler [2017-05-21 11:09:00] 987*2^1454588-1 is not prime. Res64: EDFE9CEF69EE4DA5 Time : 0.0 sec. user=mdettweiler [2017-05-21 11:09:03] 625*2^1454589-1 is not prime. Res64: 309BEF0D0FB61301 Time : 0.0 sec. user=mdettweiler [2017-05-21 11:09:07] 747*2^1454589-1 is not prime. Res64: 5755F87BAD0DED86 Time : 0.0 sec. user=mdettweiler [2017-05-21 11:09:09] 765*2^1454589-1 is not prime. Res64: 782CA1AF2B59962D Time : 0.0 sec. user=mdettweiler [2017-05-21 11:26:59] 837*2^1454589-1 is not prime. Res64: DD3EECE19BD25173 Time : 0.0 sec. user=mdettweiler [2017-05-21 11:26:59] 765*2^1454590-1 is not prime. Res64: 19AEB05D3147A9F5 Time : 0.0 sec. user=mdettweiler [2017-05-21 11:27:00] 783*2^1454590-1 is not prime. Res64: 6B3D9AC113D9FD00 Time : 0.0 sec. user=mdettweiler [2017-05-21 11:27:00] 813*2^1454590-1 is not prime. Res64: 7D3E6669C4D29773 Time : 0.0 sec. user=mdettweiler [2017-05-21 11:27:00] 825*2^1454590-1 is not prime. Res64: EFF56D213BE707AF Time : 0.0 sec. user=mdettweiler [2017-05-21 11:33:52] 843*2^1454590-1 is not prime. Res64: F3F5A386602FBA67 Time : 0.0 sec. user=mdettweiler [2017-05-21 11:33:52] 861*2^1454590-1 is not prime. Res64: A3ED36C5E0ACC80E Time : 0.0 sec. user=mdettweiler [2017-05-21 11:33:53] 971*2^1454590-1 is not prime. Res64: E96CF5BC0C0800E6 Time : 0.0 sec. user=mdettweiler [2017-05-21 11:33:53] 735*2^1454591-1 is not prime. Res64: 2DFF30052F34A6EE Time : 0.0 sec. user=mdettweiler [2017-05-21 11:33:53] 781*2^1454591-1 is not prime. Res64: 30C3E8A4901C6D16 Time : 0.0 sec. user=mdettweiler [2017-05-21 11:34:34] 783*2^1454591-1 is not prime. Res64: BFD62F5FA0BB9115 Time : 0.0 sec. user=mdettweiler [2017-05-21 11:34:34] 895*2^1454591-1 is not prime. Res64: 61EF9BB55C44662A Time : 0.0 sec. user=mdettweiler [2017-05-21 11:34:35] 609*2^1454592-1 is not prime. Res64: 2065ED730065C584 Time : 0.0 sec. user=mdettweiler [2017-05-21 11:34:35] 629*2^1454592-1 is not prime. Res64: 6EF0311996C8F1BA Time : 0.0 sec. user=mdettweiler [2017-05-21 11:34:35] 675*2^1454592-1 is not prime. Res64: 121C1D4BE4104329 Time : 0.0 sec. user=mdettweiler [2017-05-21 11:55:21] 819*2^1454592-1 is not prime. Res64: 67A9AC083F951029 Time : 0.0 sec. user=mdettweiler [2017-05-21 11:55:21] 863*2^1454592-1 is not prime. Res64: E3BFFBC29819925B Time : 0.0 sec. user=mdettweiler [2017-05-21 11:55:22] 903*2^1454592-1 is not prime. Res64: 78BE89A13A2B9137 Time : 0.0 sec. user=mdettweiler [2017-05-21 11:55:22] 929*2^1454592-1 is not prime. Res64: 308E27C4EA5163AF Time : 0.0 sec. user=mdettweiler [2017-05-21 11:55:22] 945*2^1454592-1 is not prime. Res64: D75283E56A4386F1 Time : 0.0 sec. user=mdettweiler [2017-05-21 12:12:59] 637*2^1454593-1 is not prime. Res64: 59CC7CFA35593130 Time : 0.0 sec. user=mdettweiler [2017-05-21 12:13:00] 639*2^1454593-1 is not prime. Res64: 805DF330F0251E90 Time : 0.0 sec. user=mdettweiler [2017-05-21 12:13:00] 765*2^1454593-1 is not prime. Res64: B502E4E6B38EECB2 Time : 0.0 sec. user=mdettweiler [2017-05-21 12:13:00] 801*2^1454593-1 is not prime. Res64: 2D9160A1AEE9BC14 Time : 0.0 sec. user=mdettweiler [2017-05-21 12:13:01] 807*2^1454593-1 is not prime. Res64: 137A0B8111B46D7E Time : 0.0 sec. user=mdettweiler [2017-05-21 12:19:46] 817*2^1454593-1 is not prime. Res64: 0BC02F17670D74FA Time : 0.0 sec. user=mdettweiler [2017-05-21 12:19:47] 855*2^1454593-1 is not prime. Res64: C9E3A458A16456E4 Time : 0.0 sec. user=mdettweiler [2017-05-21 12:19:47] 985*2^1454593-1 is not prime. Res64: 7DB72E8F198E628B Time : 0.0 sec. user=mdettweiler [2017-05-21 12:19:47] 701*2^1454594-1 is not prime. Res64: 75BE6EB1ED6E28A0 Time : 0.0 sec. user=mdettweiler [2017-05-21 12:19:48] 743*2^1454594-1 is not prime. Res64: F883739E49F9035D Time : 0.0 sec. user=mdettweiler [2017-05-21 12:20:33] 773*2^1454594-1 is not prime. Res64: 1158F5708280E1D8 Time : 0.0 sec. user=mdettweiler [2017-05-21 12:20:33] 783*2^1454594-1 is not prime. Res64: A35560AD69C716D7 Time : 0.0 sec. user=mdettweiler [2017-05-21 12:20:33] 791*2^1454594-1 is not prime. Res64: 964ABB02903570E5 Time : 0.0 sec. user=mdettweiler [2017-05-21 12:20:33] 915*2^1454594-1 is not prime. Res64: 75AA881A144B0D6F Time : 0.0 sec. user=mdettweiler [2017-05-21 12:20:34] 971*2^1454594-1 is not prime. Res64: 1DB7E626D5B2E492 Time : 0.0 sec. user=juhehe [2017-05-21 12:35:18] 985*2^1454595-1 is not prime. Res64: 4975BDE73DA03727 Time : 0.0 sec. user=mdettweiler [2017-05-21 12:41:07] 1001*2^1454594-1 is not prime. Res64: 40BEE7A682455E54 Time : 0.0 sec. user=mdettweiler [2017-05-21 12:41:07] 735*2^1454595-1 is not prime. Res64: A820FFB26D7A2D82 Time : 0.0 sec. user=mdettweiler [2017-05-21 12:41:07] 783*2^1454595-1 is not prime. Res64: A9DAED1EDD05CA89 Time : 0.0 sec. user=mdettweiler [2017-05-21 12:41:07] 789*2^1454595-1 is not prime. Res64: FA3A80CB8440C02F Time : 0.0 sec. user=mdettweiler [2017-05-21 12:41:08] 885*2^1454595-1 is not prime. Res64: 4767EB31CB22FF77 Time : 0.0 sec. user=mdettweiler [2017-05-21 12:59:26] 647*2^1454596-1 is not prime. Res64: 5F8717822158A884 Time : 0.0 sec. user=mdettweiler [2017-05-21 12:59:26] 657*2^1454596-1 is not prime. Res64: 70481DD62917A7BA Time : 0.0 sec. user=mdettweiler [2017-05-21 12:59:26] 779*2^1454596-1 is not prime. Res64: F3BB0EC96A6B2338 Time : 0.0 sec. user=mdettweiler [2017-05-21 12:59:27] 785*2^1454596-1 is not prime. Res64: 6B962366E0C71D00 Time : 0.0 sec. user=mdettweiler [2017-05-21 12:59:27] 843*2^1454596-1 is not prime. Res64: D9F3DCA58AD36A12 Time : 0.0 sec. user=mdettweiler [2017-05-21 13:05:55] 903*2^1454596-1 is not prime. Res64: 0ACDBBFB953FA07C Time : 0.0 sec. user=mdettweiler [2017-05-21 13:05:58] 989*2^1454596-1 is not prime. Res64: 2511986F14647EC7 Time : 0.0 sec. user=mdettweiler [2017-05-21 13:06:00] 615*2^1454597-1 is not prime. Res64: 4CE6DE697F3C92A0 Time : 0.0 sec. user=mdettweiler [2017-05-21 13:06:01] 735*2^1454597-1 is not prime. Res64: 7B44870BA6700E25 Time : 0.0 sec. user=mdettweiler [2017-05-21 13:06:03] 747*2^1454597-1 is not prime. Res64: 08E7D14E09058E00 Time : 0.0 sec. user=mdettweiler [2017-05-21 13:06:47] 795*2^1454597-1 is not prime. Res64: 4D3F148E38D36990 Time : 0.0 sec. user=mdettweiler [2017-05-21 13:06:48] 837*2^1454597-1 is not prime. Res64: AD1770321614092E Time : 0.0 sec. user=mdettweiler [2017-05-21 13:06:49] 939*2^1454597-1 is not prime. Res64: 244520D32539A89C Time : 0.0 sec. user=mdettweiler [2017-05-21 13:06:49] 621*2^1454598-1 is not prime. Res64: 39FED1E0ECABE4D4 Time : 0.0 sec. user=mdettweiler [2017-05-21 13:06:50] 677*2^1454598-1 is not prime. Res64: 824A0555FF5B310E Time : 0.0 sec. user=mdettweiler [2017-05-21 13:27:01] 725*2^1454598-1 is not prime. Res64: F4A59943B29F3E15 Time : 0.0 sec. user=mdettweiler [2017-05-21 13:27:01] 861*2^1454598-1 is not prime. Res64: 7A0B6D39363D1486 Time : 0.0 sec. user=mdettweiler [2017-05-21 13:27:02] 881*2^1454598-1 is not prime. Res64: D70156B7505AD2D8 Time : 0.0 sec. user=mdettweiler [2017-05-21 13:27:02] 977*2^1454598-1 is not prime. Res64: 86786C480ADFFDAA Time : 0.0 sec. user=mdettweiler [2017-05-21 13:27:02] 661*2^1454599-1 is not prime. Res64: 125ECC2A90A6C00B Time : 0.0 sec. user=mdettweiler [2017-05-21 13:45:37] 775*2^1454599-1 is not prime. Res64: 58DFF757B512351C Time : 0.0 sec. user=mdettweiler [2017-05-21 13:45:37] 859*2^1454599-1 is not prime. Res64: A6F61498A5BADDED Time : 0.0 sec. user=mdettweiler [2017-05-21 13:45:38] 961*2^1454599-1 is not prime. Res64: CD7FC8A97CCE7535 Time : 0.0 sec. user=mdettweiler [2017-05-21 13:45:38] 777*2^1454600-1 is not prime. Res64: 5044A1AD2556025A Time : 0.0 sec. user=mdettweiler [2017-05-21 13:45:38] 845*2^1454600-1 is not prime. Res64: 3F5C73C721435F82 Time : 0.0 sec. user=mdettweiler [2017-05-21 13:52:48] 915*2^1454600-1 is not prime. Res64: 0BB4DF9AA34EA4F8 Time : 0.0 sec. user=mdettweiler [2017-05-21 13:52:49] 923*2^1454600-1 is not prime. Res64: DA06F742D1E1E9B6 Time : 0.0 sec. user=mdettweiler [2017-05-21 13:52:49] 935*2^1454600-1 is not prime. Res64: 289BCF5F598F3DF0 Time : 0.0 sec. user=mdettweiler [2017-05-21 13:52:49] 957*2^1454600-1 is not prime. Res64: 574D089C40EDFD90 Time : 0.0 sec. user=mdettweiler [2017-05-21 13:52:49] 709*2^1454601-1 is not prime. Res64: BA288D36EE590BE5 Time : 0.0 sec. user=mdettweiler [2017-05-21 13:53:10] 781*2^1454601-1 is not prime. Res64: 84F40D2F6F87A9A2 Time : 0.0 sec. user=mdettweiler [2017-05-21 13:53:11] 871*2^1454601-1 is not prime. Res64: AC7E4A4E8BB6D35B Time : 0.0 sec. user=mdettweiler [2017-05-21 13:53:11] 895*2^1454601-1 is not prime. Res64: D932FB15D6094616 Time : 0.0 sec. user=mdettweiler [2017-05-21 13:53:11] 617*2^1454602-1 is not prime. Res64: 01C73DABECC2DEBC Time : 0.0 sec. user=mdettweiler [2017-05-21 13:53:12] 681*2^1454602-1 is not prime. Res64: B12D82B7B83D6F32 Time : 0.0 sec. user=mdettweiler [2017-05-21 14:13:34] 741*2^1454602-1 is not prime. Res64: C3FB82838BDCA623 Time : 0.0 sec. user=mdettweiler [2017-05-21 14:13:35] 765*2^1454602-1 is not prime. Res64: 5C54902389E0E511 Time : 0.0 sec. user=mdettweiler [2017-05-21 14:13:35] 825*2^1454602-1 is not prime. Res64: 98C53FC2390809B8 Time : 0.0 sec. user=mdettweiler [2017-05-21 14:13:35] 855*2^1454602-1 is not prime. Res64: C27E8051C694FB4D Time : 0.0 sec. user=mdettweiler [2017-05-21 14:13:36] 947*2^1454602-1 is not prime. Res64: 3F90732DFD2C8BDD Time : 0.0 sec. user=mdettweiler [2017-05-21 14:32:16] 621*2^1454603-1 is not prime. Res64: CC3491CD371705F1 Time : 0.0 sec. user=mdettweiler [2017-05-21 14:32:16] 741*2^1454603-1 is not prime. Res64: E72ACB3BD9080480 Time : 0.0 sec. user=mdettweiler [2017-05-21 14:32:16] 781*2^1454603-1 is not prime. Res64: 8B08F2A72CDCE480 Time : 0.0 sec. user=mdettweiler [2017-05-21 14:32:16] 895*2^1454603-1 is not prime. Res64: 352D603350E8989F Time : 0.0 sec. user=mdettweiler [2017-05-21 14:32:16] 969*2^1454603-1 is not prime. Res64: 8FDA89EF90402F1A Time : 0.0 sec. user=juhehe [2017-05-21 14:34:43] 997*2^1454605-1 is not prime. Res64: 22F08E68C6D60430 Time : 0.0 sec. user=mdettweiler [2017-05-21 14:39:04] 825*2^1454604-1 is not prime. Res64: 5A29890BFAA39EDB Time : 0.0 sec. user=mdettweiler [2017-05-21 14:39:04] 893*2^1454604-1 is not prime. Res64: 7B4B5DA484E62C42 Time : 0.0 sec. user=mdettweiler [2017-05-21 14:39:05] 929*2^1454604-1 is not prime. Res64: BBAEA2608F743AC4 Time : 0.0 sec. user=mdettweiler [2017-05-21 14:39:05] 945*2^1454604-1 is not prime. Res64: 7365A5B419B4582C Time : 0.0 sec. user=mdettweiler [2017-05-21 14:39:05] 965*2^1454604-1 is not prime. Res64: 69D3B65D09DB9D4D Time : 0.0 sec. user=mdettweiler [2017-05-21 14:39:38] 609*2^1454605-1 is not prime. Res64: A4F927E52B9AC256 Time : 0.0 sec. user=mdettweiler [2017-05-21 14:39:38] 667*2^1454605-1 is not prime. Res64: 64A479B345C81A08 Time : 0.0 sec. user=mdettweiler [2017-05-21 14:39:38] 721*2^1454605-1 is not prime. Res64: ADCD5B44766AE666 Time : 0.0 sec. user=mdettweiler [2017-05-21 14:39:39] 757*2^1454605-1 is not prime. Res64: 992046E91872F52C Time : 0.0 sec. user=mdettweiler [2017-05-21 14:39:39] 885*2^1454605-1 is not prime. Res64: 03DECC4BE2C8FB3F Time : 0.0 sec. user=mdettweiler [2017-05-21 14:59:56] 641*2^1454606-1 is not prime. Res64: 9E5E335103604BA4 Time : 0.0 sec. user=mdettweiler [2017-05-21 14:59:56] 683*2^1454606-1 is not prime. Res64: DCB08E03E7E3851C Time : 0.0 sec. user=mdettweiler [2017-05-21 14:59:56] 705*2^1454606-1 is not prime. Res64: EB8BB747AE9FBD27 Time : 0.0 sec. user=mdettweiler [2017-05-21 14:59:57] 827*2^1454606-1 is not prime. Res64: E344090E21F6A8FB Time : 0.0 sec. user=mdettweiler [2017-05-21 14:59:57] 867*2^1454606-1 is not prime. Res64: 774F527F000F983C Time : 0.0 sec. user=mdettweiler [2017-05-21 15:17:56] 941*2^1454606-1 is not prime. Res64: 48FAE54DCA6B7DC3 Time : 0.0 sec. user=mdettweiler [2017-05-21 15:17:57] 625*2^1454607-1 is not prime. Res64: 310B9C5EDFA8661C Time : 0.0 sec. user=mdettweiler [2017-05-21 15:17:57] 693*2^1454607-1 is not prime. Res64: 77A5E577A3DD657C Time : 0.0 sec. user=mdettweiler [2017-05-21 15:17:57] 703*2^1454607-1 is not prime. Res64: B07671268E31708A Time : 0.0 sec. user=mdettweiler [2017-05-21 15:17:58] 739*2^1454607-1 is not prime. Res64: FFF75A988990F1B9 Time : 0.0 sec. user=mdettweiler [2017-05-21 15:25:05] 795*2^1454607-1 is not prime. Res64: 854CB4A39358C78B Time : 0.0 sec. user=mdettweiler [2017-05-21 15:25:05] 885*2^1454607-1 is not prime. Res64: 87A1E870266D1ED8 Time : 0.0 sec. user=mdettweiler [2017-05-21 15:25:05] 639*2^1454608-1 is not prime. Res64: 84FC055FB65C9545 Time : 0.0 sec. user=mdettweiler [2017-05-21 15:25:05] 705*2^1454608-1 is not prime. Res64: 9F691081565476E5 Time : 0.0 sec. user=mdettweiler [2017-05-21 15:25:05] 747*2^1454608-1 is not prime. Res64: 06A6E271F5332C3B Time : 0.0 sec. user=mdettweiler [2017-05-21 15:25:37] 887*2^1454608-1 is not prime. Res64: FB39790CEC092329 Time : 0.0 sec. user=mdettweiler [2017-05-21 15:25:38] 923*2^1454608-1 is not prime. Res64: B7A52668178AE1AF Time : 0.0 sec. user=mdettweiler [2017-05-21 15:25:38] 989*2^1454608-1 is not prime. Res64: 67132D0FBB4CAFED Time : 0.0 sec. user=mdettweiler [2017-05-21 15:25:38] 691*2^1454609-1 is not prime. Res64: E36E1776E2220FD7 Time : 0.0 sec. user=mdettweiler [2017-05-21 15:25:38] 727*2^1454609-1 is not prime. Res64: 8093B18C1D5F99A9 Time : 0.0 sec. user=FritzsHero [2017-05-21 15:33:58] 625*2^1454509-1 is not prime. Res64: 4C33ABDA471A5005 Time : 0.0 sec. user=FritzsHero [2017-05-21 15:36:33] 951*2^1454509-1 is not prime. Res64: 2046E25963D3BE55 Time : 0.0 sec. user=mdettweiler [2017-05-21 15:46:32] 865*2^1454609-1 is not prime. Res64: 8D9CC6FE9EEA21F5 Time : 0.0 sec. user=mdettweiler [2017-05-21 15:46:33] 909*2^1454609-1 is not prime. Res64: 770DEDAA9D866CB6 Time : 0.0 sec. user=mdettweiler [2017-05-21 15:46:33] 955*2^1454609-1 is not prime. Res64: 6C925ACFD5AC8089 Time : 0.0 sec. user=mdettweiler [2017-05-21 15:46:33] 997*2^1454609-1 is not prime. Res64: F8ED033FCB439F97 Time : 0.0 sec. user=mdettweiler [2017-05-21 15:46:33] 641*2^1454610-1 is not prime. Res64: CF6FEF2960328F40 Time : 0.0 sec. user=mdettweiler [2017-05-21 16:04:24] 677*2^1454610-1 is not prime. Res64: CA76AED90EAC689D Time : 0.0 sec. user=mdettweiler [2017-05-21 16:04:26] 797*2^1454610-1 is not prime. Res64: C09501DAFDD254E3 Time : 0.0 sec. user=mdettweiler [2017-05-21 16:04:27] 861*2^1454610-1 is not prime. Res64: BD8FAF7718EFB9E3 Time : 0.0 sec. user=mdettweiler [2017-05-21 16:04:28] 691*2^1454611-1 is not prime. Res64: 59C8D7D04F13893E Time : 0.0 sec. user=mdettweiler [2017-05-21 16:04:28] 813*2^1454611-1 is not prime. Res64: D5C04E8C39184250 Time : 0.0 sec. user=mdettweiler [2017-05-21 16:12:10] 885*2^1454611-1 is not prime. Res64: 06406871016CDAEC Time : 0.0 sec. user=mdettweiler [2017-05-21 16:12:10] 617*2^1454612-1 is not prime. Res64: 5FC70EEBA5909551 Time : 0.0 sec. user=mdettweiler [2017-05-21 16:12:11] 873*2^1454612-1 is not prime. Res64: ACFA8C18A5BD8E8E Time : 0.0 sec. user=mdettweiler [2017-05-21 16:12:11] 885*2^1454612-1 is not prime. Res64: D8738207795ECB06 Time : 0.0 sec. user=mdettweiler [2017-05-21 16:12:11] 903*2^1454612-1 is not prime. Res64: 6B3F588E98B952AC Time : 0.0 sec. user=mdettweiler [2017-05-21 16:12:56] 929*2^1454612-1 is not prime. Res64: DF01E7FBA85EDEDB Time : 0.0 sec. user=mdettweiler [2017-05-21 16:12:56] 999*2^1454612-1 is not prime. Res64: 67A9F28CC2BFBA21 Time : 0.0 sec. user=mdettweiler [2017-05-21 16:12:56] 795*2^1454613-1 is not prime. Res64: B76E5B5D9D292516 Time : 0.0 sec. user=mdettweiler [2017-05-21 16:12:56] 847*2^1454613-1 is not prime. Res64: 0471D2CF3052070E Time : 0.0 sec. user=mdettweiler [2017-05-21 16:12:57] 915*2^1454613-1 is not prime. Res64: C2DB36534E660B26 Time : 0.0 sec. user=mdettweiler [2017-05-21 16:34:28] 833*2^1454614-1 is not prime. Res64: 5A74E404E4E45502 Time : 0.0 sec. user=mdettweiler [2017-05-21 16:34:28] 881*2^1454614-1 is not prime. Res64: 9711F95BE915315E Time : 0.0 sec. user=mdettweiler [2017-05-21 16:34:28] 885*2^1454614-1 is not prime. Res64: 0D0C22CE1D03A497 Time : 0.0 sec. user=mdettweiler [2017-05-21 16:34:28] 609*2^1454615-1 is not prime. Res64: A252560B6C61FEA7 Time : 0.0 sec. user=mdettweiler [2017-05-21 16:34:29] 693*2^1454615-1 is not prime. Res64: C790E0F7BB9EED1C Time : 0.0 sec. user=juhehe [2017-05-21 16:34:57] 789*2^1454615-1 is not prime. Res64: 33F20206F3CA92F7 Time : 0.0 sec. user=mdettweiler [2017-05-21 16:52:21] 991*2^1454615-1 is not prime. Res64: DE075BC071DD281B Time : 0.0 sec. user=mdettweiler [2017-05-21 16:52:22] 999*2^1454615-1 is not prime. Res64: 73B18D131D5A77AD Time : 0.0 sec. user=mdettweiler [2017-05-21 16:52:22] 615*2^1454616-1 is not prime. Res64: 97EBD4818993BE71 Time : 0.0 sec. user=mdettweiler [2017-05-21 16:52:22] 707*2^1454616-1 is not prime. Res64: CA5AE5F2AE8A412A Time : 0.0 sec. user=mdettweiler [2017-05-21 16:52:23] 773*2^1454616-1 is not prime. Res64: BE7F977484BB8E5A Time : 0.0 sec. user=mdettweiler [2017-05-21 16:58:47] 999*2^1454616-1 is not prime. Res64: 3E9962F871349D16 Time : 0.0 sec. user=mdettweiler [2017-05-21 16:58:47] 645*2^1454617-1 is not prime. Res64: EE29F80D08BEF518 Time : 0.0 sec. user=mdettweiler [2017-05-21 16:58:48] 729*2^1454617-1 is not prime. Res64: DF58F30932DC9A8C Time : 0.0 sec. user=mdettweiler [2017-05-21 16:58:48] 741*2^1454617-1 is not prime. Res64: 206A166BCE6FB057 Time : 0.0 sec. user=mdettweiler [2017-05-21 16:58:48] 769*2^1454617-1 is not prime. Res64: C4FB072215889A1F Time : 0.0 sec. user=mdettweiler [2017-05-21 16:59:51] 799*2^1454617-1 is not prime. Res64: E82BAD1591A2649D Time : 0.0 sec. user=mdettweiler [2017-05-21 16:59:51] 847*2^1454617-1 is not prime. Res64: 2E95D5C3FC688451 Time : 0.0 sec. user=mdettweiler [2017-05-21 16:59:52] 885*2^1454617-1 is not prime. Res64: 4073186A58D74820 Time : 0.0 sec. user=mdettweiler [2017-05-21 16:59:52] 889*2^1454617-1 is not prime. Res64: EFF7D4926667AAB9 Time : 0.0 sec. user=mdettweiler [2017-05-21 16:59:52] 919*2^1454617-1 is not prime. Res64: E239DA563F8B1114 Time : 0.0 sec. user=mdettweiler [2017-05-21 17:20:07] 955*2^1454617-1 is not prime. Res64: FB237F6757C27CE0 Time : 0.0 sec. user=mdettweiler [2017-05-21 17:20:08] 603*2^1454618-1 is not prime. Res64: 85AB4B27614E1E01 Time : 0.0 sec. user=mdettweiler [2017-05-21 17:20:08] 641*2^1454618-1 is not prime. Res64: 5CEEADB331C69925 Time : 0.0 sec. user=mdettweiler [2017-05-21 17:20:09] 665*2^1454618-1 is not prime. Res64: 7C33236B0B1B4B05 Time : 0.0 sec. user=mdettweiler [2017-05-21 17:20:09] 767*2^1454618-1 is not prime. Res64: 6E99710FB47B5B19 Time : 0.0 sec. user=mdettweiler [2017-05-21 17:38:13] 813*2^1454618-1 is not prime. Res64: ADDEF022C465ADE4 Time : 0.0 sec. user=mdettweiler [2017-05-21 17:38:13] 833*2^1454618-1 is not prime. Res64: 3937A93BE67A415D Time : 0.0 sec. user=mdettweiler [2017-05-21 17:38:13] 987*2^1454618-1 is not prime. Res64: 50543AC7AF77BCE5 Time : 0.0 sec. user=mdettweiler [2017-05-21 17:38:14] 621*2^1454619-1 is not prime. Res64: 5FB2EAC935127001 Time : 0.0 sec. user=mdettweiler [2017-05-21 17:38:14] 795*2^1454619-1 is not prime. Res64: 401936FB0C51C9EA Time : 0.0 sec. user=mdettweiler [2017-05-21 17:44:27] 801*2^1454619-1 is not prime. Res64: D44F3278DDC1F6C0 Time : 0.0 sec. user=mdettweiler [2017-05-21 17:44:27] 861*2^1454619-1 is not prime. Res64: 482B95E7AA2D6498 Time : 0.0 sec. user=mdettweiler [2017-05-21 17:44:27] 921*2^1454619-1 is not prime. Res64: BC2B6BC16A9304E9 Time : 0.0 sec. user=mdettweiler [2017-05-21 17:44:28] 609*2^1454620-1 is not prime. Res64: D2F13C6D8BE9D6DD Time : 0.0 sec. user=mdettweiler [2017-05-21 17:44:28] 755*2^1454620-1 is not prime. Res64: E959BC67417646F5 Time : 0.0 sec. user=mdettweiler [2017-05-21 17:45:46] 777*2^1454620-1 is not prime. Res64: 2FED18DC3C2B33F7 Time : 0.0 sec. user=mdettweiler [2017-05-21 17:45:46] 813*2^1454620-1 is not prime. Res64: ECB6B93D35FDF966 Time : 0.0 sec. user=mdettweiler [2017-05-21 17:45:46] 825*2^1454620-1 is not prime. Res64: 6698AC939D0C98ED Time : 0.0 sec. user=mdettweiler [2017-05-21 17:45:46] 927*2^1454620-1 is not prime. Res64: 35C3F3FD7B477AC8 Time : 0.0 sec. user=mdettweiler [2017-05-21 17:45:47] 929*2^1454620-1 is not prime. Res64: 9A1A7F437A3EBF07 Time : 0.0 sec. user=mdettweiler [2017-05-21 18:05:48] 933*2^1454620-1 is not prime. Res64: F5D4F1325B4C8662 Time : 0.0 sec. user=mdettweiler [2017-05-21 18:05:50] 999*2^1454620-1 is not prime. Res64: F7F46A2614FF6820 Time : 0.0 sec. user=mdettweiler [2017-05-21 18:05:52] 715*2^1454621-1 is not prime. Res64: F55CF63AA39C3900 Time : 0.0 sec. user=mdettweiler [2017-05-21 18:05:53] 811*2^1454621-1 is not prime. Res64: 7F62638303696807 Time : 0.0 sec. user=mdettweiler [2017-05-21 18:05:54] 889*2^1454621-1 is not prime. Res64: BF851B63CB222D77 Time : 0.0 sec. user=mdettweiler [2017-05-21 18:23:57] 949*2^1454621-1 is not prime. Res64: 8E65494D334E2B0F Time : 0.0 sec. user=mdettweiler [2017-05-21 18:23:57] 997*2^1454621-1 is not prime. Res64: CF0F9D824CAA7506 Time : 0.0 sec. user=mdettweiler [2017-05-21 18:23:58] 681*2^1454622-1 is not prime. Res64: 8CC5826288C986B2 Time : 0.0 sec. user=mdettweiler [2017-05-21 18:23:58] 711*2^1454622-1 is not prime. Res64: 6A30601809ED96C8 Time : 0.0 sec. user=mdettweiler [2017-05-21 18:23:58] 747*2^1454622-1 is not prime. Res64: FCF9C67927DCD3DE Time : 0.0 sec. user=mdettweiler [2017-05-21 18:30:10] 765*2^1454622-1 is not prime. Res64: ACCB2841B39E1903 Time : 0.0 sec. user=mdettweiler [2017-05-21 18:30:11] 767*2^1454622-1 is not prime. Res64: E3CA342E7F1AD364 Time : 0.0 sec. user=mdettweiler [2017-05-21 18:30:11] 875*2^1454622-1 is not prime. Res64: 8F18A35F23932AC6 Time : 0.0 sec. user=mdettweiler [2017-05-21 18:30:11] 625*2^1454623-1 is not prime. Res64: E080F94925DFECBA Time : 0.0 sec. user=mdettweiler [2017-05-21 18:30:12] 675*2^1454623-1 is not prime. Res64: AF1E7779B537EDED Time : 0.0 sec. user=mdettweiler [2017-05-21 18:31:33] 829*2^1454623-1 is not prime. Res64: 2AC42FFCC7FCA527 Time : 0.0 sec. user=mdettweiler [2017-05-21 18:31:34] 885*2^1454623-1 is not prime. Res64: B857DCCD5EE034FC Time : 0.0 sec. user=mdettweiler [2017-05-21 18:31:34] 919*2^1454623-1 is not prime. Res64: AEFA39FA160521F0 Time : 0.0 sec. user=mdettweiler [2017-05-21 18:31:34] 985*2^1454623-1 is not prime. Res64: 23967080143A676C Time : 0.0 sec. user=mdettweiler [2017-05-21 18:31:34] 993*2^1454623-1 is not prime. Res64: 19AD66CC1F92DF72 Time : 0.0 sec. user=mdettweiler [2017-05-21 18:51:54] 617*2^1454624-1 is not prime. Res64: 7965BFED9DC01D2A Time : 0.0 sec. user=mdettweiler [2017-05-21 18:51:54] 743*2^1454624-1 is not prime. Res64: 58A2FD7DB278F20B Time : 0.0 sec. user=mdettweiler [2017-05-21 18:51:55] 803*2^1454624-1 is not prime. Res64: DA81E523F6B16DD2 Time : 0.0 sec. user=mdettweiler [2017-05-21 18:51:55] 819*2^1454624-1 is not prime. Res64: 208E3CCED7FBA2F4 Time : 0.0 sec. user=mdettweiler [2017-05-21 18:51:55] 843*2^1454624-1 is not prime. Res64: BB188C095CB24731 Time : 0.0 sec. user=mdettweiler [2017-05-21 19:09:58] 893*2^1454624-1 is not prime. Res64: 2A80C54D003D3FE8 Time : 0.0 sec. user=mdettweiler [2017-05-21 19:09:58] 903*2^1454624-1 is not prime. Res64: 5E08BE7255814A16 Time : 0.0 sec. user=mdettweiler [2017-05-21 19:09:58] 945*2^1454624-1 is not prime. Res64: 760C0074787961A8 Time : 0.0 sec. user=mdettweiler [2017-05-21 19:09:58] 957*2^1454624-1 is not prime. Res64: 89EB26333F361ED5 Time : 0.0 sec. user=mdettweiler [2017-05-21 19:09:59] 609*2^1454625-1 is not prime. Res64: D5524C680136C4FA Time : 0.0 sec. user=mdettweiler [2017-05-21 19:15:57] 625*2^1454625-1 is not prime. Res64: AD3FC56EED728B3B Time : 0.0 sec. user=mdettweiler [2017-05-21 19:15:57] 751*2^1454625-1 is not prime. Res64: B650CDEA1974F828 Time : 0.0 sec. user=mdettweiler [2017-05-21 19:15:57] 765*2^1454625-1 is not prime. Res64: F704596BC7F1CCA1 Time : 0.0 sec. user=mdettweiler [2017-05-21 19:15:58] 891*2^1454625-1 is not prime. Res64: 69ED66E6F98DD6CB Time : 0.0 sec. user=mdettweiler [2017-05-21 19:15:58] 895*2^1454625-1 is not prime. Res64: 38EE38553C07D5D3 Time : 0.0 sec. user=mdettweiler [2017-05-21 19:17:35] 985*2^1454625-1 is not prime. Res64: 9991795790F01D89 Time : 0.0 sec. user=mdettweiler [2017-05-21 19:17:35] 999*2^1454625-1 is not prime. Res64: C461926F53945042 Time : 0.0 sec. user=mdettweiler [2017-05-21 19:17:35] 611*2^1454626-1 is not prime. Res64: 435389FA8A07B82D Time : 0.0 sec. user=mdettweiler [2017-05-21 19:17:36] 657*2^1454626-1 is not prime. Res64: 76C7CEB6402846B4 Time : 0.0 sec. user=mdettweiler [2017-05-21 19:17:36] 713*2^1454626-1 is not prime. Res64: BC4EFC410CD1FE41 Time : 0.0 sec. user=odicin [2017-05-21 19:17:52] 715*2^1454627-1 is not prime. Res64: 099A14978B3D0A0F Time : 0.0 sec. user=mdettweiler [2017-05-21 19:37:30] 741*2^1454626-1 is not prime. Res64: 9CE451EA71149989 Time : 0.0 sec. user=mdettweiler [2017-05-21 19:37:30] 825*2^1454626-1 is not prime. Res64: D784192A2D4B25B5 Time : 0.0 sec. user=mdettweiler [2017-05-21 19:37:30] 957*2^1454626-1 is not prime. Res64: FF3C358D78C80549 Time : 0.0 sec. user=mdettweiler [2017-05-21 19:37:30] 981*2^1454626-1 is not prime. Res64: C605A945405BA83D Time : 0.0 sec. user=mdettweiler [2017-05-21 19:37:31] 609*2^1454627-1 is not prime. Res64: B7609CDA52A466C3 Time : 0.0 sec. user=mdettweiler [2017-05-21 19:55:47] 813*2^1454627-1 is not prime. Res64: AF86F4C6F700AB2A Time : 0.0 sec. user=mdettweiler [2017-05-21 19:55:48] 915*2^1454627-1 is not prime. Res64: 3FAC1BC20C07113B Time : 0.0 sec. user=mdettweiler [2017-05-21 19:55:48] 627*2^1454628-1 is not prime. Res64: 878924C8EDA03F97 Time : 0.0 sec. user=mdettweiler [2017-05-21 19:55:48] 635*2^1454628-1 is not prime. Res64: FAEFD216E950E592 Time : 0.0 sec. user=mdettweiler [2017-05-21 19:55:48] 773*2^1454628-1 is not prime. Res64: 1019C23B18893D7A Time : 0.0 sec. user=mdettweiler [2017-05-21 20:01:51] 887*2^1454628-1 is not prime. Res64: BF80EF06D8CB6801 Time : 0.0 sec. user=mdettweiler [2017-05-21 20:01:53] 975*2^1454628-1 is not prime. Res64: A365E70465B74125 Time : 0.0 sec. user=mdettweiler [2017-05-21 20:01:55] 625*2^1454629-1 is not prime. Res64: C584EA736F81205A Time : 0.0 sec. user=mdettweiler [2017-05-21 20:01:56] 639*2^1454629-1 is not prime. Res64: C8DFCFFCC900612D Time : 0.0 sec. user=mdettweiler [2017-05-21 20:01:57] 649*2^1454629-1 is not prime. Res64: F4122DA74AA31826 Time : 0.0 sec. user=mdettweiler [2017-05-21 20:03:27] 741*2^1454629-1 is not prime. Res64: A911F92EDEB014ED Time : 0.0 sec. user=mdettweiler [2017-05-21 20:03:28] 955*2^1454629-1 is not prime. Res64: 49109F5F8734BB95 Time : 0.0 sec. user=mdettweiler [2017-05-21 20:03:29] 663*2^1454630-1 is not prime. Res64: 3FDB1EDEA710D825 Time : 0.0 sec. user=mdettweiler [2017-05-21 20:03:30] 711*2^1454630-1 is not prime. Res64: DEF38E3BFE96804E Time : 0.0 sec. user=mdettweiler [2017-05-21 20:03:31] 717*2^1454630-1 is not prime. Res64: CA6F2720B2A46023 Time : 0.0 sec. user=mdettweiler [2017-05-21 20:23:12] 861*2^1454630-1 is not prime. Res64: 0279325652E3A42C Time : 0.0 sec. user=mdettweiler [2017-05-21 20:23:13] 691*2^1454631-1 is not prime. Res64: 5B4963DB7298D8FC Time : 0.0 sec. user=mdettweiler [2017-05-21 20:23:13] 735*2^1454631-1 is not prime. Res64: EFB1272AB0DD1D4A Time : 0.0 sec. user=mdettweiler [2017-05-21 20:23:14] 789*2^1454631-1 is not prime. Res64: 33734F2332E54D9F Time : 0.0 sec. user=mdettweiler [2017-05-21 20:23:14] 945*2^1454631-1 is not prime. Res64: 3004E9764CCC60B9 Time : 0.0 sec. user=mdettweiler [2017-05-21 20:41:39] 979*2^1454631-1 is not prime. Res64: DDFDA29D1AEC3ADB Time : 0.0 sec. user=mdettweiler [2017-05-21 20:41:39] 603*2^1454632-1 is not prime. Res64: B005C26A3F46DD0E Time : 0.0 sec. user=mdettweiler [2017-05-21 20:41:40] 665*2^1454632-1 is not prime. Res64: 4E854CC3DC7A2982 Time : 0.0 sec. user=mdettweiler [2017-05-21 20:41:40] 899*2^1454632-1 is not prime. Res64: 1CD3137DB79CD5B9 Time : 0.0 sec. user=mdettweiler [2017-05-21 20:41:40] 965*2^1454632-1 is not prime. Res64: D7FE1DAA749A7E90 Time : 0.0 sec. user=mdettweiler [2017-05-21 20:48:14] 631*2^1454633-1 is not prime. Res64: 85F5A3C815A3840B Time : 0.0 sec. user=mdettweiler [2017-05-21 20:48:14] 669*2^1454633-1 is not prime. Res64: A98A58223EBEE8F8 Time : 0.0 sec. user=mdettweiler [2017-05-21 20:48:15] 721*2^1454633-1 is not prime. Res64: DFC51F9FF692C9D0 Time : 0.0 sec. user=mdettweiler [2017-05-21 20:48:15] 855*2^1454633-1 is not prime. Res64: 9B8FDA4B9BEC44E9 Time : 0.0 sec. user=mdettweiler [2017-05-21 20:48:15] 925*2^1454633-1 is not prime. Res64: 219DD961D3979EA9 Time : 0.0 sec. user=mdettweiler [2017-05-21 20:49:18] 949*2^1454633-1 is not prime. Res64: CAC5CAEA72103EB0 Time : 0.0 sec. user=mdettweiler [2017-05-21 20:49:19] 677*2^1454634-1 is not prime. Res64: D4907A7BEEA235BC Time : 0.0 sec. user=mdettweiler [2017-05-21 20:49:19] 695*2^1454634-1 is not prime. Res64: 28F2164A198C8193 Time : 0.0 sec. user=mdettweiler [2017-05-21 20:49:19] 705*2^1454634-1 is not prime. Res64: 0555CED5740F2BD1 Time : 0.0 sec. user=mdettweiler [2017-05-21 20:49:19] 711*2^1454634-1 is not prime. Res64: 80813157436C555F Time : 0.0 sec. user=mdettweiler [2017-05-21 21:09:00] 717*2^1454634-1 is not prime. Res64: A9F7722F0198D7A1 Time : 0.0 sec. user=mdettweiler [2017-05-21 21:09:00] 885*2^1454634-1 is not prime. Res64: D559F400D4EF6B6F Time : 0.0 sec. user=mdettweiler [2017-05-21 21:09:01] 893*2^1454634-1 is not prime. Res64: 9F346C78A31F5EB7 Time : 0.0 sec. user=mdettweiler [2017-05-21 21:09:02] 923*2^1454634-1 is not prime. Res64: 4E0D3D7091A04364 Time : 0.0 sec. user=mdettweiler [2017-05-21 21:09:03] 927*2^1454634-1 is not prime. Res64: F562A22E814A1D6C Time : 0.0 sec. user=mdettweiler [2017-05-21 21:27:37] 975*2^1454634-1 is not prime. Res64: 01D010E01DFBF066 Time : 0.0 sec. user=mdettweiler [2017-05-21 21:27:37] 625*2^1454635-1 is not prime. Res64: 5FF1E863F1E54E44 Time : 0.0 sec. user=mdettweiler [2017-05-21 21:27:37] 735*2^1454635-1 is not prime. Res64: 520294F1613BE05A Time : 0.0 sec. user=mdettweiler [2017-05-21 21:27:38] 843*2^1454635-1 is not prime. Res64: A36C7FEF22827A1A Time : 0.0 sec. user=mdettweiler [2017-05-21 21:27:38] 855*2^1454635-1 is not prime. Res64: 5F7D3BA6FC8A2789 Time : 0.0 sec. user=mdettweiler [2017-05-21 21:33:52] 659*2^1454636-1 is not prime. Res64: B287E44B2D02DCB9 Time : 0.0 sec. user=mdettweiler [2017-05-21 21:33:52] 717*2^1454636-1 is not prime. Res64: 56DF8E42EA837888 Time : 0.0 sec. user=mdettweiler [2017-05-21 21:33:52] 759*2^1454636-1 is not prime. Res64: F98F54E23954FB7F Time : 0.0 sec. user=mdettweiler [2017-05-21 21:33:53] 839*2^1454636-1 is not prime. Res64: 97E257322559BE15 Time : 0.0 sec. user=mdettweiler [2017-05-21 21:33:53] 627*2^1454637-1 is not prime. Res64: 850252663C4EFBDC Time : 0.0 sec. user=mdettweiler [2017-05-21 21:35:29] 661*2^1454637-1 is not prime. Res64: 33A7E9C9F9F1FFA4 Time : 0.0 sec. user=mdettweiler [2017-05-21 21:35:30] 709*2^1454637-1 is not prime. Res64: 96329B1CA4999B9B Time : 0.0 sec. user=mdettweiler [2017-05-21 21:35:30] 765*2^1454637-1 is not prime. Res64: 1698AC5DA7B67956 Time : 0.0 sec. user=mdettweiler [2017-05-21 21:35:30] 861*2^1454637-1 is not prime. Res64: 5058EB32234DFC0D Time : 0.0 sec. user=mdettweiler [2017-05-21 21:35:30] 871*2^1454637-1 is not prime. Res64: 8A56A15DC3E1318E Time : 0.0 sec. user=mdettweiler [2017-05-21 21:55:00] 885*2^1454637-1 is not prime. Res64: 2CF586D1FBB296B6 Time : 0.0 sec. user=mdettweiler [2017-05-21 21:55:00] 891*2^1454637-1 is not prime. Res64: 445AE639FFA31520 Time : 0.0 sec. user=mdettweiler [2017-05-21 21:55:00] 901*2^1454637-1 is not prime. Res64: D4546B9927485969 Time : 0.0 sec. user=mdettweiler [2017-05-21 21:55:01] 645*2^1454638-1 is not prime. Res64: 2E774D1BC5041548 Time : 0.0 sec. user=mdettweiler [2017-05-21 21:55:01] 657*2^1454638-1 is not prime. Res64: FED10E11849E971F Time : 0.0 sec. user=mdettweiler [2017-05-21 22:13:18] 891*2^1454638-1 is not prime. Res64: 647D944910E06838 Time : 0.0 sec. user=mdettweiler [2017-05-21 22:13:18] 897*2^1454638-1 is not prime. Res64: AFE97535201B841D Time : 0.0 sec. user=mdettweiler [2017-05-21 22:13:19] 987*2^1454638-1 is not prime. Res64: 78DFB4AEC5B2C34F Time : 0.0 sec. user=mdettweiler [2017-05-21 22:13:19] 995*2^1454638-1 is not prime. Res64: 0E6E7746B2A7DFEF Time : 0.0 sec. user=mdettweiler [2017-05-21 22:13:19] 703*2^1454639-1 is not prime. Res64: 36F15248F7C0AA3A Time : 0.0 sec. user=mdettweiler [2017-05-21 22:19:35] 711*2^1454639-1 is not prime. Res64: 2CA23A87D4DAC22F Time : 0.0 sec. user=mdettweiler [2017-05-21 22:19:35] 811*2^1454639-1 is not prime. Res64: DAC8D327527DA2D4 Time : 0.0 sec. user=mdettweiler [2017-05-21 22:19:36] 909*2^1454639-1 is not prime. Res64: 973EBC9BB554D215 Time : 0.0 sec. user=mdettweiler [2017-05-21 22:19:36] 845*2^1454640-1 is not prime. Res64: A4470957EAE86165 Time : 0.0 sec. user=mdettweiler [2017-05-21 22:19:36] 857*2^1454640-1 is not prime. Res64: 50EB8FA5C24C7785 Time : 0.0 sec. user=mdettweiler [2017-05-21 22:21:17] 929*2^1454640-1 is not prime. Res64: 0892FF46282FEADA Time : 0.0 sec. user=mdettweiler [2017-05-21 22:21:17] 615*2^1454641-1 is not prime. Res64: CD4A4F36CB9E428D Time : 0.0 sec. user=mdettweiler [2017-05-21 22:21:17] 687*2^1454641-1 is not prime. Res64: 9807F7141D9B6494 Time : 0.0 sec. user=mdettweiler [2017-05-21 22:21:18] 717*2^1454641-1 is not prime. Res64: 705E65196E3AF228 Time : 0.0 sec. user=mdettweiler [2017-05-21 22:21:18] 769*2^1454641-1 is not prime. Res64: DF37D3873D80395A Time : 0.0 sec. user=mdettweiler [2017-05-21 22:40:46] 867*2^1454641-1 is not prime. Res64: F865BC9D80BB08A7 Time : 0.0 sec. user=mdettweiler [2017-05-21 22:40:46] 877*2^1454641-1 is not prime. Res64: 2B3BE9EBFADB74A0 Time : 0.0 sec. user=mdettweiler [2017-05-21 22:40:47] 939*2^1454641-1 is not prime. Res64: B222D926F116A2A6 Time : 0.0 sec. user=mdettweiler [2017-05-21 22:40:47] 945*2^1454641-1 is not prime. Res64: 11D23F524B97AB79 Time : 0.0 sec. user=mdettweiler [2017-05-21 22:40:47] 615*2^1454642-1 is not prime. Res64: B2D1D862B7FEB6EA Time : 0.0 sec. user=mdettweiler [2017-05-21 22:59:03] 675*2^1454642-1 is not prime. Res64: ED02C3CBA744440D Time : 0.0 sec. user=mdettweiler [2017-05-21 22:59:03] 747*2^1454642-1 is not prime. Res64: 43787F7D67F032A9 Time : 0.0 sec. user=mdettweiler [2017-05-21 22:59:03] 785*2^1454642-1 is not prime. Res64: 13C5753222587482 Time : 0.0 sec. user=mdettweiler [2017-05-21 22:59:04] 831*2^1454642-1 is not prime. Res64: 375B49E391A28B25 Time : 0.0 sec. user=mdettweiler [2017-05-21 22:59:04] 843*2^1454642-1 is not prime. Res64: 1BFD9C1B380F1351 Time : 0.0 sec. user=mdettweiler [2017-05-21 23:05:16] 885*2^1454642-1 is not prime. Res64: 8EEC0FDBB9AC1FC5 Time : 0.0 sec. user=mdettweiler [2017-05-21 23:05:19] 887*2^1454642-1 is not prime. Res64: D59254AF879D0233 Time : 0.0 sec. user=mdettweiler [2017-05-21 23:05:21] 921*2^1454642-1 is not prime. Res64: AE353AF0BD3CFFBB Time : 0.0 sec. user=mdettweiler [2017-05-21 23:05:22] 945*2^1454642-1 is not prime. Res64: DCB04493890A979E Time : 0.0 sec. user=mdettweiler [2017-05-21 23:05:23] 977*2^1454642-1 is not prime. Res64: BE6816D145C5B524 Time : 0.0 sec. user=mdettweiler [2017-05-21 23:07:09] 981*2^1454642-1 is not prime. Res64: 995A88C63642D475 Time : 0.0 sec. user=mdettweiler [2017-05-21 23:07:10] 649*2^1454643-1 is not prime. Res64: FDE465BA9DB63355 Time : 0.0 sec. user=mdettweiler [2017-05-21 23:07:10] 669*2^1454643-1 is not prime. Res64: D71652E4907EBDEC Time : 0.0 sec. user=mdettweiler [2017-05-21 23:07:10] 675*2^1454643-1 is not prime. Res64: 2F859529FE064CB4 Time : 0.0 sec. user=mdettweiler [2017-05-21 23:07:10] 679*2^1454643-1 is not prime. Res64: EA3337C85A356FB0 Time : 0.0 sec. user=mdettweiler [2017-05-21 23:26:19] 735*2^1454643-1 is not prime. Res64: E80AC167AAB77790 Time : 0.0 sec. user=mdettweiler [2017-05-21 23:26:19] 765*2^1454643-1 is not prime. Res64: 7646E21D32F8084D Time : 0.0 sec. user=mdettweiler [2017-05-21 23:26:19] 805*2^1454643-1 is not prime. Res64: 28BBF6AA58E95FB2 Time : 0.0 sec. user=mdettweiler [2017-05-21 23:26:20] 853*2^1454643-1 is not prime. Res64: 05ECFBF58A801EE3 Time : 0.0 sec. user=mdettweiler [2017-05-21 23:26:20] 615*2^1454644-1 is not prime. Res64: 9FAC6CA9404DCBD2 Time : 0.0 sec. user=mdettweiler [2017-05-21 23:44:39] 723*2^1454644-1 is not prime. Res64: 299B9E5EB8972BCD Time : 0.0 sec. user=mdettweiler [2017-05-21 23:44:39] 743*2^1454644-1 is not prime. Res64: 850951226D3DF3B6 Time : 0.0 sec. user=mdettweiler [2017-05-21 23:44:39] 773*2^1454644-1 is not prime. Res64: 77C4DDD64B25ED21 Time : 0.0 sec. user=mdettweiler [2017-05-21 23:44:39] 875*2^1454644-1 is not prime. Res64: DBFC6BDA78FFC22A Time : 0.0 sec. user=mdettweiler [2017-05-21 23:44:40] 897*2^1454644-1 is not prime. Res64: FCE3B5AB3F0FA831 Time : 0.0 sec. user=mdettweiler [2017-05-21 23:51:14] 899*2^1454644-1 is not prime. Res64: 336BC37F52DEEF89 Time : 0.0 sec. user=mdettweiler [2017-05-21 23:51:14] 995*2^1454644-1 is not prime. Res64: 0090ED15EF0EB9A3 Time : 0.0 sec. user=mdettweiler [2017-05-21 23:51:15] 645*2^1454645-1 is not prime. Res64: 8240717E1956BC10 Time : 0.0 sec. user=mdettweiler [2017-05-21 23:51:15] 649*2^1454645-1 is not prime. Res64: B6044543EE8F8445 Time : 0.0 sec. user=mdettweiler [2017-05-21 23:51:15] 775*2^1454645-1 is not prime. Res64: F09FC92CF7FC1958 Time : 0.0 sec. user=mdettweiler [2017-05-21 23:52:39] 819*2^1454645-1 is not prime. Res64: 15D0B628FA1833CE Time : 0.0 sec. user=mdettweiler [2017-05-21 23:52:39] 837*2^1454645-1 is not prime. Res64: BB6F2F7C4DAD28C7 Time : 0.0 sec. user=mdettweiler [2017-05-21 23:52:40] 885*2^1454645-1 is not prime. Res64: 8B2B0BF551C534BA Time : 0.0 sec. user=mdettweiler [2017-05-21 23:52:40] 889*2^1454645-1 is not prime. Res64: D7E0B330F42F5845 Time : 0.0 sec. user=mdettweiler [2017-05-21 23:52:40] 937*2^1454645-1 is not prime. Res64: 6F86CF65FCCC168F Time : 0.0 sec.