user=mdettweiler [2016-11-03 00:05:42] 955*2^1444773-1 is not prime. Res64: 32BCBAAC46E061BF Time : 0.0 sec. user=mdettweiler [2016-11-03 00:05:43] 605*2^1444774-1 is not prime. Res64: 6692FFF569643E98 Time : 0.0 sec. user=mdettweiler [2016-11-03 00:05:46] 635*2^1444774-1 is not prime. Res64: 49592A68F126B93D Time : 0.0 sec. user=mdettweiler [2016-11-03 00:05:47] 723*2^1444774-1 is not prime. Res64: 11A2A9BB8CA2EE5A Time : 0.0 sec. user=mdettweiler [2016-11-03 00:05:49] 755*2^1444774-1 is not prime. Res64: FD24E7F28D4C1445 Time : 0.0 sec. user=mdettweiler [2016-11-03 00:09:00] 825*2^1444774-1 is not prime. Res64: 1DC18449768723B0 Time : 0.0 sec. user=mdettweiler [2016-11-03 00:09:08] 887*2^1444774-1 is not prime. Res64: 6A624916A9D9CDC6 Time : 0.0 sec. user=mdettweiler [2016-11-03 00:09:12] 917*2^1444774-1 is not prime. Res64: BDD8BC217353B6F5 Time : 0.0 sec. user=mdettweiler [2016-11-03 00:09:14] 661*2^1444775-1 is not prime. Res64: A30E0EABC855B4F9 Time : 0.0 sec. user=mdettweiler [2016-11-03 00:09:17] 675*2^1444775-1 is not prime. Res64: B93E4CFCBA28D6CE Time : 0.0 sec. user=mdettweiler [2016-11-03 00:15:06] 679*2^1444775-1 is not prime. Res64: A4B3C6438344C693 Time : 0.0 sec. user=mdettweiler [2016-11-03 00:15:09] 805*2^1444775-1 is not prime. Res64: 5527D5BF79416EA4 Time : 0.0 sec. user=mdettweiler [2016-11-03 00:15:10] 831*2^1444775-1 is not prime. Res64: C95A04B2BE068FB9 Time : 0.0 sec. user=mdettweiler [2016-11-03 00:15:12] 705*2^1444776-1 is not prime. Res64: 43320A6E0F6360FF Time : 0.0 sec. user=mdettweiler [2016-11-03 00:15:13] 815*2^1444776-1 is not prime. Res64: BF95A2A7EBE60EE1 Time : 0.0 sec. user=mdettweiler [2016-11-03 00:27:45] 837*2^1444776-1 is not prime. Res64: A7133A7C38657D67 Time : 0.0 sec. user=mdettweiler [2016-11-03 00:27:45] 843*2^1444776-1 is not prime. Res64: 93B26CBB2ED839BB Time : 0.0 sec. user=mdettweiler [2016-11-03 00:27:45] 899*2^1444776-1 is not prime. Res64: 085DA3F5BF1EF0C4 Time : 0.0 sec. user=mdettweiler [2016-11-03 00:27:46] 607*2^1444777-1 is not prime. Res64: 894A609E7B56BFCA Time : 0.0 sec. user=mdettweiler [2016-11-03 00:27:46] 609*2^1444777-1 is not prime. Res64: 3FEFED6260C9BC8E Time : 0.0 sec. user=mdettweiler [2016-11-03 00:52:43] 615*2^1444777-1 is not prime. Res64: A7F8A2AE4B92F2D1 Time : 0.0 sec. user=mdettweiler [2016-11-03 00:52:44] 675*2^1444777-1 is not prime. Res64: B3DDFB44D8898EBE Time : 0.0 sec. user=mdettweiler [2016-11-03 00:52:44] 685*2^1444777-1 is not prime. Res64: 853FE1CB31C66D6E Time : 0.0 sec. user=mdettweiler [2016-11-03 00:52:44] 847*2^1444777-1 is not prime. Res64: D001E1760D8FDE83 Time : 0.0 sec. user=mdettweiler [2016-11-03 00:52:45] 871*2^1444777-1 is not prime. Res64: 7603AACE3C3FBC43 Time : 0.0 sec. user=mdettweiler [2016-11-03 00:57:12] 955*2^1444777-1 is not prime. Res64: 1A8F346806A19E68 Time : 0.0 sec. user=mdettweiler [2016-11-03 00:57:12] 999*2^1444777-1 is not prime. Res64: 85D4F7D1A5866529 Time : 0.0 sec. user=mdettweiler [2016-11-03 00:57:12] 641*2^1444778-1 is not prime. Res64: AFEFA638AD8F1325 Time : 0.0 sec. user=mdettweiler [2016-11-03 00:57:12] 645*2^1444778-1 is not prime. Res64: FF8CEC20EF31B9DD Time : 0.0 sec. user=mdettweiler [2016-11-03 00:57:13] 651*2^1444778-1 is not prime. Res64: 13729977E5AF1525 Time : 0.0 sec. user=mdettweiler [2016-11-03 01:03:14] 671*2^1444778-1 is not prime. Res64: A81944D08BA298FB Time : 0.0 sec. user=mdettweiler [2016-11-03 01:03:15] 705*2^1444778-1 is not prime. Res64: 12BA9DA9BCBB2E5A Time : 0.0 sec. user=mdettweiler [2016-11-03 01:03:15] 711*2^1444778-1 is not prime. Res64: 67B6F761F2D5A4FF Time : 0.0 sec. user=mdettweiler [2016-11-03 01:03:16] 935*2^1444778-1 is not prime. Res64: DF45BAF7205916B4 Time : 0.0 sec. user=mdettweiler [2016-11-03 01:03:16] 669*2^1444779-1 is not prime. Res64: FEF49F86527B8B4F Time : 0.0 sec. user=mdettweiler [2016-11-03 01:16:11] 789*2^1444779-1 is not prime. Res64: E76422C3341FDAC2 Time : 0.0 sec. user=mdettweiler [2016-11-03 01:16:11] 795*2^1444779-1 is not prime. Res64: 85F58F0766D6E6D2 Time : 0.0 sec. user=mdettweiler [2016-11-03 01:16:11] 879*2^1444779-1 is not prime. Res64: 65EC2472BEE6DFC4 Time : 0.0 sec. user=mdettweiler [2016-11-03 01:16:12] 903*2^1444779-1 is not prime. Res64: FBD7DAA00EC5361F Time : 0.0 sec. user=mdettweiler [2016-11-03 01:16:12] 677*2^1444780-1 is not prime. Res64: 13CB3FFB83F4D0D1 Time : 0.0 sec. user=mdettweiler [2016-11-03 01:39:26] 833*2^1444780-1 is not prime. Res64: D5D970D53BA96F00 Time : 0.0 sec. user=mdettweiler [2016-11-03 01:39:27] 839*2^1444780-1 is not prime. Res64: 46ECA46324766763 Time : 0.0 sec. user=mdettweiler [2016-11-03 01:39:28] 897*2^1444780-1 is not prime. Res64: 29B0EE0E42D7FFC9 Time : 0.0 sec. user=mdettweiler [2016-11-03 01:39:28] 939*2^1444780-1 is not prime. Res64: D5B8CD4AAB14327C Time : 0.0 sec. user=mdettweiler [2016-11-03 01:39:28] 965*2^1444780-1 is not prime. Res64: 2E80739381CA2244 Time : 0.0 sec. user=mdettweiler [2016-11-03 01:43:26] 621*2^1444781-1 is not prime. Res64: 0977EE50CF4FB4E9 Time : 0.0 sec. user=mdettweiler [2016-11-03 01:43:27] 741*2^1444781-1 is not prime. Res64: 3FE17314310A8905 Time : 0.0 sec. user=mdettweiler [2016-11-03 01:43:27] 769*2^1444781-1 is not prime. Res64: 141546B6300A51E2 Time : 0.0 sec. user=mdettweiler [2016-11-03 01:43:27] 825*2^1444781-1 is not prime. Res64: 0AB374D59B5CC362 Time : 0.0 sec. user=mdettweiler [2016-11-03 01:43:28] 829*2^1444781-1 is not prime. Res64: AFB8A0C3B59BC2E9 Time : 0.0 sec. user=mdettweiler [2016-11-03 01:49:30] 967*2^1444781-1 is not prime. Res64: 985B5CBC3BE76827 Time : 0.0 sec. user=mdettweiler [2016-11-03 01:49:30] 635*2^1444782-1 is not prime. Res64: AC97E2D1962A221A Time : 0.0 sec. user=mdettweiler [2016-11-03 01:49:30] 737*2^1444782-1 is not prime. Res64: 7844E06037A62D70 Time : 0.0 sec. user=mdettweiler [2016-11-03 01:49:31] 761*2^1444782-1 is not prime. Res64: AB6ED15E721DCD22 Time : 0.0 sec. user=mdettweiler [2016-11-03 01:49:31] 921*2^1444782-1 is not prime. Res64: AF1E19CA266EBF6D Time : 0.0 sec. user=mdettweiler [2016-11-03 02:01:29] 963*2^1444782-1 is not prime. Res64: 75C59BF6E039F0EE Time : 0.0 sec. user=mdettweiler [2016-11-03 02:01:30] 619*2^1444783-1 is not prime. Res64: 30A7D2A66DF39C7F Time : 0.0 sec. user=mdettweiler [2016-11-03 02:01:30] 703*2^1444783-1 is not prime. Res64: 238A63CF4C621B12 Time : 0.0 sec. user=mdettweiler [2016-11-03 02:01:31] 789*2^1444783-1 is not prime. Res64: 38EAA484DBB1347C Time : 0.0 sec. user=mdettweiler [2016-11-03 02:01:33] 793*2^1444783-1 is not prime. Res64: 9386A4D4332692DD Time : 0.0 sec. user=mdettweiler [2016-11-03 02:24:31] 859*2^1444783-1 is not prime. Res64: 6C0F1E795C722021 Time : 0.0 sec. user=mdettweiler [2016-11-03 02:24:32] 933*2^1444783-1 is not prime. Res64: 62D6BD140357D566 Time : 0.0 sec. user=mdettweiler [2016-11-03 02:24:32] 951*2^1444783-1 is not prime. Res64: E7B60ACAED4B0FB7 Time : 0.0 sec. user=mdettweiler [2016-11-03 02:24:32] 649*2^1444785-1 is not prime. Res64: B19FE6F0EDEB8C3B Time : 0.0 sec. user=mdettweiler [2016-11-03 02:24:33] 721*2^1444785-1 is not prime. Res64: 2D4B1CE34595FBA2 Time : 0.0 sec. user=mdettweiler [2016-11-03 02:28:18] 759*2^1444785-1 is not prime. Res64: 29D548CDBD708851 Time : 0.0 sec. user=mdettweiler [2016-11-03 02:28:19] 871*2^1444785-1 is not prime. Res64: 99C9535E22477211 Time : 0.0 sec. user=mdettweiler [2016-11-03 02:28:19] 885*2^1444785-1 is not prime. Res64: 9E7AFB5240D66D42 Time : 0.0 sec. user=mdettweiler [2016-11-03 02:28:19] 951*2^1444785-1 is not prime. Res64: 03C3CC6FA0DDC0C8 Time : 0.0 sec. user=mdettweiler [2016-11-03 02:28:20] 979*2^1444785-1 is not prime. Res64: 1C15FA9D252B22BB Time : 0.0 sec. user=mdettweiler [2016-11-03 02:34:26] 675*2^1444786-1 is not prime. Res64: 36B2A65A8DE2D3C3 Time : 0.0 sec. user=mdettweiler [2016-11-03 02:34:26] 701*2^1444786-1 is not prime. Res64: 67F9619693B99148 Time : 0.0 sec. user=mdettweiler [2016-11-03 02:34:26] 873*2^1444786-1 is not prime. Res64: EFB886367B6C5A0F Time : 0.0 sec. user=mdettweiler [2016-11-03 02:34:27] 911*2^1444786-1 is not prime. Res64: 9BBBBC388C30F8D8 Time : 0.0 sec. user=mdettweiler [2016-11-03 02:34:27] 917*2^1444786-1 is not prime. Res64: 1CB1E8E6942BF3C6 Time : 0.0 sec. user=mdettweiler [2016-11-03 02:46:34] 633*2^1444787-1 is not prime. Res64: 88E9EE9592C54A80 Time : 0.0 sec. user=mdettweiler [2016-11-03 02:46:34] 675*2^1444787-1 is not prime. Res64: 1369D934E1B8FA64 Time : 0.0 sec. user=mdettweiler [2016-11-03 02:46:34] 711*2^1444787-1 is not prime. Res64: 6CC06F0406703369 Time : 0.0 sec. user=mdettweiler [2016-11-03 02:46:34] 799*2^1444787-1 is not prime. Res64: BB0C13E3CC270559 Time : 0.0 sec. user=mdettweiler [2016-11-03 02:46:35] 939*2^1444787-1 is not prime. Res64: ADB6CC758F991753 Time : 0.0 sec. user=mdettweiler [2016-11-03 03:09:32] 605*2^1444788-1 is not prime. Res64: E75CF891AA671A6D Time : 0.0 sec. user=mdettweiler [2016-11-03 03:09:36] 627*2^1444788-1 is not prime. Res64: ABA17E49C7D76734 Time : 0.0 sec. user=mdettweiler [2016-11-03 03:09:38] 669*2^1444788-1 is not prime. Res64: EB6882304307793F Time : 0.0 sec. user=mdettweiler [2016-11-03 03:09:40] 753*2^1444788-1 is not prime. Res64: CDA0FC2B981395B1 Time : 0.0 sec. user=mdettweiler [2016-11-03 03:09:42] 773*2^1444788-1 is not prime. Res64: 1B40B4E8E2351674 Time : 0.0 sec. user=mdettweiler [2016-11-03 03:13:40] 893*2^1444788-1 is not prime. Res64: 90806732429B7AFC Time : 0.0 sec. user=mdettweiler [2016-11-03 03:13:42] 899*2^1444788-1 is not prime. Res64: AE7AA001552ABFE0 Time : 0.0 sec. user=mdettweiler [2016-11-03 03:13:43] 909*2^1444788-1 is not prime. Res64: 6F5EAA11E43F687E Time : 0.0 sec. user=mdettweiler [2016-11-03 03:13:45] 667*2^1444789-1 is not prime. Res64: E51B8EDBB8D5BC48 Time : 0.0 sec. user=mdettweiler [2016-11-03 03:13:46] 721*2^1444789-1 is not prime. Res64: 8E4E3B008A5FBC05 Time : 0.0 sec. user=mdettweiler [2016-11-03 03:20:08] 747*2^1444789-1 is not prime. Res64: 6413CD15A5E2EDC6 Time : 0.0 sec. user=mdettweiler [2016-11-03 03:20:08] 811*2^1444789-1 is not prime. Res64: 08A72B9B00415E59 Time : 0.0 sec. user=mdettweiler [2016-11-03 03:20:08] 855*2^1444789-1 is not prime. Res64: 897C7F192D2CB26E Time : 0.0 sec. user=mdettweiler [2016-11-03 03:20:09] 615*2^1444790-1 is not prime. Res64: B85AF235C760829F Time : 0.0 sec. user=mdettweiler [2016-11-03 03:20:09] 641*2^1444790-1 is not prime. Res64: 4F42A3F7F51CF31E Time : 0.0 sec. user=mdettweiler [2016-11-03 03:32:08] 645*2^1444790-1 is not prime. Res64: ABAEE528266E4C01 Time : 0.0 sec. user=mdettweiler [2016-11-03 03:32:09] 671*2^1444790-1 is not prime. Res64: 1DA69319D789D01D Time : 0.0 sec. user=mdettweiler [2016-11-03 03:32:09] 713*2^1444790-1 is not prime. Res64: 288E60C4CBA362A9 Time : 0.0 sec. user=mdettweiler [2016-11-03 03:32:10] 761*2^1444790-1 is not prime. Res64: C1D09A61EBD94898 Time : 0.0 sec. user=mdettweiler [2016-11-03 03:32:11] 843*2^1444790-1 is not prime. Res64: 0F57B739C9B4AA59 Time : 0.0 sec. user=mdettweiler [2016-11-03 03:55:59] 887*2^1444790-1 is not prime. Res64: 9FE8600C1316EA7F Time : 0.0 sec. user=mdettweiler [2016-11-03 03:56:01] 935*2^1444790-1 is not prime. Res64: B66808DFA36B4DAF Time : 0.0 sec. user=mdettweiler [2016-11-03 03:56:02] 965*2^1444790-1 is not prime. Res64: 77A83F6C8B64ECE0 Time : 0.0 sec. user=mdettweiler [2016-11-03 03:56:03] 711*2^1444791-1 is not prime. Res64: B666B1D17D334EED Time : 0.0 sec. user=mdettweiler [2016-11-03 03:56:05] 885*2^1444791-1 is not prime. Res64: F10DC9B6FB561885 Time : 0.0 sec. user=mdettweiler [2016-11-03 03:59:50] 945*2^1444791-1 is not prime. Res64: 42AA5315E3DD8C84 Time : 0.0 sec. user=mdettweiler [2016-11-03 03:59:51] 969*2^1444791-1 is not prime. Res64: 8F9485FBD2E07704 Time : 0.0 sec. user=mdettweiler [2016-11-03 03:59:52] 975*2^1444791-1 is not prime. Res64: 99BCACEDAE444D46 Time : 0.0 sec. user=mdettweiler [2016-11-03 03:59:52] 665*2^1444792-1 is not prime. Res64: 1990C681671CB595 Time : 0.0 sec. user=mdettweiler [2016-11-03 03:59:53] 717*2^1444792-1 is not prime. Res64: 8B653B56029EEF86 Time : 0.0 sec. user=mdettweiler [2016-11-03 04:05:27] 803*2^1444792-1 is not prime. Res64: 9014AB4BEBF9380E Time : 0.0 sec. user=mdettweiler [2016-11-03 04:05:28] 607*2^1444793-1 is not prime. Res64: EA648A103DFCFC53 Time : 0.0 sec. user=mdettweiler [2016-11-03 04:05:30] 685*2^1444793-1 is not prime. Res64: 73B3F784473EC661 Time : 0.0 sec. user=mdettweiler [2016-11-03 04:05:32] 715*2^1444793-1 is not prime. Res64: 943C1264136D243B Time : 0.0 sec. user=mdettweiler [2016-11-03 04:05:33] 747*2^1444793-1 is not prime. Res64: 3DAFC12CB38C13BE Time : 0.0 sec. user=mdettweiler [2016-11-03 04:17:27] 767*2^1444794-1 is not prime. Res64: 61225DE80AB8EDCB Time : 0.0 sec. user=mdettweiler [2016-11-03 04:17:28] 837*2^1444794-1 is not prime. Res64: FC9F131B3BB38015 Time : 0.0 sec. user=mdettweiler [2016-11-03 04:17:29] 875*2^1444794-1 is not prime. Res64: 62D5E57E9D5C283F Time : 0.0 sec. user=mdettweiler [2016-11-03 04:17:30] 893*2^1444794-1 is not prime. Res64: 833C75DFBEE64076 Time : 0.0 sec. user=mdettweiler [2016-11-03 04:17:32] 903*2^1444794-1 is not prime. Res64: 56EC539BA9A16A84 Time : 0.0 sec. user=mdettweiler [2016-11-03 04:41:06] 971*2^1444794-1 is not prime. Res64: 245DA46E5104542B Time : 0.0 sec. user=mdettweiler [2016-11-03 04:41:07] 975*2^1444794-1 is not prime. Res64: 62BF6445F51AC178 Time : 0.0 sec. user=mdettweiler [2016-11-03 04:41:07] 685*2^1444795-1 is not prime. Res64: 8BA2894E069A5E90 Time : 0.0 sec. user=mdettweiler [2016-11-03 04:41:08] 771*2^1444795-1 is not prime. Res64: 35ED3EAB071B768C Time : 0.0 sec. user=mdettweiler [2016-11-03 04:41:08] 915*2^1444795-1 is not prime. Res64: 4028076DB0A56220 Time : 0.0 sec. user=mdettweiler [2016-11-03 04:45:01] 985*2^1444795-1 is not prime. Res64: 302CA9E0A01518FB Time : 0.0 sec. user=mdettweiler [2016-11-03 04:45:01] 647*2^1444796-1 is not prime. Res64: 3C1A67CC9FA3E15B Time : 0.0 sec. user=mdettweiler [2016-11-03 04:45:01] 735*2^1444796-1 is not prime. Res64: 6E7A7183D257D987 Time : 0.0 sec. user=mdettweiler [2016-11-03 04:45:02] 983*2^1444796-1 is not prime. Res64: 3DE13011D97774AF Time : 0.0 sec. user=mdettweiler [2016-11-03 04:45:02] 751*2^1444797-1 is not prime. Res64: D7D56C4A9158C51D Time : 0.0 sec. user=mdettweiler [2016-11-03 04:50:41] 781*2^1444797-1 is not prime. Res64: 2AC62B1C35F5560C Time : 0.0 sec. user=mdettweiler [2016-11-03 04:50:41] 817*2^1444797-1 is not prime. Res64: C02308C3FDF8D1A9 Time : 0.0 sec. user=mdettweiler [2016-11-03 04:50:42] 861*2^1444797-1 is not prime. Res64: A611439AA93C33A6 Time : 0.0 sec. user=mdettweiler [2016-11-03 04:50:42] 895*2^1444797-1 is not prime. Res64: F2726D19C8116100 Time : 0.0 sec. user=mdettweiler [2016-11-03 04:50:42] 991*2^1444797-1 is not prime. Res64: AA7DF197F8E83FEE Time : 0.0 sec. user=mdettweiler [2016-11-03 05:02:51] 695*2^1444798-1 is not prime. Res64: C27ADD7BDAD74F2F Time : 0.0 sec. user=mdettweiler [2016-11-03 05:02:53] 713*2^1444798-1 is not prime. Res64: 0359B2A1351D586C Time : 0.0 sec. user=mdettweiler [2016-11-03 05:02:54] 737*2^1444798-1 is not prime. Res64: 1DEA491598A2E79B Time : 0.0 sec. user=mdettweiler [2016-11-03 05:02:56] 815*2^1444798-1 is not prime. Res64: 717A1F3E8FBA7B2E Time : 0.0 sec. user=mdettweiler [2016-11-03 05:02:57] 975*2^1444798-1 is not prime. Res64: 5D3495294096934A Time : 0.0 sec. user=mdettweiler [2016-11-03 05:26:14] 987*2^1444798-1 is not prime. Res64: 48ED8EF6A29FDA5A Time : 0.0 sec. user=mdettweiler [2016-11-03 05:26:15] 615*2^1444799-1 is not prime. Res64: 55C97522C08D511E Time : 0.0 sec. user=mdettweiler [2016-11-03 05:26:15] 655*2^1444799-1 is not prime. Res64: 8B51E6E614AAE2F8 Time : 0.0 sec. user=mdettweiler [2016-11-03 05:26:15] 745*2^1444799-1 is not prime. Res64: 4DC7B721F7A773FE Time : 0.0 sec. user=mdettweiler [2016-11-03 05:26:15] 799*2^1444799-1 is not prime. Res64: 58C86CA032B330AF Time : 0.0 sec. user=mdettweiler [2016-11-03 05:29:58] 859*2^1444799-1 is not prime. Res64: 3D5E8FED6204D122 Time : 0.0 sec. user=mdettweiler [2016-11-03 05:29:58] 889*2^1444799-1 is not prime. Res64: FE518F69DF3D62C4 Time : 0.0 sec. user=mdettweiler [2016-11-03 05:29:58] 623*2^1444800-1 is not prime. Res64: 8EE584B09A53607A Time : 0.0 sec. user=mdettweiler [2016-11-03 05:29:59] 725*2^1444800-1 is not prime. Res64: 2D94D885169E5874 Time : 0.0 sec. user=mdettweiler [2016-11-03 05:29:59] 839*2^1444800-1 is not prime. Res64: A607BC692D874A1B Time : 0.0 sec. user=mdettweiler [2016-11-03 05:35:41] 933*2^1444800-1 is not prime. Res64: 3A241AD166054406 Time : 0.0 sec. user=mdettweiler [2016-11-03 05:35:41] 975*2^1444800-1 is not prime. Res64: 3BD9A8D122A56E2A Time : 0.0 sec. user=mdettweiler [2016-11-03 05:35:42] 615*2^1444801-1 is not prime. Res64: FE7817A52F01810A Time : 0.0 sec. user=mdettweiler [2016-11-03 05:35:43] 651*2^1444801-1 is not prime. Res64: 4EC2F78C49B4CE40 Time : 0.0 sec. user=mdettweiler [2016-11-03 05:35:43] 771*2^1444801-1 is not prime. Res64: 5EEECDBBB572413B Time : 0.0 sec. user=mdettweiler [2016-11-03 05:47:59] 775*2^1444801-1 is not prime. Res64: C8816E9FF7642E13 Time : 0.0 sec. user=mdettweiler [2016-11-03 05:47:59] 777*2^1444801-1 is not prime. Res64: 4EC5D71956A60490 Time : 0.0 sec. user=mdettweiler [2016-11-03 05:47:59] 789*2^1444801-1 is not prime. Res64: 39DA122B69201B58 Time : 0.0 sec. user=mdettweiler [2016-11-03 05:48:00] 805*2^1444801-1 is not prime. Res64: 3C8C981A039B8F1F Time : 0.0 sec. user=mdettweiler [2016-11-03 05:48:00] 847*2^1444801-1 is not prime. Res64: CD90890CC8EA9916 Time : 0.0 sec. user=mdettweiler [2016-11-03 06:11:00] 951*2^1444801-1 is not prime. Res64: 89D4639287859C9B Time : 0.0 sec. user=mdettweiler [2016-11-03 06:11:01] 957*2^1444801-1 is not prime. Res64: C32AB9915EDE6D5D Time : 0.0 sec. user=mdettweiler [2016-11-03 06:11:01] 999*2^1444801-1 is not prime. Res64: E73D853425598EF8 Time : 0.0 sec. user=mdettweiler [2016-11-03 06:11:01] 671*2^1444802-1 is not prime. Res64: B4331CC284B958CD Time : 0.0 sec. user=mdettweiler [2016-11-03 06:11:02] 735*2^1444802-1 is not prime. Res64: 8D794841030D3ED8 Time : 0.0 sec. user=mdettweiler [2016-11-03 06:14:44] 743*2^1444802-1 is not prime. Res64: 113F8FA210ADD073 Time : 0.0 sec. user=mdettweiler [2016-11-03 06:14:44] 791*2^1444802-1 is not prime. Res64: D5AEBD95C62CCE0B Time : 0.0 sec. user=mdettweiler [2016-11-03 06:14:44] 797*2^1444802-1 is not prime. Res64: E30A2A51FE8B2875 Time : 0.0 sec. user=mdettweiler [2016-11-03 06:14:44] 915*2^1444802-1 is not prime. Res64: EDAFE1A5C3B3BBCB Time : 0.0 sec. user=mdettweiler [2016-11-03 06:14:44] 951*2^1444802-1 is not prime. Res64: 46B61865BC4AD9AC Time : 0.0 sec. user=mdettweiler [2016-11-03 06:20:28] 963*2^1444802-1 is not prime. Res64: A00E820869F0376C Time : 0.0 sec. user=mdettweiler [2016-11-03 06:20:29] 981*2^1444802-1 is not prime. Res64: DA547AC23EEC11B1 Time : 0.0 sec. user=mdettweiler [2016-11-03 06:20:30] 619*2^1444803-1 is not prime. Res64: EE582F221466CA1D Time : 0.0 sec. user=mdettweiler [2016-11-03 06:20:30] 669*2^1444803-1 is not prime. Res64: 8D0E137A0200C77A Time : 0.0 sec. user=mdettweiler [2016-11-03 06:20:31] 699*2^1444803-1 is not prime. Res64: 40375D03088EE054 Time : 0.0 sec. user=mdettweiler [2016-11-03 06:32:47] 793*2^1444803-1 is not prime. Res64: 009AD934E222C4E9 Time : 0.0 sec. user=mdettweiler [2016-11-03 06:32:47] 805*2^1444803-1 is not prime. Res64: AB45842007F48C97 Time : 0.0 sec. user=mdettweiler [2016-11-03 06:32:47] 885*2^1444803-1 is not prime. Res64: 2B6E622801430D9D Time : 0.0 sec. user=mdettweiler [2016-11-03 06:32:47] 913*2^1444803-1 is not prime. Res64: 012EBE30403BF7C2 Time : 0.0 sec. user=mdettweiler [2016-11-03 06:32:48] 943*2^1444803-1 is not prime. Res64: 800BEE8D3967063A Time : 0.0 sec. user=mdettweiler [2016-11-03 06:55:55] 945*2^1444803-1 is not prime. Res64: 0350C7AFA936AD89 Time : 0.0 sec. user=mdettweiler [2016-11-03 06:55:55] 955*2^1444803-1 is not prime. Res64: 8FF07196C5F1460D Time : 0.0 sec. user=mdettweiler [2016-11-03 06:55:56] 635*2^1444804-1 is not prime. Res64: DB6F1124E8255FA9 Time : 0.0 sec. user=mdettweiler [2016-11-03 06:55:56] 663*2^1444804-1 is not prime. Res64: A987E8B17F389FCB Time : 0.0 sec. user=mdettweiler [2016-11-03 06:55:56] 705*2^1444804-1 is not prime. Res64: 7C3DEFA87158DC06 Time : 0.0 sec. user=mdettweiler [2016-11-03 06:59:38] 785*2^1444804-1 is not prime. Res64: 7C63F581EA18F585 Time : 0.0 sec. user=mdettweiler [2016-11-03 06:59:38] 887*2^1444804-1 is not prime. Res64: EAB5113C384F38C4 Time : 0.0 sec. user=mdettweiler [2016-11-03 06:59:38] 903*2^1444804-1 is not prime. Res64: F2C6F1B769B22144 Time : 0.0 sec. user=mdettweiler [2016-11-03 06:59:38] 859*2^1444805-1 is not prime. Res64: 83170BCAD42A6745 Time : 0.0 sec. user=mdettweiler [2016-11-03 06:59:39] 907*2^1444805-1 is not prime. Res64: 58C13A7EE6F22BFC Time : 0.0 sec. user=mdettweiler [2016-11-03 07:05:17] 937*2^1444805-1 is not prime. Res64: E1A1C283314D42DA Time : 0.0 sec. user=mdettweiler [2016-11-03 07:05:19] 955*2^1444805-1 is not prime. Res64: 29ECB8D30AD435BF Time : 0.0 sec. user=mdettweiler [2016-11-03 07:05:20] 615*2^1444806-1 is not prime. Res64: 049DFF673E0B1AC6 Time : 0.0 sec. user=mdettweiler [2016-11-03 07:05:21] 635*2^1444806-1 is not prime. Res64: D6449E21A10B8F2D Time : 0.0 sec. user=mdettweiler [2016-11-03 07:05:23] 717*2^1444806-1 is not prime. Res64: 058013BA6DE7445A Time : 0.0 sec. user=mdettweiler [2016-11-03 07:17:38] 975*2^1444806-1 is not prime. Res64: BDAE8F86CACD01C6 Time : 0.0 sec. user=mdettweiler [2016-11-03 07:17:39] 993*2^1444806-1 is not prime. Res64: 0D54CED35B9A8D0D Time : 0.0 sec. user=mdettweiler [2016-11-03 07:17:39] 1001*2^1444806-1 is not prime. Res64: 2B42E6F41DB70E9F Time : 0.0 sec. user=mdettweiler [2016-11-03 07:17:39] 685*2^1444807-1 is not prime. Res64: 9AD21BA9FC383ECD Time : 0.0 sec. user=mdettweiler [2016-11-03 07:17:39] 841*2^1444807-1 is not prime. Res64: 237285D9658AE703 Time : 0.0 sec. user=mdettweiler [2016-11-03 07:40:56] 843*2^1444807-1 is not prime. Res64: 97FDE2131C4FEEA7 Time : 0.0 sec. user=mdettweiler [2016-11-03 07:40:56] 891*2^1444807-1 is not prime. Res64: B7FEA34371092D6B Time : 0.0 sec. user=mdettweiler [2016-11-03 07:40:56] 925*2^1444807-1 is not prime. Res64: 353BE0305253B5F9 Time : 0.0 sec. user=mdettweiler [2016-11-03 07:40:56] 933*2^1444807-1 is not prime. Res64: BB8537E1F852BA08 Time : 0.0 sec. user=mdettweiler [2016-11-03 07:40:57] 961*2^1444807-1 is not prime. Res64: 3A8D7A3D726DCE56 Time : 0.0 sec. user=mdettweiler [2016-11-03 07:44:38] 975*2^1444807-1 is not prime. Res64: B525345AFE57D664 Time : 0.0 sec. user=mdettweiler [2016-11-03 07:44:38] 985*2^1444807-1 is not prime. Res64: EA2FA5C2FCC1B44B Time : 0.0 sec. user=mdettweiler [2016-11-03 07:44:38] 617*2^1444808-1 is not prime. Res64: F9B8687A88790AE7 Time : 0.0 sec. user=mdettweiler [2016-11-03 07:44:38] 629*2^1444808-1 is not prime. Res64: 4EC59BBA1385B257 Time : 0.0 sec. user=mdettweiler [2016-11-03 07:44:39] 735*2^1444808-1 is not prime. Res64: 7B958F6D6091B518 Time : 0.0 sec. user=mdettweiler [2016-11-03 07:50:22] 753*2^1444808-1 is not prime. Res64: 5328D9E281B1DFFD Time : 0.0 sec. user=mdettweiler [2016-11-03 07:50:22] 839*2^1444808-1 is not prime. Res64: 1B091771837DC115 Time : 0.0 sec. user=mdettweiler [2016-11-03 07:50:22] 927*2^1444808-1 is not prime. Res64: 3C4AF734CDA90EFC Time : 0.0 sec. user=mdettweiler [2016-11-03 07:50:23] 945*2^1444808-1 is not prime. Res64: F3E4DF4D55669C36 Time : 0.0 sec. user=mdettweiler [2016-11-03 07:50:23] 657*2^1444809-1 is not prime. Res64: 9CBED1A5964D65AD Time : 0.0 sec. user=mdettweiler [2016-11-03 08:02:18] 691*2^1444809-1 is not prime. Res64: CBB26EF1C25EE431 Time : 0.0 sec. user=mdettweiler [2016-11-03 08:02:20] 727*2^1444809-1 is not prime. Res64: E9521C7C629175E8 Time : 0.0 sec. user=mdettweiler [2016-11-03 08:02:22] 807*2^1444809-1 is not prime. Res64: 9E7D76A94D396D11 Time : 0.0 sec. user=mdettweiler [2016-11-03 08:02:23] 945*2^1444809-1 is not prime. Res64: 61AD42D8091BF3FD Time : 0.0 sec. user=mdettweiler [2016-11-03 08:02:24] 951*2^1444809-1 is not prime. Res64: 288AFABE53AE3637 Time : 0.0 sec. user=mdettweiler [2016-11-03 08:26:06] 975*2^1444809-1 is not prime. Res64: 9381A1338631C443 Time : 0.0 sec. user=mdettweiler [2016-11-03 08:26:07] 991*2^1444809-1 is not prime. Res64: 9CE852434D5C8761 Time : 0.0 sec. user=mdettweiler [2016-11-03 08:26:07] 695*2^1444810-1 is not prime. Res64: E33D078E05EC0F20 Time : 0.0 sec. user=mdettweiler [2016-11-03 08:26:08] 713*2^1444810-1 is not prime. Res64: 5F5C0C998F72487C Time : 0.0 sec. user=mdettweiler [2016-11-03 08:26:08] 717*2^1444810-1 is not prime. Res64: 4AD4D41D2D400E1B Time : 0.0 sec. user=mdettweiler [2016-11-03 08:29:26] 791*2^1444810-1 is not prime. Res64: F9715E44AFC3098A Time : 0.0 sec. user=mdettweiler [2016-11-03 08:29:26] 801*2^1444810-1 is not prime. Res64: 310243C5C9CE5D54 Time : 0.0 sec. user=mdettweiler [2016-11-03 08:29:27] 813*2^1444810-1 is not prime. Res64: 78AF413087A971E8 Time : 0.0 sec. user=mdettweiler [2016-11-03 08:29:28] 831*2^1444810-1 is not prime. Res64: 6C024BFFF82770A1 Time : 0.0 sec. user=mdettweiler [2016-11-03 08:29:28] 945*2^1444810-1 is not prime. Res64: E96B3BEA5FB588A2 Time : 0.0 sec. user=mdettweiler [2016-11-03 08:35:08] 609*2^1444811-1 is not prime. Res64: 39BAB3C77F42B1D7 Time : 0.0 sec. user=mdettweiler [2016-11-03 08:35:08] 855*2^1444811-1 is not prime. Res64: 351B34A3C5D2A010 Time : 0.0 sec. user=mdettweiler [2016-11-03 08:35:09] 767*2^1444812-1 is not prime. Res64: 6FF5BC07EAF9006E Time : 0.0 sec. user=mdettweiler [2016-11-03 08:35:09] 899*2^1444812-1 is not prime. Res64: 582B08D99F26D1BF Time : 0.0 sec. user=mdettweiler [2016-11-03 08:35:09] 983*2^1444812-1 is not prime. Res64: F959719A2959DDD6 Time : 0.0 sec. user=mdettweiler [2016-11-03 08:47:30] 615*2^1444813-1 is not prime. Res64: 5069E7A36CF3DE74 Time : 0.0 sec. user=mdettweiler [2016-11-03 08:47:30] 619*2^1444813-1 is not prime. Res64: 83773B7D8C433022 Time : 0.0 sec. user=mdettweiler [2016-11-03 08:47:30] 747*2^1444813-1 is not prime. Res64: 6ACDCFB6C783E458 Time : 0.0 sec. user=mdettweiler [2016-11-03 08:47:30] 751*2^1444813-1 is not prime. Res64: 0AE87A254A2660A4 Time : 0.0 sec. user=mdettweiler [2016-11-03 08:47:30] 805*2^1444813-1 is not prime. Res64: B1B99378BC7E9B66 Time : 0.0 sec. user=mdettweiler [2016-11-03 09:11:08] 855*2^1444813-1 is not prime. Res64: 7A0AC0A106B0C935 Time : 0.0 sec. user=mdettweiler [2016-11-03 09:11:08] 915*2^1444813-1 is not prime. Res64: F6341C4E286D740D Time : 0.0 sec. user=mdettweiler [2016-11-03 09:11:09] 919*2^1444813-1 is not prime. Res64: 27BA4D64ECFC92CD Time : 0.0 sec. user=mdettweiler [2016-11-03 09:11:09] 623*2^1444814-1 is not prime. Res64: C5A919FD03AFB4F3 Time : 0.0 sec. user=mdettweiler [2016-11-03 09:11:09] 827*2^1444814-1 is not prime. Res64: 96C7CEEE6E4DEAF8 Time : 0.0 sec. user=mdettweiler [2016-11-03 09:14:23] 887*2^1444814-1 is not prime. Res64: BCE173A41438BB08 Time : 0.0 sec. user=mdettweiler [2016-11-03 09:14:24] 953*2^1444814-1 is not prime. Res64: 1836AF5D0E583964 Time : 0.0 sec. user=mdettweiler [2016-11-03 09:14:24] 639*2^1444815-1 is not prime. Res64: 13E5539228207F47 Time : 0.0 sec. user=mdettweiler [2016-11-03 09:14:25] 643*2^1444815-1 is not prime. Res64: 61A12ED66935DD85 Time : 0.0 sec. user=mdettweiler [2016-11-03 09:14:26] 675*2^1444815-1 is not prime. Res64: 422561C0BE094DB2 Time : 0.0 sec. user=mdettweiler [2016-11-03 09:20:14] 781*2^1444815-1 is not prime. Res64: D9DEB58A704EE2E3 Time : 0.0 sec. user=mdettweiler [2016-11-03 09:20:14] 793*2^1444815-1 is not prime. Res64: 9AE9084107C10EC1 Time : 0.0 sec. user=mdettweiler [2016-11-03 09:20:14] 819*2^1444815-1 is not prime. Res64: 8FF0759AE5B6E708 Time : 0.0 sec. user=mdettweiler [2016-11-03 09:20:15] 861*2^1444815-1 is not prime. Res64: 04B66A4F36E0E12E Time : 0.0 sec. user=mdettweiler [2016-11-03 09:20:15] 885*2^1444815-1 is not prime. Res64: D019DC0A9A95E7F5 Time : 0.0 sec. user=mdettweiler [2016-11-03 09:32:23] 895*2^1444815-1 is not prime. Res64: 80CBA896CB4E8525 Time : 0.0 sec. user=mdettweiler [2016-11-03 09:32:24] 615*2^1444816-1 is not prime. Res64: 769D2689FD414949 Time : 0.0 sec. user=mdettweiler [2016-11-03 09:32:24] 695*2^1444816-1 is not prime. Res64: 4F3C2B8635C7CF7B Time : 0.0 sec. user=mdettweiler [2016-11-03 09:32:24] 855*2^1444816-1 is not prime. Res64: 3DEE509B578B4DCD Time : 0.0 sec. user=mdettweiler [2016-11-03 09:32:24] 927*2^1444816-1 is not prime. Res64: 569A7B38D917A91A Time : 0.0 sec. user=mdettweiler [2016-11-03 09:56:09] 969*2^1444816-1 is not prime. Res64: 4F2A9C9BE03CB8C7 Time : 0.0 sec. user=mdettweiler [2016-11-03 09:56:09] 649*2^1444817-1 is not prime. Res64: 3DB26F6D57E79228 Time : 0.0 sec. user=mdettweiler [2016-11-03 09:56:09] 675*2^1444817-1 is not prime. Res64: 8555DDC75DA68146 Time : 0.0 sec. user=mdettweiler [2016-11-03 09:56:09] 699*2^1444817-1 is not prime. Res64: 7EA049ED2F29EE88 Time : 0.0 sec. user=mdettweiler [2016-11-03 09:56:10] 741*2^1444817-1 is not prime. Res64: 7673C3D5DDD50C0E Time : 0.0 sec. user=mdettweiler [2016-11-03 09:59:22] 795*2^1444817-1 is not prime. Res64: BCD7B1D2C40FDA63 Time : 0.0 sec. user=mdettweiler [2016-11-03 09:59:22] 865*2^1444817-1 is not prime. Res64: 524CEC75D230F71E Time : 0.0 sec. user=mdettweiler [2016-11-03 09:59:22] 611*2^1444818-1 is not prime. Res64: B7DF569F9F637472 Time : 0.0 sec. user=mdettweiler [2016-11-03 09:59:22] 641*2^1444818-1 is not prime. Res64: BC9AE2C38D8CE0B9 Time : 0.0 sec. user=mdettweiler [2016-11-03 09:59:22] 737*2^1444818-1 is not prime. Res64: 82CC2B71AFBD46DD Time : 0.0 sec. user=mdettweiler [2016-11-03 10:05:13] 747*2^1444818-1 is not prime. Res64: BAC9AC23926D8198 Time : 0.0 sec. user=mdettweiler [2016-11-03 10:05:15] 791*2^1444818-1 is not prime. Res64: FF0908DDC0FA63AC Time : 0.0 sec. user=mdettweiler [2016-11-03 10:05:17] 815*2^1444818-1 is not prime. Res64: B689A76B8FD38C91 Time : 0.0 sec. user=mdettweiler [2016-11-03 10:05:18] 887*2^1444818-1 is not prime. Res64: 91B08CF1037F53FF Time : 0.0 sec. user=mdettweiler [2016-11-03 10:05:18] 619*2^1444819-1 is not prime. Res64: 9EE1A8644C91CC64 Time : 0.0 sec. user=mdettweiler [2016-11-03 10:17:14] 649*2^1444819-1 is not prime. Res64: 4174FF9D7102A388 Time : 0.0 sec. user=mdettweiler [2016-11-03 10:17:16] 675*2^1444819-1 is not prime. Res64: 2447E7EE8DE01D1D Time : 0.0 sec. user=mdettweiler [2016-11-03 10:17:19] 705*2^1444819-1 is not prime. Res64: 99A59EA91F515546 Time : 0.0 sec. user=mdettweiler [2016-11-03 10:17:20] 723*2^1444819-1 is not prime. Res64: 9F76DE086B9F3FEC Time : 0.0 sec. user=mdettweiler [2016-11-03 10:17:21] 789*2^1444819-1 is not prime. Res64: 0C2B4F2178C4497C Time : 0.0 sec. user=mdettweiler [2016-11-03 10:41:03] 609*2^1444820-1 is not prime. Res64: 5A56C474B614CD7E Time : 0.0 sec. user=mdettweiler [2016-11-03 10:41:03] 669*2^1444820-1 is not prime. Res64: D96026F9ED53B668 Time : 0.0 sec. user=mdettweiler [2016-11-03 10:41:04] 759*2^1444820-1 is not prime. Res64: 7E327E1C0EDE4BD2 Time : 0.0 sec. user=mdettweiler [2016-11-03 10:41:04] 827*2^1444820-1 is not prime. Res64: B034B717D2FC3D05 Time : 0.0 sec. user=mdettweiler [2016-11-03 10:41:04] 935*2^1444820-1 is not prime. Res64: 08797DEEA830FDF6 Time : 0.0 sec. user=mdettweiler [2016-11-03 10:44:11] 963*2^1444820-1 is not prime. Res64: 30AF05D49C8FDFD7 Time : 0.0 sec. user=mdettweiler [2016-11-03 10:44:11] 625*2^1444821-1 is not prime. Res64: 7A43C8B01AA09E2D Time : 0.0 sec. user=mdettweiler [2016-11-03 10:44:11] 639*2^1444821-1 is not prime. Res64: C0A876BDD3C682E4 Time : 0.0 sec. user=mdettweiler [2016-11-03 10:44:12] 781*2^1444821-1 is not prime. Res64: DF7E6B03A01A144D Time : 0.0 sec. user=mdettweiler [2016-11-03 10:44:12] 805*2^1444821-1 is not prime. Res64: 9E338CBD13A086D2 Time : 0.0 sec. user=mdettweiler [2016-11-03 10:50:23] 867*2^1444821-1 is not prime. Res64: 82E4175BBE3F7245 Time : 0.0 sec. user=mdettweiler [2016-11-03 10:50:23] 921*2^1444821-1 is not prime. Res64: B8B5464B82E5800C Time : 0.0 sec. user=mdettweiler [2016-11-03 10:50:23] 997*2^1444821-1 is not prime. Res64: B3A72F51D84AFE48 Time : 0.0 sec. user=mdettweiler [2016-11-03 10:50:24] 671*2^1444822-1 is not prime. Res64: A9AD45EE0BB75136 Time : 0.0 sec. user=mdettweiler [2016-11-03 10:50:24] 785*2^1444822-1 is not prime. Res64: 75B43A6FD4BF76DE Time : 0.0 sec. user=mdettweiler [2016-11-03 11:02:13] 857*2^1444822-1 is not prime. Res64: FD6B80B70FA30D77 Time : 0.0 sec. user=mdettweiler [2016-11-03 11:02:15] 965*2^1444822-1 is not prime. Res64: 1732DDA87F1C8398 Time : 0.0 sec. user=mdettweiler [2016-11-03 11:02:16] 981*2^1444822-1 is not prime. Res64: 6DAE18034E9FDDE0 Time : 0.0 sec. user=mdettweiler [2016-11-03 11:02:17] 1001*2^1444822-1 is not prime. Res64: 3CE88735013CACC2 Time : 0.0 sec. user=mdettweiler [2016-11-03 11:02:18] 615*2^1444823-1 is not prime. Res64: 79000A690954D1F9 Time : 0.0 sec. user=mdettweiler [2016-11-03 11:26:15] 739*2^1444823-1 is not prime. Res64: 163E95D22838EB91 Time : 0.0 sec. user=mdettweiler [2016-11-03 11:26:16] 775*2^1444823-1 is not prime. Res64: B648F09DB564C85F Time : 0.0 sec. user=mdettweiler [2016-11-03 11:26:16] 811*2^1444823-1 is not prime. Res64: E76516CDF7E54136 Time : 0.0 sec. user=mdettweiler [2016-11-03 11:26:16] 813*2^1444823-1 is not prime. Res64: B7A190A627A5664D Time : 0.0 sec. user=mdettweiler [2016-11-03 11:26:16] 963*2^1444823-1 is not prime. Res64: 47BCD9815039E90F Time : 0.0 sec. user=mdettweiler [2016-11-03 11:29:30] 969*2^1444823-1 is not prime. Res64: 4334022D4BCF1AD3 Time : 0.0 sec. user=mdettweiler [2016-11-03 11:29:30] 981*2^1444823-1 is not prime. Res64: AEDE48E120930E92 Time : 0.0 sec. user=mdettweiler [2016-11-03 11:29:30] 627*2^1444824-1 is not prime. Res64: DA9F049FBB578C1D Time : 0.0 sec. user=mdettweiler [2016-11-03 11:29:30] 843*2^1444824-1 is not prime. Res64: FB1111EF605A324F Time : 0.0 sec. user=mdettweiler [2016-11-03 11:29:30] 863*2^1444824-1 is not prime. Res64: 32244504F711F27B Time : 0.0 sec. user=mdettweiler [2016-11-03 11:35:27] 929*2^1444824-1 is not prime. Res64: A84CC6A10891C676 Time : 0.0 sec. user=mdettweiler [2016-11-03 11:35:28] 947*2^1444824-1 is not prime. Res64: 224600D6DD005D42 Time : 0.0 sec. user=mdettweiler [2016-11-03 11:35:28] 649*2^1444825-1 is not prime. Res64: 24E2422F71078ED9 Time : 0.0 sec. user=mdettweiler [2016-11-03 11:35:28] 661*2^1444825-1 is not prime. Res64: B50EBC3549A6CCFC Time : 0.0 sec. user=mdettweiler [2016-11-03 11:35:28] 687*2^1444825-1 is not prime. Res64: AAB8D92819638CD4 Time : 0.0 sec. user=mdettweiler [2016-11-03 11:47:21] 847*2^1444825-1 is not prime. Res64: 5774783775E8BFEE Time : 0.0 sec. user=mdettweiler [2016-11-03 11:47:21] 975*2^1444825-1 is not prime. Res64: 692BBAE0D4885AEA Time : 0.0 sec. user=mdettweiler [2016-11-03 11:47:21] 707*2^1444826-1 is not prime. Res64: 45D248856B9172A5 Time : 0.0 sec. user=mdettweiler [2016-11-03 11:47:22] 713*2^1444826-1 is not prime. Res64: C86381BB6A4E66ED Time : 0.0 sec. user=mdettweiler [2016-11-03 11:47:22] 767*2^1444826-1 is not prime. Res64: 8A7D16CA1FA914E4 Time : 0.0 sec. user=mdettweiler [2016-11-03 12:11:04] 813*2^1444826-1 is not prime. Res64: 3915C8586748C70F Time : 0.0 sec. user=mdettweiler [2016-11-03 12:11:05] 825*2^1444826-1 is not prime. Res64: 6200E26CE84AC4B6 Time : 0.0 sec. user=mdettweiler [2016-11-03 12:11:05] 935*2^1444826-1 is not prime. Res64: 4D4E0CC32978FD75 Time : 0.0 sec. user=mdettweiler [2016-11-03 12:11:05] 835*2^1444827-1 is not prime. Res64: C52ACBF0EAF836B0 Time : 0.0 sec. user=mdettweiler [2016-11-03 12:11:06] 859*2^1444827-1 is not prime. Res64: 2C4C864C276917CD Time : 0.0 sec. user=mdettweiler [2016-11-03 12:14:19] 749*2^1444828-1 is not prime. Res64: 5E0EAAB9221112B2 Time : 0.0 sec. user=mdettweiler [2016-11-03 12:14:20] 655*2^1444829-1 is not prime. Res64: 33297E57287702ED Time : 0.0 sec. user=mdettweiler [2016-11-03 12:14:20] 657*2^1444829-1 is not prime. Res64: 9705CF09C24CD6A4 Time : 0.0 sec. user=mdettweiler [2016-11-03 12:14:20] 685*2^1444829-1 is not prime. Res64: AE7FAF6F5AC61E3D Time : 0.0 sec. user=mdettweiler [2016-11-03 12:14:20] 831*2^1444829-1 is not prime. Res64: 08F005E56110DDD2 Time : 0.0 sec. user=mdettweiler [2016-11-03 12:20:26] 967*2^1444829-1 is not prime. Res64: 01555536C8CC913B Time : 0.0 sec. user=mdettweiler [2016-11-03 12:20:27] 979*2^1444829-1 is not prime. Res64: 394CE9424B6438A0 Time : 0.0 sec. user=mdettweiler [2016-11-03 12:20:27] 611*2^1444830-1 is not prime. Res64: EE77D0C94DEDB36E Time : 0.0 sec. user=mdettweiler [2016-11-03 12:20:28] 717*2^1444830-1 is not prime. Res64: 99CAB2A3F920BECF Time : 0.0 sec. user=mdettweiler [2016-11-03 12:20:28] 777*2^1444830-1 is not prime. Res64: 07FA121523E9CAAF Time : 0.0 sec. user=mdettweiler [2016-11-03 12:32:20] 795*2^1444830-1 is not prime. Res64: 2379A5C5D1AAAA13 Time : 0.0 sec. user=mdettweiler [2016-11-03 12:32:20] 801*2^1444830-1 is not prime. Res64: 9621DEA136ECAC7E Time : 0.0 sec. user=mdettweiler [2016-11-03 12:32:20] 843*2^1444830-1 is not prime. Res64: 776A4A769749AD26 Time : 0.0 sec. user=mdettweiler [2016-11-03 12:32:20] 845*2^1444830-1 is not prime. Res64: F6361B0030F78E5B Time : 0.0 sec. user=mdettweiler [2016-11-03 12:32:21] 933*2^1444830-1 is not prime. Res64: 37945744523DBA2C Time : 0.0 sec. user=mdettweiler [2016-11-03 12:56:26] 963*2^1444830-1 is not prime. Res64: F694EBEEFD66F9C0 Time : 0.0 sec. user=mdettweiler [2016-11-03 12:56:26] 625*2^1444831-1 is not prime. Res64: 50FDBAABE53E6B1E Time : 0.0 sec. user=mdettweiler [2016-11-03 12:56:26] 709*2^1444831-1 is not prime. Res64: E415CA6894581915 Time : 0.0 sec. user=mdettweiler [2016-11-03 12:56:27] 617*2^1444832-1 is not prime. Res64: CEDC2ABC53CA3999 Time : 0.0 sec. user=mdettweiler [2016-11-03 12:56:27] 677*2^1444832-1 is not prime. Res64: D2A04A8AFC901E6C Time : 0.0 sec. user=mdettweiler [2016-11-03 12:59:57] 833*2^1444832-1 is not prime. Res64: CEA914835173C4F8 Time : 0.0 sec. user=mdettweiler [2016-11-03 12:59:57] 875*2^1444832-1 is not prime. Res64: 9C068E1933C02BB3 Time : 0.0 sec. user=mdettweiler [2016-11-03 12:59:58] 903*2^1444832-1 is not prime. Res64: F0DFCFC00200C20F Time : 0.0 sec. user=mdettweiler [2016-11-03 12:59:58] 945*2^1444832-1 is not prime. Res64: 84C5AF912889C468 Time : 0.0 sec. user=mdettweiler [2016-11-03 12:59:58] 963*2^1444832-1 is not prime. Res64: 683B14EE9ED91F8B Time : 0.0 sec. user=mdettweiler [2016-11-03 13:06:06] 995*2^1444832-1 is not prime. Res64: 65F8BEE6F2E1F416 Time : 0.0 sec. user=mdettweiler [2016-11-03 13:06:07] 609*2^1444833-1 is not prime. Res64: 53F19BA74A5F8E9E Time : 0.0 sec. user=mdettweiler [2016-11-03 13:06:08] 669*2^1444833-1 is not prime. Res64: D51BFC9DB0F6F4FC Time : 0.0 sec. user=mdettweiler [2016-11-03 13:06:09] 675*2^1444833-1 is not prime. Res64: CEF009048E5D7926 Time : 0.0 sec. user=mdettweiler [2016-11-03 13:06:10] 691*2^1444833-1 is not prime. Res64: 0719F5D909EE813D Time : 0.0 sec. user=mdettweiler [2016-11-03 13:18:41] 751*2^1444833-1 is not prime. Res64: AE885C6F6552BA72 Time : 0.0 sec. user=mdettweiler [2016-11-03 13:18:42] 795*2^1444833-1 is not prime. Res64: 1563D014E9B8495B Time : 0.0 sec. user=mdettweiler [2016-11-03 13:18:42] 811*2^1444833-1 is not prime. Res64: 4A3AD94FE01ABA0F Time : 0.0 sec. user=mdettweiler [2016-11-03 13:18:43] 829*2^1444833-1 is not prime. Res64: A11A597DBB50FB8D Time : 0.0 sec. user=mdettweiler [2016-11-03 13:18:44] 945*2^1444833-1 is not prime. Res64: 44F59E79AA96D603 Time : 0.0 sec. user=mdettweiler [2016-11-03 13:46:45] 991*2^1444833-1 is not prime. Res64: 6D373DABB7A91AB2 Time : 0.0 sec. user=mdettweiler [2016-11-03 13:46:45] 681*2^1444834-1 is not prime. Res64: C9C4B2DBA7D381C5 Time : 0.0 sec. user=mdettweiler [2016-11-03 13:46:46] 737*2^1444834-1 is not prime. Res64: 77066B77F8B95932 Time : 0.0 sec. user=mdettweiler [2016-11-03 13:46:47] 741*2^1444834-1 is not prime. Res64: 693F1A14840C3450 Time : 0.0 sec. user=mdettweiler [2016-11-03 13:46:47] 803*2^1444834-1 is not prime. Res64: 4A79BF014DE4CF81 Time : 0.0 sec. user=mdettweiler [2016-11-03 13:50:19] 861*2^1444834-1 is not prime. Res64: BD87AC2CE5F4642E Time : 0.0 sec. user=mdettweiler [2016-11-03 13:50:19] 675*2^1444835-1 is not prime. Res64: C718152405DDA796 Time : 0.0 sec. user=mdettweiler [2016-11-03 13:50:20] 685*2^1444835-1 is not prime. Res64: D03BB161C6142364 Time : 0.0 sec. user=mdettweiler [2016-11-03 13:50:20] 753*2^1444835-1 is not prime. Res64: 56BA0F1AAC26BD20 Time : 0.0 sec. user=mdettweiler [2016-11-03 13:50:20] 823*2^1444835-1 is not prime. Res64: 3EB010EE6F432021 Time : 0.0 sec. user=mdettweiler [2016-11-03 13:56:27] 647*2^1444836-1 is not prime. Res64: 08BF2E0CA3730B4E Time : 0.0 sec. user=mdettweiler [2016-11-03 13:56:28] 803*2^1444836-1 is not prime. Res64: B9C34D7080F4433A Time : 0.0 sec. user=mdettweiler [2016-11-03 13:56:28] 845*2^1444836-1 is not prime. Res64: F21E3C739DFFDF37 Time : 0.0 sec. user=mdettweiler [2016-11-03 13:56:28] 975*2^1444836-1 is not prime. Res64: 6DD98AAA18D22AD2 Time : 0.0 sec. user=mdettweiler [2016-11-03 13:56:29] 607*2^1444837-1 is not prime. Res64: C451E42B4EB2A537 Time : 0.0 sec. user=mdettweiler [2016-11-03 14:09:10] 649*2^1444837-1 is not prime. Res64: 78D8CBD10A08DAE2 Time : 0.0 sec. user=mdettweiler [2016-11-03 14:09:10] 715*2^1444837-1 is not prime. Res64: D9E632A9A9CC3D4F Time : 0.0 sec. user=mdettweiler [2016-11-03 14:09:11] 729*2^1444837-1 is not prime. Res64: 9164AF9AC1507CE4 Time : 0.0 sec. user=mdettweiler [2016-11-03 14:09:11] 741*2^1444837-1 is not prime. Res64: 2D9F81A2229CD0A9 Time : 0.0 sec. user=mdettweiler [2016-11-03 14:09:11] 747*2^1444837-1 is not prime. Res64: B53AAACE88B6F300 Time : 0.0 sec. user=mdettweiler [2016-11-03 14:33:03] 831*2^1444837-1 is not prime. Res64: 361F662F8F9F7F29 Time : 0.0 sec. user=mdettweiler [2016-11-03 14:33:03] 861*2^1444837-1 is not prime. Res64: 0F75B54D69984500 Time : 0.0 sec. user=mdettweiler [2016-11-03 14:33:04] 871*2^1444837-1 is not prime. Res64: 6767C16EAC92779D Time : 0.0 sec. user=mdettweiler [2016-11-03 14:33:04] 885*2^1444837-1 is not prime. Res64: 096A0335BED126CE Time : 0.0 sec. user=mdettweiler [2016-11-03 14:33:05] 937*2^1444837-1 is not prime. Res64: F86D9E1D5EE64FA7 Time : 0.0 sec. user=mdettweiler [2016-11-03 14:36:21] 665*2^1444838-1 is not prime. Res64: 1DF03292EB34ECD2 Time : 0.0 sec. user=mdettweiler [2016-11-03 14:36:22] 683*2^1444838-1 is not prime. Res64: 4F95567D8D915EFF Time : 0.0 sec. user=mdettweiler [2016-11-03 14:36:22] 705*2^1444838-1 is not prime. Res64: 9C0090FA4630D76C Time : 0.0 sec. user=mdettweiler [2016-11-03 14:36:23] 731*2^1444838-1 is not prime. Res64: CB47A667A52B9175 Time : 0.0 sec. user=mdettweiler [2016-11-03 14:36:23] 771*2^1444838-1 is not prime. Res64: 34DA1E51A82FBDA2 Time : 0.0 sec. user=mdettweiler [2016-11-03 14:41:46] 773*2^1444838-1 is not prime. Res64: 34946615C0F355ED Time : 0.0 sec. user=mdettweiler [2016-11-03 14:41:47] 791*2^1444838-1 is not prime. Res64: D6DDAFF28D3DA14F Time : 0.0 sec. user=mdettweiler [2016-11-03 14:41:47] 923*2^1444838-1 is not prime. Res64: 534ED3DA79FEA388 Time : 0.0 sec. user=mdettweiler [2016-11-03 14:41:47] 935*2^1444838-1 is not prime. Res64: CC091B2722913456 Time : 0.0 sec. user=mdettweiler [2016-11-03 14:41:48] 957*2^1444838-1 is not prime. Res64: 0D359EFCA429F6F0 Time : 0.0 sec. user=mdettweiler [2016-11-03 14:54:16] 993*2^1444838-1 is not prime. Res64: DA59DD298D661400 Time : 0.0 sec. user=mdettweiler [2016-11-03 14:54:16] 619*2^1444839-1 is not prime. Res64: 5F40B5FFB087AEA6 Time : 0.0 sec. user=mdettweiler [2016-11-03 14:54:17] 865*2^1444839-1 is not prime. Res64: CB14CCD6631581E7 Time : 0.0 sec. user=mdettweiler [2016-11-03 14:54:17] 873*2^1444839-1 is not prime. Res64: 89317375E5120DDD Time : 0.0 sec. user=mdettweiler [2016-11-03 14:54:17] 919*2^1444839-1 is not prime. Res64: 1CC4E55B5BCD5974 Time : 0.0 sec. user=mdettweiler [2016-11-03 15:18:46] 645*2^1444840-1 is not prime. Res64: 9310DB1FDEC556AC Time : 0.0 sec. user=mdettweiler [2016-11-03 15:18:47] 689*2^1444840-1 is not prime. Res64: 1DDF04B2DA8F9DF1 Time : 0.0 sec. user=mdettweiler [2016-11-03 15:18:47] 719*2^1444840-1 is not prime. Res64: 652E1C5AEBC86664 Time : 0.0 sec. user=mdettweiler [2016-11-03 15:18:48] 825*2^1444840-1 is not prime. Res64: B5DAC7F6B9248404 Time : 0.0 sec. user=mdettweiler [2016-11-03 15:18:48] 855*2^1444840-1 is not prime. Res64: BD42E069BC7271D0 Time : 0.0 sec. user=mdettweiler [2016-11-03 15:22:08] 857*2^1444840-1 is not prime. Res64: 8EE6B2C71680FC07 Time : 0.0 sec. user=mdettweiler [2016-11-03 15:22:08] 965*2^1444840-1 is not prime. Res64: 1AC9BC4E4717A9D8 Time : 0.0 sec. user=mdettweiler [2016-11-03 15:22:09] 989*2^1444840-1 is not prime. Res64: 39C8A004BD141C4E Time : 0.0 sec. user=mdettweiler [2016-11-03 15:22:09] 865*2^1444841-1 is not prime. Res64: 763AF86174BC0C93 Time : 0.0 sec. user=mdettweiler [2016-11-03 15:22:10] 867*2^1444841-1 is not prime. Res64: 97245C80BAE5A13E Time : 0.0 sec. user=mdettweiler [2016-11-03 15:27:19] 931*2^1444841-1 is not prime. Res64: 925BCEBA01AC8151 Time : 0.0 sec. user=mdettweiler [2016-11-03 15:27:19] 937*2^1444841-1 is not prime. Res64: 20510EA9860F5C84 Time : 0.0 sec. user=mdettweiler [2016-11-03 15:27:20] 615*2^1444842-1 is not prime. Res64: F2B3278EBA22C8C7 Time : 0.0 sec. user=mdettweiler [2016-11-03 15:27:20] 681*2^1444842-1 is not prime. Res64: FB1DC33237E20E02 Time : 0.0 sec. user=mdettweiler [2016-11-03 15:27:21] 741*2^1444842-1 is not prime. Res64: BDF7BE89E44BA982 Time : 0.0 sec. user=mdettweiler [2016-11-03 15:40:07] 797*2^1444842-1 is not prime. Res64: AD585F38F1B96991 Time : 0.0 sec. user=mdettweiler [2016-11-03 15:40:07] 807*2^1444842-1 is not prime. Res64: DF4C91AEEBD1039D Time : 0.0 sec. user=mdettweiler [2016-11-03 15:40:08] 843*2^1444842-1 is not prime. Res64: EF9C48A17840C170 Time : 0.0 sec. user=mdettweiler [2016-11-03 15:40:08] 945*2^1444842-1 is not prime. Res64: 65E1D31C5B39F9A2 Time : 0.0 sec. user=mdettweiler [2016-11-03 15:40:08] 663*2^1444843-1 is not prime. Res64: DA25944C3468B217 Time : 0.0 sec. user=mdettweiler [2016-11-03 16:04:05] 679*2^1444843-1 is not prime. Res64: F56E2E4A22ED39F5 Time : 0.0 sec. user=mdettweiler [2016-11-03 16:04:07] 745*2^1444843-1 is not prime. Res64: D9EECDCC73F4EE20 Time : 0.0 sec. user=mdettweiler [2016-11-03 16:04:08] 775*2^1444843-1 is not prime. Res64: F356E7F7A2A33494 Time : 0.0 sec. user=mdettweiler [2016-11-03 16:04:10] 805*2^1444843-1 is not prime. Res64: 708FAB93390B2D95 Time : 0.0 sec. user=mdettweiler [2016-11-03 16:04:11] 951*2^1444843-1 is not prime. Res64: E108EB6E813C016A Time : 0.0 sec. user=mdettweiler [2016-11-03 16:07:21] 683*2^1444844-1 is not prime. Res64: CC33F6DF410E8696 Time : 0.0 sec. user=mdettweiler [2016-11-03 16:07:22] 833*2^1444844-1 is not prime. Res64: D7F8F905B8E78999 Time : 0.0 sec. user=mdettweiler [2016-11-03 16:07:22] 893*2^1444844-1 is not prime. Res64: 81BBDE7905F36B5A Time : 0.0 sec. user=mdettweiler [2016-11-03 16:07:23] 609*2^1444845-1 is not prime. Res64: 031EC1FEF6BF062B Time : 0.0 sec. user=mdettweiler [2016-11-03 16:07:24] 625*2^1444845-1 is not prime. Res64: 21FFE6B7D33021A3 Time : 0.0 sec. user=mdettweiler [2016-11-03 16:12:27] 787*2^1444845-1 is not prime. Res64: 60C071BFB80B4E67 Time : 0.0 sec. user=mdettweiler [2016-11-03 16:12:27] 795*2^1444845-1 is not prime. Res64: D9AFBE9609D1580C Time : 0.0 sec. user=mdettweiler [2016-11-03 16:12:28] 961*2^1444845-1 is not prime. Res64: 00D289A453134649 Time : 0.0 sec. user=mdettweiler [2016-11-03 16:12:28] 979*2^1444845-1 is not prime. Res64: 6157D0AEFB96A1CE Time : 0.0 sec. user=mdettweiler [2016-11-03 16:12:29] 651*2^1444846-1 is not prime. Res64: 77F50624D590ED70 Time : 0.0 sec. user=mdettweiler [2016-11-03 16:25:01] 755*2^1444846-1 is not prime. Res64: 623BAF0D78DFD822 Time : 0.0 sec. user=mdettweiler [2016-11-03 16:25:04] 643*2^1444847-1 is not prime. Res64: B4C0A177B9D7FB71 Time : 0.0 sec. user=mdettweiler [2016-11-03 16:25:05] 753*2^1444847-1 is not prime. Res64: 45A89ACDA1F25C18 Time : 0.0 sec. user=mdettweiler [2016-11-03 16:25:07] 781*2^1444847-1 is not prime. Res64: BC5497A6CE4AFAA1 Time : 0.0 sec. user=mdettweiler [2016-11-03 16:25:08] 883*2^1444847-1 is not prime. Res64: B6A172B9BC82C053 Time : 0.0 sec. user=mdettweiler [2016-11-03 16:49:03] 895*2^1444847-1 is not prime. Res64: 4C352019A73F1049 Time : 0.0 sec. user=mdettweiler [2016-11-03 16:49:03] 945*2^1444847-1 is not prime. Res64: 58D86D9CEA9E431D Time : 0.0 sec. user=mdettweiler [2016-11-03 16:49:04] 955*2^1444847-1 is not prime. Res64: 507501191A95D9F2 Time : 0.0 sec. user=mdettweiler [2016-11-03 16:49:04] 629*2^1444848-1 is not prime. Res64: 1147C81BDB27AA3C Time : 0.0 sec. user=mdettweiler [2016-11-03 16:49:04] 639*2^1444848-1 is not prime. Res64: C16471DDA225702A Time : 0.0 sec. user=mdettweiler [2016-11-03 16:52:17] 723*2^1444848-1 is not prime. Res64: 7B5061429C63C4CF Time : 0.0 sec. user=mdettweiler [2016-11-03 16:52:18] 767*2^1444848-1 is not prime. Res64: A4A989F20D96AB51 Time : 0.0 sec. user=mdettweiler [2016-11-03 16:52:18] 797*2^1444848-1 is not prime. Res64: 40F5D200B9554461 Time : 0.0 sec. user=mdettweiler [2016-11-03 16:52:18] 837*2^1444848-1 is not prime. Res64: F46F2407A9C1EFB7 Time : 0.0 sec. user=mdettweiler [2016-11-03 16:52:19] 879*2^1444848-1 is not prime. Res64: C07A288C0D6C964C Time : 0.0 sec. user=mdettweiler [2016-11-03 16:57:20] 929*2^1444848-1 is not prime. Res64: C0792FB44121F2DF Time : 0.0 sec. user=mdettweiler [2016-11-03 16:57:20] 765*2^1444849-1 is not prime. Res64: F8AB208695C8AFB0 Time : 0.0 sec. user=mdettweiler [2016-11-03 16:57:20] 855*2^1444849-1 is not prime. Res64: B2A3CBFE59B204B0 Time : 0.0 sec. user=mdettweiler [2016-11-03 16:57:21] 711*2^1444850-1 is not prime. Res64: 853B978E1F8852E3 Time : 0.0 sec. user=mdettweiler [2016-11-03 16:57:21] 791*2^1444850-1 is not prime. Res64: 34DFDCF1E6441A7D Time : 0.0 sec. user=mdettweiler [2016-11-03 17:10:14] 801*2^1444850-1 is not prime. Res64: 21E4010E3524D963 Time : 0.0 sec. user=mdettweiler [2016-11-03 17:10:15] 845*2^1444850-1 is not prime. Res64: EDA26303AD06F4B8 Time : 0.0 sec. user=mdettweiler [2016-11-03 17:10:19] 861*2^1444850-1 is not prime. Res64: 7C3E0C34DCB50DD2 Time : 0.0 sec. user=mdettweiler [2016-11-03 17:10:22] 923*2^1444850-1 is not prime. Res64: 56F0047D0CC4BDDA Time : 0.0 sec. user=mdettweiler [2016-11-03 17:10:25] 935*2^1444850-1 is not prime. Res64: D5F7745CECFF3C02 Time : 0.0 sec. user=mdettweiler [2016-11-03 17:34:48] 625*2^1444851-1 is not prime. Res64: 1BD687A39009C8DC Time : 0.0 sec. user=mdettweiler [2016-11-03 17:34:48] 643*2^1444851-1 is not prime. Res64: D0F8100C0E1AEF02 Time : 0.0 sec. user=mdettweiler [2016-11-03 17:34:49] 669*2^1444851-1 is not prime. Res64: CDB05F271BCF03C0 Time : 0.0 sec. user=mdettweiler [2016-11-03 17:34:49] 829*2^1444851-1 is not prime. Res64: F7517A65E75274F9 Time : 0.0 sec. user=mdettweiler [2016-11-03 17:34:50] 885*2^1444851-1 is not prime. Res64: 90EF712874B60339 Time : 0.0 sec. user=mdettweiler [2016-11-03 17:37:57] 903*2^1444851-1 is not prime. Res64: 6B07FBEF8E07EFB6 Time : 0.0 sec. user=mdettweiler [2016-11-03 17:37:59] 961*2^1444851-1 is not prime. Res64: 1DA7360F8B75EB10 Time : 0.0 sec. user=mdettweiler [2016-11-03 17:38:01] 979*2^1444851-1 is not prime. Res64: C69570952F947441 Time : 0.0 sec. user=mdettweiler [2016-11-03 17:38:03] 615*2^1444852-1 is not prime. Res64: 45E66BA9C002AB74 Time : 0.0 sec. user=mdettweiler [2016-11-03 17:38:06] 639*2^1444852-1 is not prime. Res64: 5682268DD494E2BD Time : 0.0 sec. user=mdettweiler [2016-11-03 17:42:57] 777*2^1444852-1 is not prime. Res64: C918EFD7049C5791 Time : 0.0 sec. user=mdettweiler [2016-11-03 17:42:58] 855*2^1444852-1 is not prime. Res64: F7B5E8E6827F766D Time : 0.0 sec. user=mdettweiler [2016-11-03 17:42:58] 933*2^1444852-1 is not prime. Res64: 3A7B43AE07ED1767 Time : 0.0 sec. user=mdettweiler [2016-11-03 17:42:58] 939*2^1444852-1 is not prime. Res64: 85E58457ACD1EA1D Time : 0.0 sec. user=mdettweiler [2016-11-03 17:42:59] 999*2^1444852-1 is not prime. Res64: AF8F9C209E44D849 Time : 0.0 sec. user=mdettweiler [2016-11-03 17:56:24] 631*2^1444853-1 is not prime. Res64: 0C21D3D955F04297 Time : 0.0 sec. user=mdettweiler [2016-11-03 17:56:24] 657*2^1444853-1 is not prime. Res64: BC15E23133ED6FD8 Time : 0.0 sec. user=mdettweiler [2016-11-03 17:56:25] 729*2^1444853-1 is not prime. Res64: 401E6840BF9F1466 Time : 0.0 sec. user=mdettweiler [2016-11-03 17:56:25] 741*2^1444853-1 is not prime. Res64: 1C321DFD6AA174C0 Time : 0.0 sec. user=mdettweiler [2016-11-03 17:56:25] 747*2^1444853-1 is not prime. Res64: 6FD2B9BFEE820440 Time : 0.0 sec. user=mdettweiler [2016-11-03 18:20:31] 889*2^1444853-1 is not prime. Res64: 60CF13B8E388B2AC Time : 0.0 sec. user=mdettweiler [2016-11-03 18:20:32] 991*2^1444853-1 is not prime. Res64: F1E63EEEA9FCBC8A Time : 0.0 sec. user=mdettweiler [2016-11-03 18:20:32] 707*2^1444854-1 is not prime. Res64: 6B12F07CC3346FAF Time : 0.0 sec. user=mdettweiler [2016-11-03 18:20:33] 725*2^1444854-1 is not prime. Res64: 0BF4523822B8C3DA Time : 0.0 sec. user=mdettweiler [2016-11-03 18:20:33] 747*2^1444854-1 is not prime. Res64: 2E4462F3D30E546B Time : 0.0 sec. user=mdettweiler [2016-11-03 18:23:43] 815*2^1444854-1 is not prime. Res64: D11CFC8D0E65EE1C Time : 0.0 sec. user=mdettweiler [2016-11-03 18:23:44] 833*2^1444854-1 is not prime. Res64: 8C7F8BFACD7ECC84 Time : 0.0 sec. user=mdettweiler [2016-11-03 18:23:44] 917*2^1444854-1 is not prime. Res64: DA6DC1ACE88744F9 Time : 0.0 sec. user=mdettweiler [2016-11-03 18:23:44] 947*2^1444854-1 is not prime. Res64: 89C435ED7F6BCF28 Time : 0.0 sec. user=mdettweiler [2016-11-03 18:23:45] 975*2^1444854-1 is not prime. Res64: C70188CA12EAAD7C Time : 0.0 sec. user=mdettweiler [2016-11-03 18:28:42] 645*2^1444855-1 is not prime. Res64: 94252804C70BC10D Time : 0.0 sec. user=mdettweiler [2016-11-03 18:28:43] 675*2^1444855-1 is not prime. Res64: D87A58B08D1CAA72 Time : 0.0 sec. user=mdettweiler [2016-11-03 18:28:43] 741*2^1444855-1 is not prime. Res64: 1DF0E1871C172F8C Time : 0.0 sec. user=mdettweiler [2016-11-03 18:28:44] 841*2^1444855-1 is not prime. Res64: 177661C69C6D768C Time : 0.0 sec. user=mdettweiler [2016-11-03 18:28:44] 871*2^1444855-1 is not prime. Res64: 26FEDFBFE65306AA Time : 0.0 sec. user=mdettweiler [2016-11-03 18:42:37] 939*2^1444855-1 is not prime. Res64: 36FA44F3F2AF35DB Time : 0.0 sec. user=mdettweiler [2016-11-03 18:42:37] 943*2^1444855-1 is not prime. Res64: E724D4517808FD61 Time : 0.0 sec. user=mdettweiler [2016-11-03 18:42:37] 969*2^1444855-1 is not prime. Res64: C130C17D8AB3F3D0 Time : 0.0 sec. user=mdettweiler [2016-11-03 18:42:38] 623*2^1444856-1 is not prime. Res64: 2B4FF5936508249B Time : 0.0 sec. user=mdettweiler [2016-11-03 18:42:38] 629*2^1444856-1 is not prime. Res64: 411116D4160C3B7E Time : 0.0 sec. user=mdettweiler [2016-11-03 19:08:12] 659*2^1444856-1 is not prime. Res64: 788DA7B77D168EDD Time : 0.0 sec. user=mdettweiler [2016-11-03 19:08:14] 663*2^1444856-1 is not prime. Res64: 043AF79F6CD11CF7 Time : 0.0 sec. user=mdettweiler [2016-11-03 19:08:17] 683*2^1444856-1 is not prime. Res64: 63EB8A752ECBC5D9 Time : 0.0 sec. user=mdettweiler [2016-11-03 19:08:19] 777*2^1444856-1 is not prime. Res64: 5EEB44C10DA48C16 Time : 0.0 sec. user=mdettweiler [2016-11-03 19:08:21] 855*2^1444856-1 is not prime. Res64: 1E05F0732A785F46 Time : 0.0 sec. user=mdettweiler [2016-11-03 19:11:41] 969*2^1444856-1 is not prime. Res64: 80B586B884101FDF Time : 0.0 sec. user=mdettweiler [2016-11-03 19:11:44] 651*2^1444857-1 is not prime. Res64: 0B0A64EC171F46AA Time : 0.0 sec. user=mdettweiler [2016-11-03 19:11:46] 717*2^1444857-1 is not prime. Res64: D31B35FCB72D8606 Time : 0.0 sec. user=mdettweiler [2016-11-03 19:11:51] 829*2^1444857-1 is not prime. Res64: 580F31C48E7B3E48 Time : 0.0 sec. user=mdettweiler [2016-11-03 19:11:53] 871*2^1444857-1 is not prime. Res64: 2DC31D8A38EBCB4C Time : 0.0 sec. user=mdettweiler [2016-11-03 19:17:13] 889*2^1444857-1 is not prime. Res64: 387807F55D7DB1C6 Time : 0.0 sec. user=mdettweiler [2016-11-03 19:17:13] 945*2^1444857-1 is not prime. Res64: 4298A1EEB3FE13B9 Time : 0.0 sec. user=mdettweiler [2016-11-03 19:17:13] 975*2^1444857-1 is not prime. Res64: 2379EDAAB2955AD2 Time : 0.0 sec. user=mdettweiler [2016-11-03 19:17:14] 603*2^1444858-1 is not prime. Res64: E4941AA08146133E Time : 0.0 sec. user=mdettweiler [2016-11-03 19:17:14] 605*2^1444858-1 is not prime. Res64: C5F8756BB9BA696F Time : 0.0 sec. user=mdettweiler [2016-11-03 19:31:18] 611*2^1444858-1 is not prime. Res64: 2D3B4E449B03FDF3 Time : 0.0 sec. user=mdettweiler [2016-11-03 19:31:24] 723*2^1444858-1 is not prime. Res64: 1E4FC3CE4605EEB8 Time : 0.0 sec. user=mdettweiler [2016-11-03 19:31:26] 857*2^1444858-1 is not prime. Res64: C896CD2A54F23487 Time : 0.0 sec. user=mdettweiler [2016-11-03 19:31:27] 885*2^1444858-1 is not prime. Res64: 3B30E8E4D1D3FE08 Time : 0.0 sec. user=mdettweiler [2016-11-03 19:31:29] 981*2^1444858-1 is not prime. Res64: A60CB2135FB99E89 Time : 0.0 sec. user=mdettweiler [2016-11-03 19:56:14] 663*2^1444859-1 is not prime. Res64: F80C8ED6482E8C3B Time : 0.0 sec. user=mdettweiler [2016-11-03 19:56:15] 685*2^1444859-1 is not prime. Res64: 91483D7531487287 Time : 0.0 sec. user=mdettweiler [2016-11-03 19:56:16] 879*2^1444859-1 is not prime. Res64: 2AA16BD423B9E60B Time : 0.0 sec. user=mdettweiler [2016-11-03 19:56:16] 903*2^1444859-1 is not prime. Res64: C7264EC8CE68AF80 Time : 0.0 sec. user=mdettweiler [2016-11-03 19:56:17] 635*2^1444860-1 is not prime. Res64: 60195D825ED0DB99 Time : 0.0 sec. user=mdettweiler [2016-11-03 19:59:54] 707*2^1444860-1 is not prime. Res64: DCA4D3F3A259F299 Time : 0.0 sec. user=mdettweiler [2016-11-03 19:59:54] 719*2^1444860-1 is not prime. Res64: EFF14A9A365D12F0 Time : 0.0 sec. user=mdettweiler [2016-11-03 19:59:54] 767*2^1444860-1 is not prime. Res64: 189D20ED46DEA490 Time : 0.0 sec. user=mdettweiler [2016-11-03 19:59:55] 773*2^1444860-1 is not prime. Res64: F4ECDC53273A79E8 Time : 0.0 sec. user=mdettweiler [2016-11-03 19:59:55] 843*2^1444860-1 is not prime. Res64: 9E6D841F973C1FEA Time : 0.0 sec. user=mdettweiler [2016-11-03 20:03:41] 867*2^1444860-1 is not prime. Res64: EC02708C94ADBB2A Time : 0.0 sec. user=mdettweiler [2016-11-03 20:03:43] 879*2^1444860-1 is not prime. Res64: 08CF9F133777D261 Time : 0.0 sec. user=mdettweiler [2016-11-03 20:03:43] 927*2^1444860-1 is not prime. Res64: EA94057196F11195 Time : 0.0 sec. user=mdettweiler [2016-11-03 20:03:44] 679*2^1444861-1 is not prime. Res64: 623B035D6CC2CA37 Time : 0.0 sec. user=mdettweiler [2016-11-03 20:03:46] 715*2^1444861-1 is not prime. Res64: 2B0F2B84F45F6AA1 Time : 0.0 sec. user=mdettweiler [2016-11-03 20:17:42] 745*2^1444861-1 is not prime. Res64: B7870D923D967037 Time : 0.0 sec. user=mdettweiler [2016-11-03 20:17:44] 801*2^1444861-1 is not prime. Res64: A5769849D05F5137 Time : 0.0 sec. user=mdettweiler [2016-11-03 20:17:44] 877*2^1444861-1 is not prime. Res64: EC41BAC1F5CCF7F4 Time : 0.0 sec. user=mdettweiler [2016-11-03 20:17:45] 925*2^1444861-1 is not prime. Res64: 120140F259D0F944 Time : 0.0 sec. user=mdettweiler [2016-11-03 20:17:45] 931*2^1444861-1 is not prime. Res64: 1F32E2369AE65D8B Time : 0.0 sec. user=mdettweiler [2016-11-03 20:42:03] 937*2^1444861-1 is not prime. Res64: 0E24A88DAC2D0AA5 Time : 0.0 sec. user=mdettweiler [2016-11-03 20:42:03] 975*2^1444861-1 is not prime. Res64: FA5E09BC94B08065 Time : 0.0 sec. user=mdettweiler [2016-11-03 20:42:04] 999*2^1444861-1 is not prime. Res64: 10BB3C83DF4AF1BB Time : 0.0 sec. user=mdettweiler [2016-11-03 20:42:05] 603*2^1444862-1 is not prime. Res64: 696CEA97DCEEF669 Time : 0.0 sec. user=mdettweiler [2016-11-03 20:42:06] 705*2^1444862-1 is not prime. Res64: 264D7DD585B54D18 Time : 0.0 sec. user=mdettweiler [2016-11-03 20:45:35] 755*2^1444862-1 is not prime. Res64: E11728C64B247941 Time : 0.0 sec. user=mdettweiler [2016-11-03 20:45:35] 831*2^1444862-1 is not prime. Res64: 94B157FF802AD51B Time : 0.0 sec. user=mdettweiler [2016-11-03 20:45:36] 965*2^1444862-1 is not prime. Res64: A352962E3A49E69E Time : 0.0 sec. user=mdettweiler [2016-11-03 20:45:36] 735*2^1444863-1 is not prime. Res64: 360B8CF17A11E0C3 Time : 0.0 sec. user=mdettweiler [2016-11-03 20:45:36] 819*2^1444863-1 is not prime. Res64: 06E13068FA53D99E Time : 0.0 sec. user=mdettweiler [2016-11-03 20:49:38] 831*2^1444863-1 is not prime. Res64: 3E371D7040D19A7C Time : 0.0 sec. user=mdettweiler [2016-11-03 20:49:38] 933*2^1444863-1 is not prime. Res64: B561C6D1FE30FCCF Time : 0.0 sec. user=mdettweiler [2016-11-03 20:49:38] 635*2^1444864-1 is not prime. Res64: D11D87BC94D5C54E Time : 0.0 sec. user=mdettweiler [2016-11-03 20:49:38] 677*2^1444864-1 is not prime. Res64: 64AD857805CF3349 Time : 0.0 sec. user=mdettweiler [2016-11-03 20:49:39] 807*2^1444864-1 is not prime. Res64: 6BDA901974F102A2 Time : 0.0 sec. user=mdettweiler [2016-11-03 21:03:24] 825*2^1444864-1 is not prime. Res64: 353E8A07C7A87FFA Time : 0.0 sec. user=mdettweiler [2016-11-03 21:03:26] 875*2^1444864-1 is not prime. Res64: 47DB82D09E2BAF47 Time : 0.0 sec. user=mdettweiler [2016-11-03 21:03:27] 927*2^1444864-1 is not prime. Res64: 035E260CCC90373C Time : 0.0 sec. user=mdettweiler [2016-11-03 21:03:28] 675*2^1444865-1 is not prime. Res64: 393CEB67B86812FC Time : 0.0 sec. user=mdettweiler [2016-11-03 21:03:29] 697*2^1444865-1 is not prime. Res64: 7A17C4E532DD9544 Time : 0.0 sec. user=mdettweiler [2016-11-03 21:28:54] 729*2^1444865-1 is not prime. Res64: 679565F8AAA1EAFC Time : 0.0 sec. user=mdettweiler [2016-11-03 21:28:54] 805*2^1444865-1 is not prime. Res64: 377A75F2AF42D7DC Time : 0.0 sec. user=mdettweiler [2016-11-03 21:28:54] 861*2^1444865-1 is not prime. Res64: 024A2E98546F79D0 Time : 0.0 sec. user=mdettweiler [2016-11-03 21:28:55] 889*2^1444865-1 is not prime. Res64: D8787E3B917F69D3 Time : 0.0 sec. user=mdettweiler [2016-11-03 21:28:55] 723*2^1444866-1 is not prime. Res64: 389B68CDA5586808 Time : 0.0 sec. user=mdettweiler [2016-11-03 21:32:05] 755*2^1444866-1 is not prime. Res64: 89B4F3B7199FA92E Time : 0.0 sec. user=mdettweiler [2016-11-03 21:32:05] 867*2^1444866-1 is not prime. Res64: FE5157464493BC6E Time : 0.0 sec. user=mdettweiler [2016-11-03 21:32:05] 875*2^1444866-1 is not prime. Res64: 9EB12A1D311141C5 Time : 0.0 sec. user=mdettweiler [2016-11-03 21:32:06] 917*2^1444866-1 is not prime. Res64: 11078CAE58EBEC97 Time : 0.0 sec. user=mdettweiler [2016-11-03 21:32:06] 619*2^1444867-1 is not prime. Res64: 27CD53218E65F872 Time : 0.0 sec. user=mdettweiler [2016-11-03 21:36:21] 645*2^1444867-1 is not prime. Res64: A529DE25B07DC2AD Time : 0.0 sec. user=mdettweiler [2016-11-03 21:36:22] 759*2^1444867-1 is not prime. Res64: EF71524AAD522C0C Time : 0.0 sec. user=mdettweiler [2016-11-03 21:36:23] 829*2^1444867-1 is not prime. Res64: 70932762ADCB608E Time : 0.0 sec. user=mdettweiler [2016-11-03 21:36:24] 849*2^1444867-1 is not prime. Res64: A0371AC83FBE6C01 Time : 0.0 sec. user=mdettweiler [2016-11-03 21:36:24] 617*2^1444868-1 is not prime. Res64: F2883BFB11F6963B Time : 0.0 sec. user=mdettweiler [2016-11-03 21:50:16] 635*2^1444868-1 is not prime. Res64: FB8ACFD9FDBB0306 Time : 0.0 sec. user=mdettweiler [2016-11-03 21:50:16] 665*2^1444868-1 is not prime. Res64: CC592E322931E5FC Time : 0.0 sec. user=mdettweiler [2016-11-03 21:50:16] 759*2^1444868-1 is not prime. Res64: 6E469A40812DAF6A Time : 0.0 sec. user=mdettweiler [2016-11-03 21:50:17] 773*2^1444868-1 is not prime. Res64: A879CB426FDFC3E8 Time : 0.0 sec. user=mdettweiler [2016-11-03 21:50:17] 803*2^1444868-1 is not prime. Res64: 2F3D9457030F9247 Time : 0.0 sec. user=mdettweiler [2016-11-03 22:15:09] 669*2^1444869-1 is not prime. Res64: 311713441EEBA449 Time : 0.0 sec. user=mdettweiler [2016-11-03 22:15:10] 679*2^1444869-1 is not prime. Res64: 2572F3B534E3D62F Time : 0.0 sec. user=mdettweiler [2016-11-03 22:15:10] 681*2^1444869-1 is not prime. Res64: D7EFF4470965390E Time : 0.0 sec. user=mdettweiler [2016-11-03 22:15:10] 765*2^1444869-1 is not prime. Res64: F70453253F97A96D Time : 0.0 sec. user=mdettweiler [2016-11-03 22:15:10] 945*2^1444869-1 is not prime. Res64: B22CBF305DBDDE25 Time : 0.0 sec. user=mdettweiler [2016-11-03 22:18:16] 961*2^1444869-1 is not prime. Res64: A335B6A295B61A76 Time : 0.0 sec. user=mdettweiler [2016-11-03 22:18:16] 969*2^1444869-1 is not prime. Res64: B3ABCFA8E80DEC50 Time : 0.0 sec. user=mdettweiler [2016-11-03 22:18:16] 975*2^1444869-1 is not prime. Res64: 0CC394A663FF657E Time : 0.0 sec. user=mdettweiler [2016-11-03 22:18:17] 979*2^1444869-1 is not prime. Res64: 51BE79F933785D71 Time : 0.0 sec. user=mdettweiler [2016-11-03 22:18:17] 653*2^1444870-1 is not prime. Res64: F1A447E6AC1AE4B1 Time : 0.0 sec. user=mdettweiler [2016-11-03 22:22:26] 681*2^1444870-1 is not prime. Res64: 9052524E1A5A6CF5 Time : 0.0 sec. user=mdettweiler [2016-11-03 22:22:26] 777*2^1444870-1 is not prime. Res64: B5B81C0BCC415538 Time : 0.0 sec. user=mdettweiler [2016-11-03 22:22:26] 791*2^1444870-1 is not prime. Res64: 2E8271F289801CFB Time : 0.0 sec. user=mdettweiler [2016-11-03 22:22:27] 827*2^1444870-1 is not prime. Res64: 89744C1D88932A56 Time : 0.0 sec. user=mdettweiler [2016-11-03 22:22:27] 951*2^1444870-1 is not prime. Res64: 780FBE05ED0304EB Time : 0.0 sec. user=mdettweiler [2016-11-03 22:36:22] 957*2^1444870-1 is not prime. Res64: E461871422177C97 Time : 0.0 sec. user=mdettweiler [2016-11-03 22:36:22] 705*2^1444871-1 is not prime. Res64: 1E9438352C85863B Time : 0.0 sec. user=mdettweiler [2016-11-03 22:36:23] 741*2^1444871-1 is not prime. Res64: 5A58F2BC509D9C2F Time : 0.0 sec. user=mdettweiler [2016-11-03 22:36:23] 789*2^1444871-1 is not prime. Res64: C5DCAAB50BECADA9 Time : 0.0 sec. user=mdettweiler [2016-11-03 22:36:23] 843*2^1444871-1 is not prime. Res64: F094980ED4CF1B07 Time : 0.0 sec. user=mdettweiler [2016-11-03 23:00:59] 859*2^1444871-1 is not prime. Res64: 35003D09B4A4A097 Time : 0.0 sec. user=mdettweiler [2016-11-03 23:01:01] 949*2^1444871-1 is not prime. Res64: EDFC3CCBB76E8908 Time : 0.0 sec. user=mdettweiler [2016-11-03 23:01:02] 623*2^1444872-1 is not prime. Res64: BC0901389284B087 Time : 0.0 sec. user=mdettweiler [2016-11-03 23:01:03] 675*2^1444872-1 is not prime. Res64: 0A335F23D7CDBA80 Time : 0.0 sec. user=mdettweiler [2016-11-03 23:01:04] 719*2^1444872-1 is not prime. Res64: 7B1B32F791EB6E00 Time : 0.0 sec. user=mdettweiler [2016-11-03 23:04:06] 915*2^1444872-1 is not prime. Res64: 77FC7A0E0E6DFF82 Time : 0.0 sec. user=mdettweiler [2016-11-03 23:04:07] 675*2^1444873-1 is not prime. Res64: 5BA4D6DED82DC33A Time : 0.0 sec. user=mdettweiler [2016-11-03 23:04:08] 705*2^1444873-1 is not prime. Res64: AFD4555A7999DF27 Time : 0.0 sec. user=mdettweiler [2016-11-03 23:04:09] 775*2^1444873-1 is not prime. Res64: 9573EEFB36D5AA35 Time : 0.0 sec. user=mdettweiler [2016-11-03 23:04:11] 831*2^1444873-1 is not prime. Res64: 1F932AA000BDF319 Time : 0.0 sec. user=mdettweiler [2016-11-03 23:08:20] 867*2^1444873-1 is not prime. Res64: A8355AECA483C908 Time : 0.0 sec. user=mdettweiler [2016-11-03 23:08:20] 897*2^1444873-1 is not prime. Res64: 11EDDC5D57465269 Time : 0.0 sec. user=mdettweiler [2016-11-03 23:08:21] 633*2^1444874-1 is not prime. Res64: 1A4921493BE2DEA2 Time : 0.0 sec. user=mdettweiler [2016-11-03 23:08:21] 641*2^1444874-1 is not prime. Res64: 015C60E0B43319E2 Time : 0.0 sec. user=mdettweiler [2016-11-03 23:08:21] 741*2^1444874-1 is not prime. Res64: 67E2F00649857D6D Time : 0.0 sec. user=mdettweiler [2016-11-03 23:23:18] 851*2^1444874-1 is not prime. Res64: A2937DB10A445FB6 Time : 0.0 sec. user=mdettweiler [2016-11-03 23:23:18] 885*2^1444874-1 is not prime. Res64: C7928EFDEB16690D Time : 0.0 sec. user=mdettweiler [2016-11-03 23:23:18] 923*2^1444874-1 is not prime. Res64: 1D326641C08C6BB1 Time : 0.0 sec. user=mdettweiler [2016-11-03 23:23:19] 953*2^1444874-1 is not prime. Res64: 8AC7BA19A8D5A1D0 Time : 0.0 sec. user=mdettweiler [2016-11-03 23:23:20] 793*2^1444875-1 is not prime. Res64: DF8A7B2B59EB1C9E Time : 0.0 sec. user=mdettweiler [2016-11-03 23:53:29] 795*2^1444875-1 is not prime. Res64: FFDEAA0C54D3A921 Time : 0.0 sec. user=mdettweiler [2016-11-03 23:53:29] 617*2^1444876-1 is not prime. Res64: A2D09543FE68B44A Time : 0.0 sec. user=mdettweiler [2016-11-03 23:53:30] 717*2^1444876-1 is not prime. Res64: 90239781F92EE9E1 Time : 0.0 sec. user=mdettweiler [2016-11-03 23:53:30] 785*2^1444876-1 is not prime. Res64: 9C7C6FE01F198721 Time : 0.0 sec. user=mdettweiler [2016-11-03 23:53:30] 803*2^1444876-1 is not prime. Res64: 42CAB3735E77C059 Time : 0.0 sec. user=mdettweiler [2016-11-03 23:56:42] 869*2^1444876-1 is not prime. Res64: E0FA5BAC66357EF0 Time : 0.0 sec. user=mdettweiler [2016-11-03 23:56:43] 905*2^1444876-1 is not prime. Res64: 9A688907EF1D0245 Time : 0.0 sec. user=mdettweiler [2016-11-03 23:56:43] 975*2^1444876-1 is not prime. Res64: E930A68BE6AF9F8F Time : 0.0 sec. user=mdettweiler [2016-11-03 23:56:43] 645*2^1444877-1 is not prime. Res64: 38005D562EF4F457 Time : 0.0 sec. user=mdettweiler [2016-11-03 23:56:43] 711*2^1444877-1 is not prime. Res64: 8B42659369159A1C Time : 0.0 sec. user=mdettweiler [2016-11-04 00:00:25] 759*2^1444877-1 is not prime. Res64: DD8F4006DE12C9B9 Time : 0.0 sec. user=mdettweiler [2016-11-04 00:00:26] 871*2^1444877-1 is not prime. Res64: DDD09358EF16F088 Time : 0.0 sec. user=mdettweiler [2016-11-04 00:00:26] 967*2^1444877-1 is not prime. Res64: B4FD365C0D059B49 Time : 0.0 sec. user=mdettweiler [2016-11-04 00:00:27] 693*2^1444878-1 is not prime. Res64: 3A20D6D419B52D80 Time : 0.0 sec. user=mdettweiler [2016-11-04 00:00:28] 695*2^1444878-1 is not prime. Res64: 6FE2683CF2E59A79 Time : 0.0 sec.