user=mdettweiler [2015-05-23 00:04:34] 831*2^1399345-1 is not prime. Res64: 59C22E64A94EAED9 Time : 0.0 sec. user=mdettweiler [2015-05-23 00:04:35] 915*2^1399345-1 is not prime. Res64: 6EAB66F798C4A656 Time : 0.0 sec. user=mdettweiler [2015-05-23 00:14:45] 951*2^1399345-1 is not prime. Res64: 4716CCB44650CFF7 Time : 0.0 sec. user=mdettweiler [2015-05-23 00:14:45] 641*2^1399346-1 is not prime. Res64: 3B70C784467FF1AD Time : 0.0 sec. user=mdettweiler [2015-05-23 00:15:27] 801*2^1399346-1 is not prime. Res64: 8F20F59A941BDD3B Time : 0.0 sec. user=mdettweiler [2015-05-23 00:15:28] 887*2^1399346-1 is not prime. Res64: 215108BA41754EFB Time : 0.0 sec. user=mdettweiler [2015-05-23 00:16:08] 917*2^1399346-1 is not prime. Res64: C47E676427583E32 Time : 0.0 sec. user=mdettweiler [2015-05-23 00:16:09] 945*2^1399346-1 is not prime. Res64: 595A1BB905D99BDB Time : 0.0 sec. user=mdettweiler [2015-05-23 00:22:23] 963*2^1399346-1 is not prime. Res64: B2711971EF3511DC Time : 0.0 sec. user=mdettweiler [2015-05-23 00:22:23] 643*2^1399347-1 is not prime. Res64: BDE08B78A0218970 Time : 0.0 sec. user=mdettweiler [2015-05-23 00:32:28] 769*2^1399347-1 is not prime. Res64: EA3361041CD39AD2 Time : 0.0 sec. user=mdettweiler [2015-05-23 00:32:29] 793*2^1399347-1 is not prime. Res64: 158D165946CB5C75 Time : 0.0 sec. user=mdettweiler [2015-05-23 00:33:03] 805*2^1399347-1 is not prime. Res64: 6ACB6FBA5EFF6EBA Time : 0.0 sec. user=mdettweiler [2015-05-23 00:33:04] 871*2^1399347-1 is not prime. Res64: CC300B2AA75F5758 Time : 0.0 sec. user=mdettweiler [2015-05-23 00:33:48] 903*2^1399347-1 is not prime. Res64: 33C149325BEF4BD7 Time : 0.0 sec. user=mdettweiler [2015-05-23 00:33:48] 913*2^1399347-1 is not prime. Res64: 056CB7E8236478C3 Time : 0.0 sec. user=mdettweiler [2015-05-23 00:40:00] 945*2^1399347-1 is not prime. Res64: E4A47C7F00599CD7 Time : 0.0 sec. user=mdettweiler [2015-05-23 00:40:01] 999*2^1399347-1 is not prime. Res64: 13B7880D15124CB2 Time : 0.0 sec. user=mdettweiler [2015-05-23 00:50:09] 623*2^1399348-1 is not prime. Res64: EC0AD70FE9FEC9AD Time : 0.0 sec. user=mdettweiler [2015-05-23 00:50:09] 629*2^1399348-1 is not prime. Res64: D11887FD6DF3E861 Time : 0.0 sec. user=mdettweiler [2015-05-23 00:50:39] 647*2^1399348-1 is not prime. Res64: 647B06065045A94B Time : 0.0 sec. user=mdettweiler [2015-05-23 00:50:39] 797*2^1399348-1 is not prime. Res64: 847A5C4A2019D40E Time : 0.0 sec. user=mdettweiler [2015-05-23 00:51:33] 825*2^1399348-1 is not prime. Res64: 18F433650EFB578C Time : 0.0 sec. user=mdettweiler [2015-05-23 00:51:33] 843*2^1399348-1 is not prime. Res64: 7CF3EEC6825A947B Time : 0.0 sec. user=mdettweiler [2015-05-23 00:57:41] 855*2^1399348-1 is not prime. Res64: AB0022E06BFCD979 Time : 0.0 sec. user=mdettweiler [2015-05-23 00:57:41] 929*2^1399348-1 is not prime. Res64: 3271CC3A00616258 Time : 0.0 sec. user=mdettweiler [2015-05-23 01:07:50] 999*2^1399348-1 is not prime. Res64: 00B70775585CDEAD Time : 0.0 sec. user=mdettweiler [2015-05-23 01:07:50] 615*2^1399349-1 is not prime. Res64: DDB59480C50D49F6 Time : 0.0 sec. user=mdettweiler [2015-05-23 01:08:11] 691*2^1399349-1 is not prime. Res64: 993735117DD21F03 Time : 0.0 sec. user=mdettweiler [2015-05-23 01:08:12] 697*2^1399349-1 is not prime. Res64: DFDF07D04E45C358 Time : 0.0 sec. user=mdettweiler [2015-05-23 01:09:07] 811*2^1399349-1 is not prime. Res64: F9D5A423F4E7B06C Time : 0.0 sec. user=mdettweiler [2015-05-23 01:09:08] 819*2^1399349-1 is not prime. Res64: 505B87CEDF16B7FC Time : 0.0 sec. user=mdettweiler [2015-05-23 01:15:15] 865*2^1399349-1 is not prime. Res64: D407E43D2DE938BB Time : 0.0 sec. user=mdettweiler [2015-05-23 01:15:16] 611*2^1399350-1 is not prime. Res64: 29B1BD396E74224B Time : 0.0 sec. user=mdettweiler [2015-05-23 01:25:29] 681*2^1399350-1 is not prime. Res64: CCDD655EF976748E Time : 0.0 sec. user=mdettweiler [2015-05-23 01:25:30] 747*2^1399350-1 is not prime. Res64: 9CD5A92E83D986D5 Time : 0.0 sec. user=mdettweiler [2015-05-23 01:25:49] 833*2^1399350-1 is not prime. Res64: 66D1C0DD1D362E74 Time : 0.0 sec. user=mdettweiler [2015-05-23 01:25:50] 861*2^1399350-1 is not prime. Res64: CDB788FA2B277868 Time : 0.0 sec. user=mdettweiler [2015-05-23 01:26:41] 863*2^1399350-1 is not prime. Res64: 79352B1A70DF1EAE Time : 0.0 sec. user=mdettweiler [2015-05-23 01:26:42] 917*2^1399350-1 is not prime. Res64: 56F766F1687D74FC Time : 0.0 sec. user=mdettweiler [2015-05-23 01:32:47] 951*2^1399350-1 is not prime. Res64: 177E23ABE264754D Time : 0.0 sec. user=mdettweiler [2015-05-23 01:32:48] 977*2^1399350-1 is not prime. Res64: 5435935DD544A577 Time : 0.0 sec. user=mdettweiler [2015-05-23 01:43:09] 715*2^1399351-1 is not prime. Res64: 9D264EA5038B4326 Time : 0.0 sec. user=mdettweiler [2015-05-23 01:43:10] 841*2^1399351-1 is not prime. Res64: 4694C9616C5ACBFD Time : 0.0 sec. user=mdettweiler [2015-05-23 01:43:41] 999*2^1399351-1 is not prime. Res64: F5263F9D4BAC3BF9 Time : 0.0 sec. user=mdettweiler [2015-05-23 01:43:41] 617*2^1399352-1 is not prime. Res64: C5F3CADAD9F0248D Time : 0.0 sec. user=mdettweiler [2015-05-23 01:44:24] 635*2^1399352-1 is not prime. Res64: E2E3C17BAA54F991 Time : 0.0 sec. user=mdettweiler [2015-05-23 01:44:24] 657*2^1399352-1 is not prime. Res64: 93747247A9002F56 Time : 0.0 sec. user=mdettweiler [2015-05-23 01:50:33] 689*2^1399352-1 is not prime. Res64: 3F423A936F7B53A4 Time : 0.0 sec. user=mdettweiler [2015-05-23 01:50:34] 743*2^1399352-1 is not prime. Res64: 9F703701973A8AD5 Time : 0.0 sec. user=mdettweiler [2015-05-23 02:00:46] 627*2^1399353-1 is not prime. Res64: C79662B6BCA00B49 Time : 0.0 sec. user=mdettweiler [2015-05-23 02:00:47] 657*2^1399353-1 is not prime. Res64: 806D89014F928CE8 Time : 0.0 sec. user=mdettweiler [2015-05-23 02:01:16] 705*2^1399353-1 is not prime. Res64: 3E3EB04CA4CF7FFF Time : 0.0 sec. user=mdettweiler [2015-05-23 02:01:17] 735*2^1399353-1 is not prime. Res64: EB2C01945E5A70F6 Time : 0.0 sec. user=mdettweiler [2015-05-23 02:02:04] 837*2^1399353-1 is not prime. Res64: 477E8620433D44B5 Time : 0.0 sec. user=mdettweiler [2015-05-23 02:02:04] 951*2^1399353-1 is not prime. Res64: 011AE4EDB71BC2F6 Time : 0.0 sec. user=mdettweiler [2015-05-23 02:08:15] 987*2^1399353-1 is not prime. Res64: F3B6785D596BBA67 Time : 0.0 sec. user=mdettweiler [2015-05-23 02:08:16] 999*2^1399353-1 is not prime. Res64: 0AB8DBC6243A4E83 Time : 0.0 sec. user=mdettweiler [2015-05-23 02:18:31] 623*2^1399354-1 is not prime. Res64: 3C209BD858357B5C Time : 0.0 sec. user=mdettweiler [2015-05-23 02:18:31] 635*2^1399354-1 is not prime. Res64: 106EC60B1874FB73 Time : 0.0 sec. user=mdettweiler [2015-05-23 02:18:57] 677*2^1399354-1 is not prime. Res64: 81B8908E32BEEDE4 Time : 0.0 sec. user=mdettweiler [2015-05-23 02:18:57] 741*2^1399354-1 is not prime. Res64: 3D325FBBA7248BB5 Time : 0.0 sec. user=mdettweiler [2015-05-23 02:19:41] 825*2^1399354-1 is not prime. Res64: 7DD8C415481D9EBC Time : 0.0 sec. user=mdettweiler [2015-05-23 02:19:42] 881*2^1399354-1 is not prime. Res64: 5788CD513DAA02DF Time : 0.0 sec. user=mdettweiler [2015-05-23 02:26:02] 917*2^1399354-1 is not prime. Res64: 045CC563A0253EC2 Time : 0.0 sec. user=mdettweiler [2015-05-23 02:26:02] 951*2^1399354-1 is not prime. Res64: 6D9265A8D47B5FA0 Time : 0.0 sec. user=mdettweiler [2015-05-23 02:36:06] 971*2^1399354-1 is not prime. Res64: A7E3BF926411B1ED Time : 0.0 sec. user=mdettweiler [2015-05-23 02:36:06] 987*2^1399354-1 is not prime. Res64: EC6C4AEBA760B5E0 Time : 0.0 sec. user=mdettweiler [2015-05-23 02:36:32] 649*2^1399355-1 is not prime. Res64: 8E136CA088E6F626 Time : 0.0 sec. user=mdettweiler [2015-05-23 02:36:32] 655*2^1399355-1 is not prime. Res64: EB3C25FE31EB7E37 Time : 0.0 sec. user=mdettweiler [2015-05-23 02:37:17] 735*2^1399355-1 is not prime. Res64: 962034455A06B4FB Time : 0.0 sec. user=mdettweiler [2015-05-23 02:37:17] 775*2^1399355-1 is not prime. Res64: 8DBBB3AEF1F4B265 Time : 0.0 sec. user=mdettweiler [2015-05-23 02:43:38] 871*2^1399355-1 is not prime. Res64: 910CF600F4F701F7 Time : 0.0 sec. user=mdettweiler [2015-05-23 02:43:38] 903*2^1399355-1 is not prime. Res64: 061938EE6752E039 Time : 0.0 sec. user=mdettweiler [2015-05-23 02:53:49] 683*2^1399356-1 is not prime. Res64: 5E8EDDBA08345C79 Time : 0.0 sec. user=mdettweiler [2015-05-23 02:53:50] 705*2^1399356-1 is not prime. Res64: 74E9C3453261DE6B Time : 0.0 sec. user=mdettweiler [2015-05-23 02:54:14] 707*2^1399356-1 is not prime. Res64: C34EFA3553774A2D Time : 0.0 sec. user=mdettweiler [2015-05-23 02:54:14] 737*2^1399356-1 is not prime. Res64: 293F5BC3E3F650AC Time : 0.0 sec. user=mdettweiler [2015-05-23 02:55:00] 945*2^1399356-1 is not prime. Res64: 72A1CFDAF061481E Time : 0.0 sec. user=mdettweiler [2015-05-23 02:55:00] 975*2^1399356-1 is not prime. Res64: 042DDC99407A470C Time : 0.0 sec. user=mdettweiler [2015-05-23 03:01:15] 619*2^1399357-1 is not prime. Res64: 6EB16C28732FAB8D Time : 0.0 sec. user=mdettweiler [2015-05-23 03:01:16] 625*2^1399357-1 is not prime. Res64: 2B4177CD7E4AD0F1 Time : 0.0 sec. user=mdettweiler [2015-05-23 03:11:32] 757*2^1399357-1 is not prime. Res64: 1548CCF15BF1F760 Time : 0.0 sec. user=mdettweiler [2015-05-23 03:11:32] 825*2^1399357-1 is not prime. Res64: 566A3E254C2AFC73 Time : 0.0 sec. user=mdettweiler [2015-05-23 03:11:54] 829*2^1399357-1 is not prime. Res64: D67AC25756F84722 Time : 0.0 sec. user=mdettweiler [2015-05-23 03:11:54] 901*2^1399357-1 is not prime. Res64: 73F999C148D9CC03 Time : 0.0 sec. user=mdettweiler [2015-05-23 03:12:36] 945*2^1399357-1 is not prime. Res64: E097960590A59AA4 Time : 0.0 sec. user=mdettweiler [2015-05-23 03:12:37] 985*2^1399357-1 is not prime. Res64: 05DACC89AD139A87 Time : 0.0 sec. user=mdettweiler [2015-05-23 03:19:10] 997*2^1399357-1 is not prime. Res64: 84D284145C586EDC Time : 0.0 sec. user=mdettweiler [2015-05-23 03:19:11] 687*2^1399358-1 is not prime. Res64: 14B34D8D0A3C733F Time : 0.0 sec. user=mdettweiler [2015-05-23 03:29:12] 711*2^1399358-1 is not prime. Res64: 1AE18D0E2711E2BD Time : 0.0 sec. user=mdettweiler [2015-05-23 03:29:13] 771*2^1399358-1 is not prime. Res64: AA3A636E942FD88F Time : 0.0 sec. user=mdettweiler [2015-05-23 03:29:33] 813*2^1399358-1 is not prime. Res64: 833E3A4B99EAB10C Time : 0.0 sec. user=mdettweiler [2015-05-23 03:29:34] 825*2^1399358-1 is not prime. Res64: 6FFEFDFB11B8C85E Time : 0.0 sec. user=mdettweiler [2015-05-23 03:30:16] 951*2^1399358-1 is not prime. Res64: 57DC5041635AD94D Time : 0.0 sec. user=mdettweiler [2015-05-23 03:30:20] 971*2^1399358-1 is not prime. Res64: 7229FEDED9E54958 Time : 0.0 sec. user=mdettweiler [2015-05-23 03:36:50] 735*2^1399359-1 is not prime. Res64: 0CEA876B0C5980B0 Time : 0.0 sec. user=mdettweiler [2015-05-23 03:36:52] 763*2^1399359-1 is not prime. Res64: BD1BFA3F7F818472 Time : 0.0 sec. user=mdettweiler [2015-05-23 03:47:00] 909*2^1399359-1 is not prime. Res64: 011091B6EDC13817 Time : 0.0 sec. user=mdettweiler [2015-05-23 03:47:01] 645*2^1399360-1 is not prime. Res64: CFF7ABCD36957A21 Time : 0.0 sec. user=mdettweiler [2015-05-23 03:47:20] 707*2^1399360-1 is not prime. Res64: 1AB217445505A571 Time : 0.0 sec. user=mdettweiler [2015-05-23 03:47:21] 855*2^1399360-1 is not prime. Res64: CC402DEB48275FFB Time : 0.0 sec. user=mdettweiler [2015-05-23 03:48:02] 927*2^1399360-1 is not prime. Res64: 3653BFC99370B3C9 Time : 0.0 sec. user=mdettweiler [2015-05-23 03:48:03] 965*2^1399360-1 is not prime. Res64: 55F37D71033978DE Time : 0.0 sec. user=mdettweiler [2015-05-23 03:54:50] 675*2^1399361-1 is not prime. Res64: 9853DA1FF739FC28 Time : 0.0 sec. user=mdettweiler [2015-05-23 03:54:51] 697*2^1399361-1 is not prime. Res64: 760B603EDB969C58 Time : 0.0 sec. user=mdettweiler [2015-05-23 04:04:44] 789*2^1399361-1 is not prime. Res64: 7DDBF52B8A5EE2F9 Time : 0.0 sec. user=mdettweiler [2015-05-23 04:04:45] 861*2^1399361-1 is not prime. Res64: 14E231A9DEDF1220 Time : 0.0 sec. user=mdettweiler [2015-05-23 04:05:01] 635*2^1399362-1 is not prime. Res64: FCD2D951AC0746D4 Time : 0.0 sec. user=mdettweiler [2015-05-23 04:05:02] 671*2^1399362-1 is not prime. Res64: 45DB5DBE974BF7CB Time : 0.0 sec. user=mdettweiler [2015-05-23 04:05:51] 705*2^1399362-1 is not prime. Res64: 08AE4DBF4500410C Time : 0.0 sec. user=mdettweiler [2015-05-23 04:05:53] 837*2^1399362-1 is not prime. Res64: 68C093A7DFA161CB Time : 0.0 sec. user=mdettweiler [2015-05-23 04:12:31] 903*2^1399362-1 is not prime. Res64: E6531EE21F1DFE5E Time : 0.0 sec. user=mdettweiler [2015-05-23 04:12:31] 915*2^1399362-1 is not prime. Res64: DF0EF9A628080D97 Time : 0.0 sec. user=mdettweiler [2015-05-23 04:22:34] 1001*2^1399362-1 is not prime. Res64: 9FC22CD6795D414B Time : 0.0 sec. user=mdettweiler [2015-05-23 04:22:34] 603*2^1399363-1 is not prime. Res64: 0273CD89309D75F1 Time : 0.0 sec. user=mdettweiler [2015-05-23 04:22:40] 633*2^1399363-1 is not prime. Res64: E00483B2C90E80A3 Time : 0.0 sec. user=mdettweiler [2015-05-23 04:22:41] 691*2^1399363-1 is not prime. Res64: C9CDD5D0A60FBB84 Time : 0.0 sec. user=mdettweiler [2015-05-23 04:23:34] 705*2^1399363-1 is not prime. Res64: 6231C6491A9B2027 Time : 0.0 sec. user=mdettweiler [2015-05-23 04:23:34] 741*2^1399363-1 is not prime. Res64: 95CCC720DF0B7E8A Time : 0.0 sec. user=mdettweiler [2015-05-23 04:30:08] 811*2^1399363-1 is not prime. Res64: 006AEB9BBE4B81AF Time : 0.0 sec. user=mdettweiler [2015-05-23 04:30:09] 849*2^1399363-1 is not prime. Res64: CC4A56BA74B28AEF Time : 0.0 sec. user=mdettweiler [2015-05-23 04:40:05] 939*2^1399363-1 is not prime. Res64: 71D2E1171129170D Time : 0.0 sec. user=mdettweiler [2015-05-23 04:40:05] 743*2^1399364-1 is not prime. Res64: FEF15B23ADD4F4EB Time : 0.0 sec. user=mdettweiler [2015-05-23 04:40:15] 767*2^1399364-1 is not prime. Res64: B08472A8587152C9 Time : 0.0 sec. user=mdettweiler [2015-05-23 04:40:15] 959*2^1399364-1 is not prime. Res64: 08FF1B032B413BCF Time : 0.0 sec. user=mdettweiler [2015-05-23 04:41:10] 969*2^1399364-1 is not prime. Res64: CEE3393B44BB1935 Time : 0.0 sec. user=mdettweiler [2015-05-23 04:41:10] 655*2^1399365-1 is not prime. Res64: C07064A86D959946 Time : 0.0 sec. user=mdettweiler [2015-05-23 04:48:56] 765*2^1399365-1 is not prime. Res64: DD7C9B287E4434DF Time : 0.0 sec. user=mdettweiler [2015-05-23 04:48:57] 795*2^1399365-1 is not prime. Res64: 2535AE6DD04D7E31 Time : 0.0 sec. user=mdettweiler [2015-05-23 04:58:13] 611*2^1399366-1 is not prime. Res64: 38421E9C84B5F990 Time : 0.0 sec. user=mdettweiler [2015-05-23 04:58:14] 645*2^1399366-1 is not prime. Res64: 0D98BB23AF93A8E0 Time : 0.0 sec. user=mdettweiler [2015-05-23 04:59:15] 813*2^1399366-1 is not prime. Res64: 891F3ABB459A4BC0 Time : 0.0 sec. user=mdettweiler [2015-05-23 04:59:16] 645*2^1399367-1 is not prime. Res64: 60CACA730ADAEB0D Time : 0.0 sec. user=mdettweiler [2015-05-23 04:59:20] 759*2^1399367-1 is not prime. Res64: 0746393902233BD5 Time : 0.0 sec. user=mdettweiler [2015-05-23 04:59:21] 763*2^1399367-1 is not prime. Res64: 332802F92032334F Time : 0.0 sec. user=mdettweiler [2015-05-23 05:06:33] 819*2^1399367-1 is not prime. Res64: 66AC7AF3AE060003 Time : 0.0 sec. user=mdettweiler [2015-05-23 05:06:34] 841*2^1399367-1 is not prime. Res64: 01F750D9FAD77F50 Time : 0.0 sec. user=mdettweiler [2015-05-23 05:15:48] 939*2^1399367-1 is not prime. Res64: D65CB6CB082E44E4 Time : 0.0 sec. user=mdettweiler [2015-05-23 05:15:49] 633*2^1399368-1 is not prime. Res64: 6CA55C67AF0FE461 Time : 0.0 sec. user=mdettweiler [2015-05-23 05:16:52] 657*2^1399368-1 is not prime. Res64: 92C50B401B044009 Time : 0.0 sec. user=mdettweiler [2015-05-23 05:16:52] 765*2^1399368-1 is not prime. Res64: 7E20A0036F69B7BF Time : 0.0 sec. user=mdettweiler [2015-05-23 05:16:56] 819*2^1399368-1 is not prime. Res64: 5741427AA03935DA Time : 0.0 sec. user=mdettweiler [2015-05-23 05:16:56] 775*2^1399369-1 is not prime. Res64: 4A955B80248F4858 Time : 0.0 sec. user=mdettweiler [2015-05-23 05:24:17] 807*2^1399369-1 is not prime. Res64: 746FB7DB2091F7BC Time : 0.0 sec. user=mdettweiler [2015-05-23 05:24:18] 855*2^1399369-1 is not prime. Res64: 520A58DC2010DA52 Time : 0.0 sec. user=mdettweiler [2015-05-23 05:33:29] 635*2^1399370-1 is not prime. Res64: E6D1993CF8CD35AC Time : 0.0 sec. user=mdettweiler [2015-05-23 05:33:30] 641*2^1399370-1 is not prime. Res64: D1437545B9864BD1 Time : 0.0 sec. user=mdettweiler [2015-05-23 05:34:31] 785*2^1399370-1 is not prime. Res64: 21A97FF33F997568 Time : 0.0 sec. user=mdettweiler [2015-05-23 05:34:31] 921*2^1399370-1 is not prime. Res64: 6A89EBDE951F3E85 Time : 0.0 sec. user=mdettweiler [2015-05-23 05:34:31] 665*2^1399370-1 is not prime. Res64: CED970791DF54EE6 Time : 0.0 sec. user=mdettweiler [2015-05-23 05:34:32] 735*2^1399370-1 is not prime. Res64: 63496DD5C01FC636 Time : 0.0 sec. user=mdettweiler [2015-05-23 05:41:55] 941*2^1399370-1 is not prime. Res64: 6A70C451FF369953 Time : 0.0 sec. user=mdettweiler [2015-05-23 05:41:55] 615*2^1399371-1 is not prime. Res64: 6094C685A9C28359 Time : 0.0 sec. user=mdettweiler [2015-05-23 05:51:05] 649*2^1399371-1 is not prime. Res64: 48C4D200DC09F559 Time : 0.0 sec. user=mdettweiler [2015-05-23 05:51:05] 783*2^1399371-1 is not prime. Res64: FC4201E31F7CD2BC Time : 0.0 sec. user=mdettweiler [2015-05-23 05:52:18] 951*2^1399371-1 is not prime. Res64: 9A8C5578DDB19A1C Time : 0.0 sec. user=mdettweiler [2015-05-23 05:52:18] 723*2^1399372-1 is not prime. Res64: 894CEA389863FC4D Time : 0.0 sec. user=mdettweiler [2015-05-23 05:52:20] 765*2^1399372-1 is not prime. Res64: CA7C59646CAA8561 Time : 0.0 sec. user=mdettweiler [2015-05-23 05:52:20] 803*2^1399372-1 is not prime. Res64: A362BF12010609A2 Time : 0.0 sec. user=mdettweiler [2015-05-23 05:59:41] 857*2^1399372-1 is not prime. Res64: 974800D75A8195B8 Time : 0.0 sec. user=mdettweiler [2015-05-23 05:59:41] 903*2^1399372-1 is not prime. Res64: AA646CB759FED23A Time : 0.0 sec. user=mdettweiler [2015-05-23 06:08:50] 999*2^1399372-1 is not prime. Res64: ADCD74132860781E Time : 0.0 sec. user=mdettweiler [2015-05-23 06:08:51] 615*2^1399373-1 is not prime. Res64: 967CC28332E03407 Time : 0.0 sec. user=mdettweiler [2015-05-23 06:09:58] 619*2^1399373-1 is not prime. Res64: A3BA3E03B29B164A Time : 0.0 sec. user=mdettweiler [2015-05-23 06:09:59] 649*2^1399373-1 is not prime. Res64: 2D98E6602FD5B8E6 Time : 0.0 sec. user=mdettweiler [2015-05-23 06:10:03] 699*2^1399373-1 is not prime. Res64: DB9C1B0C357249A1 Time : 0.0 sec. user=mdettweiler [2015-05-23 06:10:04] 759*2^1399373-1 is not prime. Res64: 7EAF2C58D2D3C73B Time : 0.0 sec. user=mdettweiler [2015-05-23 06:17:24] 831*2^1399373-1 is not prime. Res64: 7AD5031B18E6131F Time : 0.0 sec. user=mdettweiler [2015-05-23 06:17:24] 889*2^1399373-1 is not prime. Res64: 1E39CBD0A44E4E18 Time : 0.0 sec. user=mdettweiler [2015-05-23 06:26:31] 897*2^1399373-1 is not prime. Res64: DFC78BCCE0359DBD Time : 0.0 sec. user=mdettweiler [2015-05-23 06:26:31] 657*2^1399374-1 is not prime. Res64: 9B2C31CCEE4F8DB0 Time : 0.0 sec. user=mdettweiler [2015-05-23 06:27:45] 663*2^1399374-1 is not prime. Res64: FDB186893F8F975C Time : 0.0 sec. user=mdettweiler [2015-05-23 06:27:45] 927*2^1399374-1 is not prime. Res64: 028065CF97B14BF0 Time : 0.0 sec. user=mdettweiler [2015-05-23 06:27:45] 773*2^1399374-1 is not prime. Res64: C86F814BD07A091A Time : 0.0 sec. user=mdettweiler [2015-05-23 06:27:46] 601*2^1399375-1 is not prime. Res64: E9121B6AC15D6F43 Time : 0.0 sec. user=mdettweiler [2015-05-23 06:35:14] 619*2^1399375-1 is not prime. Res64: E756BB6311BBB9D1 Time : 0.0 sec. user=mdettweiler [2015-05-23 06:35:14] 649*2^1399375-1 is not prime. Res64: 134C64B935DD733C Time : 0.0 sec. user=mdettweiler [2015-05-23 06:44:10] 723*2^1399375-1 is not prime. Res64: 25654A751A7CF84F Time : 0.0 sec. user=mdettweiler [2015-05-23 06:44:11] 735*2^1399375-1 is not prime. Res64: B96E355175EA94D0 Time : 0.0 sec. user=mdettweiler [2015-05-23 06:45:29] 759*2^1399375-1 is not prime. Res64: A5802AEC453C39CC Time : 0.0 sec. user=mdettweiler [2015-05-23 06:45:30] 829*2^1399375-1 is not prime. Res64: 891D1D37751B0A70 Time : 0.0 sec. user=mdettweiler [2015-05-23 06:45:37] 855*2^1399375-1 is not prime. Res64: BE980D9C92F67FF5 Time : 0.0 sec. user=mdettweiler [2015-05-23 06:45:38] 871*2^1399375-1 is not prime. Res64: C00537B06C3A6011 Time : 0.0 sec. user=mdettweiler [2015-05-23 06:52:55] 933*2^1399375-1 is not prime. Res64: A947554D1B8E029D Time : 0.0 sec. user=mdettweiler [2015-05-23 06:52:56] 951*2^1399375-1 is not prime. Res64: 0B0E05A157061079 Time : 0.0 sec. user=mdettweiler [2015-05-23 07:01:47] 615*2^1399376-1 is not prime. Res64: C981189BB2DB4D00 Time : 0.0 sec. user=mdettweiler [2015-05-23 07:01:48] 629*2^1399376-1 is not prime. Res64: E9AF2B71E0C9E6F9 Time : 0.0 sec. user=mdettweiler [2015-05-23 07:03:12] 755*2^1399376-1 is not prime. Res64: 5E1CAB49447EB36A Time : 0.0 sec. user=mdettweiler [2015-05-23 07:03:13] 827*2^1399376-1 is not prime. Res64: 9D44A7A88B5BC9A7 Time : 0.0 sec. user=mdettweiler [2015-05-23 07:03:16] 935*2^1399376-1 is not prime. Res64: 06607CC37067323A Time : 0.0 sec. user=mdettweiler [2015-05-23 07:03:17] 963*2^1399376-1 is not prime. Res64: 5707E74FBFA887B7 Time : 0.0 sec. user=mdettweiler [2015-05-23 07:10:43] 609*2^1399377-1 is not prime. Res64: C7E654F5996B20AF Time : 0.0 sec. user=mdettweiler [2015-05-23 07:10:43] 835*2^1399377-1 is not prime. Res64: 0DA5DECFA2C39E86 Time : 0.0 sec. user=mdettweiler [2015-05-23 07:19:41] 605*2^1399378-1 is not prime. Res64: AB6FC5FD8AB6952C Time : 0.0 sec. user=mdettweiler [2015-05-23 07:19:42] 687*2^1399378-1 is not prime. Res64: 341B495D72D8F78E Time : 0.0 sec. user=mdettweiler [2015-05-23 07:20:51] 743*2^1399378-1 is not prime. Res64: 5E1E966B8885C1F8 Time : 0.0 sec. user=mdettweiler [2015-05-23 07:20:51] 813*2^1399378-1 is not prime. Res64: 1B72E166513B2FC9 Time : 0.0 sec. user=mdettweiler [2015-05-23 07:20:57] 833*2^1399378-1 is not prime. Res64: CFEA15A244E66868 Time : 0.0 sec. user=mdettweiler [2015-05-23 07:20:57] 891*2^1399378-1 is not prime. Res64: B340BA982330865C Time : 0.0 sec. user=mdettweiler [2015-05-23 07:28:18] 669*2^1399379-1 is not prime. Res64: B5849ED9CEB13C5E Time : 0.0 sec. user=mdettweiler [2015-05-23 07:28:18] 775*2^1399379-1 is not prime. Res64: 55668B5283DA2F78 Time : 0.0 sec. user=juhehe [2015-05-23 07:36:24] 619*2^1399379-1 is not prime. Res64: B6C0651B79F08873 Time : 0.0 sec. user=mdettweiler [2015-05-23 07:37:16] 811*2^1399379-1 is not prime. Res64: 8D29075061B984FA Time : 0.0 sec. user=mdettweiler [2015-05-23 07:37:16] 985*2^1399379-1 is not prime. Res64: 343B7D3DD21D4191 Time : 0.0 sec. user=mdettweiler [2015-05-23 07:38:25] 689*2^1399380-1 is not prime. Res64: 129F8B638F8684F6 Time : 0.0 sec. user=mdettweiler [2015-05-23 07:38:25] 725*2^1399380-1 is not prime. Res64: 1265959E23F4D72D Time : 0.0 sec. user=mdettweiler [2015-05-23 07:38:37] 753*2^1399380-1 is not prime. Res64: 808FA807D29654E7 Time : 0.0 sec. user=mdettweiler [2015-05-23 07:38:39] 879*2^1399380-1 is not prime. Res64: D33CB250758094BF Time : 0.0 sec. user=mdettweiler [2015-05-23 07:45:51] 965*2^1399380-1 is not prime. Res64: C5EF68DAA158AEED Time : 0.0 sec. user=mdettweiler [2015-05-23 07:45:51] 715*2^1399381-1 is not prime. Res64: 177BF29266376C0C Time : 0.0 sec. user=mdettweiler [2015-05-23 07:54:52] 819*2^1399381-1 is not prime. Res64: 79F370E1409C7D5A Time : 0.0 sec. user=mdettweiler [2015-05-23 07:54:53] 861*2^1399381-1 is not prime. Res64: 6457184BAA7CF235 Time : 0.0 sec. user=mdettweiler [2015-05-23 07:56:04] 945*2^1399381-1 is not prime. Res64: BE874CF3334654AD Time : 0.0 sec. user=mdettweiler [2015-05-23 07:56:05] 683*2^1399382-1 is not prime. Res64: F926BF91E7554AF2 Time : 0.0 sec. user=mdettweiler [2015-05-23 07:56:21] 711*2^1399382-1 is not prime. Res64: 102E453310741448 Time : 0.0 sec. user=mdettweiler [2015-05-23 07:56:22] 741*2^1399382-1 is not prime. Res64: 20AB215CB4C9F4F5 Time : 0.0 sec. user=mdettweiler [2015-05-23 08:03:31] 761*2^1399382-1 is not prime. Res64: 65CC108CAC990E3E Time : 0.0 sec. user=mdettweiler [2015-05-23 08:03:32] 785*2^1399382-1 is not prime. Res64: 3B1ECB86117943F5 Time : 0.0 sec. user=mdettweiler [2015-05-23 08:12:34] 897*2^1399382-1 is not prime. Res64: 73531424B62E44DB Time : 0.0 sec. user=mdettweiler [2015-05-23 08:12:35] 923*2^1399382-1 is not prime. Res64: 7EF2B0BC71E78128 Time : 0.0 sec. user=mdettweiler [2015-05-23 08:13:41] 963*2^1399382-1 is not prime. Res64: 000B9B62B32FA691 Time : 0.0 sec. user=mdettweiler [2015-05-23 08:13:42] 679*2^1399383-1 is not prime. Res64: E5F93A5D5FD85A45 Time : 0.0 sec. user=mdettweiler [2015-05-23 08:14:04] 765*2^1399383-1 is not prime. Res64: 92A44FDF2D89C0C1 Time : 0.0 sec. user=mdettweiler [2015-05-23 08:14:04] 795*2^1399383-1 is not prime. Res64: E102A3A9ABE2541D Time : 0.0 sec. user=mdettweiler [2015-05-23 08:21:20] 805*2^1399383-1 is not prime. Res64: 51D8A3095C7D0E52 Time : 0.0 sec. user=mdettweiler [2015-05-23 08:21:22] 823*2^1399383-1 is not prime. Res64: 3A1DBDB8A534B34E Time : 0.0 sec. user=mdettweiler [2015-05-23 08:30:11] 871*2^1399383-1 is not prime. Res64: DB2B626738A7B44E Time : 0.0 sec. user=mdettweiler [2015-05-23 08:30:12] 645*2^1399384-1 is not prime. Res64: 84EBB5DEA9D31728 Time : 0.0 sec. user=mdettweiler [2015-05-23 08:31:21] 717*2^1399384-1 is not prime. Res64: AB3C9CA65C979576 Time : 0.0 sec. user=mdettweiler [2015-05-23 08:31:22] 857*2^1399384-1 is not prime. Res64: BA2AD151415F1BC6 Time : 0.0 sec. user=mdettweiler [2015-05-23 08:31:46] 869*2^1399384-1 is not prime. Res64: 80482E5022017D3C Time : 0.0 sec. user=mdettweiler [2015-05-23 08:31:47] 873*2^1399384-1 is not prime. Res64: 447ED788F223D166 Time : 0.0 sec. user=mdettweiler [2015-05-23 08:38:59] 927*2^1399384-1 is not prime. Res64: 88025A2B33DCBEC3 Time : 0.0 sec. user=mdettweiler [2015-05-23 08:38:59] 657*2^1399385-1 is not prime. Res64: 93DFA832D5295C79 Time : 0.0 sec. user=mdettweiler [2015-05-23 08:47:51] 759*2^1399385-1 is not prime. Res64: 73DDA2305A0E52F7 Time : 0.0 sec. user=mdettweiler [2015-05-23 08:47:52] 811*2^1399385-1 is not prime. Res64: 2772B723FC441CFB Time : 0.0 sec. user=mdettweiler [2015-05-23 08:49:06] 969*2^1399385-1 is not prime. Res64: 3083DECCC52196FA Time : 0.0 sec. user=mdettweiler [2015-05-23 08:49:07] 987*2^1399385-1 is not prime. Res64: E9A7D9DD753E6781 Time : 0.0 sec. user=mdettweiler [2015-05-23 08:49:29] 657*2^1399386-1 is not prime. Res64: 1EBBEEB6A1D343CB Time : 0.0 sec. user=mdettweiler [2015-05-23 08:49:30] 933*2^1399386-1 is not prime. Res64: 9A1E6848286A8073 Time : 0.0 sec. user=mdettweiler [2015-05-23 08:56:38] 983*2^1399386-1 is not prime. Res64: EEC22A6809841855 Time : 0.0 sec. user=mdettweiler [2015-05-23 08:56:39] 639*2^1399387-1 is not prime. Res64: 2A8BA5AB568621D1 Time : 0.0 sec. user=mdettweiler [2015-05-23 09:05:26] 647*2^1399388-1 is not prime. Res64: F8310A7448344084 Time : 0.0 sec. user=mdettweiler [2015-05-23 09:05:28] 669*2^1399388-1 is not prime. Res64: 2CCB7DB58DE0A54A Time : 0.0 sec. user=mdettweiler [2015-05-23 09:06:46] 677*2^1399388-1 is not prime. Res64: CB9CEA9E7CF138C2 Time : 0.0 sec. user=mdettweiler [2015-05-23 09:06:48] 845*2^1399388-1 is not prime. Res64: C0A17B0925E29568 Time : 0.0 sec. user=mdettweiler [2015-05-23 09:07:09] 893*2^1399388-1 is not prime. Res64: A302BAB5FDBE9EC4 Time : 0.0 sec. user=mdettweiler [2015-05-23 09:07:09] 615*2^1399389-1 is not prime. Res64: 9D457D5C8B8B57E7 Time : 0.0 sec. user=mdettweiler [2015-05-23 09:14:29] 669*2^1399389-1 is not prime. Res64: 9DFE8CC93EF8DCC2 Time : 0.0 sec. user=mdettweiler [2015-05-23 09:14:29] 675*2^1399389-1 is not prime. Res64: 916CBEE9AB301CBB Time : 0.0 sec. user=mdettweiler [2015-05-23 09:23:39] 955*2^1399389-1 is not prime. Res64: B45C026DC2685BDA Time : 0.0 sec. user=mdettweiler [2015-05-23 09:23:40] 611*2^1399390-1 is not prime. Res64: 08D7D2F9097A994F Time : 0.0 sec. user=mdettweiler [2015-05-23 09:24:38] 687*2^1399390-1 is not prime. Res64: 56E9F9339B82DF8B Time : 0.0 sec. user=mdettweiler [2015-05-23 09:24:39] 743*2^1399390-1 is not prime. Res64: 36DAA5EC67389639 Time : 0.0 sec. user=mdettweiler [2015-05-23 09:24:51] 825*2^1399390-1 is not prime. Res64: E9AF7195D65027A2 Time : 0.0 sec. user=mdettweiler [2015-05-23 09:24:51] 833*2^1399390-1 is not prime. Res64: 9C8D1164D3E86868 Time : 0.0 sec. user=mdettweiler [2015-05-23 09:32:19] 941*2^1399390-1 is not prime. Res64: FE92492A2DA8EDD6 Time : 0.0 sec. user=mdettweiler [2015-05-23 09:32:20] 965*2^1399390-1 is not prime. Res64: 29E009208C0B684B Time : 0.0 sec. user=mdettweiler [2015-05-23 09:41:27] 645*2^1399391-1 is not prime. Res64: 713684AF22EEC4DB Time : 0.0 sec. user=mdettweiler [2015-05-23 09:41:28] 651*2^1399391-1 is not prime. Res64: 2A2B93A775115C65 Time : 0.0 sec. user=mdettweiler [2015-05-23 09:42:32] 783*2^1399391-1 is not prime. Res64: 4278FED36FE8B27F Time : 0.0 sec. user=mdettweiler [2015-05-23 09:42:33] 713*2^1399392-1 is not prime. Res64: 965EA5A2563B610C Time : 0.0 sec. user=mdettweiler [2015-05-23 09:42:52] 957*2^1399392-1 is not prime. Res64: 2DF0B9849A173513 Time : 0.0 sec. user=mdettweiler [2015-05-23 09:42:53] 639*2^1399393-1 is not prime. Res64: 4EAFEE49EE847050 Time : 0.0 sec. user=mdettweiler [2015-05-23 09:50:25] 801*2^1399393-1 is not prime. Res64: CF96661D2BFCE1E1 Time : 0.0 sec. user=mdettweiler [2015-05-23 09:50:26] 817*2^1399393-1 is not prime. Res64: 01F85047600CE384 Time : 0.0 sec. user=mdettweiler [2015-05-23 09:59:58] 829*2^1399393-1 is not prime. Res64: A715E1A11CEAF475 Time : 0.0 sec. user=mdettweiler [2015-05-23 09:59:59] 885*2^1399393-1 is not prime. Res64: 364C29BB917C04AD Time : 0.0 sec. user=mdettweiler [2015-05-23 10:00:53] 967*2^1399393-1 is not prime. Res64: 552644E5E882C419 Time : 0.0 sec. user=mdettweiler [2015-05-23 10:00:54] 677*2^1399394-1 is not prime. Res64: 654BE7FDFB25FA03 Time : 0.0 sec. user=mdettweiler [2015-05-23 10:01:14] 741*2^1399394-1 is not prime. Res64: 5A51D23E3637F90E Time : 0.0 sec. user=mdettweiler [2015-05-23 10:01:16] 903*2^1399394-1 is not prime. Res64: 22D4B2A150CC4731 Time : 0.0 sec. user=mdettweiler [2015-05-23 10:08:41] 663*2^1399395-1 is not prime. Res64: 05ED884B1F9A38E1 Time : 0.0 sec. user=mdettweiler [2015-05-23 10:08:41] 705*2^1399395-1 is not prime. Res64: B2BB21DA6F08CA46 Time : 0.0 sec. user=mdettweiler [2015-05-23 10:18:17] 751*2^1399395-1 is not prime. Res64: BA0A5A1F552BA296 Time : 0.0 sec. user=mdettweiler [2015-05-23 10:18:17] 895*2^1399395-1 is not prime. Res64: 9F5D1BDCABF47845 Time : 0.0 sec. user=mdettweiler [2015-05-23 10:19:11] 909*2^1399395-1 is not prime. Res64: 93FD57BB34D4E091 Time : 0.0 sec. user=mdettweiler [2015-05-23 10:19:11] 979*2^1399395-1 is not prime. Res64: 2BBA89B320D290A1 Time : 0.0 sec. user=mdettweiler [2015-05-23 10:19:34] 991*2^1399395-1 is not prime. Res64: 23EC5F31A0F09003 Time : 0.0 sec. user=mdettweiler [2015-05-23 10:19:34] 675*2^1399396-1 is not prime. Res64: 2278EDBA0347B94A Time : 0.0 sec. user=mdettweiler [2015-05-23 10:27:13] 677*2^1399396-1 is not prime. Res64: 620114AC1BDCF16A Time : 0.0 sec. user=mdettweiler [2015-05-23 10:27:19] 777*2^1399396-1 is not prime. Res64: A14CA0CE3CBC96A5 Time : 0.0 sec. user=mdettweiler [2015-05-23 10:37:14] 783*2^1399396-1 is not prime. Res64: 2B74AFB29AD12B91 Time : 0.0 sec. user=mdettweiler [2015-05-23 10:37:15] 803*2^1399396-1 is not prime. Res64: 39BEEBC31D69B080 Time : 0.0 sec. user=mdettweiler [2015-05-23 10:38:05] 833*2^1399396-1 is not prime. Res64: 316B33FD549C34F6 Time : 0.0 sec. user=mdettweiler [2015-05-23 10:38:05] 741*2^1399397-1 is not prime. Res64: 18DE4BEA7E65222E Time : 0.0 sec. user=mdettweiler [2015-05-23 10:38:31] 759*2^1399397-1 is not prime. Res64: 8389B64127652FF5 Time : 0.0 sec. user=mdettweiler [2015-05-23 10:38:32] 777*2^1399397-1 is not prime. Res64: 8E05D282110458FA Time : 0.0 sec. user=mdettweiler [2015-05-23 10:46:52] 647*2^1399398-1 is not prime. Res64: 88C71690151CD1B5 Time : 0.0 sec. user=mdettweiler [2015-05-23 10:46:52] 705*2^1399398-1 is not prime. Res64: A588AE59513866DE Time : 0.0 sec. user=mdettweiler [2015-05-23 10:57:09] 843*2^1399398-1 is not prime. Res64: F9C10F2282583380 Time : 0.0 sec. user=mdettweiler [2015-05-23 10:57:10] 971*2^1399398-1 is not prime. Res64: 03BFFBAE6FD396A8 Time : 0.0 sec. user=mdettweiler [2015-05-23 10:58:07] 993*2^1399398-1 is not prime. Res64: B47597251F2837A6 Time : 0.0 sec. user=mdettweiler [2015-05-23 10:58:08] 663*2^1399399-1 is not prime. Res64: C48A063D2E82D4E4 Time : 0.0 sec. user=mdettweiler [2015-05-23 10:58:18] 853*2^1399399-1 is not prime. Res64: 584788A58FD668A8 Time : 0.0 sec. user=mdettweiler [2015-05-23 10:58:18] 859*2^1399399-1 is not prime. Res64: 41374D49EB0EDACB Time : 0.0 sec. user=mdettweiler [2015-05-23 11:05:57] 931*2^1399399-1 is not prime. Res64: 0297600F72AEC72E Time : 0.0 sec. user=mdettweiler [2015-05-23 11:05:59] 975*2^1399399-1 is not prime. Res64: 00A70E3E84567FA1 Time : 0.0 sec. user=mdettweiler [2015-05-23 11:15:04] 979*2^1399399-1 is not prime. Res64: 3CAA9D4E7FE02B23 Time : 0.0 sec. user=mdettweiler [2015-05-23 11:15:04] 993*2^1399399-1 is not prime. Res64: 26E99BD55A0AB6FD Time : 0.0 sec. user=mdettweiler [2015-05-23 11:16:00] 999*2^1399399-1 is not prime. Res64: 79118803BB68F8E0 Time : 0.0 sec. user=mdettweiler [2015-05-23 11:16:01] 603*2^1399400-1 is not prime. Res64: 7ECB0DC87DF7D4D0 Time : 0.0 sec. user=mdettweiler [2015-05-23 11:16:15] 689*2^1399400-1 is not prime. Res64: 89643F51DB380BAB Time : 0.0 sec. user=mdettweiler [2015-05-23 11:16:16] 725*2^1399400-1 is not prime. Res64: E519B7C7679CF510 Time : 0.0 sec. user=mdettweiler [2015-05-23 11:24:01] 747*2^1399400-1 is not prime. Res64: 9D620A9590DB1FE6 Time : 0.0 sec. user=mdettweiler [2015-05-23 11:24:01] 839*2^1399400-1 is not prime. Res64: BA691B01B6CC146A Time : 0.0 sec. user=mdettweiler [2015-05-23 11:32:45] 879*2^1399400-1 is not prime. Res64: 69DB794BCBC927ED Time : 0.0 sec. user=mdettweiler [2015-05-23 11:32:45] 899*2^1399400-1 is not prime. Res64: AC51D64498C3FFD7 Time : 0.0 sec. user=mdettweiler [2015-05-23 11:33:51] 959*2^1399400-1 is not prime. Res64: A6C0E24432070F1C Time : 0.0 sec. user=mdettweiler [2015-05-23 11:33:51] 999*2^1399400-1 is not prime. Res64: 790161AE2D27E669 Time : 0.0 sec. user=mdettweiler [2015-05-23 11:34:00] 679*2^1399401-1 is not prime. Res64: 755F4B0DBBC596A2 Time : 0.0 sec. user=mdettweiler [2015-05-23 11:34:01] 717*2^1399401-1 is not prime. Res64: 1E71AEF54A608D6D Time : 0.0 sec. user=mdettweiler [2015-05-23 11:41:53] 819*2^1399401-1 is not prime. Res64: 245CE894650F20C1 Time : 0.0 sec. user=mdettweiler [2015-05-23 11:41:53] 837*2^1399401-1 is not prime. Res64: 2834B110C6072233 Time : 0.0 sec. user=mdettweiler [2015-05-23 11:50:27] 847*2^1399401-1 is not prime. Res64: 0B45CD27CF6321C6 Time : 0.0 sec. user=mdettweiler [2015-05-23 11:50:28] 865*2^1399401-1 is not prime. Res64: 64236C92EC18C07C Time : 0.0 sec. user=mdettweiler [2015-05-23 11:51:32] 755*2^1399402-1 is not prime. Res64: FBC6F99BB656F769 Time : 0.0 sec. user=mdettweiler [2015-05-23 11:51:32] 813*2^1399402-1 is not prime. Res64: 4A1E41C57E771ECD Time : 0.0 sec. user=mdettweiler [2015-05-23 11:51:44] 827*2^1399402-1 is not prime. Res64: 872CD9FAE3F7DA8E Time : 0.0 sec. user=mdettweiler [2015-05-23 11:51:45] 957*2^1399402-1 is not prime. Res64: 59773730FA7ED5EE Time : 0.0 sec. user=mdettweiler [2015-05-23 11:59:37] 983*2^1399402-1 is not prime. Res64: ADECAA46B22BCC62 Time : 0.0 sec. user=mdettweiler [2015-05-23 11:59:37] 615*2^1399403-1 is not prime. Res64: 894E19B95AD08E57 Time : 0.0 sec. user=mdettweiler [2015-05-23 12:08:12] 673*2^1399403-1 is not prime. Res64: 131B8730C5EADF9E Time : 0.0 sec. user=mdettweiler [2015-05-23 12:08:13] 675*2^1399403-1 is not prime. Res64: 7CA21386E1C19662 Time : 0.0 sec. user=mdettweiler [2015-05-23 12:09:28] 703*2^1399403-1 is not prime. Res64: 526834C63656302A Time : 0.0 sec. user=mdettweiler [2015-05-23 12:09:29] 771*2^1399403-1 is not prime. Res64: 1DE53044779F7D0B Time : 0.0 sec. user=mdettweiler [2015-05-23 12:09:31] 775*2^1399403-1 is not prime. Res64: A96D92DD96921635 Time : 0.0 sec. user=mdettweiler [2015-05-23 12:09:32] 805*2^1399403-1 is not prime. Res64: DC4766F34B13DA52 Time : 0.0 sec. user=mdettweiler [2015-05-23 12:17:21] 885*2^1399403-1 is not prime. Res64: F7C841459A9DCD2E Time : 0.0 sec. user=mdettweiler [2015-05-23 12:17:22] 901*2^1399403-1 is not prime. Res64: E826A805D67403B1 Time : 0.0 sec. user=mdettweiler [2015-05-23 12:25:52] 955*2^1399403-1 is not prime. Res64: 874054756AF68B5E Time : 0.0 sec. user=mdettweiler [2015-05-23 12:25:52] 991*2^1399403-1 is not prime. Res64: 361DB6881061EC3E Time : 0.0 sec. user=mdettweiler [2015-05-23 12:27:12] 609*2^1399404-1 is not prime. Res64: DDBC32C57EB37D22 Time : 0.0 sec. user=mdettweiler [2015-05-23 12:27:12] 683*2^1399404-1 is not prime. Res64: AEEFA2DB22D655E1 Time : 0.0 sec. user=mdettweiler [2015-05-23 12:27:13] 717*2^1399404-1 is not prime. Res64: D89A4D8EBFFA29B6 Time : 0.0 sec. user=mdettweiler [2015-05-23 12:27:14] 959*2^1399404-1 is not prime. Res64: EC8B73218E742252 Time : 0.0 sec. user=mdettweiler [2015-05-23 12:35:14] 649*2^1399405-1 is not prime. Res64: 8BD6C3224F06338D Time : 0.0 sec. user=mdettweiler [2015-05-23 12:35:14] 831*2^1399405-1 is not prime. Res64: 520E84E57FD93FD1 Time : 0.0 sec. user=mdettweiler [2015-05-23 12:43:39] 861*2^1399405-1 is not prime. Res64: 0C6FB874A8C33B8E Time : 0.0 sec. user=mdettweiler [2015-05-23 12:43:40] 915*2^1399405-1 is not prime. Res64: F4BC25AFDEAD9BD3 Time : 0.0 sec. user=mdettweiler [2015-05-23 12:44:54] 955*2^1399405-1 is not prime. Res64: 202B3D49627C9186 Time : 0.0 sec. user=mdettweiler [2015-05-23 12:44:55] 979*2^1399405-1 is not prime. Res64: 1A7B11265D2AE2D2 Time : 0.0 sec. user=mdettweiler [2015-05-23 12:45:03] 641*2^1399406-1 is not prime. Res64: ED6C7990C6ECAF30 Time : 0.0 sec. user=mdettweiler [2015-05-23 12:45:03] 683*2^1399406-1 is not prime. Res64: 342F71AD7928B8E7 Time : 0.0 sec. user=mdettweiler [2015-05-23 12:53:01] 873*2^1399406-1 is not prime. Res64: BB1638950D0A5990 Time : 0.0 sec. user=mdettweiler [2015-05-23 12:53:01] 917*2^1399406-1 is not prime. Res64: 461A7653BEAAE734 Time : 0.0 sec. user=mdettweiler [2015-05-23 13:01:23] 693*2^1399407-1 is not prime. Res64: ABD3752A9DED31DF Time : 0.0 sec. user=mdettweiler [2015-05-23 13:01:24] 885*2^1399407-1 is not prime. Res64: B4ABC70D38DC2F39 Time : 0.0 sec. user=mdettweiler [2015-05-23 13:02:34] 891*2^1399407-1 is not prime. Res64: 617FD218BFAD5660 Time : 0.0 sec. user=mdettweiler [2015-05-23 13:02:35] 951*2^1399407-1 is not prime. Res64: DF5DF341BC5FE302 Time : 0.0 sec. user=mdettweiler [2015-05-23 13:02:47] 979*2^1399407-1 is not prime. Res64: 764EF574C1380471 Time : 0.0 sec. user=mdettweiler [2015-05-23 13:02:48] 603*2^1399408-1 is not prime. Res64: B4FA691E93991959 Time : 0.0 sec. user=mdettweiler [2015-05-23 13:10:42] 615*2^1399408-1 is not prime. Res64: C67899A6818211F6 Time : 0.0 sec. user=mdettweiler [2015-05-23 13:10:43] 665*2^1399408-1 is not prime. Res64: F16FDBD00D95A1E6 Time : 0.0 sec. user=mdettweiler [2015-05-23 13:19:09] 839*2^1399408-1 is not prime. Res64: 0168E51BEA254C05 Time : 0.0 sec. user=mdettweiler [2015-05-23 13:19:10] 863*2^1399408-1 is not prime. Res64: C9462DC9E1FD6361 Time : 0.0 sec. user=mdettweiler [2015-05-23 13:20:17] 869*2^1399408-1 is not prime. Res64: 2E263A15436D8D7A Time : 0.0 sec. user=mdettweiler [2015-05-23 13:20:17] 933*2^1399408-1 is not prime. Res64: 21CE5700D12AFBEA Time : 0.0 sec. user=mdettweiler [2015-05-23 13:20:27] 637*2^1399409-1 is not prime. Res64: E80CC2BB3F3FD559 Time : 0.0 sec. user=mdettweiler [2015-05-23 13:20:28] 721*2^1399409-1 is not prime. Res64: 10774DB66E9BB0EB Time : 0.0 sec. user=mdettweiler [2015-05-23 13:28:26] 787*2^1399409-1 is not prime. Res64: 91F1EF5EE64FCCAE Time : 0.0 sec. user=mdettweiler [2015-05-23 13:28:26] 861*2^1399409-1 is not prime. Res64: 089AB2CCE741E497 Time : 0.0 sec. user=mdettweiler [2015-05-23 13:36:54] 879*2^1399409-1 is not prime. Res64: 7D26A9DA228664EF Time : 0.0 sec. user=mdettweiler [2015-05-23 13:36:55] 925*2^1399409-1 is not prime. Res64: 239B4869F03C2495 Time : 0.0 sec. user=mdettweiler [2015-05-23 13:38:01] 945*2^1399409-1 is not prime. Res64: 8DFF96784A12852C Time : 0.0 sec. user=mdettweiler [2015-05-23 13:38:02] 949*2^1399409-1 is not prime. Res64: 0C0EAB060F7B8AE8 Time : 0.0 sec. user=mdettweiler [2015-05-23 13:38:19] 987*2^1399409-1 is not prime. Res64: 958F4D484600B462 Time : 0.0 sec. user=mdettweiler [2015-05-23 13:38:20] 677*2^1399410-1 is not prime. Res64: BFFA667174D8081E Time : 0.0 sec. user=mdettweiler [2015-05-23 13:46:17] 681*2^1399410-1 is not prime. Res64: 16098362D532D4DC Time : 0.0 sec. user=mdettweiler [2015-05-23 13:46:18] 777*2^1399410-1 is not prime. Res64: FCEC784154214607 Time : 0.0 sec. user=mdettweiler [2015-05-23 13:54:51] 791*2^1399410-1 is not prime. Res64: D5AEFE9866A28D59 Time : 0.0 sec. user=mdettweiler [2015-05-23 13:54:51] 825*2^1399410-1 is not prime. Res64: B6138A3582F73646 Time : 0.0 sec. user=mdettweiler [2015-05-23 13:55:55] 885*2^1399410-1 is not prime. Res64: 9C102EEC3C0264B6 Time : 0.0 sec. user=mdettweiler [2015-05-23 13:55:55] 905*2^1399410-1 is not prime. Res64: DF3486DD303185E2 Time : 0.0 sec. user=mdettweiler [2015-05-23 13:56:14] 921*2^1399410-1 is not prime. Res64: 432BD4F9F1BCDFD9 Time : 0.0 sec. user=mdettweiler [2015-05-23 13:56:14] 977*2^1399410-1 is not prime. Res64: FF76EB39A13D578D Time : 0.0 sec. user=mdettweiler [2015-05-23 14:04:11] 625*2^1399411-1 is not prime. Res64: DCC1334903DDBB7B Time : 0.0 sec. user=mdettweiler [2015-05-23 14:04:13] 639*2^1399411-1 is not prime. Res64: A7DFFBC31F4208A2 Time : 0.0 sec. user=mdettweiler [2015-05-23 14:12:34] 709*2^1399411-1 is not prime. Res64: FFFA24283E6FA62B Time : 0.0 sec. user=mdettweiler [2015-05-23 14:12:35] 723*2^1399411-1 is not prime. Res64: 1D4DB96B95F9388E Time : 0.0 sec. user=mdettweiler [2015-05-23 14:13:43] 871*2^1399411-1 is not prime. Res64: 59E47081055344AF Time : 0.0 sec. user=mdettweiler [2015-05-23 14:13:44] 925*2^1399411-1 is not prime. Res64: 9CE649D79BC2B565 Time : 0.0 sec. user=mdettweiler [2015-05-23 14:14:02] 961*2^1399411-1 is not prime. Res64: 77242612994ACBCB Time : 0.0 sec. user=mdettweiler [2015-05-23 14:14:02] 669*2^1399412-1 is not prime. Res64: EABB8ECF389B58C1 Time : 0.0 sec. user=mdettweiler [2015-05-23 14:22:05] 825*2^1399412-1 is not prime. Res64: 1DB7527CEFE868DE Time : 0.0 sec. user=mdettweiler [2015-05-23 14:22:06] 837*2^1399412-1 is not prime. Res64: 2FC718DC2F8ADE7E Time : 0.0 sec. user=mdettweiler [2015-05-23 14:30:12] 893*2^1399412-1 is not prime. Res64: B8D0BF97A7331D77 Time : 0.0 sec. user=mdettweiler [2015-05-23 14:30:12] 915*2^1399412-1 is not prime. Res64: 0B33BA125BB81130 Time : 0.0 sec. user=mdettweiler [2015-05-23 14:31:21] 945*2^1399412-1 is not prime. Res64: ECFC4B580516B820 Time : 0.0 sec. user=mdettweiler [2015-05-23 14:31:21] 959*2^1399412-1 is not prime. Res64: 86241957CAD5B039 Time : 0.0 sec. user=mdettweiler [2015-05-23 14:31:42] 681*2^1399413-1 is not prime. Res64: 7DB8C045794F2CC6 Time : 0.0 sec. user=mdettweiler [2015-05-23 14:31:42] 849*2^1399413-1 is not prime. Res64: 1A4573628D6667FC Time : 0.0 sec. user=mdettweiler [2015-05-23 14:39:54] 901*2^1399413-1 is not prime. Res64: 49D2F87922CB845B Time : 0.0 sec. user=mdettweiler [2015-05-23 14:39:55] 663*2^1399414-1 is not prime. Res64: 249A9D0F77351596 Time : 0.0 sec. user=mdettweiler [2015-05-23 14:47:58] 665*2^1399414-1 is not prime. Res64: 62739E34FAEC4C0D Time : 0.0 sec. user=mdettweiler [2015-05-23 14:47:58] 677*2^1399414-1 is not prime. Res64: C23BE1743506CC9A Time : 0.0 sec. user=mdettweiler [2015-05-23 14:49:05] 707*2^1399414-1 is not prime. Res64: F12FFC69D6ACA57F Time : 0.0 sec. user=mdettweiler [2015-05-23 14:49:06] 923*2^1399414-1 is not prime. Res64: 627B67F1713687EA Time : 0.0 sec. user=mdettweiler [2015-05-23 14:49:26] 739*2^1399415-1 is not prime. Res64: F4DB93C675E05184 Time : 0.0 sec. user=mdettweiler [2015-05-23 14:49:27] 831*2^1399415-1 is not prime. Res64: 90FFFE0FAE8D54B5 Time : 0.0 sec. user=mdettweiler [2015-05-23 14:57:39] 855*2^1399415-1 is not prime. Res64: 4E4DAE294F664427 Time : 0.0 sec. user=mdettweiler [2015-05-23 14:57:40] 949*2^1399415-1 is not prime. Res64: 70D8F40F1CF6C761 Time : 0.0 sec. user=mdettweiler [2015-05-23 15:05:41] 963*2^1399415-1 is not prime. Res64: BD70A16126054A91 Time : 0.0 sec. user=mdettweiler [2015-05-23 15:05:42] 969*2^1399415-1 is not prime. Res64: CCE78AD171048467 Time : 0.0 sec. user=mdettweiler [2015-05-23 15:06:48] 979*2^1399415-1 is not prime. Res64: 0F994BE1A209978F Time : 0.0 sec. user=mdettweiler [2015-05-23 15:06:49] 693*2^1399416-1 is not prime. Res64: 4ED8583E36A49828 Time : 0.0 sec. user=mdettweiler [2015-05-23 15:07:11] 719*2^1399416-1 is not prime. Res64: A545CC62F6D21159 Time : 0.0 sec. user=mdettweiler [2015-05-23 15:07:11] 857*2^1399416-1 is not prime. Res64: 487B1220D89DAA7B Time : 0.0 sec. user=mdettweiler [2015-05-23 15:15:18] 685*2^1399417-1 is not prime. Res64: ACF45B1F4ED968E9 Time : 0.0 sec. user=mdettweiler [2015-05-23 15:15:19] 741*2^1399417-1 is not prime. Res64: 1D10BCCF0B1656B6 Time : 0.0 sec. user=mdettweiler [2015-05-23 15:23:28] 759*2^1399417-1 is not prime. Res64: 8D5EDD3CAFD231C8 Time : 0.0 sec. user=mdettweiler [2015-05-23 15:23:28] 623*2^1399418-1 is not prime. Res64: 1CD923F3E17195C8 Time : 0.0 sec. user=mdettweiler [2015-05-23 15:24:32] 645*2^1399418-1 is not prime. Res64: 0538CE847244464E Time : 0.0 sec. user=mdettweiler [2015-05-23 15:24:33] 935*2^1399418-1 is not prime. Res64: 1454820E6456D889 Time : 0.0 sec. user=mdettweiler [2015-05-23 15:24:54] 953*2^1399418-1 is not prime. Res64: DBBA819D7CC29E9C Time : 0.0 sec. user=mdettweiler [2015-05-23 15:24:54] 1001*2^1399418-1 is not prime. Res64: 0A86EED499AF7067 Time : 0.0 sec. user=mdettweiler [2015-05-23 15:33:05] 609*2^1399419-1 is not prime. Res64: B14A68DC2AB4216B Time : 0.0 sec. user=mdettweiler [2015-05-23 15:33:05] 679*2^1399419-1 is not prime. Res64: 8179DF232D8265F7 Time : 0.0 sec. user=mdettweiler [2015-05-23 15:41:09] 703*2^1399419-1 is not prime. Res64: B5227A07215C922A Time : 0.0 sec. user=mdettweiler [2015-05-23 15:41:09] 745*2^1399419-1 is not prime. Res64: C4FECCE8E42F5F13 Time : 0.0 sec. user=mdettweiler [2015-05-23 15:42:12] 753*2^1399419-1 is not prime. Res64: 6419E506DF29441D Time : 0.0 sec. user=mdettweiler [2015-05-23 15:42:13] 979*2^1399419-1 is not prime. Res64: 47F015E1E1ABF670 Time : 0.0 sec. user=mdettweiler [2015-05-23 15:42:43] 653*2^1399420-1 is not prime. Res64: DCB1E9205B1A9D0B Time : 0.0 sec. user=mdettweiler [2015-05-23 15:42:43] 755*2^1399420-1 is not prime. Res64: B671D2D518EA038C Time : 0.0 sec. user=mdettweiler [2015-05-23 15:50:44] 819*2^1399420-1 is not prime. Res64: A69AB186FB3EB4AC Time : 0.0 sec. user=mdettweiler [2015-05-23 15:50:45] 897*2^1399420-1 is not prime. Res64: 4169A160DE00A19B Time : 0.0 sec. user=mdettweiler [2015-05-23 15:58:58] 915*2^1399420-1 is not prime. Res64: 0A6E83EE25CEEB9E Time : 0.0 sec. user=mdettweiler [2015-05-23 15:58:58] 987*2^1399420-1 is not prime. Res64: 407CEFD7E49519A8 Time : 0.0 sec. user=mdettweiler [2015-05-23 15:59:58] 999*2^1399420-1 is not prime. Res64: 1B77A595974E1ACB Time : 0.0 sec. user=mdettweiler [2015-05-23 15:59:59] 777*2^1399421-1 is not prime. Res64: 732D408DD7DBD1D4 Time : 0.0 sec. user=mdettweiler [2015-05-23 16:00:21] 795*2^1399421-1 is not prime. Res64: 995ABD0EC076E85E Time : 0.0 sec. user=mdettweiler [2015-05-23 16:00:22] 799*2^1399421-1 is not prime. Res64: 4D427FCC61B92317 Time : 0.0 sec. user=mdettweiler [2015-05-23 16:08:23] 801*2^1399421-1 is not prime. Res64: 1D2E198C728C936E Time : 0.0 sec. user=mdettweiler [2015-05-23 16:08:23] 825*2^1399421-1 is not prime. Res64: 4984D76227E36953 Time : 0.0 sec. user=mdettweiler [2015-05-23 16:16:49] 837*2^1399421-1 is not prime. Res64: 0FFDD2E4A371EFE4 Time : 0.0 sec. user=mdettweiler [2015-05-23 16:16:50] 967*2^1399421-1 is not prime. Res64: BE374DEDEFD00E1A Time : 0.0 sec. user=mdettweiler [2015-05-23 16:17:44] 665*2^1399422-1 is not prime. Res64: 3DA9D92ED6F95A72 Time : 0.0 sec. user=mdettweiler [2015-05-23 16:17:44] 683*2^1399422-1 is not prime. Res64: 35E8D6831896400D Time : 0.0 sec. user=mdettweiler [2015-05-23 16:18:07] 713*2^1399422-1 is not prime. Res64: F185337A853C6FB6 Time : 0.0 sec. user=mdettweiler [2015-05-23 16:18:07] 717*2^1399422-1 is not prime. Res64: CD7569DF8A789332 Time : 0.0 sec. user=mdettweiler [2015-05-23 16:26:05] 723*2^1399422-1 is not prime. Res64: 12A011888FDBFB0B Time : 0.0 sec. user=mdettweiler [2015-05-23 16:26:06] 893*2^1399422-1 is not prime. Res64: 378654A02C4AF65D Time : 0.0 sec. user=mdettweiler [2015-05-23 16:34:37] 983*2^1399422-1 is not prime. Res64: 29EBEF75B1F01BE7 Time : 0.0 sec. user=mdettweiler [2015-05-23 16:34:38] 633*2^1399423-1 is not prime. Res64: 195642D8778AB3C5 Time : 0.0 sec. user=mdettweiler [2015-05-23 16:35:29] 673*2^1399423-1 is not prime. Res64: AFB48518DD449CDF Time : 0.0 sec. user=mdettweiler [2015-05-23 16:35:29] 723*2^1399423-1 is not prime. Res64: 4CEE2A7AAC7AE9EE Time : 0.0 sec. user=mdettweiler [2015-05-23 16:35:47] 665*2^1399424-1 is not prime. Res64: A88502F18C7A244A Time : 0.0 sec. user=mdettweiler [2015-05-23 16:35:47] 689*2^1399424-1 is not prime. Res64: F3DEC6176DE7537D Time : 0.0 sec. user=mdettweiler [2015-05-23 16:43:57] 875*2^1399424-1 is not prime. Res64: 5BC2D05594A27D68 Time : 0.0 sec. user=mdettweiler [2015-05-23 16:43:57] 923*2^1399424-1 is not prime. Res64: 6D2C579B353744D4 Time : 0.0 sec. user=mdettweiler [2015-05-23 16:52:21] 957*2^1399424-1 is not prime. Res64: 8E95D4C1D10E4234 Time : 0.0 sec. user=mdettweiler [2015-05-23 16:52:21] 691*2^1399425-1 is not prime. Res64: 70897408A169EFA4 Time : 0.0 sec. user=mdettweiler [2015-05-23 16:53:11] 709*2^1399425-1 is not prime. Res64: 4B6518BBFD3E1DEA Time : 0.0 sec. user=mdettweiler [2015-05-23 16:53:11] 831*2^1399425-1 is not prime. Res64: 10226DB29D88C90D Time : 0.0 sec. user=mdettweiler [2015-05-23 16:53:31] 849*2^1399425-1 is not prime. Res64: B2FA6C988D553386 Time : 0.0 sec. user=mdettweiler [2015-05-23 16:53:32] 999*2^1399425-1 is not prime. Res64: 64CB361FDE07D33E Time : 0.0 sec. user=mdettweiler [2015-05-23 17:01:41] 617*2^1399426-1 is not prime. Res64: 8AC2BA1CD2560025 Time : 0.0 sec. user=mdettweiler [2015-05-23 17:01:42] 645*2^1399426-1 is not prime. Res64: B4F3A4FBFF4C9EA1 Time : 0.0 sec. user=mdettweiler [2015-05-23 17:10:02] 741*2^1399426-1 is not prime. Res64: 1E49952C020259D8 Time : 0.0 sec. user=mdettweiler [2015-05-23 17:10:02] 773*2^1399426-1 is not prime. Res64: EDD639CB94A57DFD Time : 0.0 sec. user=mdettweiler [2015-05-23 17:11:00] 813*2^1399426-1 is not prime. Res64: 3F3D45DD0B0A0271 Time : 0.0 sec. user=mdettweiler [2015-05-23 17:11:00] 815*2^1399426-1 is not prime. Res64: 3E1B8CB4C2457E6E Time : 0.0 sec. user=mdettweiler [2015-05-23 17:11:14] 971*2^1399426-1 is not prime. Res64: 582139B0BDF5D279 Time : 0.0 sec. user=mdettweiler [2015-05-23 17:11:14] 633*2^1399427-1 is not prime. Res64: DDFE0FDB98DD287A Time : 0.0 sec. user=mdettweiler [2015-05-23 17:19:32] 963*2^1399427-1 is not prime. Res64: 149A410E4BD5D4BB Time : 0.0 sec. user=mdettweiler [2015-05-23 17:19:33] 991*2^1399427-1 is not prime. Res64: 4B8560074074D16D Time : 0.0 sec. user=mdettweiler [2015-05-23 17:27:45] 999*2^1399427-1 is not prime. Res64: 88E62AFF1571D5B5 Time : 0.0 sec. user=mdettweiler [2015-05-23 17:27:45] 635*2^1399428-1 is not prime. Res64: 52D044C14C429543 Time : 0.0 sec. user=mdettweiler [2015-05-23 17:28:35] 663*2^1399428-1 is not prime. Res64: 21BA63B58999BC81 Time : 0.0 sec. user=mdettweiler [2015-05-23 17:28:35] 783*2^1399428-1 is not prime. Res64: 848031B0625664A9 Time : 0.0 sec. user=mdettweiler [2015-05-23 17:28:59] 795*2^1399428-1 is not prime. Res64: 6AE12036C4F92311 Time : 0.0 sec. user=mdettweiler [2015-05-23 17:28:59] 797*2^1399428-1 is not prime. Res64: C701E70EF176FDD6 Time : 0.0 sec. user=juhehe [2015-05-23 17:34:36] 823*2^1399427-1 is not prime. Res64: 1C3460FEFEB632E8 Time : 0.0 sec. user=mdettweiler [2015-05-23 17:37:18] 825*2^1399428-1 is not prime. Res64: 2E8CD3CEA3A1F647 Time : 0.0 sec. user=mdettweiler [2015-05-23 17:37:19] 839*2^1399428-1 is not prime. Res64: 013A7422D3FA94BF Time : 0.0 sec. user=mdettweiler [2015-05-23 17:45:39] 845*2^1399428-1 is not prime. Res64: E3DE979E6ACEB173 Time : 0.0 sec. user=mdettweiler [2015-05-23 17:45:39] 915*2^1399428-1 is not prime. Res64: 81797601B507C4F3 Time : 0.0 sec. user=mdettweiler [2015-05-23 17:46:31] 969*2^1399428-1 is not prime. Res64: A59BD3B7B2BD0346 Time : 0.0 sec. user=mdettweiler [2015-05-23 17:46:31] 975*2^1399428-1 is not prime. Res64: 5082D5AD8D06F8F8 Time : 0.0 sec. user=mdettweiler [2015-05-23 17:46:46] 741*2^1399429-1 is not prime. Res64: 330F31B9738EE875 Time : 0.0 sec. user=mdettweiler [2015-05-23 17:46:46] 825*2^1399429-1 is not prime. Res64: F98D3D788930317E Time : 0.0 sec. user=mdettweiler [2015-05-23 17:55:07] 897*2^1399429-1 is not prime. Res64: D05C19B6E4DBA0A7 Time : 0.0 sec. user=mdettweiler [2015-05-23 17:55:08] 951*2^1399429-1 is not prime. Res64: 18D6EAFE4ED223EF Time : 0.0 sec. user=mdettweiler [2015-05-23 18:03:32] 955*2^1399429-1 is not prime. Res64: 3A8E7E075B8537EC Time : 0.0 sec. user=mdettweiler [2015-05-23 18:03:33] 999*2^1399429-1 is not prime. Res64: FD385C1F82B006FD Time : 0.0 sec. user=mdettweiler [2015-05-23 18:04:17] 641*2^1399430-1 is not prime. Res64: AAE6191CEF4BD909 Time : 0.0 sec. user=mdettweiler [2015-05-23 18:04:18] 773*2^1399430-1 is not prime. Res64: B6E35BBF23DA04C5 Time : 0.0 sec. user=mdettweiler [2015-05-23 18:04:29] 843*2^1399430-1 is not prime. Res64: 1F611ACE8F19EA84 Time : 0.0 sec. user=mdettweiler [2015-05-23 18:04:30] 711*2^1399431-1 is not prime. Res64: 0C0F5895D1B7F8EB Time : 0.0 sec. user=mdettweiler [2015-05-23 18:12:48] 741*2^1399431-1 is not prime. Res64: D5A9364AF8387419 Time : 0.0 sec. user=mdettweiler [2015-05-23 18:12:49] 823*2^1399431-1 is not prime. Res64: F6992D5F165E7E61 Time : 0.0 sec. user=mdettweiler [2015-05-23 18:21:26] 861*2^1399431-1 is not prime. Res64: BF1EB3D042BAB0A0 Time : 0.0 sec. user=mdettweiler [2015-05-23 18:21:26] 901*2^1399431-1 is not prime. Res64: 95A6FD85392E6CC8 Time : 0.0 sec. user=mdettweiler [2015-05-23 18:22:11] 975*2^1399431-1 is not prime. Res64: A107C822A052713F Time : 0.0 sec. user=mdettweiler [2015-05-23 18:22:11] 979*2^1399431-1 is not prime. Res64: 7C899D6FF28F46A9 Time : 0.0 sec. user=mdettweiler [2015-05-23 18:22:18] 657*2^1399432-1 is not prime. Res64: 510A1F122C6FF1FC Time : 0.0 sec. user=mdettweiler [2015-05-23 18:22:19] 687*2^1399432-1 is not prime. Res64: F870D35357BBCAB7 Time : 0.0 sec. user=mdettweiler [2015-05-23 18:30:31] 717*2^1399432-1 is not prime. Res64: D104EB74A4EF751C Time : 0.0 sec. user=mdettweiler [2015-05-23 18:30:32] 813*2^1399432-1 is not prime. Res64: 452C0B29BFDC3CEE Time : 0.0 sec. user=mdettweiler [2015-05-23 18:39:09] 857*2^1399432-1 is not prime. Res64: 7DF0AAB8F85FA84F Time : 0.0 sec. user=mdettweiler [2015-05-23 18:39:09] 869*2^1399432-1 is not prime. Res64: 60BF61FBEA6EA4A1 Time : 0.0 sec. user=mdettweiler [2015-05-23 18:39:50] 875*2^1399432-1 is not prime. Res64: 5D7E011991DF48E3 Time : 0.0 sec. user=mdettweiler [2015-05-23 18:39:50] 933*2^1399432-1 is not prime. Res64: FC5030D436AFDB78 Time : 0.0 sec. user=mdettweiler [2015-05-23 18:39:59] 939*2^1399432-1 is not prime. Res64: 1FBB4A57C5B8DB17 Time : 0.0 sec. user=mdettweiler [2015-05-23 18:39:59] 697*2^1399433-1 is not prime. Res64: 3F78E045B9EA20F2 Time : 0.0 sec. user=mdettweiler [2015-05-23 18:48:11] 781*2^1399433-1 is not prime. Res64: B99BFE27B5416E78 Time : 0.0 sec. user=mdettweiler [2015-05-23 18:48:12] 831*2^1399433-1 is not prime. Res64: 02F6F4A89F76A80C Time : 0.0 sec. user=mdettweiler [2015-05-23 18:56:58] 939*2^1399433-1 is not prime. Res64: 9FAC4DAB6661ACAF Time : 0.0 sec. user=mdettweiler [2015-05-23 18:56:58] 671*2^1399434-1 is not prime. Res64: DBCA1D3A5858DF5A Time : 0.0 sec. user=mdettweiler [2015-05-23 18:57:41] 797*2^1399434-1 is not prime. Res64: F79B9DB38ABD1E25 Time : 0.0 sec. user=mdettweiler [2015-05-23 18:57:42] 803*2^1399434-1 is not prime. Res64: 64641152BB003CB2 Time : 0.0 sec. user=mdettweiler [2015-05-23 18:57:42] 725*2^1399434-1 is not prime. Res64: 49F684EF4FC9C3BE Time : 0.0 sec. user=mdettweiler [2015-05-23 18:57:43] 791*2^1399434-1 is not prime. Res64: DF05B47D72A0C3A5 Time : 0.0 sec. user=mdettweiler [2015-05-23 19:05:54] 837*2^1399434-1 is not prime. Res64: C786064CC911676A Time : 0.0 sec. user=mdettweiler [2015-05-23 19:05:56] 887*2^1399434-1 is not prime. Res64: F5CB37D49400B69C Time : 0.0 sec.