user=mdettweiler [2016-09-18 00:02:06] 861*2^1440049-1 is not prime. Res64: D6D5018FEC28C546 Time : 0.0 sec. user=mdettweiler [2016-09-18 00:02:07] 895*2^1440049-1 is not prime. Res64: 2253B7BC1D2D2D8A Time : 0.0 sec. user=mdettweiler [2016-09-18 00:02:07] 657*2^1440050-1 is not prime. Res64: CEA0127C5494EA1A Time : 0.0 sec. user=mdettweiler [2016-09-18 00:02:08] 731*2^1440050-1 is not prime. Res64: 41AAAC2602FDD676 Time : 0.0 sec. user=mdettweiler [2016-09-18 00:02:08] 741*2^1440050-1 is not prime. Res64: 59BA3756CCF9E85E Time : 0.0 sec. user=mdettweiler [2016-09-18 00:03:13] 861*2^1440050-1 is not prime. Res64: 3E4FFFA1946A1396 Time : 0.0 sec. user=mdettweiler [2016-09-18 00:03:14] 915*2^1440050-1 is not prime. Res64: B0E638ECE8D9F7F1 Time : 0.0 sec. user=mdettweiler [2016-09-18 00:03:15] 945*2^1440050-1 is not prime. Res64: D1EF64F19751C07B Time : 0.0 sec. user=mdettweiler [2016-09-18 00:03:15] 971*2^1440050-1 is not prime. Res64: 51746CA222DF5597 Time : 0.0 sec. user=mdettweiler [2016-09-18 00:03:16] 679*2^1440051-1 is not prime. Res64: 0440D8228FBC08E2 Time : 0.0 sec. user=mdettweiler [2016-09-18 00:21:07] 741*2^1440051-1 is not prime. Res64: 6EF6D0CF2B8578E2 Time : 0.0 sec. user=mdettweiler [2016-09-18 00:21:07] 781*2^1440051-1 is not prime. Res64: 251D05918F071D10 Time : 0.0 sec. user=mdettweiler [2016-09-18 00:21:08] 979*2^1440051-1 is not prime. Res64: 027ED39EC09EA45A Time : 0.0 sec. user=mdettweiler [2016-09-18 00:21:08] 609*2^1440052-1 is not prime. Res64: BB394910209E7F0F Time : 0.0 sec. user=mdettweiler [2016-09-18 00:21:09] 719*2^1440052-1 is not prime. Res64: FEFEC1AE37CDF788 Time : 0.0 sec. user=mdettweiler [2016-09-18 00:38:09] 749*2^1440052-1 is not prime. Res64: 251D0DC0F744534B Time : 0.0 sec. user=mdettweiler [2016-09-18 00:38:09] 857*2^1440052-1 is not prime. Res64: 885B30C942912EAB Time : 0.0 sec. user=mdettweiler [2016-09-18 00:38:10] 631*2^1440053-1 is not prime. Res64: DD8CBE4D72AC31E9 Time : 0.0 sec. user=mdettweiler [2016-09-18 00:38:10] 697*2^1440053-1 is not prime. Res64: 40F04382FDB5C2DA Time : 0.0 sec. user=mdettweiler [2016-09-18 00:38:10] 741*2^1440053-1 is not prime. Res64: F764103EA766A769 Time : 0.0 sec. user=mdettweiler [2016-09-18 00:47:04] 925*2^1440053-1 is not prime. Res64: BCF821048727C015 Time : 0.0 sec. user=mdettweiler [2016-09-18 00:47:05] 611*2^1440054-1 is not prime. Res64: 5895FBCCAA96C2FD Time : 0.0 sec. user=mdettweiler [2016-09-18 00:47:05] 657*2^1440054-1 is not prime. Res64: 4B7FA63AC0ADEAEB Time : 0.0 sec. user=mdettweiler [2016-09-18 00:47:05] 741*2^1440054-1 is not prime. Res64: E86D77FBC14B0D85 Time : 0.0 sec. user=mdettweiler [2016-09-18 00:47:06] 773*2^1440054-1 is not prime. Res64: 0392074EDE59534F Time : 0.0 sec. user=mdettweiler [2016-09-18 00:48:09] 893*2^1440054-1 is not prime. Res64: 6942FEA20619AE42 Time : 0.0 sec. user=mdettweiler [2016-09-18 00:48:09] 915*2^1440054-1 is not prime. Res64: C21FF539EBFC1EB0 Time : 0.0 sec. user=mdettweiler [2016-09-18 00:48:09] 619*2^1440055-1 is not prime. Res64: D84D158B6F2C813F Time : 0.0 sec. user=mdettweiler [2016-09-18 00:48:10] 649*2^1440055-1 is not prime. Res64: BFB5DE1316B52F25 Time : 0.0 sec. user=mdettweiler [2016-09-18 00:48:10] 673*2^1440055-1 is not prime. Res64: 70877D40E69E47EC Time : 0.0 sec. user=mdettweiler [2016-09-18 01:05:55] 709*2^1440055-1 is not prime. Res64: D76B96512D01E78A Time : 0.0 sec. user=mdettweiler [2016-09-18 01:05:57] 723*2^1440055-1 is not prime. Res64: C98C254344FDC778 Time : 0.0 sec. user=mdettweiler [2016-09-18 01:05:57] 759*2^1440055-1 is not prime. Res64: DCE02BB17DF99D93 Time : 0.0 sec. user=mdettweiler [2016-09-18 01:05:58] 763*2^1440055-1 is not prime. Res64: AE7C29E28596BF70 Time : 0.0 sec. user=mdettweiler [2016-09-18 01:05:59] 775*2^1440055-1 is not prime. Res64: 6EABEE3A3A5A583B Time : 0.0 sec. user=mdettweiler [2016-09-18 01:23:02] 841*2^1440055-1 is not prime. Res64: 68E9FAD21C530133 Time : 0.0 sec. user=mdettweiler [2016-09-18 01:23:03] 871*2^1440055-1 is not prime. Res64: 63A12E8829DEE80E Time : 0.0 sec. user=mdettweiler [2016-09-18 01:23:03] 895*2^1440055-1 is not prime. Res64: B4327F31D9536FE5 Time : 0.0 sec. user=mdettweiler [2016-09-18 01:23:04] 615*2^1440056-1 is not prime. Res64: 0E2E0FCB2F5E0605 Time : 0.0 sec. user=mdettweiler [2016-09-18 01:23:04] 657*2^1440056-1 is not prime. Res64: D47200B47383EA38 Time : 0.0 sec. user=mdettweiler [2016-09-18 01:32:14] 669*2^1440056-1 is not prime. Res64: 3BB1721ED8A8C4DF Time : 0.0 sec. user=mdettweiler [2016-09-18 01:32:15] 725*2^1440056-1 is not prime. Res64: 7DDDF4557FF9BAFF Time : 0.0 sec. user=mdettweiler [2016-09-18 01:32:16] 815*2^1440056-1 is not prime. Res64: E526E5E36BE8F3F7 Time : 0.0 sec. user=mdettweiler [2016-09-18 01:32:17] 873*2^1440056-1 is not prime. Res64: 77B7C76A46CD2DAE Time : 0.0 sec. user=mdettweiler [2016-09-18 01:32:18] 983*2^1440056-1 is not prime. Res64: 9FF1352F12D68537 Time : 0.0 sec. user=mdettweiler [2016-09-18 01:33:08] 727*2^1440057-1 is not prime. Res64: C1EA2E2AC0A07002 Time : 0.0 sec. user=mdettweiler [2016-09-18 01:33:08] 889*2^1440057-1 is not prime. Res64: C07542EE9B8B6130 Time : 0.0 sec. user=mdettweiler [2016-09-18 01:33:08] 895*2^1440057-1 is not prime. Res64: 73B1BBCBE36D9289 Time : 0.0 sec. user=mdettweiler [2016-09-18 01:33:09] 635*2^1440058-1 is not prime. Res64: 145EB1C4A09CB5AB Time : 0.0 sec. user=mdettweiler [2016-09-18 01:33:09] 677*2^1440058-1 is not prime. Res64: 5DCFADF00190060A Time : 0.0 sec. user=mdettweiler [2016-09-18 01:51:17] 713*2^1440058-1 is not prime. Res64: E30F9E929E31F35E Time : 0.0 sec. user=mdettweiler [2016-09-18 02:08:22] 601*2^1440059-1 is not prime. Res64: 49C36B75104BCA00 Time : 0.0 sec. user=mdettweiler [2016-09-18 02:08:23] 645*2^1440059-1 is not prime. Res64: E8639A0A4BAD06D2 Time : 0.0 sec. user=mdettweiler [2016-09-18 02:08:23] 669*2^1440059-1 is not prime. Res64: C6C7B21748D2F91F Time : 0.0 sec. user=mdettweiler [2016-09-18 02:08:24] 679*2^1440059-1 is not prime. Res64: C1DA48BD5ADC4AEA Time : 0.0 sec. user=mdettweiler [2016-09-18 02:08:24] 853*2^1440059-1 is not prime. Res64: D43182E489BF1372 Time : 0.0 sec. user=mdettweiler [2016-09-18 02:17:39] 879*2^1440059-1 is not prime. Res64: 72727B39697B2893 Time : 0.0 sec. user=mdettweiler [2016-09-18 02:17:40] 931*2^1440059-1 is not prime. Res64: A9FB5D7679669A5E Time : 0.0 sec. user=mdettweiler [2016-09-18 02:17:40] 949*2^1440059-1 is not prime. Res64: 9B628B7308A6E829 Time : 0.0 sec. user=mdettweiler [2016-09-18 02:17:41] 783*2^1440060-1 is not prime. Res64: C4685D501E361285 Time : 0.0 sec. user=mdettweiler [2016-09-18 02:17:41] 843*2^1440060-1 is not prime. Res64: 33833FB7B1A12380 Time : 0.0 sec. user=mdettweiler [2016-09-18 02:18:45] 933*2^1440060-1 is not prime. Res64: A084A42B122B1F1A Time : 0.0 sec. user=mdettweiler [2016-09-18 02:18:46] 959*2^1440060-1 is not prime. Res64: 4A7CD2A691DB60AB Time : 0.0 sec. user=mdettweiler [2016-09-18 02:18:47] 965*2^1440060-1 is not prime. Res64: 07B860C746B084A3 Time : 0.0 sec. user=mdettweiler [2016-09-18 02:18:47] 799*2^1440061-1 is not prime. Res64: 4CC2BB82F4E2BAC2 Time : 0.0 sec. user=mdettweiler [2016-09-18 02:18:48] 801*2^1440061-1 is not prime. Res64: A027BAEA22BDD12E Time : 0.0 sec. user=mdettweiler [2016-09-18 02:54:17] 895*2^1440061-1 is not prime. Res64: 3187C188A8816025 Time : 0.0 sec. user=mdettweiler [2016-09-18 02:54:18] 967*2^1440061-1 is not prime. Res64: 30A857D0E945DE47 Time : 0.0 sec. user=mdettweiler [2016-09-18 02:54:18] 981*2^1440061-1 is not prime. Res64: A626F54310780B46 Time : 0.0 sec. user=mdettweiler [2016-09-18 02:54:19] 997*2^1440061-1 is not prime. Res64: 98B3248E55559B28 Time : 0.0 sec. user=mdettweiler [2016-09-18 02:54:19] 651*2^1440062-1 is not prime. Res64: 48DF299C3D7B47CE Time : 0.0 sec. user=mdettweiler [2016-09-18 03:03:56] 693*2^1440062-1 is not prime. Res64: 7BA0E487CA6AAD39 Time : 0.0 sec. user=mdettweiler [2016-09-18 03:03:59] 885*2^1440062-1 is not prime. Res64: 2620398726CEDFAB Time : 0.0 sec. user=mdettweiler [2016-09-18 03:04:00] 893*2^1440062-1 is not prime. Res64: BF205983A7E5F672 Time : 0.0 sec. user=mdettweiler [2016-09-18 03:04:02] 981*2^1440062-1 is not prime. Res64: 190868B13234C26A Time : 0.0 sec. user=mdettweiler [2016-09-18 03:04:03] 669*2^1440063-1 is not prime. Res64: 5D359BC7450E52C3 Time : 0.0 sec. user=mdettweiler [2016-09-18 03:06:20] 705*2^1440063-1 is not prime. Res64: 486A33339A0F2D79 Time : 0.0 sec. user=mdettweiler [2016-09-18 03:06:24] 853*2^1440063-1 is not prime. Res64: 8547A7FE004E9F84 Time : 0.0 sec. user=mdettweiler [2016-09-18 03:06:29] 933*2^1440063-1 is not prime. Res64: 267EE87E1F45EF15 Time : 0.0 sec. user=mdettweiler [2016-09-18 03:06:31] 635*2^1440064-1 is not prime. Res64: 5146B6E25E78899E Time : 0.0 sec. user=mdettweiler [2016-09-18 03:06:35] 743*2^1440064-1 is not prime. Res64: 3740D7B26A01A19B Time : 0.0 sec. user=mdettweiler [2016-09-18 03:39:50] 813*2^1440064-1 is not prime. Res64: D449203EC11CBB2C Time : 0.0 sec. user=mdettweiler [2016-09-18 03:39:51] 825*2^1440064-1 is not prime. Res64: D80F11D62E474EE4 Time : 0.0 sec. user=mdettweiler [2016-09-18 03:39:51] 849*2^1440064-1 is not prime. Res64: 79843C917AA03CBD Time : 0.0 sec. user=mdettweiler [2016-09-18 03:39:52] 903*2^1440064-1 is not prime. Res64: E065CA38A29B8135 Time : 0.0 sec. user=mdettweiler [2016-09-18 03:39:53] 917*2^1440064-1 is not prime. Res64: 401267D3BDFE2856 Time : 0.0 sec. user=mdettweiler [2016-09-18 03:50:03] 619*2^1440065-1 is not prime. Res64: D0948A7EA326D039 Time : 0.0 sec. user=mdettweiler [2016-09-18 03:50:04] 759*2^1440065-1 is not prime. Res64: B1A9BDEAB468DD55 Time : 0.0 sec. user=mdettweiler [2016-09-18 03:50:05] 777*2^1440065-1 is not prime. Res64: 8B9162F6283B1402 Time : 0.0 sec. user=mdettweiler [2016-09-18 03:50:06] 795*2^1440065-1 is not prime. Res64: C610CAE2F3E5B324 Time : 0.0 sec. user=mdettweiler [2016-09-18 03:50:07] 841*2^1440065-1 is not prime. Res64: 28ABB8F51160965E Time : 0.0 sec. user=mdettweiler [2016-09-18 03:52:39] 885*2^1440065-1 is not prime. Res64: 06C5FB09D4738A9F Time : 0.0 sec. user=mdettweiler [2016-09-18 03:52:40] 949*2^1440065-1 is not prime. Res64: 50467CA22A4F39C1 Time : 0.0 sec. user=mdettweiler [2016-09-18 03:52:41] 969*2^1440065-1 is not prime. Res64: D6E8EB861ACDD639 Time : 0.0 sec. user=mdettweiler [2016-09-18 03:52:41] 717*2^1440066-1 is not prime. Res64: E4B0DE41D7693862 Time : 0.0 sec. user=mdettweiler [2016-09-18 03:52:42] 765*2^1440066-1 is not prime. Res64: C3622C3AFA022FDF Time : 0.0 sec. user=mdettweiler [2016-09-18 04:26:20] 803*2^1440066-1 is not prime. Res64: 1B3934C0C8F7EA03 Time : 0.0 sec. user=mdettweiler [2016-09-18 04:26:21] 921*2^1440066-1 is not prime. Res64: 01EFE2B9915C8984 Time : 0.0 sec. user=mdettweiler [2016-09-18 04:26:21] 619*2^1440067-1 is not prime. Res64: C02958BDA282C15E Time : 0.0 sec. user=mdettweiler [2016-09-18 04:26:22] 639*2^1440067-1 is not prime. Res64: F348A135EEDD383A Time : 0.0 sec. user=mdettweiler [2016-09-18 04:26:22] 645*2^1440067-1 is not prime. Res64: 4C3CBA5E34A3E1CF Time : 0.0 sec. user=mdettweiler [2016-09-18 04:38:59] 691*2^1440067-1 is not prime. Res64: 0C548BC13716C1EB Time : 0.0 sec. user=mdettweiler [2016-09-18 04:38:59] 759*2^1440067-1 is not prime. Res64: A1C19B9D5F631084 Time : 0.0 sec. user=mdettweiler [2016-09-18 04:39:00] 629*2^1440068-1 is not prime. Res64: CBB8EEACB7A9E827 Time : 0.0 sec. user=mdettweiler [2016-09-18 04:39:00] 893*2^1440068-1 is not prime. Res64: EC5D4052D663B50C Time : 0.0 sec. user=mdettweiler [2016-09-18 04:39:00] 963*2^1440068-1 is not prime. Res64: 6F9C64F7F2F1AE1D Time : 0.0 sec. user=mdettweiler [2016-09-18 04:41:50] 995*2^1440068-1 is not prime. Res64: 0187F158C0EDA6F7 Time : 0.0 sec. user=mdettweiler [2016-09-18 04:41:51] 625*2^1440069-1 is not prime. Res64: 10DF587D7518A88A Time : 0.0 sec. user=mdettweiler [2016-09-18 04:41:52] 675*2^1440069-1 is not prime. Res64: 6293958DC0BBA765 Time : 0.0 sec. user=mdettweiler [2016-09-18 04:41:53] 759*2^1440069-1 is not prime. Res64: B083F9CEE04F7839 Time : 0.0 sec. user=mdettweiler [2016-09-18 04:41:54] 829*2^1440069-1 is not prime. Res64: 8E7C2CB06C36426B Time : 0.0 sec. user=mdettweiler [2016-09-18 04:50:19] 815*2^1440058-1 is not prime. Res64: 3DEAC7F895D39E36 Time : 0.0 sec. user=mdettweiler [2016-09-18 04:50:20] 905*2^1440058-1 is not prime. Res64: DC8BFB82905157E9 Time : 0.0 sec. user=mdettweiler [2016-09-18 04:50:20] 971*2^1440058-1 is not prime. Res64: B7F628F60E5AC130 Time : 0.0 sec. user=mdettweiler [2016-09-18 04:50:20] 993*2^1440058-1 is not prime. Res64: 7C236A7B88F32269 Time : 0.0 sec. user=mdettweiler [2016-09-18 05:20:21] 877*2^1440069-1 is not prime. Res64: 323673F1DFD1C63D Time : 0.0 sec. user=mdettweiler [2016-09-18 05:20:22] 889*2^1440069-1 is not prime. Res64: AD89871A798EEE1D Time : 0.0 sec. user=mdettweiler [2016-09-18 05:20:24] 907*2^1440069-1 is not prime. Res64: 2233838CF4BBFCE2 Time : 0.0 sec. user=mdettweiler [2016-09-18 05:20:26] 919*2^1440069-1 is not prime. Res64: 9DBFC19002D751C5 Time : 0.0 sec. user=mdettweiler [2016-09-18 05:20:27] 605*2^1440070-1 is not prime. Res64: 8E1DA11FEBB243C7 Time : 0.0 sec. user=mdettweiler [2016-09-18 05:24:28] 611*2^1440070-1 is not prime. Res64: 6C0808536AFFD1C8 Time : 0.0 sec. user=mdettweiler [2016-09-18 05:24:28] 653*2^1440070-1 is not prime. Res64: B9455C514525C313 Time : 0.0 sec. user=mdettweiler [2016-09-18 05:24:29] 663*2^1440070-1 is not prime. Res64: BF1038C6E8A2A3DA Time : 0.0 sec. user=mdettweiler [2016-09-18 05:24:29] 665*2^1440070-1 is not prime. Res64: 228231D7F5D3103A Time : 0.0 sec. user=mdettweiler [2016-09-18 05:24:29] 755*2^1440070-1 is not prime. Res64: CCE01CF5C47E1926 Time : 0.0 sec. user=mdettweiler [2016-09-18 05:27:32] 951*2^1440070-1 is not prime. Res64: 902925437A544041 Time : 0.0 sec. user=mdettweiler [2016-09-18 05:27:32] 841*2^1440071-1 is not prime. Res64: A4B858682742518E Time : 0.0 sec. user=mdettweiler [2016-09-18 05:27:33] 865*2^1440071-1 is not prime. Res64: 1D6EB44ECD13C1C3 Time : 0.0 sec. user=mdettweiler [2016-09-18 05:27:33] 949*2^1440071-1 is not prime. Res64: A0B5B94F82FC64BB Time : 0.0 sec. user=mdettweiler [2016-09-18 05:27:33] 981*2^1440071-1 is not prime. Res64: 9DD562D36EBD22FF Time : 0.0 sec. user=mdettweiler [2016-09-18 05:35:16] 999*2^1440071-1 is not prime. Res64: C72ACA0CDFAEAB8C Time : 0.0 sec. user=mdettweiler [2016-09-18 05:35:17] 669*2^1440072-1 is not prime. Res64: EC121676CEAC9526 Time : 0.0 sec. user=mdettweiler [2016-09-18 05:35:17] 689*2^1440072-1 is not prime. Res64: 8F035686ECBD288A Time : 0.0 sec. user=mdettweiler [2016-09-18 05:35:17] 713*2^1440072-1 is not prime. Res64: E4B6FAEDD43B8D40 Time : 0.0 sec. user=mdettweiler [2016-09-18 05:35:18] 879*2^1440072-1 is not prime. Res64: D80BA3430C63E6B2 Time : 0.0 sec. user=mdettweiler [2016-09-18 06:05:24] 899*2^1440072-1 is not prime. Res64: 2FBC9114C1CB592A Time : 0.0 sec. user=mdettweiler [2016-09-18 06:05:25] 615*2^1440073-1 is not prime. Res64: 1433BC704BC4083B Time : 0.0 sec. user=mdettweiler [2016-09-18 06:05:26] 811*2^1440073-1 is not prime. Res64: 26B58111BE5385E9 Time : 0.0 sec. user=mdettweiler [2016-09-18 06:05:26] 895*2^1440073-1 is not prime. Res64: 3BE21BDC33B83E91 Time : 0.0 sec. user=mdettweiler [2016-09-18 06:05:27] 683*2^1440074-1 is not prime. Res64: 8314B52388DBD597 Time : 0.0 sec. user=mdettweiler [2016-09-18 06:09:32] 747*2^1440074-1 is not prime. Res64: 6892F6625407204F Time : 0.0 sec. user=mdettweiler [2016-09-18 06:09:32] 813*2^1440074-1 is not prime. Res64: 8B257365CE8E0DD4 Time : 0.0 sec. user=mdettweiler [2016-09-18 06:09:33] 861*2^1440074-1 is not prime. Res64: 4E81B4E7BA611EB6 Time : 0.0 sec. user=mdettweiler [2016-09-18 06:09:35] 651*2^1440075-1 is not prime. Res64: ECA1815286DC9B7F Time : 0.0 sec. user=mdettweiler [2016-09-18 06:09:35] 741*2^1440075-1 is not prime. Res64: C6B79A561D34CBF3 Time : 0.0 sec. user=mdettweiler [2016-09-18 06:12:26] 805*2^1440075-1 is not prime. Res64: C012DE857B6E1740 Time : 0.0 sec. user=mdettweiler [2016-09-18 06:12:26] 873*2^1440075-1 is not prime. Res64: F4B56AC2C47B66AC Time : 0.0 sec. user=mdettweiler [2016-09-18 06:12:27] 677*2^1440076-1 is not prime. Res64: 4BF3A5EDBBEA3BAD Time : 0.0 sec. user=mdettweiler [2016-09-18 06:12:27] 693*2^1440076-1 is not prime. Res64: BD1EE1822EFA094F Time : 0.0 sec. user=mdettweiler [2016-09-18 06:12:27] 695*2^1440076-1 is not prime. Res64: 34BED6BC3DE2CE60 Time : 0.0 sec. user=mdettweiler [2016-09-18 06:20:17] 707*2^1440076-1 is not prime. Res64: 9D7780D4BB7E5E9C Time : 0.0 sec. user=mdettweiler [2016-09-18 06:20:18] 759*2^1440076-1 is not prime. Res64: B23C254339563F91 Time : 0.0 sec. user=mdettweiler [2016-09-18 06:20:18] 773*2^1440076-1 is not prime. Res64: 818B06A1768D12C9 Time : 0.0 sec. user=mdettweiler [2016-09-18 06:20:18] 803*2^1440076-1 is not prime. Res64: 87A46878F42C9A21 Time : 0.0 sec. user=mdettweiler [2016-09-18 06:20:19] 887*2^1440076-1 is not prime. Res64: 12B528346AA641C8 Time : 0.0 sec. user=mdettweiler [2016-09-18 06:50:42] 621*2^1440077-1 is not prime. Res64: 5090720AE8D03446 Time : 0.0 sec. user=mdettweiler [2016-09-18 06:50:42] 727*2^1440077-1 is not prime. Res64: 5B69A843704C05AD Time : 0.0 sec. user=mdettweiler [2016-09-18 06:50:42] 747*2^1440077-1 is not prime. Res64: EB7E0649E059179C Time : 0.0 sec. user=mdettweiler [2016-09-18 06:50:43] 837*2^1440077-1 is not prime. Res64: 0B832EB01ACF8D61 Time : 0.0 sec. user=mdettweiler [2016-09-18 06:50:43] 931*2^1440077-1 is not prime. Res64: A25B17FCBF355A30 Time : 0.0 sec. user=mdettweiler [2016-09-18 06:54:49] 981*2^1440077-1 is not prime. Res64: 027C5AD88D7A84E8 Time : 0.0 sec. user=mdettweiler [2016-09-18 06:54:50] 725*2^1440078-1 is not prime. Res64: EE7BECF531A08692 Time : 0.0 sec. user=mdettweiler [2016-09-18 06:54:50] 801*2^1440078-1 is not prime. Res64: 92339755FB72B24B Time : 0.0 sec. user=mdettweiler [2016-09-18 06:54:50] 843*2^1440078-1 is not prime. Res64: 0D029E6DBCE5CC22 Time : 0.0 sec. user=mdettweiler [2016-09-18 06:54:51] 881*2^1440078-1 is not prime. Res64: 265512A13CF7AEFE Time : 0.0 sec. user=mdettweiler [2016-09-18 06:57:28] 951*2^1440078-1 is not prime. Res64: 1350332417EF660F Time : 0.0 sec. user=mdettweiler [2016-09-18 06:57:28] 663*2^1440079-1 is not prime. Res64: 54B7681A9C437BB6 Time : 0.0 sec. user=mdettweiler [2016-09-18 06:57:29] 763*2^1440079-1 is not prime. Res64: 0247B4460615D412 Time : 0.0 sec. user=mdettweiler [2016-09-18 06:57:29] 793*2^1440079-1 is not prime. Res64: F7D4C2A7B5F5333B Time : 0.0 sec. user=mdettweiler [2016-09-18 06:57:29] 841*2^1440079-1 is not prime. Res64: 5D3F804F54351DCB Time : 0.0 sec. user=mdettweiler [2016-09-18 07:05:34] 961*2^1440079-1 is not prime. Res64: 29FA1580CF04BD4D Time : 0.0 sec. user=mdettweiler [2016-09-18 07:05:36] 665*2^1440080-1 is not prime. Res64: 272BD08AC16B7BE2 Time : 0.0 sec. user=mdettweiler [2016-09-18 07:05:38] 717*2^1440080-1 is not prime. Res64: 40C6A5EE0BDD6F92 Time : 0.0 sec. user=mdettweiler [2016-09-18 07:05:40] 855*2^1440080-1 is not prime. Res64: 55D5B68AD5D7CAF1 Time : 0.0 sec. user=mdettweiler [2016-09-18 07:05:41] 875*2^1440080-1 is not prime. Res64: 12348CF380CA85B9 Time : 0.0 sec. user=mdettweiler [2016-09-18 07:35:34] 879*2^1440080-1 is not prime. Res64: 822E2BB72346D085 Time : 0.0 sec. user=mdettweiler [2016-09-18 07:35:35] 669*2^1440081-1 is not prime. Res64: E5FC813700C54CBA Time : 0.0 sec. user=mdettweiler [2016-09-18 07:35:35] 751*2^1440081-1 is not prime. Res64: C492924F51C3A8F7 Time : 0.0 sec. user=mdettweiler [2016-09-18 07:35:36] 901*2^1440081-1 is not prime. Res64: EAAA32456C5ACE67 Time : 0.0 sec. user=mdettweiler [2016-09-18 07:35:36] 907*2^1440081-1 is not prime. Res64: CF21A82C9BD38A1E Time : 0.0 sec. user=mdettweiler [2016-09-18 07:39:46] 979*2^1440081-1 is not prime. Res64: CFC8DAA5AA4A314D Time : 0.0 sec. user=mdettweiler [2016-09-18 07:39:46] 723*2^1440082-1 is not prime. Res64: DFFC1DF98AE3105D Time : 0.0 sec. user=mdettweiler [2016-09-18 07:39:46] 855*2^1440082-1 is not prime. Res64: A324047FABC8AFCC Time : 0.0 sec. user=mdettweiler [2016-09-18 07:39:47] 941*2^1440082-1 is not prime. Res64: 356DF8C2D0B819E2 Time : 0.0 sec. user=mdettweiler [2016-09-18 07:39:47] 951*2^1440082-1 is not prime. Res64: 21DAEF1DAA99B894 Time : 0.0 sec. user=mdettweiler [2016-09-18 07:42:27] 983*2^1440082-1 is not prime. Res64: 656DE7EA33ECAB7D Time : 0.0 sec. user=mdettweiler [2016-09-18 07:42:27] 685*2^1440083-1 is not prime. Res64: FC2ED9C13C774AF8 Time : 0.0 sec. user=mdettweiler [2016-09-18 07:42:27] 745*2^1440083-1 is not prime. Res64: 656050C7AA91BC8C Time : 0.0 sec. user=mdettweiler [2016-09-18 07:42:28] 783*2^1440083-1 is not prime. Res64: 0542A18BBB04D433 Time : 0.0 sec. user=mdettweiler [2016-09-18 07:42:28] 949*2^1440083-1 is not prime. Res64: 524087B8299FBF86 Time : 0.0 sec. user=mdettweiler [2016-09-18 07:50:38] 981*2^1440083-1 is not prime. Res64: 5A06AF2F227CC5FF Time : 0.0 sec. user=mdettweiler [2016-09-18 07:50:38] 893*2^1440084-1 is not prime. Res64: BEB53246EB33BCF8 Time : 0.0 sec. user=mdettweiler [2016-09-18 07:50:39] 645*2^1440085-1 is not prime. Res64: 2EB90F534E17AA2F Time : 0.0 sec. user=mdettweiler [2016-09-18 07:50:39] 667*2^1440085-1 is not prime. Res64: A2E35F5FD8FF701E Time : 0.0 sec. user=mdettweiler [2016-09-18 07:50:40] 729*2^1440085-1 is not prime. Res64: 1E356B68BC9BF084 Time : 0.0 sec. user=mdettweiler [2016-09-18 08:20:45] 759*2^1440085-1 is not prime. Res64: 838A91F5EEF1BCCC Time : 0.0 sec. user=mdettweiler [2016-09-18 08:20:46] 799*2^1440085-1 is not prime. Res64: F2FB9B813A8ED530 Time : 0.0 sec. user=mdettweiler [2016-09-18 08:20:46] 871*2^1440085-1 is not prime. Res64: AC9284BE0C004204 Time : 0.0 sec. user=mdettweiler [2016-09-18 08:20:47] 919*2^1440085-1 is not prime. Res64: 0EA514CCA4B63983 Time : 0.0 sec. user=mdettweiler [2016-09-18 08:20:47] 615*2^1440086-1 is not prime. Res64: F3C52F8246FDE647 Time : 0.0 sec. user=mdettweiler [2016-09-18 08:24:41] 635*2^1440086-1 is not prime. Res64: 1BB8392E806E16ED Time : 0.0 sec. user=mdettweiler [2016-09-18 08:24:41] 671*2^1440086-1 is not prime. Res64: 70F44535EC386D8C Time : 0.0 sec. user=mdettweiler [2016-09-18 08:24:42] 741*2^1440086-1 is not prime. Res64: 5AF6539FDC0CEDCC Time : 0.0 sec. user=mdettweiler [2016-09-18 08:24:42] 743*2^1440086-1 is not prime. Res64: FE0FA653FBD5B8B4 Time : 0.0 sec. user=mdettweiler [2016-09-18 08:24:42] 857*2^1440086-1 is not prime. Res64: B39EA4F7F9603D3C Time : 0.0 sec. user=mdettweiler [2016-09-18 08:27:27] 957*2^1440086-1 is not prime. Res64: D1F917A7308075E0 Time : 0.0 sec. user=mdettweiler [2016-09-18 08:27:27] 987*2^1440086-1 is not prime. Res64: 3BF8BBC654BFBF1E Time : 0.0 sec. user=mdettweiler [2016-09-18 08:27:27] 651*2^1440087-1 is not prime. Res64: 423C6CB27D25793E Time : 0.0 sec. user=mdettweiler [2016-09-18 08:27:28] 661*2^1440087-1 is not prime. Res64: 367EAECA3AB7CB19 Time : 0.0 sec. user=mdettweiler [2016-09-18 08:27:28] 693*2^1440087-1 is not prime. Res64: 8DA1E463546F2E05 Time : 0.0 sec. user=mdettweiler [2016-09-18 08:35:20] 709*2^1440087-1 is not prime. Res64: 747863A0B251ED9B Time : 0.0 sec. user=mdettweiler [2016-09-18 08:35:20] 793*2^1440087-1 is not prime. Res64: D990370243FD7CB4 Time : 0.0 sec. user=mdettweiler [2016-09-18 08:35:21] 861*2^1440087-1 is not prime. Res64: DA69C02D575041BF Time : 0.0 sec. user=mdettweiler [2016-09-18 08:35:21] 663*2^1440088-1 is not prime. Res64: 4A582BC5853506A8 Time : 0.0 sec. user=mdettweiler [2016-09-18 08:35:21] 665*2^1440088-1 is not prime. Res64: 7C2B563FAB2EED86 Time : 0.0 sec. user=mdettweiler [2016-09-18 09:05:34] 819*2^1440088-1 is not prime. Res64: 1EF25993AA7206D6 Time : 0.0 sec. user=mdettweiler [2016-09-18 09:05:36] 825*2^1440088-1 is not prime. Res64: 58BACB9699DF189B Time : 0.0 sec. user=mdettweiler [2016-09-18 09:05:37] 843*2^1440088-1 is not prime. Res64: F218A7128EBDC41C Time : 0.0 sec. user=mdettweiler [2016-09-18 09:05:38] 845*2^1440088-1 is not prime. Res64: 108F467FB93ACD89 Time : 0.0 sec. user=mdettweiler [2016-09-18 09:05:40] 927*2^1440088-1 is not prime. Res64: 2D67E5AF57DA696F Time : 0.0 sec. user=mdettweiler [2016-09-18 09:09:25] 933*2^1440088-1 is not prime. Res64: F697872C9D8EC54B Time : 0.0 sec. user=mdettweiler [2016-09-18 09:09:26] 619*2^1440089-1 is not prime. Res64: 293FFEC71255F6B0 Time : 0.0 sec. user=mdettweiler [2016-09-18 09:09:26] 649*2^1440089-1 is not prime. Res64: 521E4CC7DF2A60D2 Time : 0.0 sec. user=mdettweiler [2016-09-18 09:09:26] 685*2^1440089-1 is not prime. Res64: E1322C22980C1635 Time : 0.0 sec. user=mdettweiler [2016-09-18 09:09:27] 727*2^1440089-1 is not prime. Res64: 4B4DE2ECF6DC6D69 Time : 0.0 sec. user=mdettweiler [2016-09-18 09:12:19] 741*2^1440089-1 is not prime. Res64: 0D14983ADA9C8C59 Time : 0.0 sec. user=mdettweiler [2016-09-18 09:12:20] 867*2^1440089-1 is not prime. Res64: 77DAC3A1524CCCD9 Time : 0.0 sec. user=mdettweiler [2016-09-18 09:12:20] 897*2^1440089-1 is not prime. Res64: ED4AF5AE0A01BFDB Time : 0.0 sec. user=mdettweiler [2016-09-18 09:12:21] 907*2^1440089-1 is not prime. Res64: 162CE32854100AF2 Time : 0.0 sec. user=mdettweiler [2016-09-18 09:12:21] 939*2^1440089-1 is not prime. Res64: F2DDC50FBD01550E Time : 0.0 sec. user=mdettweiler [2016-09-18 09:20:14] 955*2^1440089-1 is not prime. Res64: D68496DCA53F0164 Time : 0.0 sec. user=mdettweiler [2016-09-18 09:20:15] 627*2^1440090-1 is not prime. Res64: C7DD275B7A4A0A27 Time : 0.0 sec. user=mdettweiler [2016-09-18 09:20:15] 677*2^1440090-1 is not prime. Res64: 5A0AC4B23C204036 Time : 0.0 sec. user=mdettweiler [2016-09-18 09:20:16] 765*2^1440090-1 is not prime. Res64: 1A80E194E948A953 Time : 0.0 sec. user=mdettweiler [2016-09-18 09:20:16] 803*2^1440090-1 is not prime. Res64: A805C6F2A1E03589 Time : 0.0 sec. user=mdettweiler [2016-09-18 09:50:56] 945*2^1440090-1 is not prime. Res64: EB7B05792003651B Time : 0.0 sec. user=mdettweiler [2016-09-18 09:50:56] 615*2^1440091-1 is not prime. Res64: 781D3FC61D706982 Time : 0.0 sec. user=mdettweiler [2016-09-18 09:50:56] 813*2^1440091-1 is not prime. Res64: C36262D934998C09 Time : 0.0 sec. user=mdettweiler [2016-09-18 09:50:57] 819*2^1440091-1 is not prime. Res64: 6E07B940789DB265 Time : 0.0 sec. user=mdettweiler [2016-09-18 09:50:57] 859*2^1440091-1 is not prime. Res64: 7E59E05092653468 Time : 0.0 sec. user=mdettweiler [2016-09-18 09:54:27] 895*2^1440091-1 is not prime. Res64: C6521FB2F9FCBC54 Time : 0.0 sec. user=mdettweiler [2016-09-18 09:54:27] 969*2^1440091-1 is not prime. Res64: 711BD6D748128AB6 Time : 0.0 sec. user=mdettweiler [2016-09-18 09:54:27] 999*2^1440091-1 is not prime. Res64: B4D2B5C0659EE89D Time : 0.0 sec. user=mdettweiler [2016-09-18 09:54:28] 717*2^1440092-1 is not prime. Res64: 0336679464899D62 Time : 0.0 sec. user=mdettweiler [2016-09-18 09:54:28] 837*2^1440092-1 is not prime. Res64: 1AA8EB072EDE4598 Time : 0.0 sec. user=mdettweiler [2016-09-18 09:57:23] 867*2^1440092-1 is not prime. Res64: 35565C484F6B6B2D Time : 0.0 sec. user=mdettweiler [2016-09-18 09:57:24] 959*2^1440092-1 is not prime. Res64: 75C741146E0DD208 Time : 0.0 sec. user=mdettweiler [2016-09-18 09:57:24] 657*2^1440093-1 is not prime. Res64: D8403D50842B085A Time : 0.0 sec. user=mdettweiler [2016-09-18 09:57:24] 741*2^1440093-1 is not prime. Res64: 6BBA14A8092FE6BB Time : 0.0 sec. user=mdettweiler [2016-09-18 09:57:25] 765*2^1440093-1 is not prime. Res64: 6B5C2C2DC3BE1254 Time : 0.0 sec. user=mdettweiler [2016-09-18 10:05:20] 789*2^1440093-1 is not prime. Res64: 734F4093B24BAE42 Time : 0.0 sec. user=mdettweiler [2016-09-18 10:05:21] 795*2^1440093-1 is not prime. Res64: 8531B26F43F36B83 Time : 0.0 sec. user=mdettweiler [2016-09-18 10:05:22] 861*2^1440093-1 is not prime. Res64: DFCECFF60B29057E Time : 0.0 sec. user=mdettweiler [2016-09-18 10:05:23] 871*2^1440093-1 is not prime. Res64: 126745686B03DB2F Time : 0.0 sec. user=mdettweiler [2016-09-18 10:05:24] 895*2^1440093-1 is not prime. Res64: B1DC2DA628433706 Time : 0.0 sec. user=mdettweiler [2016-09-18 10:35:57] 915*2^1440093-1 is not prime. Res64: E5573ADAFB31537F Time : 0.0 sec. user=mdettweiler [2016-09-18 10:35:57] 681*2^1440094-1 is not prime. Res64: 38B92B181BD0C562 Time : 0.0 sec. user=mdettweiler [2016-09-18 10:35:58] 707*2^1440094-1 is not prime. Res64: DEB3086D084B286A Time : 0.0 sec. user=mdettweiler [2016-09-18 10:35:58] 723*2^1440094-1 is not prime. Res64: AAD824B2E39758EA Time : 0.0 sec. user=mdettweiler [2016-09-18 10:35:58] 765*2^1440094-1 is not prime. Res64: B793AFC64D89C1C7 Time : 0.0 sec. user=mdettweiler [2016-09-18 10:39:22] 773*2^1440094-1 is not prime. Res64: 9A3EBB005360646C Time : 0.0 sec. user=mdettweiler [2016-09-18 10:39:22] 891*2^1440094-1 is not prime. Res64: 3D960A70F4B55010 Time : 0.0 sec. user=mdettweiler [2016-09-18 10:39:23] 965*2^1440094-1 is not prime. Res64: 2520B827E4B5482C Time : 0.0 sec. user=mdettweiler [2016-09-18 10:39:23] 601*2^1440095-1 is not prime. Res64: D921AB87BC6CA9E9 Time : 0.0 sec. user=mdettweiler [2016-09-18 10:39:24] 609*2^1440095-1 is not prime. Res64: 34B4CFC28E62202C Time : 0.0 sec. user=mdettweiler [2016-09-18 10:42:18] 619*2^1440095-1 is not prime. Res64: 6C6C9466A4144D6C Time : 0.0 sec. user=mdettweiler [2016-09-18 10:42:18] 651*2^1440095-1 is not prime. Res64: ECB1F0B291298C75 Time : 0.0 sec. user=mdettweiler [2016-09-18 10:42:18] 685*2^1440095-1 is not prime. Res64: 0452659EEB165AE6 Time : 0.0 sec. user=mdettweiler [2016-09-18 10:42:19] 939*2^1440095-1 is not prime. Res64: D3C66456073CE91F Time : 0.0 sec. user=mdettweiler [2016-09-18 10:42:19] 969*2^1440095-1 is not prime. Res64: 8840F29EA2AB6AA5 Time : 0.0 sec. user=mdettweiler [2016-09-18 10:50:23] 735*2^1440096-1 is not prime. Res64: B1C34367C98ED4DA Time : 0.0 sec. user=mdettweiler [2016-09-18 10:50:24] 839*2^1440096-1 is not prime. Res64: 22B625ED662E41CE Time : 0.0 sec. user=mdettweiler [2016-09-18 10:50:24] 927*2^1440096-1 is not prime. Res64: ECCEF9FE3DA2B32C Time : 0.0 sec. user=mdettweiler [2016-09-18 10:50:24] 945*2^1440096-1 is not prime. Res64: 89EDBCD9AF96063A Time : 0.0 sec. user=mdettweiler [2016-09-18 10:50:25] 619*2^1440097-1 is not prime. Res64: 62EDC906A65F3145 Time : 0.0 sec. user=mdettweiler [2016-09-18 11:20:48] 639*2^1440097-1 is not prime. Res64: E354BB686889BAC3 Time : 0.0 sec. user=mdettweiler [2016-09-18 11:20:49] 687*2^1440097-1 is not prime. Res64: E9A4A856AA6ADDE3 Time : 0.0 sec. user=mdettweiler [2016-09-18 11:20:49] 777*2^1440097-1 is not prime. Res64: 0FEB204AEA16384E Time : 0.0 sec. user=mdettweiler [2016-09-18 11:20:50] 817*2^1440097-1 is not prime. Res64: 0EE8A1B8DDF88A8E Time : 0.0 sec. user=mdettweiler [2016-09-18 11:20:50] 999*2^1440097-1 is not prime. Res64: 82852414FBCF3665 Time : 0.0 sec. user=mdettweiler [2016-09-18 11:24:10] 633*2^1440098-1 is not prime. Res64: 96C74EEA72DD62E9 Time : 0.0 sec. user=mdettweiler [2016-09-18 11:24:10] 641*2^1440098-1 is not prime. Res64: 06F603E4D3D3F13A Time : 0.0 sec. user=mdettweiler [2016-09-18 11:24:10] 705*2^1440098-1 is not prime. Res64: 17CDC9B1CE4A2222 Time : 0.0 sec. user=mdettweiler [2016-09-18 11:24:11] 941*2^1440098-1 is not prime. Res64: C6212E3141550A14 Time : 0.0 sec. user=mdettweiler [2016-09-18 11:24:11] 963*2^1440098-1 is not prime. Res64: B2D944E4C298FF5E Time : 0.0 sec. user=mdettweiler [2016-09-18 11:27:17] 1001*2^1440098-1 is not prime. Res64: FD2E2940132C6B73 Time : 0.0 sec. user=mdettweiler [2016-09-18 11:27:17] 691*2^1440099-1 is not prime. Res64: 8406C64CF20E05AD Time : 0.0 sec. user=mdettweiler [2016-09-18 11:27:18] 741*2^1440099-1 is not prime. Res64: C2E7DCC33C8DF281 Time : 0.0 sec. user=mdettweiler [2016-09-18 11:27:18] 745*2^1440099-1 is not prime. Res64: 9AEA4C34652B31DE Time : 0.0 sec. user=mdettweiler [2016-09-18 11:27:19] 623*2^1440100-1 is not prime. Res64: 6C71BEEA2CD702D8 Time : 0.0 sec. user=mdettweiler [2016-09-18 11:35:27] 819*2^1440100-1 is not prime. Res64: FC859EAA37123DAE Time : 0.0 sec. user=mdettweiler [2016-09-18 11:35:27] 873*2^1440100-1 is not prime. Res64: 2FA4BE7EBEFDE8A8 Time : 0.0 sec. user=mdettweiler [2016-09-18 11:35:27] 875*2^1440100-1 is not prime. Res64: 01220E498198A2DB Time : 0.0 sec. user=mdettweiler [2016-09-18 11:35:28] 715*2^1440101-1 is not prime. Res64: 319F6662F84CB2E1 Time : 0.0 sec. user=mdettweiler [2016-09-18 11:35:28] 741*2^1440101-1 is not prime. Res64: 5971898823BDD066 Time : 0.0 sec. user=mdettweiler [2016-09-18 12:05:49] 769*2^1440101-1 is not prime. Res64: 83919A4600E3181C Time : 0.0 sec. user=mdettweiler [2016-09-18 12:05:50] 861*2^1440101-1 is not prime. Res64: 5CD44BF817FD41CF Time : 0.0 sec. user=mdettweiler [2016-09-18 12:05:51] 945*2^1440102-1 is not prime. Res64: 07C3270C531346A7 Time : 0.0 sec. user=mdettweiler [2016-09-18 12:05:52] 965*2^1440102-1 is not prime. Res64: E353F41881147C50 Time : 0.0 sec. user=mdettweiler [2016-09-18 12:05:53] 681*2^1440103-1 is not prime. Res64: A910FA2300BF5D6B Time : 0.0 sec. user=mdettweiler [2016-09-18 12:09:31] 709*2^1440103-1 is not prime. Res64: 12F23974809CEECF Time : 0.0 sec. user=mdettweiler [2016-09-18 12:09:31] 775*2^1440103-1 is not prime. Res64: A37CC723F63338D6 Time : 0.0 sec. user=mdettweiler [2016-09-18 12:09:32] 913*2^1440103-1 is not prime. Res64: 9205CB40DB6DA896 Time : 0.0 sec. user=mdettweiler [2016-09-18 12:09:32] 919*2^1440103-1 is not prime. Res64: A885BB37EA07FB99 Time : 0.0 sec. user=mdettweiler [2016-09-18 12:09:33] 951*2^1440103-1 is not prime. Res64: 0C9237F67AE338B4 Time : 0.0 sec. user=mdettweiler [2016-09-18 12:12:16] 657*2^1440104-1 is not prime. Res64: B47CC2875FC23725 Time : 0.0 sec. user=mdettweiler [2016-09-18 12:12:16] 773*2^1440104-1 is not prime. Res64: B417A4C2B85A9086 Time : 0.0 sec. user=mdettweiler [2016-09-18 12:12:17] 785*2^1440104-1 is not prime. Res64: 11A203F157EA1215 Time : 0.0 sec. user=mdettweiler [2016-09-18 12:12:17] 869*2^1440104-1 is not prime. Res64: F0E31BBA17E887F7 Time : 0.0 sec. user=mdettweiler [2016-09-18 12:12:18] 897*2^1440104-1 is not prime. Res64: 4C2A7DFA7774BA72 Time : 0.0 sec. user=mdettweiler [2016-09-18 12:20:23] 969*2^1440104-1 is not prime. Res64: ED98E6994D4E5439 Time : 0.0 sec. user=mdettweiler [2016-09-18 12:20:23] 607*2^1440105-1 is not prime. Res64: 7F7A449AD4A92D60 Time : 0.0 sec. user=mdettweiler [2016-09-18 12:20:24] 679*2^1440105-1 is not prime. Res64: DD8F7B28D938FE0B Time : 0.0 sec. user=mdettweiler [2016-09-18 12:20:24] 721*2^1440105-1 is not prime. Res64: 2A28E8E5CB476D07 Time : 0.0 sec. user=mdettweiler [2016-09-18 12:20:25] 727*2^1440105-1 is not prime. Res64: 36D1BE28EF7DE819 Time : 0.0 sec. user=mdettweiler [2016-09-18 12:51:02] 831*2^1440105-1 is not prime. Res64: 821D385747BEF165 Time : 0.0 sec. user=mdettweiler [2016-09-18 12:51:02] 861*2^1440105-1 is not prime. Res64: F1B318142E8B9D66 Time : 0.0 sec. user=mdettweiler [2016-09-18 12:51:03] 885*2^1440105-1 is not prime. Res64: AFB7CDBD3689F66B Time : 0.0 sec. user=mdettweiler [2016-09-18 12:51:03] 647*2^1440106-1 is not prime. Res64: 7ED36FD0C5C4F5FA Time : 0.0 sec. user=mdettweiler [2016-09-18 12:51:03] 671*2^1440106-1 is not prime. Res64: DB6EE35372FA324F Time : 0.0 sec. user=mdettweiler [2016-09-18 12:54:33] 701*2^1440106-1 is not prime. Res64: 5DD65F978AEA48A4 Time : 0.0 sec. user=mdettweiler [2016-09-18 12:54:33] 743*2^1440106-1 is not prime. Res64: E41C554AA66E7BD3 Time : 0.0 sec. user=mdettweiler [2016-09-18 12:54:33] 765*2^1440106-1 is not prime. Res64: 902A7BB1F1D2DB4B Time : 0.0 sec. user=mdettweiler [2016-09-18 12:54:34] 801*2^1440106-1 is not prime. Res64: DA8F1600746CAD81 Time : 0.0 sec. user=mdettweiler [2016-09-18 12:54:34] 933*2^1440106-1 is not prime. Res64: 990D3456D7C33121 Time : 0.0 sec. user=mdettweiler [2016-09-18 12:57:35] 741*2^1440107-1 is not prime. Res64: 1F98AF91F8F2E86D Time : 0.0 sec. user=mdettweiler [2016-09-18 12:57:35] 753*2^1440107-1 is not prime. Res64: 5D469FAA992AE5A8 Time : 0.0 sec. user=mdettweiler [2016-09-18 12:57:35] 801*2^1440107-1 is not prime. Res64: 41CF6F96C425433D Time : 0.0 sec. user=mdettweiler [2016-09-18 12:57:36] 813*2^1440107-1 is not prime. Res64: 13704BDD0E1FBD8B Time : 0.0 sec. user=mdettweiler [2016-09-18 12:57:36] 683*2^1440108-1 is not prime. Res64: D91355BF9A6F2016 Time : 0.0 sec. user=mdettweiler [2016-09-18 13:05:37] 767*2^1440108-1 is not prime. Res64: D21C98126AF332B5 Time : 0.0 sec. user=mdettweiler [2016-09-18 13:05:39] 773*2^1440108-1 is not prime. Res64: 8D3538292F4F9E0E Time : 0.0 sec. user=mdettweiler [2016-09-18 13:05:40] 783*2^1440108-1 is not prime. Res64: ED3F3C568BE53724 Time : 0.0 sec. user=mdettweiler [2016-09-18 13:05:41] 929*2^1440108-1 is not prime. Res64: 9489DC9DFEC273D8 Time : 0.0 sec. user=mdettweiler [2016-09-18 13:05:42] 987*2^1440108-1 is not prime. Res64: A35A07D2F1FE54EE Time : 0.0 sec. user=mdettweiler [2016-09-18 13:36:19] 601*2^1440109-1 is not prime. Res64: 476D8BBD26ED8E4E Time : 0.0 sec. user=mdettweiler [2016-09-18 13:36:19] 639*2^1440109-1 is not prime. Res64: E0A81967F8E77051 Time : 0.0 sec. user=mdettweiler [2016-09-18 13:36:19] 747*2^1440109-1 is not prime. Res64: E83A2D48CAAF2FF2 Time : 0.0 sec. user=mdettweiler [2016-09-18 13:36:20] 769*2^1440109-1 is not prime. Res64: B273F2A1A8FE8A77 Time : 0.0 sec. user=mdettweiler [2016-09-18 13:36:20] 831*2^1440109-1 is not prime. Res64: 0D6F0C6CC78C38F1 Time : 0.0 sec. user=mdettweiler [2016-09-18 13:43:01] 887*2^1440110-1 is not prime. Res64: DBD5B53FFD7683B2 Time : 0.0 sec. user=mdettweiler [2016-09-18 13:43:01] 897*2^1440110-1 is not prime. Res64: 8C0BB97AC5EFFED9 Time : 0.0 sec. user=mdettweiler [2016-09-18 13:43:02] 987*2^1440110-1 is not prime. Res64: 1777647E94D808D4 Time : 0.0 sec. user=mdettweiler [2016-09-18 13:43:02] 619*2^1440111-1 is not prime. Res64: 185A5DBCB3BC06B5 Time : 0.0 sec. user=mdettweiler [2016-09-18 13:43:02] 679*2^1440111-1 is not prime. Res64: D894BD1DE9195A06 Time : 0.0 sec. user=mdettweiler [2016-09-18 13:51:33] 723*2^1440111-1 is not prime. Res64: D91BAD72EAEAC94B Time : 0.0 sec. user=mdettweiler [2016-09-18 13:51:34] 795*2^1440111-1 is not prime. Res64: 6ED56CA576F783DB Time : 0.0 sec. user=mdettweiler [2016-09-18 13:51:34] 885*2^1440111-1 is not prime. Res64: FB7CAE235C51E9BF Time : 0.0 sec. user=mdettweiler [2016-09-18 13:51:34] 945*2^1440111-1 is not prime. Res64: 3E8377DE95E09CDB Time : 0.0 sec. user=mdettweiler [2016-09-18 13:51:35] 973*2^1440111-1 is not prime. Res64: EEACF8FF745B9475 Time : 0.0 sec. user=mdettweiler [2016-09-18 14:24:09] 975*2^1440111-1 is not prime. Res64: C4B7E83C1A95024C Time : 0.0 sec. user=mdettweiler [2016-09-18 14:24:09] 639*2^1440112-1 is not prime. Res64: 0C62922989375A0D Time : 0.0 sec. user=mdettweiler [2016-09-18 14:24:09] 807*2^1440112-1 is not prime. Res64: 7B3E6BE64417BEA0 Time : 0.0 sec. user=mdettweiler [2016-09-18 14:24:09] 843*2^1440112-1 is not prime. Res64: 64025C3FD30BB2FA Time : 0.0 sec. user=mdettweiler [2016-09-18 14:24:10] 983*2^1440112-1 is not prime. Res64: 89087663FD15BFCD Time : 0.0 sec. user=mdettweiler [2016-09-18 14:32:16] 675*2^1440113-1 is not prime. Res64: 4C3805AC1AE028F3 Time : 0.0 sec. user=mdettweiler [2016-09-18 14:32:16] 721*2^1440113-1 is not prime. Res64: BE5143724AE5B1EE Time : 0.0 sec. user=mdettweiler [2016-09-18 14:32:16] 741*2^1440113-1 is not prime. Res64: 2C55BB27D1B72A7E Time : 0.0 sec. user=mdettweiler [2016-09-18 14:32:17] 829*2^1440113-1 is not prime. Res64: 8DC2F4A6AA02BE52 Time : 0.0 sec. user=mdettweiler [2016-09-18 14:32:17] 837*2^1440113-1 is not prime. Res64: 1946A1E6FC3F8AC0 Time : 0.0 sec. user=mdettweiler [2016-09-18 14:41:13] 847*2^1440113-1 is not prime. Res64: DCC98D12D69AF166 Time : 0.0 sec. user=mdettweiler [2016-09-18 14:41:13] 925*2^1440113-1 is not prime. Res64: 8FCD6062B18E7C4C Time : 0.0 sec. user=mdettweiler [2016-09-18 14:41:13] 949*2^1440113-1 is not prime. Res64: E56A59AD69A44D42 Time : 0.0 sec. user=mdettweiler [2016-09-18 14:41:14] 663*2^1440114-1 is not prime. Res64: 5A686992891C56EC Time : 0.0 sec. user=mdettweiler [2016-09-18 14:41:14] 681*2^1440114-1 is not prime. Res64: CD9981C35FCA5AEA Time : 0.0 sec. user=mdettweiler [2016-09-18 15:13:30] 711*2^1440114-1 is not prime. Res64: 08FA97FE97D395F4 Time : 0.0 sec. user=mdettweiler [2016-09-18 15:13:31] 891*2^1440114-1 is not prime. Res64: 525E18C6802E9A17 Time : 0.0 sec. user=mdettweiler [2016-09-18 15:13:31] 921*2^1440114-1 is not prime. Res64: B9E0AF68FD34DAE6 Time : 0.0 sec. user=mdettweiler [2016-09-18 15:13:32] 983*2^1440114-1 is not prime. Res64: 343AE07776568E77 Time : 0.0 sec. user=mdettweiler [2016-09-18 15:13:32] 619*2^1440115-1 is not prime. Res64: AE546DC9494B18E9 Time : 0.0 sec. user=mdettweiler [2016-09-18 15:21:07] 663*2^1440115-1 is not prime. Res64: 1A21A829C175F140 Time : 0.0 sec. user=mdettweiler [2016-09-18 15:21:08] 723*2^1440115-1 is not prime. Res64: DA494C5B5C77485C Time : 0.0 sec. user=mdettweiler [2016-09-18 15:21:08] 735*2^1440115-1 is not prime. Res64: 82B9515769A71F69 Time : 0.0 sec. user=mdettweiler [2016-09-18 15:21:08] 843*2^1440115-1 is not prime. Res64: 31750E706D10C6AE Time : 0.0 sec. user=mdettweiler [2016-09-18 15:21:08] 603*2^1440116-1 is not prime. Res64: 2AA8EF93CB496BAC Time : 0.0 sec. user=mdettweiler [2016-09-18 15:28:58] 609*2^1440116-1 is not prime. Res64: AF687D390335F021 Time : 0.0 sec. user=mdettweiler [2016-09-18 15:28:59] 617*2^1440116-1 is not prime. Res64: 93F77AE0DBA2350D Time : 0.0 sec. user=mdettweiler [2016-09-18 15:28:59] 635*2^1440116-1 is not prime. Res64: 93A000DEBDA71AAB Time : 0.0 sec. user=mdettweiler [2016-09-18 15:28:59] 647*2^1440116-1 is not prime. Res64: 2FAF080F5C75A8C1 Time : 0.0 sec. user=mdettweiler [2016-09-18 15:28:59] 693*2^1440116-1 is not prime. Res64: 4F7053C21820051A Time : 0.0 sec. user=mdettweiler [2016-09-18 16:03:10] 827*2^1440116-1 is not prime. Res64: B7E9D37FAA4A7ED0 Time : 0.0 sec. user=mdettweiler [2016-09-18 16:03:13] 879*2^1440116-1 is not prime. Res64: 6C3090E7E2B2BA9C Time : 0.0 sec. user=mdettweiler [2016-09-18 16:03:16] 953*2^1440116-1 is not prime. Res64: 3ADEE1A641EC5F53 Time : 0.0 sec. user=mdettweiler [2016-09-18 16:03:18] 993*2^1440116-1 is not prime. Res64: 178B5B284DBD5116 Time : 0.0 sec. user=mdettweiler [2016-09-18 16:03:21] 651*2^1440117-1 is not prime. Res64: 000DC31FEF7A23BD Time : 0.0 sec. user=mdettweiler [2016-09-18 16:10:40] 685*2^1440117-1 is not prime. Res64: 818C1DF18F4F9CAC Time : 0.0 sec. user=mdettweiler [2016-09-18 16:10:40] 717*2^1440117-1 is not prime. Res64: 46C2E0407524C5BA Time : 0.0 sec. user=mdettweiler [2016-09-18 16:10:40] 765*2^1440117-1 is not prime. Res64: 14A2C0ADA0AC4E1F Time : 0.0 sec. user=mdettweiler [2016-09-18 16:10:41] 825*2^1440117-1 is not prime. Res64: 019BFE39A09F56B0 Time : 0.0 sec. user=mdettweiler [2016-09-18 16:10:41] 837*2^1440117-1 is not prime. Res64: 8EA8819DE92C54DC Time : 0.0 sec. user=mdettweiler [2016-09-18 16:19:24] 849*2^1440117-1 is not prime. Res64: 5309A43C0DDEBA66 Time : 0.0 sec. user=mdettweiler [2016-09-18 16:19:25] 861*2^1440117-1 is not prime. Res64: DBFE306FD23D625B Time : 0.0 sec. user=mdettweiler [2016-09-18 16:19:25] 705*2^1440118-1 is not prime. Res64: 8FB8BF723F3A7EC8 Time : 0.0 sec. user=mdettweiler [2016-09-18 16:19:25] 773*2^1440118-1 is not prime. Res64: 472062BF0535F94D Time : 0.0 sec. user=mdettweiler [2016-09-18 16:19:25] 801*2^1440118-1 is not prime. Res64: D2C2B27A5CA5298D Time : 0.0 sec. user=mdettweiler [2016-09-18 16:52:34] 821*2^1440118-1 is not prime. Res64: DAD61F3380195ABA Time : 0.0 sec. user=mdettweiler [2016-09-18 16:52:34] 825*2^1440118-1 is not prime. Res64: A8901DCCA7E0ECE3 Time : 0.0 sec. user=mdettweiler [2016-09-18 16:52:34] 887*2^1440118-1 is not prime. Res64: 5F6DEFD346F91794 Time : 0.0 sec. user=mdettweiler [2016-09-18 16:52:35] 621*2^1440119-1 is not prime. Res64: 3DBE0C14245E702C Time : 0.0 sec. user=mdettweiler [2016-09-18 16:52:35] 721*2^1440119-1 is not prime. Res64: 0F3617734F6F62A4 Time : 0.0 sec. user=mdettweiler [2016-09-18 16:58:46] 789*2^1440119-1 is not prime. Res64: 3FAC0580B068F282 Time : 0.0 sec. user=mdettweiler [2016-09-18 16:58:46] 799*2^1440119-1 is not prime. Res64: B82E7E6F5EDCB90E Time : 0.0 sec. user=mdettweiler [2016-09-18 16:58:47] 811*2^1440119-1 is not prime. Res64: 49CBD94D6218B50C Time : 0.0 sec. user=mdettweiler [2016-09-18 16:58:47] 813*2^1440119-1 is not prime. Res64: 04C040C0AE564034 Time : 0.0 sec. user=mdettweiler [2016-09-18 16:58:48] 825*2^1440119-1 is not prime. Res64: 07F7011925B432FC Time : 0.0 sec. user=mdettweiler [2016-09-18 17:06:45] 865*2^1440119-1 is not prime. Res64: 227D6BDED9C25735 Time : 0.0 sec. user=mdettweiler [2016-09-18 17:06:47] 955*2^1440119-1 is not prime. Res64: 29FF6C845D9988F4 Time : 0.0 sec. user=mdettweiler [2016-09-18 17:06:48] 669*2^1440120-1 is not prime. Res64: 2D1ECFE737697970 Time : 0.0 sec. user=mdettweiler [2016-09-18 17:06:49] 675*2^1440120-1 is not prime. Res64: 4B2A3700F0753235 Time : 0.0 sec. user=mdettweiler [2016-09-18 17:06:50] 717*2^1440120-1 is not prime. Res64: 152A07AC69E3BECC Time : 0.0 sec. user=mdettweiler [2016-09-18 17:38:46] 725*2^1440120-1 is not prime. Res64: 76073D4C091898F6 Time : 0.0 sec. user=mdettweiler [2016-09-18 17:38:47] 765*2^1440120-1 is not prime. Res64: 5697CCBBBB025168 Time : 0.0 sec. user=mdettweiler [2016-09-18 17:38:47] 777*2^1440120-1 is not prime. Res64: F5FED6ABBE425AAF Time : 0.0 sec. user=mdettweiler [2016-09-18 17:38:47] 809*2^1440120-1 is not prime. Res64: 94E9C0D2533A894C Time : 0.0 sec. user=mdettweiler [2016-09-18 17:38:48] 873*2^1440120-1 is not prime. Res64: 6177DE73B6A96FD6 Time : 0.0 sec. user=mdettweiler [2016-09-18 17:45:15] 923*2^1440120-1 is not prime. Res64: C9CEA3729A0D9046 Time : 0.0 sec. user=mdettweiler [2016-09-18 17:45:15] 651*2^1440121-1 is not prime. Res64: 8C1A928D3D7D2223 Time : 0.0 sec. user=mdettweiler [2016-09-18 17:45:15] 685*2^1440121-1 is not prime. Res64: CD34C88E360232E4 Time : 0.0 sec. user=mdettweiler [2016-09-18 17:45:16] 775*2^1440121-1 is not prime. Res64: 4D861F83EAF9F81B Time : 0.0 sec. user=mdettweiler [2016-09-18 17:45:16] 889*2^1440121-1 is not prime. Res64: A5F1A506BE849E2F Time : 0.0 sec. user=mdettweiler [2016-09-18 17:55:38] 633*2^1440122-1 is not prime. Res64: EE64A570904DF463 Time : 0.0 sec. user=mdettweiler [2016-09-18 17:55:38] 677*2^1440122-1 is not prime. Res64: 8FAE88947D68851F Time : 0.0 sec. user=mdettweiler [2016-09-18 17:55:39] 741*2^1440122-1 is not prime. Res64: 2BD089598581B0D4 Time : 0.0 sec. user=mdettweiler [2016-09-18 17:55:39] 825*2^1440122-1 is not prime. Res64: 8CDFA92CEB161203 Time : 0.0 sec. user=mdettweiler [2016-09-18 17:55:39] 837*2^1440122-1 is not prime. Res64: DEF2ACA26139A371 Time : 0.0 sec. user=mdettweiler [2016-09-18 18:24:24] 843*2^1440122-1 is not prime. Res64: 10C13A30124E5DD1 Time : 0.0 sec. user=mdettweiler [2016-09-18 18:24:25] 921*2^1440122-1 is not prime. Res64: C28A0C899D9CAAE4 Time : 0.0 sec. user=mdettweiler [2016-09-18 18:24:25] 977*2^1440122-1 is not prime. Res64: 8741C4DB18668840 Time : 0.0 sec. user=mdettweiler [2016-09-18 18:24:25] 619*2^1440123-1 is not prime. Res64: 9B4E6B5AF1CAD98A Time : 0.0 sec. user=mdettweiler [2016-09-18 18:24:26] 625*2^1440123-1 is not prime. Res64: B321553BCB556598 Time : 0.0 sec. user=mdettweiler [2016-09-18 18:30:56] 663*2^1440123-1 is not prime. Res64: A5E02879723D9B75 Time : 0.0 sec. user=mdettweiler [2016-09-18 18:30:57] 895*2^1440123-1 is not prime. Res64: 7F55819450765B39 Time : 0.0 sec. user=mdettweiler [2016-09-18 18:30:57] 609*2^1440124-1 is not prime. Res64: F532688A5172D7F7 Time : 0.0 sec. user=mdettweiler [2016-09-18 18:30:58] 675*2^1440124-1 is not prime. Res64: FF8F3F7DC779E744 Time : 0.0 sec. user=mdettweiler [2016-09-18 18:30:58] 869*2^1440124-1 is not prime. Res64: 5E6EB357E7518E0C Time : 0.0 sec. user=mdettweiler [2016-09-18 18:41:18] 885*2^1440124-1 is not prime. Res64: B94F85981C8E1842 Time : 0.0 sec. user=mdettweiler [2016-09-18 18:41:18] 903*2^1440124-1 is not prime. Res64: 3D10E43C806EE199 Time : 0.0 sec. user=mdettweiler [2016-09-18 18:41:19] 721*2^1440125-1 is not prime. Res64: 2C48D8B71D4863C7 Time : 0.0 sec. user=mdettweiler [2016-09-18 18:41:19] 729*2^1440125-1 is not prime. Res64: D61EFEC6EC6C71DB Time : 0.0 sec. user=mdettweiler [2016-09-18 18:41:19] 801*2^1440125-1 is not prime. Res64: 6BEE3DBAC66A5F0D Time : 0.0 sec. user=mdettweiler [2016-09-18 19:09:59] 837*2^1440125-1 is not prime. Res64: 98683850F2369A2E Time : 0.0 sec. user=mdettweiler [2016-09-18 19:09:59] 707*2^1440126-1 is not prime. Res64: 5E9B406468A28AE3 Time : 0.0 sec. user=mdettweiler [2016-09-18 19:10:00] 983*2^1440126-1 is not prime. Res64: B1DA18B396B2370C Time : 0.0 sec. user=mdettweiler [2016-09-18 19:10:01] 993*2^1440126-1 is not prime. Res64: 4D7BA06AFDE59936 Time : 0.0 sec. user=mdettweiler [2016-09-18 19:10:01] 685*2^1440127-1 is not prime. Res64: 96E8DDF684664FA9 Time : 0.0 sec. user=mdettweiler [2016-09-18 19:16:29] 843*2^1440127-1 is not prime. Res64: 345895784FE4B9E3 Time : 0.0 sec. user=mdettweiler [2016-09-18 19:16:30] 889*2^1440127-1 is not prime. Res64: 3C9AA7E61EF37B61 Time : 0.0 sec. user=mdettweiler [2016-09-18 19:16:30] 909*2^1440127-1 is not prime. Res64: BDF14DCEA9553592 Time : 0.0 sec. user=mdettweiler [2016-09-18 19:16:31] 919*2^1440127-1 is not prime. Res64: E8AD438D3C2972D7 Time : 0.0 sec. user=mdettweiler [2016-09-18 19:16:31] 925*2^1440127-1 is not prime. Res64: 45DAACC0C233DB09 Time : 0.0 sec. user=mdettweiler [2016-09-18 19:26:59] 945*2^1440127-1 is not prime. Res64: 064F11F95C3A535F Time : 0.0 sec. user=mdettweiler [2016-09-18 19:27:00] 993*2^1440127-1 is not prime. Res64: E6351B9C4334E4CC Time : 0.0 sec. user=mdettweiler [2016-09-18 19:27:00] 623*2^1440128-1 is not prime. Res64: 53496EF75214A8B4 Time : 0.0 sec. user=mdettweiler [2016-09-18 19:27:01] 635*2^1440128-1 is not prime. Res64: 5521D92AFD554C75 Time : 0.0 sec. user=mdettweiler [2016-09-18 19:27:01] 659*2^1440128-1 is not prime. Res64: B510C9A478144A2F Time : 0.0 sec. user=mdettweiler [2016-09-18 19:55:37] 747*2^1440128-1 is not prime. Res64: 01AA0A4D79B3123F Time : 0.0 sec. user=mdettweiler [2016-09-18 19:55:37] 797*2^1440128-1 is not prime. Res64: FAF0251C4877E056 Time : 0.0 sec. user=mdettweiler [2016-09-18 19:55:38] 815*2^1440128-1 is not prime. Res64: 4B0CF9DDB2510172 Time : 0.0 sec. user=mdettweiler [2016-09-18 19:55:38] 845*2^1440128-1 is not prime. Res64: CC83F5DE717F5A5B Time : 0.0 sec. user=mdettweiler [2016-09-18 19:55:38] 855*2^1440128-1 is not prime. Res64: BF233735B6F24289 Time : 0.0 sec. user=mdettweiler [2016-09-18 20:02:07] 927*2^1440128-1 is not prime. Res64: 5DEDBE82FEDC70D2 Time : 0.0 sec. user=mdettweiler [2016-09-18 20:02:08] 681*2^1440129-1 is not prime. Res64: E258104DA89F6E89 Time : 0.0 sec. user=mdettweiler [2016-09-18 20:02:09] 709*2^1440129-1 is not prime. Res64: CD550F95274CC226 Time : 0.0 sec. user=mdettweiler [2016-09-18 20:02:09] 747*2^1440129-1 is not prime. Res64: F5C1835A9F5E5645 Time : 0.0 sec. user=mdettweiler [2016-09-18 20:02:10] 759*2^1440129-1 is not prime. Res64: AEE1C32FC3666853 Time : 0.0 sec. user=mdettweiler [2016-09-18 20:12:35] 781*2^1440129-1 is not prime. Res64: 3A7884E527E0B27E Time : 0.0 sec. user=mdettweiler [2016-09-18 20:12:35] 811*2^1440129-1 is not prime. Res64: 6A6369720B223EA8 Time : 0.0 sec. user=mdettweiler [2016-09-18 20:12:36] 951*2^1440129-1 is not prime. Res64: 268419CDDDB3C8A7 Time : 0.0 sec. user=mdettweiler [2016-09-18 20:12:36] 975*2^1440129-1 is not prime. Res64: 120F348A1E263DD5 Time : 0.0 sec. user=mdettweiler [2016-09-18 20:12:36] 987*2^1440129-1 is not prime. Res64: BAF6A8B018386D13 Time : 0.0 sec. user=mdettweiler [2016-09-18 20:41:10] 647*2^1440130-1 is not prime. Res64: ECBFE9873BEBADA5 Time : 0.0 sec. user=mdettweiler [2016-09-18 20:41:11] 741*2^1440130-1 is not prime. Res64: 34D697BF886C9CD2 Time : 0.0 sec. user=mdettweiler [2016-09-18 20:41:11] 801*2^1440130-1 is not prime. Res64: 70FDE2E69DA94E02 Time : 0.0 sec. user=mdettweiler [2016-09-18 20:41:11] 821*2^1440130-1 is not prime. Res64: 2D757D5D568CFA5B Time : 0.0 sec. user=mdettweiler [2016-09-18 20:41:12] 857*2^1440130-1 is not prime. Res64: 0FAEADB89CA9D22F Time : 0.0 sec. user=mdettweiler [2016-09-18 20:48:25] 675*2^1440131-1 is not prime. Res64: FE0F9DE15AFBAC02 Time : 0.0 sec. user=mdettweiler [2016-09-18 20:48:25] 741*2^1440131-1 is not prime. Res64: DEB761A33B10F267 Time : 0.0 sec. user=mdettweiler [2016-09-18 20:48:26] 843*2^1440131-1 is not prime. Res64: 04DF1CE43DBD5DD0 Time : 0.0 sec. user=mdettweiler [2016-09-18 20:48:26] 609*2^1440132-1 is not prime. Res64: 4C9D53B2068884AA Time : 0.0 sec. user=mdettweiler [2016-09-18 20:48:27] 629*2^1440132-1 is not prime. Res64: 872A98E2D552AD28 Time : 0.0 sec. user=mdettweiler [2016-09-18 20:58:49] 767*2^1440132-1 is not prime. Res64: F7B7E790A9CBB67B Time : 0.0 sec. user=mdettweiler [2016-09-18 20:58:49] 843*2^1440132-1 is not prime. Res64: 4E335AFD34FF5CBA Time : 0.0 sec. user=mdettweiler [2016-09-18 20:58:50] 867*2^1440132-1 is not prime. Res64: 583D33A09E071AE7 Time : 0.0 sec. user=mdettweiler [2016-09-18 20:58:50] 903*2^1440132-1 is not prime. Res64: 531DDAF2F601F5E2 Time : 0.0 sec. user=mdettweiler [2016-09-18 20:58:50] 959*2^1440132-1 is not prime. Res64: 81698726F18162A1 Time : 0.0 sec. user=mdettweiler [2016-09-18 21:31:02] 607*2^1440133-1 is not prime. Res64: F46063C866298241 Time : 0.0 sec. user=mdettweiler [2016-09-18 21:31:03] 625*2^1440133-1 is not prime. Res64: A12F2A0514BDD8EF Time : 0.0 sec. user=mdettweiler [2016-09-18 21:31:03] 639*2^1440133-1 is not prime. Res64: 122D373A4D96B812 Time : 0.0 sec. user=mdettweiler [2016-09-18 21:31:03] 861*2^1440133-1 is not prime. Res64: E0E70C040AD7C002 Time : 0.0 sec. user=mdettweiler [2016-09-18 21:31:04] 675*2^1440134-1 is not prime. Res64: BBBC22BD93C31A6F Time : 0.0 sec. user=mdettweiler [2016-09-18 21:36:32] 683*2^1440134-1 is not prime. Res64: 89BBBE70A6F71B68 Time : 0.0 sec. user=mdettweiler [2016-09-18 21:36:32] 773*2^1440134-1 is not prime. Res64: 15571AC2709741EE Time : 0.0 sec. user=mdettweiler [2016-09-18 21:36:32] 797*2^1440134-1 is not prime. Res64: 98B3339420826CDA Time : 0.0 sec. user=mdettweiler [2016-09-18 21:36:33] 885*2^1440134-1 is not prime. Res64: B132484195DF2981 Time : 0.0 sec. user=mdettweiler [2016-09-18 21:36:33] 921*2^1440134-1 is not prime. Res64: 9ACDAF75B8966F76 Time : 0.0 sec. user=mdettweiler [2016-09-18 21:42:51] 885*2^1440109-1 is not prime. Res64: E822325E97033F39 Time : 0.0 sec. user=mdettweiler [2016-09-18 21:42:52] 987*2^1440109-1 is not prime. Res64: F8274CBF728A2D70 Time : 0.0 sec. user=mdettweiler [2016-09-18 21:42:52] 997*2^1440109-1 is not prime. Res64: CA2D020DE9E7D4FA Time : 0.0 sec. user=mdettweiler [2016-09-18 21:42:52] 675*2^1440110-1 is not prime. Res64: 463CC65522905461 Time : 0.0 sec. user=mdettweiler [2016-09-18 21:42:53] 833*2^1440110-1 is not prime. Res64: A78A00CCB8A906E3 Time : 0.0 sec. user=mdettweiler [2016-09-18 21:45:14] 993*2^1440134-1 is not prime. Res64: 87FE31C7C1406332 Time : 0.0 sec. user=mdettweiler [2016-09-18 21:45:14] 649*2^1440135-1 is not prime. Res64: 05FC36775CF9D720 Time : 0.0 sec. user=mdettweiler [2016-09-18 21:45:15] 679*2^1440135-1 is not prime. Res64: 9B0F0D915D3D74C7 Time : 0.0 sec. user=mdettweiler [2016-09-18 21:45:15] 723*2^1440135-1 is not prime. Res64: 012F556812512EE5 Time : 0.0 sec. user=mdettweiler [2016-09-18 21:45:15] 829*2^1440135-1 is not prime. Res64: EF7154B1B3F3A541 Time : 0.0 sec. user=mdettweiler [2016-09-18 22:16:21] 853*2^1440135-1 is not prime. Res64: 715BC59A4ADCAA05 Time : 0.0 sec. user=mdettweiler [2016-09-18 22:16:21] 861*2^1440135-1 is not prime. Res64: DB5693D961D5F6BC Time : 0.0 sec. user=mdettweiler [2016-09-18 22:16:22] 909*2^1440135-1 is not prime. Res64: 813E7A080ACC8761 Time : 0.0 sec. user=mdettweiler [2016-09-18 22:16:22] 955*2^1440135-1 is not prime. Res64: 046796CF58EB632A Time : 0.0 sec. user=mdettweiler [2016-09-18 22:16:23] 991*2^1440135-1 is not prime. Res64: D343271C2347FF18 Time : 0.0 sec. user=mdettweiler [2016-09-18 22:21:35] 999*2^1440135-1 is not prime. Res64: 34C912290C6D583A Time : 0.0 sec. user=mdettweiler [2016-09-18 22:21:35] 803*2^1440136-1 is not prime. Res64: 990AF2235176BFC7 Time : 0.0 sec. user=mdettweiler [2016-09-18 22:21:36] 825*2^1440136-1 is not prime. Res64: 3A4856CFCB52F845 Time : 0.0 sec. user=mdettweiler [2016-09-18 22:21:36] 843*2^1440136-1 is not prime. Res64: 21DF9525043369C9 Time : 0.0 sec. user=mdettweiler [2016-09-18 22:21:36] 939*2^1440136-1 is not prime. Res64: A6A5C406B9CE17B7 Time : 0.0 sec. user=mdettweiler [2016-09-18 22:27:34] 619*2^1440137-1 is not prime. Res64: E41A385AB348F9B3 Time : 0.0 sec. user=mdettweiler [2016-09-18 22:27:35] 645*2^1440137-1 is not prime. Res64: 8FC32F113F342CB2 Time : 0.0 sec. user=mdettweiler [2016-09-18 22:27:35] 901*2^1440137-1 is not prime. Res64: 4F3A73E9FB302852 Time : 0.0 sec. user=mdettweiler [2016-09-18 22:27:36] 939*2^1440137-1 is not prime. Res64: BCCD8FD8A731285D Time : 0.0 sec. user=mdettweiler [2016-09-18 22:27:36] 621*2^1440138-1 is not prime. Res64: FCF0DA1B965C59B7 Time : 0.0 sec. user=mdettweiler [2016-09-18 22:30:05] 627*2^1440138-1 is not prime. Res64: C219F199ADF8E899 Time : 0.0 sec. user=mdettweiler [2016-09-18 22:30:05] 663*2^1440138-1 is not prime. Res64: B633EA0D00F761C1 Time : 0.0 sec. user=mdettweiler [2016-09-18 22:30:06] 735*2^1440138-1 is not prime. Res64: A6614C8E53E36F27 Time : 0.0 sec. user=mdettweiler [2016-09-18 22:30:06] 765*2^1440138-1 is not prime. Res64: 60F88D8EB01EA3D7 Time : 0.0 sec. user=mdettweiler [2016-09-18 22:30:06] 791*2^1440138-1 is not prime. Res64: EE12EC1287A5CAD0 Time : 0.0 sec. user=mdettweiler [2016-09-18 23:01:24] 885*2^1440138-1 is not prime. Res64: 13152428CE79A79F Time : 0.0 sec. user=mdettweiler [2016-09-18 23:01:27] 893*2^1440138-1 is not prime. Res64: 6FFB542DFB2C5582 Time : 0.0 sec. user=mdettweiler [2016-09-18 23:01:28] 601*2^1440139-1 is not prime. Res64: 6A4944AFD888E9A4 Time : 0.0 sec. user=mdettweiler [2016-09-18 23:06:37] 619*2^1440139-1 is not prime. Res64: 856487103B0002DF Time : 0.0 sec. user=mdettweiler [2016-09-18 23:06:39] 633*2^1440139-1 is not prime. Res64: 1616C093427FF2E3 Time : 0.0 sec. user=mdettweiler [2016-09-18 23:06:41] 745*2^1440139-1 is not prime. Res64: B8706CC905A48675 Time : 0.0 sec. user=mdettweiler [2016-09-18 23:06:42] 829*2^1440139-1 is not prime. Res64: D66CD43FDC0F3C0F Time : 0.0 sec. user=mdettweiler [2016-09-18 23:06:43] 861*2^1440139-1 is not prime. Res64: 1DD4750B27BEC7B3 Time : 0.0 sec. user=mdettweiler [2016-09-18 23:12:47] 973*2^1440139-1 is not prime. Res64: ABED22377106FD70 Time : 0.0 sec. user=mdettweiler [2016-09-18 23:12:47] 615*2^1440140-1 is not prime. Res64: 04DB08DC2EF04627 Time : 0.0 sec. user=mdettweiler [2016-09-18 23:12:48] 665*2^1440140-1 is not prime. Res64: D18EF65DEE173E6F Time : 0.0 sec. user=mdettweiler [2016-09-18 23:12:48] 797*2^1440140-1 is not prime. Res64: 3CADA040C8C66C16 Time : 0.0 sec. user=mdettweiler [2016-09-18 23:12:49] 857*2^1440140-1 is not prime. Res64: DF68A645C3F7A771 Time : 0.0 sec. user=mdettweiler [2016-09-18 23:15:20] 879*2^1440140-1 is not prime. Res64: C2325E841C1B11BB Time : 0.0 sec. user=mdettweiler [2016-09-18 23:15:20] 995*2^1440140-1 is not prime. Res64: F287F591207F063F Time : 0.0 sec. user=mdettweiler [2016-09-18 23:15:21] 601*2^1440141-1 is not prime. Res64: 3F98AA105982C26A Time : 0.0 sec. user=mdettweiler [2016-09-18 23:15:21] 607*2^1440141-1 is not prime. Res64: 7D67DFD22F8C96CD Time : 0.0 sec. user=mdettweiler [2016-09-18 23:15:21] 649*2^1440141-1 is not prime. Res64: 24BA8F601D4200C0 Time : 0.0 sec. user=mdettweiler [2016-09-18 23:52:44] 727*2^1440141-1 is not prime. Res64: A3FA5D06E77FAC5E Time : 0.0 sec. user=mdettweiler [2016-09-18 23:52:45] 751*2^1440141-1 is not prime. Res64: FB70E97DE1DB4040 Time : 0.0 sec. user=mdettweiler [2016-09-18 23:52:45] 895*2^1440141-1 is not prime. Res64: 0B7A98B167CEBCCC Time : 0.0 sec. user=mdettweiler [2016-09-18 23:52:46] 937*2^1440141-1 is not prime. Res64: 757B199E2FB4322D Time : 0.0 sec. user=mdettweiler [2016-09-18 23:52:46] 999*2^1440141-1 is not prime. Res64: 4D865DE7B0974EDB Time : 0.0 sec. user=mdettweiler [2016-09-18 23:58:45] 635*2^1440142-1 is not prime. Res64: 777D84DE43A85C5B Time : 0.0 sec. user=mdettweiler [2016-09-18 23:58:45] 665*2^1440142-1 is not prime. Res64: CD817E459D0EB858 Time : 0.0 sec. user=mdettweiler [2016-09-18 23:58:46] 731*2^1440142-1 is not prime. Res64: D78B4B77367219A1 Time : 0.0 sec. user=mdettweiler [2016-09-18 23:58:46] 743*2^1440142-1 is not prime. Res64: E4D6C1D25982B27A Time : 0.0 sec. user=mdettweiler [2016-09-18 23:58:47] 747*2^1440142-1 is not prime. Res64: 35A0AD0016DB93CF Time : 0.0 sec.