user=mdettweiler [2012-08-21 00:04:42] 987*2^1226846-1 is not prime. Res64: 06CFE50A2C7C9269 Time : 0.0 sec. user=mdettweiler [2012-08-21 00:04:43] 871*2^1226847-1 is not prime. Res64: 915A59980A11B92B Time : 0.0 sec. user=vaughan [2012-08-21 00:09:51] 911*2^1226846-1 is not prime. Res64: 2C3C90E134F48600 Time : 0.0 sec. user=mdettweiler [2012-08-21 00:21:54] 963*2^1226847-1 is not prime. Res64: ECB7A1D166401AC6 Time : 0.0 sec. user=mdettweiler [2012-08-21 00:21:54] 973*2^1226847-1 is not prime. Res64: DDFA270E2DC33BB6 Time : 0.0 sec. user=mdettweiler [2012-08-21 00:25:38] 677*2^1226848-1 is not prime. Res64: 9F051FCBA629C19A Time : 0.0 sec. user=mdettweiler [2012-08-21 00:25:39] 707*2^1226848-1 is not prime. Res64: FA02304F3B78A8E4 Time : 0.0 sec. user=mdettweiler [2012-08-21 00:35:07] 923*2^1226846-1 is not prime. Res64: 61FBF53B6B033593 Time : 0.0 sec. user=mdettweiler [2012-08-21 00:42:51] 797*2^1226848-1 is not prime. Res64: 01BBCA1C0503453D Time : 0.0 sec. user=mdettweiler [2012-08-21 00:42:52] 989*2^1226848-1 is not prime. Res64: D9B8A17F6D8B32B7 Time : 0.0 sec. user=mdettweiler [2012-08-21 00:43:57] 909*2^1226847-1 is not prime. Res64: 1D15910D9F8B47B5 Time : 0.0 sec. user=mdettweiler [2012-08-21 00:46:33] 619*2^1226849-1 is not prime. Res64: A2351D37B86031C5 Time : 0.0 sec. user=mdettweiler [2012-08-21 00:46:33] 727*2^1226849-1 is not prime. Res64: 65989C66B8FA153F Time : 0.0 sec. user=vaughan [2012-08-21 00:47:38] 713*2^1226848-1 is not prime. Res64: 107D069113ED1911 Time : 0.0 sec. user=mdettweiler [2012-08-21 01:03:46] 681*2^1226850-1 is not prime. Res64: 1DFC8E0B832493CE Time : 0.0 sec. user=mdettweiler [2012-08-21 01:03:47] 767*2^1226850-1 is not prime. Res64: B2874CA044525463 Time : 0.0 sec. user=mdettweiler [2012-08-21 01:07:28] 843*2^1226850-1 is not prime. Res64: E2C98AC4A077B084 Time : 0.0 sec. user=mdettweiler [2012-08-21 01:07:30] 873*2^1226850-1 is not prime. Res64: C986CA078E5A4830 Time : 0.0 sec. user=mdettweiler [2012-08-21 01:24:52] 927*2^1226850-1 is not prime. Res64: 1D5436EF887C5B02 Time : 0.0 sec. user=mdettweiler [2012-08-21 01:24:52] 933*2^1226850-1 is not prime. Res64: 4F07F565942D110E Time : 0.0 sec. user=vaughan [2012-08-21 01:25:18] 915*2^1226850-1 is not prime. Res64: A5A31B85B30A579D Time : 0.0 sec. user=mdettweiler [2012-08-21 01:28:30] 941*2^1226850-1 is not prime. Res64: 01C9A6074A37E889 Time : 0.0 sec. user=mdettweiler [2012-08-21 01:28:30] 601*2^1226851-1 is not prime. Res64: 415808B49ECC3A75 Time : 0.0 sec. user=mdettweiler [2012-08-21 01:28:58] 803*2^1226850-1 is not prime. Res64: 3A8432F0DA4C215C Time : 0.0 sec. user=mdettweiler [2012-08-21 01:35:49] 879*2^1226849-1 is not prime. Res64: E5A94E81C8CDCB3F Time : 0.0 sec. user=mdettweiler [2012-08-21 01:45:48] 673*2^1226851-1 is not prime. Res64: 475E85EDC05C72E2 Time : 0.0 sec. user=mdettweiler [2012-08-21 01:45:48] 793*2^1226851-1 is not prime. Res64: 4F895CCADBD791A5 Time : 0.0 sec. user=mdettweiler [2012-08-21 01:49:25] 859*2^1226851-1 is not prime. Res64: 2648E46A44A28A7C Time : 0.0 sec. user=mdettweiler [2012-08-21 01:49:26] 913*2^1226851-1 is not prime. Res64: DC8376A714D18399 Time : 0.0 sec. user=vaughan [2012-08-21 02:02:57] 843*2^1226851-1 is not prime. Res64: 6DB5517E15A07741 Time : 0.0 sec. user=mdettweiler [2012-08-21 02:06:44] 615*2^1226852-1 is not prime. Res64: E3BF34C80A86EE8A Time : 0.0 sec. user=mdettweiler [2012-08-21 02:06:45] 665*2^1226852-1 is not prime. Res64: 24F2D70BBDB76B44 Time : 0.0 sec. user=mdettweiler [2012-08-21 02:09:53] 975*2^1226851-1 is not prime. Res64: E799C4FA24800955 Time : 0.0 sec. user=mdettweiler [2012-08-21 02:10:22] 677*2^1226852-1 is not prime. Res64: 7EF259B422D3F251 Time : 0.0 sec. user=mdettweiler [2012-08-21 02:10:24] 717*2^1226852-1 is not prime. Res64: 12F7EC4680C71A19 Time : 0.0 sec. user=mdettweiler [2012-08-21 02:12:18] 951*2^1226851-1 is not prime. Res64: 045A7E630F946183 Time : 0.0 sec. user=mdettweiler [2012-08-21 02:27:48] 957*2^1226852-1 is not prime. Res64: 93DFE9B7CC9BE87B Time : 0.0 sec. user=mdettweiler [2012-08-21 02:27:49] 983*2^1226852-1 is not prime. Res64: BCB0ADD4B5897719 Time : 0.0 sec. user=mdettweiler [2012-08-21 02:31:26] 819*2^1226853-1 is not prime. Res64: BB1513512CB20F6B Time : 0.0 sec. user=mdettweiler [2012-08-21 02:31:27] 969*2^1226853-1 is not prime. Res64: B697230151F8A894 Time : 0.0 sec. user=vaughan [2012-08-21 02:40:41] 767*2^1226852-1 is not prime. Res64: 0D3045780074B4B8 Time : 0.0 sec. user=mdettweiler [2012-08-21 02:48:49] 623*2^1226854-1 is not prime. Res64: 94654EA25F604FD1 Time : 0.0 sec. user=mdettweiler [2012-08-21 02:48:52] 825*2^1226854-1 is not prime. Res64: 81E616D038BF677B Time : 0.0 sec. user=mdettweiler [2012-08-21 02:49:42] 681*2^1226853-1 is not prime. Res64: CD7D70CEB80F7368 Time : 0.0 sec. user=mdettweiler [2012-08-21 02:52:11] 999*2^1226853-1 is not prime. Res64: 5156D0366E61D26B Time : 0.0 sec. user=mdettweiler [2012-08-21 02:52:30] 885*2^1226854-1 is not prime. Res64: 74737F720089EB60 Time : 0.0 sec. user=mdettweiler [2012-08-21 02:52:33] 887*2^1226854-1 is not prime. Res64: 68CB4076996C4C80 Time : 0.0 sec. user=mdettweiler [2012-08-21 03:10:18] 619*2^1226855-1 is not prime. Res64: AA821A520825FEB5 Time : 0.0 sec. user=mdettweiler [2012-08-21 03:10:19] 735*2^1226855-1 is not prime. Res64: 999567F435998702 Time : 0.0 sec. user=mdettweiler [2012-08-21 03:13:40] 775*2^1226855-1 is not prime. Res64: 5740F74100251ECE Time : 0.0 sec. user=mdettweiler [2012-08-21 03:13:42] 885*2^1226855-1 is not prime. Res64: 1A00153EE1A767A9 Time : 0.0 sec. user=vaughan [2012-08-21 03:18:23] 915*2^1226854-1 is not prime. Res64: 48BDA13EC4431ECD Time : 0.0 sec. user=mdettweiler [2012-08-21 03:28:20] 741*2^1226855-1 is not prime. Res64: 60D94F76B8DC33BA Time : 0.0 sec. user=mdettweiler [2012-08-21 03:31:24] 963*2^1226855-1 is not prime. Res64: 00E8CBDB8649FB1F Time : 0.0 sec. user=mdettweiler [2012-08-21 03:31:25] 689*2^1226856-1 is not prime. Res64: 24CD85B2CFC4EC9B Time : 0.0 sec. user=mdettweiler [2012-08-21 03:31:46] 759*2^1226855-1 is not prime. Res64: 7547BD465CCBFDC0 Time : 0.0 sec. user=mdettweiler [2012-08-21 03:34:45] 717*2^1226856-1 is not prime. Res64: 78F9AB9CE6EBC0BB Time : 0.0 sec. user=mdettweiler [2012-08-21 03:34:47] 809*2^1226856-1 is not prime. Res64: 5C7F15D2D2245BED Time : 0.0 sec. user=mdettweiler [2012-08-21 03:52:24] 637*2^1226857-1 is not prime. Res64: 0A63F44CBBD82566 Time : 0.0 sec. user=mdettweiler [2012-08-21 03:52:24] 715*2^1226857-1 is not prime. Res64: B19D199EBB3B3608 Time : 0.0 sec. user=vaughan [2012-08-21 03:56:04] 899*2^1226856-1 is not prime. Res64: BD23E2BD2DFBDFC4 Time : 0.0 sec. user=mdettweiler [2012-08-21 03:56:10] 801*2^1226857-1 is not prime. Res64: 8B46FDA521E0653F Time : 0.0 sec. user=mdettweiler [2012-08-21 03:56:10] 847*2^1226857-1 is not prime. Res64: CBF2D97678D6C5C9 Time : 0.0 sec. user=mdettweiler [2012-08-21 04:07:19] 993*2^1226856-1 is not prime. Res64: 22ACB03AB1923AEF Time : 0.0 sec. user=mdettweiler [2012-08-21 04:11:31] 769*2^1226857-1 is not prime. Res64: A815591977962529 Time : 0.0 sec. user=mdettweiler [2012-08-21 04:13:26] 895*2^1226857-1 is not prime. Res64: 9190C640BD64B5A9 Time : 0.0 sec. user=mdettweiler [2012-08-21 04:13:27] 627*2^1226858-1 is not prime. Res64: 5908BF9CF0C1315D Time : 0.0 sec. user=mdettweiler [2012-08-21 04:17:15] 743*2^1226858-1 is not prime. Res64: 18ACC847AB6F31D7 Time : 0.0 sec. user=mdettweiler [2012-08-21 04:17:16] 755*2^1226858-1 is not prime. Res64: 76C977BB822B0300 Time : 0.0 sec. user=vaughan [2012-08-21 04:33:42] 731*2^1226858-1 is not prime. Res64: D9EFFC7FE80642B5 Time : 0.0 sec. user=mdettweiler [2012-08-21 04:34:23] 951*2^1226858-1 is not prime. Res64: 9CE0E4F31A7649D0 Time : 0.0 sec. user=mdettweiler [2012-08-21 04:34:24] 615*2^1226859-1 is not prime. Res64: 9642247442EE6DF2 Time : 0.0 sec. user=mdettweiler [2012-08-21 04:38:14] 709*2^1226859-1 is not prime. Res64: C14704DA7BBEF281 Time : 0.0 sec. user=mdettweiler [2012-08-21 04:38:17] 723*2^1226859-1 is not prime. Res64: 43549943FF1BAEAF Time : 0.0 sec. user=mdettweiler [2012-08-21 04:47:45] 831*2^1226858-1 is not prime. Res64: 2E1462541D68FE68 Time : 0.0 sec. user=gd_barnes [2012-08-21 04:49:36] 745*2^1226859-1 is not prime. Res64: 60A6AA0EA69B1554 Time : 0.0 sec. user=mdettweiler [2012-08-21 04:53:13] 893*2^1226858-1 is not prime. Res64: 00F7E16E8D393D31 Time : 0.0 sec. user=mdettweiler [2012-08-21 04:55:23] 823*2^1226859-1 is not prime. Res64: CEF22B1921C03D2F Time : 0.0 sec. user=mdettweiler [2012-08-21 04:55:23] 859*2^1226859-1 is not prime. Res64: 964AD83D532DA3B4 Time : 0.0 sec. user=mdettweiler [2012-08-21 04:59:19] 903*2^1226859-1 is not prime. Res64: BF3895E4B6B9EE74 Time : 0.0 sec. user=mdettweiler [2012-08-21 04:59:19] 755*2^1226860-1 is not prime. Res64: 2F31DDC2E84887F8 Time : 0.0 sec. user=vaughan [2012-08-21 05:11:38] 751*2^1226859-1 is not prime. Res64: 0723C7B3D7868FCC Time : 0.0 sec. user=mdettweiler [2012-08-21 05:16:23] 923*2^1226860-1 is not prime. Res64: E7FF494BC9653F28 Time : 0.0 sec. user=mdettweiler [2012-08-21 05:16:25] 927*2^1226860-1 is not prime. Res64: CD8D0835BBFB2AA7 Time : 0.0 sec. user=mdettweiler [2012-08-21 05:20:17] 959*2^1226860-1 is not prime. Res64: 706B2F76FB1D9CA0 Time : 0.0 sec. user=mdettweiler [2012-08-21 05:20:17] 965*2^1226860-1 is not prime. Res64: 344EEF450C4EBEDC Time : 0.0 sec. user=mdettweiler [2012-08-21 05:28:23] 803*2^1226860-1 is not prime. Res64: 549DD8D03FBB7156 Time : 0.0 sec. user=mdettweiler [2012-08-21 05:32:07] 875*2^1226860-1 is not prime. Res64: 85B199BD4E82111E Time : 0.0 sec. user=mdettweiler [2012-08-21 05:37:22] 691*2^1226861-1 is not prime. Res64: C36A55B2FD75F40F Time : 0.0 sec. user=mdettweiler [2012-08-21 05:37:23] 697*2^1226861-1 is not prime. Res64: 0994479351A1912B Time : 0.0 sec. user=mdettweiler [2012-08-21 05:41:13] 747*2^1226862-1 is not prime. Res64: 0E1CF0A92CFB817B Time : 0.0 sec. user=mdettweiler [2012-08-21 05:41:14] 843*2^1226862-1 is not prime. Res64: 0B6D55A3C0E3B6B9 Time : 0.0 sec. user=vaughan [2012-08-21 05:49:35] 675*2^1226861-1 is not prime. Res64: 69429B81247EA229 Time : 0.0 sec. user=mdettweiler [2012-08-21 05:58:20] 975*2^1226862-1 is not prime. Res64: 5FA2AD0BD4070731 Time : 0.0 sec. user=mdettweiler [2012-08-21 05:58:20] 639*2^1226863-1 is not prime. Res64: 5A919F6AC943DB15 Time : 0.0 sec. user=mdettweiler [2012-08-21 06:02:09] 703*2^1226863-1 is not prime. Res64: 0BE1960CB2B5158B Time : 0.0 sec. user=mdettweiler [2012-08-21 06:02:09] 741*2^1226863-1 is not prime. Res64: C8ADFB6E14A48FAF Time : 0.0 sec. user=mdettweiler [2012-08-21 06:07:51] 891*2^1226862-1 is not prime. Res64: 2C775FC0C2D7298B Time : 0.0 sec. user=mdettweiler [2012-08-21 06:11:58] 957*2^1226862-1 is not prime. Res64: 569D5A0ABBA35A3B Time : 0.0 sec. user=mdettweiler [2012-08-21 06:19:20] 635*2^1226864-1 is not prime. Res64: 6939641BFF7AE552 Time : 0.0 sec. user=mdettweiler [2012-08-21 06:19:20] 677*2^1226864-1 is not prime. Res64: 6BEC4E3663189CE7 Time : 0.0 sec. user=mdettweiler [2012-08-21 06:23:09] 773*2^1226864-1 is not prime. Res64: 8E4FA4328B7771B9 Time : 0.0 sec. user=mdettweiler [2012-08-21 06:23:09] 825*2^1226864-1 is not prime. Res64: AF05C5773C7A7F09 Time : 0.0 sec. user=vaughan [2012-08-21 06:27:22] 609*2^1226864-1 is not prime. Res64: 7C0A005BCED24150 Time : 0.0 sec. user=mdettweiler [2012-08-21 06:40:25] 705*2^1226865-1 is not prime. Res64: DE32595418C3899F Time : 0.0 sec. user=mdettweiler [2012-08-21 06:40:25] 717*2^1226865-1 is not prime. Res64: 690FB451ED6B7A95 Time : 0.0 sec. user=mdettweiler [2012-08-21 06:44:07] 759*2^1226865-1 is not prime. Res64: 9673182B39195BCB Time : 0.0 sec. user=mdettweiler [2012-08-21 06:44:07] 789*2^1226865-1 is not prime. Res64: 40DA44D692C10F46 Time : 0.0 sec. user=mdettweiler [2012-08-21 06:48:09] 857*2^1226864-1 is not prime. Res64: 45EC41F13A21AF25 Time : 0.0 sec. user=mdettweiler [2012-08-21 07:01:20] 915*2^1226865-1 is not prime. Res64: 7146DF51615C2B2D Time : 0.0 sec. user=mdettweiler [2012-08-21 07:01:21] 765*2^1226866-1 is not prime. Res64: 191992BE8F53FE47 Time : 0.0 sec. user=vaughan [2012-08-21 07:05:01] 891*2^1226865-1 is not prime. Res64: 5ABCAEB72015C31E Time : 0.0 sec. user=mdettweiler [2012-08-21 07:05:04] 801*2^1226866-1 is not prime. Res64: A2E7F97E91B631FE Time : 0.0 sec. user=mdettweiler [2012-08-21 07:05:08] 825*2^1226866-1 is not prime. Res64: 55A289996AFE8DCE Time : 0.0 sec. user=mdettweiler [2012-08-21 07:22:26] 933*2^1226866-1 is not prime. Res64: 0F08C6834D029C6B Time : 0.0 sec. user=mdettweiler [2012-08-21 07:22:27] 945*2^1226866-1 is not prime. Res64: 02695B36172E2D32 Time : 0.0 sec. user=mdettweiler [2012-08-21 07:26:01] 873*2^1226866-1 is not prime. Res64: 32A1FA6DEE175462 Time : 0.0 sec. user=mdettweiler [2012-08-21 07:26:34] 987*2^1226866-1 is not prime. Res64: 1938F9B7FEDD34A2 Time : 0.0 sec. user=mdettweiler [2012-08-21 07:26:36] 675*2^1226867-1 is not prime. Res64: 2A6F506850AA3517 Time : 0.0 sec. user=mdettweiler [2012-08-21 07:41:14] 923*2^1226864-1 is not prime. Res64: 2E914D574E69B269 Time : 0.0 sec. user=vaughan [2012-08-21 07:43:18] 939*2^1226867-1 is not prime. Res64: 82E7D2141AB740A0 Time : 0.0 sec. user=mdettweiler [2012-08-21 07:43:25] 993*2^1226867-1 is not prime. Res64: DF66662828B90541 Time : 0.0 sec. user=mdettweiler [2012-08-21 07:43:26] 723*2^1226868-1 is not prime. Res64: E69556D7B90FC476 Time : 0.0 sec. user=mdettweiler [2012-08-21 07:47:34] 625*2^1226869-1 is not prime. Res64: 4603B052CE41032E Time : 0.0 sec. user=mdettweiler [2012-08-21 07:47:34] 771*2^1226869-1 is not prime. Res64: 6DC7DDF99B01A7D9 Time : 0.0 sec. user=mdettweiler [2012-08-21 08:04:14] 735*2^1226868-1 is not prime. Res64: 1DC60A6BF411C5EA Time : 0.0 sec. user=mdettweiler [2012-08-21 08:04:19] 957*2^1226869-1 is not prime. Res64: 4EFC4648B02A8FD3 Time : 0.0 sec. user=mdettweiler [2012-08-21 08:04:22] 645*2^1226870-1 is not prime. Res64: 2F98C65CB8B4D039 Time : 0.0 sec. user=mdettweiler [2012-08-21 08:08:26] 675*2^1226870-1 is not prime. Res64: 0B1F7832CA17C0ED Time : 0.0 sec. user=mdettweiler [2012-08-21 08:08:28] 773*2^1226870-1 is not prime. Res64: 81CB0DA34082A8FD Time : 0.0 sec. user=vaughan [2012-08-21 08:20:58] 925*2^1226869-1 is not prime. Res64: CE10EE3CB173FFC7 Time : 0.0 sec. user=mdettweiler [2012-08-21 08:21:13] 825*2^1226869-1 is not prime. Res64: 87411F6A41AEC64B Time : 0.0 sec. user=mdettweiler [2012-08-21 08:25:39] 857*2^1226870-1 is not prime. Res64: 355D6B7B19EA6DA4 Time : 0.0 sec. user=mdettweiler [2012-08-21 08:25:40] 861*2^1226870-1 is not prime. Res64: F7C9D738F8F0D5C2 Time : 0.0 sec. user=mdettweiler [2012-08-21 08:29:22] 921*2^1226870-1 is not prime. Res64: 79601B03A7217889 Time : 0.0 sec. user=mdettweiler [2012-08-21 08:29:22] 613*2^1226871-1 is not prime. Res64: 579E4C04B94AD0F5 Time : 0.0 sec. user=mdettweiler [2012-08-21 08:43:36] 851*2^1226870-1 is not prime. Res64: B91A21471F74E502 Time : 0.0 sec. user=mdettweiler [2012-08-21 08:46:34] 661*2^1226871-1 is not prime. Res64: C0634F541B40C2D1 Time : 0.0 sec. user=mdettweiler [2012-08-21 08:46:35] 789*2^1226871-1 is not prime. Res64: 71C152B4C9BF18D0 Time : 0.0 sec. user=mdettweiler [2012-08-21 08:50:15] 829*2^1226871-1 is not prime. Res64: F098B653D680DBF4 Time : 0.0 sec. user=mdettweiler [2012-08-21 08:50:16] 979*2^1226871-1 is not prime. Res64: 0B344B86F88A37ED Time : 0.0 sec. user=vaughan [2012-08-21 08:58:36] 625*2^1226871-1 is not prime. Res64: ACA425560BD9B0F0 Time : 0.0 sec. user=mdettweiler [2012-08-21 09:00:14] 649*2^1226871-1 is not prime. Res64: C4602257216B7863 Time : 0.0 sec. user=mdettweiler [2012-08-21 09:07:30] 723*2^1226872-1 is not prime. Res64: 49A16F5FFEA7617E Time : 0.0 sec. user=mdettweiler [2012-08-21 09:07:31] 873*2^1226872-1 is not prime. Res64: 5EA0E6C10101A02A Time : 0.0 sec. user=mdettweiler [2012-08-21 09:11:09] 999*2^1226872-1 is not prime. Res64: D2677A72AD97B5C0 Time : 0.0 sec. user=mdettweiler [2012-08-21 09:11:10] 649*2^1226873-1 is not prime. Res64: 187AD07308C77DC9 Time : 0.0 sec. user=mdettweiler [2012-08-21 09:23:52] 675*2^1226872-1 is not prime. Res64: BE4604B3B7DEDD96 Time : 0.0 sec. user=mdettweiler [2012-08-21 09:28:36] 957*2^1226873-1 is not prime. Res64: CF48D4F6A0ECF424 Time : 0.0 sec. user=mdettweiler [2012-08-21 09:28:36] 681*2^1226874-1 is not prime. Res64: 90C554233E832862 Time : 0.0 sec. user=mdettweiler [2012-08-21 09:34:48] 885*2^1226873-1 is not prime. Res64: F51B41D2A87CF984 Time : 0.0 sec. user=vaughan [2012-08-21 09:36:15] 729*2^1226873-1 is not prime. Res64: 8ACDE702B49FA631 Time : 0.0 sec. user=mdettweiler [2012-08-21 09:49:32] 815*2^1226874-1 is not prime. Res64: 0A56CB569C52D971 Time : 0.0 sec. user=mdettweiler [2012-08-21 09:49:32] 837*2^1226874-1 is not prime. Res64: D3B8038B5A9B375C Time : 0.0 sec. user=mdettweiler [2012-08-21 10:02:33] 741*2^1226874-1 is not prime. Res64: 78A3BB7AF9CE6B3D Time : 0.0 sec. user=mdettweiler [2012-08-21 10:03:21] 711*2^1226874-1 is not prime. Res64: A56315FD417CA58D Time : 0.0 sec. user=mdettweiler [2012-08-21 10:03:25] 717*2^1226874-1 is not prime. Res64: EC159B63D94318F3 Time : 0.0 sec. user=mdettweiler [2012-08-21 10:10:29] 927*2^1226874-1 is not prime. Res64: F0D09A9A3D4FBE61 Time : 0.0 sec. user=mdettweiler [2012-08-21 10:10:30] 691*2^1226875-1 is not prime. Res64: A6848494537D01CE Time : 0.0 sec. user=mdettweiler [2012-08-21 10:12:49] 861*2^1226874-1 is not prime. Res64: 8327CA1C34FE9EB5 Time : 0.0 sec. user=vaughan [2012-08-21 10:13:55] 887*2^1226874-1 is not prime. Res64: 74DF64926B0D4829 Time : 0.0 sec. user=mdettweiler [2012-08-21 10:24:31] 789*2^1226875-1 is not prime. Res64: DA8980C679D4017F Time : 0.0 sec. user=mdettweiler [2012-08-21 10:24:32] 861*2^1226875-1 is not prime. Res64: 0D4C4400D5B37D34 Time : 0.0 sec. user=mdettweiler [2012-08-21 10:31:32] 873*2^1226875-1 is not prime. Res64: DC360B3CC683E8FF Time : 0.0 sec. user=mdettweiler [2012-08-21 10:31:32] 943*2^1226875-1 is not prime. Res64: 2B29AD15763ACAFE Time : 0.0 sec. user=mdettweiler [2012-08-21 10:43:14] 775*2^1226875-1 is not prime. Res64: F7B5BB5BDA9E41D3 Time : 0.0 sec. user=mdettweiler [2012-08-21 10:45:49] 777*2^1226876-1 is not prime. Res64: 2CF2FBAD6A33C07F Time : 0.0 sec. user=mdettweiler [2012-08-21 10:45:49] 845*2^1226876-1 is not prime. Res64: D6107C7D0D1EECA1 Time : 0.0 sec. user=vaughan [2012-08-21 10:51:35] 735*2^1226876-1 is not prime. Res64: 8045BF3C347F0B9E Time : 0.0 sec. user=mdettweiler [2012-08-21 10:52:39] 855*2^1226876-1 is not prime. Res64: BD228C5AFB9FC5C5 Time : 0.0 sec. user=mdettweiler [2012-08-21 10:52:40] 875*2^1226876-1 is not prime. Res64: 6E9DE3CF08231B6C Time : 0.0 sec. user=mdettweiler [2012-08-21 10:54:25] 677*2^1226876-1 is not prime. Res64: FCDB521E17B4094D Time : 0.0 sec. user=mdettweiler [2012-08-21 11:06:59] 963*2^1226876-1 is not prime. Res64: 60BBE87EBDA298DD Time : 0.0 sec. user=mdettweiler [2012-08-21 11:07:00] 993*2^1226876-1 is not prime. Res64: AFCA8E5A01371998 Time : 0.0 sec. user=mdettweiler [2012-08-21 11:13:45] 865*2^1226877-1 is not prime. Res64: F693DECF8A06F147 Time : 0.0 sec. user=mdettweiler [2012-08-21 11:13:47] 891*2^1226877-1 is not prime. Res64: 120C82CFBA559343 Time : 0.0 sec. user=mdettweiler [2012-08-21 11:23:02] 899*2^1226876-1 is not prime. Res64: DBFDDA6865D883A0 Time : 0.0 sec. user=mdettweiler [2012-08-21 11:28:16] 743*2^1226878-1 is not prime. Res64: 113B0F401633BBA0 Time : 0.0 sec. user=mdettweiler [2012-08-21 11:28:18] 915*2^1226878-1 is not prime. Res64: C008FAD84983125F Time : 0.0 sec. user=vaughan [2012-08-21 11:29:14] 727*2^1226877-1 is not prime. Res64: E8CC3EA6CAAD93BA Time : 0.0 sec. user=mdettweiler [2012-08-21 11:34:30] 975*2^1226877-1 is not prime. Res64: BC6828F5DA548A19 Time : 0.0 sec. user=mdettweiler [2012-08-21 11:34:57] 621*2^1226879-1 is not prime. Res64: 49299D16A4B0B1B1 Time : 0.0 sec. user=mdettweiler [2012-08-21 11:34:58] 655*2^1226879-1 is not prime. Res64: 243A8901A4E7C8AB Time : 0.0 sec. user=mdettweiler [2012-08-21 11:49:25] 921*2^1226879-1 is not prime. Res64: D736F965C59AF387 Time : 0.0 sec. user=mdettweiler [2012-08-21 11:49:26] 615*2^1226880-1 is not prime. Res64: 56CC553529EC05EE Time : 0.0 sec. user=mdettweiler [2012-08-21 11:56:04] 695*2^1226880-1 is not prime. Res64: 599FDB4E126A8A04 Time : 0.0 sec. user=mdettweiler [2012-08-21 11:56:05] 719*2^1226880-1 is not prime. Res64: 228E59C016B0ECD7 Time : 0.0 sec. user=mdettweiler [2012-08-21 12:03:45] 861*2^1226879-1 is not prime. Res64: 30919D136F2A1DF7 Time : 0.0 sec. user=vaughan [2012-08-21 12:07:00] 635*2^1226880-1 is not prime. Res64: 5FA8323393D395C0 Time : 0.0 sec. user=mdettweiler [2012-08-21 12:10:36] 767*2^1226880-1 is not prime. Res64: 5DEB0F7795623C24 Time : 0.0 sec. user=mdettweiler [2012-08-21 12:10:36] 927*2^1226880-1 is not prime. Res64: 05DEE1D971BD3D40 Time : 0.0 sec. user=mdettweiler [2012-08-21 12:15:52] 675*2^1226880-1 is not prime. Res64: 6FFCFFEA8DF9D769 Time : 0.0 sec. user=mdettweiler [2012-08-21 12:17:27] 933*2^1226880-1 is not prime. Res64: 4A90A8D3484C24BD Time : 0.0 sec. user=mdettweiler [2012-08-21 12:17:28] 959*2^1226880-1 is not prime. Res64: 3D37DA14DBDA1491 Time : 0.0 sec. user=mdettweiler [2012-08-21 12:31:50] 955*2^1226881-1 is not prime. Res64: 52F785CDA2F5770C Time : 0.0 sec. user=mdettweiler [2012-08-21 12:31:51] 615*2^1226882-1 is not prime. Res64: A283BA7C975680A0 Time : 0.0 sec. user=mdettweiler [2012-08-21 12:38:35] 713*2^1226882-1 is not prime. Res64: FFBB7C52C412AFA8 Time : 0.0 sec. user=mdettweiler [2012-08-21 12:38:36] 735*2^1226882-1 is not prime. Res64: 82FFD8853BFE2DE7 Time : 0.0 sec. user=mdettweiler [2012-08-21 12:44:27] 769*2^1226881-1 is not prime. Res64: 21FF8707B8B6FB63 Time : 0.0 sec. user=vaughan [2012-08-21 12:44:56] 847*2^1226881-1 is not prime. Res64: 70CDE00AF2BC75F3 Time : 0.0 sec. user=mdettweiler [2012-08-21 12:53:03] 887*2^1226882-1 is not prime. Res64: D06052860E1EF72F Time : 0.0 sec. user=mdettweiler [2012-08-21 12:53:04] 609*2^1226883-1 is not prime. Res64: EC9CEF125BBBC7FF Time : 0.0 sec. user=mdettweiler [2012-08-21 12:59:04] 635*2^1226882-1 is not prime. Res64: 3DD4FD58FBEC04EE Time : 0.0 sec. user=mdettweiler [2012-08-21 12:59:39] 705*2^1226883-1 is not prime. Res64: C4AC01FA1F4204D3 Time : 0.0 sec. user=mdettweiler [2012-08-21 12:59:40] 751*2^1226883-1 is not prime. Res64: 2BC67E70BCC84265 Time : 0.0 sec. user=mdettweiler [2012-08-21 13:14:04] 813*2^1226884-1 is not prime. Res64: 4949F241CED17E79 Time : 0.0 sec. user=mdettweiler [2012-08-21 13:14:05] 827*2^1226884-1 is not prime. Res64: 80B655E9AEB863F2 Time : 0.0 sec. user=mdettweiler [2012-08-21 13:20:38] 887*2^1226884-1 is not prime. Res64: 6A14EDC4B2900E4B Time : 0.0 sec. user=mdettweiler [2012-08-21 13:20:39] 993*2^1226884-1 is not prime. Res64: A5A09AAAD4D723AC Time : 0.0 sec. user=mdettweiler [2012-08-21 13:22:11] 921*2^1226883-1 is not prime. Res64: 07E124A0976D066D Time : 0.0 sec. user=vaughan [2012-08-21 13:22:41] 639*2^1226884-1 is not prime. Res64: 56F6344A1D22B8E0 Time : 0.0 sec. user=mdettweiler [2012-08-21 13:35:11] 657*2^1226885-1 is not prime. Res64: A6AB945D77BC5BB7 Time : 0.0 sec. user=mdettweiler [2012-08-21 13:35:11] 795*2^1226885-1 is not prime. Res64: 1E93943D5FADB5B6 Time : 0.0 sec. user=mdettweiler [2012-08-21 13:36:37] 857*2^1226884-1 is not prime. Res64: 604EB62FB59FD4E7 Time : 0.0 sec. user=mdettweiler [2012-08-21 13:41:41] 811*2^1226885-1 is not prime. Res64: 7BB0B320FCB31822 Time : 0.0 sec. user=mdettweiler [2012-08-21 13:41:42] 847*2^1226885-1 is not prime. Res64: 5B2A1660630ED4C4 Time : 0.0 sec. user=mdettweiler [2012-08-21 13:56:10] 761*2^1226886-1 is not prime. Res64: 047ADD2990054797 Time : 0.0 sec. user=mdettweiler [2012-08-21 13:56:11] 795*2^1226886-1 is not prime. Res64: A6DAA9DD394ACBE0 Time : 0.0 sec. user=vaughan [2012-08-21 14:00:19] 611*2^1226886-1 is not prime. Res64: B158C067897DC358 Time : 0.0 sec. user=mdettweiler [2012-08-21 14:02:42] 873*2^1226886-1 is not prime. Res64: 9F0B5487668C8306 Time : 0.0 sec. user=mdettweiler [2012-08-21 14:02:44] 609*2^1226887-1 is not prime. Res64: F8194468052D8595 Time : 0.0 sec. user=mdettweiler [2012-08-21 14:03:48] 859*2^1226885-1 is not prime. Res64: E3C54D5533FC19DA Time : 0.0 sec. user=mdettweiler [2012-08-21 14:17:10] 645*2^1226887-1 is not prime. Res64: 4A5AF6A980742A78 Time : 0.0 sec. user=mdettweiler [2012-08-21 14:17:10] 703*2^1226887-1 is not prime. Res64: 8D9981315FC70D81 Time : 0.0 sec. user=mdettweiler [2012-08-21 14:17:30] 861*2^1226886-1 is not prime. Res64: BA084E4FA52AD8F4 Time : 0.0 sec. user=mdettweiler [2012-08-21 14:23:52] 919*2^1226887-1 is not prime. Res64: 0CDB93A3E3F146E4 Time : 0.0 sec. user=mdettweiler [2012-08-21 14:23:53] 925*2^1226887-1 is not prime. Res64: 2586AF68131B8335 Time : 0.0 sec. user=vaughan [2012-08-21 14:37:57] 729*2^1226887-1 is not prime. Res64: BEAF410A6756BA97 Time : 0.0 sec. user=mdettweiler [2012-08-21 14:38:13] 985*2^1226887-1 is not prime. Res64: F2227EBD60777C4A Time : 0.0 sec. user=mdettweiler [2012-08-21 14:38:13] 603*2^1226888-1 is not prime. Res64: EAAB190C6AE98C68 Time : 0.0 sec. user=mdettweiler [2012-08-21 14:44:49] 683*2^1226888-1 is not prime. Res64: 20F476C992E59037 Time : 0.0 sec. user=mdettweiler [2012-08-21 14:44:50] 813*2^1226888-1 is not prime. Res64: 21A75280DB858B6E Time : 0.0 sec. user=mdettweiler [2012-08-21 14:45:20] 973*2^1226887-1 is not prime. Res64: 41B4CDC3F3F0B023 Time : 0.0 sec. user=mdettweiler [2012-08-21 14:56:39] 645*2^1226888-1 is not prime. Res64: 11C85C9284051B24 Time : 0.0 sec. user=mdettweiler [2012-08-21 14:59:19] 867*2^1226888-1 is not prime. Res64: 6359FA04241788F2 Time : 0.0 sec. user=mdettweiler [2012-08-21 14:59:19] 963*2^1226888-1 is not prime. Res64: 0BD737F341A5BF0C Time : 0.0 sec. user=mdettweiler [2012-08-21 15:05:45] 681*2^1226889-1 is not prime. Res64: 98513EB2B7023DF7 Time : 0.0 sec. user=mdettweiler [2012-08-21 15:05:47] 765*2^1226889-1 is not prime. Res64: 7DB1FD3967635BBA Time : 0.0 sec. user=vaughan [2012-08-21 15:15:37] 843*2^1226888-1 is not prime. Res64: 0C0BF95957AF0BBD Time : 0.0 sec. user=mdettweiler [2012-08-21 15:20:15] 675*2^1226890-1 is not prime. Res64: 5DB30DD570A112A0 Time : 0.0 sec. user=mdettweiler [2012-08-21 15:20:15] 701*2^1226890-1 is not prime. Res64: 90A1D6CE2D3454B8 Time : 0.0 sec. user=mdettweiler [2012-08-21 15:23:40] 787*2^1226889-1 is not prime. Res64: D79026008A7210D3 Time : 0.0 sec. user=mdettweiler [2012-08-21 15:26:55] 825*2^1226890-1 is not prime. Res64: 45AD8670E34F0E94 Time : 0.0 sec. user=mdettweiler [2012-08-21 15:26:55] 827*2^1226890-1 is not prime. Res64: 6141EB144F4BBB40 Time : 0.0 sec. user=mdettweiler [2012-08-21 15:34:29] 611*2^1226890-1 is not prime. Res64: 4AED777BC7D06612 Time : 0.0 sec. user=mdettweiler [2012-08-21 15:41:11] 867*2^1226890-1 is not prime. Res64: 419AA4CC2E3D8138 Time : 0.0 sec. user=mdettweiler [2012-08-21 15:41:11] 933*2^1226890-1 is not prime. Res64: 7F78F3CEDBDD9C34 Time : 0.0 sec. user=mdettweiler [2012-08-21 15:47:53] 987*2^1226890-1 is not prime. Res64: BEB44937AA16D3AF Time : 0.0 sec. user=mdettweiler [2012-08-21 15:47:53] 609*2^1226891-1 is not prime. Res64: 4A0A028C000A8623 Time : 0.0 sec. user=vaughan [2012-08-21 15:53:20] 833*2^1226890-1 is not prime. Res64: DC36F3634001BEDB Time : 0.0 sec. user=mdettweiler [2012-08-21 16:00:01] 971*2^1226890-1 is not prime. Res64: D2B35D055F4DF3E5 Time : 0.0 sec. user=mdettweiler [2012-08-21 16:02:10] 775*2^1226891-1 is not prime. Res64: A22967839BCF7834 Time : 0.0 sec. user=mdettweiler [2012-08-21 16:02:11] 789*2^1226891-1 is not prime. Res64: 7D4A4375ACA35A5F Time : 0.0 sec. user=mdettweiler [2012-08-21 16:08:55] 823*2^1226891-1 is not prime. Res64: EDB098B1EBBEEEA5 Time : 0.0 sec. user=mdettweiler [2012-08-21 16:08:56] 885*2^1226891-1 is not prime. Res64: 8F3BA116D012C2D5 Time : 0.0 sec. user=mdettweiler [2012-08-21 16:11:29] 631*2^1226891-1 is not prime. Res64: 38DABEB0EE065291 Time : 0.0 sec. user=mdettweiler [2012-08-21 16:23:21] 689*2^1226892-1 is not prime. Res64: A9345544D87E342A Time : 0.0 sec. user=mdettweiler [2012-08-21 16:23:22] 765*2^1226892-1 is not prime. Res64: 69381D2999B9EE44 Time : 0.0 sec. user=mdettweiler [2012-08-21 16:30:13] 987*2^1226892-1 is not prime. Res64: 9E84A8CCD610511F Time : 0.0 sec. user=mdettweiler [2012-08-21 16:30:13] 679*2^1226893-1 is not prime. Res64: 11A6087FBE54113F Time : 0.0 sec. user=vaughan [2012-08-21 16:31:09] 981*2^1226891-1 is not prime. Res64: 10A2A2882A60B97E Time : 0.0 sec. user=mdettweiler [2012-08-21 16:33:24] 669*2^1226892-1 is not prime. Res64: D3FCBDB65A5666CA Time : 0.0 sec. user=mdettweiler [2012-08-21 16:44:24] 915*2^1226893-1 is not prime. Res64: 716A3BC53971EB0E Time : 0.0 sec. user=mdettweiler [2012-08-21 16:44:24] 937*2^1226893-1 is not prime. Res64: 148B95A28F87CE6F Time : 0.0 sec. user=mdettweiler [2012-08-21 16:47:39] 775*2^1226893-1 is not prime. Res64: F201C7D268D6CB64 Time : 0.0 sec. user=mdettweiler [2012-08-21 16:51:13] 945*2^1226893-1 is not prime. Res64: 7C5651227F88D9DF Time : 0.0 sec. user=mdettweiler [2012-08-21 16:51:13] 957*2^1226893-1 is not prime. Res64: 5358A543CED6622B Time : 0.0 sec. user=mdettweiler [2012-08-21 17:05:20] 743*2^1226894-1 is not prime. Res64: A45231F2B3527270 Time : 0.0 sec. user=mdettweiler [2012-08-21 17:05:23] 857*2^1226894-1 is not prime. Res64: A88D0A132FD7409C Time : 0.0 sec. user=mdettweiler [2012-08-21 17:07:57] 623*2^1226894-1 is not prime. Res64: CB48FD69C78394BD Time : 0.0 sec. user=vaughan [2012-08-21 17:08:48] 961*2^1226893-1 is not prime. Res64: 8BAFB6F9E73C6CBA Time : 0.0 sec. user=mdettweiler [2012-08-21 17:12:08] 953*2^1226894-1 is not prime. Res64: 32D72EC46FAA8DDB Time : 0.0 sec. user=mdettweiler [2012-08-21 17:12:09] 859*2^1226895-1 is not prime. Res64: B37D0E6FFEEB0654 Time : 0.0 sec. user=mdettweiler [2012-08-21 17:22:30] 875*2^1226894-1 is not prime. Res64: 1466F3BDAA74B8C1 Time : 0.0 sec. user=mdettweiler [2012-08-21 17:26:38] 909*2^1226895-1 is not prime. Res64: EC07DBFC75381F81 Time : 0.0 sec. user=mdettweiler [2012-08-21 17:26:39] 913*2^1226895-1 is not prime. Res64: 41BF43D249969F9B Time : 0.0 sec. user=mdettweiler [2012-08-21 17:33:05] 825*2^1226896-1 is not prime. Res64: 5DC3613050AE1244 Time : 0.0 sec. user=mdettweiler [2012-08-21 17:33:06] 873*2^1226896-1 is not prime. Res64: 2A4460F4B0283AF3 Time : 0.0 sec. user=mdettweiler [2012-08-21 17:42:56] 979*2^1226895-1 is not prime. Res64: 57E7E435FB4A55B2 Time : 0.0 sec. user=vaughan [2012-08-21 17:46:30] 695*2^1226896-1 is not prime. Res64: F431F247582DABB2 Time : 0.0 sec. user=mdettweiler [2012-08-21 17:47:35] 975*2^1226896-1 is not prime. Res64: 3A1EEEF0D612921B Time : 0.0 sec. user=mdettweiler [2012-08-21 17:47:36] 615*2^1226897-1 is not prime. Res64: 7795A1E91711278C Time : 0.0 sec. user=mdettweiler [2012-08-21 17:54:01] 619*2^1226897-1 is not prime. Res64: 831116A9AC5E6415 Time : 0.0 sec. user=mdettweiler [2012-08-21 17:54:02] 729*2^1226897-1 is not prime. Res64: 31A247B16153A3D1 Time : 0.0 sec. user=mdettweiler [2012-08-21 17:57:15] 899*2^1226896-1 is not prime. Res64: C285A45F2A669DB6 Time : 0.0 sec. user=mdettweiler [2012-08-21 18:08:30] 967*2^1226897-1 is not prime. Res64: 16DA89242F7FDC0C Time : 0.0 sec. user=mdettweiler [2012-08-21 18:08:32] 657*2^1226898-1 is not prime. Res64: 25ACCFB08FF88EBE Time : 0.0 sec. user=mdettweiler [2012-08-21 18:14:57] 671*2^1226898-1 is not prime. Res64: 5E701E5B57197C35 Time : 0.0 sec. user=mdettweiler [2012-08-21 18:14:57] 791*2^1226898-1 is not prime. Res64: 2FE1A6F86096F2C8 Time : 0.0 sec. user=mdettweiler [2012-08-21 18:17:30] 747*2^1226897-1 is not prime. Res64: 761E5B1E16169FC5 Time : 0.0 sec. user=vaughan [2012-08-21 18:24:09] 867*2^1226897-1 is not prime. Res64: BCFEACA38F0BC822 Time : 0.0 sec. user=mdettweiler [2012-08-21 18:29:33] 833*2^1226898-1 is not prime. Res64: 91D5195643F35843 Time : 0.0 sec. user=mdettweiler [2012-08-21 18:29:34] 927*2^1226898-1 is not prime. Res64: B2B2AD290BF2BAC8 Time : 0.0 sec. user=mdettweiler [2012-08-21 18:31:46] 801*2^1226898-1 is not prime. Res64: A9B852891241E9B5 Time : 0.0 sec. user=mdettweiler [2012-08-21 18:35:58] 679*2^1226899-1 is not prime. Res64: 75E6515E4DD04131 Time : 0.0 sec. user=mdettweiler [2012-08-21 18:35:58] 691*2^1226899-1 is not prime. Res64: 64BC2A35D76B6402 Time : 0.0 sec. user=mdettweiler [2012-08-21 18:50:41] 843*2^1226899-1 is not prime. Res64: 35D60A56EEB430A7 Time : 0.0 sec. user=mdettweiler [2012-08-21 18:50:41] 859*2^1226899-1 is not prime. Res64: 8F0CF204F0E9BB45 Time : 0.0 sec. user=mdettweiler [2012-08-21 18:54:00] 765*2^1226899-1 is not prime. Res64: 0716E78C4F03944D Time : 0.0 sec. user=mdettweiler [2012-08-21 18:57:04] 939*2^1226899-1 is not prime. Res64: 14140E2404BB37C3 Time : 0.0 sec. user=mdettweiler [2012-08-21 18:57:04] 603*2^1226900-1 is not prime. Res64: 55A3A671248E6A2E Time : 0.0 sec. user=vaughan [2012-08-21 19:01:49] 801*2^1226899-1 is not prime. Res64: 5D86E46049D2E6A2 Time : 0.0 sec. user=mdettweiler [2012-08-21 19:05:48] 895*2^1226899-1 is not prime. Res64: 0F5EDD8BE7FAC278 Time : 0.0 sec. user=mdettweiler [2012-08-21 19:11:41] 777*2^1226900-1 is not prime. Res64: 333C89ED3844CA64 Time : 0.0 sec. user=mdettweiler [2012-08-21 19:11:43] 953*2^1226900-1 is not prime. Res64: 7ED8C162294475A2 Time : 0.0 sec. user=mdettweiler [2012-08-21 19:18:05] 649*2^1226901-1 is not prime. Res64: C78C7C4B8563A3BB Time : 0.0 sec. user=mdettweiler [2012-08-21 19:18:05] 747*2^1226901-1 is not prime. Res64: 032F677EC9BB8A13 Time : 0.0 sec. user=mdettweiler [2012-08-21 19:27:53] 625*2^1226901-1 is not prime. Res64: 478A42086BECACED Time : 0.0 sec. user=mdettweiler [2012-08-21 19:32:43] 677*2^1226902-1 is not prime. Res64: 914858B5BFA15662 Time : 0.0 sec. user=mdettweiler [2012-08-21 19:32:44] 813*2^1226902-1 is not prime. Res64: 2293E906F32D36E4 Time : 0.0 sec. user=mdettweiler [2012-08-21 19:39:04] 891*2^1226902-1 is not prime. Res64: 819A8514CD3917FF Time : 0.0 sec. user=mdettweiler [2012-08-21 19:39:04] 923*2^1226902-1 is not prime. Res64: E5F48FB593795CCC Time : 0.0 sec. user=vaughan [2012-08-21 19:39:31] 805*2^1226901-1 is not prime. Res64: 87538666ADFCD9CA Time : 0.0 sec. user=mdettweiler [2012-08-21 19:43:18] 921*2^1226901-1 is not prime. Res64: CB1D683F38589040 Time : 0.0 sec. user=mdettweiler [2012-08-21 19:53:48] 983*2^1226902-1 is not prime. Res64: D151CAC460545D1C Time : 0.0 sec. user=mdettweiler [2012-08-21 19:53:49] 643*2^1226903-1 is not prime. Res64: B7F8A9446D14E245 Time : 0.0 sec. user=mdettweiler [2012-08-21 20:00:09] 735*2^1226903-1 is not prime. Res64: 491AD5B793936560 Time : 0.0 sec. user=mdettweiler [2012-08-21 20:00:11] 759*2^1226903-1 is not prime. Res64: 15708DAC7B7C62B6 Time : 0.0 sec. user=mdettweiler [2012-08-21 20:04:28] 957*2^1226902-1 is not prime. Res64: 4F34E61CD183089D Time : 0.0 sec. user=mdettweiler [2012-08-21 20:14:50] 623*2^1226904-1 is not prime. Res64: C3A9493F526624B0 Time : 0.0 sec. user=mdettweiler [2012-08-21 20:14:51] 719*2^1226904-1 is not prime. Res64: 97C773F39B1AD5A9 Time : 0.0 sec. user=mdettweiler [2012-08-21 20:16:26] 885*2^1226903-1 is not prime. Res64: 5AB7742F92924264 Time : 0.0 sec. user=vaughan [2012-08-21 20:17:16] 783*2^1226903-1 is not prime. Res64: 793B402AF9245A0C Time : 0.0 sec. user=mdettweiler [2012-08-21 20:21:13] 747*2^1226904-1 is not prime. Res64: 776F5BD3F085F989 Time : 0.0 sec. user=mdettweiler [2012-08-21 20:21:14] 765*2^1226904-1 is not prime. Res64: DED2FA2D77EE99B1 Time : 0.0 sec. user=mdettweiler [2012-08-21 20:36:03] 649*2^1226905-1 is not prime. Res64: DCD527AB1D99CA0B Time : 0.0 sec. user=mdettweiler [2012-08-21 20:36:04] 691*2^1226905-1 is not prime. Res64: 962EBD19E752D4CA Time : 0.0 sec. user=mdettweiler [2012-08-21 20:42:15] 861*2^1226905-1 is not prime. Res64: 05B3D142ADD2F891 Time : 0.0 sec. user=mdettweiler [2012-08-21 20:42:16] 985*2^1226905-1 is not prime. Res64: E4E0B37E4824AA24 Time : 0.0 sec. user=mdettweiler [2012-08-21 20:42:57] 915*2^1226904-1 is not prime. Res64: 706AE98996A36FF7 Time : 0.0 sec. user=mdettweiler [2012-08-21 20:54:35] 759*2^1226905-1 is not prime. Res64: D3F3842CA8AB78C1 Time : 0.0 sec. user=vaughan [2012-08-21 20:55:10] 841*2^1226905-1 is not prime. Res64: CE33647A1BD0B1A0 Time : 0.0 sec. user=mdettweiler [2012-08-21 20:57:11] 627*2^1226906-1 is not prime. Res64: FE9DBD84EADE93F4 Time : 0.0 sec. user=mdettweiler [2012-08-21 20:57:11] 705*2^1226906-1 is not prime. Res64: 1C705D25EABD52A6 Time : 0.0 sec. user=mdettweiler [2012-08-21 21:03:26] 741*2^1226906-1 is not prime. Res64: 4E0437ABAB6DD005 Time : 0.0 sec. user=mdettweiler [2012-08-21 21:03:27] 783*2^1226906-1 is not prime. Res64: 4D1F37F1C3B6C4FD Time : 0.0 sec. user=mdettweiler [2012-08-21 21:15:27] 825*2^1226906-1 is not prime. Res64: C5EDDCF89A62C901 Time : 0.0 sec. user=mdettweiler [2012-08-21 21:18:16] 873*2^1226906-1 is not prime. Res64: 007991C1DC1B0E86 Time : 0.0 sec. user=mdettweiler [2012-08-21 21:18:17] 917*2^1226906-1 is not prime. Res64: E178A0433DFFA567 Time : 0.0 sec. user=mdettweiler [2012-08-21 21:24:38] 983*2^1226906-1 is not prime. Res64: 7CF80786CAB21E15 Time : 0.0 sec. user=mdettweiler [2012-08-21 21:24:38] 699*2^1226907-1 is not prime. Res64: 1AE5441498E3F9AA Time : 0.0 sec. user=mdettweiler [2012-08-21 21:29:15] 831*2^1226906-1 is not prime. Res64: C7FACBED2CF0F304 Time : 0.0 sec. user=vaughan [2012-08-21 21:32:48] 851*2^1226906-1 is not prime. Res64: 0DAF09A9D8C0E161 Time : 0.0 sec. user=mdettweiler [2012-08-21 21:39:24] 639*2^1226908-1 is not prime. Res64: 6C8D210ABD126A18 Time : 0.0 sec. user=mdettweiler [2012-08-21 21:39:24] 647*2^1226908-1 is not prime. Res64: 8649A098C4C16831 Time : 0.0 sec. user=mdettweiler [2012-08-21 21:45:45] 819*2^1226908-1 is not prime. Res64: 0649B86FD04183EE Time : 0.0 sec. user=mdettweiler [2012-08-21 21:45:45] 825*2^1226908-1 is not prime. Res64: 3138703EEA57F2E2 Time : 0.0 sec. user=mdettweiler [2012-08-21 21:49:14] 753*2^1226907-1 is not prime. Res64: C36D21981330B2C1 Time : 0.0 sec. user=mdettweiler [2012-08-21 22:00:29] 923*2^1226908-1 is not prime. Res64: 0B9426C178814C7D Time : 0.0 sec. user=mdettweiler [2012-08-21 22:00:30] 947*2^1226908-1 is not prime. Res64: BDCC0FC872B5E7EA Time : 0.0 sec. user=mdettweiler [2012-08-21 22:03:54] 839*2^1226908-1 is not prime. Res64: EE7AA2A3C9C36D5C Time : 0.0 sec. user=mdettweiler [2012-08-21 22:06:53] 987*2^1226908-1 is not prime. Res64: F9C7EFB4C60C8BEE Time : 0.0 sec. user=mdettweiler [2012-08-21 22:06:54] 995*2^1226908-1 is not prime. Res64: 9020F180294497C5 Time : 0.0 sec. user=vaughan [2012-08-21 22:10:30] 915*2^1226908-1 is not prime. Res64: A6B8EF346CA30006 Time : 0.0 sec. user=mdettweiler [2012-08-21 22:21:34] 771*2^1226909-1 is not prime. Res64: F992AFC431377D3B Time : 0.0 sec. user=mdettweiler [2012-08-21 22:21:35] 799*2^1226909-1 is not prime. Res64: E55797D736913C40 Time : 0.0 sec. user=mdettweiler [2012-08-21 22:25:59] 711*2^1226909-1 is not prime. Res64: 0CAB0E7496D85612 Time : 0.0 sec. user=mdettweiler [2012-08-21 22:28:12] 665*2^1226910-1 is not prime. Res64: A6FC489D6E43D007 Time : 0.0 sec. user=mdettweiler [2012-08-21 22:28:12] 795*2^1226910-1 is not prime. Res64: C7FAFA77731572CC Time : 0.0 sec. user=mdettweiler [2012-08-21 22:39:14] 657*2^1226910-1 is not prime. Res64: 8507867098B7EB33 Time : 0.0 sec. user=mdettweiler [2012-08-21 22:42:20] 971*2^1226910-1 is not prime. Res64: B3222207F9A91910 Time : 0.0 sec. user=mdettweiler [2012-08-21 22:42:21] 1001*2^1226910-1 is not prime. Res64: 99046EC5A83ADFA9 Time : 0.0 sec. user=vaughan [2012-08-21 22:48:10] 893*2^1226910-1 is not prime. Res64: 22340A051157A32D Time : 0.0 sec. user=mdettweiler [2012-08-21 22:48:59] 685*2^1226911-1 is not prime. Res64: DB4134D18E5F77CF Time : 0.0 sec. user=mdettweiler [2012-08-21 22:48:59] 789*2^1226911-1 is not prime. Res64: DE9BADCF245430B6 Time : 0.0 sec. user=mdettweiler [2012-08-21 23:03:11] 855*2^1226911-1 is not prime. Res64: 16E69A42962CF7D8 Time : 0.0 sec. user=mdettweiler [2012-08-21 23:03:12] 969*2^1226911-1 is not prime. Res64: 2F9582F9E3DFD9AC Time : 0.0 sec. user=mdettweiler [2012-08-21 23:07:03] 645*2^1226911-1 is not prime. Res64: DE22B95CFB7C595E Time : 0.0 sec. user=mdettweiler [2012-08-21 23:09:51] 633*2^1226912-1 is not prime. Res64: E8BD4195D5F0F111 Time : 0.0 sec. user=mdettweiler [2012-08-21 23:09:52] 635*2^1226912-1 is not prime. Res64: C2F26104588058ED Time : 0.0 sec. user=mdettweiler [2012-08-21 23:19:47] 805*2^1226911-1 is not prime. Res64: 54017B222E851F3E Time : 0.0 sec. user=mdettweiler [2012-08-21 23:24:04] 657*2^1226912-1 is not prime. Res64: AED747F1145A265F Time : 0.0 sec. user=mdettweiler [2012-08-21 23:24:04] 983*2^1226912-1 is not prime. Res64: 4B188218B0C892FE Time : 0.0 sec. user=vaughan [2012-08-21 23:25:52] 615*2^1226912-1 is not prime. Res64: 4A7BF19120A4305B Time : 0.0 sec. user=mdettweiler [2012-08-21 23:30:43] 651*2^1226913-1 is not prime. Res64: 256B3CDEE68E87EA Time : 0.0 sec. user=mdettweiler [2012-08-21 23:30:43] 705*2^1226913-1 is not prime. Res64: 5DB57F3CFDF02EBF Time : 0.0 sec. user=mdettweiler [2012-08-21 23:41:39] 627*2^1226913-1 is not prime. Res64: 36FAE2073B762411 Time : 0.0 sec. user=mdettweiler [2012-08-21 23:44:54] 817*2^1226913-1 is not prime. Res64: 3FD6115728A782C3 Time : 0.0 sec. user=mdettweiler [2012-08-21 23:44:57] 835*2^1226913-1 is not prime. Res64: 0E1FD283D2606FAD Time : 0.0 sec. user=mdettweiler [2012-08-21 23:51:35] 999*2^1226913-1 is not prime. Res64: ED590E8086F2CD94 Time : 0.0 sec. user=mdettweiler [2012-08-21 23:51:36] 621*2^1226914-1 is not prime. Res64: 7087BBCC4D50E6DD Time : 0.0 sec. user=mdettweiler [2012-08-21 23:54:05] 807*2^1226913-1 is not prime. Res64: DC5F3D6EEB3CBA3C Time : 0.0 sec.