user=mdettweiler [2016-09-29 00:01:02] 815*2^1441122-1 is not prime. Res64: 594695C9F24D55E6 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:01:02] 837*2^1441122-1 is not prime. Res64: BB9FBDA280EC0B03 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:01:03] 873*2^1441122-1 is not prime. Res64: 393338753244071D Time : 0.0 sec. user=mdettweiler [2016-09-29 00:01:03] 887*2^1441122-1 is not prime. Res64: 289B99D67D0B2EA2 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:01:06] 723*2^1441123-1 is not prime. Res64: 402E5D6A509EF9FA Time : 0.0 sec. user=mdettweiler [2016-09-29 00:45:31] 819*2^1441123-1 is not prime. Res64: E4DD0DC7C1A3BED9 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:45:32] 871*2^1441123-1 is not prime. Res64: FEB642D8B5BDB615 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:45:32] 609*2^1441124-1 is not prime. Res64: 810AE52D657B3F57 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:45:33] 629*2^1441124-1 is not prime. Res64: DA8D2A454C62EEDA Time : 0.0 sec. user=mdettweiler [2016-09-29 00:45:33] 707*2^1441124-1 is not prime. Res64: 3B56D08917868821 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:45:39] 795*2^1441124-1 is not prime. Res64: 998434BA7197EB3D Time : 0.0 sec. user=mdettweiler [2016-09-29 00:45:40] 837*2^1441124-1 is not prime. Res64: 194D0951F546F39F Time : 0.0 sec. user=mdettweiler [2016-09-29 00:45:40] 897*2^1441124-1 is not prime. Res64: F8BE298B74DF20A0 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:45:41] 927*2^1441124-1 is not prime. Res64: 56AC085B99539E73 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:45:41] 935*2^1441124-1 is not prime. Res64: 7DCFCEE743E2A4B3 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:45:53] 945*2^1441124-1 is not prime. Res64: 84159074AE3C47B7 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:45:54] 959*2^1441124-1 is not prime. Res64: 0E7F30535F453ACC Time : 0.0 sec. user=mdettweiler [2016-09-29 00:45:54] 871*2^1441125-1 is not prime. Res64: 230084AB9D075725 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:45:55] 961*2^1441125-1 is not prime. Res64: 6E34A0FA9F0FAEBA Time : 0.0 sec. user=mdettweiler [2016-09-29 00:45:56] 999*2^1441125-1 is not prime. Res64: 56C657611A5D9A7A Time : 0.0 sec. user=mdettweiler [2016-09-29 00:46:25] 611*2^1441126-1 is not prime. Res64: 3B944737D0E5A82E Time : 0.0 sec. user=mdettweiler [2016-09-29 00:46:26] 647*2^1441126-1 is not prime. Res64: 75F6F709EEBA6555 Time : 0.0 sec. user=mdettweiler [2016-09-29 00:46:26] 695*2^1441126-1 is not prime. Res64: 7A125E1FE338FFFA Time : 0.0 sec. user=mdettweiler [2016-09-29 00:46:27] 761*2^1441126-1 is not prime. Res64: 9AB3E034394D5F8B Time : 0.0 sec. user=mdettweiler [2016-09-29 00:46:27] 783*2^1441126-1 is not prime. Res64: A1FDF1DDEB8F3048 Time : 0.0 sec. user=mdettweiler [2016-09-29 01:31:14] 615*2^1441127-1 is not prime. Res64: 80370B10A2FE1DBF Time : 0.0 sec. user=mdettweiler [2016-09-29 01:31:22] 619*2^1441127-1 is not prime. Res64: ECF4D6EF3330C62E Time : 0.0 sec. user=mdettweiler [2016-09-29 01:31:28] 801*2^1441126-1 is not prime. Res64: 2FC3657F61A7DAFF Time : 0.0 sec. user=mdettweiler [2016-09-29 01:31:31] 859*2^1441127-1 is not prime. Res64: 799C2ABFF4127D52 Time : 0.0 sec. user=mdettweiler [2016-09-29 01:32:02] 753*2^1441128-1 is not prime. Res64: 1636AEC93BFABE28 Time : 0.0 sec. user=mdettweiler [2016-09-29 01:32:08] 909*2^1441128-1 is not prime. Res64: F250966C8E602B3E Time : 0.0 sec. user=mdettweiler [2016-09-29 01:32:10] 699*2^1441129-1 is not prime. Res64: E509004D37C40089 Time : 0.0 sec. user=mdettweiler [2016-09-29 01:32:13] 775*2^1441129-1 is not prime. Res64: 0D3D9292C51BD111 Time : 0.0 sec. user=mdettweiler [2016-09-29 01:32:16] 817*2^1441129-1 is not prime. Res64: B3F1FE8CE7A3C033 Time : 0.0 sec. user=mdettweiler [2016-09-29 02:27:26] 999*2^1441129-1 is not prime. Res64: 075927D8286DEC49 Time : 0.0 sec. user=mdettweiler [2016-09-29 02:27:27] 633*2^1441130-1 is not prime. Res64: 2392F26D925BC9AF Time : 0.0 sec. user=mdettweiler [2016-09-29 02:27:28] 657*2^1441130-1 is not prime. Res64: 05D9A2E540A04CF8 Time : 0.0 sec. user=mdettweiler [2016-09-29 02:27:28] 677*2^1441130-1 is not prime. Res64: CAE36ED5258FC914 Time : 0.0 sec. user=mdettweiler [2016-09-29 02:27:28] 743*2^1441130-1 is not prime. Res64: 3597636EFD4F2B49 Time : 0.0 sec. user=mdettweiler [2016-09-29 03:22:29] 753*2^1441130-1 is not prime. Res64: DC72EB79384ACA79 Time : 0.0 sec. user=mdettweiler [2016-09-29 03:22:29] 875*2^1441130-1 is not prime. Res64: 76F14F5592A87858 Time : 0.0 sec. user=mdettweiler [2016-09-29 03:22:30] 917*2^1441130-1 is not prime. Res64: 84625E3E634824AC Time : 0.0 sec. user=mdettweiler [2016-09-29 03:22:30] 1001*2^1441130-1 is not prime. Res64: 6241BB77B326C4F1 Time : 0.0 sec. user=mdettweiler [2016-09-29 03:22:31] 601*2^1441131-1 is not prime. Res64: D33E9DDCF73D8017 Time : 0.0 sec. user=mdettweiler [2016-09-29 04:20:49] 651*2^1441131-1 is not prime. Res64: 61C18DBAB12D3D7C Time : 0.0 sec. user=mdettweiler [2016-09-29 04:20:50] 783*2^1441131-1 is not prime. Res64: AC1C53FC60D5F7D5 Time : 0.0 sec. user=mdettweiler [2016-09-29 04:20:50] 801*2^1441131-1 is not prime. Res64: D8EBCE77820A3AD2 Time : 0.0 sec. user=mdettweiler [2016-09-29 04:20:51] 903*2^1441131-1 is not prime. Res64: 71AEA04C0545D98E Time : 0.0 sec. user=mdettweiler [2016-09-29 04:20:51] 623*2^1441132-1 is not prime. Res64: E9364405837DE99B Time : 0.0 sec. user=mdettweiler [2016-09-29 05:16:24] 869*2^1441132-1 is not prime. Res64: ADF93ECBC88309EA Time : 0.0 sec. user=mdettweiler [2016-09-29 05:16:24] 939*2^1441132-1 is not prime. Res64: 02484E44DF8892A0 Time : 0.0 sec. user=mdettweiler [2016-09-29 05:16:25] 675*2^1441133-1 is not prime. Res64: 5A6B8001515CE948 Time : 0.0 sec. user=mdettweiler [2016-09-29 05:16:25] 691*2^1441133-1 is not prime. Res64: 140013FC4ABEC5AB Time : 0.0 sec. user=mdettweiler [2016-09-29 05:16:26] 721*2^1441133-1 is not prime. Res64: 04C54DEA617E9C22 Time : 0.0 sec. user=mdettweiler [2016-09-29 06:23:10] 729*2^1441133-1 is not prime. Res64: BFC8D9AE0A706C42 Time : 0.0 sec. user=mdettweiler [2016-09-29 06:23:10] 811*2^1441133-1 is not prime. Res64: 08C3864605742A65 Time : 0.0 sec. user=mdettweiler [2016-09-29 06:23:11] 847*2^1441133-1 is not prime. Res64: 1104FD6A92C8748F Time : 0.0 sec. user=mdettweiler [2016-09-29 06:23:11] 937*2^1441133-1 is not prime. Res64: 60110CBE649E549A Time : 0.0 sec. user=mdettweiler [2016-09-29 06:23:11] 969*2^1441133-1 is not prime. Res64: 6B36B2C8DEAD5E0A Time : 0.0 sec. user=mdettweiler [2016-09-29 07:27:25] 683*2^1441134-1 is not prime. Res64: F4E0FCF72936ED24 Time : 0.0 sec. user=mdettweiler [2016-09-29 07:27:26] 741*2^1441134-1 is not prime. Res64: E1A497DB0CAFC943 Time : 0.0 sec. user=mdettweiler [2016-09-29 07:27:26] 881*2^1441134-1 is not prime. Res64: 748179D509DA03B3 Time : 0.0 sec. user=mdettweiler [2016-09-29 07:27:27] 891*2^1441134-1 is not prime. Res64: 1721368C2477299D Time : 0.0 sec. user=mdettweiler [2016-09-29 07:27:27] 917*2^1441134-1 is not prime. Res64: F622AF39D1CDC089 Time : 0.0 sec. user=mdettweiler [2016-09-29 07:45:37] 825*2^1441126-1 is not prime. Res64: 1B85C99E86F310CF Time : 0.0 sec. user=mdettweiler [2016-09-29 07:45:38] 897*2^1441126-1 is not prime. Res64: 8FBFB918447A1DA1 Time : 0.0 sec. user=mdettweiler [2016-09-29 07:45:38] 981*2^1441126-1 is not prime. Res64: 0AD64B6C6D0982D7 Time : 0.0 sec. user=mdettweiler [2016-09-29 07:45:39] 987*2^1441126-1 is not prime. Res64: F15FC2A7E762F936 Time : 0.0 sec. user=mdettweiler [2016-09-29 07:58:33] 879*2^1441127-1 is not prime. Res64: 2ED1074D49743E79 Time : 0.0 sec. user=mdettweiler [2016-09-29 07:58:33] 963*2^1441127-1 is not prime. Res64: 91400B27312BEAE7 Time : 0.0 sec. user=mdettweiler [2016-09-29 07:58:34] 985*2^1441127-1 is not prime. Res64: D49E2AFB6E8729B5 Time : 0.0 sec. user=mdettweiler [2016-09-29 07:58:34] 669*2^1441128-1 is not prime. Res64: 1FFA088D956FB5A6 Time : 0.0 sec. user=mdettweiler [2016-09-29 08:00:03] 675*2^1441127-1 is not prime. Res64: E9DCF3FE7E6E1B92 Time : 0.0 sec. user=mdettweiler [2016-09-29 08:00:04] 741*2^1441127-1 is not prime. Res64: EEC405F93D1B1BA0 Time : 0.0 sec. user=mdettweiler [2016-09-29 08:00:04] 841*2^1441127-1 is not prime. Res64: E0FEFB93984986FA Time : 0.0 sec. user=mdettweiler [2016-09-29 08:17:01] 945*2^1441134-1 is not prime. Res64: EA9C28721CA09E3E Time : 0.0 sec. user=mdettweiler [2016-09-29 08:17:02] 971*2^1441134-1 is not prime. Res64: 924D014DB8712B7A Time : 0.0 sec. user=mdettweiler [2016-09-29 08:17:03] 625*2^1441135-1 is not prime. Res64: A160DB7735377EC4 Time : 0.0 sec. user=mdettweiler [2016-09-29 08:17:04] 685*2^1441135-1 is not prime. Res64: F22ACDE13AC77E2C Time : 0.0 sec. user=mdettweiler [2016-09-29 08:17:04] 709*2^1441135-1 is not prime. Res64: 9881E606168B2040 Time : 0.0 sec. user=mdettweiler [2016-09-29 08:32:07] 759*2^1441135-1 is not prime. Res64: F8038428ADDFA1A9 Time : 0.0 sec. user=mdettweiler [2016-09-29 08:32:07] 873*2^1441135-1 is not prime. Res64: FE9737AFBCC5CF13 Time : 0.0 sec. user=mdettweiler [2016-09-29 08:32:08] 885*2^1441135-1 is not prime. Res64: 0BB2A028ED3E9508 Time : 0.0 sec. user=mdettweiler [2016-09-29 08:32:08] 909*2^1441135-1 is not prime. Res64: D8EDD1EFAFE4DAA2 Time : 0.0 sec. user=mdettweiler [2016-09-29 08:32:09] 961*2^1441135-1 is not prime. Res64: C28CE808A532E7C1 Time : 0.0 sec. user=mdettweiler [2016-09-29 08:43:56] 669*2^1441136-1 is not prime. Res64: 28D5A3E408F226FF Time : 0.0 sec. user=mdettweiler [2016-09-29 08:43:57] 759*2^1441136-1 is not prime. Res64: 9AB99303F35B43CD Time : 0.0 sec. user=mdettweiler [2016-09-29 08:43:57] 777*2^1441136-1 is not prime. Res64: 1E55BA27B41CB7FC Time : 0.0 sec. user=mdettweiler [2016-09-29 08:43:58] 935*2^1441136-1 is not prime. Res64: 7D2E2D2711475587 Time : 0.0 sec. user=mdettweiler [2016-09-29 08:43:58] 625*2^1441137-1 is not prime. Res64: 3104E1EB52D0ED5F Time : 0.0 sec. user=mdettweiler [2016-09-29 08:45:23] 681*2^1441137-1 is not prime. Res64: EF3AD47D9CC590A0 Time : 0.0 sec. user=mdettweiler [2016-09-29 08:45:23] 747*2^1441137-1 is not prime. Res64: 01DB63E8C1C00877 Time : 0.0 sec. user=mdettweiler [2016-09-29 08:45:24] 769*2^1441137-1 is not prime. Res64: 8FD2AD35E75E2B69 Time : 0.0 sec. user=mdettweiler [2016-09-29 08:45:24] 795*2^1441137-1 is not prime. Res64: 8E573C0D6875D2E9 Time : 0.0 sec. user=mdettweiler [2016-09-29 08:45:24] 835*2^1441137-1 is not prime. Res64: 81A245E2C69A2248 Time : 0.0 sec. user=mdettweiler [2016-09-29 09:02:26] 621*2^1441138-1 is not prime. Res64: 0BC647EE3995E385 Time : 0.0 sec. user=mdettweiler [2016-09-29 09:02:27] 665*2^1441138-1 is not prime. Res64: C4001C78427C15C5 Time : 0.0 sec. user=mdettweiler [2016-09-29 09:02:28] 681*2^1441138-1 is not prime. Res64: DD431DE639083746 Time : 0.0 sec. user=mdettweiler [2016-09-29 09:02:29] 765*2^1441138-1 is not prime. Res64: D9749CF37150ACDF Time : 0.0 sec. user=mdettweiler [2016-09-29 09:02:30] 855*2^1441138-1 is not prime. Res64: 8E55DC558269F61F Time : 0.0 sec. user=mdettweiler [2016-09-29 09:17:48] 951*2^1441138-1 is not prime. Res64: 1924715655F75B15 Time : 0.0 sec. user=mdettweiler [2016-09-29 09:17:48] 883*2^1441139-1 is not prime. Res64: 3943A5D333AAAD86 Time : 0.0 sec. user=mdettweiler [2016-09-29 09:17:48] 909*2^1441139-1 is not prime. Res64: 0BC0E8294DA0CC1D Time : 0.0 sec. user=mdettweiler [2016-09-29 09:17:49] 979*2^1441139-1 is not prime. Res64: 132F4B542D73DB42 Time : 0.0 sec. user=mdettweiler [2016-09-29 09:17:49] 653*2^1441140-1 is not prime. Res64: 5AC0B43F17A7DEB0 Time : 0.0 sec. user=mdettweiler [2016-09-29 09:29:29] 825*2^1441140-1 is not prime. Res64: A89EA171BB3DE12F Time : 0.0 sec. user=mdettweiler [2016-09-29 09:29:30] 857*2^1441140-1 is not prime. Res64: 3886B26689CE3327 Time : 0.0 sec. user=mdettweiler [2016-09-29 09:29:30] 867*2^1441140-1 is not prime. Res64: F5B421AB73D53F8F Time : 0.0 sec. user=mdettweiler [2016-09-29 09:29:30] 875*2^1441140-1 is not prime. Res64: E3A4E648991562AD Time : 0.0 sec. user=mdettweiler [2016-09-29 09:29:31] 879*2^1441140-1 is not prime. Res64: 83BCBFACD6783112 Time : 0.0 sec. user=mdettweiler [2016-09-29 09:30:55] 909*2^1441140-1 is not prime. Res64: AEBE59F500C43E1D Time : 0.0 sec. user=mdettweiler [2016-09-29 09:30:55] 927*2^1441140-1 is not prime. Res64: 4A215A7A0384EC1F Time : 0.0 sec. user=mdettweiler [2016-09-29 09:30:56] 945*2^1441140-1 is not prime. Res64: 30C95FE8681AF684 Time : 0.0 sec. user=mdettweiler [2016-09-29 09:30:56] 607*2^1441141-1 is not prime. Res64: BEA5AB7D7F97F733 Time : 0.0 sec. user=mdettweiler [2016-09-29 09:30:56] 741*2^1441141-1 is not prime. Res64: A0C55AF76736F366 Time : 0.0 sec. user=mdettweiler [2016-09-29 09:47:56] 747*2^1441141-1 is not prime. Res64: 5F818775A03D87E7 Time : 0.0 sec. user=mdettweiler [2016-09-29 09:47:57] 847*2^1441141-1 is not prime. Res64: B868FC2FD6925020 Time : 0.0 sec. user=mdettweiler [2016-09-29 09:47:57] 931*2^1441141-1 is not prime. Res64: 55C6662DA9F7A4D0 Time : 0.0 sec. user=mdettweiler [2016-09-29 09:47:57] 951*2^1441141-1 is not prime. Res64: 69FB608C28D637B1 Time : 0.0 sec. user=mdettweiler [2016-09-29 09:47:58] 957*2^1441141-1 is not prime. Res64: C61658D4F1D8309C Time : 0.0 sec. user=mdettweiler [2016-09-29 10:03:07] 741*2^1441142-1 is not prime. Res64: D82F8E7DCC230B69 Time : 0.0 sec. user=mdettweiler [2016-09-29 10:03:08] 753*2^1441142-1 is not prime. Res64: F26303ED62F11AFB Time : 0.0 sec. user=mdettweiler [2016-09-29 10:03:09] 785*2^1441142-1 is not prime. Res64: 472E12F4CBFD32C0 Time : 0.0 sec. user=mdettweiler [2016-09-29 10:03:10] 873*2^1441142-1 is not prime. Res64: C7CA08B5DB2161AD Time : 0.0 sec. user=mdettweiler [2016-09-29 10:03:11] 995*2^1441142-1 is not prime. Res64: ED515563A6D259B2 Time : 0.0 sec. user=mdettweiler [2016-09-29 10:14:57] 795*2^1441143-1 is not prime. Res64: 5674CC95FC33A9EA Time : 0.0 sec. user=mdettweiler [2016-09-29 10:14:58] 961*2^1441143-1 is not prime. Res64: 390C10CA9AFF8738 Time : 0.0 sec. user=mdettweiler [2016-09-29 10:14:58] 615*2^1441144-1 is not prime. Res64: D289829691E6D333 Time : 0.0 sec. user=mdettweiler [2016-09-29 10:14:58] 635*2^1441144-1 is not prime. Res64: 28A110590A8AAE22 Time : 0.0 sec. user=mdettweiler [2016-09-29 10:14:59] 723*2^1441144-1 is not prime. Res64: 6F853786EAD9B78A Time : 0.0 sec. user=mdettweiler [2016-09-29 10:16:24] 743*2^1441144-1 is not prime. Res64: 8879EBF83689A1B6 Time : 0.0 sec. user=mdettweiler [2016-09-29 10:16:24] 827*2^1441144-1 is not prime. Res64: DB2675D6C3D2ED95 Time : 0.0 sec. user=mdettweiler [2016-09-29 10:16:25] 849*2^1441144-1 is not prime. Res64: BB1AA63315BB5A54 Time : 0.0 sec. user=mdettweiler [2016-09-29 10:16:25] 917*2^1441144-1 is not prime. Res64: DBA316D493A9F320 Time : 0.0 sec. user=mdettweiler [2016-09-29 10:16:26] 939*2^1441144-1 is not prime. Res64: 91D31B1CEFB1C7CC Time : 0.0 sec. user=mdettweiler [2016-09-29 10:33:30] 969*2^1441144-1 is not prime. Res64: 8851309ED0856DC5 Time : 0.0 sec. user=mdettweiler [2016-09-29 10:33:31] 983*2^1441144-1 is not prime. Res64: 5D6DEAC0C837C632 Time : 0.0 sec. user=mdettweiler [2016-09-29 10:33:31] 795*2^1441145-1 is not prime. Res64: 088A5617CF5AE1BA Time : 0.0 sec. user=mdettweiler [2016-09-29 10:33:31] 841*2^1441145-1 is not prime. Res64: 3E474391974DEB60 Time : 0.0 sec. user=mdettweiler [2016-09-29 10:33:32] 861*2^1441145-1 is not prime. Res64: B20A1DCB108C4448 Time : 0.0 sec. user=mdettweiler [2016-09-29 10:48:34] 871*2^1441145-1 is not prime. Res64: 346AD230DB191558 Time : 0.0 sec. user=mdettweiler [2016-09-29 10:48:35] 909*2^1441145-1 is not prime. Res64: E84BD21B2A215B23 Time : 0.0 sec. user=mdettweiler [2016-09-29 10:48:35] 951*2^1441145-1 is not prime. Res64: 0C930FE1A1C090C1 Time : 0.0 sec. user=mdettweiler [2016-09-29 10:48:35] 981*2^1441145-1 is not prime. Res64: A8FB06787F2B53C1 Time : 0.0 sec. user=mdettweiler [2016-09-29 10:48:36] 627*2^1441146-1 is not prime. Res64: D68E04D088F0A3B1 Time : 0.0 sec. user=mdettweiler [2016-09-29 11:00:16] 725*2^1441146-1 is not prime. Res64: 2F1866F4CA435504 Time : 0.0 sec. user=mdettweiler [2016-09-29 11:00:17] 917*2^1441146-1 is not prime. Res64: C7278E21CE1E9F95 Time : 0.0 sec. user=mdettweiler [2016-09-29 11:00:18] 933*2^1441146-1 is not prime. Res64: 3D1CDC7D1CB70AF3 Time : 0.0 sec. user=mdettweiler [2016-09-29 11:00:19] 945*2^1441146-1 is not prime. Res64: E7A24F158900EE00 Time : 0.0 sec. user=mdettweiler [2016-09-29 11:00:20] 619*2^1441147-1 is not prime. Res64: 9FB2F421981F32DA Time : 0.0 sec. user=mdettweiler [2016-09-29 11:01:48] 633*2^1441147-1 is not prime. Res64: 705F1C9D0BEC56B6 Time : 0.0 sec. user=mdettweiler [2016-09-29 11:01:49] 715*2^1441147-1 is not prime. Res64: F47520228E8AA40E Time : 0.0 sec. user=mdettweiler [2016-09-29 11:01:50] 765*2^1441147-1 is not prime. Res64: 65A37EA90E7C1AA1 Time : 0.0 sec. user=mdettweiler [2016-09-29 11:01:51] 819*2^1441147-1 is not prime. Res64: 61AD06F85369EB13 Time : 0.0 sec. user=mdettweiler [2016-09-29 11:01:52] 945*2^1441147-1 is not prime. Res64: 2534BBCDB9BE5B90 Time : 0.0 sec. user=mdettweiler [2016-09-29 11:19:05] 629*2^1441148-1 is not prime. Res64: 1E5A91EF1DC734D1 Time : 0.0 sec. user=mdettweiler [2016-09-29 11:19:06] 633*2^1441148-1 is not prime. Res64: A2AD994AF817E42D Time : 0.0 sec. user=mdettweiler [2016-09-29 11:19:07] 665*2^1441148-1 is not prime. Res64: 2198DF3DA80F3F7E Time : 0.0 sec. user=mdettweiler [2016-09-29 11:19:07] 813*2^1441148-1 is not prime. Res64: 5C14E76AF486F016 Time : 0.0 sec. user=mdettweiler [2016-09-29 11:19:08] 839*2^1441148-1 is not prime. Res64: 17637960072B1AA6 Time : 0.0 sec. user=mdettweiler [2016-09-29 11:33:58] 843*2^1441148-1 is not prime. Res64: 8A1539CFAB838F1B Time : 0.0 sec. user=mdettweiler [2016-09-29 11:33:59] 879*2^1441148-1 is not prime. Res64: 462B3588A0A45063 Time : 0.0 sec. user=mdettweiler [2016-09-29 11:33:59] 953*2^1441148-1 is not prime. Res64: FC47DC49EA4D254C Time : 0.0 sec. user=mdettweiler [2016-09-29 11:33:59] 621*2^1441149-1 is not prime. Res64: C61D4F97F690D7DC Time : 0.0 sec. user=mdettweiler [2016-09-29 11:34:00] 639*2^1441149-1 is not prime. Res64: B6E87B125526776B Time : 0.0 sec. user=mdettweiler [2016-09-29 11:45:42] 669*2^1441149-1 is not prime. Res64: BC2DC41A22EA51E2 Time : 0.0 sec. user=mdettweiler [2016-09-29 11:45:42] 691*2^1441149-1 is not prime. Res64: 8957B26D07EF251F Time : 0.0 sec. user=mdettweiler [2016-09-29 11:45:43] 765*2^1441149-1 is not prime. Res64: 154A448377DB4475 Time : 0.0 sec. user=mdettweiler [2016-09-29 11:45:43] 885*2^1441149-1 is not prime. Res64: 2820A7E4F7AC0A82 Time : 0.0 sec. user=mdettweiler [2016-09-29 11:45:44] 895*2^1441149-1 is not prime. Res64: 11F99F51F7ACF071 Time : 0.0 sec. user=mdettweiler [2016-09-29 11:47:26] 927*2^1441149-1 is not prime. Res64: A965FF20DAD7F716 Time : 0.0 sec. user=mdettweiler [2016-09-29 11:47:26] 945*2^1441149-1 is not prime. Res64: 82D8931A7745B88A Time : 0.0 sec. user=mdettweiler [2016-09-29 11:47:26] 949*2^1441149-1 is not prime. Res64: B1B0503686BCE905 Time : 0.0 sec. user=mdettweiler [2016-09-29 11:47:27] 991*2^1441149-1 is not prime. Res64: 5C5234F9AAA884EB Time : 0.0 sec. user=mdettweiler [2016-09-29 11:47:27] 635*2^1441150-1 is not prime. Res64: D34C8D8052383F21 Time : 0.0 sec. user=mdettweiler [2016-09-29 12:04:31] 673*2^1441151-1 is not prime. Res64: 1B7B250572CCC998 Time : 0.0 sec. user=mdettweiler [2016-09-29 12:04:33] 711*2^1441151-1 is not prime. Res64: 9433A60612E7AD6B Time : 0.0 sec. user=mdettweiler [2016-09-29 12:04:35] 783*2^1441151-1 is not prime. Res64: 1D646A1D0683CB5C Time : 0.0 sec. user=mdettweiler [2016-09-29 12:04:37] 843*2^1441151-1 is not prime. Res64: 0EACFF6834C7B103 Time : 0.0 sec. user=mdettweiler [2016-09-29 12:04:40] 943*2^1441151-1 is not prime. Res64: BF3025AFC3596EA7 Time : 0.0 sec. user=mdettweiler [2016-09-29 12:19:37] 949*2^1441151-1 is not prime. Res64: 8C30F136C44BC058 Time : 0.0 sec. user=mdettweiler [2016-09-29 12:19:37] 629*2^1441152-1 is not prime. Res64: 3E902121E497806E Time : 0.0 sec. user=mdettweiler [2016-09-29 12:19:38] 779*2^1441152-1 is not prime. Res64: E3B65A17FABCAFFE Time : 0.0 sec. user=mdettweiler [2016-09-29 12:19:38] 797*2^1441152-1 is not prime. Res64: 0C1ACE6E9B42CB8B Time : 0.0 sec. user=mdettweiler [2016-09-29 12:19:38] 857*2^1441152-1 is not prime. Res64: FD2BDD30145E4F97 Time : 0.0 sec. user=mdettweiler [2016-09-29 12:32:29] 915*2^1441152-1 is not prime. Res64: 67A47A4D794EC2C9 Time : 0.0 sec. user=mdettweiler [2016-09-29 12:32:29] 933*2^1441152-1 is not prime. Res64: FD66B42DF6F45678 Time : 0.0 sec. user=mdettweiler [2016-09-29 12:32:29] 957*2^1441152-1 is not prime. Res64: DEB6AFACEB8EAB61 Time : 0.0 sec. user=mdettweiler [2016-09-29 12:32:30] 801*2^1441153-1 is not prime. Res64: A423ADE0CCF61584 Time : 0.0 sec. user=mdettweiler [2016-09-29 12:32:30] 817*2^1441153-1 is not prime. Res64: C638C8771E79DD5C Time : 0.0 sec. user=mdettweiler [2016-09-29 12:33:13] 849*2^1441153-1 is not prime. Res64: DB399BAAA39A3508 Time : 0.0 sec. user=mdettweiler [2016-09-29 12:33:14] 665*2^1441154-1 is not prime. Res64: 2D32A124788B16FB Time : 0.0 sec. user=mdettweiler [2016-09-29 12:33:14] 671*2^1441154-1 is not prime. Res64: 441957D37C979A2F Time : 0.0 sec. user=mdettweiler [2016-09-29 12:33:15] 711*2^1441154-1 is not prime. Res64: 1E82ACC819A666FC Time : 0.0 sec. user=mdettweiler [2016-09-29 12:33:15] 797*2^1441154-1 is not prime. Res64: 310671135D1FA2B5 Time : 0.0 sec. user=mdettweiler [2016-09-29 12:50:50] 983*2^1441154-1 is not prime. Res64: 55CE14E6851DDCEA Time : 0.0 sec. user=mdettweiler [2016-09-29 12:50:50] 649*2^1441155-1 is not prime. Res64: 9934287C8C5F124A Time : 0.0 sec. user=mdettweiler [2016-09-29 12:50:51] 895*2^1441155-1 is not prime. Res64: 66FCF9FD6ADDB4AB Time : 0.0 sec. user=mdettweiler [2016-09-29 12:50:51] 985*2^1441155-1 is not prime. Res64: 166A03A4CB30D1FB Time : 0.0 sec. user=mdettweiler [2016-09-29 12:50:52] 657*2^1441156-1 is not prime. Res64: 3DE621A977B6633C Time : 0.0 sec. user=mdettweiler [2016-09-29 13:05:37] 695*2^1441156-1 is not prime. Res64: 595D4ACB50EA3499 Time : 0.0 sec. user=mdettweiler [2016-09-29 13:05:38] 743*2^1441156-1 is not prime. Res64: 8AD51E8EEFE4E560 Time : 0.0 sec. user=mdettweiler [2016-09-29 13:05:39] 783*2^1441156-1 is not prime. Res64: B0910026D4EE531F Time : 0.0 sec. user=mdettweiler [2016-09-29 13:05:40] 843*2^1441156-1 is not prime. Res64: E7D1924B7C94C450 Time : 0.0 sec. user=mdettweiler [2016-09-29 13:05:41] 909*2^1441156-1 is not prime. Res64: F93361258223E42E Time : 0.0 sec. user=mdettweiler [2016-09-29 13:18:12] 993*2^1441156-1 is not prime. Res64: 5B6F1CDFD29714C0 Time : 0.0 sec. user=mdettweiler [2016-09-29 13:18:13] 757*2^1441157-1 is not prime. Res64: 0C034447CB8F3C2B Time : 0.0 sec. user=mdettweiler [2016-09-29 13:18:14] 871*2^1441157-1 is not prime. Res64: EB7968D88ED6D2C2 Time : 0.0 sec. user=mdettweiler [2016-09-29 13:18:14] 925*2^1441157-1 is not prime. Res64: 18B3527A986EAF9C Time : 0.0 sec. user=mdettweiler [2016-09-29 13:18:15] 981*2^1441157-1 is not prime. Res64: B67E41BA69B3A155 Time : 0.0 sec. user=mdettweiler [2016-09-29 13:19:06] 641*2^1441158-1 is not prime. Res64: 76DF8C2B9826AF05 Time : 0.0 sec. user=mdettweiler [2016-09-29 13:19:07] 681*2^1441158-1 is not prime. Res64: A14CA24C8A554572 Time : 0.0 sec. user=mdettweiler [2016-09-29 13:19:07] 713*2^1441158-1 is not prime. Res64: 24C4F74ECDCF6D61 Time : 0.0 sec. user=mdettweiler [2016-09-29 13:19:08] 725*2^1441158-1 is not prime. Res64: 036C7E259FE52C73 Time : 0.0 sec. user=mdettweiler [2016-09-29 13:19:09] 737*2^1441158-1 is not prime. Res64: 7073F31F5BECEB06 Time : 0.0 sec. user=mdettweiler [2016-09-29 13:39:17] 761*2^1441158-1 is not prime. Res64: E0D2415DF59B400E Time : 0.0 sec. user=mdettweiler [2016-09-29 13:39:17] 843*2^1441158-1 is not prime. Res64: D015A8780A34598F Time : 0.0 sec. user=mdettweiler [2016-09-29 13:39:17] 875*2^1441158-1 is not prime. Res64: 275A433D04F156F2 Time : 0.0 sec. user=mdettweiler [2016-09-29 13:39:18] 921*2^1441158-1 is not prime. Res64: DE145D8783FBF9C3 Time : 0.0 sec. user=mdettweiler [2016-09-29 13:39:18] 945*2^1441158-1 is not prime. Res64: 8B22979789D73865 Time : 0.0 sec. user=mdettweiler [2016-09-29 13:53:56] 1001*2^1441158-1 is not prime. Res64: 0A0013833CE27A56 Time : 0.0 sec. user=mdettweiler [2016-09-29 13:53:56] 625*2^1441159-1 is not prime. Res64: 34BB09C325BA854C Time : 0.0 sec. user=mdettweiler [2016-09-29 13:53:57] 663*2^1441159-1 is not prime. Res64: DE88687B5766ED0F Time : 0.0 sec. user=mdettweiler [2016-09-29 13:53:57] 855*2^1441159-1 is not prime. Res64: B2A9208FED4843B5 Time : 0.0 sec. user=mdettweiler [2016-09-29 13:53:57] 951*2^1441159-1 is not prime. Res64: E8D4837D9A636D4F Time : 0.0 sec. user=mdettweiler [2016-09-29 14:06:01] 975*2^1441159-1 is not prime. Res64: 8A631A89C13CED30 Time : 0.0 sec. user=mdettweiler [2016-09-29 14:06:03] 993*2^1441159-1 is not prime. Res64: 93815F776DE21C4A Time : 0.0 sec. user=mdettweiler [2016-09-29 14:06:04] 669*2^1441160-1 is not prime. Res64: B0BDE104F5F0EE43 Time : 0.0 sec. user=mdettweiler [2016-09-29 14:06:05] 609*2^1441161-1 is not prime. Res64: BDD28FDA8B7D3ADC Time : 0.0 sec. user=mdettweiler [2016-09-29 14:06:06] 625*2^1441161-1 is not prime. Res64: A48FCD5686A0BFD5 Time : 0.0 sec. user=mdettweiler [2016-09-29 14:07:01] 685*2^1441161-1 is not prime. Res64: 0B0E44B88C9D00CF Time : 0.0 sec. user=mdettweiler [2016-09-29 14:07:03] 781*2^1441161-1 is not prime. Res64: B62202125B9EFA2D Time : 0.0 sec. user=mdettweiler [2016-09-29 14:07:05] 889*2^1441161-1 is not prime. Res64: 03E1F25BE030EAC9 Time : 0.0 sec. user=mdettweiler [2016-09-29 14:07:08] 997*2^1441161-1 is not prime. Res64: E4B3C6A5999320B7 Time : 0.0 sec. user=mdettweiler [2016-09-29 14:07:09] 633*2^1441162-1 is not prime. Res64: C8DFDFC5FFF3C4EE Time : 0.0 sec. user=mdettweiler [2016-09-29 14:24:29] 677*2^1441162-1 is not prime. Res64: 4067EC77F1ACB804 Time : 0.0 sec. user=mdettweiler [2016-09-29 14:24:29] 815*2^1441162-1 is not prime. Res64: 4AC7E6138814502A Time : 0.0 sec. user=mdettweiler [2016-09-29 14:24:30] 821*2^1441162-1 is not prime. Res64: 1FA81D4E20A7C3F5 Time : 0.0 sec. user=mdettweiler [2016-09-29 14:24:30] 843*2^1441162-1 is not prime. Res64: E7711DC9FD31C31A Time : 0.0 sec. user=mdettweiler [2016-09-29 14:24:30] 975*2^1441162-1 is not prime. Res64: 690E7241D48226E9 Time : 0.0 sec. user=mdettweiler [2016-09-29 14:39:19] 983*2^1441162-1 is not prime. Res64: FE5B6158283205B7 Time : 0.0 sec. user=mdettweiler [2016-09-29 14:39:20] 619*2^1441163-1 is not prime. Res64: 78F86EA853561FF5 Time : 0.0 sec. user=mdettweiler [2016-09-29 14:39:20] 735*2^1441163-1 is not prime. Res64: FE8B60A7862FB721 Time : 0.0 sec. user=mdettweiler [2016-09-29 14:39:21] 789*2^1441163-1 is not prime. Res64: 4FAE3832A7F1A7DF Time : 0.0 sec. user=mdettweiler [2016-09-29 14:39:21] 819*2^1441163-1 is not prime. Res64: 96405FEBC6D1D95B Time : 0.0 sec. user=mdettweiler [2016-09-29 14:52:25] 879*2^1441163-1 is not prime. Res64: 8500F859C7CDC8F6 Time : 0.0 sec. user=mdettweiler [2016-09-29 14:52:26] 915*2^1441163-1 is not prime. Res64: 7E227F724449B6EE Time : 0.0 sec. user=mdettweiler [2016-09-29 14:52:26] 943*2^1441163-1 is not prime. Res64: 8C9AA30B0C768B13 Time : 0.0 sec. user=mdettweiler [2016-09-29 14:52:26] 605*2^1441164-1 is not prime. Res64: AD65298F83659E87 Time : 0.0 sec. user=mdettweiler [2016-09-29 14:52:26] 915*2^1441164-1 is not prime. Res64: 4E1E7C15DBEE8E13 Time : 0.0 sec. user=mdettweiler [2016-09-29 14:53:20] 601*2^1441165-1 is not prime. Res64: 824B11BE86E9C096 Time : 0.0 sec. user=mdettweiler [2016-09-29 14:53:20] 649*2^1441165-1 is not prime. Res64: 076BDD592BDBCB1A Time : 0.0 sec. user=mdettweiler [2016-09-29 14:53:21] 675*2^1441165-1 is not prime. Res64: D9BE8E8E0ECE858A Time : 0.0 sec. user=mdettweiler [2016-09-29 14:53:21] 721*2^1441165-1 is not prime. Res64: 21D216E1A37F0C63 Time : 0.0 sec. user=mdettweiler [2016-09-29 14:53:21] 757*2^1441165-1 is not prime. Res64: 08FDD5FD6E9324DC Time : 0.0 sec. user=mdettweiler [2016-09-29 15:11:18] 961*2^1441165-1 is not prime. Res64: 8F8C0AB15D235522 Time : 0.0 sec. user=mdettweiler [2016-09-29 15:11:20] 623*2^1441166-1 is not prime. Res64: 55DF73A7B8B6E4DD Time : 0.0 sec. user=mdettweiler [2016-09-29 15:11:22] 675*2^1441166-1 is not prime. Res64: 1C573EF80512D221 Time : 0.0 sec. user=mdettweiler [2016-09-29 15:11:25] 705*2^1441166-1 is not prime. Res64: 2DF644D144346823 Time : 0.0 sec. user=mdettweiler [2016-09-29 15:11:26] 867*2^1441166-1 is not prime. Res64: 880E371D558D21E8 Time : 0.0 sec. user=mdettweiler [2016-09-29 15:26:42] 893*2^1441166-1 is not prime. Res64: 63A133B4DEC28692 Time : 0.0 sec. user=mdettweiler [2016-09-29 15:26:43] 963*2^1441166-1 is not prime. Res64: 2E6851895B74456F Time : 0.0 sec. user=mdettweiler [2016-09-29 15:26:43] 609*2^1441167-1 is not prime. Res64: D1ACEA7BD393109E Time : 0.0 sec. user=mdettweiler [2016-09-29 15:26:43] 669*2^1441167-1 is not prime. Res64: 5EA8AD3C0A091303 Time : 0.0 sec. user=mdettweiler [2016-09-29 15:26:44] 919*2^1441167-1 is not prime. Res64: E6B085482B802A3D Time : 0.0 sec. user=mdettweiler [2016-09-29 15:39:54] 955*2^1441167-1 is not prime. Res64: 4022B431D95AD541 Time : 0.0 sec. user=mdettweiler [2016-09-29 15:39:54] 975*2^1441167-1 is not prime. Res64: CCBFD9C80062DB1F Time : 0.0 sec. user=mdettweiler [2016-09-29 15:39:54] 605*2^1441168-1 is not prime. Res64: 5D617525E0D75C48 Time : 0.0 sec. user=mdettweiler [2016-09-29 15:39:55] 629*2^1441168-1 is not prime. Res64: 3931A333B92B8E8E Time : 0.0 sec. user=mdettweiler [2016-09-29 15:39:55] 663*2^1441168-1 is not prime. Res64: 54FF86779A20E420 Time : 0.0 sec. user=mdettweiler [2016-09-29 15:40:08] 743*2^1441168-1 is not prime. Res64: 3EBD0981BE704CF8 Time : 0.0 sec. user=mdettweiler [2016-09-29 15:40:09] 833*2^1441168-1 is not prime. Res64: F59BD871328C714B Time : 0.0 sec. user=mdettweiler [2016-09-29 15:40:09] 839*2^1441168-1 is not prime. Res64: F45C94DA2EB13E4E Time : 0.0 sec. user=mdettweiler [2016-09-29 15:40:10] 899*2^1441168-1 is not prime. Res64: 7DB9BC8F32AA6DF0 Time : 0.0 sec. user=mdettweiler [2016-09-29 15:40:10] 975*2^1441168-1 is not prime. Res64: F9BB14A0702752A3 Time : 0.0 sec. user=mdettweiler [2016-09-29 15:58:48] 989*2^1441168-1 is not prime. Res64: DD2D884110B373FB Time : 0.0 sec. user=mdettweiler [2016-09-29 15:58:48] 601*2^1441169-1 is not prime. Res64: AA67D57245887DDD Time : 0.0 sec. user=mdettweiler [2016-09-29 15:58:48] 649*2^1441169-1 is not prime. Res64: C1279EF328FA97AC Time : 0.0 sec. user=mdettweiler [2016-09-29 15:58:49] 711*2^1441169-1 is not prime. Res64: 2906E6C81269AED6 Time : 0.0 sec. user=mdettweiler [2016-09-29 15:58:49] 787*2^1441169-1 is not prime. Res64: E7B15926A5AA0F8A Time : 0.0 sec. user=mdettweiler [2016-09-29 16:13:29] 789*2^1441169-1 is not prime. Res64: FFAD0B11B9D9D4D7 Time : 0.0 sec. user=mdettweiler [2016-09-29 16:13:30] 955*2^1441169-1 is not prime. Res64: 1E301129460F60D9 Time : 0.0 sec. user=mdettweiler [2016-09-29 16:13:31] 641*2^1441170-1 is not prime. Res64: E943ACACC744C933 Time : 0.0 sec. user=mdettweiler [2016-09-29 16:13:32] 677*2^1441170-1 is not prime. Res64: 83D1F9A1A1494E71 Time : 0.0 sec. user=mdettweiler [2016-09-29 16:13:33] 681*2^1441170-1 is not prime. Res64: 1E9B00837B9E9E6A Time : 0.0 sec. user=mdettweiler [2016-09-29 16:26:47] 709*2^1441171-1 is not prime. Res64: E61EB81275E73C37 Time : 0.0 sec. user=mdettweiler [2016-09-29 16:26:48] 741*2^1441171-1 is not prime. Res64: 2D0237DF4C7E5580 Time : 0.0 sec. user=mdettweiler [2016-09-29 16:26:48] 859*2^1441171-1 is not prime. Res64: F72A121B51EBC453 Time : 0.0 sec. user=mdettweiler [2016-09-29 16:26:48] 939*2^1441171-1 is not prime. Res64: C69F50C4B8576B63 Time : 0.0 sec. user=mdettweiler [2016-09-29 16:26:49] 951*2^1441171-1 is not prime. Res64: 3B671704F9E4956E Time : 0.0 sec. user=mdettweiler [2016-09-29 16:26:59] 797*2^1441170-1 is not prime. Res64: 53DAD3755680EBDE Time : 0.0 sec. user=mdettweiler [2016-09-29 16:27:00] 885*2^1441170-1 is not prime. Res64: 1D2E0811DB801091 Time : 0.0 sec. user=mdettweiler [2016-09-29 16:27:00] 927*2^1441170-1 is not prime. Res64: 5EDD1D8A659252FF Time : 0.0 sec. user=mdettweiler [2016-09-29 16:27:00] 945*2^1441170-1 is not prime. Res64: 240415054EEFA499 Time : 0.0 sec. user=mdettweiler [2016-09-29 16:27:01] 619*2^1441171-1 is not prime. Res64: CB6E5B812D9007F0 Time : 0.0 sec. user=mdettweiler [2016-09-29 16:45:30] 617*2^1441172-1 is not prime. Res64: 53488555B3159BC5 Time : 0.0 sec. user=mdettweiler [2016-09-29 16:45:31] 633*2^1441172-1 is not prime. Res64: 40D42646F8E64ED6 Time : 0.0 sec. user=mdettweiler [2016-09-29 16:45:31] 693*2^1441172-1 is not prime. Res64: EC78053BFDCBE75B Time : 0.0 sec. user=mdettweiler [2016-09-29 16:45:32] 875*2^1441172-1 is not prime. Res64: D6345211D63066B7 Time : 0.0 sec. user=mdettweiler [2016-09-29 16:45:32] 909*2^1441172-1 is not prime. Res64: 80FD2127067ABB0E Time : 0.0 sec. user=mdettweiler [2016-09-29 17:02:49] 923*2^1441172-1 is not prime. Res64: B73B9E87917ADE85 Time : 0.0 sec. user=mdettweiler [2016-09-29 17:02:50] 963*2^1441172-1 is not prime. Res64: 7705DF3EFBC461A2 Time : 0.0 sec. user=mdettweiler [2016-09-29 17:02:50] 621*2^1441173-1 is not prime. Res64: 83FB2F30179A49F3 Time : 0.0 sec. user=mdettweiler [2016-09-29 17:02:51] 685*2^1441173-1 is not prime. Res64: B683915642D15996 Time : 0.0 sec. user=mdettweiler [2016-09-29 17:02:52] 741*2^1441173-1 is not prime. Res64: 9EF9E86DC801F75D Time : 0.0 sec. user=mdettweiler [2016-09-29 17:16:59] 765*2^1441173-1 is not prime. Res64: B3F6314217794D1D Time : 0.0 sec. user=mdettweiler [2016-09-29 17:17:00] 849*2^1441173-1 is not prime. Res64: 66740C43666EAF4E Time : 0.0 sec. user=mdettweiler [2016-09-29 17:17:00] 889*2^1441173-1 is not prime. Res64: BE5A35BCFE04B23A Time : 0.0 sec. user=mdettweiler [2016-09-29 17:17:00] 681*2^1441174-1 is not prime. Res64: 41662B5DD98C8622 Time : 0.0 sec. user=mdettweiler [2016-09-29 17:17:00] 765*2^1441174-1 is not prime. Res64: 90F3A2418D031DE5 Time : 0.0 sec. user=mdettweiler [2016-09-29 17:17:39] 783*2^1441174-1 is not prime. Res64: 204488715F71ED60 Time : 0.0 sec. user=mdettweiler [2016-09-29 17:17:39] 831*2^1441174-1 is not prime. Res64: 0E5A9158999E8774 Time : 0.0 sec. user=mdettweiler [2016-09-29 17:17:39] 897*2^1441174-1 is not prime. Res64: 4EBA5743FE86BF14 Time : 0.0 sec. user=mdettweiler [2016-09-29 17:17:40] 609*2^1441175-1 is not prime. Res64: 00968FBB1E147603 Time : 0.0 sec. user=mdettweiler [2016-09-29 17:17:40] 705*2^1441175-1 is not prime. Res64: F48F339F8A4855BC Time : 0.0 sec. user=mdettweiler [2016-09-29 17:35:58] 759*2^1441175-1 is not prime. Res64: F2ED3224614F45FD Time : 0.0 sec. user=mdettweiler [2016-09-29 17:35:58] 633*2^1441176-1 is not prime. Res64: 3B3F283AA0633CD8 Time : 0.0 sec. user=mdettweiler [2016-09-29 17:35:58] 653*2^1441176-1 is not prime. Res64: 56C50BA9E5324D26 Time : 0.0 sec. user=mdettweiler [2016-09-29 17:35:59] 759*2^1441176-1 is not prime. Res64: EB1B80E3CA0F1D4B Time : 0.0 sec. user=mdettweiler [2016-09-29 17:35:59] 773*2^1441176-1 is not prime. Res64: 5F7D426D8913FB57 Time : 0.0 sec. user=mdettweiler [2016-09-29 17:51:03] 843*2^1441176-1 is not prime. Res64: 5BCE4AACFCFE975B Time : 0.0 sec. user=mdettweiler [2016-09-29 17:51:04] 899*2^1441176-1 is not prime. Res64: 677696F6B663E94F Time : 0.0 sec. user=mdettweiler [2016-09-29 17:51:04] 747*2^1441177-1 is not prime. Res64: 0F9D66FE454A3863 Time : 0.0 sec. user=mdettweiler [2016-09-29 17:51:04] 829*2^1441177-1 is not prime. Res64: D62666E3BC292B74 Time : 0.0 sec. user=mdettweiler [2016-09-29 17:51:05] 919*2^1441177-1 is not prime. Res64: A859D1A54434C116 Time : 0.0 sec. user=mdettweiler [2016-09-29 18:03:12] 931*2^1441177-1 is not prime. Res64: 2CA360779D54EB9B Time : 0.0 sec. user=mdettweiler [2016-09-29 18:03:13] 657*2^1441178-1 is not prime. Res64: 816836764FC8594E Time : 0.0 sec. user=mdettweiler [2016-09-29 18:03:14] 711*2^1441178-1 is not prime. Res64: D9A45A9D446A582C Time : 0.0 sec. user=mdettweiler [2016-09-29 18:03:14] 773*2^1441178-1 is not prime. Res64: 19E2032618765830 Time : 0.0 sec. user=mdettweiler [2016-09-29 18:03:15] 797*2^1441178-1 is not prime. Res64: 9A2FBF0EA6123033 Time : 0.0 sec. user=mdettweiler [2016-09-29 18:03:49] 843*2^1441178-1 is not prime. Res64: 78E97765CF7F8E46 Time : 0.0 sec. user=mdettweiler [2016-09-29 18:03:50] 845*2^1441178-1 is not prime. Res64: 8A9939C84F244A28 Time : 0.0 sec. user=mdettweiler [2016-09-29 18:03:51] 893*2^1441178-1 is not prime. Res64: 0BC0E42463832198 Time : 0.0 sec. user=mdettweiler [2016-09-29 18:03:51] 953*2^1441178-1 is not prime. Res64: CA9E5F83291F33FE Time : 0.0 sec. user=mdettweiler [2016-09-29 18:03:53] 675*2^1441179-1 is not prime. Res64: B912CD74C0682D7D Time : 0.0 sec. user=mdettweiler [2016-09-29 18:21:13] 703*2^1441179-1 is not prime. Res64: 15F0E63A5E7E0038 Time : 0.0 sec. user=mdettweiler [2016-09-29 18:21:13] 735*2^1441179-1 is not prime. Res64: DE5A6FC5A5EE1BDA Time : 0.0 sec. user=mdettweiler [2016-09-29 18:21:14] 769*2^1441179-1 is not prime. Res64: 359E3570D79759AA Time : 0.0 sec. user=mdettweiler [2016-09-29 18:21:14] 829*2^1441179-1 is not prime. Res64: 6326E2F79027C2A4 Time : 0.0 sec. user=mdettweiler [2016-09-29 18:21:15] 909*2^1441179-1 is not prime. Res64: 83C59463C61B9A8C Time : 0.0 sec. user=mdettweiler [2016-09-29 18:36:32] 921*2^1441179-1 is not prime. Res64: FD8EC10F54FDDB95 Time : 0.0 sec. user=mdettweiler [2016-09-29 18:36:32] 975*2^1441179-1 is not prime. Res64: 6483825E514E391A Time : 0.0 sec. user=mdettweiler [2016-09-29 18:36:33] 991*2^1441179-1 is not prime. Res64: 9A594F4A1B30945D Time : 0.0 sec. user=mdettweiler [2016-09-29 18:36:33] 609*2^1441180-1 is not prime. Res64: 6FB15D2B1F7B3843 Time : 0.0 sec. user=mdettweiler [2016-09-29 18:36:33] 909*2^1441180-1 is not prime. Res64: 251430DF0B638CB4 Time : 0.0 sec. user=mdettweiler [2016-09-29 18:48:45] 645*2^1441181-1 is not prime. Res64: BE7EA36DFCF1488B Time : 0.0 sec. user=mdettweiler [2016-09-29 18:48:45] 741*2^1441181-1 is not prime. Res64: 4C967324B3CCBECB Time : 0.0 sec. user=mdettweiler [2016-09-29 18:48:46] 747*2^1441181-1 is not prime. Res64: 4EF5E8A906F4ECCD Time : 0.0 sec. user=mdettweiler [2016-09-29 18:48:46] 799*2^1441181-1 is not prime. Res64: 75BF095534660983 Time : 0.0 sec. user=mdettweiler [2016-09-29 18:48:47] 837*2^1441181-1 is not prime. Res64: E2BFA50EC67BEF2B Time : 0.0 sec. user=mdettweiler [2016-09-29 18:49:10] 889*2^1441181-1 is not prime. Res64: E3A9A3EE04802FA9 Time : 0.0 sec. user=mdettweiler [2016-09-29 18:49:10] 939*2^1441181-1 is not prime. Res64: 920B7873BDB5899F Time : 0.0 sec. user=mdettweiler [2016-09-29 18:49:11] 747*2^1441182-1 is not prime. Res64: 150B53FE8A454838 Time : 0.0 sec. user=mdettweiler [2016-09-29 18:49:11] 801*2^1441182-1 is not prime. Res64: 579D15F32D2A96B1 Time : 0.0 sec. user=mdettweiler [2016-09-29 18:49:11] 815*2^1441182-1 is not prime. Res64: F65A86A582314A45 Time : 0.0 sec. user=mdettweiler [2016-09-29 19:06:28] 745*2^1441183-1 is not prime. Res64: 3BE8AB5554C24327 Time : 0.0 sec. user=mdettweiler [2016-09-29 19:06:29] 853*2^1441183-1 is not prime. Res64: 84E2D4D58B8150D6 Time : 0.0 sec. user=mdettweiler [2016-09-29 19:06:32] 855*2^1441183-1 is not prime. Res64: 81DD4AFAC31E381B Time : 0.0 sec. user=mdettweiler [2016-09-29 19:06:35] 861*2^1441183-1 is not prime. Res64: 3BD06CCD1F579C1B Time : 0.0 sec. user=mdettweiler [2016-09-29 19:06:37] 895*2^1441183-1 is not prime. Res64: F665897AE51D64A1 Time : 0.0 sec. user=mdettweiler [2016-09-29 19:21:33] 945*2^1441183-1 is not prime. Res64: 64FADE3839D3F081 Time : 0.0 sec. user=mdettweiler [2016-09-29 19:21:33] 635*2^1441184-1 is not prime. Res64: 5A2C003767D08E1E Time : 0.0 sec. user=mdettweiler [2016-09-29 19:21:34] 689*2^1441184-1 is not prime. Res64: 155CAA9A7125173F Time : 0.0 sec. user=mdettweiler [2016-09-29 19:21:34] 759*2^1441184-1 is not prime. Res64: AAD3292C64C3AF3B Time : 0.0 sec. user=mdettweiler [2016-09-29 19:21:35] 957*2^1441184-1 is not prime. Res64: DDB2BF6E4F4BBCB9 Time : 0.0 sec. user=mdettweiler [2016-09-29 19:33:59] 685*2^1441185-1 is not prime. Res64: DC062901D2818C32 Time : 0.0 sec. user=mdettweiler [2016-09-29 19:33:59] 795*2^1441185-1 is not prime. Res64: DED092D304DE5B7A Time : 0.0 sec. user=mdettweiler [2016-09-29 19:33:59] 831*2^1441185-1 is not prime. Res64: 768B8F6D7B38AEC3 Time : 0.0 sec. user=mdettweiler [2016-09-29 19:34:00] 837*2^1441185-1 is not prime. Res64: ACEEEF46547D3AD4 Time : 0.0 sec. user=mdettweiler [2016-09-29 19:34:00] 861*2^1441185-1 is not prime. Res64: B71281F2862C054F Time : 0.0 sec. user=mdettweiler [2016-09-29 19:34:22] 889*2^1441185-1 is not prime. Res64: C4409FCADC442A3D Time : 0.0 sec. user=mdettweiler [2016-09-29 19:34:23] 895*2^1441185-1 is not prime. Res64: DE591384ECB81722 Time : 0.0 sec. user=mdettweiler [2016-09-29 19:34:23] 919*2^1441185-1 is not prime. Res64: CD05CF99204E7460 Time : 0.0 sec. user=mdettweiler [2016-09-29 19:34:24] 603*2^1441186-1 is not prime. Res64: 12FAEE10F38FFA94 Time : 0.0 sec. user=mdettweiler [2016-09-29 19:34:24] 617*2^1441186-1 is not prime. Res64: 8923C75670906FDA Time : 0.0 sec. user=mdettweiler [2016-09-29 19:52:14] 701*2^1441186-1 is not prime. Res64: D76D280521E01984 Time : 0.0 sec. user=mdettweiler [2016-09-29 19:52:14] 705*2^1441186-1 is not prime. Res64: A943F53CC8640E9B Time : 0.0 sec. user=mdettweiler [2016-09-29 19:52:15] 743*2^1441186-1 is not prime. Res64: AD7814D89C3DF05A Time : 0.0 sec. user=mdettweiler [2016-09-29 19:52:15] 747*2^1441186-1 is not prime. Res64: EA19812F40EEA362 Time : 0.0 sec. user=mdettweiler [2016-09-29 19:52:16] 777*2^1441186-1 is not prime. Res64: 2FC01BDA83C32C30 Time : 0.0 sec. user=mdettweiler [2016-09-29 20:07:35] 785*2^1441186-1 is not prime. Res64: 8AA225440488FC90 Time : 0.0 sec. user=mdettweiler [2016-09-29 20:07:39] 857*2^1441186-1 is not prime. Res64: 10D07B690A9DAB51 Time : 0.0 sec. user=mdettweiler [2016-09-29 20:07:40] 987*2^1441186-1 is not prime. Res64: AB897989C73384F1 Time : 0.0 sec. user=mdettweiler [2016-09-29 20:07:41] 609*2^1441187-1 is not prime. Res64: FD6487C3479DF8ED Time : 0.0 sec. user=mdettweiler [2016-09-29 20:07:43] 693*2^1441187-1 is not prime. Res64: D1D842C52F4C99E5 Time : 0.0 sec. user=mdettweiler [2016-09-29 20:19:34] 825*2^1441187-1 is not prime. Res64: C9F15A4E43C8C447 Time : 0.0 sec. user=mdettweiler [2016-09-29 20:19:34] 915*2^1441187-1 is not prime. Res64: EEEEA3B46A8A2DA1 Time : 0.0 sec. user=mdettweiler [2016-09-29 20:19:34] 945*2^1441187-1 is not prime. Res64: 1C9AC640CBC85D6F Time : 0.0 sec. user=mdettweiler [2016-09-29 20:19:35] 973*2^1441187-1 is not prime. Res64: 7CBF6D5E0E3F6DA0 Time : 0.0 sec. user=mdettweiler [2016-09-29 20:19:35] 979*2^1441187-1 is not prime. Res64: B313DF57F20F31DA Time : 0.0 sec. user=mdettweiler [2016-09-29 20:19:45] 735*2^1441188-1 is not prime. Res64: 7BFA9ABED9E4C176 Time : 0.0 sec. user=mdettweiler [2016-09-29 20:19:45] 749*2^1441188-1 is not prime. Res64: FFAFF1266D9DC616 Time : 0.0 sec. user=mdettweiler [2016-09-29 20:19:46] 845*2^1441188-1 is not prime. Res64: 55CC2B7C29807956 Time : 0.0 sec. user=mdettweiler [2016-09-29 20:19:46] 867*2^1441188-1 is not prime. Res64: 400BC7F430819598 Time : 0.0 sec. user=mdettweiler [2016-09-29 20:19:46] 899*2^1441188-1 is not prime. Res64: DEBFFE994C0552B2 Time : 0.0 sec. user=mdettweiler [2016-09-29 20:37:29] 945*2^1441188-1 is not prime. Res64: 37E2FBF305513729 Time : 0.0 sec. user=mdettweiler [2016-09-29 20:37:30] 619*2^1441189-1 is not prime. Res64: 6069DD6E503012F0 Time : 0.0 sec. user=mdettweiler [2016-09-29 20:37:30] 681*2^1441189-1 is not prime. Res64: C25A428EEEF3BF72 Time : 0.0 sec. user=mdettweiler [2016-09-29 20:37:31] 721*2^1441189-1 is not prime. Res64: 22E41832DCEAFA63 Time : 0.0 sec. user=mdettweiler [2016-09-29 20:37:31] 919*2^1441189-1 is not prime. Res64: 12E53E8FBEC61398 Time : 0.0 sec. user=mdettweiler [2016-09-29 20:53:35] 641*2^1441190-1 is not prime. Res64: 4F3B97C1558E05E4 Time : 0.0 sec. user=mdettweiler [2016-09-29 20:53:35] 687*2^1441190-1 is not prime. Res64: EFB3BC4B207B6060 Time : 0.0 sec. user=mdettweiler [2016-09-29 20:53:35] 755*2^1441190-1 is not prime. Res64: 2FAD9992E76ED3C2 Time : 0.0 sec. user=mdettweiler [2016-09-29 20:53:36] 669*2^1441191-1 is not prime. Res64: 46A5D079C599FAF1 Time : 0.0 sec. user=mdettweiler [2016-09-29 20:53:36] 709*2^1441191-1 is not prime. Res64: E6E8BB5BB434310A Time : 0.0 sec. user=mdettweiler [2016-09-29 21:04:53] 775*2^1441191-1 is not prime. Res64: 0EAAC9899812DB6F Time : 0.0 sec. user=mdettweiler [2016-09-29 21:04:55] 789*2^1441191-1 is not prime. Res64: BF4497F5FCFDA918 Time : 0.0 sec. user=mdettweiler [2016-09-29 21:04:56] 805*2^1441191-1 is not prime. Res64: 34410BB90190E6C2 Time : 0.0 sec. user=mdettweiler [2016-09-29 21:04:59] 861*2^1441191-1 is not prime. Res64: 0E11C3B8DE6B95CB Time : 0.0 sec. user=mdettweiler [2016-09-29 21:05:01] 693*2^1441192-1 is not prime. Res64: 8583FC7917EA9771 Time : 0.0 sec. user=mdettweiler [2016-09-29 21:05:02] 871*2^1441191-1 is not prime. Res64: FB0544DBC4EA80F1 Time : 0.0 sec. user=mdettweiler [2016-09-29 21:05:04] 719*2^1441192-1 is not prime. Res64: 2BFA22EE639E66E6 Time : 0.0 sec. user=mdettweiler [2016-09-29 21:05:06] 759*2^1441192-1 is not prime. Res64: 1D680728CAF1227D Time : 0.0 sec. user=mdettweiler [2016-09-29 21:05:08] 827*2^1441192-1 is not prime. Res64: 027CE35BA10CC387 Time : 0.0 sec. user=mdettweiler [2016-09-29 21:05:12] 833*2^1441192-1 is not prime. Res64: FB595F769D737A8F Time : 0.0 sec. user=mdettweiler [2016-09-29 21:22:32] 957*2^1441192-1 is not prime. Res64: DF5D22C3C0BAB3FA Time : 0.0 sec. user=mdettweiler [2016-09-29 21:22:33] 999*2^1441192-1 is not prime. Res64: 9A118ADE5F9B6FC5 Time : 0.0 sec. user=mdettweiler [2016-09-29 21:22:33] 657*2^1441193-1 is not prime. Res64: 369A69D26AA81B27 Time : 0.0 sec. user=mdettweiler [2016-09-29 21:22:33] 691*2^1441193-1 is not prime. Res64: 086661029A8BE738 Time : 0.0 sec. user=mdettweiler [2016-09-29 21:22:34] 811*2^1441193-1 is not prime. Res64: 1A5380AD6731B240 Time : 0.0 sec. user=mdettweiler [2016-09-29 21:39:09] 889*2^1441193-1 is not prime. Res64: DCF099D35B9DD314 Time : 0.0 sec. user=mdettweiler [2016-09-29 21:39:10] 945*2^1441193-1 is not prime. Res64: D6DD0FDA291F514C Time : 0.0 sec. user=mdettweiler [2016-09-29 21:39:10] 987*2^1441193-1 is not prime. Res64: BFCCD8CA8BEB9D48 Time : 0.0 sec. user=mdettweiler [2016-09-29 21:39:11] 611*2^1441194-1 is not prime. Res64: 3B9417E625CB590D Time : 0.0 sec. user=mdettweiler [2016-09-29 21:39:11] 671*2^1441194-1 is not prime. Res64: B6E01E36F025C32D Time : 0.0 sec. user=mdettweiler [2016-09-29 21:50:30] 725*2^1441194-1 is not prime. Res64: 05514C06D63E220E Time : 0.0 sec. user=mdettweiler [2016-09-29 21:50:31] 807*2^1441194-1 is not prime. Res64: 732DB3DEB7F507B2 Time : 0.0 sec. user=mdettweiler [2016-09-29 21:50:31] 851*2^1441194-1 is not prime. Res64: 4A6776B9DF3E2096 Time : 0.0 sec. user=mdettweiler [2016-09-29 21:50:32] 971*2^1441194-1 is not prime. Res64: D39ABD0103366F81 Time : 0.0 sec. user=mdettweiler [2016-09-29 21:50:32] 841*2^1441195-1 is not prime. Res64: 41D1027C82A9ED01 Time : 0.0 sec. user=mdettweiler [2016-09-29 21:50:40] 983*2^1441194-1 is not prime. Res64: D0743D34566EDF60 Time : 0.0 sec. user=mdettweiler [2016-09-29 21:50:41] 649*2^1441195-1 is not prime. Res64: 618B9EE7DD86639A Time : 0.0 sec. user=mdettweiler [2016-09-29 21:50:41] 673*2^1441195-1 is not prime. Res64: 8B306C4895AEFBFC Time : 0.0 sec. user=mdettweiler [2016-09-29 21:50:41] 723*2^1441195-1 is not prime. Res64: 257675A79A0CE136 Time : 0.0 sec. user=mdettweiler [2016-09-29 21:50:42] 861*2^1441195-1 is not prime. Res64: A71D11680F48483D Time : 0.0 sec. user=mdettweiler [2016-09-29 22:07:57] 925*2^1441195-1 is not prime. Res64: 3B7EBD7C9AE23A69 Time : 0.0 sec. user=mdettweiler [2016-09-29 22:07:57] 743*2^1441196-1 is not prime. Res64: 012AAF1E3518E410 Time : 0.0 sec. user=mdettweiler [2016-09-29 22:07:58] 759*2^1441196-1 is not prime. Res64: 63518CDBF6955431 Time : 0.0 sec. user=mdettweiler [2016-09-29 22:07:58] 867*2^1441196-1 is not prime. Res64: 7E0E6B1EFECA24AB Time : 0.0 sec. user=mdettweiler [2016-09-29 22:07:59] 869*2^1441196-1 is not prime. Res64: C513EA166FEE6A40 Time : 0.0 sec. user=mdettweiler [2016-09-29 22:25:10] 873*2^1441196-1 is not prime. Res64: D05BB5FC28DE74F1 Time : 0.0 sec. user=mdettweiler [2016-09-29 22:25:11] 999*2^1441196-1 is not prime. Res64: 428A6F7907AEDE21 Time : 0.0 sec. user=mdettweiler [2016-09-29 22:25:12] 717*2^1441197-1 is not prime. Res64: FBB62CDB05D0653D Time : 0.0 sec. user=mdettweiler [2016-09-29 22:25:12] 819*2^1441197-1 is not prime. Res64: E0933B14AB8E52B1 Time : 0.0 sec. user=mdettweiler [2016-09-29 22:25:14] 831*2^1441197-1 is not prime. Res64: E2A1C9EF7A3DBD63 Time : 0.0 sec. user=mdettweiler [2016-09-29 22:36:09] 933*2^1441198-1 is not prime. Res64: 348D76B333B8C75F Time : 0.0 sec. user=mdettweiler [2016-09-29 22:36:10] 945*2^1441198-1 is not prime. Res64: E64D3D5F3A6CC8C2 Time : 0.0 sec. user=mdettweiler [2016-09-29 22:36:10] 661*2^1441199-1 is not prime. Res64: 40B2A11D0417476F Time : 0.0 sec. user=mdettweiler [2016-09-29 22:36:11] 669*2^1441199-1 is not prime. Res64: 9ACA08D6CC81E54C Time : 0.0 sec. user=mdettweiler [2016-09-29 22:36:11] 703*2^1441199-1 is not prime. Res64: AFC7A0BDEDAAA928 Time : 0.0 sec. user=mdettweiler [2016-09-29 22:36:24] 859*2^1441197-1 is not prime. Res64: 050005EAF1DB8F12 Time : 0.0 sec. user=mdettweiler [2016-09-29 22:36:24] 611*2^1441198-1 is not prime. Res64: A4B4DE09390FF337 Time : 0.0 sec. user=mdettweiler [2016-09-29 22:36:25] 657*2^1441198-1 is not prime. Res64: 76A77B903659FE6A Time : 0.0 sec. user=mdettweiler [2016-09-29 22:36:25] 705*2^1441198-1 is not prime. Res64: 09D4BCC3F427A788 Time : 0.0 sec. user=mdettweiler [2016-09-29 22:36:26] 765*2^1441198-1 is not prime. Res64: 5FAEF370FA8CE144 Time : 0.0 sec. user=mdettweiler [2016-09-29 22:54:17] 753*2^1441199-1 is not prime. Res64: 8F38E75F96892F9A Time : 0.0 sec. user=mdettweiler [2016-09-29 22:54:18] 789*2^1441199-1 is not prime. Res64: DC28FF3366F07695 Time : 0.0 sec. user=mdettweiler [2016-09-29 22:54:18] 799*2^1441199-1 is not prime. Res64: 147476FA48FB3DE7 Time : 0.0 sec. user=mdettweiler [2016-09-29 22:54:19] 889*2^1441199-1 is not prime. Res64: 91C45BD3922C98BB Time : 0.0 sec. user=mdettweiler [2016-09-29 22:54:19] 895*2^1441199-1 is not prime. Res64: 54EBB910242EA2A7 Time : 0.0 sec. user=mdettweiler [2016-09-29 23:11:01] 913*2^1441199-1 is not prime. Res64: 4C7FEF020B999219 Time : 0.0 sec. user=mdettweiler [2016-09-29 23:11:05] 991*2^1441199-1 is not prime. Res64: 2085B01BD6B441A0 Time : 0.0 sec. user=mdettweiler [2016-09-29 23:11:07] 999*2^1441199-1 is not prime. Res64: 1EF26A9E4B7DDAA6 Time : 0.0 sec. user=mdettweiler [2016-09-29 23:11:09] 609*2^1441200-1 is not prime. Res64: 40A12E71F7443359 Time : 0.0 sec. user=mdettweiler [2016-09-29 23:11:11] 633*2^1441200-1 is not prime. Res64: 4DB92A6C242FEB26 Time : 0.0 sec. user=mdettweiler [2016-09-29 23:21:45] 863*2^1441200-1 is not prime. Res64: 025F23A7E02EB397 Time : 0.0 sec. user=mdettweiler [2016-09-29 23:21:45] 873*2^1441200-1 is not prime. Res64: 770930D364583A0B Time : 0.0 sec. user=mdettweiler [2016-09-29 23:21:46] 879*2^1441200-1 is not prime. Res64: 95DE297A4B33F60F Time : 0.0 sec. user=mdettweiler [2016-09-29 23:21:46] 927*2^1441200-1 is not prime. Res64: D92B675FFD3CD283 Time : 0.0 sec. user=mdettweiler [2016-09-29 23:21:46] 625*2^1441201-1 is not prime. Res64: DC0353B018D517E3 Time : 0.0 sec. user=mdettweiler [2016-09-29 23:21:47] 959*2^1441200-1 is not prime. Res64: 608E8A37326DE3CD Time : 0.0 sec. user=mdettweiler [2016-09-29 23:21:47] 717*2^1441201-1 is not prime. Res64: 9926C64A54BBC7C5 Time : 0.0 sec. user=mdettweiler [2016-09-29 23:21:47] 777*2^1441201-1 is not prime. Res64: EA3AE355FF6A9474 Time : 0.0 sec. user=mdettweiler [2016-09-29 23:21:48] 799*2^1441201-1 is not prime. Res64: 54F4E6828D5956AC Time : 0.0 sec. user=mdettweiler [2016-09-29 23:21:48] 937*2^1441201-1 is not prime. Res64: 9AF82D9CD08948BE Time : 0.0 sec. user=mdettweiler [2016-09-29 23:39:34] 939*2^1441201-1 is not prime. Res64: ADA2420447F7036E Time : 0.0 sec. user=mdettweiler [2016-09-29 23:39:34] 651*2^1441202-1 is not prime. Res64: D54B6E29EA3283E5 Time : 0.0 sec. user=mdettweiler [2016-09-29 23:39:35] 705*2^1441202-1 is not prime. Res64: A007B4736B89F781 Time : 0.0 sec. user=mdettweiler [2016-09-29 23:39:35] 981*2^1441202-1 is not prime. Res64: 0FD63D20EC15547E Time : 0.0 sec. user=mdettweiler [2016-09-29 23:39:36] 691*2^1441203-1 is not prime. Res64: 651194E433E9DF00 Time : 0.0 sec. user=mdettweiler [2016-09-29 23:57:23] 793*2^1441203-1 is not prime. Res64: 7B9365BE1C467ED6 Time : 0.0 sec. user=mdettweiler [2016-09-29 23:57:23] 859*2^1441203-1 is not prime. Res64: E14152476925CB74 Time : 0.0 sec. user=mdettweiler [2016-09-29 23:57:23] 885*2^1441203-1 is not prime. Res64: C867A5D44B4D41F4 Time : 0.0 sec. user=mdettweiler [2016-09-29 23:57:24] 895*2^1441203-1 is not prime. Res64: 8F4FEE3A76EB98EB Time : 0.0 sec. user=mdettweiler [2016-09-29 23:57:24] 943*2^1441203-1 is not prime. Res64: C075EB4DBA4392AA Time : 0.0 sec.