user=mdettweiler [2016-05-02 00:03:01] 831*2^1427985-1 is not prime. Res64: AE72034C27A93196 Time : 0.0 sec. user=mdettweiler [2016-05-02 00:03:02] 723*2^1427986-1 is not prime. Res64: BC4A0F7F0EF20F09 Time : 0.0 sec. user=mdettweiler [2016-05-02 00:03:03] 843*2^1427986-1 is not prime. Res64: 1447986B5DCCD9BB Time : 0.0 sec. user=mdettweiler [2016-05-02 00:03:04] 993*2^1427986-1 is not prime. Res64: 75FC04C2AF6BC187 Time : 0.0 sec. user=mdettweiler [2016-05-02 00:03:05] 601*2^1427987-1 is not prime. Res64: C3B2EB2F84F117D2 Time : 0.0 sec. user=mdettweiler [2016-05-02 00:14:01] 675*2^1427987-1 is not prime. Res64: 4DCFFD2FEF7D8F0A Time : 0.0 sec. user=mdettweiler [2016-05-02 00:14:02] 685*2^1427987-1 is not prime. Res64: 4FC4034659E5656D Time : 0.0 sec. user=mdettweiler [2016-05-02 00:14:02] 759*2^1427987-1 is not prime. Res64: 7C3FA503571CECE3 Time : 0.0 sec. user=mdettweiler [2016-05-02 00:14:03] 963*2^1427987-1 is not prime. Res64: CA6A570CB4EA8AF8 Time : 0.0 sec. user=mdettweiler [2016-05-02 00:14:03] 723*2^1427988-1 is not prime. Res64: F4B1A9D6A93A2222 Time : 0.0 sec. user=mdettweiler [2016-05-02 00:15:53] 887*2^1427988-1 is not prime. Res64: 86AF35F65DDC27EB Time : 0.0 sec. user=mdettweiler [2016-05-02 00:15:54] 927*2^1427988-1 is not prime. Res64: C6FFE94C2B21CFA7 Time : 0.0 sec. user=mdettweiler [2016-05-02 00:15:54] 959*2^1427988-1 is not prime. Res64: A9AF7F16CE51C0D7 Time : 0.0 sec. user=mdettweiler [2016-05-02 00:15:55] 969*2^1427988-1 is not prime. Res64: 0487B8EE32924E01 Time : 0.0 sec. user=mdettweiler [2016-05-02 00:15:55] 661*2^1427989-1 is not prime. Res64: 57B7E69CD422B21F Time : 0.0 sec. user=mdettweiler [2016-05-02 00:30:53] 667*2^1427989-1 is not prime. Res64: D54EEDBDE906436A Time : 0.0 sec. user=mdettweiler [2016-05-02 00:30:53] 721*2^1427989-1 is not prime. Res64: 2EF1FB890E5C589F Time : 0.0 sec. user=mdettweiler [2016-05-02 00:30:54] 757*2^1427989-1 is not prime. Res64: 9BB7124380048364 Time : 0.0 sec. user=mdettweiler [2016-05-02 00:30:54] 789*2^1427989-1 is not prime. Res64: C63CC46F9995375F Time : 0.0 sec. user=mdettweiler [2016-05-02 00:30:54] 897*2^1427989-1 is not prime. Res64: 75D4A2938D0E315F Time : 0.0 sec. user=mdettweiler [2016-05-02 00:48:30] 939*2^1427989-1 is not prime. Res64: 240DD9B42BCC1EB6 Time : 0.0 sec. user=mdettweiler [2016-05-02 00:48:31] 635*2^1427990-1 is not prime. Res64: 8D1EB95EB6DC6F44 Time : 0.0 sec. user=mdettweiler [2016-05-02 00:48:31] 651*2^1427990-1 is not prime. Res64: F138A709DFC1AD4E Time : 0.0 sec. user=mdettweiler [2016-05-02 00:48:32] 707*2^1427990-1 is not prime. Res64: CAE36E7278658BCC Time : 0.0 sec. user=mdettweiler [2016-05-02 00:48:32] 827*2^1427990-1 is not prime. Res64: E4C3F8F2AE859350 Time : 0.0 sec. user=mdettweiler [2016-05-02 00:59:25] 885*2^1427990-1 is not prime. Res64: FB10E4A6A17BE9E7 Time : 0.0 sec. user=mdettweiler [2016-05-02 00:59:26] 951*2^1427990-1 is not prime. Res64: 83D62EA0C8D59BCE Time : 0.0 sec. user=mdettweiler [2016-05-02 00:59:26] 781*2^1427991-1 is not prime. Res64: B19535AB3E76B9DE Time : 0.0 sec. user=mdettweiler [2016-05-02 00:59:27] 783*2^1427991-1 is not prime. Res64: 385EC0EF8B032829 Time : 0.0 sec. user=mdettweiler [2016-05-02 00:59:27] 861*2^1427991-1 is not prime. Res64: F6697F799240E04B Time : 0.0 sec. user=mdettweiler [2016-05-02 01:01:18] 895*2^1427991-1 is not prime. Res64: F4DD2DD4C5AFB75C Time : 0.0 sec. user=mdettweiler [2016-05-02 01:01:19] 945*2^1427991-1 is not prime. Res64: CFA883E762BBB600 Time : 0.0 sec. user=mdettweiler [2016-05-02 01:01:20] 615*2^1427992-1 is not prime. Res64: E099AB7AF707870B Time : 0.0 sec. user=mdettweiler [2016-05-02 01:01:21] 629*2^1427992-1 is not prime. Res64: 8530C3E1EA3279AC Time : 0.0 sec. user=mdettweiler [2016-05-02 01:01:22] 645*2^1427992-1 is not prime. Res64: 0C85022A08D9A4BF Time : 0.0 sec. user=mdettweiler [2016-05-02 01:16:25] 693*2^1427992-1 is not prime. Res64: 310CBA034B89599C Time : 0.0 sec. user=mdettweiler [2016-05-02 01:16:26] 735*2^1427992-1 is not prime. Res64: 022CB28158A73486 Time : 0.0 sec. user=mdettweiler [2016-05-02 01:16:26] 779*2^1427992-1 is not prime. Res64: 16BAB5C9690ECAD4 Time : 0.0 sec. user=mdettweiler [2016-05-02 01:16:26] 863*2^1427992-1 is not prime. Res64: 1BBB4AFA0E57CC4F Time : 0.0 sec. user=mdettweiler [2016-05-02 01:16:27] 899*2^1427992-1 is not prime. Res64: F4FAADD0DCBAB9AE Time : 0.0 sec. user=mdettweiler [2016-05-02 01:33:51] 917*2^1427992-1 is not prime. Res64: 500C32CB2163B6C9 Time : 0.0 sec. user=mdettweiler [2016-05-02 01:33:54] 975*2^1427992-1 is not prime. Res64: AC20D0CAF3A74129 Time : 0.0 sec. user=mdettweiler [2016-05-02 01:33:56] 651*2^1427993-1 is not prime. Res64: 907E70A7060947F1 Time : 0.0 sec. user=mdettweiler [2016-05-02 01:33:57] 669*2^1427993-1 is not prime. Res64: B7D669CECEAB8057 Time : 0.0 sec. user=mdettweiler [2016-05-02 01:33:58] 685*2^1427993-1 is not prime. Res64: 5AC8A473B39B17EC Time : 0.0 sec. user=mdettweiler [2016-05-02 01:44:54] 769*2^1427993-1 is not prime. Res64: FF89AF2886DB0390 Time : 0.0 sec. user=mdettweiler [2016-05-02 01:44:54] 949*2^1427993-1 is not prime. Res64: C2AE142AEBBD23CB Time : 0.0 sec. user=mdettweiler [2016-05-02 01:44:55] 627*2^1427994-1 is not prime. Res64: 400062A565FBC081 Time : 0.0 sec. user=mdettweiler [2016-05-02 01:44:55] 635*2^1427994-1 is not prime. Res64: 6D227E403737DF25 Time : 0.0 sec. user=mdettweiler [2016-05-02 01:44:55] 741*2^1427994-1 is not prime. Res64: DA71163F61273911 Time : 0.0 sec. user=mdettweiler [2016-05-02 01:46:47] 767*2^1427994-1 is not prime. Res64: FA0D34A542267711 Time : 0.0 sec. user=mdettweiler [2016-05-02 01:46:47] 891*2^1427994-1 is not prime. Res64: 60673DB90363BE20 Time : 0.0 sec. user=mdettweiler [2016-05-02 01:46:48] 993*2^1427994-1 is not prime. Res64: 827C1441DB697C54 Time : 0.0 sec. user=mdettweiler [2016-05-02 01:46:48] 619*2^1427995-1 is not prime. Res64: B63D870C70A54DD6 Time : 0.0 sec. user=mdettweiler [2016-05-02 01:46:49] 625*2^1427995-1 is not prime. Res64: 29A4FEB8C61CB300 Time : 0.0 sec. user=mdettweiler [2016-05-02 02:01:55] 649*2^1427995-1 is not prime. Res64: 63640956E1A3EEF3 Time : 0.0 sec. user=mdettweiler [2016-05-02 02:01:56] 693*2^1427995-1 is not prime. Res64: CD72C40253EDB050 Time : 0.0 sec. user=mdettweiler [2016-05-02 02:01:56] 709*2^1427995-1 is not prime. Res64: 6CB2178A64F1E0F8 Time : 0.0 sec. user=mdettweiler [2016-05-02 02:01:57] 861*2^1427995-1 is not prime. Res64: 958629565945D2DB Time : 0.0 sec. user=mdettweiler [2016-05-02 02:01:57] 871*2^1427995-1 is not prime. Res64: 1E2F6FD07408F8CE Time : 0.0 sec. user=mdettweiler [2016-05-02 02:19:19] 909*2^1427995-1 is not prime. Res64: 121C4D8D050D085C Time : 0.0 sec. user=mdettweiler [2016-05-02 02:19:19] 919*2^1427995-1 is not prime. Res64: A91927AFEAC17EEB Time : 0.0 sec. user=mdettweiler [2016-05-02 02:19:20] 657*2^1427996-1 is not prime. Res64: D463C71BBE7989F1 Time : 0.0 sec. user=mdettweiler [2016-05-02 02:19:20] 873*2^1427996-1 is not prime. Res64: B1669095A2990775 Time : 0.0 sec. user=mdettweiler [2016-05-02 02:19:20] 927*2^1427996-1 is not prime. Res64: DE78B12FB14BEC9D Time : 0.0 sec. user=mdettweiler [2016-05-02 02:30:14] 957*2^1427996-1 is not prime. Res64: 2AD470FA676FDEF6 Time : 0.0 sec. user=mdettweiler [2016-05-02 02:30:15] 699*2^1427997-1 is not prime. Res64: B0823B10F1863E59 Time : 0.0 sec. user=mdettweiler [2016-05-02 02:30:16] 741*2^1427997-1 is not prime. Res64: E0010605EAD6F1D7 Time : 0.0 sec. user=mdettweiler [2016-05-02 02:30:16] 777*2^1427997-1 is not prime. Res64: E1EE88BECF6491CF Time : 0.0 sec. user=mdettweiler [2016-05-02 02:30:17] 865*2^1427997-1 is not prime. Res64: 916EDC0EA1666BFC Time : 0.0 sec. user=mdettweiler [2016-05-02 02:32:05] 895*2^1427997-1 is not prime. Res64: 721FE2F0D09B1BFF Time : 0.0 sec. user=mdettweiler [2016-05-02 02:32:06] 927*2^1427997-1 is not prime. Res64: B691C9B5F31CE3E2 Time : 0.0 sec. user=mdettweiler [2016-05-02 02:32:06] 949*2^1427997-1 is not prime. Res64: 0F40A0981BBC6231 Time : 0.0 sec. user=mdettweiler [2016-05-02 02:32:07] 999*2^1427997-1 is not prime. Res64: 1D841EEB7839C598 Time : 0.0 sec. user=mdettweiler [2016-05-02 02:32:08] 665*2^1427998-1 is not prime. Res64: 8AD4A94A547FD07A Time : 0.0 sec. user=mdettweiler [2016-05-02 02:47:31] 695*2^1427998-1 is not prime. Res64: D85126706A7DA46B Time : 0.0 sec. user=mdettweiler [2016-05-02 02:47:31] 791*2^1427998-1 is not prime. Res64: 46BAC1A3CC3DCE3C Time : 0.0 sec. user=mdettweiler [2016-05-02 02:47:32] 831*2^1427998-1 is not prime. Res64: D8D1A211B840EEBD Time : 0.0 sec. user=mdettweiler [2016-05-02 02:47:32] 885*2^1427998-1 is not prime. Res64: 9B3C949A2693F090 Time : 0.0 sec. user=mdettweiler [2016-05-02 02:47:33] 619*2^1427999-1 is not prime. Res64: 191D01D65FC363A0 Time : 0.0 sec. user=mdettweiler [2016-05-02 03:04:58] 621*2^1427999-1 is not prime. Res64: DD53F081B4539A13 Time : 0.0 sec. user=mdettweiler [2016-05-02 03:04:59] 759*2^1427999-1 is not prime. Res64: 43B1D74A05F3D360 Time : 0.0 sec. user=mdettweiler [2016-05-02 03:05:00] 949*2^1427999-1 is not prime. Res64: 1530B416F0BD43F8 Time : 0.0 sec. user=mdettweiler [2016-05-02 03:05:01] 713*2^1428000-1 is not prime. Res64: 71AEDBA215268494 Time : 0.0 sec. user=mdettweiler [2016-05-02 03:05:02] 767*2^1428000-1 is not prime. Res64: A89F64BE08EADA28 Time : 0.0 sec. user=mdettweiler [2016-05-02 03:15:42] 915*2^1428000-1 is not prime. Res64: 0CCA895D6505B91E Time : 0.0 sec. user=mdettweiler [2016-05-02 03:15:42] 927*2^1428000-1 is not prime. Res64: 25661A18E61C7922 Time : 0.0 sec. user=mdettweiler [2016-05-02 03:15:43] 705*2^1428001-1 is not prime. Res64: EFCB7C31CD348E8A Time : 0.0 sec. user=mdettweiler [2016-05-02 03:15:43] 745*2^1428001-1 is not prime. Res64: BF1F2A74D2C33B06 Time : 0.0 sec. user=mdettweiler [2016-05-02 03:15:44] 819*2^1428001-1 is not prime. Res64: 345AE70DAD3F32BE Time : 0.0 sec. user=mdettweiler [2016-05-02 03:17:39] 981*2^1428001-1 is not prime. Res64: 10BCCD03957B2A1D Time : 0.0 sec. user=mdettweiler [2016-05-02 03:17:39] 837*2^1428002-1 is not prime. Res64: 491D376C2ECE1EA6 Time : 0.0 sec. user=mdettweiler [2016-05-02 03:17:40] 873*2^1428002-1 is not prime. Res64: 9CDE2AA29A3440A3 Time : 0.0 sec. user=mdettweiler [2016-05-02 03:17:40] 885*2^1428002-1 is not prime. Res64: 74B77975BF1285A4 Time : 0.0 sec. user=mdettweiler [2016-05-02 03:17:40] 1001*2^1428002-1 is not prime. Res64: 357212BDE820FACB Time : 0.0 sec. user=mdettweiler [2016-05-02 03:32:50] 643*2^1428003-1 is not prime. Res64: 22635E2F934AD1BA Time : 0.0 sec. user=mdettweiler [2016-05-02 03:32:52] 703*2^1428003-1 is not prime. Res64: 6694BF5CFDA15F1C Time : 0.0 sec. user=mdettweiler [2016-05-02 03:32:54] 709*2^1428003-1 is not prime. Res64: E5D5FF664CB00C58 Time : 0.0 sec. user=mdettweiler [2016-05-02 03:32:57] 829*2^1428003-1 is not prime. Res64: 12FAC98E73FA44EE Time : 0.0 sec. user=mdettweiler [2016-05-02 03:32:59] 743*2^1428004-1 is not prime. Res64: D1C68CEFCD209D09 Time : 0.0 sec. user=mdettweiler [2016-05-02 22:12:13] 785*2^1428004-1 is not prime. Res64: 983E55065BCE0DA2 Time : 0.0 sec. user=mdettweiler [2016-05-02 22:12:13] 857*2^1428004-1 is not prime. Res64: 9063B7CE96C20340 Time : 0.0 sec. user=mdettweiler [2016-05-02 22:12:14] 657*2^1428005-1 is not prime. Res64: C8839EAFAE2D67DE Time : 0.0 sec. user=mdettweiler [2016-05-02 22:12:14] 691*2^1428005-1 is not prime. Res64: EC7BC29FA0B4A72D Time : 0.0 sec. user=mdettweiler [2016-05-02 22:12:15] 781*2^1428005-1 is not prime. Res64: 58F5798FEEAC2FB0 Time : 0.0 sec. user=mdettweiler [2016-05-02 22:12:25] 647*2^1428006-1 is not prime. Res64: 4487A99DB19730E7 Time : 0.0 sec. user=mdettweiler [2016-05-02 22:12:26] 821*2^1428006-1 is not prime. Res64: 714051402CD505D8 Time : 0.0 sec. user=mdettweiler [2016-05-02 22:12:26] 887*2^1428006-1 is not prime. Res64: 6B8F3D7141BAF2BB Time : 0.0 sec. user=mdettweiler [2016-05-02 22:12:27] 983*2^1428006-1 is not prime. Res64: 0E502421B5E50894 Time : 0.0 sec. user=mdettweiler [2016-05-02 22:12:27] 619*2^1428007-1 is not prime. Res64: E58040ED5286A5A7 Time : 0.0 sec. user=mdettweiler [2016-05-02 22:21:10] 837*2^1428005-1 is not prime. Res64: 93D86C8E984598F6 Time : 0.0 sec. user=mdettweiler [2016-05-02 22:21:10] 861*2^1428005-1 is not prime. Res64: 1EABA780A32A2CB8 Time : 0.0 sec. user=mdettweiler [2016-05-02 22:21:11] 885*2^1428005-1 is not prime. Res64: E0C839896DC9E324 Time : 0.0 sec. user=mdettweiler [2016-05-02 22:21:11] 987*2^1428005-1 is not prime. Res64: 3B6CFF8B7A7B19EE Time : 0.0 sec. user=mdettweiler [2016-05-02 22:21:11] 627*2^1428006-1 is not prime. Res64: D217391A06CD8BA7 Time : 0.0 sec. user=mdettweiler [2016-05-02 23:00:23] 973*2^1428007-1 is not prime. Res64: F65BBA489E29875D Time : 0.0 sec. user=mdettweiler [2016-05-02 23:00:24] 615*2^1428008-1 is not prime. Res64: 9BF7738E1FAB2D1A Time : 0.0 sec. user=mdettweiler [2016-05-02 23:00:25] 747*2^1428008-1 is not prime. Res64: 475D97478CED150D Time : 0.0 sec. user=mdettweiler [2016-05-02 23:00:26] 767*2^1428008-1 is not prime. Res64: D9C4B8A064CE23EA Time : 0.0 sec. user=mdettweiler [2016-05-02 23:00:27] 813*2^1428008-1 is not prime. Res64: BAA1BF83560F39BD Time : 0.0 sec. user=mdettweiler [2016-05-02 23:00:42] 839*2^1428008-1 is not prime. Res64: 7F71A0B6A775EBC6 Time : 0.0 sec. user=mdettweiler [2016-05-02 23:00:43] 915*2^1428008-1 is not prime. Res64: A7E5FF269736F274 Time : 0.0 sec. user=mdettweiler [2016-05-02 23:00:44] 977*2^1428008-1 is not prime. Res64: A72443878B9DFC65 Time : 0.0 sec. user=mdettweiler [2016-05-02 23:00:45] 657*2^1428009-1 is not prime. Res64: 50B8DFFC4B5A6AFF Time : 0.0 sec. user=mdettweiler [2016-05-02 23:00:46] 709*2^1428009-1 is not prime. Res64: 899FA47878CAE18C Time : 0.0 sec. user=mdettweiler [2016-05-02 23:08:31] 727*2^1428009-1 is not prime. Res64: 123D32C91C89E8B0 Time : 0.0 sec. user=mdettweiler [2016-05-02 23:08:33] 747*2^1428009-1 is not prime. Res64: 75E40C272ED20D8E Time : 0.0 sec. user=mdettweiler [2016-05-02 23:08:34] 817*2^1428009-1 is not prime. Res64: CE91C43F245A2CED Time : 0.0 sec. user=mdettweiler [2016-05-02 23:08:35] 835*2^1428009-1 is not prime. Res64: F4A097254A44BA05 Time : 0.0 sec. user=mdettweiler [2016-05-02 23:08:36] 605*2^1428010-1 is not prime. Res64: 05D85F65AB65B45B Time : 0.0 sec. user=mdettweiler [2016-05-02 23:47:27] 647*2^1428010-1 is not prime. Res64: 235F2496CFC2B011 Time : 0.0 sec. user=mdettweiler [2016-05-02 23:47:28] 801*2^1428010-1 is not prime. Res64: DFD849EBD9BA62F7 Time : 0.0 sec. user=mdettweiler [2016-05-02 23:47:29] 803*2^1428010-1 is not prime. Res64: 2D57026A10D964F5 Time : 0.0 sec. user=mdettweiler [2016-05-02 23:47:29] 843*2^1428010-1 is not prime. Res64: 5F28861011317880 Time : 0.0 sec. user=mdettweiler [2016-05-02 23:47:30] 845*2^1428010-1 is not prime. Res64: F41C5C59F48B54A8 Time : 0.0 sec. user=mdettweiler [2016-05-02 23:48:25] 887*2^1428010-1 is not prime. Res64: 98B618DA2A35BA0A Time : 0.0 sec. user=mdettweiler [2016-05-02 23:48:25] 891*2^1428010-1 is not prime. Res64: 1E1AA1A33C6A5D8F Time : 0.0 sec. user=mdettweiler [2016-05-02 23:48:26] 917*2^1428010-1 is not prime. Res64: 5F8B78F128274458 Time : 0.0 sec. user=mdettweiler [2016-05-02 23:48:27] 923*2^1428010-1 is not prime. Res64: 6D4928AAAFF2B72C Time : 0.0 sec. user=mdettweiler [2016-05-02 23:48:28] 987*2^1428010-1 is not prime. Res64: 94711DCAF8764A11 Time : 0.0 sec. user=mdettweiler [2016-05-02 23:56:17] 603*2^1428011-1 is not prime. Res64: 042E01C4AC41D20D Time : 0.0 sec. user=mdettweiler [2016-05-02 23:56:18] 619*2^1428011-1 is not prime. Res64: 01491F9A95426902 Time : 0.0 sec. user=mdettweiler [2016-05-02 23:56:18] 679*2^1428011-1 is not prime. Res64: 20CB8A0A7DE0DE03 Time : 0.0 sec. user=mdettweiler [2016-05-02 23:56:19] 715*2^1428011-1 is not prime. Res64: A772A7BDE1BEB996 Time : 0.0 sec. user=mdettweiler [2016-05-02 23:56:19] 789*2^1428011-1 is not prime. Res64: 14B7E11E03FF2D0A Time : 0.0 sec.