user=mdettweiler [2013-01-31 00:05:57] 715*2^1240253-1 is not prime. Res64: 3B52BB74663E5E0E Time : 0.0 sec. user=mdettweiler [2013-01-31 00:05:58] 721*2^1240253-1 is not prime. Res64: 086EA6E3D86ECE19 Time : 0.0 sec. user=mdettweiler [2013-01-31 00:08:38] 967*2^1240253-1 is not prime. Res64: 3F6D6A9B36A009B0 Time : 0.0 sec. user=mdettweiler [2013-01-31 00:08:39] 605*2^1240254-1 is not prime. Res64: 55F16D481B451718 Time : 0.0 sec. user=mdettweiler [2013-01-31 00:23:23] 627*2^1240254-1 is not prime. Res64: 874C8712AF26DED7 Time : 0.0 sec. user=mdettweiler [2013-01-31 00:23:23] 693*2^1240254-1 is not prime. Res64: 78D049598E1775FB Time : 0.0 sec. user=mdettweiler [2013-01-31 00:26:03] 707*2^1240254-1 is not prime. Res64: 3D2309813CD78D34 Time : 0.0 sec. user=mdettweiler [2013-01-31 00:26:04] 741*2^1240254-1 is not prime. Res64: 9001D5471082634D Time : 0.0 sec. user=vaughan [2013-01-31 00:27:15] 915*2^1240253-1 is not prime. Res64: 99F74E7F72A5C206 Time : 0.0 sec. user=mdettweiler [2013-01-31 00:40:44] 945*2^1240254-1 is not prime. Res64: 7D68D0D60565B811 Time : 0.0 sec. user=mdettweiler [2013-01-31 00:40:45] 663*2^1240255-1 is not prime. Res64: B74E0726EECE51FD Time : 0.0 sec. user=mdettweiler [2013-01-31 00:43:25] 715*2^1240255-1 is not prime. Res64: 80688F9DAA3DF15F Time : 0.0 sec. user=mdettweiler [2013-01-31 00:43:26] 819*2^1240255-1 is not prime. Res64: 5DDFFEDE29F1E780 Time : 0.0 sec. user=mdettweiler [2013-01-31 00:58:06] 759*2^1240256-1 is not prime. Res64: 9550C75D9B0D6492 Time : 0.0 sec. user=mdettweiler [2013-01-31 00:58:06] 869*2^1240256-1 is not prime. Res64: 969854557B1D6524 Time : 0.0 sec. user=mdettweiler [2013-01-31 01:00:47] 935*2^1240256-1 is not prime. Res64: D815DCFA4D1F162C Time : 0.0 sec. user=mdettweiler [2013-01-31 01:00:49] 627*2^1240257-1 is not prime. Res64: 271F6ABBDEF24338 Time : 0.0 sec. user=vaughan [2013-01-31 01:05:13] 623*2^1240256-1 is not prime. Res64: 9D3AC9B1CE46FEDE Time : 0.0 sec. user=mdettweiler [2013-01-31 01:15:27] 915*2^1240257-1 is not prime. Res64: E8097768495C8F3F Time : 0.0 sec. user=mdettweiler [2013-01-31 01:15:28] 611*2^1240258-1 is not prime. Res64: 27CF493942AAD632 Time : 0.0 sec. user=mdettweiler [2013-01-31 01:18:11] 623*2^1240258-1 is not prime. Res64: 7EE643497DD6428B Time : 0.0 sec. user=mdettweiler [2013-01-31 01:18:12] 635*2^1240258-1 is not prime. Res64: 0E6A31942E942E03 Time : 0.0 sec. user=mdettweiler [2013-01-31 01:32:57] 657*2^1240258-1 is not prime. Res64: 79F62A692F0E09B5 Time : 0.0 sec. user=mdettweiler [2013-01-31 01:32:58] 681*2^1240258-1 is not prime. Res64: 59C39AFEA817A80C Time : 0.0 sec. user=mdettweiler [2013-01-31 01:35:34] 705*2^1240258-1 is not prime. Res64: E667BFD67C8A21A5 Time : 0.0 sec. user=mdettweiler [2013-01-31 01:35:35] 743*2^1240258-1 is not prime. Res64: 2D1C2A38B16D14CE Time : 0.0 sec. user=vaughan [2013-01-31 01:43:10] 651*2^1240258-1 is not prime. Res64: 24DF30CD8E1234F6 Time : 0.0 sec. user=mdettweiler [2013-01-31 01:50:18] 801*2^1240258-1 is not prime. Res64: 0A5CA2B91F9F362F Time : 0.0 sec. user=mdettweiler [2013-01-31 01:50:18] 857*2^1240258-1 is not prime. Res64: 1EB79199D17DB6A4 Time : 0.0 sec. user=mdettweiler [2013-01-31 01:52:59] 619*2^1240259-1 is not prime. Res64: 42F149752A4BD92A Time : 0.0 sec. user=mdettweiler [2013-01-31 01:52:59] 685*2^1240259-1 is not prime. Res64: 483D8E7078447ABB Time : 0.0 sec. user=mdettweiler [2013-01-31 02:07:39] 813*2^1240259-1 is not prime. Res64: C94BA159D9285FA9 Time : 0.0 sec. user=mdettweiler [2013-01-31 02:07:40] 725*2^1240260-1 is not prime. Res64: D8176CD139EC4C9F Time : 0.0 sec. user=mdettweiler [2013-01-31 02:10:20] 737*2^1240260-1 is not prime. Res64: 744649F251C7864C Time : 0.0 sec. user=mdettweiler [2013-01-31 02:10:21] 779*2^1240260-1 is not prime. Res64: BD55183AFA4F68B2 Time : 0.0 sec. user=vaughan [2013-01-31 02:21:06] 811*2^1240259-1 is not prime. Res64: 0AD055EB5A501804 Time : 0.0 sec. user=mdettweiler [2013-01-31 02:25:03] 795*2^1240260-1 is not prime. Res64: 08422C572CBCC0DF Time : 0.0 sec. user=mdettweiler [2013-01-31 02:25:04] 875*2^1240260-1 is not prime. Res64: 011010282EF8ECA7 Time : 0.0 sec. user=mdettweiler [2013-01-31 02:27:45] 879*2^1240260-1 is not prime. Res64: 9CF5C292F1500B6D Time : 0.0 sec. user=mdettweiler [2013-01-31 02:27:45] 727*2^1240261-1 is not prime. Res64: 35A9E98545A3E0C6 Time : 0.0 sec. user=mdettweiler [2013-01-31 02:42:25] 805*2^1240261-1 is not prime. Res64: E139477E06B05BAD Time : 0.0 sec. user=mdettweiler [2013-01-31 02:42:28] 645*2^1240262-1 is not prime. Res64: D4DC97A812FB3E9C Time : 0.0 sec. user=mdettweiler [2013-01-31 02:45:07] 665*2^1240262-1 is not prime. Res64: 120D1ED8ECADCAB5 Time : 0.0 sec. user=mdettweiler [2013-01-31 02:45:09] 711*2^1240262-1 is not prime. Res64: D4F5241AE5B70166 Time : 0.0 sec. user=vaughan [2013-01-31 02:59:05] 747*2^1240261-1 is not prime. Res64: AC02E97DA94BCA10 Time : 0.0 sec. user=mdettweiler [2013-01-31 03:00:00] 755*2^1240262-1 is not prime. Res64: 015220D5BAF09807 Time : 0.0 sec. user=mdettweiler [2013-01-31 03:00:01] 903*2^1240262-1 is not prime. Res64: 1EB02D173074F2F5 Time : 0.0 sec. user=mdettweiler [2013-01-31 03:02:32] 619*2^1240263-1 is not prime. Res64: 4FE8E05FDA9DDD12 Time : 0.0 sec. user=mdettweiler [2013-01-31 03:02:34] 669*2^1240263-1 is not prime. Res64: BDB91691E0D98914 Time : 0.0 sec. user=mdettweiler [2013-01-31 03:17:25] 703*2^1240263-1 is not prime. Res64: 08654EFC3F1A3F23 Time : 0.0 sec. user=mdettweiler [2013-01-31 03:17:26] 783*2^1240263-1 is not prime. Res64: F60FBB7C1D11ABA9 Time : 0.0 sec. user=mdettweiler [2013-01-31 03:20:01] 789*2^1240263-1 is not prime. Res64: B71C71BE97FF5E85 Time : 0.0 sec. user=mdettweiler [2013-01-31 03:20:01] 819*2^1240263-1 is not prime. Res64: D52D8B12B38411C7 Time : 0.0 sec. user=mdettweiler [2013-01-31 03:34:48] 885*2^1240263-1 is not prime. Res64: 2C6F628CC05E46F4 Time : 0.0 sec. user=mdettweiler [2013-01-31 03:34:51] 961*2^1240263-1 is not prime. Res64: 590F148E3F9BE988 Time : 0.0 sec. user=vaughan [2013-01-31 03:37:14] 691*2^1240263-1 is not prime. Res64: B8C083C35F3F8D15 Time : 0.0 sec. user=mdettweiler [2013-01-31 03:37:24] 635*2^1240264-1 is not prime. Res64: F618801D3398C65E Time : 0.0 sec. user=mdettweiler [2013-01-31 03:37:26] 657*2^1240264-1 is not prime. Res64: 8B476155EADF12E4 Time : 0.0 sec. user=mdettweiler [2013-01-31 03:52:29] 849*2^1240264-1 is not prime. Res64: 84169FA77A88801B Time : 0.0 sec. user=mdettweiler [2013-01-31 03:52:30] 899*2^1240264-1 is not prime. Res64: 85ADE090599DB234 Time : 0.0 sec. user=mdettweiler [2013-01-31 03:54:57] 909*2^1240264-1 is not prime. Res64: 6D3E91271E430F8B Time : 0.0 sec. user=mdettweiler [2013-01-31 03:54:57] 965*2^1240264-1 is not prime. Res64: BDBAB5082444E242 Time : 0.0 sec. user=mdettweiler [2013-01-31 04:09:51] 995*2^1240264-1 is not prime. Res64: 09AD078BF2C05F33 Time : 0.0 sec. user=mdettweiler [2013-01-31 04:09:54] 691*2^1240265-1 is not prime. Res64: 049DECECCBD961A1 Time : 0.0 sec. user=mdettweiler [2013-01-31 04:12:17] 697*2^1240265-1 is not prime. Res64: CEF688A5C089E7F2 Time : 0.0 sec. user=mdettweiler [2013-01-31 04:12:20] 715*2^1240265-1 is not prime. Res64: 22DFF9CFED159BAE Time : 0.0 sec. user=vaughan [2013-01-31 04:15:17] 903*2^1240264-1 is not prime. Res64: 69B7E90E73CAFE62 Time : 0.0 sec. user=mdettweiler [2013-01-31 04:27:33] 781*2^1240265-1 is not prime. Res64: 7D7D667A591AE8FE Time : 0.0 sec. user=mdettweiler [2013-01-31 04:27:34] 897*2^1240265-1 is not prime. Res64: 1B3B13AF2DBDE27D Time : 0.0 sec. user=mdettweiler [2013-01-31 04:29:47] 915*2^1240265-1 is not prime. Res64: CFCB75A9964A0CCD Time : 0.0 sec. user=mdettweiler [2013-01-31 04:29:47] 925*2^1240265-1 is not prime. Res64: 7AD99AE0836BE05F Time : 0.0 sec. user=mdettweiler [2013-01-31 04:44:54] 893*2^1240266-1 is not prime. Res64: CEE0A7F41062C528 Time : 0.0 sec. user=mdettweiler [2013-01-31 04:44:55] 903*2^1240266-1 is not prime. Res64: 8B1ED8642987586B Time : 0.0 sec. user=mdettweiler [2013-01-31 04:47:07] 921*2^1240266-1 is not prime. Res64: 863D98DBE8680E8D Time : 0.0 sec. user=mdettweiler [2013-01-31 04:47:08] 945*2^1240266-1 is not prime. Res64: 0094DBF9BDEB9FE5 Time : 0.0 sec. user=vaughan [2013-01-31 04:53:18] 873*2^1240266-1 is not prime. Res64: 0F88A34AA6602522 Time : 0.0 sec. user=mdettweiler [2013-01-31 05:02:26] 971*2^1240266-1 is not prime. Res64: C549113CB5D3BF41 Time : 0.0 sec. user=mdettweiler [2013-01-31 05:02:28] 751*2^1240267-1 is not prime. Res64: 13AE4C9EE12A9151 Time : 0.0 sec. user=mdettweiler [2013-01-31 05:04:29] 805*2^1240267-1 is not prime. Res64: D1145AE78580DB72 Time : 0.0 sec. user=mdettweiler [2013-01-31 05:04:30] 993*2^1240267-1 is not prime. Res64: 451B12D9175EC7F8 Time : 0.0 sec. user=mdettweiler [2013-01-31 05:19:57] 797*2^1240268-1 is not prime. Res64: 0EA8A938EE9C93F4 Time : 0.0 sec. user=mdettweiler [2013-01-31 05:19:57] 825*2^1240268-1 is not prime. Res64: 2ACDCEDF2BDA4241 Time : 0.0 sec. user=mdettweiler [2013-01-31 05:21:52] 885*2^1240268-1 is not prime. Res64: 80A7D1FEDB73AB97 Time : 0.0 sec. user=mdettweiler [2013-01-31 05:21:52] 915*2^1240268-1 is not prime. Res64: 7B0AA7037CA59896 Time : 0.0 sec. user=vaughan [2013-01-31 05:31:18] 663*2^1240268-1 is not prime. Res64: 38EECCE64678E0D7 Time : 0.0 sec. user=mdettweiler [2013-01-31 05:37:20] 987*2^1240268-1 is not prime. Res64: 1BDBEF00DC61D27A Time : 0.0 sec. user=mdettweiler [2013-01-31 05:37:20] 639*2^1240269-1 is not prime. Res64: D84C23D675BBBDD8 Time : 0.0 sec. user=mdettweiler [2013-01-31 05:39:13] 649*2^1240269-1 is not prime. Res64: F7C48D75A8485135 Time : 0.0 sec. user=mdettweiler [2013-01-31 05:39:13] 781*2^1240269-1 is not prime. Res64: 39BB517E82F8822D Time : 0.0 sec. user=mdettweiler [2013-01-31 05:54:41] 817*2^1240269-1 is not prime. Res64: 7638EB5342B34ED6 Time : 0.0 sec. user=mdettweiler [2013-01-31 05:54:42] 865*2^1240269-1 is not prime. Res64: 5BF653FBCA80BA74 Time : 0.0 sec. user=mdettweiler [2013-01-31 05:56:33] 885*2^1240269-1 is not prime. Res64: 16E69A9B138F20DB Time : 0.0 sec. user=mdettweiler [2013-01-31 05:56:34] 657*2^1240270-1 is not prime. Res64: 79BC1B1708A4A2B4 Time : 0.0 sec. user=vaughan [2013-01-31 06:09:15] 795*2^1240269-1 is not prime. Res64: 934AC9AC261B2302 Time : 0.0 sec. user=mdettweiler [2013-01-31 06:12:03] 801*2^1240270-1 is not prime. Res64: 1A845AFAC80302D8 Time : 0.0 sec. user=mdettweiler [2013-01-31 06:12:05] 911*2^1240270-1 is not prime. Res64: 9902E86EFC215854 Time : 0.0 sec. user=mdettweiler [2013-01-31 06:15:27] 975*2^1240270-1 is not prime. Res64: 5EA7EF7982290DA3 Time : 0.0 sec. user=mdettweiler [2013-01-31 06:29:37] 859*2^1240271-1 is not prime. Res64: 76D3F73765B379E3 Time : 0.0 sec. user=mdettweiler [2013-01-31 06:29:37] 913*2^1240271-1 is not prime. Res64: 3F253B65EC650D76 Time : 0.0 sec. user=mdettweiler [2013-01-31 06:35:47] 619*2^1240271-1 is not prime. Res64: 4CDAA5BC4E819F6D Time : 0.0 sec. user=mdettweiler [2013-01-31 06:46:58] 993*2^1240271-1 is not prime. Res64: 06CD5CCC82DEE4B9 Time : 0.0 sec. user=mdettweiler [2013-01-31 06:46:58] 657*2^1240272-1 is not prime. Res64: F209BF4BEE6747D5 Time : 0.0 sec. user=vaughan [2013-01-31 06:47:32] 745*2^1240271-1 is not prime. Res64: B74E8D10FDAD2716 Time : 0.0 sec. user=mdettweiler [2013-01-31 06:53:08] 803*2^1240272-1 is not prime. Res64: 4854197CD66418FA Time : 0.0 sec. user=mdettweiler [2013-01-31 06:53:09] 843*2^1240272-1 is not prime. Res64: 47E56B49AF9F793F Time : 0.0 sec. user=mdettweiler [2013-01-31 07:04:19] 863*2^1240272-1 is not prime. Res64: CCE50B4F413ABE8B Time : 0.0 sec. user=mdettweiler [2013-01-31 07:04:20] 917*2^1240272-1 is not prime. Res64: E47A91856B975041 Time : 0.0 sec. user=mdettweiler [2013-01-31 07:10:30] 977*2^1240272-1 is not prime. Res64: 53825147FC01781D Time : 0.0 sec. user=mdettweiler [2013-01-31 07:10:34] 699*2^1240273-1 is not prime. Res64: 530697AD456881FD Time : 0.0 sec. user=mdettweiler [2013-01-31 07:21:45] 729*2^1240273-1 is not prime. Res64: 0F349F01DDC322AC Time : 0.0 sec. user=mdettweiler [2013-01-31 07:21:45] 925*2^1240273-1 is not prime. Res64: F5FD9153F6864520 Time : 0.0 sec. user=vaughan [2013-01-31 07:25:31] 947*2^1240272-1 is not prime. Res64: A70E67244EF7DEC3 Time : 0.0 sec. user=mdettweiler [2013-01-31 07:28:13] 623*2^1240274-1 is not prime. Res64: AD6D4E398A2251F8 Time : 0.0 sec. user=mdettweiler [2013-01-31 07:28:14] 747*2^1240274-1 is not prime. Res64: 8EE80DDB46E9B376 Time : 0.0 sec. user=mdettweiler [2013-01-31 07:39:07] 773*2^1240274-1 is not prime. Res64: 437AECC51152F24B Time : 0.0 sec. user=mdettweiler [2013-01-31 07:39:07] 791*2^1240274-1 is not prime. Res64: 0C72C2A18E49012C Time : 0.0 sec. user=mdettweiler [2013-01-31 07:45:34] 651*2^1240275-1 is not prime. Res64: C43BB0295BD125D5 Time : 0.0 sec. user=mdettweiler [2013-01-31 07:45:34] 685*2^1240275-1 is not prime. Res64: 1100213D14B28A07 Time : 0.0 sec. user=mdettweiler [2013-01-31 07:56:28] 709*2^1240275-1 is not prime. Res64: 4C3247369BC00A5D Time : 0.0 sec. user=mdettweiler [2013-01-31 07:56:29] 801*2^1240275-1 is not prime. Res64: B2504A95AED6114B Time : 0.0 sec. user=mdettweiler [2013-01-31 08:02:54] 825*2^1240275-1 is not prime. Res64: 132B790E791EB7AF Time : 0.0 sec. user=mdettweiler [2013-01-31 08:02:57] 871*2^1240275-1 is not prime. Res64: B4233FCFC0C01DD5 Time : 0.0 sec. user=vaughan [2013-01-31 08:03:25] 921*2^1240274-1 is not prime. Res64: BFED5E1C22F41ADC Time : 0.0 sec. user=mdettweiler [2013-01-31 08:13:49] 885*2^1240275-1 is not prime. Res64: 7E3252788E7AB53B Time : 0.0 sec. user=mdettweiler [2013-01-31 08:13:50] 773*2^1240276-1 is not prime. Res64: 1F88AB4BE7B2F1A0 Time : 0.0 sec. user=mdettweiler [2013-01-31 08:20:20] 843*2^1240276-1 is not prime. Res64: C9BFB24438CCD6CB Time : 0.0 sec. user=mdettweiler [2013-01-31 08:20:21] 905*2^1240276-1 is not prime. Res64: 9C691D9CA1A0A1BD Time : 0.0 sec. user=mdettweiler [2013-01-31 08:31:15] 989*2^1240276-1 is not prime. Res64: 2A655AA4E9566CF1 Time : 0.0 sec. user=mdettweiler [2013-01-31 08:31:15] 607*2^1240277-1 is not prime. Res64: F5B221B0E8999D9C Time : 0.0 sec. user=mdettweiler [2013-01-31 08:37:45] 769*2^1240277-1 is not prime. Res64: A393FDC3C9254E0E Time : 0.0 sec. user=mdettweiler [2013-01-31 08:37:46] 825*2^1240277-1 is not prime. Res64: B9E7AE9DEEF7A196 Time : 0.0 sec. user=vaughan [2013-01-31 08:41:24] 927*2^1240276-1 is not prime. Res64: CFBF2EFE1F92C770 Time : 0.0 sec. user=mdettweiler [2013-01-31 08:48:39] 901*2^1240277-1 is not prime. Res64: 3327A121D3C021D3 Time : 0.0 sec. user=mdettweiler [2013-01-31 08:48:40] 927*2^1240277-1 is not prime. Res64: 4B38F31E5438B3FF Time : 0.0 sec. user=mdettweiler [2013-01-31 08:55:06] 931*2^1240277-1 is not prime. Res64: F930918AEC6423BA Time : 0.0 sec. user=mdettweiler [2013-01-31 08:55:07] 939*2^1240277-1 is not prime. Res64: 3710909D4DD0DD6C Time : 0.0 sec. user=mdettweiler [2013-01-31 09:06:01] 693*2^1240278-1 is not prime. Res64: AB1405C888AE39C4 Time : 0.0 sec. user=mdettweiler [2013-01-31 09:06:04] 861*2^1240278-1 is not prime. Res64: A8DCEB561F48A3ED Time : 0.0 sec. user=mdettweiler [2013-01-31 09:12:27] 875*2^1240278-1 is not prime. Res64: 5189CE7F4C35AD03 Time : 0.0 sec. user=mdettweiler [2013-01-31 09:12:29] 881*2^1240278-1 is not prime. Res64: D3341C5A4E31D20E Time : 0.0 sec. user=vaughan [2013-01-31 09:19:24] 945*2^1240277-1 is not prime. Res64: CE928D40D9AC9C5C Time : 0.0 sec. user=mdettweiler [2013-01-31 09:23:36] 915*2^1240278-1 is not prime. Res64: 4E739E492179A1EF Time : 0.0 sec. user=mdettweiler [2013-01-31 09:23:36] 951*2^1240278-1 is not prime. Res64: 61186AA26F26C792 Time : 0.0 sec. user=mdettweiler [2013-01-31 09:29:56] 663*2^1240279-1 is not prime. Res64: 30352EBE5FBA52B8 Time : 0.0 sec. user=mdettweiler [2013-01-31 09:29:56] 759*2^1240279-1 is not prime. Res64: 44F11C7EB5483313 Time : 0.0 sec. user=mdettweiler [2013-01-31 09:40:56] 771*2^1240279-1 is not prime. Res64: 3ADD903242C89CEE Time : 0.0 sec. user=mdettweiler [2013-01-31 09:40:57] 931*2^1240279-1 is not prime. Res64: DB376976568BA185 Time : 0.0 sec. user=mdettweiler [2013-01-31 09:47:16] 609*2^1240280-1 is not prime. Res64: 8272D29E55C5FA9F Time : 0.0 sec. user=mdettweiler [2013-01-31 09:47:16] 689*2^1240280-1 is not prime. Res64: FF5BE851DCFA90CB Time : 0.0 sec. user=vaughan [2013-01-31 09:57:19] 765*2^1240279-1 is not prime. Res64: DF3580BB6B2254C0 Time : 0.0 sec. user=mdettweiler [2013-01-31 09:58:16] 743*2^1240280-1 is not prime. Res64: 20712E82E61DCB48 Time : 0.0 sec. user=mdettweiler [2013-01-31 09:58:17] 759*2^1240280-1 is not prime. Res64: 61AB4252D750309B Time : 0.0 sec. user=mdettweiler [2013-01-31 10:04:37] 797*2^1240280-1 is not prime. Res64: 28D71665F6941FD1 Time : 0.0 sec. user=mdettweiler [2013-01-31 10:04:39] 963*2^1240280-1 is not prime. Res64: A7E7441C54D2952B Time : 0.0 sec. user=mdettweiler [2013-01-31 10:15:37] 999*2^1240280-1 is not prime. Res64: 5B3759FE78907E38 Time : 0.0 sec. user=mdettweiler [2013-01-31 10:15:38] 651*2^1240281-1 is not prime. Res64: D5C4564771BDBEEE Time : 0.0 sec. user=mdettweiler [2013-01-31 10:22:08] 711*2^1240281-1 is not prime. Res64: F606C5ECAC8DC893 Time : 0.0 sec. user=mdettweiler [2013-01-31 10:22:08] 807*2^1240281-1 is not prime. Res64: 961B94BE873DD94A Time : 0.0 sec. user=mdettweiler [2013-01-31 10:33:04] 951*2^1240281-1 is not prime. Res64: BD26D7F4FE6478DA Time : 0.0 sec. user=mdettweiler [2013-01-31 10:33:05] 701*2^1240282-1 is not prime. Res64: 23A09203AF22AC75 Time : 0.0 sec. user=vaughan [2013-01-31 10:35:19] 983*2^1240280-1 is not prime. Res64: 2B8E6FFC331A181F Time : 0.0 sec. user=mdettweiler [2013-01-31 10:39:28] 747*2^1240282-1 is not prime. Res64: 795DEA1DE21CF120 Time : 0.0 sec. user=mdettweiler [2013-01-31 10:39:29] 755*2^1240282-1 is not prime. Res64: FADF75177AE5B2AA Time : 0.0 sec. user=mdettweiler [2013-01-31 10:50:26] 801*2^1240282-1 is not prime. Res64: 34CFA075D6CE074E Time : 0.0 sec. user=mdettweiler [2013-01-31 10:50:27] 923*2^1240282-1 is not prime. Res64: 6CB4CEED5C30AEE7 Time : 0.0 sec. user=mdettweiler [2013-01-31 10:56:49] 775*2^1240283-1 is not prime. Res64: 3E9812AF0939241C Time : 0.0 sec. user=mdettweiler [2013-01-31 10:56:49] 859*2^1240283-1 is not prime. Res64: 68593C949A7FE1E0 Time : 0.0 sec. user=mdettweiler [2013-01-31 11:07:47] 889*2^1240283-1 is not prime. Res64: EE497E5DCA02E150 Time : 0.0 sec. user=mdettweiler [2013-01-31 11:07:49] 969*2^1240283-1 is not prime. Res64: F4AF20840E600A2D Time : 0.0 sec. user=vaughan [2013-01-31 11:13:16] 673*2^1240283-1 is not prime. Res64: 7C346B900334B488 Time : 0.0 sec. user=mdettweiler [2013-01-31 11:14:09] 605*2^1240284-1 is not prime. Res64: 00D14583D4B395FE Time : 0.0 sec. user=mdettweiler [2013-01-31 11:14:10] 609*2^1240284-1 is not prime. Res64: FFF3BE62B0781D02 Time : 0.0 sec. user=mdettweiler [2013-01-31 11:25:15] 623*2^1240284-1 is not prime. Res64: 4F47E2665718A1E8 Time : 0.0 sec. user=mdettweiler [2013-01-31 11:25:16] 663*2^1240284-1 is not prime. Res64: 63774B38A3E34D5D Time : 0.0 sec. user=mdettweiler [2013-01-31 11:31:30] 693*2^1240284-1 is not prime. Res64: 02E5539A7F0AC2F8 Time : 0.0 sec. user=mdettweiler [2013-01-31 11:31:30] 719*2^1240284-1 is not prime. Res64: 626528F6323F0804 Time : 0.0 sec. user=mdettweiler [2013-01-31 11:42:38] 723*2^1240284-1 is not prime. Res64: 86CA3B267D3D2466 Time : 0.0 sec. user=mdettweiler [2013-01-31 11:42:38] 875*2^1240284-1 is not prime. Res64: 39C696119010F21D Time : 0.0 sec. user=mdettweiler [2013-01-31 11:48:51] 609*2^1240285-1 is not prime. Res64: 238CF3DC73532CAE Time : 0.0 sec. user=mdettweiler [2013-01-31 11:48:51] 645*2^1240285-1 is not prime. Res64: E620603DCE45B365 Time : 0.0 sec. user=vaughan [2013-01-31 11:51:17] 689*2^1240284-1 is not prime. Res64: 4ADDA4571ECD4AAB Time : 0.0 sec. user=mdettweiler [2013-01-31 11:59:58] 661*2^1240285-1 is not prime. Res64: ED7C09C4F2561003 Time : 0.0 sec. user=mdettweiler [2013-01-31 11:59:59] 687*2^1240285-1 is not prime. Res64: BDFD247DEA3A7FC5 Time : 0.0 sec. user=mdettweiler [2013-01-31 12:06:11] 789*2^1240285-1 is not prime. Res64: AB17D5DF2F791D93 Time : 0.0 sec. user=mdettweiler [2013-01-31 12:06:11] 955*2^1240285-1 is not prime. Res64: 35B5B05A4DCEB4C7 Time : 0.0 sec. user=mdettweiler [2013-01-31 12:17:20] 677*2^1240286-1 is not prime. Res64: 9E3F4AB3756B9C26 Time : 0.0 sec. user=mdettweiler [2013-01-31 12:17:22] 743*2^1240286-1 is not prime. Res64: CBB6667D0F0110E3 Time : 0.0 sec. user=mdettweiler [2013-01-31 12:23:31] 773*2^1240286-1 is not prime. Res64: 81BFFC66D32A7EEA Time : 0.0 sec. user=mdettweiler [2013-01-31 12:23:32] 827*2^1240286-1 is not prime. Res64: 0ECAD3255BB4DA6C Time : 0.0 sec. user=vaughan [2013-01-31 12:29:17] 617*2^1240286-1 is not prime. Res64: 05EF0415C3CAC4FD Time : 0.0 sec. user=mdettweiler [2013-01-31 12:34:52] 857*2^1240286-1 is not prime. Res64: 0AE7246C47E07E6D Time : 0.0 sec. user=mdettweiler [2013-01-31 12:34:53] 887*2^1240286-1 is not prime. Res64: D311106B2398BC87 Time : 0.0 sec. user=mdettweiler [2013-01-31 12:40:51] 1001*2^1240286-1 is not prime. Res64: 74BBC9991E14E84E Time : 0.0 sec. user=mdettweiler [2013-01-31 12:40:52] 739*2^1240287-1 is not prime. Res64: 201AAC860C9DD42B Time : 0.0 sec. user=mdettweiler [2013-01-31 12:52:13] 805*2^1240287-1 is not prime. Res64: 018C966A6C4768E0 Time : 0.0 sec. user=mdettweiler [2013-01-31 12:52:14] 829*2^1240287-1 is not prime. Res64: 380B46B3571CC740 Time : 0.0 sec. user=mdettweiler [2013-01-31 12:58:12] 861*2^1240287-1 is not prime. Res64: AC74D6E1B0419785 Time : 0.0 sec. user=mdettweiler [2013-01-31 12:58:13] 931*2^1240287-1 is not prime. Res64: D1F794EF4232FB55 Time : 0.0 sec. user=vaughan [2013-01-31 13:07:15] 741*2^1240287-1 is not prime. Res64: 4D9D38B0C128E6B1 Time : 0.0 sec. user=mdettweiler [2013-01-31 13:09:34] 955*2^1240287-1 is not prime. Res64: B6CE165BE3F8D00B Time : 0.0 sec. user=mdettweiler [2013-01-31 13:09:36] 975*2^1240287-1 is not prime. Res64: 848E9FAFDDA8545A Time : 0.0 sec. user=mdettweiler [2013-01-31 13:16:26] 665*2^1240288-1 is not prime. Res64: 05E9BE0A34D870DB Time : 0.0 sec. user=mdettweiler [2013-01-31 13:27:02] 989*2^1240288-1 is not prime. Res64: C561B8ACDBC40481 Time : 0.0 sec. user=mdettweiler [2013-01-31 13:27:02] 771*2^1240289-1 is not prime. Res64: 0B93FAB25A0308F6 Time : 0.0 sec. user=mdettweiler [2013-01-31 13:38:29] 677*2^1240288-1 is not prime. Res64: CB2A31CE64F42134 Time : 0.0 sec. user=mdettweiler [2013-01-31 13:44:37] 829*2^1240289-1 is not prime. Res64: BC0B6E5ECF5BE138 Time : 0.0 sec. user=mdettweiler [2013-01-31 13:44:37] 855*2^1240289-1 is not prime. Res64: 41E6F68610719767 Time : 0.0 sec. user=vaughan [2013-01-31 13:45:12] 803*2^1240288-1 is not prime. Res64: DAF837FCBC2698A6 Time : 0.0 sec. user=mdettweiler [2013-01-31 13:55:51] 867*2^1240289-1 is not prime. Res64: 53E1020B40E334BB Time : 0.0 sec. user=mdettweiler [2013-01-31 13:55:51] 945*2^1240289-1 is not prime. Res64: 5B5D7D4358169B17 Time : 0.0 sec. user=mdettweiler [2013-01-31 14:01:58] 791*2^1240290-1 is not prime. Res64: 5D1AC4A724DC0A94 Time : 0.0 sec. user=mdettweiler [2013-01-31 14:01:59] 893*2^1240290-1 is not prime. Res64: 9862C630AD458849 Time : 0.0 sec. user=mdettweiler [2013-01-31 14:14:57] 849*2^1240291-1 is not prime. Res64: E95ACD91F0F05E9F Time : 0.0 sec. user=mdettweiler [2013-01-31 14:19:20] 883*2^1240291-1 is not prime. Res64: 8D95C9562F11F95D Time : 0.0 sec. user=mdettweiler [2013-01-31 14:19:20] 895*2^1240291-1 is not prime. Res64: 311FAF3E93F95914 Time : 0.0 sec. user=vaughan [2013-01-31 14:23:07] 679*2^1240291-1 is not prime. Res64: 0824D7B88E3DCC8B Time : 0.0 sec. user=mdettweiler [2013-01-31 14:36:42] 617*2^1240292-1 is not prime. Res64: 2B595E32ED138648 Time : 0.0 sec. user=mdettweiler [2013-01-31 14:36:43] 725*2^1240292-1 is not prime. Res64: E519078593664915 Time : 0.0 sec. user=mdettweiler [2013-01-31 14:40:41] 871*2^1240291-1 is not prime. Res64: 3D5B4DB0467C3208 Time : 0.0 sec. user=mdettweiler [2013-01-31 14:56:25] 607*2^1240293-1 is not prime. Res64: DB93F67D26EED00E Time : 0.0 sec. user=mdettweiler [2013-01-31 14:56:25] 621*2^1240294-1 is not prime. Res64: 13F468B7D352B668 Time : 0.0 sec. user=mdettweiler [2013-01-31 15:00:20] 677*2^1240294-1 is not prime. Res64: C4BD279D8CBF5E0D Time : 0.0 sec. user=mdettweiler [2013-01-31 15:00:21] 705*2^1240294-1 is not prime. Res64: AB772796B92C8C0A Time : 0.0 sec. user=vaughan [2013-01-31 15:01:03] 959*2^1240292-1 is not prime. Res64: 08932D6CE83F0D8E Time : 0.0 sec. user=mdettweiler [2013-01-31 15:15:13] 731*2^1240294-1 is not prime. Res64: CAEC17EEF491D95B Time : 0.0 sec. user=mdettweiler [2013-01-31 15:15:14] 741*2^1240294-1 is not prime. Res64: 6E0717857C594789 Time : 0.0 sec. user=mdettweiler [2013-01-31 15:19:16] 857*2^1240294-1 is not prime. Res64: 676A2C25EECBCA3B Time : 0.0 sec. user=mdettweiler [2013-01-31 15:19:16] 863*2^1240294-1 is not prime. Res64: 745FC0FC211F0F47 Time : 0.0 sec. user=mdettweiler [2013-01-31 15:33:04] 789*2^1240295-1 is not prime. Res64: D56DC0FA901C4134 Time : 0.0 sec. user=mdettweiler [2013-01-31 15:33:05] 831*2^1240295-1 is not prime. Res64: B8966C012DDB83ED Time : 0.0 sec. user=mdettweiler [2013-01-31 15:37:01] 653*2^1240296-1 is not prime. Res64: C700B020E25D570B Time : 0.0 sec. user=mdettweiler [2013-01-31 15:37:01] 747*2^1240296-1 is not prime. Res64: BF34F5561ADE9165 Time : 0.0 sec. user=vaughan [2013-01-31 15:39:02] 715*2^1240295-1 is not prime. Res64: 26B7A93CB2844CC0 Time : 0.0 sec. user=mdettweiler [2013-01-31 15:50:52] 759*2^1240296-1 is not prime. Res64: BA24BD65B2639686 Time : 0.0 sec. user=mdettweiler [2013-01-31 15:50:52] 767*2^1240296-1 is not prime. Res64: 7386DFD58DBDF371 Time : 0.0 sec. user=mdettweiler [2013-01-31 15:54:48] 815*2^1240296-1 is not prime. Res64: 23A3E2DA01B4C3DC Time : 0.0 sec. user=mdettweiler [2013-01-31 15:54:48] 899*2^1240296-1 is not prime. Res64: 8ACF7BC75E2DE6E3 Time : 0.0 sec. user=mdettweiler [2013-01-31 16:08:39] 649*2^1240297-1 is not prime. Res64: 44F211D9D0C67496 Time : 0.0 sec. user=mdettweiler [2013-01-31 16:08:41] 741*2^1240297-1 is not prime. Res64: 18AE396528A11A9C Time : 0.0 sec. user=mdettweiler [2013-01-31 16:12:37] 769*2^1240297-1 is not prime. Res64: ED5B3A7BC0CCEC7C Time : 0.0 sec. user=mdettweiler [2013-01-31 16:12:38] 835*2^1240297-1 is not prime. Res64: E2B5A1E5245D9458 Time : 0.0 sec. user=vaughan [2013-01-31 16:17:07] 909*2^1240296-1 is not prime. Res64: 337A1C6C10B934E8 Time : 0.0 sec. user=mdettweiler [2013-01-31 16:26:47] 861*2^1240297-1 is not prime. Res64: CAC8F43A63A6D3AE Time : 0.0 sec. user=mdettweiler [2013-01-31 16:26:47] 871*2^1240297-1 is not prime. Res64: 427E5B777BBF38AD Time : 0.0 sec. user=mdettweiler [2013-01-31 16:30:34] 897*2^1240297-1 is not prime. Res64: EE4F14A9B958A64E Time : 0.0 sec. user=mdettweiler [2013-01-31 16:30:35] 919*2^1240297-1 is not prime. Res64: 3020BB1727C30DB2 Time : 0.0 sec. user=mdettweiler [2013-01-31 16:44:33] 635*2^1240298-1 is not prime. Res64: 823CA12D9B515FDC Time : 0.0 sec. user=mdettweiler [2013-01-31 16:44:34] 671*2^1240298-1 is not prime. Res64: 166CEC7A2C0ACC17 Time : 0.0 sec. user=mdettweiler [2013-01-31 16:48:28] 677*2^1240298-1 is not prime. Res64: 279C2803D3F2C827 Time : 0.0 sec. user=mdettweiler [2013-01-31 16:48:28] 731*2^1240298-1 is not prime. Res64: F122A607651E88ED Time : 0.0 sec. user=vaughan [2013-01-31 16:55:06] 967*2^1240297-1 is not prime. Res64: AB1F2E05FD45CFCF Time : 0.0 sec. user=mdettweiler [2013-01-31 17:03:00] 867*2^1240298-1 is not prime. Res64: 2A5C247BF05C19E0 Time : 0.0 sec. user=mdettweiler [2013-01-31 17:03:01] 885*2^1240298-1 is not prime. Res64: 17DBB8870FB282C1 Time : 0.0 sec. user=mdettweiler [2013-01-31 17:06:52] 971*2^1240298-1 is not prime. Res64: 7D951FD282E9F113 Time : 0.0 sec. user=mdettweiler [2013-01-31 17:06:54] 973*2^1240299-1 is not prime. Res64: E35CD77DF5248A8C Time : 0.0 sec. user=mdettweiler [2013-01-31 17:21:00] 743*2^1240300-1 is not prime. Res64: 5955AF284FA5FCA8 Time : 0.0 sec. user=mdettweiler [2013-01-31 17:21:00] 875*2^1240300-1 is not prime. Res64: 598121413419A896 Time : 0.0 sec. user=mdettweiler [2013-01-31 17:24:53] 887*2^1240300-1 is not prime. Res64: 1DFF8613DF9EC96A Time : 0.0 sec. user=mdettweiler [2013-01-31 17:24:54] 897*2^1240300-1 is not prime. Res64: 8B4B076D2A0CCBC5 Time : 0.0 sec. user=vaughan [2013-01-31 17:33:01] 991*2^1240299-1 is not prime. Res64: EE997E38CDED6FBC Time : 0.0 sec. user=mdettweiler [2013-01-31 17:38:47] 987*2^1240300-1 is not prime. Res64: E2A336A7B368FFBF Time : 0.0 sec. user=mdettweiler [2013-01-31 17:38:47] 989*2^1240300-1 is not prime. Res64: FF23F3CF113358A4 Time : 0.0 sec. user=mdettweiler [2013-01-31 17:42:36] 995*2^1240300-1 is not prime. Res64: 0C0951F1F85649BD Time : 0.0 sec. user=mdettweiler [2013-01-31 17:42:37] 621*2^1240301-1 is not prime. Res64: 0C88B03B0CE17788 Time : 0.0 sec. user=mdettweiler [2013-01-31 17:56:24] 799*2^1240301-1 is not prime. Res64: 13293B2C31C40DA2 Time : 0.0 sec. user=mdettweiler [2013-01-31 17:56:24] 801*2^1240301-1 is not prime. Res64: 8616B4D48345FA5A Time : 0.0 sec. user=mdettweiler [2013-01-31 18:00:14] 927*2^1240301-1 is not prime. Res64: AAF260EBDDB4B1FA Time : 0.0 sec. user=mdettweiler [2013-01-31 18:00:15] 981*2^1240301-1 is not prime. Res64: B6CC23AE187C499C Time : 0.0 sec. user=vaughan [2013-01-31 18:10:58] 669*2^1240301-1 is not prime. Res64: 7A9964B94C71A6BF Time : 0.0 sec. user=mdettweiler [2013-01-31 18:14:03] 635*2^1240302-1 is not prime. Res64: BA2A3AD7B1FEECDC Time : 0.0 sec. user=mdettweiler [2013-01-31 18:14:04] 671*2^1240302-1 is not prime. Res64: 0105BE6080C4B601 Time : 0.0 sec. user=mdettweiler [2013-01-31 18:17:53] 723*2^1240302-1 is not prime. Res64: DF7221D57DEA22F7 Time : 0.0 sec. user=mdettweiler [2013-01-31 18:17:54] 761*2^1240302-1 is not prime. Res64: 1F25B7FAC71C44FB Time : 0.0 sec. user=mdettweiler [2013-01-31 18:31:48] 921*2^1240302-1 is not prime. Res64: 2CD42EC28BBFF00F Time : 0.0 sec. user=mdettweiler [2013-01-31 18:31:48] 675*2^1240303-1 is not prime. Res64: 386EABD82FE244C9 Time : 0.0 sec. user=mdettweiler [2013-01-31 18:35:30] 685*2^1240303-1 is not prime. Res64: 653BD15B4FFDB322 Time : 0.0 sec. user=mdettweiler [2013-01-31 18:35:30] 765*2^1240303-1 is not prime. Res64: 7D48764C0718917F Time : 0.0 sec. user=vaughan [2013-01-31 18:48:59] 917*2^1240302-1 is not prime. Res64: 11FA37EF6E4E4DA6 Time : 0.0 sec. user=mdettweiler [2013-01-31 18:49:25] 813*2^1240303-1 is not prime. Res64: 196DF2551023F91F Time : 0.0 sec. user=mdettweiler [2013-01-31 18:49:25] 891*2^1240303-1 is not prime. Res64: E3C2A28B9CDA33B1 Time : 0.0 sec. user=mdettweiler [2013-01-31 18:53:06] 951*2^1240303-1 is not prime. Res64: 29055F6E11CA4E24 Time : 0.0 sec. user=mdettweiler [2013-01-31 18:53:06] 973*2^1240303-1 is not prime. Res64: D9B5FCE64169333E Time : 0.0 sec. user=mdettweiler [2013-01-31 19:14:09] 683*2^1240304-1 is not prime. Res64: D220BE0CCE89CB30 Time : 0.0 sec. user=mdettweiler [2013-01-31 19:14:09] 689*2^1240304-1 is not prime. Res64: AC1EB7E9A1E2E44C Time : 0.0 sec. user=vaughan [2013-01-31 19:26:59] 617*2^1240304-1 is not prime. Res64: 31ABB657E2FA192F Time : 0.0 sec. user=mdettweiler [2013-01-31 19:31:57] 639*2^1240305-1 is not prime. Res64: 2E1ADB4DF042B559 Time : 0.0 sec. user=mdettweiler [2013-01-31 19:31:58] 709*2^1240305-1 is not prime. Res64: A70673D524EEF9B0 Time : 0.0 sec. user=mdettweiler [2013-01-31 19:33:41] 855*2^1240304-1 is not prime. Res64: 179463C20E622572 Time : 0.0 sec. user=mdettweiler [2013-01-31 19:33:41] 893*2^1240304-1 is not prime. Res64: D49B5E5BA710A398 Time : 0.0 sec. user=mdettweiler [2013-01-31 19:49:38] 831*2^1240305-1 is not prime. Res64: 4E20A4B94EC74850 Time : 0.0 sec. user=mdettweiler [2013-01-31 19:49:39] 867*2^1240305-1 is not prime. Res64: A2586E4712D87E45 Time : 0.0 sec. user=mdettweiler [2013-01-31 19:51:24] 603*2^1240306-1 is not prime. Res64: 913F22372DF26F65 Time : 0.0 sec. user=mdettweiler [2013-01-31 19:51:24] 657*2^1240306-1 is not prime. Res64: 74C12AA5257C7A29 Time : 0.0 sec. user=vaughan [2013-01-31 20:05:00] 759*2^1240305-1 is not prime. Res64: B153FD618822EDEC Time : 0.0 sec. user=mdettweiler [2013-01-31 20:07:23] 663*2^1240306-1 is not prime. Res64: AAD8D3BA4765F579 Time : 0.0 sec. user=mdettweiler [2013-01-31 20:07:23] 671*2^1240306-1 is not prime. Res64: 8D6740024CB30ACA Time : 0.0 sec. user=mdettweiler [2013-01-31 20:09:05] 747*2^1240306-1 is not prime. Res64: EC9AC047068F0C6F Time : 0.0 sec. user=mdettweiler [2013-01-31 20:09:06] 785*2^1240306-1 is not prime. Res64: 7601068858B01713 Time : 0.0 sec. user=mdettweiler [2013-01-31 20:25:02] 699*2^1240307-1 is not prime. Res64: 7B6DBB16418F136C Time : 0.0 sec. user=mdettweiler [2013-01-31 20:25:03] 759*2^1240307-1 is not prime. Res64: 4921BDCCDB6D7E36 Time : 0.0 sec. user=mdettweiler [2013-01-31 20:26:44] 775*2^1240307-1 is not prime. Res64: B9F8FD2364E3AD3B Time : 0.0 sec. user=mdettweiler [2013-01-31 20:26:45] 799*2^1240307-1 is not prime. Res64: 9133346F95BFF635 Time : 0.0 sec. user=mdettweiler [2013-01-31 20:42:48] 829*2^1240307-1 is not prime. Res64: 91B0CAEE46C343F8 Time : 0.0 sec. user=mdettweiler [2013-01-31 20:42:48] 885*2^1240307-1 is not prime. Res64: E97DFA48792D55AA Time : 0.0 sec. user=vaughan [2013-01-31 20:43:06] 887*2^1240306-1 is not prime. Res64: DC6761B3C4A71DD6 Time : 0.0 sec. user=mdettweiler [2013-01-31 20:44:24] 913*2^1240307-1 is not prime. Res64: 6481DB700ED1381E Time : 0.0 sec. user=mdettweiler [2013-01-31 20:44:25] 979*2^1240307-1 is not prime. Res64: 3AE7F0271690791E Time : 0.0 sec. user=mdettweiler [2013-01-31 21:00:46] 629*2^1240308-1 is not prime. Res64: ABA7DBB055B0455C Time : 0.0 sec. user=mdettweiler [2013-01-31 21:00:47] 773*2^1240308-1 is not prime. Res64: 185660C11799719A Time : 0.0 sec. user=mdettweiler [2013-01-31 21:02:24] 909*2^1240308-1 is not prime. Res64: 58419979D008C60A Time : 0.0 sec. user=mdettweiler [2013-01-31 21:02:26] 929*2^1240308-1 is not prime. Res64: 397EA9D9F7326723 Time : 0.0 sec. user=mdettweiler [2013-01-31 21:18:18] 959*2^1240308-1 is not prime. Res64: AA259E254833C608 Time : 0.0 sec. user=mdettweiler [2013-01-31 21:18:19] 975*2^1240308-1 is not prime. Res64: 0CA5C48022EDDDD9 Time : 0.0 sec. user=mdettweiler [2013-01-31 21:19:52] 999*2^1240308-1 is not prime. Res64: 401C95DBE8872E3D Time : 0.0 sec. user=mdettweiler [2013-01-31 21:19:53] 691*2^1240309-1 is not prime. Res64: CDCC597F8FA0FBB2 Time : 0.0 sec. user=vaughan [2013-01-31 21:21:05] 797*2^1240308-1 is not prime. Res64: FA9057AED5389FF5 Time : 0.0 sec. user=mdettweiler [2013-01-31 21:35:41] 775*2^1240309-1 is not prime. Res64: 393725BC77D82F4D Time : 0.0 sec. user=mdettweiler [2013-01-31 21:35:41] 819*2^1240309-1 is not prime. Res64: 7436FE90EFD0950F Time : 0.0 sec. user=mdettweiler [2013-01-31 21:37:13] 825*2^1240309-1 is not prime. Res64: 816DD83D16DA9396 Time : 0.0 sec. user=mdettweiler [2013-01-31 21:37:13] 847*2^1240309-1 is not prime. Res64: B44E1EE49F68BABE Time : 0.0 sec. user=mdettweiler [2013-01-31 21:53:00] 925*2^1240309-1 is not prime. Res64: 5E7C5BD1E3759A07 Time : 0.0 sec. user=mdettweiler [2013-01-31 21:53:01] 957*2^1240309-1 is not prime. Res64: 9B2352241BB57CBD Time : 0.0 sec. user=mdettweiler [2013-01-31 21:54:32] 755*2^1240310-1 is not prime. Res64: 17D9730352C41458 Time : 0.0 sec. user=mdettweiler [2013-01-31 21:54:32] 773*2^1240310-1 is not prime. Res64: 22491481899CC04C Time : 0.0 sec. user=vaughan [2013-01-31 21:59:04] 855*2^1240309-1 is not prime. Res64: 1576A88FB647014A Time : 0.0 sec. user=mdettweiler [2013-01-31 22:10:16] 957*2^1240310-1 is not prime. Res64: FE12542ADE23495C Time : 0.0 sec. user=mdettweiler [2013-01-31 22:10:18] 977*2^1240310-1 is not prime. Res64: 9E4B7D4A94228985 Time : 0.0 sec. user=mdettweiler [2013-01-31 22:11:54] 693*2^1240311-1 is not prime. Res64: CEC52BAAEF3C49B2 Time : 0.0 sec. user=mdettweiler [2013-01-31 22:11:57] 709*2^1240311-1 is not prime. Res64: 852B521350E4EB84 Time : 0.0 sec. user=mdettweiler [2013-01-31 22:27:52] 793*2^1240311-1 is not prime. Res64: E41B7D80BDDEDB57 Time : 0.0 sec. user=mdettweiler [2013-01-31 22:27:53] 795*2^1240311-1 is not prime. Res64: AF5E0B04000F5F58 Time : 0.0 sec. user=mdettweiler [2013-01-31 22:29:20] 979*2^1240311-1 is not prime. Res64: FCC5F0C6E51267E6 Time : 0.0 sec. user=mdettweiler [2013-01-31 22:29:21] 991*2^1240311-1 is not prime. Res64: 99F6BB35BB8F42F0 Time : 0.0 sec. user=vaughan [2013-01-31 22:37:01] 751*2^1240311-1 is not prime. Res64: 66A3C20189A049C5 Time : 0.0 sec. user=mdettweiler [2013-01-31 22:45:12] 777*2^1240312-1 is not prime. Res64: 60C76210F404C115 Time : 0.0 sec. user=mdettweiler [2013-01-31 22:45:12] 819*2^1240312-1 is not prime. Res64: 44DB3DC7E5B3FB6F Time : 0.0 sec. user=mdettweiler [2013-01-31 22:46:38] 849*2^1240312-1 is not prime. Res64: DCD20ABA377FB6B6 Time : 0.0 sec. user=mdettweiler [2013-01-31 22:46:39] 923*2^1240312-1 is not prime. Res64: 18AEBFEC5BAAFBB1 Time : 0.0 sec. user=mdettweiler [2013-01-31 23:02:37] 697*2^1240313-1 is not prime. Res64: 19E9E36BCE51A3CE Time : 0.0 sec. user=mdettweiler [2013-01-31 23:02:39] 747*2^1240313-1 is not prime. Res64: FE72004E28FE7ED5 Time : 0.0 sec. user=mdettweiler [2013-01-31 23:03:58] 759*2^1240313-1 is not prime. Res64: 85E476D8872286F8 Time : 0.0 sec. user=mdettweiler [2013-01-31 23:04:00] 789*2^1240313-1 is not prime. Res64: 8956D9A5A2468A27 Time : 0.0 sec. user=vaughan [2013-01-31 23:14:58] 657*2^1240313-1 is not prime. Res64: 41E16FAFF9AAD9AE Time : 0.0 sec. user=mdettweiler [2013-01-31 23:20:12] 901*2^1240313-1 is not prime. Res64: E5475100588ADC2A Time : 0.0 sec. user=mdettweiler [2013-01-31 23:20:13] 945*2^1240313-1 is not prime. Res64: 0D7EC9FA17939614 Time : 0.0 sec. user=mdettweiler [2013-01-31 23:21:22] 967*2^1240313-1 is not prime. Res64: 0B5C4A6C53201076 Time : 0.0 sec. user=mdettweiler [2013-01-31 23:21:22] 981*2^1240313-1 is not prime. Res64: 5B8941B2B8DCFDB3 Time : 0.0 sec. user=mdettweiler [2013-01-31 23:37:35] 807*2^1240314-1 is not prime. Res64: 7A737E156FC102A5 Time : 0.0 sec. user=mdettweiler [2013-01-31 23:37:36] 951*2^1240314-1 is not prime. Res64: 04CE9B397CB1DDB6 Time : 0.0 sec. user=mdettweiler [2013-01-31 23:38:45] 649*2^1240315-1 is not prime. Res64: 18CC1A12E6A2D27B Time : 0.0 sec. user=mdettweiler [2013-01-31 23:38:45] 751*2^1240315-1 is not prime. Res64: B755B51660EA4FA3 Time : 0.0 sec. user=vaughan [2013-01-31 23:53:03] 707*2^1240314-1 is not prime. Res64: 1A1FAF650B94BA61 Time : 0.0 sec. user=mdettweiler [2013-01-31 23:55:00] 859*2^1240315-1 is not prime. Res64: 5C4054FB0EEBAE95 Time : 0.0 sec. user=mdettweiler [2013-01-31 23:55:01] 925*2^1240315-1 is not prime. Res64: 6CFF3B000C3D9B80 Time : 0.0 sec. user=mdettweiler [2013-01-31 23:56:09] 979*2^1240315-1 is not prime. Res64: 1393B5BB394A3E1A Time : 0.0 sec. user=mdettweiler [2013-01-31 23:56:10] 759*2^1240316-1 is not prime. Res64: D5A2A838B478BDD3 Time : 0.0 sec.