user=mdettweiler [2016-08-31 00:10:44] 735*2^1438371-1 is not prime. Res64: 977FCF7ED33826E5 Time : 0.0 sec. user=mdettweiler [2016-08-31 00:10:45] 909*2^1438371-1 is not prime. Res64: 6E03008ED3581650 Time : 0.0 sec. user=mdettweiler [2016-08-31 00:10:45] 913*2^1438371-1 is not prime. Res64: E5328D8787FA26A2 Time : 0.0 sec. user=mdettweiler [2016-08-31 00:10:46] 603*2^1438372-1 is not prime. Res64: 7EEAD2B16D52B80C Time : 0.0 sec. user=mdettweiler [2016-08-31 00:10:47] 653*2^1438372-1 is not prime. Res64: 80AF019FE0A5ADA3 Time : 0.0 sec. user=mdettweiler [2016-08-31 00:36:25] 657*2^1438372-1 is not prime. Res64: 46805CB137A27B3F Time : 0.0 sec. user=mdettweiler [2016-08-31 00:36:25] 825*2^1438372-1 is not prime. Res64: 2AC316B1303B5AFD Time : 0.0 sec. user=mdettweiler [2016-08-31 00:36:26] 873*2^1438372-1 is not prime. Res64: DDA2BCA09BCCA12D Time : 0.0 sec. user=mdettweiler [2016-08-31 00:36:26] 987*2^1438372-1 is not prime. Res64: 41BD124AF3D3AE45 Time : 0.0 sec. user=mdettweiler [2016-08-31 00:36:27] 715*2^1438373-1 is not prime. Res64: 58CBA3CBAB9676EB Time : 0.0 sec. user=mdettweiler [2016-08-31 00:44:46] 735*2^1438373-1 is not prime. Res64: 497DB755BCF0A5F7 Time : 0.0 sec. user=mdettweiler [2016-08-31 00:44:46] 771*2^1438373-1 is not prime. Res64: B7025A0A16E9E507 Time : 0.0 sec. user=mdettweiler [2016-08-31 00:44:46] 837*2^1438373-1 is not prime. Res64: 2F11F6BE8EE2F2F6 Time : 0.0 sec. user=mdettweiler [2016-08-31 00:44:47] 855*2^1438373-1 is not prime. Res64: 61A650FEE8EF2266 Time : 0.0 sec. user=mdettweiler [2016-08-31 00:44:47] 889*2^1438373-1 is not prime. Res64: 7F61351733D3F4A1 Time : 0.0 sec. user=mdettweiler [2016-08-31 00:58:32] 901*2^1438373-1 is not prime. Res64: 6F6E42B81C6ECD1A Time : 0.0 sec. user=mdettweiler [2016-08-31 00:58:32] 987*2^1438373-1 is not prime. Res64: 7FE9319B076D303F Time : 0.0 sec. user=mdettweiler [2016-08-31 00:58:32] 611*2^1438374-1 is not prime. Res64: 250B4DD037ED1A93 Time : 0.0 sec. user=mdettweiler [2016-08-31 00:58:33] 621*2^1438374-1 is not prime. Res64: 1EB6C15E83D5F0F9 Time : 0.0 sec. user=mdettweiler [2016-08-31 00:58:33] 635*2^1438374-1 is not prime. Res64: 1445B071BA4B1C13 Time : 0.0 sec. user=mdettweiler [2016-08-31 01:22:13] 773*2^1438374-1 is not prime. Res64: B71E2749E7F1E285 Time : 0.0 sec. user=mdettweiler [2016-08-31 01:22:14] 945*2^1438374-1 is not prime. Res64: 3E472A10E90C667A Time : 0.0 sec. user=mdettweiler [2016-08-31 01:22:14] 971*2^1438374-1 is not prime. Res64: AA47C555199660CE Time : 0.0 sec. user=mdettweiler [2016-08-31 01:22:15] 633*2^1438376-1 is not prime. Res64: 63292DE0BD03E2CB Time : 0.0 sec. user=mdettweiler [2016-08-31 01:22:15] 677*2^1438376-1 is not prime. Res64: 7571C2CCAE900FE3 Time : 0.0 sec. user=mdettweiler [2016-08-31 01:30:37] 725*2^1438376-1 is not prime. Res64: 1DFB2AAE4DA4DBAA Time : 0.0 sec. user=mdettweiler [2016-08-31 01:30:42] 857*2^1438376-1 is not prime. Res64: B32862CAAA73C18E Time : 0.0 sec. user=mdettweiler [2016-08-31 01:30:45] 675*2^1438377-1 is not prime. Res64: 386E4559E9ECD3E7 Time : 0.0 sec. user=mdettweiler [2016-08-31 01:30:51] 769*2^1438377-1 is not prime. Res64: 968FA7C9C038FFB0 Time : 0.0 sec. user=mdettweiler [2016-08-31 01:30:55] 829*2^1438377-1 is not prime. Res64: B4DDDFAF91E3AC1D Time : 0.0 sec. user=mdettweiler [2016-08-31 01:44:31] 847*2^1438377-1 is not prime. Res64: 64C2975AED5F8E90 Time : 0.0 sec. user=mdettweiler [2016-08-31 01:44:32] 955*2^1438377-1 is not prime. Res64: BAA82CBC13E19449 Time : 0.0 sec. user=mdettweiler [2016-08-31 01:44:32] 617*2^1438378-1 is not prime. Res64: DB48CC677B9B2B37 Time : 0.0 sec. user=mdettweiler [2016-08-31 01:44:32] 621*2^1438378-1 is not prime. Res64: CBD8D571793648D8 Time : 0.0 sec. user=mdettweiler [2016-08-31 01:44:33] 687*2^1438378-1 is not prime. Res64: DCD6D50DAAA263E1 Time : 0.0 sec. user=mdettweiler [2016-08-31 02:09:43] 743*2^1438378-1 is not prime. Res64: 2E00D3A5B911C98B Time : 0.0 sec. user=mdettweiler [2016-08-31 02:09:44] 747*2^1438378-1 is not prime. Res64: 79C7A2353527ECBE Time : 0.0 sec. user=mdettweiler [2016-08-31 02:09:44] 815*2^1438378-1 is not prime. Res64: B0C7184A544945B9 Time : 0.0 sec. user=mdettweiler [2016-08-31 02:09:44] 845*2^1438378-1 is not prime. Res64: A3ADA312BD0CF04E Time : 0.0 sec. user=mdettweiler [2016-08-31 02:09:45] 915*2^1438378-1 is not prime. Res64: 4EC93058E60F7032 Time : 0.0 sec. user=mdettweiler [2016-08-31 02:18:26] 987*2^1438378-1 is not prime. Res64: 956597D580033EF8 Time : 0.0 sec. user=mdettweiler [2016-08-31 02:18:27] 615*2^1438379-1 is not prime. Res64: A92570F02739DBA9 Time : 0.0 sec. user=mdettweiler [2016-08-31 02:18:27] 903*2^1438379-1 is not prime. Res64: BF6E5E58D84F46EF Time : 0.0 sec. user=mdettweiler [2016-08-31 02:18:27] 693*2^1438380-1 is not prime. Res64: 92DC3EE8C755E503 Time : 0.0 sec. user=mdettweiler [2016-08-31 02:18:28] 699*2^1438380-1 is not prime. Res64: 14C2AE8DD1BC4C9F Time : 0.0 sec. user=mdettweiler [2016-08-31 02:32:24] 707*2^1438380-1 is not prime. Res64: 1CC191752145E318 Time : 0.0 sec. user=mdettweiler [2016-08-31 02:32:26] 759*2^1438380-1 is not prime. Res64: 60D6DC688B468772 Time : 0.0 sec. user=mdettweiler [2016-08-31 02:32:27] 777*2^1438380-1 is not prime. Res64: 7E1A6A278D3AEADC Time : 0.0 sec. user=mdettweiler [2016-08-31 02:32:27] 879*2^1438380-1 is not prime. Res64: BC7E58A4B73E0207 Time : 0.0 sec. user=mdettweiler [2016-08-31 02:32:28] 945*2^1438380-1 is not prime. Res64: 84B0BA9FBEA3C9C6 Time : 0.0 sec. user=mdettweiler [2016-08-31 02:46:51] 963*2^1438367-1 is not prime. Res64: EDCA8A40E53CDA63 Time : 0.0 sec. user=mdettweiler [2016-08-31 02:46:52] 639*2^1438368-1 is not prime. Res64: 98FF8829A9D5BF2A Time : 0.0 sec. user=mdettweiler [2016-08-31 02:46:52] 669*2^1438368-1 is not prime. Res64: 26C28AC8A52207F0 Time : 0.0 sec. user=mdettweiler [2016-08-31 02:46:52] 683*2^1438368-1 is not prime. Res64: F8F34F8CA4D70CF3 Time : 0.0 sec. user=mdettweiler [2016-08-31 02:46:53] 735*2^1438368-1 is not prime. Res64: 2D33829E6E4320F8 Time : 0.0 sec. user=mdettweiler [2016-08-31 02:55:54] 999*2^1438380-1 is not prime. Res64: 98B50BF7F2321771 Time : 0.0 sec. user=mdettweiler [2016-08-31 02:55:54] 775*2^1438381-1 is not prime. Res64: 84565AFC2B7BF655 Time : 0.0 sec. user=mdettweiler [2016-08-31 02:55:54] 889*2^1438381-1 is not prime. Res64: 9E9CDDE6C2B97E1F Time : 0.0 sec. user=mdettweiler [2016-08-31 02:55:55] 967*2^1438381-1 is not prime. Res64: DA5BFB382B965A5E Time : 0.0 sec. user=mdettweiler [2016-08-31 02:55:55] 675*2^1438382-1 is not prime. Res64: 57E8F5636B1D06F6 Time : 0.0 sec. user=mdettweiler [2016-08-31 03:04:04] 771*2^1438382-1 is not prime. Res64: 7C39B5645C3D68DD Time : 0.0 sec. user=mdettweiler [2016-08-31 03:04:05] 791*2^1438382-1 is not prime. Res64: D01DA581A5C93B40 Time : 0.0 sec. user=mdettweiler [2016-08-31 03:04:06] 813*2^1438382-1 is not prime. Res64: D302EE71E12BF74C Time : 0.0 sec. user=mdettweiler [2016-08-31 03:04:07] 957*2^1438382-1 is not prime. Res64: FAE1F09705E6233D Time : 0.0 sec. user=mdettweiler [2016-08-31 03:04:08] 663*2^1438383-1 is not prime. Res64: B57A19B1953B6A36 Time : 0.0 sec. user=mdettweiler [2016-08-31 03:18:19] 685*2^1438383-1 is not prime. Res64: B0182E24F8F9F3C6 Time : 0.0 sec. user=mdettweiler [2016-08-31 03:18:20] 709*2^1438383-1 is not prime. Res64: 61B3FFBFCC22FDB5 Time : 0.0 sec. user=mdettweiler [2016-08-31 03:18:20] 751*2^1438383-1 is not prime. Res64: 82F31F46D38FA599 Time : 0.0 sec. user=mdettweiler [2016-08-31 03:18:20] 769*2^1438383-1 is not prime. Res64: 51FEA509B5947DAB Time : 0.0 sec. user=mdettweiler [2016-08-31 03:18:21] 891*2^1438383-1 is not prime. Res64: C61B27239E4B9F0C Time : 0.0 sec. user=mdettweiler [2016-08-31 03:31:57] 895*2^1438383-1 is not prime. Res64: 708C14E39C197210 Time : 0.0 sec. user=mdettweiler [2016-08-31 03:32:00] 991*2^1438383-1 is not prime. Res64: DB8C55837BB5239B Time : 0.0 sec. user=mdettweiler [2016-08-31 03:32:02] 759*2^1438384-1 is not prime. Res64: 94745D9C76E13D01 Time : 0.0 sec. user=mdettweiler [2016-08-31 03:32:04] 929*2^1438384-1 is not prime. Res64: 138676479CA9F874 Time : 0.0 sec. user=mdettweiler [2016-08-31 03:32:07] 627*2^1438385-1 is not prime. Res64: 03118848C916B876 Time : 0.0 sec. user=mdettweiler [2016-08-31 03:40:52] 685*2^1438385-1 is not prime. Res64: 0F3C37B2B42220DE Time : 0.0 sec. user=mdettweiler [2016-08-31 03:40:53] 771*2^1438385-1 is not prime. Res64: F38DD251B5346D58 Time : 0.0 sec. user=mdettweiler [2016-08-31 03:40:54] 795*2^1438385-1 is not prime. Res64: BFC0792A9CF77A75 Time : 0.0 sec. user=mdettweiler [2016-08-31 03:40:55] 841*2^1438385-1 is not prime. Res64: 72571540F5EF8C5C Time : 0.0 sec. user=mdettweiler [2016-08-31 03:40:55] 909*2^1438385-1 is not prime. Res64: C37EB1A975F80C12 Time : 0.0 sec. user=mdettweiler [2016-08-31 03:49:24] 937*2^1438385-1 is not prime. Res64: 3AACAAD2B305D2A3 Time : 0.0 sec. user=mdettweiler [2016-08-31 03:49:26] 723*2^1438386-1 is not prime. Res64: FF446010ECE0C5EB Time : 0.0 sec. user=mdettweiler [2016-08-31 03:49:27] 765*2^1438386-1 is not prime. Res64: 13956395E2248019 Time : 0.0 sec. user=mdettweiler [2016-08-31 03:49:29] 963*2^1438386-1 is not prime. Res64: 015DD942B5224DE4 Time : 0.0 sec. user=mdettweiler [2016-08-31 03:49:30] 1001*2^1438386-1 is not prime. Res64: D3C8BE9D9B3BC4E7 Time : 0.0 sec. user=mdettweiler [2016-08-31 04:03:47] 693*2^1438387-1 is not prime. Res64: 371FABA0854B38AE Time : 0.0 sec. user=mdettweiler [2016-08-31 04:03:48] 715*2^1438387-1 is not prime. Res64: F032A32FE1C7777A Time : 0.0 sec. user=mdettweiler [2016-08-31 04:03:49] 849*2^1438387-1 is not prime. Res64: A37576E52C87EE8B Time : 0.0 sec. user=mdettweiler [2016-08-31 04:03:51] 871*2^1438387-1 is not prime. Res64: 371A1AB434BA7990 Time : 0.0 sec. user=mdettweiler [2016-08-31 04:03:51] 993*2^1438387-1 is not prime. Res64: 025949A3A7FC89AD Time : 0.0 sec. user=mdettweiler [2016-08-31 04:17:24] 633*2^1438388-1 is not prime. Res64: 0DA0FB86430AA639 Time : 0.0 sec. user=mdettweiler [2016-08-31 04:17:24] 855*2^1438388-1 is not prime. Res64: 9D721574273E8DEC Time : 0.0 sec. user=mdettweiler [2016-08-31 04:17:25] 649*2^1438389-1 is not prime. Res64: 62D04510C3EEB734 Time : 0.0 sec. user=mdettweiler [2016-08-31 04:17:25] 811*2^1438389-1 is not prime. Res64: 3EE0A1C1F5A9181C Time : 0.0 sec. user=mdettweiler [2016-08-31 04:17:26] 681*2^1438390-1 is not prime. Res64: D672BE4C075112DF Time : 0.0 sec. user=mdettweiler [2016-08-31 04:25:41] 717*2^1438390-1 is not prime. Res64: D4894706AF305C45 Time : 0.0 sec. user=mdettweiler [2016-08-31 04:25:41] 723*2^1438390-1 is not prime. Res64: 8F06596F42E6DD56 Time : 0.0 sec. user=mdettweiler [2016-08-31 04:25:41] 755*2^1438390-1 is not prime. Res64: 9611C2121BA8FB7C Time : 0.0 sec. user=mdettweiler [2016-08-31 04:25:42] 761*2^1438390-1 is not prime. Res64: 9F9D605C12413A11 Time : 0.0 sec. user=mdettweiler [2016-08-31 04:25:42] 873*2^1438390-1 is not prime. Res64: 76A4A4209220F7B6 Time : 0.0 sec. user=mdettweiler [2016-08-31 04:34:32] 897*2^1438390-1 is not prime. Res64: 80ABAA71218E14AD Time : 0.0 sec. user=mdettweiler [2016-08-31 04:34:33] 941*2^1438390-1 is not prime. Res64: F6E4AE70EB3C1639 Time : 0.0 sec. user=mdettweiler [2016-08-31 04:34:33] 645*2^1438391-1 is not prime. Res64: 930F4DF4C66F4FE3 Time : 0.0 sec. user=mdettweiler [2016-08-31 04:34:33] 663*2^1438391-1 is not prime. Res64: 1E2F45AB78965D8D Time : 0.0 sec. user=mdettweiler [2016-08-31 04:34:34] 703*2^1438391-1 is not prime. Res64: 5255B3EF645A8FBA Time : 0.0 sec. user=mdettweiler [2016-08-31 04:49:07] 705*2^1438391-1 is not prime. Res64: 5685880C701599C9 Time : 0.0 sec. user=mdettweiler [2016-08-31 04:49:07] 753*2^1438391-1 is not prime. Res64: E74C75807B3C6D62 Time : 0.0 sec. user=mdettweiler [2016-08-31 04:49:08] 775*2^1438391-1 is not prime. Res64: 3D850D8CE1EDCDC6 Time : 0.0 sec. user=mdettweiler [2016-08-31 04:49:08] 609*2^1438392-1 is not prime. Res64: 1FB49C287D64C61A Time : 0.0 sec. user=mdettweiler [2016-08-31 04:49:08] 675*2^1438392-1 is not prime. Res64: E202A2D7A3909218 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:02:32] 797*2^1438392-1 is not prime. Res64: 740321420DDF1864 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:02:33] 893*2^1438392-1 is not prime. Res64: 6E0DCEB21FDA10B2 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:02:34] 929*2^1438392-1 is not prime. Res64: 640E2F96FA303AF4 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:02:34] 741*2^1438393-1 is not prime. Res64: A2F490CB114ECB97 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:02:35] 789*2^1438393-1 is not prime. Res64: 444903816BDCA7EA Time : 0.0 sec. user=mdettweiler [2016-08-31 05:10:42] 919*2^1438393-1 is not prime. Res64: 3F8FAF11B8B36842 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:10:43] 651*2^1438394-1 is not prime. Res64: 0DCBA3D2BA06DA9A Time : 0.0 sec. user=mdettweiler [2016-08-31 05:10:43] 707*2^1438394-1 is not prime. Res64: 3042DDD7FF1F35D3 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:10:44] 857*2^1438394-1 is not prime. Res64: 2BFA949AC9603A52 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:10:44] 915*2^1438394-1 is not prime. Res64: B7265263FE7F2FA1 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:19:35] 917*2^1438394-1 is not prime. Res64: C3D888DCC6902DE1 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:19:35] 927*2^1438394-1 is not prime. Res64: 5B3B83A576980160 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:19:36] 971*2^1438394-1 is not prime. Res64: A4180E4C3BACA1E1 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:19:36] 669*2^1438395-1 is not prime. Res64: BD63116541666931 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:19:37] 793*2^1438395-1 is not prime. Res64: E33C73CC9F7D3033 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:34:11] 873*2^1438395-1 is not prime. Res64: 5ABA2CAFBE522C71 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:34:11] 609*2^1438396-1 is not prime. Res64: C116AB73F3F04448 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:34:12] 695*2^1438396-1 is not prime. Res64: 3282BC1E72392154 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:34:12] 869*2^1438396-1 is not prime. Res64: 70800F5E3E95F2C2 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:34:13] 947*2^1438396-1 is not prime. Res64: 2AF0F88B9C9B7916 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:47:46] 987*2^1438396-1 is not prime. Res64: CD452192BF402771 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:47:46] 601*2^1438397-1 is not prime. Res64: ACD93B396B50B5BE Time : 0.0 sec. user=mdettweiler [2016-08-31 05:47:47] 631*2^1438397-1 is not prime. Res64: C1932696F5F77A36 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:47:47] 655*2^1438397-1 is not prime. Res64: 165FC6E5995CBE81 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:47:48] 717*2^1438397-1 is not prime. Res64: 0446A8149DD52A2A Time : 0.0 sec. user=mdettweiler [2016-08-31 05:55:46] 735*2^1438397-1 is not prime. Res64: E1DC0279896D4544 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:55:46] 757*2^1438397-1 is not prime. Res64: BBFE9D83E10077B8 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:55:47] 837*2^1438397-1 is not prime. Res64: 1637E9C88BF00EBE Time : 0.0 sec. user=mdettweiler [2016-08-31 05:55:47] 967*2^1438397-1 is not prime. Res64: 20A0769FD372F5A0 Time : 0.0 sec. user=mdettweiler [2016-08-31 05:55:47] 705*2^1438398-1 is not prime. Res64: 19F9E20CA7662582 Time : 0.0 sec. user=mdettweiler [2016-08-31 06:04:41] 821*2^1438398-1 is not prime. Res64: 6FD41D1119532872 Time : 0.0 sec. user=mdettweiler [2016-08-31 06:04:42] 963*2^1438398-1 is not prime. Res64: ED5F095CFCF9ABEA Time : 0.0 sec. user=mdettweiler [2016-08-31 06:04:43] 625*2^1438399-1 is not prime. Res64: CD8BBBDA0BBB660A Time : 0.0 sec. user=mdettweiler [2016-08-31 06:04:44] 649*2^1438399-1 is not prime. Res64: 22493148AD0BF27A Time : 0.0 sec. user=mdettweiler [2016-08-31 06:04:45] 685*2^1438399-1 is not prime. Res64: F47EEB83AC9406DD Time : 0.0 sec. user=mdettweiler [2016-08-31 06:19:17] 763*2^1438399-1 is not prime. Res64: 994C28CBE4FE36BF Time : 0.0 sec. user=mdettweiler [2016-08-31 06:19:18] 813*2^1438399-1 is not prime. Res64: 58C58E225C67C4EF Time : 0.0 sec. user=mdettweiler [2016-08-31 06:19:18] 933*2^1438399-1 is not prime. Res64: EFAAE5D80A8547E9 Time : 0.0 sec. user=mdettweiler [2016-08-31 06:19:19] 969*2^1438399-1 is not prime. Res64: 819AFB44A9EEEA94 Time : 0.0 sec. user=mdettweiler [2016-08-31 06:19:19] 615*2^1438400-1 is not prime. Res64: FD4C1F4E0706AF5F Time : 0.0 sec. user=mdettweiler [2016-08-31 06:32:53] 665*2^1438400-1 is not prime. Res64: B06A3245112A0256 Time : 0.0 sec. user=mdettweiler [2016-08-31 06:32:54] 717*2^1438400-1 is not prime. Res64: AE44D595753540B5 Time : 0.0 sec. user=mdettweiler [2016-08-31 06:32:54] 747*2^1438400-1 is not prime. Res64: 25802D4D948FABBD Time : 0.0 sec. user=mdettweiler [2016-08-31 06:32:54] 767*2^1438400-1 is not prime. Res64: CEB718F4D3A6DB24 Time : 0.0 sec. user=mdettweiler [2016-08-31 06:32:55] 777*2^1438400-1 is not prime. Res64: 153AAB0ABA25C784 Time : 0.0 sec. user=mdettweiler [2016-08-31 06:40:46] 797*2^1438400-1 is not prime. Res64: 0134DEE4A06BF017 Time : 0.0 sec. user=mdettweiler [2016-08-31 06:40:46] 813*2^1438400-1 is not prime. Res64: A6329D002B99C520 Time : 0.0 sec. user=mdettweiler [2016-08-31 06:40:47] 839*2^1438400-1 is not prime. Res64: 4B7C35AEFF8DCE5D Time : 0.0 sec. user=mdettweiler [2016-08-31 06:40:47] 977*2^1438400-1 is not prime. Res64: 5B73DD356940E4E7 Time : 0.0 sec. user=mdettweiler [2016-08-31 06:40:47] 651*2^1438401-1 is not prime. Res64: CCF0799F4F3336F1 Time : 0.0 sec. user=mdettweiler [2016-08-31 06:49:55] 681*2^1438401-1 is not prime. Res64: DD510B539EDFA223 Time : 0.0 sec. user=mdettweiler [2016-08-31 06:49:56] 735*2^1438401-1 is not prime. Res64: C26C62661E7E6FA2 Time : 0.0 sec. user=mdettweiler [2016-08-31 06:49:56] 777*2^1438401-1 is not prime. Res64: A977C6EF4CB428E2 Time : 0.0 sec. user=mdettweiler [2016-08-31 06:49:56] 807*2^1438401-1 is not prime. Res64: E7FCEF1262F08DDB Time : 0.0 sec. user=mdettweiler [2016-08-31 06:49:57] 847*2^1438401-1 is not prime. Res64: 5B3C249ACF93463B Time : 0.0 sec. user=mdettweiler [2016-08-31 07:04:25] 877*2^1438401-1 is not prime. Res64: 5D1C7FE1E16FB50D Time : 0.0 sec. user=mdettweiler [2016-08-31 07:04:27] 969*2^1438401-1 is not prime. Res64: E2ABD910F7069F57 Time : 0.0 sec. user=mdettweiler [2016-08-31 07:04:28] 999*2^1438401-1 is not prime. Res64: 0F51B98D5E0F25E2 Time : 0.0 sec. user=mdettweiler [2016-08-31 07:04:29] 635*2^1438402-1 is not prime. Res64: D3C7746E4844A784 Time : 0.0 sec. user=mdettweiler [2016-08-31 07:04:30] 651*2^1438402-1 is not prime. Res64: D6367C4724BFCDC7 Time : 0.0 sec. user=mdettweiler [2016-08-31 07:17:59] 653*2^1438402-1 is not prime. Res64: 9157B99779ADD123 Time : 0.0 sec. user=mdettweiler [2016-08-31 07:17:59] 731*2^1438402-1 is not prime. Res64: ABB30A915A8DF0D0 Time : 0.0 sec. user=mdettweiler [2016-08-31 07:17:59] 735*2^1438402-1 is not prime. Res64: F79B2059A0F6AFEA Time : 0.0 sec. user=mdettweiler [2016-08-31 07:18:00] 737*2^1438402-1 is not prime. Res64: DB3B50FACE2A3B5B Time : 0.0 sec. user=mdettweiler [2016-08-31 07:18:00] 873*2^1438402-1 is not prime. Res64: D590BCD28D8AD3DF Time : 0.0 sec. user=mdettweiler [2016-08-31 07:25:50] 987*2^1438402-1 is not prime. Res64: 9DE68AF0A02FE314 Time : 0.0 sec. user=mdettweiler [2016-08-31 07:25:50] 603*2^1438403-1 is not prime. Res64: B706740C72DD1C18 Time : 0.0 sec. user=mdettweiler [2016-08-31 07:25:51] 705*2^1438403-1 is not prime. Res64: DDDF1EC9259A82F8 Time : 0.0 sec. user=mdettweiler [2016-08-31 07:25:51] 859*2^1438403-1 is not prime. Res64: 3B8F08B8CB0A2766 Time : 0.0 sec. user=mdettweiler [2016-08-31 07:25:51] 609*2^1438404-1 is not prime. Res64: 9C7788A7CBCF3A9A Time : 0.0 sec. user=mdettweiler [2016-08-31 07:34:44] 639*2^1438404-1 is not prime. Res64: 791A5D71CAF25CDF Time : 0.0 sec. user=mdettweiler [2016-08-31 07:34:45] 719*2^1438404-1 is not prime. Res64: 3014952F5CFD2172 Time : 0.0 sec. user=mdettweiler [2016-08-31 07:34:45] 893*2^1438404-1 is not prime. Res64: 63446A7908371259 Time : 0.0 sec. user=mdettweiler [2016-08-31 07:34:45] 899*2^1438404-1 is not prime. Res64: AEAB0C6E41FC98E0 Time : 0.0 sec. user=mdettweiler [2016-08-31 07:34:46] 729*2^1438405-1 is not prime. Res64: 60FA5A94C7D00901 Time : 0.0 sec. user=mdettweiler [2016-08-31 07:49:56] 751*2^1438405-1 is not prime. Res64: 3B17D0E1896B9866 Time : 0.0 sec. user=mdettweiler [2016-08-31 07:49:57] 759*2^1438405-1 is not prime. Res64: B68A95AEA0AEABA1 Time : 0.0 sec. user=mdettweiler [2016-08-31 07:49:57] 871*2^1438405-1 is not prime. Res64: 2FE6FD438A37D3CC Time : 0.0 sec. user=mdettweiler [2016-08-31 07:49:57] 915*2^1438405-1 is not prime. Res64: 04DA5B6953FA1DB0 Time : 0.0 sec. user=mdettweiler [2016-08-31 07:49:58] 603*2^1438406-1 is not prime. Res64: 51C003380E840848 Time : 0.0 sec. user=mdettweiler [2016-08-31 08:03:00] 623*2^1438406-1 is not prime. Res64: 09498A5B8E40FEAE Time : 0.0 sec. user=mdettweiler [2016-08-31 08:03:01] 833*2^1438406-1 is not prime. Res64: 22B9A381B7D04FA0 Time : 0.0 sec. user=mdettweiler [2016-08-31 08:03:02] 873*2^1438406-1 is not prime. Res64: 6A4C3BC28B0C69A1 Time : 0.0 sec. user=mdettweiler [2016-08-31 08:03:04] 923*2^1438406-1 is not prime. Res64: 1C46B7F0DDB2E3E3 Time : 0.0 sec. user=mdettweiler [2016-08-31 08:03:05] 935*2^1438406-1 is not prime. Res64: 80A8937C8622FD75 Time : 0.0 sec. user=mdettweiler [2016-08-31 08:11:23] 941*2^1438406-1 is not prime. Res64: 27F1E2F3E1DFAD0F Time : 0.0 sec. user=mdettweiler [2016-08-31 08:11:24] 615*2^1438407-1 is not prime. Res64: 3A09FC47FF184947 Time : 0.0 sec. user=mdettweiler [2016-08-31 08:11:25] 703*2^1438407-1 is not prime. Res64: EECBB664275C6030 Time : 0.0 sec. user=mdettweiler [2016-08-31 08:11:25] 751*2^1438407-1 is not prime. Res64: 0E80D339370CF0BE Time : 0.0 sec. user=mdettweiler [2016-08-31 08:11:25] 775*2^1438407-1 is not prime. Res64: 57229B6A31224F2A Time : 0.0 sec. user=mdettweiler [2016-08-31 08:19:49] 861*2^1438407-1 is not prime. Res64: 29623D494A824486 Time : 0.0 sec. user=mdettweiler [2016-08-31 08:19:49] 895*2^1438407-1 is not prime. Res64: 7FFDFFC4801375FF Time : 0.0 sec. user=mdettweiler [2016-08-31 08:19:50] 615*2^1438408-1 is not prime. Res64: 559427EB69CF0025 Time : 0.0 sec. user=mdettweiler [2016-08-31 08:19:50] 677*2^1438408-1 is not prime. Res64: C056140D70BEFC2D Time : 0.0 sec. user=mdettweiler [2016-08-31 08:19:50] 687*2^1438408-1 is not prime. Res64: 179B946CAFB38516 Time : 0.0 sec. user=mdettweiler [2016-08-31 08:35:03] 705*2^1438408-1 is not prime. Res64: A5B199452CFB251D Time : 0.0 sec. user=mdettweiler [2016-08-31 08:35:04] 755*2^1438408-1 is not prime. Res64: 88E205BEFEDB0C28 Time : 0.0 sec. user=mdettweiler [2016-08-31 08:35:04] 773*2^1438408-1 is not prime. Res64: 08F95E55CEDCD95A Time : 0.0 sec. user=mdettweiler [2016-08-31 08:35:05] 777*2^1438408-1 is not prime. Res64: B6C86609D80F34F6 Time : 0.0 sec. user=mdettweiler [2016-08-31 08:35:05] 839*2^1438408-1 is not prime. Res64: EA53F48110C8A8D0 Time : 0.0 sec. user=mdettweiler [2016-08-31 08:48:02] 899*2^1438408-1 is not prime. Res64: 57101E09AA3E50FB Time : 0.0 sec. user=mdettweiler [2016-08-31 08:48:02] 969*2^1438408-1 is not prime. Res64: 2ED576E2E8DFB737 Time : 0.0 sec. user=mdettweiler [2016-08-31 08:48:03] 995*2^1438408-1 is not prime. Res64: 8F05A63E0F7E63E5 Time : 0.0 sec. user=mdettweiler [2016-08-31 08:48:03] 771*2^1438409-1 is not prime. Res64: 70AD9EEAF4880938 Time : 0.0 sec. user=mdettweiler [2016-08-31 08:48:03] 789*2^1438409-1 is not prime. Res64: 54BE7B1D85192E3F Time : 0.0 sec. user=mdettweiler [2016-08-31 08:56:25] 861*2^1438409-1 is not prime. Res64: 2293845F36FE4264 Time : 0.0 sec. user=mdettweiler [2016-08-31 08:56:25] 889*2^1438409-1 is not prime. Res64: DF23B93AC45233A1 Time : 0.0 sec. user=mdettweiler [2016-08-31 08:56:26] 957*2^1438409-1 is not prime. Res64: 48F3B14DD2E6237F Time : 0.0 sec. user=mdettweiler [2016-08-31 08:56:26] 797*2^1438410-1 is not prime. Res64: DFA05AFC4200D6D9 Time : 0.0 sec. user=mdettweiler [2016-08-31 08:56:26] 885*2^1438410-1 is not prime. Res64: 1EBDD5652366B756 Time : 0.0 sec. user=mdettweiler [2016-08-31 09:05:03] 921*2^1438410-1 is not prime. Res64: 6615E9967371CF5F Time : 0.0 sec. user=mdettweiler [2016-08-31 09:05:04] 951*2^1438410-1 is not prime. Res64: 4F2A179C5AB9ABD6 Time : 0.0 sec. user=mdettweiler [2016-08-31 09:05:05] 631*2^1438411-1 is not prime. Res64: 20F274D5FB162F8F Time : 0.0 sec. user=mdettweiler [2016-08-31 09:05:06] 769*2^1438411-1 is not prime. Res64: 6CB44A698332C8D2 Time : 0.0 sec. user=mdettweiler [2016-08-31 09:05:09] 633*2^1438412-1 is not prime. Res64: 5294E77705E8B42A Time : 0.0 sec. user=mdettweiler [2016-08-31 09:20:06] 665*2^1438412-1 is not prime. Res64: 2F96233EADA4EBBD Time : 0.0 sec. user=mdettweiler [2016-08-31 09:20:07] 693*2^1438412-1 is not prime. Res64: 57356E555D872D6E Time : 0.0 sec. user=mdettweiler [2016-08-31 09:20:07] 759*2^1438412-1 is not prime. Res64: E96DB84FA2F209D2 Time : 0.0 sec. user=mdettweiler [2016-08-31 09:20:07] 785*2^1438412-1 is not prime. Res64: 21076D360FF0A803 Time : 0.0 sec. user=mdettweiler [2016-08-31 09:20:08] 837*2^1438412-1 is not prime. Res64: 5CEACCC845E22F76 Time : 0.0 sec. user=mdettweiler [2016-08-31 09:33:09] 873*2^1438412-1 is not prime. Res64: D0075FBD7240539D Time : 0.0 sec. user=mdettweiler [2016-08-31 09:33:10] 923*2^1438412-1 is not prime. Res64: 7E91084C8D9F0444 Time : 0.0 sec. user=mdettweiler [2016-08-31 09:33:10] 741*2^1438413-1 is not prime. Res64: 7AF990DB0BDBF94D Time : 0.0 sec. user=mdettweiler [2016-08-31 09:33:11] 745*2^1438413-1 is not prime. Res64: 754B4BC2638F678C Time : 0.0 sec. user=mdettweiler [2016-08-31 09:33:11] 835*2^1438413-1 is not prime. Res64: C73B4585B8F7951C Time : 0.0 sec. user=mdettweiler [2016-08-31 09:41:26] 937*2^1438413-1 is not prime. Res64: C4D171EF32934BC8 Time : 0.0 sec. user=mdettweiler [2016-08-31 09:41:26] 657*2^1438414-1 is not prime. Res64: 14242BAFFFCB8E58 Time : 0.0 sec. user=mdettweiler [2016-08-31 09:41:27] 705*2^1438414-1 is not prime. Res64: 37D6627A852E7351 Time : 0.0 sec. user=mdettweiler [2016-08-31 09:41:27] 833*2^1438414-1 is not prime. Res64: AF254631231B3175 Time : 0.0 sec. user=mdettweiler [2016-08-31 09:41:27] 965*2^1438414-1 is not prime. Res64: 7BFBB5940747AB5F Time : 0.0 sec. user=mdettweiler [2016-08-31 09:50:23] 673*2^1438415-1 is not prime. Res64: 6A4FC7EBF3D24E83 Time : 0.0 sec. user=mdettweiler [2016-08-31 09:50:23] 721*2^1438415-1 is not prime. Res64: CAE44591B29798A0 Time : 0.0 sec. user=mdettweiler [2016-08-31 09:50:23] 841*2^1438415-1 is not prime. Res64: 68F5ACE52EDBAD43 Time : 0.0 sec. user=mdettweiler [2016-08-31 09:50:24] 855*2^1438415-1 is not prime. Res64: DB674E43C0654980 Time : 0.0 sec. user=mdettweiler [2016-08-31 09:50:24] 865*2^1438415-1 is not prime. Res64: CAEC069323095100 Time : 0.0 sec. user=mdettweiler [2016-08-31 10:05:31] 943*2^1438415-1 is not prime. Res64: 58DE3FAE42450DD2 Time : 0.0 sec. user=mdettweiler [2016-08-31 10:05:33] 949*2^1438415-1 is not prime. Res64: 3DF5DA06124E2B26 Time : 0.0 sec. user=mdettweiler [2016-08-31 10:05:34] 981*2^1438415-1 is not prime. Res64: 2B2517CFE81CE05C Time : 0.0 sec. user=mdettweiler [2016-08-31 10:05:36] 985*2^1438415-1 is not prime. Res64: EBCAA800346EAFB2 Time : 0.0 sec. user=mdettweiler [2016-08-31 10:05:37] 615*2^1438416-1 is not prime. Res64: BC58133C3813A374 Time : 0.0 sec. user=mdettweiler [2016-08-31 10:18:25] 635*2^1438416-1 is not prime. Res64: 9375DC10428CCA06 Time : 0.0 sec. user=mdettweiler [2016-08-31 10:18:26] 735*2^1438416-1 is not prime. Res64: 20EA8F4C443815DF Time : 0.0 sec. user=mdettweiler [2016-08-31 10:18:26] 737*2^1438416-1 is not prime. Res64: 7EE0450699636A0C Time : 0.0 sec. user=mdettweiler [2016-08-31 10:18:26] 825*2^1438416-1 is not prime. Res64: D7DB910B9B0876EC Time : 0.0 sec. user=mdettweiler [2016-08-31 10:18:27] 879*2^1438416-1 is not prime. Res64: D951986462DA9E3C Time : 0.0 sec. user=mdettweiler [2016-08-31 10:26:25] 651*2^1438417-1 is not prime. Res64: CF551A8F75791CB3 Time : 0.0 sec. user=mdettweiler [2016-08-31 10:26:26] 691*2^1438417-1 is not prime. Res64: D8BD553DCC6A17C0 Time : 0.0 sec. user=mdettweiler [2016-08-31 10:26:26] 747*2^1438417-1 is not prime. Res64: 74DEDEF919234CC1 Time : 0.0 sec. user=mdettweiler [2016-08-31 10:26:26] 775*2^1438417-1 is not prime. Res64: 9B3F8FDBA1894DB7 Time : 0.0 sec. user=mdettweiler [2016-08-31 10:26:27] 777*2^1438417-1 is not prime. Res64: 01C5390B1ECE053B Time : 0.0 sec. user=mdettweiler [2016-08-31 10:35:24] 841*2^1438417-1 is not prime. Res64: 3FE72106A1F425FB Time : 0.0 sec. user=mdettweiler [2016-08-31 10:35:24] 861*2^1438417-1 is not prime. Res64: 1B28954277BF198F Time : 0.0 sec. user=mdettweiler [2016-08-31 10:35:25] 909*2^1438417-1 is not prime. Res64: 40318A112C2E1D95 Time : 0.0 sec. user=mdettweiler [2016-08-31 10:35:25] 605*2^1438418-1 is not prime. Res64: 8F966E2186F7B901 Time : 0.0 sec. user=mdettweiler [2016-08-31 10:35:25] 645*2^1438418-1 is not prime. Res64: 7458E253CE993020 Time : 0.0 sec. user=mdettweiler [2016-08-31 10:50:57] 687*2^1438418-1 is not prime. Res64: 4BDD21411F6B47D9 Time : 0.0 sec. user=mdettweiler [2016-08-31 10:50:57] 827*2^1438418-1 is not prime. Res64: 5DE6F3230A9C65F1 Time : 0.0 sec. user=mdettweiler [2016-08-31 10:50:58] 609*2^1438419-1 is not prime. Res64: 33CE85AC7579FB75 Time : 0.0 sec. user=mdettweiler [2016-08-31 10:50:58] 835*2^1438419-1 is not prime. Res64: 467CE99A90434B4C Time : 0.0 sec. user=mdettweiler [2016-08-31 10:50:58] 879*2^1438419-1 is not prime. Res64: A9E78F67C3572F4D Time : 0.0 sec. user=mdettweiler [2016-08-31 11:03:06] 955*2^1438419-1 is not prime. Res64: 9EF0DB5A517896CC Time : 0.0 sec. user=mdettweiler [2016-08-31 11:03:07] 699*2^1438420-1 is not prime. Res64: 538AA11E11E824A2 Time : 0.0 sec. user=mdettweiler [2016-08-31 11:03:08] 719*2^1438420-1 is not prime. Res64: DDBD6F68B4067B30 Time : 0.0 sec. user=mdettweiler [2016-08-31 11:03:09] 735*2^1438420-1 is not prime. Res64: 9AB43B4F16E67EF3 Time : 0.0 sec. user=mdettweiler [2016-08-31 11:03:10] 885*2^1438420-1 is not prime. Res64: DC392A0C2AB11221 Time : 0.0 sec. user=mdettweiler [2016-08-31 11:11:08] 983*2^1438420-1 is not prime. Res64: 40BCE8298429C61D Time : 0.0 sec. user=mdettweiler [2016-08-31 11:11:09] 669*2^1438421-1 is not prime. Res64: FD59D77B53C3A275 Time : 0.0 sec. user=mdettweiler [2016-08-31 11:11:09] 789*2^1438421-1 is not prime. Res64: 782967860CC4E426 Time : 0.0 sec. user=mdettweiler [2016-08-31 11:11:09] 825*2^1438421-1 is not prime. Res64: 6DAFDF8FD9337DC9 Time : 0.0 sec. user=mdettweiler [2016-08-31 11:11:10] 647*2^1438422-1 is not prime. Res64: 594D91560011C775 Time : 0.0 sec. user=mdettweiler [2016-08-31 11:20:21] 713*2^1438422-1 is not prime. Res64: 9805CDE7FC412258 Time : 0.0 sec. user=mdettweiler [2016-08-31 11:20:21] 725*2^1438422-1 is not prime. Res64: A0FD18F70949CECC Time : 0.0 sec. user=mdettweiler [2016-08-31 11:20:22] 863*2^1438422-1 is not prime. Res64: 07053684E404D4FA Time : 0.0 sec. user=mdettweiler [2016-08-31 11:20:22] 887*2^1438422-1 is not prime. Res64: 55EE9F97FB3C4D28 Time : 0.0 sec. user=mdettweiler [2016-08-31 11:20:22] 893*2^1438422-1 is not prime. Res64: F223C50508067634 Time : 0.0 sec. user=mdettweiler [2016-08-31 11:36:07] 915*2^1438422-1 is not prime. Res64: ADF53203E4FE5E08 Time : 0.0 sec. user=mdettweiler [2016-08-31 11:36:08] 945*2^1438422-1 is not prime. Res64: 83EE6E41B578FD5A Time : 0.0 sec. user=mdettweiler [2016-08-31 11:36:08] 621*2^1438423-1 is not prime. Res64: 373A3727EEDB23D1 Time : 0.0 sec. user=mdettweiler [2016-08-31 11:36:09] 633*2^1438423-1 is not prime. Res64: 221C00372F99520D Time : 0.0 sec. user=mdettweiler [2016-08-31 11:36:09] 679*2^1438423-1 is not prime. Res64: 7D55C6C01E4E8B30 Time : 0.0 sec. user=mdettweiler [2016-08-31 11:48:21] 685*2^1438423-1 is not prime. Res64: 77632C795BB2380C Time : 0.0 sec. user=mdettweiler [2016-08-31 11:48:22] 693*2^1438423-1 is not prime. Res64: 8DE54B38129BDBC9 Time : 0.0 sec. user=mdettweiler [2016-08-31 11:48:22] 741*2^1438423-1 is not prime. Res64: 64E11B87F6DB36FA Time : 0.0 sec. user=mdettweiler [2016-08-31 11:48:22] 789*2^1438423-1 is not prime. Res64: 5F3BB7904B917476 Time : 0.0 sec. user=mdettweiler [2016-08-31 11:48:23] 891*2^1438423-1 is not prime. Res64: 11BD2D00B5126557 Time : 0.0 sec. user=mdettweiler [2016-08-31 11:56:05] 919*2^1438423-1 is not prime. Res64: 04CE7AC3E1B81D9D Time : 0.0 sec. user=mdettweiler [2016-08-31 11:56:06] 605*2^1438424-1 is not prime. Res64: E50FB02192D5C7DE Time : 0.0 sec. user=mdettweiler [2016-08-31 11:56:06] 747*2^1438424-1 is not prime. Res64: F8E74C6815E10EA3 Time : 0.0 sec. user=mdettweiler [2016-08-31 11:56:07] 785*2^1438424-1 is not prime. Res64: 52533B799970851F Time : 0.0 sec. user=mdettweiler [2016-08-31 11:56:07] 819*2^1438424-1 is not prime. Res64: 28FBDEE593C23182 Time : 0.0 sec. user=mdettweiler [2016-08-31 12:05:16] 873*2^1438424-1 is not prime. Res64: EEB36695B999BA31 Time : 0.0 sec. user=mdettweiler [2016-08-31 12:05:19] 601*2^1438425-1 is not prime. Res64: 2C4E5DE339FE1203 Time : 0.0 sec. user=mdettweiler [2016-08-31 12:05:21] 639*2^1438425-1 is not prime. Res64: BF4A9DB9C371A70D Time : 0.0 sec. user=mdettweiler [2016-08-31 12:05:22] 717*2^1438425-1 is not prime. Res64: EE34C745116AD60B Time : 0.0 sec. user=mdettweiler [2016-08-31 12:05:24] 787*2^1438425-1 is not prime. Res64: 309C94306BECDE31 Time : 0.0 sec. user=mdettweiler [2016-08-31 12:22:03] 885*2^1438425-1 is not prime. Res64: 940DF578890BDA09 Time : 0.0 sec. user=mdettweiler [2016-08-31 12:22:04] 895*2^1438425-1 is not prime. Res64: 23665F575B75665A Time : 0.0 sec. user=mdettweiler [2016-08-31 12:22:04] 951*2^1438425-1 is not prime. Res64: 818318CABE6306A3 Time : 0.0 sec. user=mdettweiler [2016-08-31 12:22:05] 603*2^1438426-1 is not prime. Res64: 201E8788231F8230 Time : 0.0 sec. user=mdettweiler [2016-08-31 12:22:05] 671*2^1438426-1 is not prime. Res64: F2991AFFF11AC5C3 Time : 0.0 sec. user=mdettweiler [2016-08-31 12:34:32] 873*2^1438426-1 is not prime. Res64: A7E0793598E18DAC Time : 0.0 sec. user=mdettweiler [2016-08-31 12:34:32] 887*2^1438426-1 is not prime. Res64: 55A25D149162ED1E Time : 0.0 sec. user=mdettweiler [2016-08-31 12:34:33] 957*2^1438426-1 is not prime. Res64: 4362419CD8687A28 Time : 0.0 sec. user=mdettweiler [2016-08-31 12:34:33] 987*2^1438426-1 is not prime. Res64: 9173842C888333DD Time : 0.0 sec. user=mdettweiler [2016-08-31 12:34:33] 993*2^1438426-1 is not prime. Res64: CC7984328C8DC208 Time : 0.0 sec. user=mdettweiler [2016-08-31 12:42:36] 631*2^1438427-1 is not prime. Res64: 669F96FD2F669AB9 Time : 0.0 sec. user=mdettweiler [2016-08-31 12:42:36] 981*2^1438427-1 is not prime. Res64: D5324BCC346804B3 Time : 0.0 sec. user=mdettweiler [2016-08-31 12:42:37] 993*2^1438427-1 is not prime. Res64: 67D6143B0AC245EB Time : 0.0 sec. user=mdettweiler [2016-08-31 12:42:37] 809*2^1438428-1 is not prime. Res64: C8F8102F96B1B0B5 Time : 0.0 sec. user=mdettweiler [2016-08-31 12:42:37] 959*2^1438428-1 is not prime. Res64: D795FDBB329408BB Time : 0.0 sec. user=mdettweiler [2016-08-31 12:52:32] 977*2^1438428-1 is not prime. Res64: 9BD61C1DAA760693 Time : 0.0 sec. user=mdettweiler [2016-08-31 12:52:33] 685*2^1438429-1 is not prime. Res64: 8E3798DD26023CD1 Time : 0.0 sec. user=mdettweiler [2016-08-31 12:52:33] 729*2^1438429-1 is not prime. Res64: 86C5D0F7D02A2C87 Time : 0.0 sec. user=mdettweiler [2016-08-31 12:52:34] 775*2^1438429-1 is not prime. Res64: B02154EE76C9ED0A Time : 0.0 sec. user=mdettweiler [2016-08-31 12:52:34] 855*2^1438429-1 is not prime. Res64: 8F26F484915E540D Time : 0.0 sec. user=mdettweiler [2016-08-31 13:08:23] 861*2^1438429-1 is not prime. Res64: 6DD390599F6D2F68 Time : 0.0 sec. user=mdettweiler [2016-08-31 13:08:24] 867*2^1438429-1 is not prime. Res64: 4C6EABC0DE34CFBA Time : 0.0 sec. user=mdettweiler [2016-08-31 13:08:25] 927*2^1438429-1 is not prime. Res64: EAC1DFD16CE555F0 Time : 0.0 sec. user=mdettweiler [2016-08-31 13:08:25] 957*2^1438429-1 is not prime. Res64: DED1E95E4C8120B1 Time : 0.0 sec. user=mdettweiler [2016-08-31 13:08:26] 961*2^1438429-1 is not prime. Res64: D87E53FDB3987EDA Time : 0.0 sec. user=mdettweiler [2016-08-31 13:20:44] 975*2^1438429-1 is not prime. Res64: 9785661A2E1C5306 Time : 0.0 sec. user=mdettweiler [2016-08-31 13:20:44] 985*2^1438429-1 is not prime. Res64: BD18925473486D2E Time : 0.0 sec. user=mdettweiler [2016-08-31 13:20:44] 997*2^1438429-1 is not prime. Res64: F62CFBA70359221B Time : 0.0 sec. user=mdettweiler [2016-08-31 13:20:45] 623*2^1438430-1 is not prime. Res64: D086849BA7DAFA89 Time : 0.0 sec. user=mdettweiler [2016-08-31 13:20:45] 645*2^1438430-1 is not prime. Res64: 118C8D6C35406346 Time : 0.0 sec. user=mdettweiler [2016-08-31 13:29:12] 675*2^1438430-1 is not prime. Res64: ECCD850282D1AE2C Time : 0.0 sec. user=mdettweiler [2016-08-31 13:29:12] 755*2^1438430-1 is not prime. Res64: FD19E47C30488E0E Time : 0.0 sec. user=mdettweiler [2016-08-31 13:29:13] 785*2^1438430-1 is not prime. Res64: 1E630AC84207436E Time : 0.0 sec. user=mdettweiler [2016-08-31 13:29:13] 827*2^1438430-1 is not prime. Res64: C5192C4499074C61 Time : 0.0 sec. user=mdettweiler [2016-08-31 13:29:13] 911*2^1438430-1 is not prime. Res64: C4D31F11E0D14AC9 Time : 0.0 sec. user=mdettweiler [2016-08-31 13:39:22] 951*2^1438430-1 is prime! Time : 0.0 sec. user=mdettweiler [2016-08-31 13:39:23] 981*2^1438430-1 is not prime. Res64: 6C92808A3925687C Time : 0.0 sec. user=mdettweiler [2016-08-31 13:39:23] 735*2^1438431-1 is not prime. Res64: 10E19226B3C6C04D Time : 0.0 sec. user=mdettweiler [2016-08-31 13:39:24] 781*2^1438431-1 is not prime. Res64: 07535CEF9CB860F2 Time : 0.0 sec. user=mdettweiler [2016-08-31 13:39:24] 891*2^1438431-1 is not prime. Res64: 0858F3CB77E6B963 Time : 0.0 sec. user=mdettweiler [2016-08-31 14:08:35] 917*2^1438432-1 is not prime. Res64: 4A882939B2C06075 Time : 0.0 sec. user=mdettweiler [2016-08-31 14:08:36] 679*2^1438433-1 is not prime. Res64: 9ECC3066927BF9F5 Time : 0.0 sec. user=mdettweiler [2016-08-31 14:08:38] 697*2^1438433-1 is not prime. Res64: 27760B390BCB41F0 Time : 0.0 sec. user=mdettweiler [2016-08-31 14:08:39] 771*2^1438433-1 is not prime. Res64: 1CCEEE01D02E1D70 Time : 0.0 sec. user=mdettweiler [2016-08-31 14:08:40] 795*2^1438433-1 is not prime. Res64: 541772624662D5CF Time : 0.0 sec. user=mdettweiler [2016-08-31 14:17:00] 829*2^1438433-1 is not prime. Res64: F02DCB96C9C6C57E Time : 0.0 sec. user=mdettweiler [2016-08-31 14:17:01] 901*2^1438433-1 is not prime. Res64: 14D5C3581D25A11E Time : 0.0 sec. user=mdettweiler [2016-08-31 14:17:01] 937*2^1438433-1 is not prime. Res64: 242558B24BFC3C65 Time : 0.0 sec. user=mdettweiler [2016-08-31 14:17:02] 651*2^1438434-1 is not prime. Res64: FB32EB7178D135F0 Time : 0.0 sec. user=mdettweiler [2016-08-31 14:17:02] 677*2^1438434-1 is not prime. Res64: 2C832881BACCCBDD Time : 0.0 sec. user=mdettweiler [2016-08-31 14:26:28] 695*2^1438434-1 is not prime. Res64: 54125D6F2A59C3B1 Time : 0.0 sec. user=mdettweiler [2016-08-31 14:26:29] 755*2^1438434-1 is not prime. Res64: 07EB8F8C979DF147 Time : 0.0 sec. user=mdettweiler [2016-08-31 14:26:29] 891*2^1438434-1 is not prime. Res64: 8D7E8C0584020B06 Time : 0.0 sec. user=mdettweiler [2016-08-31 14:26:30] 947*2^1438434-1 is not prime. Res64: DAB8098322556B3F Time : 0.0 sec. user=mdettweiler [2016-08-31 14:26:30] 633*2^1438435-1 is not prime. Res64: 5628AC3D8BA52856 Time : 0.0 sec. user=mdettweiler [2016-08-31 14:54:42] 723*2^1438435-1 is not prime. Res64: 3813C1C5840C4562 Time : 0.0 sec. user=mdettweiler [2016-08-31 14:54:42] 843*2^1438435-1 is not prime. Res64: E8A21B2317041394 Time : 0.0 sec. user=mdettweiler [2016-08-31 14:54:43] 861*2^1438435-1 is not prime. Res64: 473BE398748A665B Time : 0.0 sec. user=mdettweiler [2016-08-31 14:54:43] 999*2^1438435-1 is not prime. Res64: 5E51D3AFCC1394C6 Time : 0.0 sec. user=mdettweiler [2016-08-31 14:54:44] 767*2^1438436-1 is not prime. Res64: A856F64E4433FF15 Time : 0.0 sec. user=mdettweiler [2016-08-31 15:03:00] 935*2^1438436-1 is not prime. Res64: 1240CD762625155D Time : 0.0 sec. user=mdettweiler [2016-08-31 15:03:02] 953*2^1438436-1 is not prime. Res64: 505D129CFD8B6175 Time : 0.0 sec. user=mdettweiler [2016-08-31 15:03:05] 983*2^1438436-1 is not prime. Res64: 8B44BDAB83017654 Time : 0.0 sec. user=mdettweiler [2016-08-31 15:03:08] 607*2^1438437-1 is not prime. Res64: 641B9969F9237084 Time : 0.0 sec. user=mdettweiler [2016-08-31 15:03:10] 625*2^1438437-1 is not prime. Res64: 3ED750C1A13FB994 Time : 0.0 sec. user=mdettweiler [2016-08-31 15:12:18] 649*2^1438437-1 is not prime. Res64: E94206EEE35A8BA3 Time : 0.0 sec. user=mdettweiler [2016-08-31 15:12:19] 655*2^1438437-1 is not prime. Res64: 88EE9A34F795298C Time : 0.0 sec. user=mdettweiler [2016-08-31 15:12:19] 685*2^1438437-1 is not prime. Res64: AF58DEB189F63EC5 Time : 0.0 sec. user=mdettweiler [2016-08-31 15:12:20] 741*2^1438437-1 is not prime. Res64: 9654EC2730BD03EC Time : 0.0 sec. user=mdettweiler [2016-08-31 15:12:20] 885*2^1438437-1 is not prime. Res64: BF78ED886D99F491 Time : 0.0 sec. user=mdettweiler [2016-08-31 15:40:32] 603*2^1438438-1 is not prime. Res64: 06E650D23E628865 Time : 0.0 sec. user=mdettweiler [2016-08-31 15:40:32] 605*2^1438438-1 is not prime. Res64: B47117A0268BE539 Time : 0.0 sec. user=mdettweiler [2016-08-31 15:40:33] 617*2^1438438-1 is not prime. Res64: B634AE27FB661C81 Time : 0.0 sec. user=mdettweiler [2016-08-31 15:40:33] 647*2^1438438-1 is not prime. Res64: DE43BF2E7B3A8A8B Time : 0.0 sec. user=mdettweiler [2016-08-31 15:40:34] 897*2^1438438-1 is not prime. Res64: AA448BEAE8C04641 Time : 0.0 sec. user=mdettweiler [2016-08-31 15:49:31] 603*2^1438439-1 is not prime. Res64: 58D179A0639DEB52 Time : 0.0 sec. user=mdettweiler [2016-08-31 15:49:31] 703*2^1438439-1 is not prime. Res64: 580DAEBA213BF505 Time : 0.0 sec. user=mdettweiler [2016-08-31 15:49:32] 705*2^1438439-1 is not prime. Res64: 66CF5C2EFD1514E1 Time : 0.0 sec. user=mdettweiler [2016-08-31 15:49:32] 745*2^1438439-1 is not prime. Res64: 3A0B20B455D564AA Time : 0.0 sec. user=mdettweiler [2016-08-31 15:49:33] 831*2^1438439-1 is not prime. Res64: 3EEA464F80855F44 Time : 0.0 sec. user=mdettweiler [2016-08-31 15:58:08] 853*2^1438439-1 is not prime. Res64: C4CD969FC1377E74 Time : 0.0 sec. user=mdettweiler [2016-08-31 15:58:09] 895*2^1438439-1 is not prime. Res64: 35453ED2211DDD65 Time : 0.0 sec. user=mdettweiler [2016-08-31 15:58:09] 939*2^1438439-1 is not prime. Res64: 977F18C827516487 Time : 0.0 sec. user=mdettweiler [2016-08-31 15:58:10] 985*2^1438439-1 is not prime. Res64: 306BBB4F037AC7C4 Time : 0.0 sec. user=mdettweiler [2016-08-31 15:58:11] 629*2^1438440-1 is not prime. Res64: AE6034777B824F8E Time : 0.0 sec. user=mdettweiler [2016-08-31 16:26:44] 699*2^1438440-1 is not prime. Res64: F0750A906F27A3CA Time : 0.0 sec. user=mdettweiler [2016-08-31 16:26:44] 737*2^1438440-1 is not prime. Res64: 65DA02B9232987E8 Time : 0.0 sec. user=mdettweiler [2016-08-31 16:26:45] 753*2^1438440-1 is not prime. Res64: C90715B949DD4532 Time : 0.0 sec. user=mdettweiler [2016-08-31 16:26:45] 843*2^1438440-1 is not prime. Res64: 6D3031BD61555521 Time : 0.0 sec. user=mdettweiler [2016-08-31 16:26:46] 619*2^1438441-1 is not prime. Res64: 725FEDAABC682F57 Time : 0.0 sec. user=mdettweiler [2016-08-31 16:35:32] 639*2^1438441-1 is not prime. Res64: 07D528C2A8AEA381 Time : 0.0 sec. user=mdettweiler [2016-08-31 16:35:33] 771*2^1438441-1 is not prime. Res64: B7AC6FDFBE23EB5B Time : 0.0 sec. user=mdettweiler [2016-08-31 16:35:33] 777*2^1438441-1 is not prime. Res64: 05380B8378D20E05 Time : 0.0 sec. user=mdettweiler [2016-08-31 16:35:34] 819*2^1438441-1 is not prime. Res64: 2B5F2C75FD50B413 Time : 0.0 sec. user=mdettweiler [2016-08-31 16:35:34] 945*2^1438441-1 is not prime. Res64: 0898F0C02F68CB78 Time : 0.0 sec. user=mdettweiler [2016-08-31 16:44:05] 623*2^1438442-1 is not prime. Res64: 91D5FC4D1E9E8313 Time : 0.0 sec. user=mdettweiler [2016-08-31 16:44:06] 651*2^1438442-1 is not prime. Res64: 329B89262A6777B7 Time : 0.0 sec. user=mdettweiler [2016-08-31 16:44:06] 713*2^1438442-1 is not prime. Res64: 0AE31072C94F3478 Time : 0.0 sec. user=mdettweiler [2016-08-31 16:44:07] 743*2^1438442-1 is not prime. Res64: 8CE2ED430EAC22F3 Time : 0.0 sec. user=mdettweiler [2016-08-31 16:44:07] 767*2^1438442-1 is not prime. Res64: BD63A6799FE12646 Time : 0.0 sec. user=mdettweiler [2016-08-31 16:49:58] 955*2^1438431-1 is not prime. Res64: EB2866D33E05414A Time : 0.0 sec. user=mdettweiler [2016-08-31 16:49:58] 603*2^1438432-1 is not prime. Res64: 1B77CBABA22D74D9 Time : 0.0 sec. user=mdettweiler [2016-08-31 16:49:59] 615*2^1438432-1 is not prime. Res64: 423147EAEE80B40E Time : 0.0 sec. user=mdettweiler [2016-08-31 16:49:59] 677*2^1438432-1 is not prime. Res64: E42078C39032E655 Time : 0.0 sec. user=mdettweiler [2016-08-31 16:50:00] 813*2^1438432-1 is not prime. Res64: 2EDCD0767009C062 Time : 0.0 sec. user=mdettweiler [2016-08-31 17:12:16] 771*2^1438442-1 is not prime. Res64: 6C01C7BE6861E9F4 Time : 0.0 sec. user=mdettweiler [2016-08-31 17:12:16] 833*2^1438442-1 is not prime. Res64: E49B12986FC97223 Time : 0.0 sec. user=mdettweiler [2016-08-31 17:12:16] 837*2^1438442-1 is not prime. Res64: F13C0C69E61AD9EB Time : 0.0 sec. user=mdettweiler [2016-08-31 17:12:17] 873*2^1438442-1 is not prime. Res64: B5155C6916669A09 Time : 0.0 sec. user=mdettweiler [2016-08-31 17:12:17] 1001*2^1438442-1 is not prime. Res64: AFE2E21720D38E50 Time : 0.0 sec. user=mdettweiler [2016-08-31 17:20:51] 639*2^1438443-1 is not prime. Res64: BEB22ADD6BD3FE38 Time : 0.0 sec. user=mdettweiler [2016-08-31 17:20:52] 663*2^1438443-1 is not prime. Res64: 1A8B174BA13E29C4 Time : 0.0 sec. user=mdettweiler [2016-08-31 17:20:52] 675*2^1438443-1 is not prime. Res64: EE1AEF4F993BC8DE Time : 0.0 sec. user=mdettweiler [2016-08-31 17:20:52] 739*2^1438443-1 is not prime. Res64: BCD6C09B412E0046 Time : 0.0 sec. user=mdettweiler [2016-08-31 17:20:53] 765*2^1438443-1 is not prime. Res64: 6594C4A25A8E07F6 Time : 0.0 sec. user=mdettweiler [2016-08-31 17:29:07] 789*2^1438443-1 is not prime. Res64: B876106A6169BE8D Time : 0.0 sec. user=mdettweiler [2016-08-31 17:29:07] 945*2^1438443-1 is not prime. Res64: 0CF9C15B4BD6D1B5 Time : 0.0 sec. user=mdettweiler [2016-08-31 17:29:08] 951*2^1438443-1 is not prime. Res64: 4E988910FFD70516 Time : 0.0 sec. user=mdettweiler [2016-08-31 17:29:08] 623*2^1438444-1 is not prime. Res64: B38B2D3D0805520C Time : 0.0 sec. user=mdettweiler [2016-08-31 17:29:08] 695*2^1438444-1 is not prime. Res64: EF2F66E03DBDBF8B Time : 0.0 sec. user=mdettweiler [2016-08-31 17:35:08] 707*2^1438444-1 is not prime. Res64: B605E5EE09A468D8 Time : 0.0 sec. user=mdettweiler [2016-08-31 17:35:08] 785*2^1438444-1 is not prime. Res64: 746DB46B78185307 Time : 0.0 sec. user=mdettweiler [2016-08-31 17:35:08] 875*2^1438444-1 is not prime. Res64: 2A8E79FA74BC8D6C Time : 0.0 sec. user=mdettweiler [2016-08-31 17:35:09] 607*2^1438445-1 is not prime. Res64: E119A680EAE7FDA0 Time : 0.0 sec. user=mdettweiler [2016-08-31 17:35:09] 697*2^1438445-1 is not prime. Res64: 47B28EB80AAF418A Time : 0.0 sec. user=mdettweiler [2016-08-31 17:57:14] 781*2^1438445-1 is not prime. Res64: 42281C3E664DA3E2 Time : 0.0 sec. user=mdettweiler [2016-08-31 17:57:14] 861*2^1438445-1 is not prime. Res64: 894950EE02378506 Time : 0.0 sec. user=mdettweiler [2016-08-31 17:57:15] 867*2^1438445-1 is not prime. Res64: F97EFA7E07D408E3 Time : 0.0 sec. user=mdettweiler [2016-08-31 17:57:15] 897*2^1438445-1 is not prime. Res64: 20E4120CA55BD1E8 Time : 0.0 sec. user=mdettweiler [2016-08-31 17:57:16] 927*2^1438445-1 is not prime. Res64: F3A709BE7F7FB8BA Time : 0.0 sec. user=mdettweiler [2016-08-31 18:06:06] 641*2^1438446-1 is not prime. Res64: FEF61BB04DF5FFE0 Time : 0.0 sec. user=mdettweiler [2016-08-31 18:06:07] 683*2^1438446-1 is not prime. Res64: 816E56F732C4459C Time : 0.0 sec. user=mdettweiler [2016-08-31 18:06:09] 695*2^1438446-1 is not prime. Res64: 16B624EE3D67E8D0 Time : 0.0 sec. user=mdettweiler [2016-08-31 18:06:10] 725*2^1438446-1 is not prime. Res64: F364089EA4C3862B Time : 0.0 sec. user=mdettweiler [2016-08-31 18:06:13] 737*2^1438446-1 is not prime. Res64: F91AD815B9457419 Time : 0.0 sec. user=mdettweiler [2016-08-31 18:14:15] 741*2^1438446-1 is not prime. Res64: 317A2079CFD1F1EC Time : 0.0 sec. user=mdettweiler [2016-08-31 18:14:15] 761*2^1438446-1 is not prime. Res64: 740FEEDDB6A138EF Time : 0.0 sec. user=mdettweiler [2016-08-31 18:14:15] 801*2^1438446-1 is not prime. Res64: 66E37F2A717CE281 Time : 0.0 sec. user=mdettweiler [2016-08-31 18:14:16] 815*2^1438446-1 is not prime. Res64: 583C04819B7E95C3 Time : 0.0 sec. user=mdettweiler [2016-08-31 18:14:16] 615*2^1438447-1 is not prime. Res64: A0CD30CE0D198656 Time : 0.0 sec. user=mdettweiler [2016-08-31 18:20:27] 693*2^1438447-1 is not prime. Res64: 90C2CE49C323E96E Time : 0.0 sec. user=mdettweiler [2016-08-31 18:20:27] 805*2^1438447-1 is not prime. Res64: 7BC9CFAD19DEC813 Time : 0.0 sec. user=mdettweiler [2016-08-31 18:20:27] 871*2^1438447-1 is not prime. Res64: FE0326A5172EF820 Time : 0.0 sec. user=mdettweiler [2016-08-31 18:20:28] 913*2^1438447-1 is not prime. Res64: 83E8D2AE6C640BAA Time : 0.0 sec. user=mdettweiler [2016-08-31 18:20:28] 919*2^1438447-1 is not prime. Res64: C5C8BF307618C342 Time : 0.0 sec. user=mdettweiler [2016-08-31 18:42:19] 931*2^1438447-1 is not prime. Res64: EB1774159CF58510 Time : 0.0 sec. user=mdettweiler [2016-08-31 18:42:20] 933*2^1438447-1 is not prime. Res64: E5FD037C43519668 Time : 0.0 sec. user=mdettweiler [2016-08-31 18:42:20] 961*2^1438447-1 is not prime. Res64: 386EBEF162AA1AE1 Time : 0.0 sec. user=mdettweiler [2016-08-31 18:42:20] 665*2^1438448-1 is not prime. Res64: 4F38A49A0A9F542F Time : 0.0 sec. user=mdettweiler [2016-08-31 18:42:21] 899*2^1438448-1 is not prime. Res64: D138B6A05D26FD90 Time : 0.0 sec. user=mdettweiler [2016-08-31 18:51:18] 923*2^1438448-1 is not prime. Res64: 847DBA2C90436B6A Time : 0.0 sec. user=mdettweiler [2016-08-31 18:51:19] 609*2^1438449-1 is not prime. Res64: 0C667A69CDC039B3 Time : 0.0 sec. user=mdettweiler [2016-08-31 18:51:19] 625*2^1438449-1 is not prime. Res64: F9A6507058B5DA1A Time : 0.0 sec. user=mdettweiler [2016-08-31 18:51:20] 669*2^1438449-1 is not prime. Res64: 26C319E6AD026AF3 Time : 0.0 sec. user=mdettweiler [2016-08-31 18:51:20] 747*2^1438449-1 is not prime. Res64: B473B0E473F7958D Time : 0.0 sec. user=mdettweiler [2016-08-31 18:59:10] 951*2^1438449-1 is not prime. Res64: E7F5F4073CA0ADF7 Time : 0.0 sec. user=mdettweiler [2016-08-31 18:59:10] 969*2^1438449-1 is not prime. Res64: DA311FB35C5154F9 Time : 0.0 sec. user=mdettweiler [2016-08-31 18:59:11] 623*2^1438450-1 is not prime. Res64: 70A795F00ADCDDCE Time : 0.0 sec. user=mdettweiler [2016-08-31 18:59:11] 647*2^1438450-1 is not prime. Res64: 90FC7B877EEDD856 Time : 0.0 sec. user=mdettweiler [2016-08-31 18:59:12] 675*2^1438450-1 is not prime. Res64: 2AF4259D207A1C95 Time : 0.0 sec. user=mdettweiler [2016-08-31 19:05:37] 825*2^1438450-1 is not prime. Res64: A7D3ED3CCA908829 Time : 0.0 sec. user=mdettweiler [2016-08-31 19:05:38] 831*2^1438450-1 is not prime. Res64: 6D8146A87B5CC872 Time : 0.0 sec. user=mdettweiler [2016-08-31 19:05:40] 833*2^1438450-1 is not prime. Res64: 0A8A6FD0703BFF0C Time : 0.0 sec. user=mdettweiler [2016-08-31 19:05:41] 867*2^1438450-1 is not prime. Res64: 73B8FE3B83BEB4FE Time : 0.0 sec. user=mdettweiler [2016-08-31 19:05:43] 615*2^1438451-1 is not prime. Res64: F37793D2D9D7A36D Time : 0.0 sec. user=mdettweiler [2016-08-31 19:27:22] 679*2^1438451-1 is not prime. Res64: 2B20A00960E6931A Time : 0.0 sec. user=mdettweiler [2016-08-31 19:27:23] 823*2^1438451-1 is not prime. Res64: 6F08DB02AE7B233B Time : 0.0 sec. user=mdettweiler [2016-08-31 19:27:23] 843*2^1438451-1 is not prime. Res64: 82380500403A7152 Time : 0.0 sec. user=mdettweiler [2016-08-31 19:27:23] 909*2^1438451-1 is not prime. Res64: 41D3297DFE6F7681 Time : 0.0 sec. user=mdettweiler [2016-08-31 19:27:24] 973*2^1438451-1 is not prime. Res64: 796321A992734572 Time : 0.0 sec. user=mdettweiler [2016-08-31 19:36:17] 979*2^1438451-1 is not prime. Res64: 5DEBE51674490F2B Time : 0.0 sec. user=mdettweiler [2016-08-31 19:36:18] 653*2^1438452-1 is not prime. Res64: 272BDA3F8ED37B1D Time : 0.0 sec. user=mdettweiler [2016-08-31 19:36:18] 665*2^1438452-1 is not prime. Res64: 5CE7CD53535347E1 Time : 0.0 sec. user=mdettweiler [2016-08-31 19:36:19] 779*2^1438452-1 is not prime. Res64: DF1328FE9AB41782 Time : 0.0 sec. user=mdettweiler [2016-08-31 19:36:19] 957*2^1438452-1 is not prime. Res64: 762851FEBB0BE609 Time : 0.0 sec. user=mdettweiler [2016-08-31 19:44:07] 965*2^1438452-1 is not prime. Res64: 66AE8C03D3D6FD1F Time : 0.0 sec. user=mdettweiler [2016-08-31 19:44:08] 615*2^1438453-1 is not prime. Res64: 5D4F0B723E7BAEA9 Time : 0.0 sec. user=mdettweiler [2016-08-31 19:44:08] 699*2^1438453-1 is not prime. Res64: 66A6ECC5900FFDA4 Time : 0.0 sec. user=mdettweiler [2016-08-31 19:44:08] 729*2^1438453-1 is not prime. Res64: A5EF0A9FA1163B58 Time : 0.0 sec. user=mdettweiler [2016-08-31 19:44:09] 747*2^1438453-1 is not prime. Res64: 03E57DBF9A59E999 Time : 0.0 sec. user=mdettweiler [2016-08-31 19:51:08] 769*2^1438453-1 is not prime. Res64: D68A5D4238666088 Time : 0.0 sec. user=mdettweiler [2016-08-31 19:51:08] 847*2^1438453-1 is not prime. Res64: 0910C5DE03CC2CD8 Time : 0.0 sec. user=mdettweiler [2016-08-31 19:51:09] 937*2^1438453-1 is not prime. Res64: 4433071FA88D7193 Time : 0.0 sec. user=mdettweiler [2016-08-31 19:51:09] 623*2^1438454-1 is not prime. Res64: 00A775071EA2BF97 Time : 0.0 sec. user=mdettweiler [2016-08-31 19:51:09] 635*2^1438454-1 is not prime. Res64: 2D8AB5E49D61999D Time : 0.0 sec. user=mdettweiler [2016-08-31 20:12:33] 693*2^1438454-1 is not prime. Res64: EF9BAEC27C4696AB Time : 0.0 sec. user=mdettweiler [2016-08-31 20:12:34] 705*2^1438454-1 is not prime. Res64: 4AE0E0C2999407FA Time : 0.0 sec. user=mdettweiler [2016-08-31 20:12:34] 741*2^1438454-1 is not prime. Res64: C2358133F4D46C20 Time : 0.0 sec. user=mdettweiler [2016-08-31 20:12:34] 753*2^1438454-1 is not prime. Res64: 40A943E4A98BDED9 Time : 0.0 sec. user=mdettweiler [2016-08-31 20:12:35] 923*2^1438454-1 is not prime. Res64: 755BCC749E060387 Time : 0.0 sec. user=mdettweiler [2016-08-31 20:22:17] 751*2^1438455-1 is not prime. Res64: 07654F1BE6C990C7 Time : 0.0 sec. user=mdettweiler [2016-08-31 20:22:17] 763*2^1438455-1 is not prime. Res64: 2397214198545AC7 Time : 0.0 sec. user=mdettweiler [2016-08-31 20:22:17] 955*2^1438455-1 is not prime. Res64: 5C8B2CE7415B09A0 Time : 0.0 sec. user=mdettweiler [2016-08-31 20:22:18] 719*2^1438456-1 is not prime. Res64: B1EAE6DEAE558FE6 Time : 0.0 sec. user=mdettweiler [2016-08-31 20:22:18] 759*2^1438456-1 is not prime. Res64: 2A12C5FDAB015AB6 Time : 0.0 sec. user=mdettweiler [2016-08-31 20:30:01] 765*2^1438456-1 is not prime. Res64: DB91E694F8E8FF56 Time : 0.0 sec. user=mdettweiler [2016-08-31 20:30:03] 803*2^1438456-1 is not prime. Res64: CD1C73886277BB54 Time : 0.0 sec. user=mdettweiler [2016-08-31 20:30:04] 903*2^1438456-1 is not prime. Res64: 769A85CD17AE6656 Time : 0.0 sec. user=mdettweiler [2016-08-31 20:30:04] 909*2^1438456-1 is not prime. Res64: CD30D93AF06CBD5E Time : 0.0 sec. user=mdettweiler [2016-08-31 20:30:05] 615*2^1438457-1 is not prime. Res64: 098F6CCEDA6AE45E Time : 0.0 sec. user=mdettweiler [2016-08-31 20:37:09] 669*2^1438457-1 is not prime. Res64: 34E9BA58C963AACA Time : 0.0 sec. user=mdettweiler [2016-08-31 20:37:09] 837*2^1438457-1 is not prime. Res64: D2D6A2C2E729BC37 Time : 0.0 sec. user=mdettweiler [2016-08-31 20:37:10] 879*2^1438457-1 is not prime. Res64: BEDEA599C4F57343 Time : 0.0 sec. user=mdettweiler [2016-08-31 20:37:10] 909*2^1438457-1 is not prime. Res64: EF72C3262F365F36 Time : 0.0 sec. user=mdettweiler [2016-08-31 20:37:11] 931*2^1438457-1 is not prime. Res64: DFD668B706E49407 Time : 0.0 sec. user=mdettweiler [2016-08-31 20:58:32] 967*2^1438457-1 is not prime. Res64: 832802901BE1E570 Time : 0.0 sec. user=mdettweiler [2016-08-31 20:58:33] 893*2^1438458-1 is not prime. Res64: 4D05B3B42BA33699 Time : 0.0 sec. user=mdettweiler [2016-08-31 20:58:33] 915*2^1438458-1 is not prime. Res64: 26478530789E2354 Time : 0.0 sec. user=mdettweiler [2016-08-31 20:58:34] 603*2^1438459-1 is not prime. Res64: F59D781AE4C84BB7 Time : 0.0 sec. user=mdettweiler [2016-08-31 20:58:34] 693*2^1438459-1 is not prime. Res64: 426C1F498CBF56ED Time : 0.0 sec. user=mdettweiler [2016-08-31 21:07:26] 723*2^1438459-1 is not prime. Res64: 1F037FA7CFB20EBB Time : 0.0 sec. user=mdettweiler [2016-08-31 21:07:28] 735*2^1438459-1 is not prime. Res64: 0850AB4089B89993 Time : 0.0 sec. user=mdettweiler [2016-08-31 21:07:30] 975*2^1438459-1 is not prime. Res64: 39B10B4430F5D05D Time : 0.0 sec. user=mdettweiler [2016-08-31 21:07:31] 629*2^1438460-1 is not prime. Res64: 1FB512AC109488DE Time : 0.0 sec. user=mdettweiler [2016-08-31 21:07:34] 669*2^1438460-1 is not prime. Res64: 98C19D325A134912 Time : 0.0 sec. user=mdettweiler [2016-08-31 21:16:03] 687*2^1438460-1 is not prime. Res64: 0319F9692028CB95 Time : 0.0 sec. user=mdettweiler [2016-08-31 21:16:04] 707*2^1438460-1 is not prime. Res64: 889E66DE0E724C70 Time : 0.0 sec. user=mdettweiler [2016-08-31 21:16:04] 803*2^1438460-1 is not prime. Res64: 3D7E2E3D1C18F909 Time : 0.0 sec. user=mdettweiler [2016-08-31 21:16:04] 843*2^1438460-1 is not prime. Res64: F78ED5D525EA10CB Time : 0.0 sec. user=mdettweiler [2016-08-31 21:16:04] 897*2^1438460-1 is not prime. Res64: 753F1311FBED19CC Time : 0.0 sec. user=mdettweiler [2016-08-31 21:23:37] 999*2^1438460-1 is not prime. Res64: 62A338CB7CC3A7F8 Time : 0.0 sec. user=mdettweiler [2016-08-31 21:23:37] 675*2^1438461-1 is not prime. Res64: 81B7B85D1E9858B1 Time : 0.0 sec. user=mdettweiler [2016-08-31 21:23:38] 691*2^1438461-1 is not prime. Res64: 9FEB4B2C8B4C2143 Time : 0.0 sec. user=mdettweiler [2016-08-31 21:23:38] 717*2^1438461-1 is not prime. Res64: 2E305D901926BCAD Time : 0.0 sec. user=mdettweiler [2016-08-31 21:23:38] 727*2^1438461-1 is not prime. Res64: 210E92EB203A64A8 Time : 0.0 sec. user=mdettweiler [2016-08-31 21:46:29] 741*2^1438461-1 is not prime. Res64: F4239369BE1322B4 Time : 0.0 sec. user=mdettweiler [2016-08-31 21:46:29] 789*2^1438461-1 is not prime. Res64: 685806DD75846E6F Time : 0.0 sec. user=mdettweiler [2016-08-31 21:46:29] 865*2^1438461-1 is not prime. Res64: 4F67EA0AC30C87CD Time : 0.0 sec. user=mdettweiler [2016-08-31 21:46:30] 955*2^1438461-1 is not prime. Res64: 0C48BBCB3045EBA5 Time : 0.0 sec. user=mdettweiler [2016-08-31 21:46:30] 657*2^1438462-1 is not prime. Res64: 208D38DF022D7927 Time : 0.0 sec. user=mdettweiler [2016-08-31 21:55:19] 671*2^1438462-1 is not prime. Res64: EA1C901C2904AA31 Time : 0.0 sec. user=mdettweiler [2016-08-31 21:55:20] 761*2^1438462-1 is not prime. Res64: E58AEED27FCA466D Time : 0.0 sec. user=mdettweiler [2016-08-31 21:55:20] 833*2^1438462-1 is not prime. Res64: BFB4E2706ACEA3B1 Time : 0.0 sec. user=mdettweiler [2016-08-31 21:55:20] 881*2^1438462-1 is not prime. Res64: 9DDD5A09E11BBE36 Time : 0.0 sec. user=mdettweiler [2016-08-31 21:55:21] 983*2^1438462-1 is not prime. Res64: B86212FE3818F2C7 Time : 0.0 sec. user=mdettweiler [2016-08-31 22:03:21] 609*2^1438463-1 is not prime. Res64: 189269866DD00016 Time : 0.0 sec. user=mdettweiler [2016-08-31 22:03:22] 615*2^1438463-1 is not prime. Res64: 07035EA3A062407E Time : 0.0 sec. user=mdettweiler [2016-08-31 22:03:22] 753*2^1438463-1 is not prime. Res64: EC1E2263958B0880 Time : 0.0 sec. user=mdettweiler [2016-08-31 22:03:23] 943*2^1438463-1 is not prime. Res64: 5EC26F75FAEEB6E3 Time : 0.0 sec. user=mdettweiler [2016-08-31 22:03:23] 969*2^1438463-1 is not prime. Res64: 9D04B09883DF1617 Time : 0.0 sec. user=mdettweiler [2016-08-31 22:09:59] 689*2^1438464-1 is not prime. Res64: 8EEC4819998DC5D1 Time : 0.0 sec. user=mdettweiler [2016-08-31 22:09:59] 707*2^1438464-1 is not prime. Res64: 46933F641A7AEF50 Time : 0.0 sec. user=mdettweiler [2016-08-31 22:10:00] 909*2^1438464-1 is not prime. Res64: 66DF8C70B047393F Time : 0.0 sec. user=mdettweiler [2016-08-31 22:10:00] 983*2^1438464-1 is not prime. Res64: 9AC0880F186A7CDF Time : 0.0 sec. user=mdettweiler [2016-08-31 22:10:00] 993*2^1438464-1 is not prime. Res64: 4B27A4329E6EF114 Time : 0.0 sec. user=mdettweiler [2016-08-31 22:32:15] 691*2^1438465-1 is not prime. Res64: 52930AE5801340D6 Time : 0.0 sec. user=mdettweiler [2016-08-31 22:32:15] 765*2^1438465-1 is not prime. Res64: A4AF836DEA12AFDB Time : 0.0 sec. user=mdettweiler [2016-08-31 22:32:15] 871*2^1438465-1 is not prime. Res64: A8635581980AF114 Time : 0.0 sec. user=mdettweiler [2016-08-31 22:32:16] 885*2^1438465-1 is not prime. Res64: B70429B295B21A1E Time : 0.0 sec. user=mdettweiler [2016-08-31 22:32:16] 909*2^1438465-1 is not prime. Res64: 58B433A8FDB102B2 Time : 0.0 sec. user=mdettweiler [2016-08-31 22:41:14] 939*2^1438465-1 is not prime. Res64: 562725C7EBAF4CDB Time : 0.0 sec. user=mdettweiler [2016-08-31 22:41:14] 957*2^1438465-1 is not prime. Res64: 8AEECFF84CEBEEBE Time : 0.0 sec. user=mdettweiler [2016-08-31 22:41:15] 985*2^1438465-1 is not prime. Res64: 2D5C6175988FDD44 Time : 0.0 sec. user=mdettweiler [2016-08-31 22:41:15] 633*2^1438466-1 is not prime. Res64: 40CA750D46575621 Time : 0.0 sec. user=mdettweiler [2016-08-31 22:41:16] 635*2^1438466-1 is not prime. Res64: 81230EEFA7B735E6 Time : 0.0 sec. user=mdettweiler [2016-08-31 22:49:44] 657*2^1438466-1 is not prime. Res64: E99B25FC958C67D8 Time : 0.0 sec. user=mdettweiler [2016-08-31 22:49:45] 873*2^1438466-1 is not prime. Res64: CE9C814796DC24C6 Time : 0.0 sec. user=mdettweiler [2016-08-31 22:49:45] 903*2^1438466-1 is not prime. Res64: 43F31D36D4C13EE6 Time : 0.0 sec. user=mdettweiler [2016-08-31 22:49:45] 957*2^1438466-1 is not prime. Res64: 6F96BA9D65BBDA90 Time : 0.0 sec. user=mdettweiler [2016-08-31 22:49:46] 993*2^1438466-1 is not prime. Res64: 33DD6DC92D7D5661 Time : 0.0 sec. user=mdettweiler [2016-08-31 22:56:25] 1001*2^1438466-1 is not prime. Res64: 5716BAC48C18DC88 Time : 0.0 sec. user=mdettweiler [2016-08-31 22:56:25] 741*2^1438467-1 is not prime. Res64: 9DD283AA25AA8F08 Time : 0.0 sec. user=mdettweiler [2016-08-31 22:56:26] 753*2^1438467-1 is not prime. Res64: C6F98E23150E515B Time : 0.0 sec. user=mdettweiler [2016-08-31 22:56:28] 765*2^1438467-1 is not prime. Res64: A4E99BBD42AF4570 Time : 0.0 sec. user=mdettweiler [2016-08-31 22:56:29] 819*2^1438467-1 is not prime. Res64: 7B0E0C738570E149 Time : 0.0 sec. user=mdettweiler [2016-08-31 23:18:49] 919*2^1438467-1 is not prime. Res64: 78870371679DC829 Time : 0.0 sec. user=mdettweiler [2016-08-31 23:18:50] 615*2^1438468-1 is not prime. Res64: 81C9AA555076DD8C Time : 0.0 sec. user=mdettweiler [2016-08-31 23:18:50] 803*2^1438468-1 is not prime. Res64: 62B1FF6DBD6FB9B8 Time : 0.0 sec. user=mdettweiler [2016-08-31 23:18:50] 825*2^1438468-1 is not prime. Res64: BDE0FA6F35A92529 Time : 0.0 sec. user=mdettweiler [2016-08-31 23:18:51] 863*2^1438468-1 is not prime. Res64: 19E6FAD2EC6F7632 Time : 0.0 sec. user=mdettweiler [2016-08-31 23:28:17] 929*2^1438468-1 is not prime. Res64: 0996BEA7761BA5DD Time : 0.0 sec. user=mdettweiler [2016-08-31 23:28:18] 959*2^1438468-1 is not prime. Res64: F849ADDD5DCA170B Time : 0.0 sec. user=mdettweiler [2016-08-31 23:28:18] 747*2^1438469-1 is not prime. Res64: ECF08B8F1554EA00 Time : 0.0 sec. user=mdettweiler [2016-08-31 23:28:19] 787*2^1438469-1 is not prime. Res64: D1A621D3ADACFC80 Time : 0.0 sec. user=mdettweiler [2016-08-31 23:28:19] 865*2^1438469-1 is not prime. Res64: B4E362365751B28C Time : 0.0 sec. user=mdettweiler [2016-08-31 23:42:50] 601*2^1438471-1 is not prime. Res64: 8BD87572DFBE8CB8 Time : 0.0 sec. user=mdettweiler [2016-08-31 23:42:50] 661*2^1438471-1 is not prime. Res64: B0397FC3843EB77B Time : 0.0 sec. user=mdettweiler [2016-08-31 23:42:51] 693*2^1438471-1 is not prime. Res64: D3A92DB3D923F2BD Time : 0.0 sec. user=mdettweiler [2016-08-31 23:42:51] 741*2^1438471-1 is not prime. Res64: BC01BDD90A612BA6 Time : 0.0 sec. user=mdettweiler [2016-08-31 23:42:52] 775*2^1438471-1 is not prime. Res64: 7C759A184AE32588 Time : 0.0 sec.