user=mdettweiler [2013-02-20 00:01:36] 621*2^1241323-1 is not prime. Res64: 7D7025D5981BD2F6 Time : 0.0 sec. user=mdettweiler [2013-02-20 00:01:37] 675*2^1241323-1 is not prime. Res64: C30F1198EAE926A1 Time : 0.0 sec. user=mdettweiler [2013-02-20 00:01:42] 723*2^1241323-1 is not prime. Res64: 69AD67A1239712B8 Time : 0.0 sec. user=mdettweiler [2013-02-20 00:01:42] 751*2^1241323-1 is not prime. Res64: D01219257CD449AD Time : 0.0 sec. user=juhehe [2013-02-20 00:10:49] 927*2^1241320-1 is not prime. Res64: B983F7095CD411AC Time : 0.0 sec. user=mdettweiler [2013-02-20 00:18:59] 855*2^1241323-1 is not prime. Res64: EDC2035E75AD03F7 Time : 0.0 sec. user=mdettweiler [2013-02-20 00:18:59] 871*2^1241323-1 is not prime. Res64: 26E3D41E1561B3B6 Time : 0.0 sec. user=mdettweiler [2013-02-20 00:19:03] 951*2^1241323-1 is not prime. Res64: DCC71F0BB877757B Time : 0.0 sec. user=mdettweiler [2013-02-20 00:19:04] 623*2^1241324-1 is not prime. Res64: 2426E6DA5A7E6C46 Time : 0.0 sec. user=mdettweiler [2013-02-20 00:36:21] 837*2^1241324-1 is not prime. Res64: 6B3CBD11DB424586 Time : 0.0 sec. user=mdettweiler [2013-02-20 00:36:22] 843*2^1241324-1 is not prime. Res64: FE5010566771839F Time : 0.0 sec. user=mdettweiler [2013-02-20 00:36:29] 923*2^1241324-1 is not prime. Res64: D259BC05A9BE66FA Time : 0.0 sec. user=mdettweiler [2013-02-20 00:36:29] 957*2^1241324-1 is not prime. Res64: DFF0389CDE40E8C9 Time : 0.0 sec. user=mdettweiler [2013-02-20 00:53:44] 969*2^1241324-1 is not prime. Res64: E10F10534F04144B Time : 0.0 sec. user=mdettweiler [2013-02-20 00:53:45] 601*2^1241325-1 is not prime. Res64: A064146470EE4EEB Time : 0.0 sec. user=mdettweiler [2013-02-20 00:53:52] 639*2^1241325-1 is not prime. Res64: 2434BD55F7AECAFB Time : 0.0 sec. user=mdettweiler [2013-02-20 00:53:53] 685*2^1241325-1 is not prime. Res64: A7662BACC93D2770 Time : 0.0 sec. user=juhehe [2013-02-20 01:08:22] 707*2^1241324-1 is not prime. Res64: 46BDAC0403E558EC Time : 0.0 sec. user=mdettweiler [2013-02-20 01:11:28] 765*2^1241325-1 is not prime. Res64: 39285B14D3796DA8 Time : 0.0 sec. user=mdettweiler [2013-02-20 01:11:29] 819*2^1241325-1 is not prime. Res64: 78442718B4F955BD Time : 0.0 sec. user=mdettweiler [2013-02-20 01:11:37] 891*2^1241325-1 is not prime. Res64: 1093EF3F73CF4CB7 Time : 0.0 sec. user=mdettweiler [2013-02-20 01:11:39] 921*2^1241325-1 is not prime. Res64: D1F8F6E3DDCCF80E Time : 0.0 sec. user=mdettweiler [2013-02-20 01:29:02] 611*2^1241326-1 is not prime. Res64: 1ADCFB5FBAB16E24 Time : 0.0 sec. user=mdettweiler [2013-02-20 01:29:03] 755*2^1241326-1 is not prime. Res64: F25C17EBE4646D71 Time : 0.0 sec. user=mdettweiler [2013-02-20 01:29:10] 761*2^1241326-1 is not prime. Res64: 01724CD49D34BA35 Time : 0.0 sec. user=mdettweiler [2013-02-20 01:29:11] 825*2^1241326-1 is not prime. Res64: B7229731E6F53488 Time : 0.0 sec. user=mdettweiler [2013-02-20 01:57:40] 843*2^1241326-1 is not prime. Res64: D4AC4607B9B97201 Time : 0.0 sec. user=mdettweiler [2013-02-20 01:57:40] 911*2^1241326-1 is not prime. Res64: 590C19D7652B9861 Time : 0.0 sec. user=mdettweiler [2013-02-20 01:57:48] 941*2^1241326-1 is not prime. Res64: 85DB78BA3FAB3A49 Time : 0.0 sec. user=mdettweiler [2013-02-20 01:57:48] 971*2^1241326-1 is not prime. Res64: FE78CDD38A35BE0A Time : 0.0 sec. user=mdettweiler [2013-02-20 02:15:05] 621*2^1241327-1 is not prime. Res64: EF512E1651683B5A Time : 0.0 sec. user=mdettweiler [2013-02-20 02:15:06] 661*2^1241327-1 is not prime. Res64: 458A3BA8F044E293 Time : 0.0 sec. user=mdettweiler [2013-02-20 02:15:13] 841*2^1241327-1 is not prime. Res64: E16A8CFFDE2E6E9D Time : 0.0 sec. user=mdettweiler [2013-02-20 02:15:13] 843*2^1241327-1 is not prime. Res64: BD0875ACBD7F202B Time : 0.0 sec. user=juhehe [2013-02-20 02:16:57] 991*2^1241325-1 is not prime. Res64: 3AFCB190B834E9D1 Time : 0.0 sec. user=mdettweiler [2013-02-20 02:32:31] 993*2^1241327-1 is not prime. Res64: A157A9D13B059193 Time : 0.0 sec. user=mdettweiler [2013-02-20 02:32:33] 605*2^1241328-1 is not prime. Res64: F8789C266F26F34B Time : 0.0 sec. user=mdettweiler [2013-02-20 02:32:34] 633*2^1241328-1 is not prime. Res64: 54208FF6E08A776A Time : 0.0 sec. user=mdettweiler [2013-02-20 02:32:36] 635*2^1241328-1 is not prime. Res64: 18B9B7DDD0319074 Time : 0.0 sec. user=juhehe [2013-02-20 02:40:06] 611*2^1241278-1 is not prime. Res64: 5D01152034A668FD Time : 0.0 sec. user=mdettweiler [2013-02-20 02:50:03] 683*2^1241328-1 is not prime. Res64: 9E651DAA1E1E9501 Time : 0.0 sec. user=mdettweiler [2013-02-20 02:50:03] 899*2^1241328-1 is not prime. Res64: 6E5FBDAB350F3BDE Time : 0.0 sec. user=mdettweiler [2013-02-20 02:50:04] 759*2^1241328-1 is not prime. Res64: 1C735DC0494B3F74 Time : 0.0 sec. user=mdettweiler [2013-02-20 02:50:04] 947*2^1241328-1 is not prime. Res64: 11C231ACB507DA98 Time : 0.0 sec. user=mdettweiler [2013-02-20 03:07:30] 681*2^1241329-1 is not prime. Res64: B881DD2DB1167F9B Time : 0.0 sec. user=mdettweiler [2013-02-20 03:07:31] 705*2^1241329-1 is not prime. Res64: 75857C7C0169B2E8 Time : 0.0 sec. user=mdettweiler [2013-02-20 03:07:31] 741*2^1241329-1 is not prime. Res64: 10BE4CE0512529E7 Time : 0.0 sec. user=mdettweiler [2013-02-20 03:07:32] 807*2^1241329-1 is not prime. Res64: 2F564D57FD9F0879 Time : 0.0 sec. user=juhehe [2013-02-20 03:09:14] 615*2^1241329-1 is not prime. Res64: BD2C73333CE87770 Time : 0.0 sec. user=juhehe [2013-02-20 03:09:32] 883*2^1241327-1 is not prime. Res64: 4AF429E9351B4D1A Time : 0.0 sec. user=mdettweiler [2013-02-20 03:24:56] 877*2^1241329-1 is not prime. Res64: ED7F2EF7C0642918 Time : 0.0 sec. user=mdettweiler [2013-02-20 03:24:57] 895*2^1241329-1 is not prime. Res64: 8EA778CFC244B701 Time : 0.0 sec. user=mdettweiler [2013-02-20 03:24:57] 951*2^1241329-1 is not prime. Res64: F39F4F7C1C976DAE Time : 0.0 sec. user=mdettweiler [2013-02-20 03:24:58] 999*2^1241329-1 is not prime. Res64: BDFE965FDC6715DE Time : 0.0 sec. user=mdettweiler [2013-02-20 03:42:20] 843*2^1241330-1 is not prime. Res64: 57DFBE00DE03646A Time : 0.0 sec. user=mdettweiler [2013-02-20 03:42:20] 981*2^1241330-1 is not prime. Res64: CA936D61426DA358 Time : 0.0 sec. user=mdettweiler [2013-02-20 03:42:24] 669*2^1241331-1 is not prime. Res64: 5352762B7F25873B Time : 0.0 sec. user=mdettweiler [2013-02-20 03:42:24] 735*2^1241331-1 is not prime. Res64: EBE6228802E78338 Time : 0.0 sec. user=mdettweiler [2013-02-20 03:59:46] 741*2^1241331-1 is not prime. Res64: CDF560B87E11B26C Time : 0.0 sec. user=mdettweiler [2013-02-20 03:59:46] 793*2^1241331-1 is not prime. Res64: E796637FA685D99A Time : 0.0 sec. user=mdettweiler [2013-02-20 03:59:47] 975*2^1241331-1 is not prime. Res64: C60483D058FBAC8A Time : 0.0 sec. user=mdettweiler [2013-02-20 03:59:47] 689*2^1241332-1 is not prime. Res64: DF9D60F524C4080E Time : 0.0 sec. user=mdettweiler [2013-02-20 04:17:09] 833*2^1241332-1 is not prime. Res64: 1D3605110B4CFC33 Time : 0.0 sec. user=mdettweiler [2013-02-20 04:17:09] 915*2^1241332-1 is not prime. Res64: 449CF638BCF8C189 Time : 0.0 sec. user=mdettweiler [2013-02-20 04:17:10] 965*2^1241332-1 is not prime. Res64: C8E2EC9F9B4BC037 Time : 0.0 sec. user=mdettweiler [2013-02-20 04:17:10] 983*2^1241332-1 is not prime. Res64: 8B3F813E50309C59 Time : 0.0 sec. user=juhehe [2013-02-20 04:18:06] 827*2^1241330-1 is not prime. Res64: 28ACCCE76BC5116B Time : 0.0 sec. user=mdettweiler [2013-02-20 04:34:35] 649*2^1241333-1 is not prime. Res64: 4CD39A21FFFB9D1A Time : 0.0 sec. user=mdettweiler [2013-02-20 04:34:36] 657*2^1241333-1 is not prime. Res64: AEF4E461801BD1C1 Time : 0.0 sec. user=mdettweiler [2013-02-20 04:34:37] 789*2^1241333-1 is not prime. Res64: CF957C468F5B337B Time : 0.0 sec. user=mdettweiler [2013-02-20 04:34:39] 837*2^1241333-1 is not prime. Res64: BEB3EE8E9950D63B Time : 0.0 sec. user=mdettweiler [2013-02-20 04:52:02] 621*2^1241334-1 is not prime. Res64: 1629939AC49820F7 Time : 0.0 sec. user=mdettweiler [2013-02-20 04:52:03] 795*2^1241334-1 is not prime. Res64: 293ECDE22917958D Time : 0.0 sec. user=mdettweiler [2013-02-20 04:52:05] 851*2^1241334-1 is not prime. Res64: 9B3734B4B55BE34B Time : 0.0 sec. user=mdettweiler [2013-02-20 04:52:06] 881*2^1241334-1 is not prime. Res64: 578568C6065C5E33 Time : 0.0 sec. user=mdettweiler [2013-02-20 05:09:25] 947*2^1241334-1 is not prime. Res64: 6A34991A7CDFD91B Time : 0.0 sec. user=mdettweiler [2013-02-20 05:09:26] 993*2^1241334-1 is not prime. Res64: D58C46285D105D7C Time : 0.0 sec. user=mdettweiler [2013-02-20 05:09:28] 705*2^1241335-1 is not prime. Res64: C3AD779476CA8416 Time : 0.0 sec. user=mdettweiler [2013-02-20 05:09:29] 763*2^1241335-1 is not prime. Res64: 70ACCA71D45F7DB0 Time : 0.0 sec. user=juhehe [2013-02-20 05:10:26] 773*2^1241330-1 is not prime. Res64: 2F074F69C478C7C1 Time : 0.0 sec. user=juhehe [2013-02-20 05:10:41] 631*2^1241333-1 is not prime. Res64: 4B7EEE4FD20AA11E Time : 0.0 sec. user=mdettweiler [2013-02-20 05:26:49] 771*2^1241335-1 is not prime. Res64: EEBB30C9185E42BE Time : 0.0 sec. user=mdettweiler [2013-02-20 05:26:50] 843*2^1241335-1 is not prime. Res64: 638CE80D19E43A66 Time : 0.0 sec. user=mdettweiler [2013-02-20 05:26:54] 919*2^1241335-1 is not prime. Res64: FFAEFD102BFACF08 Time : 0.0 sec. user=mdettweiler [2013-02-20 05:26:54] 973*2^1241335-1 is not prime. Res64: DCA1B96BE6CE44D2 Time : 0.0 sec. user=juhehe [2013-02-20 05:30:36] 669*2^1241336-1 is not prime. Res64: 7DB9CD649AB89DE4 Time : 0.0 sec. user=mdettweiler [2013-02-20 05:44:11] 743*2^1241336-1 is not prime. Res64: F29C8C067683BD52 Time : 0.0 sec. user=mdettweiler [2013-02-20 05:44:12] 789*2^1241336-1 is not prime. Res64: 7572F37F8A034F86 Time : 0.0 sec. user=mdettweiler [2013-02-20 05:44:16] 833*2^1241336-1 is not prime. Res64: A74383DEA2B2BD7A Time : 0.0 sec. user=mdettweiler [2013-02-20 05:44:17] 983*2^1241336-1 is not prime. Res64: B5742C20C389DD04 Time : 0.0 sec. user=juhehe [2013-02-20 05:51:46] 667*2^1241337-1 is not prime. Res64: 09A09A7E1005EFA6 Time : 0.0 sec. user=mdettweiler [2013-02-20 06:01:34] 681*2^1241337-1 is not prime. Res64: DCA74DA7613BE5E8 Time : 0.0 sec. user=mdettweiler [2013-02-20 06:01:35] 685*2^1241337-1 is not prime. Res64: AD08C534ACFDA5C5 Time : 0.0 sec. user=mdettweiler [2013-02-20 06:01:39] 759*2^1241337-1 is not prime. Res64: C44C8BAE60C0E05F Time : 0.0 sec. user=mdettweiler [2013-02-20 06:01:40] 979*2^1241337-1 is not prime. Res64: ABA5575788A84F08 Time : 0.0 sec. user=juhehe [2013-02-20 06:12:58] 605*2^1241338-1 is not prime. Res64: EAC14BC100D6346D Time : 0.0 sec. user=mdettweiler [2013-02-20 06:19:03] 657*2^1241338-1 is not prime. Res64: FCBA1FCC90023058 Time : 0.0 sec. user=mdettweiler [2013-02-20 06:19:03] 609*2^1241339-1 is not prime. Res64: D51DBCD6B8B3CC36 Time : 0.0 sec. user=mdettweiler [2013-02-20 06:19:04] 675*2^1241339-1 is not prime. Res64: A99787AA72133F9A Time : 0.0 sec. user=mdettweiler [2013-02-20 06:19:04] 693*2^1241339-1 is not prime. Res64: 261DE26628AED28E Time : 0.0 sec. user=juhehe [2013-02-20 06:19:23] 693*2^1241336-1 is not prime. Res64: 503535E78F422F35 Time : 0.0 sec. user=juhehe [2013-02-20 06:33:16] 735*2^1241339-1 is not prime. Res64: C9F9069BAE199E1B Time : 0.0 sec. user=mdettweiler [2013-02-20 06:36:27] 843*2^1241339-1 is not prime. Res64: 6D71EC753466DDCE Time : 0.0 sec. user=mdettweiler [2013-02-20 06:36:27] 985*2^1241339-1 is not prime. Res64: DF7576169C8A5472 Time : 0.0 sec. user=mdettweiler [2013-02-20 06:36:28] 745*2^1241339-1 is not prime. Res64: F512221ECB759759 Time : 0.0 sec. user=mdettweiler [2013-02-20 06:36:29] 841*2^1241339-1 is not prime. Res64: 08593F7494F27D47 Time : 0.0 sec. user=mdettweiler [2013-02-20 06:53:49] 647*2^1241340-1 is not prime. Res64: E8232D964050D06F Time : 0.0 sec. user=mdettweiler [2013-02-20 06:53:49] 653*2^1241340-1 is not prime. Res64: E8DD5EE26D5C0CD6 Time : 0.0 sec. user=mdettweiler [2013-02-20 06:53:50] 759*2^1241340-1 is not prime. Res64: 62ACD8DE9D920062 Time : 0.0 sec. user=mdettweiler [2013-02-20 06:53:51] 779*2^1241340-1 is not prime. Res64: 1A8325387EDB41E2 Time : 0.0 sec. user=juhehe [2013-02-20 06:56:34] 999*2^1241339-1 is not prime. Res64: D678475A15C8F1AB Time : 0.0 sec. user=juhehe [2013-02-20 07:10:49] 711*2^1241339-1 is not prime. Res64: C7DC04BEEFDEBFCD Time : 0.0 sec. user=mdettweiler [2013-02-20 07:11:13] 843*2^1241340-1 is not prime. Res64: F7FAEEAF8B56FC5E Time : 0.0 sec. user=mdettweiler [2013-02-20 07:11:16] 875*2^1241340-1 is not prime. Res64: B382CBF5E0DD27B7 Time : 0.0 sec. user=mdettweiler [2013-02-20 07:11:16] 783*2^1241340-1 is not prime. Res64: C6A3CE7B4EAAC434 Time : 0.0 sec. user=mdettweiler [2013-02-20 07:11:17] 839*2^1241340-1 is not prime. Res64: FE4B0D7EB581F3A2 Time : 0.0 sec. user=juhehe [2013-02-20 07:17:04] 893*2^1241340-1 is not prime. Res64: 3F23E544F0B5A609 Time : 0.0 sec. user=mdettweiler [2013-02-20 07:28:41] 915*2^1241340-1 is not prime. Res64: 788A9146296BEE6E Time : 0.0 sec. user=mdettweiler [2013-02-20 07:28:41] 927*2^1241340-1 is not prime. Res64: 579FD68D7943E5FA Time : 0.0 sec. user=mdettweiler [2013-02-20 07:28:41] 945*2^1241340-1 is not prime. Res64: 75EB5548C03F5737 Time : 0.0 sec. user=mdettweiler [2013-02-20 07:28:42] 975*2^1241340-1 is not prime. Res64: 221EFB0F888F6CCF Time : 0.0 sec. user=mdettweiler [2013-02-20 07:35:30] 987*2^1241326-1 is not prime. Res64: 8B11BB5DCEFF1AC7 Time : 0.0 sec. user=mdettweiler [2013-02-20 07:46:03] 799*2^1241341-1 is not prime. Res64: 0ABBED526AA04077 Time : 0.0 sec. user=mdettweiler [2013-02-20 07:46:04] 867*2^1241341-1 is not prime. Res64: AA6FBCB0B59C7761 Time : 0.0 sec. user=mdettweiler [2013-02-20 07:46:04] 955*2^1241341-1 is not prime. Res64: D002D2EDA9400C36 Time : 0.0 sec. user=mdettweiler [2013-02-20 07:46:04] 603*2^1241342-1 is not prime. Res64: 72C7B0582376EC90 Time : 0.0 sec. user=mdettweiler [2013-02-20 07:47:52] 711*2^1241342-1 is not prime. Res64: 64FC0ABD4C4A32E3 Time : 0.0 sec. user=mdettweiler [2013-02-20 08:03:26] 755*2^1241342-1 is not prime. Res64: 2481636C4C824992 Time : 0.0 sec. user=mdettweiler [2013-02-20 08:03:27] 963*2^1241342-1 is not prime. Res64: 22448948802388F6 Time : 0.0 sec. user=mdettweiler [2013-02-20 08:03:27] 669*2^1241343-1 is not prime. Res64: AB5133C2D411E885 Time : 0.0 sec. user=mdettweiler [2013-02-20 08:03:28] 675*2^1241343-1 is not prime. Res64: 4C54AD229523940A Time : 0.0 sec. user=juhehe [2013-02-20 08:19:48] 687*2^1241341-1 is not prime. Res64: 4B22DDE257150A72 Time : 0.0 sec. user=mdettweiler [2013-02-20 08:20:54] 709*2^1241343-1 is not prime. Res64: C3FCE14726E48481 Time : 0.0 sec. user=mdettweiler [2013-02-20 08:20:55] 739*2^1241343-1 is not prime. Res64: ED9B6E9315C00F02 Time : 0.0 sec. user=mdettweiler [2013-02-20 08:20:58] 793*2^1241343-1 is not prime. Res64: A2D5EA931C55FD1F Time : 0.0 sec. user=mdettweiler [2013-02-20 08:20:58] 969*2^1241343-1 is not prime. Res64: 2BF408761021914A Time : 0.0 sec. user=mdettweiler [2013-02-20 08:38:20] 609*2^1241344-1 is not prime. Res64: 39F20E451019A4E1 Time : 0.0 sec. user=mdettweiler [2013-02-20 08:38:20] 615*2^1241344-1 is not prime. Res64: 253DFD7395224F58 Time : 0.0 sec. user=mdettweiler [2013-02-20 08:38:22] 699*2^1241344-1 is not prime. Res64: BE3782A4635AAB23 Time : 0.0 sec. user=mdettweiler [2013-02-20 08:38:22] 995*2^1241344-1 is not prime. Res64: F2A079AD2EE23C4E Time : 0.0 sec. user=mdettweiler [2013-02-20 08:55:42] 627*2^1241345-1 is not prime. Res64: B32326CCB8D082B6 Time : 0.0 sec. user=mdettweiler [2013-02-20 08:55:43] 645*2^1241345-1 is not prime. Res64: DF1D38FEDB7EDBCD Time : 0.0 sec. user=mdettweiler [2013-02-20 08:55:44] 789*2^1241345-1 is not prime. Res64: CA632862AB7A1AD6 Time : 0.0 sec. user=mdettweiler [2013-02-20 08:55:44] 847*2^1241345-1 is not prime. Res64: F210593C082F908D Time : 0.0 sec. user=juhehe [2013-02-20 09:10:57] 987*2^1241340-1 is not prime. Res64: 3C1D3B932A3715EE Time : 0.0 sec. user=juhehe [2013-02-20 09:12:23] 973*2^1241343-1 is not prime. Res64: E31F68D07A16E1DE Time : 0.0 sec. user=mdettweiler [2013-02-20 09:13:04] 867*2^1241345-1 is not prime. Res64: 0FB9A0471DFB0013 Time : 0.0 sec. user=mdettweiler [2013-02-20 09:13:05] 987*2^1241345-1 is not prime. Res64: AD2BEC62567065EE Time : 0.0 sec. user=mdettweiler [2013-02-20 09:13:06] 657*2^1241346-1 is not prime. Res64: FAE3D446C2EDEF48 Time : 0.0 sec. user=mdettweiler [2013-02-20 09:13:07] 677*2^1241346-1 is not prime. Res64: C0165DC3B91EEDFA Time : 0.0 sec. user=mdettweiler [2013-02-20 09:30:27] 735*2^1241346-1 is not prime. Res64: 8C016EE3F8FA41E0 Time : 0.0 sec. user=mdettweiler [2013-02-20 09:30:27] 777*2^1241346-1 is not prime. Res64: C8AB71BA619DC63D Time : 0.0 sec. user=mdettweiler [2013-02-20 09:30:29] 803*2^1241346-1 is not prime. Res64: A913CF3A445F7194 Time : 0.0 sec. user=mdettweiler [2013-02-20 09:30:29] 807*2^1241346-1 is not prime. Res64: C322367AD965E924 Time : 0.0 sec. user=juhehe [2013-02-20 09:33:48] 705*2^1241346-1 is not prime. Res64: AF50977687926D05 Time : 0.0 sec. user=mdettweiler [2013-02-20 09:47:49] 873*2^1241346-1 is not prime. Res64: 3D48D9D422629EFD Time : 0.0 sec. user=mdettweiler [2013-02-20 09:47:50] 887*2^1241346-1 is not prime. Res64: A988E32A1ED22D0E Time : 0.0 sec. user=mdettweiler [2013-02-20 09:47:51] 601*2^1241347-1 is not prime. Res64: B5C32BCC15E9B51E Time : 0.0 sec. user=mdettweiler [2013-02-20 09:47:51] 715*2^1241347-1 is not prime. Res64: 933EA28417782F26 Time : 0.0 sec. user=juhehe [2013-02-20 10:01:01] 769*2^1241347-1 is not prime. Res64: 91E0275E65ABC687 Time : 0.0 sec. user=mdettweiler [2013-02-20 10:05:13] 993*2^1241347-1 is not prime. Res64: 7DF92DCD0DCE17FD Time : 0.0 sec. user=mdettweiler [2013-02-20 10:05:14] 603*2^1241348-1 is not prime. Res64: C33E4DDD76925E6A Time : 0.0 sec. user=mdettweiler [2013-02-20 10:05:14] 909*2^1241347-1 is not prime. Res64: 0BD245DF61970DFD Time : 0.0 sec. user=mdettweiler [2013-02-20 10:05:15] 985*2^1241347-1 is not prime. Res64: CA48543592BDD9E4 Time : 0.0 sec. user=juhehe [2013-02-20 10:20:21] 815*2^1241346-1 is not prime. Res64: A21B8A84D3C6CED4 Time : 0.0 sec. user=mdettweiler [2013-02-20 10:22:37] 749*2^1241348-1 is not prime. Res64: 5563BF5EDF9F55DE Time : 0.0 sec. user=mdettweiler [2013-02-20 10:22:37] 753*2^1241348-1 is not prime. Res64: 6D9E968867074F5B Time : 0.0 sec. user=mdettweiler [2013-02-20 10:22:38] 843*2^1241348-1 is not prime. Res64: 75FE12A8256AA7E0 Time : 0.0 sec. user=mdettweiler [2013-02-20 10:22:38] 923*2^1241348-1 is not prime. Res64: 4748DC51B8D17FF6 Time : 0.0 sec. user=mdettweiler [2013-02-20 10:40:15] 741*2^1241349-1 is not prime. Res64: A07F9305B2F0E479 Time : 0.0 sec. user=mdettweiler [2013-02-20 10:40:15] 877*2^1241349-1 is not prime. Res64: 71F3BA9E2F4AAA65 Time : 0.0 sec. user=mdettweiler [2013-02-20 10:40:15] 817*2^1241349-1 is not prime. Res64: 24FF3A39F334EBC3 Time : 0.0 sec. user=mdettweiler [2013-02-20 10:40:15] 885*2^1241349-1 is not prime. Res64: DA71EDEEFA892711 Time : 0.0 sec. user=mdettweiler [2013-02-20 10:58:00] 895*2^1241349-1 is not prime. Res64: 4662405C94A07B76 Time : 0.0 sec. user=mdettweiler [2013-02-20 10:58:00] 951*2^1241349-1 is not prime. Res64: 388B8E35A3C1E388 Time : 0.0 sec. user=mdettweiler [2013-02-20 10:58:02] 979*2^1241349-1 is not prime. Res64: 6DD8B6DE3130E4B0 Time : 0.0 sec. user=mdettweiler [2013-02-20 10:58:02] 663*2^1241350-1 is not prime. Res64: 0F24174B41C93420 Time : 0.0 sec. user=juhehe [2013-02-20 11:13:26] 963*2^1241348-1 is not prime. Res64: 13FDEE06759A40F7 Time : 0.0 sec. user=mdettweiler [2013-02-20 11:15:48] 773*2^1241350-1 is not prime. Res64: 96D58BC4722CC2AF Time : 0.0 sec. user=mdettweiler [2013-02-20 11:15:49] 813*2^1241350-1 is not prime. Res64: 81E84ECACBA51893 Time : 0.0 sec. user=mdettweiler [2013-02-20 11:15:50] 945*2^1241350-1 is not prime. Res64: 83B3ACA2D8A40F91 Time : 0.0 sec. user=mdettweiler [2013-02-20 11:15:51] 965*2^1241350-1 is not prime. Res64: 7864BDEDDE12DE2B Time : 0.0 sec. user=mdettweiler [2013-02-20 11:33:38] 1001*2^1241350-1 is not prime. Res64: 7DE7549931E7CB42 Time : 0.0 sec. user=mdettweiler [2013-02-20 11:33:39] 685*2^1241351-1 is not prime. Res64: CDC5822E43F08B14 Time : 0.0 sec. user=mdettweiler [2013-02-20 11:33:39] 735*2^1241351-1 is not prime. Res64: AA3E81C862FF91FA Time : 0.0 sec. user=mdettweiler [2013-02-20 11:33:40] 789*2^1241351-1 is not prime. Res64: C5C0E94C29B73C35 Time : 0.0 sec. user=juhehe [2013-02-20 11:47:04] 665*2^1241348-1 is not prime. Res64: 2F36F894CCE952FA Time : 0.0 sec. user=mdettweiler [2013-02-20 11:51:27] 823*2^1241351-1 is not prime. Res64: 84265AE468E2FB30 Time : 0.0 sec. user=mdettweiler [2013-02-20 11:51:27] 865*2^1241351-1 is not prime. Res64: 03930BEB979EDD8D Time : 0.0 sec. user=mdettweiler [2013-02-20 11:51:27] 969*2^1241351-1 is not prime. Res64: BF16DCC326C16A8D Time : 0.0 sec. user=mdettweiler [2013-02-20 11:51:28] 999*2^1241351-1 is not prime. Res64: 273B16DB5FADFF46 Time : 0.0 sec. user=mdettweiler [2013-02-20 12:09:16] 825*2^1241352-1 is not prime. Res64: E72E3F8F6627DDCA Time : 0.0 sec. user=mdettweiler [2013-02-20 12:09:17] 843*2^1241352-1 is not prime. Res64: 68C441FBB472E63A Time : 0.0 sec. user=mdettweiler [2013-02-20 12:09:17] 887*2^1241352-1 is not prime. Res64: 486FC2B682F61E64 Time : 0.0 sec. user=mdettweiler [2013-02-20 12:09:17] 625*2^1241353-1 is not prime. Res64: 00FF1EDCE151260D Time : 0.0 sec. user=juhehe [2013-02-20 12:21:13] 813*2^1241351-1 is not prime. Res64: 810BD10458A149DA Time : 0.0 sec. user=mdettweiler [2013-02-20 12:27:13] 811*2^1241353-1 is not prime. Res64: 26DEDFD84EEF7446 Time : 0.0 sec. user=mdettweiler [2013-02-20 12:27:14] 967*2^1241353-1 is not prime. Res64: 5B76D896CB586C12 Time : 0.0 sec. user=mdettweiler [2013-02-20 12:27:22] 747*2^1241353-1 is not prime. Res64: 8AE59EBD20990691 Time : 0.0 sec. user=mdettweiler [2013-02-20 12:27:22] 805*2^1241353-1 is not prime. Res64: 629611D3941E3CFF Time : 0.0 sec. user=mdettweiler [2013-02-20 12:45:01] 645*2^1241354-1 is not prime. Res64: AB803C03342091F6 Time : 0.0 sec. user=mdettweiler [2013-02-20 12:45:01] 665*2^1241354-1 is not prime. Res64: 1DFC9202428C3735 Time : 0.0 sec. user=mdettweiler [2013-02-20 12:45:09] 671*2^1241354-1 is not prime. Res64: 5D0E032990D827ED Time : 0.0 sec. user=mdettweiler [2013-02-20 12:45:09] 687*2^1241354-1 is not prime. Res64: 9CA7641A7571776F Time : 0.0 sec. user=mdettweiler [2013-02-20 13:02:48] 753*2^1241354-1 is not prime. Res64: 4BE79539E208D8EC Time : 0.0 sec. user=mdettweiler [2013-02-20 13:02:50] 783*2^1241354-1 is not prime. Res64: 721B94C187C7D9BB Time : 0.0 sec. user=mdettweiler [2013-02-20 13:02:56] 813*2^1241354-1 is not prime. Res64: 43C528B89F62AA52 Time : 0.0 sec. user=mdettweiler [2013-02-20 13:02:57] 751*2^1241355-1 is not prime. Res64: B6B948B30539283F Time : 0.0 sec. user=juhehe [2013-02-20 13:14:17] 617*2^1241354-1 is not prime. Res64: F60C9D4D966B11F0 Time : 0.0 sec. user=mdettweiler [2013-02-20 13:20:29] 859*2^1241355-1 is not prime. Res64: 1C2361F66EFBDCC0 Time : 0.0 sec. user=mdettweiler [2013-02-20 13:20:30] 903*2^1241355-1 is not prime. Res64: E6FF1860A3870C17 Time : 0.0 sec. user=mdettweiler [2013-02-20 13:20:35] 919*2^1241355-1 is not prime. Res64: 1F53560EB57AAF0C Time : 0.0 sec. user=mdettweiler [2013-02-20 13:20:36] 615*2^1241356-1 is not prime. Res64: 5052D1E32325BA7C Time : 0.0 sec. user=mdettweiler [2013-02-20 13:38:11] 923*2^1241356-1 is not prime. Res64: 2A74002478EDDE90 Time : 0.0 sec. user=mdettweiler [2013-02-20 13:38:12] 927*2^1241356-1 is not prime. Res64: F86613E67FE696AB Time : 0.0 sec. user=mdettweiler [2013-02-20 13:38:16] 607*2^1241357-1 is not prime. Res64: 1DA3BE2FCDA7EE7D Time : 0.0 sec. user=mdettweiler [2013-02-20 13:38:16] 669*2^1241357-1 is not prime. Res64: DD2EAF0C12263764 Time : 0.0 sec. user=mdettweiler [2013-02-20 13:55:52] 747*2^1241357-1 is not prime. Res64: 27BB291667A5F2E0 Time : 0.0 sec. user=mdettweiler [2013-02-20 13:55:53] 769*2^1241357-1 is not prime. Res64: 06A07339A836E1AF Time : 0.0 sec. user=mdettweiler [2013-02-20 13:56:02] 837*2^1241357-1 is not prime. Res64: 8E3808BDFBFDCA60 Time : 0.0 sec. user=mdettweiler [2013-02-20 13:56:02] 925*2^1241357-1 is not prime. Res64: 4EE9EC34E1AF9EB4 Time : 0.0 sec. user=juhehe [2013-02-20 13:56:09] 809*2^1241352-1 is not prime. Res64: 18C0AD29C3FCEBDF Time : 0.0 sec. user=mdettweiler [2013-02-20 14:13:29] 955*2^1241357-1 is not prime. Res64: 8FC2348D7A3F9C73 Time : 0.0 sec. user=mdettweiler [2013-02-20 14:13:29] 615*2^1241358-1 is not prime. Res64: 024848D08AD5AD83 Time : 0.0 sec. user=mdettweiler [2013-02-20 14:13:39] 663*2^1241358-1 is not prime. Res64: 24B9208B79CA909A Time : 0.0 sec. user=mdettweiler [2013-02-20 14:13:40] 993*2^1241358-1 is not prime. Res64: C7D3B2D6D947DD61 Time : 0.0 sec. user=juhehe [2013-02-20 14:22:33] 719*2^1241356-1 is not prime. Res64: AA94256A5518DCDD Time : 0.0 sec. user=mdettweiler [2013-02-20 15:05:05] 703*2^1241359-1 is not prime. Res64: 724F8841CCDA65BF Time : 0.0 sec. user=mdettweiler [2013-02-20 15:05:07] 861*2^1241359-1 is not prime. Res64: 71DADE857364C6EB Time : 0.0 sec. user=mdettweiler [2013-02-20 15:05:10] 939*2^1241359-1 is not prime. Res64: 68182D5549E157B0 Time : 0.0 sec. user=mdettweiler [2013-02-20 15:05:12] 675*2^1241360-1 is not prime. Res64: B0D75F9548C8120C Time : 0.0 sec. user=juhehe [2013-02-20 15:14:37] 603*2^1241359-1 is not prime. Res64: B3E9D20567A0D09A Time : 0.0 sec. user=mdettweiler [2013-02-20 15:22:51] 689*2^1241360-1 is not prime. Res64: 50B8CE01A54F1ADE Time : 0.0 sec. user=mdettweiler [2013-02-20 15:22:52] 855*2^1241360-1 is not prime. Res64: 69463775FE6F4E05 Time : 0.0 sec. user=mdettweiler [2013-02-20 15:22:52] 909*2^1241360-1 is not prime. Res64: BFD4DF656DD6146A Time : 0.0 sec. user=mdettweiler [2013-02-20 15:22:53] 963*2^1241360-1 is not prime. Res64: 97B26BDC48E6E52E Time : 0.0 sec. user=mdettweiler [2013-02-20 15:40:26] 651*2^1241361-1 is not prime. Res64: 1E0BB9FFA479ABA2 Time : 0.0 sec. user=mdettweiler [2013-02-20 15:40:27] 685*2^1241361-1 is not prime. Res64: 782BBCC6F988E23B Time : 0.0 sec. user=mdettweiler [2013-02-20 15:40:27] 727*2^1241361-1 is not prime. Res64: 44D90F6C32011B94 Time : 0.0 sec. user=mdettweiler [2013-02-20 15:40:28] 735*2^1241361-1 is not prime. Res64: 9794911F18E0821A Time : 0.0 sec. user=mdettweiler [2013-02-20 15:58:02] 865*2^1241361-1 is not prime. Res64: D0C771BF131FC244 Time : 0.0 sec. user=mdettweiler [2013-02-20 15:58:02] 909*2^1241361-1 is not prime. Res64: B4E491F1405011EB Time : 0.0 sec. user=mdettweiler [2013-02-20 15:58:03] 695*2^1241362-1 is not prime. Res64: D62D8A025DA9E6CF Time : 0.0 sec. user=mdettweiler [2013-02-20 15:58:03] 723*2^1241362-1 is not prime. Res64: 44771AD12CEB1163 Time : 0.0 sec. user=mdettweiler [2013-02-20 16:15:41] 855*2^1241362-1 is not prime. Res64: DB68BF9AA53D737F Time : 0.0 sec. user=mdettweiler [2013-02-20 16:15:41] 885*2^1241362-1 is not prime. Res64: E80DFDE7A04C1EB7 Time : 0.0 sec. user=mdettweiler [2013-02-20 16:15:42] 951*2^1241362-1 is not prime. Res64: B386456C4E2B74B2 Time : 0.0 sec. user=mdettweiler [2013-02-20 16:15:42] 957*2^1241362-1 is not prime. Res64: 957903F1FF17A263 Time : 0.0 sec. user=juhehe [2013-02-20 16:23:07] 609*2^1241361-1 is not prime. Res64: FB8E7FA9B92B5934 Time : 0.0 sec. user=mdettweiler [2013-02-20 16:33:32] 685*2^1241363-1 is not prime. Res64: 9E23E3FD542C2E2D Time : 0.0 sec. user=mdettweiler [2013-02-20 16:33:32] 705*2^1241363-1 is not prime. Res64: 9023751FCA9B5C2F Time : 0.0 sec. user=mdettweiler [2013-02-20 16:33:45] 741*2^1241363-1 is not prime. Res64: 775785392C2723A6 Time : 0.0 sec. user=mdettweiler [2013-02-20 16:33:46] 771*2^1241363-1 is not prime. Res64: 7E5203BD9BF169BB Time : 0.0 sec. user=mdettweiler [2013-02-20 16:51:19] 859*2^1241363-1 is not prime. Res64: D537043AA4EA7421 Time : 0.0 sec. user=mdettweiler [2013-02-20 16:51:19] 963*2^1241363-1 is not prime. Res64: 98E18B559D438D3C Time : 0.0 sec. user=mdettweiler [2013-02-20 16:51:32] 981*2^1241363-1 is not prime. Res64: C863B1D918789485 Time : 0.0 sec. user=mdettweiler [2013-02-20 16:51:32] 665*2^1241364-1 is not prime. Res64: EDAD7EF96CA81594 Time : 0.0 sec. user=mdettweiler [2013-02-20 17:08:50] 749*2^1241364-1 is not prime. Res64: BF49AD8D61D8A8B8 Time : 0.0 sec. user=mdettweiler [2013-02-20 17:08:51] 825*2^1241364-1 is not prime. Res64: 10D7AE3969B041DB Time : 0.0 sec. user=mdettweiler [2013-02-20 17:09:02] 945*2^1241364-1 is not prime. Res64: 8ADF1B7CC5DD2CA7 Time : 0.0 sec. user=mdettweiler [2013-02-20 17:09:03] 983*2^1241364-1 is not prime. Res64: EEB6979141EA88D2 Time : 0.0 sec. user=juhehe [2013-02-20 17:21:34] 987*2^1241362-1 is not prime. Res64: 1A7AB62784750DD4 Time : 0.0 sec. user=mdettweiler [2013-02-20 17:26:37] 619*2^1241365-1 is not prime. Res64: A45280F7FE12A919 Time : 0.0 sec. user=mdettweiler [2013-02-20 17:26:38] 717*2^1241365-1 is not prime. Res64: 52F5B759A5C4E2FE Time : 0.0 sec. user=mdettweiler [2013-02-20 17:26:39] 831*2^1241365-1 is not prime. Res64: 5E38A987763E497A Time : 0.0 sec. user=mdettweiler [2013-02-20 17:26:39] 871*2^1241365-1 is not prime. Res64: F526E9C980C520B8 Time : 0.0 sec. user=mdettweiler [2013-02-20 17:44:08] 997*2^1241365-1 is not prime. Res64: 0FC6FC6816F560B9 Time : 0.0 sec. user=mdettweiler [2013-02-20 17:44:08] 627*2^1241366-1 is not prime. Res64: 423CCDB7F23987DF Time : 0.0 sec. user=mdettweiler [2013-02-20 17:44:09] 651*2^1241366-1 is not prime. Res64: B2D61AE5948C66B6 Time : 0.0 sec. user=mdettweiler [2013-02-20 17:44:10] 867*2^1241366-1 is not prime. Res64: 2325271886E6237A Time : 0.0 sec. user=mdettweiler [2013-02-20 18:01:39] 993*2^1241366-1 is not prime. Res64: CD5CE6E297EE7537 Time : 0.0 sec. user=mdettweiler [2013-02-20 18:01:41] 651*2^1241367-1 is not prime. Res64: 14EDC9419263CFC6 Time : 0.0 sec. user=mdettweiler [2013-02-20 18:01:42] 649*2^1241367-1 is not prime. Res64: C2662DD7A46E5FAD Time : 0.0 sec. user=mdettweiler [2013-02-20 18:01:43] 751*2^1241367-1 is not prime. Res64: 8F1627C9B542C7D7 Time : 0.0 sec. user=mdettweiler [2013-02-20 18:19:25] 891*2^1241367-1 is not prime. Res64: B5F978BE20571905 Time : 0.0 sec. user=mdettweiler [2013-02-20 18:19:26] 603*2^1241368-1 is not prime. Res64: CF1ECF58ACAA9C7C Time : 0.0 sec. user=mdettweiler [2013-02-20 18:19:26] 765*2^1241367-1 is not prime. Res64: F88486563AAC682F Time : 0.0 sec. user=mdettweiler [2013-02-20 18:19:27] 705*2^1241368-1 is not prime. Res64: 50867B5D7E561C46 Time : 0.0 sec. user=juhehe [2013-02-20 18:23:35] 919*2^1241365-1 is not prime. Res64: 61CCE7602628B478 Time : 0.0 sec. user=mdettweiler [2013-02-20 18:36:53] 797*2^1241368-1 is not prime. Res64: 8DFD6EC03185092A Time : 0.0 sec. user=mdettweiler [2013-02-20 18:36:53] 827*2^1241368-1 is not prime. Res64: 530FC5E00D3B6E65 Time : 0.0 sec. user=mdettweiler [2013-02-20 18:36:54] 839*2^1241368-1 is not prime. Res64: FCE2776F7207322C Time : 0.0 sec. user=mdettweiler [2013-02-20 18:36:55] 899*2^1241368-1 is not prime. Res64: 2B07F26E93A75503 Time : 0.0 sec. user=mdettweiler [2013-02-20 18:54:30] 787*2^1241369-1 is not prime. Res64: E4ED82133C5D2DCF Time : 0.0 sec. user=mdettweiler [2013-02-20 18:54:30] 829*2^1241369-1 is not prime. Res64: 79693E229DD4113D Time : 0.0 sec. user=mdettweiler [2013-02-20 18:54:31] 925*2^1241369-1 is not prime. Res64: 612B81E44700D227 Time : 0.0 sec. user=mdettweiler [2013-02-20 18:54:31] 651*2^1241370-1 is not prime. Res64: A816693500A93BAE Time : 0.0 sec. user=mdettweiler [2013-02-20 19:12:39] 917*2^1241370-1 is not prime. Res64: A2081E98D7ABA735 Time : 0.0 sec. user=mdettweiler [2013-02-20 19:12:40] 845*2^1241370-1 is not prime. Res64: 264049FF623F3079 Time : 0.0 sec. user=mdettweiler [2013-02-20 19:12:40] 957*2^1241370-1 is not prime. Res64: DC8ED0B06F06ED5F Time : 0.0 sec. user=mdettweiler [2013-02-20 19:12:40] 861*2^1241370-1 is not prime. Res64: 399B90B3F9DADF32 Time : 0.0 sec. user=juhehe [2013-02-20 19:29:19] 999*2^1241368-1 is not prime. Res64: 940748934F53FF16 Time : 0.0 sec. user=mdettweiler [2013-02-20 19:30:48] 603*2^1241371-1 is not prime. Res64: F0AB861572B15DC9 Time : 0.0 sec. user=mdettweiler [2013-02-20 19:30:48] 691*2^1241371-1 is not prime. Res64: 3552ED8D1A26BBA9 Time : 0.0 sec. user=mdettweiler [2013-02-20 19:30:48] 849*2^1241371-1 is not prime. Res64: 00960252CB16EF60 Time : 0.0 sec. user=mdettweiler [2013-02-20 19:30:48] 901*2^1241371-1 is not prime. Res64: D8C177A63CEB562F Time : 0.0 sec. user=mdettweiler [2013-02-20 19:48:54] 665*2^1241372-1 is not prime. Res64: 26677E7FBFE0BE1B Time : 0.0 sec. user=mdettweiler [2013-02-20 19:48:55] 693*2^1241372-1 is not prime. Res64: A1DA4E789293D367 Time : 0.0 sec. user=mdettweiler [2013-02-20 19:48:55] 983*2^1241372-1 is not prime. Res64: F38077E8237550D1 Time : 0.0 sec. user=mdettweiler [2013-02-20 19:48:56] 735*2^1241373-1 is not prime. Res64: 19A5B20F3AA4521C Time : 0.0 sec. user=mdettweiler [2013-02-20 20:06:21] 871*2^1241373-1 is not prime. Res64: A234370A3E06A2B8 Time : 0.0 sec. user=mdettweiler [2013-02-20 20:06:22] 891*2^1241373-1 is not prime. Res64: 963E4BBCAD185D99 Time : 0.0 sec. user=mdettweiler [2013-02-20 20:06:22] 927*2^1241373-1 is not prime. Res64: 9CE046CA5D9B8DC2 Time : 0.0 sec. user=mdettweiler [2013-02-20 20:06:23] 617*2^1241374-1 is not prime. Res64: 1B2077D5EB7948CD Time : 0.0 sec. user=mdettweiler [2013-02-20 20:23:51] 635*2^1241374-1 is not prime. Res64: C565884C63160BE9 Time : 0.0 sec. user=mdettweiler [2013-02-20 20:23:52] 791*2^1241374-1 is not prime. Res64: A41333904E78861F Time : 0.0 sec. user=mdettweiler [2013-02-20 20:23:53] 863*2^1241374-1 is not prime. Res64: 70C861DFE37BFBC7 Time : 0.0 sec. user=mdettweiler [2013-02-20 20:23:54] 1001*2^1241374-1 is not prime. Res64: ADC228A6F017E735 Time : 0.0 sec. user=juhehe [2013-02-20 20:24:03] 969*2^1241371-1 is not prime. Res64: 00A60F63AD2F8F24 Time : 0.0 sec. user=mdettweiler [2013-02-20 20:41:24] 853*2^1241375-1 is not prime. Res64: 8DFDE60F61EF5A2B Time : 0.0 sec. user=mdettweiler [2013-02-20 20:41:25] 859*2^1241375-1 is not prime. Res64: 38DF869879330A44 Time : 0.0 sec. user=mdettweiler [2013-02-20 20:41:26] 913*2^1241375-1 is not prime. Res64: 8B7AB7BC56E0D9D7 Time : 0.0 sec. user=mdettweiler [2013-02-20 20:41:27] 639*2^1241376-1 is not prime. Res64: 650C250865B40BAE Time : 0.0 sec. user=mdettweiler [2013-02-20 20:58:52] 669*2^1241376-1 is not prime. Res64: F27536C34ADAC2B7 Time : 0.0 sec. user=mdettweiler [2013-02-20 20:58:53] 767*2^1241376-1 is not prime. Res64: BB39542E9905BD65 Time : 0.0 sec. user=mdettweiler [2013-02-20 20:58:53] 789*2^1241376-1 is not prime. Res64: 823AD0A6B0C0F2B1 Time : 0.0 sec. user=mdettweiler [2013-02-20 20:58:54] 899*2^1241376-1 is not prime. Res64: 6C1C8B2D0596A53D Time : 0.0 sec. user=mdettweiler [2013-02-20 21:16:20] 601*2^1241377-1 is not prime. Res64: 1D28C394E64A622E Time : 0.0 sec. user=mdettweiler [2013-02-20 21:16:20] 715*2^1241377-1 is not prime. Res64: D2382F472F208F29 Time : 0.0 sec. user=mdettweiler [2013-02-20 21:16:21] 729*2^1241377-1 is not prime. Res64: 2069F7DAEE7DDB86 Time : 0.0 sec. user=mdettweiler [2013-02-20 21:16:21] 759*2^1241377-1 is not prime. Res64: 27C25351B6C990F1 Time : 0.0 sec. user=mdettweiler [2013-02-20 21:33:43] 829*2^1241377-1 is not prime. Res64: 95993211457EE70F Time : 0.0 sec. user=mdettweiler [2013-02-20 21:33:44] 979*2^1241377-1 is not prime. Res64: F2E952FE90305B64 Time : 0.0 sec. user=mdettweiler [2013-02-20 21:33:44] 867*2^1241377-1 is not prime. Res64: 68F1ABB14158E82B Time : 0.0 sec. user=mdettweiler [2013-02-20 21:33:44] 999*2^1241377-1 is not prime. Res64: F8A3783F52DB7D5E Time : 0.0 sec. user=mdettweiler [2013-02-20 21:51:06] 705*2^1241378-1 is not prime. Res64: 3D7DB441E9CA39CB Time : 0.0 sec. user=mdettweiler [2013-02-20 21:51:06] 743*2^1241378-1 is not prime. Res64: 35844F10BE922AFC Time : 0.0 sec. user=mdettweiler [2013-02-20 21:51:07] 731*2^1241378-1 is not prime. Res64: 5BA9B92858EDF32A Time : 0.0 sec. user=mdettweiler [2013-02-20 21:51:07] 771*2^1241378-1 is not prime. Res64: 39D722611D863038 Time : 0.0 sec. user=mdettweiler [2013-02-20 22:08:29] 813*2^1241378-1 is not prime. Res64: 6E1E351AB066D01F Time : 0.0 sec. user=mdettweiler [2013-02-20 22:08:32] 921*2^1241378-1 is not prime. Res64: 0E79983892E200DE Time : 0.0 sec. user=mdettweiler [2013-02-20 22:08:34] 827*2^1241378-1 is not prime. Res64: 3C1FC359976C7ECE Time : 0.0 sec. user=mdettweiler [2013-02-20 22:08:36] 953*2^1241378-1 is not prime. Res64: 8138AA979B2F113A Time : 0.0 sec. user=mdettweiler [2013-02-20 22:26:04] 963*2^1241378-1 is not prime. Res64: 2A5972E5707E81D2 Time : 0.0 sec. user=mdettweiler [2013-02-20 22:26:04] 1001*2^1241378-1 is not prime. Res64: 27E1F73AF63C4BFB Time : 0.0 sec. user=mdettweiler [2013-02-20 22:26:06] 615*2^1241379-1 is not prime. Res64: C12072B9B23D3542 Time : 0.0 sec. user=mdettweiler [2013-02-20 22:26:06] 633*2^1241379-1 is not prime. Res64: B6582D4049640FD9 Time : 0.0 sec. user=juhehe [2013-02-20 22:28:56] 603*2^1241378-1 is not prime. Res64: 7B5F42583FA953C5 Time : 0.0 sec. user=mdettweiler [2013-02-20 22:43:26] 829*2^1241379-1 is not prime. Res64: 05B03DB99D205F42 Time : 0.0 sec. user=mdettweiler [2013-02-20 22:43:27] 895*2^1241379-1 is not prime. Res64: BD36C4C4071E0961 Time : 0.0 sec. user=mdettweiler [2013-02-20 22:43:27] 931*2^1241379-1 is not prime. Res64: 6E6CD3B09ECCE8B6 Time : 0.0 sec. user=mdettweiler [2013-02-20 22:43:28] 975*2^1241379-1 is not prime. Res64: 7702846EDA83CF55 Time : 0.0 sec. user=mdettweiler [2013-02-20 23:00:48] 605*2^1241380-1 is not prime. Res64: 46DED5FE025A1793 Time : 0.0 sec. user=mdettweiler [2013-02-20 23:00:50] 665*2^1241380-1 is not prime. Res64: 47D49C6296075C9F Time : 0.0 sec. user=mdettweiler [2013-02-20 23:00:50] 743*2^1241380-1 is not prime. Res64: B677AF793706A312 Time : 0.0 sec. user=mdettweiler [2013-02-20 23:00:51] 765*2^1241380-1 is not prime. Res64: B0F68AF9F32A49A6 Time : 0.0 sec. user=mdettweiler [2013-02-20 23:18:16] 863*2^1241380-1 is not prime. Res64: AF1C02E1ED22EE18 Time : 0.0 sec. user=mdettweiler [2013-02-20 23:18:17] 909*2^1241380-1 is not prime. Res64: E020550A14411E4D Time : 0.0 sec. user=mdettweiler [2013-02-20 23:18:17] 957*2^1241380-1 is not prime. Res64: 30B527D3562620E0 Time : 0.0 sec. user=mdettweiler [2013-02-20 23:18:18] 601*2^1241381-1 is not prime. Res64: 92FFD2842E51F899 Time : 0.0 sec. user=juhehe [2013-02-20 23:23:25] 685*2^1241379-1 is not prime. Res64: B5201325A2F27E9D Time : 0.0 sec. user=mdettweiler [2013-02-20 23:35:40] 631*2^1241381-1 is not prime. Res64: D02C6975D75DAFD2 Time : 0.0 sec. user=mdettweiler [2013-02-20 23:35:41] 727*2^1241381-1 is not prime. Res64: F8DF4F6BE446F768 Time : 0.0 sec. user=mdettweiler [2013-02-20 23:35:41] 859*2^1241381-1 is not prime. Res64: AD0C499ED276C936 Time : 0.0 sec. user=mdettweiler [2013-02-20 23:35:42] 927*2^1241381-1 is not prime. Res64: 85AFA5F27C1B45D6 Time : 0.0 sec. user=mdettweiler [2013-02-20 23:53:03] 791*2^1241382-1 is not prime. Res64: F39992B12F29EB02 Time : 0.0 sec. user=mdettweiler [2013-02-20 23:53:03] 887*2^1241382-1 is not prime. Res64: 8601658042F4D2E2 Time : 0.0 sec. user=mdettweiler [2013-02-20 23:53:04] 917*2^1241382-1 is not prime. Res64: 48A0CDF9942FC319 Time : 0.0 sec. user=mdettweiler [2013-02-20 23:53:05] 951*2^1241382-1 is not prime. Res64: 644D47C223779F07 Time : 0.0 sec.