user=mdettweiler [2013-04-01 00:19:20] 651*2^1243695-1 is not prime. Res64: 1C75060E66FC2F00 Time : 0.0 sec. user=mdettweiler [2013-04-01 00:19:20] 705*2^1243695-1 is not prime. Res64: 9DFDAF69CDE3CDD8 Time : 0.0 sec. user=mdettweiler [2013-04-01 00:19:20] 691*2^1243695-1 is not prime. Res64: 597385836D8BBA19 Time : 0.0 sec. user=mdettweiler [2013-04-01 00:19:21] 861*2^1243695-1 is not prime. Res64: 2A4F7C00E6540E2F Time : 0.0 sec. user=vaughan [2013-04-01 00:19:51] 895*2^1243695-1 is not prime. Res64: 6D381F5212CD3F45 Time : 0.0 sec. user=mdettweiler [2013-04-01 00:36:48] 657*2^1243696-1 is not prime. Res64: 06E5AFF894218B89 Time : 0.0 sec. user=mdettweiler [2013-04-01 00:36:49] 825*2^1243696-1 is not prime. Res64: D348583DC07954C7 Time : 0.0 sec. user=mdettweiler [2013-04-01 00:36:50] 905*2^1243696-1 is not prime. Res64: A44F3150116CAF7D Time : 0.0 sec. user=mdettweiler [2013-04-01 00:36:51] 927*2^1243696-1 is not prime. Res64: 024386345FB2A987 Time : 0.0 sec. user=mdettweiler [2013-04-01 00:54:15] 691*2^1243697-1 is not prime. Res64: A9A18FE837A11B18 Time : 0.0 sec. user=mdettweiler [2013-04-01 00:54:16] 717*2^1243697-1 is not prime. Res64: 042E55D79AC2FA14 Time : 0.0 sec. user=mdettweiler [2013-04-01 00:54:17] 909*2^1243697-1 is not prime. Res64: E4AE5EA523063981 Time : 0.0 sec. user=mdettweiler [2013-04-01 00:54:18] 949*2^1243697-1 is not prime. Res64: 742BAA82A2C8C1F8 Time : 0.0 sec. user=vaughan [2013-04-01 01:03:13] 965*2^1243696-1 is not prime. Res64: EA22F5140AA3A4BF Time : 0.0 sec. user=mdettweiler [2013-04-01 01:11:43] 647*2^1243698-1 is not prime. Res64: 08AAA9A93B5901EC Time : 0.0 sec. user=mdettweiler [2013-04-01 01:11:43] 755*2^1243698-1 is not prime. Res64: C5AB7694ECC42EEB Time : 0.0 sec. user=mdettweiler [2013-04-01 01:11:44] 767*2^1243698-1 is not prime. Res64: F7AE72048C27B272 Time : 0.0 sec. user=mdettweiler [2013-04-01 01:11:44] 891*2^1243698-1 is not prime. Res64: D2553C3C3FC26628 Time : 0.0 sec. user=mdettweiler [2013-04-01 01:29:09] 951*2^1243698-1 is not prime. Res64: F5E238FE22497AEC Time : 0.0 sec. user=mdettweiler [2013-04-01 01:29:09] 645*2^1243699-1 is not prime. Res64: F5B92349E19E03E5 Time : 0.0 sec. user=mdettweiler [2013-04-01 01:29:10] 675*2^1243699-1 is not prime. Res64: D60681E3C387CD82 Time : 0.0 sec. user=mdettweiler [2013-04-01 01:29:11] 735*2^1243699-1 is not prime. Res64: 0A605E77B93EA354 Time : 0.0 sec. user=juhehe [2013-04-01 01:29:28] 983*2^1243696-1 is not prime. Res64: E9740E5CDCCBCFF2 Time : 0.0 sec. user=mdettweiler [2013-04-01 01:46:37] 751*2^1243699-1 is not prime. Res64: B6E26E764A424E3C Time : 0.0 sec. user=mdettweiler [2013-04-01 01:46:38] 919*2^1243699-1 is not prime. Res64: F56BCEFC256E0D21 Time : 0.0 sec. user=mdettweiler [2013-04-01 01:46:38] 609*2^1243700-1 is not prime. Res64: 79EF48406B72DA4A Time : 0.0 sec. user=mdettweiler [2013-04-01 01:46:39] 635*2^1243700-1 is not prime. Res64: BA30B6778227ABF3 Time : 0.0 sec. user=vaughan [2013-04-01 01:46:56] 945*2^1243698-1 is not prime. Res64: 21C3DFC9A9548CDD Time : 0.0 sec. user=juhehe [2013-04-01 01:48:34] 611*2^1243698-1 is not prime. Res64: 90D19AEAA057FB08 Time : 0.0 sec. user=mdettweiler [2013-04-01 02:04:05] 647*2^1243700-1 is not prime. Res64: FD4E45993B2FD968 Time : 0.0 sec. user=mdettweiler [2013-04-01 02:04:06] 797*2^1243700-1 is not prime. Res64: 4E7DB33FB558396B Time : 0.0 sec. user=mdettweiler [2013-04-01 02:04:06] 825*2^1243700-1 is not prime. Res64: A47505433EA6A39D Time : 0.0 sec. user=mdettweiler [2013-04-01 02:04:06] 767*2^1243700-1 is not prime. Res64: 363699CCC72CBCAF Time : 0.0 sec. user=mdettweiler [2013-04-01 02:21:38] 867*2^1243701-1 is not prime. Res64: 2D5610F78E3CE78B Time : 0.0 sec. user=mdettweiler [2013-04-01 02:21:39] 999*2^1243700-1 is not prime. Res64: C092284DE9971A85 Time : 0.0 sec. user=mdettweiler [2013-04-01 02:21:39] 653*2^1243702-1 is not prime. Res64: 6F395621F3311782 Time : 0.0 sec. user=mdettweiler [2013-04-01 02:21:39] 679*2^1243701-1 is not prime. Res64: 6BD3BD1B7BE8D92F Time : 0.0 sec. user=vaughan [2013-04-01 02:25:12] 879*2^1243700-1 is not prime. Res64: B3A7892B292CECB8 Time : 0.0 sec. user=mdettweiler [2013-04-01 02:39:08] 713*2^1243702-1 is not prime. Res64: B42004EEB1951AE5 Time : 0.0 sec. user=mdettweiler [2013-04-01 02:39:09] 825*2^1243702-1 is not prime. Res64: D0C79BD66D4F4F93 Time : 0.0 sec. user=mdettweiler [2013-04-01 02:39:10] 777*2^1243702-1 is not prime. Res64: 3C490C3A82645CCF Time : 0.0 sec. user=mdettweiler [2013-04-01 02:39:11] 987*2^1243702-1 is not prime. Res64: 2283FF5204E7E4DE Time : 0.0 sec. user=mdettweiler [2013-04-01 02:57:04] 663*2^1243703-1 is not prime. Res64: 0DEAB0C2DAC2E878 Time : 0.0 sec. user=mdettweiler [2013-04-01 02:57:05] 673*2^1243703-1 is not prime. Res64: CE975A9D50512CAB Time : 0.0 sec. user=mdettweiler [2013-04-01 02:57:06] 705*2^1243703-1 is not prime. Res64: 34F40D5648428EDD Time : 0.0 sec. user=mdettweiler [2013-04-01 02:57:07] 859*2^1243703-1 is not prime. Res64: 764C04C25E9B67A2 Time : 0.0 sec. user=vaughan [2013-04-01 03:03:26] 615*2^1243703-1 is not prime. Res64: FF068D2A46BEF420 Time : 0.0 sec. user=mdettweiler [2013-04-01 03:14:36] 863*2^1243704-1 is not prime. Res64: C9D5C4332DA7F265 Time : 0.0 sec. user=mdettweiler [2013-04-01 03:14:36] 747*2^1243704-1 is not prime. Res64: 7DE453DE10E30F26 Time : 0.0 sec. user=mdettweiler [2013-04-01 03:14:36] 893*2^1243704-1 is not prime. Res64: 8C49AEC9F4E4EFAB Time : 0.0 sec. user=mdettweiler [2013-04-01 03:14:37] 857*2^1243704-1 is not prime. Res64: C952D91F507F2AC7 Time : 0.0 sec. user=mdettweiler [2013-04-01 03:32:07] 903*2^1243704-1 is not prime. Res64: E137963D51ABA60B Time : 0.0 sec. user=mdettweiler [2013-04-01 03:32:08] 651*2^1243705-1 is not prime. Res64: 5A833D62FC22C8ED Time : 0.0 sec. user=mdettweiler [2013-04-01 03:32:09] 705*2^1243705-1 is not prime. Res64: B41AE9CA7233E075 Time : 0.0 sec. user=mdettweiler [2013-04-01 03:32:10] 721*2^1243705-1 is not prime. Res64: 68242B4D4761DFB4 Time : 0.0 sec. user=vaughan [2013-04-01 03:41:45] 899*2^1243704-1 is not prime. Res64: A6B67A2E2A279EB6 Time : 0.0 sec. user=mdettweiler [2013-04-01 03:50:05] 767*2^1243706-1 is not prime. Res64: DD59162C08A611C5 Time : 0.0 sec. user=mdettweiler [2013-04-01 03:50:06] 783*2^1243706-1 is not prime. Res64: F53A8C0DDBA8F142 Time : 0.0 sec. user=mdettweiler [2013-04-01 03:50:06] 867*2^1243706-1 is not prime. Res64: E0457E2200BA489F Time : 0.0 sec. user=mdettweiler [2013-04-01 03:50:07] 917*2^1243706-1 is not prime. Res64: B0D1AF34537133F3 Time : 0.0 sec. user=juhehe [2013-04-01 03:50:36] 609*2^1243704-1 is not prime. Res64: 304229E620285221 Time : 0.0 sec. user=juhehe [2013-04-01 04:00:26] 981*2^1243706-1 is not prime. Res64: 16CD1C4B10C3CA14 Time : 0.0 sec. user=mdettweiler [2013-04-01 04:07:36] 751*2^1243707-1 is not prime. Res64: C996C5B069A55096 Time : 0.0 sec. user=mdettweiler [2013-04-01 04:07:37] 955*2^1243707-1 is not prime. Res64: 0175E0240DB216DB Time : 0.0 sec. user=mdettweiler [2013-04-01 04:07:37] 795*2^1243707-1 is not prime. Res64: D0A54075030C95B2 Time : 0.0 sec. user=mdettweiler [2013-04-01 04:07:38] 735*2^1243708-1 is not prime. Res64: BE689E7BE988FEA7 Time : 0.0 sec. user=juhehe [2013-04-01 04:20:55] 923*2^1243708-1 is not prime. Res64: E0663B3B5022CDDC Time : 0.0 sec. user=vaughan [2013-04-01 04:25:04] 987*2^1243706-1 is not prime. Res64: 0BBCCB5CE4CCB765 Time : 0.0 sec. user=mdettweiler [2013-04-01 04:25:08] 987*2^1243708-1 is not prime. Res64: F86E18CF9E45CD3F Time : 0.0 sec. user=mdettweiler [2013-04-01 04:25:09] 825*2^1243709-1 is not prime. Res64: 2ABEF5E5C44186B2 Time : 0.0 sec. user=mdettweiler [2013-04-01 04:25:09] 655*2^1243709-1 is not prime. Res64: 54233557CF0B6506 Time : 0.0 sec. user=mdettweiler [2013-04-01 04:25:10] 831*2^1243709-1 is not prime. Res64: 798157E3163D1EBC Time : 0.0 sec. user=juhehe [2013-04-01 04:31:01] 683*2^1243706-1 is not prime. Res64: 66BD2DF435DAA3E9 Time : 0.0 sec. user=juhehe [2013-04-01 04:41:18] 641*2^1243710-1 is not prime. Res64: A0E547623F0188BE Time : 0.0 sec. user=mdettweiler [2013-04-01 04:42:36] 927*2^1243710-1 is not prime. Res64: 77A43A60CEEF037B Time : 0.0 sec. user=mdettweiler [2013-04-01 04:42:36] 977*2^1243710-1 is not prime. Res64: 34E2247619A611C8 Time : 0.0 sec. user=mdettweiler [2013-04-01 04:42:38] 603*2^1243711-1 is not prime. Res64: D6E8533F602581D1 Time : 0.0 sec. user=mdettweiler [2013-04-01 04:42:38] 625*2^1243711-1 is not prime. Res64: 245C94D70C047F77 Time : 0.0 sec. user=mdettweiler [2013-04-01 05:00:02] 703*2^1243711-1 is not prime. Res64: 1F2450284397C62E Time : 0.0 sec. user=mdettweiler [2013-04-01 05:00:03] 813*2^1243711-1 is not prime. Res64: 50A4693D6FC88C94 Time : 0.0 sec. user=mdettweiler [2013-04-01 05:00:03] 723*2^1243711-1 is not prime. Res64: 94F4F07F84C6BFB2 Time : 0.0 sec. user=mdettweiler [2013-04-01 05:00:03] 871*2^1243711-1 is not prime. Res64: B64750B1389515F2 Time : 0.0 sec. user=juhehe [2013-04-01 05:01:45] 673*2^1243711-1 is not prime. Res64: D74FAD465D3616C9 Time : 0.0 sec. user=vaughan [2013-04-01 05:03:21] 885*2^1243710-1 is not prime. Res64: F99AAE70231EB94C Time : 0.0 sec. user=mdettweiler [2013-04-01 05:17:32] 961*2^1243711-1 is not prime. Res64: 46BBE8E830A66ADD Time : 0.0 sec. user=mdettweiler [2013-04-01 05:17:33] 975*2^1243711-1 is not prime. Res64: 2648A151E05E754C Time : 0.0 sec. user=mdettweiler [2013-04-01 05:17:34] 993*2^1243711-1 is not prime. Res64: 31B835AECF014934 Time : 0.0 sec. user=mdettweiler [2013-04-01 05:17:35] 635*2^1243712-1 is not prime. Res64: 8C02F9F85A31E198 Time : 0.0 sec. user=mdettweiler [2013-04-01 05:35:05] 735*2^1243712-1 is not prime. Res64: 765FDD473DF7D869 Time : 0.0 sec. user=mdettweiler [2013-04-01 05:35:06] 915*2^1243712-1 is not prime. Res64: DB3772653793F767 Time : 0.0 sec. user=mdettweiler [2013-04-01 05:35:06] 935*2^1243712-1 is not prime. Res64: 6333EF1FDDD019ED Time : 0.0 sec. user=mdettweiler [2013-04-01 05:35:06] 637*2^1243713-1 is not prime. Res64: 5183FAF69FAB8347 Time : 0.0 sec. user=vaughan [2013-04-01 05:42:04] 669*2^1243712-1 is not prime. Res64: E55C4F94CA48D698 Time : 0.0 sec. user=mdettweiler [2013-04-01 05:52:30] 781*2^1243713-1 is not prime. Res64: 7C1B7D6C95C03E90 Time : 0.0 sec. user=mdettweiler [2013-04-01 05:52:31] 789*2^1243713-1 is not prime. Res64: 75B69A976EE21DFE Time : 0.0 sec. user=mdettweiler [2013-04-01 05:52:31] 877*2^1243713-1 is not prime. Res64: 830262A5DB70613D Time : 0.0 sec. user=mdettweiler [2013-04-01 05:52:32] 621*2^1243714-1 is not prime. Res64: 3726CCC30420EAAB Time : 0.0 sec. user=juhehe [2013-04-01 05:52:33] 883*2^1243711-1 is not prime. Res64: D38A47BA0A86B101 Time : 0.0 sec. user=mdettweiler [2013-04-01 06:09:55] 675*2^1243714-1 is not prime. Res64: 969BD621A86B827D Time : 0.0 sec. user=mdettweiler [2013-04-01 06:09:56] 705*2^1243714-1 is not prime. Res64: E86D8E79D5AB4B04 Time : 0.0 sec. user=mdettweiler [2013-04-01 06:09:57] 855*2^1243714-1 is not prime. Res64: F00058A06CC5A885 Time : 0.0 sec. user=mdettweiler [2013-04-01 06:09:58] 903*2^1243714-1 is not prime. Res64: AB1CC81BE5D84113 Time : 0.0 sec. user=vaughan [2013-04-01 06:20:20] 657*2^1243714-1 is not prime. Res64: B4F30CA2CD82E1A6 Time : 0.0 sec. user=mdettweiler [2013-04-01 06:27:28] 923*2^1243714-1 is not prime. Res64: 79B0B52AF2C7045C Time : 0.0 sec. user=mdettweiler [2013-04-01 06:27:28] 855*2^1243715-1 is not prime. Res64: 67DF954B8686808C Time : 0.0 sec. user=mdettweiler [2013-04-01 06:27:29] 623*2^1243716-1 is not prime. Res64: EF191A0981BF08F8 Time : 0.0 sec. user=mdettweiler [2013-04-01 06:27:29] 693*2^1243716-1 is not prime. Res64: C51BEAC089FA7289 Time : 0.0 sec. user=juhehe [2013-04-01 06:33:17] 735*2^1243713-1 is not prime. Res64: 73949EF0C7C1086A Time : 0.0 sec. user=mdettweiler [2013-04-01 06:44:53] 845*2^1243716-1 is not prime. Res64: F969200E4E8EBF61 Time : 0.0 sec. user=mdettweiler [2013-04-01 06:44:54] 857*2^1243716-1 is not prime. Res64: 50405DF24AB373D2 Time : 0.0 sec. user=mdettweiler [2013-04-01 06:44:55] 903*2^1243716-1 is not prime. Res64: 9B0B6F24E195E943 Time : 0.0 sec. user=mdettweiler [2013-04-01 06:44:55] 947*2^1243716-1 is not prime. Res64: F7FCC6ED6EA9F97B Time : 0.0 sec. user=vaughan [2013-04-01 06:58:36] 767*2^1243716-1 is not prime. Res64: D0C560F55A545E87 Time : 0.0 sec. user=mdettweiler [2013-04-01 07:02:21] 639*2^1243717-1 is not prime. Res64: A85D3AEF337D9968 Time : 0.0 sec. user=mdettweiler [2013-04-01 07:02:21] 715*2^1243717-1 is not prime. Res64: FF7023E9A5AB9D4B Time : 0.0 sec. user=mdettweiler [2013-04-01 07:02:22] 685*2^1243717-1 is not prime. Res64: E42728E61E963516 Time : 0.0 sec. user=mdettweiler [2013-04-01 07:02:22] 759*2^1243717-1 is not prime. Res64: 384CC2E3E57E6A7C Time : 0.0 sec. user=mdettweiler [2013-04-01 07:19:49] 605*2^1243718-1 is not prime. Res64: B02E8A6DDD837ACA Time : 0.0 sec. user=mdettweiler [2013-04-01 07:19:49] 707*2^1243718-1 is not prime. Res64: F460FC803740C765 Time : 0.0 sec. user=mdettweiler [2013-04-01 07:19:50] 921*2^1243718-1 is not prime. Res64: 08FDA567F7A729B3 Time : 0.0 sec. user=mdettweiler [2013-04-01 07:19:51] 953*2^1243718-1 is not prime. Res64: AA8EEB2EE7BD901C Time : 0.0 sec. user=mdettweiler [2013-04-01 07:37:15] 679*2^1243719-1 is not prime. Res64: 87158EE3B25F63BC Time : 0.0 sec. user=mdettweiler [2013-04-01 07:37:16] 793*2^1243719-1 is not prime. Res64: 637B754B92712DAD Time : 0.0 sec. user=mdettweiler [2013-04-01 07:37:16] 861*2^1243719-1 is not prime. Res64: CD0A2188631D37EC Time : 0.0 sec. user=mdettweiler [2013-04-01 07:37:17] 615*2^1243720-1 is not prime. Res64: D4B1A74924F31934 Time : 0.0 sec. user=vaughan [2013-04-01 07:42:00] 945*2^1243717-1 is not prime. Res64: 7CDF480A1845136F Time : 0.0 sec. user=juhehe [2013-04-01 07:54:08] 885*2^1243717-1 is not prime. Res64: 257C74EE14DAB4C4 Time : 0.0 sec. user=mdettweiler [2013-04-01 07:54:40] 723*2^1243720-1 is not prime. Res64: 31E138F95FD85BB3 Time : 0.0 sec. user=mdettweiler [2013-04-01 07:54:41] 729*2^1243720-1 is not prime. Res64: 9517DCFB6249B8D5 Time : 0.0 sec. user=mdettweiler [2013-04-01 07:54:42] 917*2^1243720-1 is not prime. Res64: 7EBA7ADA82E40863 Time : 0.0 sec. user=mdettweiler [2013-04-01 07:54:42] 965*2^1243720-1 is not prime. Res64: D6548A135EAF7253 Time : 0.0 sec. user=mdettweiler [2013-04-01 08:12:07] 691*2^1243721-1 is not prime. Res64: 55D9E947A8C0499C Time : 0.0 sec. user=mdettweiler [2013-04-01 08:12:08] 769*2^1243721-1 is not prime. Res64: 4BEEBA73E62C69B5 Time : 0.0 sec. user=mdettweiler [2013-04-01 08:12:08] 811*2^1243721-1 is not prime. Res64: 130AE7A8F2998F6E Time : 0.0 sec. user=mdettweiler [2013-04-01 08:12:09] 803*2^1243722-1 is not prime. Res64: 6C9EC85CA96516D1 Time : 0.0 sec. user=vaughan [2013-04-01 08:20:17] 601*2^1243721-1 is not prime. Res64: BA1EE73186F1C96E Time : 0.0 sec. user=mdettweiler [2013-04-01 08:29:37] 837*2^1243722-1 is not prime. Res64: 0FE3E818CA279A10 Time : 0.0 sec. user=mdettweiler [2013-04-01 08:29:38] 873*2^1243722-1 is not prime. Res64: 01B58456168C83A2 Time : 0.0 sec. user=mdettweiler [2013-04-01 08:29:38] 887*2^1243722-1 is not prime. Res64: A6CCC5C46EE37528 Time : 0.0 sec. user=mdettweiler [2013-04-01 08:29:39] 893*2^1243722-1 is not prime. Res64: 61F37EA2BF0AA9BD Time : 0.0 sec. user=juhehe [2013-04-01 08:35:18] 713*2^1243720-1 is not prime. Res64: D3D6790EBF717F5A Time : 0.0 sec. user=mdettweiler [2013-04-01 08:47:03] 951*2^1243722-1 is not prime. Res64: C7821E2D82F344CE Time : 0.0 sec. user=mdettweiler [2013-04-01 08:47:04] 769*2^1243723-1 is not prime. Res64: FA0026B1C7F2A391 Time : 0.0 sec. user=mdettweiler [2013-04-01 08:47:05] 775*2^1243723-1 is not prime. Res64: 91C1A4B3517D86A9 Time : 0.0 sec. user=mdettweiler [2013-04-01 08:47:05] 819*2^1243723-1 is not prime. Res64: BC3744B4971B5A34 Time : 0.0 sec. user=vaughan [2013-04-01 08:58:30] 923*2^1243722-1 is not prime. Res64: 70D6354817EB5108 Time : 0.0 sec. user=mdettweiler [2013-04-01 09:04:30] 861*2^1243723-1 is not prime. Res64: 1236627966ACE25B Time : 0.0 sec. user=mdettweiler [2013-04-01 09:04:30] 891*2^1243723-1 is not prime. Res64: 02481A9293202031 Time : 0.0 sec. user=mdettweiler [2013-04-01 09:04:31] 945*2^1243723-1 is not prime. Res64: CAE8D9C06BA0A703 Time : 0.0 sec. user=mdettweiler [2013-04-01 09:04:31] 675*2^1243724-1 is not prime. Res64: 582A5E6FBD1309CA Time : 0.0 sec. user=mdettweiler [2013-04-01 09:22:02] 935*2^1243724-1 is not prime. Res64: 087651D97ECEB3DE Time : 0.0 sec. user=mdettweiler [2013-04-01 09:22:03] 651*2^1243725-1 is not prime. Res64: 54D4CD5DBDC5F31C Time : 0.0 sec. user=mdettweiler [2013-04-01 09:22:03] 709*2^1243725-1 is not prime. Res64: ED1C0D872A35A86A Time : 0.0 sec. user=mdettweiler [2013-04-01 09:22:04] 717*2^1243725-1 is not prime. Res64: 3A1D140CC8230DC6 Time : 0.0 sec. user=vaughan [2013-04-01 09:36:44] 903*2^1243724-1 is not prime. Res64: 1EA04AB460AA06D5 Time : 0.0 sec. user=mdettweiler [2013-04-01 09:39:31] 765*2^1243725-1 is not prime. Res64: DE6E9A69D6A68EE5 Time : 0.0 sec. user=mdettweiler [2013-04-01 09:39:32] 777*2^1243725-1 is not prime. Res64: DCF492273DA163BA Time : 0.0 sec. user=mdettweiler [2013-04-01 09:39:33] 789*2^1243725-1 is not prime. Res64: 8A55B546B2049C0B Time : 0.0 sec. user=mdettweiler [2013-04-01 09:39:34] 805*2^1243725-1 is not prime. Res64: 2484E9CDC9993FD1 Time : 0.0 sec. user=juhehe [2013-04-01 09:55:32] 837*2^1243724-1 is not prime. Res64: 32B5D419528CA8E0 Time : 0.0 sec. user=mdettweiler [2013-04-01 09:56:56] 961*2^1243725-1 is not prime. Res64: B166692C2D62E82A Time : 0.0 sec. user=mdettweiler [2013-04-01 09:56:57] 997*2^1243725-1 is not prime. Res64: 73DA9D736D6672EB Time : 0.0 sec. user=mdettweiler [2013-04-01 09:56:58] 647*2^1243726-1 is not prime. Res64: 5E4FEF7C7464876A Time : 0.0 sec. user=mdettweiler [2013-04-01 09:56:59] 695*2^1243726-1 is not prime. Res64: F05C8380CC42BF4D Time : 0.0 sec. user=mdettweiler [2013-04-01 10:14:22] 933*2^1243726-1 is not prime. Res64: B051B7CC451D4180 Time : 0.0 sec. user=mdettweiler [2013-04-01 10:14:23] 987*2^1243726-1 is not prime. Res64: 3CFFF2D8990B811B Time : 0.0 sec. user=mdettweiler [2013-04-01 10:14:24] 645*2^1243727-1 is not prime. Res64: 58232F9B48BD008A Time : 0.0 sec. user=mdettweiler [2013-04-01 10:14:24] 661*2^1243727-1 is not prime. Res64: 7CEBB6945FC63A5C Time : 0.0 sec. user=vaughan [2013-04-01 10:15:01] 895*2^1243725-1 is not prime. Res64: 4C0927E0D56825F5 Time : 0.0 sec. user=mdettweiler [2013-04-01 10:31:47] 703*2^1243727-1 is not prime. Res64: 8565C389CFD367FF Time : 0.0 sec. user=mdettweiler [2013-04-01 10:31:48] 861*2^1243727-1 is not prime. Res64: 545768D994D09160 Time : 0.0 sec. user=mdettweiler [2013-04-01 10:31:49] 669*2^1243728-1 is not prime. Res64: CE93C48D42207E9A Time : 0.0 sec. user=mdettweiler [2013-04-01 10:31:49] 737*2^1243728-1 is not prime. Res64: D50A4D3E04F7C842 Time : 0.0 sec. user=juhehe [2013-04-01 10:36:48] 891*2^1243725-1 is not prime. Res64: C74FE2BA1B106934 Time : 0.0 sec. user=mdettweiler [2013-04-01 10:49:13] 619*2^1243729-1 is not prime. Res64: 1A5207C88AF8761F Time : 0.0 sec. user=mdettweiler [2013-04-01 10:49:13] 625*2^1243729-1 is not prime. Res64: 822726D214985114 Time : 0.0 sec. user=mdettweiler [2013-04-01 10:49:14] 639*2^1243729-1 is not prime. Res64: E9E9897C926DE39C Time : 0.0 sec. user=mdettweiler [2013-04-01 10:49:14] 705*2^1243729-1 is not prime. Res64: 6EBEC4F675D7B61A Time : 0.0 sec. user=vaughan [2013-04-01 10:53:15] 927*2^1243728-1 is not prime. Res64: B1BD91E9242416B7 Time : 0.0 sec. user=mdettweiler [2013-04-01 11:06:38] 741*2^1243729-1 is not prime. Res64: 7B294B5AB612905A Time : 0.0 sec. user=mdettweiler [2013-04-01 11:06:39] 855*2^1243729-1 is not prime. Res64: 655C370E35E35FAA Time : 0.0 sec. user=mdettweiler [2013-04-01 11:06:40] 769*2^1243729-1 is not prime. Res64: 73556B76BA420013 Time : 0.0 sec. user=mdettweiler [2013-04-01 11:06:40] 909*2^1243729-1 is not prime. Res64: B6346D12CA355673 Time : 0.0 sec. user=mdettweiler [2013-04-01 11:24:08] 687*2^1243730-1 is not prime. Res64: 644BB2D5C7C8031D Time : 0.0 sec. user=mdettweiler [2013-04-01 11:24:08] 701*2^1243730-1 is not prime. Res64: C6FED990697294A6 Time : 0.0 sec. user=mdettweiler [2013-04-01 11:24:08] 711*2^1243730-1 is not prime. Res64: 168525A297E64AAC Time : 0.0 sec. user=mdettweiler [2013-04-01 11:24:09] 767*2^1243730-1 is not prime. Res64: 7B7FFA4BE995356B Time : 0.0 sec. user=vaughan [2013-04-01 11:36:33] 985*2^1243729-1 is not prime. Res64: C7EBE9366D613704 Time : 0.0 sec. user=mdettweiler [2013-04-01 11:41:33] 941*2^1243730-1 is not prime. Res64: 840372B3AEF7B4D7 Time : 0.0 sec. user=mdettweiler [2013-04-01 11:41:34] 945*2^1243730-1 is not prime. Res64: 55AB2DFE602D1EA0 Time : 0.0 sec. user=mdettweiler [2013-04-01 11:41:35] 971*2^1243730-1 is not prime. Res64: A3927EFDE837C168 Time : 0.0 sec. user=mdettweiler [2013-04-01 11:41:35] 691*2^1243731-1 is not prime. Res64: 479AE7683EBA63D3 Time : 0.0 sec. user=juhehe [2013-04-01 11:57:21] 605*2^1243730-1 is not prime. Res64: B83F12184CEA2B2D Time : 0.0 sec. user=mdettweiler [2013-04-01 11:58:59] 849*2^1243731-1 is not prime. Res64: 19983981385454CA Time : 0.0 sec. user=mdettweiler [2013-04-01 11:59:00] 871*2^1243731-1 is not prime. Res64: CBE46E5AAAFE4673 Time : 0.0 sec. user=mdettweiler [2013-04-01 11:59:00] 885*2^1243731-1 is not prime. Res64: EA5459C1AC62D908 Time : 0.0 sec. user=mdettweiler [2013-04-01 11:59:01] 895*2^1243731-1 is not prime. Res64: 7D68FB3B624CBC9F Time : 0.0 sec. user=vaughan [2013-04-01 12:14:50] 711*2^1243731-1 is not prime. Res64: 0AD180DEC6C14A54 Time : 0.0 sec. user=mdettweiler [2013-04-01 12:16:51] 675*2^1243732-1 is not prime. Res64: FC36012AAE1D3B1F Time : 0.0 sec. user=mdettweiler [2013-04-01 12:16:52] 717*2^1243732-1 is not prime. Res64: 36792A7D11C96926 Time : 0.0 sec. user=mdettweiler [2013-04-01 12:16:53] 819*2^1243732-1 is not prime. Res64: C9CA7DB0E3E13C8D Time : 0.0 sec. user=mdettweiler [2013-04-01 12:16:54] 989*2^1243732-1 is not prime. Res64: 5650CC1F43BD68D4 Time : 0.0 sec. user=mdettweiler [2013-04-01 12:34:47] 675*2^1243733-1 is not prime. Res64: 659E2734D21EA902 Time : 0.0 sec. user=mdettweiler [2013-04-01 12:34:48] 679*2^1243733-1 is not prime. Res64: 53B70B8AF060B4B2 Time : 0.0 sec. user=mdettweiler [2013-04-01 12:34:52] 685*2^1243733-1 is not prime. Res64: 9F0EA0F7893BA682 Time : 0.0 sec. user=mdettweiler [2013-04-01 12:34:53] 715*2^1243733-1 is not prime. Res64: F060E4D2C1633FAF Time : 0.0 sec. user=juhehe [2013-04-01 12:39:20] 769*2^1243731-1 is not prime. Res64: 6A7EB0B2F5579FFB Time : 0.0 sec. user=mdettweiler [2013-04-01 12:52:24] 745*2^1243733-1 is not prime. Res64: 22B304AA90600DFD Time : 0.0 sec. user=mdettweiler [2013-04-01 12:52:24] 771*2^1243733-1 is not prime. Res64: 67BB0BCCA15A68A4 Time : 0.0 sec. user=mdettweiler [2013-04-01 12:52:29] 787*2^1243733-1 is not prime. Res64: FB07A7FF254FCD69 Time : 0.0 sec. user=mdettweiler [2013-04-01 12:52:30] 783*2^1243734-1 is not prime. Res64: D6A3899045CBBE6D Time : 0.0 sec. user=vaughan [2013-04-01 12:53:07] 631*2^1243733-1 is not prime. Res64: B4FEE9D611CD571A Time : 0.0 sec. user=mdettweiler [2013-04-01 13:10:04] 887*2^1243734-1 is not prime. Res64: F62358AA8FAF6985 Time : 0.0 sec. user=mdettweiler [2013-04-01 13:10:07] 891*2^1243734-1 is not prime. Res64: 47A1DC6FCC48E18A Time : 0.0 sec. user=mdettweiler [2013-04-01 13:10:07] 639*2^1243735-1 is not prime. Res64: CDE70958D322531A Time : 0.0 sec. user=mdettweiler [2013-04-01 13:10:08] 705*2^1243735-1 is not prime. Res64: 887DB147CD59E8F0 Time : 0.0 sec. user=mdettweiler [2013-04-01 13:27:50] 909*2^1243735-1 is not prime. Res64: 812128FA7D6D751B Time : 0.0 sec. user=mdettweiler [2013-04-01 13:27:50] 913*2^1243735-1 is not prime. Res64: 3D36C89D28420B58 Time : 0.0 sec. user=mdettweiler [2013-04-01 13:27:51] 919*2^1243735-1 is not prime. Res64: F108AB77042FA79B Time : 0.0 sec. user=mdettweiler [2013-04-01 13:27:51] 699*2^1243736-1 is not prime. Res64: BE1388EE18EE0A1E Time : 0.0 sec. user=vaughan [2013-04-01 13:31:23] 843*2^1243735-1 is not prime. Res64: 26EA061CB7873D6B Time : 0.0 sec. user=mdettweiler [2013-04-01 13:45:31] 767*2^1243736-1 is not prime. Res64: 2E5D913DB0AC6F54 Time : 0.0 sec. user=mdettweiler [2013-04-01 13:45:31] 833*2^1243736-1 is not prime. Res64: 1EE012E3AAF4F479 Time : 0.0 sec. user=mdettweiler [2013-04-01 13:45:32] 873*2^1243736-1 is not prime. Res64: 8F4699082B2A9065 Time : 0.0 sec. user=mdettweiler [2013-04-01 13:45:32] 957*2^1243736-1 is not prime. Res64: 214DE029C4F47DAF Time : 0.0 sec. user=juhehe [2013-04-01 13:59:02] 885*2^1243735-1 is not prime. Res64: FB236931D8DF3A32 Time : 0.0 sec. user=mdettweiler [2013-04-01 14:03:11] 667*2^1243737-1 is not prime. Res64: 59257F845A79F300 Time : 0.0 sec. user=mdettweiler [2013-04-01 14:03:12] 861*2^1243737-1 is not prime. Res64: 2429846D60BE83D0 Time : 0.0 sec. user=mdettweiler [2013-04-01 14:03:12] 837*2^1243737-1 is not prime. Res64: B46FBD7AF4A5D8CC Time : 0.0 sec. user=mdettweiler [2013-04-01 14:03:13] 915*2^1243737-1 is not prime. Res64: C2814003DF68B226 Time : 0.0 sec. user=vaughan [2013-04-01 14:09:38] 601*2^1243737-1 is not prime. Res64: 1E55906949052E1D Time : 0.0 sec. user=mdettweiler [2013-04-01 14:22:10] 657*2^1243738-1 is not prime. Res64: 4F771DFAE6FF91B3 Time : 0.0 sec. user=mdettweiler [2013-04-01 14:22:10] 663*2^1243738-1 is not prime. Res64: 8B2E352969B51E90 Time : 0.0 sec. user=mdettweiler [2013-04-01 14:22:13] 707*2^1243738-1 is not prime. Res64: DF90B939D0FF39F7 Time : 0.0 sec. user=mdettweiler [2013-04-01 14:22:13] 821*2^1243738-1 is not prime. Res64: 29D487F9A4B31634 Time : 0.0 sec. user=mdettweiler [2013-04-01 14:40:29] 619*2^1243739-1 is not prime. Res64: 3479F72E5B499ECA Time : 0.0 sec. user=mdettweiler [2013-04-01 14:40:29] 855*2^1243739-1 is not prime. Res64: BFFDF1656991D1A8 Time : 0.0 sec. user=mdettweiler [2013-04-01 14:40:31] 913*2^1243739-1 is not prime. Res64: 1547F40899847B6F Time : 0.0 sec. user=mdettweiler [2013-04-01 14:40:31] 991*2^1243739-1 is not prime. Res64: 4EC0A978BBB34F9A Time : 0.0 sec. user=juhehe [2013-04-01 14:41:21] 615*2^1243737-1 is not prime. Res64: 052CBCE5F6B3D2F4 Time : 0.0 sec. user=vaughan [2013-04-01 14:52:57] 975*2^1243738-1 is not prime. Res64: D7A66203029CFDC2 Time : 0.0 sec. user=mdettweiler [2013-04-01 14:58:50] 629*2^1243740-1 is not prime. Res64: 906ED76234483979 Time : 0.0 sec. user=mdettweiler [2013-04-01 14:58:50] 809*2^1243740-1 is not prime. Res64: 4A8B537DCDAD3326 Time : 0.0 sec. user=mdettweiler [2013-04-01 14:58:53] 899*2^1243740-1 is not prime. Res64: 5B3EFFF07C1C7489 Time : 0.0 sec. user=mdettweiler [2013-04-01 14:58:53] 619*2^1243741-1 is not prime. Res64: C60E4EFFC5513E37 Time : 0.0 sec. user=mdettweiler [2013-04-01 15:16:54] 741*2^1243741-1 is not prime. Res64: 29D212D522AFDD0A Time : 0.0 sec. user=mdettweiler [2013-04-01 15:16:55] 757*2^1243741-1 is not prime. Res64: 30FF86E4B78038D5 Time : 0.0 sec. user=mdettweiler [2013-04-01 15:16:56] 771*2^1243741-1 is not prime. Res64: 8F47B72E223E1279 Time : 0.0 sec. user=mdettweiler [2013-04-01 15:16:57] 889*2^1243741-1 is not prime. Res64: 8F9E82E3D3C89F8B Time : 0.0 sec. user=vaughan [2013-04-01 15:31:13] 687*2^1243741-1 is not prime. Res64: 4838F69A86810D6F Time : 0.0 sec. user=mdettweiler [2013-04-01 15:34:37] 895*2^1243741-1 is not prime. Res64: 89123801B3269F58 Time : 0.0 sec. user=mdettweiler [2013-04-01 15:34:37] 901*2^1243741-1 is not prime. Res64: 2A2AEF3D5CAD24C7 Time : 0.0 sec. user=mdettweiler [2013-04-01 15:34:37] 615*2^1243742-1 is not prime. Res64: EC8E30CB250FABBD Time : 0.0 sec. user=mdettweiler [2013-04-01 15:34:38] 741*2^1243742-1 is not prime. Res64: 760B1986F6FF9C9B Time : 0.0 sec. user=mdettweiler [2013-04-01 15:52:18] 785*2^1243742-1 is not prime. Res64: 0D0746CF52699E76 Time : 0.0 sec. user=mdettweiler [2013-04-01 15:52:19] 815*2^1243742-1 is not prime. Res64: 72586939F4F540B9 Time : 0.0 sec. user=mdettweiler [2013-04-01 15:52:20] 609*2^1243743-1 is not prime. Res64: 098DB93C32D26C78 Time : 0.0 sec. user=mdettweiler [2013-04-01 15:52:20] 663*2^1243743-1 is not prime. Res64: C080DF9A669A81CB Time : 0.0 sec. user=juhehe [2013-04-01 15:59:59] 741*2^1243637-1 is not prime. Res64: 484E85E5BBE20EA6 Time : 0.0 sec. user=juhehe [2013-04-01 16:01:24] 715*2^1243741-1 is not prime. Res64: FCE3786D1204DE35 Time : 0.0 sec. user=vaughan [2013-04-01 16:09:28] 743*2^1243742-1 is not prime. Res64: F812E455212FCCBD Time : 0.0 sec. user=mdettweiler [2013-04-01 16:10:05] 945*2^1243743-1 is not prime. Res64: D0D685D6C5FC3831 Time : 0.0 sec. user=mdettweiler [2013-04-01 16:10:06] 961*2^1243743-1 is not prime. Res64: AC1E2683703F3221 Time : 0.0 sec. user=mdettweiler [2013-04-01 16:10:06] 765*2^1243743-1 is not prime. Res64: F0B1ED10871493E8 Time : 0.0 sec. user=mdettweiler [2013-04-01 16:10:07] 805*2^1243743-1 is not prime. Res64: 13EF3621D5BCCBFF Time : 0.0 sec. user=mdettweiler [2013-04-01 16:28:55] 825*2^1243744-1 is not prime. Res64: 475242FE666DD583 Time : 0.0 sec. user=mdettweiler [2013-04-01 16:28:56] 657*2^1243745-1 is not prime. Res64: 3C04B433693BDCFE Time : 0.0 sec. user=mdettweiler [2013-04-01 16:28:57] 717*2^1243744-1 is not prime. Res64: 2FC9C484A127E9A7 Time : 0.0 sec. user=mdettweiler [2013-04-01 16:28:57] 717*2^1243745-1 is not prime. Res64: E18AE6D014AC98C9 Time : 0.0 sec. user=juhehe [2013-04-01 16:42:49] 723*2^1243743-1 is not prime. Res64: D34C12DBED6C7654 Time : 0.0 sec. user=mdettweiler [2013-04-01 16:47:26] 837*2^1243745-1 is not prime. Res64: BDE6B07458705D3D Time : 0.0 sec. user=mdettweiler [2013-04-01 16:47:26] 633*2^1243746-1 is not prime. Res64: 7E27C4D439C9F202 Time : 0.0 sec. user=mdettweiler [2013-04-01 16:47:27] 981*2^1243745-1 is not prime. Res64: 10DA7D8539F10461 Time : 0.0 sec. user=mdettweiler [2013-04-01 16:47:27] 641*2^1243746-1 is not prime. Res64: 56DC8F1F5CB4027A Time : 0.0 sec. user=vaughan [2013-04-01 16:52:54] 963*2^1243743-1 is not prime. Res64: BC5893A9BFAA1243 Time : 0.0 sec. user=mdettweiler [2013-04-01 17:05:12] 765*2^1243746-1 is not prime. Res64: A00EAC1941D665E7 Time : 0.0 sec. user=mdettweiler [2013-04-01 17:05:14] 807*2^1243746-1 is not prime. Res64: D03266A8B3CA5E9F Time : 0.0 sec. user=mdettweiler [2013-04-01 17:05:14] 851*2^1243746-1 is not prime. Res64: BC93346523E3288C Time : 0.0 sec. user=mdettweiler [2013-04-01 17:05:15] 881*2^1243746-1 is not prime. Res64: 1CCDE2895D41E67F Time : 0.0 sec. user=mdettweiler [2013-04-01 17:23:09] 775*2^1243747-1 is not prime. Res64: 1B1F4EF63B81CC91 Time : 0.0 sec. user=mdettweiler [2013-04-01 17:23:11] 859*2^1243747-1 is not prime. Res64: 07DC3F39E25E7E8F Time : 0.0 sec. user=mdettweiler [2013-04-01 17:23:11] 647*2^1243748-1 is not prime. Res64: C16EC4D0FBA9C8B7 Time : 0.0 sec. user=mdettweiler [2013-04-01 17:23:12] 767*2^1243748-1 is not prime. Res64: 47AE99752ED09318 Time : 0.0 sec. user=juhehe [2013-04-01 17:23:19] 941*2^1243746-1 is not prime. Res64: FE36E7FB6162DD44 Time : 0.0 sec. user=vaughan [2013-04-01 17:31:09] 921*2^1243746-1 is not prime. Res64: 3DD4A745850831F9 Time : 0.0 sec. user=mdettweiler [2013-04-01 17:40:51] 777*2^1243748-1 is not prime. Res64: 83A7F81260E46DDB Time : 0.0 sec. user=mdettweiler [2013-04-01 17:40:52] 953*2^1243748-1 is not prime. Res64: 18FAB69475A35B55 Time : 0.0 sec. user=mdettweiler [2013-04-01 17:40:53] 959*2^1243748-1 is not prime. Res64: 2613C66ACDEF77EA Time : 0.0 sec. user=mdettweiler [2013-04-01 17:40:53] 609*2^1243749-1 is not prime. Res64: 79D427E4DF9D5A72 Time : 0.0 sec. user=juhehe [2013-04-01 17:45:57] 773*2^1243748-1 is not prime. Res64: 29C3D4A38D6C62F8 Time : 0.0 sec. user=mdettweiler [2013-04-01 17:58:37] 987*2^1243749-1 is not prime. Res64: 7D2F7DE7CB1BB230 Time : 0.0 sec. user=mdettweiler [2013-04-01 17:58:38] 991*2^1243749-1 is not prime. Res64: 0FEA6CB31C0123D3 Time : 0.0 sec. user=mdettweiler [2013-04-01 17:58:49] 759*2^1243749-1 is not prime. Res64: 1F9DEB9EFB075C8F Time : 0.0 sec. user=mdettweiler [2013-04-01 17:58:50] 861*2^1243749-1 is not prime. Res64: 22DA1B92DD2FD627 Time : 0.0 sec. user=juhehe [2013-04-01 18:03:11] 603*2^1243747-1 is not prime. Res64: 5D1B8A8D9CFB4437 Time : 0.0 sec. user=vaughan [2013-04-01 18:09:25] 621*2^1243749-1 is not prime. Res64: 4BB7FB3C5E2EDABB Time : 0.0 sec. user=mdettweiler [2013-04-01 18:17:13] 681*2^1243750-1 is not prime. Res64: 8267DC3D854D9475 Time : 0.0 sec. user=mdettweiler [2013-04-01 18:17:14] 987*2^1243750-1 is not prime. Res64: 15E6D21762378591 Time : 0.0 sec. user=mdettweiler [2013-04-01 18:17:23] 661*2^1243751-1 is not prime. Res64: 4BD1393C14D6FC86 Time : 0.0 sec. user=mdettweiler [2013-04-01 18:17:24] 663*2^1243751-1 is not prime. Res64: 417C64282C01789D Time : 0.0 sec. user=mdettweiler [2013-04-01 18:34:47] 811*2^1243751-1 is not prime. Res64: 1A42383FED4C4A00 Time : 0.0 sec. user=mdettweiler [2013-04-01 18:34:47] 823*2^1243751-1 is not prime. Res64: 766FA05B235D55EA Time : 0.0 sec. user=mdettweiler [2013-04-01 18:34:57] 949*2^1243751-1 is not prime. Res64: 890569930117BBBD Time : 0.0 sec. user=mdettweiler [2013-04-01 18:34:58] 627*2^1243752-1 is not prime. Res64: DBBE771B452AD0CE Time : 0.0 sec. user=vaughan [2013-04-01 18:47:44] 669*2^1243751-1 is not prime. Res64: F456DA5A63A0E76A Time : 0.0 sec. user=juhehe [2013-04-01 18:51:36] 999*2^1243749-1 is not prime. Res64: 0E9E24A356342D74 Time : 0.0 sec. user=mdettweiler [2013-04-01 18:52:21] 629*2^1243752-1 is not prime. Res64: 3F55339B95A6CBA7 Time : 0.0 sec. user=mdettweiler [2013-04-01 18:52:21] 683*2^1243752-1 is not prime. Res64: CDA54EB1EC69F707 Time : 0.0 sec. user=mdettweiler [2013-04-01 18:52:30] 689*2^1243752-1 is not prime. Res64: F229B797D60DF11C Time : 0.0 sec. user=mdettweiler [2013-04-01 18:52:31] 819*2^1243752-1 is not prime. Res64: 23B39FAEC2506F7B Time : 0.0 sec. user=mdettweiler [2013-04-01 19:09:56] 729*2^1243753-1 is not prime. Res64: FD4206AB60FF2FF8 Time : 0.0 sec. user=mdettweiler [2013-04-01 19:09:58] 741*2^1243753-1 is not prime. Res64: C150F632E3C4E977 Time : 0.0 sec. user=mdettweiler [2013-04-01 19:10:05] 751*2^1243753-1 is not prime. Res64: D0C4FCA2B791F75D Time : 0.0 sec. user=mdettweiler [2013-04-01 19:10:06] 789*2^1243753-1 is not prime. Res64: 7C45C834BD7FDD23 Time : 0.0 sec. user=vaughan [2013-04-01 19:26:00] 609*2^1243753-1 is not prime. Res64: 87D5883B0BCE62B3 Time : 0.0 sec. user=mdettweiler [2013-04-01 19:27:34] 855*2^1243753-1 is not prime. Res64: 3943FC175DBEC957 Time : 0.0 sec. user=mdettweiler [2013-04-01 19:27:35] 861*2^1243753-1 is not prime. Res64: B187CCF248AB532F Time : 0.0 sec. user=mdettweiler [2013-04-01 19:27:42] 897*2^1243753-1 is not prime. Res64: 499571D4684A53C4 Time : 0.0 sec. user=mdettweiler [2013-04-01 19:27:42] 665*2^1243754-1 is not prime. Res64: F3F31786B83D9A2E Time : 0.0 sec. user=mdettweiler [2013-04-01 19:45:14] 785*2^1243754-1 is not prime. Res64: 98E54FD06D955C3B Time : 0.0 sec. user=mdettweiler [2013-04-01 19:45:14] 825*2^1243754-1 is not prime. Res64: 611214CD74F06B67 Time : 0.0 sec. user=mdettweiler [2013-04-01 19:45:22] 827*2^1243754-1 is not prime. Res64: 8D16B84EA71EEB14 Time : 0.0 sec. user=mdettweiler [2013-04-01 19:45:23] 875*2^1243754-1 is not prime. Res64: 33D076532043BF6A Time : 0.0 sec. user=mdettweiler [2013-04-01 20:03:31] 917*2^1243754-1 is not prime. Res64: 36ACD98C5C4CCE7D Time : 0.0 sec. user=mdettweiler [2013-04-01 20:03:34] 923*2^1243754-1 is not prime. Res64: 31C6AD6C2B8BF408 Time : 0.0 sec. user=mdettweiler [2013-04-01 20:03:41] 601*2^1243755-1 is not prime. Res64: 8899DAD511E294A2 Time : 0.0 sec. user=mdettweiler [2013-04-01 20:03:41] 739*2^1243755-1 is not prime. Res64: 2B3337784C65A893 Time : 0.0 sec. user=vaughan [2013-04-01 20:04:16] 783*2^1243754-1 is not prime. Res64: 2DA3664728691CC8 Time : 0.0 sec. user=juhehe [2013-04-01 20:04:52] 801*2^1243753-1 is not prime. Res64: DFEDCBB573C31422 Time : 0.0 sec. user=mdettweiler [2013-04-01 20:21:13] 793*2^1243755-1 is not prime. Res64: 40ECF7AE58C91753 Time : 0.0 sec. user=mdettweiler [2013-04-01 20:21:13] 871*2^1243755-1 is not prime. Res64: 6C94AC0EEDBDE889 Time : 0.0 sec. user=mdettweiler [2013-04-01 20:21:14] 909*2^1243755-1 is not prime. Res64: E46A14AD01933993 Time : 0.0 sec. user=mdettweiler [2013-04-01 20:21:14] 647*2^1243756-1 is not prime. Res64: 985C2012CC77C18A Time : 0.0 sec. user=mdettweiler [2013-04-01 20:38:40] 743*2^1243756-1 is not prime. Res64: B75A27A00968D8A2 Time : 0.0 sec. user=mdettweiler [2013-04-01 20:38:40] 749*2^1243756-1 is not prime. Res64: 3831A4688A0668BA Time : 0.0 sec. user=mdettweiler [2013-04-01 20:38:41] 755*2^1243756-1 is not prime. Res64: EB1A3E7FC9EC8696 Time : 0.0 sec. user=mdettweiler [2013-04-01 20:38:41] 783*2^1243756-1 is not prime. Res64: ACD75F2AA502B05A Time : 0.0 sec. user=vaughan [2013-04-01 20:42:33] 705*2^1243756-1 is not prime. Res64: ABFD14FC28F52EAE Time : 0.0 sec. user=juhehe [2013-04-01 20:53:29] 781*2^1243755-1 is not prime. Res64: B276C58704FF3A77 Time : 0.0 sec. user=mdettweiler [2013-04-01 20:56:06] 899*2^1243756-1 is not prime. Res64: CA828950CC7CE969 Time : 0.0 sec. user=mdettweiler [2013-04-01 20:56:07] 927*2^1243756-1 is not prime. Res64: 67892A23229CED2C Time : 0.0 sec. user=mdettweiler [2013-04-01 20:56:07] 975*2^1243756-1 is not prime. Res64: 0743BB9D6373FDF3 Time : 0.0 sec. user=mdettweiler [2013-04-01 20:56:08] 989*2^1243756-1 is not prime. Res64: 9A4F981E8054234E Time : 0.0 sec. user=mdettweiler [2013-04-01 21:14:17] 645*2^1243757-1 is not prime. Res64: D80B026C1F136766 Time : 0.0 sec. user=mdettweiler [2013-04-01 21:14:17] 685*2^1243757-1 is not prime. Res64: 86641EF234D844D8 Time : 0.0 sec. user=mdettweiler [2013-04-01 21:14:18] 741*2^1243757-1 is not prime. Res64: 898E35321F31C3E9 Time : 0.0 sec. user=mdettweiler [2013-04-01 21:14:19] 837*2^1243757-1 is not prime. Res64: 0102F5D1275A10E1 Time : 0.0 sec. user=vaughan [2013-04-01 21:20:49] 619*2^1243757-1 is not prime. Res64: 826F5C079806A136 Time : 0.0 sec. user=mdettweiler [2013-04-01 21:32:02] 949*2^1243757-1 is not prime. Res64: 65D7FA532FC8F814 Time : 0.0 sec. user=mdettweiler [2013-04-01 21:32:02] 705*2^1243758-1 is not prime. Res64: E782224E4C43302E Time : 0.0 sec. user=mdettweiler [2013-04-01 21:32:02] 651*2^1243758-1 is not prime. Res64: A06C8F4FF7E5FAAA Time : 0.0 sec. user=mdettweiler [2013-04-01 21:32:03] 737*2^1243758-1 is not prime. Res64: CD7D51EBDFFF0D5A Time : 0.0 sec. user=mdettweiler [2013-04-01 21:49:36] 815*2^1243758-1 is not prime. Res64: 45807A83EA8AE1C8 Time : 0.0 sec. user=mdettweiler [2013-04-01 21:49:36] 825*2^1243758-1 is not prime. Res64: F766E1B433EE0A72 Time : 0.0 sec. user=mdettweiler [2013-04-01 21:49:37] 875*2^1243758-1 is not prime. Res64: DD704CBB2A705399 Time : 0.0 sec. user=mdettweiler [2013-04-01 21:49:37] 891*2^1243758-1 is not prime. Res64: 61C97C68B00C930F Time : 0.0 sec. user=vaughan [2013-04-01 21:59:06] 801*2^1243758-1 is not prime. Res64: 9B3B5DAACF323C17 Time : 0.0 sec. user=mdettweiler [2013-04-01 22:07:09] 933*2^1243758-1 is not prime. Res64: E25A40F321C36457 Time : 0.0 sec. user=mdettweiler [2013-04-01 22:07:10] 609*2^1243759-1 is not prime. Res64: E48CC196740760A3 Time : 0.0 sec. user=juhehe [2013-04-01 22:07:10] 879*2^1243757-1 is not prime. Res64: 39BC6C88D9A3320C Time : 0.0 sec. user=mdettweiler [2013-04-01 22:07:11] 633*2^1243759-1 is not prime. Res64: BA58B26D9477B051 Time : 0.0 sec. user=mdettweiler [2013-04-01 22:07:12] 663*2^1243759-1 is not prime. Res64: AEF55E929116A655 Time : 0.0 sec. user=mdettweiler [2013-04-01 22:24:44] 841*2^1243759-1 is not prime. Res64: BC9CA013FA418110 Time : 0.0 sec. user=mdettweiler [2013-04-01 22:24:45] 859*2^1243759-1 is not prime. Res64: CCDA832804024A3D Time : 0.0 sec. user=mdettweiler [2013-04-01 22:24:45] 913*2^1243759-1 is not prime. Res64: 0525E642F6F3E1F9 Time : 0.0 sec. user=mdettweiler [2013-04-01 22:24:45] 931*2^1243759-1 is not prime. Res64: 920863D7C5F21227 Time : 0.0 sec. user=vaughan [2013-04-01 22:37:21] 831*2^1243759-1 is not prime. Res64: 64F2E77DBDF8AEF2 Time : 0.0 sec. user=mdettweiler [2013-04-01 22:42:12] 975*2^1243759-1 is not prime. Res64: 77BCFDDB75FA4FDA Time : 0.0 sec. user=mdettweiler [2013-04-01 22:42:13] 677*2^1243760-1 is not prime. Res64: 7432CDCC6BB859B2 Time : 0.0 sec. user=mdettweiler [2013-04-01 22:42:14] 893*2^1243760-1 is not prime. Res64: 56DC24D6FF7BFB99 Time : 0.0 sec. user=mdettweiler [2013-04-01 22:42:14] 927*2^1243760-1 is not prime. Res64: 10317B318EF2F8C7 Time : 0.0 sec. user=juhehe [2013-04-01 22:55:23] 693*2^1243759-1 is not prime. Res64: 85E2A39C4B3BABCF Time : 0.0 sec. user=mdettweiler [2013-04-01 22:59:42] 685*2^1243761-1 is not prime. Res64: F807A8BF508C2FE7 Time : 0.0 sec. user=mdettweiler [2013-04-01 22:59:42] 999*2^1243760-1 is not prime. Res64: 53DC758FB188E0AC Time : 0.0 sec. user=mdettweiler [2013-04-01 22:59:42] 819*2^1243761-1 is not prime. Res64: 341E2EE97C99AD03 Time : 0.0 sec. user=mdettweiler [2013-04-01 22:59:43] 615*2^1243761-1 is not prime. Res64: BB8D91B9632EE24D Time : 0.0 sec. user=mdettweiler [2013-04-01 23:17:11] 889*2^1243761-1 is not prime. Res64: A15B16E242E48301 Time : 0.0 sec. user=mdettweiler [2013-04-01 23:17:12] 969*2^1243761-1 is not prime. Res64: 4A7F6D3C01081C72 Time : 0.0 sec. user=mdettweiler [2013-04-01 23:17:12] 623*2^1243762-1 is not prime. Res64: 827E5645DFFC59DF Time : 0.0 sec. user=mdettweiler [2013-04-01 23:17:12] 665*2^1243762-1 is not prime. Res64: BC2586FFDEAF5BC6 Time : 0.0 sec. user=vaughan [2013-04-01 23:20:40] 963*2^1243760-1 is not prime. Res64: F30C7D5280C0042E Time : 0.0 sec. user=mdettweiler [2013-04-01 23:34:45] 713*2^1243762-1 is not prime. Res64: B06189ED9EA620DD Time : 0.0 sec. user=mdettweiler [2013-04-01 23:34:46] 723*2^1243762-1 is not prime. Res64: 354E58DFA8EB6A42 Time : 0.0 sec. user=mdettweiler [2013-04-01 23:34:46] 743*2^1243762-1 is not prime. Res64: CAB9BD89BDC62567 Time : 0.0 sec. user=mdettweiler [2013-04-01 23:34:47] 833*2^1243762-1 is not prime. Res64: A8021009E89109AD Time : 0.0 sec. user=mdettweiler [2013-04-01 23:52:14] 771*2^1243763-1 is not prime. Res64: F0052D4491FD9F72 Time : 0.0 sec. user=mdettweiler [2013-04-01 23:52:14] 879*2^1243763-1 is not prime. Res64: 3F54ED326861C05F Time : 0.0 sec. user=mdettweiler [2013-04-01 23:52:16] 943*2^1243763-1 is not prime. Res64: 2BB793D6E2C92474 Time : 0.0 sec. user=mdettweiler [2013-04-01 23:52:16] 963*2^1243763-1 is not prime. Res64: 31D002C4A6CA3F22 Time : 0.0 sec. user=vaughan [2013-04-01 23:58:54] 873*2^1243762-1 is not prime. Res64: 7A97388FD8822888 Time : 0.0 sec.