user=mdettweiler [2013-06-27 00:23:25] 987*2^1247253-1 is not prime. Res64: AFC64A62D4A482FE Time : 0.0 sec. user=mdettweiler [2013-06-27 00:23:25] 999*2^1247253-1 is not prime. Res64: DBDE70E3BAF82382 Time : 0.0 sec. user=mdettweiler [2013-06-27 00:41:29] 621*2^1247254-1 is not prime. Res64: A1C5CBE29C93B567 Time : 0.0 sec. user=mdettweiler [2013-06-27 01:06:57] 651*2^1247254-1 is not prime. Res64: D319838BCFDB9026 Time : 0.0 sec. user=mdettweiler [2013-06-27 01:24:41] 741*2^1247254-1 is not prime. Res64: 6FF3D5D7A7089FA1 Time : 0.0 sec. user=mdettweiler [2013-06-27 01:24:41] 815*2^1247254-1 is not prime. Res64: A27E2A484FA4671E Time : 0.0 sec. user=mdettweiler [2013-06-27 01:41:58] 833*2^1247254-1 is not prime. Res64: ECA0B4EF7F98360A Time : 0.0 sec. user=mdettweiler [2013-06-27 01:41:58] 915*2^1247254-1 is not prime. Res64: 4803BE3BAD840181 Time : 0.0 sec. user=mdettweiler [2013-06-27 01:59:17] 601*2^1247255-1 is not prime. Res64: 41ABB100A97FEF35 Time : 0.0 sec. user=mdettweiler [2013-06-27 01:59:17] 643*2^1247255-1 is not prime. Res64: 9D0142CC79EDC9A2 Time : 0.0 sec. user=mdettweiler [2013-06-27 02:17:23] 783*2^1247255-1 is not prime. Res64: A5CFF6425DFF37DC Time : 0.0 sec. user=mdettweiler [2013-06-27 02:17:23] 999*2^1247255-1 is not prime. Res64: E1DE74366C189D46 Time : 0.0 sec. user=mdettweiler [2013-06-27 02:34:24] 635*2^1247256-1 is not prime. Res64: 18CD797E9EE341E6 Time : 0.0 sec. user=mdettweiler [2013-06-27 02:34:26] 657*2^1247256-1 is not prime. Res64: 4D28DFE6F7B523D7 Time : 0.0 sec. user=mdettweiler [2013-06-27 02:51:36] 693*2^1247256-1 is not prime. Res64: 394C3829F5B2F609 Time : 0.0 sec. user=mdettweiler [2013-06-27 02:51:37] 789*2^1247256-1 is not prime. Res64: 96CF401D0AC483F7 Time : 0.0 sec. user=mdettweiler [2013-06-27 03:08:57] 619*2^1247257-1 is not prime. Res64: 30119232EA37E6D7 Time : 0.0 sec. user=mdettweiler [2013-06-27 03:08:58] 661*2^1247257-1 is not prime. Res64: BE79E2D666735B92 Time : 0.0 sec. user=mdettweiler [2013-06-27 03:26:32] 667*2^1247257-1 is not prime. Res64: 09096667102C2FCC Time : 0.0 sec. user=mdettweiler [2013-06-27 03:48:04] 771*2^1247257-1 is not prime. Res64: 14B9FD6BA0196D0B Time : 0.0 sec. user=mdettweiler [2013-06-27 04:05:20] 801*2^1247257-1 is not prime. Res64: 30080E27E28C992B Time : 0.0 sec. user=mdettweiler [2013-06-27 04:05:21] 807*2^1247257-1 is not prime. Res64: 1945826A52002F2E Time : 0.0 sec. user=mdettweiler [2013-06-27 04:22:29] 819*2^1247257-1 is not prime. Res64: B6C5C74209364599 Time : 0.0 sec. user=mdettweiler [2013-06-27 04:22:30] 885*2^1247257-1 is not prime. Res64: 48928C86DED6BD0F Time : 0.0 sec. user=mdettweiler [2013-06-27 04:40:38] 945*2^1247257-1 is not prime. Res64: 5F4DF12D48A30301 Time : 0.0 sec. user=mdettweiler [2013-06-27 04:40:39] 975*2^1247257-1 is not prime. Res64: 8381DB57AE401082 Time : 0.0 sec. user=mdettweiler [2013-06-27 04:58:07] 603*2^1247258-1 is not prime. Res64: 9D7D56BC1CFE54EA Time : 0.0 sec. user=mdettweiler [2013-06-27 04:58:08] 791*2^1247258-1 is not prime. Res64: D7C1865ECC5BFB7F Time : 0.0 sec. user=mdettweiler [2013-06-27 05:15:42] 801*2^1247258-1 is not prime. Res64: 02D93DAFFFD9FF2D Time : 0.0 sec. user=mdettweiler [2013-06-27 05:55:44] 813*2^1247258-1 is not prime. Res64: 9028B8FDE4A55499 Time : 0.0 sec. user=mdettweiler [2013-06-27 06:12:46] 827*2^1247258-1 is not prime. Res64: DDEDE1C50647F29E Time : 0.0 sec. user=mdettweiler [2013-06-27 06:12:46] 735*2^1247259-1 is not prime. Res64: A37790D08B4F3A6C Time : 0.0 sec. user=mdettweiler [2013-06-27 06:30:19] 741*2^1247259-1 is not prime. Res64: 33AA5D639DB0F37C Time : 0.0 sec. user=mdettweiler [2013-06-27 07:04:00] 745*2^1247259-1 is not prime. Res64: A418BE6DAA6E835F Time : 0.0 sec. user=mdettweiler [2013-06-27 07:21:30] 795*2^1247259-1 is not prime. Res64: 7D21F874E79AA6BA Time : 0.0 sec. user=mdettweiler [2013-06-27 07:21:31] 801*2^1247259-1 is not prime. Res64: 8949BB22CD4A39EB Time : 0.0 sec. user=mdettweiler [2013-06-27 07:39:08] 859*2^1247259-1 is not prime. Res64: E24D533A878C4A32 Time : 0.0 sec. user=mdettweiler [2013-06-27 07:39:08] 773*2^1247260-1 is not prime. Res64: 99EB78BF8713DEC4 Time : 0.0 sec. user=mdettweiler [2013-06-27 07:57:06] 777*2^1247260-1 is not prime. Res64: 6D36494AA4A11E23 Time : 0.0 sec. user=mdettweiler [2013-06-27 08:34:57] 783*2^1247260-1 is not prime. Res64: 93A7CCC09B6C648C Time : 0.0 sec. user=mdettweiler [2013-06-27 08:52:33] 819*2^1247260-1 is not prime. Res64: D3364A6B6ED0A5AB Time : 0.0 sec. user=mdettweiler [2013-06-27 08:52:33] 957*2^1247260-1 is not prime. Res64: 33A6AF9B1656F43F Time : 0.0 sec. user=mdettweiler [2013-06-27 09:10:01] 607*2^1247261-1 is not prime. Res64: 9B2088BA32891121 Time : 0.0 sec. user=mdettweiler [2013-06-27 09:10:02] 717*2^1247261-1 is not prime. Res64: 2113ADB76A55A500 Time : 0.0 sec. user=mdettweiler [2013-06-27 09:27:50] 741*2^1247261-1 is not prime. Res64: 2FFEB377EA169E23 Time : 0.0 sec. user=mdettweiler [2013-06-27 09:27:51] 777*2^1247261-1 is not prime. Res64: B5378849860AB4A3 Time : 0.0 sec. user=mdettweiler [2013-06-27 09:46:01] 805*2^1247261-1 is not prime. Res64: 9E3D1B78BAFA4843 Time : 0.0 sec. user=mdettweiler [2013-06-27 10:11:35] 901*2^1247261-1 is not prime. Res64: 9F2E94509FBE33A5 Time : 0.0 sec. user=mdettweiler [2013-06-27 10:29:38] 907*2^1247261-1 is not prime. Res64: 0340BB67FB890D76 Time : 0.0 sec. user=mdettweiler [2013-06-27 11:07:20] 833*2^1247262-1 is not prime. Res64: C84FADED29627124 Time : 0.0 sec. user=mdettweiler [2013-06-27 11:48:57] 917*2^1247262-1 is not prime. Res64: 67561816E7431E5A Time : 0.0 sec. user=mdettweiler [2013-06-27 11:48:57] 951*2^1247262-1 is not prime. Res64: 8E79D8E0C8F7171A Time : 0.0 sec. user=mdettweiler [2013-06-27 12:08:14] 977*2^1247262-1 is not prime. Res64: 3A63974ADE9F6A1E Time : 0.0 sec. user=mdettweiler [2013-06-27 12:38:42] 679*2^1247263-1 is not prime. Res64: 6BAD1968475E3B23 Time : 0.0 sec. user=mdettweiler [2013-06-27 12:56:15] 685*2^1247263-1 is not prime. Res64: 48BD542440CADBAE Time : 0.0 sec. user=mdettweiler [2013-06-27 12:56:16] 705*2^1247263-1 is not prime. Res64: 57536AF1FE51A3DB Time : 0.0 sec. user=mdettweiler [2013-06-27 13:14:10] 741*2^1247263-1 is not prime. Res64: 39CF272A8CE4E9F2 Time : 0.0 sec. user=mdettweiler [2013-06-27 13:14:11] 819*2^1247263-1 is not prime. Res64: 5A4CBB66322BAB72 Time : 0.0 sec. user=mdettweiler [2013-06-27 13:31:56] 829*2^1247263-1 is not prime. Res64: 87F0A0FDF72C272F Time : 0.0 sec. user=mdettweiler [2013-06-27 13:31:56] 859*2^1247263-1 is not prime. Res64: C2099408E85C3E39 Time : 0.0 sec. user=mdettweiler [2013-06-27 13:49:45] 873*2^1247263-1 is not prime. Res64: 6E88C37215BAD0BF Time : 0.0 sec. user=mdettweiler [2013-06-27 13:49:45] 925*2^1247263-1 is not prime. Res64: 596937A3F830BF53 Time : 0.0 sec. user=mdettweiler [2013-06-27 14:07:28] 945*2^1247263-1 is not prime. Res64: EDA0C96ECE4E1BDD Time : 0.0 sec. user=mdettweiler [2013-06-27 14:07:29] 951*2^1247263-1 is not prime. Res64: 3E04EA18D2920F33 Time : 0.0 sec. user=mdettweiler [2013-06-27 14:25:32] 623*2^1247264-1 is not prime. Res64: F2A24DFA30FAAD1F Time : 0.0 sec. user=mdettweiler [2013-06-27 14:25:33] 677*2^1247264-1 is not prime. Res64: A4407BC59B41A299 Time : 0.0 sec. user=mdettweiler [2013-06-27 14:43:24] 717*2^1247264-1 is not prime. Res64: 5788F187252AE542 Time : 0.0 sec. user=mdettweiler [2013-06-27 14:43:24] 767*2^1247264-1 is not prime. Res64: 7C1A0F8ECCE84AA4 Time : 0.0 sec. user=mdettweiler [2013-06-27 15:01:15] 773*2^1247264-1 is not prime. Res64: A12571F1EC609E49 Time : 0.0 sec. user=mdettweiler [2013-06-27 15:01:15] 833*2^1247264-1 is not prime. Res64: 0660DB7E704AD478 Time : 0.0 sec. user=mdettweiler [2013-06-27 15:19:27] 843*2^1247264-1 is not prime. Res64: 6DF0A4BA74329037 Time : 0.0 sec. user=mdettweiler [2013-06-27 15:19:27] 909*2^1247264-1 is not prime. Res64: 79B4AD24D54F711B Time : 0.0 sec. user=mdettweiler [2013-06-27 15:38:19] 993*2^1247264-1 is not prime. Res64: 7A988006FBEC050D Time : 0.0 sec. user=mdettweiler [2013-06-27 16:05:05] 649*2^1247265-1 is not prime. Res64: 431DD1EC6BF26267 Time : 0.0 sec. user=mdettweiler [2013-06-27 17:02:35] 645*2^1247266-1 is not prime. Res64: E76164F0AF25378D Time : 0.0 sec. user=mdettweiler [2013-06-27 17:26:42] 723*2^1247266-1 is not prime. Res64: D8A5E1EB74FE9F74 Time : 0.0 sec. user=mdettweiler [2013-06-27 17:44:40] 773*2^1247266-1 is not prime. Res64: 7EFD82F42DB4DAE2 Time : 0.0 sec. user=mdettweiler [2013-06-27 17:44:40] 833*2^1247266-1 is not prime. Res64: 0FE98F0A1A1F013E Time : 0.0 sec. user=mdettweiler [2013-06-27 18:02:50] 917*2^1247266-1 is not prime. Res64: 7A2FDD60E068B142 Time : 0.0 sec. user=mdettweiler [2013-06-27 18:29:55] 923*2^1247266-1 is not prime. Res64: 9C1CAB0C04B7FEA0 Time : 0.0 sec. user=mdettweiler [2013-06-27 18:48:09] 975*2^1247266-1 is not prime. Res64: 668F7ED1FAEE3FE8 Time : 0.0 sec. user=mdettweiler [2013-06-27 19:22:28] 619*2^1247267-1 is not prime. Res64: 232D35A3F52B3990 Time : 0.0 sec. user=mdettweiler [2013-06-27 19:40:47] 705*2^1247267-1 is not prime. Res64: 0BEDE1D6561D47BF Time : 0.0 sec. user=mdettweiler [2013-06-27 20:00:28] 759*2^1247267-1 is not prime. Res64: FEBFED69056B8B65 Time : 0.0 sec. user=mdettweiler [2013-06-27 20:38:25] 775*2^1247267-1 is not prime. Res64: F9640B54D6AD3374 Time : 0.0 sec. user=mdettweiler [2013-06-27 20:38:26] 813*2^1247267-1 is not prime. Res64: 03711AB5B7CBCD6A Time : 0.0 sec. user=mdettweiler [2013-06-27 20:55:35] 825*2^1247267-1 is not prime. Res64: 4505A58EDA3DA738 Time : 0.0 sec. user=mdettweiler [2013-06-27 20:55:35] 707*2^1247268-1 is not prime. Res64: C8C8EA501C9AF1B6 Time : 0.0 sec. user=mdettweiler [2013-06-27 21:12:56] 753*2^1247268-1 is not prime. Res64: 15B5429F866D4A65 Time : 0.0 sec. user=mdettweiler [2013-06-27 21:51:03] 825*2^1247268-1 is not prime. Res64: 804785774A983961 Time : 0.0 sec. user=mdettweiler [2013-06-27 22:46:02] 839*2^1247268-1 is not prime. Res64: BE7E44C0B2F6406C Time : 0.0 sec. user=mdettweiler [2013-06-27 22:46:03] 899*2^1247268-1 is not prime. Res64: 0DC6C968B1C4F090 Time : 0.0 sec. user=mdettweiler [2013-06-27 23:03:34] 915*2^1247268-1 is not prime. Res64: 65B9424401C7416F Time : 0.0 sec. user=mdettweiler [2013-06-27 23:32:55] 933*2^1247268-1 is not prime. Res64: 92C7919248833470 Time : 0.0 sec. user=mdettweiler [2013-06-27 23:51:00] 999*2^1247268-1 is not prime. Res64: A50EFE09C0F7DDE5 Time : 0.0 sec. user=mdettweiler [2013-06-27 23:51:01] 855*2^1247269-1 is not prime. Res64: 47B5F96AE72F1072 Time : 0.0 sec.