user=mdettweiler [2015-12-23 00:18:08] 873*2^1417956-1 is not prime. Res64: 11E4DFAD30727638 Time : 0.0 sec. user=mdettweiler [2015-12-23 00:18:08] 845*2^1417956-1 is not prime. Res64: 21277661543F8DC8 Time : 0.0 sec. user=mdettweiler [2015-12-23 00:18:08] 857*2^1417956-1 is not prime. Res64: 1080F5CA130AD544 Time : 0.0 sec. user=mdettweiler [2015-12-23 00:18:08] 905*2^1417956-1 is not prime. Res64: 82CF2D617522FCA6 Time : 0.0 sec. user=mdettweiler [2015-12-23 00:35:42] 607*2^1417957-1 is not prime. Res64: 156A3BA55DE70E6E Time : 0.0 sec. user=mdettweiler [2015-12-23 00:35:42] 675*2^1417957-1 is not prime. Res64: 6104E24DA5F14B7F Time : 0.0 sec. user=mdettweiler [2015-12-23 00:35:42] 757*2^1417957-1 is not prime. Res64: 12B4C5086A3F8051 Time : 0.0 sec. user=mdettweiler [2015-12-23 00:35:43] 635*2^1417958-1 is not prime. Res64: 369107D61BC9808A Time : 0.0 sec. user=mdettweiler [2015-12-23 00:53:12] 743*2^1417958-1 is not prime. Res64: A320A811A49A8220 Time : 0.0 sec. user=mdettweiler [2015-12-23 00:53:12] 687*2^1417958-1 is not prime. Res64: 968A2CE42B96724D Time : 0.0 sec. user=mdettweiler [2015-12-23 00:53:12] 887*2^1417958-1 is not prime. Res64: F84F9AE8AE6205F0 Time : 0.0 sec. user=mdettweiler [2015-12-23 00:53:12] 731*2^1417958-1 is not prime. Res64: 40D02DC0094D5E84 Time : 0.0 sec. user=mdettweiler [2015-12-23 01:10:41] 995*2^1417958-1 is not prime. Res64: B905EC79008A0BF6 Time : 0.0 sec. user=mdettweiler [2015-12-23 01:10:42] 911*2^1417958-1 is not prime. Res64: 1061CBCD176CC5D3 Time : 0.0 sec. user=mdettweiler [2015-12-23 01:10:42] 613*2^1417959-1 is not prime. Res64: 6EE4D9D92B37C27F Time : 0.0 sec. user=mdettweiler [2015-12-23 01:10:42] 945*2^1417958-1 is not prime. Res64: 35A9BB69FEEDEA9E Time : 0.0 sec. user=mdettweiler [2015-12-23 01:28:17] 909*2^1417959-1 is not prime. Res64: 6B7CD4BF1E9BA8D5 Time : 0.0 sec. user=mdettweiler [2015-12-23 01:28:17] 649*2^1417959-1 is not prime. Res64: 5FAD83C71633C26A Time : 0.0 sec. user=mdettweiler [2015-12-23 01:28:19] 629*2^1417960-1 is not prime. Res64: AB780341B808CB5C Time : 0.0 sec. user=mdettweiler [2015-12-23 01:28:19] 693*2^1417959-1 is not prime. Res64: 4A670782FAE4CC69 Time : 0.0 sec. user=mdettweiler [2015-12-23 01:46:07] 665*2^1417960-1 is not prime. Res64: 3111F5050BB71BB2 Time : 0.0 sec. user=mdettweiler [2015-12-23 01:46:07] 707*2^1417960-1 is not prime. Res64: 9E1174CE3971373F Time : 0.0 sec. user=mdettweiler [2015-12-23 01:46:08] 713*2^1417960-1 is not prime. Res64: 20C4804E05955A95 Time : 0.0 sec. user=mdettweiler [2015-12-23 01:46:08] 699*2^1417960-1 is not prime. Res64: 31CC5FC904790684 Time : 0.0 sec. user=mdettweiler [2015-12-23 02:03:37] 723*2^1417960-1 is not prime. Res64: 42F05ADB056F6ED1 Time : 0.0 sec. user=mdettweiler [2015-12-23 02:03:38] 933*2^1417960-1 is not prime. Res64: 5959CCFA8C2FFD40 Time : 0.0 sec. user=mdettweiler [2015-12-23 02:03:38] 843*2^1417960-1 is not prime. Res64: 95830107B2F6385B Time : 0.0 sec. user=mdettweiler [2015-12-23 02:03:39] 619*2^1417961-1 is not prime. Res64: B2E845F3873F0795 Time : 0.0 sec. user=mdettweiler [2015-12-23 02:21:27] 645*2^1417961-1 is not prime. Res64: 01A3BBC4E78E159D Time : 0.0 sec. user=mdettweiler [2015-12-23 02:21:27] 747*2^1417961-1 is not prime. Res64: F6761939091939C9 Time : 0.0 sec. user=mdettweiler [2015-12-23 02:21:28] 799*2^1417961-1 is not prime. Res64: E062AFBE48C62AD6 Time : 0.0 sec. user=mdettweiler [2015-12-23 02:21:29] 957*2^1417961-1 is not prime. Res64: AC514948AEC5E4DE Time : 0.0 sec. user=mdettweiler [2015-12-23 02:38:58] 967*2^1417961-1 is not prime. Res64: A3CB5749ED6CEDD9 Time : 0.0 sec. user=mdettweiler [2015-12-23 02:38:58] 777*2^1417962-1 is not prime. Res64: 64D7D61D9AD98EC7 Time : 0.0 sec. user=mdettweiler [2015-12-23 02:38:59] 987*2^1417961-1 is not prime. Res64: A2B1565806FDCF4E Time : 0.0 sec. user=mdettweiler [2015-12-23 02:38:59] 807*2^1417962-1 is not prime. Res64: 285F2AA526693CA3 Time : 0.0 sec. user=mdettweiler [2015-12-23 02:56:28] 815*2^1417962-1 is not prime. Res64: C099AB482C3D5E46 Time : 0.0 sec. user=mdettweiler [2015-12-23 02:56:28] 923*2^1417962-1 is not prime. Res64: 26762A500DC89D89 Time : 0.0 sec. user=mdettweiler [2015-12-23 02:56:29] 951*2^1417962-1 is not prime. Res64: EC25105C65322FC8 Time : 0.0 sec. user=mdettweiler [2015-12-23 02:56:29] 693*2^1417963-1 is not prime. Res64: 25876EE668FAFF7A Time : 0.0 sec. user=mdettweiler [2015-12-23 03:13:57] 895*2^1417963-1 is not prime. Res64: C4D7F7C1912FDC6D Time : 0.0 sec. user=mdettweiler [2015-12-23 03:13:58] 945*2^1417963-1 is not prime. Res64: DB966BDA1773A6D3 Time : 0.0 sec. user=mdettweiler [2015-12-23 03:13:59] 783*2^1417963-1 is not prime. Res64: E164BFC689515116 Time : 0.0 sec. user=mdettweiler [2015-12-23 03:14:00] 829*2^1417963-1 is not prime. Res64: 1C338825BBE793D4 Time : 0.0 sec. user=mdettweiler [2015-12-23 03:31:29] 707*2^1417964-1 is not prime. Res64: 6588E8CBA5C435EC Time : 0.0 sec. user=mdettweiler [2015-12-23 03:31:30] 759*2^1417964-1 is not prime. Res64: 4B84B519AD2CED33 Time : 0.0 sec. user=mdettweiler [2015-12-23 03:31:32] 609*2^1417964-1 is not prime. Res64: E8509C3B808B3269 Time : 0.0 sec. user=mdettweiler [2015-12-23 03:31:33] 659*2^1417964-1 is not prime. Res64: 1AC42C12D9A2576A Time : 0.0 sec. user=mdettweiler [2015-12-23 03:49:20] 825*2^1417964-1 is not prime. Res64: C41F1F6252F231E8 Time : 0.0 sec. user=mdettweiler [2015-12-23 03:49:20] 893*2^1417964-1 is not prime. Res64: 32C265AED1958A64 Time : 0.0 sec. user=mdettweiler [2015-12-23 03:49:21] 827*2^1417964-1 is not prime. Res64: F4CB6B7CF5C615F3 Time : 0.0 sec. user=mdettweiler [2015-12-23 03:49:22] 607*2^1417965-1 is not prime. Res64: 1AD8BA1DD53A0ADD Time : 0.0 sec. user=mdettweiler [2015-12-23 04:06:59] 735*2^1417965-1 is not prime. Res64: BC70307551075719 Time : 0.0 sec. user=mdettweiler [2015-12-23 04:07:00] 777*2^1417965-1 is not prime. Res64: 949F3BB7CE5A0368 Time : 0.0 sec. user=mdettweiler [2015-12-23 04:07:01] 759*2^1417965-1 is not prime. Res64: F4B6A73B8E5F6CCC Time : 0.0 sec. user=mdettweiler [2015-12-23 04:07:01] 849*2^1417965-1 is not prime. Res64: 563FCD590D58BEFC Time : 0.0 sec. user=mdettweiler [2015-12-23 04:24:42] 877*2^1417965-1 is not prime. Res64: 4E98A70B63C93F43 Time : 0.0 sec. user=mdettweiler [2015-12-23 04:24:42] 891*2^1417965-1 is not prime. Res64: AD242BB59D92119B Time : 0.0 sec. user=mdettweiler [2015-12-23 04:24:44] 979*2^1417965-1 is not prime. Res64: 12D60EE91627A7C4 Time : 0.0 sec. user=mdettweiler [2015-12-23 04:24:44] 997*2^1417965-1 is not prime. Res64: 4993A348A0506B19 Time : 0.0 sec. user=mdettweiler [2015-12-23 04:42:11] 611*2^1417966-1 is not prime. Res64: 836E76214761C2BC Time : 0.0 sec. user=mdettweiler [2015-12-23 04:42:12] 635*2^1417966-1 is not prime. Res64: C88858E69479D0EC Time : 0.0 sec. user=mdettweiler [2015-12-23 04:42:12] 651*2^1417966-1 is not prime. Res64: C12605E85E5B1567 Time : 0.0 sec. user=mdettweiler [2015-12-23 04:42:13] 801*2^1417966-1 is not prime. Res64: 471868E9160A75A7 Time : 0.0 sec. user=mdettweiler [2015-12-23 04:59:40] 861*2^1417966-1 is not prime. Res64: B136B04FBE31F530 Time : 0.0 sec. user=mdettweiler [2015-12-23 04:59:40] 867*2^1417966-1 is not prime. Res64: E63503B5223147A8 Time : 0.0 sec. user=mdettweiler [2015-12-23 04:59:41] 983*2^1417966-1 is not prime. Res64: 20E2B6637B5E5202 Time : 0.0 sec. user=mdettweiler [2015-12-23 04:59:41] 673*2^1417967-1 is not prime. Res64: D64CD0A789FFF557 Time : 0.0 sec. user=mdettweiler [2015-12-23 05:17:09] 711*2^1417967-1 is not prime. Res64: 713C4D24F24BAB54 Time : 0.0 sec. user=mdettweiler [2015-12-23 05:17:09] 879*2^1417967-1 is not prime. Res64: 2F5AC1DB792388F9 Time : 0.0 sec. user=mdettweiler [2015-12-23 05:17:09] 775*2^1417967-1 is not prime. Res64: F65EBFE92BFA22D3 Time : 0.0 sec. user=mdettweiler [2015-12-23 05:17:10] 913*2^1417967-1 is not prime. Res64: 5C289EC9BF7987E1 Time : 0.0 sec. user=mdettweiler [2015-12-23 05:34:40] 979*2^1417967-1 is not prime. Res64: C77296E56A5F9D23 Time : 0.0 sec. user=mdettweiler [2015-12-23 05:34:40] 635*2^1417968-1 is not prime. Res64: 16738C0AC605A873 Time : 0.0 sec. user=mdettweiler [2015-12-23 05:34:40] 615*2^1417968-1 is not prime. Res64: 2590B525FBC38FAF Time : 0.0 sec. user=mdettweiler [2015-12-23 05:34:40] 657*2^1417968-1 is not prime. Res64: 01C974A0A7330CB0 Time : 0.0 sec. user=mdettweiler [2015-12-23 05:52:09] 665*2^1417968-1 is not prime. Res64: 8BD3AB2785032748 Time : 0.0 sec. user=mdettweiler [2015-12-23 05:52:10] 945*2^1417968-1 is not prime. Res64: B5291EC927E258A1 Time : 0.0 sec. user=mdettweiler [2015-12-23 05:52:11] 895*2^1417969-1 is not prime. Res64: C6B8664CBD28D605 Time : 0.0 sec. user=mdettweiler [2015-12-23 05:52:12] 671*2^1417970-1 is not prime. Res64: E63291C721CE4D31 Time : 0.0 sec. user=mdettweiler [2015-12-23 06:09:38] 677*2^1417970-1 is not prime. Res64: 8C45A2DCA88220D4 Time : 0.0 sec. user=mdettweiler [2015-12-23 06:09:39] 791*2^1417970-1 is not prime. Res64: 19558833DFF28EBC Time : 0.0 sec. user=mdettweiler [2015-12-23 06:09:40] 813*2^1417970-1 is not prime. Res64: 5D572BC5C14A9EF0 Time : 0.0 sec. user=mdettweiler [2015-12-23 06:09:41] 827*2^1417970-1 is not prime. Res64: F0FBF2A156D337D6 Time : 0.0 sec. user=mdettweiler [2015-12-23 06:27:10] 875*2^1417970-1 is not prime. Res64: B99AA34ED97091F0 Time : 0.0 sec. user=mdettweiler [2015-12-23 06:27:10] 911*2^1417970-1 is not prime. Res64: 0C1FA5F0AF70C3BB Time : 0.0 sec. user=mdettweiler [2015-12-23 06:27:11] 923*2^1417970-1 is not prime. Res64: 6B2C90BE59A1A26A Time : 0.0 sec. user=mdettweiler [2015-12-23 06:27:11] 981*2^1417970-1 is not prime. Res64: CA322A27C6CA948B Time : 0.0 sec. user=mdettweiler [2015-12-23 06:44:38] 675*2^1417971-1 is not prime. Res64: DDA4BB17767842D8 Time : 0.0 sec. user=mdettweiler [2015-12-23 06:44:38] 723*2^1417971-1 is not prime. Res64: A57B8C69A85896FF Time : 0.0 sec. user=mdettweiler [2015-12-23 06:44:39] 775*2^1417971-1 is not prime. Res64: F964479F590C0C70 Time : 0.0 sec. user=mdettweiler [2015-12-23 06:44:39] 783*2^1417971-1 is not prime. Res64: 45C70BBB6E2FE9FD Time : 0.0 sec. user=mdettweiler [2015-12-23 07:02:08] 885*2^1417971-1 is not prime. Res64: 462FE628798AA58C Time : 0.0 sec. user=mdettweiler [2015-12-23 07:02:09] 617*2^1417972-1 is not prime. Res64: 010CAA1ADC786A84 Time : 0.0 sec. user=mdettweiler [2015-12-23 07:02:09] 909*2^1417971-1 is not prime. Res64: CBC304CF96648403 Time : 0.0 sec. user=mdettweiler [2015-12-23 07:02:09] 665*2^1417972-1 is not prime. Res64: 580C2455286C40E1 Time : 0.0 sec. user=mdettweiler [2015-12-23 07:20:02] 875*2^1417972-1 is not prime. Res64: A9B5BB2F31F686EC Time : 0.0 sec. user=mdettweiler [2015-12-23 07:20:02] 983*2^1417972-1 is not prime. Res64: 513D18E5F8F7ECCD Time : 0.0 sec. user=mdettweiler [2015-12-23 07:20:03] 735*2^1417972-1 is not prime. Res64: 6481C4804419B0C8 Time : 0.0 sec. user=mdettweiler [2015-12-23 07:20:03] 765*2^1417972-1 is not prime. Res64: 2796C17541A2741E Time : 0.0 sec. user=mdettweiler [2015-12-23 07:37:31] 685*2^1417973-1 is not prime. Res64: F5B0C98955601B3B Time : 0.0 sec. user=mdettweiler [2015-12-23 07:37:32] 769*2^1417973-1 is not prime. Res64: 5CC65E7F44FFB4EB Time : 0.0 sec. user=mdettweiler [2015-12-23 07:37:32] 621*2^1417973-1 is not prime. Res64: 6D974E5426243B5C Time : 0.0 sec. user=mdettweiler [2015-12-23 07:37:33] 669*2^1417973-1 is not prime. Res64: 83FC198009457322 Time : 0.0 sec. user=mdettweiler [2015-12-23 07:55:01] 781*2^1417973-1 is not prime. Res64: 55284B5D2660376A Time : 0.0 sec. user=mdettweiler [2015-12-23 07:55:01] 861*2^1417973-1 is not prime. Res64: 2344C81CA1E5C2EF Time : 0.0 sec. user=mdettweiler [2015-12-23 07:55:01] 811*2^1417973-1 is not prime. Res64: CF501B3564C35F18 Time : 0.0 sec. user=mdettweiler [2015-12-23 07:55:02] 925*2^1417973-1 is not prime. Res64: B5C18DB3B07DDFFF Time : 0.0 sec. user=mdettweiler [2015-12-23 08:12:30] 957*2^1417973-1 is not prime. Res64: 4AAF0328AE4F4124 Time : 0.0 sec. user=mdettweiler [2015-12-23 08:12:31] 981*2^1417973-1 is not prime. Res64: 1D54F9A9248F069C Time : 0.0 sec. user=mdettweiler [2015-12-23 08:12:31] 615*2^1417974-1 is not prime. Res64: A179422B0AE5B9A0 Time : 0.0 sec. user=mdettweiler [2015-12-23 08:12:32] 683*2^1417974-1 is not prime. Res64: E106AC740BEBB0B2 Time : 0.0 sec. user=mdettweiler [2015-12-23 08:30:04] 797*2^1417974-1 is not prime. Res64: F438BB061AD3C361 Time : 0.0 sec. user=mdettweiler [2015-12-23 08:30:04] 693*2^1417974-1 is not prime. Res64: 918B2FBFAD30159B Time : 0.0 sec. user=mdettweiler [2015-12-23 08:30:04] 731*2^1417974-1 is not prime. Res64: 595562E44CBF1753 Time : 0.0 sec. user=mdettweiler [2015-12-23 08:30:04] 975*2^1417974-1 is not prime. Res64: B17868919528E1EA Time : 0.0 sec. user=mdettweiler [2015-12-23 08:47:38] 609*2^1417975-1 is not prime. Res64: FEBBED9C864CDA14 Time : 0.0 sec. user=mdettweiler [2015-12-23 08:47:38] 645*2^1417975-1 is not prime. Res64: DC66D47E24A0C6D2 Time : 0.0 sec. user=mdettweiler [2015-12-23 08:47:38] 983*2^1417974-1 is not prime. Res64: 3F753848452B8149 Time : 0.0 sec. user=mdettweiler [2015-12-23 08:47:39] 1001*2^1417974-1 is not prime. Res64: 71A5A9149758D537 Time : 0.0 sec. user=mdettweiler [2015-12-23 09:05:08] 673*2^1417975-1 is not prime. Res64: 6CB9C6BF0BF89B22 Time : 0.0 sec. user=mdettweiler [2015-12-23 09:05:09] 831*2^1417975-1 is not prime. Res64: 2C5B2D88A646B294 Time : 0.0 sec. user=mdettweiler [2015-12-23 09:05:10] 771*2^1417975-1 is not prime. Res64: 7A02A84ABF4ABA8C Time : 0.0 sec. user=mdettweiler [2015-12-23 09:05:11] 871*2^1417975-1 is not prime. Res64: BFD8A483B7C28A28 Time : 0.0 sec. user=mdettweiler [2015-12-23 09:23:07] 883*2^1417975-1 is not prime. Res64: D25DF9F26F36108C Time : 0.0 sec. user=mdettweiler [2015-12-23 09:23:07] 633*2^1417976-1 is not prime. Res64: 7E7A7136ADA98F57 Time : 0.0 sec. user=mdettweiler [2015-12-23 09:23:08] 827*2^1417976-1 is not prime. Res64: A662C2E6CEBED472 Time : 0.0 sec. user=mdettweiler [2015-12-23 09:23:08] 837*2^1417976-1 is not prime. Res64: 97CAC7BD612DB5F7 Time : 0.0 sec. user=mdettweiler [2015-12-23 09:40:36] 927*2^1417976-1 is not prime. Res64: 31DBEFC54D9EF7B1 Time : 0.0 sec. user=mdettweiler [2015-12-23 09:40:37] 963*2^1417976-1 is not prime. Res64: 2AE9A6F3C5A29737 Time : 0.0 sec. user=mdettweiler [2015-12-23 09:40:37] 983*2^1417976-1 is not prime. Res64: 2E70B10B62B7C3CD Time : 0.0 sec. user=mdettweiler [2015-12-23 09:40:37] 625*2^1417977-1 is not prime. Res64: 03EAE9E3A1A50739 Time : 0.0 sec. user=mdettweiler [2015-12-23 09:58:05] 817*2^1417977-1 is not prime. Res64: 502AAC5499BD1F61 Time : 0.0 sec. user=mdettweiler [2015-12-23 09:58:05] 739*2^1417977-1 is not prime. Res64: 0199DBE47D286119 Time : 0.0 sec. user=mdettweiler [2015-12-23 09:58:06] 871*2^1417977-1 is not prime. Res64: 6DE7723679C3A8F8 Time : 0.0 sec. user=mdettweiler [2015-12-23 09:58:06] 795*2^1417977-1 is not prime. Res64: 6B7E1848A345F30C Time : 0.0 sec. user=mdettweiler [2015-12-23 10:15:38] 651*2^1417978-1 is not prime. Res64: F9D85BD4A347532B Time : 0.0 sec. user=mdettweiler [2015-12-23 10:15:38] 955*2^1417977-1 is not prime. Res64: A787133209B4D0F4 Time : 0.0 sec. user=mdettweiler [2015-12-23 10:15:38] 671*2^1417978-1 is not prime. Res64: 58586BD8BC0BBD6C Time : 0.0 sec. user=mdettweiler [2015-12-23 10:15:38] 997*2^1417977-1 is not prime. Res64: 2E0C2D4F0E4A2A54 Time : 0.0 sec. user=mdettweiler [2015-12-23 10:33:08] 821*2^1417978-1 is not prime. Res64: 39CC2E2DD9B8FF6B Time : 0.0 sec. user=mdettweiler [2015-12-23 10:33:08] 723*2^1417978-1 is not prime. Res64: B1A08BD0F9D03BF0 Time : 0.0 sec. user=mdettweiler [2015-12-23 10:33:08] 881*2^1417978-1 is not prime. Res64: 17EFF50D33A5BB10 Time : 0.0 sec. user=mdettweiler [2015-12-23 10:33:08] 803*2^1417978-1 is not prime. Res64: 472FCE410A092AA2 Time : 0.0 sec. user=mdettweiler [2015-12-23 10:50:39] 987*2^1417978-1 is not prime. Res64: B0B01116E3714C34 Time : 0.0 sec. user=mdettweiler [2015-12-23 10:50:39] 905*2^1417978-1 is not prime. Res64: 8D8A0C96EC3EFB05 Time : 0.0 sec. user=mdettweiler [2015-12-23 10:50:39] 621*2^1417979-1 is not prime. Res64: D1126CD6ACFADB1A Time : 0.0 sec. user=mdettweiler [2015-12-23 10:50:40] 975*2^1417978-1 is not prime. Res64: EDF277B02BD113FD Time : 0.0 sec. user=mdettweiler [2015-12-23 11:08:09] 685*2^1417979-1 is not prime. Res64: 00B67A6DC3C734B9 Time : 0.0 sec. user=mdettweiler [2015-12-23 11:08:09] 655*2^1417979-1 is not prime. Res64: A056EA5C1FB63A2A Time : 0.0 sec. user=mdettweiler [2015-12-23 11:08:10] 753*2^1417979-1 is not prime. Res64: 4198E2C787C9A709 Time : 0.0 sec. user=mdettweiler [2015-12-23 11:08:10] 675*2^1417979-1 is not prime. Res64: B17BA2DDD937709F Time : 0.0 sec. user=mdettweiler [2015-12-23 11:25:40] 601*2^1417981-1 is not prime. Res64: 2EBFA80449E4740D Time : 0.0 sec. user=mdettweiler [2015-12-23 11:25:41] 625*2^1417981-1 is not prime. Res64: 9EB425732D54F43A Time : 0.0 sec. user=mdettweiler [2015-12-23 11:25:41] 899*2^1417980-1 is not prime. Res64: 64C54FE0FEBE7CBA Time : 0.0 sec. user=mdettweiler [2015-12-23 11:25:41] 983*2^1417980-1 is not prime. Res64: D1AF3B361A3E0463 Time : 0.0 sec. user=mdettweiler [2015-12-23 11:43:09] 681*2^1417981-1 is not prime. Res64: DE731C0F07F14C1B Time : 0.0 sec. user=mdettweiler [2015-12-23 11:43:10] 825*2^1417981-1 is not prime. Res64: 9AA322931250FE4E Time : 0.0 sec. user=mdettweiler [2015-12-23 11:43:10] 829*2^1417981-1 is not prime. Res64: CC84305AE23329E5 Time : 0.0 sec. user=mdettweiler [2015-12-23 11:43:11] 877*2^1417981-1 is not prime. Res64: 0D3F57B4B95B0C4D Time : 0.0 sec. user=mdettweiler [2015-12-23 12:00:39] 945*2^1417981-1 is not prime. Res64: A44EE35A4948FDB6 Time : 0.0 sec. user=mdettweiler [2015-12-23 12:00:40] 617*2^1417982-1 is not prime. Res64: 2F396C8666257B98 Time : 0.0 sec. user=mdettweiler [2015-12-23 12:00:43] 813*2^1417982-1 is not prime. Res64: 3F569319741EA2A4 Time : 0.0 sec. user=mdettweiler [2015-12-23 12:00:44] 843*2^1417982-1 is not prime. Res64: 30FC5E2981784D2C Time : 0.0 sec. user=mdettweiler [2015-12-23 12:18:14] 669*2^1417983-1 is not prime. Res64: 964CF96B92DF5479 Time : 0.0 sec. user=mdettweiler [2015-12-23 12:18:14] 953*2^1417982-1 is not prime. Res64: 257E025C5C7FA1F9 Time : 0.0 sec. user=mdettweiler [2015-12-23 12:18:15] 693*2^1417983-1 is not prime. Res64: 07A76F521F167D40 Time : 0.0 sec. user=mdettweiler [2015-12-23 12:18:15] 609*2^1417983-1 is not prime. Res64: CD7AC53B1497FA68 Time : 0.0 sec. user=mdettweiler [2015-12-23 12:35:47] 949*2^1417983-1 is not prime. Res64: E297BA736010FA60 Time : 0.0 sec. user=mdettweiler [2015-12-23 12:35:48] 955*2^1417983-1 is not prime. Res64: B153EB4B339507D1 Time : 0.0 sec. user=mdettweiler [2015-12-23 12:35:48] 705*2^1417983-1 is not prime. Res64: D7341DBAFC2C56AA Time : 0.0 sec. user=mdettweiler [2015-12-23 12:35:49] 853*2^1417983-1 is not prime. Res64: 32B9D468BD907DBF Time : 0.0 sec. user=mdettweiler [2015-12-23 12:53:16] 961*2^1417983-1 is not prime. Res64: 8CA02E0376A15F93 Time : 0.0 sec. user=mdettweiler [2015-12-23 12:53:17] 635*2^1417984-1 is not prime. Res64: DB22CBE28F0D6740 Time : 0.0 sec. user=mdettweiler [2015-12-23 12:53:17] 969*2^1417983-1 is not prime. Res64: 3D59F564F0A8ABDA Time : 0.0 sec. user=mdettweiler [2015-12-23 12:53:17] 695*2^1417984-1 is not prime. Res64: B72581D34AA88584 Time : 0.0 sec. user=mdettweiler [2015-12-23 13:10:45] 849*2^1417984-1 is not prime. Res64: 9E6A51BA3EBB19F4 Time : 0.0 sec. user=mdettweiler [2015-12-23 13:10:46] 869*2^1417984-1 is not prime. Res64: 07921B7504E05672 Time : 0.0 sec. user=mdettweiler [2015-12-23 13:10:46] 873*2^1417984-1 is not prime. Res64: 0DB6AD43226D1F6C Time : 0.0 sec. user=mdettweiler [2015-12-23 13:10:47] 887*2^1417984-1 is not prime. Res64: AEF01AC3F75C548E Time : 0.0 sec. user=mdettweiler [2015-12-23 13:28:24] 899*2^1417984-1 is not prime. Res64: CBC8708CB646F9D7 Time : 0.0 sec. user=mdettweiler [2015-12-23 13:28:24] 983*2^1417984-1 is not prime. Res64: 62824DBC85C00A0F Time : 0.0 sec. user=mdettweiler [2015-12-23 13:28:24] 619*2^1417985-1 is not prime. Res64: 054255018B5DEE40 Time : 0.0 sec. user=mdettweiler [2015-12-23 13:28:25] 795*2^1417985-1 is not prime. Res64: FFC8CE877E295B4C Time : 0.0 sec. user=mdettweiler [2015-12-23 13:46:14] 907*2^1417985-1 is not prime. Res64: 9F20B37EE0AB1A3D Time : 0.0 sec. user=mdettweiler [2015-12-23 13:46:15] 635*2^1417986-1 is not prime. Res64: E46B3D8988773824 Time : 0.0 sec. user=mdettweiler [2015-12-23 13:46:16] 801*2^1417985-1 is not prime. Res64: C5E1863C999A816E Time : 0.0 sec. user=mdettweiler [2015-12-23 13:46:16] 865*2^1417985-1 is not prime. Res64: 62B38D47190F9CEE Time : 0.0 sec. user=mdettweiler [2015-12-23 14:04:02] 843*2^1417986-1 is not prime. Res64: 6A0CAC8ED8D36462 Time : 0.0 sec. user=mdettweiler [2015-12-23 14:04:02] 861*2^1417986-1 is not prime. Res64: 5B8852E54BFC13A7 Time : 0.0 sec. user=mdettweiler [2015-12-23 14:04:03] 851*2^1417986-1 is not prime. Res64: 11496C34E9485D4D Time : 0.0 sec. user=mdettweiler [2015-12-23 14:04:04] 881*2^1417986-1 is not prime. Res64: 0773EC59F1F40244 Time : 0.0 sec. user=mdettweiler [2015-12-23 14:22:34] 903*2^1417986-1 is not prime. Res64: 66AED1E68524AB33 Time : 0.0 sec. user=mdettweiler [2015-12-23 14:22:35] 971*2^1417986-1 is not prime. Res64: 77030DBBE350063D Time : 0.0 sec. user=mdettweiler [2015-12-23 14:22:36] 619*2^1417987-1 is not prime. Res64: 40DBE9A833A42D6A Time : 0.0 sec. user=mdettweiler [2015-12-23 14:22:36] 859*2^1417987-1 is not prime. Res64: 428CE05D9B4ED15B Time : 0.0 sec. user=mdettweiler [2015-12-23 14:40:16] 925*2^1417987-1 is not prime. Res64: 43A11079B56B75E3 Time : 0.0 sec. user=mdettweiler [2015-12-23 14:40:16] 999*2^1417987-1 is not prime. Res64: C45E3DF28A848EBE Time : 0.0 sec. user=mdettweiler [2015-12-23 14:40:17] 985*2^1417987-1 is not prime. Res64: B6A6710B09991FB3 Time : 0.0 sec. user=mdettweiler [2015-12-23 14:40:17] 617*2^1417988-1 is not prime. Res64: E95463FB00BF9C28 Time : 0.0 sec. user=mdettweiler [2015-12-23 14:58:06] 649*2^1417989-1 is not prime. Res64: 3BD80FB00EBC6753 Time : 0.0 sec. user=mdettweiler [2015-12-23 14:58:06] 685*2^1417989-1 is not prime. Res64: 086AB0225177C4B2 Time : 0.0 sec. user=mdettweiler [2015-12-23 14:58:08] 623*2^1417988-1 is not prime. Res64: 2E05C18F5892AB44 Time : 0.0 sec. user=mdettweiler [2015-12-23 14:58:09] 855*2^1417988-1 is not prime. Res64: E7980A00F1B2CE84 Time : 0.0 sec. user=mdettweiler [2015-12-23 15:15:41] 765*2^1417989-1 is not prime. Res64: E95C9E4744D20A38 Time : 0.0 sec. user=mdettweiler [2015-12-23 15:15:41] 895*2^1417989-1 is not prime. Res64: 6CACB03DF4729DDD Time : 0.0 sec. user=mdettweiler [2015-12-23 15:15:46] 635*2^1417990-1 is not prime. Res64: 2B663009594F38B6 Time : 0.0 sec. user=mdettweiler [2015-12-23 15:15:46] 653*2^1417990-1 is not prime. Res64: BC23D7CFD6689FA9 Time : 0.0 sec. user=mdettweiler [2015-12-23 15:33:20] 681*2^1417990-1 is not prime. Res64: 3CBDD57D324AA90C Time : 0.0 sec. user=mdettweiler [2015-12-23 15:33:21] 813*2^1417990-1 is not prime. Res64: F2F3AA8F6F46E84D Time : 0.0 sec. user=mdettweiler [2015-12-23 15:33:22] 827*2^1417990-1 is not prime. Res64: 70C8BE50DCE23272 Time : 0.0 sec. user=mdettweiler [2015-12-23 15:33:23] 917*2^1417990-1 is not prime. Res64: 6AE44F517D1E1533 Time : 0.0 sec. user=mdettweiler [2015-12-23 15:51:10] 945*2^1417990-1 is not prime. Res64: 9B7EBE822F02FB56 Time : 0.0 sec. user=mdettweiler [2015-12-23 15:51:10] 619*2^1417991-1 is not prime. Res64: 338DCFF57B0FBDD0 Time : 0.0 sec. user=mdettweiler [2015-12-23 15:51:11] 685*2^1417991-1 is not prime. Res64: 9A159ABB73B4393F Time : 0.0 sec. user=mdettweiler [2015-12-23 15:51:11] 715*2^1417991-1 is not prime. Res64: 2424EAB9F20AAF5B Time : 0.0 sec. user=mdettweiler [2015-12-23 16:08:50] 741*2^1417991-1 is not prime. Res64: 06483A0C2A88066E Time : 0.0 sec. user=mdettweiler [2015-12-23 16:08:50] 805*2^1417991-1 is not prime. Res64: 9158D1530079AF03 Time : 0.0 sec. user=mdettweiler [2015-12-23 16:08:51] 745*2^1417991-1 is not prime. Res64: FC8BDCC286D6B02C Time : 0.0 sec. user=mdettweiler [2015-12-23 16:08:51] 811*2^1417991-1 is not prime. Res64: C4531914EF157789 Time : 0.0 sec. user=mdettweiler [2015-12-23 16:26:39] 629*2^1417992-1 is not prime. Res64: B7247BCE05122010 Time : 0.0 sec. user=mdettweiler [2015-12-23 16:26:39] 653*2^1417992-1 is not prime. Res64: 9E079BD274E3494E Time : 0.0 sec. user=mdettweiler [2015-12-23 16:26:40] 823*2^1417991-1 is not prime. Res64: 97B8C6F08DC95D35 Time : 0.0 sec. user=mdettweiler [2015-12-23 16:26:41] 615*2^1417992-1 is not prime. Res64: 4A2E4B6720A853EC Time : 0.0 sec. user=mdettweiler [2015-12-23 16:44:10] 843*2^1417992-1 is not prime. Res64: 25514B6280DDA529 Time : 0.0 sec. user=mdettweiler [2015-12-23 16:44:10] 975*2^1417992-1 is not prime. Res64: DAD9CB73936E0E40 Time : 0.0 sec. user=mdettweiler [2015-12-23 16:44:11] 649*2^1417993-1 is not prime. Res64: 723B3408D8A5AC66 Time : 0.0 sec. user=mdettweiler [2015-12-23 16:44:11] 721*2^1417993-1 is not prime. Res64: E2D0391D9AB568D9 Time : 0.0 sec. user=mdettweiler [2015-12-23 17:01:41] 985*2^1417993-1 is not prime. Res64: 31C8D29349663236 Time : 0.0 sec. user=mdettweiler [2015-12-23 17:01:42] 771*2^1417993-1 is not prime. Res64: 856B3117FBB98218 Time : 0.0 sec. user=mdettweiler [2015-12-23 17:01:42] 675*2^1417994-1 is not prime. Res64: 6EDCBFC8D52FE28B Time : 0.0 sec. user=mdettweiler [2015-12-23 17:01:43] 847*2^1417993-1 is not prime. Res64: 1C49FE9A780E0882 Time : 0.0 sec. user=mdettweiler [2015-12-23 17:19:42] 683*2^1417994-1 is not prime. Res64: B86C6ABFC69D571B Time : 0.0 sec. user=mdettweiler [2015-12-23 17:19:42] 923*2^1417994-1 is not prime. Res64: D4EAA6DEDCA18F4A Time : 0.0 sec. user=mdettweiler [2015-12-23 17:19:42] 825*2^1417994-1 is not prime. Res64: BB1DF113152BD7BB Time : 0.0 sec. user=mdettweiler [2015-12-23 17:19:42] 927*2^1417994-1 is not prime. Res64: 1A3BC808B0E6CE29 Time : 0.0 sec. user=mdettweiler [2015-12-23 17:37:12] 651*2^1417995-1 is not prime. Res64: 9BAB06531D76865E Time : 0.0 sec. user=mdettweiler [2015-12-23 17:37:12] 601*2^1417995-1 is not prime. Res64: 8D84401FCD804EAB Time : 0.0 sec. user=mdettweiler [2015-12-23 17:37:12] 793*2^1417995-1 is not prime. Res64: B2C0EDB12165C7BF Time : 0.0 sec. user=mdettweiler [2015-12-23 17:37:12] 609*2^1417995-1 is not prime. Res64: 49AE02CF03115BD4 Time : 0.0 sec. user=mdettweiler [2015-12-23 17:54:42] 805*2^1417995-1 is not prime. Res64: 5A8DC235F5E666B5 Time : 0.0 sec. user=mdettweiler [2015-12-23 17:54:42] 963*2^1417995-1 is not prime. Res64: 46981065D8AAAE33 Time : 0.0 sec. user=mdettweiler [2015-12-23 17:54:42] 909*2^1417995-1 is not prime. Res64: 2D2212000EDEC9C2 Time : 0.0 sec. user=mdettweiler [2015-12-23 17:54:42] 609*2^1417996-1 is not prime. Res64: FEEABD019FF5C312 Time : 0.0 sec. user=mdettweiler [2015-12-23 18:12:12] 989*2^1417996-1 is not prime. Res64: 465F86807B84AB7D Time : 0.0 sec. user=mdettweiler [2015-12-23 18:12:12] 657*2^1417996-1 is not prime. Res64: 222F3D8D19A54DAD Time : 0.0 sec. user=mdettweiler [2015-12-23 18:12:13] 655*2^1417997-1 is not prime. Res64: AE28AAA8D2F31A74 Time : 0.0 sec. user=mdettweiler [2015-12-23 18:12:13] 719*2^1417996-1 is not prime. Res64: 2335DD4BD5DA411F Time : 0.0 sec. user=mdettweiler [2015-12-23 18:29:49] 747*2^1417997-1 is not prime. Res64: D9915ADAE53E4D27 Time : 0.0 sec. user=mdettweiler [2015-12-23 18:29:49] 781*2^1417997-1 is not prime. Res64: 8A5E868662221C0F Time : 0.0 sec. user=mdettweiler [2015-12-23 18:29:49] 825*2^1417997-1 is not prime. Res64: 3AB0AE165E6680DB Time : 0.0 sec. user=mdettweiler [2015-12-23 18:29:50] 871*2^1417997-1 is not prime. Res64: C38921D3F4D18A8D Time : 0.0 sec. user=mdettweiler [2015-12-23 18:47:18] 713*2^1417998-1 is not prime. Res64: D6355CD24895D45B Time : 0.0 sec. user=mdettweiler [2015-12-23 18:47:18] 651*2^1417998-1 is not prime. Res64: 2DC0CB487438CD17 Time : 0.0 sec. user=mdettweiler [2015-12-23 18:47:19] 773*2^1417998-1 is not prime. Res64: 95EAFC590E77A825 Time : 0.0 sec. user=mdettweiler [2015-12-23 18:47:19] 663*2^1417998-1 is not prime. Res64: 5D61A25A66BB027C Time : 0.0 sec. user=mdettweiler [2015-12-23 19:04:49] 887*2^1417998-1 is not prime. Res64: 03B160ACF65DC386 Time : 0.0 sec. user=mdettweiler [2015-12-23 19:04:49] 863*2^1417998-1 is not prime. Res64: DD59AECEE71357B2 Time : 0.0 sec. user=mdettweiler [2015-12-23 19:04:50] 885*2^1417998-1 is not prime. Res64: CBA94F366B725792 Time : 0.0 sec. user=mdettweiler [2015-12-23 19:04:50] 633*2^1417999-1 is not prime. Res64: 492E2A2A9F7F8B0F Time : 0.0 sec. user=mdettweiler [2015-12-23 19:22:41] 679*2^1417999-1 is not prime. Res64: 3F2DB79B718CFB39 Time : 0.0 sec. user=mdettweiler [2015-12-23 19:22:41] 885*2^1417999-1 is not prime. Res64: 78A06FDAE6FDB6A2 Time : 0.0 sec. user=mdettweiler [2015-12-23 19:22:42] 693*2^1417999-1 is not prime. Res64: F37C34FA971E8FBB Time : 0.0 sec. user=mdettweiler [2015-12-23 19:22:42] 919*2^1417999-1 is not prime. Res64: 790D55364D669675 Time : 0.0 sec. user=mdettweiler [2015-12-23 19:40:11] 939*2^1417999-1 is not prime. Res64: CBFBA872F1B3FB9D Time : 0.0 sec. user=mdettweiler [2015-12-23 19:40:11] 943*2^1417999-1 is not prime. Res64: 02711D1832EAC37E Time : 0.0 sec. user=mdettweiler [2015-12-23 19:40:12] 979*2^1417999-1 is not prime. Res64: 0BB936E83C4BB9FC Time : 0.0 sec. user=mdettweiler [2015-12-23 19:40:12] 839*2^1418000-1 is not prime. Res64: 9C788E5126D9008D Time : 0.0 sec. user=mdettweiler [2015-12-23 19:57:41] 927*2^1418000-1 is not prime. Res64: FA3DA36C14C18337 Time : 0.0 sec. user=mdettweiler [2015-12-23 19:57:41] 717*2^1418001-1 is not prime. Res64: 1740BBF949CFD0AE Time : 0.0 sec. user=mdettweiler [2015-12-23 19:57:41] 625*2^1418001-1 is not prime. Res64: 60707CCC495653BA Time : 0.0 sec. user=mdettweiler [2015-12-23 19:57:41] 745*2^1418001-1 is not prime. Res64: 6608658C1E62C41A Time : 0.0 sec. user=mdettweiler [2015-12-23 20:15:16] 817*2^1418001-1 is not prime. Res64: 03917421B3863631 Time : 0.0 sec. user=mdettweiler [2015-12-23 20:15:17] 867*2^1418001-1 is not prime. Res64: 9216A15600D2634B Time : 0.0 sec. user=mdettweiler [2015-12-23 20:15:17] 829*2^1418001-1 is not prime. Res64: F3AA2E46FAA4FE5C Time : 0.0 sec. user=mdettweiler [2015-12-23 20:15:17] 895*2^1418001-1 is not prime. Res64: 76805FF8D40346C9 Time : 0.0 sec. user=mdettweiler [2015-12-23 20:32:55] 969*2^1418001-1 is not prime. Res64: 946C3ACB930BCE2B Time : 0.0 sec. user=mdettweiler [2015-12-23 20:32:55] 653*2^1418002-1 is not prime. Res64: B25C469DCECB2513 Time : 0.0 sec. user=mdettweiler [2015-12-23 20:32:56] 611*2^1418002-1 is not prime. Res64: CB5567EC2995A905 Time : 0.0 sec. user=mdettweiler [2015-12-23 20:32:56] 723*2^1418002-1 is not prime. Res64: FD4CA7DC056A7177 Time : 0.0 sec. user=mdettweiler [2015-12-23 20:50:30] 747*2^1418002-1 is not prime. Res64: 49A124D69D102B76 Time : 0.0 sec. user=mdettweiler [2015-12-23 20:50:31] 947*2^1418002-1 is not prime. Res64: E2FB1232A0A95619 Time : 0.0 sec. user=mdettweiler [2015-12-23 20:50:33] 995*2^1418002-1 is not prime. Res64: 601EA6436CA07070 Time : 0.0 sec. user=mdettweiler [2015-12-23 20:50:33] 735*2^1418003-1 is not prime. Res64: 5D9EF20006351EAF Time : 0.0 sec. user=mdettweiler [2015-12-23 21:08:00] 913*2^1418003-1 is not prime. Res64: 6696F6C829BCCBC9 Time : 0.0 sec. user=mdettweiler [2015-12-23 21:08:01] 949*2^1418003-1 is not prime. Res64: 706B7984317E8FB4 Time : 0.0 sec. user=mdettweiler [2015-12-23 21:08:03] 605*2^1418004-1 is not prime. Res64: CE5936D66E011E7D Time : 0.0 sec. user=mdettweiler [2015-12-23 21:08:06] 759*2^1418004-1 is not prime. Res64: A54CF976D03D3C65 Time : 0.0 sec. user=mdettweiler [2015-12-23 21:25:48] 773*2^1418004-1 is not prime. Res64: 1320A1A519D3A04D Time : 0.0 sec. user=mdettweiler [2015-12-23 21:25:48] 893*2^1418004-1 is not prime. Res64: A163B23308D4CA98 Time : 0.0 sec. user=mdettweiler [2015-12-23 21:25:48] 857*2^1418004-1 is not prime. Res64: FE4029EBC292C76A Time : 0.0 sec. user=mdettweiler [2015-12-23 21:25:49] 969*2^1418004-1 is not prime. Res64: DAD2DC9FC8FF9052 Time : 0.0 sec. user=mdettweiler [2015-12-23 21:43:17] 721*2^1418005-1 is not prime. Res64: 59BF1A9ABFD731F1 Time : 0.0 sec. user=mdettweiler [2015-12-23 21:43:17] 741*2^1418005-1 is not prime. Res64: 55D8E710B82D4C03 Time : 0.0 sec. user=mdettweiler [2015-12-23 21:43:17] 983*2^1418004-1 is not prime. Res64: 705E46F50B186D05 Time : 0.0 sec. user=mdettweiler [2015-12-23 21:43:18] 625*2^1418005-1 is not prime. Res64: 5D95D724B220A09D Time : 0.0 sec. user=mdettweiler [2015-12-23 22:00:47] 775*2^1418005-1 is not prime. Res64: 9ECB8C4274AD4EC8 Time : 0.0 sec. user=mdettweiler [2015-12-23 22:00:47] 765*2^1418005-1 is not prime. Res64: 78C3917A17A5F781 Time : 0.0 sec. user=mdettweiler [2015-12-23 22:00:47] 801*2^1418005-1 is not prime. Res64: A52BD9313AB248B5 Time : 0.0 sec. user=mdettweiler [2015-12-23 22:00:48] 771*2^1418005-1 is not prime. Res64: 82261C3B42F0A384 Time : 0.0 sec. user=mdettweiler [2015-12-23 22:18:19] 811*2^1418005-1 is not prime. Res64: ED9B2644B9118173 Time : 0.0 sec. user=mdettweiler [2015-12-23 22:18:20] 937*2^1418005-1 is not prime. Res64: F84BA2DDAD9C7F1F Time : 0.0 sec. user=mdettweiler [2015-12-23 22:18:20] 957*2^1418005-1 is not prime. Res64: EDCEE30772B1BC41 Time : 0.0 sec. user=mdettweiler [2015-12-23 22:18:20] 623*2^1418006-1 is not prime. Res64: F1F6250A941A27C4 Time : 0.0 sec. user=mdettweiler [2015-12-23 22:35:51] 795*2^1418006-1 is not prime. Res64: CF51343603E648DB Time : 0.0 sec. user=mdettweiler [2015-12-23 22:35:52] 815*2^1418006-1 is not prime. Res64: 641FDD9AEAE484BD Time : 0.0 sec. user=mdettweiler [2015-12-23 22:35:52] 833*2^1418006-1 is not prime. Res64: 927E9EC3C24D8D04 Time : 0.0 sec. user=mdettweiler [2015-12-23 22:35:52] 873*2^1418006-1 is not prime. Res64: 792197C8C20DE717 Time : 0.0 sec. user=mdettweiler [2015-12-23 22:53:21] 775*2^1418007-1 is not prime. Res64: D68C89128FE07EBE Time : 0.0 sec. user=mdettweiler [2015-12-23 22:53:21] 983*2^1418006-1 is not prime. Res64: 119061D2FB21B23E Time : 0.0 sec. user=mdettweiler [2015-12-23 22:53:22] 677*2^1418008-1 is not prime. Res64: 0404DFF36B4C74C9 Time : 0.0 sec. user=mdettweiler [2015-12-23 22:53:22] 669*2^1418007-1 is not prime. Res64: 533701246CEEE028 Time : 0.0 sec. user=mdettweiler [2015-12-23 23:10:50] 713*2^1418008-1 is not prime. Res64: 853FDFFE30632095 Time : 0.0 sec. user=mdettweiler [2015-12-23 23:10:50] 839*2^1418008-1 is not prime. Res64: 2B1AF251E8F67495 Time : 0.0 sec. user=mdettweiler [2015-12-23 23:10:51] 843*2^1418008-1 is not prime. Res64: 8CCBAEA4B2A9796A Time : 0.0 sec. user=mdettweiler [2015-12-23 23:10:51] 827*2^1418008-1 is not prime. Res64: D3A79A4867EF3000 Time : 0.0 sec. user=mdettweiler [2015-12-23 23:28:24] 631*2^1418009-1 is not prime. Res64: D2605A6D0E77F059 Time : 0.0 sec. user=mdettweiler [2015-12-23 23:28:24] 863*2^1418008-1 is not prime. Res64: 270436BD30E93200 Time : 0.0 sec. user=mdettweiler [2015-12-23 23:28:24] 699*2^1418009-1 is not prime. Res64: F99711EA928FF12D Time : 0.0 sec. user=mdettweiler [2015-12-23 23:28:24] 999*2^1418008-1 is not prime. Res64: 86F92A907F74DBE7 Time : 0.0 sec. user=mdettweiler [2015-12-23 23:45:53] 775*2^1418009-1 is not prime. Res64: 1472A671D1BB2C53 Time : 0.0 sec. user=mdettweiler [2015-12-23 23:45:54] 795*2^1418009-1 is not prime. Res64: 963439D46A5156FF Time : 0.0 sec. user=mdettweiler [2015-12-23 23:45:54] 865*2^1418009-1 is not prime. Res64: 79C9DF2E394C058A Time : 0.0 sec. user=mdettweiler [2015-12-23 23:45:54] 885*2^1418009-1 is not prime. Res64: 54FF27BFA2DB8099 Time : 0.0 sec.