user=mdettweiler [2017-05-16 00:19:24] 759*2^1454016-1 is not prime. Res64: 2E30BB22963DEF6F Time : 0.0 sec. user=mdettweiler [2017-05-16 00:19:25] 771*2^1454017-1 is not prime. Res64: 0D83907EC541C7FF Time : 0.0 sec. user=mdettweiler [2017-05-16 00:19:25] 801*2^1454017-1 is not prime. Res64: 667F3A37097AC59B Time : 0.0 sec. user=mdettweiler [2017-05-16 00:19:26] 871*2^1454017-1 is not prime. Res64: 504C6E67085F9C7A Time : 0.0 sec. user=mdettweiler [2017-05-16 00:19:26] 919*2^1454017-1 is not prime. Res64: 24A43160DC803732 Time : 0.0 sec. user=mdettweiler [2017-05-16 00:24:53] 651*2^1454018-1 is not prime. Res64: 5D3A532B86F0DC35 Time : 0.0 sec. user=mdettweiler [2017-05-16 00:24:53] 683*2^1454018-1 is not prime. Res64: 0F7E0E2F4801F703 Time : 0.0 sec. user=mdettweiler [2017-05-16 00:24:53] 893*2^1454018-1 is not prime. Res64: C7BA179578F86A87 Time : 0.0 sec. user=mdettweiler [2017-05-16 00:24:54] 649*2^1454019-1 is not prime. Res64: 00C7514667F7FEE2 Time : 0.0 sec. user=mdettweiler [2017-05-16 00:24:54] 669*2^1454019-1 is not prime. Res64: 10CD3F35A636188B Time : 0.0 sec. user=mdettweiler [2017-05-16 00:43:34] 691*2^1454019-1 is not prime. Res64: 1E0941E44745526E Time : 0.0 sec. user=mdettweiler [2017-05-16 00:43:35] 853*2^1454019-1 is not prime. Res64: 0E9D1DE36D75D88E Time : 0.0 sec. user=mdettweiler [2017-05-16 00:43:35] 949*2^1454019-1 is not prime. Res64: 6FD48BBB3AF7EE16 Time : 0.0 sec. user=mdettweiler [2017-05-16 00:43:35] 955*2^1454019-1 is not prime. Res64: C677103F5E320827 Time : 0.0 sec. user=mdettweiler [2017-05-16 00:43:35] 605*2^1454020-1 is not prime. Res64: 875EBD7F40CA5055 Time : 0.0 sec. user=mdettweiler [2017-05-16 01:06:41] 873*2^1454020-1 is not prime. Res64: 67D055D0F7DB37D9 Time : 0.0 sec. user=mdettweiler [2017-05-16 01:06:41] 939*2^1454020-1 is not prime. Res64: F16F569C7684D0B6 Time : 0.0 sec. user=mdettweiler [2017-05-16 01:06:42] 965*2^1454020-1 is not prime. Res64: 04E0501F843AEFD7 Time : 0.0 sec. user=mdettweiler [2017-05-16 01:06:42] 975*2^1454020-1 is not prime. Res64: E12880543812D1BD Time : 0.0 sec. user=mdettweiler [2017-05-16 01:06:43] 989*2^1454020-1 is not prime. Res64: B810C65592A6F685 Time : 0.0 sec. user=mdettweiler [2017-05-16 01:11:54] 645*2^1454021-1 is not prime. Res64: 670E5C6C3B585473 Time : 0.0 sec. user=mdettweiler [2017-05-16 01:11:55] 649*2^1454021-1 is not prime. Res64: BC745D6ECA73DC3D Time : 0.0 sec. user=mdettweiler [2017-05-16 01:11:55] 861*2^1454021-1 is not prime. Res64: 37C6E66AC5D95EF1 Time : 0.0 sec. user=mdettweiler [2017-05-16 01:11:56] 937*2^1454021-1 is not prime. Res64: 37241A19C5F34350 Time : 0.0 sec. user=mdettweiler [2017-05-16 01:11:56] 957*2^1454021-1 is not prime. Res64: E4C6A99215403EF5 Time : 0.0 sec. user=mdettweiler [2017-05-16 01:31:00] 755*2^1454022-1 is not prime. Res64: 727F8F2540A78EBE Time : 0.0 sec. user=mdettweiler [2017-05-16 01:31:02] 791*2^1454022-1 is not prime. Res64: 11BDEC15960B83F4 Time : 0.0 sec. user=mdettweiler [2017-05-16 01:31:03] 807*2^1454022-1 is not prime. Res64: A430041FF8293530 Time : 0.0 sec. user=mdettweiler [2017-05-16 01:31:04] 891*2^1454022-1 is not prime. Res64: 24DE5569D336D52C Time : 0.0 sec. user=mdettweiler [2017-05-16 01:31:06] 615*2^1454023-1 is not prime. Res64: 57F1A37B6E1F3009 Time : 0.0 sec. user=juhehe [2017-05-16 01:37:43] 735*2^1454023-1 is not prime. Res64: 5647EBD9BF4092F5 Time : 0.0 sec. user=mdettweiler [2017-05-16 01:50:55] 867*2^1454012-1 is not prime. Res64: 086D7F61E27D11CD Time : 0.0 sec. user=mdettweiler [2017-05-16 01:50:55] 935*2^1454012-1 is not prime. Res64: AA3BCD0075F74472 Time : 0.0 sec. user=mdettweiler [2017-05-16 01:50:56] 959*2^1454012-1 is not prime. Res64: E490548613462597 Time : 0.0 sec. user=mdettweiler [2017-05-16 01:50:56] 621*2^1454013-1 is not prime. Res64: 9AB0123D61D438E5 Time : 0.0 sec. user=mdettweiler [2017-05-16 01:50:57] 627*2^1454013-1 is not prime. Res64: 224091B740FF6FAA Time : 0.0 sec. user=mdettweiler [2017-05-16 01:53:55] 813*2^1454023-1 is not prime. Res64: 74454C3B26C95101 Time : 0.0 sec. user=mdettweiler [2017-05-16 01:53:55] 859*2^1454023-1 is not prime. Res64: 64BAD4E93A7553BD Time : 0.0 sec. user=mdettweiler [2017-05-16 01:53:55] 873*2^1454023-1 is not prime. Res64: 87744C9BE71DA81A Time : 0.0 sec. user=mdettweiler [2017-05-16 01:53:55] 939*2^1454023-1 is not prime. Res64: 3F7EE9DD657A004E Time : 0.0 sec. user=mdettweiler [2017-05-16 01:53:56] 617*2^1454024-1 is not prime. Res64: CCB390C77EAE2F2A Time : 0.0 sec. user=mdettweiler [2017-05-16 01:58:56] 753*2^1454024-1 is not prime. Res64: 2692B4C23D5EE759 Time : 0.0 sec. user=mdettweiler [2017-05-16 01:58:57] 767*2^1454024-1 is not prime. Res64: DA8CA87B5537114D Time : 0.0 sec. user=mdettweiler [2017-05-16 01:58:57] 825*2^1454024-1 is not prime. Res64: 11668EE5457533E2 Time : 0.0 sec. user=mdettweiler [2017-05-16 01:58:57] 903*2^1454024-1 is not prime. Res64: 13870CAE8EEC16D3 Time : 0.0 sec. user=mdettweiler [2017-05-16 01:58:57] 669*2^1454025-1 is not prime. Res64: 24370426E32C6806 Time : 0.0 sec. user=mdettweiler [2017-05-16 02:18:27] 765*2^1454025-1 is not prime. Res64: 92C32742A1C1C823 Time : 0.0 sec. user=mdettweiler [2017-05-16 02:18:27] 777*2^1454025-1 is not prime. Res64: 508DD789616C1A54 Time : 0.0 sec. user=mdettweiler [2017-05-16 02:18:27] 949*2^1454025-1 is not prime. Res64: 2F814FE58A6B60E2 Time : 0.0 sec. user=mdettweiler [2017-05-16 02:18:28] 999*2^1454025-1 is not prime. Res64: DF3A268757BBF394 Time : 0.0 sec. user=mdettweiler [2017-05-16 02:18:28] 645*2^1454026-1 is not prime. Res64: 9DEDF08252D6C66D Time : 0.0 sec. user=mdettweiler [2017-05-16 02:38:32] 647*2^1454026-1 is not prime. Res64: AF96CD5A0533A83F Time : 0.0 sec. user=mdettweiler [2017-05-16 02:38:33] 675*2^1454026-1 is not prime. Res64: AE23CF5F4632FAEC Time : 0.0 sec. user=mdettweiler [2017-05-16 02:38:33] 723*2^1454026-1 is not prime. Res64: 8D862CD86E0878E2 Time : 0.0 sec. user=mdettweiler [2017-05-16 02:38:34] 755*2^1454026-1 is not prime. Res64: F899B1FD88A7725C Time : 0.0 sec. user=mdettweiler [2017-05-16 02:38:34] 815*2^1454026-1 is not prime. Res64: 53872701A90AAF46 Time : 0.0 sec. user=mdettweiler [2017-05-16 02:41:57] 833*2^1454026-1 is not prime. Res64: 76ABAB6B4CE756A2 Time : 0.0 sec. user=mdettweiler [2017-05-16 02:41:57] 905*2^1454026-1 is not prime. Res64: 1BFA141F6400F78C Time : 0.0 sec. user=mdettweiler [2017-05-16 02:41:58] 923*2^1454026-1 is not prime. Res64: 59E62953450D6364 Time : 0.0 sec. user=mdettweiler [2017-05-16 02:41:58] 685*2^1454027-1 is not prime. Res64: E80C458F7B0B215E Time : 0.0 sec. user=mdettweiler [2017-05-16 02:41:59] 705*2^1454027-1 is not prime. Res64: C54A0327D95FBC7B Time : 0.0 sec. user=mdettweiler [2017-05-16 02:46:47] 711*2^1454027-1 is not prime. Res64: A18CC131C66AF733 Time : 0.0 sec. user=mdettweiler [2017-05-16 02:46:48] 741*2^1454027-1 is not prime. Res64: 8BE56D27C2C6B33C Time : 0.0 sec. user=mdettweiler [2017-05-16 02:46:48] 813*2^1454027-1 is not prime. Res64: 08E7F17C00786ECB Time : 0.0 sec. user=mdettweiler [2017-05-16 02:46:49] 931*2^1454027-1 is not prime. Res64: C5F21CC0922A0946 Time : 0.0 sec. user=mdettweiler [2017-05-16 02:46:49] 985*2^1454027-1 is not prime. Res64: 133E1A9E71AD8C68 Time : 0.0 sec. user=mdettweiler [2017-05-16 03:07:32] 993*2^1454027-1 is not prime. Res64: BE9747433C22696A Time : 0.0 sec. user=mdettweiler [2017-05-16 03:07:33] 915*2^1454028-1 is not prime. Res64: E590C658DBC1723D Time : 0.0 sec. user=mdettweiler [2017-05-16 03:07:33] 927*2^1454028-1 is not prime. Res64: 14E6695BEC8FA2DE Time : 0.0 sec. user=mdettweiler [2017-05-16 03:07:34] 675*2^1454029-1 is not prime. Res64: A12894BAAC4F42F5 Time : 0.0 sec. user=mdettweiler [2017-05-16 03:07:34] 745*2^1454029-1 is not prime. Res64: F9A5F0A70E76C2F2 Time : 0.0 sec. user=mdettweiler [2017-05-16 03:27:14] 861*2^1454029-1 is not prime. Res64: FD3021B6D11F3886 Time : 0.0 sec. user=mdettweiler [2017-05-16 03:27:15] 877*2^1454029-1 is not prime. Res64: E5535BF320251024 Time : 0.0 sec. user=mdettweiler [2017-05-16 03:27:16] 939*2^1454029-1 is not prime. Res64: 74E698134057E57F Time : 0.0 sec. user=mdettweiler [2017-05-16 03:27:17] 635*2^1454030-1 is not prime. Res64: 4AA7110B2E8534F8 Time : 0.0 sec. user=mdettweiler [2017-05-16 03:27:18] 657*2^1454030-1 is not prime. Res64: 62A170E03571FD5D Time : 0.0 sec. user=mdettweiler [2017-05-16 03:29:36] 675*2^1454030-1 is not prime. Res64: 237C72E224102E70 Time : 0.0 sec. user=mdettweiler [2017-05-16 03:29:37] 677*2^1454030-1 is not prime. Res64: F5395E6698A2DF45 Time : 0.0 sec. user=mdettweiler [2017-05-16 03:29:39] 773*2^1454030-1 is not prime. Res64: 9F618B60B4381D4B Time : 0.0 sec. user=mdettweiler [2017-05-16 03:29:39] 827*2^1454030-1 is not prime. Res64: A2521793A9A99952 Time : 0.0 sec. user=mdettweiler [2017-05-16 03:29:40] 857*2^1454030-1 is not prime. Res64: 90FAADF07C6AAE05 Time : 0.0 sec. user=mdettweiler [2017-05-16 03:34:14] 893*2^1454030-1 is not prime. Res64: EF1CCC645DA5B8D9 Time : 0.0 sec. user=mdettweiler [2017-05-16 03:34:16] 971*2^1454030-1 is not prime. Res64: 345E98901FD4070E Time : 0.0 sec. user=mdettweiler [2017-05-16 03:34:17] 619*2^1454031-1 is not prime. Res64: 80C01578E7176548 Time : 0.0 sec. user=mdettweiler [2017-05-16 03:34:18] 643*2^1454031-1 is not prime. Res64: 5F4C9994329180C4 Time : 0.0 sec. user=mdettweiler [2017-05-16 03:34:19] 819*2^1454031-1 is not prime. Res64: 61978A45AD437B1E Time : 0.0 sec. user=juhehe [2017-05-16 03:35:01] 823*2^1454031-1 is not prime. Res64: 779947C3C10C1AB1 Time : 0.0 sec. user=mdettweiler [2017-05-16 03:54:24] 859*2^1454031-1 is not prime. Res64: 13B1458426A9B47B Time : 0.0 sec. user=mdettweiler [2017-05-16 03:54:25] 891*2^1454031-1 is not prime. Res64: BCEC2E7EFAF1B9A2 Time : 0.0 sec. user=mdettweiler [2017-05-16 03:54:25] 901*2^1454031-1 is not prime. Res64: CB9FF9C98C923A77 Time : 0.0 sec. user=mdettweiler [2017-05-16 03:54:26] 609*2^1454032-1 is not prime. Res64: 23C03CA0DA913B0E Time : 0.0 sec. user=mdettweiler [2017-05-16 03:54:27] 615*2^1454032-1 is not prime. Res64: F7FCD785FAC34392 Time : 0.0 sec. user=mdettweiler [2017-05-16 04:14:11] 713*2^1454032-1 is not prime. Res64: A4108B1FC232614F Time : 0.0 sec. user=mdettweiler [2017-05-16 04:14:12] 849*2^1454032-1 is not prime. Res64: F856A26BE14732FF Time : 0.0 sec. user=mdettweiler [2017-05-16 04:14:12] 899*2^1454032-1 is not prime. Res64: C4540059726C7411 Time : 0.0 sec. user=mdettweiler [2017-05-16 04:14:13] 975*2^1454032-1 is not prime. Res64: 9BB9985143141B5A Time : 0.0 sec. user=mdettweiler [2017-05-16 04:14:13] 995*2^1454032-1 is not prime. Res64: 8D4FBC3678C000CE Time : 0.0 sec. user=mdettweiler [2017-05-16 04:16:15] 705*2^1454033-1 is not prime. Res64: 68DBF30A86E91182 Time : 0.0 sec. user=mdettweiler [2017-05-16 04:16:15] 769*2^1454033-1 is not prime. Res64: 26C64903232E6D80 Time : 0.0 sec. user=mdettweiler [2017-05-16 04:16:15] 775*2^1454033-1 is not prime. Res64: 02171B5074CB0B17 Time : 0.0 sec. user=mdettweiler [2017-05-16 04:16:16] 787*2^1454033-1 is not prime. Res64: 14E86C1C9C351909 Time : 0.0 sec. user=mdettweiler [2017-05-16 04:16:16] 829*2^1454033-1 is not prime. Res64: C1E2554B179BD9E9 Time : 0.0 sec. user=mdettweiler [2017-05-16 04:21:20] 879*2^1454033-1 is not prime. Res64: 8AD4E71C2971B245 Time : 0.0 sec. user=mdettweiler [2017-05-16 04:21:20] 967*2^1454033-1 is not prime. Res64: A81F5C3F3EC0955C Time : 0.0 sec. user=mdettweiler [2017-05-16 04:21:20] 605*2^1454034-1 is not prime. Res64: 38A1CFB7FFBAB7E1 Time : 0.0 sec. user=mdettweiler [2017-05-16 04:21:21] 723*2^1454034-1 is not prime. Res64: D5DAEBCFFF3B1134 Time : 0.0 sec. user=mdettweiler [2017-05-16 04:21:21] 725*2^1454034-1 is not prime. Res64: 620D432CA8456D55 Time : 0.0 sec. user=mdettweiler [2017-05-16 04:41:03] 885*2^1454034-1 is not prime. Res64: BA58296F4CBB6AED Time : 0.0 sec. user=mdettweiler [2017-05-16 04:41:03] 971*2^1454034-1 is not prime. Res64: 55B8895F3E2B2572 Time : 0.0 sec. user=mdettweiler [2017-05-16 04:41:03] 1001*2^1454034-1 is not prime. Res64: CC6C65687A3CFCEE Time : 0.0 sec. user=mdettweiler [2017-05-16 04:41:03] 633*2^1454035-1 is not prime. Res64: 2D9299EA32A59122 Time : 0.0 sec. user=mdettweiler [2017-05-16 04:41:04] 723*2^1454035-1 is not prime. Res64: DB1CBA2F7E3AE9C4 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:02:04] 789*2^1454035-1 is not prime. Res64: C3BF2D89CD72EDE4 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:02:05] 853*2^1454035-1 is not prime. Res64: 1D3A499BC59D6D5E Time : 0.0 sec. user=mdettweiler [2017-05-16 05:02:06] 889*2^1454035-1 is not prime. Res64: 0F4FFEC9F789E5C6 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:02:07] 951*2^1454035-1 is not prime. Res64: 261CED5054E364E5 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:02:07] 603*2^1454036-1 is not prime. Res64: D414C0E4CD8DEB39 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:03:52] 699*2^1454036-1 is not prime. Res64: CAA501C848BD7833 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:03:55] 759*2^1454036-1 is not prime. Res64: F3A643CB07465157 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:03:58] 803*2^1454036-1 is not prime. Res64: 24D9468B33F2AA0F Time : 0.0 sec. user=mdettweiler [2017-05-16 05:03:59] 813*2^1454036-1 is not prime. Res64: 3EA127FFF25DDE1E Time : 0.0 sec. user=mdettweiler [2017-05-16 05:04:01] 827*2^1454036-1 is not prime. Res64: 98B1A4C0C9639DC2 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:09:14] 837*2^1454036-1 is not prime. Res64: 3587C0981CE3D61E Time : 0.0 sec. user=mdettweiler [2017-05-16 05:09:14] 717*2^1454037-1 is not prime. Res64: 331C7B54C08DF7C9 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:09:15] 727*2^1454037-1 is not prime. Res64: 8DCE62AFFAED2FE6 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:09:15] 777*2^1454037-1 is not prime. Res64: 91EC8E5D32C3E508 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:09:15] 795*2^1454037-1 is not prime. Res64: B20637C2A257ABB4 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:31:26] 817*2^1454037-1 is not prime. Res64: 1A2CA774833D13D5 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:31:26] 889*2^1454037-1 is not prime. Res64: 5174394764149A5A Time : 0.0 sec. user=mdettweiler [2017-05-16 05:31:26] 611*2^1454038-1 is not prime. Res64: 409A0B25B1C2FDA4 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:31:27] 657*2^1454038-1 is not prime. Res64: 4718DB835091B7A8 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:31:27] 681*2^1454038-1 is not prime. Res64: 880BFB2711FDCE1C Time : 0.0 sec. user=juhehe [2017-05-16 05:32:40] 705*2^1454038-1 is not prime. Res64: 1D7D89DEE1322D7B Time : 0.0 sec. user=mdettweiler [2017-05-16 05:51:49] 813*2^1454038-1 is not prime. Res64: 220AAB96A0279B24 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:51:49] 981*2^1454038-1 is not prime. Res64: E9A490FEB7F487AA Time : 0.0 sec. user=mdettweiler [2017-05-16 05:51:49] 995*2^1454038-1 is not prime. Res64: D12BE135279B2350 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:51:50] 675*2^1454039-1 is not prime. Res64: 3E92E901DF631CDA Time : 0.0 sec. user=mdettweiler [2017-05-16 05:51:50] 711*2^1454039-1 is not prime. Res64: F3ED4F3F58A4EA63 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:54:00] 745*2^1454039-1 is not prime. Res64: B8B7A1D8CF4A54A2 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:54:00] 771*2^1454039-1 is not prime. Res64: 5AE53A8819265332 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:54:01] 789*2^1454039-1 is not prime. Res64: 913D61176673EAAC Time : 0.0 sec. user=mdettweiler [2017-05-16 05:54:01] 859*2^1454039-1 is not prime. Res64: 3B4EA17D2FC099B4 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:54:01] 861*2^1454039-1 is not prime. Res64: B9E92198EEFAA437 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:58:19] 885*2^1454039-1 is not prime. Res64: C213F58BB3AD9100 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:58:19] 913*2^1454039-1 is not prime. Res64: 98BDF17027D61D78 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:58:20] 633*2^1454040-1 is not prime. Res64: 5CEDF1AB4CC9AF97 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:58:20] 717*2^1454040-1 is not prime. Res64: 2D622E453F7270F9 Time : 0.0 sec. user=mdettweiler [2017-05-16 05:58:20] 957*2^1454040-1 is not prime. Res64: B493E529A63C163B Time : 0.0 sec. user=mdettweiler [2017-05-16 06:17:56] 615*2^1454041-1 is not prime. Res64: 31C794236B33BB20 Time : 0.0 sec. user=mdettweiler [2017-05-16 06:17:57] 619*2^1454041-1 is not prime. Res64: 273B9E866A6F2B15 Time : 0.0 sec. user=mdettweiler [2017-05-16 06:17:57] 705*2^1454041-1 is not prime. Res64: 429941B3970CA593 Time : 0.0 sec. user=mdettweiler [2017-05-16 06:17:57] 717*2^1454041-1 is not prime. Res64: F6C42E971608C605 Time : 0.0 sec. user=mdettweiler [2017-05-16 06:17:57] 771*2^1454041-1 is not prime. Res64: F67304C350E5009A Time : 0.0 sec. user=mdettweiler [2017-05-16 06:38:54] 777*2^1454041-1 is not prime. Res64: E5BB5041DCC84CDA Time : 0.0 sec. user=mdettweiler [2017-05-16 06:38:54] 835*2^1454041-1 is not prime. Res64: AC746DEFCF979818 Time : 0.0 sec. user=mdettweiler [2017-05-16 06:38:54] 861*2^1454041-1 is not prime. Res64: 90C4B8CAB5AEC51A Time : 0.0 sec. user=mdettweiler [2017-05-16 06:38:54] 877*2^1454041-1 is not prime. Res64: 64B8D39F69A3473F Time : 0.0 sec. user=mdettweiler [2017-05-16 06:38:55] 945*2^1454041-1 is not prime. Res64: 4BABDC2BD556FF23 Time : 0.0 sec. user=mdettweiler [2017-05-16 06:40:41] 957*2^1454041-1 is not prime. Res64: 5C3F4CD9BD36896A Time : 0.0 sec. user=mdettweiler [2017-05-16 06:40:41] 671*2^1454042-1 is not prime. Res64: 8C63727B0478C96F Time : 0.0 sec. user=mdettweiler [2017-05-16 06:40:41] 767*2^1454042-1 is not prime. Res64: E3A92F608C4763BC Time : 0.0 sec. user=mdettweiler [2017-05-16 06:40:42] 825*2^1454042-1 is not prime. Res64: 810ED506F250CD78 Time : 0.0 sec. user=mdettweiler [2017-05-16 06:40:42] 837*2^1454042-1 is not prime. Res64: CB07DD7EEE218AA2 Time : 0.0 sec. user=mdettweiler [2017-05-16 06:44:57] 875*2^1454042-1 is not prime. Res64: CB45836222F48541 Time : 0.0 sec. user=mdettweiler [2017-05-16 06:44:57] 625*2^1454043-1 is not prime. Res64: D7DFA7222165DFAA Time : 0.0 sec. user=mdettweiler [2017-05-16 06:44:57] 739*2^1454043-1 is not prime. Res64: 94D93CD9D00AA261 Time : 0.0 sec. user=mdettweiler [2017-05-16 06:44:57] 789*2^1454043-1 is not prime. Res64: 51BDA0A866710540 Time : 0.0 sec. user=mdettweiler [2017-05-16 06:44:58] 805*2^1454043-1 is not prime. Res64: 8B2BF0003E7B3A2A Time : 0.0 sec. user=mdettweiler [2017-05-16 07:04:58] 963*2^1454043-1 is not prime. Res64: F8B189510DB14E3A Time : 0.0 sec. user=mdettweiler [2017-05-16 07:05:00] 635*2^1454044-1 is not prime. Res64: C918BFCF24E234E8 Time : 0.0 sec. user=mdettweiler [2017-05-16 07:05:02] 663*2^1454044-1 is not prime. Res64: B0ADC0B10A57FC37 Time : 0.0 sec. user=mdettweiler [2017-05-16 07:05:03] 675*2^1454044-1 is not prime. Res64: 82C89EF922781C66 Time : 0.0 sec. user=mdettweiler [2017-05-16 07:05:04] 677*2^1454044-1 is not prime. Res64: 57FE3B556320063F Time : 0.0 sec. user=mdettweiler [2017-05-16 07:25:14] 903*2^1454044-1 is not prime. Res64: AB1AD176B7B6CBA1 Time : 0.0 sec. user=mdettweiler [2017-05-16 07:25:14] 915*2^1454044-1 is not prime. Res64: B596ED242636768A Time : 0.0 sec. user=mdettweiler [2017-05-16 07:25:15] 711*2^1454045-1 is not prime. Res64: 58376403478FE7E0 Time : 0.0 sec. user=mdettweiler [2017-05-16 07:25:15] 721*2^1454045-1 is not prime. Res64: 23C3405C2FF6F0EF Time : 0.0 sec. user=mdettweiler [2017-05-16 07:25:16] 757*2^1454045-1 is not prime. Res64: 67503E006E8EE11A Time : 0.0 sec. user=mdettweiler [2017-05-16 07:27:21] 771*2^1454045-1 is not prime. Res64: DD36C61A927871FE Time : 0.0 sec. user=mdettweiler [2017-05-16 07:27:21] 775*2^1454045-1 is not prime. Res64: 5BE2B475CFBD59A5 Time : 0.0 sec. user=mdettweiler [2017-05-16 07:27:21] 811*2^1454045-1 is not prime. Res64: A65EDF05A2ABE6BE Time : 0.0 sec. user=mdettweiler [2017-05-16 07:27:22] 611*2^1454046-1 is not prime. Res64: 9C59F0298BC05359 Time : 0.0 sec. user=mdettweiler [2017-05-16 07:27:22] 615*2^1454046-1 is not prime. Res64: 8265654038CDD696 Time : 0.0 sec. user=juhehe [2017-05-16 07:29:53] 735*2^1454047-1 is not prime. Res64: 50D0F3817D4BE1F6 Time : 0.0 sec. user=mdettweiler [2017-05-16 07:31:37] 795*2^1454046-1 is not prime. Res64: B5F790B53ADCEC7E Time : 0.0 sec. user=mdettweiler [2017-05-16 07:31:37] 807*2^1454046-1 is not prime. Res64: 21D6F72AA7E2A805 Time : 0.0 sec. user=mdettweiler [2017-05-16 07:31:37] 971*2^1454046-1 is not prime. Res64: 0A6B591206FA1132 Time : 0.0 sec. user=mdettweiler [2017-05-16 07:31:38] 975*2^1454046-1 is not prime. Res64: 66EA6FD98EB5DEFD Time : 0.0 sec. user=mdettweiler [2017-05-16 07:31:38] 705*2^1454047-1 is not prime. Res64: 9F95EBFBC202AF5A Time : 0.0 sec. user=mdettweiler [2017-05-16 07:52:12] 793*2^1454047-1 is not prime. Res64: 2B9426E85DF00AF9 Time : 0.0 sec. user=mdettweiler [2017-05-16 07:52:13] 891*2^1454047-1 is not prime. Res64: 5B5AB86574C164AC Time : 0.0 sec. user=mdettweiler [2017-05-16 07:52:13] 919*2^1454047-1 is not prime. Res64: C1A5F23DBEA7587A Time : 0.0 sec. user=mdettweiler [2017-05-16 07:52:13] 931*2^1454047-1 is not prime. Res64: 75063D730BB89632 Time : 0.0 sec. user=mdettweiler [2017-05-16 07:52:13] 961*2^1454047-1 is not prime. Res64: 79AD09B6AEB54E13 Time : 0.0 sec. user=mdettweiler [2017-05-16 08:11:56] 669*2^1454048-1 is not prime. Res64: F61A7C49609F32CB Time : 0.0 sec. user=mdettweiler [2017-05-16 08:11:56] 743*2^1454048-1 is not prime. Res64: 7F7C07261CA3FDFA Time : 0.0 sec. user=mdettweiler [2017-05-16 08:11:57] 755*2^1454048-1 is not prime. Res64: 52F744300D6131A4 Time : 0.0 sec. user=mdettweiler [2017-05-16 08:11:57] 845*2^1454048-1 is not prime. Res64: 3418896C665E8C1A Time : 0.0 sec. user=mdettweiler [2017-05-16 08:11:58] 855*2^1454048-1 is not prime. Res64: 6BBB8F3EF9FC0BE8 Time : 0.0 sec. user=mdettweiler [2017-05-16 08:14:03] 923*2^1454048-1 is not prime. Res64: 28CE7246C368FD9A Time : 0.0 sec. user=mdettweiler [2017-05-16 08:14:03] 977*2^1454048-1 is not prime. Res64: 80A0BE41AD5C82D2 Time : 0.0 sec. user=mdettweiler [2017-05-16 08:14:03] 675*2^1454049-1 is not prime. Res64: DC03BF9861EB9D5A Time : 0.0 sec. user=mdettweiler [2017-05-16 08:14:03] 679*2^1454049-1 is not prime. Res64: 725890646CAECA72 Time : 0.0 sec. user=mdettweiler [2017-05-16 08:14:04] 811*2^1454049-1 is not prime. Res64: 281EAAD1F924F011 Time : 0.0 sec. user=mdettweiler [2017-05-16 08:18:32] 817*2^1454049-1 is not prime. Res64: 436FB99C5A75FCFB Time : 0.0 sec. user=mdettweiler [2017-05-16 08:18:33] 975*2^1454049-1 is not prime. Res64: BA2ECCB616FEEECE Time : 0.0 sec. user=mdettweiler [2017-05-16 08:18:33] 979*2^1454049-1 is not prime. Res64: 6338D39989F4294E Time : 0.0 sec. user=mdettweiler [2017-05-16 08:18:33] 623*2^1454050-1 is not prime. Res64: 46875F4F7A6D108B Time : 0.0 sec. user=mdettweiler [2017-05-16 08:18:33] 645*2^1454050-1 is not prime. Res64: 31220957B36F8801 Time : 0.0 sec. user=mdettweiler [2017-05-16 08:38:58] 687*2^1454050-1 is not prime. Res64: 6CCC48262A99EE8B Time : 0.0 sec. user=mdettweiler [2017-05-16 08:38:58] 777*2^1454050-1 is not prime. Res64: 20CD570CA2D804F3 Time : 0.0 sec. user=mdettweiler [2017-05-16 08:38:58] 669*2^1454051-1 is not prime. Res64: 08D322D59D7254F1 Time : 0.0 sec. user=mdettweiler [2017-05-16 08:38:59] 673*2^1454051-1 is not prime. Res64: 170198A645B9108D Time : 0.0 sec. user=mdettweiler [2017-05-16 08:38:59] 705*2^1454051-1 is not prime. Res64: F1494E43FEADC8E8 Time : 0.0 sec. user=juhehe [2017-05-16 08:48:05] 711*2^1454051-1 is not prime. Res64: 00F2B4FD147C28E6 Time : 0.0 sec. user=mdettweiler [2017-05-16 08:58:55] 955*2^1454051-1 is not prime. Res64: A282A2CC1561D42E Time : 0.0 sec. user=mdettweiler [2017-05-16 08:58:55] 719*2^1454052-1 is not prime. Res64: 9424B5095F3C70BA Time : 0.0 sec. user=mdettweiler [2017-05-16 08:58:55] 753*2^1454052-1 is not prime. Res64: 6D5DDCB64C12B6BB Time : 0.0 sec. user=mdettweiler [2017-05-16 08:58:55] 765*2^1454052-1 is not prime. Res64: 6AC46287E05841C3 Time : 0.0 sec. user=mdettweiler [2017-05-16 08:58:56] 777*2^1454052-1 is not prime. Res64: 192C744C41613E85 Time : 0.0 sec. user=mdettweiler [2017-05-16 09:00:38] 873*2^1454052-1 is not prime. Res64: 2C771D8FF15A324F Time : 0.0 sec. user=mdettweiler [2017-05-16 09:00:38] 909*2^1454052-1 is not prime. Res64: 729312CAE4B08297 Time : 0.0 sec. user=mdettweiler [2017-05-16 09:00:39] 923*2^1454052-1 is not prime. Res64: 354582975B4ABF27 Time : 0.0 sec. user=mdettweiler [2017-05-16 09:00:40] 675*2^1454053-1 is not prime. Res64: D3DF528B87637B38 Time : 0.0 sec. user=mdettweiler [2017-05-16 09:00:41] 679*2^1454053-1 is not prime. Res64: 86A7F9C84CF9C0FF Time : 0.0 sec. user=mdettweiler [2017-05-16 09:05:03] 915*2^1454053-1 is not prime. Res64: 283D5D7D717D2E71 Time : 0.0 sec. user=mdettweiler [2017-05-16 09:05:04] 919*2^1454053-1 is not prime. Res64: 80C0D87114AC5EF9 Time : 0.0 sec. user=mdettweiler [2017-05-16 09:05:06] 979*2^1454053-1 is not prime. Res64: 753332EA9DDD4F41 Time : 0.0 sec. user=mdettweiler [2017-05-16 09:05:08] 615*2^1454054-1 is not prime. Res64: 15FF743D12D36812 Time : 0.0 sec. user=mdettweiler [2017-05-16 09:05:09] 641*2^1454054-1 is not prime. Res64: 18295CCA9C14CA52 Time : 0.0 sec. user=mdettweiler [2017-05-16 09:25:05] 665*2^1454054-1 is not prime. Res64: 1C2EBED050145C85 Time : 0.0 sec. user=mdettweiler [2017-05-16 09:25:05] 707*2^1454054-1 is not prime. Res64: B1DE1053B978275E Time : 0.0 sec. user=mdettweiler [2017-05-16 09:25:05] 711*2^1454054-1 is not prime. Res64: 9537EA866C130913 Time : 0.0 sec. user=mdettweiler [2017-05-16 09:25:05] 773*2^1454054-1 is not prime. Res64: 0D7A661D944560E9 Time : 0.0 sec. user=mdettweiler [2017-05-16 09:25:06] 873*2^1454054-1 is not prime. Res64: D051F5923D3E2BD7 Time : 0.0 sec. user=mdettweiler [2017-05-16 09:45:00] 885*2^1454054-1 is not prime. Res64: 0FC8A654C295F248 Time : 0.0 sec. user=mdettweiler [2017-05-16 09:45:00] 971*2^1454054-1 is not prime. Res64: F9E0188E4DC37F7B Time : 0.0 sec. user=mdettweiler [2017-05-16 09:45:00] 663*2^1454055-1 is not prime. Res64: 2AB45EE3956AC7ED Time : 0.0 sec. user=mdettweiler [2017-05-16 09:45:00] 675*2^1454055-1 is not prime. Res64: 60D24B3F58F0CBA7 Time : 0.0 sec. user=mdettweiler [2017-05-16 09:45:01] 765*2^1454055-1 is not prime. Res64: 2F4741D81313CAFC Time : 0.0 sec. user=mdettweiler [2017-05-16 09:46:44] 961*2^1454055-1 is not prime. Res64: EF639E4D474DEBE6 Time : 0.0 sec. user=mdettweiler [2017-05-16 09:46:44] 969*2^1454055-1 is not prime. Res64: 5D764CAC85162590 Time : 0.0 sec. user=mdettweiler [2017-05-16 09:46:45] 979*2^1454055-1 is not prime. Res64: FEF001A96D6DEC27 Time : 0.0 sec. user=mdettweiler [2017-05-16 09:46:45] 629*2^1454056-1 is not prime. Res64: D5CF60EFDA717341 Time : 0.0 sec. user=mdettweiler [2017-05-16 09:46:45] 675*2^1454056-1 is not prime. Res64: E517B34BD4F98697 Time : 0.0 sec. user=juhehe [2017-05-16 09:47:35] 649*2^1454057-1 is not prime. Res64: 861A08A15040454A Time : 0.0 sec. user=mdettweiler [2017-05-16 09:51:55] 747*2^1454056-1 is not prime. Res64: 26EF4BF216B4214D Time : 0.0 sec. user=mdettweiler [2017-05-16 09:51:55] 843*2^1454056-1 is not prime. Res64: 68C3279434F67EF0 Time : 0.0 sec. user=mdettweiler [2017-05-16 09:51:56] 939*2^1454056-1 is not prime. Res64: 6626E8CE23457F25 Time : 0.0 sec. user=mdettweiler [2017-05-16 09:51:56] 969*2^1454056-1 is not prime. Res64: 1FDF674E5B233488 Time : 0.0 sec. user=mdettweiler [2017-05-16 09:51:56] 999*2^1454056-1 is not prime. Res64: 9D03CA982BAC43C2 Time : 0.0 sec. user=mdettweiler [2017-05-16 10:11:06] 711*2^1454057-1 is not prime. Res64: 82577E15E655AC58 Time : 0.0 sec. user=mdettweiler [2017-05-16 10:11:06] 735*2^1454057-1 is not prime. Res64: FACBDD67A9DC252C Time : 0.0 sec. user=mdettweiler [2017-05-16 10:11:07] 747*2^1454057-1 is not prime. Res64: 2E4E782FB6DDA889 Time : 0.0 sec. user=mdettweiler [2017-05-16 10:11:07] 831*2^1454057-1 is not prime. Res64: 136E5145C792AB01 Time : 0.0 sec. user=mdettweiler [2017-05-16 10:11:07] 605*2^1454058-1 is not prime. Res64: 9BF7324F93BDE89A Time : 0.0 sec. user=mdettweiler [2017-05-16 10:30:57] 755*2^1454058-1 is not prime. Res64: D9D2E35737B81604 Time : 0.0 sec. user=mdettweiler [2017-05-16 10:30:57] 773*2^1454058-1 is not prime. Res64: 7734F15434CAADA6 Time : 0.0 sec. user=mdettweiler [2017-05-16 10:30:57] 815*2^1454058-1 is not prime. Res64: D35292B826239D34 Time : 0.0 sec. user=mdettweiler [2017-05-16 10:30:57] 843*2^1454058-1 is not prime. Res64: F1DD156B6CF05772 Time : 0.0 sec. user=mdettweiler [2017-05-16 10:30:58] 861*2^1454058-1 is not prime. Res64: 7CEC8EEDFB5F4DC8 Time : 0.0 sec. user=mdettweiler [2017-05-16 10:32:54] 885*2^1454058-1 is not prime. Res64: 2F8610576930C132 Time : 0.0 sec. user=mdettweiler [2017-05-16 10:32:54] 915*2^1454058-1 is not prime. Res64: 5C2785153C3A3DB5 Time : 0.0 sec. user=mdettweiler [2017-05-16 10:32:54] 933*2^1454058-1 is not prime. Res64: A36E8CD660716AA0 Time : 0.0 sec. user=mdettweiler [2017-05-16 10:32:55] 957*2^1454058-1 is not prime. Res64: 80567EE2A1140976 Time : 0.0 sec. user=mdettweiler [2017-05-16 10:32:55] 977*2^1454058-1 is not prime. Res64: BEC9320978DC9EC8 Time : 0.0 sec. user=mdettweiler [2017-05-16 10:37:57] 633*2^1454059-1 is not prime. Res64: 3349B5850C6273D6 Time : 0.0 sec. user=mdettweiler [2017-05-16 10:37:57] 649*2^1454059-1 is not prime. Res64: F52A3B0740DC5EB8 Time : 0.0 sec. user=mdettweiler [2017-05-16 10:37:58] 793*2^1454059-1 is not prime. Res64: 249E452BD9629448 Time : 0.0 sec. user=mdettweiler [2017-05-16 10:37:58] 841*2^1454059-1 is not prime. Res64: BE68F6978E9B4CE9 Time : 0.0 sec. user=mdettweiler [2017-05-16 10:37:58] 883*2^1454059-1 is not prime. Res64: EDA6E53D75FE3CF0 Time : 0.0 sec. user=juhehe [2017-05-16 10:45:26] 857*2^1454060-1 is not prime. Res64: 125A798C96CE0595 Time : 0.0 sec. user=mdettweiler [2017-05-16 10:58:02] 893*2^1454060-1 is not prime. Res64: 269995DD04778C22 Time : 0.0 sec. user=mdettweiler [2017-05-16 10:58:02] 627*2^1454061-1 is not prime. Res64: B28BCA2643107253 Time : 0.0 sec. user=mdettweiler [2017-05-16 10:58:03] 691*2^1454061-1 is not prime. Res64: 1B89D2C8D79C8987 Time : 0.0 sec. user=mdettweiler [2017-05-16 10:58:03] 709*2^1454061-1 is not prime. Res64: 88E01676C528E6BA Time : 0.0 sec. user=mdettweiler [2017-05-16 10:58:03] 717*2^1454061-1 is not prime. Res64: 9F3960959D68D0B0 Time : 0.0 sec. user=mdettweiler [2017-05-16 11:17:55] 849*2^1454061-1 is not prime. Res64: 4FD86C76EE6F6747 Time : 0.0 sec. user=mdettweiler [2017-05-16 11:17:56] 877*2^1454061-1 is not prime. Res64: C2791EAF64DD4215 Time : 0.0 sec. user=mdettweiler [2017-05-16 11:17:56] 895*2^1454061-1 is not prime. Res64: F6463D766524C72F Time : 0.0 sec. user=mdettweiler [2017-05-16 11:17:56] 901*2^1454061-1 is not prime. Res64: 239906E3061017E1 Time : 0.0 sec. user=mdettweiler [2017-05-16 11:17:56] 761*2^1454062-1 is not prime. Res64: B66582E0570D8B5C Time : 0.0 sec. user=mdettweiler [2017-05-16 11:19:35] 765*2^1454062-1 is not prime. Res64: 69EC46CDF1BE6730 Time : 0.0 sec. user=mdettweiler [2017-05-16 11:19:35] 791*2^1454062-1 is not prime. Res64: 966DF186527F41F1 Time : 0.0 sec. user=mdettweiler [2017-05-16 11:19:35] 891*2^1454062-1 is not prime. Res64: 1DD28E66E1347B40 Time : 0.0 sec. user=mdettweiler [2017-05-16 11:19:35] 983*2^1454062-1 is not prime. Res64: DC99E0AC113BDCF7 Time : 0.0 sec. user=mdettweiler [2017-05-16 11:19:36] 663*2^1454063-1 is not prime. Res64: 6922063167968F76 Time : 0.0 sec. user=mdettweiler [2017-05-16 11:24:50] 679*2^1454063-1 is not prime. Res64: 0B0DC54FDCA296CD Time : 0.0 sec. user=mdettweiler [2017-05-16 11:24:51] 811*2^1454063-1 is not prime. Res64: 0E70A0E033458AAF Time : 0.0 sec. user=mdettweiler [2017-05-16 11:24:51] 945*2^1454063-1 is not prime. Res64: A74BF31D7135FEFA Time : 0.0 sec. user=mdettweiler [2017-05-16 11:24:51] 969*2^1454063-1 is not prime. Res64: BB540FC5A37D1AE9 Time : 0.0 sec. user=mdettweiler [2017-05-16 11:24:51] 689*2^1454064-1 is not prime. Res64: B619B4C3D706B9D0 Time : 0.0 sec. user=mdettweiler [2017-05-16 11:43:55] 765*2^1454064-1 is not prime. Res64: 6F00E5A26D503B5F Time : 0.0 sec. user=mdettweiler [2017-05-16 11:43:56] 825*2^1454064-1 is not prime. Res64: 75FF0D16975CD32E Time : 0.0 sec. user=mdettweiler [2017-05-16 11:43:56] 843*2^1454064-1 is not prime. Res64: D8349198D5A91A67 Time : 0.0 sec. user=mdettweiler [2017-05-16 11:43:56] 899*2^1454064-1 is not prime. Res64: D76D0039D0162737 Time : 0.0 sec. user=mdettweiler [2017-05-16 11:43:57] 609*2^1454065-1 is not prime. Res64: CFA21CC43E3F33E1 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:04:14] 687*2^1454065-1 is not prime. Res64: 29494E4FE93083F7 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:04:15] 759*2^1454065-1 is not prime. Res64: 3DBDAA309A6EB0E8 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:04:17] 819*2^1454065-1 is not prime. Res64: B92D9BA1D55C1654 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:04:18] 831*2^1454065-1 is not prime. Res64: 34C4FD05367D7C48 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:04:19] 919*2^1454065-1 is not prime. Res64: 1DE83D75C62ED643 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:05:35] 937*2^1454065-1 is not prime. Res64: 5D3674F0E79E6426 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:05:36] 675*2^1454066-1 is not prime. Res64: 573ECFE325D1F4F1 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:05:37] 747*2^1454066-1 is not prime. Res64: EE96EE85ABAD307B Time : 0.0 sec. user=mdettweiler [2017-05-16 12:05:38] 785*2^1454066-1 is not prime. Res64: 1A6D419C599533A4 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:05:39] 801*2^1454066-1 is not prime. Res64: E9069FD0508A7FF8 Time : 0.0 sec. user=odicin [2017-05-16 12:08:34] 707*2^1454068-1 is not prime. Res64: 58B9DF04B2D5A7DC Time : 0.0 sec. user=mdettweiler [2017-05-16 12:11:01] 843*2^1454066-1 is not prime. Res64: 5D9FF3145ED181F9 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:11:02] 941*2^1454066-1 is not prime. Res64: 864666D1F3CDA1B4 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:11:02] 953*2^1454066-1 is not prime. Res64: 3E3B4EB5066F3154 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:11:02] 649*2^1454067-1 is not prime. Res64: FD7FF3EEF1092E70 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:11:02] 651*2^1454067-1 is not prime. Res64: 8B2E8A7C79D30E70 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:29:48] 805*2^1454067-1 is not prime. Res64: 5CED1170FEA1A81C Time : 0.0 sec. user=mdettweiler [2017-05-16 12:29:49] 903*2^1454067-1 is not prime. Res64: AAD478EABCE3F138 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:29:49] 913*2^1454067-1 is not prime. Res64: 2003C58DDC9D2CC6 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:29:49] 955*2^1454067-1 is not prime. Res64: 16CBCE46F4AFF89A Time : 0.0 sec. user=mdettweiler [2017-05-16 12:29:49] 647*2^1454068-1 is not prime. Res64: 1F9340CD8646CD4A Time : 0.0 sec. user=juhehe [2017-05-16 12:43:04] 773*2^1454068-1 is not prime. Res64: F20BFF63977E99B7 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:50:52] 777*2^1454068-1 is not prime. Res64: C75994823C801B0E Time : 0.0 sec. user=mdettweiler [2017-05-16 12:50:52] 999*2^1454068-1 is not prime. Res64: 52DBE2C2689EEA41 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:50:52] 745*2^1454069-1 is not prime. Res64: 8FA3911AC374E91F Time : 0.0 sec. user=mdettweiler [2017-05-16 12:50:53] 799*2^1454069-1 is not prime. Res64: C209A6D5C5603BE3 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:50:53] 819*2^1454069-1 is not prime. Res64: 9821FA378DEC2352 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:51:39] 847*2^1454069-1 is not prime. Res64: CE8684D01BF6B11B Time : 0.0 sec. user=mdettweiler [2017-05-16 12:51:39] 889*2^1454069-1 is not prime. Res64: DE29E26509233636 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:51:39] 927*2^1454069-1 is not prime. Res64: 0296E71007372C9C Time : 0.0 sec. user=mdettweiler [2017-05-16 12:51:39] 985*2^1454069-1 is not prime. Res64: ADF9147A5FF64448 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:51:40] 677*2^1454070-1 is not prime. Res64: 50A0E202902BB066 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:56:48] 707*2^1454070-1 is not prime. Res64: 3C2E0D8EF278C504 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:56:48] 801*2^1454070-1 is not prime. Res64: 918B287189DFA244 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:56:49] 833*2^1454070-1 is not prime. Res64: 4C7E5E283B779942 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:56:49] 845*2^1454070-1 is not prime. Res64: 95EA69D01E73BBF5 Time : 0.0 sec. user=mdettweiler [2017-05-16 12:56:49] 703*2^1454071-1 is not prime. Res64: D72A3525C3C7F834 Time : 0.0 sec. user=mdettweiler [2017-05-16 13:16:05] 763*2^1454071-1 is not prime. Res64: D555F94594246084 Time : 0.0 sec. user=mdettweiler [2017-05-16 13:16:06] 871*2^1454071-1 is not prime. Res64: 2F06AE769F51FEA8 Time : 0.0 sec. user=mdettweiler [2017-05-16 13:16:06] 891*2^1454071-1 is not prime. Res64: CA623C09D998E7D9 Time : 0.0 sec. user=mdettweiler [2017-05-16 13:16:06] 931*2^1454071-1 is not prime. Res64: 2A001BFD32D2DCEB Time : 0.0 sec. user=mdettweiler [2017-05-16 13:16:07] 617*2^1454072-1 is not prime. Res64: DB29D9D7CB7DBF8D Time : 0.0 sec. user=mdettweiler [2017-05-16 13:37:16] 735*2^1454072-1 is not prime. Res64: 8868A05B937F35F8 Time : 0.0 sec. user=mdettweiler [2017-05-16 13:37:17] 837*2^1454072-1 is not prime. Res64: E4AC8192D6D5B109 Time : 0.0 sec. user=mdettweiler [2017-05-16 13:37:17] 855*2^1454072-1 is not prime. Res64: A0988DBAC5C4D360 Time : 0.0 sec. user=mdettweiler [2017-05-16 13:37:17] 957*2^1454072-1 is not prime. Res64: 196270652D3B4890 Time : 0.0 sec. user=mdettweiler [2017-05-16 13:37:17] 625*2^1454073-1 is not prime. Res64: 5B97EB97DABA6FFC Time : 0.0 sec. user=mdettweiler [2017-05-16 13:37:36] 627*2^1454073-1 is not prime. Res64: B5D47398E4658F46 Time : 0.0 sec. user=mdettweiler [2017-05-16 13:37:36] 649*2^1454073-1 is not prime. Res64: C4F0063427E9493D Time : 0.0 sec. user=mdettweiler [2017-05-16 13:37:37] 705*2^1454073-1 is not prime. Res64: E1D30B2CBD4ED7DB Time : 0.0 sec. user=mdettweiler [2017-05-16 13:37:37] 741*2^1454073-1 is not prime. Res64: 2D148B0E4AA81590 Time : 0.0 sec. user=mdettweiler [2017-05-16 13:37:37] 781*2^1454073-1 is not prime. Res64: 9F9845418D822FE6 Time : 0.0 sec. user=mdettweiler [2017-05-16 13:43:07] 819*2^1454073-1 is not prime. Res64: 1D6FA6B9BB1FD2AC Time : 0.0 sec. user=mdettweiler [2017-05-16 13:43:07] 829*2^1454073-1 is not prime. Res64: 63408C3565BAE757 Time : 0.0 sec. user=mdettweiler [2017-05-16 13:43:07] 951*2^1454073-1 is not prime. Res64: 3A3FA23A5C1C26B1 Time : 0.0 sec. user=mdettweiler [2017-05-16 13:43:08] 999*2^1454073-1 is not prime. Res64: BD5C9C1CF7DC3892 Time : 0.0 sec. user=mdettweiler [2017-05-16 13:43:08] 645*2^1454074-1 is not prime. Res64: 20844FD056A7E200 Time : 0.0 sec. user=mdettweiler [2017-05-16 14:02:19] 675*2^1454074-1 is not prime. Res64: FEE3210E2697E824 Time : 0.0 sec. user=mdettweiler [2017-05-16 14:02:19] 619*2^1454075-1 is not prime. Res64: EE7488F8508285FF Time : 0.0 sec. user=mdettweiler [2017-05-16 14:02:20] 801*2^1454075-1 is not prime. Res64: D8881E3FDF21515B Time : 0.0 sec. user=mdettweiler [2017-05-16 14:02:20] 861*2^1454075-1 is not prime. Res64: 0FBDE25C80C1CE44 Time : 0.0 sec. user=mdettweiler [2017-05-16 14:02:21] 885*2^1454075-1 is not prime. Res64: 4BC78EDA98BDCD41 Time : 0.0 sec. user=mdettweiler [2017-05-16 14:23:25] 949*2^1454075-1 is not prime. Res64: 1804A5A8964A79EB Time : 0.0 sec. user=mdettweiler [2017-05-16 14:23:26] 963*2^1454075-1 is not prime. Res64: 50B105F2A709B413 Time : 0.0 sec. user=mdettweiler [2017-05-16 14:23:26] 979*2^1454075-1 is not prime. Res64: 9936AE5BA8636D72 Time : 0.0 sec. user=mdettweiler [2017-05-16 14:23:27] 985*2^1454075-1 is not prime. Res64: BDAEB3CBDB966BF8 Time : 0.0 sec. user=mdettweiler [2017-05-16 14:23:27] 635*2^1454076-1 is not prime. Res64: AD8A89CE73BAE36F Time : 0.0 sec. user=mdettweiler [2017-05-16 14:23:45] 707*2^1454076-1 is not prime. Res64: 1B3C67002AF3FF52 Time : 0.0 sec. user=mdettweiler [2017-05-16 14:23:45] 735*2^1454076-1 is not prime. Res64: 5ADB52A0D2E93485 Time : 0.0 sec. user=mdettweiler [2017-05-16 14:23:46] 789*2^1454076-1 is not prime. Res64: 2941F56664333195 Time : 0.0 sec. user=mdettweiler [2017-05-16 14:23:46] 691*2^1454077-1 is not prime. Res64: CEC3A12310CE846D Time : 0.0 sec. user=mdettweiler [2017-05-16 14:23:47] 727*2^1454077-1 is not prime. Res64: 2353F2EAD0902E5E Time : 0.0 sec. user=mdettweiler [2017-05-16 14:29:21] 937*2^1454077-1 is not prime. Res64: 3850C2A8C1B25115 Time : 0.0 sec. user=mdettweiler [2017-05-16 14:29:21] 999*2^1454077-1 is not prime. Res64: 3E7D89EA6C7B03C9 Time : 0.0 sec. user=mdettweiler [2017-05-16 14:29:22] 605*2^1454078-1 is not prime. Res64: 571096652B84EA5A Time : 0.0 sec. user=mdettweiler [2017-05-16 14:29:22] 641*2^1454078-1 is not prime. Res64: D8443770204B11C4 Time : 0.0 sec. user=mdettweiler [2017-05-16 14:29:22] 665*2^1454078-1 is not prime. Res64: BFF5CC39FD76FE7F Time : 0.0 sec. user=juhehe [2017-05-16 14:40:33] 921*2^1454078-1 is not prime. Res64: D6704AA222FB9001 Time : 0.0 sec. user=mdettweiler [2017-05-16 14:48:35] 927*2^1454078-1 is not prime. Res64: 86099282014A11C6 Time : 0.0 sec. user=mdettweiler [2017-05-16 14:48:35] 963*2^1454078-1 is not prime. Res64: E42C056075FC3A38 Time : 0.0 sec. user=mdettweiler [2017-05-16 14:48:35] 711*2^1454079-1 is not prime. Res64: 7E56F19121476041 Time : 0.0 sec. user=mdettweiler [2017-05-16 14:48:35] 741*2^1454079-1 is not prime. Res64: B3218E10F0DB24AD Time : 0.0 sec. user=mdettweiler [2017-05-16 14:48:36] 951*2^1454079-1 is not prime. Res64: 9AFCC48CB5964032 Time : 0.0 sec. user=mdettweiler [2017-05-16 15:09:36] 961*2^1454079-1 is not prime. Res64: 00481E52D0A43754 Time : 0.0 sec. user=mdettweiler [2017-05-16 15:09:36] 969*2^1454079-1 is not prime. Res64: F39E0D13AE624C9F Time : 0.0 sec. user=mdettweiler [2017-05-16 15:09:37] 675*2^1454080-1 is not prime. Res64: 9A7A3B34D835918A Time : 0.0 sec. user=mdettweiler [2017-05-16 15:09:37] 693*2^1454080-1 is not prime. Res64: 1A23BA0E727EBFE4 Time : 0.0 sec. user=mdettweiler [2017-05-16 15:09:37] 723*2^1454080-1 is not prime. Res64: 21B390512BFF856C Time : 0.0 sec. user=mdettweiler [2017-05-16 15:09:42] 743*2^1454080-1 is not prime. Res64: 0F9B0852B75B0D88 Time : 0.0 sec. user=mdettweiler [2017-05-16 15:09:43] 755*2^1454080-1 is not prime. Res64: C0488BB68615C804 Time : 0.0 sec. user=mdettweiler [2017-05-16 15:09:43] 759*2^1454080-1 is not prime. Res64: 11E78E6D5B3B9FB1 Time : 0.0 sec. user=mdettweiler [2017-05-16 15:09:43] 773*2^1454080-1 is not prime. Res64: AF6C10829A545588 Time : 0.0 sec. user=mdettweiler [2017-05-16 15:09:43] 849*2^1454080-1 is not prime. Res64: DF675D02F78F8726 Time : 0.0 sec. user=mdettweiler [2017-05-16 15:15:23] 933*2^1454080-1 is not prime. Res64: AC4843E4BD3D8366 Time : 0.0 sec. user=mdettweiler [2017-05-16 15:15:24] 983*2^1454080-1 is not prime. Res64: E6971D11FE836ECF Time : 0.0 sec. user=mdettweiler [2017-05-16 15:15:24] 999*2^1454080-1 is not prime. Res64: B0D8851EE10C4873 Time : 0.0 sec. user=mdettweiler [2017-05-16 15:15:24] 619*2^1454081-1 is not prime. Res64: 996501E5D232E77D Time : 0.0 sec. user=mdettweiler [2017-05-16 15:15:24] 675*2^1454081-1 is not prime. Res64: C8EF17261C26998A Time : 0.0 sec. user=mdettweiler [2017-05-16 15:34:29] 741*2^1454081-1 is not prime. Res64: 87E86882041FCE3E Time : 0.0 sec. user=mdettweiler [2017-05-16 15:34:30] 879*2^1454081-1 is not prime. Res64: 33C42A70229BB8CE Time : 0.0 sec. user=mdettweiler [2017-05-16 15:34:30] 885*2^1454081-1 is not prime. Res64: 8A46E88F741A03DA Time : 0.0 sec. user=mdettweiler [2017-05-16 15:34:30] 987*2^1454081-1 is not prime. Res64: 504686231A585F17 Time : 0.0 sec. user=mdettweiler [2017-05-16 15:34:30] 741*2^1454082-1 is not prime. Res64: C72970E0F3826D2A Time : 0.0 sec. user=mdettweiler [2017-05-16 15:55:37] 797*2^1454082-1 is not prime. Res64: A9C9365482BAD3C6 Time : 0.0 sec. user=mdettweiler [2017-05-16 15:55:37] 873*2^1454082-1 is not prime. Res64: 5C3749478B17F871 Time : 0.0 sec. user=mdettweiler [2017-05-16 15:55:38] 891*2^1454082-1 is not prime. Res64: 4019535C760F1CD2 Time : 0.0 sec. user=mdettweiler [2017-05-16 15:55:38] 941*2^1454082-1 is not prime. Res64: 5D684AF33EE03389 Time : 0.0 sec. user=mdettweiler [2017-05-16 15:55:39] 975*2^1454082-1 is not prime. Res64: 445CB5D1E7D875CC Time : 0.0 sec. user=mdettweiler [2017-05-16 15:55:51] 633*2^1454083-1 is not prime. Res64: B59A68DFCDE9B69B Time : 0.0 sec. user=mdettweiler [2017-05-16 15:55:51] 705*2^1454083-1 is not prime. Res64: F4E6F8555AD6FFCE Time : 0.0 sec. user=mdettweiler [2017-05-16 15:55:51] 771*2^1454083-1 is not prime. Res64: 8CF15A8CD8BE7DC2 Time : 0.0 sec. user=mdettweiler [2017-05-16 15:55:52] 805*2^1454083-1 is not prime. Res64: 5D385D1A11B464DF Time : 0.0 sec. user=mdettweiler [2017-05-16 15:55:52] 859*2^1454083-1 is not prime. Res64: A1AC89B472E91F34 Time : 0.0 sec. user=mdettweiler [2017-05-16 16:01:27] 861*2^1454083-1 is not prime. Res64: C13DBCA5DFA75A1C Time : 0.0 sec. user=mdettweiler [2017-05-16 16:01:28] 871*2^1454083-1 is not prime. Res64: FC04AD794F3906C9 Time : 0.0 sec. user=mdettweiler [2017-05-16 16:01:29] 993*2^1454083-1 is not prime. Res64: 4F78D9AC48EC3925 Time : 0.0 sec. user=mdettweiler [2017-05-16 16:01:30] 677*2^1454084-1 is not prime. Res64: 95E9A1E5505DBC65 Time : 0.0 sec. user=mdettweiler [2017-05-16 16:01:31] 707*2^1454084-1 is not prime. Res64: 22707E36065EE037 Time : 0.0 sec. user=mdettweiler [2017-05-16 16:20:58] 753*2^1454084-1 is not prime. Res64: 9B84A39619DF3E82 Time : 0.0 sec. user=mdettweiler [2017-05-16 16:20:59] 903*2^1454084-1 is not prime. Res64: 6FA054678CA43B6A Time : 0.0 sec. user=mdettweiler [2017-05-16 16:20:59] 923*2^1454084-1 is not prime. Res64: 0C10D45A45A91544 Time : 0.0 sec. user=mdettweiler [2017-05-16 16:21:00] 679*2^1454085-1 is not prime. Res64: 15E7A2D4E337C946 Time : 0.0 sec. user=mdettweiler [2017-05-16 16:21:01] 817*2^1454085-1 is not prime. Res64: 5FFA4FA49180D73F Time : 0.0 sec. user=juhehe [2017-05-16 16:37:49] 729*2^1454087-1 is not prime. Res64: 68B47D300BE5E244 Time : 0.0 sec. user=mdettweiler [2017-05-16 16:42:00] 819*2^1454085-1 is not prime. Res64: 90DD1EB66A9EA30C Time : 0.0 sec. user=mdettweiler [2017-05-16 16:42:01] 889*2^1454085-1 is not prime. Res64: 5EC4992F1F67F90A Time : 0.0 sec. user=mdettweiler [2017-05-16 16:42:01] 635*2^1454086-1 is not prime. Res64: C44657630C0E0B5A Time : 0.0 sec. user=mdettweiler [2017-05-16 16:42:02] 651*2^1454086-1 is not prime. Res64: 73F95F62BD12987D Time : 0.0 sec. user=mdettweiler [2017-05-16 16:42:02] 663*2^1454086-1 is not prime. Res64: 1B9046CEBE484D9A Time : 0.0 sec. user=mdettweiler [2017-05-16 16:42:02] 713*2^1454086-1 is not prime. Res64: F56C73EC1074A0A8 Time : 0.0 sec. user=mdettweiler [2017-05-16 16:42:03] 857*2^1454086-1 is not prime. Res64: 3B699278346400D1 Time : 0.0 sec. user=mdettweiler [2017-05-16 16:42:03] 861*2^1454086-1 is not prime. Res64: 58D7D45A1932EBC2 Time : 0.0 sec. user=mdettweiler [2017-05-16 16:42:04] 1001*2^1454086-1 is not prime. Res64: 153454F2F80E5AE1 Time : 0.0 sec. user=mdettweiler [2017-05-16 16:42:04] 609*2^1454087-1 is not prime. Res64: 2C983715AD1CC713 Time : 0.0 sec. user=mdettweiler [2017-05-16 16:47:52] 841*2^1454087-1 is not prime. Res64: 2FFC840BA668BC00 Time : 0.0 sec. user=mdettweiler [2017-05-16 16:47:52] 797*2^1454088-1 is not prime. Res64: C094D6D7C57895C2 Time : 0.0 sec. user=mdettweiler [2017-05-16 16:47:52] 839*2^1454088-1 is not prime. Res64: 07EF84A10EB7DFAC Time : 0.0 sec. user=mdettweiler [2017-05-16 16:47:53] 845*2^1454088-1 is not prime. Res64: 2857C76C3321ABC0 Time : 0.0 sec. user=mdettweiler [2017-05-16 16:47:53] 849*2^1454088-1 is not prime. Res64: 984374D96E3335A5 Time : 0.0 sec. user=mdettweiler [2017-05-16 17:07:19] 879*2^1454088-1 is not prime. Res64: C8BEC8BBA51069AA Time : 0.0 sec. user=mdettweiler [2017-05-16 17:07:20] 893*2^1454088-1 is not prime. Res64: 02A4A21433B8C75B Time : 0.0 sec. user=mdettweiler [2017-05-16 17:07:21] 933*2^1454088-1 is not prime. Res64: B952AD90697CF076 Time : 0.0 sec. user=mdettweiler [2017-05-16 17:07:21] 977*2^1454088-1 is not prime. Res64: 7CA5084AA2747592 Time : 0.0 sec. user=mdettweiler [2017-05-16 17:07:22] 619*2^1454089-1 is not prime. Res64: 2D70D19E44A216DB Time : 0.0 sec. user=mdettweiler [2017-05-16 17:28:11] 637*2^1454089-1 is not prime. Res64: DE1CDCC459FF91D1 Time : 0.0 sec. user=mdettweiler [2017-05-16 17:28:12] 661*2^1454089-1 is not prime. Res64: BD0BE47557974CAB Time : 0.0 sec. user=mdettweiler [2017-05-16 17:28:12] 691*2^1454089-1 is not prime. Res64: 69C852890CDD6620 Time : 0.0 sec. user=mdettweiler [2017-05-16 17:28:13] 699*2^1454089-1 is not prime. Res64: FF8C89750D51A98B Time : 0.0 sec. user=mdettweiler [2017-05-16 17:28:13] 729*2^1454089-1 is not prime. Res64: DFB15FF847FD04D6 Time : 0.0 sec. user=mdettweiler [2017-05-16 17:28:13] 705*2^1454089-1 is not prime. Res64: 7D62B0768EF11F15 Time : 0.0 sec. user=mdettweiler [2017-05-16 17:28:13] 885*2^1454089-1 is not prime. Res64: F0E99915E4CE735E Time : 0.0 sec. user=mdettweiler [2017-05-16 17:28:14] 633*2^1454090-1 is not prime. Res64: 4362BC44D7C3110F Time : 0.0 sec. user=mdettweiler [2017-05-16 17:28:14] 845*2^1454090-1 is not prime. Res64: 82AF4F110F245691 Time : 0.0 sec. user=mdettweiler [2017-05-16 17:28:15] 867*2^1454090-1 is not prime. Res64: BA5163362B7370AE Time : 0.0 sec. user=mdettweiler [2017-05-16 17:34:05] 941*2^1454090-1 is not prime. Res64: DF90EF1CAE04C499 Time : 0.0 sec. user=mdettweiler [2017-05-16 17:34:05] 977*2^1454090-1 is not prime. Res64: 0D587A5272377B33 Time : 0.0 sec. user=mdettweiler [2017-05-16 17:34:05] 669*2^1454091-1 is not prime. Res64: 42E1E4280B0B0F88 Time : 0.0 sec. user=mdettweiler [2017-05-16 17:34:05] 703*2^1454091-1 is not prime. Res64: 33EB68C61D42052B Time : 0.0 sec. user=mdettweiler [2017-05-16 17:34:06] 835*2^1454091-1 is not prime. Res64: 2D0DEAA586EE2750 Time : 0.0 sec. user=mdettweiler [2017-05-16 17:53:26] 895*2^1454091-1 is not prime. Res64: 3425296B622CB059 Time : 0.0 sec. user=mdettweiler [2017-05-16 17:53:26] 615*2^1454092-1 is not prime. Res64: 9BB308737A907376 Time : 0.0 sec. user=mdettweiler [2017-05-16 17:53:27] 635*2^1454092-1 is not prime. Res64: 6AA21B5C73541F10 Time : 0.0 sec. user=mdettweiler [2017-05-16 17:53:27] 653*2^1454092-1 is not prime. Res64: 7F43DAC51C9E9E19 Time : 0.0 sec. user=mdettweiler [2017-05-16 17:53:28] 693*2^1454092-1 is not prime. Res64: 179A6D1253400642 Time : 0.0 sec. user=mdettweiler [2017-05-16 18:14:15] 899*2^1454092-1 is not prime. Res64: 427E62E87C9223C5 Time : 0.0 sec. user=mdettweiler [2017-05-16 18:14:16] 939*2^1454092-1 is not prime. Res64: F179F01EC2615059 Time : 0.0 sec. user=mdettweiler [2017-05-16 18:14:16] 715*2^1454093-1 is not prime. Res64: 2E1127AEE64B54AB Time : 0.0 sec. user=mdettweiler [2017-05-16 18:14:16] 829*2^1454093-1 is not prime. Res64: 76165BDF4C669FB7 Time : 0.0 sec. user=mdettweiler [2017-05-16 18:14:17] 847*2^1454093-1 is not prime. Res64: F9E99463A1D63957 Time : 0.0 sec. user=mdettweiler [2017-05-16 18:14:26] 939*2^1454093-1 is not prime. Res64: D6F72A7605510875 Time : 0.0 sec. user=mdettweiler [2017-05-16 18:14:26] 967*2^1454093-1 is not prime. Res64: 1EFD45B1218B754A Time : 0.0 sec. user=mdettweiler [2017-05-16 18:14:26] 987*2^1454093-1 is not prime. Res64: 41D4C68BE79D0409 Time : 0.0 sec. user=mdettweiler [2017-05-16 18:14:27] 991*2^1454093-1 is not prime. Res64: 31DE3B4107B6D4EA Time : 0.0 sec. user=mdettweiler [2017-05-16 18:14:27] 873*2^1454094-1 is not prime. Res64: F95BE59D526B6E47 Time : 0.0 sec. user=mdettweiler [2017-05-16 18:20:07] 915*2^1454094-1 is not prime. Res64: E0356794B66A89ED Time : 0.0 sec. user=mdettweiler [2017-05-16 18:20:07] 1001*2^1454094-1 is not prime. Res64: 1C7214B7CB41501F Time : 0.0 sec. user=mdettweiler [2017-05-16 18:20:08] 645*2^1454095-1 is not prime. Res64: 1A9A2AD0B64665A9 Time : 0.0 sec. user=mdettweiler [2017-05-16 18:20:08] 661*2^1454095-1 is not prime. Res64: DE9CA63B6C46AF37 Time : 0.0 sec. user=mdettweiler [2017-05-16 18:20:08] 679*2^1454095-1 is not prime. Res64: 2D44AFB113D46875 Time : 0.0 sec. user=juhehe [2017-05-16 18:35:49] 657*2^1454096-1 is not prime. Res64: FB5EEAF52AA48065 Time : 0.0 sec. user=mdettweiler [2017-05-16 18:39:44] 705*2^1454095-1 is not prime. Res64: 6688151156B15B5B Time : 0.0 sec. user=mdettweiler [2017-05-16 18:39:44] 735*2^1454095-1 is not prime. Res64: B6336925003EE370 Time : 0.0 sec. user=mdettweiler [2017-05-16 18:39:44] 831*2^1454095-1 is not prime. Res64: C99B09447B1D6A6C Time : 0.0 sec. user=mdettweiler [2017-05-16 18:39:45] 883*2^1454095-1 is not prime. Res64: 344361CFBBF7E5BA Time : 0.0 sec. user=mdettweiler [2017-05-16 18:39:45] 623*2^1454096-1 is not prime. Res64: 3D69B4B107B8265F Time : 0.0 sec. user=mdettweiler [2017-05-16 19:00:22] 843*2^1454096-1 is not prime. Res64: 3741F102E6834C6F Time : 0.0 sec. user=mdettweiler [2017-05-16 19:00:24] 857*2^1454096-1 is not prime. Res64: 7969AFF056D74BAA Time : 0.0 sec. user=mdettweiler [2017-05-16 19:00:26] 923*2^1454096-1 is not prime. Res64: 3050B186D440878F Time : 0.0 sec. user=mdettweiler [2017-05-16 19:00:27] 999*2^1454096-1 is not prime. Res64: AEBB90B7EDA3B5C1 Time : 0.0 sec. user=mdettweiler [2017-05-16 19:00:28] 727*2^1454097-1 is not prime. Res64: 603F47E13B1441FF Time : 0.0 sec. user=mdettweiler [2017-05-16 19:00:33] 777*2^1454097-1 is not prime. Res64: B12A3EEFB23E9B32 Time : 0.0 sec. user=mdettweiler [2017-05-16 19:00:34] 895*2^1454097-1 is not prime. Res64: C295B6461497AB1B Time : 0.0 sec. user=mdettweiler [2017-05-16 19:00:35] 999*2^1454097-1 is not prime. Res64: 49C6CFD7481E897D Time : 0.0 sec. user=mdettweiler [2017-05-16 19:00:36] 651*2^1454098-1 is not prime. Res64: E03B4B58D813A3D9 Time : 0.0 sec. user=mdettweiler [2017-05-16 19:00:39] 713*2^1454098-1 is not prime. Res64: DCC187370D849207 Time : 0.0 sec. user=mdettweiler [2017-05-16 19:06:04] 821*2^1454098-1 is not prime. Res64: B60CE436B7AE296C Time : 0.0 sec. user=mdettweiler [2017-05-16 19:06:06] 827*2^1454098-1 is not prime. Res64: 9AEC9B8BE47CF99C Time : 0.0 sec. user=mdettweiler [2017-05-16 19:06:07] 1001*2^1454098-1 is not prime. Res64: C99B60AACE7DAA21 Time : 0.0 sec. user=mdettweiler [2017-05-16 19:06:08] 685*2^1454099-1 is not prime. Res64: 8B5AFEE0077BD24E Time : 0.0 sec. user=mdettweiler [2017-05-16 19:06:09] 711*2^1454099-1 is not prime. Res64: D2CBE31A32425D6C Time : 0.0 sec. user=mdettweiler [2017-05-16 19:25:41] 735*2^1454099-1 is not prime. Res64: 0C380AFBA6ECD9E3 Time : 0.0 sec. user=mdettweiler [2017-05-16 19:25:42] 745*2^1454099-1 is not prime. Res64: 1F05A719F5718BC3 Time : 0.0 sec. user=mdettweiler [2017-05-16 19:25:42] 883*2^1454099-1 is not prime. Res64: 20B4A91D7480DE63 Time : 0.0 sec. user=mdettweiler [2017-05-16 19:25:42] 895*2^1454099-1 is not prime. Res64: A0AB801797A02AC8 Time : 0.0 sec. user=mdettweiler [2017-05-16 19:25:42] 633*2^1454100-1 is not prime. Res64: 84DB2BB445FAA3A7 Time : 0.0 sec. user=mdettweiler [2017-05-16 19:46:43] 647*2^1454100-1 is not prime. Res64: 39E983AB48FEE330 Time : 0.0 sec. user=mdettweiler [2017-05-16 19:46:43] 873*2^1454100-1 is not prime. Res64: 2A8F0CEADF5A6DED Time : 0.0 sec. user=mdettweiler [2017-05-16 19:46:44] 879*2^1454100-1 is not prime. Res64: 1915EE9060414DF8 Time : 0.0 sec. user=mdettweiler [2017-05-16 19:46:44] 905*2^1454100-1 is not prime. Res64: 55FB273DB0CE2147 Time : 0.0 sec. user=mdettweiler [2017-05-16 19:46:45] 959*2^1454100-1 is not prime. Res64: 8F432DC04351128E Time : 0.0 sec. user=mdettweiler [2017-05-16 19:46:48] 983*2^1454100-1 is not prime. Res64: 391C0255555B4AB9 Time : 0.0 sec. user=mdettweiler [2017-05-16 19:46:49] 607*2^1454101-1 is not prime. Res64: A8D6DE4494B2E55E Time : 0.0 sec. user=mdettweiler [2017-05-16 19:46:49] 651*2^1454101-1 is not prime. Res64: 8D0250D1C7AFF3E7 Time : 0.0 sec. user=mdettweiler [2017-05-16 19:46:50] 789*2^1454101-1 is not prime. Res64: DB9134C49796B5F8 Time : 0.0 sec. user=mdettweiler [2017-05-16 19:46:50] 961*2^1454101-1 is not prime. Res64: ED3D9F98C43E7B6C Time : 0.0 sec. user=mdettweiler [2017-05-16 19:52:19] 677*2^1454102-1 is not prime. Res64: 2F00E1907D04212B Time : 0.0 sec. user=mdettweiler [2017-05-16 19:52:19] 705*2^1454102-1 is not prime. Res64: 9436DA89A7CF3DBB Time : 0.0 sec. user=mdettweiler [2017-05-16 19:52:19] 743*2^1454102-1 is not prime. Res64: AF46C7C3C1BBCC2B Time : 0.0 sec. user=mdettweiler [2017-05-16 19:52:20] 797*2^1454102-1 is not prime. Res64: 2F979F788CA88930 Time : 0.0 sec. user=mdettweiler [2017-05-16 19:52:20] 873*2^1454102-1 is not prime. Res64: E688524F5ACF3EAF Time : 0.0 sec. user=mdettweiler [2017-05-16 20:11:36] 639*2^1454103-1 is not prime. Res64: DA266CF4707790C0 Time : 0.0 sec. user=mdettweiler [2017-05-16 20:11:37] 685*2^1454103-1 is not prime. Res64: DD6183E134405FDC Time : 0.0 sec. user=mdettweiler [2017-05-16 20:11:37] 739*2^1454103-1 is not prime. Res64: 16967FAEF6B755A1 Time : 0.0 sec. user=mdettweiler [2017-05-16 20:11:37] 783*2^1454103-1 is not prime. Res64: 29EE22AA73C91183 Time : 0.0 sec. user=mdettweiler [2017-05-16 20:11:38] 963*2^1454103-1 is not prime. Res64: 93A8EFDD3A4D1C18 Time : 0.0 sec. user=mdettweiler [2017-05-16 20:32:43] 995*2^1454104-1 is not prime. Res64: 1A849F09B656717E Time : 0.0 sec. user=mdettweiler [2017-05-16 20:32:43] 645*2^1454105-1 is not prime. Res64: ACB042393817D5F5 Time : 0.0 sec. user=mdettweiler [2017-05-16 20:32:44] 651*2^1454105-1 is not prime. Res64: 7342B8E1B9C29C6D Time : 0.0 sec. user=mdettweiler [2017-05-16 20:32:44] 675*2^1454105-1 is not prime. Res64: A17C34352BD89A1B Time : 0.0 sec. user=mdettweiler [2017-05-16 20:32:44] 727*2^1454105-1 is not prime. Res64: 2F3C443BB6209EEF Time : 0.0 sec. user=mdettweiler [2017-05-16 20:32:47] 789*2^1454105-1 is not prime. Res64: 0B810E28893C0521 Time : 0.0 sec. user=mdettweiler [2017-05-16 20:32:48] 805*2^1454105-1 is not prime. Res64: E90A29921165C6A2 Time : 0.0 sec. user=mdettweiler [2017-05-16 20:32:48] 861*2^1454105-1 is not prime. Res64: BF8FC3FC56556AD2 Time : 0.0 sec. user=mdettweiler [2017-05-16 20:32:48] 951*2^1454105-1 is not prime. Res64: F503F4AFF159FCB5 Time : 0.0 sec. user=mdettweiler [2017-05-16 20:32:49] 741*2^1454106-1 is not prime. Res64: 3028B56B1C98232F Time : 0.0 sec. user=juhehe [2017-05-16 20:33:26] 639*2^1454107-1 is not prime. Res64: 9AF825476E9435A7 Time : 0.0 sec. user=mdettweiler [2017-05-16 20:38:17] 837*2^1454106-1 is not prime. Res64: FE23146975604577 Time : 0.0 sec. user=mdettweiler [2017-05-16 20:38:17] 945*2^1454106-1 is not prime. Res64: C3AE1821CFB72A68 Time : 0.0 sec. user=mdettweiler [2017-05-16 20:38:17] 947*2^1454106-1 is not prime. Res64: B2189B600912342C Time : 0.0 sec. user=mdettweiler [2017-05-16 20:38:18] 971*2^1454106-1 is not prime. Res64: EEE912007612C478 Time : 0.0 sec. user=mdettweiler [2017-05-16 20:38:18] 619*2^1454107-1 is not prime. Res64: 9E8E19CD1D5F06CD Time : 0.0 sec. user=mdettweiler [2017-05-16 20:57:41] 741*2^1454107-1 is not prime. Res64: 3D0B3E0F6BCFDCBA Time : 0.0 sec. user=mdettweiler [2017-05-16 20:57:42] 861*2^1454107-1 is not prime. Res64: C2290B1D48B99004 Time : 0.0 sec. user=mdettweiler [2017-05-16 20:57:42] 885*2^1454107-1 is not prime. Res64: 716A98C13C31279A Time : 0.0 sec. user=mdettweiler [2017-05-16 20:57:42] 979*2^1454107-1 is not prime. Res64: CAA3F7873BCA07EF Time : 0.0 sec. user=mdettweiler [2017-05-16 20:57:43] 633*2^1454108-1 is not prime. Res64: D40E6642992D59D4 Time : 0.0 sec. user=mdettweiler [2017-05-16 21:18:53] 923*2^1454108-1 is not prime. Res64: B626BB752DED9C5D Time : 0.0 sec. user=mdettweiler [2017-05-16 21:18:53] 987*2^1454108-1 is not prime. Res64: F8230A4F0260FE26 Time : 0.0 sec. user=mdettweiler [2017-05-16 21:18:53] 627*2^1454109-1 is not prime. Res64: FA45A71EB7A2A009 Time : 0.0 sec. user=mdettweiler [2017-05-16 21:18:54] 669*2^1454109-1 is not prime. Res64: F76AFF8BC12B5EA4 Time : 0.0 sec. user=mdettweiler [2017-05-16 21:18:54] 829*2^1454109-1 is not prime. Res64: 01AD3EE8150AA615 Time : 0.0 sec. user=mdettweiler [2017-05-16 21:19:00] 687*2^1454108-1 is not prime. Res64: 452434641E14F334 Time : 0.0 sec. user=mdettweiler [2017-05-16 21:19:00] 743*2^1454108-1 is not prime. Res64: 8D84F428BEB9A794 Time : 0.0 sec. user=mdettweiler [2017-05-16 21:19:00] 845*2^1454108-1 is not prime. Res64: 28DBDBF654F784C8 Time : 0.0 sec. user=mdettweiler [2017-05-16 21:19:01] 875*2^1454108-1 is not prime. Res64: 64647B9D28E89345 Time : 0.0 sec. user=mdettweiler [2017-05-16 21:19:01] 885*2^1454108-1 is not prime. Res64: 25782B1CBCCB3B95 Time : 0.0 sec. user=mdettweiler [2017-05-16 21:24:25] 831*2^1454109-1 is not prime. Res64: 45E26727A5B530D2 Time : 0.0 sec. user=mdettweiler [2017-05-16 21:24:25] 919*2^1454109-1 is not prime. Res64: FA62DB9FDDD395E2 Time : 0.0 sec. user=mdettweiler [2017-05-16 21:24:26] 843*2^1454110-1 is not prime. Res64: 9120495A7CA107E9 Time : 0.0 sec. user=mdettweiler [2017-05-16 21:24:26] 965*2^1454110-1 is not prime. Res64: 52B3A345DA7F75F4 Time : 0.0 sec. user=mdettweiler [2017-05-16 21:24:27] 619*2^1454111-1 is not prime. Res64: CEAB3D21D0E50259 Time : 0.0 sec. user=mdettweiler [2017-05-16 21:43:47] 693*2^1454111-1 is not prime. Res64: 26D3C1B38A44D116 Time : 0.0 sec. user=mdettweiler [2017-05-16 21:43:47] 825*2^1454111-1 is not prime. Res64: ED31D93C3450B7FD Time : 0.0 sec. user=mdettweiler [2017-05-16 21:43:48] 859*2^1454111-1 is not prime. Res64: 23CC9702FA8376E8 Time : 0.0 sec. user=mdettweiler [2017-05-16 21:43:48] 979*2^1454111-1 is not prime. Res64: 329DFB92EA8BD121 Time : 0.0 sec. user=mdettweiler [2017-05-16 21:43:49] 765*2^1454112-1 is not prime. Res64: EF5194641048E442 Time : 0.0 sec. user=juhehe [2017-05-16 21:51:31] 809*2^1454112-1 is not prime. Res64: 5269B7B18CDC0523 Time : 0.0 sec. user=mdettweiler [2017-05-16 22:04:45] 879*2^1454112-1 is not prime. Res64: 8EF7229B9D99B642 Time : 0.0 sec. user=mdettweiler [2017-05-16 22:04:46] 915*2^1454112-1 is not prime. Res64: 9D63E5CC7FF245CC Time : 0.0 sec. user=mdettweiler [2017-05-16 22:04:48] 945*2^1454112-1 is not prime. Res64: D1286FFDA6D75D0B Time : 0.0 sec. user=mdettweiler [2017-05-16 22:04:49] 967*2^1454113-1 is not prime. Res64: 5996F8817FE8B895 Time : 0.0 sec. user=mdettweiler [2017-05-16 22:04:50] 999*2^1454113-1 is not prime. Res64: D6892377E89DE711 Time : 0.0 sec. user=mdettweiler [2017-05-16 22:05:18] 605*2^1454114-1 is not prime. Res64: AE1842F71F914323 Time : 0.0 sec. user=mdettweiler [2017-05-16 22:05:20] 615*2^1454114-1 is not prime. Res64: 6C06F6AC8DBD40F2 Time : 0.0 sec. user=mdettweiler [2017-05-16 22:05:23] 623*2^1454114-1 is not prime. Res64: 064E7FB04B2DCBFA Time : 0.0 sec. user=mdettweiler [2017-05-16 22:05:28] 741*2^1454114-1 is not prime. Res64: E14218E5847D4A4B Time : 0.0 sec. user=mdettweiler [2017-05-16 22:05:32] 791*2^1454114-1 is not prime. Res64: E635B390FEB0A5A5 Time : 0.0 sec. user=mdettweiler [2017-05-16 22:10:46] 833*2^1454114-1 is not prime. Res64: 7073F294E3377A8B Time : 0.0 sec. user=mdettweiler [2017-05-16 22:10:47] 885*2^1454114-1 is not prime. Res64: 69D14EAE8145FCB3 Time : 0.0 sec. user=mdettweiler [2017-05-16 22:10:47] 649*2^1454115-1 is not prime. Res64: 9492D23ED1CEFD87 Time : 0.0 sec. user=mdettweiler [2017-05-16 22:10:47] 651*2^1454115-1 is not prime. Res64: 70204C11DF0CB6A0 Time : 0.0 sec. user=mdettweiler [2017-05-16 22:10:48] 663*2^1454115-1 is not prime. Res64: 0FB826493B51B1B5 Time : 0.0 sec. user=mdettweiler [2017-05-16 22:29:54] 679*2^1454115-1 is not prime. Res64: A8F6132DAA30E38A Time : 0.0 sec. user=mdettweiler [2017-05-16 22:29:54] 691*2^1454115-1 is not prime. Res64: 9EE2B25FC34902C0 Time : 0.0 sec. user=mdettweiler [2017-05-16 22:29:55] 711*2^1454115-1 is not prime. Res64: B1AB5B19F4DF654D Time : 0.0 sec. user=mdettweiler [2017-05-16 22:29:55] 963*2^1454115-1 is not prime. Res64: 8738C10E47F884FD Time : 0.0 sec. user=mdettweiler [2017-05-16 22:29:55] 603*2^1454116-1 is not prime. Res64: A1646AE56B5B36B2 Time : 0.0 sec. user=mdettweiler [2017-05-16 22:51:13] 623*2^1454116-1 is not prime. Res64: AE2C60D6EB923FD8 Time : 0.0 sec. user=mdettweiler [2017-05-16 22:51:14] 705*2^1454116-1 is not prime. Res64: 7DD18A1C447287CA Time : 0.0 sec. user=mdettweiler [2017-05-16 22:51:14] 717*2^1454116-1 is not prime. Res64: ED08063AE00B5544 Time : 0.0 sec. user=mdettweiler [2017-05-16 22:51:14] 803*2^1454116-1 is not prime. Res64: FB41DB1F518DE15A Time : 0.0 sec. user=mdettweiler [2017-05-16 22:51:15] 989*2^1454116-1 is not prime. Res64: 6CE87B8E60134925 Time : 0.0 sec. user=mdettweiler [2017-05-16 22:51:46] 645*2^1454117-1 is not prime. Res64: 727D7423759E9B38 Time : 0.0 sec. user=mdettweiler [2017-05-16 22:51:47] 669*2^1454117-1 is not prime. Res64: EEDD0534C3066944 Time : 0.0 sec. user=mdettweiler [2017-05-16 22:51:47] 717*2^1454117-1 is not prime. Res64: A85805128C6FDEF9 Time : 0.0 sec. user=mdettweiler [2017-05-16 22:51:47] 729*2^1454117-1 is not prime. Res64: 7D8F4004D3F76953 Time : 0.0 sec. user=mdettweiler [2017-05-16 22:51:47] 757*2^1454117-1 is not prime. Res64: EACA7BB73CC19257 Time : 0.0 sec. user=juhehe [2017-05-16 22:54:19] 611*2^1454118-1 is not prime. Res64: 73FA892D507AF1DB Time : 0.0 sec. user=mdettweiler [2017-05-16 22:56:54] 771*2^1454117-1 is not prime. Res64: 7244DEB77DF24C05 Time : 0.0 sec. user=mdettweiler [2017-05-16 22:56:54] 871*2^1454117-1 is not prime. Res64: B667B0A838948EA2 Time : 0.0 sec. user=mdettweiler [2017-05-16 22:56:54] 885*2^1454117-1 is not prime. Res64: D2336288CAC4B2C7 Time : 0.0 sec. user=mdettweiler [2017-05-16 22:56:55] 927*2^1454117-1 is not prime. Res64: 5F1F28FDB91D72A7 Time : 0.0 sec. user=mdettweiler [2017-05-16 22:56:55] 981*2^1454117-1 is not prime. Res64: 4DAE6E20FA877707 Time : 0.0 sec. user=mdettweiler [2017-05-16 23:15:54] 725*2^1454118-1 is not prime. Res64: C4698F96B0D038B2 Time : 0.0 sec. user=mdettweiler [2017-05-16 23:15:55] 773*2^1454118-1 is not prime. Res64: 9C9E59B6C71E50AC Time : 0.0 sec. user=mdettweiler [2017-05-16 23:15:55] 821*2^1454118-1 is not prime. Res64: BB9C1E2B61A99F35 Time : 0.0 sec. user=mdettweiler [2017-05-16 23:15:55] 843*2^1454118-1 is not prime. Res64: 3205E5B5A97833F8 Time : 0.0 sec. user=mdettweiler [2017-05-16 23:15:56] 619*2^1454119-1 is not prime. Res64: 6F5DA66A5ED09AA5 Time : 0.0 sec. user=mdettweiler [2017-05-16 23:37:20] 675*2^1454119-1 is not prime. Res64: 5BAD2C0D54B2EFBA Time : 0.0 sec. user=mdettweiler [2017-05-16 23:37:20] 705*2^1454119-1 is not prime. Res64: AB5A954606B3A588 Time : 0.0 sec. user=mdettweiler [2017-05-16 23:37:20] 615*2^1454120-1 is not prime. Res64: D2A5542185953182 Time : 0.0 sec. user=mdettweiler [2017-05-16 23:37:21] 665*2^1454120-1 is not prime. Res64: C6DF441E940E9F6A Time : 0.0 sec. user=mdettweiler [2017-05-16 23:37:21] 725*2^1454120-1 is not prime. Res64: DD10A2A14D2D9E95 Time : 0.0 sec. user=mdettweiler [2017-05-16 23:37:47] 759*2^1454120-1 is not prime. Res64: 16D4F949C758824A Time : 0.0 sec. user=mdettweiler [2017-05-16 23:37:47] 819*2^1454120-1 is not prime. Res64: 6E96D3DEC2691676 Time : 0.0 sec. user=mdettweiler [2017-05-16 23:37:47] 923*2^1454120-1 is not prime. Res64: 7A164D6FAF924E2C Time : 0.0 sec. user=mdettweiler [2017-05-16 23:37:47] 661*2^1454121-1 is not prime. Res64: 1B0BC64B5095C93B Time : 0.0 sec. user=mdettweiler [2017-05-16 23:37:48] 691*2^1454121-1 is not prime. Res64: 2F3CA871514BD33D Time : 0.0 sec. user=mdettweiler [2017-05-16 23:42:58] 741*2^1454121-1 is not prime. Res64: 0E471D81B053DAA8 Time : 0.0 sec. user=mdettweiler [2017-05-16 23:42:59] 781*2^1454121-1 is not prime. Res64: 729D92B5ADBE1EF3 Time : 0.0 sec. user=mdettweiler [2017-05-16 23:42:59] 885*2^1454121-1 is not prime. Res64: D5C804AAAC7060FE Time : 0.0 sec. user=mdettweiler [2017-05-16 23:42:59] 937*2^1454121-1 is not prime. Res64: 191C6DAE1C5AC40E Time : 0.0 sec. user=mdettweiler [2017-05-16 23:43:00] 945*2^1454121-1 is not prime. Res64: 26BEBBA3E7804E02 Time : 0.0 sec. user=juhehe [2017-05-16 23:48:51] 633*2^1454122-1 is not prime. Res64: 7E7BB73F8482A3AF Time : 0.0 sec.