user=mdettweiler [2015-09-23 00:11:04] 781*2^1409985-1 is not prime. Res64: EA740ECCF2055AA4 Time : 0.0 sec. user=mdettweiler [2015-09-23 00:11:04] 787*2^1409985-1 is not prime. Res64: DE4F33914AA5AFFF Time : 0.0 sec. user=mdettweiler [2015-09-23 00:11:05] 657*2^1409985-1 is not prime. Res64: E58EBE9A457B2D7D Time : 0.0 sec. user=mdettweiler [2015-09-23 00:11:06] 669*2^1409985-1 is not prime. Res64: 0A30706CB851632E Time : 0.0 sec. user=mdettweiler [2015-09-23 00:11:16] 849*2^1409985-1 is not prime. Res64: 48D57B870FC41D00 Time : 0.0 sec. user=mdettweiler [2015-09-23 00:11:17] 861*2^1409985-1 is not prime. Res64: 7E1EDFF65B78A62C Time : 0.0 sec. user=mdettweiler [2015-09-23 00:28:30] 955*2^1409985-1 is not prime. Res64: 73F645F758E99046 Time : 0.0 sec. user=mdettweiler [2015-09-23 00:28:30] 623*2^1409986-1 is not prime. Res64: F78A5AB252D190D2 Time : 0.0 sec. user=mdettweiler [2015-09-23 00:28:30] 985*2^1409985-1 is not prime. Res64: D04E5232FDE6E3A2 Time : 0.0 sec. user=mdettweiler [2015-09-23 00:28:30] 633*2^1409986-1 is not prime. Res64: B4084089EC4B2674 Time : 0.0 sec. user=mdettweiler [2015-09-23 00:28:39] 635*2^1409986-1 is not prime. Res64: CF61B33D7E83503F Time : 0.0 sec. user=mdettweiler [2015-09-23 00:28:39] 701*2^1409986-1 is not prime. Res64: C7A6B019FB388143 Time : 0.0 sec. user=juhehe [2015-09-23 00:32:37] 921*2^1409985-1 is not prime. Res64: F169007CB905B5A8 Time : 0.0 sec. user=mdettweiler [2015-09-23 00:45:53] 615*2^1409987-1 is not prime. Res64: FEDB5A03D81B133A Time : 0.0 sec. user=mdettweiler [2015-09-23 00:45:53] 651*2^1409987-1 is not prime. Res64: 61BB320695212ADB Time : 0.0 sec. user=mdettweiler [2015-09-23 00:45:53] 773*2^1409986-1 is not prime. Res64: 192E29C36C15B361 Time : 0.0 sec. user=mdettweiler [2015-09-23 00:45:54] 609*2^1409987-1 is not prime. Res64: AE0156B2C5069451 Time : 0.0 sec. user=mdettweiler [2015-09-23 00:46:02] 733*2^1409987-1 is not prime. Res64: 74D199A77D6C1137 Time : 0.0 sec. user=mdettweiler [2015-09-23 00:46:02] 801*2^1409987-1 is not prime. Res64: 698264B3BF159FEF Time : 0.0 sec. user=mdettweiler [2015-09-23 01:03:19] 885*2^1409987-1 is not prime. Res64: 9FD39327D210DBD8 Time : 0.0 sec. user=mdettweiler [2015-09-23 01:03:20] 895*2^1409987-1 is not prime. Res64: 3CECCA80A2BF1004 Time : 0.0 sec. user=mdettweiler [2015-09-23 01:03:21] 669*2^1409988-1 is not prime. Res64: E26FF4384853D4CB Time : 0.0 sec. user=mdettweiler [2015-09-23 01:03:24] 705*2^1409988-1 is not prime. Res64: 9A7FDBF6C5EF7612 Time : 0.0 sec. user=mdettweiler [2015-09-23 01:03:25] 795*2^1409988-1 is not prime. Res64: 689295E826D20F68 Time : 0.0 sec. user=mdettweiler [2015-09-23 01:03:26] 803*2^1409988-1 is not prime. Res64: B3CBC6C788086221 Time : 0.0 sec. user=mdettweiler [2015-09-23 01:21:16] 929*2^1409988-1 is not prime. Res64: 019D05769F7F2569 Time : 0.0 sec. user=mdettweiler [2015-09-23 01:21:17] 945*2^1409988-1 is not prime. Res64: CADC5FD10E684B56 Time : 0.0 sec. user=mdettweiler [2015-09-23 01:21:18] 875*2^1409988-1 is not prime. Res64: A3B10FD2F20EDB67 Time : 0.0 sec. user=mdettweiler [2015-09-23 01:21:19] 969*2^1409988-1 is not prime. Res64: 46F15C38EC8959DF Time : 0.0 sec. user=mdettweiler [2015-09-23 01:21:19] 893*2^1409988-1 is not prime. Res64: 459D449141401F65 Time : 0.0 sec. user=mdettweiler [2015-09-23 01:21:19] 999*2^1409988-1 is not prime. Res64: ACC641C4BB476D65 Time : 0.0 sec. user=mdettweiler [2015-09-23 01:38:46] 691*2^1409989-1 is not prime. Res64: 095B31CBA2C7B388 Time : 0.0 sec. user=mdettweiler [2015-09-23 01:38:46] 831*2^1409989-1 is not prime. Res64: DE6806324B29975E Time : 0.0 sec. user=mdettweiler [2015-09-23 01:38:49] 885*2^1409989-1 is not prime. Res64: ABFA54A16A570F53 Time : 0.0 sec. user=mdettweiler [2015-09-23 01:38:49] 927*2^1409989-1 is not prime. Res64: 9C51E5B93858F4F8 Time : 0.0 sec. user=mdettweiler [2015-09-23 01:38:51] 999*2^1409989-1 is not prime. Res64: 0952BA89EA3DB782 Time : 0.0 sec. user=mdettweiler [2015-09-23 01:38:51] 651*2^1409990-1 is not prime. Res64: 0BF6AF663CFED067 Time : 0.0 sec. user=juhehe [2015-09-23 01:50:16] 609*2^1409989-1 is not prime. Res64: 898800059243C407 Time : 0.0 sec. user=mdettweiler [2015-09-23 01:56:13] 861*2^1409990-1 is not prime. Res64: 1D7A7AB04A7E8B67 Time : 0.0 sec. user=mdettweiler [2015-09-23 01:56:14] 885*2^1409990-1 is not prime. Res64: B27F5D9883671744 Time : 0.0 sec. user=mdettweiler [2015-09-23 01:56:14] 663*2^1409990-1 is not prime. Res64: DA5C1CEA6F110A3A Time : 0.0 sec. user=mdettweiler [2015-09-23 01:56:14] 785*2^1409990-1 is not prime. Res64: C3BDC3EE76ACD980 Time : 0.0 sec. user=mdettweiler [2015-09-23 01:56:14] 935*2^1409990-1 is not prime. Res64: BB5D2ACBC0A64FC6 Time : 0.0 sec. user=mdettweiler [2015-09-23 01:56:15] 951*2^1409990-1 is not prime. Res64: F857C717B08B50FE Time : 0.0 sec. user=mdettweiler [2015-09-23 02:13:43] 1001*2^1409990-1 is not prime. Res64: 9B54B2EE71ECCC1B Time : 0.0 sec. user=mdettweiler [2015-09-23 02:13:43] 679*2^1409991-1 is not prime. Res64: E61C4FEABA08B34F Time : 0.0 sec. user=mdettweiler [2015-09-23 02:13:43] 601*2^1409991-1 is not prime. Res64: 9E2A3CB19F5E27BD Time : 0.0 sec. user=mdettweiler [2015-09-23 02:13:43] 709*2^1409991-1 is not prime. Res64: 4278640E43AE1BA6 Time : 0.0 sec. user=mdettweiler [2015-09-23 02:13:44] 751*2^1409991-1 is not prime. Res64: BB8AB7E98CDF5EA9 Time : 0.0 sec. user=mdettweiler [2015-09-23 02:13:44] 793*2^1409991-1 is not prime. Res64: C70E18B977E30CF9 Time : 0.0 sec. user=mdettweiler [2015-09-23 02:31:09] 865*2^1409991-1 is not prime. Res64: 114594B7EB6B943A Time : 0.0 sec. user=mdettweiler [2015-09-23 02:31:09] 949*2^1409991-1 is not prime. Res64: 57BCFFAB8345A88F Time : 0.0 sec. user=mdettweiler [2015-09-23 02:31:10] 871*2^1409991-1 is not prime. Res64: A10A69C6036DBBF9 Time : 0.0 sec. user=mdettweiler [2015-09-23 02:31:10] 961*2^1409991-1 is not prime. Res64: 9DDF740A60E9A493 Time : 0.0 sec. user=mdettweiler [2015-09-23 02:31:12] 969*2^1409991-1 is not prime. Res64: A28F06DCA4B1DE53 Time : 0.0 sec. user=mdettweiler [2015-09-23 02:31:13] 695*2^1409992-1 is not prime. Res64: 1A471D3F3D60B476 Time : 0.0 sec. user=mdettweiler [2015-09-23 02:48:44] 743*2^1409992-1 is not prime. Res64: 0677DD27E0DEC5FF Time : 0.0 sec. user=mdettweiler [2015-09-23 02:48:44] 999*2^1409992-1 is not prime. Res64: 17874AF852570B01 Time : 0.0 sec. user=mdettweiler [2015-09-23 02:48:46] 747*2^1409993-1 is not prime. Res64: C3D3D1B2BDB5B436 Time : 0.0 sec. user=mdettweiler [2015-09-23 02:48:46] 669*2^1409993-1 is not prime. Res64: 7081D133403BE1DB Time : 0.0 sec. user=mdettweiler [2015-09-23 02:48:46] 901*2^1409993-1 is not prime. Res64: 946183EE73C3E174 Time : 0.0 sec. user=mdettweiler [2015-09-23 02:48:46] 741*2^1409993-1 is not prime. Res64: 93C2EF96DAEC7876 Time : 0.0 sec. user=mdettweiler [2015-09-23 03:06:09] 955*2^1409993-1 is not prime. Res64: 1184DB0D15AECC65 Time : 0.0 sec. user=mdettweiler [2015-09-23 03:06:09] 705*2^1409994-1 is not prime. Res64: F1ED45F9DC5ECAA4 Time : 0.0 sec. user=mdettweiler [2015-09-23 03:06:10] 741*2^1409994-1 is not prime. Res64: 0B1E18FEA3BF93A9 Time : 0.0 sec. user=mdettweiler [2015-09-23 03:06:10] 645*2^1409995-1 is not prime. Res64: B7BCAA858C571681 Time : 0.0 sec. user=mdettweiler [2015-09-23 03:06:10] 941*2^1409994-1 is not prime. Res64: B3CB0D71DC9E9D11 Time : 0.0 sec. user=mdettweiler [2015-09-23 03:06:11] 663*2^1409995-1 is not prime. Res64: 342D918B535F99A7 Time : 0.0 sec. user=mdettweiler [2015-09-23 03:23:41] 871*2^1409995-1 is not prime. Res64: 85FB79BFB2357133 Time : 0.0 sec. user=mdettweiler [2015-09-23 03:23:41] 983*2^1409996-1 is not prime. Res64: C6D55D4DC9C0DE13 Time : 0.0 sec. user=mdettweiler [2015-09-23 03:23:41] 633*2^1409996-1 is not prime. Res64: 14517F2AA2647D15 Time : 0.0 sec. user=mdettweiler [2015-09-23 03:23:41] 819*2^1409997-1 is not prime. Res64: 34C309162852F166 Time : 0.0 sec. user=mdettweiler [2015-09-23 03:23:41] 685*2^1409995-1 is not prime. Res64: F39474B471FA5F95 Time : 0.0 sec. user=mdettweiler [2015-09-23 03:23:42] 693*2^1409995-1 is not prime. Res64: 3388BD08948DDAAD Time : 0.0 sec. user=mdettweiler [2015-09-23 03:41:07] 765*2^1409998-1 is not prime. Res64: A03ACB182B2CBD4C Time : 0.0 sec. user=mdettweiler [2015-09-23 03:41:07] 955*2^1409997-1 is not prime. Res64: 1E300214E66694AE Time : 0.0 sec. user=mdettweiler [2015-09-23 03:41:10] 611*2^1409998-1 is not prime. Res64: F865D98A2BEB1D26 Time : 0.0 sec. user=mdettweiler [2015-09-23 03:41:11] 801*2^1409998-1 is not prime. Res64: 2A8900D96FCC258C Time : 0.0 sec. user=mdettweiler [2015-09-23 03:41:13] 657*2^1409998-1 is not prime. Res64: 34947555DB20B70C Time : 0.0 sec. user=mdettweiler [2015-09-23 03:41:14] 737*2^1409998-1 is not prime. Res64: 0395A676B77F9201 Time : 0.0 sec. user=juhehe [2015-09-23 03:44:22] 699*2^1409996-1 is not prime. Res64: 626780F753764181 Time : 0.0 sec. user=mdettweiler [2015-09-23 03:59:03] 655*2^1409999-1 is not prime. Res64: C79F80FF0AE60944 Time : 0.0 sec. user=mdettweiler [2015-09-23 03:59:04] 705*2^1409999-1 is not prime. Res64: E65FC5D8D542EB28 Time : 0.0 sec. user=mdettweiler [2015-09-23 03:59:05] 827*2^1409998-1 is not prime. Res64: 176621CF9292C67C Time : 0.0 sec. user=mdettweiler [2015-09-23 03:59:05] 971*2^1409998-1 is not prime. Res64: A1F852BACDF1EB4C Time : 0.0 sec. user=mdettweiler [2015-09-23 03:59:05] 619*2^1409999-1 is not prime. Res64: 91B6D74818F5DDE7 Time : 0.0 sec. user=mdettweiler [2015-09-23 03:59:05] 1001*2^1409998-1 is not prime. Res64: 2AB3B5AFA795A7C2 Time : 0.0 sec. user=mdettweiler [2015-09-23 04:16:29] 843*2^1409999-1 is not prime. Res64: 5274D8B1BE81C7E3 Time : 0.0 sec. user=mdettweiler [2015-09-23 04:16:29] 979*2^1409999-1 is not prime. Res64: 88B195FBB6F03FB8 Time : 0.0 sec. user=mdettweiler [2015-09-23 04:16:29] 865*2^1409999-1 is not prime. Res64: 62876AD38CCCB7D3 Time : 0.0 sec. user=mdettweiler [2015-09-23 04:16:29] 993*2^1409999-1 is not prime. Res64: 7CA13DCBE8004448 Time : 0.0 sec. user=mdettweiler [2015-09-23 04:16:29] 909*2^1409999-1 is not prime. Res64: 2CF152D58B8129B7 Time : 0.0 sec. user=mdettweiler [2015-09-23 04:16:30] 931*2^1409999-1 is not prime. Res64: 123CEA479EFA5358 Time : 0.0 sec. user=mdettweiler [2015-09-23 04:33:54] 789*2^1410000-1 is not prime. Res64: E6A3E8C4FCFDB8C8 Time : 0.0 sec. user=mdettweiler [2015-09-23 04:33:54] 857*2^1410000-1 is not prime. Res64: 96CB95329C70810A Time : 0.0 sec. user=mdettweiler [2015-09-23 04:33:54] 623*2^1410000-1 is not prime. Res64: 0050E04161191518 Time : 0.0 sec. user=mdettweiler [2015-09-23 04:33:55] 707*2^1410000-1 is not prime. Res64: 08A3373E32653A25 Time : 0.0 sec. user=mdettweiler [2015-09-23 04:33:56] 719*2^1410000-1 is not prime. Res64: 3C3CC52B443754C0 Time : 0.0 sec. user=mdettweiler [2015-09-23 04:33:56] 737*2^1410000-1 is not prime. Res64: 3D6A6AEF992ECC2A Time : 0.0 sec. user=mdettweiler [2015-09-23 04:51:19] 607*2^1410001-1 is not prime. Res64: EDB064505634C889 Time : 0.0 sec. user=mdettweiler [2015-09-23 04:51:19] 651*2^1410001-1 is not prime. Res64: EC8AA327DE3E5907 Time : 0.0 sec. user=mdettweiler [2015-09-23 04:51:20] 691*2^1410001-1 is not prime. Res64: E5A00EDEC6D0D5A8 Time : 0.0 sec. user=mdettweiler [2015-09-23 04:51:20] 905*2^1410000-1 is not prime. Res64: AE9E1C12A9705830 Time : 0.0 sec. user=mdettweiler [2015-09-23 04:51:20] 861*2^1410001-1 is not prime. Res64: 0CE7191A3CD6D10F Time : 0.0 sec. user=mdettweiler [2015-09-23 04:51:20] 945*2^1410000-1 is not prime. Res64: 46D3E93E40671DF1 Time : 0.0 sec. user=mdettweiler [2015-09-23 05:08:44] 997*2^1410001-1 is not prime. Res64: C18CD4FF808EF5CD Time : 0.0 sec. user=mdettweiler [2015-09-23 05:08:45] 911*2^1410002-1 is not prime. Res64: A36B698ED4A54011 Time : 0.0 sec. user=mdettweiler [2015-09-23 05:08:45] 635*2^1410002-1 is not prime. Res64: 5322ABD2106A22C1 Time : 0.0 sec. user=mdettweiler [2015-09-23 05:08:45] 977*2^1410002-1 is not prime. Res64: 6B4FA1DAE4BBC6CE Time : 0.0 sec. user=mdettweiler [2015-09-23 05:08:46] 677*2^1410002-1 is not prime. Res64: F2AD626DB3415239 Time : 0.0 sec. user=mdettweiler [2015-09-23 05:08:46] 837*2^1410002-1 is not prime. Res64: B2C596CCBEC91978 Time : 0.0 sec. user=mdettweiler [2015-09-23 05:26:09] 901*2^1410003-1 is not prime. Res64: AE194B5C3A022A44 Time : 0.0 sec. user=mdettweiler [2015-09-23 05:26:10] 943*2^1410003-1 is not prime. Res64: 37BFED2E92854F3A Time : 0.0 sec. user=mdettweiler [2015-09-23 05:26:11] 775*2^1410003-1 is not prime. Res64: A910400D786E8A2B Time : 0.0 sec. user=mdettweiler [2015-09-23 05:26:11] 825*2^1410003-1 is not prime. Res64: 80D271F53CA8C03C Time : 0.0 sec. user=mdettweiler [2015-09-23 05:26:14] 973*2^1410003-1 is not prime. Res64: DBDD75ACA90A7F78 Time : 0.0 sec. user=mdettweiler [2015-09-23 05:26:14] 605*2^1410004-1 is not prime. Res64: EF6FEAA9FE8F62F4 Time : 0.0 sec. user=juhehe [2015-09-23 05:41:54] 639*2^1410003-1 is not prime. Res64: 6140BC9A38FD59EB Time : 0.0 sec. user=mdettweiler [2015-09-23 05:43:32] 705*2^1410004-1 is not prime. Res64: AFD562426CADC5CF Time : 0.0 sec. user=mdettweiler [2015-09-23 05:43:33] 803*2^1410004-1 is not prime. Res64: AE286572399CA7E1 Time : 0.0 sec. user=mdettweiler [2015-09-23 05:43:34] 855*2^1410004-1 is not prime. Res64: AF659D08940C777F Time : 0.0 sec. user=mdettweiler [2015-09-23 05:43:34] 651*2^1410005-1 is not prime. Res64: 9CFBD9A6DB8F0FC2 Time : 0.0 sec. user=mdettweiler [2015-09-23 05:43:36] 669*2^1410005-1 is not prime. Res64: C639D231FA51D5EE Time : 0.0 sec. user=mdettweiler [2015-09-23 05:43:37] 685*2^1410005-1 is not prime. Res64: 9CF59317466919BB Time : 0.0 sec. user=mdettweiler [2015-09-23 06:00:56] 795*2^1410005-1 is not prime. Res64: 30AAEE69F5AF6D1A Time : 0.0 sec. user=mdettweiler [2015-09-23 06:00:57] 819*2^1410005-1 is not prime. Res64: 25FA70C29A8DF9DC Time : 0.0 sec. user=mdettweiler [2015-09-23 06:00:58] 805*2^1410005-1 is not prime. Res64: 01F30E6F058F1801 Time : 0.0 sec. user=mdettweiler [2015-09-23 06:00:59] 889*2^1410005-1 is not prime. Res64: 408E31B2017068D5 Time : 0.0 sec. user=mdettweiler [2015-09-23 06:01:02] 647*2^1410006-1 is not prime. Res64: 013F42DB538D0B65 Time : 0.0 sec. user=mdettweiler [2015-09-23 06:01:04] 711*2^1410006-1 is not prime. Res64: 7495C4F263C1A645 Time : 0.0 sec. user=mdettweiler [2015-09-23 06:18:34] 917*2^1410006-1 is not prime. Res64: 49EB848B50ACC93C Time : 0.0 sec. user=mdettweiler [2015-09-23 06:18:35] 921*2^1410006-1 is not prime. Res64: B8E1588A65CCD854 Time : 0.0 sec. user=mdettweiler [2015-09-23 06:18:36] 963*2^1410006-1 is not prime. Res64: D500F7A5C6156016 Time : 0.0 sec. user=mdettweiler [2015-09-23 06:18:37] 603*2^1410007-1 is not prime. Res64: 4FC3E54AE9C4A9DD Time : 0.0 sec. user=mdettweiler [2015-09-23 06:18:37] 801*2^1410006-1 is not prime. Res64: F597835C24B1A0D0 Time : 0.0 sec. user=mdettweiler [2015-09-23 06:18:38] 871*2^1410007-1 is not prime. Res64: 213F76EE696B58B7 Time : 0.0 sec. user=mdettweiler [2015-09-23 06:36:01] 973*2^1410007-1 is not prime. Res64: 0E99F144A34D7378 Time : 0.0 sec. user=mdettweiler [2015-09-23 06:36:01] 803*2^1410008-1 is not prime. Res64: EEDC7D8455616936 Time : 0.0 sec. user=mdettweiler [2015-09-23 06:36:02] 919*2^1410007-1 is not prime. Res64: B3882FC69C95EE6E Time : 0.0 sec. user=mdettweiler [2015-09-23 06:36:02] 665*2^1410008-1 is not prime. Res64: 8C6E7A7C840E1509 Time : 0.0 sec. user=mdettweiler [2015-09-23 06:36:02] 869*2^1410008-1 is not prime. Res64: 608A1DAE0B481EAC Time : 0.0 sec. user=mdettweiler [2015-09-23 06:36:02] 951*2^1410007-1 is not prime. Res64: F0E126B60E3E544F Time : 0.0 sec. user=mdettweiler [2015-09-23 06:53:26] 969*2^1410008-1 is not prime. Res64: E689810D095C3877 Time : 0.0 sec. user=mdettweiler [2015-09-23 06:53:26] 625*2^1410009-1 is not prime. Res64: 890A254538045453 Time : 0.0 sec. user=mdettweiler [2015-09-23 06:53:27] 681*2^1410009-1 is not prime. Res64: 0294874F275614CE Time : 0.0 sec. user=mdettweiler [2015-09-23 06:53:28] 735*2^1410009-1 is not prime. Res64: 3C80FBFB80DFDA99 Time : 0.0 sec. user=mdettweiler [2015-09-23 06:53:30] 875*2^1410008-1 is not prime. Res64: 40158C53A26F0CB6 Time : 0.0 sec. user=mdettweiler [2015-09-23 06:53:31] 935*2^1410008-1 is not prime. Res64: 0CEC380267536349 Time : 0.0 sec. user=mdettweiler [2015-09-23 07:10:50] 741*2^1410009-1 is not prime. Res64: F03FF023D933F334 Time : 0.0 sec. user=mdettweiler [2015-09-23 07:10:51] 747*2^1410009-1 is not prime. Res64: BC17350DB69DA72C Time : 0.0 sec. user=mdettweiler [2015-09-23 07:10:51] 861*2^1410009-1 is not prime. Res64: 049F18270B38F904 Time : 0.0 sec. user=mdettweiler [2015-09-23 07:10:52] 877*2^1410009-1 is not prime. Res64: 4122255A6984C4CF Time : 0.0 sec. user=mdettweiler [2015-09-23 07:10:54] 895*2^1410009-1 is not prime. Res64: 314FBB289DEFD1B4 Time : 0.0 sec. user=mdettweiler [2015-09-23 07:10:55] 949*2^1410009-1 is not prime. Res64: 67AD35064CA3AB9A Time : 0.0 sec. user=mdettweiler [2015-09-23 07:28:14] 833*2^1410010-1 is not prime. Res64: 7D7E1F3E4717ED3A Time : 0.0 sec. user=mdettweiler [2015-09-23 07:28:14] 867*2^1410010-1 is not prime. Res64: D118B11535120219 Time : 0.0 sec. user=mdettweiler [2015-09-23 07:28:16] 685*2^1410011-1 is not prime. Res64: E826824DB43D45D1 Time : 0.0 sec. user=mdettweiler [2015-09-23 07:28:17] 611*2^1410010-1 is not prime. Res64: FFB3DECFD576C223 Time : 0.0 sec. user=mdettweiler [2015-09-23 07:28:17] 715*2^1410011-1 is not prime. Res64: FD29F496F0D6CA0C Time : 0.0 sec. user=mdettweiler [2015-09-23 07:28:17] 651*2^1410010-1 is not prime. Res64: 7D88C227EA158338 Time : 0.0 sec. user=juhehe [2015-09-23 07:35:43] 999*2^1410009-1 is not prime. Res64: 867ED12B66E11BAF Time : 0.0 sec. user=mdettweiler [2015-09-23 07:45:38] 759*2^1410011-1 is not prime. Res64: 5C0517DBB621F130 Time : 0.0 sec. user=mdettweiler [2015-09-23 07:45:39] 775*2^1410011-1 is not prime. Res64: 10697CD9E45D0947 Time : 0.0 sec. user=mdettweiler [2015-09-23 07:45:40] 823*2^1410011-1 is not prime. Res64: B9D014558979C6E7 Time : 0.0 sec. user=mdettweiler [2015-09-23 07:45:41] 871*2^1410011-1 is not prime. Res64: F674B04B567A3B4F Time : 0.0 sec. user=mdettweiler [2015-09-23 07:45:42] 783*2^1410011-1 is not prime. Res64: F0CF9E607BB7EDC9 Time : 0.0 sec. user=mdettweiler [2015-09-23 07:45:42] 813*2^1410011-1 is not prime. Res64: 2C35903BA9038CFB Time : 0.0 sec. user=mdettweiler [2015-09-23 08:03:02] 921*2^1410011-1 is not prime. Res64: 42BEF6D99BFB90A4 Time : 0.0 sec. user=mdettweiler [2015-09-23 08:03:04] 991*2^1410011-1 is not prime. Res64: A12B206CFD651243 Time : 0.0 sec. user=mdettweiler [2015-09-23 08:03:05] 693*2^1410012-1 is not prime. Res64: 9A7EB1D901FB1138 Time : 0.0 sec. user=mdettweiler [2015-09-23 08:03:06] 843*2^1410012-1 is not prime. Res64: 3ABAEB87AFEBAF6A Time : 0.0 sec. user=mdettweiler [2015-09-23 08:03:07] 753*2^1410012-1 is not prime. Res64: EA8AF6C48162A559 Time : 0.0 sec. user=mdettweiler [2015-09-23 08:03:08] 923*2^1410012-1 is not prime. Res64: F90A22862067BEA2 Time : 0.0 sec. user=mdettweiler [2015-09-23 08:20:51] 747*2^1410013-1 is not prime. Res64: D91A5BC59E5E770A Time : 0.0 sec. user=mdettweiler [2015-09-23 08:20:51] 769*2^1410013-1 is not prime. Res64: BA0AFE7A27F3C694 Time : 0.0 sec. user=mdettweiler [2015-09-23 08:20:52] 639*2^1410013-1 is not prime. Res64: F5D3D8D41DA7EDD7 Time : 0.0 sec. user=mdettweiler [2015-09-23 08:20:52] 727*2^1410013-1 is not prime. Res64: 6814C9B16E8E4A56 Time : 0.0 sec. user=mdettweiler [2015-09-23 08:20:52] 771*2^1410013-1 is not prime. Res64: 685C40527549491F Time : 0.0 sec. user=mdettweiler [2015-09-23 08:20:53] 817*2^1410013-1 is not prime. Res64: 4693CBFBDD31C207 Time : 0.0 sec. user=mdettweiler [2015-09-23 08:38:15] 831*2^1410013-1 is not prime. Res64: 5024B117456C21A4 Time : 0.0 sec. user=mdettweiler [2015-09-23 08:38:16] 847*2^1410013-1 is not prime. Res64: 731F8CD6F2ECD77B Time : 0.0 sec. user=mdettweiler [2015-09-23 08:38:16] 895*2^1410013-1 is not prime. Res64: CB29C5CBD96D0E62 Time : 0.0 sec. user=mdettweiler [2015-09-23 08:38:16] 849*2^1410013-1 is not prime. Res64: 13B569B7733E841A Time : 0.0 sec. user=mdettweiler [2015-09-23 08:38:16] 615*2^1410014-1 is not prime. Res64: 6D7C4D24FBD55F86 Time : 0.0 sec. user=mdettweiler [2015-09-23 08:38:16] 635*2^1410014-1 is not prime. Res64: CF119A16101CD071 Time : 0.0 sec. user=mdettweiler [2015-09-23 08:55:39] 791*2^1410014-1 is not prime. Res64: 03C4BE7FC4160F61 Time : 0.0 sec. user=mdettweiler [2015-09-23 08:55:39] 683*2^1410014-1 is not prime. Res64: 56470A05EAD31534 Time : 0.0 sec. user=mdettweiler [2015-09-23 08:55:39] 795*2^1410014-1 is not prime. Res64: 6DDC96F62DAA0DA3 Time : 0.0 sec. user=mdettweiler [2015-09-23 08:55:39] 753*2^1410014-1 is not prime. Res64: 04CAAE79FB85098E Time : 0.0 sec. user=mdettweiler [2015-09-23 08:55:40] 885*2^1410014-1 is not prime. Res64: 39C1364B0653604D Time : 0.0 sec. user=mdettweiler [2015-09-23 08:55:40] 965*2^1410014-1 is not prime. Res64: 7DD866A34EE5EE89 Time : 0.0 sec. user=mdettweiler [2015-09-23 09:13:01] 741*2^1410015-1 is not prime. Res64: D9E5F710DE6F05B3 Time : 0.0 sec. user=mdettweiler [2015-09-23 09:13:02] 825*2^1410015-1 is not prime. Res64: F2ECADDDF71ACE76 Time : 0.0 sec. user=mdettweiler [2015-09-23 09:13:02] 751*2^1410015-1 is not prime. Res64: 264A32C912C04485 Time : 0.0 sec. user=mdettweiler [2015-09-23 09:13:02] 853*2^1410015-1 is not prime. Res64: 0A8F154AA963FC95 Time : 0.0 sec. user=mdettweiler [2015-09-23 09:13:05] 789*2^1410015-1 is not prime. Res64: 563E9074D06DFC38 Time : 0.0 sec. user=mdettweiler [2015-09-23 09:13:06] 823*2^1410015-1 is not prime. Res64: 45E9183C59921B7A Time : 0.0 sec. user=mdettweiler [2015-09-23 09:30:27] 779*2^1410016-1 is not prime. Res64: EADD1809EC09E255 Time : 0.0 sec. user=mdettweiler [2015-09-23 09:30:27] 657*2^1410016-1 is not prime. Res64: 104C7F9D2B0EC2C8 Time : 0.0 sec. user=mdettweiler [2015-09-23 09:30:27] 855*2^1410016-1 is not prime. Res64: A6909274918820F4 Time : 0.0 sec. user=mdettweiler [2015-09-23 09:30:28] 675*2^1410016-1 is not prime. Res64: EC25172BE81DF652 Time : 0.0 sec. user=mdettweiler [2015-09-23 09:30:28] 905*2^1410016-1 is not prime. Res64: 4DFC2CB15193E657 Time : 0.0 sec. user=mdettweiler [2015-09-23 09:30:29] 927*2^1410016-1 is not prime. Res64: 50B2F5C507B9EF82 Time : 0.0 sec. user=juhehe [2015-09-23 09:40:12] 999*2^1410015-1 is not prime. Res64: C1B74508DF1C8A29 Time : 0.0 sec. user=mdettweiler [2015-09-23 09:47:54] 837*2^1410017-1 is not prime. Res64: CE70ACF660A273CB Time : 0.0 sec. user=mdettweiler [2015-09-23 09:47:54] 999*2^1410016-1 is not prime. Res64: 90665CA428300AC0 Time : 0.0 sec. user=mdettweiler [2015-09-23 09:47:54] 957*2^1410017-1 is not prime. Res64: 6C6EE06F84189E93 Time : 0.0 sec. user=mdettweiler [2015-09-23 09:47:55] 777*2^1410017-1 is not prime. Res64: 7165693EC9753C26 Time : 0.0 sec. user=mdettweiler [2015-09-23 09:47:59] 981*2^1410017-1 is not prime. Res64: 53862B3A5825262A Time : 0.0 sec. user=mdettweiler [2015-09-23 09:47:59] 611*2^1410018-1 is not prime. Res64: DB811E0047D3409B Time : 0.0 sec. user=mdettweiler [2015-09-23 10:05:20] 821*2^1410018-1 is not prime. Res64: B93404E1C8BD2801 Time : 0.0 sec. user=mdettweiler [2015-09-23 10:05:20] 647*2^1410018-1 is not prime. Res64: E89D79072EABC1C3 Time : 0.0 sec. user=mdettweiler [2015-09-23 10:05:21] 875*2^1410018-1 is not prime. Res64: 6FE1F2383F630AC6 Time : 0.0 sec. user=mdettweiler [2015-09-23 10:05:22] 815*2^1410018-1 is not prime. Res64: 191F630E595E266F Time : 0.0 sec. user=mdettweiler [2015-09-23 10:05:24] 971*2^1410018-1 is not prime. Res64: C345226C7290210A Time : 0.0 sec. user=mdettweiler [2015-09-23 10:05:25] 615*2^1410019-1 is not prime. Res64: A33A2BC4F85EE071 Time : 0.0 sec. user=mdettweiler [2015-09-23 10:23:06] 621*2^1410019-1 is not prime. Res64: 8E47D6D15F0B1C2D Time : 0.0 sec. user=mdettweiler [2015-09-23 10:23:07] 625*2^1410019-1 is not prime. Res64: 3E9FB03204967007 Time : 0.0 sec. user=mdettweiler [2015-09-23 10:23:09] 679*2^1410019-1 is not prime. Res64: 66051B3382DBF1CA Time : 0.0 sec. user=mdettweiler [2015-09-23 10:23:09] 709*2^1410019-1 is not prime. Res64: 9A64740F81329994 Time : 0.0 sec. user=mdettweiler [2015-09-23 10:23:13] 675*2^1410020-1 is not prime. Res64: 79417D4EA40181B3 Time : 0.0 sec. user=mdettweiler [2015-09-23 10:23:14] 689*2^1410020-1 is not prime. Res64: 4CC7502DB75CC39B Time : 0.0 sec. user=mdettweiler [2015-09-23 10:40:29] 803*2^1410020-1 is not prime. Res64: 6E6C9ACC88C239A7 Time : 0.0 sec. user=mdettweiler [2015-09-23 10:40:29] 855*2^1410020-1 is not prime. Res64: 727260A646921B05 Time : 0.0 sec. user=mdettweiler [2015-09-23 10:40:33] 879*2^1410020-1 is not prime. Res64: 845FB87925D95F7A Time : 0.0 sec. user=mdettweiler [2015-09-23 10:40:34] 899*2^1410020-1 is not prime. Res64: AD280F8B5B77D270 Time : 0.0 sec. user=mdettweiler [2015-09-23 10:40:36] 615*2^1410021-1 is not prime. Res64: 978512C531775635 Time : 0.0 sec. user=mdettweiler [2015-09-23 10:40:36] 639*2^1410021-1 is not prime. Res64: 20673670C7F3717D Time : 0.0 sec. user=mdettweiler [2015-09-23 10:57:56] 649*2^1410021-1 is not prime. Res64: 484638369059CF1A Time : 0.0 sec. user=mdettweiler [2015-09-23 10:57:56] 669*2^1410021-1 is not prime. Res64: B833044AB2DE9177 Time : 0.0 sec. user=mdettweiler [2015-09-23 10:57:56] 685*2^1410021-1 is not prime. Res64: FA287C1950B58676 Time : 0.0 sec. user=mdettweiler [2015-09-23 10:57:57] 847*2^1410021-1 is not prime. Res64: 19CB14DFDC8ED7F9 Time : 0.0 sec. user=mdettweiler [2015-09-23 10:58:04] 895*2^1410021-1 is not prime. Res64: 3CE0F469D629465F Time : 0.0 sec. user=mdettweiler [2015-09-23 10:58:04] 927*2^1410021-1 is not prime. Res64: D3F6A8156DFDE3B1 Time : 0.0 sec. user=juhehe [2015-09-23 10:58:40] 797*2^1410020-1 is not prime. Res64: 3E3A2D26ACA16AB3 Time : 0.0 sec. user=mdettweiler [2015-09-23 11:15:20] 761*2^1410022-1 is not prime. Res64: 4A2CE17F46A29366 Time : 0.0 sec. user=mdettweiler [2015-09-23 11:15:21] 917*2^1410022-1 is not prime. Res64: 160E39643DD999BC Time : 0.0 sec. user=mdettweiler [2015-09-23 11:15:21] 897*2^1410022-1 is not prime. Res64: DDE2B545DACB7486 Time : 0.0 sec. user=mdettweiler [2015-09-23 11:15:21] 945*2^1410022-1 is not prime. Res64: 35980885D89C280B Time : 0.0 sec. user=mdettweiler [2015-09-23 11:15:28] 729*2^1410023-1 is not prime. Res64: D85256D7AE405256 Time : 0.0 sec. user=mdettweiler [2015-09-23 11:15:28] 771*2^1410023-1 is not prime. Res64: 1FE6E90F2FE0C53F Time : 0.0 sec. user=mdettweiler [2015-09-23 11:32:46] 943*2^1410023-1 is not prime. Res64: 3A3896C1627C03D9 Time : 0.0 sec. user=mdettweiler [2015-09-23 11:32:46] 913*2^1410023-1 is not prime. Res64: 49FAA1E71EE36335 Time : 0.0 sec. user=mdettweiler [2015-09-23 11:32:47] 921*2^1410023-1 is not prime. Res64: E179996755C004C2 Time : 0.0 sec. user=mdettweiler [2015-09-23 11:32:47] 969*2^1410023-1 is not prime. Res64: 1100A783972E400B Time : 0.0 sec. user=mdettweiler [2015-09-23 11:32:50] 719*2^1410024-1 is not prime. Res64: 6905864ABCD3D52E Time : 0.0 sec. user=mdettweiler [2015-09-23 11:32:50] 803*2^1410024-1 is not prime. Res64: E4BE3CFBE9E1EB21 Time : 0.0 sec. user=juhehe [2015-09-23 11:33:53] 713*2^1410022-1 is not prime. Res64: 79B8218D170D7657 Time : 0.0 sec. user=mdettweiler [2015-09-23 11:50:09] 825*2^1410024-1 is not prime. Res64: D420599715A2BCFF Time : 0.0 sec. user=mdettweiler [2015-09-23 11:50:09] 607*2^1410025-1 is not prime. Res64: 518AB21EED529237 Time : 0.0 sec. user=mdettweiler [2015-09-23 11:50:09] 993*2^1410024-1 is not prime. Res64: 1B624BB09FC99F1F Time : 0.0 sec. user=mdettweiler [2015-09-23 11:50:10] 661*2^1410025-1 is not prime. Res64: 1382185515B81CB5 Time : 0.0 sec. user=mdettweiler [2015-09-23 11:50:12] 721*2^1410025-1 is not prime. Res64: 3209A4AEB42DCA2D Time : 0.0 sec. user=mdettweiler [2015-09-23 11:50:12] 777*2^1410025-1 is not prime. Res64: 74D691CB0B0FE1D3 Time : 0.0 sec. user=mdettweiler [2015-09-23 12:07:33] 871*2^1410025-1 is not prime. Res64: E4017D401E1F79D2 Time : 0.0 sec. user=mdettweiler [2015-09-23 12:07:33] 877*2^1410025-1 is not prime. Res64: 432D69EA1D424E32 Time : 0.0 sec. user=mdettweiler [2015-09-23 12:07:34] 855*2^1410025-1 is not prime. Res64: D9CB728005923D2D Time : 0.0 sec. user=mdettweiler [2015-09-23 12:07:34] 867*2^1410025-1 is not prime. Res64: B00A550B76D13BC7 Time : 0.0 sec. user=mdettweiler [2015-09-23 12:07:40] 975*2^1410025-1 is not prime. Res64: 2C9CBBAC67952A05 Time : 0.0 sec. user=mdettweiler [2015-09-23 12:07:41] 623*2^1410026-1 is not prime. Res64: 7E6827AA69F1AE39 Time : 0.0 sec. user=mdettweiler [2015-09-23 12:25:04] 713*2^1410026-1 is not prime. Res64: 938B62AB38409B06 Time : 0.0 sec. user=mdettweiler [2015-09-23 12:25:04] 651*2^1410026-1 is not prime. Res64: AF1BD2A7F7B55B2B Time : 0.0 sec. user=mdettweiler [2015-09-23 12:25:04] 735*2^1410026-1 is not prime. Res64: 7FFFF19439471E54 Time : 0.0 sec. user=mdettweiler [2015-09-23 12:25:04] 701*2^1410026-1 is not prime. Res64: CAE1C87E6704596D Time : 0.0 sec. user=mdettweiler [2015-09-23 12:25:08] 767*2^1410026-1 is not prime. Res64: 07851527B534D414 Time : 0.0 sec. user=mdettweiler [2015-09-23 12:25:08] 837*2^1410026-1 is not prime. Res64: AA9D91ECE7263A8A Time : 0.0 sec. user=mdettweiler [2015-09-23 12:42:27] 911*2^1410026-1 is not prime. Res64: BE419EC8C89DFA59 Time : 0.0 sec. user=mdettweiler [2015-09-23 12:42:28] 935*2^1410026-1 is not prime. Res64: D9929C5BFAEBE850 Time : 0.0 sec. user=mdettweiler [2015-09-23 12:42:29] 945*2^1410026-1 is not prime. Res64: CF75C83F07FDA21F Time : 0.0 sec. user=mdettweiler [2015-09-23 12:42:29] 699*2^1410027-1 is not prime. Res64: 092B2F1137040707 Time : 0.0 sec. user=mdettweiler [2015-09-23 12:42:31] 705*2^1410027-1 is not prime. Res64: 4942C5E8DFE9F4C5 Time : 0.0 sec. user=mdettweiler [2015-09-23 12:42:31] 805*2^1410027-1 is not prime. Res64: EBD9B391433300F4 Time : 0.0 sec. user=juhehe [2015-09-23 12:50:49] 887*2^1410026-1 is not prime. Res64: 35E5F61F26C04675 Time : 0.0 sec. user=mdettweiler [2015-09-23 12:59:51] 861*2^1410027-1 is not prime. Res64: DFB4EF1BDA21BCE7 Time : 0.0 sec. user=mdettweiler [2015-09-23 12:59:51] 871*2^1410027-1 is not prime. Res64: 2462EAAA4A74C229 Time : 0.0 sec. user=mdettweiler [2015-09-23 12:59:52] 951*2^1410027-1 is not prime. Res64: A6C968B3FAA34FAD Time : 0.0 sec. user=mdettweiler [2015-09-23 12:59:53] 947*2^1410028-1 is not prime. Res64: 0A711038F740CA3F Time : 0.0 sec. user=mdettweiler [2015-09-23 12:59:54] 631*2^1410029-1 is not prime. Res64: 9841C87AA79C71EC Time : 0.0 sec. user=mdettweiler [2015-09-23 12:59:55] 789*2^1410029-1 is not prime. Res64: C6FF66017D567BE3 Time : 0.0 sec. user=mdettweiler [2015-09-23 13:17:16] 825*2^1410029-1 is not prime. Res64: 6B777C183F2BD3CA Time : 0.0 sec. user=mdettweiler [2015-09-23 13:17:16] 897*2^1410029-1 is not prime. Res64: 63C9861DE277A29D Time : 0.0 sec. user=mdettweiler [2015-09-23 13:17:16] 837*2^1410029-1 is not prime. Res64: 6845C6CB6322779A Time : 0.0 sec. user=mdettweiler [2015-09-23 13:17:16] 987*2^1410029-1 is not prime. Res64: 7449A344C75061EC Time : 0.0 sec. user=mdettweiler [2015-09-23 13:17:17] 711*2^1410030-1 is not prime. Res64: 21CED1A669B3D7F4 Time : 0.0 sec. user=mdettweiler [2015-09-23 13:17:18] 717*2^1410030-1 is not prime. Res64: 8506EFE93B9EC8D8 Time : 0.0 sec. user=mdettweiler [2015-09-23 13:34:39] 843*2^1410030-1 is not prime. Res64: 34D10DADC36601A0 Time : 0.0 sec. user=mdettweiler [2015-09-23 13:34:39] 755*2^1410030-1 is not prime. Res64: 1691A0ACD8F0CA65 Time : 0.0 sec. user=mdettweiler [2015-09-23 13:34:39] 927*2^1410030-1 is not prime. Res64: EA235AA6941EC231 Time : 0.0 sec. user=mdettweiler [2015-09-23 13:34:40] 765*2^1410030-1 is not prime. Res64: B34313F817B9E822 Time : 0.0 sec. user=mdettweiler [2015-09-23 13:34:40] 705*2^1410031-1 is not prime. Res64: EF21E5A161F7B591 Time : 0.0 sec. user=mdettweiler [2015-09-23 13:34:40] 723*2^1410031-1 is not prime. Res64: 803173704EB6D55D Time : 0.0 sec. user=mdettweiler [2015-09-23 13:52:44] 633*2^1410032-1 is not prime. Res64: EE4B70D306610CC7 Time : 0.0 sec. user=mdettweiler [2015-09-23 13:52:44] 819*2^1410032-1 is not prime. Res64: 509567290E8A300B Time : 0.0 sec. user=mdettweiler [2015-09-23 13:52:45] 735*2^1410031-1 is not prime. Res64: C3435EF4A0EC4944 Time : 0.0 sec. user=mdettweiler [2015-09-23 13:52:45] 793*2^1410031-1 is not prime. Res64: D043D82A1304F39D Time : 0.0 sec. user=mdettweiler [2015-09-23 13:52:50] 883*2^1410031-1 is not prime. Res64: 9867BC64E3D849AA Time : 0.0 sec. user=mdettweiler [2015-09-23 13:52:50] 999*2^1410031-1 is not prime. Res64: DBAAB2701BC6091F Time : 0.0 sec. user=mdettweiler [2015-09-23 14:10:05] 855*2^1410032-1 is not prime. Res64: B2DAB3CC1192D068 Time : 0.0 sec. user=mdettweiler [2015-09-23 14:10:05] 983*2^1410032-1 is not prime. Res64: EE56657E5C47CB9F Time : 0.0 sec. user=mdettweiler [2015-09-23 14:10:06] 963*2^1410032-1 is not prime. Res64: DBE6812AF7C1A085 Time : 0.0 sec. user=mdettweiler [2015-09-23 14:10:06] 651*2^1410033-1 is not prime. Res64: 787D6B9334D8986D Time : 0.0 sec. user=mdettweiler [2015-09-23 14:10:09] 691*2^1410033-1 is not prime. Res64: 9D442CAE061537AD Time : 0.0 sec. user=mdettweiler [2015-09-23 14:10:10] 835*2^1410033-1 is not prime. Res64: EB1D3FA595D2AF15 Time : 0.0 sec. user=mdettweiler [2015-09-23 14:27:24] 949*2^1410033-1 is not prime. Res64: 45B534F092F8DD06 Time : 0.0 sec. user=mdettweiler [2015-09-23 14:27:25] 765*2^1410034-1 is not prime. Res64: AC481C8587A8AF29 Time : 0.0 sec. user=mdettweiler [2015-09-23 14:27:25] 891*2^1410034-1 is not prime. Res64: 4A8EBF43A7707DDB Time : 0.0 sec. user=mdettweiler [2015-09-23 14:27:25] 717*2^1410034-1 is not prime. Res64: 88C201AEE442D2E3 Time : 0.0 sec. user=mdettweiler [2015-09-23 14:27:28] 947*2^1410034-1 is not prime. Res64: E7A515CF3E6536A7 Time : 0.0 sec. user=mdettweiler [2015-09-23 14:27:28] 735*2^1410035-1 is not prime. Res64: 29993B53E59575DB Time : 0.0 sec. user=mdettweiler [2015-09-23 14:44:44] 741*2^1410035-1 is not prime. Res64: 106A44B3B963A992 Time : 0.0 sec. user=mdettweiler [2015-09-23 14:44:44] 913*2^1410035-1 is not prime. Res64: D8DBFDA96E5B6D58 Time : 0.0 sec. user=mdettweiler [2015-09-23 14:44:44] 799*2^1410035-1 is not prime. Res64: BB37AFB5297ED7E2 Time : 0.0 sec. user=mdettweiler [2015-09-23 14:44:45] 969*2^1410035-1 is not prime. Res64: 4FC6126089A61576 Time : 0.0 sec. user=mdettweiler [2015-09-23 14:44:47] 623*2^1410036-1 is not prime. Res64: 2511C59C8E144DC8 Time : 0.0 sec. user=mdettweiler [2015-09-23 14:44:48] 647*2^1410036-1 is not prime. Res64: 69E05237310082A0 Time : 0.0 sec. user=juhehe [2015-09-23 14:47:18] 891*2^1410033-1 is not prime. Res64: C624C8D8D16A18C4 Time : 0.0 sec. user=mdettweiler [2015-09-23 15:02:11] 693*2^1410036-1 is not prime. Res64: 1883A40BEE97953F Time : 0.0 sec. user=mdettweiler [2015-09-23 15:02:12] 669*2^1410036-1 is not prime. Res64: 2BD6513987C2BF19 Time : 0.0 sec. user=mdettweiler [2015-09-23 15:02:13] 707*2^1410036-1 is not prime. Res64: 1568F3437DA68658 Time : 0.0 sec. user=mdettweiler [2015-09-23 15:02:13] 683*2^1410036-1 is not prime. Res64: F667CE5AB0901FAC Time : 0.0 sec. user=mdettweiler [2015-09-23 15:02:13] 777*2^1410036-1 is not prime. Res64: 09FB16A860712313 Time : 0.0 sec. user=mdettweiler [2015-09-23 15:02:14] 905*2^1410036-1 is not prime. Res64: A69FF672839D593C Time : 0.0 sec. user=mdettweiler [2015-09-23 15:20:52] 639*2^1410037-1 is not prime. Res64: 59BF59BEA996D179 Time : 0.0 sec. user=mdettweiler [2015-09-23 15:20:53] 645*2^1410037-1 is not prime. Res64: 8186D5CB37A1FF00 Time : 0.0 sec. user=mdettweiler [2015-09-23 15:20:54] 817*2^1410037-1 is not prime. Res64: 28B5DCF918EAA0A3 Time : 0.0 sec. user=mdettweiler [2015-09-23 15:20:55] 861*2^1410037-1 is not prime. Res64: 1F83FC7F95BEE17F Time : 0.0 sec. user=mdettweiler [2015-09-23 15:20:57] 649*2^1410037-1 is not prime. Res64: 593A2A4DDE990B76 Time : 0.0 sec. user=mdettweiler [2015-09-23 15:20:57] 757*2^1410037-1 is not prime. Res64: D90C307382E0F186 Time : 0.0 sec. user=mdettweiler [2015-09-23 15:38:29] 961*2^1410037-1 is not prime. Res64: E737E24F21E6BFCE Time : 0.0 sec. user=mdettweiler [2015-09-23 15:38:30] 985*2^1410037-1 is not prime. Res64: E9DFE1AB3AE5A170 Time : 0.0 sec. user=mdettweiler [2015-09-23 15:38:32] 623*2^1410038-1 is not prime. Res64: 98005B978ADCEC23 Time : 0.0 sec. user=mdettweiler [2015-09-23 15:38:32] 627*2^1410038-1 is not prime. Res64: BBC0CB2227CC52C6 Time : 0.0 sec. user=mdettweiler [2015-09-23 15:38:37] 813*2^1410038-1 is not prime. Res64: 23C03B3D256D12BD Time : 0.0 sec. user=mdettweiler [2015-09-23 15:38:38] 857*2^1410038-1 is not prime. Res64: 7A4CC7E6FFB63530 Time : 0.0 sec. user=mdettweiler [2015-09-23 15:55:57] 971*2^1410038-1 is not prime. Res64: 42712E4A57730300 Time : 0.0 sec. user=mdettweiler [2015-09-23 15:55:58] 993*2^1410038-1 is not prime. Res64: 5F16E74A8FDB060C Time : 0.0 sec. user=mdettweiler [2015-09-23 15:55:59] 633*2^1410039-1 is not prime. Res64: 6259F942DC140DDE Time : 0.0 sec. user=mdettweiler [2015-09-23 15:55:59] 789*2^1410039-1 is not prime. Res64: 2E2A6E92F45F602C Time : 0.0 sec. user=mdettweiler [2015-09-23 15:56:09] 885*2^1410039-1 is not prime. Res64: 789BCFA35F6E1292 Time : 0.0 sec. user=mdettweiler [2015-09-23 15:56:09] 961*2^1410039-1 is not prime. Res64: 82FF92678C013BB4 Time : 0.0 sec. user=mdettweiler [2015-09-23 16:13:21] 825*2^1410040-1 is not prime. Res64: 222706F3108FB098 Time : 0.0 sec. user=mdettweiler [2015-09-23 16:13:21] 827*2^1410040-1 is not prime. Res64: BF3BA35BCD6B3F25 Time : 0.0 sec. user=mdettweiler [2015-09-23 16:13:22] 855*2^1410040-1 is not prime. Res64: DF065E82942B9405 Time : 0.0 sec. user=mdettweiler [2015-09-23 16:13:23] 927*2^1410040-1 is not prime. Res64: A65637ABA631B04D Time : 0.0 sec. user=mdettweiler [2015-09-23 16:13:32] 975*2^1410040-1 is not prime. Res64: C91CD95A57DCAF22 Time : 0.0 sec. user=mdettweiler [2015-09-23 16:13:32] 615*2^1410041-1 is not prime. Res64: ED0652E814A68FC5 Time : 0.0 sec. user=mdettweiler [2015-09-23 16:30:45] 747*2^1410041-1 is not prime. Res64: DFAD2A55C7FBA715 Time : 0.0 sec. user=mdettweiler [2015-09-23 16:30:45] 691*2^1410041-1 is not prime. Res64: ADE852BAF519ECC7 Time : 0.0 sec. user=mdettweiler [2015-09-23 16:30:46] 855*2^1410041-1 is not prime. Res64: 51B2FEF17D3CCF30 Time : 0.0 sec. user=mdettweiler [2015-09-23 16:30:46] 735*2^1410041-1 is not prime. Res64: 19F80F1B8CCB5B6E Time : 0.0 sec. user=mdettweiler [2015-09-23 16:30:54] 955*2^1410041-1 is not prime. Res64: 90AD04DA55A3733C Time : 0.0 sec. user=mdettweiler [2015-09-23 16:30:54] 695*2^1410042-1 is not prime. Res64: 2EC7B7480B0C3E53 Time : 0.0 sec. user=mdettweiler [2015-09-23 16:48:07] 717*2^1410042-1 is not prime. Res64: 0E58BB47C68868A2 Time : 0.0 sec. user=mdettweiler [2015-09-23 16:48:07] 837*2^1410042-1 is not prime. Res64: 972B4AA6493904FA Time : 0.0 sec. user=mdettweiler [2015-09-23 16:48:08] 947*2^1410042-1 is not prime. Res64: 51EF16E033B0777A Time : 0.0 sec. user=mdettweiler [2015-09-23 16:48:08] 765*2^1410042-1 is not prime. Res64: 157BA4BA8E57E35D Time : 0.0 sec. user=mdettweiler [2015-09-23 16:48:15] 963*2^1410042-1 is not prime. Res64: 929B0D27FDD2A28D Time : 0.0 sec. user=mdettweiler [2015-09-23 16:48:16] 977*2^1410042-1 is not prime. Res64: 8B3B758C47291F49 Time : 0.0 sec. user=mdettweiler [2015-09-23 17:05:32] 649*2^1410043-1 is not prime. Res64: 9CAACF1255C37243 Time : 0.0 sec. user=mdettweiler [2015-09-23 17:05:33] 615*2^1410043-1 is not prime. Res64: 87B067E9FCB7179A Time : 0.0 sec. user=mdettweiler [2015-09-23 17:05:34] 681*2^1410043-1 is not prime. Res64: 1CB7C153D6DBA228 Time : 0.0 sec. user=mdettweiler [2015-09-23 17:05:35] 633*2^1410043-1 is not prime. Res64: 0FFF294DAF5E4149 Time : 0.0 sec. user=mdettweiler [2015-09-23 17:05:39] 703*2^1410043-1 is not prime. Res64: 2FCBA6E821313D10 Time : 0.0 sec. user=mdettweiler [2015-09-23 17:05:40] 765*2^1410043-1 is not prime. Res64: 53B32C1D3420CEE7 Time : 0.0 sec. user=mdettweiler [2015-09-23 17:23:26] 759*2^1410044-1 is not prime. Res64: 09F445AB50CFB52E Time : 0.0 sec. user=mdettweiler [2015-09-23 17:23:26] 773*2^1410044-1 is not prime. Res64: 47FCF885DCEB9E47 Time : 0.0 sec. user=mdettweiler [2015-09-23 17:23:26] 855*2^1410043-1 is not prime. Res64: 88BEA593991ADD2E Time : 0.0 sec. user=mdettweiler [2015-09-23 17:23:27] 615*2^1410044-1 is not prime. Res64: DC610C72A14D3003 Time : 0.0 sec. user=mdettweiler [2015-09-23 17:23:27] 675*2^1410044-1 is not prime. Res64: 9CF1FC1451831DFC Time : 0.0 sec. user=mdettweiler [2015-09-23 17:23:27] 677*2^1410044-1 is not prime. Res64: 577C1B77458563EC Time : 0.0 sec. user=mdettweiler [2015-09-23 17:40:50] 927*2^1410044-1 is not prime. Res64: C8351DFF3B1AE4BD Time : 0.0 sec. user=mdettweiler [2015-09-23 17:40:50] 639*2^1410045-1 is not prime. Res64: 5279F2B98CE30ECF Time : 0.0 sec. user=mdettweiler [2015-09-23 17:40:51] 667*2^1410045-1 is not prime. Res64: 5F1611D2F2F1813C Time : 0.0 sec. user=mdettweiler [2015-09-23 17:40:51] 721*2^1410045-1 is not prime. Res64: 6ADA946E1D80AAF8 Time : 0.0 sec. user=mdettweiler [2015-09-23 17:40:54] 837*2^1410044-1 is not prime. Res64: A5E13B992C31E3B6 Time : 0.0 sec. user=mdettweiler [2015-09-23 17:40:54] 869*2^1410044-1 is not prime. Res64: 363EDB8993E97DCD Time : 0.0 sec. user=mdettweiler [2015-09-23 17:58:14] 975*2^1410045-1 is not prime. Res64: 9872A598CCF6DD5E Time : 0.0 sec. user=mdettweiler [2015-09-23 17:58:14] 611*2^1410046-1 is not prime. Res64: E41E73BC481B650A Time : 0.0 sec. user=mdettweiler [2015-09-23 17:58:15] 663*2^1410046-1 is not prime. Res64: FF0F9D042B845476 Time : 0.0 sec. user=mdettweiler [2015-09-23 17:58:15] 755*2^1410046-1 is not prime. Res64: 55FB5DEC46301F06 Time : 0.0 sec. user=mdettweiler [2015-09-23 17:58:18] 777*2^1410046-1 is not prime. Res64: 494E7A767A9D5232 Time : 0.0 sec. user=mdettweiler [2015-09-23 17:58:18] 815*2^1410046-1 is not prime. Res64: 7ED17ABBDA46AFDB Time : 0.0 sec. user=juhehe [2015-09-23 18:02:42] 867*2^1410045-1 is not prime. Res64: 4C34AD8012602D2D Time : 0.0 sec. user=mdettweiler [2015-09-23 18:15:39] 945*2^1410046-1 is not prime. Res64: CB861C3565707159 Time : 0.0 sec. user=mdettweiler [2015-09-23 18:15:39] 965*2^1410046-1 is not prime. Res64: D477724CBEFFD18A Time : 0.0 sec. user=mdettweiler [2015-09-23 18:15:40] 867*2^1410046-1 is not prime. Res64: 5737B47CC5EE2A3D Time : 0.0 sec. user=mdettweiler [2015-09-23 18:15:40] 873*2^1410046-1 is not prime. Res64: 2F854187A7F7463E Time : 0.0 sec. user=mdettweiler [2015-09-23 18:15:41] 649*2^1410047-1 is not prime. Res64: F2F53074C45B47F9 Time : 0.0 sec. user=mdettweiler [2015-09-23 18:15:41] 759*2^1410047-1 is not prime. Res64: FC0F07D7AB4304B3 Time : 0.0 sec. user=mdettweiler [2015-09-23 18:33:03] 843*2^1410047-1 is not prime. Res64: A901FE9E05332BAA Time : 0.0 sec. user=mdettweiler [2015-09-23 18:33:03] 633*2^1410048-1 is not prime. Res64: CB097F9B8E42447C Time : 0.0 sec. user=mdettweiler [2015-09-23 18:33:03] 993*2^1410047-1 is not prime. Res64: BB20333F8FD67AF2 Time : 0.0 sec. user=mdettweiler [2015-09-23 18:33:04] 939*2^1410047-1 is not prime. Res64: A2F550F99AE41EE6 Time : 0.0 sec. user=mdettweiler [2015-09-23 18:33:04] 669*2^1410048-1 is not prime. Res64: FE17D75A7EA9B03B Time : 0.0 sec. user=mdettweiler [2015-09-23 18:33:04] 999*2^1410047-1 is not prime. Res64: 4BB5881E13B987B1 Time : 0.0 sec. user=juhehe [2015-09-23 18:40:33] 829*2^1410047-1 is not prime. Res64: DE68E20A03F8CA68 Time : 0.0 sec. user=mdettweiler [2015-09-23 18:50:46] 695*2^1410048-1 is not prime. Res64: 13534DFDD39B73AF Time : 0.0 sec. user=mdettweiler [2015-09-23 18:50:46] 759*2^1410048-1 is not prime. Res64: 3B030B98A910C35E Time : 0.0 sec. user=mdettweiler [2015-09-23 18:50:46] 803*2^1410048-1 is not prime. Res64: 7912F9EF4D90432F Time : 0.0 sec. user=mdettweiler [2015-09-23 18:50:47] 839*2^1410048-1 is not prime. Res64: 6D2DC59C61EBB36E Time : 0.0 sec. user=mdettweiler [2015-09-23 18:50:47] 845*2^1410048-1 is not prime. Res64: CA91EE2EA9D4B810 Time : 0.0 sec. user=mdettweiler [2015-09-23 18:50:47] 887*2^1410048-1 is not prime. Res64: 33C1620B7DD2AFA9 Time : 0.0 sec. user=mdettweiler [2015-09-23 19:11:39] 927*2^1410048-1 is not prime. Res64: F852B717AFF2A1DC Time : 0.0 sec. user=mdettweiler [2015-09-23 19:11:39] 975*2^1410048-1 is not prime. Res64: 406997A6D518ADEB Time : 0.0 sec. user=mdettweiler [2015-09-23 19:11:39] 945*2^1410048-1 is not prime. Res64: 279C36F00038CA51 Time : 0.0 sec. user=mdettweiler [2015-09-23 19:11:40] 609*2^1410049-1 is not prime. Res64: E468044F52F64D9E Time : 0.0 sec. user=mdettweiler [2015-09-23 19:11:43] 721*2^1410049-1 is not prime. Res64: F4A410DD7B52E9EA Time : 0.0 sec. user=mdettweiler [2015-09-23 19:11:43] 747*2^1410049-1 is not prime. Res64: E82DA001DA5B5DAF Time : 0.0 sec. user=mdettweiler [2015-09-23 19:32:06] 955*2^1410049-1 is not prime. Res64: 00EF399101FCD33A Time : 0.0 sec. user=mdettweiler [2015-09-23 19:32:06] 987*2^1410049-1 is not prime. Res64: F14F5BA0AE11E2A4 Time : 0.0 sec. user=mdettweiler [2015-09-23 19:32:07] 635*2^1410050-1 is not prime. Res64: 36722C2949E1B7B1 Time : 0.0 sec. user=mdettweiler [2015-09-23 19:32:07] 687*2^1410050-1 is not prime. Res64: 9374CD4941699C6E Time : 0.0 sec. user=mdettweiler [2015-09-23 19:32:10] 945*2^1410050-1 is not prime. Res64: D84091DA307E888E Time : 0.0 sec. user=mdettweiler [2015-09-23 19:32:10] 957*2^1410050-1 is not prime. Res64: 2A05511E93316B20 Time : 0.0 sec. user=mdettweiler [2015-09-23 19:49:55] 741*2^1410051-1 is not prime. Res64: DEC8191DFF51E273 Time : 0.0 sec. user=mdettweiler [2015-09-23 19:49:56] 781*2^1410051-1 is not prime. Res64: F745A119EAAFBEA6 Time : 0.0 sec. user=mdettweiler [2015-09-23 19:49:58] 675*2^1410051-1 is not prime. Res64: 34A6BACB5AE688DB Time : 0.0 sec. user=mdettweiler [2015-09-23 19:49:58] 711*2^1410051-1 is not prime. Res64: 77810847A1E73D42 Time : 0.0 sec. user=mdettweiler [2015-09-23 19:50:03] 871*2^1410051-1 is not prime. Res64: 76A536A762D716D6 Time : 0.0 sec. user=mdettweiler [2015-09-23 19:50:03] 949*2^1410051-1 is not prime. Res64: 43E78B0264CC8936 Time : 0.0 sec. user=mdettweiler [2015-09-23 20:07:39] 999*2^1410051-1 is not prime. Res64: F7D79839D33AE2F5 Time : 0.0 sec. user=mdettweiler [2015-09-23 20:07:39] 617*2^1410052-1 is not prime. Res64: DE095BC71D2D6721 Time : 0.0 sec. user=mdettweiler [2015-09-23 20:07:41] 657*2^1410052-1 is not prime. Res64: 3C5AA19E4F2DDFC9 Time : 0.0 sec. user=mdettweiler [2015-09-23 20:07:42] 735*2^1410052-1 is not prime. Res64: 246544DDF783C8D9 Time : 0.0 sec. user=mdettweiler [2015-09-23 20:07:43] 765*2^1410052-1 is not prime. Res64: 44AD2E91EF3505AB Time : 0.0 sec. user=mdettweiler [2015-09-23 20:07:44] 843*2^1410052-1 is not prime. Res64: E697F230D907538B Time : 0.0 sec. user=mdettweiler [2015-09-23 20:25:27] 863*2^1410052-1 is not prime. Res64: E17E6D3295E45E92 Time : 0.0 sec. user=mdettweiler [2015-09-23 20:25:28] 869*2^1410052-1 is not prime. Res64: 112755DDF3FD308C Time : 0.0 sec. user=mdettweiler [2015-09-23 20:25:29] 691*2^1410053-1 is not prime. Res64: 44A86DF5335B1281 Time : 0.0 sec. user=mdettweiler [2015-09-23 20:25:29] 787*2^1410053-1 is not prime. Res64: F5A932866DEA282C Time : 0.0 sec. user=mdettweiler [2015-09-23 20:25:33] 795*2^1410053-1 is not prime. Res64: 3F026C8986318004 Time : 0.0 sec. user=mdettweiler [2015-09-23 20:25:34] 805*2^1410053-1 is not prime. Res64: 367BC66A14069D35 Time : 0.0 sec. user=juhehe [2015-09-23 20:35:10] 855*2^1410052-1 is not prime. Res64: 55E93B5DE6ECDF69 Time : 0.0 sec. user=mdettweiler [2015-09-23 20:43:18] 811*2^1410053-1 is not prime. Res64: AEAABEA239C60BD5 Time : 0.0 sec. user=mdettweiler [2015-09-23 20:43:18] 829*2^1410053-1 is not prime. Res64: 7ECA10DD10AA751B Time : 0.0 sec. user=mdettweiler [2015-09-23 20:43:21] 861*2^1410053-1 is not prime. Res64: F8A29140280A8FDF Time : 0.0 sec. user=mdettweiler [2015-09-23 20:43:21] 897*2^1410053-1 is not prime. Res64: B6579B2FCB14EBD5 Time : 0.0 sec. user=mdettweiler [2015-09-23 20:43:22] 987*2^1410053-1 is not prime. Res64: 5742952F3ED7A4B1 Time : 0.0 sec. user=mdettweiler [2015-09-23 20:43:22] 755*2^1410054-1 is not prime. Res64: 019D1BC30F4CAF1F Time : 0.0 sec. user=mdettweiler [2015-09-23 21:01:06] 759*2^1410055-1 is not prime. Res64: F8A23B040FB208EF Time : 0.0 sec. user=mdettweiler [2015-09-23 21:01:07] 789*2^1410055-1 is not prime. Res64: FF7DC1C7C03AC00E Time : 0.0 sec. user=mdettweiler [2015-09-23 21:01:08] 773*2^1410054-1 is not prime. Res64: 70BAEEBAACD13A6F Time : 0.0 sec. user=mdettweiler [2015-09-23 21:01:09] 783*2^1410054-1 is not prime. Res64: 95AE786A40543060 Time : 0.0 sec. user=mdettweiler [2015-09-23 21:01:15] 893*2^1410054-1 is not prime. Res64: CADD70F8A7CCC1F9 Time : 0.0 sec. user=mdettweiler [2015-09-23 21:01:16] 685*2^1410055-1 is not prime. Res64: 06F8EAF8B36EC98D Time : 0.0 sec. user=mdettweiler [2015-09-23 21:19:09] 913*2^1410055-1 is not prime. Res64: 5E5836F36A1F3CFA Time : 0.0 sec. user=mdettweiler [2015-09-23 21:19:09] 831*2^1410055-1 is not prime. Res64: BABCF5BF284197C6 Time : 0.0 sec. user=mdettweiler [2015-09-23 21:19:09] 675*2^1410056-1 is not prime. Res64: 0D04F7E6402E3938 Time : 0.0 sec. user=mdettweiler [2015-09-23 21:19:09] 853*2^1410055-1 is not prime. Res64: F4A0DD66ECD8415B Time : 0.0 sec. user=mdettweiler [2015-09-23 21:19:10] 871*2^1410055-1 is not prime. Res64: 8F52B7FD5EDE8A31 Time : 0.0 sec. user=mdettweiler [2015-09-23 21:19:10] 873*2^1410055-1 is not prime. Res64: 278D53FCAADCC4D9 Time : 0.0 sec. user=mdettweiler [2015-09-23 21:36:48] 845*2^1410056-1 is not prime. Res64: F2C114DD6A18897F Time : 0.0 sec. user=mdettweiler [2015-09-23 21:36:48] 963*2^1410056-1 is not prime. Res64: A2E8ED31C3B323D2 Time : 0.0 sec. user=mdettweiler [2015-09-23 21:36:48] 983*2^1410056-1 is not prime. Res64: 1A2FFF09B83F3A3A Time : 0.0 sec. user=mdettweiler [2015-09-23 21:36:48] 717*2^1410057-1 is not prime. Res64: 2ACD435DEEB064B1 Time : 0.0 sec. user=mdettweiler [2015-09-23 21:36:51] 833*2^1410056-1 is not prime. Res64: 6BB8DE43861461AD Time : 0.0 sec. user=mdettweiler [2015-09-23 21:36:51] 837*2^1410056-1 is not prime. Res64: 4DBAFC0F1EF04EDD Time : 0.0 sec. user=mdettweiler [2015-09-23 21:54:24] 901*2^1410057-1 is not prime. Res64: A83BEB57060094CA Time : 0.0 sec. user=mdettweiler [2015-09-23 21:54:25] 623*2^1410058-1 is not prime. Res64: D11EF951AB84CDA1 Time : 0.0 sec. user=mdettweiler [2015-09-23 21:54:26] 781*2^1410057-1 is not prime. Res64: F2ED21333439321D Time : 0.0 sec. user=mdettweiler [2015-09-23 21:54:26] 867*2^1410057-1 is not prime. Res64: 86C3B75F48E072D1 Time : 0.0 sec. user=mdettweiler [2015-09-23 21:54:29] 657*2^1410058-1 is not prime. Res64: 63D2E7CF93CAD496 Time : 0.0 sec. user=mdettweiler [2015-09-23 21:54:29] 681*2^1410058-1 is not prime. Res64: 26DEC223DA3B74C7 Time : 0.0 sec. user=juhehe [2015-09-23 21:55:29] 773*2^1410056-1 is not prime. Res64: F24C01595EF66701 Time : 0.0 sec. user=mdettweiler [2015-09-23 22:12:01] 705*2^1410058-1 is not prime. Res64: 38F4E7789CA3D39E Time : 0.0 sec. user=mdettweiler [2015-09-23 22:12:02] 755*2^1410058-1 is not prime. Res64: AB6A859D5F20B3D4 Time : 0.0 sec. user=mdettweiler [2015-09-23 22:12:05] 791*2^1410058-1 is not prime. Res64: BADA2AABCD2D322B Time : 0.0 sec. user=mdettweiler [2015-09-23 22:12:05] 803*2^1410058-1 is not prime. Res64: 4247E179A637AF98 Time : 0.0 sec. user=mdettweiler [2015-09-23 22:12:08] 825*2^1410058-1 is not prime. Res64: 010951C72E6EBC6B Time : 0.0 sec. user=mdettweiler [2015-09-23 22:12:08] 855*2^1410058-1 is not prime. Res64: 237FDEE81E6AD3A7 Time : 0.0 sec. user=mdettweiler [2015-09-23 22:30:16] 885*2^1410058-1 is not prime. Res64: 849368B43AF2F00C Time : 0.0 sec. user=mdettweiler [2015-09-23 22:30:17] 911*2^1410058-1 is not prime. Res64: 1A980AACEA661AF6 Time : 0.0 sec. user=mdettweiler [2015-09-23 22:30:19] 923*2^1410058-1 is not prime. Res64: 0F23359647EB5555 Time : 0.0 sec. user=mdettweiler [2015-09-23 22:30:20] 981*2^1410058-1 is not prime. Res64: ADF2B26AB08C92A8 Time : 0.0 sec. user=mdettweiler [2015-09-23 22:30:24] 621*2^1410059-1 is not prime. Res64: 36DA58A38896A566 Time : 0.0 sec. user=mdettweiler [2015-09-23 22:30:25] 645*2^1410059-1 is not prime. Res64: 3747266835B31DB8 Time : 0.0 sec. user=mdettweiler [2015-09-23 22:51:01] 703*2^1410059-1 is not prime. Res64: 022DBDFCDFCF2DBD Time : 0.0 sec. user=mdettweiler [2015-09-23 22:51:01] 733*2^1410059-1 is not prime. Res64: 97D37E2776A7C5DA Time : 0.0 sec. user=mdettweiler [2015-09-23 22:51:05] 799*2^1410059-1 is not prime. Res64: 70BEBBE0D851EEA7 Time : 0.0 sec. user=mdettweiler [2015-09-23 22:51:06] 895*2^1410059-1 is not prime. Res64: FE6F89CFF9D9FBCF Time : 0.0 sec. user=mdettweiler [2015-09-23 22:51:08] 993*2^1410059-1 is not prime. Res64: E734395996D9AD60 Time : 0.0 sec. user=mdettweiler [2015-09-23 22:51:09] 723*2^1410060-1 is not prime. Res64: F3074E111029346A Time : 0.0 sec. user=mdettweiler [2015-09-23 23:11:22] 929*2^1410060-1 is not prime. Res64: 6BDC54BC88F5FC4E Time : 0.0 sec. user=mdettweiler [2015-09-23 23:11:22] 987*2^1410060-1 is not prime. Res64: 544647AA7D5891E4 Time : 0.0 sec. user=mdettweiler [2015-09-23 23:11:22] 601*2^1410061-1 is not prime. Res64: DEFA3AF06964BEFA Time : 0.0 sec. user=mdettweiler [2015-09-23 23:11:23] 619*2^1410061-1 is not prime. Res64: 524BAC4474377B77 Time : 0.0 sec. user=mdettweiler [2015-09-23 23:11:25] 687*2^1410061-1 is not prime. Res64: 7840671C4AB4DA3E Time : 0.0 sec. user=mdettweiler [2015-09-23 23:11:25] 777*2^1410061-1 is not prime. Res64: 999F87F95DB162B6 Time : 0.0 sec. user=juhehe [2015-09-23 23:26:31] 887*2^1410060-1 is not prime. Res64: 77278614B020C44D Time : 0.0 sec. user=mdettweiler [2015-09-23 23:29:48] 861*2^1410061-1 is not prime. Res64: 42F9FDEFE1808F05 Time : 0.0 sec. user=mdettweiler [2015-09-23 23:29:49] 711*2^1410062-1 is not prime. Res64: 8214546D1ED0600A Time : 0.0 sec. user=mdettweiler [2015-09-23 23:29:49] 755*2^1410062-1 is not prime. Res64: 9620B89EF4279B62 Time : 0.0 sec. user=mdettweiler [2015-09-23 23:29:50] 771*2^1410062-1 is not prime. Res64: 20EB4DA5DD6CB279 Time : 0.0 sec. user=mdettweiler [2015-09-23 23:29:51] 873*2^1410062-1 is not prime. Res64: 18FBF5F92202150C Time : 0.0 sec. user=mdettweiler [2015-09-23 23:29:52] 903*2^1410062-1 is not prime. Res64: 05279714A3906822 Time : 0.0 sec. user=mdettweiler [2015-09-23 23:47:18] 987*2^1410062-1 is not prime. Res64: 388640E515F78186 Time : 0.0 sec. user=mdettweiler [2015-09-23 23:47:18] 663*2^1410063-1 is not prime. Res64: 34D1CE2127A3C6AB Time : 0.0 sec. user=mdettweiler [2015-09-23 23:47:18] 721*2^1410063-1 is not prime. Res64: 7CB5F8608B6C88C8 Time : 0.0 sec. user=mdettweiler [2015-09-23 23:47:19] 763*2^1410063-1 is not prime. Res64: 8A5B1ABADA958FD6 Time : 0.0 sec. user=mdettweiler [2015-09-23 23:47:22] 805*2^1410063-1 is not prime. Res64: 903197C5001F897E Time : 0.0 sec. user=mdettweiler [2015-09-23 23:47:22] 873*2^1410063-1 is not prime. Res64: FF98EF369549378E Time : 0.0 sec. user=juhehe [2015-09-23 23:49:09] 953*2^1410062-1 is not prime. Res64: 4E4D78868AF607E4 Time : 0.0 sec.