user=mdettweiler [2012-12-18 00:04:56] 925*2^1237591-1 is not prime. Res64: C4E36B7E9A2B8542 Time : 0.0 sec. user=mdettweiler [2012-12-18 00:04:58] 931*2^1237591-1 is not prime. Res64: 281A8C01DF7AEC8A Time : 0.0 sec. user=mdettweiler [2012-12-18 00:08:34] 603*2^1237592-1 is not prime. Res64: E51751F0E9014467 Time : 0.0 sec. user=mdettweiler [2012-12-18 00:08:36] 617*2^1237592-1 is not prime. Res64: 2152ED93A747A5A2 Time : 0.0 sec. user=mdettweiler [2012-12-18 00:22:33] 683*2^1237592-1 is not prime. Res64: DC96D4564D8FC4C3 Time : 0.0 sec. user=mdettweiler [2012-12-18 00:22:34] 713*2^1237592-1 is not prime. Res64: FDA3FBDD0C8B24B2 Time : 0.0 sec. user=mdettweiler [2012-12-18 00:25:58] 719*2^1237592-1 is not prime. Res64: 1E9176FE6BBFF4BD Time : 0.0 sec. user=mdettweiler [2012-12-18 00:25:59] 959*2^1237592-1 is not prime. Res64: 01B68DB92099A433 Time : 0.0 sec. user=mdettweiler [2012-12-18 00:39:55] 995*2^1237592-1 is not prime. Res64: 6E5BA6BB022211F9 Time : 0.0 sec. user=mdettweiler [2012-12-18 00:39:56] 627*2^1237593-1 is not prime. Res64: 159DCEB09F123D96 Time : 0.0 sec. user=mdettweiler [2012-12-18 00:43:18] 637*2^1237593-1 is not prime. Res64: 1C6C5F114F418587 Time : 0.0 sec. user=mdettweiler [2012-12-18 00:43:19] 669*2^1237593-1 is not prime. Res64: D8CE61087511533A Time : 0.0 sec. user=mdettweiler [2012-12-18 00:57:16] 705*2^1237593-1 is not prime. Res64: C95EC40839EA2E74 Time : 0.0 sec. user=mdettweiler [2012-12-18 00:57:17] 769*2^1237593-1 is not prime. Res64: ABFBF125FEAAB0C3 Time : 0.0 sec. user=mdettweiler [2012-12-18 01:00:40] 877*2^1237593-1 is not prime. Res64: 8F85C18115E62D46 Time : 0.0 sec. user=mdettweiler [2012-12-18 01:00:41] 895*2^1237593-1 is not prime. Res64: 82CA87F9192B2812 Time : 0.0 sec. user=mdettweiler [2012-12-18 01:14:41] 949*2^1237593-1 is not prime. Res64: 1C85475FAEE7AD39 Time : 0.0 sec. user=mdettweiler [2012-12-18 01:14:42] 955*2^1237593-1 is not prime. Res64: 6DFD77E3D438D9EA Time : 0.0 sec. user=mdettweiler [2012-12-18 01:18:05] 605*2^1237594-1 is not prime. Res64: 2F7A7DD419DE7DEF Time : 0.0 sec. user=mdettweiler [2012-12-18 01:18:06] 701*2^1237594-1 is not prime. Res64: 6CAA95A5A3262778 Time : 0.0 sec. user=mdettweiler [2012-12-18 01:32:08] 815*2^1237594-1 is not prime. Res64: 107E04D5265EA0C8 Time : 0.0 sec. user=mdettweiler [2012-12-18 01:32:08] 821*2^1237594-1 is not prime. Res64: D769948E30B7BF76 Time : 0.0 sec. user=mdettweiler [2012-12-18 01:35:37] 827*2^1237594-1 is not prime. Res64: 3D6F0F84B6A6B0F3 Time : 0.0 sec. user=mdettweiler [2012-12-18 01:35:37] 885*2^1237594-1 is not prime. Res64: D05D47416097FD76 Time : 0.0 sec. user=mdettweiler [2012-12-18 01:50:39] 887*2^1237594-1 is not prime. Res64: 8D9ACAB7E67BBED1 Time : 0.0 sec. user=mdettweiler [2012-12-18 01:50:40] 993*2^1237594-1 is not prime. Res64: 95A236C12215E045 Time : 0.0 sec. user=mdettweiler [2012-12-18 01:53:59] 679*2^1237595-1 is not prime. Res64: 6649C3D3864BFA7F Time : 0.0 sec. user=mdettweiler [2012-12-18 01:53:59] 735*2^1237595-1 is not prime. Res64: CF5EEE08C3A7C4CC Time : 0.0 sec. user=mdettweiler [2012-12-18 02:08:06] 753*2^1237595-1 is not prime. Res64: 100022BEF051BB55 Time : 0.0 sec. user=mdettweiler [2012-12-18 02:08:08] 883*2^1237595-1 is not prime. Res64: AC7B32AAAE83EADB Time : 0.0 sec. user=mdettweiler [2012-12-18 02:11:26] 969*2^1237595-1 is not prime. Res64: 40FBB07921834466 Time : 0.0 sec. user=mdettweiler [2012-12-18 02:11:28] 999*2^1237595-1 is not prime. Res64: FF842E0F30E1BAF0 Time : 0.0 sec. user=mdettweiler [2012-12-18 02:25:47] 699*2^1237596-1 is not prime. Res64: CC83261FA65E4B5F Time : 0.0 sec. user=mdettweiler [2012-12-18 02:25:48] 777*2^1237596-1 is not prime. Res64: 9DB2A4E583BAB595 Time : 0.0 sec. user=mdettweiler [2012-12-18 02:28:58] 789*2^1237596-1 is not prime. Res64: 1686B89F54F426FC Time : 0.0 sec. user=mdettweiler [2012-12-18 02:28:59] 845*2^1237596-1 is not prime. Res64: 07FF4FA16D030E5F Time : 0.0 sec. user=mdettweiler [2012-12-18 02:43:11] 619*2^1237597-1 is not prime. Res64: FBF0D8882AB7395E Time : 0.0 sec. user=mdettweiler [2012-12-18 02:43:13] 741*2^1237597-1 is not prime. Res64: 851EBA1FBF042477 Time : 0.0 sec. user=mdettweiler [2012-12-18 02:46:20] 769*2^1237597-1 is not prime. Res64: 81D8515DA59EA3BD Time : 0.0 sec. user=mdettweiler [2012-12-18 02:46:20] 979*2^1237597-1 is not prime. Res64: 088F914CE9F86969 Time : 0.0 sec. user=mdettweiler [2012-12-18 03:00:51] 981*2^1237597-1 is not prime. Res64: 28B13C856380BC2B Time : 0.0 sec. user=mdettweiler [2012-12-18 03:03:42] 657*2^1237598-1 is not prime. Res64: E63F3FA13CCA0931 Time : 0.0 sec. user=mdettweiler [2012-12-18 03:03:45] 843*2^1237598-1 is not prime. Res64: 324C92229A99406D Time : 0.0 sec. user=mdettweiler [2012-12-18 03:14:45] 603*2^1237598-1 is not prime. Res64: 83033DA34D883663 Time : 0.0 sec. user=mdettweiler [2012-12-18 03:21:31] 615*2^1237599-1 is not prime. Res64: 460E62DD49805750 Time : 0.0 sec. user=mdettweiler [2012-12-18 03:21:31] 633*2^1237599-1 is not prime. Res64: 94A3F5506D50C261 Time : 0.0 sec. user=mdettweiler [2012-12-18 03:32:09] 675*2^1237599-1 is not prime. Res64: DE6363FB6CD4CF4A Time : 0.0 sec. user=mdettweiler [2012-12-18 03:32:11] 745*2^1237599-1 is not prime. Res64: D8EB863C06457E5B Time : 0.0 sec. user=mdettweiler [2012-12-18 03:38:52] 751*2^1237599-1 is not prime. Res64: 36389F6263B93C08 Time : 0.0 sec. user=mdettweiler [2012-12-18 03:38:53] 769*2^1237599-1 is not prime. Res64: 3EFF06DD07F442D5 Time : 0.0 sec. user=mdettweiler [2012-12-18 03:49:37] 831*2^1237599-1 is not prime. Res64: AA4C8CA1978D63FA Time : 0.0 sec. user=mdettweiler [2012-12-18 03:49:37] 931*2^1237599-1 is not prime. Res64: FD2F73D0BB2E14B5 Time : 0.0 sec. user=mdettweiler [2012-12-18 03:56:20] 951*2^1237599-1 is not prime. Res64: C060E442DED9AE07 Time : 0.0 sec. user=mdettweiler [2012-12-18 03:56:21] 707*2^1237600-1 is not prime. Res64: 3E648DD11328D4B2 Time : 0.0 sec. user=mdettweiler [2012-12-18 04:07:01] 819*2^1237600-1 is not prime. Res64: 9DAA40C844F4EF8D Time : 0.0 sec. user=mdettweiler [2012-12-18 04:07:03] 965*2^1237600-1 is not prime. Res64: 4E4543BB89076133 Time : 0.0 sec. user=mdettweiler [2012-12-18 04:13:44] 999*2^1237600-1 is not prime. Res64: CE0EBFB8F41D8583 Time : 0.0 sec. user=mdettweiler [2012-12-18 04:13:45] 619*2^1237601-1 is not prime. Res64: 56F9801935628152 Time : 0.0 sec. user=mdettweiler [2012-12-18 04:24:39] 645*2^1237601-1 is not prime. Res64: 3FE00624B89A0FFC Time : 0.0 sec. user=mdettweiler [2012-12-18 04:24:40] 691*2^1237601-1 is not prime. Res64: E1CAA6DB6AFD7C56 Time : 0.0 sec. user=mdettweiler [2012-12-18 04:31:05] 705*2^1237601-1 is not prime. Res64: 79B4D67E88220FE1 Time : 0.0 sec. user=mdettweiler [2012-12-18 04:31:06] 967*2^1237601-1 is not prime. Res64: FF43F5C8D55D67A1 Time : 0.0 sec. user=mdettweiler [2012-12-18 04:42:00] 621*2^1237602-1 is not prime. Res64: FDE8B2562191C058 Time : 0.0 sec. user=mdettweiler [2012-12-18 04:42:01] 627*2^1237602-1 is not prime. Res64: B50BB4F80A8C9F2F Time : 0.0 sec. user=mdettweiler [2012-12-18 04:48:28] 635*2^1237602-1 is not prime. Res64: 5171C75610F4A209 Time : 0.0 sec. user=mdettweiler [2012-12-18 04:48:29] 705*2^1237602-1 is not prime. Res64: 872F3570A28BB361 Time : 0.0 sec. user=mdettweiler [2012-12-18 04:59:23] 945*2^1237602-1 is not prime. Res64: 109D6B01ED01413F Time : 0.0 sec. user=mdettweiler [2012-12-18 04:59:24] 947*2^1237602-1 is not prime. Res64: 57C1F2F1FF3299D8 Time : 0.0 sec. user=mdettweiler [2012-12-18 05:05:50] 619*2^1237603-1 is not prime. Res64: CA8FF2445169F93D Time : 0.0 sec. user=mdettweiler [2012-12-18 05:05:51] 639*2^1237603-1 is not prime. Res64: DC95696D1047241E Time : 0.0 sec. user=mdettweiler [2012-12-18 05:16:45] 675*2^1237603-1 is not prime. Res64: 0FA960F05BC46EB9 Time : 0.0 sec. user=mdettweiler [2012-12-18 05:16:45] 693*2^1237603-1 is not prime. Res64: 98312B13998F1F4E Time : 0.0 sec. user=mdettweiler [2012-12-18 05:23:12] 775*2^1237603-1 is not prime. Res64: 62FD1EF481C27932 Time : 0.0 sec. user=mdettweiler [2012-12-18 05:23:13] 819*2^1237603-1 is not prime. Res64: D5135386F0AD2B31 Time : 0.0 sec. user=mdettweiler [2012-12-18 05:34:11] 829*2^1237603-1 is not prime. Res64: 29126F9ED33F558B Time : 0.0 sec. user=mdettweiler [2012-12-18 05:34:12] 885*2^1237603-1 is not prime. Res64: 2955EC3C3CDB4041 Time : 0.0 sec. user=mdettweiler [2012-12-18 05:40:33] 891*2^1237603-1 is not prime. Res64: 9F4E6457A30E3753 Time : 0.0 sec. user=mdettweiler [2012-12-18 05:40:34] 943*2^1237603-1 is not prime. Res64: D7E5D9236C88855D Time : 0.0 sec. user=mdettweiler [2012-12-18 05:51:38] 615*2^1237604-1 is not prime. Res64: 72CC5EC7605BFC3F Time : 0.0 sec. user=mdettweiler [2012-12-18 05:51:39] 635*2^1237604-1 is not prime. Res64: 693200B9E77D0732 Time : 0.0 sec. user=mdettweiler [2012-12-18 05:57:56] 855*2^1237604-1 is not prime. Res64: 99044EFAE0509C3E Time : 0.0 sec. user=mdettweiler [2012-12-18 05:57:56] 935*2^1237604-1 is not prime. Res64: 36D5356F97FC1156 Time : 0.0 sec. user=mdettweiler [2012-12-18 06:09:01] 657*2^1237605-1 is not prime. Res64: 99A2EDDEB9A9B398 Time : 0.0 sec. user=mdettweiler [2012-12-18 06:09:03] 795*2^1237605-1 is not prime. Res64: 6ADECC0161772563 Time : 0.0 sec. user=mdettweiler [2012-12-18 06:15:18] 831*2^1237605-1 is not prime. Res64: 1A52C2503EACAB63 Time : 0.0 sec. user=mdettweiler [2012-12-18 06:15:19] 937*2^1237605-1 is not prime. Res64: 06C1B66AE057E802 Time : 0.0 sec. user=mdettweiler [2012-12-18 06:26:27] 949*2^1237605-1 is not prime. Res64: 20EFB0802211E119 Time : 0.0 sec. user=mdettweiler [2012-12-18 06:26:27] 951*2^1237605-1 is not prime. Res64: DE1218B8BC23603F Time : 0.0 sec. user=mdettweiler [2012-12-18 06:32:41] 617*2^1237606-1 is not prime. Res64: 3A47C588B601CA86 Time : 0.0 sec. user=mdettweiler [2012-12-18 06:32:42] 671*2^1237606-1 is not prime. Res64: C1D6104808C592C5 Time : 0.0 sec. user=mdettweiler [2012-12-18 06:43:49] 755*2^1237606-1 is not prime. Res64: 6A7277304E3D59DE Time : 0.0 sec. user=mdettweiler [2012-12-18 06:43:49] 813*2^1237606-1 is not prime. Res64: 9A6354B9B1E821B0 Time : 0.0 sec. user=mdettweiler [2012-12-18 06:50:03] 857*2^1237606-1 is not prime. Res64: E5571FA9F037E45E Time : 0.0 sec. user=mdettweiler [2012-12-18 06:50:03] 917*2^1237606-1 is not prime. Res64: E553B1AB90046843 Time : 0.0 sec. user=mdettweiler [2012-12-18 07:01:11] 981*2^1237606-1 is not prime. Res64: 5F3A6654EE0F0B0F Time : 0.0 sec. user=mdettweiler [2012-12-18 07:01:12] 619*2^1237607-1 is not prime. Res64: F69DC337AAD857FE Time : 0.0 sec. user=mdettweiler [2012-12-18 07:07:28] 645*2^1237607-1 is not prime. Res64: 8CB6BE7B50D5203B Time : 0.0 sec. user=mdettweiler [2012-12-18 07:07:31] 651*2^1237607-1 is not prime. Res64: BE4A204C5102CFBF Time : 0.0 sec. user=mdettweiler [2012-12-18 07:18:35] 741*2^1237607-1 is not prime. Res64: DF4DF0F6F13CF644 Time : 0.0 sec. user=mdettweiler [2012-12-18 07:18:36] 759*2^1237607-1 is not prime. Res64: 43EC61240F38F3F1 Time : 0.0 sec. user=mdettweiler [2012-12-18 07:25:10] 799*2^1237607-1 is not prime. Res64: 1DF3A4EE2D3C242A Time : 0.0 sec. user=mdettweiler [2012-12-18 07:25:11] 991*2^1237607-1 is not prime. Res64: 7E953DB81E5E859A Time : 0.0 sec. user=mdettweiler [2012-12-18 07:36:00] 689*2^1237608-1 is not prime. Res64: 9D61DBE06BA45EC8 Time : 0.0 sec. user=mdettweiler [2012-12-18 07:36:00] 705*2^1237608-1 is not prime. Res64: 4984C35F5629C01F Time : 0.0 sec. user=mdettweiler [2012-12-18 07:42:34] 825*2^1237608-1 is not prime. Res64: 96E280D458755414 Time : 0.0 sec. user=mdettweiler [2012-12-18 07:42:34] 915*2^1237608-1 is not prime. Res64: 8CFB3D364D81524C Time : 0.0 sec. user=mdettweiler [2012-12-18 07:53:24] 923*2^1237608-1 is not prime. Res64: E9F7BED972301CDE Time : 0.0 sec. user=mdettweiler [2012-12-18 07:53:25] 935*2^1237608-1 is not prime. Res64: 86EB26F7BD41840B Time : 0.0 sec. user=mdettweiler [2012-12-18 07:59:57] 945*2^1237608-1 is not prime. Res64: 0CBDB4826C7EE340 Time : 0.0 sec. user=mdettweiler [2012-12-18 07:59:58] 975*2^1237608-1 is not prime. Res64: 3E46A5F3950A34F3 Time : 0.0 sec. user=mdettweiler [2012-12-18 08:10:47] 977*2^1237608-1 is not prime. Res64: 698DA304E9907E19 Time : 0.0 sec. user=mdettweiler [2012-12-18 08:10:48] 619*2^1237609-1 is not prime. Res64: 0F8D7DC7917622EC Time : 0.0 sec. user=mdettweiler [2012-12-18 08:17:20] 649*2^1237609-1 is not prime. Res64: BBDFDA818FC2FE5C Time : 0.0 sec. user=mdettweiler [2012-12-18 08:17:20] 765*2^1237609-1 is not prime. Res64: 2DC1F25BDB6423FA Time : 0.0 sec. user=mdettweiler [2012-12-18 08:28:17] 895*2^1237609-1 is not prime. Res64: 4E4770D2E08CC531 Time : 0.0 sec. user=mdettweiler [2012-12-18 08:28:17] 635*2^1237610-1 is not prime. Res64: 0AC7BDE749E28BC8 Time : 0.0 sec. user=mdettweiler [2012-12-18 08:34:42] 741*2^1237610-1 is not prime. Res64: 380407959A75547C Time : 0.0 sec. user=mdettweiler [2012-12-18 08:34:43] 927*2^1237610-1 is not prime. Res64: 259EE97FCC19427B Time : 0.0 sec. user=mdettweiler [2012-12-18 08:45:40] 981*2^1237610-1 is not prime. Res64: 01D0865BCA90E214 Time : 0.0 sec. user=mdettweiler [2012-12-18 08:45:40] 613*2^1237611-1 is not prime. Res64: F588AF247FEB0A63 Time : 0.0 sec. user=mdettweiler [2012-12-18 08:52:05] 795*2^1237611-1 is not prime. Res64: 745351FA168BBD95 Time : 0.0 sec. user=mdettweiler [2012-12-18 08:52:06] 835*2^1237611-1 is not prime. Res64: 13CC995C908725CB Time : 0.0 sec. user=mdettweiler [2012-12-18 09:03:02] 859*2^1237611-1 is not prime. Res64: E8E6C87C7C68100F Time : 0.0 sec. user=mdettweiler [2012-12-18 09:03:03] 879*2^1237611-1 is not prime. Res64: 243048DBD15B7CE8 Time : 0.0 sec. user=mdettweiler [2012-12-18 09:09:28] 903*2^1237611-1 is not prime. Res64: EB119A818BF75CA3 Time : 0.0 sec. user=mdettweiler [2012-12-18 09:09:30] 945*2^1237611-1 is not prime. Res64: 324E64104A4E1F0F Time : 0.0 sec. user=mdettweiler [2012-12-18 09:20:29] 635*2^1237612-1 is not prime. Res64: C78D58A5C80241D3 Time : 0.0 sec. user=mdettweiler [2012-12-18 09:20:30] 693*2^1237612-1 is not prime. Res64: B4C642DF04D45CA4 Time : 0.0 sec. user=mdettweiler [2012-12-18 09:26:58] 759*2^1237612-1 is not prime. Res64: C181A41B0A424EB0 Time : 0.0 sec. user=mdettweiler [2012-12-18 09:26:59] 855*2^1237612-1 is not prime. Res64: A35F867F33F6E65B Time : 0.0 sec. user=mdettweiler [2012-12-18 09:37:53] 875*2^1237612-1 is not prime. Res64: 9F13EE3A6943FE50 Time : 0.0 sec. user=mdettweiler [2012-12-18 09:37:53] 939*2^1237612-1 is not prime. Res64: C011C2EEB1CDF6CE Time : 0.0 sec. user=mdettweiler [2012-12-18 09:44:22] 999*2^1237612-1 is not prime. Res64: AEEE5CCED3C69416 Time : 0.0 sec. user=mdettweiler [2012-12-18 09:44:22] 685*2^1237613-1 is not prime. Res64: 9A5C4589ED2CAFC3 Time : 0.0 sec. user=mdettweiler [2012-12-18 09:55:16] 699*2^1237613-1 is not prime. Res64: 4F82D2B8D03CC153 Time : 0.0 sec. user=mdettweiler [2012-12-18 09:55:16] 715*2^1237613-1 is not prime. Res64: 2CA5F31ECB855C3F Time : 0.0 sec. user=mdettweiler [2012-12-18 10:01:45] 747*2^1237613-1 is not prime. Res64: 15B31D7EB1773B56 Time : 0.0 sec. user=mdettweiler [2012-12-18 10:01:47] 837*2^1237613-1 is not prime. Res64: 5391F7DBD9131321 Time : 0.0 sec. user=mdettweiler [2012-12-18 10:12:38] 861*2^1237613-1 is not prime. Res64: 887E94F8FAF0671D Time : 0.0 sec. user=mdettweiler [2012-12-18 10:12:39] 681*2^1237614-1 is not prime. Res64: DFFD383DD0163BFA Time : 0.0 sec. user=mdettweiler [2012-12-18 10:19:19] 705*2^1237614-1 is not prime. Res64: B2CE19BD7CD173C1 Time : 0.0 sec. user=mdettweiler [2012-12-18 10:19:20] 725*2^1237614-1 is not prime. Res64: 75114C287AF78117 Time : 0.0 sec. user=mdettweiler [2012-12-18 10:30:04] 747*2^1237614-1 is not prime. Res64: 80655A27229C0672 Time : 0.0 sec. user=mdettweiler [2012-12-18 10:30:04] 815*2^1237614-1 is not prime. Res64: F1C89075CBC17E9B Time : 0.0 sec. user=mdettweiler [2012-12-18 10:36:41] 873*2^1237614-1 is not prime. Res64: 446EC13103428F8D Time : 0.0 sec. user=mdettweiler [2012-12-18 10:36:42] 917*2^1237614-1 is not prime. Res64: 6575B66F1D3B530F Time : 0.0 sec. user=mdettweiler [2012-12-18 10:47:27] 941*2^1237614-1 is not prime. Res64: 0BE897C5583407E6 Time : 0.0 sec. user=mdettweiler [2012-12-18 10:47:27] 1001*2^1237614-1 is not prime. Res64: 29935243FF100C73 Time : 0.0 sec. user=mdettweiler [2012-12-18 10:54:04] 625*2^1237615-1 is not prime. Res64: D48D0A4AA9551CA0 Time : 0.0 sec. user=mdettweiler [2012-12-18 10:54:05] 633*2^1237615-1 is not prime. Res64: 4AA40EE11783A825 Time : 0.0 sec. user=mdettweiler [2012-12-18 11:04:50] 679*2^1237615-1 is not prime. Res64: 241CB79AA81BA7ED Time : 0.0 sec. user=mdettweiler [2012-12-18 11:04:52] 883*2^1237615-1 is not prime. Res64: 3385A45F55DD4386 Time : 0.0 sec. user=mdettweiler [2012-12-18 11:11:27] 999*2^1237615-1 is not prime. Res64: 5B9CDDD7E0E2D283 Time : 0.0 sec. user=mdettweiler [2012-12-18 11:11:29] 669*2^1237616-1 is not prime. Res64: EC34854F1551F115 Time : 0.0 sec. user=mdettweiler [2012-12-18 11:22:37] 755*2^1237616-1 is not prime. Res64: 790460C35E3953CD Time : 0.0 sec. user=mdettweiler [2012-12-18 11:22:38] 869*2^1237616-1 is not prime. Res64: E6520C1441267EAF Time : 0.0 sec. user=mdettweiler [2012-12-18 11:29:05] 875*2^1237616-1 is not prime. Res64: 93CBBB87EBB623A9 Time : 0.0 sec. user=mdettweiler [2012-12-18 11:29:05] 917*2^1237616-1 is not prime. Res64: 2E222A9306A8F335 Time : 0.0 sec. user=mdettweiler [2012-12-18 11:39:59] 739*2^1237617-1 is not prime. Res64: 2E273FA62EAA8934 Time : 0.0 sec. user=mdettweiler [2012-12-18 11:40:00] 781*2^1237617-1 is not prime. Res64: 6A20FE1524D426DE Time : 0.0 sec. user=mdettweiler [2012-12-18 11:46:26] 891*2^1237617-1 is not prime. Res64: 1DC686F69E5BD5AD Time : 0.0 sec. user=mdettweiler [2012-12-18 11:46:26] 937*2^1237617-1 is not prime. Res64: 2013334495BBD0B5 Time : 0.0 sec. user=mdettweiler [2012-12-18 11:57:20] 945*2^1237617-1 is not prime. Res64: 2D6D99C2AC9EA18C Time : 0.0 sec. user=mdettweiler [2012-12-18 11:57:20] 979*2^1237617-1 is not prime. Res64: 0A6F05A7A8B30154 Time : 0.0 sec. user=mdettweiler [2012-12-18 12:03:46] 991*2^1237617-1 is not prime. Res64: DEED008C19E54E33 Time : 0.0 sec. user=mdettweiler [2012-12-18 12:03:48] 611*2^1237618-1 is not prime. Res64: 9F32AE1EC77DC55D Time : 0.0 sec. user=mdettweiler [2012-12-18 12:14:41] 657*2^1237618-1 is not prime. Res64: FF1273907199F491 Time : 0.0 sec. user=mdettweiler [2012-12-18 12:14:42] 833*2^1237618-1 is not prime. Res64: E669BA9ECB0423A9 Time : 0.0 sec. user=mdettweiler [2012-12-18 12:21:12] 861*2^1237618-1 is not prime. Res64: E4EE0C4368853EF6 Time : 0.0 sec. user=mdettweiler [2012-12-18 12:21:13] 633*2^1237619-1 is not prime. Res64: 373F704C88816E75 Time : 0.0 sec. user=mdettweiler [2012-12-18 12:32:03] 655*2^1237619-1 is not prime. Res64: 5638417EB9C27171 Time : 0.0 sec. user=mdettweiler [2012-12-18 12:32:03] 663*2^1237619-1 is not prime. Res64: D110A5FD8A743BFB Time : 0.0 sec. user=mdettweiler [2012-12-18 12:38:33] 675*2^1237619-1 is not prime. Res64: 62971505D434F323 Time : 0.0 sec. user=mdettweiler [2012-12-18 12:38:34] 771*2^1237619-1 is not prime. Res64: 5CF8B6CF0B14A144 Time : 0.0 sec. user=mdettweiler [2012-12-18 12:49:23] 885*2^1237619-1 is not prime. Res64: 698DF3E0626803D0 Time : 0.0 sec. user=mdettweiler [2012-12-18 12:49:24] 909*2^1237619-1 is not prime. Res64: 9FDFC31B9C9525B3 Time : 0.0 sec. user=mdettweiler [2012-12-18 12:55:57] 939*2^1237619-1 is not prime. Res64: BD11ABC5555B6131 Time : 0.0 sec. user=mdettweiler [2012-12-18 12:55:58] 783*2^1237620-1 is not prime. Res64: 03F7E426F5ADB505 Time : 0.0 sec. user=mdettweiler [2012-12-18 13:06:44] 857*2^1237620-1 is not prime. Res64: BE9F3E23B8F52212 Time : 0.0 sec. user=mdettweiler [2012-12-18 13:06:47] 863*2^1237620-1 is not prime. Res64: CE468C6522170FB0 Time : 0.0 sec. user=mdettweiler [2012-12-18 13:13:18] 983*2^1237620-1 is not prime. Res64: 0873FACD2351F085 Time : 0.0 sec. user=mdettweiler [2012-12-18 13:13:19] 625*2^1237621-1 is not prime. Res64: 5C508EBBE554E907 Time : 0.0 sec. user=mdettweiler [2012-12-18 13:24:20] 649*2^1237621-1 is not prime. Res64: 5F5363ED07E000A6 Time : 0.0 sec. user=mdettweiler [2012-12-18 13:24:20] 817*2^1237621-1 is not prime. Res64: 6B154BDFA939C548 Time : 0.0 sec. user=mdettweiler [2012-12-18 13:30:40] 939*2^1237621-1 is not prime. Res64: 35014AD5EFB76983 Time : 0.0 sec. user=mdettweiler [2012-12-18 13:30:42] 617*2^1237622-1 is not prime. Res64: 63505796CD548533 Time : 0.0 sec. user=mdettweiler [2012-12-18 13:41:40] 711*2^1237622-1 is not prime. Res64: C85111253145D491 Time : 0.0 sec. user=mdettweiler [2012-12-18 13:41:41] 713*2^1237622-1 is not prime. Res64: 6C9F5BA79BBF55B3 Time : 0.0 sec. user=mdettweiler [2012-12-18 13:48:05] 801*2^1237622-1 is not prime. Res64: 98CABB04AC173854 Time : 0.0 sec. user=mdettweiler [2012-12-18 13:48:06] 875*2^1237622-1 is not prime. Res64: 0DA2B4A74694C0BF Time : 0.0 sec. user=mdettweiler [2012-12-18 13:59:01] 897*2^1237622-1 is not prime. Res64: 77F3CAFBC9F11CC7 Time : 0.0 sec. user=mdettweiler [2012-12-18 13:59:02] 903*2^1237622-1 is not prime. Res64: 88B0552C1F0DB69B Time : 0.0 sec. user=mdettweiler [2012-12-18 14:05:26] 921*2^1237622-1 is not prime. Res64: 89D1F5726313B68F Time : 0.0 sec. user=mdettweiler [2012-12-18 14:05:28] 643*2^1237623-1 is not prime. Res64: 862690D170B876F3 Time : 0.0 sec. user=mdettweiler [2012-12-18 14:16:22] 649*2^1237623-1 is not prime. Res64: 46FB339C86CA15F2 Time : 0.0 sec. user=mdettweiler [2012-12-18 14:16:23] 661*2^1237623-1 is not prime. Res64: 2356CBD284ACC690 Time : 0.0 sec. user=mdettweiler [2012-12-18 14:22:56] 691*2^1237623-1 is not prime. Res64: 550A8B52F9D8FA89 Time : 0.0 sec. user=mdettweiler [2012-12-18 14:22:56] 723*2^1237623-1 is not prime. Res64: B08FBA91DFD6DA9E Time : 0.0 sec. user=mdettweiler [2012-12-18 14:33:53] 751*2^1237623-1 is not prime. Res64: 55B8AF19E93F73DE Time : 0.0 sec. user=mdettweiler [2012-12-18 14:33:54] 859*2^1237623-1 is not prime. Res64: 1DA81424B79A2721 Time : 0.0 sec. user=mdettweiler [2012-12-18 14:40:17] 879*2^1237623-1 is not prime. Res64: 8D212E30155C3011 Time : 0.0 sec. user=mdettweiler [2012-12-18 14:40:17] 895*2^1237623-1 is not prime. Res64: 5A99A3E6FEC81753 Time : 0.0 sec. user=mdettweiler [2012-12-18 14:51:15] 635*2^1237624-1 is not prime. Res64: 3CFE43E03A1B1D38 Time : 0.0 sec. user=mdettweiler [2012-12-18 14:51:15] 825*2^1237624-1 is not prime. Res64: 871EB5CD3AA20077 Time : 0.0 sec. user=mdettweiler [2012-12-18 14:57:38] 827*2^1237624-1 is not prime. Res64: E5D2404749873A6A Time : 0.0 sec. user=mdettweiler [2012-12-18 14:57:38] 875*2^1237624-1 is not prime. Res64: B588865ADEA8A211 Time : 0.0 sec. user=mdettweiler [2012-12-18 15:08:36] 959*2^1237624-1 is not prime. Res64: B030057F43350D4B Time : 0.0 sec. user=mdettweiler [2012-12-18 15:08:38] 989*2^1237624-1 is not prime. Res64: 470C62B037234EAC Time : 0.0 sec. user=mdettweiler [2012-12-18 15:14:58] 717*2^1237625-1 is not prime. Res64: BE3A82B6F1AAA384 Time : 0.0 sec. user=mdettweiler [2012-12-18 15:14:59] 727*2^1237625-1 is not prime. Res64: 6BF105D895A9F788 Time : 0.0 sec. user=mdettweiler [2012-12-18 15:26:15] 735*2^1237625-1 is not prime. Res64: A8908FE48BE76CFC Time : 0.0 sec. user=mdettweiler [2012-12-18 15:26:15] 847*2^1237625-1 is not prime. Res64: 05CFDED136F29E2C Time : 0.0 sec. user=mdettweiler [2012-12-18 15:32:26] 885*2^1237625-1 is not prime. Res64: 0531234D730D5065 Time : 0.0 sec. user=mdettweiler [2012-12-18 15:32:27] 889*2^1237625-1 is not prime. Res64: CE07B9B99F832B08 Time : 0.0 sec. user=mdettweiler [2012-12-18 15:43:35] 909*2^1237625-1 is not prime. Res64: F438473ABF2A3666 Time : 0.0 sec. user=mdettweiler [2012-12-18 15:43:36] 717*2^1237626-1 is not prime. Res64: 83D98AF9A802EBD4 Time : 0.0 sec. user=mdettweiler [2012-12-18 15:49:51] 807*2^1237626-1 is not prime. Res64: 4C1C542E7B28D6E0 Time : 0.0 sec. user=mdettweiler [2012-12-18 15:49:52] 861*2^1237626-1 is not prime. Res64: CC8A0A31DFDF1E31 Time : 0.0 sec. user=mdettweiler [2012-12-18 16:00:56] 971*2^1237626-1 is not prime. Res64: 4FADD970CA75EC5E Time : 0.0 sec. user=mdettweiler [2012-12-18 16:00:58] 649*2^1237627-1 is not prime. Res64: 13A968DEE44488E0 Time : 0.0 sec. user=mdettweiler [2012-12-18 16:07:11] 685*2^1237627-1 is not prime. Res64: F618253DC683FE65 Time : 0.0 sec. user=mdettweiler [2012-12-18 16:07:14] 741*2^1237627-1 is not prime. Res64: 8CE13878D9139B28 Time : 0.0 sec. user=mdettweiler [2012-12-18 16:18:32] 835*2^1237627-1 is not prime. Res64: CD0D268C8A694053 Time : 0.0 sec. user=mdettweiler [2012-12-18 16:18:33] 871*2^1237627-1 is not prime. Res64: 14AF1D5878233DAF Time : 0.0 sec. user=mdettweiler [2012-12-18 16:24:35] 889*2^1237627-1 is not prime. Res64: DB3F85BB5A8465DF Time : 0.0 sec. user=mdettweiler [2012-12-18 16:24:35] 973*2^1237627-1 is not prime. Res64: 853C4D0705BCEFF4 Time : 0.0 sec. user=mdettweiler [2012-12-18 16:35:53] 629*2^1237628-1 is not prime. Res64: 45ADEF6E44E5FC46 Time : 0.0 sec. user=mdettweiler [2012-12-18 16:35:54] 633*2^1237628-1 is not prime. Res64: 6ACFC42161E3C7E2 Time : 0.0 sec. user=mdettweiler [2012-12-18 16:41:55] 635*2^1237628-1 is not prime. Res64: C455F58B6F969801 Time : 0.0 sec. user=mdettweiler [2012-12-18 16:41:56] 659*2^1237628-1 is not prime. Res64: AB1790EADDFD8295 Time : 0.0 sec. user=mdettweiler [2012-12-18 16:53:14] 663*2^1237628-1 is not prime. Res64: D7007722234BF34C Time : 0.0 sec. user=mdettweiler [2012-12-18 16:53:15] 845*2^1237628-1 is not prime. Res64: AFB0331254290CEB Time : 0.0 sec. user=mdettweiler [2012-12-18 16:59:16] 869*2^1237628-1 is not prime. Res64: B51866A7F158A318 Time : 0.0 sec. user=mdettweiler [2012-12-18 16:59:16] 915*2^1237628-1 is not prime. Res64: 0DEF3514CD2D354D Time : 0.0 sec. user=mdettweiler [2012-12-18 17:10:36] 953*2^1237628-1 is not prime. Res64: 9567B6605D26A3C1 Time : 0.0 sec. user=mdettweiler [2012-12-18 17:10:39] 963*2^1237628-1 is not prime. Res64: DF5400C52313300E Time : 0.0 sec. user=mdettweiler [2012-12-18 17:16:39] 609*2^1237629-1 is not prime. Res64: 216B42419289D8F0 Time : 0.0 sec. user=mdettweiler [2012-12-18 17:16:40] 657*2^1237629-1 is not prime. Res64: 6C6D578208AB9677 Time : 0.0 sec. user=mdettweiler [2012-12-18 17:28:07] 661*2^1237629-1 is not prime. Res64: C84D41BC2BB48067 Time : 0.0 sec. user=mdettweiler [2012-12-18 17:28:07] 679*2^1237629-1 is not prime. Res64: 94531B2F00AFBC32 Time : 0.0 sec. user=mdettweiler [2012-12-18 17:34:00] 685*2^1237629-1 is not prime. Res64: 03CCF3EA23E02113 Time : 0.0 sec. user=mdettweiler [2012-12-18 17:34:02] 727*2^1237629-1 is not prime. Res64: B9E08D762FB7B629 Time : 0.0 sec. user=mdettweiler [2012-12-18 17:45:28] 787*2^1237629-1 is not prime. Res64: E2E4AAD1FF0A36F9 Time : 0.0 sec. user=mdettweiler [2012-12-18 17:45:29] 861*2^1237629-1 is not prime. Res64: BE6384F4D70EC889 Time : 0.0 sec. user=mdettweiler [2012-12-18 17:51:26] 865*2^1237629-1 is not prime. Res64: 71535405587A56C8 Time : 0.0 sec. user=mdettweiler [2012-12-18 17:51:26] 975*2^1237629-1 is not prime. Res64: 39D8B482FE986F4A Time : 0.0 sec. user=mdettweiler [2012-12-18 18:02:50] 999*2^1237629-1 is not prime. Res64: 9E688278D54F13AF Time : 0.0 sec. user=mdettweiler [2012-12-18 18:02:51] 611*2^1237630-1 is not prime. Res64: 771165F2A1962192 Time : 0.0 sec. user=mdettweiler [2012-12-18 18:08:48] 731*2^1237630-1 is not prime. Res64: 946EA4A9D68181A9 Time : 0.0 sec. user=mdettweiler [2012-12-18 18:08:49] 743*2^1237630-1 is not prime. Res64: 5568BD5EAB8A947A Time : 0.0 sec. user=mdettweiler [2012-12-18 18:20:15] 761*2^1237630-1 is not prime. Res64: 5EC9F44E92D140CB Time : 0.0 sec. user=mdettweiler [2012-12-18 18:20:16] 783*2^1237630-1 is not prime. Res64: 5023133A2B337613 Time : 0.0 sec. user=mdettweiler [2012-12-18 18:26:14] 887*2^1237630-1 is not prime. Res64: CB98AA134DC8834B Time : 0.0 sec. user=mdettweiler [2012-12-18 18:26:15] 945*2^1237630-1 is not prime. Res64: 0D3A5C62AA4DB974 Time : 0.0 sec. user=mdettweiler [2012-12-18 18:37:40] 679*2^1237631-1 is not prime. Res64: 44426AABE1BA397B Time : 0.0 sec. user=mdettweiler [2012-12-18 18:37:40] 735*2^1237631-1 is not prime. Res64: FC19FAA031B9302E Time : 0.0 sec. user=mdettweiler [2012-12-18 18:43:35] 725*2^1237632-1 is not prime. Res64: 0A7A196BA2EFAD91 Time : 0.0 sec. user=mdettweiler [2012-12-18 18:43:36] 767*2^1237632-1 is not prime. Res64: 3AD95011AF434976 Time : 0.0 sec. user=mdettweiler [2012-12-18 18:55:02] 825*2^1237632-1 is not prime. Res64: DDF76C754A184261 Time : 0.0 sec. user=mdettweiler [2012-12-18 18:55:02] 879*2^1237632-1 is not prime. Res64: 4C98286AA7B069DE Time : 0.0 sec. user=mdettweiler [2012-12-18 19:00:58] 903*2^1237632-1 is not prime. Res64: 50BB923992453025 Time : 0.0 sec. user=mdettweiler [2012-12-18 19:00:59] 615*2^1237633-1 is not prime. Res64: 0B0E874F7C9B4C4C Time : 0.0 sec. user=mdettweiler [2012-12-18 19:12:23] 681*2^1237633-1 is not prime. Res64: 8DC4A0EDFD7358FB Time : 0.0 sec. user=mdettweiler [2012-12-18 19:12:24] 685*2^1237633-1 is not prime. Res64: 5DE55568BB9DB124 Time : 0.0 sec. user=mdettweiler [2012-12-18 19:18:21] 831*2^1237633-1 is not prime. Res64: DFB8C2F7D31ABEFE Time : 0.0 sec. user=mdettweiler [2012-12-18 19:18:22] 855*2^1237633-1 is not prime. Res64: B0DB8EA33196DAD4 Time : 0.0 sec. user=mdettweiler [2012-12-18 19:29:49] 981*2^1237633-1 is not prime. Res64: F3F83EBB5E71E10E Time : 0.0 sec. user=mdettweiler [2012-12-18 19:29:50] 677*2^1237634-1 is not prime. Res64: B76111F0A48B8B4A Time : 0.0 sec. user=mdettweiler [2012-12-18 19:35:43] 683*2^1237634-1 is not prime. Res64: 3DC31F90D7BBE2EC Time : 0.0 sec. user=mdettweiler [2012-12-18 19:35:44] 711*2^1237634-1 is not prime. Res64: 878AEE16897A06D3 Time : 0.0 sec. user=mdettweiler [2012-12-18 19:47:19] 743*2^1237634-1 is not prime. Res64: 610F934FB4EB948C Time : 0.0 sec. user=mdettweiler [2012-12-18 19:47:19] 791*2^1237634-1 is not prime. Res64: ACD102084898D256 Time : 0.0 sec. user=mdettweiler [2012-12-18 19:53:16] 825*2^1237634-1 is not prime. Res64: 130F404246EEAFAD Time : 0.0 sec. user=mdettweiler [2012-12-18 19:53:16] 837*2^1237634-1 is not prime. Res64: 9CA5B4CC0A02AD2C Time : 0.0 sec. user=mdettweiler [2012-12-18 20:04:58] 861*2^1237634-1 is not prime. Res64: 5FFDAB44F12BA7B8 Time : 0.0 sec. user=mdettweiler [2012-12-18 20:05:00] 887*2^1237634-1 is not prime. Res64: E447F147D6B7BB38 Time : 0.0 sec. user=mdettweiler [2012-12-18 20:11:34] 941*2^1237634-1 is not prime. Res64: FD887BA57618F6A4 Time : 0.0 sec. user=mdettweiler [2012-12-18 20:11:35] 953*2^1237634-1 is not prime. Res64: 6BF461CCF6CD1B5F Time : 0.0 sec. user=mdettweiler [2012-12-18 20:23:46] 723*2^1237635-1 is not prime. Res64: 54176B4FC4CB5AA4 Time : 0.0 sec. user=mdettweiler [2012-12-18 20:23:47] 789*2^1237635-1 is not prime. Res64: 6DB0BF689BA6EA8B Time : 0.0 sec. user=mdettweiler [2012-12-18 20:29:37] 819*2^1237635-1 is not prime. Res64: E2C48669F447EE84 Time : 0.0 sec. user=mdettweiler [2012-12-18 20:29:37] 895*2^1237635-1 is not prime. Res64: 206E1F0F7BCA8066 Time : 0.0 sec. user=mdettweiler [2012-12-18 20:41:49] 677*2^1237636-1 is not prime. Res64: 823E4CD8DDBD9D19 Time : 0.0 sec. user=mdettweiler [2012-12-18 20:41:49] 773*2^1237636-1 is not prime. Res64: 0F1CE71D28012FB8 Time : 0.0 sec. user=mdettweiler [2012-12-18 20:47:41] 857*2^1237636-1 is not prime. Res64: DB220C3F125227F8 Time : 0.0 sec. user=mdettweiler [2012-12-18 20:47:41] 975*2^1237636-1 is not prime. Res64: 6FDD3ED871C9453E Time : 0.0 sec. user=mdettweiler [2012-12-18 20:59:51] 697*2^1237637-1 is not prime. Res64: 92ED23A74E394226 Time : 0.0 sec. user=mdettweiler [2012-12-18 20:59:51] 885*2^1237637-1 is not prime. Res64: 96ADA2E9888D230B Time : 0.0 sec. user=mdettweiler [2012-12-18 21:05:44] 949*2^1237637-1 is not prime. Res64: 17351C31D5D6EB1B Time : 0.0 sec. user=mdettweiler [2012-12-18 21:05:45] 611*2^1237638-1 is not prime. Res64: 8B73A99E491F02C0 Time : 0.0 sec. user=mdettweiler [2012-12-18 21:17:54] 641*2^1237638-1 is not prime. Res64: 4EA0EA6892BE4163 Time : 0.0 sec. user=mdettweiler [2012-12-18 21:17:54] 647*2^1237638-1 is not prime. Res64: 0EECD9CA40D1EFE6 Time : 0.0 sec. user=mdettweiler [2012-12-18 21:23:58] 657*2^1237638-1 is not prime. Res64: 6D9556DA0A575C3E Time : 0.0 sec. user=mdettweiler [2012-12-18 21:23:58] 707*2^1237638-1 is not prime. Res64: DBA6065879D4754B Time : 0.0 sec. user=mdettweiler [2012-12-18 21:35:58] 755*2^1237638-1 is not prime. Res64: 385EB27FA4E59C12 Time : 0.0 sec. user=mdettweiler [2012-12-18 21:35:59] 777*2^1237638-1 is not prime. Res64: 9C3ECF4C18F14B77 Time : 0.0 sec. user=mdettweiler [2012-12-18 21:41:58] 921*2^1237638-1 is not prime. Res64: AAB052CDC1316395 Time : 0.0 sec. user=mdettweiler [2012-12-18 21:41:58] 977*2^1237638-1 is not prime. Res64: 9BDD01E92201F345 Time : 0.0 sec. user=mdettweiler [2012-12-18 21:53:56] 649*2^1237639-1 is not prime. Res64: 63AAAFB26331F6B4 Time : 0.0 sec. user=mdettweiler [2012-12-18 21:53:56] 693*2^1237639-1 is not prime. Res64: CDB305BD8205949D Time : 0.0 sec. user=mdettweiler [2012-12-18 21:59:48] 765*2^1237639-1 is not prime. Res64: 563E133ECE471AA8 Time : 0.0 sec. user=mdettweiler [2012-12-18 21:59:48] 831*2^1237639-1 is not prime. Res64: 9851D89356C94ACA Time : 0.0 sec. user=mdettweiler [2012-12-18 22:11:24] 843*2^1237639-1 is not prime. Res64: BB3BD978AABCB45E Time : 0.0 sec. user=mdettweiler [2012-12-18 22:11:25] 939*2^1237639-1 is not prime. Res64: 1C44DA5D99BEBA14 Time : 0.0 sec. user=mdettweiler [2012-12-18 22:17:12] 961*2^1237639-1 is not prime. Res64: F6DCB24FDCB0A58E Time : 0.0 sec. user=mdettweiler [2012-12-18 22:17:13] 969*2^1237639-1 is not prime. Res64: 75667A19EAF478E2 Time : 0.0 sec. user=mdettweiler [2012-12-18 22:28:53] 635*2^1237640-1 is not prime. Res64: 0A0C56AB2487879A Time : 0.0 sec. user=mdettweiler [2012-12-18 22:28:54] 759*2^1237640-1 is not prime. Res64: A5305F009A2AC8A0 Time : 0.0 sec. user=mdettweiler [2012-12-18 22:34:40] 957*2^1237640-1 is not prime. Res64: 32560BB5E8A06F92 Time : 0.0 sec. user=mdettweiler [2012-12-18 22:34:40] 983*2^1237640-1 is not prime. Res64: 09BCA190C2EE978B Time : 0.0 sec. user=mdettweiler [2012-12-18 22:46:17] 995*2^1237640-1 is not prime. Res64: 5BAE6E6C1FC8F219 Time : 0.0 sec. user=mdettweiler [2012-12-18 22:46:18] 601*2^1237641-1 is not prime. Res64: 7D45E4BF2CF45BB7 Time : 0.0 sec. user=mdettweiler [2012-12-18 22:52:04] 639*2^1237641-1 is not prime. Res64: DEF435D866431E4E Time : 0.0 sec. user=mdettweiler [2012-12-18 22:52:05] 657*2^1237641-1 is not prime. Res64: 6F95432E9B28CFF3 Time : 0.0 sec. user=mdettweiler [2012-12-18 23:03:42] 675*2^1237641-1 is not prime. Res64: D64B0D81CC5402E8 Time : 0.0 sec. user=mdettweiler [2012-12-18 23:03:44] 685*2^1237641-1 is not prime. Res64: 5CE5CF132FAFB025 Time : 0.0 sec. user=mdettweiler [2012-12-18 23:09:29] 691*2^1237641-1 is not prime. Res64: FE097C27625BA378 Time : 0.0 sec. user=mdettweiler [2012-12-18 23:09:31] 865*2^1237641-1 is not prime. Res64: 1D856B42CF3EF32A Time : 0.0 sec. user=mdettweiler [2012-12-18 23:21:16] 979*2^1237641-1 is not prime. Res64: 17811630E3F1A047 Time : 0.0 sec. user=mdettweiler [2012-12-18 23:21:17] 657*2^1237642-1 is not prime. Res64: 8B02C0A5DC498AC0 Time : 0.0 sec. user=mdettweiler [2012-12-18 23:27:11] 671*2^1237642-1 is not prime. Res64: C024D16ADC74610E Time : 0.0 sec. user=mdettweiler [2012-12-18 23:27:12] 713*2^1237642-1 is not prime. Res64: B8BF674CA040CB0E Time : 0.0 sec. user=mdettweiler [2012-12-18 23:38:47] 731*2^1237642-1 is not prime. Res64: 4567404B9C29D059 Time : 0.0 sec. user=mdettweiler [2012-12-18 23:38:48] 833*2^1237642-1 is not prime. Res64: 617B164D906F4A40 Time : 0.0 sec. user=mdettweiler [2012-12-18 23:44:38] 887*2^1237642-1 is not prime. Res64: 1B48C7C90EA29B78 Time : 0.0 sec. user=mdettweiler [2012-12-18 23:44:39] 923*2^1237642-1 is not prime. Res64: 6A1E84A00EF664A6 Time : 0.0 sec. user=mdettweiler [2012-12-18 23:56:11] 983*2^1237642-1 is not prime. Res64: E41C85A3EFD86076 Time : 0.0 sec. user=mdettweiler [2012-12-18 23:56:12] 603*2^1237643-1 is not prime. Res64: A9746A804800C287 Time : 0.0 sec.