user=mdettweiler [2016-01-07 00:07:43] 603*2^1418780-1 is not prime. Res64: 2BF8140E7358F827 Time : 0.0 sec. user=mdettweiler [2016-01-07 00:07:44] 885*2^1418780-1 is not prime. Res64: 69508E2A8CB9BA4F Time : 0.0 sec. user=mdettweiler [2016-01-07 00:07:45] 827*2^1418780-1 is not prime. Res64: CF6F95FEB2EC42A8 Time : 0.0 sec. user=mdettweiler [2016-01-07 00:07:46] 893*2^1418780-1 is not prime. Res64: D1FDE6E8A2AF2858 Time : 0.0 sec. user=mdettweiler [2016-01-07 00:28:41] 929*2^1418780-1 is not prime. Res64: 9AFFD27A22AE2E18 Time : 0.0 sec. user=mdettweiler [2016-01-07 00:28:41] 963*2^1418780-1 is not prime. Res64: DDC23994D412DBBE Time : 0.0 sec. user=mdettweiler [2016-01-07 00:28:43] 977*2^1418780-1 is not prime. Res64: AC204DE9E8F553DC Time : 0.0 sec. user=mdettweiler [2016-01-07 00:28:43] 609*2^1418781-1 is not prime. Res64: 0E0FB0504398626F Time : 0.0 sec. user=mdettweiler [2016-01-07 00:46:38] 777*2^1418781-1 is not prime. Res64: F018C32D5E224089 Time : 0.0 sec. user=mdettweiler [2016-01-07 00:46:38] 889*2^1418781-1 is not prime. Res64: 9E390EE886C17EDD Time : 0.0 sec. user=mdettweiler [2016-01-07 00:46:39] 907*2^1418781-1 is not prime. Res64: 54F3DA0B5E8610A1 Time : 0.0 sec. user=mdettweiler [2016-01-07 00:46:39] 937*2^1418781-1 is not prime. Res64: 4102E71686B15E7B Time : 0.0 sec. user=mdettweiler [2016-01-07 01:04:21] 647*2^1418782-1 is not prime. Res64: C72B48160F1DECEC Time : 0.0 sec. user=mdettweiler [2016-01-07 01:04:22] 975*2^1418781-1 is not prime. Res64: BFD9975981CF5695 Time : 0.0 sec. user=mdettweiler [2016-01-07 01:04:22] 665*2^1418782-1 is not prime. Res64: E9887B14FD845CE9 Time : 0.0 sec. user=mdettweiler [2016-01-07 01:04:23] 979*2^1418781-1 is not prime. Res64: AC7C3C44364AF2A3 Time : 0.0 sec. user=mdettweiler [2016-01-07 01:22:33] 777*2^1418782-1 is not prime. Res64: 921F03974F4CA934 Time : 0.0 sec. user=mdettweiler [2016-01-07 01:22:33] 945*2^1418782-1 is not prime. Res64: D797AB17BC57BF8B Time : 0.0 sec. user=mdettweiler [2016-01-07 01:22:33] 923*2^1418782-1 is not prime. Res64: 5B986B263700E1BF Time : 0.0 sec. user=mdettweiler [2016-01-07 01:22:33] 663*2^1418783-1 is not prime. Res64: 5A280E5305030C7F Time : 0.0 sec. user=mdettweiler [2016-01-07 01:40:09] 705*2^1418783-1 is not prime. Res64: 5734B31BD35E0AA6 Time : 0.0 sec. user=mdettweiler [2016-01-07 01:40:10] 741*2^1418783-1 is not prime. Res64: 0453EE87036B13DF Time : 0.0 sec. user=mdettweiler [2016-01-07 01:40:10] 753*2^1418783-1 is not prime. Res64: 3533B39969025C16 Time : 0.0 sec. user=mdettweiler [2016-01-07 01:40:10] 885*2^1418783-1 is not prime. Res64: C3CA9426BE95C246 Time : 0.0 sec. user=mdettweiler [2016-01-07 01:57:45] 623*2^1418784-1 is not prime. Res64: DB977764C0A0B887 Time : 0.0 sec. user=mdettweiler [2016-01-07 01:57:46] 629*2^1418784-1 is not prime. Res64: C9336345083B3252 Time : 0.0 sec. user=mdettweiler [2016-01-07 01:57:46] 635*2^1418784-1 is not prime. Res64: 618E04058AE2AA5B Time : 0.0 sec. user=mdettweiler [2016-01-07 01:57:46] 737*2^1418784-1 is not prime. Res64: 01612D0EFBC40CAF Time : 0.0 sec. user=mdettweiler [2016-01-07 02:15:19] 815*2^1418784-1 is not prime. Res64: E99AF00C0649859B Time : 0.0 sec. user=mdettweiler [2016-01-07 02:15:19] 993*2^1418784-1 is not prime. Res64: 13CF982C82E1A6E3 Time : 0.0 sec. user=mdettweiler [2016-01-07 02:15:20] 843*2^1418784-1 is not prime. Res64: AD6ADF5A352A43B2 Time : 0.0 sec. user=mdettweiler [2016-01-07 02:15:20] 877*2^1418785-1 is not prime. Res64: 5E53FF88D7C71975 Time : 0.0 sec. user=mdettweiler [2016-01-07 02:32:54] 955*2^1418785-1 is not prime. Res64: 9CB0EBC3DCAB1BA7 Time : 0.0 sec. user=mdettweiler [2016-01-07 02:32:54] 615*2^1418786-1 is not prime. Res64: 7B098A70CD4BF4E2 Time : 0.0 sec. user=mdettweiler [2016-01-07 02:32:55] 985*2^1418785-1 is not prime. Res64: 27BC2A85410FD94C Time : 0.0 sec. user=mdettweiler [2016-01-07 02:32:55] 641*2^1418786-1 is not prime. Res64: A8B395ADEBD92709 Time : 0.0 sec. user=mdettweiler [2016-01-07 02:50:30] 827*2^1418786-1 is not prime. Res64: C4760CD5876B2FD5 Time : 0.0 sec. user=mdettweiler [2016-01-07 02:50:30] 851*2^1418786-1 is not prime. Res64: CC366C24B25C2322 Time : 0.0 sec. user=mdettweiler [2016-01-07 02:50:31] 783*2^1418786-1 is not prime. Res64: 9C553F62A7B60E3B Time : 0.0 sec. user=mdettweiler [2016-01-07 02:50:32] 825*2^1418786-1 is not prime. Res64: 0CE35408DC16D14F Time : 0.0 sec. user=mdettweiler [2016-01-07 03:08:05] 887*2^1418786-1 is not prime. Res64: 1DC64BA4075E1B0B Time : 0.0 sec. user=mdettweiler [2016-01-07 03:08:05] 981*2^1418786-1 is not prime. Res64: B373461F15B05833 Time : 0.0 sec. user=mdettweiler [2016-01-07 03:08:06] 643*2^1418787-1 is not prime. Res64: A3E699A831CD0D97 Time : 0.0 sec. user=mdettweiler [2016-01-07 03:08:06] 935*2^1418786-1 is not prime. Res64: 579918C75A31777E Time : 0.0 sec. user=mdettweiler [2016-01-07 03:25:46] 801*2^1418787-1 is not prime. Res64: EE4263E6844D3C56 Time : 0.0 sec. user=mdettweiler [2016-01-07 03:25:47] 979*2^1418787-1 is not prime. Res64: FC8E8F288959492A Time : 0.0 sec. user=mdettweiler [2016-01-07 03:25:47] 647*2^1418788-1 is not prime. Res64: 98D45F68EEEAD443 Time : 0.0 sec. user=mdettweiler [2016-01-07 03:25:47] 945*2^1418787-1 is not prime. Res64: 48DCDC7CDA05B715 Time : 0.0 sec. user=mdettweiler [2016-01-07 03:43:32] 665*2^1418788-1 is not prime. Res64: 606B68BE3C04AB5D Time : 0.0 sec. user=mdettweiler [2016-01-07 03:43:34] 699*2^1418788-1 is not prime. Res64: 9855EF212F757539 Time : 0.0 sec. user=mdettweiler [2016-01-07 03:43:35] 797*2^1418788-1 is not prime. Res64: CE870F73373DC8F9 Time : 0.0 sec. user=mdettweiler [2016-01-07 03:43:37] 843*2^1418788-1 is not prime. Res64: 0CEB539EE5B60372 Time : 0.0 sec. user=mdettweiler [2016-01-07 04:01:25] 863*2^1418788-1 is not prime. Res64: 01979A8708DA7472 Time : 0.0 sec. user=mdettweiler [2016-01-07 04:01:27] 645*2^1418789-1 is not prime. Res64: 9304734ED519E3D6 Time : 0.0 sec. user=mdettweiler [2016-01-07 04:01:27] 999*2^1418788-1 is not prime. Res64: A56C5331D82BB22F Time : 0.0 sec. user=mdettweiler [2016-01-07 04:01:28] 675*2^1418789-1 is not prime. Res64: 9579E7FB6EDD3652 Time : 0.0 sec. user=mdettweiler [2016-01-07 04:19:22] 865*2^1418789-1 is not prime. Res64: A9A3312BD4514BA8 Time : 0.0 sec. user=mdettweiler [2016-01-07 04:19:22] 789*2^1418789-1 is not prime. Res64: 047873BED6790264 Time : 0.0 sec. user=mdettweiler [2016-01-07 04:19:23] 611*2^1418790-1 is not prime. Res64: 477182F8E5A8C4C7 Time : 0.0 sec. user=mdettweiler [2016-01-07 04:19:23] 819*2^1418789-1 is not prime. Res64: 584BF6E06230FE7A Time : 0.0 sec. user=mdettweiler [2016-01-07 04:37:02] 755*2^1418790-1 is not prime. Res64: 0A2BCDEFAE27818D Time : 0.0 sec. user=mdettweiler [2016-01-07 04:37:03] 833*2^1418790-1 is not prime. Res64: 8A141C321556DEBA Time : 0.0 sec. user=mdettweiler [2016-01-07 04:37:05] 891*2^1418790-1 is not prime. Res64: 5CC2BDDFA92CB771 Time : 0.0 sec. user=mdettweiler [2016-01-07 04:37:06] 927*2^1418790-1 is not prime. Res64: 4297805ADDB03E65 Time : 0.0 sec. user=mdettweiler [2016-01-07 04:54:44] 977*2^1418790-1 is not prime. Res64: 8D30E5CC8554C0B9 Time : 0.0 sec. user=mdettweiler [2016-01-07 04:54:45] 855*2^1418791-1 is not prime. Res64: EAFFC548BA87D405 Time : 0.0 sec. user=mdettweiler [2016-01-07 04:54:45] 675*2^1418791-1 is not prime. Res64: 7EFE024E7DB0FA27 Time : 0.0 sec. user=mdettweiler [2016-01-07 04:54:45] 961*2^1418791-1 is not prime. Res64: 5B4831E082E903DA Time : 0.0 sec. user=mdettweiler [2016-01-07 05:12:26] 677*2^1418792-1 is not prime. Res64: 2AA03C70CE85288E Time : 0.0 sec. user=mdettweiler [2016-01-07 05:12:27] 759*2^1418792-1 is not prime. Res64: 182C4FE9B0FF8708 Time : 0.0 sec. user=mdettweiler [2016-01-07 05:12:27] 827*2^1418792-1 is not prime. Res64: 0591FC0A88534C56 Time : 0.0 sec. user=mdettweiler [2016-01-07 05:12:28] 675*2^1418793-1 is not prime. Res64: 206B8A3A77896ED1 Time : 0.0 sec. user=mdettweiler [2016-01-07 05:30:14] 745*2^1418793-1 is not prime. Res64: 685541447116A332 Time : 0.0 sec. user=mdettweiler [2016-01-07 05:30:14] 789*2^1418793-1 is not prime. Res64: A08F751174025DBC Time : 0.0 sec. user=mdettweiler [2016-01-07 05:30:15] 747*2^1418793-1 is not prime. Res64: 9650CC284DB77E75 Time : 0.0 sec. user=mdettweiler [2016-01-07 05:30:15] 871*2^1418793-1 is not prime. Res64: A41DBA73FA556A16 Time : 0.0 sec. user=mdettweiler [2016-01-07 05:47:58] 895*2^1418793-1 is not prime. Res64: 199FCBAAD9E73094 Time : 0.0 sec. user=mdettweiler [2016-01-07 05:47:59] 695*2^1418794-1 is not prime. Res64: CBCC077790090BEA Time : 0.0 sec. user=mdettweiler [2016-01-07 05:47:59] 945*2^1418793-1 is not prime. Res64: 9D4BEB0AE1E2475D Time : 0.0 sec. user=mdettweiler [2016-01-07 05:48:00] 975*2^1418794-1 is not prime. Res64: 6C0554B24D783511 Time : 0.0 sec. user=mdettweiler [2016-01-07 06:05:41] 669*2^1418795-1 is not prime. Res64: 2037187BB7A9B3C6 Time : 0.0 sec. user=mdettweiler [2016-01-07 06:05:41] 733*2^1418795-1 is not prime. Res64: AB3EEC5BAAD48D0B Time : 0.0 sec. user=mdettweiler [2016-01-07 06:05:43] 673*2^1418795-1 is not prime. Res64: EBE6B437D9465F18 Time : 0.0 sec. user=mdettweiler [2016-01-07 06:05:44] 921*2^1418795-1 is not prime. Res64: E7F607D81D71D679 Time : 0.0 sec. user=mdettweiler [2016-01-07 06:23:45] 717*2^1418796-1 is not prime. Res64: 70A009514A5BA3D4 Time : 0.0 sec. user=mdettweiler [2016-01-07 06:23:45] 943*2^1418795-1 is not prime. Res64: 319E6C2D2CC6DF51 Time : 0.0 sec. user=mdettweiler [2016-01-07 06:23:46] 749*2^1418796-1 is not prime. Res64: 24C692F8D1807A95 Time : 0.0 sec. user=mdettweiler [2016-01-07 06:23:46] 969*2^1418795-1 is not prime. Res64: 9B574C5B7A81BEFE Time : 0.0 sec. user=mdettweiler [2016-01-07 06:41:24] 987*2^1418796-1 is not prime. Res64: 6CB2C6471175750F Time : 0.0 sec. user=mdettweiler [2016-01-07 06:41:25] 783*2^1418796-1 is not prime. Res64: EB544827C0AC51E8 Time : 0.0 sec. user=mdettweiler [2016-01-07 06:41:25] 993*2^1418796-1 is not prime. Res64: B06E966537C92CED Time : 0.0 sec. user=mdettweiler [2016-01-07 06:41:26] 843*2^1418796-1 is not prime. Res64: F5C0814B2CED3139 Time : 0.0 sec. user=mdettweiler [2016-01-07 06:59:12] 831*2^1418797-1 is not prime. Res64: 20E4BF343357F7D8 Time : 0.0 sec. user=mdettweiler [2016-01-07 06:59:13] 889*2^1418797-1 is not prime. Res64: E95C4F2AD9426126 Time : 0.0 sec. user=mdettweiler [2016-01-07 06:59:13] 757*2^1418797-1 is not prime. Res64: 25E5899494B42A63 Time : 0.0 sec. user=mdettweiler [2016-01-07 06:59:14] 829*2^1418797-1 is not prime. Res64: 2AA88B03FE8C3400 Time : 0.0 sec. user=mdettweiler [2016-01-07 07:16:51] 931*2^1418797-1 is not prime. Res64: 886D6933D9122C72 Time : 0.0 sec. user=mdettweiler [2016-01-07 07:16:52] 939*2^1418797-1 is not prime. Res64: 4FC8AB6BE866D8D7 Time : 0.0 sec. user=mdettweiler [2016-01-07 07:16:54] 961*2^1418797-1 is not prime. Res64: 3CBAFD764DC24599 Time : 0.0 sec. user=mdettweiler [2016-01-07 07:16:55] 617*2^1418798-1 is not prime. Res64: C957D76D07D27046 Time : 0.0 sec. user=mdettweiler [2016-01-07 07:34:34] 623*2^1418798-1 is not prime. Res64: 552532C2E1635119 Time : 0.0 sec. user=mdettweiler [2016-01-07 07:34:34] 671*2^1418798-1 is not prime. Res64: 9DEA630E8F2783F2 Time : 0.0 sec. user=mdettweiler [2016-01-07 07:34:35] 645*2^1418798-1 is not prime. Res64: A7D4C3C92D59BD21 Time : 0.0 sec. user=mdettweiler [2016-01-07 07:34:35] 893*2^1418798-1 is not prime. Res64: 14C2C4CB0D6DD1B2 Time : 0.0 sec. user=mdettweiler [2016-01-07 07:52:15] 751*2^1418799-1 is not prime. Res64: 4AB556FE23A7B6E3 Time : 0.0 sec. user=mdettweiler [2016-01-07 07:52:15] 789*2^1418799-1 is not prime. Res64: 4C2090A23D8B0282 Time : 0.0 sec. user=mdettweiler [2016-01-07 07:52:16] 685*2^1418799-1 is not prime. Res64: 7001791C85342F9E Time : 0.0 sec. user=mdettweiler [2016-01-07 07:52:17] 711*2^1418799-1 is not prime. Res64: B044FAE76E5D0977 Time : 0.0 sec. user=mdettweiler [2016-01-07 08:09:54] 603*2^1418800-1 is not prime. Res64: 8CA06EBA50B93BB2 Time : 0.0 sec. user=mdettweiler [2016-01-07 08:09:55] 743*2^1418800-1 is not prime. Res64: 18E82418FB824F94 Time : 0.0 sec. user=mdettweiler [2016-01-07 08:09:59] 777*2^1418800-1 is not prime. Res64: D3D315AEF40F3800 Time : 0.0 sec. user=mdettweiler [2016-01-07 08:10:01] 833*2^1418800-1 is not prime. Res64: AA0FD1491677D9B4 Time : 0.0 sec. user=mdettweiler [2016-01-07 08:27:39] 863*2^1418800-1 is not prime. Res64: AA953A86D8495623 Time : 0.0 sec. user=mdettweiler [2016-01-07 08:27:40] 995*2^1418800-1 is not prime. Res64: 9FD25E4DF38D924C Time : 0.0 sec. user=mdettweiler [2016-01-07 08:27:42] 999*2^1418800-1 is not prime. Res64: 7F218DEBF24AE9DB Time : 0.0 sec. user=mdettweiler [2016-01-07 08:27:43] 601*2^1418801-1 is not prime. Res64: B70DF748E4660F4D Time : 0.0 sec. user=mdettweiler [2016-01-07 08:45:21] 735*2^1418801-1 is not prime. Res64: AAD1164527E3A57D Time : 0.0 sec. user=mdettweiler [2016-01-07 08:45:22] 615*2^1418801-1 is not prime. Res64: DD6FB5906F92B684 Time : 0.0 sec. user=mdettweiler [2016-01-07 08:45:22] 777*2^1418801-1 is not prime. Res64: 279211BB2D0DAFB2 Time : 0.0 sec. user=mdettweiler [2016-01-07 08:45:23] 675*2^1418801-1 is not prime. Res64: 703909B7968DA0CC Time : 0.0 sec. user=mdettweiler [2016-01-07 09:03:00] 967*2^1418801-1 is not prime. Res64: E59BBB333B1E2426 Time : 0.0 sec. user=mdettweiler [2016-01-07 09:03:01] 987*2^1418801-1 is not prime. Res64: 9140EDFC83917C66 Time : 0.0 sec. user=mdettweiler [2016-01-07 09:03:03] 871*2^1418801-1 is not prime. Res64: 2DD2BC4C37D845C6 Time : 0.0 sec. user=mdettweiler [2016-01-07 09:03:04] 949*2^1418801-1 is not prime. Res64: 6689C14088ECCC3A Time : 0.0 sec. user=mdettweiler [2016-01-07 09:20:53] 621*2^1418802-1 is not prime. Res64: 1C3D3E3BB6B4D431 Time : 0.0 sec. user=mdettweiler [2016-01-07 09:20:53] 681*2^1418802-1 is not prime. Res64: 5346DF1D6798E3A9 Time : 0.0 sec. user=mdettweiler [2016-01-07 09:20:54] 705*2^1418802-1 is not prime. Res64: 3A690962DDF601DA Time : 0.0 sec. user=mdettweiler [2016-01-07 09:20:55] 741*2^1418802-1 is not prime. Res64: 81177423D0C19AF9 Time : 0.0 sec. user=mdettweiler [2016-01-07 09:38:26] 755*2^1418802-1 is not prime. Res64: D92E08115A626934 Time : 0.0 sec. user=mdettweiler [2016-01-07 09:38:26] 945*2^1418802-1 is not prime. Res64: D979197969D7818A Time : 0.0 sec. user=mdettweiler [2016-01-07 09:38:27] 835*2^1418803-1 is not prime. Res64: 9C06688D8D7475CE Time : 0.0 sec. user=mdettweiler [2016-01-07 09:38:27] 859*2^1418803-1 is not prime. Res64: E9EDDEC95A04B1D2 Time : 0.0 sec. user=mdettweiler [2016-01-07 09:55:59] 605*2^1418804-1 is not prime. Res64: 163E4818D3CD9AB0 Time : 0.0 sec. user=mdettweiler [2016-01-07 09:55:59] 623*2^1418804-1 is not prime. Res64: 1CBFE0ABE0AF296D Time : 0.0 sec. user=mdettweiler [2016-01-07 09:56:01] 873*2^1418803-1 is not prime. Res64: 555E61BE53372435 Time : 0.0 sec. user=mdettweiler [2016-01-07 09:56:01] 943*2^1418803-1 is not prime. Res64: 291189443BA057E0 Time : 0.0 sec. user=mdettweiler [2016-01-07 10:13:32] 665*2^1418804-1 is not prime. Res64: 0D9B2E151698F011 Time : 0.0 sec. user=mdettweiler [2016-01-07 10:13:33] 689*2^1418804-1 is not prime. Res64: 2A41A51FB80247F2 Time : 0.0 sec. user=mdettweiler [2016-01-07 10:13:33] 945*2^1418804-1 is not prime. Res64: EDE89049006CE130 Time : 0.0 sec. user=mdettweiler [2016-01-07 10:13:34] 655*2^1418805-1 is not prime. Res64: 4D83F79EDC220A06 Time : 0.0 sec. user=mdettweiler [2016-01-07 10:31:06] 657*2^1418805-1 is not prime. Res64: 7952A301D4735970 Time : 0.0 sec. user=mdettweiler [2016-01-07 10:31:06] 927*2^1418805-1 is not prime. Res64: 4108452814EBAC41 Time : 0.0 sec. user=mdettweiler [2016-01-07 10:31:07] 999*2^1418805-1 is not prime. Res64: 79C23DF780F32EF4 Time : 0.0 sec. user=mdettweiler [2016-01-07 10:31:07] 651*2^1418806-1 is not prime. Res64: 88BEC6A108295C34 Time : 0.0 sec. user=mdettweiler [2016-01-07 10:48:39] 843*2^1418806-1 is not prime. Res64: 6059C74F6527B18A Time : 0.0 sec. user=mdettweiler [2016-01-07 10:48:40] 761*2^1418806-1 is not prime. Res64: 63D23D2A7A1B1AD3 Time : 0.0 sec. user=mdettweiler [2016-01-07 10:48:40] 983*2^1418806-1 is not prime. Res64: DA83D2D7BD9FDCEB Time : 0.0 sec. user=mdettweiler [2016-01-07 10:48:40] 783*2^1418806-1 is not prime. Res64: 5DB18352C49DBE4F Time : 0.0 sec. user=mdettweiler [2016-01-07 11:06:13] 729*2^1418807-1 is not prime. Res64: 5E908439818814FE Time : 0.0 sec. user=mdettweiler [2016-01-07 11:06:13] 675*2^1418807-1 is not prime. Res64: 4C685F88AAB75A20 Time : 0.0 sec. user=mdettweiler [2016-01-07 11:06:14] 859*2^1418807-1 is not prime. Res64: 3A00D8F54F5A7BDB Time : 0.0 sec. user=mdettweiler [2016-01-07 11:06:14] 693*2^1418807-1 is not prime. Res64: 892BE27F9505B06A Time : 0.0 sec. user=mdettweiler [2016-01-07 11:23:51] 861*2^1418807-1 is not prime. Res64: 5593E1B853792EC2 Time : 0.0 sec. user=mdettweiler [2016-01-07 11:23:51] 895*2^1418807-1 is not prime. Res64: 2D98C38F6421A7F1 Time : 0.0 sec. user=mdettweiler [2016-01-07 11:23:54] 909*2^1418807-1 is not prime. Res64: BEB4134AB0D58185 Time : 0.0 sec. user=mdettweiler [2016-01-07 11:23:54] 979*2^1418807-1 is not prime. Res64: 05DE7678274B70E7 Time : 0.0 sec. user=mdettweiler [2016-01-07 11:41:24] 657*2^1418808-1 is not prime. Res64: 500C3C66CF707DBB Time : 0.0 sec. user=mdettweiler [2016-01-07 11:41:24] 737*2^1418808-1 is not prime. Res64: B2EFB6D7F4612831 Time : 0.0 sec. user=mdettweiler [2016-01-07 11:41:26] 959*2^1418808-1 is not prime. Res64: 3622966812AB334C Time : 0.0 sec. user=mdettweiler [2016-01-07 11:41:26] 999*2^1418808-1 is not prime. Res64: 13179F13F7F0B130 Time : 0.0 sec. user=mdettweiler [2016-01-07 11:58:57] 675*2^1418809-1 is not prime. Res64: 776B9B76B1F22C9A Time : 0.0 sec. user=mdettweiler [2016-01-07 11:58:57] 931*2^1418809-1 is not prime. Res64: 2F849CC6475F82C8 Time : 0.0 sec. user=mdettweiler [2016-01-07 11:58:58] 691*2^1418809-1 is not prime. Res64: 18F5581D60DCA229 Time : 0.0 sec. user=mdettweiler [2016-01-07 11:58:58] 951*2^1418809-1 is not prime. Res64: EBD3A6D8D2194667 Time : 0.0 sec. user=mdettweiler [2016-01-07 12:16:30] 783*2^1418810-1 is not prime. Res64: 1161EC932BE4AF7A Time : 0.0 sec. user=mdettweiler [2016-01-07 12:16:31] 665*2^1418810-1 is not prime. Res64: B7C3359384B1A1D3 Time : 0.0 sec. user=mdettweiler [2016-01-07 12:16:31] 785*2^1418810-1 is not prime. Res64: 701C851A26A47659 Time : 0.0 sec. user=mdettweiler [2016-01-07 12:16:31] 743*2^1418810-1 is not prime. Res64: 3608F1E39814EDBB Time : 0.0 sec. user=mdettweiler [2016-01-07 12:34:03] 861*2^1418810-1 is not prime. Res64: 77DA42B02191776F Time : 0.0 sec. user=mdettweiler [2016-01-07 12:34:03] 835*2^1418811-1 is not prime. Res64: DB34CD75581BE2AB Time : 0.0 sec. user=mdettweiler [2016-01-07 12:34:04] 801*2^1418810-1 is not prime. Res64: 2892C6B46D8FA362 Time : 0.0 sec. user=mdettweiler [2016-01-07 12:34:04] 845*2^1418810-1 is not prime. Res64: A4E25E84F4DDE806 Time : 0.0 sec. user=mdettweiler [2016-01-07 12:51:36] 871*2^1418811-1 is not prime. Res64: 51AEE2889743FCB9 Time : 0.0 sec. user=mdettweiler [2016-01-07 12:51:36] 609*2^1418812-1 is not prime. Res64: 8B14DA2DA8ABA497 Time : 0.0 sec. user=mdettweiler [2016-01-07 12:51:37] 695*2^1418812-1 is not prime. Res64: E5476D752CB95787 Time : 0.0 sec. user=mdettweiler [2016-01-07 12:51:37] 719*2^1418812-1 is not prime. Res64: BCB84715F4281D82 Time : 0.0 sec. user=mdettweiler [2016-01-07 13:09:09] 813*2^1418812-1 is not prime. Res64: D85E88DF1A35B996 Time : 0.0 sec. user=mdettweiler [2016-01-07 13:09:10] 903*2^1418812-1 is not prime. Res64: 41F54178985B950A Time : 0.0 sec. user=mdettweiler [2016-01-07 13:09:10] 875*2^1418812-1 is not prime. Res64: D8F990D9C1BF9000 Time : 0.0 sec. user=mdettweiler [2016-01-07 13:09:10] 987*2^1418812-1 is not prime. Res64: D33768D768C328A9 Time : 0.0 sec. user=mdettweiler [2016-01-07 13:26:43] 631*2^1418813-1 is not prime. Res64: E46C717E217942AA Time : 0.0 sec. user=mdettweiler [2016-01-07 13:26:44] 727*2^1418813-1 is not prime. Res64: E730797E82577F1A Time : 0.0 sec. user=mdettweiler [2016-01-07 13:26:45] 745*2^1418813-1 is not prime. Res64: F9DDEFC2BFCB358D Time : 0.0 sec. user=mdettweiler [2016-01-07 13:26:45] 757*2^1418813-1 is not prime. Res64: ED5C4DCB2DC01D02 Time : 0.0 sec. user=mdettweiler [2016-01-07 13:44:17] 941*2^1418814-1 is not prime. Res64: F8FF62BCFC7EFD4F Time : 0.0 sec. user=mdettweiler [2016-01-07 13:44:17] 983*2^1418814-1 is not prime. Res64: 0524E961E70CDF00 Time : 0.0 sec. user=mdettweiler [2016-01-07 13:44:17] 861*2^1418815-1 is not prime. Res64: 50FBCF7AB0214205 Time : 0.0 sec. user=mdettweiler [2016-01-07 13:44:18] 873*2^1418815-1 is not prime. Res64: E0459E561D70BD5C Time : 0.0 sec. user=mdettweiler [2016-01-07 14:01:50] 609*2^1418817-1 is not prime. Res64: 2C92071EB1B0762B Time : 0.0 sec. user=mdettweiler [2016-01-07 14:01:50] 973*2^1418815-1 is not prime. Res64: 9FA2A02B5C85B283 Time : 0.0 sec. user=mdettweiler [2016-01-07 14:01:51] 805*2^1418817-1 is not prime. Res64: 231907EB14D4126F Time : 0.0 sec. user=mdettweiler [2016-01-07 14:01:52] 683*2^1418816-1 is not prime. Res64: 1FE4D45857AB9BC5 Time : 0.0 sec. user=mdettweiler [2016-01-07 14:19:51] 847*2^1418817-1 is not prime. Res64: 4C0F2B2005DF73CB Time : 0.0 sec. user=mdettweiler [2016-01-07 14:19:51] 871*2^1418817-1 is not prime. Res64: A9C0060E08855E5B Time : 0.0 sec. user=mdettweiler [2016-01-07 14:19:52] 915*2^1418817-1 is not prime. Res64: 9097029CED2ADA70 Time : 0.0 sec. user=mdettweiler [2016-01-07 14:19:52] 919*2^1418817-1 is not prime. Res64: CC87E3B4ABB67D96 Time : 0.0 sec. user=mdettweiler [2016-01-07 14:37:36] 937*2^1418817-1 is not prime. Res64: 533CD682B34BB745 Time : 0.0 sec. user=mdettweiler [2016-01-07 14:37:36] 665*2^1418818-1 is not prime. Res64: 131A9F3FB21941B3 Time : 0.0 sec. user=mdettweiler [2016-01-07 14:37:37] 605*2^1418818-1 is not prime. Res64: A8A8D41472CF2E26 Time : 0.0 sec. user=mdettweiler [2016-01-07 14:37:37] 891*2^1418818-1 is not prime. Res64: 98D09B9890B8F470 Time : 0.0 sec. user=mdettweiler [2016-01-07 14:55:12] 945*2^1418818-1 is not prime. Res64: F273C4378F38B9B9 Time : 0.0 sec. user=mdettweiler [2016-01-07 14:55:13] 971*2^1418818-1 is not prime. Res64: 2E5AE59704BA7E70 Time : 0.0 sec. user=mdettweiler [2016-01-07 14:55:13] 615*2^1418819-1 is not prime. Res64: 829CFE54F5FCB5C6 Time : 0.0 sec. user=mdettweiler [2016-01-07 14:55:14] 675*2^1418819-1 is not prime. Res64: 1B1C5672C1A62CB1 Time : 0.0 sec. user=mdettweiler [2016-01-07 15:13:06] 693*2^1418819-1 is not prime. Res64: 0E2200A29A11EFD1 Time : 0.0 sec. user=mdettweiler [2016-01-07 15:13:06] 771*2^1418819-1 is not prime. Res64: 529B26465B026504 Time : 0.0 sec. user=mdettweiler [2016-01-07 15:13:08] 811*2^1418819-1 is not prime. Res64: C24C58192B481487 Time : 0.0 sec. user=mdettweiler [2016-01-07 15:13:09] 825*2^1418819-1 is not prime. Res64: 3ED3921B2D6192BF Time : 0.0 sec. user=mdettweiler [2016-01-07 15:30:51] 913*2^1418819-1 is not prime. Res64: 79F2D509338013FF Time : 0.0 sec. user=mdettweiler [2016-01-07 15:30:52] 985*2^1418819-1 is not prime. Res64: DC911CA4892DF036 Time : 0.0 sec. user=mdettweiler [2016-01-07 15:30:53] 719*2^1418820-1 is not prime. Res64: EC24E212AEE30F3E Time : 0.0 sec. user=mdettweiler [2016-01-07 15:30:53] 915*2^1418820-1 is not prime. Res64: 0F237DB1A3572630 Time : 0.0 sec. user=mdettweiler [2016-01-07 15:49:41] 685*2^1418821-1 is not prime. Res64: 93C9C6935F2CE1FC Time : 0.0 sec. user=mdettweiler [2016-01-07 15:49:42] 877*2^1418821-1 is not prime. Res64: 41D8218ECEF12492 Time : 0.0 sec. user=mdettweiler [2016-01-07 15:49:42] 927*2^1418820-1 is not prime. Res64: C900B72C2D2E8F29 Time : 0.0 sec. user=mdettweiler [2016-01-07 15:49:42] 651*2^1418821-1 is not prime. Res64: 7D6942F574353549 Time : 0.0 sec. user=mdettweiler [2016-01-07 16:09:53] 937*2^1418821-1 is not prime. Res64: F4F993E47D002366 Time : 0.0 sec. user=mdettweiler [2016-01-07 16:09:54] 785*2^1418822-1 is not prime. Res64: 8DF1B68DAF3FC646 Time : 0.0 sec. user=mdettweiler [2016-01-07 16:09:55] 797*2^1418822-1 is not prime. Res64: FD49282C95DB3ED9 Time : 0.0 sec. user=mdettweiler [2016-01-07 16:09:56] 801*2^1418822-1 is not prime. Res64: 556AB9BB25079A8C Time : 0.0 sec. user=mdettweiler [2016-01-07 16:27:59] 843*2^1418822-1 is not prime. Res64: 859DEF7CE23CE0A7 Time : 0.0 sec. user=mdettweiler [2016-01-07 16:27:59] 825*2^1418822-1 is not prime. Res64: 69F4A8442C17E746 Time : 0.0 sec. user=mdettweiler [2016-01-07 16:28:00] 867*2^1418822-1 is not prime. Res64: 22B1167C4F8B55FD Time : 0.0 sec. user=mdettweiler [2016-01-07 16:28:00] 831*2^1418822-1 is not prime. Res64: 2CD956C6ABFEF91A Time : 0.0 sec. user=mdettweiler [2016-01-07 16:45:32] 921*2^1418822-1 is not prime. Res64: 2553E26144C55471 Time : 0.0 sec. user=mdettweiler [2016-01-07 16:45:32] 935*2^1418822-1 is not prime. Res64: 37241CC4157533BB Time : 0.0 sec. user=mdettweiler [2016-01-07 16:45:32] 893*2^1418822-1 is not prime. Res64: 79CFEA9D6F45CECF Time : 0.0 sec. user=mdettweiler [2016-01-07 16:45:33] 911*2^1418822-1 is not prime. Res64: 5E30D381172A1630 Time : 0.0 sec. user=mdettweiler [2016-01-07 17:03:06] 957*2^1418822-1 is not prime. Res64: 9FAE6CF4736B665A Time : 0.0 sec. user=mdettweiler [2016-01-07 17:03:07] 723*2^1418823-1 is not prime. Res64: 1C6DDD140881CAEB Time : 0.0 sec. user=mdettweiler [2016-01-07 17:03:10] 1001*2^1418822-1 is not prime. Res64: F79AACF624946185 Time : 0.0 sec. user=mdettweiler [2016-01-07 17:03:11] 775*2^1418823-1 is not prime. Res64: 51A7C823697A9FD9 Time : 0.0 sec. user=mdettweiler [2016-01-07 17:21:31] 723*2^1418824-1 is not prime. Res64: 696FD3B8ADF57D94 Time : 0.0 sec. user=mdettweiler [2016-01-07 17:21:31] 973*2^1418823-1 is not prime. Res64: 1A64198BB2C5D368 Time : 0.0 sec. user=mdettweiler [2016-01-07 17:21:31] 969*2^1418824-1 is not prime. Res64: A2D11902BBE9F471 Time : 0.0 sec. user=mdettweiler [2016-01-07 17:21:32] 615*2^1418824-1 is not prime. Res64: 869E38351E107E95 Time : 0.0 sec. user=mdettweiler [2016-01-07 17:39:36] 607*2^1418825-1 is not prime. Res64: 84AB2D76733253E5 Time : 0.0 sec. user=mdettweiler [2016-01-07 17:39:36] 691*2^1418825-1 is not prime. Res64: 74A961362CF1E69C Time : 0.0 sec. user=mdettweiler [2016-01-07 17:39:36] 627*2^1418825-1 is not prime. Res64: 35871AFBFE0F199F Time : 0.0 sec. user=mdettweiler [2016-01-07 17:39:36] 787*2^1418825-1 is not prime. Res64: 8D37D99FB9E5DC35 Time : 0.0 sec. user=mdettweiler [2016-01-07 17:57:38] 951*2^1418825-1 is not prime. Res64: B83805B7E2AB28A1 Time : 0.0 sec. user=mdettweiler [2016-01-07 17:57:38] 799*2^1418825-1 is not prime. Res64: 941578CB902CD996 Time : 0.0 sec. user=mdettweiler [2016-01-07 17:57:38] 981*2^1418825-1 is not prime. Res64: 2C61D6B2A3E99959 Time : 0.0 sec. user=mdettweiler [2016-01-07 17:57:38] 811*2^1418825-1 is not prime. Res64: 5C17F81E6909EB0D Time : 0.0 sec. user=mdettweiler [2016-01-07 18:15:19] 815*2^1418826-1 is not prime. Res64: 938CB80220692B8B Time : 0.0 sec. user=mdettweiler [2016-01-07 18:15:20] 893*2^1418826-1 is not prime. Res64: 9EA3F1FBD0CB2D8D Time : 0.0 sec. user=mdettweiler [2016-01-07 18:15:20] 917*2^1418826-1 is not prime. Res64: 8035EF1A21574BC8 Time : 0.0 sec. user=mdettweiler [2016-01-07 18:15:20] 921*2^1418826-1 is not prime. Res64: 6FC7731386511D7A Time : 0.0 sec. user=mdettweiler [2016-01-07 18:33:07] 703*2^1418827-1 is not prime. Res64: 4906F82935D77504 Time : 0.0 sec. user=mdettweiler [2016-01-07 18:33:07] 733*2^1418827-1 is not prime. Res64: 0369B641BCFADACD Time : 0.0 sec. user=mdettweiler [2016-01-07 18:33:08] 963*2^1418826-1 is not prime. Res64: 1EBB5D4E0FE54D9C Time : 0.0 sec. user=mdettweiler [2016-01-07 18:33:09] 619*2^1418827-1 is not prime. Res64: 7B3060C7F3592B8D Time : 0.0 sec. user=mdettweiler [2016-01-07 18:50:55] 765*2^1418827-1 is not prime. Res64: 0A4A1EDC4B74B3DB Time : 0.0 sec. user=mdettweiler [2016-01-07 18:50:55] 813*2^1418827-1 is not prime. Res64: 96420CE5049D3889 Time : 0.0 sec. user=mdettweiler [2016-01-07 18:50:57] 859*2^1418827-1 is not prime. Res64: 6E2EA1F4775E84E9 Time : 0.0 sec. user=mdettweiler [2016-01-07 18:50:58] 871*2^1418827-1 is not prime. Res64: F60AAF0A9D924AA2 Time : 0.0 sec. user=mdettweiler [2016-01-07 19:08:44] 979*2^1418827-1 is not prime. Res64: 15A04CB737558886 Time : 0.0 sec. user=mdettweiler [2016-01-07 19:08:45] 753*2^1418828-1 is not prime. Res64: CA82BD353B3F7810 Time : 0.0 sec. user=mdettweiler [2016-01-07 19:08:45] 813*2^1418828-1 is not prime. Res64: B3E470E7FF8038CB Time : 0.0 sec. user=mdettweiler [2016-01-07 19:08:46] 899*2^1418828-1 is not prime. Res64: 75BA9B615C9DD36F Time : 0.0 sec. user=mdettweiler [2016-01-07 19:26:23] 979*2^1418829-1 is not prime. Res64: D8FC3B62B8067D41 Time : 0.0 sec. user=mdettweiler [2016-01-07 19:26:23] 649*2^1418829-1 is not prime. Res64: 9EB6DCD34DE2C8F5 Time : 0.0 sec. user=mdettweiler [2016-01-07 19:26:23] 623*2^1418830-1 is not prime. Res64: 571DAEEA6E89FD9A Time : 0.0 sec. user=mdettweiler [2016-01-07 19:26:23] 721*2^1418829-1 is not prime. Res64: CF2C4C2BE1E00CCF Time : 0.0 sec. user=mdettweiler [2016-01-07 19:43:58] 827*2^1418830-1 is not prime. Res64: 4742AEBCD83FE2E0 Time : 0.0 sec. user=mdettweiler [2016-01-07 19:43:58] 663*2^1418830-1 is not prime. Res64: B8561B71579A5520 Time : 0.0 sec. user=mdettweiler [2016-01-07 19:43:59] 867*2^1418830-1 is not prime. Res64: 0A810F404F86A718 Time : 0.0 sec. user=mdettweiler [2016-01-07 19:43:59] 761*2^1418830-1 is not prime. Res64: 726F6AC5939D880A Time : 0.0 sec. user=mdettweiler [2016-01-07 20:01:34] 933*2^1418830-1 is not prime. Res64: E0A7F9CEB1FA0D0D Time : 0.0 sec. user=mdettweiler [2016-01-07 20:01:34] 663*2^1418831-1 is not prime. Res64: 77A02C069DABB4B1 Time : 0.0 sec. user=mdettweiler [2016-01-07 20:01:36] 661*2^1418831-1 is not prime. Res64: 748AD9FCA2544630 Time : 0.0 sec. user=mdettweiler [2016-01-07 20:01:36] 763*2^1418831-1 is not prime. Res64: 69D7C7102692576C Time : 0.0 sec. user=mdettweiler [2016-01-07 20:19:39] 615*2^1418832-1 is not prime. Res64: CE6565236224D791 Time : 0.0 sec. user=mdettweiler [2016-01-07 20:19:39] 627*2^1418832-1 is not prime. Res64: 6180D4EF1C1E1DF1 Time : 0.0 sec. user=mdettweiler [2016-01-07 20:19:41] 973*2^1418831-1 is not prime. Res64: F62873D5BDE8C110 Time : 0.0 sec. user=mdettweiler [2016-01-07 20:19:41] 999*2^1418831-1 is not prime. Res64: D2513329418E14EA Time : 0.0 sec. user=mdettweiler [2016-01-07 20:37:16] 669*2^1418832-1 is not prime. Res64: 2195680B453E6D07 Time : 0.0 sec. user=mdettweiler [2016-01-07 20:37:16] 639*2^1418832-1 is not prime. Res64: C8DFA551712C1F70 Time : 0.0 sec. user=mdettweiler [2016-01-07 20:37:17] 683*2^1418832-1 is not prime. Res64: 0CF463605196A963 Time : 0.0 sec. user=mdettweiler [2016-01-07 20:37:17] 653*2^1418832-1 is not prime. Res64: 547F9501519BE6F6 Time : 0.0 sec. user=mdettweiler [2016-01-07 20:54:51] 929*2^1418832-1 is not prime. Res64: F981F30E3AA98661 Time : 0.0 sec. user=mdettweiler [2016-01-07 20:54:52] 887*2^1418832-1 is not prime. Res64: BC94FCA2E0C25791 Time : 0.0 sec. user=mdettweiler [2016-01-07 20:54:52] 983*2^1418832-1 is not prime. Res64: 4ADD9C377029CB32 Time : 0.0 sec. user=mdettweiler [2016-01-07 20:54:52] 909*2^1418832-1 is not prime. Res64: 38FFA4BFF6CBFB1E Time : 0.0 sec. user=mdettweiler [2016-01-07 21:12:34] 687*2^1418833-1 is not prime. Res64: 739495FB124AC7A5 Time : 0.0 sec. user=mdettweiler [2016-01-07 21:12:34] 741*2^1418833-1 is not prime. Res64: 16A4163C3243005B Time : 0.0 sec. user=mdettweiler [2016-01-07 21:12:34] 727*2^1418833-1 is not prime. Res64: 04942532F3A2E49A Time : 0.0 sec. user=mdettweiler [2016-01-07 21:12:34] 775*2^1418833-1 is not prime. Res64: 428022D2DBB6A0F3 Time : 0.0 sec. user=mdettweiler [2016-01-07 21:30:16] 835*2^1418833-1 is not prime. Res64: 1EF5F4670E31D21B Time : 0.0 sec. user=mdettweiler [2016-01-07 21:30:17] 951*2^1418833-1 is not prime. Res64: BBFD311586B7ECFC Time : 0.0 sec. user=mdettweiler [2016-01-07 21:30:18] 987*2^1418833-1 is not prime. Res64: 1726AECB17692E37 Time : 0.0 sec. user=mdettweiler [2016-01-07 21:30:18] 635*2^1418834-1 is not prime. Res64: 1FD16B975F6A9511 Time : 0.0 sec. user=mdettweiler [2016-01-07 21:47:58] 641*2^1418834-1 is not prime. Res64: 8B6F2F381ACB9A23 Time : 0.0 sec. user=mdettweiler [2016-01-07 21:47:58] 791*2^1418834-1 is not prime. Res64: 78B880534671FDF2 Time : 0.0 sec. user=mdettweiler [2016-01-07 21:47:58] 753*2^1418834-1 is not prime. Res64: FB14D9B3E8AA5725 Time : 0.0 sec. user=mdettweiler [2016-01-07 21:47:58] 903*2^1418834-1 is not prime. Res64: DE7982A0E1674EC2 Time : 0.0 sec. user=mdettweiler [2016-01-07 22:05:47] 935*2^1418834-1 is not prime. Res64: 28EFE1217E44C2D1 Time : 0.0 sec. user=mdettweiler [2016-01-07 22:05:48] 955*2^1418835-1 is not prime. Res64: 1D760B7B84A7EF86 Time : 0.0 sec. user=mdettweiler [2016-01-07 22:05:49] 639*2^1418836-1 is not prime. Res64: ACC4DAF43A34CD3B Time : 0.0 sec. user=mdettweiler [2016-01-07 22:05:49] 723*2^1418835-1 is not prime. Res64: CB4B598CA6167DE5 Time : 0.0 sec. user=mdettweiler [2016-01-07 22:23:40] 803*2^1418836-1 is not prime. Res64: 2D4C4D2EB8BA6F69 Time : 0.0 sec. user=mdettweiler [2016-01-07 22:23:40] 699*2^1418836-1 is not prime. Res64: 3DEF741ECF136AFE Time : 0.0 sec. user=mdettweiler [2016-01-07 22:23:41] 897*2^1418836-1 is not prime. Res64: D77718B30693A128 Time : 0.0 sec. user=mdettweiler [2016-01-07 22:23:41] 735*2^1418836-1 is not prime. Res64: C7E77742F86CB4CA Time : 0.0 sec. user=mdettweiler [2016-01-07 22:41:25] 691*2^1418837-1 is not prime. Res64: 1C8DA8F80D0B28C5 Time : 0.0 sec. user=mdettweiler [2016-01-07 22:41:25] 939*2^1418836-1 is not prime. Res64: A14FA38690C2CF2D Time : 0.0 sec. user=mdettweiler [2016-01-07 22:41:25] 769*2^1418837-1 is not prime. Res64: 8C4DF35AEFC9F314 Time : 0.0 sec. user=mdettweiler [2016-01-07 22:41:25] 607*2^1418837-1 is not prime. Res64: EADB0DE76B973D42 Time : 0.0 sec. user=mdettweiler [2016-01-07 22:59:06] 885*2^1418837-1 is not prime. Res64: 6565EE6AE3608ABA Time : 0.0 sec. user=mdettweiler [2016-01-07 22:59:07] 925*2^1418837-1 is not prime. Res64: 3556570F85EA8813 Time : 0.0 sec. user=mdettweiler [2016-01-07 22:59:07] 781*2^1418837-1 is not prime. Res64: E07510C3C1768BF3 Time : 0.0 sec. user=mdettweiler [2016-01-07 22:59:07] 879*2^1418837-1 is not prime. Res64: DED7F50301C7C604 Time : 0.0 sec. user=mdettweiler [2016-01-07 23:16:47] 711*2^1418838-1 is not prime. Res64: 1479487CE0E32059 Time : 0.0 sec. user=mdettweiler [2016-01-07 23:16:48] 797*2^1418838-1 is not prime. Res64: 452B232E567B1303 Time : 0.0 sec. user=mdettweiler [2016-01-07 23:16:48] 937*2^1418837-1 is not prime. Res64: 15DABD14516D4380 Time : 0.0 sec. user=mdettweiler [2016-01-07 23:16:49] 985*2^1418837-1 is not prime. Res64: 73FF3228B63DB42E Time : 0.0 sec. user=mdettweiler [2016-01-07 23:34:28] 883*2^1418839-1 is not prime. Res64: 7C070FA9DEA48006 Time : 0.0 sec. user=mdettweiler [2016-01-07 23:34:29] 993*2^1418838-1 is not prime. Res64: 9A3EB82E86C986C5 Time : 0.0 sec. user=mdettweiler [2016-01-07 23:34:29] 939*2^1418839-1 is not prime. Res64: 3BA3AD9BB6800E69 Time : 0.0 sec. user=mdettweiler [2016-01-07 23:34:29] 789*2^1418839-1 is not prime. Res64: D553AC451311028F Time : 0.0 sec. user=mdettweiler [2016-01-07 23:52:08] 689*2^1418840-1 is not prime. Res64: 48FB288C004A227F Time : 0.0 sec. user=mdettweiler [2016-01-07 23:52:09] 725*2^1418840-1 is not prime. Res64: 8144A8C90C6C9A9E Time : 0.0 sec. user=mdettweiler [2016-01-07 23:52:09] 603*2^1418840-1 is not prime. Res64: 128D928D899D3413 Time : 0.0 sec. user=mdettweiler [2016-01-07 23:52:09] 629*2^1418840-1 is not prime. Res64: 21D0466AFE60D99F Time : 0.0 sec.