user=mdettweiler [2015-01-31 00:03:01] 647*2^1389982-1 is not prime. Res64: EECEBD9248FE6D74 Time : 0.0 sec. user=mdettweiler [2015-01-31 00:03:01] 777*2^1389982-1 is not prime. Res64: 1A44CBCFC8465BBD Time : 0.0 sec. user=mdettweiler [2015-01-31 00:03:15] 999*2^1389981-1 is not prime. Res64: 5BB93898A761C151 Time : 0.0 sec. user=mdettweiler [2015-01-31 00:03:16] 621*2^1389982-1 is not prime. Res64: F7C155F1BA7C500A Time : 0.0 sec. user=mdettweiler [2015-01-31 00:13:44] 813*2^1389982-1 is not prime. Res64: 56234E6B3AD21CEB Time : 0.0 sec. user=mdettweiler [2015-01-31 00:13:45] 983*2^1389982-1 is not prime. Res64: 88115EBBC566DB40 Time : 0.0 sec. user=mdettweiler [2015-01-31 00:14:15] 609*2^1389983-1 is not prime. Res64: 09B3FD16EF08F942 Time : 0.0 sec. user=mdettweiler [2015-01-31 00:14:15] 775*2^1389983-1 is not prime. Res64: 00B5662BE070A4B7 Time : 0.0 sec. user=mdettweiler [2015-01-31 00:31:01] 831*2^1389983-1 is not prime. Res64: 87D00BC351B9B472 Time : 0.0 sec. user=mdettweiler [2015-01-31 00:31:01] 871*2^1389983-1 is not prime. Res64: 6B8662DB694AEF7F Time : 0.0 sec. user=mdettweiler [2015-01-31 00:31:24] 629*2^1389984-1 is not prime. Res64: 6EB9D5C3325732BA Time : 0.0 sec. user=mdettweiler [2015-01-31 00:31:24] 689*2^1389984-1 is not prime. Res64: 3D67961CEAC3C430 Time : 0.0 sec. user=mdettweiler [2015-01-31 00:45:03] 723*2^1389984-1 is not prime. Res64: 96483A59D16CD5F4 Time : 0.0 sec. user=mdettweiler [2015-01-31 00:45:03] 909*2^1389984-1 is not prime. Res64: 85F875C94BBF778B Time : 0.0 sec. user=mdettweiler [2015-01-31 00:46:54] 917*2^1389984-1 is not prime. Res64: D2782D2C573457C2 Time : 0.0 sec. user=mdettweiler [2015-01-31 00:46:54] 929*2^1389984-1 is not prime. Res64: 4C66C76334B25183 Time : 0.0 sec. user=mdettweiler [2015-01-31 01:09:14] 607*2^1389985-1 is not prime. Res64: 15CC31106B71F18C Time : 0.0 sec. user=mdettweiler [2015-01-31 01:09:14] 625*2^1389985-1 is not prime. Res64: F541C170F8A70A56 Time : 0.0 sec. user=mdettweiler [2015-01-31 01:11:03] 691*2^1389985-1 is not prime. Res64: 574AC62CCDB3D4F9 Time : 0.0 sec. user=mdettweiler [2015-01-31 01:11:03] 717*2^1389985-1 is not prime. Res64: 8FBE035069460F76 Time : 0.0 sec. user=mdettweiler [2015-01-31 01:22:15] 777*2^1389985-1 is not prime. Res64: B5B5BF0A1093A702 Time : 0.0 sec. user=mdettweiler [2015-01-31 01:22:16] 847*2^1389985-1 is not prime. Res64: D61BBD55C41D4A32 Time : 0.0 sec. user=mdettweiler [2015-01-31 01:22:37] 741*2^1389985-1 is not prime. Res64: 38B702C17CA9711B Time : 0.0 sec. user=mdettweiler [2015-01-31 01:22:37] 765*2^1389985-1 is not prime. Res64: 96214C0A20786C21 Time : 0.0 sec. user=mdettweiler [2015-01-31 01:39:14] 919*2^1389985-1 is not prime. Res64: DC2E9642D6F1A062 Time : 0.0 sec. user=mdettweiler [2015-01-31 01:39:15] 957*2^1389985-1 is not prime. Res64: D4011BF105CDCDEC Time : 0.0 sec. user=mdettweiler [2015-01-31 01:40:47] 981*2^1389985-1 is not prime. Res64: CDB91989D5AD6ACD Time : 0.0 sec. user=mdettweiler [2015-01-31 01:40:47] 999*2^1389985-1 is not prime. Res64: 7A928FDF9367ED66 Time : 0.0 sec. user=mdettweiler [2015-01-31 01:48:20] 705*2^1389986-1 is not prime. Res64: 0FE0CF60B6AC992A Time : 0.0 sec. user=mdettweiler [2015-01-31 01:48:20] 713*2^1389986-1 is not prime. Res64: 3AC4A5898A5B88CB Time : 0.0 sec. user=mdettweiler [2015-01-31 01:48:52] 785*2^1389986-1 is not prime. Res64: 9198E2A42FA246BB Time : 0.0 sec. user=mdettweiler [2015-01-31 01:48:53] 857*2^1389986-1 is not prime. Res64: 447E0F216E337EFB Time : 0.0 sec. user=mdettweiler [2015-01-31 02:05:00] 903*2^1389986-1 is not prime. Res64: 3695BB8E935B57B0 Time : 0.0 sec. user=mdettweiler [2015-01-31 02:05:00] 675*2^1389987-1 is not prime. Res64: 0B79DE6AE584A31D Time : 0.0 sec. user=mdettweiler [2015-01-31 02:06:24] 691*2^1389987-1 is not prime. Res64: 8F940B008AE33F1A Time : 0.0 sec. user=mdettweiler [2015-01-31 02:06:25] 979*2^1389987-1 is not prime. Res64: D5CC563ED0E19968 Time : 0.0 sec. user=mdettweiler [2015-01-31 02:13:55] 615*2^1389988-1 is not prime. Res64: 323241C02BBCA4C9 Time : 0.0 sec. user=mdettweiler [2015-01-31 02:13:56] 887*2^1389988-1 is not prime. Res64: 8240D8D28279B548 Time : 0.0 sec. user=mdettweiler [2015-01-31 02:14:28] 947*2^1389988-1 is not prime. Res64: 37D81A75318E93D7 Time : 0.0 sec. user=mdettweiler [2015-01-31 02:14:28] 957*2^1389988-1 is not prime. Res64: 0AC9F910420B0D8E Time : 0.0 sec. user=mdettweiler [2015-01-31 02:30:29] 657*2^1389989-1 is not prime. Res64: E067C202D492823F Time : 0.0 sec. user=mdettweiler [2015-01-31 02:30:30] 747*2^1389989-1 is not prime. Res64: 67B64D45D94DF29D Time : 0.0 sec. user=mdettweiler [2015-01-31 02:31:55] 801*2^1389989-1 is not prime. Res64: 2BA526A7813B8237 Time : 0.0 sec. user=mdettweiler [2015-01-31 02:31:56] 927*2^1389989-1 is not prime. Res64: CA02FC6FEEA4B195 Time : 0.0 sec. user=mdettweiler [2015-01-31 02:39:26] 939*2^1389989-1 is not prime. Res64: 6FC4FEA6DB3E23A7 Time : 0.0 sec. user=mdettweiler [2015-01-31 02:39:27] 951*2^1389989-1 is not prime. Res64: 312EE06E3F44AE51 Time : 0.0 sec. user=mdettweiler [2015-01-31 02:40:01] 717*2^1389990-1 is not prime. Res64: 00660E2643FF4D1A Time : 0.0 sec. user=mdettweiler [2015-01-31 02:40:01] 725*2^1389990-1 is not prime. Res64: FF1DB332F838C80A Time : 0.0 sec. user=juhehe [2015-01-31 02:42:14] 631*2^1389989-1 is not prime. Res64: BC9298DAC1BA2071 Time : 0.0 sec. user=mdettweiler [2015-01-31 02:56:16] 777*2^1389990-1 is not prime. Res64: A8C7975D3AFCF45F Time : 0.0 sec. user=mdettweiler [2015-01-31 02:56:16] 875*2^1389990-1 is not prime. Res64: B98EFD5949B7386E Time : 0.0 sec. user=mdettweiler [2015-01-31 02:57:24] 917*2^1389990-1 is not prime. Res64: B7ED5AE531027B1F Time : 0.0 sec. user=mdettweiler [2015-01-31 02:57:24] 619*2^1389991-1 is not prime. Res64: 82F6BF8D3777E18B Time : 0.0 sec. user=mdettweiler [2015-01-31 03:05:43] 645*2^1389991-1 is not prime. Res64: 41BBE49A8F7FE8BA Time : 0.0 sec. user=mdettweiler [2015-01-31 03:05:43] 663*2^1389991-1 is not prime. Res64: 628335E5B5EBD219 Time : 0.0 sec. user=mdettweiler [2015-01-31 03:06:23] 709*2^1389991-1 is not prime. Res64: 75E4108ECA46FACE Time : 0.0 sec. user=mdettweiler [2015-01-31 03:06:23] 871*2^1389991-1 is not prime. Res64: 38DE4BB0FA87A728 Time : 0.0 sec. user=mdettweiler [2015-01-31 03:22:10] 961*2^1389991-1 is not prime. Res64: 747FBCDB150386A7 Time : 0.0 sec. user=mdettweiler [2015-01-31 03:22:10] 979*2^1389991-1 is not prime. Res64: 32EA61AB2BF43FBD Time : 0.0 sec. user=mdettweiler [2015-01-31 03:23:41] 629*2^1389992-1 is not prime. Res64: 688D39CDED4CD657 Time : 0.0 sec. user=mdettweiler [2015-01-31 03:23:41] 689*2^1389992-1 is not prime. Res64: 1AE8C248C0EE6D66 Time : 0.0 sec. user=mdettweiler [2015-01-31 03:31:21] 815*2^1389992-1 is not prime. Res64: 726E3CAB0DDC062E Time : 0.0 sec. user=mdettweiler [2015-01-31 03:31:24] 825*2^1389992-1 is not prime. Res64: 0CEF7CA5583377B6 Time : 0.0 sec. user=mdettweiler [2015-01-31 03:32:19] 977*2^1389992-1 is not prime. Res64: F8A28425364A0382 Time : 0.0 sec. user=mdettweiler [2015-01-31 03:32:20] 657*2^1389993-1 is not prime. Res64: 4779EC010295906C Time : 0.0 sec. user=mdettweiler [2015-01-31 03:48:10] 675*2^1389993-1 is not prime. Res64: A4A3D570213627B1 Time : 0.0 sec. user=mdettweiler [2015-01-31 03:48:11] 699*2^1389993-1 is not prime. Res64: 25BD2977F6E7660F Time : 0.0 sec. user=mdettweiler [2015-01-31 03:50:03] 721*2^1389993-1 is not prime. Res64: 0B15408371400AC8 Time : 0.0 sec. user=mdettweiler [2015-01-31 03:50:03] 751*2^1389993-1 is not prime. Res64: 84F30EE167BC5EE8 Time : 0.0 sec. user=mdettweiler [2015-01-31 03:56:58] 895*2^1389993-1 is not prime. Res64: D1D314F10B6CE953 Time : 0.0 sec. user=mdettweiler [2015-01-31 03:56:59] 945*2^1389993-1 is not prime. Res64: 917BF4115B93284F Time : 0.0 sec. user=mdettweiler [2015-01-31 03:58:02] 985*2^1389993-1 is not prime. Res64: 7C9157F11BA9C3F5 Time : 0.0 sec. user=mdettweiler [2015-01-31 03:58:03] 991*2^1389993-1 is not prime. Res64: 00713002D16C775D Time : 0.0 sec. user=mdettweiler [2015-01-31 04:13:57] 999*2^1389993-1 is not prime. Res64: 6C434C69393E4DBA Time : 0.0 sec. user=mdettweiler [2015-01-31 04:13:57] 605*2^1389994-1 is not prime. Res64: 2A9648836A2EDB6E Time : 0.0 sec. user=mdettweiler [2015-01-31 04:15:22] 671*2^1389994-1 is not prime. Res64: 906B00E9E5E7638A Time : 0.0 sec. user=mdettweiler [2015-01-31 04:15:22] 681*2^1389994-1 is not prime. Res64: 4A142E582A50CC23 Time : 0.0 sec. user=mdettweiler [2015-01-31 04:22:24] 717*2^1389994-1 is not prime. Res64: EF5C4CE2918EFADB Time : 0.0 sec. user=mdettweiler [2015-01-31 04:22:25] 831*2^1389994-1 is not prime. Res64: ACFE5A7D9E6751BF Time : 0.0 sec. user=mdettweiler [2015-01-31 04:23:31] 861*2^1389994-1 is not prime. Res64: 84A3E95436B635F9 Time : 0.0 sec. user=mdettweiler [2015-01-31 04:23:31] 923*2^1389994-1 is not prime. Res64: 3C6CF899B9929E92 Time : 0.0 sec. user=mdettweiler [2015-01-31 04:39:18] 957*2^1389994-1 is not prime. Res64: 84DAE17E425DD62A Time : 0.0 sec. user=mdettweiler [2015-01-31 04:39:18] 603*2^1389995-1 is not prime. Res64: 0EA2D359EDD66FC4 Time : 0.0 sec. user=mdettweiler [2015-01-31 04:40:44] 655*2^1389995-1 is not prime. Res64: 1654B90FA6308265 Time : 0.0 sec. user=mdettweiler [2015-01-31 04:40:45] 775*2^1389995-1 is not prime. Res64: 585A05848838474A Time : 0.0 sec. user=mdettweiler [2015-01-31 04:47:46] 979*2^1389995-1 is not prime. Res64: C0FD7D1644B4370D Time : 0.0 sec. user=mdettweiler [2015-01-31 04:47:46] 981*2^1389995-1 is not prime. Res64: 910DFE52B48790F1 Time : 0.0 sec. user=mdettweiler [2015-01-31 04:48:52] 999*2^1389995-1 is not prime. Res64: 373E65D0DEA10F61 Time : 0.0 sec. user=mdettweiler [2015-01-31 04:48:52] 675*2^1389996-1 is not prime. Res64: A98055BAE0B39E1E Time : 0.0 sec. user=mdettweiler [2015-01-31 05:04:44] 789*2^1389996-1 is not prime. Res64: EA3BC4232FDA54BA Time : 0.0 sec. user=mdettweiler [2015-01-31 05:04:46] 993*2^1389996-1 is not prime. Res64: 18C6CC302E05B299 Time : 0.0 sec. user=mdettweiler [2015-01-31 05:06:04] 607*2^1389997-1 is not prime. Res64: A7A42C4FF3BDB551 Time : 0.0 sec. user=mdettweiler [2015-01-31 05:06:04] 801*2^1389997-1 is not prime. Res64: FB8C4D50CAAE4CDE Time : 0.0 sec. user=mdettweiler [2015-01-31 05:13:09] 885*2^1389997-1 is not prime. Res64: 72FC49A74D11C569 Time : 0.0 sec. user=mdettweiler [2015-01-31 05:13:09] 889*2^1389997-1 is not prime. Res64: 1AA126A7955568A3 Time : 0.0 sec. user=mdettweiler [2015-01-31 05:14:11] 665*2^1389998-1 is not prime. Res64: F1E77F1B896A481E Time : 0.0 sec. user=mdettweiler [2015-01-31 05:14:11] 753*2^1389998-1 is not prime. Res64: BDA73578AA27626F Time : 0.0 sec. user=mdettweiler [2015-01-31 05:30:32] 797*2^1389998-1 is not prime. Res64: 30B048E4BB68453B Time : 0.0 sec. user=mdettweiler [2015-01-31 05:30:33] 825*2^1389998-1 is not prime. Res64: D7A139549DBD8438 Time : 0.0 sec. user=mdettweiler [2015-01-31 05:31:26] 945*2^1389998-1 is not prime. Res64: C26A2AC0A785127F Time : 0.0 sec. user=mdettweiler [2015-01-31 05:31:26] 615*2^1389999-1 is not prime. Res64: B0C15F457EE75EA7 Time : 0.0 sec. user=mdettweiler [2015-01-31 05:38:32] 669*2^1389999-1 is not prime. Res64: 2F8C9D3176B370DE Time : 0.0 sec. user=mdettweiler [2015-01-31 05:38:32] 751*2^1389999-1 is not prime. Res64: ADB35D71CF970D0F Time : 0.0 sec. user=mdettweiler [2015-01-31 05:39:31] 789*2^1389999-1 is not prime. Res64: D30F2F3983D54CFE Time : 0.0 sec. user=mdettweiler [2015-01-31 05:39:31] 843*2^1389999-1 is not prime. Res64: E9B5E0D5E82EA90B Time : 0.0 sec. user=mdettweiler [2015-01-31 05:56:02] 919*2^1389999-1 is not prime. Res64: 3B047CCF8292A33D Time : 0.0 sec. user=mdettweiler [2015-01-31 05:56:02] 605*2^1390000-1 is not prime. Res64: D27D8A85EC4DEE8C Time : 0.0 sec. user=mdettweiler [2015-01-31 05:56:47] 645*2^1390000-1 is not prime. Res64: DB425C960DE1BC26 Time : 0.0 sec. user=mdettweiler [2015-01-31 05:56:47] 723*2^1390000-1 is not prime. Res64: 28FE3C05363841D0 Time : 0.0 sec. user=mdettweiler [2015-01-31 06:03:59] 759*2^1390000-1 is not prime. Res64: F1C45A3D04C94477 Time : 0.0 sec. user=mdettweiler [2015-01-31 06:04:00] 777*2^1390000-1 is not prime. Res64: 35B695CAD203F176 Time : 0.0 sec. user=mdettweiler [2015-01-31 06:04:56] 999*2^1390000-1 is not prime. Res64: F3673A1932C64590 Time : 0.0 sec. user=mdettweiler [2015-01-31 06:04:57] 727*2^1390001-1 is not prime. Res64: B6F12C4B83DD949D Time : 0.0 sec. user=mdettweiler [2015-01-31 06:21:25] 735*2^1390001-1 is not prime. Res64: 794E11BAA6F01BF5 Time : 0.0 sec. user=mdettweiler [2015-01-31 06:21:26] 781*2^1390001-1 is not prime. Res64: 5288AEFC57C7D807 Time : 0.0 sec. user=mdettweiler [2015-01-31 06:22:14] 885*2^1390001-1 is not prime. Res64: AB0E99B200F84E8A Time : 0.0 sec. user=mdettweiler [2015-01-31 06:22:15] 945*2^1390001-1 is not prime. Res64: B1752A971E74650D Time : 0.0 sec. user=mdettweiler [2015-01-31 06:29:21] 711*2^1390002-1 is not prime. Res64: CA9F869A38976278 Time : 0.0 sec. user=mdettweiler [2015-01-31 06:29:22] 765*2^1390002-1 is not prime. Res64: A94A2EE4308BD486 Time : 0.0 sec. user=mdettweiler [2015-01-31 06:30:16] 941*2^1390002-1 is not prime. Res64: 2DE1873BD2276D34 Time : 0.0 sec. user=mdettweiler [2015-01-31 06:30:17] 663*2^1390003-1 is not prime. Res64: 21DD0B40D7F62443 Time : 0.0 sec. user=mdettweiler [2015-01-31 06:46:51] 735*2^1390003-1 is not prime. Res64: 4A25209794EEFE2D Time : 0.0 sec. user=mdettweiler [2015-01-31 06:46:52] 943*2^1390003-1 is not prime. Res64: 64ED53EA0EB52A78 Time : 0.0 sec. user=mdettweiler [2015-01-31 06:47:32] 677*2^1390004-1 is not prime. Res64: F7A5D7CCA94FB4DC Time : 0.0 sec. user=mdettweiler [2015-01-31 06:47:33] 803*2^1390004-1 is not prime. Res64: 72586CB36E01AB22 Time : 0.0 sec. user=mdettweiler [2015-01-31 06:54:46] 833*2^1390004-1 is not prime. Res64: 282BAFE5F2ADEC85 Time : 0.0 sec. user=mdettweiler [2015-01-31 06:54:47] 873*2^1390004-1 is not prime. Res64: 502EFF8D7F73693C Time : 0.0 sec. user=mdettweiler [2015-01-31 06:55:40] 885*2^1390004-1 is not prime. Res64: F1F48D71E513F992 Time : 0.0 sec. user=mdettweiler [2015-01-31 06:55:40] 897*2^1390004-1 is not prime. Res64: 3BA33FB2D536D4CA Time : 0.0 sec. user=mdettweiler [2015-01-31 07:12:17] 953*2^1390004-1 is not prime. Res64: A2C7EB7FB0D7D77C Time : 0.0 sec. user=mdettweiler [2015-01-31 07:12:18] 657*2^1390005-1 is not prime. Res64: 71C5162E33B57666 Time : 0.0 sec. user=mdettweiler [2015-01-31 07:12:57] 675*2^1390005-1 is not prime. Res64: 1EA053A4BB0D0E19 Time : 0.0 sec. user=mdettweiler [2015-01-31 07:12:58] 685*2^1390005-1 is not prime. Res64: FB0BC2A11AF20C6D Time : 0.0 sec. user=mdettweiler [2015-01-31 07:20:17] 795*2^1390005-1 is not prime. Res64: 18EC72001191C38C Time : 0.0 sec. user=mdettweiler [2015-01-31 07:20:17] 871*2^1390005-1 is not prime. Res64: 2D0D55062F63E66D Time : 0.0 sec. user=mdettweiler [2015-01-31 07:21:12] 889*2^1390005-1 is not prime. Res64: B2D5F728E7088C78 Time : 0.0 sec. user=mdettweiler [2015-01-31 07:21:13] 891*2^1390005-1 is not prime. Res64: D276A4B4ECFADE94 Time : 0.0 sec. user=mdettweiler [2015-01-31 07:37:44] 645*2^1390006-1 is not prime. Res64: BDF78F914FCE0C9F Time : 0.0 sec. user=mdettweiler [2015-01-31 07:37:44] 657*2^1390006-1 is not prime. Res64: AF93B8D5E53E8276 Time : 0.0 sec. user=mdettweiler [2015-01-31 07:38:21] 723*2^1390006-1 is not prime. Res64: 2261A7B543D73119 Time : 0.0 sec. user=mdettweiler [2015-01-31 07:38:21] 843*2^1390006-1 is not prime. Res64: 1738ACA6A8FE7771 Time : 0.0 sec. user=mdettweiler [2015-01-31 07:45:40] 867*2^1390006-1 is not prime. Res64: CA04AE6B73C9E387 Time : 0.0 sec. user=mdettweiler [2015-01-31 07:45:40] 933*2^1390006-1 is not prime. Res64: C9A3D2B65F00F022 Time : 0.0 sec. user=mdettweiler [2015-01-31 07:46:38] 945*2^1390006-1 is not prime. Res64: 80C3CCFEC06C61E8 Time : 0.0 sec. user=mdettweiler [2015-01-31 07:46:39] 819*2^1390007-1 is not prime. Res64: 710E68CF82068417 Time : 0.0 sec. user=mdettweiler [2015-01-31 08:03:07] 861*2^1390007-1 is not prime. Res64: 9CD13F7B0C6A472B Time : 0.0 sec. user=mdettweiler [2015-01-31 08:03:09] 883*2^1390007-1 is not prime. Res64: 6A9E20DDA82E1D69 Time : 0.0 sec. user=mdettweiler [2015-01-31 08:03:39] 895*2^1390007-1 is not prime. Res64: 91A118B17728B249 Time : 0.0 sec. user=mdettweiler [2015-01-31 08:03:40] 963*2^1390007-1 is not prime. Res64: 8E3EB4E3ECA2851C Time : 0.0 sec. user=mdettweiler [2015-01-31 08:11:02] 981*2^1390007-1 is not prime. Res64: B706C90CB0031D1F Time : 0.0 sec. user=mdettweiler [2015-01-31 08:11:02] 633*2^1390008-1 is not prime. Res64: DFBFA622E85F8092 Time : 0.0 sec. user=mdettweiler [2015-01-31 08:12:05] 683*2^1390008-1 is not prime. Res64: 8BDC8CF8DB8F879A Time : 0.0 sec. user=mdettweiler [2015-01-31 08:12:05] 725*2^1390008-1 is not prime. Res64: 2070E1E164F929F2 Time : 0.0 sec. user=mdettweiler [2015-01-31 08:28:57] 735*2^1390008-1 is not prime. Res64: 67BDC8CCD130CE27 Time : 0.0 sec. user=mdettweiler [2015-01-31 08:28:57] 759*2^1390008-1 is not prime. Res64: 2E7D2D22B3E034DF Time : 0.0 sec. user=mdettweiler [2015-01-31 08:29:05] 797*2^1390008-1 is not prime. Res64: 1DD538DF979FCF51 Time : 0.0 sec. user=mdettweiler [2015-01-31 08:29:05] 815*2^1390008-1 is not prime. Res64: CB263C0E1D3CDE85 Time : 0.0 sec. user=mdettweiler [2015-01-31 08:36:23] 839*2^1390008-1 is not prime. Res64: 2A5FF2DEC8E748BE Time : 0.0 sec. user=mdettweiler [2015-01-31 08:36:24] 615*2^1390009-1 is not prime. Res64: 0B8A1BF3F75D15CF Time : 0.0 sec. user=mdettweiler [2015-01-31 08:37:25] 681*2^1390009-1 is not prime. Res64: BD7C5B8FA0F5575C Time : 0.0 sec. user=mdettweiler [2015-01-31 08:37:26] 775*2^1390009-1 is not prime. Res64: 17BDCF63ED97452B Time : 0.0 sec. user=mdettweiler [2015-01-31 08:54:24] 861*2^1390009-1 is not prime. Res64: 1141FD7BCFCF10B1 Time : 0.0 sec. user=mdettweiler [2015-01-31 08:54:25] 877*2^1390009-1 is not prime. Res64: 905DA9B76E201DF9 Time : 0.0 sec. user=mdettweiler [2015-01-31 08:54:26] 677*2^1390010-1 is not prime. Res64: 70FBAAD53AA53F6A Time : 0.0 sec. user=mdettweiler [2015-01-31 08:54:27] 717*2^1390010-1 is not prime. Res64: 1305D262247AE7A5 Time : 0.0 sec. user=mdettweiler [2015-01-31 09:01:44] 783*2^1390010-1 is not prime. Res64: B532515FCE5125FE Time : 0.0 sec. user=mdettweiler [2015-01-31 09:01:45] 851*2^1390010-1 is not prime. Res64: D7345AA593972B40 Time : 0.0 sec. user=mdettweiler [2015-01-31 09:02:44] 917*2^1390010-1 is not prime. Res64: BCFD68A50C87BF45 Time : 0.0 sec. user=mdettweiler [2015-01-31 09:02:45] 613*2^1390011-1 is not prime. Res64: 1F4E9FE62E6AAFF1 Time : 0.0 sec. user=mdettweiler [2015-01-31 09:19:44] 647*2^1390012-1 is not prime. Res64: 28446BEA11F78026 Time : 0.0 sec. user=mdettweiler [2015-01-31 09:19:45] 665*2^1390012-1 is not prime. Res64: 5FA64FA50FC9D678 Time : 0.0 sec. user=mdettweiler [2015-01-31 09:19:50] 723*2^1390011-1 is not prime. Res64: 5DDB4F651D5E5D5E Time : 0.0 sec. user=mdettweiler [2015-01-31 09:19:50] 615*2^1390012-1 is not prime. Res64: 022E882D9886D68C Time : 0.0 sec. user=mdettweiler [2015-01-31 09:27:33] 735*2^1390012-1 is not prime. Res64: BAD94857ACB064F1 Time : 0.0 sec. user=mdettweiler [2015-01-31 09:27:33] 779*2^1390012-1 is not prime. Res64: DCBD4A0927517EF0 Time : 0.0 sec. user=mdettweiler [2015-01-31 09:28:13] 819*2^1390012-1 is not prime. Res64: A9579BFFE6A3BAEA Time : 0.0 sec. user=mdettweiler [2015-01-31 09:28:13] 869*2^1390012-1 is not prime. Res64: 9068531F072258CB Time : 0.0 sec. user=mdettweiler [2015-01-31 09:45:09] 965*2^1390012-1 is not prime. Res64: CB11D85739C74CFC Time : 0.0 sec. user=mdettweiler [2015-01-31 09:45:09] 983*2^1390012-1 is not prime. Res64: 67FFAFBE13EC6FF5 Time : 0.0 sec. user=mdettweiler [2015-01-31 09:45:19] 989*2^1390012-1 is not prime. Res64: 961CE7A7D059DBED Time : 0.0 sec. user=mdettweiler [2015-01-31 09:45:19] 615*2^1390013-1 is not prime. Res64: B9523D1D7AE5EA94 Time : 0.0 sec. user=mdettweiler [2015-01-31 09:53:00] 685*2^1390013-1 is not prime. Res64: 9A13AE031661206D Time : 0.0 sec. user=mdettweiler [2015-01-31 09:53:00] 757*2^1390013-1 is not prime. Res64: C5CAC1A2B58E9F7E Time : 0.0 sec. user=mdettweiler [2015-01-31 09:53:37] 831*2^1390013-1 is not prime. Res64: F2ED22235A304AD6 Time : 0.0 sec. user=mdettweiler [2015-01-31 09:53:38] 871*2^1390013-1 is not prime. Res64: AEBB619FCE9BD08F Time : 0.0 sec. user=mdettweiler [2015-01-31 10:10:38] 879*2^1390013-1 is not prime. Res64: A3DBF6F4C60A8DC6 Time : 0.0 sec. user=mdettweiler [2015-01-31 10:10:39] 897*2^1390013-1 is not prime. Res64: FEADC6BE0A3271E0 Time : 0.0 sec. user=mdettweiler [2015-01-31 10:10:45] 945*2^1390013-1 is not prime. Res64: 00A7013647D8840B Time : 0.0 sec. user=mdettweiler [2015-01-31 10:10:45] 987*2^1390013-1 is not prime. Res64: 77B8549B05BCA3AB Time : 0.0 sec. user=mdettweiler [2015-01-31 10:18:28] 717*2^1390014-1 is not prime. Res64: 1D10AEE78F3DBEAC Time : 0.0 sec. user=mdettweiler [2015-01-31 10:18:29] 741*2^1390014-1 is not prime. Res64: CBB2F72CD881709A Time : 0.0 sec. user=mdettweiler [2015-01-31 10:19:07] 783*2^1390014-1 is not prime. Res64: 72F9D89301D6980E Time : 0.0 sec. user=mdettweiler [2015-01-31 10:19:07] 791*2^1390014-1 is not prime. Res64: 1CE9AE7E967DB1ED Time : 0.0 sec. user=mdettweiler [2015-01-31 10:36:14] 805*2^1390015-1 is not prime. Res64: 2179999D933A0B32 Time : 0.0 sec. user=mdettweiler [2015-01-31 10:36:15] 861*2^1390015-1 is not prime. Res64: 086452F148864B1E Time : 0.0 sec. user=mdettweiler [2015-01-31 10:36:20] 651*2^1390015-1 is not prime. Res64: 5DBD1C2B508445C4 Time : 0.0 sec. user=mdettweiler [2015-01-31 10:36:20] 661*2^1390015-1 is not prime. Res64: 845FA4204D86C264 Time : 0.0 sec. user=mdettweiler [2015-01-31 10:43:55] 883*2^1390015-1 is not prime. Res64: 6A8D4A8B32F3ED7B Time : 0.0 sec. user=mdettweiler [2015-01-31 10:43:56] 999*2^1390015-1 is not prime. Res64: A2971357B7C35F5C Time : 0.0 sec. user=mdettweiler [2015-01-31 10:44:35] 635*2^1390016-1 is not prime. Res64: 94CDE8EE155CFFA5 Time : 0.0 sec. user=mdettweiler [2015-01-31 10:44:36] 683*2^1390016-1 is not prime. Res64: F6032E83A8ED2D6B Time : 0.0 sec. user=mdettweiler [2015-01-31 11:01:48] 825*2^1390016-1 is not prime. Res64: 3A23D20D25053002 Time : 0.0 sec. user=mdettweiler [2015-01-31 11:01:49] 983*2^1390016-1 is not prime. Res64: 502D9DFC76C4518D Time : 0.0 sec. user=mdettweiler [2015-01-31 11:01:50] 773*2^1390016-1 is not prime. Res64: 542A4A1141216FA0 Time : 0.0 sec. user=mdettweiler [2015-01-31 11:01:51] 777*2^1390016-1 is not prime. Res64: 7060BC8B2823F3FD Time : 0.0 sec. user=mdettweiler [2015-01-31 11:09:18] 777*2^1390017-1 is not prime. Res64: A4C42275A660342B Time : 0.0 sec. user=mdettweiler [2015-01-31 11:09:19] 861*2^1390017-1 is not prime. Res64: 78C659A1D62A1824 Time : 0.0 sec. user=mdettweiler [2015-01-31 11:09:57] 865*2^1390017-1 is not prime. Res64: DE1FE4F771DE7A00 Time : 0.0 sec. user=mdettweiler [2015-01-31 11:09:57] 885*2^1390017-1 is not prime. Res64: 92BD110075601D93 Time : 0.0 sec. user=mdettweiler [2015-01-31 11:27:40] 909*2^1390017-1 is not prime. Res64: 33A1DEB4D5BFD948 Time : 0.0 sec. user=mdettweiler [2015-01-31 11:27:40] 651*2^1390018-1 is not prime. Res64: 8503B4C5382319D1 Time : 0.0 sec. user=mdettweiler [2015-01-31 11:27:41] 713*2^1390018-1 is not prime. Res64: 4477F8A5258B9AB5 Time : 0.0 sec. user=mdettweiler [2015-01-31 11:27:42] 867*2^1390018-1 is not prime. Res64: B7B244E56F4561CC Time : 0.0 sec. user=mdettweiler [2015-01-31 11:34:49] 971*2^1390018-1 is not prime. Res64: AAA15E1EDC64C813 Time : 0.0 sec. user=mdettweiler [2015-01-31 11:34:49] 631*2^1390019-1 is not prime. Res64: F049E56860929137 Time : 0.0 sec. user=mdettweiler [2015-01-31 11:35:29] 685*2^1390019-1 is not prime. Res64: B5D071F292587172 Time : 0.0 sec. user=mdettweiler [2015-01-31 11:35:29] 939*2^1390019-1 is not prime. Res64: D1F165C803739A7A Time : 0.0 sec. user=mdettweiler [2015-01-31 11:53:11] 615*2^1390020-1 is not prime. Res64: 71EAC00CE9FE47C6 Time : 0.0 sec. user=mdettweiler [2015-01-31 11:53:11] 629*2^1390020-1 is not prime. Res64: C4CC1658EE1E49EA Time : 0.0 sec. user=mdettweiler [2015-01-31 11:53:13] 635*2^1390020-1 is not prime. Res64: 9F0FAFDF38B07BAC Time : 0.0 sec. user=mdettweiler [2015-01-31 11:53:13] 875*2^1390020-1 is not prime. Res64: EDA63C1F02985161 Time : 0.0 sec. user=mdettweiler [2015-01-31 12:00:19] 933*2^1390020-1 is not prime. Res64: 8D979999D2AE7C91 Time : 0.0 sec. user=mdettweiler [2015-01-31 12:00:20] 965*2^1390020-1 is not prime. Res64: B8476E8044816243 Time : 0.0 sec. user=mdettweiler [2015-01-31 12:00:56] 975*2^1390020-1 is not prime. Res64: 8855426E8537EF16 Time : 0.0 sec. user=mdettweiler [2015-01-31 12:00:57] 675*2^1390021-1 is not prime. Res64: 8EB3484D0FD85A0B Time : 0.0 sec. user=mdettweiler [2015-01-31 12:18:41] 789*2^1390021-1 is not prime. Res64: 2516E50647FD82EC Time : 0.0 sec. user=mdettweiler [2015-01-31 12:18:41] 687*2^1390021-1 is not prime. Res64: 09113CB20466420E Time : 0.0 sec. user=mdettweiler [2015-01-31 12:18:42] 867*2^1390021-1 is not prime. Res64: 4641359D88C9D686 Time : 0.0 sec. user=mdettweiler [2015-01-31 12:18:42] 747*2^1390021-1 is not prime. Res64: E274132DD5CB43C7 Time : 0.0 sec. user=mdettweiler [2015-01-31 12:25:52] 937*2^1390021-1 is not prime. Res64: 7AF763A7E9B19FC9 Time : 0.0 sec. user=mdettweiler [2015-01-31 12:25:53] 987*2^1390021-1 is not prime. Res64: 5C82B357010B086E Time : 0.0 sec. user=mdettweiler [2015-01-31 12:26:30] 999*2^1390021-1 is not prime. Res64: A957669568CBBD52 Time : 0.0 sec. user=mdettweiler [2015-01-31 12:26:31] 693*2^1390022-1 is not prime. Res64: 830CBC809DC1802F Time : 0.0 sec. user=mdettweiler [2015-01-31 12:44:11] 731*2^1390022-1 is not prime. Res64: 02F779D8B8E6A8CE Time : 0.0 sec. user=mdettweiler [2015-01-31 12:44:12] 743*2^1390022-1 is not prime. Res64: 21D5D8242A1B015A Time : 0.0 sec. user=mdettweiler [2015-01-31 12:44:13] 935*2^1390022-1 is not prime. Res64: E1D4E773692D69AA Time : 0.0 sec. user=mdettweiler [2015-01-31 12:44:13] 941*2^1390022-1 is not prime. Res64: 257E329BEF826B85 Time : 0.0 sec. user=mdettweiler [2015-01-31 12:51:21] 945*2^1390022-1 is not prime. Res64: D1099A07DA8CB764 Time : 0.0 sec. user=mdettweiler [2015-01-31 12:51:22] 977*2^1390022-1 is not prime. Res64: 863108F9A21B43D3 Time : 0.0 sec. user=mdettweiler [2015-01-31 12:51:57] 669*2^1390023-1 is not prime. Res64: D52EB47CA0A088F2 Time : 0.0 sec. user=mdettweiler [2015-01-31 12:51:57] 685*2^1390023-1 is not prime. Res64: BE0449A68E36CEE9 Time : 0.0 sec. user=mdettweiler [2015-01-31 13:09:47] 739*2^1390023-1 is not prime. Res64: 9F8C3DC2B1E97395 Time : 0.0 sec. user=mdettweiler [2015-01-31 13:09:48] 783*2^1390023-1 is not prime. Res64: 4A733656B2A906B4 Time : 0.0 sec. user=mdettweiler [2015-01-31 13:09:49] 861*2^1390023-1 is not prime. Res64: 1841828284EBBB11 Time : 0.0 sec. user=mdettweiler [2015-01-31 13:09:50] 871*2^1390023-1 is not prime. Res64: C301101F7E165981 Time : 0.0 sec. user=mdettweiler [2015-01-31 13:17:20] 891*2^1390023-1 is not prime. Res64: 8F33D210742DF952 Time : 0.0 sec. user=mdettweiler [2015-01-31 13:17:21] 901*2^1390023-1 is not prime. Res64: C912526BBD3E8BA0 Time : 0.0 sec. user=mdettweiler [2015-01-31 13:17:54] 973*2^1390023-1 is not prime. Res64: DCDBE0993BD9C9D5 Time : 0.0 sec. user=mdettweiler [2015-01-31 13:17:54] 605*2^1390024-1 is not prime. Res64: C58C4D06A811866B Time : 0.0 sec. user=mdettweiler [2015-01-31 13:41:33] 743*2^1390024-1 is not prime. Res64: BF38B29AE9697727 Time : 0.0 sec. user=mdettweiler [2015-01-31 13:41:33] 755*2^1390024-1 is not prime. Res64: 2E1AD0C5BD916A60 Time : 0.0 sec. user=mdettweiler [2015-01-31 13:43:13] 695*2^1390024-1 is not prime. Res64: 050BE5E9657AD43C Time : 0.0 sec. user=mdettweiler [2015-01-31 13:43:13] 723*2^1390024-1 is not prime. Res64: C1BA75CCB08D1273 Time : 0.0 sec. user=mdettweiler [2015-01-31 13:54:44] 813*2^1390024-1 is not prime. Res64: DB3AE2FE34A5821F Time : 0.0 sec. user=mdettweiler [2015-01-31 13:54:44] 869*2^1390024-1 is not prime. Res64: 7B457568C017DB18 Time : 0.0 sec. user=mdettweiler [2015-01-31 13:56:07] 975*2^1390024-1 is not prime. Res64: AC787EA184DC397F Time : 0.0 sec. user=mdettweiler [2015-01-31 13:56:07] 799*2^1390025-1 is not prime. Res64: E2C5D4CC444446FA Time : 0.0 sec. user=mdettweiler [2015-01-31 14:18:38] 847*2^1390025-1 is not prime. Res64: 4D0586D3836BC4BA Time : 0.0 sec. user=mdettweiler [2015-01-31 14:18:38] 949*2^1390025-1 is not prime. Res64: 9CB432A09E801AA5 Time : 0.0 sec. user=mdettweiler [2015-01-31 14:21:02] 985*2^1390025-1 is not prime. Res64: 82FB1AD6AD2D5785 Time : 0.0 sec. user=mdettweiler [2015-01-31 14:21:02] 633*2^1390026-1 is not prime. Res64: 22D32B0AC2EDD87A Time : 0.0 sec. user=mdettweiler [2015-01-31 14:26:30] 741*2^1390026-1 is not prime. Res64: 8B5929F17D45ECB3 Time : 0.0 sec. user=mdettweiler [2015-01-31 14:26:30] 807*2^1390026-1 is not prime. Res64: 313580FE2B722B73 Time : 0.0 sec. user=mdettweiler [2015-01-31 14:29:14] 923*2^1390026-1 is not prime. Res64: 9352AF3CAF64FBDA Time : 0.0 sec. user=mdettweiler [2015-01-31 14:29:14] 703*2^1390027-1 is not prime. Res64: 6AC6373664C15F47 Time : 0.0 sec. user=mdettweiler [2015-01-31 14:46:11] 715*2^1390027-1 is not prime. Res64: 601DD331C3296BA0 Time : 0.0 sec. user=mdettweiler [2015-01-31 14:46:11] 775*2^1390027-1 is not prime. Res64: A45A1DE93ADDE267 Time : 0.0 sec. user=mdettweiler [2015-01-31 14:47:25] 885*2^1390027-1 is not prime. Res64: FC6BE56BFA9EB985 Time : 0.0 sec. user=mdettweiler [2015-01-31 14:47:25] 951*2^1390027-1 is not prime. Res64: 7A595B41FD069D0A Time : 0.0 sec. user=mdettweiler [2015-01-31 14:52:46] 615*2^1390028-1 is not prime. Res64: 14EDC01F9F67D3E1 Time : 0.0 sec. user=mdettweiler [2015-01-31 14:52:47] 657*2^1390028-1 is not prime. Res64: 8CF11393781AEB30 Time : 0.0 sec. user=mdettweiler [2015-01-31 14:55:33] 743*2^1390028-1 is not prime. Res64: CA003F3F9D97E574 Time : 0.0 sec. user=mdettweiler [2015-01-31 14:55:33] 759*2^1390028-1 is not prime. Res64: 3F7012343E28500A Time : 0.0 sec. user=mdettweiler [2015-01-31 15:12:34] 813*2^1390028-1 is not prime. Res64: 419CCCB30E23E35C Time : 0.0 sec. user=mdettweiler [2015-01-31 15:12:35] 885*2^1390028-1 is not prime. Res64: AC9D95E1B9FE04AE Time : 0.0 sec. user=mdettweiler [2015-01-31 15:13:35] 923*2^1390028-1 is not prime. Res64: 9646991590065B2B Time : 0.0 sec. user=mdettweiler [2015-01-31 15:13:38] 987*2^1390028-1 is not prime. Res64: C92478CA169B7229 Time : 0.0 sec. user=mdettweiler [2015-01-31 15:18:54] 655*2^1390029-1 is not prime. Res64: B9EC22C7EFF3E989 Time : 0.0 sec. user=mdettweiler [2015-01-31 15:18:55] 721*2^1390029-1 is not prime. Res64: 4593940B767ECEE8 Time : 0.0 sec. user=mdettweiler [2015-01-31 15:21:47] 751*2^1390029-1 is not prime. Res64: 2062E26A849E4219 Time : 0.0 sec. user=mdettweiler [2015-01-31 15:21:48] 769*2^1390029-1 is not prime. Res64: BB157E80483EAD05 Time : 0.0 sec. user=mdettweiler [2015-01-31 15:38:57] 861*2^1390029-1 is not prime. Res64: CC559E12A5C695F1 Time : 0.0 sec. user=mdettweiler [2015-01-31 15:38:58] 927*2^1390029-1 is not prime. Res64: 8C16619F177E6F4C Time : 0.0 sec. user=mdettweiler [2015-01-31 15:40:05] 961*2^1390029-1 is not prime. Res64: 4DE52CE123A96F39 Time : 0.0 sec. user=mdettweiler [2015-01-31 15:40:07] 665*2^1390030-1 is not prime. Res64: 913F21BD0460B9EF Time : 0.0 sec. user=mdettweiler [2015-01-31 15:45:43] 741*2^1390030-1 is not prime. Res64: B501CB4586E3291C Time : 0.0 sec. user=mdettweiler [2015-01-31 15:45:44] 971*2^1390030-1 is not prime. Res64: C830DB1EF6E9B7D2 Time : 0.0 sec. user=mdettweiler [2015-01-31 15:48:38] 1001*2^1390030-1 is not prime. Res64: 3E7B2D4D28AECDF1 Time : 0.0 sec. user=mdettweiler [2015-01-31 15:48:39] 643*2^1390031-1 is not prime. Res64: 076DC6F177CF8A59 Time : 0.0 sec. user=mdettweiler [2015-01-31 16:05:53] 693*2^1390031-1 is not prime. Res64: 1AAC04E9FD1A5518 Time : 0.0 sec. user=mdettweiler [2015-01-31 16:05:55] 635*2^1390032-1 is not prime. Res64: B9D62ED202DF2292 Time : 0.0 sec. user=mdettweiler [2015-01-31 16:07:02] 669*2^1390032-1 is not prime. Res64: AE9E45EC7456F2CD Time : 0.0 sec. user=mdettweiler [2015-01-31 16:07:03] 767*2^1390032-1 is not prime. Res64: 6505F91E40569D1B Time : 0.0 sec. user=mdettweiler [2015-01-31 16:12:21] 803*2^1390032-1 is not prime. Res64: 8A1A7E9B6F434EC3 Time : 0.0 sec. user=mdettweiler [2015-01-31 16:12:22] 959*2^1390032-1 is not prime. Res64: 56D3CA812C13A2CB Time : 0.0 sec. user=mdettweiler [2015-01-31 16:15:14] 705*2^1390033-1 is not prime. Res64: A74EBA878C6761D6 Time : 0.0 sec. user=mdettweiler [2015-01-31 16:15:14] 801*2^1390033-1 is not prime. Res64: AD1FD6E02D02CEAC Time : 0.0 sec. user=mdettweiler [2015-01-31 16:32:46] 855*2^1390033-1 is not prime. Res64: 029F1B2E7B86F379 Time : 0.0 sec. user=mdettweiler [2015-01-31 16:32:47] 945*2^1390033-1 is not prime. Res64: DEC4C6D9D56870B5 Time : 0.0 sec. user=juhehe [2015-01-31 16:33:05] 811*2^1390033-1 is not prime. Res64: 48564BB9C5B17D13 Time : 0.0 sec. user=mdettweiler [2015-01-31 16:33:56] 617*2^1390034-1 is not prime. Res64: 27E3969D93AE54DD Time : 0.0 sec. user=mdettweiler [2015-01-31 16:33:57] 677*2^1390034-1 is not prime. Res64: 8F31562E44E3CB6F Time : 0.0 sec. user=mdettweiler [2015-01-31 16:39:09] 755*2^1390034-1 is not prime. Res64: CED2505282140F44 Time : 0.0 sec. user=mdettweiler [2015-01-31 16:39:09] 815*2^1390034-1 is not prime. Res64: 251AF7E1C2A29AAF Time : 0.0 sec. user=mdettweiler [2015-01-31 16:41:52] 851*2^1390034-1 is not prime. Res64: 3038068EA83F8F42 Time : 0.0 sec. user=mdettweiler [2015-01-31 16:41:53] 857*2^1390034-1 is not prime. Res64: 98B60987E7B9172A Time : 0.0 sec. user=mdettweiler [2015-01-31 17:00:05] 903*2^1390034-1 is not prime. Res64: 85BC4154933BFB11 Time : 0.0 sec. user=mdettweiler [2015-01-31 17:00:06] 941*2^1390034-1 is not prime. Res64: 21CE395A70C1BD81 Time : 0.0 sec. user=mdettweiler [2015-01-31 17:01:07] 983*2^1390034-1 is not prime. Res64: 6DBFF93A67750AE6 Time : 0.0 sec. user=mdettweiler [2015-01-31 17:01:09] 609*2^1390035-1 is not prime. Res64: E869AB9DD3250CB1 Time : 0.0 sec. user=mdettweiler [2015-01-31 17:06:28] 669*2^1390035-1 is not prime. Res64: 80A65348EE73E8D2 Time : 0.0 sec. user=mdettweiler [2015-01-31 17:06:29] 735*2^1390035-1 is not prime. Res64: DCD582FC06F878B2 Time : 0.0 sec. user=mdettweiler [2015-01-31 17:09:06] 775*2^1390035-1 is not prime. Res64: 5E27858C57BBBAB9 Time : 0.0 sec. user=mdettweiler [2015-01-31 17:09:07] 825*2^1390035-1 is not prime. Res64: B624FFCAC5309A4C Time : 0.0 sec. user=mdettweiler [2015-01-31 17:27:11] 873*2^1390035-1 is not prime. Res64: B0032CA1BFE5D875 Time : 0.0 sec. user=mdettweiler [2015-01-31 17:27:12] 885*2^1390035-1 is not prime. Res64: D3EE383C8BF38DF5 Time : 0.0 sec. user=mdettweiler [2015-01-31 17:28:15] 903*2^1390035-1 is not prime. Res64: 544090E4FDA406E0 Time : 0.0 sec. user=mdettweiler [2015-01-31 17:28:16] 921*2^1390035-1 is not prime. Res64: 9C8075D3086BAC81 Time : 0.0 sec. user=mdettweiler [2015-01-31 17:33:29] 735*2^1390036-1 is not prime. Res64: B0165E297E1EA3F9 Time : 0.0 sec. user=mdettweiler [2015-01-31 17:33:31] 813*2^1390036-1 is not prime. Res64: B603D4F02695BECA Time : 0.0 sec. user=mdettweiler [2015-01-31 17:36:07] 905*2^1390036-1 is not prime. Res64: 985B3C1572E28A56 Time : 0.0 sec. user=mdettweiler [2015-01-31 17:36:07] 627*2^1390037-1 is not prime. Res64: 2AB3D89EF79EB61A Time : 0.0 sec. user=mdettweiler [2015-01-31 17:53:42] 685*2^1390037-1 is not prime. Res64: 57DE5510D8276E8B Time : 0.0 sec. user=mdettweiler [2015-01-31 17:53:42] 741*2^1390037-1 is not prime. Res64: 8A8940F3B798BF46 Time : 0.0 sec. user=mdettweiler [2015-01-31 17:54:37] 759*2^1390037-1 is not prime. Res64: CA57CF91BA57A892 Time : 0.0 sec. user=mdettweiler [2015-01-31 17:54:37] 879*2^1390037-1 is not prime. Res64: 2B68A8903B8A368F Time : 0.0 sec. user=mdettweiler [2015-01-31 18:00:00] 997*2^1390037-1 is not prime. Res64: 0D304B3673615267 Time : 0.0 sec. user=mdettweiler [2015-01-31 18:00:00] 641*2^1390038-1 is not prime. Res64: 30B23F1C558E2C6F Time : 0.0 sec. user=mdettweiler [2015-01-31 18:02:28] 663*2^1390038-1 is not prime. Res64: C11CED7AAEB2C59B Time : 0.0 sec. user=mdettweiler [2015-01-31 18:02:29] 711*2^1390038-1 is not prime. Res64: 5A228FC1B34AA585 Time : 0.0 sec. user=mdettweiler [2015-01-31 18:20:29] 747*2^1390038-1 is not prime. Res64: AB0CEA1E5A80E879 Time : 0.0 sec. user=mdettweiler [2015-01-31 18:20:29] 915*2^1390038-1 is not prime. Res64: 9849C343F006934E Time : 0.0 sec. user=mdettweiler [2015-01-31 18:21:19] 971*2^1390038-1 is not prime. Res64: 4737698E5696DE3B Time : 0.0 sec. user=mdettweiler [2015-01-31 18:21:19] 621*2^1390039-1 is not prime. Res64: A040F1C5F50FAFB1 Time : 0.0 sec. user=mdettweiler [2015-01-31 18:26:59] 675*2^1390039-1 is not prime. Res64: 067BB1F975E92243 Time : 0.0 sec. user=mdettweiler [2015-01-31 18:26:59] 693*2^1390039-1 is not prime. Res64: E8F2D11AF627360A Time : 0.0 sec. user=mdettweiler [2015-01-31 18:29:25] 703*2^1390039-1 is not prime. Res64: 26ED2EA64D08C1C3 Time : 0.0 sec. user=mdettweiler [2015-01-31 18:29:25] 723*2^1390039-1 is not prime. Res64: 0141B8A46EAD2EF8 Time : 0.0 sec. user=mdettweiler [2015-01-31 18:46:49] 729*2^1390039-1 is not prime. Res64: EE423019B341F3BC Time : 0.0 sec. user=mdettweiler [2015-01-31 18:46:49] 831*2^1390039-1 is not prime. Res64: C37BA488AD16830E Time : 0.0 sec. user=mdettweiler [2015-01-31 18:47:35] 855*2^1390039-1 is not prime. Res64: D9359A32133B5F8B Time : 0.0 sec. user=mdettweiler [2015-01-31 18:47:35] 913*2^1390039-1 is not prime. Res64: 5F1B3CA4CFD24FF2 Time : 0.0 sec. user=mdettweiler [2015-01-31 18:53:14] 943*2^1390039-1 is not prime. Res64: 085789D79E0D79D8 Time : 0.0 sec. user=mdettweiler [2015-01-31 18:53:14] 717*2^1390040-1 is not prime. Res64: AC283CE1D8EA417B Time : 0.0 sec. user=mdettweiler [2015-01-31 18:55:36] 827*2^1390040-1 is not prime. Res64: FDBC84742CCF7933 Time : 0.0 sec. user=mdettweiler [2015-01-31 18:55:36] 839*2^1390040-1 is not prime. Res64: BAD7558F5B5D84B3 Time : 0.0 sec. user=mdettweiler [2015-01-31 19:13:06] 845*2^1390040-1 is not prime. Res64: BCA7BFF1275643DB Time : 0.0 sec. user=mdettweiler [2015-01-31 19:13:06] 935*2^1390040-1 is not prime. Res64: 5A31717A35A8B268 Time : 0.0 sec. user=mdettweiler [2015-01-31 19:13:54] 963*2^1390040-1 is not prime. Res64: 69CF40A9D88EC244 Time : 0.0 sec. user=mdettweiler [2015-01-31 19:13:54] 627*2^1390041-1 is not prime. Res64: CEC9E4C40FBA98FD Time : 0.0 sec. user=mdettweiler [2015-01-31 19:19:23] 675*2^1390041-1 is not prime. Res64: 363260B2E196E04E Time : 0.0 sec. user=mdettweiler [2015-01-31 19:19:23] 861*2^1390041-1 is not prime. Res64: C1A845B6CCE27463 Time : 0.0 sec. user=mdettweiler [2015-01-31 19:21:58] 865*2^1390041-1 is not prime. Res64: 3367610B7B73E631 Time : 0.0 sec. user=mdettweiler [2015-01-31 19:21:58] 885*2^1390041-1 is not prime. Res64: 981C74000EB0F281 Time : 0.0 sec. user=mdettweiler [2015-01-31 19:39:32] 611*2^1390042-1 is not prime. Res64: 1B4750A78FF797C9 Time : 0.0 sec. user=mdettweiler [2015-01-31 19:39:33] 665*2^1390042-1 is not prime. Res64: A183C598BFE70BAD Time : 0.0 sec. user=mdettweiler [2015-01-31 19:40:34] 755*2^1390042-1 is not prime. Res64: 0F1D7BA8F71C80AB Time : 0.0 sec. user=mdettweiler [2015-01-31 19:40:35] 987*2^1390042-1 is not prime. Res64: 937B4AC4A1AAB26E Time : 0.0 sec. user=mdettweiler [2015-01-31 19:45:53] 735*2^1390043-1 is not prime. Res64: D2E816EDA5023C7F Time : 0.0 sec. user=mdettweiler [2015-01-31 19:45:53] 921*2^1390043-1 is not prime. Res64: B3C2276CB5FDEF4A Time : 0.0 sec. user=mdettweiler [2015-01-31 19:48:29] 955*2^1390043-1 is not prime. Res64: 46D2B6EED9FCCC87 Time : 0.0 sec. user=mdettweiler [2015-01-31 19:48:29] 993*2^1390043-1 is not prime. Res64: 8392DBD84731D9C7 Time : 0.0 sec. user=mdettweiler [2015-01-31 20:05:49] 705*2^1390044-1 is not prime. Res64: 02A19BD8E7DFE329 Time : 0.0 sec. user=mdettweiler [2015-01-31 20:05:50] 753*2^1390044-1 is not prime. Res64: 26CCF453FD5E2FF7 Time : 0.0 sec. user=mdettweiler [2015-01-31 20:06:59] 803*2^1390044-1 is not prime. Res64: AEA7F2D18C722F78 Time : 0.0 sec. user=mdettweiler [2015-01-31 20:06:59] 863*2^1390044-1 is not prime. Res64: C9E56FC6B445DE61 Time : 0.0 sec. user=mdettweiler [2015-01-31 20:12:19] 975*2^1390044-1 is not prime. Res64: CB008C02C60B5D37 Time : 0.0 sec. user=mdettweiler [2015-01-31 20:12:20] 619*2^1390045-1 is not prime. Res64: 8E613C665BAE3BE0 Time : 0.0 sec. user=mdettweiler [2015-01-31 20:14:50] 717*2^1390045-1 is not prime. Res64: 2036BE1DE0D6485E Time : 0.0 sec. user=mdettweiler [2015-01-31 20:14:51] 759*2^1390045-1 is not prime. Res64: B10BCBB876FEBABB Time : 0.0 sec. user=mdettweiler [2015-01-31 20:32:13] 771*2^1390045-1 is not prime. Res64: 4CAD83C51793D80B Time : 0.0 sec. user=mdettweiler [2015-01-31 20:32:14] 847*2^1390045-1 is not prime. Res64: 404B5229CC8BDF4C Time : 0.0 sec. user=mdettweiler [2015-01-31 20:33:06] 975*2^1390045-1 is not prime. Res64: B8FA76CB0512176F Time : 0.0 sec. user=mdettweiler [2015-01-31 20:33:06] 897*2^1390046-1 is not prime. Res64: 9B82D26CE38BF4FA Time : 0.0 sec. user=mdettweiler [2015-01-31 20:38:30] 619*2^1390047-1 is not prime. Res64: 0835F249566445E0 Time : 0.0 sec. user=mdettweiler [2015-01-31 20:38:30] 691*2^1390047-1 is not prime. Res64: F0A76BE671FE96C9 Time : 0.0 sec. user=mdettweiler [2015-01-31 20:41:03] 693*2^1390047-1 is not prime. Res64: 1726F12566C6B8B2 Time : 0.0 sec. user=mdettweiler [2015-01-31 20:41:03] 831*2^1390047-1 is not prime. Res64: F89510877839ACB9 Time : 0.0 sec. user=mdettweiler [2015-01-31 20:58:22] 885*2^1390047-1 is not prime. Res64: D768E39F16C118C3 Time : 0.0 sec. user=mdettweiler [2015-01-31 20:58:22] 933*2^1390047-1 is not prime. Res64: 43365CE47A35A72C Time : 0.0 sec. user=mdettweiler [2015-01-31 20:59:25] 949*2^1390047-1 is not prime. Res64: F8E81EEE1FC17781 Time : 0.0 sec. user=mdettweiler [2015-01-31 20:59:25] 629*2^1390048-1 is not prime. Res64: 84125082A11B8440 Time : 0.0 sec. user=mdettweiler [2015-01-31 21:04:43] 657*2^1390048-1 is not prime. Res64: 84295FD1F5E8CBEB Time : 0.0 sec. user=mdettweiler [2015-01-31 21:04:44] 705*2^1390048-1 is not prime. Res64: 60B8FA2912DA11A3 Time : 0.0 sec. user=mdettweiler [2015-01-31 21:07:15] 843*2^1390048-1 is not prime. Res64: FF9DE783E4832A29 Time : 0.0 sec. user=mdettweiler [2015-01-31 21:07:16] 675*2^1390049-1 is not prime. Res64: D958955D19D93EDE Time : 0.0 sec. user=mdettweiler [2015-01-31 21:24:28] 721*2^1390049-1 is not prime. Res64: E38A74C6B9A877BB Time : 0.0 sec. user=mdettweiler [2015-01-31 21:24:29] 735*2^1390049-1 is not prime. Res64: 2E7CAFCA67B3DB7A Time : 0.0 sec. user=mdettweiler [2015-01-31 21:25:41] 789*2^1390049-1 is not prime. Res64: 8F09E7C96981F616 Time : 0.0 sec. user=mdettweiler [2015-01-31 21:25:41] 795*2^1390049-1 is not prime. Res64: CBDD3CEF0943A998 Time : 0.0 sec. user=mdettweiler [2015-01-31 21:31:07] 811*2^1390049-1 is not prime. Res64: C3769247D51D225E Time : 0.0 sec. user=mdettweiler [2015-01-31 21:31:08] 735*2^1390050-1 is not prime. Res64: 039E4E92B1CBBD7B Time : 0.0 sec. user=mdettweiler [2015-01-31 21:33:40] 843*2^1390050-1 is not prime. Res64: 9F8DD4F211EBDD55 Time : 0.0 sec. user=mdettweiler [2015-01-31 21:33:41] 891*2^1390050-1 is not prime. Res64: AB797AC7AE0925D6 Time : 0.0 sec. user=mdettweiler [2015-01-31 21:50:54] 905*2^1390050-1 is not prime. Res64: 732531F1228626EB Time : 0.0 sec. user=mdettweiler [2015-01-31 21:50:55] 927*2^1390050-1 is not prime. Res64: C000FC5E2A55797C Time : 0.0 sec. user=mdettweiler [2015-01-31 21:52:01] 977*2^1390050-1 is not prime. Res64: D97EAB7AAD996BAC Time : 0.0 sec. user=mdettweiler [2015-01-31 21:52:02] 645*2^1390051-1 is not prime. Res64: 7545DAA296CDD145 Time : 0.0 sec. user=mdettweiler [2015-01-31 21:58:16] 663*2^1390051-1 is not prime. Res64: E7870E633CB3523B Time : 0.0 sec. user=mdettweiler [2015-01-31 21:58:17] 741*2^1390051-1 is not prime. Res64: 9FF15B696709E221 Time : 0.0 sec. user=mdettweiler [2015-01-31 22:01:14] 769*2^1390051-1 is not prime. Res64: 2A110D37DE15DDDE Time : 0.0 sec. user=mdettweiler [2015-01-31 22:01:15] 975*2^1390051-1 is not prime. Res64: 380A3E2F66AF46C5 Time : 0.0 sec. user=mdettweiler [2015-01-31 22:19:04] 873*2^1390052-1 is not prime. Res64: A5E3BB8880A7AA78 Time : 0.0 sec. user=mdettweiler [2015-01-31 22:19:05] 893*2^1390052-1 is not prime. Res64: A60077A5E6B89822 Time : 0.0 sec. user=mdettweiler [2015-01-31 22:19:27] 915*2^1390052-1 is not prime. Res64: 51EBF8EDAA1897B2 Time : 0.0 sec. user=mdettweiler [2015-01-31 22:19:27] 609*2^1390053-1 is not prime. Res64: 6CECB5D4EE1DE2C2 Time : 0.0 sec. user=mdettweiler [2015-01-31 22:25:37] 735*2^1390053-1 is not prime. Res64: CA35F69B94250893 Time : 0.0 sec. user=mdettweiler [2015-01-31 22:25:37] 765*2^1390053-1 is not prime. Res64: 18E97766D8CEC666 Time : 0.0 sec. user=mdettweiler [2015-01-31 22:28:32] 819*2^1390053-1 is not prime. Res64: 7F0C9AA2E7A046D4 Time : 0.0 sec. user=mdettweiler [2015-01-31 22:28:33] 835*2^1390053-1 is not prime. Res64: 634F316BCED7174B Time : 0.0 sec. user=mdettweiler [2015-01-31 22:46:08] 849*2^1390053-1 is not prime. Res64: 8198A645E9803940 Time : 0.0 sec. user=mdettweiler [2015-01-31 22:46:08] 605*2^1390054-1 is not prime. Res64: 3AC1606C3F0A1509 Time : 0.0 sec. user=mdettweiler [2015-01-31 22:46:50] 737*2^1390054-1 is not prime. Res64: E8FDF0661F01C9C4 Time : 0.0 sec. user=mdettweiler [2015-01-31 22:46:50] 741*2^1390054-1 is not prime. Res64: 46EEFB09675776F5 Time : 0.0 sec. user=mdettweiler [2015-01-31 22:52:43] 821*2^1390054-1 is not prime. Res64: A2CD5C2CB708E348 Time : 0.0 sec. user=mdettweiler [2015-01-31 22:52:43] 887*2^1390054-1 is not prime. Res64: 7A81C8236FF05DB0 Time : 0.0 sec. user=mdettweiler [2015-01-31 22:55:50] 891*2^1390054-1 is not prime. Res64: A94032399311F2A9 Time : 0.0 sec. user=mdettweiler [2015-01-31 22:55:50] 903*2^1390054-1 is not prime. Res64: 5924A44F9A11CAFA Time : 0.0 sec. user=mdettweiler [2015-01-31 23:13:04] 947*2^1390054-1 is not prime. Res64: 4B3C5895F00A04F5 Time : 0.0 sec. user=mdettweiler [2015-01-31 23:13:05] 831*2^1390055-1 is not prime. Res64: 6CD42550763B0FE8 Time : 0.0 sec. user=mdettweiler [2015-01-31 23:13:50] 853*2^1390055-1 is not prime. Res64: 8D87C134D63CA850 Time : 0.0 sec. user=mdettweiler [2015-01-31 23:13:50] 885*2^1390055-1 is not prime. Res64: 8CD012E1D4476D01 Time : 0.0 sec. user=mdettweiler [2015-01-31 23:19:25] 969*2^1390055-1 is not prime. Res64: 8AB015730D089EBB Time : 0.0 sec. user=mdettweiler [2015-01-31 23:19:25] 947*2^1390056-1 is not prime. Res64: 0E8C574773F255AF Time : 0.0 sec. user=mdettweiler [2015-01-31 23:22:30] 983*2^1390056-1 is not prime. Res64: 9E6A199A4B4A88B1 Time : 0.0 sec. user=mdettweiler [2015-01-31 23:22:31] 615*2^1390057-1 is not prime. Res64: 4C6C8E0469810F48 Time : 0.0 sec. user=mdettweiler [2015-01-31 23:40:02] 639*2^1390057-1 is not prime. Res64: 20731A991E3D388A Time : 0.0 sec. user=mdettweiler [2015-01-31 23:40:02] 651*2^1390057-1 is not prime. Res64: 65C049C3C864E762 Time : 0.0 sec. user=mdettweiler [2015-01-31 23:40:49] 685*2^1390057-1 is not prime. Res64: 3837E8D0EF37A887 Time : 0.0 sec. user=mdettweiler [2015-01-31 23:40:49] 751*2^1390057-1 is not prime. Res64: DD8AD90D7ED70D02 Time : 0.0 sec. user=mdettweiler [2015-01-31 23:46:14] 759*2^1390057-1 is not prime. Res64: 7DCD13E8B7514975 Time : 0.0 sec. user=mdettweiler [2015-01-31 23:46:14] 847*2^1390057-1 is not prime. Res64: FC351EC0A1B2C57D Time : 0.0 sec. user=mdettweiler [2015-01-31 23:48:59] 603*2^1390058-1 is not prime. Res64: FB9F70EDB7FB8101 Time : 0.0 sec. user=mdettweiler [2015-01-31 23:48:59] 767*2^1390058-1 is not prime. Res64: 8E504CAEAFDACC6C Time : 0.0 sec.