user=mdettweiler [2015-11-09 00:04:51] 721*2^1414385-1 is not prime. Res64: 8CDAC28B4E24A332 Time : 0.0 sec. user=mdettweiler [2015-11-09 00:04:51] 917*2^1414384-1 is not prime. Res64: 00FEB23D64A4C609 Time : 0.0 sec. user=mdettweiler [2015-11-09 00:04:51] 699*2^1414385-1 is not prime. Res64: FFC0B6C53C41FC87 Time : 0.0 sec. user=mdettweiler [2015-11-09 00:04:52] 799*2^1414385-1 is not prime. Res64: CF7863E30750B2F0 Time : 0.0 sec. user=mdettweiler [2015-11-09 00:04:52] 715*2^1414385-1 is not prime. Res64: 62F6FD52EBEB8158 Time : 0.0 sec. user=mdettweiler [2015-11-09 00:04:53] 983*2^1414384-1 is not prime. Res64: 28259376BE757D10 Time : 0.0 sec. user=mdettweiler [2015-11-09 00:22:37] 861*2^1414385-1 is not prime. Res64: ED902372B9CA879C Time : 0.0 sec. user=mdettweiler [2015-11-09 00:22:38] 867*2^1414385-1 is not prime. Res64: AE2F3405B0C1415F Time : 0.0 sec. user=mdettweiler [2015-11-09 00:22:38] 925*2^1414385-1 is not prime. Res64: 52A52E86EF55E50E Time : 0.0 sec. user=mdettweiler [2015-11-09 00:22:38] 949*2^1414385-1 is not prime. Res64: EB536A112C3D2548 Time : 0.0 sec. user=mdettweiler [2015-11-09 00:22:43] 985*2^1414385-1 is not prime. Res64: C9FF5039C4F921CB Time : 0.0 sec. user=mdettweiler [2015-11-09 00:22:43] 671*2^1414386-1 is not prime. Res64: B9F728BA8BD5801D Time : 0.0 sec. user=mdettweiler [2015-11-09 00:40:08] 971*2^1414386-1 is not prime. Res64: 2E2E755842C9FC13 Time : 0.0 sec. user=mdettweiler [2015-11-09 00:40:08] 703*2^1414387-1 is not prime. Res64: BB83FB48344B5837 Time : 0.0 sec. user=mdettweiler [2015-11-09 00:40:09] 631*2^1414387-1 is not prime. Res64: 3CDAFA2E5EFAA55C Time : 0.0 sec. user=mdettweiler [2015-11-09 00:40:09] 759*2^1414387-1 is not prime. Res64: B9CE6928848B4321 Time : 0.0 sec. user=mdettweiler [2015-11-09 00:40:15] 805*2^1414387-1 is not prime. Res64: 77AE6A916A09698A Time : 0.0 sec. user=mdettweiler [2015-11-09 00:40:15] 843*2^1414387-1 is not prime. Res64: 3E3835C6EE16B412 Time : 0.0 sec. user=mdettweiler [2015-11-09 00:57:37] 633*2^1414388-1 is not prime. Res64: 3C27F9DE278E807E Time : 0.0 sec. user=mdettweiler [2015-11-09 00:57:37] 677*2^1414388-1 is not prime. Res64: D0C50EF544324792 Time : 0.0 sec. user=mdettweiler [2015-11-09 00:57:38] 945*2^1414387-1 is not prime. Res64: 768C0BCCEDD1C95C Time : 0.0 sec. user=mdettweiler [2015-11-09 00:57:39] 951*2^1414387-1 is not prime. Res64: 7154D17DA184DA4B Time : 0.0 sec. user=mdettweiler [2015-11-09 00:57:43] 707*2^1414388-1 is not prime. Res64: 2DE3BD84A3C74940 Time : 0.0 sec. user=mdettweiler [2015-11-09 00:57:43] 893*2^1414388-1 is not prime. Res64: 1BCAFC816350B8B3 Time : 0.0 sec. user=mdettweiler [2015-11-09 01:15:05] 609*2^1414389-1 is not prime. Res64: ABA01A4B5B49D876 Time : 0.0 sec. user=mdettweiler [2015-11-09 01:15:06] 657*2^1414389-1 is not prime. Res64: 23FFD785186BFF88 Time : 0.0 sec. user=mdettweiler [2015-11-09 01:15:06] 667*2^1414389-1 is not prime. Res64: 8E24AD59255F4851 Time : 0.0 sec. user=mdettweiler [2015-11-09 01:15:07] 669*2^1414389-1 is not prime. Res64: 1BEC21C5619FA26B Time : 0.0 sec. user=mdettweiler [2015-11-09 01:15:10] 691*2^1414389-1 is not prime. Res64: 8A048A3CA27C93E5 Time : 0.0 sec. user=mdettweiler [2015-11-09 01:15:11] 835*2^1414389-1 is not prime. Res64: 5DE75C880E9B7D85 Time : 0.0 sec. user=mdettweiler [2015-11-09 01:32:37] 927*2^1414389-1 is not prime. Res64: 16E33A70459D92E5 Time : 0.0 sec. user=mdettweiler [2015-11-09 01:32:37] 895*2^1414389-1 is not prime. Res64: EFE849799303C82D Time : 0.0 sec. user=mdettweiler [2015-11-09 01:32:37] 945*2^1414389-1 is not prime. Res64: E537C4A14784B4E4 Time : 0.0 sec. user=mdettweiler [2015-11-09 01:32:37] 921*2^1414389-1 is not prime. Res64: A7ED14E23B420A49 Time : 0.0 sec. user=mdettweiler [2015-11-09 01:32:40] 975*2^1414389-1 is not prime. Res64: 4BADD2C3427103E5 Time : 0.0 sec. user=mdettweiler [2015-11-09 01:32:41] 687*2^1414390-1 is not prime. Res64: 98EA560876D3C8E8 Time : 0.0 sec. user=mdettweiler [2015-11-09 01:50:09] 713*2^1414390-1 is not prime. Res64: 9E6147A8AB4F113F Time : 0.0 sec. user=mdettweiler [2015-11-09 01:50:10] 765*2^1414390-1 is not prime. Res64: D03EEF2725AA41E9 Time : 0.0 sec. user=mdettweiler [2015-11-09 01:50:10] 651*2^1414391-1 is not prime. Res64: 06139017CD80B22F Time : 0.0 sec. user=mdettweiler [2015-11-09 01:50:10] 781*2^1414391-1 is not prime. Res64: F82D84C8BEFF5026 Time : 0.0 sec. user=mdettweiler [2015-11-09 01:50:10] 855*2^1414390-1 is not prime. Res64: 9EE6F1F8F453EDFE Time : 0.0 sec. user=mdettweiler [2015-11-09 01:50:11] 603*2^1414391-1 is not prime. Res64: BD8A86F3BE35C307 Time : 0.0 sec. user=mdettweiler [2015-11-09 02:07:45] 813*2^1414391-1 is not prime. Res64: 4398AF33FE94E593 Time : 0.0 sec. user=mdettweiler [2015-11-09 02:07:47] 737*2^1414392-1 is not prime. Res64: 9749B639A7292278 Time : 0.0 sec. user=mdettweiler [2015-11-09 02:07:50] 983*2^1414392-1 is not prime. Res64: 2F7908C0850B3FA8 Time : 0.0 sec. user=mdettweiler [2015-11-09 02:07:50] 669*2^1414392-1 is not prime. Res64: C567F2E7C68DFFDF Time : 0.0 sec. user=mdettweiler [2015-11-09 02:07:54] 693*2^1414392-1 is not prime. Res64: E5E9F3C2184CE490 Time : 0.0 sec. user=mdettweiler [2015-11-09 02:07:56] 605*2^1414392-1 is not prime. Res64: 289959189A83A97E Time : 0.0 sec. user=mdettweiler [2015-11-09 02:26:21] 741*2^1414393-1 is not prime. Res64: CDB6E49EDA69792F Time : 0.0 sec. user=mdettweiler [2015-11-09 02:26:22] 987*2^1414393-1 is not prime. Res64: 7A069F2991F81187 Time : 0.0 sec. user=mdettweiler [2015-11-09 02:26:26] 691*2^1414393-1 is not prime. Res64: BD8A6F65B4E8AF53 Time : 0.0 sec. user=mdettweiler [2015-11-09 02:26:28] 705*2^1414393-1 is not prime. Res64: C63642A9369DD88E Time : 0.0 sec. user=mdettweiler [2015-11-09 02:44:01] 615*2^1414394-1 is not prime. Res64: B8B4C3C9770C75A0 Time : 0.0 sec. user=mdettweiler [2015-11-09 02:44:02] 833*2^1414394-1 is not prime. Res64: 9AA0ACD469CFB46F Time : 0.0 sec. user=mdettweiler [2015-11-09 02:44:10] 917*2^1414394-1 is not prime. Res64: 384FFA31E8CC2CFB Time : 0.0 sec. user=mdettweiler [2015-11-09 02:44:10] 971*2^1414394-1 is not prime. Res64: 19CF4DD11E5BC2A3 Time : 0.0 sec. user=mdettweiler [2015-11-09 03:01:38] 669*2^1414395-1 is not prime. Res64: BA3B72229EB78091 Time : 0.0 sec. user=mdettweiler [2015-11-09 03:01:38] 709*2^1414395-1 is not prime. Res64: F97E027D3BEB5BF8 Time : 0.0 sec. user=mdettweiler [2015-11-09 03:01:45] 805*2^1414395-1 is not prime. Res64: 93BC9F2B9DF4E743 Time : 0.0 sec. user=mdettweiler [2015-11-09 03:01:46] 921*2^1414395-1 is not prime. Res64: CCCA88968BFDE3F1 Time : 0.0 sec. user=mdettweiler [2015-11-09 03:19:27] 773*2^1414396-1 is not prime. Res64: 401503AE123B8252 Time : 0.0 sec. user=mdettweiler [2015-11-09 03:19:28] 873*2^1414396-1 is not prime. Res64: F63A217F5F76FEAF Time : 0.0 sec. user=mdettweiler [2015-11-09 03:19:29] 953*2^1414396-1 is not prime. Res64: F138C0E3C89A81D2 Time : 0.0 sec. user=mdettweiler [2015-11-09 03:19:29] 999*2^1414396-1 is not prime. Res64: 77781BDEE07DE552 Time : 0.0 sec. user=mdettweiler [2015-11-09 03:36:59] 675*2^1414397-1 is not prime. Res64: 1A8B381B4597C169 Time : 0.0 sec. user=mdettweiler [2015-11-09 03:37:00] 801*2^1414397-1 is not prime. Res64: D0EBAB1F4AF83CDF Time : 0.0 sec. user=mdettweiler [2015-11-09 03:37:00] 759*2^1414397-1 is not prime. Res64: BEA4223533DF8A52 Time : 0.0 sec. user=mdettweiler [2015-11-09 03:37:01] 847*2^1414397-1 is not prime. Res64: 4D9890FAA5BFED3B Time : 0.0 sec. user=mdettweiler [2015-11-09 03:37:24] 949*2^1414397-1 is not prime. Res64: CBAE41323C41D444 Time : 0.0 sec. user=mdettweiler [2015-11-09 03:37:25] 611*2^1414398-1 is not prime. Res64: C76B2D4B1BB3F740 Time : 0.0 sec. user=mdettweiler [2015-11-09 03:54:54] 663*2^1414398-1 is not prime. Res64: 0BE577F3708BEE00 Time : 0.0 sec. user=mdettweiler [2015-11-09 03:54:54] 791*2^1414398-1 is not prime. Res64: 1FDA757614D88548 Time : 0.0 sec. user=mdettweiler [2015-11-09 03:54:55] 951*2^1414398-1 is not prime. Res64: C07EDC9F0B0DE971 Time : 0.0 sec. user=mdettweiler [2015-11-09 03:54:55] 681*2^1414398-1 is not prime. Res64: B4F8B7560CFC7C24 Time : 0.0 sec. user=mdettweiler [2015-11-09 03:54:56] 825*2^1414398-1 is not prime. Res64: 7A7BAC32A113CD2D Time : 0.0 sec. user=mdettweiler [2015-11-09 03:54:56] 971*2^1414398-1 is not prime. Res64: 55A55C5709F334B6 Time : 0.0 sec. user=mdettweiler [2015-11-09 04:12:47] 1001*2^1414398-1 is not prime. Res64: 1F9041EC70D6F0D0 Time : 0.0 sec. user=mdettweiler [2015-11-09 04:12:48] 681*2^1414399-1 is not prime. Res64: 724D63C6DC71F8B0 Time : 0.0 sec. user=mdettweiler [2015-11-09 04:12:50] 873*2^1414399-1 is not prime. Res64: 633B6DA03F56F29D Time : 0.0 sec. user=mdettweiler [2015-11-09 04:12:50] 741*2^1414399-1 is not prime. Res64: 3A6AF4525848FDDB Time : 0.0 sec. user=mdettweiler [2015-11-09 04:12:50] 913*2^1414399-1 is not prime. Res64: 3825408711BDFDBD Time : 0.0 sec. user=mdettweiler [2015-11-09 04:12:51] 861*2^1414399-1 is not prime. Res64: F6ACEB79147A9394 Time : 0.0 sec. user=mdettweiler [2015-11-09 04:30:21] 759*2^1414400-1 is not prime. Res64: 311CB278D3DC0B9F Time : 0.0 sec. user=mdettweiler [2015-11-09 04:30:21] 857*2^1414400-1 is not prime. Res64: 5BA2749570584A48 Time : 0.0 sec. user=mdettweiler [2015-11-09 04:30:21] 615*2^1414400-1 is not prime. Res64: BA3E13BCD3F9F302 Time : 0.0 sec. user=mdettweiler [2015-11-09 04:30:22] 813*2^1414400-1 is not prime. Res64: 674E44BB6A896BE6 Time : 0.0 sec. user=mdettweiler [2015-11-09 04:30:22] 875*2^1414400-1 is not prime. Res64: 3C66E7F9783902F6 Time : 0.0 sec. user=mdettweiler [2015-11-09 04:30:22] 713*2^1414400-1 is not prime. Res64: BAD90B448148C7A7 Time : 0.0 sec. user=mdettweiler [2015-11-09 04:47:53] 895*2^1414401-1 is not prime. Res64: 85DCBF7BB0F314AB Time : 0.0 sec. user=mdettweiler [2015-11-09 04:47:53] 635*2^1414402-1 is not prime. Res64: 62F38387FEB1DF0E Time : 0.0 sec. user=mdettweiler [2015-11-09 04:47:53] 695*2^1414402-1 is not prime. Res64: EEA0C0768DD18837 Time : 0.0 sec. user=mdettweiler [2015-11-09 04:47:54] 741*2^1414402-1 is not prime. Res64: 940C5C0E3F894FB3 Time : 0.0 sec. user=mdettweiler [2015-11-09 04:47:55] 923*2^1414400-1 is not prime. Res64: E60F914CF9272B30 Time : 0.0 sec. user=mdettweiler [2015-11-09 04:47:55] 865*2^1414401-1 is not prime. Res64: 1AEA767ECE77CE4F Time : 0.0 sec. user=mdettweiler [2015-11-09 05:05:24] 791*2^1414402-1 is not prime. Res64: 1822525A70B4DDC4 Time : 0.0 sec. user=mdettweiler [2015-11-09 05:05:26] 857*2^1414402-1 is not prime. Res64: 3E69210E41C6CCF1 Time : 0.0 sec. user=mdettweiler [2015-11-09 05:05:26] 843*2^1414402-1 is not prime. Res64: 70E1174895BC0EAF Time : 0.0 sec. user=mdettweiler [2015-11-09 05:05:27] 915*2^1414402-1 is not prime. Res64: 76E40F5EBAE55F5A Time : 0.0 sec. user=mdettweiler [2015-11-09 05:05:28] 983*2^1414402-1 is not prime. Res64: 95AB587EAC5EA383 Time : 0.0 sec. user=mdettweiler [2015-11-09 05:05:29] 615*2^1414403-1 is not prime. Res64: 152AB68DF15A50D2 Time : 0.0 sec. user=mdettweiler [2015-11-09 05:23:24] 675*2^1414403-1 is not prime. Res64: 887256BAD26F7953 Time : 0.0 sec. user=mdettweiler [2015-11-09 05:23:25] 699*2^1414403-1 is not prime. Res64: 0EF0F8F41B7E8BAC Time : 0.0 sec. user=mdettweiler [2015-11-09 05:23:26] 753*2^1414403-1 is not prime. Res64: 8C1FA00D1C1BE556 Time : 0.0 sec. user=mdettweiler [2015-11-09 05:23:27] 823*2^1414403-1 is not prime. Res64: 2573FA26914354A6 Time : 0.0 sec. user=mdettweiler [2015-11-09 05:23:30] 789*2^1414404-1 is not prime. Res64: A3FF2EDEFB728ADB Time : 0.0 sec. user=mdettweiler [2015-11-09 05:23:30] 843*2^1414404-1 is not prime. Res64: 7E33DBEDA9CB3CA4 Time : 0.0 sec. user=mdettweiler [2015-11-09 05:40:57] 775*2^1414405-1 is not prime. Res64: 78A3624B6D4469D3 Time : 0.0 sec. user=mdettweiler [2015-11-09 05:40:58] 811*2^1414405-1 is not prime. Res64: 88BAAEF3850B808C Time : 0.0 sec. user=mdettweiler [2015-11-09 05:40:59] 721*2^1414405-1 is not prime. Res64: 25FADB4734F80F33 Time : 0.0 sec. user=mdettweiler [2015-11-09 05:40:59] 765*2^1414405-1 is not prime. Res64: 5CC5876C762927E0 Time : 0.0 sec. user=mdettweiler [2015-11-09 05:41:02] 925*2^1414405-1 is not prime. Res64: 17044F33647AB504 Time : 0.0 sec. user=mdettweiler [2015-11-09 05:41:02] 937*2^1414405-1 is not prime. Res64: D7A1496B311B9ED0 Time : 0.0 sec. user=mdettweiler [2015-11-09 05:58:29] 635*2^1414406-1 is not prime. Res64: 42CBA06165672B34 Time : 0.0 sec. user=mdettweiler [2015-11-09 05:58:30] 747*2^1414406-1 is not prime. Res64: 55663B1003C87E4D Time : 0.0 sec. user=mdettweiler [2015-11-09 05:58:33] 857*2^1414406-1 is not prime. Res64: B25AE3EFE2B43D39 Time : 0.0 sec. user=mdettweiler [2015-11-09 05:58:33] 957*2^1414405-1 is not prime. Res64: 625EE212477C716F Time : 0.0 sec. user=mdettweiler [2015-11-09 05:58:33] 963*2^1414406-1 is not prime. Res64: 0C446271C44447FD Time : 0.0 sec. user=mdettweiler [2015-11-09 05:58:33] 623*2^1414406-1 is not prime. Res64: E59D44009E7BEEFB Time : 0.0 sec. user=mdettweiler [2015-11-09 06:15:59] 693*2^1414407-1 is not prime. Res64: BB5B20978291714D Time : 0.0 sec. user=mdettweiler [2015-11-09 06:16:00] 751*2^1414407-1 is not prime. Res64: 43D2391AB25BFAC9 Time : 0.0 sec. user=mdettweiler [2015-11-09 06:16:03] 891*2^1414407-1 is not prime. Res64: 58DB62D55B7FCB72 Time : 0.0 sec. user=mdettweiler [2015-11-09 06:16:03] 963*2^1414407-1 is not prime. Res64: 217D5DD5FE40199C Time : 0.0 sec. user=mdettweiler [2015-11-09 06:16:04] 949*2^1414407-1 is not prime. Res64: 77A5C232EC52F2A9 Time : 0.0 sec. user=mdettweiler [2015-11-09 06:16:05] 985*2^1414407-1 is not prime. Res64: 8AAF3C39D3EEC80B Time : 0.0 sec. user=mdettweiler [2015-11-09 06:33:35] 989*2^1414408-1 is not prime. Res64: 745BF4B2D6F21700 Time : 0.0 sec. user=mdettweiler [2015-11-09 06:33:35] 605*2^1414408-1 is not prime. Res64: 9DFB43BA5E286AEF Time : 0.0 sec. user=mdettweiler [2015-11-09 06:33:35] 789*2^1414409-1 is not prime. Res64: D37E041A0289AD8F Time : 0.0 sec. user=mdettweiler [2015-11-09 06:33:36] 677*2^1414408-1 is not prime. Res64: A81857CA2D81E000 Time : 0.0 sec. user=mdettweiler [2015-11-09 06:33:36] 905*2^1414408-1 is not prime. Res64: 51F942282740602D Time : 0.0 sec. user=mdettweiler [2015-11-09 06:33:37] 909*2^1414408-1 is not prime. Res64: 6032FAA2760D7A5A Time : 0.0 sec. user=mdettweiler [2015-11-09 06:51:04] 797*2^1414410-1 is not prime. Res64: 92A31500D5A294E7 Time : 0.0 sec. user=mdettweiler [2015-11-09 06:51:05] 725*2^1414410-1 is not prime. Res64: DB5F1FB800899C0E Time : 0.0 sec. user=mdettweiler [2015-11-09 06:51:05] 803*2^1414410-1 is not prime. Res64: C5C75CA1679E8D28 Time : 0.0 sec. user=mdettweiler [2015-11-09 06:51:05] 907*2^1414409-1 is not prime. Res64: D30A411CBFC3ACDE Time : 0.0 sec. user=mdettweiler [2015-11-09 06:51:05] 783*2^1414410-1 is not prime. Res64: 10DDBF4F1157FEEE Time : 0.0 sec. user=mdettweiler [2015-11-09 06:51:05] 949*2^1414409-1 is not prime. Res64: 9745190704C0531B Time : 0.0 sec. user=mdettweiler [2015-11-09 07:08:34] 941*2^1414410-1 is not prime. Res64: F4206D54E222BCA1 Time : 0.0 sec. user=mdettweiler [2015-11-09 07:08:34] 723*2^1414411-1 is not prime. Res64: 3FB2F7EA21BA1B1D Time : 0.0 sec. user=mdettweiler [2015-11-09 07:08:34] 741*2^1414411-1 is not prime. Res64: B2F20DC2A5C89AB5 Time : 0.0 sec. user=mdettweiler [2015-11-09 07:08:35] 969*2^1414411-1 is not prime. Res64: 536625DD544B081D Time : 0.0 sec. user=mdettweiler [2015-11-09 07:08:35] 769*2^1414411-1 is not prime. Res64: 8A7C09690EFEE428 Time : 0.0 sec. user=mdettweiler [2015-11-09 07:08:35] 605*2^1414412-1 is not prime. Res64: 2262A2B94212B354 Time : 0.0 sec. user=mdettweiler [2015-11-09 07:26:08] 797*2^1414412-1 is not prime. Res64: 68F48EBE65ED4E99 Time : 0.0 sec. user=mdettweiler [2015-11-09 07:26:09] 827*2^1414412-1 is not prime. Res64: 73352E4D74D48571 Time : 0.0 sec. user=mdettweiler [2015-11-09 07:26:09] 657*2^1414413-1 is not prime. Res64: DAD07803E4185100 Time : 0.0 sec. user=mdettweiler [2015-11-09 07:26:10] 727*2^1414413-1 is not prime. Res64: EA5C32616C2961C5 Time : 0.0 sec. user=mdettweiler [2015-11-09 07:26:12] 875*2^1414412-1 is not prime. Res64: EFAE72213CEE92C5 Time : 0.0 sec. user=mdettweiler [2015-11-09 07:26:13] 903*2^1414412-1 is not prime. Res64: 4922FC3FD214B49B Time : 0.0 sec. user=mdettweiler [2015-11-09 07:43:37] 849*2^1414413-1 is not prime. Res64: 28684A6CD31CFDA0 Time : 0.0 sec. user=mdettweiler [2015-11-09 07:43:37] 915*2^1414413-1 is not prime. Res64: FACA747C8F1E04F1 Time : 0.0 sec. user=mdettweiler [2015-11-09 07:43:38] 991*2^1414413-1 is not prime. Res64: A47888BACE314F4A Time : 0.0 sec. user=mdettweiler [2015-11-09 07:43:39] 663*2^1414414-1 is not prime. Res64: EF460D265056C1E1 Time : 0.0 sec. user=mdettweiler [2015-11-09 07:43:40] 717*2^1414414-1 is not prime. Res64: 074F4C73A878C684 Time : 0.0 sec. user=mdettweiler [2015-11-09 07:43:41] 773*2^1414414-1 is not prime. Res64: 99526CB1FF16CBE7 Time : 0.0 sec. user=mdettweiler [2015-11-09 08:01:07] 815*2^1414414-1 is not prime. Res64: BD63CB771E050CDF Time : 0.0 sec. user=mdettweiler [2015-11-09 08:01:08] 661*2^1414415-1 is not prime. Res64: 207464D86C466542 Time : 0.0 sec. user=mdettweiler [2015-11-09 08:01:09] 903*2^1414414-1 is not prime. Res64: AC4787A8D10A2759 Time : 0.0 sec. user=mdettweiler [2015-11-09 08:01:09] 735*2^1414415-1 is not prime. Res64: 8C87226E5BC8FABB Time : 0.0 sec. user=mdettweiler [2015-11-09 08:01:10] 753*2^1414415-1 is not prime. Res64: 22249EAB3450DACD Time : 0.0 sec. user=mdettweiler [2015-11-09 08:01:11] 759*2^1414415-1 is not prime. Res64: 53A6D2F1D8579A5A Time : 0.0 sec. user=mdettweiler [2015-11-09 08:19:02] 799*2^1414415-1 is not prime. Res64: C2DB651F3A1CFEAD Time : 0.0 sec. user=mdettweiler [2015-11-09 08:19:02] 805*2^1414415-1 is not prime. Res64: 72CAD311EA70BCB3 Time : 0.0 sec. user=mdettweiler [2015-11-09 08:19:02] 981*2^1414415-1 is not prime. Res64: E909A8107C9967EE Time : 0.0 sec. user=mdettweiler [2015-11-09 08:19:03] 991*2^1414415-1 is not prime. Res64: 07D606C16F480B69 Time : 0.0 sec. user=mdettweiler [2015-11-09 08:19:04] 781*2^1414415-1 is not prime. Res64: 782B0FEBE3023B6E Time : 0.0 sec. user=mdettweiler [2015-11-09 08:19:04] 783*2^1414415-1 is not prime. Res64: 65FAE0C016145A7C Time : 0.0 sec. user=mdettweiler [2015-11-09 08:36:31] 993*2^1414416-1 is not prime. Res64: 8BEAD49512FBE9C5 Time : 0.0 sec. user=mdettweiler [2015-11-09 08:36:31] 689*2^1414416-1 is not prime. Res64: 876F82203D61646F Time : 0.0 sec. user=mdettweiler [2015-11-09 08:36:32] 685*2^1414417-1 is not prime. Res64: A6D63581DC3C1C9B Time : 0.0 sec. user=mdettweiler [2015-11-09 08:36:32] 723*2^1414416-1 is not prime. Res64: 33F505FACA6B6799 Time : 0.0 sec. user=mdettweiler [2015-11-09 08:36:35] 687*2^1414417-1 is not prime. Res64: 4E4EE550A0FB7F59 Time : 0.0 sec. user=mdettweiler [2015-11-09 08:36:35] 699*2^1414417-1 is not prime. Res64: 28BC83E010691A6B Time : 0.0 sec. user=mdettweiler [2015-11-09 08:54:01] 805*2^1414417-1 is not prime. Res64: E8D5B64BE4BB8C49 Time : 0.0 sec. user=mdettweiler [2015-11-09 08:54:01] 985*2^1414417-1 is not prime. Res64: A3AB02318C2DDE53 Time : 0.0 sec. user=mdettweiler [2015-11-09 08:54:02] 729*2^1414417-1 is not prime. Res64: 865FC0349BF8AE12 Time : 0.0 sec. user=mdettweiler [2015-11-09 08:54:03] 741*2^1414417-1 is not prime. Res64: D036DBE762F42A1B Time : 0.0 sec. user=mdettweiler [2015-11-09 08:54:05] 623*2^1414418-1 is not prime. Res64: 24F0C46F4B76FCCE Time : 0.0 sec. user=mdettweiler [2015-11-09 08:54:05] 651*2^1414418-1 is not prime. Res64: D5EF0F2D67CA93D8 Time : 0.0 sec. user=mdettweiler [2015-11-09 09:11:31] 743*2^1414418-1 is not prime. Res64: BFD1D862D49AE949 Time : 0.0 sec. user=mdettweiler [2015-11-09 09:11:32] 797*2^1414418-1 is not prime. Res64: CB167E529263830F Time : 0.0 sec. user=mdettweiler [2015-11-09 09:11:32] 791*2^1414418-1 is not prime. Res64: E3E3DF2E29752DF4 Time : 0.0 sec. user=mdettweiler [2015-11-09 09:11:33] 619*2^1414419-1 is not prime. Res64: EA86D95DF73FBC79 Time : 0.0 sec. user=mdettweiler [2015-11-09 09:11:34] 639*2^1414419-1 is not prime. Res64: 806BE1AD12688006 Time : 0.0 sec. user=mdettweiler [2015-11-09 09:11:36] 703*2^1414419-1 is not prime. Res64: DED336C30903A208 Time : 0.0 sec. user=mdettweiler [2015-11-09 09:29:18] 751*2^1414419-1 is not prime. Res64: ABB1F51F62E3212D Time : 0.0 sec. user=mdettweiler [2015-11-09 09:29:19] 829*2^1414419-1 is not prime. Res64: 93D53CECE52E53C5 Time : 0.0 sec. user=mdettweiler [2015-11-09 09:29:19] 909*2^1414419-1 is not prime. Res64: 39589A7242EB3E36 Time : 0.0 sec. user=mdettweiler [2015-11-09 09:29:19] 629*2^1414420-1 is not prime. Res64: FCE2E679E9A8D2D3 Time : 0.0 sec. user=mdettweiler [2015-11-09 09:29:20] 609*2^1414420-1 is not prime. Res64: 9359BCD6BD17DB09 Time : 0.0 sec. user=mdettweiler [2015-11-09 09:29:20] 665*2^1414420-1 is not prime. Res64: 7D2377D13D7B75CE Time : 0.0 sec. user=mdettweiler [2015-11-09 09:46:49] 687*2^1414420-1 is not prime. Res64: 1EDE31A5DB9F6525 Time : 0.0 sec. user=mdettweiler [2015-11-09 09:46:49] 857*2^1414420-1 is not prime. Res64: AE4F235D621DBBBC Time : 0.0 sec. user=mdettweiler [2015-11-09 09:46:50] 839*2^1414420-1 is not prime. Res64: 6D76847EF15A3A9D Time : 0.0 sec. user=mdettweiler [2015-11-09 09:46:50] 797*2^1414420-1 is not prime. Res64: 70C553B123DB4AB1 Time : 0.0 sec. user=mdettweiler [2015-11-09 09:46:50] 885*2^1414420-1 is not prime. Res64: C92A1A6536FF5F1B Time : 0.0 sec. user=mdettweiler [2015-11-09 09:46:50] 845*2^1414420-1 is not prime. Res64: BD9EDB20B9AD4566 Time : 0.0 sec. user=mdettweiler [2015-11-09 10:04:22] 957*2^1414421-1 is not prime. Res64: C91C6E822997EFEE Time : 0.0 sec. user=mdettweiler [2015-11-09 10:04:22] 825*2^1414421-1 is not prime. Res64: DC42B9B08187470A Time : 0.0 sec. user=mdettweiler [2015-11-09 10:04:23] 611*2^1414422-1 is not prime. Res64: AE943F9ADEA1EE8A Time : 0.0 sec. user=mdettweiler [2015-11-09 10:04:24] 901*2^1414421-1 is not prime. Res64: 437F449DE68C823F Time : 0.0 sec. user=mdettweiler [2015-11-09 10:04:24] 615*2^1414421-1 is not prime. Res64: C7DF1AD12D646D99 Time : 0.0 sec. user=mdettweiler [2015-11-09 10:04:25] 697*2^1414421-1 is not prime. Res64: 8DDA86CCEC967E06 Time : 0.0 sec. user=mdettweiler [2015-11-09 10:22:17] 677*2^1414422-1 is not prime. Res64: B5D2428C63B59AFB Time : 0.0 sec. user=mdettweiler [2015-11-09 10:22:18] 681*2^1414422-1 is not prime. Res64: 007EF407AB677A5D Time : 0.0 sec. user=mdettweiler [2015-11-09 10:22:18] 705*2^1414422-1 is not prime. Res64: C7D65215F67CB399 Time : 0.0 sec. user=mdettweiler [2015-11-09 10:22:19] 807*2^1414422-1 is not prime. Res64: E9F3FA2A8F824B49 Time : 0.0 sec. user=mdettweiler [2015-11-09 10:22:20] 821*2^1414422-1 is not prime. Res64: B196E77BECF897FC Time : 0.0 sec. user=mdettweiler [2015-11-09 10:22:20] 843*2^1414422-1 is not prime. Res64: DE84043BA687ED77 Time : 0.0 sec. user=mdettweiler [2015-11-09 10:39:46] 893*2^1414422-1 is not prime. Res64: 83ACB94C46FA1FD9 Time : 0.0 sec. user=mdettweiler [2015-11-09 10:39:47] 917*2^1414422-1 is not prime. Res64: 719F7E13004945A2 Time : 0.0 sec. user=mdettweiler [2015-11-09 10:39:48] 963*2^1414422-1 is not prime. Res64: BF7AC5FCEA935367 Time : 0.0 sec. user=mdettweiler [2015-11-09 10:39:49] 977*2^1414422-1 is not prime. Res64: A1733F7551D0E274 Time : 0.0 sec. user=mdettweiler [2015-11-09 10:39:50] 603*2^1414423-1 is not prime. Res64: EDAABF79F7510B6C Time : 0.0 sec. user=mdettweiler [2015-11-09 10:39:51] 619*2^1414423-1 is not prime. Res64: 21933D541ACCF212 Time : 0.0 sec. user=mdettweiler [2015-11-09 10:57:15] 661*2^1414423-1 is not prime. Res64: 58EF97FA872A3729 Time : 0.0 sec. user=mdettweiler [2015-11-09 10:57:16] 693*2^1414423-1 is not prime. Res64: 9453F0AEFE2181FE Time : 0.0 sec. user=mdettweiler [2015-11-09 10:57:17] 745*2^1414423-1 is not prime. Res64: 9ACB6F5E4A37F456 Time : 0.0 sec. user=mdettweiler [2015-11-09 10:57:17] 605*2^1414424-1 is not prime. Res64: 23638040472325AF Time : 0.0 sec. user=mdettweiler [2015-11-09 10:57:20] 659*2^1414424-1 is not prime. Res64: FBDC93AA2BADA718 Time : 0.0 sec. user=mdettweiler [2015-11-09 10:57:21] 663*2^1414424-1 is not prime. Res64: 133ABB788BDE3BD5 Time : 0.0 sec. user=mdettweiler [2015-11-09 11:14:44] 677*2^1414424-1 is not prime. Res64: 60E26F6654C71895 Time : 0.0 sec. user=mdettweiler [2015-11-09 11:14:45] 699*2^1414424-1 is not prime. Res64: 3E2FB749E2B9C443 Time : 0.0 sec. user=mdettweiler [2015-11-09 11:14:45] 747*2^1414424-1 is not prime. Res64: 84BC402C44CE1689 Time : 0.0 sec. user=mdettweiler [2015-11-09 11:14:46] 767*2^1414424-1 is not prime. Res64: A4B5CABC8F5A983D Time : 0.0 sec. user=mdettweiler [2015-11-09 11:14:49] 813*2^1414424-1 is not prime. Res64: CFB4ED2E0004BE10 Time : 0.0 sec. user=mdettweiler [2015-11-09 11:14:49] 869*2^1414424-1 is not prime. Res64: E37ED158FE326CC9 Time : 0.0 sec. user=mdettweiler [2015-11-09 11:32:16] 873*2^1414424-1 is not prime. Res64: D163E75BC342C4B6 Time : 0.0 sec. user=mdettweiler [2015-11-09 11:32:17] 929*2^1414424-1 is not prime. Res64: 5665EC1E59CA28BE Time : 0.0 sec. user=mdettweiler [2015-11-09 11:32:17] 741*2^1414425-1 is not prime. Res64: 6CCBF301F50E6907 Time : 0.0 sec. user=mdettweiler [2015-11-09 11:32:17] 945*2^1414424-1 is not prime. Res64: 8720224B35CA714E Time : 0.0 sec. user=mdettweiler [2015-11-09 11:32:18] 959*2^1414424-1 is not prime. Res64: 0BD694D5B6E87C31 Time : 0.0 sec. user=mdettweiler [2015-11-09 11:32:18] 765*2^1414425-1 is not prime. Res64: C60EA59E1BB94E78 Time : 0.0 sec. user=mdettweiler [2015-11-09 11:49:48] 603*2^1414426-1 is not prime. Res64: 9A4015B2F3CFB56D Time : 0.0 sec. user=mdettweiler [2015-11-09 11:49:48] 651*2^1414426-1 is not prime. Res64: 1167C90AE24126DE Time : 0.0 sec. user=mdettweiler [2015-11-09 11:49:49] 781*2^1414425-1 is not prime. Res64: CCA70E17CA718B84 Time : 0.0 sec. user=mdettweiler [2015-11-09 11:49:49] 811*2^1414425-1 is not prime. Res64: B286BCB210E38E22 Time : 0.0 sec. user=mdettweiler [2015-11-09 11:49:51] 979*2^1414425-1 is not prime. Res64: AF4A0473ACA3ED76 Time : 0.0 sec. user=mdettweiler [2015-11-09 11:49:51] 991*2^1414425-1 is not prime. Res64: BAC95491FCB13391 Time : 0.0 sec. user=mdettweiler [2015-11-09 12:07:19] 675*2^1414426-1 is not prime. Res64: 24B516CC2CF9BEAF Time : 0.0 sec. user=mdettweiler [2015-11-09 12:07:19] 883*2^1414427-1 is not prime. Res64: 8F487B1B339B7BB7 Time : 0.0 sec. user=mdettweiler [2015-11-09 12:07:22] 905*2^1414426-1 is not prime. Res64: 8FE9A51A9661F754 Time : 0.0 sec. user=mdettweiler [2015-11-09 12:07:22] 955*2^1414427-1 is not prime. Res64: 8E62C1FF5EFC9D2C Time : 0.0 sec. user=mdettweiler [2015-11-09 12:07:24] 669*2^1414427-1 is not prime. Res64: 3C32830BAF4DA6B7 Time : 0.0 sec. user=mdettweiler [2015-11-09 12:07:30] 699*2^1414427-1 is not prime. Res64: E63D9DCEE1474BEE Time : 0.0 sec. user=mdettweiler [2015-11-09 12:25:30] 973*2^1414427-1 is not prime. Res64: 8F0F60C95FBD3A42 Time : 0.0 sec. user=mdettweiler [2015-11-09 12:25:31] 985*2^1414427-1 is not prime. Res64: C2E1A0C0EFCF8E93 Time : 0.0 sec. user=mdettweiler [2015-11-09 12:25:33] 627*2^1414428-1 is not prime. Res64: 3710BF2FC24CF7EC Time : 0.0 sec. user=mdettweiler [2015-11-09 12:25:33] 635*2^1414428-1 is not prime. Res64: 5F4E671D3AF8EAEB Time : 0.0 sec. user=mdettweiler [2015-11-09 12:25:35] 689*2^1414428-1 is not prime. Res64: C2FAB2C9121FA1B1 Time : 0.0 sec. user=mdettweiler [2015-11-09 12:25:35] 723*2^1414428-1 is not prime. Res64: BFD4F6969293C679 Time : 0.0 sec. user=mdettweiler [2015-11-09 12:43:00] 725*2^1414428-1 is not prime. Res64: 1F7CF65F3F72016C Time : 0.0 sec. user=mdettweiler [2015-11-09 12:43:00] 839*2^1414428-1 is not prime. Res64: 13BCB80206C3863B Time : 0.0 sec. user=mdettweiler [2015-11-09 12:43:02] 867*2^1414428-1 is not prime. Res64: 9FDB51CCE0EB4220 Time : 0.0 sec. user=mdettweiler [2015-11-09 12:43:02] 905*2^1414428-1 is not prime. Res64: 1DD0879764BAC585 Time : 0.0 sec. user=mdettweiler [2015-11-09 12:43:03] 947*2^1414428-1 is not prime. Res64: 4CD17940F3EDADD5 Time : 0.0 sec. user=mdettweiler [2015-11-09 12:43:03] 681*2^1414429-1 is not prime. Res64: BCEB9963E00D41A3 Time : 0.0 sec. user=mdettweiler [2015-11-09 13:00:29] 829*2^1414429-1 is not prime. Res64: CD4695F9B021AE65 Time : 0.0 sec. user=mdettweiler [2015-11-09 13:00:30] 967*2^1414429-1 is not prime. Res64: A3D0FB3F1E6F1309 Time : 0.0 sec. user=mdettweiler [2015-11-09 13:00:32] 827*2^1414430-1 is not prime. Res64: F78BEC39B00BAA66 Time : 0.0 sec. user=mdettweiler [2015-11-09 13:00:33] 857*2^1414430-1 is not prime. Res64: B84E54E78EFFB0B3 Time : 0.0 sec. user=mdettweiler [2015-11-09 13:00:35] 717*2^1414430-1 is not prime. Res64: 2D50896E8448E59F Time : 0.0 sec. user=mdettweiler [2015-11-09 13:00:36] 797*2^1414430-1 is not prime. Res64: AA60B8AFEBF884CA Time : 0.0 sec. user=mdettweiler [2015-11-09 13:18:02] 709*2^1414431-1 is not prime. Res64: F2944F4DC702E7C7 Time : 0.0 sec. user=mdettweiler [2015-11-09 13:18:03] 961*2^1414431-1 is not prime. Res64: 8E1FE3D6F69FF146 Time : 0.0 sec. user=mdettweiler [2015-11-09 13:18:03] 887*2^1414430-1 is not prime. Res64: AEBE70A115F017CD Time : 0.0 sec. user=mdettweiler [2015-11-09 13:18:03] 977*2^1414430-1 is not prime. Res64: DE6CC2BC87063C69 Time : 0.0 sec. user=mdettweiler [2015-11-09 13:18:05] 969*2^1414431-1 is not prime. Res64: AC401C4326ED4A1C Time : 0.0 sec. user=mdettweiler [2015-11-09 13:18:05] 657*2^1414432-1 is not prime. Res64: 95B35CBD0F0BCDAB Time : 0.0 sec. user=mdettweiler [2015-11-09 13:35:43] 863*2^1414432-1 is not prime. Res64: 91CECC348F8CE913 Time : 0.0 sec. user=mdettweiler [2015-11-09 13:35:43] 869*2^1414432-1 is not prime. Res64: 5A610E813D0ACC38 Time : 0.0 sec. user=mdettweiler [2015-11-09 13:35:43] 723*2^1414432-1 is not prime. Res64: C09229C87A189CE4 Time : 0.0 sec. user=mdettweiler [2015-11-09 13:35:44] 833*2^1414432-1 is not prime. Res64: 9EE18A3BE7A7F041 Time : 0.0 sec. user=mdettweiler [2015-11-09 13:35:44] 685*2^1414433-1 is not prime. Res64: 796EBD2ACFEC9D0F Time : 0.0 sec. user=mdettweiler [2015-11-09 13:35:44] 741*2^1414433-1 is not prime. Res64: 814E8F04E3515030 Time : 0.0 sec. user=mdettweiler [2015-11-09 13:53:17] 925*2^1414433-1 is not prime. Res64: 68E53A59514DBEC9 Time : 0.0 sec. user=mdettweiler [2015-11-09 13:53:17] 605*2^1414434-1 is not prime. Res64: 1AEC625E7E8DEBCF Time : 0.0 sec. user=mdettweiler [2015-11-09 13:53:17] 981*2^1414433-1 is not prime. Res64: 039685CD8FF2D234 Time : 0.0 sec. user=mdettweiler [2015-11-09 13:53:17] 641*2^1414434-1 is not prime. Res64: 0F35E5F4A0817CDB Time : 0.0 sec. user=mdettweiler [2015-11-09 13:53:19] 837*2^1414433-1 is not prime. Res64: F50ACFD4939DFCF4 Time : 0.0 sec. user=mdettweiler [2015-11-09 13:53:20] 915*2^1414433-1 is not prime. Res64: 4D6DBA359E97647B Time : 0.0 sec. user=mdettweiler [2015-11-09 14:10:55] 731*2^1414434-1 is not prime. Res64: 7E1C89C4A4B8C77D Time : 0.0 sec. user=mdettweiler [2015-11-09 14:10:55] 921*2^1414434-1 is not prime. Res64: 60558158191EC373 Time : 0.0 sec. user=mdettweiler [2015-11-09 14:10:56] 791*2^1414434-1 is not prime. Res64: 8F0470ACE4B0ACF9 Time : 0.0 sec. user=mdettweiler [2015-11-09 14:10:57] 741*2^1414435-1 is not prime. Res64: D07FD3BAB14782B7 Time : 0.0 sec. user=mdettweiler [2015-11-09 14:10:57] 875*2^1414434-1 is not prime. Res64: 23E8C07FDEE80536 Time : 0.0 sec. user=mdettweiler [2015-11-09 14:10:58] 887*2^1414434-1 is not prime. Res64: 5E91F54FE6F7A8D1 Time : 0.0 sec. user=mdettweiler [2015-11-09 14:28:37] 771*2^1414435-1 is not prime. Res64: ABFBC39F4B4F81E0 Time : 0.0 sec. user=mdettweiler [2015-11-09 14:28:38] 889*2^1414435-1 is not prime. Res64: 2E5CFD69958909DB Time : 0.0 sec. user=mdettweiler [2015-11-09 14:28:38] 735*2^1414436-1 is not prime. Res64: EB4EBFECEE687DA6 Time : 0.0 sec. user=mdettweiler [2015-11-09 14:28:38] 973*2^1414435-1 is not prime. Res64: 3A8BC3642E662014 Time : 0.0 sec. user=mdettweiler [2015-11-09 14:28:38] 749*2^1414436-1 is not prime. Res64: E8BEBCBCEFC51640 Time : 0.0 sec. user=mdettweiler [2015-11-09 14:28:39] 635*2^1414436-1 is not prime. Res64: E5E0B73A571E7518 Time : 0.0 sec. user=mdettweiler [2015-11-09 14:46:08] 813*2^1414436-1 is not prime. Res64: 9E46FC16616EF774 Time : 0.0 sec. user=mdettweiler [2015-11-09 14:46:08] 717*2^1414437-1 is not prime. Res64: F1E45164092CD1A0 Time : 0.0 sec. user=mdettweiler [2015-11-09 14:46:08] 899*2^1414436-1 is not prime. Res64: D8F1C31CB2DF76BD Time : 0.0 sec. user=mdettweiler [2015-11-09 14:46:08] 735*2^1414437-1 is not prime. Res64: 1366A3FE5D1F2705 Time : 0.0 sec. user=mdettweiler [2015-11-09 14:46:09] 963*2^1414436-1 is not prime. Res64: EA7B82593479E461 Time : 0.0 sec. user=mdettweiler [2015-11-09 14:46:09] 649*2^1414437-1 is not prime. Res64: D7E4A6C5A692B2D1 Time : 0.0 sec. user=mdettweiler [2015-11-09 15:03:40] 919*2^1414437-1 is not prime. Res64: D817DA79954303F2 Time : 0.0 sec. user=mdettweiler [2015-11-09 15:03:42] 759*2^1414437-1 is not prime. Res64: 80847D4F7A831B9D Time : 0.0 sec. user=mdettweiler [2015-11-09 15:03:42] 617*2^1414438-1 is not prime. Res64: D02DD23BB48CDFDA Time : 0.0 sec. user=mdettweiler [2015-11-09 15:03:43] 945*2^1414437-1 is not prime. Res64: 95806529CE764B7F Time : 0.0 sec. user=mdettweiler [2015-11-09 15:03:44] 831*2^1414437-1 is not prime. Res64: 27E517194AEACBB1 Time : 0.0 sec. user=mdettweiler [2015-11-09 15:03:45] 623*2^1414438-1 is not prime. Res64: 1A6A63854E3F5E87 Time : 0.0 sec. user=mdettweiler [2015-11-09 15:21:31] 773*2^1414438-1 is not prime. Res64: A6DAEE8127F79650 Time : 0.0 sec. user=mdettweiler [2015-11-09 15:21:32] 777*2^1414438-1 is not prime. Res64: 9D6D64FD4B5C1E0E Time : 0.0 sec. user=mdettweiler [2015-11-09 15:21:35] 801*2^1414438-1 is not prime. Res64: 15AEB0250D3397AB Time : 0.0 sec. user=mdettweiler [2015-11-09 15:21:35] 933*2^1414438-1 is not prime. Res64: E1BF7352AF5DA742 Time : 0.0 sec. user=mdettweiler [2015-11-09 15:21:36] 945*2^1414438-1 is not prime. Res64: 304B2AB157D8F067 Time : 0.0 sec. user=mdettweiler [2015-11-09 15:21:36] 675*2^1414439-1 is not prime. Res64: 5B1478997323498C Time : 0.0 sec. user=mdettweiler [2015-11-09 15:39:03] 693*2^1414439-1 is not prime. Res64: C265F20D81ABF741 Time : 0.0 sec. user=mdettweiler [2015-11-09 15:39:04] 711*2^1414439-1 is not prime. Res64: 6022FAAD5E45853D Time : 0.0 sec. user=mdettweiler [2015-11-09 15:39:06] 735*2^1414439-1 is not prime. Res64: 4BA9FC9B4606CFF7 Time : 0.0 sec. user=mdettweiler [2015-11-09 15:39:06] 829*2^1414439-1 is not prime. Res64: E48361EF49E6FA33 Time : 0.0 sec. user=mdettweiler [2015-11-09 15:39:08] 843*2^1414439-1 is not prime. Res64: DC500B093A3F40E3 Time : 0.0 sec. user=mdettweiler [2015-11-09 15:39:09] 879*2^1414439-1 is not prime. Res64: 8EEF5F3889229C54 Time : 0.0 sec. user=mdettweiler [2015-11-09 15:56:43] 913*2^1414439-1 is not prime. Res64: 08C24FC7D56AACF0 Time : 0.0 sec. user=mdettweiler [2015-11-09 15:56:43] 675*2^1414440-1 is not prime. Res64: 5DB0CFB49E810EF3 Time : 0.0 sec. user=mdettweiler [2015-11-09 15:56:44] 843*2^1414440-1 is not prime. Res64: E4F26F5ECA006198 Time : 0.0 sec. user=mdettweiler [2015-11-09 15:56:44] 887*2^1414440-1 is not prime. Res64: E5B264276A3BC7C1 Time : 0.0 sec. user=mdettweiler [2015-11-09 15:56:45] 767*2^1414440-1 is not prime. Res64: F50EB80C9CE5D37D Time : 0.0 sec. user=mdettweiler [2015-11-09 15:56:46] 797*2^1414440-1 is not prime. Res64: 8A5DE2C757C452BE Time : 0.0 sec. user=mdettweiler [2015-11-09 16:14:22] 929*2^1414440-1 is not prime. Res64: 3C3F7EEF70B884DE Time : 0.0 sec. user=mdettweiler [2015-11-09 16:14:22] 649*2^1414441-1 is not prime. Res64: 72C279483DCBA909 Time : 0.0 sec. user=mdettweiler [2015-11-09 16:14:22] 807*2^1414441-1 is not prime. Res64: 342EA3EADA77C859 Time : 0.0 sec. user=mdettweiler [2015-11-09 16:14:23] 777*2^1414441-1 is not prime. Res64: C78C9F71323B4981 Time : 0.0 sec. user=mdettweiler [2015-11-09 16:14:24] 619*2^1414441-1 is not prime. Res64: 6A5B924F8A8A3EBE Time : 0.0 sec. user=mdettweiler [2015-11-09 16:14:25] 847*2^1414441-1 is not prime. Res64: 0B6BD720E4AB0DC6 Time : 0.0 sec. user=mdettweiler [2015-11-09 16:32:10] 861*2^1414441-1 is not prime. Res64: 59F78E7553F20E2A Time : 0.0 sec. user=mdettweiler [2015-11-09 16:32:11] 951*2^1414441-1 is not prime. Res64: A1E26337081B4157 Time : 0.0 sec. user=mdettweiler [2015-11-09 16:32:11] 877*2^1414441-1 is not prime. Res64: F342E29F47F370E5 Time : 0.0 sec. user=mdettweiler [2015-11-09 16:32:11] 997*2^1414441-1 is not prime. Res64: 37AD86901B9CBC31 Time : 0.0 sec. user=mdettweiler [2015-11-09 16:32:11] 677*2^1414442-1 is not prime. Res64: 22B7552132A97BE5 Time : 0.0 sec. user=mdettweiler [2015-11-09 16:32:11] 713*2^1414442-1 is not prime. Res64: 7BF9A9B5968DC634 Time : 0.0 sec. user=mdettweiler [2015-11-09 16:49:51] 915*2^1414442-1 is not prime. Res64: A9A126AEDA6CCF9D Time : 0.0 sec. user=mdettweiler [2015-11-09 16:49:51] 873*2^1414442-1 is not prime. Res64: 309A53FDE0AFD8AF Time : 0.0 sec. user=mdettweiler [2015-11-09 16:49:51] 957*2^1414442-1 is not prime. Res64: AB4CDDA5C3523D1A Time : 0.0 sec. user=mdettweiler [2015-11-09 16:49:51] 885*2^1414442-1 is not prime. Res64: C6AD8F74A7C7CFA2 Time : 0.0 sec. user=mdettweiler [2015-11-09 16:49:51] 819*2^1414443-1 is not prime. Res64: 1EA1830D47D4B831 Time : 0.0 sec. user=mdettweiler [2015-11-09 16:49:52] 861*2^1414443-1 is not prime. Res64: CA100CD311F030A6 Time : 0.0 sec. user=mdettweiler [2015-11-09 17:07:21] 945*2^1414443-1 is not prime. Res64: 523FB43559DAEC7F Time : 0.0 sec. user=mdettweiler [2015-11-09 17:07:21] 895*2^1414443-1 is not prime. Res64: 1807DF827EF316D0 Time : 0.0 sec. user=mdettweiler [2015-11-09 17:07:22] 639*2^1414444-1 is not prime. Res64: 5DE6C42C25B39C34 Time : 0.0 sec. user=mdettweiler [2015-11-09 17:07:25] 919*2^1414443-1 is not prime. Res64: BEE7A10A17CF5AAC Time : 0.0 sec. user=mdettweiler [2015-11-09 17:07:26] 749*2^1414444-1 is not prime. Res64: 4C45812817CDF190 Time : 0.0 sec. user=mdettweiler [2015-11-09 17:07:27] 605*2^1414444-1 is not prime. Res64: 927E1EFE70A39E92 Time : 0.0 sec. user=mdettweiler [2015-11-09 17:25:33] 863*2^1414444-1 is not prime. Res64: 78D697DF9679AF5E Time : 0.0 sec. user=mdettweiler [2015-11-09 17:25:33] 755*2^1414444-1 is not prime. Res64: 17A87BE9C2F3FE53 Time : 0.0 sec. user=mdettweiler [2015-11-09 17:25:33] 909*2^1414444-1 is not prime. Res64: 4B0A7AD07831A16E Time : 0.0 sec. user=mdettweiler [2015-11-09 17:25:33] 953*2^1414444-1 is not prime. Res64: CD585229AB5A4277 Time : 0.0 sec. user=mdettweiler [2015-11-09 17:25:33] 783*2^1414444-1 is not prime. Res64: 3C291DE6CB8BC47B Time : 0.0 sec. user=mdettweiler [2015-11-09 17:25:34] 959*2^1414444-1 is not prime. Res64: D7DDDCFE177D14CF Time : 0.0 sec. user=mdettweiler [2015-11-09 17:43:01] 985*2^1414445-1 is not prime. Res64: E5A324E0D2D32CF6 Time : 0.0 sec. user=mdettweiler [2015-11-09 17:43:02] 627*2^1414446-1 is not prime. Res64: 8270E0B70D3B3583 Time : 0.0 sec. user=mdettweiler [2015-11-09 17:43:02] 837*2^1414445-1 is not prime. Res64: 25BDA421155441AB Time : 0.0 sec. user=mdettweiler [2015-11-09 17:43:02] 955*2^1414445-1 is not prime. Res64: 11067D21ECE6361F Time : 0.0 sec. user=mdettweiler [2015-11-09 17:43:03] 657*2^1414445-1 is not prime. Res64: EAD382C0B0EFF1DE Time : 0.0 sec. user=mdettweiler [2015-11-09 17:43:03] 759*2^1414445-1 is not prime. Res64: B8D2476F1F68CDDA Time : 0.0 sec. user=mdettweiler [2015-11-09 18:00:32] 641*2^1414446-1 is not prime. Res64: FE70E0D6DB3C9E94 Time : 0.0 sec. user=mdettweiler [2015-11-09 18:00:33] 723*2^1414446-1 is not prime. Res64: 6D8DE34D9484940D Time : 0.0 sec. user=mdettweiler [2015-11-09 18:00:33] 683*2^1414446-1 is not prime. Res64: E0A24579151C2EA8 Time : 0.0 sec. user=mdettweiler [2015-11-09 18:00:34] 881*2^1414446-1 is not prime. Res64: 7082799ACC8DFC08 Time : 0.0 sec. user=mdettweiler [2015-11-09 18:00:35] 681*2^1414447-1 is not prime. Res64: 525DCE67D6D480A3 Time : 0.0 sec. user=mdettweiler [2015-11-09 18:00:37] 765*2^1414447-1 is not prime. Res64: 17AE292B55DE9C37 Time : 0.0 sec. user=mdettweiler [2015-11-09 18:18:16] 975*2^1414447-1 is not prime. Res64: A1F2733083AD9EE3 Time : 0.0 sec. user=mdettweiler [2015-11-09 18:18:17] 841*2^1414447-1 is not prime. Res64: E223EFF9DBA75407 Time : 0.0 sec. user=mdettweiler [2015-11-09 18:18:17] 993*2^1414447-1 is not prime. Res64: CC0D41C8F1E62F16 Time : 0.0 sec. user=mdettweiler [2015-11-09 18:18:17] 925*2^1414447-1 is not prime. Res64: 79EA87FBBDC2DFAF Time : 0.0 sec. user=mdettweiler [2015-11-09 18:18:17] 657*2^1414448-1 is not prime. Res64: 670FCB33B3714886 Time : 0.0 sec. user=mdettweiler [2015-11-09 18:18:17] 797*2^1414448-1 is not prime. Res64: 24AA29066374AC76 Time : 0.0 sec. user=mdettweiler [2015-11-09 18:35:48] 865*2^1414449-1 is not prime. Res64: F61CC636F994B606 Time : 0.0 sec. user=mdettweiler [2015-11-09 18:35:48] 633*2^1414450-1 is not prime. Res64: 4A2B867024D54B4D Time : 0.0 sec. user=mdettweiler [2015-11-09 18:35:48] 985*2^1414449-1 is not prime. Res64: 9AF41698B20D8BE9 Time : 0.0 sec. user=mdettweiler [2015-11-09 18:35:48] 681*2^1414450-1 is not prime. Res64: F3037C19E6B830D4 Time : 0.0 sec. user=mdettweiler [2015-11-09 18:35:49] 855*2^1414448-1 is not prime. Res64: F87340BAFC7BAD7E Time : 0.0 sec. user=mdettweiler [2015-11-09 18:35:49] 679*2^1414449-1 is not prime. Res64: 4AB73136DDBDEF99 Time : 0.0 sec. user=mdettweiler [2015-11-09 18:53:17] 843*2^1414450-1 is not prime. Res64: E84A7A1B2C6D81CA Time : 0.0 sec. user=mdettweiler [2015-11-09 18:53:17] 951*2^1414450-1 is not prime. Res64: 1F27FF09E3BB699E Time : 0.0 sec. user=mdettweiler [2015-11-09 18:53:18] 995*2^1414450-1 is not prime. Res64: 14B5F6BBCC721833 Time : 0.0 sec. user=mdettweiler [2015-11-09 18:53:18] 867*2^1414450-1 is not prime. Res64: 2A94A70E2916BD1A Time : 0.0 sec. user=mdettweiler [2015-11-09 18:53:19] 1001*2^1414450-1 is not prime. Res64: B55926E4641BAD41 Time : 0.0 sec. user=mdettweiler [2015-11-09 18:53:19] 615*2^1414451-1 is not prime. Res64: C622920D76216B9F Time : 0.0 sec. user=mdettweiler [2015-11-09 19:10:47] 759*2^1414451-1 is not prime. Res64: 471190AF41603071 Time : 0.0 sec. user=mdettweiler [2015-11-09 19:10:47] 913*2^1414451-1 is not prime. Res64: 02FAFA65DFD3D5B8 Time : 0.0 sec. user=mdettweiler [2015-11-09 19:10:47] 669*2^1414451-1 is not prime. Res64: 07400F920077EFC3 Time : 0.0 sec. user=mdettweiler [2015-11-09 19:10:50] 813*2^1414451-1 is not prime. Res64: A4FD9E94BCF87DD3 Time : 0.0 sec. user=mdettweiler [2015-11-09 19:10:51] 733*2^1414451-1 is not prime. Res64: 459B8CC30975ED03 Time : 0.0 sec. user=mdettweiler [2015-11-09 19:10:52] 949*2^1414451-1 is not prime. Res64: 0AFABDA80D31E22B Time : 0.0 sec. user=mdettweiler [2015-11-09 19:28:31] 669*2^1414452-1 is not prime. Res64: F51CAF4F2DCB0A1C Time : 0.0 sec. user=mdettweiler [2015-11-09 19:28:31] 657*2^1414452-1 is not prime. Res64: 1459F9B56915B45C Time : 0.0 sec. user=mdettweiler [2015-11-09 19:28:31] 717*2^1414452-1 is not prime. Res64: 316045F778140004 Time : 0.0 sec. user=mdettweiler [2015-11-09 19:28:32] 695*2^1414452-1 is not prime. Res64: DF78B85D9F9C4FFF Time : 0.0 sec. user=mdettweiler [2015-11-09 19:28:32] 725*2^1414452-1 is not prime. Res64: D0E4319365E8A39A Time : 0.0 sec. user=mdettweiler [2015-11-09 19:28:32] 749*2^1414452-1 is not prime. Res64: 8534842AF681DB2D Time : 0.0 sec. user=mdettweiler [2015-11-09 19:46:02] 877*2^1414453-1 is not prime. Res64: C59602936921AF83 Time : 0.0 sec. user=mdettweiler [2015-11-09 19:46:02] 915*2^1414453-1 is not prime. Res64: 2C0055F460588CDB Time : 0.0 sec. user=mdettweiler [2015-11-09 19:46:06] 903*2^1414452-1 is not prime. Res64: B0DD3B6BF166723E Time : 0.0 sec. user=mdettweiler [2015-11-09 19:46:06] 705*2^1414454-1 is not prime. Res64: FD51A024FF27A515 Time : 0.0 sec. user=mdettweiler [2015-11-09 19:46:06] 685*2^1414453-1 is not prime. Res64: E5F53F2D92E1EB99 Time : 0.0 sec. user=mdettweiler [2015-11-09 19:46:06] 827*2^1414454-1 is not prime. Res64: 4C802DA0743A405B Time : 0.0 sec. user=mdettweiler [2015-11-09 20:03:33] 885*2^1414454-1 is not prime. Res64: A36B8333ADA3C2A6 Time : 0.0 sec. user=mdettweiler [2015-11-09 20:03:35] 789*2^1414455-1 is not prime. Res64: 04D95C434134D0FA Time : 0.0 sec. user=mdettweiler [2015-11-09 20:03:36] 935*2^1414454-1 is not prime. Res64: F5467304939E0E08 Time : 0.0 sec. user=mdettweiler [2015-11-09 20:03:36] 923*2^1414454-1 is not prime. Res64: AFA5B35D2E92E707 Time : 0.0 sec. user=mdettweiler [2015-11-09 20:03:36] 891*2^1414455-1 is not prime. Res64: D9549A324A32375B Time : 0.0 sec. user=mdettweiler [2015-11-09 20:03:37] 613*2^1414455-1 is not prime. Res64: 6694128F7E3C92F0 Time : 0.0 sec. user=mdettweiler [2015-11-09 20:21:35] 949*2^1414455-1 is not prime. Res64: 4A28AE815DDF3450 Time : 0.0 sec. user=mdettweiler [2015-11-09 20:21:36] 999*2^1414455-1 is not prime. Res64: C4A2798D74560506 Time : 0.0 sec. user=mdettweiler [2015-11-09 20:21:38] 933*2^1414455-1 is not prime. Res64: 0FD617FB03AB10D0 Time : 0.0 sec. user=mdettweiler [2015-11-09 20:21:38] 985*2^1414455-1 is not prime. Res64: 50F71299605AE208 Time : 0.0 sec. user=mdettweiler [2015-11-09 20:21:38] 609*2^1414456-1 is not prime. Res64: CAC3D21E6BF0DB48 Time : 0.0 sec. user=mdettweiler [2015-11-09 20:21:39] 695*2^1414456-1 is not prime. Res64: A39D0F464342A7E9 Time : 0.0 sec. user=mdettweiler [2015-11-09 20:39:07] 939*2^1414456-1 is not prime. Res64: E433CEF70166BC8E Time : 0.0 sec. user=mdettweiler [2015-11-09 20:39:08] 969*2^1414456-1 is not prime. Res64: 5D231EB156F615B5 Time : 0.0 sec. user=mdettweiler [2015-11-09 20:39:10] 743*2^1414456-1 is not prime. Res64: 9439AF5665068223 Time : 0.0 sec. user=mdettweiler [2015-11-09 20:39:10] 631*2^1414457-1 is not prime. Res64: C44B3AECDE1CE67D Time : 0.0 sec. user=mdettweiler [2015-11-09 20:39:10] 857*2^1414456-1 is not prime. Res64: 3421DDDAFA4AEFBA Time : 0.0 sec. user=mdettweiler [2015-11-09 20:39:10] 697*2^1414457-1 is not prime. Res64: DA588ECA9C04BDCC Time : 0.0 sec. user=mdettweiler [2015-11-09 20:56:38] 837*2^1414457-1 is not prime. Res64: 8A79808160C7D54F Time : 0.0 sec. user=mdettweiler [2015-11-09 20:56:39] 949*2^1414457-1 is not prime. Res64: EFD6FF90394AE7FD Time : 0.0 sec. user=mdettweiler [2015-11-09 20:56:40] 677*2^1414458-1 is not prime. Res64: 8DAB1B58D5AABA80 Time : 0.0 sec. user=mdettweiler [2015-11-09 20:56:40] 707*2^1414458-1 is not prime. Res64: 578A61F2270B5DB8 Time : 0.0 sec. user=mdettweiler [2015-11-09 20:56:40] 635*2^1414458-1 is not prime. Res64: CA98B538BE774C1A Time : 0.0 sec. user=mdettweiler [2015-11-09 20:56:40] 671*2^1414458-1 is not prime. Res64: 182D24750863348C Time : 0.0 sec. user=mdettweiler [2015-11-09 21:14:07] 801*2^1414458-1 is not prime. Res64: 41F6FE71F992BC42 Time : 0.0 sec. user=mdettweiler [2015-11-09 21:14:08] 843*2^1414458-1 is not prime. Res64: EBB3B4FDFCF7C6FB Time : 0.0 sec. user=mdettweiler [2015-11-09 21:14:09] 933*2^1414458-1 is not prime. Res64: 7DF77EEEACFFDD0C Time : 0.0 sec. user=mdettweiler [2015-11-09 21:14:10] 885*2^1414458-1 is not prime. Res64: 52EA0124F6F3D764 Time : 0.0 sec. user=mdettweiler [2015-11-09 21:14:10] 971*2^1414458-1 is not prime. Res64: B6D6793FF654AC8C Time : 0.0 sec. user=mdettweiler [2015-11-09 21:14:10] 893*2^1414458-1 is not prime. Res64: 3122043A2DF8A492 Time : 0.0 sec. user=mdettweiler [2015-11-09 21:31:42] 669*2^1414460-1 is not prime. Res64: 8AD4B52C9B8EA92A Time : 0.0 sec. user=mdettweiler [2015-11-09 21:31:42] 939*2^1414459-1 is not prime. Res64: F9FAD2C1DCC80570 Time : 0.0 sec. user=mdettweiler [2015-11-09 21:31:42] 813*2^1414460-1 is not prime. Res64: EE60918B914BCB07 Time : 0.0 sec. user=mdettweiler [2015-11-09 21:31:42] 629*2^1414460-1 is not prime. Res64: B5E7707F167B7C45 Time : 0.0 sec. user=mdettweiler [2015-11-09 21:31:43] 619*2^1414459-1 is not prime. Res64: 2B416AFF0C9EC64B Time : 0.0 sec. user=mdettweiler [2015-11-09 21:31:43] 859*2^1414459-1 is not prime. Res64: AB53BC0FC6F0AFA4 Time : 0.0 sec. user=mdettweiler [2015-11-09 21:49:12] 995*2^1414460-1 is not prime. Res64: E083614C3C311C75 Time : 0.0 sec. user=mdettweiler [2015-11-09 21:49:12] 685*2^1414461-1 is not prime. Res64: BBD665A84E0F8FB3 Time : 0.0 sec. user=mdettweiler [2015-11-09 21:49:13] 717*2^1414461-1 is not prime. Res64: 03B781F3C000B834 Time : 0.0 sec. user=mdettweiler [2015-11-09 21:49:13] 907*2^1414461-1 is not prime. Res64: 4FFD9B10EB158EB2 Time : 0.0 sec. user=mdettweiler [2015-11-09 21:49:13] 819*2^1414460-1 is not prime. Res64: 52AA53621CBF493C Time : 0.0 sec. user=mdettweiler [2015-11-09 21:49:14] 825*2^1414460-1 is not prime. Res64: 9E6E341E38334AEA Time : 0.0 sec. user=mdettweiler [2015-11-09 22:06:42] 623*2^1414462-1 is not prime. Res64: 33AD59D764C53657 Time : 0.0 sec. user=mdettweiler [2015-11-09 22:06:42] 801*2^1414462-1 is not prime. Res64: 15D4D3DE049E627B Time : 0.0 sec. user=mdettweiler [2015-11-09 22:06:43] 821*2^1414462-1 is not prime. Res64: 2B9785DD266FC858 Time : 0.0 sec. user=mdettweiler [2015-11-09 22:06:43] 653*2^1414462-1 is not prime. Res64: EFE61C7887DA98BB Time : 0.0 sec. user=mdettweiler [2015-11-09 22:06:44] 827*2^1414462-1 is not prime. Res64: 46770B8F9C12B10B Time : 0.0 sec. user=mdettweiler [2015-11-09 22:06:44] 843*2^1414462-1 is not prime. Res64: DF8DE01155AFF71C Time : 0.0 sec. user=mdettweiler [2015-11-09 22:24:15] 759*2^1414463-1 is not prime. Res64: 004D38D0794BDF0E Time : 0.0 sec. user=mdettweiler [2015-11-09 22:24:15] 911*2^1414462-1 is not prime. Res64: 8D94DB2BFDBFF26A Time : 0.0 sec. user=mdettweiler [2015-11-09 22:24:15] 973*2^1414463-1 is not prime. Res64: 1499C5C12A9BE2E5 Time : 0.0 sec. user=mdettweiler [2015-11-09 22:24:15] 955*2^1414463-1 is not prime. Res64: 45506ECE0F2CE47C Time : 0.0 sec. user=mdettweiler [2015-11-09 22:24:16] 735*2^1414463-1 is not prime. Res64: 087AFB988A709DCD Time : 0.0 sec. user=mdettweiler [2015-11-09 22:24:16] 981*2^1414463-1 is not prime. Res64: 233D4AD767BCD91D Time : 0.0 sec. user=mdettweiler [2015-11-09 22:41:44] 909*2^1414464-1 is not prime. Res64: 7A0ED06791BB19A9 Time : 0.0 sec. user=mdettweiler [2015-11-09 22:41:45] 917*2^1414464-1 is not prime. Res64: 7C454B4379DCC97F Time : 0.0 sec. user=mdettweiler [2015-11-09 22:41:45] 759*2^1414464-1 is not prime. Res64: 2B2490CBB8CBA66A Time : 0.0 sec. user=mdettweiler [2015-11-09 22:41:45] 627*2^1414464-1 is not prime. Res64: 6A5533D2E34DFA59 Time : 0.0 sec. user=mdettweiler [2015-11-09 22:41:45] 887*2^1414464-1 is not prime. Res64: 9AAEA7D92495E61C Time : 0.0 sec. user=mdettweiler [2015-11-09 22:41:45] 705*2^1414464-1 is not prime. Res64: DFDB2DEDF5B91393 Time : 0.0 sec. user=mdettweiler [2015-11-09 22:59:13] 895*2^1414465-1 is not prime. Res64: 1B8EDF976582503A Time : 0.0 sec. user=mdettweiler [2015-11-09 22:59:13] 909*2^1414465-1 is not prime. Res64: 3699AF80B87C5315 Time : 0.0 sec. user=mdettweiler [2015-11-09 22:59:14] 789*2^1414465-1 is not prime. Res64: BD6E623233871FEB Time : 0.0 sec. user=mdettweiler [2015-11-09 22:59:15] 819*2^1414465-1 is not prime. Res64: D7D4FA52E5059E1F Time : 0.0 sec. user=mdettweiler [2015-11-09 22:59:15] 607*2^1414465-1 is not prime. Res64: E9B661EC8D8D1133 Time : 0.0 sec. user=mdettweiler [2015-11-09 22:59:15] 705*2^1414465-1 is not prime. Res64: AC60931107D9F1BF Time : 0.0 sec. user=mdettweiler [2015-11-09 23:16:46] 615*2^1414466-1 is not prime. Res64: 883C535EB6BE3901 Time : 0.0 sec. user=mdettweiler [2015-11-09 23:16:46] 939*2^1414465-1 is not prime. Res64: E9C324CBA9106F5E Time : 0.0 sec. user=mdettweiler [2015-11-09 23:16:47] 957*2^1414465-1 is not prime. Res64: 6197E94F8D6D5E45 Time : 0.0 sec. user=mdettweiler [2015-11-09 23:16:47] 633*2^1414466-1 is not prime. Res64: C4233B084B024B51 Time : 0.0 sec. user=mdettweiler [2015-11-09 23:16:48] 755*2^1414466-1 is not prime. Res64: E3EF3825857DA19E Time : 0.0 sec. user=mdettweiler [2015-11-09 23:16:48] 941*2^1414466-1 is not prime. Res64: 63315E6B0C5CDA21 Time : 0.0 sec. user=mdettweiler [2015-11-09 23:34:17] 615*2^1414468-1 is not prime. Res64: 3A92396D54D61BAF Time : 0.0 sec. user=mdettweiler [2015-11-09 23:34:17] 741*2^1414467-1 is not prime. Res64: D602E13F3D848211 Time : 0.0 sec. user=mdettweiler [2015-11-09 23:34:17] 765*2^1414468-1 is not prime. Res64: CAC74B9E820899BC Time : 0.0 sec. user=mdettweiler [2015-11-09 23:34:17] 675*2^1414467-1 is not prime. Res64: A658191E53751D22 Time : 0.0 sec. user=mdettweiler [2015-11-09 23:34:18] 871*2^1414467-1 is not prime. Res64: ACEB939C5B710518 Time : 0.0 sec. user=mdettweiler [2015-11-09 23:34:18] 699*2^1414467-1 is not prime. Res64: C11B3ED7D4A9E2F7 Time : 0.0 sec. user=mdettweiler [2015-11-09 23:51:47] 855*2^1414468-1 is not prime. Res64: 1AFC81C87F1E4ADB Time : 0.0 sec. user=mdettweiler [2015-11-09 23:51:47] 675*2^1414469-1 is not prime. Res64: 32FA3594E2D98033 Time : 0.0 sec. user=mdettweiler [2015-11-09 23:51:47] 799*2^1414469-1 is not prime. Res64: 400290DBD127BAED Time : 0.0 sec. user=mdettweiler [2015-11-09 23:51:47] 995*2^1414468-1 is not prime. Res64: F29C72104BF41438 Time : 0.0 sec. user=mdettweiler [2015-11-09 23:51:48] 699*2^1414469-1 is not prime. Res64: 17122337D9BD9081 Time : 0.0 sec. user=mdettweiler [2015-11-09 23:51:48] 819*2^1414469-1 is not prime. Res64: A997FD22D850D684 Time : 0.0 sec.