user=mdettweiler [2016-08-23 00:03:45] 825*2^1438131-1 is not prime. Res64: 4E05EAA8C06358D9 Time : 0.0 sec. user=mdettweiler [2016-08-23 00:03:48] 835*2^1438131-1 is not prime. Res64: 2322CCCFAD654A3F Time : 0.0 sec. user=mdettweiler [2016-08-23 00:03:49] 975*2^1438131-1 is not prime. Res64: 9FF55B936065FC46 Time : 0.0 sec. user=mdettweiler [2016-08-23 00:03:50] 979*2^1438131-1 is not prime. Res64: BFF953E24D8AA77C Time : 0.0 sec. user=mdettweiler [2016-08-23 00:03:52] 629*2^1438132-1 is not prime. Res64: 056DD073EFD7C32D Time : 0.0 sec. user=mdettweiler [2016-08-23 00:04:07] 941*2^1438130-1 is not prime. Res64: 2300B9365C58E90F Time : 0.0 sec. user=mdettweiler [2016-08-23 00:04:09] 649*2^1438131-1 is not prime. Res64: DBD5EDFA3E45D6F3 Time : 0.0 sec. user=mdettweiler [2016-08-23 00:04:12] 745*2^1438131-1 is not prime. Res64: 5F1998C230280DBE Time : 0.0 sec. user=mdettweiler [2016-08-23 00:04:17] 751*2^1438131-1 is not prime. Res64: BC50E58441927DE3 Time : 0.0 sec. user=mdettweiler [2016-08-23 00:04:19] 769*2^1438131-1 is not prime. Res64: C4CCB4941EEA3024 Time : 0.0 sec. user=mdettweiler [2016-08-23 00:51:03] 657*2^1438132-1 is not prime. Res64: 949FA3AC9BA461E0 Time : 0.0 sec. user=mdettweiler [2016-08-23 00:51:04] 743*2^1438132-1 is not prime. Res64: 09BF396763A4A0FD Time : 0.0 sec. user=mdettweiler [2016-08-23 00:51:04] 855*2^1438132-1 is not prime. Res64: 690A3A7D4D085A6F Time : 0.0 sec. user=mdettweiler [2016-08-23 00:51:04] 863*2^1438132-1 is not prime. Res64: 14DBF215E0EB8664 Time : 0.0 sec. user=mdettweiler [2016-08-23 00:51:05] 619*2^1438133-1 is not prime. Res64: 0D9E43B638011553 Time : 0.0 sec. user=mdettweiler [2016-08-23 00:51:16] 669*2^1438133-1 is not prime. Res64: E920B05B4E325F94 Time : 0.0 sec. user=mdettweiler [2016-08-23 00:51:16] 679*2^1438133-1 is not prime. Res64: 0416CBEDCF997C97 Time : 0.0 sec. user=mdettweiler [2016-08-23 00:51:16] 771*2^1438133-1 is not prime. Res64: 3559CF29ED82FC61 Time : 0.0 sec. user=mdettweiler [2016-08-23 00:51:17] 775*2^1438133-1 is not prime. Res64: FC0E4DF4299DF9AB Time : 0.0 sec. user=mdettweiler [2016-08-23 00:51:17] 859*2^1438133-1 is not prime. Res64: ED2E869419043C82 Time : 0.0 sec. user=mdettweiler [2016-08-23 01:38:03] 927*2^1438133-1 is not prime. Res64: E11DD23CD00A6AE6 Time : 0.0 sec. user=mdettweiler [2016-08-23 01:38:52] 723*2^1438134-1 is not prime. Res64: F67E7F9FCE5D8D40 Time : 0.0 sec. user=mdettweiler [2016-08-23 01:38:53] 741*2^1438134-1 is not prime. Res64: D6478E82A1E32BE1 Time : 0.0 sec. user=mdettweiler [2016-08-23 01:38:54] 917*2^1438134-1 is not prime. Res64: 6800F834EE21C24C Time : 0.0 sec. user=mdettweiler [2016-08-23 01:38:54] 927*2^1438134-1 is not prime. Res64: AE97540511D099D1 Time : 0.0 sec. user=mdettweiler [2016-08-23 01:38:55] 947*2^1438134-1 is not prime. Res64: 82D8E702178BB920 Time : 0.0 sec. user=mdettweiler [2016-08-23 02:28:41] 965*2^1438134-1 is not prime. Res64: 8A93162B956104AF Time : 0.0 sec. user=mdettweiler [2016-08-23 02:28:41] 603*2^1438135-1 is not prime. Res64: 111638DCFDE04C2C Time : 0.0 sec. user=mdettweiler [2016-08-23 02:28:42] 685*2^1438135-1 is not prime. Res64: 7B409AFA3714B5C5 Time : 0.0 sec. user=mdettweiler [2016-08-23 02:28:42] 783*2^1438135-1 is not prime. Res64: 69669090CAB81EB3 Time : 0.0 sec. user=mdettweiler [2016-08-23 02:28:43] 885*2^1438135-1 is not prime. Res64: 71AA5DC634722304 Time : 0.0 sec. user=mdettweiler [2016-08-23 02:57:03] 985*2^1438125-1 is not prime. Res64: 66ED0E1EF0F1A463 Time : 0.0 sec. user=mdettweiler [2016-08-23 02:57:04] 999*2^1438125-1 is not prime. Res64: 06A47A3659BD2FF1 Time : 0.0 sec. user=mdettweiler [2016-08-23 02:57:07] 857*2^1438126-1 is not prime. Res64: 53218C626689CB11 Time : 0.0 sec. user=mdettweiler [2016-08-23 02:57:09] 861*2^1438126-1 is not prime. Res64: A5928750BDD24E4C Time : 0.0 sec. user=mdettweiler [2016-08-23 03:13:21] 953*2^1438124-1 is not prime. Res64: B549F6411E60358C Time : 0.0 sec. user=mdettweiler [2016-08-23 03:13:24] 983*2^1438124-1 is not prime. Res64: B9A0204D471272BA Time : 0.0 sec. user=mdettweiler [2016-08-23 03:13:26] 655*2^1438125-1 is not prime. Res64: E4B6C70DAEB96470 Time : 0.0 sec. user=mdettweiler [2016-08-23 03:13:29] 837*2^1438125-1 is not prime. Res64: 2BA08638CFDB35F6 Time : 0.0 sec. user=mdettweiler [2016-08-23 03:17:15] 933*2^1438135-1 is not prime. Res64: 88C410737FEA6436 Time : 0.0 sec. user=mdettweiler [2016-08-23 03:17:15] 939*2^1438135-1 is not prime. Res64: C45D0A4EF956B487 Time : 0.0 sec. user=mdettweiler [2016-08-23 03:17:15] 785*2^1438136-1 is not prime. Res64: A733AD30EE4F6FC2 Time : 0.0 sec. user=mdettweiler [2016-08-23 03:17:16] 923*2^1438136-1 is not prime. Res64: 0C19BC308361601C Time : 0.0 sec. user=mdettweiler [2016-08-23 03:17:19] 993*2^1438136-1 is not prime. Res64: DCDC3EE86C3D9664 Time : 0.0 sec. user=mdettweiler [2016-08-23 03:43:25] 625*2^1438137-1 is not prime. Res64: 56CAC7B717E767A3 Time : 0.0 sec. user=mdettweiler [2016-08-23 03:43:29] 741*2^1438137-1 is not prime. Res64: A58FBF8C01C2BA23 Time : 0.0 sec. user=mdettweiler [2016-08-23 03:43:31] 777*2^1438137-1 is not prime. Res64: C407EE075AC0246A Time : 0.0 sec. user=mdettweiler [2016-08-23 03:43:36] 805*2^1438137-1 is not prime. Res64: 95AEA538F746EF10 Time : 0.0 sec. user=mdettweiler [2016-08-23 03:43:41] 871*2^1438137-1 is not prime. Res64: 058DDD56A8330B00 Time : 0.0 sec. user=mdettweiler [2016-08-23 03:59:25] 901*2^1438137-1 is not prime. Res64: 11A7BC733B9C0D7A Time : 0.0 sec. user=mdettweiler [2016-08-23 03:59:27] 991*2^1438137-1 is not prime. Res64: 2C40465F190E361A Time : 0.0 sec. user=mdettweiler [2016-08-23 03:59:28] 623*2^1438138-1 is not prime. Res64: D8B162A5050F0B53 Time : 0.0 sec. user=mdettweiler [2016-08-23 03:59:32] 657*2^1438138-1 is not prime. Res64: DFAB971FE0517D31 Time : 0.0 sec. user=mdettweiler [2016-08-23 03:59:33] 803*2^1438138-1 is not prime. Res64: 187EF0BDDB770272 Time : 0.0 sec. user=mdettweiler [2016-08-23 04:03:03] 827*2^1438138-1 is not prime. Res64: E532F99FFFADE215 Time : 0.0 sec. user=mdettweiler [2016-08-23 04:03:10] 857*2^1438138-1 is not prime. Res64: D4F3DD3FFB3B2EFE Time : 0.0 sec. user=mdettweiler [2016-08-23 04:03:15] 981*2^1438138-1 is not prime. Res64: D4844313DFD490FC Time : 0.0 sec. user=mdettweiler [2016-08-23 04:03:20] 621*2^1438139-1 is not prime. Res64: CE2D28E4B37B20AB Time : 0.0 sec. user=mdettweiler [2016-08-23 04:03:25] 759*2^1438139-1 is not prime. Res64: 8C656AA979851F6B Time : 0.0 sec. user=mdettweiler [2016-08-23 04:30:00] 861*2^1438139-1 is not prime. Res64: 6FBD91E6DD8B2ECC Time : 0.0 sec. user=mdettweiler [2016-08-23 04:30:00] 895*2^1438139-1 is not prime. Res64: 9839EE528B830EDE Time : 0.0 sec. user=mdettweiler [2016-08-23 04:30:01] 955*2^1438139-1 is not prime. Res64: F9A8EF25F38106DC Time : 0.0 sec. user=mdettweiler [2016-08-23 04:30:01] 993*2^1438139-1 is not prime. Res64: CAE7348AAF38E51F Time : 0.0 sec. user=mdettweiler [2016-08-23 04:30:02] 777*2^1438140-1 is not prime. Res64: ED805C1E7B1FC7C4 Time : 0.0 sec. user=mdettweiler [2016-08-23 04:47:59] 797*2^1438140-1 is not prime. Res64: 912E70626422A4A1 Time : 0.0 sec. user=mdettweiler [2016-08-23 04:47:59] 839*2^1438140-1 is not prime. Res64: A3AA42C95AAD922B Time : 0.0 sec. user=mdettweiler [2016-08-23 04:48:00] 845*2^1438140-1 is not prime. Res64: 3409A88FBE893127 Time : 0.0 sec. user=mdettweiler [2016-08-23 04:48:00] 879*2^1438140-1 is not prime. Res64: 75F8C12AAA498822 Time : 0.0 sec. user=mdettweiler [2016-08-23 04:48:00] 899*2^1438140-1 is not prime. Res64: 29BDCA21EDC22659 Time : 0.0 sec. user=mdettweiler [2016-08-23 04:52:18] 675*2^1438141-1 is not prime. Res64: 2CF4221FF65CA979 Time : 0.0 sec. user=mdettweiler [2016-08-23 04:52:18] 825*2^1438141-1 is not prime. Res64: 7E397530B7B2D637 Time : 0.0 sec. user=mdettweiler [2016-08-23 04:52:18] 829*2^1438141-1 is not prime. Res64: DA3924B2FB3B83C1 Time : 0.0 sec. user=mdettweiler [2016-08-23 04:52:19] 855*2^1438141-1 is not prime. Res64: 3E413DF446895D12 Time : 0.0 sec. user=mdettweiler [2016-08-23 04:52:19] 939*2^1438141-1 is not prime. Res64: 548E7FF8F7F38332 Time : 0.0 sec. user=mdettweiler [2016-08-23 05:17:28] 981*2^1438133-1 is not prime. Res64: 72491867C33C79D5 Time : 0.0 sec. user=mdettweiler [2016-08-23 05:17:28] 663*2^1438134-1 is not prime. Res64: 9A66E716CAB6D5E2 Time : 0.0 sec. user=mdettweiler [2016-08-23 05:17:29] 681*2^1438134-1 is not prime. Res64: 56C9BD842F1CBFE1 Time : 0.0 sec. user=mdettweiler [2016-08-23 05:17:32] 693*2^1438134-1 is not prime. Res64: 15C6EF4343FD2A21 Time : 0.0 sec. user=mdettweiler [2016-08-23 05:17:46] 771*2^1438142-1 is not prime. Res64: 6AC68A01A22C80F8 Time : 0.0 sec. user=mdettweiler [2016-08-23 05:17:46] 873*2^1438142-1 is not prime. Res64: B2D2CA53F47FD130 Time : 0.0 sec. user=mdettweiler [2016-08-23 05:17:47] 921*2^1438142-1 is not prime. Res64: 0D057AF96470C165 Time : 0.0 sec. user=mdettweiler [2016-08-23 05:17:47] 941*2^1438142-1 is not prime. Res64: D28FAA56D55BDD6F Time : 0.0 sec. user=mdettweiler [2016-08-23 05:17:47] 981*2^1438142-1 is not prime. Res64: 373F80FEDDC0653D Time : 0.0 sec. user=mdettweiler [2016-08-23 05:33:26] 615*2^1438143-1 is not prime. Res64: 65FEFA664BF66C02 Time : 0.0 sec. user=mdettweiler [2016-08-23 05:33:26] 649*2^1438143-1 is not prime. Res64: E5838038FB1A71F2 Time : 0.0 sec. user=mdettweiler [2016-08-23 05:33:27] 679*2^1438143-1 is not prime. Res64: FE94A8860E3C42E4 Time : 0.0 sec. user=mdettweiler [2016-08-23 05:33:29] 751*2^1438143-1 is not prime. Res64: 57D885F15263A93D Time : 0.0 sec. user=mdettweiler [2016-08-23 05:33:30] 891*2^1438143-1 is not prime. Res64: D25F54CA12AD6F58 Time : 0.0 sec. user=mdettweiler [2016-08-23 05:37:41] 951*2^1438143-1 is not prime. Res64: 51F7E9E1398F3580 Time : 0.0 sec. user=mdettweiler [2016-08-23 05:37:41] 605*2^1438144-1 is not prime. Res64: 69227E51B96C5A38 Time : 0.0 sec. user=mdettweiler [2016-08-23 05:37:42] 635*2^1438144-1 is not prime. Res64: A5163F48A988A7D4 Time : 0.0 sec. user=mdettweiler [2016-08-23 05:37:42] 639*2^1438144-1 is not prime. Res64: B1D909DD4BFC3B07 Time : 0.0 sec. user=mdettweiler [2016-08-23 05:37:42] 695*2^1438144-1 is not prime. Res64: A22DAF3C0393AAE1 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:02:32] 863*2^1438144-1 is not prime. Res64: A260D10CD7C426E5 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:02:36] 869*2^1438144-1 is not prime. Res64: CF9999F62354C088 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:02:38] 875*2^1438144-1 is not prime. Res64: 67580357C57E4855 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:02:42] 947*2^1438144-1 is not prime. Res64: EBA0E4F12F961757 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:02:44] 645*2^1438145-1 is not prime. Res64: 7FBF4D31163C74EC Time : 0.0 sec. user=mdettweiler [2016-08-23 06:02:58] 771*2^1438145-1 is not prime. Res64: E081F769305FB4A2 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:03:03] 787*2^1438145-1 is not prime. Res64: E2DC2FDB1329D1A5 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:03:07] 907*2^1438145-1 is not prime. Res64: 8F0E1BF010550B98 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:03:12] 627*2^1438146-1 is not prime. Res64: 38A7B227F75206C5 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:03:13] 633*2^1438146-1 is not prime. Res64: 81592CA00E6FA772 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:18:33] 671*2^1438146-1 is not prime. Res64: 4B3F307983442965 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:18:34] 821*2^1438146-1 is not prime. Res64: 4BDD40663F5E5025 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:18:34] 861*2^1438146-1 is not prime. Res64: B2EC412EF7AE4542 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:18:34] 921*2^1438146-1 is not prime. Res64: 4A651EC408B51182 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:18:35] 947*2^1438146-1 is not prime. Res64: A387AC3ECEB95D90 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:22:41] 993*2^1438146-1 is not prime. Res64: CF32946EFD45217D Time : 0.0 sec. user=mdettweiler [2016-08-23 06:22:42] 715*2^1438147-1 is not prime. Res64: 60D700BEE7932AF2 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:22:42] 769*2^1438147-1 is not prime. Res64: 067A5EC36E008196 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:22:43] 843*2^1438147-1 is not prime. Res64: 8DF7A1B62175C7A5 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:22:43] 849*2^1438147-1 is not prime. Res64: 82DBCE180123E946 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:48:01] 889*2^1438147-1 is not prime. Res64: 9A89A5B7BCA69763 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:48:02] 633*2^1438148-1 is not prime. Res64: AED70A66A977076A Time : 0.0 sec. user=mdettweiler [2016-08-23 06:48:02] 777*2^1438148-1 is not prime. Res64: 9BDE5BCAA6524B07 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:48:03] 797*2^1438148-1 is not prime. Res64: E56C05A8CEB81FF9 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:48:03] 825*2^1438148-1 is not prime. Res64: 876DAE733736D10C Time : 0.0 sec. user=mdettweiler [2016-08-23 06:48:19] 959*2^1438148-1 is not prime. Res64: BD3780515D647005 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:48:20] 609*2^1438149-1 is not prime. Res64: 2F1BFCE74F721641 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:48:20] 667*2^1438149-1 is not prime. Res64: 9137851374121357 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:48:20] 681*2^1438149-1 is not prime. Res64: B44B82A97A5C2694 Time : 0.0 sec. user=mdettweiler [2016-08-23 06:48:21] 735*2^1438149-1 is not prime. Res64: B266A812A04E080A Time : 0.0 sec. user=mdettweiler [2016-08-23 07:03:42] 787*2^1438149-1 is not prime. Res64: 639800CC7D7F8169 Time : 0.0 sec. user=mdettweiler [2016-08-23 07:03:43] 945*2^1438149-1 is not prime. Res64: AF7A5856CE2E8CDB Time : 0.0 sec. user=mdettweiler [2016-08-23 07:03:45] 949*2^1438149-1 is not prime. Res64: 282ED9976202A9A2 Time : 0.0 sec. user=mdettweiler [2016-08-23 07:03:46] 611*2^1438150-1 is not prime. Res64: 541C25B94A53D79A Time : 0.0 sec. user=mdettweiler [2016-08-23 07:03:47] 653*2^1438150-1 is not prime. Res64: F57FA8913B7FABFD Time : 0.0 sec. user=mdettweiler [2016-08-23 07:07:40] 801*2^1438150-1 is not prime. Res64: 3AB5EC4067FC6217 Time : 0.0 sec. user=mdettweiler [2016-08-23 07:07:43] 857*2^1438150-1 is not prime. Res64: 1604FBD3AE63BA68 Time : 0.0 sec. user=mdettweiler [2016-08-23 07:07:45] 887*2^1438150-1 is not prime. Res64: 716F2DC3D14B2D5F Time : 0.0 sec. user=mdettweiler [2016-08-23 07:07:47] 971*2^1438150-1 is not prime. Res64: EA9C73EE2B00D24C Time : 0.0 sec. user=mdettweiler [2016-08-23 07:07:49] 615*2^1438151-1 is not prime. Res64: E64832ABF1BBCCF7 Time : 0.0 sec. user=mdettweiler [2016-08-23 07:33:09] 669*2^1438151-1 is not prime. Res64: 4D85FF29C3AD88DA Time : 0.0 sec. user=mdettweiler [2016-08-23 07:33:09] 841*2^1438151-1 is not prime. Res64: 15859D75E2CB714F Time : 0.0 sec. user=mdettweiler [2016-08-23 07:33:10] 883*2^1438151-1 is not prime. Res64: 00726CA73E07E144 Time : 0.0 sec. user=mdettweiler [2016-08-23 07:33:10] 909*2^1438151-1 is not prime. Res64: 54F1580243F636F2 Time : 0.0 sec. user=mdettweiler [2016-08-23 07:33:11] 981*2^1438151-1 is not prime. Res64: A2203C947B50EEC4 Time : 0.0 sec. user=mdettweiler [2016-08-23 07:33:22] 675*2^1438152-1 is not prime. Res64: 5EFDB91D8176173F Time : 0.0 sec. user=mdettweiler [2016-08-23 07:33:23] 767*2^1438152-1 is not prime. Res64: 504658A97A1B22FB Time : 0.0 sec. user=mdettweiler [2016-08-23 07:33:23] 779*2^1438152-1 is not prime. Res64: 93C76EF36482F08E Time : 0.0 sec. user=mdettweiler [2016-08-23 07:33:24] 815*2^1438152-1 is not prime. Res64: 3747118C307F7AC9 Time : 0.0 sec. user=mdettweiler [2016-08-23 07:33:24] 843*2^1438152-1 is not prime. Res64: F9471ECCABF1E0D0 Time : 0.0 sec. user=mdettweiler [2016-08-23 07:49:10] 903*2^1438152-1 is not prime. Res64: DD16720B66DE171F Time : 0.0 sec. user=mdettweiler [2016-08-23 07:49:10] 945*2^1438152-1 is not prime. Res64: 8A2FE877C937EAEF Time : 0.0 sec. user=mdettweiler [2016-08-23 07:49:11] 681*2^1438153-1 is not prime. Res64: 68DB7981CC3EB396 Time : 0.0 sec. user=mdettweiler [2016-08-23 07:49:11] 729*2^1438153-1 is not prime. Res64: 0C482412C0FCE24E Time : 0.0 sec. user=mdettweiler [2016-08-23 07:49:12] 623*2^1438154-1 is not prime. Res64: 234F5690F708126C Time : 0.0 sec. user=mdettweiler [2016-08-23 07:53:22] 675*2^1438154-1 is not prime. Res64: 1FFA01DFC9A2CBEB Time : 0.0 sec. user=mdettweiler [2016-08-23 07:53:23] 683*2^1438154-1 is not prime. Res64: D445F9AFB8CAB897 Time : 0.0 sec. user=mdettweiler [2016-08-23 07:53:23] 827*2^1438154-1 is not prime. Res64: 75999D6634A5DA16 Time : 0.0 sec. user=mdettweiler [2016-08-23 07:53:26] 885*2^1438154-1 is not prime. Res64: F226F88D46EC1427 Time : 0.0 sec. user=mdettweiler [2016-08-23 07:53:26] 709*2^1438155-1 is not prime. Res64: DBCEE50CF1F861BF Time : 0.0 sec. user=mdettweiler [2016-08-23 08:18:06] 735*2^1438155-1 is not prime. Res64: 511821E48103AEAB Time : 0.0 sec. user=mdettweiler [2016-08-23 08:18:06] 739*2^1438155-1 is not prime. Res64: C17EC3BC5F7A93FD Time : 0.0 sec. user=mdettweiler [2016-08-23 08:18:07] 823*2^1438155-1 is not prime. Res64: A0BB9F7B68736D9F Time : 0.0 sec. user=mdettweiler [2016-08-23 08:18:07] 951*2^1438155-1 is not prime. Res64: 567CB75AE10C6AB3 Time : 0.0 sec. user=mdettweiler [2016-08-23 08:18:08] 963*2^1438155-1 is not prime. Res64: 0B159EACB54C9EA6 Time : 0.0 sec. user=mdettweiler [2016-08-23 08:18:28] 675*2^1438156-1 is not prime. Res64: 7027EAD71AE52E19 Time : 0.0 sec. user=mdettweiler [2016-08-23 08:18:28] 707*2^1438156-1 is not prime. Res64: 79E83A7001A945D7 Time : 0.0 sec. user=mdettweiler [2016-08-23 08:18:29] 755*2^1438156-1 is not prime. Res64: D9FC77E9FD79DF0B Time : 0.0 sec. user=mdettweiler [2016-08-23 08:18:29] 999*2^1438156-1 is not prime. Res64: 80F57514AA8B30C8 Time : 0.0 sec. user=mdettweiler [2016-08-23 08:18:30] 805*2^1438157-1 is not prime. Res64: 6551403F2B8D50E5 Time : 0.0 sec. user=mdettweiler [2016-08-23 08:34:15] 681*2^1438158-1 is not prime. Res64: 8B14D218296AF8D9 Time : 0.0 sec. user=mdettweiler [2016-08-23 08:34:16] 711*2^1438158-1 is not prime. Res64: 6D062EF0A390FF69 Time : 0.0 sec. user=mdettweiler [2016-08-23 08:34:16] 801*2^1438158-1 is not prime. Res64: 186A2E348ADE5016 Time : 0.0 sec. user=mdettweiler [2016-08-23 08:34:17] 941*2^1438158-1 is not prime. Res64: 9301B51DD5AE6091 Time : 0.0 sec. user=mdettweiler [2016-08-23 08:34:17] 951*2^1438158-1 is not prime. Res64: F48B4CE1BD544593 Time : 0.0 sec. user=mdettweiler [2016-08-23 08:38:23] 619*2^1438159-1 is not prime. Res64: 7FA8E2720FA6E939 Time : 0.0 sec. user=mdettweiler [2016-08-23 08:38:24] 625*2^1438159-1 is not prime. Res64: 00CF0ADFE5C631CF Time : 0.0 sec. user=mdettweiler [2016-08-23 08:38:27] 633*2^1438159-1 is not prime. Res64: 26AF603B5D32F6FD Time : 0.0 sec. user=mdettweiler [2016-08-23 08:38:28] 649*2^1438159-1 is not prime. Res64: DA7650D1A660EE35 Time : 0.0 sec. user=mdettweiler [2016-08-23 08:38:28] 853*2^1438159-1 is not prime. Res64: 4AD801FB83394B4E Time : 0.0 sec. user=mdettweiler [2016-08-23 09:03:18] 635*2^1438160-1 is not prime. Res64: 3E2EE526AB7CFCAC Time : 0.0 sec. user=mdettweiler [2016-08-23 09:03:18] 855*2^1438159-1 is not prime. Res64: 450D6217E27EDF34 Time : 0.0 sec. user=mdettweiler [2016-08-23 09:03:20] 675*2^1438160-1 is not prime. Res64: ACAAF769AABD88C5 Time : 0.0 sec. user=mdettweiler [2016-08-23 09:03:20] 909*2^1438159-1 is not prime. Res64: E9D128C7893E0892 Time : 0.0 sec. user=mdettweiler [2016-08-23 09:03:21] 999*2^1438159-1 is not prime. Res64: 24CC6D1882FC808C Time : 0.0 sec. user=mdettweiler [2016-08-23 09:03:21] 725*2^1438160-1 is not prime. Res64: A019ED5ACD35D18D Time : 0.0 sec. user=mdettweiler [2016-08-23 09:03:23] 603*2^1438160-1 is not prime. Res64: 3068F4E0C89C68F0 Time : 0.0 sec. user=mdettweiler [2016-08-23 09:03:25] 753*2^1438160-1 is not prime. Res64: 2C6AACF80E979307 Time : 0.0 sec. user=mdettweiler [2016-08-23 09:03:27] 609*2^1438160-1 is not prime. Res64: 1A729F3CDB94EB62 Time : 0.0 sec. user=mdettweiler [2016-08-23 09:03:34] 813*2^1438160-1 is not prime. Res64: 0C9B23149B0F52CA Time : 0.0 sec. user=mdettweiler [2016-08-23 09:19:34] 825*2^1438160-1 is not prime. Res64: CC7709BA9C360AD2 Time : 0.0 sec. user=mdettweiler [2016-08-23 09:19:35] 875*2^1438160-1 is not prime. Res64: F40BCE0DC0D40028 Time : 0.0 sec. user=mdettweiler [2016-08-23 09:19:35] 935*2^1438160-1 is not prime. Res64: AAA2D0ECE06AE26D Time : 0.0 sec. user=mdettweiler [2016-08-23 09:19:35] 977*2^1438160-1 is not prime. Res64: 7CFE01B31BB1A070 Time : 0.0 sec. user=mdettweiler [2016-08-23 09:19:36] 607*2^1438161-1 is not prime. Res64: AB2A23289200CE46 Time : 0.0 sec. user=mdettweiler [2016-08-23 09:24:00] 639*2^1438161-1 is not prime. Res64: 6D8C2DEDD02CE712 Time : 0.0 sec. user=mdettweiler [2016-08-23 09:24:00] 649*2^1438161-1 is not prime. Res64: 11260D55FAD7449E Time : 0.0 sec. user=mdettweiler [2016-08-23 09:24:01] 681*2^1438161-1 is not prime. Res64: 95598C9BB2461EDE Time : 0.0 sec. user=mdettweiler [2016-08-23 09:24:01] 691*2^1438161-1 is not prime. Res64: CB696E0830522584 Time : 0.0 sec. user=mdettweiler [2016-08-23 09:24:02] 819*2^1438161-1 is not prime. Res64: 63D0D5715F36D410 Time : 0.0 sec. user=mdettweiler [2016-08-23 09:49:35] 949*2^1438161-1 is not prime. Res64: 6EB2D99EC19296FD Time : 0.0 sec. user=mdettweiler [2016-08-23 09:49:35] 999*2^1438161-1 is not prime. Res64: 776C1553209F71B5 Time : 0.0 sec. user=mdettweiler [2016-08-23 09:49:35] 665*2^1438162-1 is not prime. Res64: 39EBF3DCDE21563F Time : 0.0 sec. user=mdettweiler [2016-08-23 09:49:36] 675*2^1438162-1 is not prime. Res64: 47B40C924D76419B Time : 0.0 sec. user=mdettweiler [2016-08-23 09:49:36] 885*2^1438162-1 is not prime. Res64: 716FB927239AD5FC Time : 0.0 sec. user=mdettweiler [2016-08-23 10:05:17] 619*2^1438163-1 is not prime. Res64: 2EFFA015F71D32A9 Time : 0.0 sec. user=mdettweiler [2016-08-23 10:05:18] 643*2^1438163-1 is not prime. Res64: 551B1001145310C8 Time : 0.0 sec. user=mdettweiler [2016-08-23 10:05:19] 703*2^1438163-1 is not prime. Res64: 77A0E71662809867 Time : 0.0 sec. user=mdettweiler [2016-08-23 10:05:20] 783*2^1438163-1 is not prime. Res64: 59DB6A501FB9258A Time : 0.0 sec. user=mdettweiler [2016-08-23 10:05:21] 949*2^1438163-1 is not prime. Res64: E065EFBFE6A0A8EE Time : 0.0 sec. user=mdettweiler [2016-08-23 10:09:44] 963*2^1438163-1 is not prime. Res64: 029D3BE69BD9A119 Time : 0.0 sec. user=mdettweiler [2016-08-23 10:09:45] 759*2^1438164-1 is not prime. Res64: 18187AEBBF118FDF Time : 0.0 sec. user=mdettweiler [2016-08-23 10:09:46] 803*2^1438164-1 is not prime. Res64: 36E0F0A3BA0958B3 Time : 0.0 sec. user=mdettweiler [2016-08-23 10:09:47] 843*2^1438164-1 is not prime. Res64: AAE2D8420BA53142 Time : 0.0 sec. user=mdettweiler [2016-08-23 10:09:48] 915*2^1438164-1 is not prime. Res64: 5DCD207D1E077C34 Time : 0.0 sec. user=mdettweiler [2016-08-23 10:35:22] 993*2^1438164-1 is not prime. Res64: A6D7941881E5F738 Time : 0.0 sec. user=mdettweiler [2016-08-23 10:35:23] 661*2^1438165-1 is not prime. Res64: 611291E19D44CAA9 Time : 0.0 sec. user=mdettweiler [2016-08-23 10:35:23] 771*2^1438165-1 is not prime. Res64: 5D3B29866DD466F1 Time : 0.0 sec. user=mdettweiler [2016-08-23 10:35:23] 777*2^1438165-1 is not prime. Res64: 511743E7E3BF955D Time : 0.0 sec. user=mdettweiler [2016-08-23 10:35:24] 811*2^1438165-1 is not prime. Res64: ECB52B5CEC816F81 Time : 0.0 sec. user=mdettweiler [2016-08-23 10:51:22] 849*2^1438165-1 is not prime. Res64: 169B09C6527485FE Time : 0.0 sec. user=mdettweiler [2016-08-23 10:51:22] 867*2^1438165-1 is not prime. Res64: 88B917D401FC1840 Time : 0.0 sec. user=mdettweiler [2016-08-23 10:51:23] 895*2^1438165-1 is not prime. Res64: 88645271FBD9BBEE Time : 0.0 sec. user=mdettweiler [2016-08-23 10:51:23] 919*2^1438165-1 is not prime. Res64: 4BABC01EF187BECA Time : 0.0 sec. user=mdettweiler [2016-08-23 10:51:24] 997*2^1438165-1 is not prime. Res64: 1D7E3C3D774A7AFA Time : 0.0 sec. user=mdettweiler [2016-08-23 10:55:41] 705*2^1438166-1 is not prime. Res64: 10C0EA4ACE027EAD Time : 0.0 sec. user=mdettweiler [2016-08-23 10:55:42] 773*2^1438166-1 is not prime. Res64: 6146C93EF17FC960 Time : 0.0 sec. user=mdettweiler [2016-08-23 10:55:42] 827*2^1438166-1 is not prime. Res64: 731E658329950F1B Time : 0.0 sec. user=mdettweiler [2016-08-23 10:55:42] 857*2^1438166-1 is not prime. Res64: 554B18A0E59A129C Time : 0.0 sec. user=mdettweiler [2016-08-23 10:55:42] 867*2^1438166-1 is not prime. Res64: 9AFFAB88127647DC Time : 0.0 sec. user=mdettweiler [2016-08-23 11:21:08] 897*2^1438166-1 is not prime. Res64: BCD1591459E28B64 Time : 0.0 sec. user=mdettweiler [2016-08-23 11:21:09] 615*2^1438167-1 is not prime. Res64: D70302F34EB72700 Time : 0.0 sec. user=mdettweiler [2016-08-23 11:21:09] 669*2^1438167-1 is not prime. Res64: 8156A82AF7303677 Time : 0.0 sec. user=mdettweiler [2016-08-23 11:21:09] 675*2^1438167-1 is not prime. Res64: 10FB942408519CA5 Time : 0.0 sec. user=mdettweiler [2016-08-23 11:21:10] 703*2^1438167-1 is not prime. Res64: 4E60C2EA66D345D6 Time : 0.0 sec. user=mdettweiler [2016-08-23 11:37:11] 751*2^1438167-1 is not prime. Res64: 31BA99CECFA683A9 Time : 0.0 sec. user=mdettweiler [2016-08-23 11:37:12] 781*2^1438167-1 is not prime. Res64: B3DE4DB2CE885C85 Time : 0.0 sec. user=mdettweiler [2016-08-23 11:37:12] 819*2^1438167-1 is not prime. Res64: 8278FF03A3927C20 Time : 0.0 sec. user=mdettweiler [2016-08-23 11:37:13] 825*2^1438167-1 is not prime. Res64: A67BC01BB1EA7D3E Time : 0.0 sec. user=mdettweiler [2016-08-23 11:37:13] 901*2^1438167-1 is not prime. Res64: 8AC077C15A2BCDF5 Time : 0.0 sec. user=mdettweiler [2016-08-23 11:41:29] 949*2^1438167-1 is not prime. Res64: 718574691D051703 Time : 0.0 sec. user=mdettweiler [2016-08-23 11:41:29] 963*2^1438167-1 is not prime. Res64: 42C6170BA5CE54D7 Time : 0.0 sec. user=mdettweiler [2016-08-23 11:41:30] 979*2^1438167-1 is not prime. Res64: C0BD548D3E4BF2ED Time : 0.0 sec. user=mdettweiler [2016-08-23 11:41:30] 991*2^1438167-1 is not prime. Res64: 634BAE993E118944 Time : 0.0 sec. user=mdettweiler [2016-08-23 11:41:30] 665*2^1438168-1 is not prime. Res64: F198D170DE530D28 Time : 0.0 sec. user=mdettweiler [2016-08-23 12:06:39] 855*2^1438168-1 is not prime. Res64: 4258B2FE6FFC50EA Time : 0.0 sec. user=mdettweiler [2016-08-23 12:06:40] 959*2^1438168-1 is not prime. Res64: 5E5F6BB2C3D242E9 Time : 0.0 sec. user=mdettweiler [2016-08-23 12:06:41] 711*2^1438169-1 is not prime. Res64: 3D07BB332E599FDF Time : 0.0 sec. user=mdettweiler [2016-08-23 12:06:42] 781*2^1438169-1 is not prime. Res64: AF23C87AD1E8AD2E Time : 0.0 sec. user=mdettweiler [2016-08-23 12:06:43] 787*2^1438169-1 is not prime. Res64: 61CCAF373D7380E7 Time : 0.0 sec. user=mdettweiler [2016-08-23 12:22:29] 829*2^1438169-1 is not prime. Res64: 62E3A8557418415A Time : 0.0 sec. user=mdettweiler [2016-08-23 12:22:30] 879*2^1438169-1 is not prime. Res64: 04CF2C9916F8EF51 Time : 0.0 sec. user=mdettweiler [2016-08-23 12:22:30] 897*2^1438169-1 is not prime. Res64: 26B932A9053952A6 Time : 0.0 sec. user=mdettweiler [2016-08-23 12:22:33] 647*2^1438170-1 is not prime. Res64: 9BE9975EAC4AF7D5 Time : 0.0 sec. user=mdettweiler [2016-08-23 12:22:33] 783*2^1438170-1 is not prime. Res64: DCAE6FFDFA6846C0 Time : 0.0 sec. user=mdettweiler [2016-08-23 12:26:44] 821*2^1438170-1 is not prime. Res64: FE38B88BA5270B67 Time : 0.0 sec. user=mdettweiler [2016-08-23 12:26:44] 843*2^1438170-1 is not prime. Res64: 0128E55BBEA0161B Time : 0.0 sec. user=mdettweiler [2016-08-23 12:26:44] 945*2^1438170-1 is not prime. Res64: 0EAECC7220C9274B Time : 0.0 sec. user=mdettweiler [2016-08-23 12:26:45] 971*2^1438170-1 is not prime. Res64: 424F3AABFF5998AE Time : 0.0 sec. user=mdettweiler [2016-08-23 12:26:45] 619*2^1438171-1 is not prime. Res64: 1C45BDF4F2ECE028 Time : 0.0 sec. user=mdettweiler [2016-08-23 12:46:16] 751*2^1438171-1 is not prime. Res64: 27F84928D145B9F1 Time : 0.0 sec. user=mdettweiler [2016-08-23 12:46:16] 811*2^1438171-1 is not prime. Res64: CA75EA6E0E12F752 Time : 0.0 sec. user=mdettweiler [2016-08-23 12:46:16] 969*2^1438171-1 is not prime. Res64: FD55658EA26B6989 Time : 0.0 sec. user=mdettweiler [2016-08-23 12:46:17] 973*2^1438171-1 is not prime. Res64: 18EDA61C0B50C42E Time : 0.0 sec. user=mdettweiler [2016-08-23 12:46:17] 975*2^1438171-1 is not prime. Res64: 28EBE6EC3A83EE7F Time : 0.0 sec. user=mdettweiler [2016-08-23 12:51:48] 629*2^1438172-1 is not prime. Res64: 22054B1AE74527CE Time : 0.0 sec. user=mdettweiler [2016-08-23 12:51:49] 647*2^1438172-1 is not prime. Res64: B11C70CAA167930C Time : 0.0 sec. user=mdettweiler [2016-08-23 12:51:49] 819*2^1438172-1 is not prime. Res64: 60878DC3A72CF567 Time : 0.0 sec. user=mdettweiler [2016-08-23 12:51:50] 857*2^1438172-1 is not prime. Res64: 2C06F7284A5CE46D Time : 0.0 sec. user=mdettweiler [2016-08-23 12:51:50] 915*2^1438172-1 is not prime. Res64: 6A345341BC327BA4 Time : 0.0 sec. user=mdettweiler [2016-08-23 13:07:33] 639*2^1438173-1 is not prime. Res64: 99601DD7B6257068 Time : 0.0 sec. user=mdettweiler [2016-08-23 13:07:36] 679*2^1438173-1 is not prime. Res64: D1B092001E86C708 Time : 0.0 sec. user=mdettweiler [2016-08-23 13:07:42] 745*2^1438173-1 is not prime. Res64: 4C9AE2804D3FB684 Time : 0.0 sec. user=mdettweiler [2016-08-23 13:07:46] 781*2^1438173-1 is not prime. Res64: 004E04F27C9D7897 Time : 0.0 sec. user=mdettweiler [2016-08-23 13:07:47] 817*2^1438173-1 is not prime. Res64: 41141CA12EBD09D7 Time : 0.0 sec. user=mdettweiler [2016-08-23 13:31:56] 831*2^1438174-1 is not prime. Res64: D8B24335D0A35714 Time : 0.0 sec. user=mdettweiler [2016-08-23 13:31:58] 861*2^1438174-1 is not prime. Res64: C01DBE0EBE3634FF Time : 0.0 sec. user=mdettweiler [2016-08-23 13:31:58] 975*2^1438174-1 is not prime. Res64: 5CDFA0B24A443158 Time : 0.0 sec. user=mdettweiler [2016-08-23 13:31:59] 619*2^1438175-1 is not prime. Res64: 74317CB62768F97F Time : 0.0 sec. user=mdettweiler [2016-08-23 13:32:00] 763*2^1438175-1 is not prime. Res64: D3D14CED7220DA14 Time : 0.0 sec. user=mdettweiler [2016-08-23 13:37:11] 883*2^1438175-1 is not prime. Res64: B633135EE97A2FC6 Time : 0.0 sec. user=mdettweiler [2016-08-23 13:37:11] 895*2^1438175-1 is not prime. Res64: 6C3D316970C695FA Time : 0.0 sec. user=mdettweiler [2016-08-23 13:37:11] 707*2^1438176-1 is not prime. Res64: 813A402023D4AC3A Time : 0.0 sec. user=mdettweiler [2016-08-23 13:37:12] 759*2^1438176-1 is not prime. Res64: D88DAB5473A396FA Time : 0.0 sec. user=mdettweiler [2016-08-23 13:37:12] 803*2^1438176-1 is not prime. Res64: AEB324BB7A3A1D6F Time : 0.0 sec. user=mdettweiler [2016-08-23 13:53:43] 887*2^1438176-1 is not prime. Res64: DF22C22256D43F60 Time : 0.0 sec. user=mdettweiler [2016-08-23 13:53:43] 975*2^1438176-1 is not prime. Res64: F27FCD7E73C9364F Time : 0.0 sec. user=mdettweiler [2016-08-23 13:53:44] 999*2^1438176-1 is not prime. Res64: 5699DA49B37D42F4 Time : 0.0 sec. user=mdettweiler [2016-08-23 13:53:44] 601*2^1438177-1 is not prime. Res64: 8E4E2D8858BAB229 Time : 0.0 sec. user=mdettweiler [2016-08-23 13:53:44] 619*2^1438177-1 is not prime. Res64: CE85B700E2BFCD82 Time : 0.0 sec. user=mdettweiler [2016-08-23 14:18:05] 687*2^1438177-1 is not prime. Res64: CE9DB3CA45F1F776 Time : 0.0 sec. user=mdettweiler [2016-08-23 14:18:06] 699*2^1438177-1 is not prime. Res64: BC46ED59C390C216 Time : 0.0 sec. user=mdettweiler [2016-08-23 14:18:08] 717*2^1438177-1 is not prime. Res64: 5E1CA1A70E3B054E Time : 0.0 sec. user=mdettweiler [2016-08-23 14:18:09] 769*2^1438177-1 is not prime. Res64: D4292D382B7AFFFA Time : 0.0 sec. user=mdettweiler [2016-08-23 14:18:09] 867*2^1438177-1 is not prime. Res64: BF3E5125E15A1BE6 Time : 0.0 sec. user=mdettweiler [2016-08-23 14:23:08] 885*2^1438177-1 is not prime. Res64: 2DEE181A6BF8A841 Time : 0.0 sec. user=mdettweiler [2016-08-23 14:23:08] 889*2^1438177-1 is not prime. Res64: 9B5687695D191840 Time : 0.0 sec. user=mdettweiler [2016-08-23 14:23:09] 919*2^1438177-1 is not prime. Res64: 4115F1608FBEE563 Time : 0.0 sec. user=mdettweiler [2016-08-23 14:23:09] 705*2^1438178-1 is not prime. Res64: D372674DB8FA142B Time : 0.0 sec. user=mdettweiler [2016-08-23 14:23:09] 815*2^1438178-1 is not prime. Res64: 01012D45F432309F Time : 0.0 sec. user=mdettweiler [2016-08-23 14:39:32] 911*2^1438178-1 is not prime. Res64: F04CAA81992AC921 Time : 0.0 sec. user=mdettweiler [2016-08-23 14:39:32] 945*2^1438178-1 is not prime. Res64: FF4A86FC31758B50 Time : 0.0 sec. user=mdettweiler [2016-08-23 14:39:33] 963*2^1438178-1 is not prime. Res64: 700EBA1FE28E605A Time : 0.0 sec. user=mdettweiler [2016-08-23 14:39:33] 615*2^1438179-1 is not prime. Res64: 5BF30EE7C76BA01C Time : 0.0 sec. user=mdettweiler [2016-08-23 14:39:33] 675*2^1438179-1 is not prime. Res64: 97230CA5333C0260 Time : 0.0 sec. user=mdettweiler [2016-08-23 15:04:13] 705*2^1438179-1 is not prime. Res64: B60FB8AD7926E4A2 Time : 0.0 sec. user=mdettweiler [2016-08-23 15:04:15] 741*2^1438179-1 is not prime. Res64: 347274B0DED45BAC Time : 0.0 sec. user=mdettweiler [2016-08-23 15:04:16] 751*2^1438179-1 is not prime. Res64: ECB3B536F28C5FFE Time : 0.0 sec. user=mdettweiler [2016-08-23 15:04:19] 789*2^1438179-1 is not prime. Res64: 7068D0E828C8B33F Time : 0.0 sec. user=mdettweiler [2016-08-23 15:04:19] 795*2^1438179-1 is not prime. Res64: 26468471AAE9A8A9 Time : 0.0 sec. user=mdettweiler [2016-08-23 15:08:51] 859*2^1438179-1 is not prime. Res64: 85DE2C9BA06DA9EA Time : 0.0 sec. user=mdettweiler [2016-08-23 15:08:54] 879*2^1438179-1 is not prime. Res64: 26DDF725ACE8EF31 Time : 0.0 sec. user=mdettweiler [2016-08-23 15:08:55] 677*2^1438180-1 is not prime. Res64: 2BAD03EA41C112AD Time : 0.0 sec. user=mdettweiler [2016-08-23 15:08:56] 885*2^1438180-1 is not prime. Res64: 8722B8687F035917 Time : 0.0 sec. user=mdettweiler [2016-08-23 15:08:58] 899*2^1438180-1 is not prime. Res64: 3E0D289EFFF507CF Time : 0.0 sec. user=mdettweiler [2016-08-23 15:25:28] 939*2^1438180-1 is not prime. Res64: FCF5A1C9C0B7BD0E Time : 0.0 sec. user=mdettweiler [2016-08-23 15:25:28] 607*2^1438181-1 is not prime. Res64: 6A8A9E8E93533141 Time : 0.0 sec. user=mdettweiler [2016-08-23 15:25:29] 955*2^1438181-1 is not prime. Res64: D7B3E7EE27F1098C Time : 0.0 sec. user=mdettweiler [2016-08-23 15:25:32] 981*2^1438181-1 is not prime. Res64: E7AD656F3888E0A2 Time : 0.0 sec. user=mdettweiler [2016-08-23 15:25:32] 621*2^1438182-1 is not prime. Res64: 0927816D5CA1A70F Time : 0.0 sec. user=mdettweiler [2016-08-23 15:50:41] 635*2^1438182-1 is not prime. Res64: 6CA786FAFFF50900 Time : 0.0 sec. user=mdettweiler [2016-08-23 15:50:41] 695*2^1438182-1 is not prime. Res64: AF79C0202CC7D77C Time : 0.0 sec. user=mdettweiler [2016-08-23 15:50:42] 741*2^1438182-1 is not prime. Res64: 4ABE92745301DBE7 Time : 0.0 sec. user=mdettweiler [2016-08-23 15:50:42] 777*2^1438182-1 is not prime. Res64: 78DEC5DE47F9E269 Time : 0.0 sec. user=mdettweiler [2016-08-23 15:50:42] 801*2^1438182-1 is not prime. Res64: D7E7644E029CA0AB Time : 0.0 sec. user=mdettweiler [2016-08-23 15:55:09] 873*2^1438182-1 is not prime. Res64: D2F792758A3C045E Time : 0.0 sec. user=mdettweiler [2016-08-23 15:55:09] 923*2^1438182-1 is not prime. Res64: 0ABC2409384391BC Time : 0.0 sec. user=mdettweiler [2016-08-23 15:55:10] 965*2^1438182-1 is not prime. Res64: 92A3A4443D7B6622 Time : 0.0 sec. user=mdettweiler [2016-08-23 15:55:10] 973*2^1438183-1 is not prime. Res64: 3BF7B28DB8FC8189 Time : 0.0 sec. user=mdettweiler [2016-08-23 15:55:10] 993*2^1438183-1 is not prime. Res64: ACC6BF0256BABF4C Time : 0.0 sec. user=mdettweiler [2016-08-23 16:15:18] 623*2^1438174-1 is not prime. Res64: B6F21E9B52EFFB1F Time : 0.0 sec. user=mdettweiler [2016-08-23 16:15:23] 635*2^1438174-1 is not prime. Res64: CCE1F09AD8DEDC7F Time : 0.0 sec. user=mdettweiler [2016-08-23 16:15:27] 657*2^1438174-1 is not prime. Res64: B882B930573D96C0 Time : 0.0 sec. user=mdettweiler [2016-08-23 16:15:31] 663*2^1438174-1 is not prime. Res64: 1761847D8C059C8A Time : 0.0 sec. user=mdettweiler [2016-08-23 16:15:33] 681*2^1438174-1 is not prime. Res64: 26E3AAC7FBD42527 Time : 0.0 sec. user=mdettweiler [2016-08-23 16:36:27] 869*2^1438184-1 is not prime. Res64: FDC38F5014C208A6 Time : 0.0 sec. user=mdettweiler [2016-08-23 16:36:28] 649*2^1438185-1 is not prime. Res64: 4D2BBC00D838230F Time : 0.0 sec. user=mdettweiler [2016-08-23 16:36:28] 669*2^1438185-1 is not prime. Res64: 805640D3D6FC8470 Time : 0.0 sec. user=mdettweiler [2016-08-23 16:36:28] 741*2^1438185-1 is not prime. Res64: 7FCCDB4ADD7833E7 Time : 0.0 sec. user=mdettweiler [2016-08-23 16:36:29] 811*2^1438185-1 is not prime. Res64: 330352C2DCC6B77E Time : 0.0 sec. user=mdettweiler [2016-08-23 16:40:46] 885*2^1438185-1 is not prime. Res64: 9AE54B8E6E3E4492 Time : 0.0 sec. user=mdettweiler [2016-08-23 16:40:47] 889*2^1438185-1 is not prime. Res64: 61E121BC6588C2ED Time : 0.0 sec. user=mdettweiler [2016-08-23 16:40:47] 701*2^1438186-1 is not prime. Res64: CF839BD8D86A74F1 Time : 0.0 sec. user=mdettweiler [2016-08-23 16:40:48] 705*2^1438186-1 is not prime. Res64: 3FE3F1BB1E7988A9 Time : 0.0 sec. user=mdettweiler [2016-08-23 16:40:48] 723*2^1438186-1 is not prime. Res64: 5E86683D2F93024A Time : 0.0 sec. user=mdettweiler [2016-08-23 17:01:28] 833*2^1438186-1 is not prime. Res64: F1D0DED6D393ABB4 Time : 0.0 sec. user=mdettweiler [2016-08-23 17:01:32] 645*2^1438187-1 is not prime. Res64: ABA942D21E504BE4 Time : 0.0 sec. user=mdettweiler [2016-08-23 17:01:33] 655*2^1438187-1 is not prime. Res64: 691C270523FCAB48 Time : 0.0 sec. user=mdettweiler [2016-08-23 17:01:34] 705*2^1438187-1 is not prime. Res64: F17F6E74C31C5138 Time : 0.0 sec. user=mdettweiler [2016-08-23 17:01:35] 733*2^1438187-1 is not prime. Res64: C528F890F17ED474 Time : 0.0 sec. user=mdettweiler [2016-08-23 17:22:21] 841*2^1438187-1 is not prime. Res64: F834E3DA4B931FD5 Time : 0.0 sec. user=mdettweiler [2016-08-23 17:22:21] 895*2^1438187-1 is not prime. Res64: 5AAA6B6D523B21AC Time : 0.0 sec. user=mdettweiler [2016-08-23 17:22:22] 633*2^1438188-1 is not prime. Res64: 0207BFF86BB515B3 Time : 0.0 sec. user=mdettweiler [2016-08-23 17:22:22] 689*2^1438188-1 is not prime. Res64: 539A9C7568FEFD55 Time : 0.0 sec. user=mdettweiler [2016-08-23 17:22:22] 825*2^1438188-1 is not prime. Res64: E46EDD92CB1C96DB Time : 0.0 sec. user=mdettweiler [2016-08-23 17:26:31] 867*2^1438188-1 is not prime. Res64: 8F2D481A3D244333 Time : 0.0 sec. user=mdettweiler [2016-08-23 17:26:31] 875*2^1438188-1 is not prime. Res64: 1AE0EFA6CF719298 Time : 0.0 sec. user=mdettweiler [2016-08-23 17:26:32] 993*2^1438188-1 is not prime. Res64: 4B4EB44B179369EF Time : 0.0 sec. user=mdettweiler [2016-08-23 17:26:32] 625*2^1438189-1 is not prime. Res64: 5873637B5D2F3E78 Time : 0.0 sec. user=mdettweiler [2016-08-23 17:26:33] 667*2^1438189-1 is not prime. Res64: BE0AC83A3724C330 Time : 0.0 sec. user=mdettweiler [2016-08-23 17:47:20] 745*2^1438189-1 is not prime. Res64: 3138AA07258F46BA Time : 0.0 sec. user=mdettweiler [2016-08-23 17:47:21] 819*2^1438189-1 is not prime. Res64: 91A4E7C0E3175356 Time : 0.0 sec. user=mdettweiler [2016-08-23 17:47:21] 831*2^1438189-1 is not prime. Res64: 4BC88BAAC1025D32 Time : 0.0 sec. user=mdettweiler [2016-08-23 17:47:21] 877*2^1438189-1 is not prime. Res64: 81825BCE0A25F7A9 Time : 0.0 sec. user=mdettweiler [2016-08-23 17:47:22] 985*2^1438189-1 is not prime. Res64: FC9104DFD419B2D9 Time : 0.0 sec. user=mdettweiler [2016-08-23 18:08:09] 987*2^1438189-1 is not prime. Res64: D2B278961DA62006 Time : 0.0 sec. user=mdettweiler [2016-08-23 18:08:14] 645*2^1438190-1 is not prime. Res64: 450352015C0692B3 Time : 0.0 sec. user=mdettweiler [2016-08-23 18:12:32] 885*2^1438191-1 is not prime. Res64: D13A64758E2F1377 Time : 0.0 sec. user=mdettweiler [2016-08-23 18:12:33] 931*2^1438191-1 is not prime. Res64: 1AF19BAAFEB1512A Time : 0.0 sec. user=mdettweiler [2016-08-23 18:12:33] 677*2^1438192-1 is not prime. Res64: 0D89C5811C7340D0 Time : 0.0 sec. user=mdettweiler [2016-08-23 18:12:33] 695*2^1438192-1 is not prime. Res64: A6BC1A902D3447BE Time : 0.0 sec. user=mdettweiler [2016-08-23 18:12:36] 699*2^1438192-1 is not prime. Res64: 21704764BB3DB466 Time : 0.0 sec. user=mdettweiler [2016-08-23 18:35:28] 759*2^1438192-1 is not prime. Res64: 20C680F6DB2F1369 Time : 0.0 sec. user=mdettweiler [2016-08-23 18:35:28] 765*2^1438192-1 is not prime. Res64: E6C07F2E392915BB Time : 0.0 sec. user=mdettweiler [2016-08-23 18:35:28] 833*2^1438192-1 is not prime. Res64: 0D01DEACADF3D121 Time : 0.0 sec. user=mdettweiler [2016-08-23 18:35:29] 899*2^1438192-1 is not prime. Res64: BF5DC1A46497B6EA Time : 0.0 sec. user=mdettweiler [2016-08-23 18:35:29] 675*2^1438193-1 is not prime. Res64: A8272D3A0FDE0E67 Time : 0.0 sec. user=mdettweiler [2016-08-23 19:04:24] 795*2^1438193-1 is not prime. Res64: 62AC1381CB038B5D Time : 0.0 sec. user=mdettweiler [2016-08-23 19:04:27] 801*2^1438193-1 is not prime. Res64: 46BA1A9BCC245C91 Time : 0.0 sec. user=mdettweiler [2016-08-23 19:04:31] 829*2^1438193-1 is not prime. Res64: 1AA8EDADCAB12EA5 Time : 0.0 sec. user=mdettweiler [2016-08-23 19:04:33] 991*2^1438193-1 is not prime. Res64: C0C460DDCEC3549D Time : 0.0 sec. user=mdettweiler [2016-08-23 19:04:35] 671*2^1438194-1 is not prime. Res64: 0FD127A48CD4B97D Time : 0.0 sec. user=mdettweiler [2016-08-23 19:25:54] 797*2^1438194-1 is not prime. Res64: 1E873FA29C460399 Time : 0.0 sec. user=mdettweiler [2016-08-23 19:25:55] 885*2^1438194-1 is not prime. Res64: 25BC4227A7097BA5 Time : 0.0 sec. user=mdettweiler [2016-08-23 19:25:55] 893*2^1438194-1 is not prime. Res64: E6EB7D01A765E4F7 Time : 0.0 sec. user=mdettweiler [2016-08-23 19:25:57] 603*2^1438195-1 is not prime. Res64: C45005D7793909B8 Time : 0.0 sec. user=mdettweiler [2016-08-23 19:25:57] 873*2^1438195-1 is not prime. Res64: E92503B54CA4BACB Time : 0.0 sec. user=mdettweiler [2016-08-23 19:28:48] 617*2^1438184-1 is not prime. Res64: BDF8D0F5A5FAF7AA Time : 0.0 sec. user=mdettweiler [2016-08-23 19:28:49] 677*2^1438184-1 is not prime. Res64: 34EF55402C33B695 Time : 0.0 sec. user=mdettweiler [2016-08-23 19:28:49] 725*2^1438184-1 is not prime. Res64: C2461D435D3C6E39 Time : 0.0 sec. user=mdettweiler [2016-08-23 19:28:49] 753*2^1438184-1 is not prime. Res64: F98EC068174AB498 Time : 0.0 sec. user=mdettweiler [2016-08-23 19:28:50] 789*2^1438184-1 is not prime. Res64: A5EA8CC8C17FE060 Time : 0.0 sec. user=mdettweiler [2016-08-23 19:52:37] 919*2^1438195-1 is not prime. Res64: CEB79189CFEC1D1F Time : 0.0 sec. user=mdettweiler [2016-08-23 19:52:37] 603*2^1438196-1 is not prime. Res64: 10D16139EC120DA8 Time : 0.0 sec. user=mdettweiler [2016-08-23 19:52:38] 767*2^1438196-1 is not prime. Res64: AC5D444022E52D22 Time : 0.0 sec. user=mdettweiler [2016-08-23 19:52:38] 845*2^1438196-1 is not prime. Res64: 5551641C18DF8146 Time : 0.0 sec. user=mdettweiler [2016-08-23 19:52:39] 945*2^1438196-1 is not prime. Res64: 81B8A69A6E50A1D3 Time : 0.0 sec. user=mdettweiler [2016-08-23 20:12:11] 963*2^1438196-1 is not prime. Res64: 9756F0C7D85214BE Time : 0.0 sec. user=mdettweiler [2016-08-23 20:12:12] 607*2^1438197-1 is not prime. Res64: C992BFD6322A74B4 Time : 0.0 sec. user=mdettweiler [2016-08-23 20:12:13] 625*2^1438197-1 is not prime. Res64: 9174932416A2908D Time : 0.0 sec. user=mdettweiler [2016-08-23 20:12:13] 835*2^1438197-1 is not prime. Res64: 14867B2C5E3E4675 Time : 0.0 sec. user=mdettweiler [2016-08-23 20:12:14] 937*2^1438197-1 is not prime. Res64: 834173EDDDC355DA Time : 0.0 sec. user=mdettweiler [2016-08-23 20:14:59] 991*2^1438197-1 is not prime. Res64: 05AEE32CA51D3291 Time : 0.0 sec. user=mdettweiler [2016-08-23 20:15:00] 651*2^1438198-1 is not prime. Res64: 7BCB4F9B45ED3C5A Time : 0.0 sec. user=mdettweiler [2016-08-23 20:15:00] 663*2^1438198-1 is not prime. Res64: D984D38EBEFDC468 Time : 0.0 sec. user=mdettweiler [2016-08-23 20:15:00] 723*2^1438198-1 is not prime. Res64: 31BBE4321CE79BB6 Time : 0.0 sec. user=mdettweiler [2016-08-23 20:15:01] 777*2^1438198-1 is not prime. Res64: 620AF0CD3A93A08C Time : 0.0 sec. user=mdettweiler [2016-08-23 20:38:34] 843*2^1438198-1 is not prime. Res64: C23286B4A522EF1A Time : 0.0 sec. user=mdettweiler [2016-08-23 20:38:35] 863*2^1438198-1 is not prime. Res64: AC580B76E1F5064C Time : 0.0 sec. user=mdettweiler [2016-08-23 20:38:35] 911*2^1438198-1 is not prime. Res64: ECA5D79E93CD57E7 Time : 0.0 sec. user=mdettweiler [2016-08-23 20:38:35] 915*2^1438198-1 is not prime. Res64: F5DCF50E0A611C1C Time : 0.0 sec. user=mdettweiler [2016-08-23 20:38:36] 981*2^1438198-1 is not prime. Res64: 1053A4ECC5404202 Time : 0.0 sec. user=mdettweiler [2016-08-23 20:57:58] 675*2^1438199-1 is not prime. Res64: BCBCE583AA724746 Time : 0.0 sec. user=mdettweiler [2016-08-23 20:57:58] 711*2^1438199-1 is not prime. Res64: 2DA23E58DC10F64A Time : 0.0 sec. user=mdettweiler [2016-08-23 20:57:59] 653*2^1438200-1 is not prime. Res64: 8D2B53207F615F25 Time : 0.0 sec. user=mdettweiler [2016-08-23 20:57:59] 707*2^1438200-1 is not prime. Res64: 025BE8DC2EDEA9AE Time : 0.0 sec. user=mdettweiler [2016-08-23 20:57:59] 767*2^1438200-1 is not prime. Res64: EEFBF2099B60D4FE Time : 0.0 sec. user=mdettweiler [2016-08-23 21:00:41] 927*2^1438200-1 is not prime. Res64: 34E9817D59188DC5 Time : 0.0 sec. user=mdettweiler [2016-08-23 21:00:42] 945*2^1438200-1 is not prime. Res64: 287A5F33C28DEC7E Time : 0.0 sec. user=mdettweiler [2016-08-23 21:00:43] 957*2^1438200-1 is not prime. Res64: A624A6E1E9774DB9 Time : 0.0 sec. user=mdettweiler [2016-08-23 21:00:43] 679*2^1438201-1 is not prime. Res64: A001198756430238 Time : 0.0 sec. user=mdettweiler [2016-08-23 21:00:44] 691*2^1438201-1 is not prime. Res64: BB96E868DCEDBCFD Time : 0.0 sec. user=mdettweiler [2016-08-23 21:47:09] 765*2^1438203-1 is not prime. Res64: 35E4774533A3B7ED Time : 0.0 sec. user=mdettweiler [2016-08-23 21:47:10] 819*2^1438203-1 is not prime. Res64: 3A74CC4918EBA505 Time : 0.0 sec. user=mdettweiler [2016-08-23 21:47:10] 823*2^1438203-1 is not prime. Res64: 2B02D69775C708EF Time : 0.0 sec. user=mdettweiler [2016-08-23 21:47:11] 961*2^1438203-1 is not prime. Res64: 445979D39D1895FB Time : 0.0 sec. user=mdettweiler [2016-08-23 21:47:13] 857*2^1438204-1 is not prime. Res64: 568C28DB05EF8D39 Time : 0.0 sec. user=mdettweiler [2016-08-23 22:40:10] 869*2^1438204-1 is not prime. Res64: 1137F89C856034A4 Time : 0.0 sec. user=mdettweiler [2016-08-23 22:40:11] 897*2^1438204-1 is not prime. Res64: B4ABDB7433750071 Time : 0.0 sec. user=mdettweiler [2016-08-23 22:40:11] 697*2^1438205-1 is not prime. Res64: DFB72E4BFE50A95B Time : 0.0 sec. user=mdettweiler [2016-08-23 22:40:12] 717*2^1438205-1 is not prime. Res64: 4B4499DE83D8FA86 Time : 0.0 sec. user=mdettweiler [2016-08-23 22:40:12] 721*2^1438205-1 is not prime. Res64: 20E840A958CB67D6 Time : 0.0 sec. user=mdettweiler [2016-08-23 23:33:14] 735*2^1438205-1 is not prime. Res64: 997B99495E882968 Time : 0.0 sec. user=mdettweiler [2016-08-23 23:33:14] 795*2^1438205-1 is not prime. Res64: A8C1D197DD248F53 Time : 0.0 sec. user=mdettweiler [2016-08-23 23:33:14] 925*2^1438205-1 is not prime. Res64: 4581D7441E48A595 Time : 0.0 sec. user=mdettweiler [2016-08-23 23:33:15] 627*2^1438206-1 is not prime. Res64: 2366D0DEF4BB6685 Time : 0.0 sec. user=mdettweiler [2016-08-23 23:33:15] 635*2^1438206-1 is not prime. Res64: 589620AF6674BE2C Time : 0.0 sec.