user=mdettweiler [2016-07-05 00:25:51] 773*2^1434380-1 is not prime. Res64: 90CE45127B20542E Time : 0.0 sec. user=mdettweiler [2016-07-05 00:25:53] 777*2^1434380-1 is not prime. Res64: 9AD53FA821FAF302 Time : 0.0 sec. user=mdettweiler [2016-07-05 00:25:54] 825*2^1434380-1 is not prime. Res64: EAC92C1E80C3EC7D Time : 0.0 sec. user=mdettweiler [2016-07-05 00:25:54] 843*2^1434380-1 is not prime. Res64: F72B983A5593DE75 Time : 0.0 sec. user=mdettweiler [2016-07-05 00:25:55] 927*2^1434380-1 is not prime. Res64: 64AA38F226643CFF Time : 0.0 sec. user=mdettweiler [2016-07-05 00:29:38] 963*2^1434380-1 is not prime. Res64: DBF3165D9E4C1477 Time : 0.0 sec. user=mdettweiler [2016-07-05 00:29:38] 627*2^1434381-1 is not prime. Res64: B7369E0B34EC1EBA Time : 0.0 sec. user=mdettweiler [2016-07-05 00:29:39] 735*2^1434381-1 is not prime. Res64: CCF0724B23990C57 Time : 0.0 sec. user=mdettweiler [2016-07-05 00:29:39] 777*2^1434381-1 is not prime. Res64: 14B4280FF043BCE4 Time : 0.0 sec. user=mdettweiler [2016-07-05 00:29:40] 819*2^1434381-1 is not prime. Res64: F36B72139789964D Time : 0.0 sec. user=mdettweiler [2016-07-05 00:30:24] 837*2^1434381-1 is not prime. Res64: 969AF4FFA0005439 Time : 0.0 sec. user=mdettweiler [2016-07-05 00:30:25] 975*2^1434381-1 is not prime. Res64: BAE7EEFB2871D74B Time : 0.0 sec. user=mdettweiler [2016-07-05 00:30:26] 987*2^1434381-1 is not prime. Res64: BD597F4E8FE62771 Time : 0.0 sec. user=mdettweiler [2016-07-05 00:30:26] 617*2^1434382-1 is not prime. Res64: D1207B22AE00880E Time : 0.0 sec. user=mdettweiler [2016-07-05 00:30:27] 723*2^1434382-1 is not prime. Res64: 95A068F2080C3BC0 Time : 0.0 sec. user=mdettweiler [2016-07-05 00:33:56] 755*2^1434382-1 is not prime. Res64: 6C49A88001CD10F2 Time : 0.0 sec. user=mdettweiler [2016-07-05 00:33:56] 831*2^1434382-1 is not prime. Res64: C2F5BB8B10EC797B Time : 0.0 sec. user=mdettweiler [2016-07-05 00:33:56] 945*2^1434382-1 is not prime. Res64: A2614B07DC3AECA9 Time : 0.0 sec. user=mdettweiler [2016-07-05 00:33:57] 957*2^1434382-1 is not prime. Res64: 4F76D4B5379D0F16 Time : 0.0 sec. user=mdettweiler [2016-07-05 00:33:57] 603*2^1434383-1 is not prime. Res64: 078E6F8F2AE2194A Time : 0.0 sec. user=mdettweiler [2016-07-05 01:11:03] 703*2^1434383-1 is not prime. Res64: 702A78F635E04644 Time : 0.0 sec. user=mdettweiler [2016-07-05 01:11:04] 721*2^1434383-1 is not prime. Res64: AB9A6637810B3AE4 Time : 0.0 sec. user=mdettweiler [2016-07-05 01:11:05] 739*2^1434383-1 is not prime. Res64: BD419FD9B21CCAA4 Time : 0.0 sec. user=mdettweiler [2016-07-05 01:11:06] 813*2^1434383-1 is not prime. Res64: 0E81E1E0364D1215 Time : 0.0 sec. user=mdettweiler [2016-07-05 01:11:07] 861*2^1434383-1 is not prime. Res64: 4BDA8F2022E77C09 Time : 0.0 sec. user=mdettweiler [2016-07-05 01:14:33] 663*2^1434384-1 is not prime. Res64: F6394DC92AF2092E Time : 0.0 sec. user=mdettweiler [2016-07-05 01:14:34] 707*2^1434384-1 is not prime. Res64: 6859C86EDCEDA6FB Time : 0.0 sec. user=mdettweiler [2016-07-05 01:14:34] 765*2^1434384-1 is not prime. Res64: 6F5037E13EF46514 Time : 0.0 sec. user=mdettweiler [2016-07-05 01:14:35] 809*2^1434384-1 is not prime. Res64: 8B8AB2452AEA9EFB Time : 0.0 sec. user=mdettweiler [2016-07-05 01:14:35] 863*2^1434384-1 is not prime. Res64: B9EC3AEB56BAAC12 Time : 0.0 sec. user=mdettweiler [2016-07-05 01:15:30] 945*2^1434384-1 is not prime. Res64: 7698D7F24A578223 Time : 0.0 sec. user=mdettweiler [2016-07-05 01:15:31] 959*2^1434384-1 is not prime. Res64: 72C7117F9E2F6669 Time : 0.0 sec. user=mdettweiler [2016-07-05 01:15:31] 983*2^1434384-1 is not prime. Res64: 78F648BBB0EDF60C Time : 0.0 sec. user=mdettweiler [2016-07-05 01:15:32] 609*2^1434385-1 is not prime. Res64: 98165DF3B1067829 Time : 0.0 sec. user=mdettweiler [2016-07-05 01:15:32] 651*2^1434385-1 is not prime. Res64: 44EE67E626B52BD7 Time : 0.0 sec. user=mdettweiler [2016-07-05 01:18:59] 765*2^1434385-1 is not prime. Res64: 8933174B0022AFCA Time : 0.0 sec. user=mdettweiler [2016-07-05 01:19:00] 831*2^1434385-1 is not prime. Res64: 73BCF4E8198F1CB1 Time : 0.0 sec. user=mdettweiler [2016-07-05 01:19:00] 975*2^1434385-1 is not prime. Res64: 3DA40A6A1718CFB8 Time : 0.0 sec. user=mdettweiler [2016-07-05 01:19:01] 671*2^1434386-1 is not prime. Res64: 447C53DC8BA252E6 Time : 0.0 sec. user=mdettweiler [2016-07-05 01:19:01] 683*2^1434386-1 is not prime. Res64: 0342B83D0A1CAF6C Time : 0.0 sec. user=mdettweiler [2016-07-05 01:56:23] 711*2^1434386-1 is not prime. Res64: BCD85CBC63F4283A Time : 0.0 sec. user=mdettweiler [2016-07-05 01:56:23] 717*2^1434386-1 is not prime. Res64: 8A111D7B9899F3F8 Time : 0.0 sec. user=mdettweiler [2016-07-05 01:56:24] 755*2^1434386-1 is not prime. Res64: 7627752F9A22407B Time : 0.0 sec. user=mdettweiler [2016-07-05 01:56:24] 837*2^1434386-1 is not prime. Res64: F84AB4E5591F41ED Time : 0.0 sec. user=mdettweiler [2016-07-05 01:56:25] 867*2^1434386-1 is not prime. Res64: CB84B3A04DC5CB39 Time : 0.0 sec. user=mdettweiler [2016-07-05 01:59:52] 941*2^1434386-1 is not prime. Res64: 874A400F311AC33A Time : 0.0 sec. user=mdettweiler [2016-07-05 01:59:52] 945*2^1434386-1 is not prime. Res64: 28D552257FD212AA Time : 0.0 sec. user=mdettweiler [2016-07-05 01:59:53] 981*2^1434386-1 is not prime. Res64: 76BFD4FECBEA5B42 Time : 0.0 sec. user=mdettweiler [2016-07-05 01:59:53] 891*2^1434387-1 is not prime. Res64: 6C4A2110AD871DE8 Time : 0.0 sec. user=mdettweiler [2016-07-05 01:59:53] 895*2^1434387-1 is not prime. Res64: D38B51BFE2C3B719 Time : 0.0 sec. user=mdettweiler [2016-07-05 02:00:46] 903*2^1434387-1 is not prime. Res64: FAE51B2D784B9EEB Time : 0.0 sec. user=mdettweiler [2016-07-05 02:00:47] 647*2^1434388-1 is not prime. Res64: 9063D3D9E6E20B0F Time : 0.0 sec. user=mdettweiler [2016-07-05 02:00:48] 743*2^1434388-1 is not prime. Res64: 425BA4D68312DE38 Time : 0.0 sec. user=mdettweiler [2016-07-05 02:00:49] 773*2^1434388-1 is not prime. Res64: 9A9608CA165CF7A7 Time : 0.0 sec. user=mdettweiler [2016-07-05 02:00:49] 783*2^1434388-1 is not prime. Res64: 04230B1E2E984716 Time : 0.0 sec. user=mdettweiler [2016-07-05 02:04:16] 843*2^1434388-1 is not prime. Res64: E3F456D718F42F39 Time : 0.0 sec. user=mdettweiler [2016-07-05 02:04:18] 915*2^1434388-1 is not prime. Res64: 517B1AFE95511415 Time : 0.0 sec. user=mdettweiler [2016-07-05 02:04:21] 933*2^1434388-1 is not prime. Res64: 256AC5AA6EFA9F0A Time : 0.0 sec. user=mdettweiler [2016-07-05 02:04:22] 999*2^1434388-1 is not prime. Res64: 2CAB47375CC121E3 Time : 0.0 sec. user=mdettweiler [2016-07-05 02:04:23] 631*2^1434389-1 is not prime. Res64: 932FC38D4D67ADFC Time : 0.0 sec. user=mdettweiler [2016-07-05 02:41:41] 697*2^1434389-1 is not prime. Res64: EB2DD02921FB71F8 Time : 0.0 sec. user=mdettweiler [2016-07-05 02:41:42] 771*2^1434389-1 is not prime. Res64: 78FFBFDEE56ABD60 Time : 0.0 sec. user=mdettweiler [2016-07-05 02:41:42] 847*2^1434389-1 is not prime. Res64: 8A668732CBBB4ADF Time : 0.0 sec. user=mdettweiler [2016-07-05 02:41:43] 897*2^1434389-1 is not prime. Res64: AD0113C0D6692D39 Time : 0.0 sec. user=mdettweiler [2016-07-05 02:41:43] 615*2^1434390-1 is not prime. Res64: 4092CF17F9BB1CB2 Time : 0.0 sec. user=mdettweiler [2016-07-05 02:45:03] 755*2^1434390-1 is not prime. Res64: 52FA80B71F0F6D84 Time : 0.0 sec. user=mdettweiler [2016-07-05 02:45:04] 915*2^1434390-1 is not prime. Res64: 2CFA5E2CBAD8AC75 Time : 0.0 sec. user=mdettweiler [2016-07-05 02:45:04] 971*2^1434390-1 is not prime. Res64: 95C58B010A74BD22 Time : 0.0 sec. user=mdettweiler [2016-07-05 02:45:05] 759*2^1434391-1 is not prime. Res64: 60ADADF60C8BFED4 Time : 0.0 sec. user=mdettweiler [2016-07-05 02:45:05] 891*2^1434391-1 is not prime. Res64: 8CA7D143C27B2E38 Time : 0.0 sec. user=mdettweiler [2016-07-05 02:46:22] 939*2^1434391-1 is not prime. Res64: 33801F9BA0C9E0F9 Time : 0.0 sec. user=mdettweiler [2016-07-05 02:46:23] 635*2^1434392-1 is not prime. Res64: 6C9B2884D85E0920 Time : 0.0 sec. user=mdettweiler [2016-07-05 02:46:23] 675*2^1434392-1 is not prime. Res64: 80C78C07A7817F39 Time : 0.0 sec. user=mdettweiler [2016-07-05 02:46:23] 677*2^1434392-1 is not prime. Res64: E5ACF314D9DD37B1 Time : 0.0 sec. user=mdettweiler [2016-07-05 02:46:24] 759*2^1434392-1 is not prime. Res64: 26E8E55CCF048726 Time : 0.0 sec. user=mdettweiler [2016-07-05 02:50:03] 825*2^1434392-1 is not prime. Res64: AAA36E143D8D8352 Time : 0.0 sec. user=mdettweiler [2016-07-05 02:50:04] 983*2^1434392-1 is not prime. Res64: 65A4BC9FAB59D62B Time : 0.0 sec. user=mdettweiler [2016-07-05 02:50:04] 649*2^1434393-1 is not prime. Res64: B6BDD9E34D6CDA52 Time : 0.0 sec. user=mdettweiler [2016-07-05 02:50:04] 685*2^1434393-1 is not prime. Res64: 567C6BE3B44BCDBE Time : 0.0 sec. user=mdettweiler [2016-07-05 02:50:05] 765*2^1434393-1 is not prime. Res64: 03B0924FE3DEB77E Time : 0.0 sec. user=mdettweiler [2016-07-05 03:26:45] 829*2^1434393-1 is not prime. Res64: 4603D15D9C78D900 Time : 0.0 sec. user=mdettweiler [2016-07-05 03:26:45] 885*2^1434393-1 is not prime. Res64: EBEBEAA6B0341B29 Time : 0.0 sec. user=mdettweiler [2016-07-05 03:26:46] 675*2^1434394-1 is not prime. Res64: 4C6697FE87A95C36 Time : 0.0 sec. user=mdettweiler [2016-07-05 03:26:47] 701*2^1434394-1 is not prime. Res64: 8C6A05AFCBEA94E3 Time : 0.0 sec. user=mdettweiler [2016-07-05 03:26:48] 705*2^1434394-1 is not prime. Res64: 6CD1B23C5480F001 Time : 0.0 sec. user=mdettweiler [2016-07-05 03:29:59] 773*2^1434394-1 is not prime. Res64: 1BEF5AFE3F0D44FB Time : 0.0 sec. user=mdettweiler [2016-07-05 03:30:00] 947*2^1434394-1 is not prime. Res64: F80DF26E106D2FA4 Time : 0.0 sec. user=mdettweiler [2016-07-05 03:30:01] 987*2^1434394-1 is not prime. Res64: 4EF85D36B3BF12D7 Time : 0.0 sec. user=mdettweiler [2016-07-05 03:30:02] 619*2^1434395-1 is not prime. Res64: 76EDB9F2C10B5D35 Time : 0.0 sec. user=mdettweiler [2016-07-05 03:30:03] 645*2^1434395-1 is not prime. Res64: 6F1AB228DA87B116 Time : 0.0 sec. user=mdettweiler [2016-07-05 03:31:42] 663*2^1434395-1 is not prime. Res64: A0249243A4625B31 Time : 0.0 sec. user=mdettweiler [2016-07-05 03:31:43] 675*2^1434395-1 is not prime. Res64: 864F04AC7914EF54 Time : 0.0 sec. user=mdettweiler [2016-07-05 03:31:44] 733*2^1434395-1 is not prime. Res64: F129CF088128DA38 Time : 0.0 sec. user=mdettweiler [2016-07-05 03:31:45] 789*2^1434395-1 is not prime. Res64: 28B59EC84454BF09 Time : 0.0 sec. user=mdettweiler [2016-07-05 03:31:46] 823*2^1434395-1 is not prime. Res64: 7DE6C476C2F57FF0 Time : 0.0 sec. user=mdettweiler [2016-07-05 03:35:01] 921*2^1434395-1 is not prime. Res64: 84D51F7B22BE53E9 Time : 0.0 sec. user=mdettweiler [2016-07-05 03:35:02] 717*2^1434396-1 is not prime. Res64: 85FFA0B584376E5C Time : 0.0 sec. user=mdettweiler [2016-07-05 03:35:03] 759*2^1434396-1 is not prime. Res64: 12A8D7C07632F3E4 Time : 0.0 sec. user=mdettweiler [2016-07-05 03:35:04] 777*2^1434396-1 is not prime. Res64: 29D792E427B2609B Time : 0.0 sec. user=mdettweiler [2016-07-05 03:35:05] 803*2^1434396-1 is not prime. Res64: 1C463C94B2BEA6B8 Time : 0.0 sec. user=mdettweiler [2016-07-05 04:11:54] 875*2^1434396-1 is not prime. Res64: 370ED6B87A8E922E Time : 0.0 sec. user=mdettweiler [2016-07-05 04:11:55] 945*2^1434396-1 is not prime. Res64: E87A37CFCD03465D Time : 0.0 sec. user=mdettweiler [2016-07-05 04:11:55] 667*2^1434397-1 is not prime. Res64: CE57FFD86E200AA2 Time : 0.0 sec. user=mdettweiler [2016-07-05 04:11:56] 831*2^1434397-1 is not prime. Res64: 3BF16C85295EE97E Time : 0.0 sec. user=mdettweiler [2016-07-05 04:11:56] 635*2^1434398-1 is not prime. Res64: F9CDE4D025157518 Time : 0.0 sec. user=mdettweiler [2016-07-05 04:15:10] 743*2^1434398-1 is not prime. Res64: C1C31B1E34C1244B Time : 0.0 sec. user=mdettweiler [2016-07-05 04:15:11] 893*2^1434398-1 is not prime. Res64: 3E67F4C83C80DB0A Time : 0.0 sec. user=mdettweiler [2016-07-05 04:15:11] 921*2^1434398-1 is not prime. Res64: 426C19A6CB4FF31E Time : 0.0 sec. user=mdettweiler [2016-07-05 04:15:12] 941*2^1434398-1 is not prime. Res64: D365A1C7B3E266B4 Time : 0.0 sec. user=mdettweiler [2016-07-05 04:15:12] 951*2^1434398-1 is not prime. Res64: 679D52EB7B342C30 Time : 0.0 sec. user=mdettweiler [2016-07-05 04:17:05] 963*2^1434398-1 is not prime. Res64: B1503719848D1841 Time : 0.0 sec. user=mdettweiler [2016-07-05 04:17:05] 675*2^1434399-1 is not prime. Res64: E1A607E7CCA6EADE Time : 0.0 sec. user=mdettweiler [2016-07-05 04:17:06] 735*2^1434399-1 is not prime. Res64: 1CA99E3E0C276C9F Time : 0.0 sec. user=mdettweiler [2016-07-05 04:17:06] 751*2^1434399-1 is not prime. Res64: FB411091D69C65C0 Time : 0.0 sec. user=mdettweiler [2016-07-05 04:17:06] 763*2^1434399-1 is not prime. Res64: CCE9454094C19A25 Time : 0.0 sec. user=mdettweiler [2016-07-05 04:20:11] 793*2^1434399-1 is not prime. Res64: 3F619A1923E04B38 Time : 0.0 sec. user=mdettweiler [2016-07-05 04:20:11] 823*2^1434399-1 is not prime. Res64: 36A69BEC473A3A40 Time : 0.0 sec. user=mdettweiler [2016-07-05 04:20:12] 859*2^1434399-1 is not prime. Res64: CB42042C5C7D5CB3 Time : 0.0 sec. user=mdettweiler [2016-07-05 04:20:12] 969*2^1434399-1 is not prime. Res64: 74D6E95AD2BFBBFB Time : 0.0 sec. user=mdettweiler [2016-07-05 04:20:12] 609*2^1434400-1 is not prime. Res64: A45BB1913A9634BF Time : 0.0 sec. user=mdettweiler [2016-07-05 04:58:22] 623*2^1434400-1 is not prime. Res64: 452A0C15F2F3D6D4 Time : 0.0 sec. user=mdettweiler [2016-07-05 04:58:22] 675*2^1434400-1 is not prime. Res64: 95CBB09F2BE8AFE3 Time : 0.0 sec. user=mdettweiler [2016-07-05 04:58:23] 689*2^1434400-1 is not prime. Res64: 237E6351F6C53E5C Time : 0.0 sec. user=mdettweiler [2016-07-05 04:58:23] 717*2^1434400-1 is not prime. Res64: 0CBF4D95E884E780 Time : 0.0 sec. user=mdettweiler [2016-07-05 04:58:24] 719*2^1434400-1 is not prime. Res64: A7B176C8D926D745 Time : 0.0 sec. user=mdettweiler [2016-07-05 05:01:45] 827*2^1434400-1 is not prime. Res64: DA04916E06643151 Time : 0.0 sec. user=mdettweiler [2016-07-05 05:01:47] 843*2^1434400-1 is not prime. Res64: F2FB2E2A62B3C354 Time : 0.0 sec. user=mdettweiler [2016-07-05 05:01:47] 849*2^1434400-1 is not prime. Res64: 6E07F7F7E5127466 Time : 0.0 sec. user=mdettweiler [2016-07-05 05:01:48] 857*2^1434400-1 is not prime. Res64: 0161E2229E65455B Time : 0.0 sec. user=mdettweiler [2016-07-05 05:01:49] 927*2^1434400-1 is not prime. Res64: 08A253E52E7D18BB Time : 0.0 sec. user=mdettweiler [2016-07-05 05:03:26] 829*2^1434401-1 is not prime. Res64: 7DED7591374DBF0A Time : 0.0 sec. user=mdettweiler [2016-07-05 05:03:27] 865*2^1434401-1 is not prime. Res64: E9FF344456641D13 Time : 0.0 sec. user=mdettweiler [2016-07-05 05:03:28] 871*2^1434401-1 is not prime. Res64: B80A7916156F14B0 Time : 0.0 sec. user=mdettweiler [2016-07-05 05:03:29] 937*2^1434401-1 is not prime. Res64: 4C28C0E29BE3036F Time : 0.0 sec. user=mdettweiler [2016-07-05 05:03:30] 967*2^1434401-1 is not prime. Res64: 6DF9BD95D20DA65C Time : 0.0 sec. user=mdettweiler [2016-07-05 05:06:55] 713*2^1434402-1 is not prime. Res64: E1C3772F8C32D07A Time : 0.0 sec. user=mdettweiler [2016-07-05 05:06:56] 791*2^1434402-1 is not prime. Res64: 409C0DF660D7FA6B Time : 0.0 sec. user=mdettweiler [2016-07-05 05:06:57] 843*2^1434402-1 is not prime. Res64: BB110D1BBE638EA1 Time : 0.0 sec. user=mdettweiler [2016-07-05 05:06:58] 921*2^1434402-1 is not prime. Res64: AFAE3B8B55713CDF Time : 0.0 sec. user=mdettweiler [2016-07-05 05:06:59] 945*2^1434402-1 is not prime. Res64: C035EEB8DCCBA172 Time : 0.0 sec. user=mdettweiler [2016-07-05 05:43:26] 977*2^1434402-1 is not prime. Res64: 880647056DAF975D Time : 0.0 sec. user=mdettweiler [2016-07-05 05:43:26] 609*2^1434403-1 is not prime. Res64: 867C6A37BC0A1155 Time : 0.0 sec. user=mdettweiler [2016-07-05 05:43:27] 619*2^1434403-1 is not prime. Res64: 6740610EE31A8B10 Time : 0.0 sec. user=mdettweiler [2016-07-05 05:43:27] 633*2^1434403-1 is not prime. Res64: C816988889F10045 Time : 0.0 sec. user=mdettweiler [2016-07-05 05:43:27] 699*2^1434403-1 is not prime. Res64: A75D12ADE13876B0 Time : 0.0 sec. user=mdettweiler [2016-07-05 05:46:42] 705*2^1434403-1 is not prime. Res64: 27E03340AAF70280 Time : 0.0 sec. user=mdettweiler [2016-07-05 05:46:42] 775*2^1434403-1 is not prime. Res64: 536B8771E77277F7 Time : 0.0 sec. user=mdettweiler [2016-07-05 05:46:42] 961*2^1434403-1 is not prime. Res64: 877F5DEC1D071F23 Time : 0.0 sec. user=mdettweiler [2016-07-05 05:46:43] 719*2^1434404-1 is not prime. Res64: E6A0254F55C4C99B Time : 0.0 sec. user=mdettweiler [2016-07-05 05:46:43] 789*2^1434404-1 is not prime. Res64: A13C4CD76C4424BB Time : 0.0 sec. user=mdettweiler [2016-07-05 05:48:27] 819*2^1434404-1 is not prime. Res64: C9CB96C1A3EDB1CC Time : 0.0 sec. user=mdettweiler [2016-07-05 05:48:28] 927*2^1434404-1 is not prime. Res64: 230F25C6AD2E81BD Time : 0.0 sec. user=mdettweiler [2016-07-05 05:48:28] 945*2^1434404-1 is not prime. Res64: D4EB9B8DBB66036B Time : 0.0 sec. user=mdettweiler [2016-07-05 05:48:29] 759*2^1434405-1 is not prime. Res64: DA314C46FFB80A44 Time : 0.0 sec. user=mdettweiler [2016-07-05 05:48:29] 811*2^1434405-1 is not prime. Res64: A4AC26B295F0DF23 Time : 0.0 sec. user=mdettweiler [2016-07-05 05:51:50] 825*2^1434405-1 is not prime. Res64: 36E8948E8E00EE29 Time : 0.0 sec. user=mdettweiler [2016-07-05 05:51:51] 783*2^1434406-1 is not prime. Res64: FCEE7D4D62F9CEF8 Time : 0.0 sec. user=mdettweiler [2016-07-05 05:51:51] 911*2^1434406-1 is not prime. Res64: B76BA35FF47E2F4F Time : 0.0 sec. user=mdettweiler [2016-07-05 05:51:51] 971*2^1434406-1 is not prime. Res64: CB9D9779904855C0 Time : 0.0 sec. user=mdettweiler [2016-07-05 05:51:52] 603*2^1434407-1 is not prime. Res64: D71402DCAAB254F7 Time : 0.0 sec. user=mdettweiler [2016-07-05 06:28:25] 753*2^1434407-1 is not prime. Res64: 47B67E1C39AB88F9 Time : 0.0 sec. user=mdettweiler [2016-07-05 06:28:25] 885*2^1434407-1 is not prime. Res64: E6CFD8CC120599A4 Time : 0.0 sec. user=mdettweiler [2016-07-05 06:28:26] 707*2^1434408-1 is not prime. Res64: D0CEA6BC2A7B28C3 Time : 0.0 sec. user=mdettweiler [2016-07-05 06:28:26] 725*2^1434408-1 is not prime. Res64: A047BA9006E57306 Time : 0.0 sec. user=mdettweiler [2016-07-05 06:28:27] 773*2^1434408-1 is not prime. Res64: 3905A89A9B8A5FBA Time : 0.0 sec. user=mdettweiler [2016-07-05 06:31:39] 867*2^1434408-1 is not prime. Res64: 2B1E9FA003843426 Time : 0.0 sec. user=mdettweiler [2016-07-05 06:31:39] 893*2^1434408-1 is not prime. Res64: 5012DF3EB572C80D Time : 0.0 sec. user=mdettweiler [2016-07-05 06:31:39] 687*2^1434409-1 is not prime. Res64: 25131CDDB4EC0AAC Time : 0.0 sec. user=mdettweiler [2016-07-05 06:31:40] 745*2^1434409-1 is not prime. Res64: 1EF6395854641AB4 Time : 0.0 sec. user=mdettweiler [2016-07-05 06:31:40] 751*2^1434409-1 is not prime. Res64: 7D62A7CA8F8EA00F Time : 0.0 sec. user=mdettweiler [2016-07-05 06:33:33] 771*2^1434409-1 is not prime. Res64: 77A4298EF4B075BF Time : 0.0 sec. user=mdettweiler [2016-07-05 06:33:34] 847*2^1434409-1 is not prime. Res64: BD5272BE13084F4B Time : 0.0 sec. user=mdettweiler [2016-07-05 06:33:34] 861*2^1434409-1 is not prime. Res64: 6AE1C22B98869EC1 Time : 0.0 sec. user=mdettweiler [2016-07-05 06:33:34] 885*2^1434409-1 is not prime. Res64: A85D682E51F7A69E Time : 0.0 sec. user=mdettweiler [2016-07-05 06:33:35] 909*2^1434409-1 is not prime. Res64: 4D00460014F82DFE Time : 0.0 sec. user=mdettweiler [2016-07-05 06:36:35] 985*2^1434409-1 is not prime. Res64: E34A4FF0F5988A94 Time : 0.0 sec. user=mdettweiler [2016-07-05 06:36:36] 687*2^1434410-1 is not prime. Res64: 2657364D234F8E49 Time : 0.0 sec. user=mdettweiler [2016-07-05 06:36:36] 755*2^1434410-1 is not prime. Res64: 66506E260E8DBC4C Time : 0.0 sec. user=mdettweiler [2016-07-05 06:36:36] 783*2^1434410-1 is not prime. Res64: 656C5D67322401B9 Time : 0.0 sec. user=mdettweiler [2016-07-05 06:36:37] 785*2^1434410-1 is not prime. Res64: A3DAB07791E53BA2 Time : 0.0 sec. user=mdettweiler [2016-07-05 07:13:37] 813*2^1434410-1 is not prime. Res64: 95B6A92276604F2D Time : 0.0 sec. user=mdettweiler [2016-07-05 07:13:38] 861*2^1434410-1 is not prime. Res64: E3968EC2EDA5EF67 Time : 0.0 sec. user=mdettweiler [2016-07-05 07:13:38] 921*2^1434410-1 is not prime. Res64: D25E0D157D7B1355 Time : 0.0 sec. user=mdettweiler [2016-07-05 07:13:38] 957*2^1434410-1 is not prime. Res64: 5AF85D8C2FAA3603 Time : 0.0 sec. user=mdettweiler [2016-07-05 07:13:39] 613*2^1434411-1 is not prime. Res64: 5C4B3C145BD7ACA7 Time : 0.0 sec. user=mdettweiler [2016-07-05 07:16:43] 685*2^1434411-1 is not prime. Res64: 748264EFB9B99DC7 Time : 0.0 sec. user=mdettweiler [2016-07-05 07:16:44] 709*2^1434411-1 is not prime. Res64: 0B9E5335B8F6F652 Time : 0.0 sec. user=mdettweiler [2016-07-05 07:16:44] 711*2^1434411-1 is not prime. Res64: CBAFA852A452AA12 Time : 0.0 sec. user=mdettweiler [2016-07-05 07:16:45] 741*2^1434411-1 is not prime. Res64: C6D6C84D44550F39 Time : 0.0 sec. user=mdettweiler [2016-07-05 07:16:45] 769*2^1434411-1 is not prime. Res64: D67578B0A6556EC2 Time : 0.0 sec. user=mdettweiler [2016-07-05 07:18:55] 879*2^1434411-1 is not prime. Res64: 6B6F26A76D1D6368 Time : 0.0 sec. user=mdettweiler [2016-07-05 07:19:00] 647*2^1434412-1 is not prime. Res64: 1D94FCF07B669FF9 Time : 0.0 sec. user=mdettweiler [2016-07-05 07:19:04] 653*2^1434412-1 is not prime. Res64: 8DA00BC9CE33FF26 Time : 0.0 sec. user=mdettweiler [2016-07-05 07:19:08] 699*2^1434412-1 is not prime. Res64: BE99376C862428A0 Time : 0.0 sec. user=mdettweiler [2016-07-05 07:19:12] 785*2^1434412-1 is not prime. Res64: 1C1ADE35C014697E Time : 0.0 sec. user=mdettweiler [2016-07-05 07:21:45] 855*2^1434412-1 is not prime. Res64: 50DD83DBF70D5D9F Time : 0.0 sec. user=mdettweiler [2016-07-05 07:21:49] 873*2^1434412-1 is not prime. Res64: C306FA51BEAD8A0F Time : 0.0 sec. user=mdettweiler [2016-07-05 07:21:49] 903*2^1434412-1 is not prime. Res64: 368727B39A773365 Time : 0.0 sec. user=mdettweiler [2016-07-05 07:21:53] 727*2^1434413-1 is not prime. Res64: 2ABADF975026447B Time : 0.0 sec. user=mdettweiler [2016-07-05 07:21:57] 745*2^1434413-1 is not prime. Res64: 75A6B4F37263DEC4 Time : 0.0 sec. user=mdettweiler [2016-07-05 07:58:44] 781*2^1434413-1 is not prime. Res64: 37E201DE4990F127 Time : 0.0 sec. user=mdettweiler [2016-07-05 07:58:51] 847*2^1434413-1 is not prime. Res64: ED89395F7E4D0C73 Time : 0.0 sec. user=mdettweiler [2016-07-05 07:58:57] 915*2^1434413-1 is not prime. Res64: 193BF82565F69B80 Time : 0.0 sec. user=mdettweiler [2016-07-05 07:58:57] 967*2^1434413-1 is not prime. Res64: 42A978DDE3FFD802 Time : 0.0 sec. user=mdettweiler [2016-07-05 07:59:03] 635*2^1434414-1 is not prime. Res64: 624B36F0A44D4853 Time : 0.0 sec. user=mdettweiler [2016-07-05 08:01:45] 663*2^1434414-1 is not prime. Res64: 27492F5BD0F8D164 Time : 0.0 sec. user=mdettweiler [2016-07-05 08:01:51] 723*2^1434414-1 is not prime. Res64: FC1CE3F6DCCABFE3 Time : 0.0 sec. user=mdettweiler [2016-07-05 08:01:57] 755*2^1434414-1 is not prime. Res64: 2AACC60FC499622E Time : 0.0 sec. user=mdettweiler [2016-07-05 08:02:04] 825*2^1434414-1 is not prime. Res64: F426FCACD28A27B6 Time : 0.0 sec. user=mdettweiler [2016-07-05 08:02:10] 833*2^1434414-1 is not prime. Res64: EDE4BE7A271B1DF2 Time : 0.0 sec. user=mdettweiler [2016-07-05 08:04:13] 851*2^1434414-1 is not prime. Res64: 5CF1B0F88A2ED7DF Time : 0.0 sec. user=mdettweiler [2016-07-05 08:04:19] 893*2^1434414-1 is not prime. Res64: 800F64748BA7F7B2 Time : 0.0 sec. user=mdettweiler [2016-07-05 08:04:26] 971*2^1434414-1 is not prime. Res64: CA7EFD0AC493128F Time : 0.0 sec. user=mdettweiler [2016-07-05 08:04:32] 975*2^1434414-1 is not prime. Res64: F986121F601524FC Time : 0.0 sec. user=mdettweiler [2016-07-05 08:04:40] 603*2^1434415-1 is not prime. Res64: 608E2040F1B5BCD2 Time : 0.0 sec. user=mdettweiler [2016-07-05 08:07:05] 633*2^1434415-1 is not prime. Res64: 361B2148589E2E2A Time : 0.0 sec. user=mdettweiler [2016-07-05 08:07:09] 645*2^1434415-1 is not prime. Res64: 4D0A3CAA3753E393 Time : 0.0 sec. user=mdettweiler [2016-07-05 08:07:15] 693*2^1434415-1 is not prime. Res64: 4A9E5902434F6202 Time : 0.0 sec. user=mdettweiler [2016-07-05 08:07:22] 723*2^1434415-1 is not prime. Res64: 01CACBE3C08DAF2B Time : 0.0 sec. user=mdettweiler [2016-07-05 08:07:28] 775*2^1434415-1 is not prime. Res64: 1030BC9D25F3FC7F Time : 0.0 sec. user=mdettweiler [2016-07-05 08:44:18] 871*2^1434415-1 is not prime. Res64: 501A0022617A987E Time : 0.0 sec. user=mdettweiler [2016-07-05 08:44:22] 913*2^1434415-1 is not prime. Res64: B84BF8C581E04247 Time : 0.0 sec. user=mdettweiler [2016-07-05 08:44:26] 985*2^1434415-1 is not prime. Res64: EEB754BAADC23ED1 Time : 0.0 sec. user=mdettweiler [2016-07-05 08:44:30] 623*2^1434416-1 is not prime. Res64: 6F7595A3FF6CA4E4 Time : 0.0 sec. user=mdettweiler [2016-07-05 08:44:34] 659*2^1434416-1 is not prime. Res64: 48C796FF8175D07F Time : 0.0 sec. user=mdettweiler [2016-07-05 08:47:16] 689*2^1434416-1 is not prime. Res64: 0C105BC4BAF80D2A Time : 0.0 sec. user=mdettweiler [2016-07-05 08:47:16] 875*2^1434416-1 is not prime. Res64: 6AB37A649CFA340A Time : 0.0 sec. user=mdettweiler [2016-07-05 08:47:17] 993*2^1434416-1 is not prime. Res64: 26C1CFC46B2D88B9 Time : 0.0 sec. user=mdettweiler [2016-07-05 08:47:17] 609*2^1434417-1 is not prime. Res64: 5CAC21A05927D864 Time : 0.0 sec. user=mdettweiler [2016-07-05 08:47:18] 741*2^1434417-1 is not prime. Res64: 68B42EEE61C2735D Time : 0.0 sec. user=mdettweiler [2016-07-05 08:50:08] 777*2^1434417-1 is not prime. Res64: D33B9D326EFE830A Time : 0.0 sec. user=mdettweiler [2016-07-05 08:50:08] 937*2^1434417-1 is not prime. Res64: 660C484AE2A8CEFD Time : 0.0 sec. user=mdettweiler [2016-07-05 08:50:08] 603*2^1434418-1 is not prime. Res64: 828EB73D225A973D Time : 0.0 sec. user=mdettweiler [2016-07-05 08:50:09] 617*2^1434418-1 is not prime. Res64: F56EE2D5C89E4C11 Time : 0.0 sec. user=mdettweiler [2016-07-05 08:50:09] 663*2^1434418-1 is not prime. Res64: 9072232DB466980A Time : 0.0 sec. user=mdettweiler [2016-07-05 08:52:37] 705*2^1434418-1 is not prime. Res64: 4D8AECA4C927D731 Time : 0.0 sec. user=mdettweiler [2016-07-05 08:52:38] 801*2^1434418-1 is not prime. Res64: 086974E8EA5D3947 Time : 0.0 sec. user=mdettweiler [2016-07-05 08:52:38] 981*2^1434418-1 is not prime. Res64: B1B49128ACEDBD89 Time : 0.0 sec. user=mdettweiler [2016-07-05 08:52:38] 649*2^1434419-1 is not prime. Res64: C33EC0AC20B36E66 Time : 0.0 sec. user=mdettweiler [2016-07-05 08:52:39] 679*2^1434419-1 is not prime. Res64: ABD781E8598C82C5 Time : 0.0 sec. user=mdettweiler [2016-07-05 09:29:21] 741*2^1434419-1 is not prime. Res64: 746F0AF78903C447 Time : 0.0 sec. user=mdettweiler [2016-07-05 09:29:22] 745*2^1434419-1 is not prime. Res64: 0E01C4D379616E9B Time : 0.0 sec. user=mdettweiler [2016-07-05 09:29:22] 861*2^1434419-1 is not prime. Res64: 9AE74CFD821B24A3 Time : 0.0 sec. user=mdettweiler [2016-07-05 09:29:22] 883*2^1434419-1 is not prime. Res64: CAFFEF7BC27B83EB Time : 0.0 sec. user=mdettweiler [2016-07-05 09:29:23] 949*2^1434419-1 is not prime. Res64: DA3BA3B5683BA369 Time : 0.0 sec. user=mdettweiler [2016-07-05 09:32:04] 999*2^1434419-1 is not prime. Res64: 700F3C84F0B9E211 Time : 0.0 sec. user=mdettweiler [2016-07-05 09:32:05] 675*2^1434420-1 is not prime. Res64: CDA630DE2EF623AC Time : 0.0 sec. user=mdettweiler [2016-07-05 09:32:05] 915*2^1434420-1 is not prime. Res64: 9DB6F8158AEFA843 Time : 0.0 sec. user=mdettweiler [2016-07-05 09:32:05] 927*2^1434420-1 is not prime. Res64: 01883BB4802F8F9B Time : 0.0 sec. user=mdettweiler [2016-07-05 09:32:06] 945*2^1434420-1 is not prime. Res64: 6F79CC26583F9602 Time : 0.0 sec. user=mdettweiler [2016-07-05 09:35:12] 965*2^1434420-1 is not prime. Res64: 1B21BBB583E751EB Time : 0.0 sec. user=mdettweiler [2016-07-05 09:35:12] 741*2^1434421-1 is not prime. Res64: 2A7D66CB608AD32F Time : 0.0 sec. user=mdettweiler [2016-07-05 09:35:13] 819*2^1434421-1 is not prime. Res64: B31A83893A84C86B Time : 0.0 sec. user=mdettweiler [2016-07-05 09:35:13] 847*2^1434421-1 is not prime. Res64: B4B7F208C6499041 Time : 0.0 sec. user=mdettweiler [2016-07-05 09:35:13] 855*2^1434421-1 is not prime. Res64: A2E2B18C0986D77E Time : 0.0 sec. user=mdettweiler [2016-07-05 09:37:42] 861*2^1434421-1 is not prime. Res64: 2F3CFF6D321FFBBA Time : 0.0 sec. user=mdettweiler [2016-07-05 09:37:42] 937*2^1434421-1 is not prime. Res64: 2A1BF1D4FD7BE89D Time : 0.0 sec. user=mdettweiler [2016-07-05 09:37:43] 955*2^1434421-1 is not prime. Res64: ADC4CAE210B90034 Time : 0.0 sec. user=mdettweiler [2016-07-05 09:37:43] 997*2^1434421-1 is not prime. Res64: 20299A8886A629E9 Time : 0.0 sec. user=mdettweiler [2016-07-05 09:37:43] 711*2^1434422-1 is not prime. Res64: CAFCDD2B4D6DDE89 Time : 0.0 sec. user=mdettweiler [2016-07-05 10:17:59] 897*2^1434422-1 is not prime. Res64: 9AB9A4587DE9B22C Time : 0.0 sec. user=mdettweiler [2016-07-05 10:20:12] 669*2^1434423-1 is not prime. Res64: AB41D69AC9AC8C72 Time : 0.0 sec. user=mdettweiler [2016-07-05 10:20:18] 735*2^1434423-1 is not prime. Res64: 9F8A10E9491B5670 Time : 0.0 sec. user=mdettweiler [2016-07-05 10:20:18] 853*2^1434423-1 is not prime. Res64: C4CBD1A39BB9A986 Time : 0.0 sec. user=mdettweiler [2016-07-05 10:20:24] 933*2^1434423-1 is not prime. Res64: 12B60DD11767F7E8 Time : 0.0 sec. user=mdettweiler [2016-07-05 10:20:30] 609*2^1434424-1 is not prime. Res64: AA2617CF461D45C3 Time : 0.0 sec. user=mdettweiler [2016-07-05 10:23:31] 755*2^1434424-1 is not prime. Res64: 138E5015274C934E Time : 0.0 sec. user=mdettweiler [2016-07-05 10:23:36] 807*2^1434424-1 is not prime. Res64: D638334B89F17AC3 Time : 0.0 sec. user=mdettweiler [2016-07-05 10:23:40] 813*2^1434424-1 is not prime. Res64: A80B0F6BA91AB8B4 Time : 0.0 sec. user=mdettweiler [2016-07-05 10:23:45] 909*2^1434424-1 is not prime. Res64: EBD7CB7456B7CF0E Time : 0.0 sec. user=mdettweiler [2016-07-05 10:23:45] 983*2^1434424-1 is not prime. Res64: A9CB182A6C68CA14 Time : 0.0 sec. user=mdettweiler [2016-07-05 10:26:31] 657*2^1434425-1 is not prime. Res64: 2651B70F5358F71C Time : 0.0 sec. user=mdettweiler [2016-07-05 10:26:35] 675*2^1434425-1 is not prime. Res64: C47F5D36B0A0FFD7 Time : 0.0 sec. user=mdettweiler [2016-07-05 10:26:39] 729*2^1434425-1 is not prime. Res64: 8C5D1A0EC73AD5D4 Time : 0.0 sec. user=mdettweiler [2016-07-05 10:26:43] 735*2^1434425-1 is not prime. Res64: F4CAF64E6BB496B9 Time : 0.0 sec. user=mdettweiler [2016-07-05 10:26:48] 777*2^1434425-1 is not prime. Res64: D5DFA927CDD1D8E3 Time : 0.0 sec. user=mdettweiler [2016-07-05 11:10:40] 847*2^1434425-1 is not prime. Res64: 949C8A4A9F5DDD01 Time : 0.0 sec. user=mdettweiler [2016-07-05 11:10:40] 865*2^1434425-1 is not prime. Res64: E7C99871BCF88DBC Time : 0.0 sec. user=mdettweiler [2016-07-05 11:10:41] 925*2^1434425-1 is not prime. Res64: 5A63D92C3E511A27 Time : 0.0 sec. user=mdettweiler [2016-07-05 11:10:41] 937*2^1434425-1 is not prime. Res64: 99C5607B8E18D9B7 Time : 0.0 sec. user=mdettweiler [2016-07-05 11:10:41] 949*2^1434425-1 is not prime. Res64: 1636360E2F43ACE8 Time : 0.0 sec. user=mdettweiler [2016-07-05 11:13:41] 707*2^1434426-1 is not prime. Res64: DC11C1EC2BD6160A Time : 0.0 sec. user=mdettweiler [2016-07-05 11:13:42] 711*2^1434426-1 is not prime. Res64: 7B109604B3A4A8C5 Time : 0.0 sec. user=mdettweiler [2016-07-05 11:13:42] 717*2^1434426-1 is not prime. Res64: A8F7D388AC6F6EB9 Time : 0.0 sec. user=mdettweiler [2016-07-05 11:13:43] 767*2^1434426-1 is not prime. Res64: 0F4373E6CB07A3CF Time : 0.0 sec. user=mdettweiler [2016-07-05 11:13:43] 837*2^1434426-1 is not prime. Res64: 7CFC2EA6A5E8A51D Time : 0.0 sec. user=mdettweiler [2016-07-05 11:15:23] 873*2^1434426-1 is not prime. Res64: F9B6A4441CF2B317 Time : 0.0 sec. user=mdettweiler [2016-07-05 11:15:23] 945*2^1434426-1 is not prime. Res64: 62049B866670222E Time : 0.0 sec. user=mdettweiler [2016-07-05 11:15:24] 993*2^1434426-1 is not prime. Res64: 1EDE0BDF2BA3166F Time : 0.0 sec. user=mdettweiler [2016-07-05 11:15:24] 625*2^1434427-1 is not prime. Res64: 5C456FC1F46468DF Time : 0.0 sec. user=mdettweiler [2016-07-05 11:15:25] 649*2^1434427-1 is not prime. Res64: FBDB3125F1F67F74 Time : 0.0 sec. user=mdettweiler [2016-07-05 11:56:26] 651*2^1434427-1 is not prime. Res64: 02681862646ADE63 Time : 0.0 sec. user=mdettweiler [2016-07-05 11:56:26] 693*2^1434427-1 is not prime. Res64: CD46EBBEB6DEF37C Time : 0.0 sec. user=mdettweiler [2016-07-05 11:56:27] 735*2^1434427-1 is not prime. Res64: E9153C73D0BC8273 Time : 0.0 sec. user=mdettweiler [2016-07-05 11:56:27] 759*2^1434427-1 is not prime. Res64: 3876C9914B42DB65 Time : 0.0 sec. user=mdettweiler [2016-07-05 11:56:27] 849*2^1434427-1 is not prime. Res64: A3C2324CD981B412 Time : 0.0 sec. user=mdettweiler [2016-07-05 11:59:35] 859*2^1434427-1 is not prime. Res64: 48ECB686CC5F8C89 Time : 0.0 sec. user=mdettweiler [2016-07-05 11:59:35] 939*2^1434427-1 is not prime. Res64: 50026FC19C6BA9C7 Time : 0.0 sec. user=mdettweiler [2016-07-05 11:59:35] 945*2^1434427-1 is not prime. Res64: 61A27CFCBF71C8E5 Time : 0.0 sec. user=mdettweiler [2016-07-05 11:59:36] 629*2^1434428-1 is not prime. Res64: 77E9B8B135E0EB26 Time : 0.0 sec. user=mdettweiler [2016-07-05 11:59:36] 677*2^1434428-1 is not prime. Res64: E665B99F6C6BDADD Time : 0.0 sec. user=mdettweiler [2016-07-05 12:01:19] 687*2^1434428-1 is not prime. Res64: 4CF84FD7EDA1F0B3 Time : 0.0 sec. user=mdettweiler [2016-07-05 12:01:19] 743*2^1434428-1 is not prime. Res64: B972948F30912088 Time : 0.0 sec. user=mdettweiler [2016-07-05 12:01:20] 867*2^1434428-1 is not prime. Res64: 0F3E74E282352842 Time : 0.0 sec. user=mdettweiler [2016-07-05 12:01:21] 615*2^1434429-1 is not prime. Res64: D62C7F4206C0976D Time : 0.0 sec. user=mdettweiler [2016-07-05 12:01:21] 621*2^1434429-1 is not prime. Res64: 7BD448681D8C6C6F Time : 0.0 sec. user=mdettweiler [2016-07-05 12:38:26] 923*2^1434422-1 is not prime. Res64: F09921E0CAB38F01 Time : 0.0 sec. user=mdettweiler [2016-07-05 12:38:26] 945*2^1434422-1 is not prime. Res64: E42E1D496B70E988 Time : 0.0 sec. user=mdettweiler [2016-07-05 12:38:27] 951*2^1434422-1 is not prime. Res64: 62CE355CF04F0C92 Time : 0.0 sec. user=mdettweiler [2016-07-05 12:38:27] 983*2^1434422-1 is not prime. Res64: EBCA42E6A644DC64 Time : 0.0 sec. user=mdettweiler [2016-07-05 12:41:53] 711*2^1434429-1 is not prime. Res64: 2F3A5BC342B7A3FA Time : 0.0 sec. user=mdettweiler [2016-07-05 12:41:54] 751*2^1434429-1 is not prime. Res64: DFB1156ED9D55EEE Time : 0.0 sec. user=mdettweiler [2016-07-05 12:41:54] 831*2^1434429-1 is not prime. Res64: F67149AB41189BA9 Time : 0.0 sec. user=mdettweiler [2016-07-05 12:41:55] 847*2^1434429-1 is not prime. Res64: B730F84864BA63B2 Time : 0.0 sec. user=mdettweiler [2016-07-05 12:41:55] 665*2^1434430-1 is not prime. Res64: B95DCE192B9BEF7D Time : 0.0 sec. user=mdettweiler [2016-07-05 12:45:13] 831*2^1434430-1 is not prime. Res64: 318D92C13DDE7CCB Time : 0.0 sec. user=mdettweiler [2016-07-05 12:45:14] 933*2^1434430-1 is not prime. Res64: CDF8B8EB13C75A70 Time : 0.0 sec. user=mdettweiler [2016-07-05 12:45:20] 825*2^1434431-1 is not prime. Res64: 59D92A2A4A1842ED Time : 0.0 sec. user=mdettweiler [2016-07-05 12:45:26] 859*2^1434431-1 is not prime. Res64: 55053807E112651D Time : 0.0 sec. user=mdettweiler [2016-07-05 12:45:32] 605*2^1434432-1 is not prime. Res64: 148580EF68069B75 Time : 0.0 sec. user=mdettweiler [2016-07-05 12:47:14] 609*2^1434432-1 is not prime. Res64: 901A5321B54AF5EB Time : 0.0 sec. user=mdettweiler [2016-07-05 12:47:21] 717*2^1434432-1 is not prime. Res64: 37EEC019BACEF9C3 Time : 0.0 sec. user=mdettweiler [2016-07-05 12:47:27] 737*2^1434432-1 is not prime. Res64: 0B809D4631F1625C Time : 0.0 sec. user=mdettweiler [2016-07-05 12:47:33] 879*2^1434432-1 is not prime. Res64: 8F1D00E71FA04864 Time : 0.0 sec. user=mdettweiler [2016-07-05 12:47:39] 607*2^1434433-1 is not prime. Res64: 584A064D05478724 Time : 0.0 sec. user=mdettweiler [2016-07-05 13:23:23] 615*2^1434433-1 is not prime. Res64: FBED4D98149288FA Time : 0.0 sec. user=mdettweiler [2016-07-05 13:23:29] 685*2^1434433-1 is not prime. Res64: BFA1A6BA684FC7D9 Time : 0.0 sec. user=mdettweiler [2016-07-05 13:23:35] 747*2^1434433-1 is not prime. Res64: 5083B18A29AA1BF0 Time : 0.0 sec. user=mdettweiler [2016-07-05 13:23:41] 807*2^1434433-1 is not prime. Res64: 48CD76E3ED6434B2 Time : 0.0 sec. user=mdettweiler [2016-07-05 13:23:47] 817*2^1434433-1 is not prime. Res64: 9770265510BBD23E Time : 0.0 sec. user=mdettweiler [2016-07-05 13:26:43] 877*2^1434433-1 is not prime. Res64: 51B76466C2108FDE Time : 0.0 sec. user=mdettweiler [2016-07-05 13:26:48] 657*2^1434434-1 is not prime. Res64: 3E4B835E00D5BBBF Time : 0.0 sec. user=mdettweiler [2016-07-05 13:26:53] 827*2^1434434-1 is not prime. Res64: D779D6FA39F80463 Time : 0.0 sec. user=mdettweiler [2016-07-05 13:26:59] 857*2^1434434-1 is not prime. Res64: E9203816F8E05249 Time : 0.0 sec. user=mdettweiler [2016-07-05 13:27:04] 861*2^1434434-1 is not prime. Res64: 4D9473866E0E3583 Time : 0.0 sec. user=mdettweiler [2016-07-05 13:30:30] 619*2^1434435-1 is not prime. Res64: 39EB29DA65C4B257 Time : 0.0 sec. user=mdettweiler [2016-07-05 13:30:36] 651*2^1434435-1 is not prime. Res64: E20A2A1DA44961AF Time : 0.0 sec. user=mdettweiler [2016-07-05 13:30:43] 789*2^1434435-1 is not prime. Res64: D1310065650D996A Time : 0.0 sec. user=mdettweiler [2016-07-05 13:30:50] 885*2^1434435-1 is not prime. Res64: BD7FA6EB90C37C12 Time : 0.0 sec. user=mdettweiler [2016-07-05 13:30:56] 895*2^1434435-1 is not prime. Res64: 94063CF8E9AF73EA Time : 0.0 sec. user=mdettweiler [2016-07-05 13:32:41] 695*2^1434436-1 is not prime. Res64: 568552443D6346A1 Time : 0.0 sec. user=mdettweiler [2016-07-05 13:32:48] 717*2^1434436-1 is not prime. Res64: 07FBABC537BBD1DD Time : 0.0 sec. user=mdettweiler [2016-07-05 13:32:54] 743*2^1434436-1 is not prime. Res64: BE8880FE4C4419F5 Time : 0.0 sec. user=mdettweiler [2016-07-05 13:32:55] 845*2^1434436-1 is not prime. Res64: C376BFE8528AC33E Time : 0.0 sec. user=mdettweiler [2016-07-05 13:33:02] 875*2^1434436-1 is not prime. Res64: E44F168C1B15EB7F Time : 0.0 sec. user=mdettweiler [2016-07-05 14:09:10] 715*2^1434437-1 is not prime. Res64: EE5CC454A4874103 Time : 0.0 sec. user=mdettweiler [2016-07-05 14:09:16] 831*2^1434437-1 is not prime. Res64: 22BDB29821F1335C Time : 0.0 sec. user=mdettweiler [2016-07-05 14:09:24] 837*2^1434437-1 is not prime. Res64: C00705960A1B0B02 Time : 0.0 sec. user=mdettweiler [2016-07-05 14:09:24] 847*2^1434437-1 is not prime. Res64: FD2CBB6F71602442 Time : 0.0 sec. user=mdettweiler [2016-07-05 14:09:31] 867*2^1434437-1 is not prime. Res64: F5E3F8818DA00C7C Time : 0.0 sec. user=mdettweiler [2016-07-05 14:12:48] 915*2^1434437-1 is not prime. Res64: 71339BB02176B4BD Time : 0.0 sec. user=mdettweiler [2016-07-05 14:12:48] 925*2^1434437-1 is not prime. Res64: 2D9104FF676EE11C Time : 0.0 sec. user=mdettweiler [2016-07-05 14:12:48] 981*2^1434437-1 is not prime. Res64: 2970CA611788B50C Time : 0.0 sec. user=mdettweiler [2016-07-05 14:12:49] 635*2^1434438-1 is not prime. Res64: 63CD97B2FAE88999 Time : 0.0 sec. user=mdettweiler [2016-07-05 14:12:49] 711*2^1434438-1 is not prime. Res64: 0F593ED9638BB4E1 Time : 0.0 sec. user=mdettweiler [2016-07-05 14:17:32] 921*2^1434438-1 is not prime. Res64: 959F923B8ED6F9EE Time : 0.0 sec. user=mdettweiler [2016-07-05 14:17:32] 941*2^1434438-1 is not prime. Res64: EDCB24B2FF5552A8 Time : 0.0 sec. user=mdettweiler [2016-07-05 14:17:32] 975*2^1434438-1 is not prime. Res64: 2B620F5278EF9013 Time : 0.0 sec. user=mdettweiler [2016-07-05 14:17:33] 723*2^1434439-1 is not prime. Res64: 894C3E44A72A6B03 Time : 0.0 sec. user=mdettweiler [2016-07-05 14:17:33] 729*2^1434439-1 is not prime. Res64: A0F01CB3CB215C1B Time : 0.0 sec. user=mdettweiler [2016-07-05 14:19:10] 763*2^1434439-1 is not prime. Res64: 6198C14C8B3E570F Time : 0.0 sec. user=mdettweiler [2016-07-05 14:19:10] 771*2^1434439-1 is not prime. Res64: 2038E67747347C9B Time : 0.0 sec. user=mdettweiler [2016-07-05 14:19:10] 841*2^1434439-1 is not prime. Res64: AE502D9DB99B5104 Time : 0.0 sec. user=mdettweiler [2016-07-05 14:19:11] 855*2^1434439-1 is not prime. Res64: DDC658BC9B763AEA Time : 0.0 sec. user=mdettweiler [2016-07-05 14:19:11] 861*2^1434439-1 is not prime. Res64: 174C1041000ACC5C Time : 0.0 sec. user=mdettweiler [2016-07-05 14:55:23] 889*2^1434439-1 is not prime. Res64: 6094A709C4B72BE7 Time : 0.0 sec. user=mdettweiler [2016-07-05 14:55:23] 933*2^1434439-1 is not prime. Res64: D30646DA4B09B61C Time : 0.0 sec. user=mdettweiler [2016-07-05 14:55:24] 961*2^1434439-1 is not prime. Res64: CE6A5FA9E82836BE Time : 0.0 sec. user=mdettweiler [2016-07-05 14:55:24] 605*2^1434440-1 is not prime. Res64: 57034037A70728CA Time : 0.0 sec. user=mdettweiler [2016-07-05 14:55:24] 645*2^1434440-1 is not prime. Res64: 6F4989C11C232452 Time : 0.0 sec. user=mdettweiler [2016-07-05 14:58:17] 665*2^1434440-1 is not prime. Res64: 1FA506ECC0EA1CA0 Time : 0.0 sec. user=mdettweiler [2016-07-05 14:58:17] 713*2^1434440-1 is not prime. Res64: 1FB0313947AE876F Time : 0.0 sec. user=mdettweiler [2016-07-05 14:58:18] 719*2^1434440-1 is not prime. Res64: 9060BDFE89FB753F Time : 0.0 sec. user=mdettweiler [2016-07-05 14:58:18] 795*2^1434440-1 is not prime. Res64: 9CD76BC24C04FB86 Time : 0.0 sec. user=mdettweiler [2016-07-05 14:58:18] 839*2^1434440-1 is not prime. Res64: ACD8F44A07257CC1 Time : 0.0 sec. user=mdettweiler [2016-07-05 15:02:42] 963*2^1434440-1 is not prime. Res64: 920DA6ABA8817737 Time : 0.0 sec. user=mdettweiler [2016-07-05 15:02:44] 747*2^1434441-1 is not prime. Res64: 27978225A256959E Time : 0.0 sec. user=mdettweiler [2016-07-05 15:02:45] 999*2^1434441-1 is not prime. Res64: A055A36F2B8035CA Time : 0.0 sec. user=mdettweiler [2016-07-05 15:02:46] 617*2^1434442-1 is not prime. Res64: B385B6559D967874 Time : 0.0 sec. user=mdettweiler [2016-07-05 15:02:47] 665*2^1434442-1 is not prime. Res64: FB1920EA427B026D Time : 0.0 sec. user=mdettweiler [2016-07-05 15:04:12] 735*2^1434442-1 is not prime. Res64: 2B7529B87E3C3608 Time : 0.0 sec. user=mdettweiler [2016-07-05 15:04:14] 803*2^1434442-1 is not prime. Res64: 1410194DE1D7E205 Time : 0.0 sec. user=mdettweiler [2016-07-05 15:04:15] 821*2^1434442-1 is not prime. Res64: F2B22CD1EA8C4CAD Time : 0.0 sec. user=mdettweiler [2016-07-05 15:04:16] 833*2^1434442-1 is not prime. Res64: 5ABFD2B091D1C735 Time : 0.0 sec. user=mdettweiler [2016-07-05 15:04:18] 843*2^1434442-1 is not prime. Res64: EC8FBDCF60FB4F6C Time : 0.0 sec. user=mdettweiler [2016-07-05 15:40:25] 887*2^1434442-1 is not prime. Res64: 207DB68742147CB2 Time : 0.0 sec. user=mdettweiler [2016-07-05 15:40:26] 603*2^1434443-1 is not prime. Res64: 81EC9B5CD7AE11D1 Time : 0.0 sec. user=mdettweiler [2016-07-05 15:40:26] 615*2^1434443-1 is not prime. Res64: 497A7D446D771F76 Time : 0.0 sec. user=mdettweiler [2016-07-05 15:40:26] 775*2^1434443-1 is not prime. Res64: 0922301B4BD51110 Time : 0.0 sec. user=mdettweiler [2016-07-05 15:40:27] 789*2^1434443-1 is not prime. Res64: 71994FFA8F9F8EFA Time : 0.0 sec. user=mdettweiler [2016-07-05 15:43:13] 885*2^1434443-1 is not prime. Res64: 8F2A8D90F13D88BA Time : 0.0 sec. user=mdettweiler [2016-07-05 15:43:13] 963*2^1434443-1 is not prime. Res64: ACCC4AE73D3AFFC2 Time : 0.0 sec. user=mdettweiler [2016-07-05 15:43:14] 683*2^1434444-1 is not prime. Res64: 6CBA672C33F33BE1 Time : 0.0 sec. user=mdettweiler [2016-07-05 15:43:14] 693*2^1434444-1 is not prime. Res64: 88DD792AFAB89963 Time : 0.0 sec. user=mdettweiler [2016-07-05 15:43:15] 719*2^1434444-1 is not prime. Res64: 19DAD6CFAD5E4772 Time : 0.0 sec. user=mdettweiler [2016-07-05 15:48:00] 759*2^1434444-1 is not prime. Res64: A815116FC16937B5 Time : 0.0 sec. user=mdettweiler [2016-07-05 15:48:06] 843*2^1434444-1 is not prime. Res64: 2C8FDDC4DE364D5D Time : 0.0 sec. user=mdettweiler [2016-07-05 15:48:11] 863*2^1434444-1 is not prime. Res64: 91F5E58799C8B0A5 Time : 0.0 sec. user=mdettweiler [2016-07-05 15:48:15] 887*2^1434444-1 is not prime. Res64: 336A087DE899F870 Time : 0.0 sec. user=mdettweiler [2016-07-05 15:48:19] 915*2^1434444-1 is not prime. Res64: 72E657D1AE7C65F3 Time : 0.0 sec. user=mdettweiler [2016-07-05 15:49:43] 965*2^1434444-1 is not prime. Res64: 2E8412CF5330EABB Time : 0.0 sec. user=mdettweiler [2016-07-05 15:49:47] 625*2^1434445-1 is not prime. Res64: 20B006C6C4E30412 Time : 0.0 sec. user=mdettweiler [2016-07-05 15:49:52] 645*2^1434445-1 is not prime. Res64: A35C3A25FBD2897F Time : 0.0 sec. user=mdettweiler [2016-07-05 15:49:56] 715*2^1434445-1 is not prime. Res64: 6C4E50F7BAD0868C Time : 0.0 sec. user=mdettweiler [2016-07-05 15:50:00] 717*2^1434445-1 is not prime. Res64: 7B76FBB52CBCF7C3 Time : 0.0 sec. user=mdettweiler [2016-07-05 16:25:10] 759*2^1434445-1 is not prime. Res64: 5B3595896F03DD9A Time : 0.0 sec. user=mdettweiler [2016-07-05 16:25:15] 777*2^1434445-1 is not prime. Res64: C1F518F49582DA80 Time : 0.0 sec. user=mdettweiler [2016-07-05 16:25:20] 799*2^1434445-1 is not prime. Res64: AFC0EE65D25C9FDF Time : 0.0 sec. user=mdettweiler [2016-07-05 16:25:26] 825*2^1434445-1 is not prime. Res64: E9FAFDBD30FBCC12 Time : 0.0 sec. user=mdettweiler [2016-07-05 16:25:26] 987*2^1434445-1 is not prime. Res64: FA149AB07997D6F4 Time : 0.0 sec. user=mdettweiler [2016-07-05 16:28:18] 713*2^1434446-1 is not prime. Res64: 0DC1F15BFDF5C4D6 Time : 0.0 sec. user=mdettweiler [2016-07-05 16:28:28] 717*2^1434446-1 is not prime. Res64: 1D9B9BAF0CEDFA24 Time : 0.0 sec. user=mdettweiler [2016-07-05 16:33:24] 917*2^1434446-1 is not prime. Res64: 2BD4290887516006 Time : 0.0 sec. user=mdettweiler [2016-07-05 16:33:25] 923*2^1434446-1 is not prime. Res64: FB088D88AFA4D563 Time : 0.0 sec. user=mdettweiler [2016-07-05 16:33:32] 625*2^1434447-1 is not prime. Res64: 523354C61F639FCC Time : 0.0 sec. user=mdettweiler [2016-07-05 16:33:38] 649*2^1434447-1 is not prime. Res64: EE693083C2BB1BE1 Time : 0.0 sec. user=mdettweiler [2016-07-05 16:33:46] 651*2^1434447-1 is not prime. Res64: B0314AC02C6C1C5E Time : 0.0 sec. user=mdettweiler [2016-07-05 16:35:05] 661*2^1434447-1 is not prime. Res64: 6EB1555784CF203F Time : 0.0 sec. user=mdettweiler [2016-07-05 16:35:11] 703*2^1434447-1 is not prime. Res64: 075C4C17669DEE1A Time : 0.0 sec. user=mdettweiler [2016-07-05 16:35:17] 709*2^1434447-1 is not prime. Res64: 1AB255DFDE408A4A Time : 0.0 sec. user=mdettweiler [2016-07-05 16:35:24] 775*2^1434447-1 is not prime. Res64: A818CC48677CA280 Time : 0.0 sec. user=mdettweiler [2016-07-05 16:35:29] 781*2^1434447-1 is not prime. Res64: 30F00F41C6A1868A Time : 0.0 sec. user=mdettweiler [2016-07-05 17:10:46] 805*2^1434447-1 is not prime. Res64: DB5A02129A996AE0 Time : 0.0 sec. user=mdettweiler [2016-07-05 17:10:50] 951*2^1434447-1 is not prime. Res64: 33728E03723387AF Time : 0.0 sec. user=mdettweiler [2016-07-05 17:10:55] 985*2^1434447-1 is not prime. Res64: DFB179990C1837F1 Time : 0.0 sec. user=mdettweiler [2016-07-05 17:10:59] 773*2^1434448-1 is not prime. Res64: 0528D70FA5A3D880 Time : 0.0 sec. user=mdettweiler [2016-07-05 17:11:05] 849*2^1434448-1 is not prime. Res64: 403D35E6AF1E5DE6 Time : 0.0 sec. user=mdettweiler [2016-07-05 17:19:38] 897*2^1434448-1 is not prime. Res64: 090F48070BCA982F Time : 0.0 sec. user=mdettweiler [2016-07-05 17:19:39] 993*2^1434448-1 is not prime. Res64: 1EB21643E8EA533D Time : 0.0 sec. user=mdettweiler [2016-07-05 17:19:39] 999*2^1434448-1 is not prime. Res64: 6DEFD2B4327C9F2F Time : 0.0 sec. user=mdettweiler [2016-07-05 17:19:40] 615*2^1434449-1 is not prime. Res64: 963EEAC52B0707A0 Time : 0.0 sec. user=mdettweiler [2016-07-05 17:19:40] 657*2^1434449-1 is not prime. Res64: 204F62BFFC993730 Time : 0.0 sec. user=mdettweiler [2016-07-05 17:21:24] 691*2^1434449-1 is not prime. Res64: F71AFE65F5E4DDCD Time : 0.0 sec. user=mdettweiler [2016-07-05 17:21:24] 699*2^1434449-1 is not prime. Res64: 63E76F4B285E0347 Time : 0.0 sec. user=mdettweiler [2016-07-05 17:21:24] 795*2^1434449-1 is not prime. Res64: 89D2C289C0B98C24 Time : 0.0 sec. user=mdettweiler [2016-07-05 17:21:25] 955*2^1434449-1 is not prime. Res64: 25113C8CBC42998A Time : 0.0 sec. user=mdettweiler [2016-07-05 17:21:25] 969*2^1434449-1 is not prime. Res64: 65F1605C0E3BB87B Time : 0.0 sec. user=mdettweiler [2016-07-05 17:57:12] 611*2^1434450-1 is not prime. Res64: 0F2881E2EE2CC8DC Time : 0.0 sec. user=mdettweiler [2016-07-05 17:57:13] 695*2^1434450-1 is not prime. Res64: 1FAE1E015B8E77A5 Time : 0.0 sec. user=mdettweiler [2016-07-05 17:57:13] 735*2^1434450-1 is not prime. Res64: 638C76C346675699 Time : 0.0 sec. user=mdettweiler [2016-07-05 17:57:13] 873*2^1434450-1 is not prime. Res64: 91F09C30ED72A300 Time : 0.0 sec. user=mdettweiler [2016-07-05 17:57:14] 715*2^1434451-1 is not prime. Res64: 355274451A627264 Time : 0.0 sec. user=mdettweiler [2016-07-05 18:06:02] 741*2^1434451-1 is not prime. Res64: E96A7CEE1B288EC6 Time : 0.0 sec. user=mdettweiler [2016-07-05 18:06:04] 789*2^1434451-1 is not prime. Res64: 4E30803BDD05C63C Time : 0.0 sec. user=mdettweiler [2016-07-05 18:06:05] 889*2^1434451-1 is not prime. Res64: AF08B62E6610BD3A Time : 0.0 sec. user=mdettweiler [2016-07-05 18:06:07] 895*2^1434451-1 is not prime. Res64: 6F8AA27AA6275DC8 Time : 0.0 sec. user=mdettweiler [2016-07-05 18:06:08] 969*2^1434451-1 is not prime. Res64: 989FC7F0F2ABD9DD Time : 0.0 sec. user=mdettweiler [2016-07-05 18:07:56] 979*2^1434451-1 is not prime. Res64: 9FAD0A732C856100 Time : 0.0 sec. user=mdettweiler [2016-07-05 18:47:32] 825*2^1434452-1 is not prime. Res64: 1F72A80E5F83B88B Time : 0.0 sec. user=mdettweiler [2016-07-05 18:47:39] 875*2^1434452-1 is not prime. Res64: 24620175DD055B84 Time : 0.0 sec. user=mdettweiler [2016-07-05 18:47:45] 879*2^1434452-1 is not prime. Res64: EA0B4C2E901A42DE Time : 0.0 sec. user=mdettweiler [2016-07-05 18:47:46] 899*2^1434452-1 is not prime. Res64: 0B6E0E938AA65A4E Time : 0.0 sec. user=mdettweiler [2016-07-05 18:47:52] 929*2^1434452-1 is not prime. Res64: 6350E750A586767A Time : 0.0 sec. user=mdettweiler [2016-07-05 18:57:42] 935*2^1434452-1 is not prime. Res64: DF3E5F36C3B23680 Time : 0.0 sec. user=mdettweiler [2016-07-05 18:57:46] 957*2^1434452-1 is not prime. Res64: D98343EF4FD6AD8D Time : 0.0 sec. user=mdettweiler [2016-07-05 18:57:50] 691*2^1434453-1 is not prime. Res64: A4EDD483D972C8D4 Time : 0.0 sec. user=mdettweiler [2016-07-05 18:57:54] 721*2^1434453-1 is not prime. Res64: B34647FBA1871E50 Time : 0.0 sec. user=mdettweiler [2016-07-05 18:57:59] 835*2^1434453-1 is not prime. Res64: 414C31EDE5722F52 Time : 0.0 sec. user=mdettweiler [2016-07-05 19:33:45] 773*2^1434446-1 is not prime. Res64: D7C1782FFBE8A1AF Time : 0.0 sec. user=mdettweiler [2016-07-05 19:33:51] 785*2^1434446-1 is not prime. Res64: EFC96D98FBA9388A Time : 0.0 sec. user=mdettweiler [2016-07-05 19:33:58] 873*2^1434446-1 is not prime. Res64: 815EB7EEE735EB15 Time : 0.0 sec. user=mdettweiler [2016-07-05 19:40:25] 849*2^1434453-1 is not prime. Res64: 4AE8CD96A973C239 Time : 0.0 sec. user=mdettweiler [2016-07-05 19:40:25] 895*2^1434453-1 is not prime. Res64: 255397EE5DE6FFD7 Time : 0.0 sec. user=mdettweiler [2016-07-05 19:40:26] 617*2^1434454-1 is not prime. Res64: 4918CFC414978561 Time : 0.0 sec. user=mdettweiler [2016-07-05 19:40:26] 635*2^1434454-1 is not prime. Res64: D0D7D9A863FD6631 Time : 0.0 sec. user=mdettweiler [2016-07-05 19:40:27] 687*2^1434454-1 is not prime. Res64: 51ADA84934E094E2 Time : 0.0 sec. user=mdettweiler [2016-07-05 19:49:53] 773*2^1434454-1 is not prime. Res64: 88085D9CA1E4B2F9 Time : 0.0 sec. user=mdettweiler [2016-07-05 19:49:54] 813*2^1434454-1 is not prime. Res64: AAA8FEEC4EA5A168 Time : 0.0 sec. user=mdettweiler [2016-07-05 19:49:54] 609*2^1434455-1 is not prime. Res64: E78568991DAACA87 Time : 0.0 sec. user=mdettweiler [2016-07-05 19:49:54] 661*2^1434455-1 is not prime. Res64: 04FA1BF4E191B171 Time : 0.0 sec. user=mdettweiler [2016-07-05 19:49:55] 763*2^1434455-1 is not prime. Res64: 0EE8240CC897F8EF Time : 0.0 sec. user=mdettweiler [2016-07-05 20:24:53] 771*2^1434455-1 is not prime. Res64: 54D29BFEB73E95D4 Time : 0.0 sec. user=mdettweiler [2016-07-05 20:24:54] 825*2^1434455-1 is not prime. Res64: A690A1B4D6A91817 Time : 0.0 sec. user=mdettweiler [2016-07-05 20:24:54] 843*2^1434455-1 is not prime. Res64: A7090F4C39FA8C48 Time : 0.0 sec. user=mdettweiler [2016-07-05 20:24:54] 939*2^1434455-1 is not prime. Res64: 3EF5574BED9B1F2E Time : 0.0 sec. user=mdettweiler [2016-07-05 20:24:55] 981*2^1434455-1 is not prime. Res64: 1F1C60903A73F0F2 Time : 0.0 sec. user=mdettweiler [2016-07-05 20:32:57] 629*2^1434456-1 is not prime. Res64: 0723DAF36C98D461 Time : 0.0 sec. user=mdettweiler [2016-07-05 20:33:04] 759*2^1434456-1 is not prime. Res64: B8D071C0CB352D1C Time : 0.0 sec. user=mdettweiler [2016-07-05 20:33:10] 765*2^1434456-1 is not prime. Res64: 66E40D455C8ED536 Time : 0.0 sec. user=mdettweiler [2016-07-05 20:33:17] 789*2^1434456-1 is not prime. Res64: 39C15FBAF4714581 Time : 0.0 sec. user=mdettweiler [2016-07-05 20:33:17] 845*2^1434456-1 is not prime. Res64: A9731E0FA13E068C Time : 0.0 sec. user=mdettweiler [2016-07-05 20:41:17] 893*2^1434456-1 is not prime. Res64: 2758A2C300383AC2 Time : 0.0 sec. user=mdettweiler [2016-07-05 20:41:23] 625*2^1434457-1 is not prime. Res64: 4E94184134C3A65C Time : 0.0 sec. user=mdettweiler [2016-07-05 20:41:30] 699*2^1434457-1 is not prime. Res64: DB5131329AAD5333 Time : 0.0 sec. user=mdettweiler [2016-07-05 20:41:36] 729*2^1434457-1 is not prime. Res64: D9AC17B906A0475C Time : 0.0 sec. user=mdettweiler [2016-07-05 20:41:36] 747*2^1434457-1 is not prime. Res64: 883E9BCB7BBCC2FD Time : 0.0 sec. user=mdettweiler [2016-07-05 21:17:09] 835*2^1434457-1 is not prime. Res64: 80DCB5645A27A74E Time : 0.0 sec. user=mdettweiler [2016-07-05 21:17:14] 901*2^1434457-1 is not prime. Res64: 8B21F82570168252 Time : 0.0 sec. user=mdettweiler [2016-07-05 21:17:15] 937*2^1434457-1 is not prime. Res64: 8ACA9F09C330EF1B Time : 0.0 sec. user=mdettweiler [2016-07-05 21:17:20] 665*2^1434458-1 is not prime. Res64: 0F19E182B4827060 Time : 0.0 sec. user=mdettweiler [2016-07-05 21:17:26] 801*2^1434458-1 is not prime. Res64: 7075319D1CA54E99 Time : 0.0 sec. user=mdettweiler [2016-07-05 21:25:16] 861*2^1434458-1 is not prime. Res64: 9F8AAB40EC746AA6 Time : 0.0 sec. user=mdettweiler [2016-07-05 21:25:22] 867*2^1434458-1 is not prime. Res64: C5385208FF763D0A Time : 0.0 sec. user=mdettweiler [2016-07-05 21:25:23] 885*2^1434458-1 is not prime. Res64: 7341277D1B8CC0F1 Time : 0.0 sec. user=mdettweiler [2016-07-05 21:25:29] 915*2^1434458-1 is not prime. Res64: 8DB9E2C275B781D3 Time : 0.0 sec. user=mdettweiler [2016-07-05 21:25:29] 951*2^1434458-1 is not prime. Res64: 549C0675CF7EF870 Time : 0.0 sec. user=mdettweiler [2016-07-05 21:32:46] 977*2^1434458-1 is not prime. Res64: 35B3636499FC21D3 Time : 0.0 sec. user=mdettweiler [2016-07-05 21:32:46] 705*2^1434459-1 is not prime. Res64: 33FABCC2D9BCA2DE Time : 0.0 sec. user=mdettweiler [2016-07-05 21:32:46] 775*2^1434459-1 is not prime. Res64: AB49F34B1467FC65 Time : 0.0 sec. user=mdettweiler [2016-07-05 21:32:46] 873*2^1434459-1 is not prime. Res64: C41AB8BE747B79A0 Time : 0.0 sec. user=mdettweiler [2016-07-05 21:32:47] 879*2^1434459-1 is not prime. Res64: 1B54E81C955A49F1 Time : 0.0 sec. user=mdettweiler [2016-07-05 21:35:16] 617*2^1434452-1 is not prime. Res64: B9135640012B9AF3 Time : 0.0 sec. user=mdettweiler [2016-07-05 21:35:17] 623*2^1434452-1 is not prime. Res64: 446690D87A74A93B Time : 0.0 sec. user=mdettweiler [2016-07-05 21:35:17] 693*2^1434452-1 is not prime. Res64: B131E8D293AD9106 Time : 0.0 sec. user=mdettweiler [2016-07-05 21:35:17] 777*2^1434452-1 is not prime. Res64: B0EAAEE98358E8D8 Time : 0.0 sec. user=mdettweiler [2016-07-05 22:08:13] 895*2^1434459-1 is not prime. Res64: FFBF6157F44BE424 Time : 0.0 sec. user=mdettweiler [2016-07-05 22:08:13] 975*2^1434459-1 is not prime. Res64: 0B5511F4C16D34A3 Time : 0.0 sec. user=mdettweiler [2016-07-05 22:08:14] 623*2^1434460-1 is not prime. Res64: ECFD034D928A7574 Time : 0.0 sec. user=mdettweiler [2016-07-05 22:08:14] 735*2^1434460-1 is not prime. Res64: F86C6859377376D9 Time : 0.0 sec. user=mdettweiler [2016-07-05 22:08:14] 773*2^1434460-1 is not prime. Res64: 4561697E1B27F079 Time : 0.0 sec. user=mdettweiler [2016-07-05 22:16:23] 797*2^1434460-1 is not prime. Res64: BA3AF1B22888C3C9 Time : 0.0 sec. user=mdettweiler [2016-07-05 22:16:23] 887*2^1434460-1 is not prime. Res64: A90A938FC0528AC2 Time : 0.0 sec. user=mdettweiler [2016-07-05 22:16:24] 927*2^1434460-1 is not prime. Res64: 3ECA17ADB1177EBA Time : 0.0 sec. user=mdettweiler [2016-07-05 22:16:24] 929*2^1434460-1 is not prime. Res64: 5EAC19E56CC9789E Time : 0.0 sec. user=mdettweiler [2016-07-05 22:16:24] 691*2^1434461-1 is not prime. Res64: C2F522722DA07CF8 Time : 0.0 sec. user=mdettweiler [2016-07-05 22:22:37] 697*2^1434461-1 is not prime. Res64: D464138A9B747409 Time : 0.0 sec. user=mdettweiler [2016-07-05 22:22:44] 747*2^1434461-1 is not prime. Res64: 3ECD67CD60266441 Time : 0.0 sec. user=mdettweiler [2016-07-05 22:22:44] 777*2^1434461-1 is not prime. Res64: 2891817654AE96B4 Time : 0.0 sec. user=mdettweiler [2016-07-05 22:22:51] 781*2^1434461-1 is not prime. Res64: 883FE323A21DE217 Time : 0.0 sec. user=mdettweiler [2016-07-05 22:22:51] 937*2^1434461-1 is not prime. Res64: 484C5E97285CEA5A Time : 0.0 sec. user=mdettweiler [2016-07-05 22:24:42] 987*2^1434461-1 is not prime. Res64: 810F9A142567A81B Time : 0.0 sec. user=mdettweiler [2016-07-05 22:24:42] 621*2^1434462-1 is not prime. Res64: 56957CA303CBFF13 Time : 0.0 sec. user=mdettweiler [2016-07-05 22:24:47] 711*2^1434462-1 is not prime. Res64: A5A5BFFBB8687A2C Time : 0.0 sec. user=mdettweiler [2016-07-05 22:24:51] 875*2^1434462-1 is not prime. Res64: FE97A14D84B5D95F Time : 0.0 sec. user=mdettweiler [2016-07-05 22:24:55] 891*2^1434462-1 is not prime. Res64: 634CF7565FB56DBC Time : 0.0 sec. user=mdettweiler [2016-07-05 22:57:36] 649*2^1434463-1 is not prime. Res64: A12904B052C35290 Time : 0.0 sec. user=mdettweiler [2016-07-05 22:57:46] 735*2^1434463-1 is not prime. Res64: 8169F2159F0E04E7 Time : 0.0 sec. user=mdettweiler [2016-07-05 22:57:46] 751*2^1434463-1 is not prime. Res64: 87D367E9C980B48F Time : 0.0 sec. user=mdettweiler [2016-07-05 22:57:56] 769*2^1434463-1 is not prime. Res64: C2DACCE5C137CA9F Time : 0.0 sec. user=mdettweiler [2016-07-05 23:05:47] 993*2^1434463-1 is not prime. Res64: 0081A4D95DE13B77 Time : 0.0 sec. user=mdettweiler [2016-07-05 23:05:54] 645*2^1434464-1 is not prime. Res64: 794C29096BD6B730 Time : 0.0 sec. user=mdettweiler [2016-07-05 23:05:59] 677*2^1434464-1 is not prime. Res64: 421ACE07E2433172 Time : 0.0 sec. user=mdettweiler [2016-07-05 23:06:05] 917*2^1434464-1 is not prime. Res64: 85936D5921656B13 Time : 0.0 sec. user=mdettweiler [2016-07-05 23:06:11] 935*2^1434464-1 is not prime. Res64: 16A0649E3D1CAABC Time : 0.0 sec. user=mdettweiler [2016-07-05 23:12:37] 995*2^1434464-1 is not prime. Res64: 08411FAA27327B85 Time : 0.0 sec. user=mdettweiler [2016-07-05 23:12:37] 651*2^1434465-1 is not prime. Res64: 21B01342BC14DEEB Time : 0.0 sec. user=mdettweiler [2016-07-05 23:12:37] 705*2^1434465-1 is not prime. Res64: 9F8768F71800EC06 Time : 0.0 sec. user=mdettweiler [2016-07-05 23:12:37] 999*2^1434465-1 is not prime. Res64: 43431B07C5C7C020 Time : 0.0 sec. user=mdettweiler [2016-07-05 23:12:38] 701*2^1434466-1 is not prime. Res64: AAAA574B52AFEBE0 Time : 0.0 sec. user=mdettweiler [2016-07-05 23:15:38] 723*2^1434466-1 is not prime. Res64: 7DE10F55795DB589 Time : 0.0 sec. user=mdettweiler [2016-07-05 23:15:38] 785*2^1434466-1 is not prime. Res64: F2D95A37DCBCC127 Time : 0.0 sec. user=mdettweiler [2016-07-05 23:15:38] 861*2^1434466-1 is not prime. Res64: 49B5AF0112B7C725 Time : 0.0 sec. user=mdettweiler [2016-07-05 23:15:39] 923*2^1434466-1 is not prime. Res64: D4D9CC03D9D63B46 Time : 0.0 sec. user=mdettweiler [2016-07-05 23:15:39] 933*2^1434466-1 is not prime. Res64: D1062918BD24BC13 Time : 0.0 sec. user=mdettweiler [2016-07-05 23:56:24] 601*2^1434467-1 is not prime. Res64: 30D14866FE989F5D Time : 0.0 sec. user=mdettweiler [2016-07-05 23:56:24] 609*2^1434467-1 is not prime. Res64: BB633016DB0A95A4 Time : 0.0 sec. user=mdettweiler [2016-07-05 23:56:24] 621*2^1434467-1 is not prime. Res64: 6D908CA4D21BE512 Time : 0.0 sec. user=mdettweiler [2016-07-05 23:56:25] 675*2^1434467-1 is not prime. Res64: D78A9D9B1E46E37F Time : 0.0 sec. user=mdettweiler [2016-07-05 23:56:25] 705*2^1434467-1 is not prime. Res64: 45626E9A1CE2D55B Time : 0.0 sec.