user=mdettweiler [2012-01-14 00:02:13] 981*2^1001123-1 is not prime. Res64: B3615908B2593EB8 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:04:06] 991*2^1001123-1 is not prime. Res64: 21D99998D6BE0797 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:05:37] 975*2^1001122-1 is not prime. Res64: AD4B40E9CA663B23 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:05:38] 619*2^1001123-1 is not prime. Res64: 4D68C8EA8FD08272 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:07:12] 715*2^1001123-1 is not prime. Res64: 84D2004F37CE94D6 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:07:14] 889*2^1001123-1 is not prime. Res64: CF8806560E65EFCE Time : 0.0 sec. user=mdettweiler [2012-01-14 00:08:30] 687*2^1001114-1 is not prime. Res64: E708E18435E56AA4 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:08:31] 923*2^1001114-1 is not prime. Res64: 66F08D5C653DB589 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:09:49] 705*2^1001124-1 is not prime. Res64: 5BCA6688137310C0 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:11:43] 725*2^1001124-1 is not prime. Res64: 8A352843BDE8C9F6 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:14:02] 901*2^1001123-1 is not prime. Res64: 33C75C75258FE336 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:14:03] 955*2^1001123-1 is not prime. Res64: FE6F391327F020FD Time : 0.0 sec. user=mdettweiler [2012-01-14 00:17:27] 741*2^1001126-1 is not prime. Res64: 31679A914C341A27 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:19:06] 627*2^1001124-1 is not prime. Res64: F8B1C95F821BD4C3 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:19:07] 689*2^1001124-1 is not prime. Res64: 806BB5702A60B2A5 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:19:20] 773*2^1001126-1 is not prime. Res64: E989D3A9EAFBCD1F Time : 0.0 sec. user=mdettweiler [2012-01-14 00:26:48] 957*2^1001126-1 is not prime. Res64: D38666F2FC187EEF Time : 0.0 sec. user=mdettweiler [2012-01-14 00:26:55] 873*2^1001127-1 is not prime. Res64: 60AB5AE67B0499D5 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:27:00] 741*2^1001125-1 is not prime. Res64: 83E70A9949698555 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:27:00] 859*2^1001125-1 is not prime. Res64: E7C1F2FCA677FC6E Time : 0.0 sec. user=mdettweiler [2012-01-14 00:27:36] 947*2^1001124-1 is not prime. Res64: 6E91D4555BFB13A2 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:27:36] 727*2^1001125-1 is not prime. Res64: 45D9945FB386FCE0 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:33:50] 833*2^1001126-1 is not prime. Res64: 62F9A1CD44D649BE Time : 0.0 sec. user=mdettweiler [2012-01-14 00:33:50] 873*2^1001126-1 is not prime. Res64: 616A3D0B41A4A6C5 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:34:24] 713*2^1001128-1 is not prime. Res64: 2D408DE4C4C89285 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:34:29] 875*2^1001128-1 is not prime. Res64: A9A87B51C826FB07 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:38:45] 795*2^1001127-1 is not prime. Res64: A6A51AA452D4E693 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:38:47] 843*2^1001127-1 is not prime. Res64: 89FD0F80C0AD3902 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:41:58] 933*2^1001130-1 is not prime. Res64: 7555B3D1237C1570 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:43:48] 945*2^1001118-1 is not prime. Res64: C20D3A3AEFA05BD8 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:43:48] 723*2^1001119-1 is not prime. Res64: BFC4D7741053391F Time : 0.0 sec. user=mdettweiler [2012-01-14 00:43:48] 945*2^1001130-1 is not prime. Res64: 43AE05893CE24626 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:46:46] 923*2^1001128-1 is not prime. Res64: D2D15E251E5070C9 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:46:46] 619*2^1001129-1 is not prime. Res64: 453F2C721B45E61B Time : 0.0 sec. user=mdettweiler [2012-01-14 00:49:33] 603*2^1001131-1 is not prime. Res64: 8ADFA6A50775050A Time : 0.0 sec. user=mdettweiler [2012-01-14 00:49:36] 697*2^1001129-1 is not prime. Res64: 307AF024314C83A7 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:49:37] 967*2^1001129-1 is not prime. Res64: 2BD1930C3ABE8213 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:49:53] 651*2^1001121-1 is not prime. Res64: CB0641B17A116086 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:49:53] 705*2^1001121-1 is not prime. Res64: 30979ECF6BB53351 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:51:25] 663*2^1001131-1 is not prime. Res64: C1D6BC6077E95D01 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:55:51] 985*2^1001129-1 is not prime. Res64: 1662BFBBABC747D0 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:55:52] 797*2^1001130-1 is not prime. Res64: DCC2009B13A82E47 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:57:11] 819*2^1001131-1 is not prime. Res64: 395F644C2ECFCA55 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:57:48] 665*2^1001122-1 is not prime. Res64: D268059A6943F803 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:57:48] 803*2^1001122-1 is not prime. Res64: ECB2E14AB83E4B88 Time : 0.0 sec. user=mdettweiler [2012-01-14 00:59:31] 657*2^1001132-1 is not prime. Res64: 3CC21698E3640295 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:00:46] 1001*2^1001130-1 is not prime. Res64: 64F91A6D4DFF6FEE Time : 0.0 sec. user=mdettweiler [2012-01-14 01:00:49] 601*2^1001131-1 is not prime. Res64: AE146E2F3E8EF612 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:05:45] 743*2^1001132-1 is not prime. Res64: 621B7161BD515FF0 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:06:26] 769*2^1001131-1 is not prime. Res64: 303AD5178187207D Time : 0.0 sec. user=mdettweiler [2012-01-14 01:06:27] 783*2^1001131-1 is not prime. Res64: AEC9151090B76069 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:07:37] 833*2^1001132-1 is not prime. Res64: 37C06AADE2A71094 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:09:15] 829*2^1001131-1 is not prime. Res64: D2155287F5B470C3 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:09:16] 835*2^1001131-1 is not prime. Res64: 0450EA134F0766D7 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:13:24] 609*2^1001133-1 is not prime. Res64: 8723E1B580B14A5A Time : 0.0 sec. user=mdettweiler [2012-01-14 01:15:32] 669*2^1001132-1 is not prime. Res64: 1808839485954CE8 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:15:33] 735*2^1001132-1 is not prime. Res64: 14C619E81A02AF27 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:16:59] 951*2^1001133-1 is not prime. Res64: 53733D4ED6571CDC Time : 0.0 sec. user=mdettweiler [2012-01-14 01:20:33] 867*2^1001132-1 is not prime. Res64: FF06104DD7C4D2E6 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:20:34] 885*2^1001132-1 is not prime. Res64: 4747BE4BB6ED2632 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:21:00] 675*2^1001134-1 is not prime. Res64: C1EBB88C3D85D74D Time : 0.0 sec. user=mdettweiler [2012-01-14 01:24:33] 815*2^1001134-1 is not prime. Res64: 8B003FE20F992FDE Time : 0.0 sec. user=mdettweiler [2012-01-14 01:26:09] 627*2^1001133-1 is not prime. Res64: 811F98549398542D Time : 0.0 sec. user=mdettweiler [2012-01-14 01:26:10] 889*2^1001133-1 is not prime. Res64: 8E2B69681B97C732 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:29:03] 611*2^1001134-1 is not prime. Res64: 373F56B4C3D9AC89 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:29:04] 651*2^1001134-1 is not prime. Res64: E9B30D42B583F592 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:30:18] 1001*2^1001134-1 is not prime. Res64: EC798E49C8E1EBFF Time : 0.0 sec. user=mdettweiler [2012-01-14 01:32:06] 669*2^1001135-1 is not prime. Res64: C4F636AC77CFC2CD Time : 0.0 sec. user=mdettweiler [2012-01-14 01:35:11] 707*2^1001134-1 is not prime. Res64: 27688FD3D2AF7C53 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:35:12] 773*2^1001134-1 is not prime. Res64: 4CE9F0102FDAA678 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:37:52] 693*2^1001136-1 is not prime. Res64: 422CA1E8365A2680 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:39:42] 695*2^1001136-1 is not prime. Res64: 313E44856C21BD54 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:44:46] 983*2^1001134-1 is not prime. Res64: EB0D12BB18FFAD9B Time : 0.0 sec. user=mdettweiler [2012-01-14 01:44:46] 993*2^1001134-1 is not prime. Res64: 949221DB82E00FDC Time : 0.0 sec. user=mdettweiler [2012-01-14 01:45:29] 637*2^1001137-1 is not prime. Res64: B63955AE4427C5B9 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:45:55] 805*2^1001135-1 is not prime. Res64: 7B129271B8622D29 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:45:56] 825*2^1001135-1 is not prime. Res64: 78823CEE33421895 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:47:20] 729*2^1001137-1 is not prime. Res64: 677D459B70017A00 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:48:37] 951*2^1001125-1 is not prime. Res64: 972B4A23A06F2C00 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:48:37] 957*2^1001125-1 is not prime. Res64: EB9F6B0E5BDBDD66 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:48:47] 913*2^1001135-1 is not prime. Res64: C0BC63E72577FDD5 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:48:48] 635*2^1001136-1 is not prime. Res64: 4E898DDC2A1D22F9 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:53:03] 759*2^1001137-1 is not prime. Res64: 88B16D7546AC2C39 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:54:54] 875*2^1001136-1 is not prime. Res64: AB7293F01FB18AC9 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:54:54] 923*2^1001136-1 is not prime. Res64: B9FA17BF871175D6 Time : 0.0 sec. user=mdettweiler [2012-01-14 01:56:40] 975*2^1001137-1 is not prime. Res64: 2B57475985D21F29 Time : 0.0 sec. user=mdettweiler [2012-01-14 02:00:39] 767*2^1001138-1 is not prime. Res64: BEFC3BFB2D295F7A Time : 0.0 sec. user=mdettweiler [2012-01-14 02:03:54] 693*2^1001131-1 is not prime. Res64: 9EC729F44CDC5661 Time : 0.0 sec. user=mdettweiler [2012-01-14 02:03:55] 733*2^1001131-1 is not prime. Res64: 60DB90AEEB1060A2 Time : 0.0 sec. user=mdettweiler [2012-01-14 02:04:15] 857*2^1001138-1 is not prime. Res64: E20BEC18CA2B1233 Time : 0.0 sec. user=mdettweiler [2012-01-14 02:04:28] 741*2^1001137-1 is not prime. Res64: 0DF453B9CC7B157C Time : 0.0 sec. user=mdettweiler [2012-01-14 02:04:28] 747*2^1001137-1 is not prime. Res64: 5B8FC10C456E9DDE Time : 0.0 sec. user=mdettweiler [2012-01-14 02:05:42] 895*2^1001137-1 is not prime. Res64: 6555412B93203E71 Time : 0.0 sec. user=mdettweiler [2012-01-14 02:05:43] 937*2^1001137-1 is not prime. Res64: 71A034951B0F16E9 Time : 0.0 sec. user=mdettweiler [2012-01-14 02:08:32] 645*2^1001138-1 is not prime. Res64: E22CCF11F0E7ABAD Time : 0.0 sec. user=mdettweiler [2012-01-14 02:08:33] 705*2^1001138-1 is not prime. Res64: 69736E22BADBA8B6 Time : 0.0 sec. user=mdettweiler [2012-01-14 02:10:01] 971*2^1001138-1 is not prime. Res64: 5512BD0CB3E6ED7B Time : 0.0 sec. user=mdettweiler [2012-01-14 02:10:35] 925*2^1001131-1 is not prime. Res64: 6585BFDC9CFD3CBD Time : 0.0 sec. user=mdettweiler [2012-01-14 02:10:36] 605*2^1001132-1 is not prime. Res64: 939819FA6EB74348 Time : 0.0 sec. user=mdettweiler [2012-01-14 02:11:46] 829*2^1001139-1 is not prime. Res64: D266661A83D57B92 Time : 0.0 sec. user=mdettweiler [2012-01-14 02:14:39] 771*2^1001138-1 is not prime. Res64: 6285E3B3AC3894E9 Time : 0.0 sec. user=mdettweiler [2012-01-14 02:14:41] 843*2^1001138-1 is not prime. Res64: CD3570568AF82244 Time : 0.0 sec. user=mdettweiler [2012-01-14 02:17:37] 719*2^1001140-1 is not prime. Res64: 806C99E77AEF6C76 Time : 0.0 sec. user=mdettweiler [2012-01-14 02:18:34] 785*2^1001132-1 is not prime. Res64: 0709AFBB55A06B15 Time : 0.0 sec. user=mdettweiler [2012-01-14 02:18:34] 827*2^1001132-1 is not prime. Res64: D0935FC0E5BCF24E Time : 0.0 sec. user=mdettweiler [2012-01-14 02:19:22] 915*2^1001140-1 is not prime. Res64: AD57661014929C73 Time : 0.0 sec. user=mdettweiler [2012-01-14 02:24:18] 853*2^1001139-1 is not prime. Res64: 5AC0457D5ED90622 Time : 0.0 sec. user=mdettweiler [2012-01-14 02:24:19] 859*2^1001139-1 is not prime. Res64: 26A48B0B8E6F1CFF Time : 0.0 sec. user=mdettweiler [2012-01-14 02:25:12] 691*2^1001141-1 is not prime. Res64: D40F128E866D8B1C Time : 0.0 sec. user=mdettweiler [2012-01-14 02:28:00] 873*2^1001139-1 is not prime. Res64: 4CC616551A991F46 Time : 0.0 sec. user=mdettweiler [2012-01-14 02:28:00] 951*2^1001139-1 is not prime. Res64: 97DB787BB7E606ED Time : 0.0 sec. user=mdettweiler [2012-01-14 02:28:42] 991*2^1001141-1 is not prime. Res64: EC37B208F0C53DAB Time : 0.0 sec. user=mdettweiler [2012-01-14 02:30:41] 985*2^1001139-1 is not prime. Res64: 2E18A99DBCD3E354 Time : 0.0 sec. user=mdettweiler [2012-01-14 02:30:42] 663*2^1001140-1 is not prime. Res64: BB26E4F2363AD7FB Time : 0.0 sec. user=mdettweiler [2012-01-14 02:32:47] 821*2^1001142-1 is not prime. Res64: 1BE2235B4E0940BC Time : 0.0 sec. user=mdettweiler [2012-01-14 02:34:27] 927*2^1001140-1 is not prime. Res64: 4875417B0BC81860 Time : 0.0 sec. user=mdettweiler [2012-01-14 02:34:28] 607*2^1001141-1 is not prime. Res64: E798E51F4F04AAFB Time : 0.0 sec. user=mdettweiler [2012-01-14 02:39:51] 619*2^1001143-1 is not prime. Res64: 0D607F12A9A0D793 Time : 0.0 sec. user=mdettweiler [2012-01-14 02:44:01] 611*2^1001142-1 is not prime. Res64: B76E50846D8A2C75 Time : 0.0 sec. user=mdettweiler [2012-01-14 02:44:02] 741*2^1001142-1 is not prime. Res64: 7FEE547CE0A2B53E Time : 0.0 sec. user=mdettweiler [2012-01-14 02:46:37] 741*2^1001143-1 is not prime. Res64: 15A98003C362A2BA Time : 0.0 sec. user=mdettweiler [2012-01-14 02:47:42] 843*2^1001142-1 is not prime. Res64: 37E8C42245615E59 Time : 0.0 sec. user=mdettweiler [2012-01-14 02:47:43] 891*2^1001142-1 is not prime. Res64: 18B57ADF8682B550 Time : 0.0 sec. user=mdettweiler [2012-01-14 02:52:41] 923*2^1001142-1 is not prime. Res64: 6DA016A023E1864A Time : 0.0 sec. user=mdettweiler [2012-01-14 02:52:42] 1001*2^1001142-1 is not prime. Res64: 45FA17BE75B0A88D Time : 0.0 sec. user=mdettweiler [2012-01-14 02:53:20] 925*2^1001143-1 is not prime. Res64: 731A14F12ACA28F8 Time : 0.0 sec. user=mdettweiler [2012-01-14 02:54:09] 693*2^1001143-1 is not prime. Res64: 578AF09A53E30240 Time : 0.0 sec. user=mdettweiler [2012-01-14 02:54:09] 709*2^1001143-1 is not prime. Res64: 00BCDBC68D9E3146 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:01:32] 959*2^1001144-1 is not prime. Res64: 10F90A7051CDBF14 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:03:39] 873*2^1001143-1 is not prime. Res64: BE44A50479A5C81D Time : 0.0 sec. user=mdettweiler [2012-01-14 03:03:39] 883*2^1001143-1 is not prime. Res64: 65421CDEAC2F8AD7 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:07:28] 605*2^1001144-1 is not prime. Res64: C8AA9DD20BA0F78B Time : 0.0 sec. user=mdettweiler [2012-01-14 03:07:31] 645*2^1001144-1 is not prime. Res64: 07F5644CCC2CA07F Time : 0.0 sec. user=mdettweiler [2012-01-14 03:07:33] 603*2^1001138-1 is not prime. Res64: 6B314C267784141A Time : 0.0 sec. user=mdettweiler [2012-01-14 03:07:34] 635*2^1001138-1 is not prime. Res64: D19E783588D3DDEF Time : 0.0 sec. user=mdettweiler [2012-01-14 03:08:11] 739*2^1001145-1 is not prime. Res64: C007A50DCD1EF253 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:12:23] 743*2^1001144-1 is not prime. Res64: 927655B5A0DBA0CC Time : 0.0 sec. user=mdettweiler [2012-01-14 03:12:24] 873*2^1001144-1 is not prime. Res64: ADC7BF584FED833B Time : 0.0 sec. user=mdettweiler [2012-01-14 03:13:51] 607*2^1001145-1 is not prime. Res64: B0D22DCBB6033DE9 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:13:52] 649*2^1001145-1 is not prime. Res64: EC7BBDCCEDE1F0BF Time : 0.0 sec. user=mdettweiler [2012-01-14 03:14:51] 777*2^1001146-1 is not prime. Res64: CB10E0A8552F8858 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:21:31] 871*2^1001147-1 is not prime. Res64: 3F8E59444224DAAE Time : 0.0 sec. user=mdettweiler [2012-01-14 03:22:41] 625*2^1001139-1 is not prime. Res64: 48C235EEC574FB7C Time : 0.0 sec. user=mdettweiler [2012-01-14 03:22:41] 691*2^1001139-1 is not prime. Res64: 8C4C0E014A8939B3 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:23:20] 777*2^1001145-1 is not prime. Res64: 2E388993C9B7C7B3 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:23:21] 795*2^1001145-1 is not prime. Res64: 6982247ACAB8ECC6 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:27:19] 805*2^1001145-1 is not prime. Res64: 1B29C5A655FE48BD Time : 0.0 sec. user=mdettweiler [2012-01-14 03:27:19] 817*2^1001145-1 is not prime. Res64: 0D9FCF8444200EF0 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:28:10] 879*2^1001147-1 is not prime. Res64: 489E5BCC05363FCE Time : 0.0 sec. user=mdettweiler [2012-01-14 03:29:51] 825*2^1001140-1 is not prime. Res64: A204986241477F84 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:29:51] 887*2^1001140-1 is not prime. Res64: 597250762EF16E27 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:32:06] 801*2^1001146-1 is not prime. Res64: 8424820315E7F639 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:32:07] 619*2^1001147-1 is not prime. Res64: 867392580A9F439C Time : 0.0 sec. user=mdettweiler [2012-01-14 03:33:37] 705*2^1001147-1 is not prime. Res64: 9799EDBB88E25298 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:33:38] 825*2^1001147-1 is not prime. Res64: 0E50AEB7AE5F405D Time : 0.0 sec. user=mdettweiler [2012-01-14 03:34:49] 615*2^1001149-1 is not prime. Res64: 4A0F8D3BE3BED6E1 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:37:29] 727*2^1001141-1 is not prime. Res64: B90E7EEDFF4A2629 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:37:29] 879*2^1001141-1 is not prime. Res64: 84FA61032FA53A25 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:43:02] 979*2^1001149-1 is not prime. Res64: 8F091C6CF23364BB Time : 0.0 sec. user=mdettweiler [2012-01-14 03:43:04] 759*2^1001148-1 is not prime. Res64: B1246CF7421ADF87 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:43:04] 765*2^1001148-1 is not prime. Res64: CEEFFA3A7E494977 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:49:18] 767*2^1001148-1 is not prime. Res64: D62C4F1A59B5D940 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:49:18] 947*2^1001148-1 is not prime. Res64: EDB8B45BA5003DB8 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:49:41] 795*2^1001150-1 is not prime. Res64: DA50E72CBA76D513 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:51:55] 757*2^1001149-1 is not prime. Res64: 37CB551BD6141412 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:51:56] 831*2^1001149-1 is not prime. Res64: A791D289D2B55290 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:55:34] 885*2^1001149-1 is not prime. Res64: 18ECF506A7AD50A0 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:55:35] 967*2^1001149-1 is not prime. Res64: 285E287F73388304 Time : 0.0 sec. user=mdettweiler [2012-01-14 03:56:20] 651*2^1001151-1 is not prime. Res64: 81683E8B158D2BD4 Time : 0.0 sec. user=mdettweiler [2012-01-14 04:02:47] 885*2^1001150-1 is not prime. Res64: 1160FAE83CCD3F4B Time : 0.0 sec. user=mdettweiler [2012-01-14 04:02:49] 921*2^1001150-1 is not prime. Res64: 730868B53D0067EF Time : 0.0 sec. user=mdettweiler [2012-01-14 04:04:31] 969*2^1001151-1 is not prime. Res64: 248546C3AB68CFC8 Time : 0.0 sec. user=mdettweiler [2012-01-14 04:11:12] 623*2^1001152-1 is not prime. Res64: 79896377FFB59E9F Time : 0.0 sec. user=mdettweiler [2012-01-14 04:11:21] 935*2^1001150-1 is not prime. Res64: CB8F64D736C72D1C Time : 0.0 sec. user=mdettweiler [2012-01-14 04:11:22] 981*2^1001150-1 is not prime. Res64: DE3C1AB03161564E Time : 0.0 sec. user=mdettweiler [2012-01-14 04:11:34] 705*2^1001151-1 is not prime. Res64: 4749B03163BB5A15 Time : 0.0 sec. user=mdettweiler [2012-01-14 04:11:35] 751*2^1001151-1 is not prime. Res64: 1AD24421112FCB2C Time : 0.0 sec. user=mdettweiler [2012-01-14 04:17:34] 805*2^1001151-1 is not prime. Res64: 6B87D324CD510CAE Time : 0.0 sec. user=mdettweiler [2012-01-14 04:17:34] 955*2^1001151-1 is not prime. Res64: 99FE0E8CEE6C3E30 Time : 0.0 sec. user=mdettweiler [2012-01-14 04:17:53] 635*2^1001152-1 is not prime. Res64: 3162735CDB12D83C Time : 0.0 sec. user=mdettweiler [2012-01-14 04:24:33] 699*2^1001153-1 is not prime. Res64: 57C4DA993EA337DC Time : 0.0 sec. user=mdettweiler [2012-01-14 04:24:50] 973*2^1001151-1 is not prime. Res64: B4BD60DADA4714D6 Time : 0.0 sec. user=mdettweiler [2012-01-14 04:24:50] 603*2^1001152-1 is not prime. Res64: F0C1C473354B469D Time : 0.0 sec. user=mdettweiler [2012-01-14 04:26:42] 635*2^1001146-1 is not prime. Res64: 98B0536DE68B56B0 Time : 0.0 sec. user=mdettweiler [2012-01-14 04:26:42] 773*2^1001146-1 is not prime. Res64: 14889E5A132E181C Time : 0.0 sec. user=mdettweiler [2012-01-14 04:31:07] 675*2^1001152-1 is not prime. Res64: F34A668B751ACC2D Time : 0.0 sec. user=mdettweiler [2012-01-14 04:31:08] 677*2^1001152-1 is not prime. Res64: DCB19C2DE27468C1 Time : 0.0 sec. user=mdettweiler [2012-01-14 04:31:14] 727*2^1001153-1 is not prime. Res64: 362A6E7A647311DE Time : 0.0 sec. user=mdettweiler [2012-01-14 04:31:20] 713*2^1001152-1 is not prime. Res64: A9BC04BE32AC9F37 Time : 0.0 sec. user=mdettweiler [2012-01-14 04:31:22] 759*2^1001152-1 is not prime. Res64: 00AF5E6F9D0E1C25 Time : 0.0 sec. user=mdettweiler [2012-01-14 04:37:14] 863*2^1001152-1 is not prime. Res64: F232A5DA8BBA1485 Time : 0.0 sec. user=mdettweiler [2012-01-14 04:37:15] 915*2^1001152-1 is not prime. Res64: 86583FA6E99526CB Time : 0.0 sec. user=mdettweiler [2012-01-14 04:37:54] 815*2^1001154-1 is not prime. Res64: A00A58E686978BD8 Time : 0.0 sec. user=mdettweiler [2012-01-14 04:43:22] 683*2^1001148-1 is not prime. Res64: D0E5B7BB71BC8633 Time : 0.0 sec. user=mdettweiler [2012-01-14 04:43:22] 749*2^1001148-1 is not prime. Res64: 055A2A8E08065B90 Time : 0.0 sec. user=mdettweiler [2012-01-14 04:44:34] 609*2^1001155-1 is not prime. Res64: 338262D87BCAC5CB Time : 0.0 sec. user=mdettweiler [2012-01-14 04:46:51] 987*2^1001153-1 is not prime. Res64: 1B2B1C074C15BB61 Time : 0.0 sec. user=mdettweiler [2012-01-14 04:46:52] 611*2^1001154-1 is not prime. Res64: 429A59127A7C287E Time : 0.0 sec. user=mdettweiler [2012-01-14 04:48:55] 675*2^1001149-1 is not prime. Res64: 28870A0B133E1E72 Time : 0.0 sec. user=mdettweiler [2012-01-14 04:48:55] 687*2^1001149-1 is not prime. Res64: 7A67263C7DCB8238 Time : 0.0 sec. user=mdettweiler [2012-01-14 04:50:59] 765*2^1001154-1 is not prime. Res64: 147D803F60C9CA3D Time : 0.0 sec. user=mdettweiler [2012-01-14 04:50:59] 803*2^1001154-1 is not prime. Res64: EF19BA0194C7FFD7 Time : 0.0 sec. user=mdettweiler [2012-01-14 04:51:13] 705*2^1001155-1 is not prime. Res64: 585DA39ADA176B5F Time : 0.0 sec. user=mdettweiler [2012-01-14 04:53:23] 885*2^1001154-1 is not prime. Res64: B96896008FB348A4 Time : 0.0 sec. user=mdettweiler [2012-01-14 04:53:23] 983*2^1001154-1 is not prime. Res64: C60F01B22A048F51 Time : 0.0 sec. user=mdettweiler [2012-01-14 04:57:51] 837*2^1001156-1 is not prime. Res64: 0D452F948A287B3F Time : 0.0 sec. user=mdettweiler [2012-01-14 04:59:21] 993*2^1001154-1 is not prime. Res64: A1E368AFE0773BFC Time : 0.0 sec. user=mdettweiler [2012-01-14 04:59:22] 603*2^1001155-1 is not prime. Res64: 077A4D1ECDA78527 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:06:07] 999*2^1001156-1 is not prime. Res64: 5F8AAD1EA10BDAE0 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:06:21] 999*2^1001149-1 is not prime. Res64: 8DE1C99FDE70419F Time : 0.0 sec. user=mdettweiler [2012-01-14 05:06:21] 711*2^1001150-1 is not prime. Res64: 2A5E50DC91414A59 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:08:50] 999*2^1001155-1 is not prime. Res64: 8DEA6423B2B30E84 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:08:51] 615*2^1001156-1 is not prime. Res64: 9E92FBA3ED473F79 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:10:37] 693*2^1001156-1 is not prime. Res64: B843C62E39297A2A Time : 0.0 sec. user=mdettweiler [2012-01-14 05:10:38] 789*2^1001156-1 is not prime. Res64: D2C9934F7ED7ED32 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:12:52] 691*2^1001157-1 is not prime. Res64: 67E815BAE292F103 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:15:22] 923*2^1001156-1 is not prime. Res64: FB51068442FF55F6 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:15:23] 953*2^1001156-1 is not prime. Res64: 1282EDAB7DA0FFC6 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:19:06] 607*2^1001157-1 is not prime. Res64: 2D1063529C06A5DD Time : 0.0 sec. user=mdettweiler [2012-01-14 05:19:07] 625*2^1001157-1 is not prime. Res64: 9D72DB6008087AE7 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:19:31] 801*2^1001158-1 is not prime. Res64: B47DEC024DA73550 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:27:43] 975*2^1001158-1 is not prime. Res64: 018F2CB11F55CA00 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:28:37] 817*2^1001157-1 is not prime. Res64: 12B052128E8E92FE Time : 0.0 sec. user=mdettweiler [2012-01-14 05:28:37] 849*2^1001157-1 is not prime. Res64: F5C1ABB50B8F86B7 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:32:40] 979*2^1001157-1 is not prime. Res64: D4AB5AFF703953B6 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:32:40] 777*2^1001158-1 is not prime. Res64: 7A889C2AA939A543 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:34:25] 601*2^1001159-1 is not prime. Res64: 373F1024ED65B554 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:35:08] 833*2^1001158-1 is not prime. Res64: 469D9426292D8F18 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:35:08] 861*2^1001158-1 is not prime. Res64: 919EF71114502B59 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:41:04] 883*2^1001159-1 is not prime. Res64: 6756DA693A9B185E Time : 0.0 sec. user=mdettweiler [2012-01-14 05:41:08] 881*2^1001158-1 is not prime. Res64: 3E514EC7011C9D5F Time : 0.0 sec. user=mdettweiler [2012-01-14 05:41:08] 945*2^1001158-1 is not prime. Res64: 335A4AC2BD6CD52E Time : 0.0 sec. user=mdettweiler [2012-01-14 05:45:34] 665*2^1001154-1 is not prime. Res64: 6A2751AF6FC8A356 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:45:34] 741*2^1001154-1 is not prime. Res64: 151FF288D99E9207 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:48:20] 663*2^1001159-1 is not prime. Res64: E0182280DD00E9E7 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:48:20] 745*2^1001159-1 is not prime. Res64: 7A7B9F61B28F0B90 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:49:17] 969*2^1001159-1 is not prime. Res64: A42BEFEE166ADFB7 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:52:22] 753*2^1001159-1 is not prime. Res64: B7E85CC82F24B8D1 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:52:23] 811*2^1001159-1 is not prime. Res64: A9D9264662213BFA Time : 0.0 sec. user=mdettweiler [2012-01-14 05:55:55] 877*2^1001161-1 is not prime. Res64: E44E24516CAE64F1 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:57:06] 885*2^1001159-1 is not prime. Res64: 5F22542754F13885 Time : 0.0 sec. user=mdettweiler [2012-01-14 05:57:06] 949*2^1001159-1 is not prime. Res64: 8EF2E8328E7B69EB Time : 0.0 sec. user=mdettweiler [2012-01-14 06:00:51] 765*2^1001160-1 is not prime. Res64: BBE18C45AD4CD6D4 Time : 0.0 sec. user=mdettweiler [2012-01-14 06:00:53] 789*2^1001160-1 is not prime. Res64: 16DD27B230E97C66 Time : 0.0 sec. user=mdettweiler [2012-01-14 06:02:30] 675*2^1001155-1 is not prime. Res64: F98A7ABFEC11B411 Time : 0.0 sec. user=mdettweiler [2012-01-14 06:02:31] 693*2^1001155-1 is not prime. Res64: 9E65F905330FB429 Time : 0.0 sec. user=mdettweiler [2012-01-14 06:02:34] 747*2^1001162-1 is not prime. Res64: 50CD116D330E30F1 Time : 0.0 sec. user=mdettweiler [2012-01-14 06:07:26] 683*2^1001156-1 is not prime. Res64: 48CBF04D57F864BB Time : 0.0 sec. user=mdettweiler [2012-01-14 06:07:27] 689*2^1001156-1 is not prime. Res64: 5B549DB1D65604C6 Time : 0.0 sec. user=mdettweiler [2012-01-14 06:08:00] 899*2^1001160-1 is not prime. Res64: 61BE1E3F2CFB44CB Time : 0.0 sec. user=mdettweiler [2012-01-14 06:08:01] 933*2^1001160-1 is not prime. Res64: 8CB86DC95874CD14 Time : 0.0 sec. user=mdettweiler [2012-01-14 06:09:13] 615*2^1001164-1 is not prime. Res64: BF16EE6DD70FDE13 Time : 0.0 sec. user=mdettweiler [2012-01-14 06:12:05] 889*2^1001161-1 is not prime. Res64: 3881ACA5D7C41109 Time : 0.0 sec. user=mdettweiler [2012-01-14 06:12:06] 705*2^1001162-1 is not prime. Res64: 090F1079BAD1A29E Time : 0.0 sec. user=mdettweiler [2012-01-14 06:15:54] 819*2^1001164-1 is not prime. Res64: 572BB7D535E4C43C Time : 0.0 sec. user=mdettweiler [2012-01-14 06:16:48] 753*2^1001162-1 is not prime. Res64: 844ADA56B27E06CB Time : 0.0 sec. user=mdettweiler [2012-01-14 06:16:49] 797*2^1001162-1 is not prime. Res64: 8F55C5B775DA88C6 Time : 0.0 sec. user=mdettweiler [2012-01-14 06:20:32] 825*2^1001162-1 is not prime. Res64: 89DAB9CFB9E5EC94 Time : 0.0 sec. user=mdettweiler [2012-01-14 06:20:32] 857*2^1001162-1 is not prime. Res64: ED8EE9CF192205BD Time : 0.0 sec. user=mdettweiler [2012-01-14 06:22:36] 685*2^1001165-1 is not prime. Res64: E0EFF006861B4C4F Time : 0.0 sec. user=mdettweiler [2012-01-14 06:25:48] 717*2^1001157-1 is not prime. Res64: DD3F729416F7AA50 Time : 0.0 sec. user=mdettweiler [2012-01-14 06:25:49] 759*2^1001157-1 is not prime. Res64: 3CDAECB334A5A5DA Time : 0.0 sec. user=mdettweiler [2012-01-14 06:27:44] 755*2^1001164-1 is not prime. Res64: 56414C4C14BC9A5F Time : 0.0 sec. user=mdettweiler [2012-01-14 06:27:44] 765*2^1001164-1 is not prime. Res64: 8729EB19EA095725 Time : 0.0 sec. user=mdettweiler [2012-01-14 06:29:15] 663*2^1001167-1 is not prime. Res64: B56ABD5C5ED137FB Time : 0.0 sec. user=mdettweiler [2012-01-14 06:34:03] 875*2^1001164-1 is not prime. Res64: 0AC63A4B4EB4F5DC Time : 0.0 sec. user=mdettweiler [2012-01-14 06:34:03] 993*2^1001164-1 is not prime. Res64: E6A27080C8C724EE Time : 0.0 sec. user=mdettweiler [2012-01-14 06:36:35] 859*2^1001165-1 is not prime. Res64: F66DF62A07C3C617 Time : 0.0 sec. user=mdettweiler [2012-01-14 06:36:35] 925*2^1001165-1 is not prime. Res64: BAAAF1506D8D0230 Time : 0.0 sec. user=mdettweiler [2012-01-14 06:37:27] 973*2^1001167-1 is not prime. Res64: D65A9B634CA685E1 Time : 0.0 sec. user=mdettweiler [2012-01-14 06:40:15] 615*2^1001167-1 is not prime. Res64: C19BB3755758658A Time : 0.0 sec. user=mdettweiler [2012-01-14 06:40:15] 645*2^1001167-1 is not prime. Res64: 5ABA576DA215A329 Time : 0.0 sec. user=mdettweiler [2012-01-14 06:44:06] 609*2^1001169-1 is not prime. Res64: 577614E52A538705 Time : 0.0 sec. user=mdettweiler [2012-01-14 06:47:23] 915*2^1001167-1 is not prime. Res64: 5515ACBD35CE5D32 Time : 0.0 sec. user=mdettweiler [2012-01-14 06:47:24] 919*2^1001167-1 is not prime. Res64: 521ECF8ED82C89B0 Time : 0.0 sec. user=mdettweiler [2012-01-14 06:50:45] 865*2^1001169-1 is not prime. Res64: 79B0AAAE25E7D090 Time : 0.0 sec. user=mdettweiler [2012-01-14 06:56:02] 975*2^1001167-1 is not prime. Res64: E461A93409EFFA14 Time : 0.0 sec. user=mdettweiler [2012-01-14 06:56:03] 803*2^1001168-1 is not prime. Res64: 6979D361BAB0170F Time : 0.0 sec. user=mdettweiler [2012-01-14 06:57:23] 741*2^1001170-1 is not prime. Res64: 873DA743C792A59A Time : 0.0 sec. user=mdettweiler [2012-01-14 06:58:40] 827*2^1001168-1 is not prime. Res64: BF406D190AFD96BE Time : 0.0 sec. user=mdettweiler [2012-01-14 06:58:40] 963*2^1001168-1 is not prime. Res64: 2B447CF0BD2E94D6 Time : 0.0 sec. user=mdettweiler [2012-01-14 06:59:52] 691*2^1001169-1 is not prime. Res64: 11A831D7FEBDA627 Time : 0.0 sec. user=mdettweiler [2012-01-14 06:59:52] 747*2^1001169-1 is not prime. Res64: D5BEC06FACBC7535 Time : 0.0 sec. user=mdettweiler [2012-01-14 07:04:33] 839*2^1001160-1 is not prime. Res64: B3D9C178B18C5FD2 Time : 0.0 sec. user=mdettweiler [2012-01-14 07:04:34] 863*2^1001160-1 is not prime. Res64: 4F11734EA3B4C78A Time : 0.0 sec. user=mdettweiler [2012-01-14 07:05:36] 1001*2^1001170-1 is not prime. Res64: EEF98E8670F9D9B0 Time : 0.0 sec. user=mdettweiler [2012-01-14 07:07:04] 907*2^1001169-1 is not prime. Res64: F6FF8CA32B1AA39E Time : 0.0 sec. user=mdettweiler [2012-01-14 07:07:05] 611*2^1001170-1 is not prime. Res64: 453F1B9F3EFDA090 Time : 0.0 sec. user=mdettweiler [2012-01-14 07:12:18] 605*2^1001172-1 is not prime. Res64: F6E58838046E857D Time : 0.0 sec. user=mdettweiler [2012-01-14 07:15:45] 855*2^1001170-1 is not prime. Res64: 732BAC24173B531E Time : 0.0 sec. user=mdettweiler [2012-01-14 07:15:46] 861*2^1001170-1 is not prime. Res64: 191563532565F219 Time : 0.0 sec. user=mdettweiler [2012-01-14 07:18:23] 615*2^1001171-1 is not prime. Res64: 5F4AB42FBB57D107 Time : 0.0 sec. user=mdettweiler [2012-01-14 07:18:23] 669*2^1001171-1 is not prime. Res64: 9E53EB27EE82B3E2 Time : 0.0 sec. user=mdettweiler [2012-01-14 07:18:58] 863*2^1001172-1 is not prime. Res64: C7B5F549A50DC956 Time : 0.0 sec. user=mdettweiler [2012-01-14 07:19:31] 705*2^1001171-1 is not prime. Res64: A30F4DF61E821FEB Time : 0.0 sec. user=mdettweiler [2012-01-14 07:19:32] 775*2^1001171-1 is not prime. Res64: 1BD58EA59563F97B Time : 0.0 sec. user=mdettweiler [2012-01-14 07:21:07] 879*2^1001163-1 is not prime. Res64: 8F4BAC655A7B2CF3 Time : 0.0 sec. user=mdettweiler [2012-01-14 07:21:07] 895*2^1001163-1 is not prime. Res64: EECB170FA094E302 Time : 0.0 sec. user=mdettweiler [2012-01-14 07:25:40] 681*2^1001173-1 is not prime. Res64: BC256634BB570E54 Time : 0.0 sec. user=mdettweiler [2012-01-14 07:26:23] 629*2^1001164-1 is not prime. Res64: 94A675A6EF4079CB Time : 0.0 sec. user=mdettweiler [2012-01-14 07:26:23] 635*2^1001164-1 is not prime. Res64: 06B08BD211671416 Time : 0.0 sec. user=mdettweiler [2012-01-14 07:26:52] 753*2^1001172-1 is not prime. Res64: FF385B239B0E7199 Time : 0.0 sec. user=mdettweiler [2012-01-14 07:26:53] 837*2^1001172-1 is not prime. Res64: 89D9DCFAF4972AAC Time : 0.0 sec. user=mdettweiler [2012-01-14 07:33:53] 999*2^1001173-1 is not prime. Res64: 3843E62A38A0DC9C Time : 0.0 sec. user=mdettweiler [2012-01-14 07:35:27] 887*2^1001172-1 is not prime. Res64: 541C4EC557FB1F46 Time : 0.0 sec. user=mdettweiler [2012-01-14 07:35:28] 909*2^1001172-1 is not prime. Res64: 8C954839FC9481BF Time : 0.0 sec. user=mdettweiler [2012-01-14 07:38:13] 929*2^1001172-1 is not prime. Res64: 37723ED95F49FE39 Time : 0.0 sec. user=mdettweiler [2012-01-14 07:38:13] 651*2^1001173-1 is not prime. Res64: C7ECAD452AD4CA50 Time : 0.0 sec. user=mdettweiler [2012-01-14 07:39:15] 751*2^1001173-1 is not prime. Res64: 98C0751A2DBEE4C7 Time : 0.0 sec. user=mdettweiler [2012-01-14 07:39:16] 877*2^1001173-1 is not prime. Res64: B57E37CB2B88863F Time : 0.0 sec. user=mdettweiler [2012-01-14 07:40:31] 679*2^1001175-1 is not prime. Res64: F68100903E4740FD Time : 0.0 sec. user=mdettweiler [2012-01-14 07:44:37] 769*2^1001167-1 is not prime. Res64: 53E6A17218DDB43C Time : 0.0 sec. user=mdettweiler [2012-01-14 07:44:37] 861*2^1001167-1 is not prime. Res64: F5311EA447613FB9 Time : 0.0 sec. user=mdettweiler [2012-01-14 07:46:33] 785*2^1001174-1 is not prime. Res64: 6073FE735A5E7072 Time : 0.0 sec. user=mdettweiler [2012-01-14 07:46:33] 873*2^1001174-1 is not prime. Res64: 8019A20C4B05C09F Time : 0.0 sec. user=mdettweiler [2012-01-14 07:47:09] 839*2^1001176-1 is not prime. Res64: E200FF3162D0ED53 Time : 0.0 sec. user=mdettweiler [2012-01-14 07:53:47] 619*2^1001177-1 is not prime. Res64: 0440564933EFC2F9 Time : 0.0 sec. user=mdettweiler [2012-01-14 07:57:24] 781*2^1001175-1 is not prime. Res64: 15508884F798C1F6 Time : 0.0 sec. user=mdettweiler [2012-01-14 07:57:25] 963*2^1001175-1 is not prime. Res64: 89BD0F4384B89A4E Time : 0.0 sec. user=mdettweiler [2012-01-14 07:57:55] 657*2^1001176-1 is not prime. Res64: 65E1C53E83620661 Time : 0.0 sec. user=mdettweiler [2012-01-14 07:57:55] 695*2^1001176-1 is not prime. Res64: 03A367F217CF13E4 Time : 0.0 sec. user=mdettweiler [2012-01-14 07:58:57] 705*2^1001176-1 is not prime. Res64: A94C2431FDBAC03C Time : 0.0 sec. user=mdettweiler [2012-01-14 07:58:57] 735*2^1001176-1 is not prime. Res64: 6259BA87B3532136 Time : 0.0 sec. user=mdettweiler [2012-01-14 08:00:26] 637*2^1001177-1 is not prime. Res64: 8C0BD46C6DCEBE2F Time : 0.0 sec. user=mdettweiler [2012-01-14 08:07:10] 865*2^1001177-1 is not prime. Res64: 54B953FF3E1C2B9A Time : 0.0 sec. user=mdettweiler [2012-01-14 08:08:33] 917*2^1001176-1 is not prime. Res64: 25769760D8A01479 Time : 0.0 sec. user=mdettweiler [2012-01-14 08:08:34] 969*2^1001176-1 is not prime. Res64: 19BB2109F1B5F918 Time : 0.0 sec. user=mdettweiler [2012-01-14 08:13:53] 901*2^1001177-1 is not prime. Res64: 789838EF59F88ECC Time : 0.0 sec. user=mdettweiler [2012-01-14 08:17:08] 649*2^1001177-1 is not prime. Res64: 61EBF0B32D801600 Time : 0.0 sec. user=mdettweiler [2012-01-14 08:17:08] 727*2^1001177-1 is not prime. Res64: B13C89DA6C73952C Time : 0.0 sec. user=mdettweiler [2012-01-14 08:17:36] 735*2^1001177-1 is not prime. Res64: B5729786BDA421A1 Time : 0.0 sec. user=mdettweiler [2012-01-14 08:17:37] 795*2^1001177-1 is not prime. Res64: FD7F440F12C33686 Time : 0.0 sec. user=mdettweiler [2012-01-14 08:18:37] 829*2^1001177-1 is not prime. Res64: DD45336CBACF4790 Time : 0.0 sec. user=mdettweiler [2012-01-14 08:18:38] 831*2^1001177-1 is not prime. Res64: 8AA7C882E128CA7A Time : 0.0 sec. user=mdettweiler [2012-01-14 08:22:06] 963*2^1001178-1 is not prime. Res64: 7CFBF14FFA3CDB77 Time : 0.0 sec. user=mdettweiler [2012-01-14 08:23:15] 805*2^1001171-1 is not prime. Res64: A5F1981102EE9D93 Time : 0.0 sec. user=mdettweiler [2012-01-14 08:23:15] 859*2^1001171-1 is not prime. Res64: F2362760800C27ED Time : 0.0 sec. user=mdettweiler [2012-01-14 08:28:15] 803*2^1001178-1 is not prime. Res64: 38008B2F488208D8 Time : 0.0 sec. user=mdettweiler [2012-01-14 08:28:15] 821*2^1001178-1 is not prime. Res64: E16BCE14B6B1C5EF Time : 0.0 sec. user=mdettweiler [2012-01-14 08:28:48] 647*2^1001180-1 is not prime. Res64: A6C1E1711C195D80 Time : 0.0 sec. user=mdettweiler [2012-01-14 08:35:27] 735*2^1001181-1 is not prime. Res64: B922FBE5A7F5DA88 Time : 0.0 sec. user=mdettweiler [2012-01-14 08:36:51] 633*2^1001179-1 is not prime. Res64: 6DB52C60683F17EE Time : 0.0 sec. user=mdettweiler [2012-01-14 08:36:52] 769*2^1001179-1 is not prime. Res64: 03A0E7C0262E9991 Time : 0.0 sec. user=mdettweiler [2012-01-14 08:37:21] 813*2^1001179-1 is not prime. Res64: BC191CCED04094DF Time : 0.0 sec. user=mdettweiler [2012-01-14 08:37:21] 843*2^1001179-1 is not prime. Res64: 54CC773261E760ED Time : 0.0 sec. user=mdettweiler [2012-01-14 08:39:51] 937*2^1001173-1 is not prime. Res64: 9FB1D0CCA07AEAF4 Time : 0.0 sec. user=mdettweiler [2012-01-14 08:39:51] 939*2^1001173-1 is not prime. Res64: 65A95A8EA6FBF010 Time : 0.0 sec. user=mdettweiler [2012-01-14 08:40:40] 885*2^1001179-1 is not prime. Res64: E7559E4CC9368C67 Time : 0.0 sec. user=mdettweiler [2012-01-14 08:40:41] 985*2^1001179-1 is not prime. Res64: 17D364C50F4DC048 Time : 0.0 sec. user=mdettweiler [2012-01-14 08:42:05] 835*2^1001181-1 is not prime. Res64: 20D34181B1AEE0AF Time : 0.0 sec. user=mdettweiler [2012-01-14 08:45:36] 677*2^1001174-1 is not prime. Res64: 2493B1C295961728 Time : 0.0 sec. user=mdettweiler [2012-01-14 08:45:37] 693*2^1001174-1 is not prime. Res64: D64A92E939C6062A Time : 0.0 sec. user=mdettweiler [2012-01-14 08:48:43] 825*2^1001184-1 is not prime. Res64: CED305414E2F23B7 Time : 0.0 sec. user=mdettweiler [2012-01-14 08:50:12] 987*2^1001180-1 is not prime. Res64: 39A6EFFD978DAFDE Time : 0.0 sec. user=mdettweiler [2012-01-14 08:50:12] 727*2^1001181-1 is not prime. Res64: B69D22B1E3C08F36 Time : 0.0 sec. user=mdettweiler [2012-01-14 08:55:22] 609*2^1001185-1 is not prime. Res64: DCD8F6AB0FEF177D Time : 0.0 sec. user=mdettweiler [2012-01-14 08:58:46] 861*2^1001181-1 is not prime. Res64: A2DA0B619B0029D9 Time : 0.0 sec. user=mdettweiler [2012-01-14 08:58:46] 949*2^1001181-1 is not prime. Res64: B34DC275BCE69C87 Time : 0.0 sec. user=mdettweiler [2012-01-14 08:59:20] 987*2^1001181-1 is not prime. Res64: 2C15B36B9336394B Time : 0.0 sec. user=mdettweiler [2012-01-14 08:59:20] 645*2^1001182-1 is not prime. Res64: D43F10ED8EF30391 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:00:19] 879*2^1001183-1 is not prime. Res64: CED9D28B24691B42 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:00:19] 639*2^1001184-1 is not prime. Res64: 9752C5EFF4CBAE5B Time : 0.0 sec. user=mdettweiler [2012-01-14 09:02:02] 885*2^1001185-1 is not prime. Res64: DBD15229566EA068 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:03:56] 849*2^1001176-1 is not prime. Res64: 5706228D0A906EE9 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:03:56] 887*2^1001176-1 is not prime. Res64: F64949635D54CC3C Time : 0.0 sec. user=mdettweiler [2012-01-14 09:08:51] 857*2^1001186-1 is not prime. Res64: F9562480439D7112 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:09:53] 649*2^1001185-1 is not prime. Res64: DA29026B0EFD7CC2 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:09:54] 847*2^1001185-1 is not prime. Res64: D27D76EFDAE75427 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:15:30] 903*2^1001186-1 is not prime. Res64: 8F1FA365720EE42D Time : 0.0 sec. user=mdettweiler [2012-01-14 09:18:28] 895*2^1001185-1 is not prime. Res64: 616616035A2F0BC7 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:18:29] 909*2^1001185-1 is not prime. Res64: 1B468B91CD6333BB Time : 0.0 sec. user=mdettweiler [2012-01-14 09:19:05] 633*2^1001186-1 is not prime. Res64: B56A98584BC7FDA6 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:19:06] 641*2^1001186-1 is not prime. Res64: 612C8054688626BC Time : 0.0 sec. user=mdettweiler [2012-01-14 09:20:01] 671*2^1001186-1 is not prime. Res64: BDFA585993331D7A Time : 0.0 sec. user=mdettweiler [2012-01-14 09:20:01] 767*2^1001186-1 is not prime. Res64: 28C9E610C0B61B9D Time : 0.0 sec. user=mdettweiler [2012-01-14 09:22:15] 795*2^1001187-1 is not prime. Res64: CA8646A6DAFF87EB Time : 0.0 sec. user=mdettweiler [2012-01-14 09:28:53] 875*2^1001188-1 is not prime. Res64: 4DDC879B4C4A4052 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:31:55] 993*2^1001186-1 is not prime. Res64: 2E09D47AA4189233 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:31:55] 609*2^1001187-1 is not prime. Res64: EC131DF8C9E41547 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:37:06] 969*2^1001188-1 is not prime. Res64: 7D62575EF48629E0 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:39:46] 623*2^1001188-1 is not prime. Res64: 1BB273D209E34008 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:39:46] 825*2^1001188-1 is not prime. Res64: FF5AC09B0E0FAA77 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:40:29] 825*2^1001187-1 is not prime. Res64: A10BE65078532FB5 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:40:30] 963*2^1001187-1 is not prime. Res64: 925AAEB013F1284F Time : 0.0 sec. user=mdettweiler [2012-01-14 09:41:04] 975*2^1001187-1 is not prime. Res64: D54620B265510188 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:41:05] 603*2^1001188-1 is not prime. Res64: 63299D96A2766245 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:41:58] 797*2^1001180-1 is not prime. Res64: 5012C36388FF6704 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:41:58] 927*2^1001180-1 is not prime. Res64: CE050A3694EED924 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:43:43] 657*2^1001189-1 is not prime. Res64: FEEFEEC573E01A33 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:50:19] 927*2^1001190-1 is not prime. Res64: 626BB480DE2817D1 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:56:05] 989*2^1001188-1 is not prime. Res64: C1B2F88B7283EDFE Time : 0.0 sec. user=mdettweiler [2012-01-14 09:56:06] 995*2^1001188-1 is not prime. Res64: 8EE737BA570E49F0 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:56:55] 673*2^1001191-1 is not prime. Res64: D1BA8A1692800DC3 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:59:21] 815*2^1001182-1 is not prime. Res64: 0C8DB6A032522A1B Time : 0.0 sec. user=mdettweiler [2012-01-14 09:59:22] 825*2^1001182-1 is not prime. Res64: BD5A69E41C954854 Time : 0.0 sec. user=mdettweiler [2012-01-14 09:59:28] 861*2^1001189-1 is not prime. Res64: 156975C6AE90FCAC Time : 0.0 sec. user=mdettweiler [2012-01-14 09:59:28] 867*2^1001189-1 is not prime. Res64: F36E460587C55E39 Time : 0.0 sec. user=mdettweiler [2012-01-14 10:00:14] 889*2^1001189-1 is not prime. Res64: 95E1CE0205A7628C Time : 0.0 sec. user=mdettweiler [2012-01-14 10:00:15] 927*2^1001189-1 is not prime. Res64: 86A64857C29FF7CB Time : 0.0 sec. user=mdettweiler [2012-01-14 10:00:46] 677*2^1001190-1 is not prime. Res64: 6CC7FD3FB7ADA230 Time : 0.0 sec. user=mdettweiler [2012-01-14 10:00:47] 747*2^1001190-1 is not prime. Res64: 24D9067F3A56D203 Time : 0.0 sec. user=mdettweiler [2012-01-14 10:03:32] 843*2^1001191-1 is not prime. Res64: B02C631E1EE0563F Time : 0.0 sec. user=mdettweiler [2012-01-14 10:03:46] 843*2^1001184-1 is not prime. Res64: 4DAA2AF6FA160D49 Time : 0.0 sec. user=mdettweiler [2012-01-14 10:03:48] 873*2^1001184-1 is not prime. Res64: 60A0E26491140291 Time : 0.0 sec. user=mdettweiler [2012-01-14 10:15:51] 741*2^1001191-1 is not prime. Res64: 5C0AD57193215072 Time : 0.0 sec. user=mdettweiler [2012-01-14 10:15:52] 759*2^1001191-1 is not prime. Res64: 8A1AACBD8F29D56A Time : 0.0 sec. user=mdettweiler [2012-01-14 10:19:15] 603*2^1001192-1 is not prime. Res64: 1AC6821C3257EEC2 Time : 0.0 sec. user=mdettweiler [2012-01-14 10:19:16] 617*2^1001192-1 is not prime. Res64: F0D2D67B1799FB33 Time : 0.0 sec. user=mdettweiler [2012-01-14 10:19:56] 635*2^1001192-1 is not prime. Res64: 0C262A024D0F8119 Time : 0.0 sec. user=mdettweiler [2012-01-14 10:19:57] 699*2^1001192-1 is not prime. Res64: 7CFDD46E863ECF6A Time : 0.0 sec. user=mdettweiler [2012-01-14 10:22:50] 785*2^1001192-1 is not prime. Res64: 2BEA71B489AAC48D Time : 0.0 sec. user=mdettweiler [2012-01-14 10:22:50] 957*2^1001192-1 is not prime. Res64: 2BF43B7EFB8C612B Time : 0.0 sec. user=mdettweiler [2012-01-14 10:23:00] 867*2^1001186-1 is not prime. Res64: 9E21429631C3DCFC Time : 0.0 sec. user=mdettweiler [2012-01-14 10:23:00] 875*2^1001186-1 is not prime. Res64: D9D9A85908ED7468 Time : 0.0 sec. user=mdettweiler [2012-01-14 10:35:37] 639*2^1001193-1 is not prime. Res64: 6035120F72B79F23 Time : 0.0 sec. user=mdettweiler [2012-01-14 10:35:37] 759*2^1001193-1 is not prime. Res64: 8CDECA61D054D104 Time : 0.0 sec. user=mdettweiler [2012-01-14 10:39:44] 635*2^1001194-1 is not prime. Res64: 976C0830C47F734E Time : 0.0 sec. user=mdettweiler [2012-01-14 10:39:45] 747*2^1001194-1 is not prime. Res64: 08C56D325DDD1FEE Time : 0.0 sec. user=mdettweiler [2012-01-14 10:40:02] 609*2^1001195-1 is not prime. Res64: D3B976C7F8B83850 Time : 0.0 sec. user=mdettweiler [2012-01-14 10:41:11] 871*2^1001193-1 is not prime. Res64: EB7ADE27371E5848 Time : 0.0 sec. user=mdettweiler [2012-01-14 10:41:11] 999*2^1001193-1 is not prime. Res64: E77C32D93141AA1A Time : 0.0 sec. user=mdettweiler [2012-01-14 10:42:33] 813*2^1001194-1 is not prime. Res64: 98BF7FF3E22665C9 Time : 0.0 sec. user=mdettweiler [2012-01-14 10:42:33] 825*2^1001194-1 is not prime. Res64: 0F3BD69847DFFA31 Time : 0.0 sec. user=mdettweiler [2012-01-14 10:46:37] 683*2^1001196-1 is not prime. Res64: C0D78ABF0F034791 Time : 0.0 sec. user=mdettweiler [2012-01-14 10:53:13] 831*2^1001197-1 is not prime. Res64: 256D6628EF91F17A Time : 0.0 sec. user=mdettweiler [2012-01-14 10:55:25] 823*2^1001195-1 is not prime. Res64: 8255734B6E3F70A3 Time : 0.0 sec. user=mdettweiler [2012-01-14 10:55:26] 915*2^1001195-1 is not prime. Res64: 0663485DB04EDFF0 Time : 0.0 sec. user=mdettweiler [2012-01-14 10:59:49] 861*2^1001197-1 is not prime. Res64: 15AD71F99AE99FC1 Time : 0.0 sec. user=mdettweiler [2012-01-14 11:00:26] 845*2^1001190-1 is not prime. Res64: 49E8A1E0D12BD575 Time : 0.0 sec. user=mdettweiler [2012-01-14 11:00:28] 893*2^1001190-1 is not prime. Res64: D97A2C1B0808E82E Time : 0.0 sec. user=mdettweiler [2012-01-14 11:01:45] 939*2^1001195-1 is not prime. Res64: E5AF16B9426692CB Time : 0.0 sec. user=mdettweiler [2012-01-14 11:01:46] 985*2^1001195-1 is not prime. Res64: CA35A5467369A01F Time : 0.0 sec. user=mdettweiler [2012-01-14 11:02:18] 687*2^1001197-1 is not prime. Res64: 14080C846A186901 Time : 0.0 sec. user=mdettweiler [2012-01-14 11:02:19] 747*2^1001197-1 is not prime. Res64: 892555468111AD7D Time : 0.0 sec. user=mdettweiler [2012-01-14 11:03:15] 957*2^1001196-1 is not prime. Res64: DCF1849524C9E25D Time : 0.0 sec. user=mdettweiler [2012-01-14 11:03:15] 615*2^1001197-1 is not prime. Res64: 0A998E2D3ED60EA3 Time : 0.0 sec. user=mdettweiler [2012-01-14 11:06:25] 827*2^1001198-1 is not prime. Res64: E1EE61FD1808187A Time : 0.0 sec. user=mdettweiler [2012-01-14 11:14:36] 999*2^1001199-1 is not prime. Res64: 5A6CD3A6D5B232EB Time : 0.0 sec. user=mdettweiler [2012-01-14 11:15:10] 931*2^1001197-1 is not prime. Res64: D01D69FC53C7DA17 Time : 0.0 sec. user=mdettweiler [2012-01-14 11:15:15] 825*2^1001198-1 is not prime. Res64: 7E466D7070E9DD4C Time : 0.0 sec. user=mdettweiler [2012-01-14 11:18:52] 859*2^1001191-1 is not prime. Res64: 8A0D15B957A3A1B9 Time : 0.0 sec. user=mdettweiler [2012-01-14 11:18:52] 871*2^1001191-1 is not prime. Res64: 1C025AF3019A627E Time : 0.0 sec. user=mdettweiler [2012-01-14 11:21:12] 603*2^1001200-1 is not prime. Res64: 9B86A023E3C41298 Time : 0.0 sec. user=mdettweiler [2012-01-14 11:21:28] 685*2^1001199-1 is not prime. Res64: AE04A58F0D8B5A98 Time : 0.0 sec. user=mdettweiler [2012-01-14 11:21:29] 691*2^1001199-1 is not prime. Res64: 11B283127E6D19AE Time : 0.0 sec. user=mdettweiler [2012-01-14 11:21:57] 751*2^1001199-1 is not prime. Res64: 28799EDD67EEEFDE Time : 0.0 sec. user=mdettweiler [2012-01-14 11:21:57] 831*2^1001199-1 is not prime. Res64: 6BB75F934BFB34B9 Time : 0.0 sec. user=mdettweiler [2012-01-14 11:25:14] 885*2^1001199-1 is not prime. Res64: DD2B7C5BDDEA90F4 Time : 0.0 sec. user=mdettweiler [2012-01-14 11:25:14] 985*2^1001199-1 is not prime. Res64: 245FA5231E0DB74B Time : 0.0 sec. user=mdettweiler [2012-01-14 11:27:47] 917*2^1001200-1 is not prime. Res64: 46994C17E6C00AC4 Time : 0.0 sec. user=mdettweiler [2012-01-14 11:31:18] 959*2^1001192-1 is not prime. Res64: 6EEB99C827ECFCBB Time : 0.0 sec. user=mdettweiler [2012-01-14 11:31:18] 609*2^1001193-1 is not prime. Res64: FA1CED1A78DEB6F3 Time : 0.0 sec. user=mdettweiler [2012-01-14 11:34:20] 621*2^1001203-1 is not prime. Res64: 315A6D6BCFD24F15 Time : 0.0 sec. user=mdettweiler [2012-01-14 11:35:08] 675*2^1001200-1 is not prime. Res64: ADE737FB9A7FA67E Time : 0.0 sec. user=mdettweiler [2012-01-14 11:35:08] 695*2^1001200-1 is not prime. Res64: 053A54338F48B332 Time : 0.0 sec. user=mdettweiler [2012-01-14 11:40:53] 691*2^1001203-1 is not prime. Res64: AD07D2AD377D32C5 Time : 0.0 sec. user=mdettweiler [2012-01-14 11:41:08] 679*2^1001201-1 is not prime. Res64: 9B9D198761CC2F45 Time : 0.0 sec. user=mdettweiler [2012-01-14 11:41:08] 829*2^1001201-1 is not prime. Res64: 4F03D5C6D73A950E Time : 0.0 sec. user=mdettweiler [2012-01-14 11:41:40] 937*2^1001201-1 is not prime. Res64: 56AF8171A0D6DA4B Time : 0.0 sec. user=mdettweiler [2012-01-14 11:41:40] 653*2^1001202-1 is not prime. Res64: 843877635E817E1C Time : 0.0 sec. user=mdettweiler [2012-01-14 11:44:59] 705*2^1001202-1 is not prime. Res64: 79CF02E9FC37A6DB Time : 0.0 sec. user=mdettweiler [2012-01-14 11:44:59] 747*2^1001202-1 is not prime. Res64: FD9184EF0FF34791 Time : 0.0 sec. user=mdettweiler [2012-01-14 11:47:27] 793*2^1001203-1 is not prime. Res64: 3288510BF1558B91 Time : 0.0 sec. user=mdettweiler [2012-01-14 11:54:00] 655*2^1001205-1 is not prime. Res64: 5A7E1952A758006E Time : 0.0 sec. user=mdettweiler [2012-01-14 11:54:54] 705*2^1001203-1 is not prime. Res64: A728151104509D7D Time : 0.0 sec. user=mdettweiler [2012-01-14 11:54:55] 751*2^1001203-1 is not prime. Res64: 9608F3F67EBD23F8 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:00:33] 741*2^1001205-1 is not prime. Res64: 0E1021E8607B7860 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:00:47] 853*2^1001203-1 is not prime. Res64: B9DAF8F9D30C590D Time : 0.0 sec. user=mdettweiler [2012-01-14 12:00:48] 919*2^1001203-1 is not prime. Res64: 2362DC4FEF111633 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:00:52] 945*2^1001194-1 is not prime. Res64: 3DB484982CBC710B Time : 0.0 sec. user=mdettweiler [2012-01-14 12:00:53] 975*2^1001194-1 is not prime. Res64: 3706D809CA5F215C Time : 0.0 sec. user=mdettweiler [2012-01-14 12:01:23] 689*2^1001204-1 is not prime. Res64: B062AAFB4A9C5A69 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:01:25] 855*2^1001204-1 is not prime. Res64: 9640C8A7DEE70772 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:04:47] 897*2^1001204-1 is not prime. Res64: 44813FB4B00B81D9 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:04:48] 625*2^1001205-1 is not prime. Res64: 3E073F8EF383FF87 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:07:06] 859*2^1001205-1 is not prime. Res64: 8F3C928B9D0B2010 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:13:40] 781*2^1001207-1 is not prime. Res64: 2ACB1F05D53C5872 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:14:37] 777*2^1001205-1 is not prime. Res64: 9D708C7903E85254 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:14:38] 789*2^1001205-1 is not prime. Res64: B1A8CD9DED91B062 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:20:15] 799*2^1001207-1 is not prime. Res64: EF030132F59FE0AC Time : 0.0 sec. user=mdettweiler [2012-01-14 12:21:27] 911*2^1001206-1 is not prime. Res64: 4C17ED6B16ADD5F2 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:21:28] 933*2^1001206-1 is not prime. Res64: 34A2C10A2BB99CFC Time : 0.0 sec. user=mdettweiler [2012-01-14 12:22:46] 999*2^1001205-1 is not prime. Res64: 2DA5F3A81F38B377 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:22:46] 653*2^1001206-1 is not prime. Res64: 2A9D2A7396B88F0D Time : 0.0 sec. user=mdettweiler [2012-01-14 12:24:26] 655*2^1001207-1 is not prime. Res64: B0886FA8405F088C Time : 0.0 sec. user=mdettweiler [2012-01-14 12:24:26] 759*2^1001207-1 is not prime. Res64: 9CBBB382CF33D2FA Time : 0.0 sec. user=mdettweiler [2012-01-14 12:26:48] 777*2^1001208-1 is not prime. Res64: B80414321FDDAACA Time : 0.0 sec. user=mdettweiler [2012-01-14 12:28:53] 977*2^1001198-1 is not prime. Res64: 85F1457835F1E9A3 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:28:53] 661*2^1001199-1 is not prime. Res64: 27A8BD7152576543 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:33:21] 841*2^1001209-1 is not prime. Res64: 0E808FA444F657C1 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:34:21] 813*2^1001207-1 is not prime. Res64: 58D74A8E2EA50899 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:34:22] 689*2^1001208-1 is not prime. Res64: ADD7424A672612C3 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:38:08] 777*2^1001200-1 is not prime. Res64: A8CC0BA8C6ED60F6 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:38:09] 833*2^1001200-1 is not prime. Res64: 66A3F0C864A6BBCF Time : 0.0 sec. user=mdettweiler [2012-01-14 12:39:55] 701*2^1001210-1 is not prime. Res64: A126EB4989C03B49 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:41:09] 819*2^1001208-1 is not prime. Res64: C119B93105F3AEC2 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:41:09] 875*2^1001208-1 is not prime. Res64: 7C2C214826C253D3 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:42:25] 933*2^1001208-1 is not prime. Res64: 0ADA2A7C9D42C945 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:42:25] 615*2^1001209-1 is not prime. Res64: 2D3D2A198091A48A Time : 0.0 sec. user=mdettweiler [2012-01-14 12:44:11] 705*2^1001209-1 is not prime. Res64: 3C8C976E57ECEA7D Time : 0.0 sec. user=mdettweiler [2012-01-14 12:44:11] 741*2^1001209-1 is not prime. Res64: 921F0FA95544D1E1 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:46:28] 625*2^1001211-1 is not prime. Res64: D1B56311078EEABE Time : 0.0 sec. user=mdettweiler [2012-01-14 12:50:10] 633*2^1001203-1 is not prime. Res64: BE8C8EE0C9E322AE Time : 0.0 sec. user=mdettweiler [2012-01-14 12:50:10] 673*2^1001203-1 is not prime. Res64: A1407F1623533896 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:53:01] 899*2^1001212-1 is not prime. Res64: 9EC829C781CEE098 Time : 0.0 sec. user=mdettweiler [2012-01-14 12:54:07] 767*2^1001210-1 is not prime. Res64: 2BF636A4A56F909F Time : 0.0 sec. user=mdettweiler [2012-01-14 12:54:08] 867*2^1001210-1 is not prime. Res64: AFB6D79A6D903600 Time : 0.0 sec. user=mdettweiler [2012-01-14 13:00:53] 643*2^1001211-1 is not prime. Res64: C39C2B5D303DBF0C Time : 0.0 sec. user=mdettweiler [2012-01-14 13:00:56] 783*2^1001211-1 is not prime. Res64: CE9B8BBF012E4B2E Time : 0.0 sec. user=mdettweiler [2012-01-14 13:01:10] 983*2^1001212-1 is not prime. Res64: FD3F815952C598AD Time : 0.0 sec. user=mdettweiler [2012-01-14 13:02:10] 849*2^1001211-1 is not prime. Res64: 802FEB7FB1E8272E Time : 0.0 sec. user=mdettweiler [2012-01-14 13:02:11] 873*2^1001211-1 is not prime. Res64: 3B134136A4B6C3A7 Time : 0.0 sec. user=mdettweiler [2012-01-14 13:06:04] 969*2^1001211-1 is not prime. Res64: 12DAB4DA0EF9FB67 Time : 0.0 sec. user=mdettweiler [2012-01-14 13:06:05] 615*2^1001212-1 is not prime. Res64: DE4D501FC0697375 Time : 0.0 sec. user=mdettweiler [2012-01-14 13:07:47] 829*2^1001213-1 is not prime. Res64: B8A0BAB6C193637F Time : 0.0 sec. user=mdettweiler [2012-01-14 13:13:52] 619*2^1001213-1 is not prime. Res64: A24B86FE59002D70 Time : 0.0 sec. user=mdettweiler [2012-01-14 13:13:53] 691*2^1001213-1 is not prime. Res64: FD343EFC427848A7 Time : 0.0 sec. user=mdettweiler [2012-01-14 13:14:25] 641*2^1001214-1 is not prime. Res64: 1EEABDAFA1F15683 Time : 0.0 sec. user=mdettweiler [2012-01-14 13:19:55] 777*2^1001206-1 is not prime. Res64: 5D8D5B48EB75FC03 Time : 0.0 sec. user=mdettweiler [2012-01-14 13:19:55] 897*2^1001206-1 is not prime. Res64: 5D04F2D72A8635CA Time : 0.0 sec. user=mdettweiler [2012-01-14 13:20:44] 745*2^1001213-1 is not prime. Res64: D2FAFE0AD48CC307 Time : 0.0 sec. user=mdettweiler [2012-01-14 13:20:44] 769*2^1001213-1 is not prime. Res64: 50EC7F4E09BFAE9A Time : 0.0 sec. user=mdettweiler [2012-01-14 13:21:19] 711*2^1001214-1 is not prime. Res64: F1C8343AF9AD52CA Time : 0.0 sec. user=mdettweiler [2012-01-14 13:21:59] 885*2^1001213-1 is not prime. Res64: AC415071763E3BFF Time : 0.0 sec. user=mdettweiler [2012-01-14 13:21:59] 901*2^1001213-1 is not prime. Res64: 0726A7A05830B5AE Time : 0.0 sec. user=mdettweiler [2012-01-14 13:26:17] 893*2^1001142-1 is not prime. Res64: D4008B32A64E305C Time : 0.0 sec. user=mdettweiler [2012-01-14 13:27:46] 931*2^1001209-1 is not prime. Res64: 2E05EF73963D7215 Time : 0.0 sec. user=mdettweiler [2012-01-14 13:28:04] 939*2^1001213-1 is not prime. Res64: 49B25F86639D16A1 Time : 0.0 sec. user=mdettweiler [2012-01-14 13:28:05] 991*2^1001213-1 is not prime. Res64: 736BA49BA149D97E Time : 0.0 sec. user=mdettweiler [2012-01-14 13:28:52] 765*2^1001215-1 is not prime. Res64: A162D029F264EE42 Time : 0.0 sec. user=mdettweiler [2012-01-14 13:33:41] 651*2^1001214-1 is not prime. Res64: BD8BC481F3926354 Time : 0.0 sec. user=mdettweiler [2012-01-14 13:33:42] 671*2^1001214-1 is not prime. Res64: 7EF85FC8E28D154F Time : 0.0 sec. user=mdettweiler [2012-01-14 13:33:47] 843*2^1001215-1 is not prime. Res64: 296C4847675E9C99 Time : 0.0 sec. user=mdettweiler [2012-01-14 13:36:21] 725*2^1001216-1 is not prime. Res64: 787A33FE542DD3C5 Time : 0.0 sec. user=mdettweiler [2012-01-14 13:41:18] 909*2^1001216-1 is not prime. Res64: B9CEB512797BC084 Time : 0.0 sec. user=mdettweiler [2012-01-14 13:41:47] 775*2^1001215-1 is not prime. Res64: 147FAC23ACB29444 Time : 0.0 sec. user=mdettweiler [2012-01-14 13:41:48] 793*2^1001215-1 is not prime. Res64: BA5DAEF5A3E2494C Time : 0.0 sec. user=mdettweiler [2012-01-14 13:42:53] 993*2^1001214-1 is not prime. Res64: 78BB313E9346C589 Time : 0.0 sec. user=mdettweiler [2012-01-14 13:42:54] 663*2^1001215-1 is not prime. Res64: A3F6964215491946 Time : 0.0 sec. user=mdettweiler [2012-01-14 13:43:50] 711*2^1001217-1 is not prime. Res64: B986E880A83D7B40 Time : 0.0 sec. user=mdettweiler [2012-01-14 13:47:53] 861*2^1001215-1 is not prime. Res64: 2E59A5C192BDEBEE Time : 0.0 sec. user=mdettweiler [2012-01-14 13:47:54] 629*2^1001216-1 is not prime. Res64: 9A6E3A22A67CB03F Time : 0.0 sec. user=mdettweiler [2012-01-14 13:48:49] 817*2^1001217-1 is not prime. Res64: E5419101A36E9901 Time : 0.0 sec. user=mdettweiler [2012-01-14 13:51:20] 937*2^1001217-1 is not prime. Res64: 0F079AD2561AF1F3 Time : 0.0 sec. user=mdettweiler [2012-01-14 13:53:28] 843*2^1001216-1 is not prime. Res64: 9C9925BE55E5FAD1 Time : 0.0 sec. user=mdettweiler [2012-01-14 13:53:29] 855*2^1001216-1 is not prime. Res64: 2D6C1F7582C2927A Time : 0.0 sec. user=mdettweiler [2012-01-14 13:56:21] 647*2^1001218-1 is not prime. Res64: 1B7B32862FFE361E Time : 0.0 sec. user=mdettweiler [2012-01-14 13:58:52] 657*2^1001218-1 is not prime. Res64: 4B76B1CBA6898CDC Time : 0.0 sec. user=mdettweiler [2012-01-14 14:01:40] 871*2^1001217-1 is not prime. Res64: 584270F2FA96AD15 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:01:47] 885*2^1001217-1 is not prime. Res64: 1424C62D2EC78056 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:02:44] 895*2^1001217-1 is not prime. Res64: 8BC8ACE54D862F43 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:02:46] 901*2^1001217-1 is not prime. Res64: 13E93343AAE6E0A1 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:03:51] 891*2^1001218-1 is not prime. Res64: 0585386D3138F474 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:07:41] 611*2^1001218-1 is not prime. Res64: 71E48E7F8FF66ABE Time : 0.0 sec. user=mdettweiler [2012-01-14 14:07:42] 635*2^1001218-1 is not prime. Res64: 707A6331D7742813 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:08:10] 995*2^1001218-1 is not prime. Res64: 35CA687357C0C048 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:11:21] 753*2^1001219-1 is not prime. Res64: 788B3C0C369B5B9B Time : 0.0 sec. user=mdettweiler [2012-01-14 14:14:23] 773*2^1001218-1 is not prime. Res64: 8CAC7F1A4CB3B997 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:14:24] 801*2^1001218-1 is not prime. Res64: BF52472D382865AE Time : 0.0 sec. user=mdettweiler [2012-01-14 14:14:25] 951*2^1001210-1 is not prime. Res64: 7C43040DB9CAC251 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:14:26] 987*2^1001210-1 is not prime. Res64: 715F43C49F11FC96 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:15:42] 693*2^1001220-1 is not prime. Res64: 8367DCA14E88AF7F Time : 0.0 sec. user=mdettweiler [2012-01-14 14:18:50] 753*2^1001220-1 is not prime. Res64: 8E9FCA910276B4C5 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:23:15] 645*2^1001221-1 is not prime. Res64: 8862F794ADD3564F Time : 0.0 sec. user=mdettweiler [2012-01-14 14:23:58] 619*2^1001219-1 is not prime. Res64: AF00E442B7B95AA5 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:23:58] 643*2^1001219-1 is not prime. Res64: AAEAA40A2427F113 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:24:32] 705*2^1001219-1 is not prime. Res64: 5D46603B913DE932 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:24:32] 735*2^1001219-1 is not prime. Res64: E4124873E9D68245 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:26:19] 685*2^1001221-1 is not prime. Res64: A1EE576481752E54 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:30:07] 759*2^1001219-1 is not prime. Res64: B4854890B5CBCFC4 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:30:08] 799*2^1001219-1 is not prime. Res64: 03B317188E745084 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:30:47] 835*2^1001221-1 is not prime. Res64: 538F1A705048A3F3 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:33:49] 917*2^1001222-1 is not prime. Res64: 23854843382D0BE7 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:38:18] 795*2^1001223-1 is not prime. Res64: 89DAEF43330FBC26 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:39:06] 843*2^1001220-1 is not prime. Res64: 5765EB9A70E41CED Time : 0.0 sec. user=mdettweiler [2012-01-14 14:39:06] 965*2^1001220-1 is not prime. Res64: 25B2849901445479 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:41:19] 895*2^1001223-1 is not prime. Res64: 84536FEE278CCD07 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:47:29] 843*2^1001222-1 is not prime. Res64: 8CC281738262685C Time : 0.0 sec. user=mdettweiler [2012-01-14 14:47:29] 875*2^1001222-1 is not prime. Res64: 4FCDDE43075BD085 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:47:35] 955*2^1001223-1 is not prime. Res64: 00A825ECFB634505 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:48:47] 743*2^1001224-1 is not prime. Res64: 49C35CAFDF8EFF7A Time : 0.0 sec. user=mdettweiler [2012-01-14 14:49:11] 945*2^1001221-1 is not prime. Res64: 1074B1A9BCB6ABFF Time : 0.0 sec. user=mdettweiler [2012-01-14 14:49:12] 693*2^1001222-1 is not prime. Res64: 67F55345D02450EA Time : 0.0 sec. user=mdettweiler [2012-01-14 14:52:02] 935*2^1001222-1 is not prime. Res64: F7BD4A86ABD5E692 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:52:02] 691*2^1001223-1 is not prime. Res64: 81BB5BBCEF93F003 Time : 0.0 sec. user=mdettweiler [2012-01-14 14:56:19] 775*2^1001225-1 is not prime. Res64: EBF3AB3D15297F8E Time : 0.0 sec. user=mdettweiler [2012-01-14 14:56:52] 995*2^1001224-1 is not prime. Res64: 71E42C13947379DA Time : 0.0 sec. user=mdettweiler [2012-01-14 15:00:41] 609*2^1001224-1 is not prime. Res64: 8841DF72A920FAB0 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:00:42] 635*2^1001224-1 is not prime. Res64: 265D360DAD597CD1 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:04:23] 705*2^1001226-1 is not prime. Res64: 9BF1109BAB36AB05 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:05:35] 981*2^1001225-1 is not prime. Res64: B36EF56E9FBA72D0 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:10:58] 795*2^1001225-1 is not prime. Res64: ED188FB1DEA16049 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:10:59] 841*2^1001225-1 is not prime. Res64: AAB08E111550B28A Time : 0.0 sec. user=mdettweiler [2012-01-14 15:11:33] 903*2^1001224-1 is not prime. Res64: 7CB32024DF27742B Time : 0.0 sec. user=mdettweiler [2012-01-14 15:11:35] 993*2^1001224-1 is not prime. Res64: 4B5346F9EFCA9D15 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:11:56] 755*2^1001226-1 is not prime. Res64: ACD381BF7A864822 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:13:10] 783*2^1001226-1 is not prime. Res64: 3BE4784AE8AF6B26 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:15:56] 855*2^1001225-1 is not prime. Res64: B120B84283A45E03 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:15:57] 951*2^1001225-1 is not prime. Res64: EE3F9C1EBC3AB47B Time : 0.0 sec. user=mdettweiler [2012-01-14 15:19:27] 733*2^1001227-1 is not prime. Res64: EC01D5073EFB7C35 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:20:42] 805*2^1001227-1 is not prime. Res64: B0A7EBD948223F7C Time : 0.0 sec. user=mdettweiler [2012-01-14 15:22:02] 723*2^1001226-1 is not prime. Res64: 078F7AA0DE656DB3 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:22:03] 735*2^1001226-1 is not prime. Res64: 753A97EFCAB0CC41 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:26:59] 633*2^1001228-1 is not prime. Res64: 632066903E257156 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:28:13] 669*2^1001228-1 is not prime. Res64: 9F66DA6DE461C415 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:34:30] 615*2^1001229-1 is not prime. Res64: 1E3139745C0F0BEF Time : 0.0 sec. user=mdettweiler [2012-01-14 15:35:18] 903*2^1001226-1 is not prime. Res64: 04EE70EEF9B3ABE6 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:35:18] 945*2^1001226-1 is not prime. Res64: E4CEEBFDCF6DD479 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:35:21] 971*2^1001226-1 is not prime. Res64: 2A4C7EA30B29DA35 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:35:21] 703*2^1001227-1 is not prime. Res64: 23DC6B9400D4DBF5 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:35:45] 661*2^1001229-1 is not prime. Res64: CA35C265D6A582D9 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:36:49] 885*2^1001227-1 is not prime. Res64: 26C437D2B912BB55 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:36:50] 895*2^1001227-1 is not prime. Res64: F22DC35BBD771740 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:36:55] 657*2^1001210-1 is not prime. Res64: 1CDC26E924748C5A Time : 0.0 sec. user=mdettweiler [2012-01-14 15:39:14] 947*2^1001212-1 is not prime. Res64: 207D3231784DDE36 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:42:02] 685*2^1001229-1 is not prime. Res64: 5EF837CEE211F1E6 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:42:52] 707*2^1001228-1 is not prime. Res64: 96F4F9277839DEBE Time : 0.0 sec. user=mdettweiler [2012-01-14 15:42:52] 825*2^1001228-1 is not prime. Res64: 1C73D3C8236E4A20 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:43:17] 647*2^1001230-1 is not prime. Res64: 49609B37D86B0D8C Time : 0.0 sec. user=mdettweiler [2012-01-14 15:49:32] 917*2^1001230-1 is not prime. Res64: 2CD89613EC5636F2 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:50:49] 685*2^1001231-1 is not prime. Res64: 0796DE0B1EDCBA76 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:52:17] 975*2^1001220-1 is not prime. Res64: A5A091FC6B494999 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:52:17] 983*2^1001220-1 is not prime. Res64: D66DD044F3651800 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:56:00] 795*2^1001229-1 is not prime. Res64: E521FE0D1D369966 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:56:00] 847*2^1001229-1 is not prime. Res64: A2FEC8B544D24E0E Time : 0.0 sec. user=mdettweiler [2012-01-14 15:57:04] 715*2^1001231-1 is not prime. Res64: 722E1F379E6E5F3A Time : 0.0 sec. user=mdettweiler [2012-01-14 15:57:17] 791*2^1001230-1 is not prime. Res64: C64A0D368894532C Time : 0.0 sec. user=mdettweiler [2012-01-14 15:57:17] 873*2^1001230-1 is not prime. Res64: 7BB2689B1B9CBD14 Time : 0.0 sec. user=mdettweiler [2012-01-14 15:58:20] 741*2^1001231-1 is not prime. Res64: 822BCBCC341F11EC Time : 0.0 sec. user=mdettweiler [2012-01-14 16:00:09] 945*2^1001229-1 is not prime. Res64: DAC6A9BBCF3481AF Time : 0.0 sec. user=mdettweiler [2012-01-14 16:00:10] 951*2^1001229-1 is not prime. Res64: BFA80B11BB8A016C Time : 0.0 sec. user=mdettweiler [2012-01-14 16:05:50] 765*2^1001232-1 is not prime. Res64: C4E43D44FE5480CC Time : 0.0 sec. user=mdettweiler [2012-01-14 16:06:11] 971*2^1001230-1 is not prime. Res64: 41309876C908535D Time : 0.0 sec. user=mdettweiler [2012-01-14 16:06:14] 619*2^1001231-1 is not prime. Res64: CC79D8A66826BA55 Time : 0.0 sec. user=mdettweiler [2012-01-14 16:06:22] 973*2^1001231-1 is not prime. Res64: 02BE3F1F0E85A8F0 Time : 0.0 sec. user=mdettweiler [2012-01-14 16:13:22] 691*2^1001233-1 is not prime. Res64: 71E5D9C929B718AD Time : 0.0 sec. user=mdettweiler [2012-01-14 16:13:59] 769*2^1001233-1 is not prime. Res64: E520A5D1209D5852 Time : 0.0 sec. user=mdettweiler [2012-01-14 16:18:53] 717*2^1001232-1 is not prime. Res64: 1B6E4F5A199A3F1B Time : 0.0 sec. user=mdettweiler [2012-01-14 16:18:53] 747*2^1001232-1 is not prime. Res64: 7138F19520273DA1 Time : 0.0 sec. user=mdettweiler [2012-01-14 16:20:53] 897*2^1001233-1 is not prime. Res64: 1D0E64CF2AFE3419 Time : 0.0 sec. user=mdettweiler [2012-01-14 16:22:36] 949*2^1001231-1 is not prime. Res64: 7F6140653749FD6E Time : 0.0 sec. user=mdettweiler [2012-01-14 16:22:37] 969*2^1001231-1 is not prime. Res64: A32CC21C1F91CEF3 Time : 0.0 sec. user=mdettweiler [2012-01-14 16:23:17] 999*2^1001233-1 is not prime. Res64: E0BF5E361E3A32E4 Time : 0.0 sec. user=mdettweiler [2012-01-14 16:24:38] 945*2^1001232-1 is not prime. Res64: 62E0348FBD06843C Time : 0.0 sec. user=mdettweiler [2012-01-14 16:24:39] 609*2^1001233-1 is not prime. Res64: DBF90014A1AFCDCD Time : 0.0 sec. user=mdettweiler [2012-01-14 16:27:19] 729*2^1001233-1 is not prime. Res64: D817E1FEB6F1E111 Time : 0.0 sec. user=mdettweiler [2012-01-14 16:27:19] 747*2^1001233-1 is not prime. Res64: FFFB92961F0F6782 Time : 0.0 sec. user=mdettweiler [2012-01-14 16:28:24] 875*2^1001234-1 is not prime. Res64: 4B5F93DD0B8E9C9D Time : 0.0 sec. user=mdettweiler [2012-01-14 16:32:35] 987*2^1001234-1 is not prime. Res64: 952A70C2092C9706 Time : 0.0 sec. user=mdettweiler [2012-01-14 16:35:57] 871*2^1001235-1 is not prime. Res64: 2AE32DC638711A7A Time : 0.0 sec. user=mdettweiler [2012-01-14 16:39:40] 641*2^1001234-1 is not prime. Res64: B0452F7DB5308189 Time : 0.0 sec. user=mdettweiler [2012-01-14 16:39:40] 837*2^1001234-1 is not prime. Res64: 070835B0538C654B Time : 0.0 sec. user=mdettweiler [2012-01-14 16:40:09] 873*2^1001235-1 is not prime. Res64: 6658DE34A3A18407 Time : 0.0 sec. user=mdettweiler [2012-01-14 16:43:28] 603*2^1001236-1 is not prime. Res64: 666C79875B125AC1 Time : 0.0 sec. user=mdettweiler [2012-01-14 16:43:40] 885*2^1001234-1 is not prime. Res64: 0E8675474AD152BF Time : 0.0 sec. user=mdettweiler [2012-01-14 16:43:40] 927*2^1001234-1 is not prime. Res64: 3BEB173A68E01BA4 Time : 0.0 sec. user=mdettweiler [2012-01-14 16:45:40] 709*2^1001235-1 is not prime. Res64: E963399B74072497 Time : 0.0 sec. user=mdettweiler [2012-01-14 16:45:40] 723*2^1001235-1 is not prime. Res64: 098E266C181A3925 Time : 0.0 sec. user=mdettweiler [2012-01-14 16:47:40] 803*2^1001236-1 is not prime. Res64: A30569BC1BDB51A1 Time : 0.0 sec. user=mdettweiler [2012-01-14 16:48:13] 819*2^1001235-1 is not prime. Res64: 803D7EF33BCB5528 Time : 0.0 sec. user=mdettweiler [2012-01-14 16:48:14] 823*2^1001235-1 is not prime. Res64: B3E81091B732B926 Time : 0.0 sec. user=mdettweiler [2012-01-14 16:51:01] 855*2^1001236-1 is not prime. Res64: 26842CD744903221 Time : 0.0 sec. user=mdettweiler [2012-01-14 16:55:12] 805*2^1001237-1 is not prime. Res64: 814E280580688012 Time : 0.0 sec. user=mdettweiler [2012-01-14 16:58:33] 663*2^1001238-1 is not prime. Res64: 017ED79347A2E553 Time : 0.0 sec. user=mdettweiler [2012-01-14 17:00:39] 657*2^1001236-1 is not prime. Res64: 0FA49C1726E3C6B0 Time : 0.0 sec. user=mdettweiler [2012-01-14 17:00:39] 743*2^1001236-1 is not prime. Res64: B44ADF4BB8715958 Time : 0.0 sec. user=mdettweiler [2012-01-14 17:06:58] 631*2^1001237-1 is not prime. Res64: 25BDB13C034FE6BB Time : 0.0 sec. user=mdettweiler [2012-01-14 17:06:59] 771*2^1001237-1 is not prime. Res64: 5EBB9456BEBE52D7 Time : 0.0 sec. user=mdettweiler [2012-01-14 17:09:48] 965*2^1001236-1 is not prime. Res64: 2C638B46F0A14AEE Time : 0.0 sec. user=mdettweiler [2012-01-14 17:09:49] 989*2^1001236-1 is not prime. Res64: ADC063D456F80670 Time : 0.0 sec. user=mdettweiler [2012-01-14 17:12:05] 927*2^1001237-1 is not prime. Res64: 775994E94ADFC4FD Time : 0.0 sec. user=mdettweiler [2012-01-14 17:12:05] 949*2^1001237-1 is not prime. Res64: 6FE4B20CA5814EEE Time : 0.0 sec. user=mdettweiler [2012-01-14 17:16:57] 879*2^1001231-1 is not prime. Res64: 3390842937A0CE4C Time : 0.0 sec. user=mdettweiler [2012-01-14 17:16:57] 943*2^1001231-1 is not prime. Res64: 12FA8080D5EE1750 Time : 0.0 sec. user=mdettweiler [2012-01-14 17:22:46] 765*2^1001238-1 is not prime. Res64: BF7C90C3AC967744 Time : 0.0 sec. user=mdettweiler [2012-01-14 17:22:46] 915*2^1001238-1 is not prime. Res64: D3BD17FEC723167F Time : 0.0 sec. user=mdettweiler [2012-01-14 17:28:43] 883*2^1001239-1 is not prime. Res64: 54BE517DFAAADE79 Time : 0.0 sec. user=mdettweiler [2012-01-14 17:28:43] 603*2^1001240-1 is not prime. Res64: 790DDF1C5AE55BDF Time : 0.0 sec. user=mdettweiler [2012-01-14 17:30:54] 677*2^1001240-1 is not prime. Res64: CE5E2C219698BEB6 Time : 0.0 sec. user=mdettweiler [2012-01-14 17:30:54] 743*2^1001240-1 is not prime. Res64: C1B44138894BB7C2 Time : 0.0 sec. user=mdettweiler [2012-01-14 17:31:30] 815*2^1001214-1 is not prime. Res64: 71317A473EAE643C Time : 0.0 sec. user=mdettweiler [2012-01-14 17:32:54] 795*2^1001240-1 is not prime. Res64: 4E9275F8E1F5E126 Time : 0.0 sec. user=mdettweiler [2012-01-14 17:32:54] 833*2^1001240-1 is not prime. Res64: 60E9DDE2EDB3020D Time : 0.0 sec. user=mdettweiler [2012-01-14 17:43:17] 741*2^1001241-1 is not prime. Res64: DB43D11D9A1EF882 Time : 0.0 sec. user=mdettweiler [2012-01-14 17:43:18] 819*2^1001241-1 is not prime. Res64: 8BD4168D84CC6A5C Time : 0.0 sec. user=mdettweiler [2012-01-14 17:49:57] 837*2^1001241-1 is not prime. Res64: A95E7366F2789120 Time : 0.0 sec. user=mdettweiler [2012-01-14 17:49:58] 885*2^1001241-1 is not prime. Res64: 91666E02902F90A9 Time : 0.0 sec. user=mdettweiler [2012-01-14 17:53:55] 623*2^1001242-1 is not prime. Res64: 81E218F13E720F27 Time : 0.0 sec. user=mdettweiler [2012-01-14 17:53:55] 671*2^1001242-1 is not prime. Res64: ED10337DA792283C Time : 0.0 sec. user=mdettweiler [2012-01-14 17:56:36] 997*2^1001241-1 is not prime. Res64: 0076683B8415FED2 Time : 0.0 sec. user=mdettweiler [2012-01-14 17:56:37] 999*2^1001241-1 is not prime. Res64: 07D2F0E1739258BC Time : 0.0 sec. user=mdettweiler [2012-01-14 17:59:28] 975*2^1001212-1 is not prime. Res64: FFDD526FC7282588 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:01:40] 681*2^1001238-1 is not prime. Res64: F402F440EB0F744B Time : 0.0 sec. user=mdettweiler [2012-01-14 18:04:55] 761*2^1001238-1 is not prime. Res64: 358F1C17134C9C6E Time : 0.0 sec. user=mdettweiler [2012-01-14 18:06:45] 867*2^1001242-1 is not prime. Res64: 6D70376FBC8A8A74 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:06:46] 987*2^1001242-1 is not prime. Res64: 586354463E067E16 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:09:17] 623*2^1001244-1 is not prime. Res64: 6E786030BF17C67B Time : 0.0 sec. user=mdettweiler [2012-01-14 18:10:59] 669*2^1001243-1 is not prime. Res64: A2DC1A1DDD1A0096 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:11:00] 673*2^1001243-1 is not prime. Res64: E63DB5AF6D19DBBE Time : 0.0 sec. user=mdettweiler [2012-01-14 18:12:31] 663*2^1001244-1 is not prime. Res64: BDE115CDB8ED7EDF Time : 0.0 sec. user=mdettweiler [2012-01-14 18:14:31] 705*2^1001243-1 is not prime. Res64: 815526E95AB97508 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:14:32] 801*2^1001243-1 is not prime. Res64: DBD3CB394DFF784A Time : 0.0 sec. user=mdettweiler [2012-01-14 18:16:53] 825*2^1001244-1 is not prime. Res64: E43D22BDDB6C34C6 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:17:36] 811*2^1001243-1 is not prime. Res64: 8D1994F259FAC269 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:17:37] 859*2^1001243-1 is not prime. Res64: 6EDF2EA372F59BEA Time : 0.0 sec. user=mdettweiler [2012-01-14 18:21:51] 975*2^1001244-1 is not prime. Res64: F371267947191D13 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:23:01] 971*2^1001214-1 is not prime. Res64: D2AA7748BBBD7F56 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:24:26] 727*2^1001245-1 is not prime. Res64: FCD9907ECE6AB0E6 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:26:54] 789*2^1001244-1 is not prime. Res64: F9F6085CA28A793B Time : 0.0 sec. user=mdettweiler [2012-01-14 18:26:55] 809*2^1001244-1 is not prime. Res64: 10AB235723AFC518 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:31:10] 985*2^1001245-1 is not prime. Res64: 7BCCBD4A38E9369B Time : 0.0 sec. user=mdettweiler [2012-01-14 18:31:58] 873*2^1001246-1 is not prime. Res64: 523E6F28415C7FFF Time : 0.0 sec. user=mdettweiler [2012-01-14 18:33:18] 863*2^1001244-1 is not prime. Res64: 81235E2D8793538A Time : 0.0 sec. user=mdettweiler [2012-01-14 18:33:18] 969*2^1001244-1 is not prime. Res64: 352DDBB485479A82 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:36:43] 983*2^1001244-1 is not prime. Res64: 84B2DC68A735B2D3 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:36:44] 685*2^1001245-1 is not prime. Res64: 19E3462157F1E585 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:37:30] 801*2^1001245-1 is not prime. Res64: 2E70435F5810479E Time : 0.0 sec. user=mdettweiler [2012-01-14 18:37:31] 805*2^1001245-1 is not prime. Res64: 8CE26C411519ADFD Time : 0.0 sec. user=mdettweiler [2012-01-14 18:38:43] 871*2^1001247-1 is not prime. Res64: F3EAC7AD013655C0 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:39:31] 885*2^1001247-1 is not prime. Res64: DAF8EA1725AEF867 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:40:16] 893*2^1001240-1 is not prime. Res64: C9F791DE3B742226 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:40:16] 923*2^1001240-1 is not prime. Res64: 1247A9ECB129C864 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:41:27] 887*2^1001230-1 is not prime. Res64: CB3A99B55DFE198E Time : 0.0 sec. user=mdettweiler [2012-01-14 18:41:27] 911*2^1001230-1 is not prime. Res64: 355102F508131494 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:46:17] 657*2^1001249-1 is not prime. Res64: 99ABB78A49ED431F Time : 0.0 sec. user=mdettweiler [2012-01-14 18:46:55] 917*2^1001246-1 is not prime. Res64: AE01423BC228C50A Time : 0.0 sec. user=mdettweiler [2012-01-14 18:46:55] 831*2^1001247-1 is not prime. Res64: E6C26222718EF7E9 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:47:06] 831*2^1001249-1 is not prime. Res64: 955A2CDAC4E62D42 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:53:09] 629*2^1001248-1 is not prime. Res64: 2B313E2CD8A01918 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:53:10] 695*2^1001248-1 is not prime. Res64: CFF49F2589F7FDB4 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:53:51] 695*2^1001250-1 is not prime. Res64: AAB0E2D0673B53DC Time : 0.0 sec. user=mdettweiler [2012-01-14 18:54:41] 915*2^1001250-1 is not prime. Res64: 89AF9BBF250C9B17 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:56:35] 827*2^1001248-1 is not prime. Res64: 86D7E07A9ED21C03 Time : 0.0 sec. user=mdettweiler [2012-01-14 18:56:35] 887*2^1001248-1 is not prime. Res64: 0ED1A0092054596F Time : 0.0 sec. user=mdettweiler [2012-01-14 19:01:26] 873*2^1001251-1 is not prime. Res64: 88F5C1345D8F95C2 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:02:00] 947*2^1001248-1 is not prime. Res64: 2AAD7BC31325BEE2 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:02:01] 989*2^1001248-1 is not prime. Res64: 3FCF1F11B9249740 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:02:14] 889*2^1001251-1 is not prime. Res64: 07FA6AE9D7AD78B8 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:06:49] 791*2^1001250-1 is not prime. Res64: 7A29843CC3A53D40 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:06:50] 843*2^1001250-1 is not prime. Res64: 328EB96705D9241A Time : 0.0 sec. user=mdettweiler [2012-01-14 19:09:01] 615*2^1001252-1 is not prime. Res64: 82B6E2633BC3540E Time : 0.0 sec. user=mdettweiler [2012-01-14 19:09:47] 875*2^1001252-1 is not prime. Res64: 0A3072B6D04AE7B3 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:12:05] 815*2^1001246-1 is not prime. Res64: D5B4F3432B2FE933 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:12:06] 949*2^1001243-1 is not prime. Res64: F8DB12E66A666EFA Time : 0.0 sec. user=mdettweiler [2012-01-14 19:13:00] 829*2^1001251-1 is not prime. Res64: FED2D59A9856CAA2 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:13:00] 861*2^1001251-1 is not prime. Res64: FABB6D0E46B9327A Time : 0.0 sec. user=mdettweiler [2012-01-14 19:16:36] 745*2^1001253-1 is not prime. Res64: 3B7EE795C95631D3 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:17:23] 901*2^1001253-1 is not prime. Res64: 8F82D24C9BEE5FE0 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:18:43] 999*2^1001251-1 is not prime. Res64: 013969F2D93F8DA2 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:18:43] 609*2^1001252-1 is not prime. Res64: 5B2663522D2ECDCA Time : 0.0 sec. user=mdettweiler [2012-01-14 19:22:04] 687*2^1001252-1 is not prime. Res64: AC878605BC9E9C98 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:22:05] 837*2^1001252-1 is not prime. Res64: F360207838EF4F4A Time : 0.0 sec. user=mdettweiler [2012-01-14 19:24:11] 857*2^1001254-1 is not prime. Res64: 256EF06AE119138D Time : 0.0 sec. user=mdettweiler [2012-01-14 19:24:58] 885*2^1001254-1 is not prime. Res64: 7365BCAA5846E5B9 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:26:49] 903*2^1001252-1 is not prime. Res64: EBA8AE1539194A0C Time : 0.0 sec. user=mdettweiler [2012-01-14 19:26:49] 727*2^1001253-1 is not prime. Res64: 14CC88400D2DBAA1 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:32:32] 615*2^1001256-1 is not prime. Res64: 26E1820E5E18B8D8 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:33:29] 979*2^1001255-1 is not prime. Res64: F4112A72F4369413 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:35:11] 955*2^1001253-1 is not prime. Res64: D2F26C8AC7A93812 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:35:11] 611*2^1001254-1 is not prime. Res64: 089460F7C3F1670A Time : 0.0 sec. user=mdettweiler [2012-01-14 19:38:37] 643*2^1001255-1 is not prime. Res64: 3BF49D738F9D70F8 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:38:37] 675*2^1001255-1 is not prime. Res64: 21EFFBC8F3EEE238 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:40:04] 707*2^1001256-1 is not prime. Res64: ADA83D41B6C0FE41 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:41:03] 735*2^1001256-1 is not prime. Res64: 2716A66A7D43EFBF Time : 0.0 sec. user=mdettweiler [2012-01-14 19:42:05] 685*2^1001255-1 is not prime. Res64: 7B673990F97CE612 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:42:05] 895*2^1001255-1 is not prime. Res64: C02823E1A2899482 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:46:43] 627*2^1001256-1 is not prime. Res64: C0D02AF9DD468E63 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:46:43] 699*2^1001256-1 is not prime. Res64: 17CFBF9A644201BA Time : 0.0 sec. user=mdettweiler [2012-01-14 19:47:37] 667*2^1001257-1 is not prime. Res64: 0DE95F896F6E53BF Time : 0.0 sec. user=mdettweiler [2012-01-14 19:48:36] 747*2^1001257-1 is not prime. Res64: 7DD8779EC6B37BC9 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:50:04] 931*2^1001249-1 is not prime. Res64: 1778F27463AF8578 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:55:02] 777*2^1001256-1 is not prime. Res64: 6A17C35F2FFDAB17 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:55:02] 779*2^1001256-1 is not prime. Res64: 2CC4F7B052160262 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:55:12] 623*2^1001258-1 is not prime. Res64: E7C19A0B610339D3 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:56:11] 633*2^1001258-1 is not prime. Res64: C511DE1AE7A6FAE2 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:58:38] 903*2^1001256-1 is not prime. Res64: AFA112E680AD4D53 Time : 0.0 sec. user=mdettweiler [2012-01-14 19:58:38] 601*2^1001257-1 is not prime. Res64: D26556709ED631F2 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:01:13] 837*2^1001249-1 is not prime. Res64: 52679443E55A0402 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:01:13] 879*2^1001249-1 is not prime. Res64: 18C6F444FEAEC539 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:02:16] 801*2^1001257-1 is not prime. Res64: 8BA627B0D4006248 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:02:17] 817*2^1001257-1 is not prime. Res64: ACF40DEE085EADC3 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:02:51] 771*2^1001258-1 is not prime. Res64: 7D890A2A9CDA136E Time : 0.0 sec. user=mdettweiler [2012-01-14 20:03:47] 825*2^1001258-1 is not prime. Res64: 1E6CAE2D26F53DA5 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:06:54] 829*2^1001257-1 is not prime. Res64: 9C219975F337D4B6 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:06:55] 937*2^1001257-1 is not prime. Res64: 6464EF58A2334284 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:10:29] 875*2^1001260-1 is not prime. Res64: 60B4E877CD10438D Time : 0.0 sec. user=mdettweiler [2012-01-14 20:11:26] 909*2^1001260-1 is not prime. Res64: A90EC4962323DCE5 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:15:13] 657*2^1001258-1 is not prime. Res64: C7B015E7D2CD1672 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:15:15] 683*2^1001258-1 is not prime. Res64: 54B131120F77BC46 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:18:06] 619*2^1001261-1 is not prime. Res64: 4DD4425B800D9137 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:19:04] 621*2^1001261-1 is not prime. Res64: 8E99DC759721C784 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:21:20] 1001*2^1001258-1 is not prime. Res64: DC2128279EE146E5 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:21:20] 619*2^1001259-1 is not prime. Res64: 177F3DD75D6B7DAA Time : 0.0 sec. user=mdettweiler [2012-01-14 20:22:51] 773*2^1001260-1 is not prime. Res64: D5430A9329A850D4 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:22:52] 819*2^1001260-1 is not prime. Res64: B24C0BCD76B048DF Time : 0.0 sec. user=mdettweiler [2012-01-14 20:25:44] 741*2^1001261-1 is not prime. Res64: 5D1D5DFA60A1AD60 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:26:42] 745*2^1001261-1 is not prime. Res64: 4F1D4BC05EEDB14D Time : 0.0 sec. user=mdettweiler [2012-01-14 20:29:48] 983*2^1001260-1 is not prime. Res64: DF996AF69F31BE9C Time : 0.0 sec. user=mdettweiler [2012-01-14 20:29:48] 607*2^1001261-1 is not prime. Res64: A7D6A20D82B5E739 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:33:21] 695*2^1001262-1 is not prime. Res64: C56AFE206019B810 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:34:21] 737*2^1001262-1 is not prime. Res64: 36936CD13756A7ED Time : 0.0 sec. user=mdettweiler [2012-01-14 20:35:42] 657*2^1001261-1 is not prime. Res64: A26F54B68AB40B88 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:35:42] 697*2^1001261-1 is not prime. Res64: 03D0FA4508411171 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:40:59] 917*2^1001262-1 is not prime. Res64: 31A010946598E424 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:42:00] 921*2^1001262-1 is not prime. Res64: 5F70CD0910A04A55 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:43:15] 665*2^1001262-1 is not prime. Res64: 4BD07BCE10E3A3A8 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:43:15] 681*2^1001262-1 is not prime. Res64: 7C38BC15CD852D64 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:43:50] 991*2^1001261-1 is not prime. Res64: 4348182087D64C88 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:43:50] 657*2^1001262-1 is not prime. Res64: A748371D6963A46B Time : 0.0 sec. user=mdettweiler [2012-01-14 20:48:36] 663*2^1001263-1 is not prime. Res64: 058BA74BD2E313FE Time : 0.0 sec. user=mdettweiler [2012-01-14 20:49:38] 675*2^1001263-1 is not prime. Res64: 2EB08C020FDD26CA Time : 0.0 sec. user=mdettweiler [2012-01-14 20:50:06] 777*2^1001262-1 is not prime. Res64: 48286AB320A80A30 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:50:06] 863*2^1001262-1 is not prime. Res64: 493026C621E9FB81 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:52:20] 993*2^1001243-1 is not prime. Res64: A7344D91CBBCBA85 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:53:29] 827*2^1001246-1 is not prime. Res64: AA06579AC98C60BC Time : 0.0 sec. user=mdettweiler [2012-01-14 20:56:15] 725*2^1001264-1 is not prime. Res64: 77BCD44C04F936E3 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:57:17] 767*2^1001264-1 is not prime. Res64: 525126084226ADD4 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:58:32] 945*2^1001262-1 is not prime. Res64: 648B74B98A534183 Time : 0.0 sec. user=mdettweiler [2012-01-14 20:58:32] 609*2^1001263-1 is not prime. Res64: D992CCB5EDE523B9 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:03:41] 681*2^1001263-1 is not prime. Res64: 9587673C7E353428 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:03:41] 913*2^1001263-1 is not prime. Res64: A034753681CEB75C Time : 0.0 sec. user=mdettweiler [2012-01-14 21:03:53] 927*2^1001264-1 is not prime. Res64: D4B7605689DF1391 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:04:10] 939*2^1001263-1 is not prime. Res64: 007ACB287C83468B Time : 0.0 sec. user=mdettweiler [2012-01-14 21:04:10] 677*2^1001264-1 is not prime. Res64: 3083ED902DAE0EA7 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:04:59] 675*2^1001265-1 is not prime. Res64: FDFF373EA8A00F70 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:10:37] 803*2^1001264-1 is not prime. Res64: 936189FC2B970F0B Time : 0.0 sec. user=mdettweiler [2012-01-14 21:10:37] 857*2^1001264-1 is not prime. Res64: D34052475334D61A Time : 0.0 sec. user=mdettweiler [2012-01-14 21:11:58] 713*2^1001266-1 is not prime. Res64: A658028F11878524 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:13:02] 933*2^1001266-1 is not prime. Res64: 63BD511C021D2AB2 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:18:42] 777*2^1001265-1 is not prime. Res64: 5C37CCE848AC8C58 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:18:42] 849*2^1001265-1 is not prime. Res64: E3DEB84086ECDDAF Time : 0.0 sec. user=mdettweiler [2012-01-14 21:19:32] 673*2^1001267-1 is not prime. Res64: 76CBA013665A0A39 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:21:04] 759*2^1001267-1 is not prime. Res64: A77E869CCFFDE890 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:23:38] 955*2^1001249-1 is not prime. Res64: B195BBBFC9111484 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:24:17] 737*2^1001266-1 is not prime. Res64: 22B0E93973D76A7C Time : 0.0 sec. user=mdettweiler [2012-01-14 21:24:17] 887*2^1001266-1 is not prime. Res64: 2CF5C66A99C9D0B7 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:25:51] 895*2^1001265-1 is not prime. Res64: 2330D8D04CE2A3E4 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:25:51] 979*2^1001265-1 is not prime. Res64: D719171DB2EADB61 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:27:10] 915*2^1001267-1 is not prime. Res64: 0CD78AE022F6D403 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:28:41] 931*2^1001267-1 is not prime. Res64: 8EF12A94D990CC57 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:30:30] 609*2^1001267-1 is not prime. Res64: AEAAE4C7857569CE Time : 0.0 sec. user=mdettweiler [2012-01-14 21:30:30] 669*2^1001267-1 is not prime. Res64: AEF10140F42DBDC7 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:32:20] 913*2^1001259-1 is not prime. Res64: CCA79DE1EAE78863 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:32:21] 969*2^1001259-1 is not prime. Res64: 7DD795FEF198E8EA Time : 0.0 sec. user=mdettweiler [2012-01-14 21:34:50] 691*2^1001269-1 is not prime. Res64: A2E1981DEA8BB816 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:36:21] 769*2^1001269-1 is not prime. Res64: 423D74E086583206 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:38:26] 813*2^1001267-1 is not prime. Res64: 93FFFEC7EBAB530E Time : 0.0 sec. user=mdettweiler [2012-01-14 21:38:26] 885*2^1001267-1 is not prime. Res64: 0A0486A1ABFEB0B6 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:42:26] 613*2^1001271-1 is not prime. Res64: 63BAE242525007B8 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:43:57] 709*2^1001271-1 is not prime. Res64: FD2980C69E173F5D Time : 0.0 sec. user=mdettweiler [2012-01-14 21:44:03] 809*2^1001268-1 is not prime. Res64: 76DA9C13EBB915E1 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:44:04] 843*2^1001268-1 is not prime. Res64: C5BCABCFFAFBCC03 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:47:47] 915*2^1001268-1 is not prime. Res64: BB05956E29012284 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:47:47] 959*2^1001268-1 is not prime. Res64: 943C36E64DA1291A Time : 0.0 sec. user=mdettweiler [2012-01-14 21:50:07] 879*2^1001271-1 is not prime. Res64: CC6720AF8FF8265A Time : 0.0 sec. user=mdettweiler [2012-01-14 21:51:38] 901*2^1001271-1 is not prime. Res64: E5902AFD19267D28 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:54:46] 957*2^1001269-1 is not prime. Res64: CC6BFCF848FA7B28 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:54:47] 999*2^1001269-1 is not prime. Res64: 0E03195A206F6005 Time : 0.0 sec. user=mdettweiler [2012-01-14 21:57:44] 849*2^1001272-1 is not prime. Res64: FC881A15CCA2CAAA Time : 0.0 sec. user=mdettweiler [2012-01-14 21:58:15] 739*2^1001271-1 is not prime. Res64: 91EDE5A09BCDFDFE Time : 0.0 sec. user=mdettweiler [2012-01-14 21:58:15] 805*2^1001271-1 is not prime. Res64: 613C6E76FC4F8DCB Time : 0.0 sec. user=mdettweiler [2012-01-14 22:01:02] 965*2^1001272-1 is not prime. Res64: 32F55B2C9E018DCF Time : 0.0 sec. user=mdettweiler [2012-01-14 22:03:49] 921*2^1001271-1 is not prime. Res64: 41BF173158E7DF6D Time : 0.0 sec. user=mdettweiler [2012-01-14 22:03:50] 653*2^1001272-1 is not prime. Res64: 433C57EFDC439B3F Time : 0.0 sec. user=mdettweiler [2012-01-14 22:05:20] 705*2^1001273-1 is not prime. Res64: DB63D57F697F3403 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:07:26] 755*2^1001272-1 is not prime. Res64: 42044C7072650233 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:07:29] 803*2^1001272-1 is not prime. Res64: 0B0115D11AC6DC1C Time : 0.0 sec. user=mdettweiler [2012-01-14 22:08:45] 847*2^1001273-1 is not prime. Res64: E17960A13CFA947B Time : 0.0 sec. user=mdettweiler [2012-01-14 22:14:29] 631*2^1001273-1 is not prime. Res64: C6E221066A2B9E52 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:14:30] 699*2^1001273-1 is not prime. Res64: 7FC3C49C299C1058 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:14:43] 951*2^1001273-1 is not prime. Res64: 71C93E9650EB6CC5 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:16:23] 663*2^1001274-1 is not prime. Res64: 7B4F9A60EBA0D331 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:17:58] 727*2^1001273-1 is not prime. Res64: 2D3D6D50BF6A963A Time : 0.0 sec. user=mdettweiler [2012-01-14 22:17:59] 831*2^1001273-1 is not prime. Res64: 4B40D27494D8647A Time : 0.0 sec. user=mdettweiler [2012-01-14 22:22:21] 765*2^1001274-1 is not prime. Res64: C8CC1B5E44A39E03 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:23:35] 861*2^1001273-1 is not prime. Res64: 2ED67D79B752BF37 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:23:35] 925*2^1001273-1 is not prime. Res64: 907A3B9B6EF04701 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:24:03] 783*2^1001274-1 is not prime. Res64: 76F6C1F31543258D Time : 0.0 sec. user=mdettweiler [2012-01-14 22:25:27] 869*2^1001264-1 is not prime. Res64: D5369E6956431732 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:25:27] 903*2^1001264-1 is not prime. Res64: CE2DEC99884E2461 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:26:51] 915*2^1001264-1 is not prime. Res64: 160CDDF45349A090 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:26:51] 917*2^1001264-1 is not prime. Res64: C38D55C669AFC518 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:31:39] 957*2^1001273-1 is not prime. Res64: E366C395ED077D14 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:31:40] 981*2^1001273-1 is not prime. Res64: 1A677D9F05A6E53D Time : 0.0 sec. user=mdettweiler [2012-01-14 22:31:43] 709*2^1001275-1 is not prime. Res64: E7C43E37EB56779D Time : 0.0 sec. user=mdettweiler [2012-01-14 22:31:46] 1001*2^1001274-1 is not prime. Res64: AF89413B6CF397FA Time : 0.0 sec. user=mdettweiler [2012-01-14 22:34:16] 707*2^1001274-1 is not prime. Res64: 1A32364718583291 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:34:16] 711*2^1001274-1 is not prime. Res64: 56927B4A23217C4A Time : 0.0 sec. user=mdettweiler [2012-01-14 22:37:43] 873*2^1001274-1 is not prime. Res64: A8D4EF46BE2EA2B9 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:37:43] 887*2^1001274-1 is not prime. Res64: B3B850C4A3C9BA55 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:39:24] 625*2^1001277-1 is not prime. Res64: AA09B1F48DF73736 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:39:24] 735*2^1001277-1 is not prime. Res64: BC29BFFA8928EB25 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:43:17] 601*2^1001275-1 is not prime. Res64: DD9CF2FF6283799F Time : 0.0 sec. user=mdettweiler [2012-01-14 22:43:18] 693*2^1001275-1 is not prime. Res64: 26DCA2A70518E73A Time : 0.0 sec. user=mdettweiler [2012-01-14 22:47:06] 605*2^1001278-1 is not prime. Res64: 5817057D6184C1A3 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:48:30] 605*2^1001268-1 is not prime. Res64: 013A67AAF4F59A1E Time : 0.0 sec. user=mdettweiler [2012-01-14 22:48:54] 999*2^1001277-1 is not prime. Res64: B25498BFB66D1BC9 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:53:35] 999*2^1001276-1 is not prime. Res64: 7EFD8B4054D14F27 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:53:35] 621*2^1001277-1 is not prime. Res64: C850D72AD47CFF2D Time : 0.0 sec. user=mdettweiler [2012-01-14 22:54:03] 805*2^1001277-1 is not prime. Res64: 9842F2A6900618F4 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:54:04] 885*2^1001277-1 is not prime. Res64: 67F5F6DD3ADD8039 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:54:42] 755*2^1001278-1 is not prime. Res64: 09C8546BDEEC34D2 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:56:35] 761*2^1001278-1 is not prime. Res64: 7871E1B021304798 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:57:29] 895*2^1001277-1 is not prime. Res64: 270742DEFE3C1447 Time : 0.0 sec. user=mdettweiler [2012-01-14 22:57:29] 915*2^1001277-1 is not prime. Res64: ABD0B7EF4ED7E8DA Time : 0.0 sec. user=mdettweiler [2012-01-14 23:03:06] 623*2^1001278-1 is not prime. Res64: 9589A8CAF85EFC7E Time : 0.0 sec. user=mdettweiler [2012-01-14 23:03:08] 737*2^1001278-1 is not prime. Res64: A3CF7D34CCDD9BE4 Time : 0.0 sec. user=mdettweiler [2012-01-14 23:03:35] 857*2^1001270-1 is not prime. Res64: 5CC415CD7D31BA29 Time : 0.0 sec. user=mdettweiler [2012-01-14 23:03:35] 921*2^1001270-1 is not prime. Res64: 858B93AEDBBA112F Time : 0.0 sec. user=mdettweiler [2012-01-14 23:04:06] 1001*2^1001278-1 is not prime. Res64: 9180951F7CD1E555 Time : 0.0 sec. user=mdettweiler [2012-01-14 23:04:13] 609*2^1001279-1 is not prime. Res64: 94596F1D3B17F96C Time : 0.0 sec. user=mdettweiler [2012-01-14 23:11:46] 753*2^1001280-1 is not prime. Res64: 15FC375277003F10 Time : 0.0 sec. user=mdettweiler [2012-01-14 23:11:53] 779*2^1001280-1 is not prime. Res64: AD6EDAAF68E08852 Time : 0.0 sec. user=mdettweiler [2012-01-14 23:13:21] 867*2^1001278-1 is not prime. Res64: 2C09ADC405197D3E Time : 0.0 sec. user=mdettweiler [2012-01-14 23:13:22] 887*2^1001278-1 is not prime. Res64: DDBAB435B058D788 Time : 0.0 sec. user=mdettweiler [2012-01-14 23:16:03] 941*2^1001278-1 is not prime. Res64: F51010151A806893 Time : 0.0 sec. user=mdettweiler [2012-01-14 23:16:04] 957*2^1001278-1 is not prime. Res64: 93F5478AAA92D4C5 Time : 0.0 sec. user=mdettweiler [2012-01-14 23:19:24] 797*2^1001280-1 is not prime. Res64: 7ECA6CA30006C039 Time : 0.0 sec. user=mdettweiler [2012-01-14 23:19:28] 949*2^1001279-1 is not prime. Res64: 64641588786FFC20 Time : 0.0 sec. user=mdettweiler [2012-01-14 23:19:28] 623*2^1001280-1 is not prime. Res64: C90DB430B88D5EC8 Time : 0.0 sec. user=mdettweiler [2012-01-14 23:19:30] 819*2^1001280-1 is not prime. Res64: 5EC43EEDA2A07BE9 Time : 0.0 sec. user=mdettweiler [2012-01-14 23:22:54] 695*2^1001280-1 is not prime. Res64: 0A1CE305B5C40F8F Time : 0.0 sec. user=mdettweiler [2012-01-14 23:22:55] 717*2^1001280-1 is not prime. Res64: DF254233E4859022 Time : 0.0 sec. user=mdettweiler [2012-01-14 23:27:04] 867*2^1001281-1 is not prime. Res64: 0AC1512EE72F26DA Time : 0.0 sec. user=mdettweiler [2012-01-14 23:27:11] 705*2^1001282-1 is not prime. Res64: 68A856A0107954EA Time : 0.0 sec. user=mdettweiler [2012-01-14 23:35:27] 959*2^1001280-1 is not prime. Res64: FF73475116D21E23 Time : 0.0 sec. user=mdettweiler [2012-01-14 23:35:27] 717*2^1001281-1 is not prime. Res64: B0602D39E647CCA3 Time : 0.0 sec. user=mdettweiler [2012-01-14 23:36:05] 747*2^1001281-1 is not prime. Res64: 482CAFA84A2C60CC Time : 0.0 sec. user=mdettweiler [2012-01-14 23:36:05] 777*2^1001281-1 is not prime. Res64: F82229EB014FBF95 Time : 0.0 sec. user=mdettweiler [2012-01-14 23:41:45] 945*2^1001281-1 is not prime. Res64: BB953B59BA906D81 Time : 0.0 sec. user=mdettweiler [2012-01-14 23:41:46] 633*2^1001282-1 is not prime. Res64: 41FA9F2A28B80394 Time : 0.0 sec. user=mdettweiler [2012-01-14 23:42:45] 713*2^1001282-1 is not prime. Res64: DEC0B906CE989699 Time : 0.0 sec. user=mdettweiler [2012-01-14 23:42:45] 741*2^1001282-1 is not prime. Res64: 1FE4E66282543797 Time : 0.0 sec. user=mdettweiler [2012-01-14 23:44:22] 773*2^1001268-1 is not prime. Res64: 55ACA48FD2B82EA0 Time : 0.0 sec. user=mdettweiler [2012-01-14 23:55:11] 873*2^1001282-1 is not prime. Res64: 9AC6D794B2510CBF Time : 0.0 sec. user=mdettweiler [2012-01-14 23:55:12] 893*2^1001282-1 is not prime. Res64: D682FBED14E8185B Time : 0.0 sec. user=mdettweiler [2012-01-14 23:55:44] 615*2^1001283-1 is not prime. Res64: FB3242462DC5E734 Time : 0.0 sec. user=mdettweiler [2012-01-14 23:55:45] 699*2^1001283-1 is not prime. Res64: 35341649F402727C Time : 0.0 sec.