user=mdettweiler [2016-09-15 00:06:23] 881*2^1439758-1 is not prime. Res64: 80FDD824EE67160F Time : 0.0 sec. user=mdettweiler [2016-09-15 00:06:24] 951*2^1439758-1 is not prime. Res64: C105082CF1C6E593 Time : 0.0 sec. user=mdettweiler [2016-09-15 00:06:25] 615*2^1439759-1 is not prime. Res64: 41273A645D7F2BBD Time : 0.0 sec. user=mdettweiler [2016-09-15 00:06:26] 643*2^1439759-1 is not prime. Res64: CDA7D1CE1ADC1EDF Time : 0.0 sec. user=mdettweiler [2016-09-15 00:06:27] 661*2^1439759-1 is not prime. Res64: 7CF1398198EC2E44 Time : 0.0 sec. user=mdettweiler [2016-09-15 00:20:48] 721*2^1439759-1 is not prime. Res64: B2515629F4433214 Time : 0.0 sec. user=mdettweiler [2016-09-15 00:20:48] 763*2^1439759-1 is not prime. Res64: AA24C18965E0000C Time : 0.0 sec. user=mdettweiler [2016-09-15 00:20:49] 825*2^1439759-1 is not prime. Res64: 44D7C9D938D55542 Time : 0.0 sec. user=mdettweiler [2016-09-15 00:20:49] 879*2^1439759-1 is not prime. Res64: 9130F781B8FF33FD Time : 0.0 sec. user=mdettweiler [2016-09-15 00:20:49] 669*2^1439760-1 is not prime. Res64: 1057105DE0973F86 Time : 0.0 sec. user=mdettweiler [2016-09-15 00:43:47] 723*2^1439760-1 is not prime. Res64: CF5BA9604AF869B5 Time : 0.0 sec. user=mdettweiler [2016-09-15 00:43:47] 795*2^1439760-1 is not prime. Res64: F72B3733FA9F939B Time : 0.0 sec. user=mdettweiler [2016-09-15 00:43:48] 873*2^1439760-1 is not prime. Res64: 0B569F247CAA8CD0 Time : 0.0 sec. user=mdettweiler [2016-09-15 00:43:53] 601*2^1439761-1 is not prime. Res64: B2DDB744D0301AB1 Time : 0.0 sec. user=mdettweiler [2016-09-15 00:43:54] 615*2^1439761-1 is not prime. Res64: DDC233B675053A60 Time : 0.0 sec. user=mdettweiler [2016-09-15 00:51:57] 727*2^1439761-1 is not prime. Res64: C6281652E44723C3 Time : 0.0 sec. user=mdettweiler [2016-09-15 00:51:57] 801*2^1439761-1 is not prime. Res64: A067C9A7515223DC Time : 0.0 sec. user=mdettweiler [2016-09-15 00:51:58] 871*2^1439761-1 is not prime. Res64: 4566331C5B5AE5B1 Time : 0.0 sec. user=mdettweiler [2016-09-15 00:51:58] 889*2^1439761-1 is not prime. Res64: 8103F5F3C3D96F1A Time : 0.0 sec. user=mdettweiler [2016-09-15 00:51:58] 975*2^1439761-1 is not prime. Res64: 05808084B824E104 Time : 0.0 sec. user=mdettweiler [2016-09-15 01:06:06] 675*2^1439762-1 is not prime. Res64: 5BC57ABCA8CC6766 Time : 0.0 sec. user=mdettweiler [2016-09-15 01:06:09] 677*2^1439762-1 is not prime. Res64: 7B053E8D9EB71CA2 Time : 0.0 sec. user=mdettweiler [2016-09-15 01:06:10] 741*2^1439762-1 is not prime. Res64: 85218ACC9D7F7AF5 Time : 0.0 sec. user=mdettweiler [2016-09-15 01:06:11] 767*2^1439762-1 is not prime. Res64: 086C02F6EC2F398F Time : 0.0 sec. user=mdettweiler [2016-09-15 01:06:12] 857*2^1439762-1 is not prime. Res64: 213A860A8E8D6E79 Time : 0.0 sec. user=mdettweiler [2016-09-15 01:30:17] 893*2^1439762-1 is not prime. Res64: 282271143A7EA397 Time : 0.0 sec. user=mdettweiler [2016-09-15 01:30:20] 643*2^1439763-1 is not prime. Res64: 592BFDE6A9A9CF6A Time : 0.0 sec. user=mdettweiler [2016-09-15 01:30:22] 675*2^1439763-1 is not prime. Res64: 393F78AD090D8BF0 Time : 0.0 sec. user=mdettweiler [2016-09-15 01:30:24] 705*2^1439763-1 is not prime. Res64: 52388D1F614C9082 Time : 0.0 sec. user=mdettweiler [2016-09-15 01:30:26] 741*2^1439763-1 is not prime. Res64: 01530BA6F72FE5AE Time : 0.0 sec. user=mdettweiler [2016-09-15 01:38:19] 775*2^1439763-1 is not prime. Res64: BC532834A7552108 Time : 0.0 sec. user=mdettweiler [2016-09-15 01:38:21] 783*2^1439763-1 is not prime. Res64: 95FB3471F31B8C3C Time : 0.0 sec. user=mdettweiler [2016-09-15 01:38:22] 789*2^1439763-1 is not prime. Res64: E154A5D748F43B59 Time : 0.0 sec. user=mdettweiler [2016-09-15 01:38:23] 829*2^1439763-1 is not prime. Res64: 48570B6786DE6291 Time : 0.0 sec. user=mdettweiler [2016-09-15 01:38:24] 873*2^1439763-1 is not prime. Res64: CB7F75C96C5BF1A1 Time : 0.0 sec. user=mdettweiler [2016-09-15 01:54:24] 663*2^1439764-1 is not prime. Res64: 6D94B696076A7AEB Time : 0.0 sec. user=mdettweiler [2016-09-15 01:54:24] 743*2^1439764-1 is not prime. Res64: E9ECC95098D00A14 Time : 0.0 sec. user=mdettweiler [2016-09-15 01:54:24] 749*2^1439764-1 is not prime. Res64: 0CBC3A126B021B4C Time : 0.0 sec. user=mdettweiler [2016-09-15 01:54:24] 765*2^1439764-1 is not prime. Res64: 9A5F83CC39D91281 Time : 0.0 sec. user=mdettweiler [2016-09-15 01:54:25] 869*2^1439764-1 is not prime. Res64: FB643BD948A46AF7 Time : 0.0 sec. user=mdettweiler [2016-09-15 02:21:41] 905*2^1439764-1 is not prime. Res64: 95D3E27C7FDA913C Time : 0.0 sec. user=mdettweiler [2016-09-15 02:21:42] 923*2^1439764-1 is not prime. Res64: 71DD62DB8F49DBCF Time : 0.0 sec. user=mdettweiler [2016-09-15 02:21:42] 679*2^1439765-1 is not prime. Res64: B5C99A5C5087B5B0 Time : 0.0 sec. user=mdettweiler [2016-09-15 02:21:42] 717*2^1439765-1 is not prime. Res64: 3C49B8091772DB4A Time : 0.0 sec. user=mdettweiler [2016-09-15 02:21:42] 861*2^1439765-1 is not prime. Res64: 11842DF3BB349D19 Time : 0.0 sec. user=mdettweiler [2016-09-15 02:29:15] 937*2^1439765-1 is not prime. Res64: 86780982CB476FC8 Time : 0.0 sec. user=mdettweiler [2016-09-15 02:29:15] 991*2^1439765-1 is not prime. Res64: 6D5A76C864749492 Time : 0.0 sec. user=mdettweiler [2016-09-15 02:29:16] 635*2^1439766-1 is not prime. Res64: D78714493FB04D11 Time : 0.0 sec. user=mdettweiler [2016-09-15 02:29:16] 713*2^1439766-1 is not prime. Res64: 8FBDBF1B8D4F9F31 Time : 0.0 sec. user=mdettweiler [2016-09-15 02:29:17] 765*2^1439766-1 is not prime. Res64: C085FAEC5FC6750E Time : 0.0 sec. user=mdettweiler [2016-09-15 02:56:40] 843*2^1439766-1 is not prime. Res64: CF94E9AE1A515401 Time : 0.0 sec. user=mdettweiler [2016-09-15 02:56:41] 893*2^1439766-1 is not prime. Res64: 5FA3CF6C0822A3DF Time : 0.0 sec. user=mdettweiler [2016-09-15 02:56:41] 917*2^1439766-1 is not prime. Res64: 8F41786B90FF8A0D Time : 0.0 sec. user=mdettweiler [2016-09-15 02:56:42] 921*2^1439766-1 is not prime. Res64: 2F7F1B8540F5C71D Time : 0.0 sec. user=mdettweiler [2016-09-15 02:56:42] 945*2^1439766-1 is not prime. Res64: 5809B5BF75C50192 Time : 0.0 sec. user=mdettweiler [2016-09-15 03:14:49] 615*2^1439767-1 is not prime. Res64: FFE99B7017CF405A Time : 0.0 sec. user=mdettweiler [2016-09-15 03:14:49] 651*2^1439767-1 is not prime. Res64: 1558328479C8D76D Time : 0.0 sec. user=mdettweiler [2016-09-15 03:14:50] 693*2^1439767-1 is not prime. Res64: 748EC8B9ABAC364A Time : 0.0 sec. user=mdettweiler [2016-09-15 03:14:50] 765*2^1439767-1 is not prime. Res64: 75A6F51C23CF93BE Time : 0.0 sec. user=mdettweiler [2016-09-15 03:14:51] 841*2^1439767-1 is not prime. Res64: 6FCB7D17402640F0 Time : 0.0 sec. user=mdettweiler [2016-09-15 03:23:21] 919*2^1439767-1 is not prime. Res64: D9E9B8F7733130CC Time : 0.0 sec. user=mdettweiler [2016-09-15 03:23:21] 961*2^1439767-1 is not prime. Res64: 59C6DFD3F37A0432 Time : 0.0 sec. user=mdettweiler [2016-09-15 03:23:22] 973*2^1439767-1 is not prime. Res64: B45378D0C662608E Time : 0.0 sec. user=mdettweiler [2016-09-15 03:23:22] 629*2^1439768-1 is not prime. Res64: 9740029C77EC12DD Time : 0.0 sec. user=mdettweiler [2016-09-15 03:23:23] 659*2^1439768-1 is not prime. Res64: FE62C32D7E5C2084 Time : 0.0 sec. user=mdettweiler [2016-09-15 03:32:55] 855*2^1439768-1 is not prime. Res64: 6CF7DDC1D922E19A Time : 0.0 sec. user=mdettweiler [2016-09-15 03:32:56] 867*2^1439768-1 is not prime. Res64: 0B21E197924D5675 Time : 0.0 sec. user=mdettweiler [2016-09-15 03:32:57] 625*2^1439769-1 is not prime. Res64: 5622F9800E16F088 Time : 0.0 sec. user=mdettweiler [2016-09-15 03:33:00] 795*2^1439769-1 is not prime. Res64: DA2C070E88A6399F Time : 0.0 sec. user=mdettweiler [2016-09-15 03:33:01] 987*2^1439769-1 is not prime. Res64: A56C7A7C8518DDD9 Time : 0.0 sec. user=mdettweiler [2016-09-15 03:41:27] 735*2^1439770-1 is not prime. Res64: DBBD8E54516F34A0 Time : 0.0 sec. user=mdettweiler [2016-09-15 03:41:30] 741*2^1439770-1 is not prime. Res64: 9518E4CD0F7B6497 Time : 0.0 sec. user=mdettweiler [2016-09-15 03:41:33] 803*2^1439770-1 is not prime. Res64: B7C1B18DB4032C66 Time : 0.0 sec. user=mdettweiler [2016-09-15 03:41:36] 887*2^1439770-1 is not prime. Res64: 93ED7A2DFCBCF1F8 Time : 0.0 sec. user=mdettweiler [2016-09-15 03:41:39] 891*2^1439770-1 is not prime. Res64: F3C5E57F7B6D18AA Time : 0.0 sec. user=mdettweiler [2016-09-15 03:59:14] 945*2^1439770-1 is not prime. Res64: 3856BB6FEBF35EB8 Time : 0.0 sec. user=mdettweiler [2016-09-15 03:59:15] 805*2^1439771-1 is not prime. Res64: 439ECD547CF29BB5 Time : 0.0 sec. user=mdettweiler [2016-09-15 03:59:16] 979*2^1439771-1 is not prime. Res64: 783E10A7320D1C4F Time : 0.0 sec. user=mdettweiler [2016-09-15 03:59:17] 669*2^1439772-1 is not prime. Res64: AA13BA179B8CF1F8 Time : 0.0 sec. user=mdettweiler [2016-09-15 03:59:18] 689*2^1439772-1 is not prime. Res64: 16A7AEEAC41C9EDD Time : 0.0 sec. user=mdettweiler [2016-09-15 04:07:59] 867*2^1439772-1 is not prime. Res64: 75ADB4FAAAEB5517 Time : 0.0 sec. user=mdettweiler [2016-09-15 04:08:01] 873*2^1439772-1 is not prime. Res64: ECD20CBCD78D210D Time : 0.0 sec. user=mdettweiler [2016-09-15 04:08:02] 651*2^1439773-1 is not prime. Res64: 9BEB3A2D2B9E93B6 Time : 0.0 sec. user=mdettweiler [2016-09-15 04:08:04] 727*2^1439773-1 is not prime. Res64: C8FFE1EB1ADFBCD9 Time : 0.0 sec. user=mdettweiler [2016-09-15 04:08:04] 729*2^1439773-1 is not prime. Res64: 6ACBB12F87BD3075 Time : 0.0 sec. user=mdettweiler [2016-09-15 04:17:38] 835*2^1439773-1 is not prime. Res64: B644C42367CC56B6 Time : 0.0 sec. user=mdettweiler [2016-09-15 04:17:38] 885*2^1439773-1 is not prime. Res64: 81DE7AF74E8E6F3F Time : 0.0 sec. user=mdettweiler [2016-09-15 04:17:39] 937*2^1439773-1 is not prime. Res64: 5FC3A97A5BB0AE37 Time : 0.0 sec. user=mdettweiler [2016-09-15 04:17:39] 987*2^1439773-1 is not prime. Res64: 946C8F6D7F71FCA2 Time : 0.0 sec. user=mdettweiler [2016-09-15 04:17:40] 665*2^1439774-1 is not prime. Res64: 2A2CC3B5F0A6CC9D Time : 0.0 sec. user=mdettweiler [2016-09-15 04:27:59] 741*2^1439774-1 is not prime. Res64: B789639FC7485531 Time : 0.0 sec. user=mdettweiler [2016-09-15 04:28:00] 825*2^1439774-1 is not prime. Res64: 49E5A559D54A49C8 Time : 0.0 sec. user=mdettweiler [2016-09-15 04:28:00] 917*2^1439774-1 is not prime. Res64: 5518B95B17CD64CD Time : 0.0 sec. user=mdettweiler [2016-09-15 04:28:00] 921*2^1439774-1 is not prime. Res64: 924E569656368D37 Time : 0.0 sec. user=mdettweiler [2016-09-15 04:28:01] 945*2^1439774-1 is not prime. Res64: 69BDE833A29C3E17 Time : 0.0 sec. user=mdettweiler [2016-09-15 04:45:49] 965*2^1439774-1 is not prime. Res64: 99C2D7B072FF41D0 Time : 0.0 sec. user=mdettweiler [2016-09-15 04:45:49] 619*2^1439775-1 is not prime. Res64: AF7B3C850FB276A8 Time : 0.0 sec. user=mdettweiler [2016-09-15 04:45:49] 633*2^1439775-1 is not prime. Res64: 2EAB03A0BA7BA7CA Time : 0.0 sec. user=mdettweiler [2016-09-15 04:45:50] 693*2^1439775-1 is not prime. Res64: FC7FB3923913C618 Time : 0.0 sec. user=mdettweiler [2016-09-15 04:45:50] 831*2^1439775-1 is not prime. Res64: EDC3A53426AACC38 Time : 0.0 sec. user=mdettweiler [2016-09-15 04:55:26] 849*2^1439775-1 is not prime. Res64: 7727C41C3AC00863 Time : 0.0 sec. user=mdettweiler [2016-09-15 04:55:26] 895*2^1439775-1 is not prime. Res64: F07FF2BDC3A1C23E Time : 0.0 sec. user=mdettweiler [2016-09-15 04:55:27] 979*2^1439775-1 is not prime. Res64: 5FD978113A3A607B Time : 0.0 sec. user=mdettweiler [2016-09-15 04:55:27] 999*2^1439775-1 is not prime. Res64: 215C21B23BE2E35C Time : 0.0 sec. user=mdettweiler [2016-09-15 04:55:27] 657*2^1439776-1 is not prime. Res64: EF23EF086ECA71DD Time : 0.0 sec. user=mdettweiler [2016-09-15 05:03:32] 717*2^1439776-1 is not prime. Res64: 1EECCBBB2EE73965 Time : 0.0 sec. user=mdettweiler [2016-09-15 05:03:33] 765*2^1439776-1 is not prime. Res64: 390927E382BAB9B3 Time : 0.0 sec. user=mdettweiler [2016-09-15 05:03:34] 855*2^1439776-1 is not prime. Res64: 4714C9BF8F0CC388 Time : 0.0 sec. user=mdettweiler [2016-09-15 05:03:36] 897*2^1439776-1 is not prime. Res64: FCE51BC405AD98F9 Time : 0.0 sec. user=mdettweiler [2016-09-15 05:03:37] 899*2^1439776-1 is not prime. Res64: A4A5D502AE743147 Time : 0.0 sec. user=mdettweiler [2016-09-15 05:12:49] 927*2^1439776-1 is not prime. Res64: 35FC6125D5F2F0DC Time : 0.0 sec. user=mdettweiler [2016-09-15 05:12:50] 939*2^1439776-1 is not prime. Res64: EBC2049AF4889D17 Time : 0.0 sec. user=mdettweiler [2016-09-15 05:12:51] 999*2^1439776-1 is not prime. Res64: F79DE8C1D3155B30 Time : 0.0 sec. user=mdettweiler [2016-09-15 05:12:52] 615*2^1439777-1 is not prime. Res64: 33D6D73B5DF963E6 Time : 0.0 sec. user=mdettweiler [2016-09-15 05:12:53] 619*2^1439777-1 is not prime. Res64: F8FAE8BE8980D8EC Time : 0.0 sec. user=mdettweiler [2016-09-15 05:30:17] 727*2^1439777-1 is not prime. Res64: 558122E04D07AC70 Time : 0.0 sec. user=mdettweiler [2016-09-15 05:30:18] 829*2^1439777-1 is not prime. Res64: BCC6FDF2CDFABAD8 Time : 0.0 sec. user=mdettweiler [2016-09-15 05:30:18] 909*2^1439777-1 is not prime. Res64: 6801E203D8EC3A3E Time : 0.0 sec. user=mdettweiler [2016-09-15 05:30:19] 949*2^1439777-1 is not prime. Res64: 397A52815EBAE69E Time : 0.0 sec. user=mdettweiler [2016-09-15 05:30:19] 651*2^1439778-1 is not prime. Res64: 18E89C36EEFE800E Time : 0.0 sec. user=mdettweiler [2016-09-15 05:39:49] 657*2^1439778-1 is not prime. Res64: EDCC96478631E1CD Time : 0.0 sec. user=mdettweiler [2016-09-15 05:39:49] 755*2^1439778-1 is not prime. Res64: 2FC9D71A7730A780 Time : 0.0 sec. user=mdettweiler [2016-09-15 05:39:50] 791*2^1439778-1 is not prime. Res64: 5616FAAD84E4519A Time : 0.0 sec. user=mdettweiler [2016-09-15 05:39:50] 815*2^1439778-1 is not prime. Res64: C0855169BF8557B6 Time : 0.0 sec. user=mdettweiler [2016-09-15 05:39:51] 861*2^1439778-1 is not prime. Res64: E02D9CF3B871F99E Time : 0.0 sec. user=mdettweiler [2016-09-15 05:48:14] 609*2^1439779-1 is not prime. Res64: DD2F241AF0CC80A4 Time : 0.0 sec. user=mdettweiler [2016-09-15 05:48:14] 723*2^1439779-1 is not prime. Res64: 4917B003D0D02038 Time : 0.0 sec. user=mdettweiler [2016-09-15 05:48:15] 741*2^1439779-1 is not prime. Res64: 050CB10DCFC540DF Time : 0.0 sec. user=mdettweiler [2016-09-15 05:48:15] 769*2^1439779-1 is not prime. Res64: 732BA1CBDDADBEC6 Time : 0.0 sec. user=mdettweiler [2016-09-15 05:48:16] 771*2^1439779-1 is not prime. Res64: 5EFBBD4EF6D1FCA6 Time : 0.0 sec. user=mdettweiler [2016-09-15 05:57:14] 873*2^1439779-1 is not prime. Res64: 58770C071C7644B6 Time : 0.0 sec. user=mdettweiler [2016-09-15 05:57:15] 629*2^1439780-1 is not prime. Res64: E36FABDA8745650C Time : 0.0 sec. user=mdettweiler [2016-09-15 05:57:15] 707*2^1439780-1 is not prime. Res64: CA885FBA77BF2495 Time : 0.0 sec. user=mdettweiler [2016-09-15 05:57:16] 789*2^1439780-1 is not prime. Res64: ABF616483AA6AA39 Time : 0.0 sec. user=mdettweiler [2016-09-15 05:57:16] 963*2^1439780-1 is not prime. Res64: 76BF1444CDEDE980 Time : 0.0 sec. user=mdettweiler [2016-09-15 06:14:43] 983*2^1439780-1 is not prime. Res64: 0649B72ED3F6F1F9 Time : 0.0 sec. user=mdettweiler [2016-09-15 06:14:44] 649*2^1439781-1 is not prime. Res64: 0B497C9B97EDB969 Time : 0.0 sec. user=mdettweiler [2016-09-15 06:14:45] 819*2^1439781-1 is not prime. Res64: AFF9DFAD0C08AA85 Time : 0.0 sec. user=mdettweiler [2016-09-15 06:14:46] 837*2^1439781-1 is not prime. Res64: 829D5FE0BAA83D27 Time : 0.0 sec. user=mdettweiler [2016-09-15 06:14:47] 877*2^1439781-1 is not prime. Res64: B42999A4E34CD014 Time : 0.0 sec. user=mdettweiler [2016-09-15 06:24:17] 895*2^1439781-1 is not prime. Res64: C34FEDBF651703CF Time : 0.0 sec. user=mdettweiler [2016-09-15 06:24:17] 991*2^1439781-1 is not prime. Res64: B5F69BF60A69158C Time : 0.0 sec. user=mdettweiler [2016-09-15 06:24:17] 621*2^1439782-1 is not prime. Res64: 365496B77EA7DF8D Time : 0.0 sec. user=mdettweiler [2016-09-15 06:24:18] 645*2^1439782-1 is not prime. Res64: 485AFEC205552324 Time : 0.0 sec. user=mdettweiler [2016-09-15 06:24:18] 657*2^1439782-1 is not prime. Res64: 5AF28BE589F89249 Time : 0.0 sec. user=mdettweiler [2016-09-15 06:32:35] 717*2^1439782-1 is not prime. Res64: 014ABE7F6FE70AE5 Time : 0.0 sec. user=mdettweiler [2016-09-15 06:32:36] 741*2^1439782-1 is not prime. Res64: 924EEADDF5BCC228 Time : 0.0 sec. user=mdettweiler [2016-09-15 06:32:36] 755*2^1439782-1 is not prime. Res64: CD025CFC4C0F4F49 Time : 0.0 sec. user=mdettweiler [2016-09-15 06:32:37] 833*2^1439782-1 is not prime. Res64: 7AD4560A118466E1 Time : 0.0 sec. user=mdettweiler [2016-09-15 06:32:37] 873*2^1439782-1 is not prime. Res64: 861144DA1A22CB9C Time : 0.0 sec. user=mdettweiler [2016-09-15 06:41:25] 891*2^1439782-1 is not prime. Res64: 5CBBC9BC7BF19CC7 Time : 0.0 sec. user=mdettweiler [2016-09-15 06:41:25] 911*2^1439782-1 is not prime. Res64: BF4954BDDD095E4A Time : 0.0 sec. user=mdettweiler [2016-09-15 06:41:26] 941*2^1439782-1 is not prime. Res64: 4A6C124BF408FA83 Time : 0.0 sec. user=mdettweiler [2016-09-15 06:41:26] 947*2^1439782-1 is not prime. Res64: F64FD3EFB567C0DF Time : 0.0 sec. user=mdettweiler [2016-09-15 06:41:27] 771*2^1439783-1 is not prime. Res64: BDBD14558B4F749C Time : 0.0 sec. user=mdettweiler [2016-09-15 06:59:15] 855*2^1439783-1 is not prime. Res64: B15642C978A22D73 Time : 0.0 sec. user=mdettweiler [2016-09-15 06:59:15] 879*2^1439783-1 is not prime. Res64: FDED5F5E02D44C51 Time : 0.0 sec. user=mdettweiler [2016-09-15 06:59:16] 945*2^1439783-1 is not prime. Res64: 02082971AC81FD25 Time : 0.0 sec. user=mdettweiler [2016-09-15 06:59:16] 949*2^1439783-1 is not prime. Res64: 00A66860FEB19E8E Time : 0.0 sec. user=mdettweiler [2016-09-15 06:59:17] 973*2^1439783-1 is not prime. Res64: E2688EE1C134789E Time : 0.0 sec. user=mdettweiler [2016-09-15 07:08:41] 657*2^1439784-1 is not prime. Res64: 46F4DBEEC362EF76 Time : 0.0 sec. user=mdettweiler [2016-09-15 07:08:45] 765*2^1439784-1 is not prime. Res64: 135D64AF1A160887 Time : 0.0 sec. user=mdettweiler [2016-09-15 07:08:47] 803*2^1439784-1 is not prime. Res64: B6134B5CCEF099B7 Time : 0.0 sec. user=mdettweiler [2016-09-15 07:08:48] 809*2^1439784-1 is not prime. Res64: 321F1B7B3E86DC92 Time : 0.0 sec. user=mdettweiler [2016-09-15 07:08:50] 619*2^1439785-1 is not prime. Res64: A663EE6EFE56B117 Time : 0.0 sec. user=mdettweiler [2016-09-15 07:16:53] 649*2^1439785-1 is not prime. Res64: 2379C740DA4B3A90 Time : 0.0 sec. user=mdettweiler [2016-09-15 07:16:54] 687*2^1439785-1 is not prime. Res64: AF0720D06C0A5CD8 Time : 0.0 sec. user=mdettweiler [2016-09-15 07:16:54] 871*2^1439785-1 is not prime. Res64: D19E37F04388D09D Time : 0.0 sec. user=mdettweiler [2016-09-15 07:16:54] 877*2^1439785-1 is not prime. Res64: A5DEC10AFC8B19C3 Time : 0.0 sec. user=mdettweiler [2016-09-15 07:16:55] 937*2^1439785-1 is not prime. Res64: CC52A4116123082B Time : 0.0 sec. user=mdettweiler [2016-09-15 07:25:41] 957*2^1439785-1 is not prime. Res64: C1BB87E02FFAF19D Time : 0.0 sec. user=mdettweiler [2016-09-15 07:25:41] 999*2^1439785-1 is not prime. Res64: 181ED3617491F761 Time : 0.0 sec. user=mdettweiler [2016-09-15 07:25:42] 747*2^1439786-1 is not prime. Res64: 58FD86431E229B43 Time : 0.0 sec. user=mdettweiler [2016-09-15 07:25:42] 815*2^1439786-1 is not prime. Res64: 77AF3394DCD15E34 Time : 0.0 sec. user=mdettweiler [2016-09-15 07:25:43] 825*2^1439786-1 is not prime. Res64: 4C7B037EA0817432 Time : 0.0 sec. user=mdettweiler [2016-09-15 07:43:37] 837*2^1439786-1 is not prime. Res64: F5B0C765CFC585E2 Time : 0.0 sec. user=mdettweiler [2016-09-15 07:43:38] 935*2^1439786-1 is not prime. Res64: 4D065CE774D32BCF Time : 0.0 sec. user=mdettweiler [2016-09-15 07:43:38] 609*2^1439787-1 is not prime. Res64: 99B1B040B89B9F0D Time : 0.0 sec. user=mdettweiler [2016-09-15 07:43:39] 739*2^1439787-1 is not prime. Res64: CB71DF058C7FF44D Time : 0.0 sec. user=mdettweiler [2016-09-15 07:43:39] 861*2^1439787-1 is not prime. Res64: F4C19C35DA891C47 Time : 0.0 sec. user=mdettweiler [2016-09-15 07:53:22] 973*2^1439787-1 is not prime. Res64: 4CD899F0D64638FA Time : 0.0 sec. user=mdettweiler [2016-09-15 07:53:22] 635*2^1439788-1 is not prime. Res64: C0E3490198F8F59E Time : 0.0 sec. user=mdettweiler [2016-09-15 07:53:22] 647*2^1439788-1 is not prime. Res64: 9AC8A594120C0066 Time : 0.0 sec. user=mdettweiler [2016-09-15 07:53:23] 953*2^1439788-1 is not prime. Res64: 353D568F91AD8115 Time : 0.0 sec. user=mdettweiler [2016-09-15 07:53:23] 771*2^1439789-1 is not prime. Res64: 4D9298DC20A0859F Time : 0.0 sec. user=mdettweiler [2016-09-15 08:01:19] 861*2^1439789-1 is not prime. Res64: 9B37E6E8C74F424B Time : 0.0 sec. user=mdettweiler [2016-09-15 08:01:21] 907*2^1439789-1 is not prime. Res64: 6B0F59A6B121AD80 Time : 0.0 sec. user=mdettweiler [2016-09-15 08:01:22] 985*2^1439789-1 is not prime. Res64: DB3A50C1A430B96E Time : 0.0 sec. user=mdettweiler [2016-09-15 08:01:23] 707*2^1439790-1 is not prime. Res64: 6E082FA68407C0F5 Time : 0.0 sec. user=mdettweiler [2016-09-15 08:01:24] 821*2^1439790-1 is not prime. Res64: 83DC1EDFB88C4371 Time : 0.0 sec. user=mdettweiler [2016-09-15 08:10:00] 851*2^1439790-1 is not prime. Res64: 3072068E728E8375 Time : 0.0 sec. user=mdettweiler [2016-09-15 08:10:02] 887*2^1439790-1 is not prime. Res64: 4E11509350CEB8B4 Time : 0.0 sec. user=mdettweiler [2016-09-15 08:10:04] 639*2^1439791-1 is not prime. Res64: 1FF91BC2F76DD58D Time : 0.0 sec. user=mdettweiler [2016-09-15 08:10:05] 811*2^1439791-1 is not prime. Res64: 83044DF77A9CB88C Time : 0.0 sec. user=mdettweiler [2016-09-15 08:10:06] 861*2^1439791-1 is not prime. Res64: BCEAD3DB1FC56B3A Time : 0.0 sec. user=mdettweiler [2016-09-15 08:28:05] 885*2^1439791-1 is not prime. Res64: B8EAAD7DF8919D12 Time : 0.0 sec. user=mdettweiler [2016-09-15 08:28:05] 891*2^1439791-1 is not prime. Res64: E70EA287075E3709 Time : 0.0 sec. user=mdettweiler [2016-09-15 08:28:06] 999*2^1439791-1 is not prime. Res64: 374B253624BD6FD5 Time : 0.0 sec. user=mdettweiler [2016-09-15 08:28:06] 635*2^1439792-1 is not prime. Res64: E4060F7F8C743AFC Time : 0.0 sec. user=mdettweiler [2016-09-15 08:28:07] 917*2^1439792-1 is not prime. Res64: B92CCF694CE8FBFE Time : 0.0 sec. user=mdettweiler [2016-09-15 08:37:54] 923*2^1439792-1 is not prime. Res64: 80A4B195D0EA4BBA Time : 0.0 sec. user=mdettweiler [2016-09-15 08:37:54] 999*2^1439792-1 is not prime. Res64: 2075C0D1D3A572F3 Time : 0.0 sec. user=mdettweiler [2016-09-15 08:37:55] 637*2^1439793-1 is not prime. Res64: 6BB5F4A476D91B38 Time : 0.0 sec. user=mdettweiler [2016-09-15 08:37:55] 657*2^1439793-1 is not prime. Res64: C233D3BC05D80435 Time : 0.0 sec. user=mdettweiler [2016-09-15 08:37:56] 685*2^1439793-1 is not prime. Res64: 4F87DD7D1B2B70A4 Time : 0.0 sec. user=mdettweiler [2016-09-15 08:45:41] 705*2^1439793-1 is not prime. Res64: 2CF14E78B7117EF0 Time : 0.0 sec. user=mdettweiler [2016-09-15 08:45:42] 745*2^1439793-1 is not prime. Res64: 85A82040669F881C Time : 0.0 sec. user=mdettweiler [2016-09-15 08:45:42] 769*2^1439793-1 is not prime. Res64: 12A9E7D29ECC1958 Time : 0.0 sec. user=mdettweiler [2016-09-15 08:45:43] 847*2^1439793-1 is not prime. Res64: 6F3346668E9CFA19 Time : 0.0 sec. user=mdettweiler [2016-09-15 08:45:43] 999*2^1439793-1 is not prime. Res64: 9B5DF1019E532B8F Time : 0.0 sec. user=mdettweiler [2016-09-15 08:54:35] 677*2^1439794-1 is not prime. Res64: 98C4BFFF0E172369 Time : 0.0 sec. user=mdettweiler [2016-09-15 08:54:36] 681*2^1439794-1 is not prime. Res64: 831C20A0C3A8BEA7 Time : 0.0 sec. user=mdettweiler [2016-09-15 08:54:36] 695*2^1439794-1 is not prime. Res64: E0003F1AF239514D Time : 0.0 sec. user=mdettweiler [2016-09-15 08:54:37] 861*2^1439794-1 is not prime. Res64: CDD6D76A3BC5C849 Time : 0.0 sec. user=mdettweiler [2016-09-15 08:54:37] 945*2^1439794-1 is not prime. Res64: FD4F68754822A2C2 Time : 0.0 sec. user=mdettweiler [2016-09-15 09:12:21] 705*2^1439795-1 is not prime. Res64: 5D9E9A46FA692743 Time : 0.0 sec. user=mdettweiler [2016-09-15 09:12:22] 741*2^1439795-1 is not prime. Res64: 95C70D5BE991B64A Time : 0.0 sec. user=mdettweiler [2016-09-15 09:12:23] 825*2^1439795-1 is not prime. Res64: B5ED8988D0E27459 Time : 0.0 sec. user=mdettweiler [2016-09-15 09:12:24] 921*2^1439795-1 is not prime. Res64: 031AF56DD5384D95 Time : 0.0 sec. user=mdettweiler [2016-09-15 09:12:25] 979*2^1439795-1 is not prime. Res64: 7330709B6594333A Time : 0.0 sec. user=mdettweiler [2016-09-15 09:22:08] 609*2^1439796-1 is not prime. Res64: 2FD8736BBB20AAFF Time : 0.0 sec. user=mdettweiler [2016-09-15 09:22:09] 737*2^1439796-1 is not prime. Res64: F903FDA8B6D83997 Time : 0.0 sec. user=mdettweiler [2016-09-15 09:22:11] 749*2^1439796-1 is not prime. Res64: C18DF369B2909DBF Time : 0.0 sec. user=mdettweiler [2016-09-15 09:22:12] 803*2^1439796-1 is not prime. Res64: 0507E3DC84B203BA Time : 0.0 sec. user=mdettweiler [2016-09-15 09:22:13] 845*2^1439796-1 is not prime. Res64: 339CF0EED675E29C Time : 0.0 sec. user=mdettweiler [2016-09-15 09:29:52] 879*2^1439796-1 is not prime. Res64: 739ED1A44DE02E96 Time : 0.0 sec. user=mdettweiler [2016-09-15 09:29:53] 947*2^1439796-1 is not prime. Res64: 8C6E9125354E59F4 Time : 0.0 sec. user=mdettweiler [2016-09-15 09:29:53] 993*2^1439796-1 is not prime. Res64: A699DF19E2FD1DC3 Time : 0.0 sec. user=mdettweiler [2016-09-15 09:29:54] 691*2^1439797-1 is not prime. Res64: 531D4B26071616B2 Time : 0.0 sec. user=mdettweiler [2016-09-15 09:29:54] 717*2^1439797-1 is not prime. Res64: 981DC5FB5B240268 Time : 0.0 sec. user=mdettweiler [2016-09-15 09:38:50] 727*2^1439797-1 is not prime. Res64: 0F5A26E8E859A62E Time : 0.0 sec. user=mdettweiler [2016-09-15 09:38:50] 871*2^1439797-1 is not prime. Res64: D4E1D14D950ADFDA Time : 0.0 sec. user=mdettweiler [2016-09-15 09:38:51] 931*2^1439797-1 is not prime. Res64: 9DFAED5958E33E6C Time : 0.0 sec. user=mdettweiler [2016-09-15 09:38:51] 939*2^1439797-1 is not prime. Res64: 9A9851AC94D29040 Time : 0.0 sec. user=mdettweiler [2016-09-15 09:38:51] 713*2^1439798-1 is not prime. Res64: BE8427CFF82D71F5 Time : 0.0 sec. user=mdettweiler [2016-09-15 09:56:54] 867*2^1439798-1 is not prime. Res64: 4824BEF3B65B2C48 Time : 0.0 sec. user=mdettweiler [2016-09-15 09:56:55] 663*2^1439799-1 is not prime. Res64: FD20D1F02F09EA8B Time : 0.0 sec. user=mdettweiler [2016-09-15 09:56:55] 795*2^1439799-1 is not prime. Res64: 87E4AC81E0E1987F Time : 0.0 sec. user=mdettweiler [2016-09-15 09:56:56] 823*2^1439799-1 is not prime. Res64: 86997089BE5E71E8 Time : 0.0 sec. user=mdettweiler [2016-09-15 09:56:56] 831*2^1439799-1 is not prime. Res64: B5AB6F0979D8D283 Time : 0.0 sec. user=mdettweiler [2016-09-15 10:06:29] 615*2^1439800-1 is not prime. Res64: 44C005D43DB15BDB Time : 0.0 sec. user=mdettweiler [2016-09-15 10:06:30] 635*2^1439800-1 is not prime. Res64: 3E2B020BD93F9BCC Time : 0.0 sec. user=mdettweiler [2016-09-15 10:06:31] 687*2^1439800-1 is not prime. Res64: CF7FC5867922B4E2 Time : 0.0 sec. user=mdettweiler [2016-09-15 10:06:31] 833*2^1439800-1 is not prime. Res64: 4347D1F9FFD45F9B Time : 0.0 sec. user=mdettweiler [2016-09-15 10:06:32] 875*2^1439800-1 is not prime. Res64: 6CB1A81AA935F21D Time : 0.0 sec. user=mdettweiler [2016-09-15 10:14:14] 939*2^1439800-1 is not prime. Res64: BC2EB8432D1CCC58 Time : 0.0 sec. user=mdettweiler [2016-09-15 10:14:15] 959*2^1439800-1 is not prime. Res64: F37EB5AE95BF891B Time : 0.0 sec. user=mdettweiler [2016-09-15 10:14:16] 651*2^1439801-1 is not prime. Res64: 54F4F33D145EFA00 Time : 0.0 sec. user=mdettweiler [2016-09-15 10:14:17] 675*2^1439801-1 is not prime. Res64: FF82EDBA42F691D0 Time : 0.0 sec. user=mdettweiler [2016-09-15 10:14:18] 715*2^1439801-1 is not prime. Res64: 29050CA6A98D14C5 Time : 0.0 sec. user=mdettweiler [2016-09-15 10:23:11] 747*2^1439801-1 is not prime. Res64: 18E8FA2D2FB03421 Time : 0.0 sec. user=mdettweiler [2016-09-15 10:23:12] 861*2^1439801-1 is not prime. Res64: CF82DCACF88A1D10 Time : 0.0 sec. user=mdettweiler [2016-09-15 10:23:12] 949*2^1439801-1 is not prime. Res64: E30848E6C7196F2D Time : 0.0 sec. user=mdettweiler [2016-09-15 10:23:13] 981*2^1439801-1 is not prime. Res64: 56148E44A4C23FB6 Time : 0.0 sec. user=mdettweiler [2016-09-15 10:23:13] 987*2^1439801-1 is not prime. Res64: 8D92A6006CB8F905 Time : 0.0 sec. user=mdettweiler [2016-09-15 10:41:15] 735*2^1439802-1 is not prime. Res64: 50C4FECBC7D944B2 Time : 0.0 sec. user=mdettweiler [2016-09-15 10:41:15] 765*2^1439802-1 is not prime. Res64: BBC0BC6F3E90D85C Time : 0.0 sec. user=mdettweiler [2016-09-15 10:41:16] 815*2^1439802-1 is not prime. Res64: C7F98E74B31ABD68 Time : 0.0 sec. user=mdettweiler [2016-09-15 10:41:16] 825*2^1439802-1 is not prime. Res64: D68D69AC755CB78B Time : 0.0 sec. user=mdettweiler [2016-09-15 10:41:17] 873*2^1439802-1 is not prime. Res64: D01A25736E39FDBC Time : 0.0 sec. user=mdettweiler [2016-09-15 10:51:01] 603*2^1439803-1 is not prime. Res64: 9F58361A2FE44781 Time : 0.0 sec. user=mdettweiler [2016-09-15 10:51:02] 633*2^1439803-1 is not prime. Res64: 1A2F3531B1BFF992 Time : 0.0 sec. user=mdettweiler [2016-09-15 10:51:03] 663*2^1439803-1 is not prime. Res64: CD8EA2091DF8F314 Time : 0.0 sec. user=mdettweiler [2016-09-15 10:51:04] 723*2^1439803-1 is not prime. Res64: 516D4CDC33E58205 Time : 0.0 sec. user=mdettweiler [2016-09-15 10:51:05] 801*2^1439803-1 is not prime. Res64: 7360093081B10968 Time : 0.0 sec. user=mdettweiler [2016-09-15 10:58:37] 829*2^1439803-1 is not prime. Res64: 7C2B95460EEBAEE1 Time : 0.0 sec. user=mdettweiler [2016-09-15 10:58:37] 891*2^1439803-1 is not prime. Res64: 0321C8284D0888C1 Time : 0.0 sec. user=mdettweiler [2016-09-15 10:58:38] 939*2^1439803-1 is not prime. Res64: 21D35C775D08069F Time : 0.0 sec. user=mdettweiler [2016-09-15 10:58:38] 617*2^1439804-1 is not prime. Res64: 6EF7241BEF4EF419 Time : 0.0 sec. user=mdettweiler [2016-09-15 10:58:39] 629*2^1439804-1 is not prime. Res64: 0230D626F01273BF Time : 0.0 sec. user=mdettweiler [2016-09-15 11:07:32] 665*2^1439804-1 is not prime. Res64: 3A32891A161ECB04 Time : 0.0 sec. user=mdettweiler [2016-09-15 11:07:33] 719*2^1439804-1 is not prime. Res64: 287925A982A8B239 Time : 0.0 sec. user=mdettweiler [2016-09-15 11:07:33] 767*2^1439804-1 is not prime. Res64: BB24DD860BFBB125 Time : 0.0 sec. user=mdettweiler [2016-09-15 11:07:34] 773*2^1439804-1 is not prime. Res64: C07094F213836F4F Time : 0.0 sec. user=mdettweiler [2016-09-15 11:07:35] 855*2^1439804-1 is not prime. Res64: 15E8C21584A80FB6 Time : 0.0 sec. user=mdettweiler [2016-09-15 11:25:32] 929*2^1439804-1 is not prime. Res64: 510AF152B244BA8C Time : 0.0 sec. user=mdettweiler [2016-09-15 11:25:33] 953*2^1439804-1 is not prime. Res64: CBBCD481D48A035F Time : 0.0 sec. user=mdettweiler [2016-09-15 11:25:33] 699*2^1439805-1 is not prime. Res64: D08659DCEA3D1AA3 Time : 0.0 sec. user=mdettweiler [2016-09-15 11:25:34] 717*2^1439805-1 is not prime. Res64: 94EBE07D14F114D4 Time : 0.0 sec. user=mdettweiler [2016-09-15 11:25:34] 759*2^1439805-1 is not prime. Res64: 29C4A0EBB680F0EC Time : 0.0 sec. user=mdettweiler [2016-09-15 11:35:25] 891*2^1439805-1 is not prime. Res64: 73541607DDA3653A Time : 0.0 sec. user=mdettweiler [2016-09-15 11:35:25] 919*2^1439805-1 is not prime. Res64: A95EA095AD665CD1 Time : 0.0 sec. user=mdettweiler [2016-09-15 11:35:26] 951*2^1439805-1 is not prime. Res64: F94E6C3145454DDF Time : 0.0 sec. user=mdettweiler [2016-09-15 11:35:26] 743*2^1439806-1 is not prime. Res64: A5F1A36AA8ABB022 Time : 0.0 sec. user=mdettweiler [2016-09-15 11:35:27] 773*2^1439806-1 is not prime. Res64: 75621EA9E642250C Time : 0.0 sec. user=mdettweiler [2016-09-15 11:42:56] 833*2^1439806-1 is not prime. Res64: 3FAF424E1FBB0AA4 Time : 0.0 sec. user=mdettweiler [2016-09-15 11:42:57] 887*2^1439806-1 is not prime. Res64: ACDA933178E1274B Time : 0.0 sec. user=mdettweiler [2016-09-15 11:42:57] 923*2^1439806-1 is not prime. Res64: 931DAE4CB7B2869C Time : 0.0 sec. user=mdettweiler [2016-09-15 11:42:58] 615*2^1439807-1 is not prime. Res64: 3A74C9B2EF489355 Time : 0.0 sec. user=mdettweiler [2016-09-15 11:42:58] 669*2^1439807-1 is not prime. Res64: E5EDDF06272648DF Time : 0.0 sec. user=mdettweiler [2016-09-15 11:52:03] 729*2^1439807-1 is not prime. Res64: 7E047D576BBD6554 Time : 0.0 sec. user=mdettweiler [2016-09-15 11:52:04] 741*2^1439807-1 is not prime. Res64: 2CF57B883D16EE95 Time : 0.0 sec. user=mdettweiler [2016-09-15 11:52:04] 955*2^1439807-1 is not prime. Res64: 4A2EE0760147E346 Time : 0.0 sec. user=mdettweiler [2016-09-15 11:52:04] 797*2^1439808-1 is not prime. Res64: ADBEC15C13FB4BD1 Time : 0.0 sec. user=mdettweiler [2016-09-15 11:52:05] 839*2^1439808-1 is not prime. Res64: F1B324BA0B23E176 Time : 0.0 sec. user=mdettweiler [2016-09-15 12:10:02] 879*2^1439808-1 is not prime. Res64: 130AE5D990C935F8 Time : 0.0 sec. user=mdettweiler [2016-09-15 12:10:04] 893*2^1439808-1 is not prime. Res64: 6BB0A432A27127E3 Time : 0.0 sec. user=mdettweiler [2016-09-15 12:10:05] 975*2^1439808-1 is not prime. Res64: 66DA46F1DDFA6854 Time : 0.0 sec. user=mdettweiler [2016-09-15 12:10:06] 637*2^1439809-1 is not prime. Res64: 33B79090FD7D79AF Time : 0.0 sec. user=mdettweiler [2016-09-15 12:10:08] 649*2^1439809-1 is not prime. Res64: 2F3DA206B5F3F548 Time : 0.0 sec. user=mdettweiler [2016-09-15 12:19:52] 685*2^1439809-1 is not prime. Res64: 10ADF0768E65B8E5 Time : 0.0 sec. user=mdettweiler [2016-09-15 12:19:52] 771*2^1439809-1 is not prime. Res64: 88A9C7FE25D33BFC Time : 0.0 sec. user=mdettweiler [2016-09-15 12:19:53] 817*2^1439809-1 is not prime. Res64: 0E10B958C34E1C8E Time : 0.0 sec. user=mdettweiler [2016-09-15 12:19:53] 831*2^1439809-1 is not prime. Res64: 0C313A4B13E8E483 Time : 0.0 sec. user=mdettweiler [2016-09-15 12:19:54] 861*2^1439809-1 is not prime. Res64: 4FA9D62A4BB0FF4B Time : 0.0 sec. user=mdettweiler [2016-09-15 12:27:31] 909*2^1439809-1 is not prime. Res64: E0EAD7824BA88C4F Time : 0.0 sec. user=mdettweiler [2016-09-15 12:27:32] 939*2^1439809-1 is not prime. Res64: 64EEF01C7727A4EA Time : 0.0 sec. user=mdettweiler [2016-09-15 12:27:32] 603*2^1439810-1 is not prime. Res64: 0FB18013B3284B7F Time : 0.0 sec. user=mdettweiler [2016-09-15 12:27:33] 605*2^1439810-1 is not prime. Res64: A3E6C3CF3C30331D Time : 0.0 sec. user=mdettweiler [2016-09-15 12:27:34] 641*2^1439810-1 is not prime. Res64: D6DD708ABD8F73C2 Time : 0.0 sec. user=mdettweiler [2016-09-15 13:05:22] 885*2^1439811-1 is not prime. Res64: 5F5A31A903F5C881 Time : 0.0 sec. user=mdettweiler [2016-09-15 13:05:24] 913*2^1439811-1 is not prime. Res64: 0B951C7CE057A5EE Time : 0.0 sec. user=mdettweiler [2016-09-15 13:05:25] 961*2^1439811-1 is not prime. Res64: DB601A7FDDFBD7E6 Time : 0.0 sec. user=mdettweiler [2016-09-15 13:05:26] 973*2^1439811-1 is not prime. Res64: 9BF1D1CBC11114B4 Time : 0.0 sec. user=mdettweiler [2016-09-15 13:05:27] 975*2^1439811-1 is not prime. Res64: 7EB06DE1BD864E73 Time : 0.0 sec. user=mdettweiler [2016-09-15 13:13:34] 629*2^1439812-1 is not prime. Res64: 84FB7D09076530AA Time : 0.0 sec. user=mdettweiler [2016-09-15 13:13:35] 777*2^1439812-1 is not prime. Res64: 245B131300AE2186 Time : 0.0 sec. user=mdettweiler [2016-09-15 13:13:35] 813*2^1439812-1 is not prime. Res64: 9762F9ABA33C0EE6 Time : 0.0 sec. user=mdettweiler [2016-09-15 13:13:36] 825*2^1439812-1 is not prime. Res64: 121EDCBA4AD0B4A2 Time : 0.0 sec. user=mdettweiler [2016-09-15 13:13:37] 983*2^1439812-1 is not prime. Res64: FE10DEED5748B9AA Time : 0.0 sec. user=mdettweiler [2016-09-15 13:53:35] 999*2^1439812-1 is not prime. Res64: 06225205981100E3 Time : 0.0 sec. user=mdettweiler [2016-09-15 13:53:35] 615*2^1439813-1 is not prime. Res64: 4D6B59FF1A2F60C6 Time : 0.0 sec. user=mdettweiler [2016-09-15 13:53:36] 627*2^1439813-1 is not prime. Res64: 31A694B699B845FC Time : 0.0 sec. user=mdettweiler [2016-09-15 13:53:36] 691*2^1439813-1 is not prime. Res64: F959BF8E0C71E578 Time : 0.0 sec. user=mdettweiler [2016-09-15 13:53:37] 781*2^1439813-1 is not prime. Res64: 3F0A534870157C09 Time : 0.0 sec. user=mdettweiler [2016-09-15 14:01:59] 795*2^1439813-1 is not prime. Res64: C6B505C16F7095B9 Time : 0.0 sec. user=mdettweiler [2016-09-15 14:01:59] 847*2^1439813-1 is not prime. Res64: 6D4E4F37611B5013 Time : 0.0 sec. user=mdettweiler [2016-09-15 14:02:00] 879*2^1439813-1 is not prime. Res64: 6574FBD0F13B3536 Time : 0.0 sec. user=mdettweiler [2016-09-15 14:02:01] 951*2^1439813-1 is not prime. Res64: 24C61F635C5F5D6C Time : 0.0 sec. user=mdettweiler [2016-09-15 14:02:01] 957*2^1439813-1 is not prime. Res64: BB730C640507B244 Time : 0.0 sec. user=mdettweiler [2016-09-15 14:47:18] 641*2^1439814-1 is not prime. Res64: BCA60C63F0823717 Time : 0.0 sec. user=mdettweiler [2016-09-15 14:47:18] 927*2^1439814-1 is not prime. Res64: 4047E6EBF2BA1F4B Time : 0.0 sec. user=mdettweiler [2016-09-15 14:47:19] 945*2^1439814-1 is not prime. Res64: FF9C71C3CA164570 Time : 0.0 sec. user=mdettweiler [2016-09-15 14:47:19] 741*2^1439815-1 is not prime. Res64: F726E577EBA2C9CC Time : 0.0 sec. user=mdettweiler [2016-09-15 14:47:20] 771*2^1439815-1 is not prime. Res64: EBDADF64FCCE22AB Time : 0.0 sec. user=mdettweiler [2016-09-15 14:57:40] 789*2^1439815-1 is not prime. Res64: A327908473DC7D75 Time : 0.0 sec. user=mdettweiler [2016-09-15 14:57:40] 805*2^1439815-1 is not prime. Res64: 9914BAFBAB921EF0 Time : 0.0 sec. user=mdettweiler [2016-09-15 14:57:40] 915*2^1439815-1 is not prime. Res64: 495AE48907605429 Time : 0.0 sec. user=mdettweiler [2016-09-15 14:57:41] 615*2^1439816-1 is not prime. Res64: 6EF1281CBFA50D18 Time : 0.0 sec. user=mdettweiler [2016-09-15 14:57:41] 623*2^1439816-1 is not prime. Res64: 43AA4F7C835A44A3 Time : 0.0 sec. user=mdettweiler [2016-09-15 15:43:35] 669*2^1439816-1 is not prime. Res64: EEFFE78C2EA67E0E Time : 0.0 sec. user=mdettweiler [2016-09-15 15:43:35] 675*2^1439816-1 is not prime. Res64: 65AEB543CE106CB7 Time : 0.0 sec. user=mdettweiler [2016-09-15 15:43:35] 827*2^1439816-1 is not prime. Res64: 8EA886A66341EA13 Time : 0.0 sec. user=mdettweiler [2016-09-15 15:43:36] 857*2^1439816-1 is not prime. Res64: 4F21D64CB5863E13 Time : 0.0 sec. user=mdettweiler [2016-09-15 15:43:36] 893*2^1439816-1 is not prime. Res64: 83E2658BEAACB83B Time : 0.0 sec. user=mdettweiler [2016-09-15 15:55:39] 963*2^1439816-1 is not prime. Res64: 27C7371AD81C31A1 Time : 0.0 sec. user=mdettweiler [2016-09-15 15:55:39] 993*2^1439816-1 is not prime. Res64: 3C0244D8A975959C Time : 0.0 sec. user=mdettweiler [2016-09-15 15:55:40] 691*2^1439817-1 is not prime. Res64: BBF26B9FA4474648 Time : 0.0 sec. user=mdettweiler [2016-09-15 15:55:40] 895*2^1439817-1 is not prime. Res64: 0E116FF42573FF46 Time : 0.0 sec. user=mdettweiler [2016-09-15 15:55:40] 937*2^1439817-1 is not prime. Res64: 1B852C6E67DC8F97 Time : 0.0 sec. user=mdettweiler [2016-09-15 16:34:31] 955*2^1439817-1 is not prime. Res64: 72B4CCAC272E098B Time : 0.0 sec. user=mdettweiler [2016-09-15 16:34:31] 979*2^1439817-1 is not prime. Res64: 9C373E08ED82F546 Time : 0.0 sec. user=mdettweiler [2016-09-15 16:34:31] 605*2^1439818-1 is not prime. Res64: EF035BAE7EC2425A Time : 0.0 sec. user=mdettweiler [2016-09-15 16:34:32] 645*2^1439818-1 is not prime. Res64: 1D4C2C459AD212F7 Time : 0.0 sec. user=mdettweiler [2016-09-15 16:34:32] 773*2^1439818-1 is not prime. Res64: BCF391D92AE89B1E Time : 0.0 sec. user=mdettweiler [2016-09-15 16:48:41] 777*2^1439818-1 is not prime. Res64: AF16C4011068B120 Time : 0.0 sec. user=mdettweiler [2016-09-15 16:48:41] 933*2^1439818-1 is not prime. Res64: 278AA2122D1B3FE1 Time : 0.0 sec. user=mdettweiler [2016-09-15 16:48:41] 987*2^1439818-1 is not prime. Res64: ACA35F89E1C2C909 Time : 0.0 sec. user=mdettweiler [2016-09-15 16:48:42] 711*2^1439819-1 is not prime. Res64: 4D977B57E154394F Time : 0.0 sec. user=mdettweiler [2016-09-15 16:48:42] 843*2^1439819-1 is not prime. Res64: 8484805C0349FDA9 Time : 0.0 sec. user=mdettweiler [2016-09-15 17:15:12] 711*2^1439811-1 is not prime. Res64: 80132995579385C0 Time : 0.0 sec. user=mdettweiler [2016-09-15 17:15:14] 723*2^1439811-1 is not prime. Res64: 1404A6A705A3A366 Time : 0.0 sec. user=mdettweiler [2016-09-15 17:15:14] 751*2^1439811-1 is not prime. Res64: E22BEC97568F9DE4 Time : 0.0 sec. user=mdettweiler [2016-09-15 17:15:14] 781*2^1439811-1 is not prime. Res64: 874AFD3290FD8B71 Time : 0.0 sec. user=mdettweiler [2016-09-15 17:15:15] 801*2^1439811-1 is not prime. Res64: 7D1B3A9CF26FBE56 Time : 0.0 sec. user=mdettweiler [2016-09-15 17:26:19] 921*2^1439819-1 is not prime. Res64: 5F3603B5B2E9BEDF Time : 0.0 sec. user=mdettweiler [2016-09-15 17:26:20] 985*2^1439819-1 is not prime. Res64: 16A84B22979C76B2 Time : 0.0 sec. user=mdettweiler [2016-09-15 17:26:20] 653*2^1439820-1 is not prime. Res64: 6A5024F3986B0CE0 Time : 0.0 sec. user=mdettweiler [2016-09-15 17:26:21] 797*2^1439820-1 is not prime. Res64: B680D029EA0AF90D Time : 0.0 sec. user=mdettweiler [2016-09-15 17:26:21] 745*2^1439821-1 is not prime. Res64: 223DE998FF94ED6A Time : 0.0 sec. user=mdettweiler [2016-09-15 17:38:44] 801*2^1439821-1 is not prime. Res64: CBE839697291B6DD Time : 0.0 sec. user=mdettweiler [2016-09-15 17:38:45] 829*2^1439821-1 is not prime. Res64: C4B035DEA0226AFE Time : 0.0 sec. user=mdettweiler [2016-09-15 17:38:45] 859*2^1439821-1 is not prime. Res64: 00980AD4849B2F41 Time : 0.0 sec. user=mdettweiler [2016-09-15 17:38:45] 645*2^1439822-1 is not prime. Res64: 16B48E55F1B261CB Time : 0.0 sec. user=mdettweiler [2016-09-15 17:38:45] 915*2^1439822-1 is not prime. Res64: 6A30934C3D623219 Time : 0.0 sec. user=mdettweiler [2016-09-15 18:03:43] 609*2^1439823-1 is not prime. Res64: 3B35C6415630A071 Time : 0.0 sec. user=mdettweiler [2016-09-15 18:03:44] 735*2^1439823-1 is not prime. Res64: 6E27A6AFB8B7480E Time : 0.0 sec. user=mdettweiler [2016-09-15 18:03:46] 741*2^1439823-1 is not prime. Res64: B4A1370C377B2E75 Time : 0.0 sec. user=mdettweiler [2016-09-15 18:03:47] 769*2^1439823-1 is not prime. Res64: E7A1AA99022CBCAE Time : 0.0 sec. user=mdettweiler [2016-09-15 18:03:48] 871*2^1439823-1 is not prime. Res64: 755F2A9A51F4661B Time : 0.0 sec. user=mdettweiler [2016-09-15 18:14:56] 803*2^1439824-1 is not prime. Res64: 6EB77EFD9125DEA9 Time : 0.0 sec. user=mdettweiler [2016-09-15 18:14:56] 849*2^1439824-1 is not prime. Res64: 1804CC5CD54103E7 Time : 0.0 sec. user=mdettweiler [2016-09-15 18:14:56] 875*2^1439824-1 is not prime. Res64: 1410D228A368BCCB Time : 0.0 sec. user=mdettweiler [2016-09-15 18:14:57] 619*2^1439825-1 is not prime. Res64: 2F482F14F5DCA342 Time : 0.0 sec. user=mdettweiler [2016-09-15 18:14:57] 715*2^1439825-1 is not prime. Res64: 5E312EB4D94357FD Time : 0.0 sec. user=mdettweiler [2016-09-15 18:27:35] 847*2^1439825-1 is not prime. Res64: 3A45EFD8A92E536C Time : 0.0 sec. user=mdettweiler [2016-09-15 18:27:36] 723*2^1439826-1 is not prime. Res64: 922999A6F7E72B61 Time : 0.0 sec. user=mdettweiler [2016-09-15 18:27:36] 807*2^1439826-1 is not prime. Res64: 581E30C83EBC31E2 Time : 0.0 sec. user=mdettweiler [2016-09-15 18:27:36] 891*2^1439826-1 is not prime. Res64: 55989302E2AF2414 Time : 0.0 sec. user=mdettweiler [2016-09-15 18:27:36] 903*2^1439826-1 is not prime. Res64: 1DD232ADB6615B3A Time : 0.0 sec. user=mdettweiler [2016-09-15 18:52:52] 609*2^1439827-1 is not prime. Res64: AA45926B23FBED62 Time : 0.0 sec. user=mdettweiler [2016-09-15 18:52:52] 633*2^1439827-1 is not prime. Res64: 22A48FA865167F38 Time : 0.0 sec. user=mdettweiler [2016-09-15 18:52:53] 673*2^1439827-1 is not prime. Res64: 51CB723559D6807C Time : 0.0 sec. user=mdettweiler [2016-09-15 18:52:53] 735*2^1439827-1 is not prime. Res64: C3021F3B2DA6C3E2 Time : 0.0 sec. user=mdettweiler [2016-09-15 18:52:53] 805*2^1439827-1 is not prime. Res64: 59FDAE98A009B5AE Time : 0.0 sec. user=mdettweiler [2016-09-15 19:03:57] 843*2^1439827-1 is not prime. Res64: 59403735F01A6162 Time : 0.0 sec. user=mdettweiler [2016-09-15 19:03:58] 883*2^1439827-1 is not prime. Res64: FFCE090A6A07D1CA Time : 0.0 sec. user=mdettweiler [2016-09-15 19:04:00] 901*2^1439827-1 is not prime. Res64: 6BFDA668F3FC40DF Time : 0.0 sec. user=mdettweiler [2016-09-15 19:04:01] 915*2^1439827-1 is not prime. Res64: F0B95E878695DA7E Time : 0.0 sec. user=mdettweiler [2016-09-15 19:04:02] 945*2^1439827-1 is not prime. Res64: 923A5D001B125F82 Time : 0.0 sec. user=mdettweiler [2016-09-15 19:18:12] 975*2^1439827-1 is not prime. Res64: 542D0A7AFE46E1B5 Time : 0.0 sec. user=mdettweiler [2016-09-15 19:18:13] 635*2^1439828-1 is not prime. Res64: 42C4181117705437 Time : 0.0 sec. user=mdettweiler [2016-09-15 19:18:13] 677*2^1439828-1 is not prime. Res64: 9A5B2A8F8104FF03 Time : 0.0 sec. user=mdettweiler [2016-09-15 19:18:14] 759*2^1439828-1 is not prime. Res64: 0CEB5AACDF2E33DE Time : 0.0 sec. user=mdettweiler [2016-09-15 19:18:14] 795*2^1439828-1 is not prime. Res64: 941F4CC24C53AB47 Time : 0.0 sec. user=mdettweiler [2016-09-15 19:42:07] 819*2^1439828-1 is not prime. Res64: 6C7563D65CF98810 Time : 0.0 sec. user=mdettweiler [2016-09-15 19:42:07] 843*2^1439828-1 is not prime. Res64: 104D5892CB39775C Time : 0.0 sec. user=mdettweiler [2016-09-15 19:42:07] 855*2^1439828-1 is not prime. Res64: 53D2E69997ABA67D Time : 0.0 sec. user=mdettweiler [2016-09-15 19:42:08] 625*2^1439829-1 is not prime. Res64: 322B517BB261A6DF Time : 0.0 sec. user=mdettweiler [2016-09-15 19:42:08] 691*2^1439829-1 is not prime. Res64: 7382028B6F2AC958 Time : 0.0 sec. user=mdettweiler [2016-09-15 19:53:02] 747*2^1439829-1 is not prime. Res64: 52C5A8265FCC2957 Time : 0.0 sec. user=mdettweiler [2016-09-15 19:53:03] 825*2^1439829-1 is not prime. Res64: FD67A9EDBC754167 Time : 0.0 sec. user=mdettweiler [2016-09-15 19:53:03] 861*2^1439829-1 is not prime. Res64: 91D93F207FE95D11 Time : 0.0 sec. user=mdettweiler [2016-09-15 19:53:03] 889*2^1439829-1 is not prime. Res64: F5D27983C2B3D5D8 Time : 0.0 sec. user=mdettweiler [2016-09-15 19:53:04] 907*2^1439829-1 is not prime. Res64: F37DBACD9495FF9A Time : 0.0 sec. user=mdettweiler [2016-09-15 20:04:57] 611*2^1439830-1 is not prime. Res64: 0E34C5A67424A7F5 Time : 0.0 sec. user=mdettweiler [2016-09-15 20:04:59] 681*2^1439830-1 is not prime. Res64: 7EBF84CCEBE48819 Time : 0.0 sec. user=mdettweiler [2016-09-15 20:05:00] 857*2^1439830-1 is not prime. Res64: 1E158C58F3A1DFDD Time : 0.0 sec. user=mdettweiler [2016-09-15 20:05:01] 887*2^1439830-1 is not prime. Res64: 335B0DC64D80D7B3 Time : 0.0 sec. user=mdettweiler [2016-09-15 20:05:02] 933*2^1439830-1 is not prime. Res64: BD9AB9A5DCB5AC15 Time : 0.0 sec. user=mdettweiler [2016-09-15 20:28:12] 951*2^1439830-1 is not prime. Res64: 4AC1C350A31C743F Time : 0.0 sec. user=mdettweiler [2016-09-15 20:28:12] 975*2^1439830-1 is not prime. Res64: 29D7686418F841B8 Time : 0.0 sec. user=mdettweiler [2016-09-15 20:28:13] 1001*2^1439830-1 is not prime. Res64: 3B5DDE323BFF5297 Time : 0.0 sec. user=mdettweiler [2016-09-15 20:28:13] 615*2^1439831-1 is not prime. Res64: 83EC7F78EFEFFBAE Time : 0.0 sec. user=mdettweiler [2016-09-15 20:28:13] 619*2^1439831-1 is not prime. Res64: D93FBCCE25398C21 Time : 0.0 sec. user=mdettweiler [2016-09-15 20:39:03] 979*2^1439831-1 is not prime. Res64: E6074B7EB00DE45D Time : 0.0 sec. user=mdettweiler [2016-09-15 20:39:03] 991*2^1439831-1 is not prime. Res64: 42DDD5CA3FF1E56D Time : 0.0 sec. user=mdettweiler [2016-09-15 20:39:04] 753*2^1439832-1 is not prime. Res64: 1F4E6DFC75F42C88 Time : 0.0 sec. user=mdettweiler [2016-09-15 20:39:04] 765*2^1439832-1 is not prime. Res64: 1A64A7E055369BD3 Time : 0.0 sec. user=mdettweiler [2016-09-15 20:39:04] 815*2^1439832-1 is not prime. Res64: 1A2CECE00698F438 Time : 0.0 sec. user=mdettweiler [2016-09-15 20:51:24] 849*2^1439832-1 is not prime. Res64: 0C25CAA1E36AB368 Time : 0.0 sec. user=mdettweiler [2016-09-15 20:51:24] 607*2^1439833-1 is not prime. Res64: B7A700C14A96F7C5 Time : 0.0 sec. user=mdettweiler [2016-09-15 20:51:24] 609*2^1439833-1 is not prime. Res64: 54BC9E6BB6CB91AD Time : 0.0 sec. user=mdettweiler [2016-09-15 20:51:25] 729*2^1439833-1 is not prime. Res64: 2F8283C0A23788D4 Time : 0.0 sec. user=mdettweiler [2016-09-15 20:51:25] 751*2^1439833-1 is not prime. Res64: DAEAE2BCF29B1EDA Time : 0.0 sec. user=mdettweiler [2016-09-15 21:14:37] 765*2^1439833-1 is not prime. Res64: 273FA5BC4833C420 Time : 0.0 sec. user=mdettweiler [2016-09-15 21:14:37] 769*2^1439833-1 is not prime. Res64: 37EEEA4DA992A01E Time : 0.0 sec. user=mdettweiler [2016-09-15 21:14:38] 817*2^1439833-1 is not prime. Res64: E649217D43896775 Time : 0.0 sec. user=mdettweiler [2016-09-15 21:14:38] 847*2^1439833-1 is not prime. Res64: 6F87EDC4957349F5 Time : 0.0 sec. user=mdettweiler [2016-09-15 21:14:38] 889*2^1439833-1 is not prime. Res64: BD26BC4B3CF040E5 Time : 0.0 sec. user=mdettweiler [2016-09-15 21:25:20] 901*2^1439833-1 is not prime. Res64: 4BC5B8CB0C3449BD Time : 0.0 sec. user=mdettweiler [2016-09-15 21:25:21] 985*2^1439833-1 is not prime. Res64: 270A77DE70B2FA9F Time : 0.0 sec. user=mdettweiler [2016-09-15 21:25:21] 999*2^1439833-1 is not prime. Res64: 89A999DF38C3E328 Time : 0.0 sec. user=mdettweiler [2016-09-15 21:25:22] 617*2^1439834-1 is not prime. Res64: 8D95286600A67D4B Time : 0.0 sec. user=mdettweiler [2016-09-15 21:25:22] 671*2^1439834-1 is not prime. Res64: 582DF38B0C4B6374 Time : 0.0 sec. user=mdettweiler [2016-09-15 21:27:27] 713*2^1439810-1 is not prime. Res64: EAFCC550BEF0ED9E Time : 0.0 sec. user=mdettweiler [2016-09-15 21:27:28] 857*2^1439810-1 is not prime. Res64: B28ECC2F8ECBB3FF Time : 0.0 sec. user=mdettweiler [2016-09-15 21:27:28] 957*2^1439810-1 is not prime. Res64: BB09293DBCBE2AD8 Time : 0.0 sec. user=mdettweiler [2016-09-15 21:27:29] 981*2^1439810-1 is not prime. Res64: 65CF4F5D94BFA344 Time : 0.0 sec. user=mdettweiler [2016-09-15 21:27:29] 675*2^1439811-1 is not prime. Res64: 062779F8984D5B37 Time : 0.0 sec. user=mdettweiler [2016-09-15 21:37:22] 753*2^1439834-1 is not prime. Res64: F4ACAEF519D4C972 Time : 0.0 sec. user=mdettweiler [2016-09-15 21:37:22] 797*2^1439834-1 is not prime. Res64: 5A1BC96849DB7FCC Time : 0.0 sec. user=mdettweiler [2016-09-15 21:37:23] 837*2^1439834-1 is not prime. Res64: E982455818FABA55 Time : 0.0 sec. user=mdettweiler [2016-09-15 21:37:23] 887*2^1439834-1 is not prime. Res64: 3E68CE8B4C29413E Time : 0.0 sec. user=mdettweiler [2016-09-15 21:37:23] 903*2^1439834-1 is not prime. Res64: 4291CAAD3FAFDD95 Time : 0.0 sec. user=mdettweiler [2016-09-15 22:00:45] 935*2^1439834-1 is not prime. Res64: B6FEFD384C7E1E78 Time : 0.0 sec. user=mdettweiler [2016-09-15 22:00:46] 941*2^1439834-1 is not prime. Res64: 5E125E71DC1599C7 Time : 0.0 sec. user=mdettweiler [2016-09-15 22:00:47] 945*2^1439834-1 is not prime. Res64: B2F5FFB1C8A034FD Time : 0.0 sec. user=mdettweiler [2016-09-15 22:00:47] 751*2^1439835-1 is not prime. Res64: B39AC898902F4E50 Time : 0.0 sec. user=mdettweiler [2016-09-15 22:00:48] 765*2^1439835-1 is not prime. Res64: B5E3880C45126BA3 Time : 0.0 sec. user=mdettweiler [2016-09-15 22:11:34] 829*2^1439835-1 is not prime. Res64: C9E121D3E5EDF6BD Time : 0.0 sec. user=mdettweiler [2016-09-15 22:11:37] 871*2^1439835-1 is not prime. Res64: DFF009A7CEE4A67D Time : 0.0 sec. user=mdettweiler [2016-09-15 22:11:39] 903*2^1439835-1 is not prime. Res64: 3320DD81BA5C9FED Time : 0.0 sec. user=mdettweiler [2016-09-15 22:11:40] 919*2^1439835-1 is not prime. Res64: F592FAEA9DED8955 Time : 0.0 sec. user=mdettweiler [2016-09-15 22:11:41] 647*2^1439836-1 is not prime. Res64: A8FD024E1C1CA37B Time : 0.0 sec. user=mdettweiler [2016-09-15 22:13:44] 735*2^1439836-1 is not prime. Res64: 293333719AC672EA Time : 0.0 sec. user=mdettweiler [2016-09-15 22:13:46] 777*2^1439836-1 is not prime. Res64: 0E2A77A397737469 Time : 0.0 sec. user=mdettweiler [2016-09-15 22:13:48] 813*2^1439836-1 is not prime. Res64: 1F294C650A53D769 Time : 0.0 sec. user=mdettweiler [2016-09-15 22:13:49] 905*2^1439836-1 is not prime. Res64: 6AAF2B560A60FBCD Time : 0.0 sec. user=mdettweiler [2016-09-15 22:13:50] 939*2^1439836-1 is not prime. Res64: E7E3086F123018C1 Time : 0.0 sec. user=mdettweiler [2016-09-15 22:23:36] 965*2^1439836-1 is not prime. Res64: 6BB6562CA0166734 Time : 0.0 sec. user=mdettweiler [2016-09-15 22:23:36] 631*2^1439837-1 is not prime. Res64: 79CA6F6FCB4C8B94 Time : 0.0 sec. user=mdettweiler [2016-09-15 22:23:36] 729*2^1439837-1 is not prime. Res64: 54637854FAF3ABC3 Time : 0.0 sec. user=mdettweiler [2016-09-15 22:23:37] 759*2^1439837-1 is not prime. Res64: 6851EC369F3B2A3B Time : 0.0 sec. user=mdettweiler [2016-09-15 22:23:37] 777*2^1439837-1 is not prime. Res64: 7F563ECB1A77C8A4 Time : 0.0 sec. user=mdettweiler [2016-09-15 22:45:45] 867*2^1439837-1 is not prime. Res64: 993F31A53C570E89 Time : 0.0 sec. user=mdettweiler [2016-09-15 22:45:45] 707*2^1439838-1 is not prime. Res64: 8EA321C7074B9F36 Time : 0.0 sec. user=mdettweiler [2016-09-15 22:45:46] 711*2^1439838-1 is not prime. Res64: F00A57BA755A73EB Time : 0.0 sec. user=mdettweiler [2016-09-15 22:45:46] 713*2^1439838-1 is not prime. Res64: B08A3953FA746D83 Time : 0.0 sec. user=mdettweiler [2016-09-15 22:45:46] 765*2^1439838-1 is not prime. Res64: B5F92891F9D7D3D1 Time : 0.0 sec. user=mdettweiler [2016-09-15 22:56:40] 815*2^1439838-1 is not prime. Res64: A559A6D3CE9F0164 Time : 0.0 sec. user=mdettweiler [2016-09-15 22:56:40] 843*2^1439838-1 is not prime. Res64: 1454283C13A12C5B Time : 0.0 sec. user=mdettweiler [2016-09-15 22:56:41] 957*2^1439838-1 is not prime. Res64: 78AB12AA2FA9471B Time : 0.0 sec. user=mdettweiler [2016-09-15 22:56:41] 975*2^1439838-1 is not prime. Res64: 72D37A38AEA81D49 Time : 0.0 sec. user=mdettweiler [2016-09-15 22:56:42] 649*2^1439839-1 is not prime. Res64: 6759F88C477B1A3B Time : 0.0 sec. user=mdettweiler [2016-09-15 22:59:00] 709*2^1439839-1 is not prime. Res64: 46501B94C4FAA68B Time : 0.0 sec. user=mdettweiler [2016-09-15 22:59:00] 775*2^1439839-1 is not prime. Res64: 7EC4110BF0327745 Time : 0.0 sec. user=mdettweiler [2016-09-15 22:59:00] 841*2^1439839-1 is not prime. Res64: 464FC8C8A10A156B Time : 0.0 sec. user=mdettweiler [2016-09-15 22:59:01] 969*2^1439839-1 is not prime. Res64: 7F4F0BD63BFD95E7 Time : 0.0 sec. user=mdettweiler [2016-09-15 22:59:01] 973*2^1439839-1 is not prime. Res64: ECFBC3B709B84622 Time : 0.0 sec. user=mdettweiler [2016-09-15 23:08:37] 985*2^1439839-1 is not prime. Res64: BDF293BF3E7B5B8C Time : 0.0 sec. user=mdettweiler [2016-09-15 23:08:38] 665*2^1439840-1 is not prime. Res64: 0D3232888AEB7362 Time : 0.0 sec. user=mdettweiler [2016-09-15 23:08:39] 813*2^1439840-1 is not prime. Res64: 37CFA3A04DE5D4D1 Time : 0.0 sec. user=mdettweiler [2016-09-15 23:08:40] 649*2^1439841-1 is not prime. Res64: 7AE9CC263DEFEEEB Time : 0.0 sec. user=mdettweiler [2016-09-15 23:08:40] 681*2^1439841-1 is not prime. Res64: 84865E1CA3E0A258 Time : 0.0 sec. user=mdettweiler [2016-09-15 23:30:49] 691*2^1439841-1 is not prime. Res64: 8AB2A0E33916D020 Time : 0.0 sec. user=mdettweiler [2016-09-15 23:30:49] 847*2^1439841-1 is not prime. Res64: F933C61F4AD5F81E Time : 0.0 sec. user=mdettweiler [2016-09-15 23:30:50] 861*2^1439841-1 is not prime. Res64: 3D2C15138B57FC88 Time : 0.0 sec. user=mdettweiler [2016-09-15 23:30:50] 889*2^1439841-1 is not prime. Res64: 565D7EB26C1CE3C8 Time : 0.0 sec. user=mdettweiler [2016-09-15 23:30:51] 951*2^1439841-1 is not prime. Res64: 29DB1C34B8CA856A Time : 0.0 sec. user=mdettweiler [2016-09-15 23:41:51] 979*2^1439841-1 is not prime. Res64: DF3FDB4B5CB4D1A9 Time : 0.0 sec. user=mdettweiler [2016-09-15 23:41:51] 991*2^1439841-1 is not prime. Res64: 69B4DC34284BF5AE Time : 0.0 sec. user=mdettweiler [2016-09-15 23:41:52] 999*2^1439841-1 is not prime. Res64: 58EE78079B7E488F Time : 0.0 sec. user=mdettweiler [2016-09-15 23:41:52] 695*2^1439842-1 is not prime. Res64: F71CC275DB69C224 Time : 0.0 sec. user=mdettweiler [2016-09-15 23:41:53] 713*2^1439842-1 is not prime. Res64: 579BE8109B9909DF Time : 0.0 sec. user=mdettweiler [2016-09-15 23:43:58] 827*2^1439842-1 is not prime. Res64: 49289B91B4BA9F5A Time : 0.0 sec. user=mdettweiler [2016-09-15 23:43:59] 831*2^1439842-1 is not prime. Res64: B1E27B065A3715EE Time : 0.0 sec. user=mdettweiler [2016-09-15 23:43:59] 843*2^1439842-1 is not prime. Res64: 3F7FB9E0665DE621 Time : 0.0 sec. user=mdettweiler [2016-09-15 23:44:00] 633*2^1439843-1 is not prime. Res64: 794300F06F4305EE Time : 0.0 sec. user=mdettweiler [2016-09-15 23:44:00] 675*2^1439843-1 is not prime. Res64: 8B3592E0EF03FDA2 Time : 0.0 sec. user=mdettweiler [2016-09-15 23:53:36] 685*2^1439843-1 is not prime. Res64: 0C1C02F68759D602 Time : 0.0 sec. user=mdettweiler [2016-09-15 23:53:36] 693*2^1439843-1 is not prime. Res64: 414B22134649069A Time : 0.0 sec. user=mdettweiler [2016-09-15 23:53:36] 853*2^1439843-1 is not prime. Res64: A2E910BADE86175E Time : 0.0 sec. user=mdettweiler [2016-09-15 23:53:37] 859*2^1439843-1 is not prime. Res64: FB943308B81C4763 Time : 0.0 sec. user=mdettweiler [2016-09-15 23:53:37] 913*2^1439843-1 is not prime. Res64: 7AC22A94152B1765 Time : 0.0 sec.