user=mdettweiler [2018-04-11 00:09:06] 987*2^1506740-1 is not prime. Res64: 8AE787B25AB77338 Time : 0.0 sec. user=mdettweiler [2018-04-11 00:09:07] 657*2^1506741-1 is not prime. Res64: 8C88C2BA9712B7AE Time : 0.0 sec. user=mdettweiler [2018-04-11 00:09:07] 717*2^1506741-1 is not prime. Res64: 1E23B155D8DE5388 Time : 0.0 sec. user=mdettweiler [2018-04-11 00:09:08] 877*2^1506741-1 is not prime. Res64: 478E17B2BB61688C Time : 0.0 sec. user=mdettweiler [2018-04-11 00:09:08] 907*2^1506741-1 is not prime. Res64: 62216F711C8EE4A0 Time : 0.0 sec. user=mdettweiler [2018-04-11 00:19:14] 647*2^1506742-1 is not prime. Res64: C0AEC419DEE53A4F Time : 0.0 sec. user=mdettweiler [2018-04-11 00:19:15] 695*2^1506742-1 is not prime. Res64: 595265F01E74BD6E Time : 0.0 sec. user=mdettweiler [2018-04-11 00:19:15] 885*2^1506742-1 is not prime. Res64: 20AC0AB602AE093B Time : 0.0 sec. user=mdettweiler [2018-04-11 00:19:16] 965*2^1506742-1 is not prime. Res64: A7E76F33FBB34127 Time : 0.0 sec. user=mdettweiler [2018-04-11 00:19:16] 981*2^1506742-1 is not prime. Res64: 51E0456CDA762F6B Time : 0.0 sec. user=mdettweiler [2018-04-11 00:37:11] 1001*2^1506742-1 is not prime. Res64: FC7DAC8B2772255A Time : 0.0 sec. user=mdettweiler [2018-04-11 00:37:11] 621*2^1506743-1 is not prime. Res64: 2AA65ABFBD903017 Time : 0.0 sec. user=mdettweiler [2018-04-11 00:37:12] 759*2^1506743-1 is not prime. Res64: 85233FDC8419BD9A Time : 0.0 sec. user=mdettweiler [2018-04-11 00:37:13] 825*2^1506743-1 is not prime. Res64: FD8E6BEDC97C216C Time : 0.0 sec. user=mdettweiler [2018-04-11 00:37:13] 985*2^1506743-1 is not prime. Res64: 6817DA50E2EE467A Time : 0.0 sec. user=mdettweiler [2018-04-11 00:40:58] 999*2^1506743-1 is not prime. Res64: 7A4DEC286D418098 Time : 0.0 sec. user=mdettweiler [2018-04-11 00:40:58] 849*2^1506744-1 is not prime. Res64: AB90FFB45C701065 Time : 0.0 sec. user=mdettweiler [2018-04-11 00:40:59] 917*2^1506744-1 is not prime. Res64: 171B7ADFD1C5DAD4 Time : 0.0 sec. user=mdettweiler [2018-04-11 00:40:59] 975*2^1506744-1 is not prime. Res64: 9537A811489BC38F Time : 0.0 sec. user=mdettweiler [2018-04-11 00:40:59] 607*2^1506745-1 is not prime. Res64: 5D6D4AFC5C666841 Time : 0.0 sec. user=mdettweiler [2018-04-11 01:00:00] 645*2^1506745-1 is not prime. Res64: 4422F725C9E71EC8 Time : 0.0 sec. user=mdettweiler [2018-04-11 01:00:01] 691*2^1506745-1 is not prime. Res64: D0E5785250B4A6E3 Time : 0.0 sec. user=mdettweiler [2018-04-11 01:00:01] 765*2^1506745-1 is not prime. Res64: D9BE2EB4246C25BB Time : 0.0 sec. user=mdettweiler [2018-04-11 01:00:01] 801*2^1506745-1 is not prime. Res64: E84E94DB16463C67 Time : 0.0 sec. user=mdettweiler [2018-04-11 01:00:02] 831*2^1506745-1 is not prime. Res64: FC03E9115F513CB0 Time : 0.0 sec. user=mdettweiler [2018-04-11 01:10:19] 861*2^1506745-1 is not prime. Res64: 6D5505B6E966D8EC Time : 0.0 sec. user=mdettweiler [2018-04-11 01:10:20] 897*2^1506745-1 is not prime. Res64: 798134888FA5402B Time : 0.0 sec. user=mdettweiler [2018-04-11 01:10:20] 997*2^1506745-1 is not prime. Res64: FC5F4481336C3461 Time : 0.0 sec. user=mdettweiler [2018-04-11 01:10:20] 633*2^1506746-1 is not prime. Res64: 3BF54581ED37CA5D Time : 0.0 sec. user=mdettweiler [2018-04-11 01:10:21] 683*2^1506746-1 is not prime. Res64: 119C40A387BCDE9F Time : 0.0 sec. user=mdettweiler [2018-04-11 01:29:39] 717*2^1506746-1 is not prime. Res64: 08D31503656C542C Time : 0.0 sec. user=mdettweiler [2018-04-11 01:29:40] 861*2^1506746-1 is not prime. Res64: 6FC37A9A6BA67046 Time : 0.0 sec. user=mdettweiler [2018-04-11 01:29:42] 921*2^1506746-1 is not prime. Res64: F21A3E88C1E6B1DD Time : 0.0 sec. user=mdettweiler [2018-04-11 01:29:43] 957*2^1506746-1 is not prime. Res64: 6F4435514C71347B Time : 0.0 sec. user=mdettweiler [2018-04-11 01:29:45] 963*2^1506746-1 is not prime. Res64: 65CE66F8D494C638 Time : 0.0 sec. user=mdettweiler [2018-04-11 01:31:08] 983*2^1506746-1 is not prime. Res64: 6CCC06F50DC6A081 Time : 0.0 sec. user=mdettweiler [2018-04-11 01:31:09] 619*2^1506747-1 is not prime. Res64: 687D335E0182A097 Time : 0.0 sec. user=mdettweiler [2018-04-11 01:31:11] 621*2^1506747-1 is not prime. Res64: 370BB3865A7B200D Time : 0.0 sec. user=mdettweiler [2018-04-11 01:31:12] 633*2^1506747-1 is not prime. Res64: CC0B15A9C0C67D39 Time : 0.0 sec. user=mdettweiler [2018-04-11 01:31:15] 705*2^1506747-1 is not prime. Res64: CB8139AFC5D7BDC1 Time : 0.0 sec. user=mdettweiler [2018-04-11 01:54:04] 765*2^1506747-1 is not prime. Res64: 596FBCBB2F22033D Time : 0.0 sec. user=mdettweiler [2018-04-11 01:54:04] 849*2^1506747-1 is not prime. Res64: 5F1AD0118C1E07EB Time : 0.0 sec. user=mdettweiler [2018-04-11 01:54:04] 919*2^1506747-1 is not prime. Res64: 1C7FD0DC625D742B Time : 0.0 sec. user=mdettweiler [2018-04-11 01:54:05] 955*2^1506747-1 is not prime. Res64: 062E952944C0F626 Time : 0.0 sec. user=mdettweiler [2018-04-11 01:54:05] 647*2^1506748-1 is not prime. Res64: 0F5B7361849215C9 Time : 0.0 sec. user=mdettweiler [2018-04-11 02:05:32] 749*2^1506748-1 is not prime. Res64: 46048EBBD7AD14EE Time : 0.0 sec. user=mdettweiler [2018-04-11 02:05:37] 855*2^1506748-1 is not prime. Res64: A17BA50A405A22CB Time : 0.0 sec. user=mdettweiler [2018-04-11 02:05:41] 915*2^1506748-1 is not prime. Res64: BC866580B5511596 Time : 0.0 sec. user=mdettweiler [2018-04-11 02:05:44] 957*2^1506748-1 is not prime. Res64: 3441D77766D786A2 Time : 0.0 sec. user=mdettweiler [2018-04-11 02:05:48] 995*2^1506748-1 is not prime. Res64: E4A461E32C0935D9 Time : 0.0 sec. user=mdettweiler [2018-04-11 02:36:11] 741*2^1506750-1 is not prime. Res64: EC4D37D064E4B2FF Time : 0.0 sec. user=mdettweiler [2018-04-11 02:36:12] 791*2^1506750-1 is not prime. Res64: 2FDDD3BD0FFCEC0A Time : 0.0 sec. user=mdettweiler [2018-04-11 02:36:13] 977*2^1506750-1 is not prime. Res64: A7BE739806850458 Time : 0.0 sec. user=mdettweiler [2018-04-11 02:36:13] 723*2^1506751-1 is not prime. Res64: 8C5D259485A88B53 Time : 0.0 sec. user=mdettweiler [2018-04-11 02:36:14] 735*2^1506751-1 is not prime. Res64: 65FAC53D66DFD871 Time : 0.0 sec. user=mdettweiler [2018-04-11 02:36:43] 615*2^1506749-1 is not prime. Res64: E6794781CBDB3668 Time : 0.0 sec. user=mdettweiler [2018-04-11 02:36:43] 657*2^1506749-1 is not prime. Res64: B356536F7FC26BF1 Time : 0.0 sec. user=mdettweiler [2018-04-11 02:36:44] 745*2^1506749-1 is not prime. Res64: 68BA3BD2117B9858 Time : 0.0 sec. user=mdettweiler [2018-04-11 02:36:45] 829*2^1506749-1 is not prime. Res64: 3EE92E24C03810D1 Time : 0.0 sec. user=mdettweiler [2018-04-11 02:36:45] 681*2^1506750-1 is not prime. Res64: A8A9DBE7D3D244D8 Time : 0.0 sec. user=mdettweiler [2018-04-11 02:55:10] 849*2^1506751-1 is not prime. Res64: E909B93E8EB1B6F9 Time : 0.0 sec. user=mdettweiler [2018-04-11 02:55:10] 961*2^1506751-1 is not prime. Res64: 6CA4BB403FC00675 Time : 0.0 sec. user=mdettweiler [2018-04-11 02:55:11] 603*2^1506752-1 is not prime. Res64: E2001523123F1764 Time : 0.0 sec. user=mdettweiler [2018-04-11 02:55:11] 605*2^1506752-1 is not prime. Res64: C5E1370156496134 Time : 0.0 sec. user=mdettweiler [2018-04-11 02:55:12] 633*2^1506752-1 is not prime. Res64: 7C255C78CFFFB15F Time : 0.0 sec. user=mdettweiler [2018-04-11 03:07:17] 669*2^1506752-1 is not prime. Res64: 4C2B62C09DA32D76 Time : 0.0 sec. user=mdettweiler [2018-04-11 03:07:19] 689*2^1506752-1 is not prime. Res64: 9EBF1C4D05D98A64 Time : 0.0 sec. user=mdettweiler [2018-04-11 03:07:20] 767*2^1506752-1 is not prime. Res64: 20AD78C542D06BAE Time : 0.0 sec. user=mdettweiler [2018-04-11 03:07:21] 797*2^1506752-1 is not prime. Res64: EA2BA3908CA85D06 Time : 0.0 sec. user=mdettweiler [2018-04-11 03:07:21] 857*2^1506752-1 is not prime. Res64: EEA194009FD03464 Time : 0.0 sec. user=mdettweiler [2018-04-11 03:26:26] 945*2^1506753-1 is not prime. Res64: F9BAC5C14A392181 Time : 0.0 sec. user=mdettweiler [2018-04-11 03:26:29] 985*2^1506753-1 is not prime. Res64: 3470C5DE872FDA02 Time : 0.0 sec. user=mdettweiler [2018-04-11 03:26:32] 663*2^1506754-1 is not prime. Res64: E80943A3271727FE Time : 0.0 sec. user=mdettweiler [2018-04-11 03:26:33] 675*2^1506754-1 is not prime. Res64: AB91B709C982BA15 Time : 0.0 sec. user=mdettweiler [2018-04-11 03:26:34] 717*2^1506754-1 is not prime. Res64: 6599FE6F750395FC Time : 0.0 sec. user=mdettweiler [2018-04-11 03:26:43] 909*2^1506752-1 is not prime. Res64: A02EF83A3ECD665E Time : 0.0 sec. user=mdettweiler [2018-04-11 03:26:44] 735*2^1506753-1 is not prime. Res64: 4F9B2F121AD30EFC Time : 0.0 sec. user=mdettweiler [2018-04-11 03:26:45] 741*2^1506753-1 is not prime. Res64: A18837FC64A92A78 Time : 0.0 sec. user=mdettweiler [2018-04-11 03:26:47] 817*2^1506753-1 is not prime. Res64: 228B0E8126908EBD Time : 0.0 sec. user=mdettweiler [2018-04-11 03:26:55] 901*2^1506753-1 is not prime. Res64: 711FF1DEBD6C9766 Time : 0.0 sec. user=mdettweiler [2018-04-11 03:46:03] 741*2^1506754-1 is not prime. Res64: 179B6C808896CD05 Time : 0.0 sec. user=mdettweiler [2018-04-11 03:46:04] 791*2^1506754-1 is not prime. Res64: 33804E9EDDFD6C34 Time : 0.0 sec. user=mdettweiler [2018-04-11 03:46:06] 861*2^1506754-1 is not prime. Res64: 8BD74F55EA9A64BD Time : 0.0 sec. user=mdettweiler [2018-04-11 03:46:07] 947*2^1506754-1 is not prime. Res64: 157E1AA37D5613F7 Time : 0.0 sec. user=mdettweiler [2018-04-11 03:46:09] 951*2^1506754-1 is not prime. Res64: AC6BED6820AE572A Time : 0.0 sec. user=mdettweiler [2018-04-11 03:56:25] 971*2^1506754-1 is not prime. Res64: 2BF6E3DEC6C1D486 Time : 0.0 sec. user=mdettweiler [2018-04-11 03:56:28] 645*2^1506755-1 is not prime. Res64: A403003440A4CBBB Time : 0.0 sec. user=mdettweiler [2018-04-11 03:56:30] 673*2^1506755-1 is not prime. Res64: F3FFF920DC6B9DCE Time : 0.0 sec. user=mdettweiler [2018-04-11 03:56:32] 735*2^1506755-1 is not prime. Res64: 69A8F6F643A115E7 Time : 0.0 sec. user=mdettweiler [2018-04-11 03:56:34] 741*2^1506755-1 is not prime. Res64: 819D9FB0D4A2340E Time : 0.0 sec. user=mdettweiler [2018-04-11 04:16:07] 759*2^1506755-1 is not prime. Res64: D51DCC4C9406B2A2 Time : 0.0 sec. user=mdettweiler [2018-04-11 04:16:07] 885*2^1506755-1 is not prime. Res64: 536821E61A9F42EF Time : 0.0 sec. user=mdettweiler [2018-04-11 04:16:08] 973*2^1506755-1 is not prime. Res64: 66EFC6080F860BED Time : 0.0 sec. user=mdettweiler [2018-04-11 04:16:09] 623*2^1506756-1 is not prime. Res64: 0EF533F9BA624B9B Time : 0.0 sec. user=mdettweiler [2018-04-11 04:16:10] 657*2^1506756-1 is not prime. Res64: DF6B834FC49E2E70 Time : 0.0 sec. user=mdettweiler [2018-04-11 04:16:18] 707*2^1506756-1 is not prime. Res64: 1080196E8D535787 Time : 0.0 sec. user=mdettweiler [2018-04-11 04:16:19] 735*2^1506756-1 is not prime. Res64: D6F9419F5E2FC291 Time : 0.0 sec. user=mdettweiler [2018-04-11 04:16:20] 759*2^1506756-1 is not prime. Res64: 728BF8EA2EDA3450 Time : 0.0 sec. user=mdettweiler [2018-04-11 04:16:22] 777*2^1506756-1 is not prime. Res64: 8A782BACC407A853 Time : 0.0 sec. user=mdettweiler [2018-04-11 04:16:23] 803*2^1506756-1 is not prime. Res64: 6A6D9982BDAAB8DE Time : 0.0 sec. user=mdettweiler [2018-04-11 04:35:53] 909*2^1506756-1 is not prime. Res64: 805FA446A56EC68B Time : 0.0 sec. user=mdettweiler [2018-04-11 04:35:54] 927*2^1506756-1 is not prime. Res64: C1DD05D2313FD4A8 Time : 0.0 sec. user=mdettweiler [2018-04-11 04:35:55] 649*2^1506757-1 is not prime. Res64: A2BE4FFEBF38944E Time : 0.0 sec. user=mdettweiler [2018-04-11 04:35:55] 691*2^1506757-1 is not prime. Res64: 9D41CB27BAB7DEEF Time : 0.0 sec. user=mdettweiler [2018-04-11 04:35:56] 885*2^1506757-1 is not prime. Res64: B2498B2AFAC0ED91 Time : 0.0 sec. user=mdettweiler [2018-04-11 04:47:01] 901*2^1506757-1 is not prime. Res64: 08C4CE0993DD7642 Time : 0.0 sec. user=mdettweiler [2018-04-11 04:47:02] 985*2^1506757-1 is not prime. Res64: E3073F883A1903BF Time : 0.0 sec. user=mdettweiler [2018-04-11 04:47:02] 657*2^1506758-1 is not prime. Res64: 553758C0368EDCCD Time : 0.0 sec. user=mdettweiler [2018-04-11 04:47:03] 915*2^1506758-1 is not prime. Res64: 42B0924D927D98EB Time : 0.0 sec. user=mdettweiler [2018-04-11 04:47:04] 971*2^1506758-1 is not prime. Res64: 961F9F4C75E81123 Time : 0.0 sec. user=mdettweiler [2018-04-11 05:04:52] 703*2^1506759-1 is not prime. Res64: D7596614ECE978A1 Time : 0.0 sec. user=mdettweiler [2018-04-11 05:04:57] 723*2^1506759-1 is not prime. Res64: 7FD9E5533DF2E905 Time : 0.0 sec. user=mdettweiler [2018-04-11 05:04:58] 949*2^1506759-1 is not prime. Res64: DB24364812C1EFFD Time : 0.0 sec. user=mdettweiler [2018-04-11 05:05:01] 665*2^1506760-1 is not prime. Res64: 3A8C86102A31C51B Time : 0.0 sec. user=mdettweiler [2018-04-11 05:05:02] 675*2^1506760-1 is not prime. Res64: D0D97B8FE4526011 Time : 0.0 sec. user=mdettweiler [2018-04-11 05:05:48] 615*2^1506759-1 is not prime. Res64: 52DF3C3DD9198199 Time : 0.0 sec. user=mdettweiler [2018-04-11 05:05:49] 785*2^1506760-1 is not prime. Res64: CF6CA9EA32FD3F33 Time : 0.0 sec. user=mdettweiler [2018-04-11 05:05:51] 827*2^1506760-1 is not prime. Res64: 192347AE0A19D126 Time : 0.0 sec. user=mdettweiler [2018-04-11 05:05:52] 649*2^1506761-1 is not prime. Res64: AC85AC2BFAE01949 Time : 0.0 sec. user=mdettweiler [2018-04-11 05:05:53] 795*2^1506761-1 is not prime. Res64: 86B54EC23FB08577 Time : 0.0 sec. user=mdettweiler [2018-04-11 05:25:24] 865*2^1506761-1 is not prime. Res64: 8CA49A4BD9C2A53C Time : 0.0 sec. user=mdettweiler [2018-04-11 05:25:24] 871*2^1506761-1 is not prime. Res64: B733A2D8CF56DD1B Time : 0.0 sec. user=mdettweiler [2018-04-11 05:25:25] 931*2^1506761-1 is not prime. Res64: 5816A0CFF4FE169E Time : 0.0 sec. user=mdettweiler [2018-04-11 05:25:25] 955*2^1506761-1 is not prime. Res64: 4338B82D2A590E01 Time : 0.0 sec. user=mdettweiler [2018-04-11 05:25:26] 711*2^1506762-1 is not prime. Res64: 900E640AE8FAE7DE Time : 0.0 sec. user=mdettweiler [2018-04-11 05:36:54] 791*2^1506762-1 is not prime. Res64: CF72F81B3207CD73 Time : 0.0 sec. user=mdettweiler [2018-04-11 05:36:54] 803*2^1506762-1 is not prime. Res64: 50DD81EA0065E3A4 Time : 0.0 sec. user=mdettweiler [2018-04-11 05:36:55] 807*2^1506762-1 is not prime. Res64: AA389FD971808BDA Time : 0.0 sec. user=mdettweiler [2018-04-11 05:36:55] 825*2^1506762-1 is not prime. Res64: 262F11636AB49DEC Time : 0.0 sec. user=mdettweiler [2018-04-11 05:36:56] 947*2^1506762-1 is not prime. Res64: 2F67CABAEA2B6569 Time : 0.0 sec. user=mdettweiler [2018-04-11 05:54:13] 957*2^1506762-1 is not prime. Res64: 488DBEA67A3F10BE Time : 0.0 sec. user=mdettweiler [2018-04-11 05:54:14] 983*2^1506762-1 is not prime. Res64: 81334AA93ADD01B9 Time : 0.0 sec. user=mdettweiler [2018-04-11 05:54:14] 679*2^1506763-1 is not prime. Res64: 9E4A0A982D4B8633 Time : 0.0 sec. user=mdettweiler [2018-04-11 05:54:15] 723*2^1506763-1 is not prime. Res64: C52FBD0290081888 Time : 0.0 sec. user=mdettweiler [2018-04-11 05:54:15] 735*2^1506763-1 is not prime. Res64: D5D848E37B3C025F Time : 0.0 sec. user=mdettweiler [2018-04-11 05:55:19] 835*2^1506763-1 is not prime. Res64: B21FFE9E85797589 Time : 0.0 sec. user=mdettweiler [2018-04-11 05:55:20] 919*2^1506763-1 is not prime. Res64: 51616EB51E3239E3 Time : 0.0 sec. user=mdettweiler [2018-04-11 05:55:20] 969*2^1506763-1 is not prime. Res64: 46847E65BED825EA Time : 0.0 sec. user=mdettweiler [2018-04-11 05:55:21] 985*2^1506763-1 is not prime. Res64: 536E6ACA4E488A39 Time : 0.0 sec. user=mdettweiler [2018-04-11 05:55:21] 605*2^1506764-1 is not prime. Res64: 2D7B3381A2B54996 Time : 0.0 sec. user=mdettweiler [2018-04-11 06:15:32] 843*2^1506764-1 is not prime. Res64: A14FBE784E07BD7A Time : 0.0 sec. user=mdettweiler [2018-04-11 06:15:32] 873*2^1506764-1 is not prime. Res64: BE58B5AD71297113 Time : 0.0 sec. user=mdettweiler [2018-04-11 06:15:33] 885*2^1506764-1 is not prime. Res64: D41EAB20E7318FA4 Time : 0.0 sec. user=mdettweiler [2018-04-11 06:15:33] 935*2^1506764-1 is not prime. Res64: 3EA6EA97D61D6637 Time : 0.0 sec. user=mdettweiler [2018-04-11 06:15:34] 957*2^1506764-1 is not prime. Res64: 75C28C44C0DFAADB Time : 0.0 sec. user=mdettweiler [2018-04-11 06:25:56] 995*2^1506764-1 is not prime. Res64: 91205D74849F5ABD Time : 0.0 sec. user=mdettweiler [2018-04-11 06:25:56] 717*2^1506765-1 is not prime. Res64: 32F7D9407E627637 Time : 0.0 sec. user=mdettweiler [2018-04-11 06:25:57] 787*2^1506765-1 is not prime. Res64: BCBAE1A903D2D432 Time : 0.0 sec. user=mdettweiler [2018-04-11 06:25:57] 877*2^1506765-1 is not prime. Res64: 42E716CB3F589252 Time : 0.0 sec. user=mdettweiler [2018-04-11 06:25:58] 603*2^1506766-1 is not prime. Res64: 15CD90EF8E7EEA88 Time : 0.0 sec. user=mdettweiler [2018-04-11 06:43:20] 617*2^1506766-1 is not prime. Res64: 37FADB9AE3BD565F Time : 0.0 sec. user=mdettweiler [2018-04-11 06:43:21] 651*2^1506766-1 is not prime. Res64: 259DAD7CE92E6279 Time : 0.0 sec. user=mdettweiler [2018-04-11 06:43:21] 783*2^1506766-1 is not prime. Res64: FEC3A240BC5D0117 Time : 0.0 sec. user=mdettweiler [2018-04-11 06:43:22] 815*2^1506766-1 is not prime. Res64: 0A86A9D35F5DC902 Time : 0.0 sec. user=mdettweiler [2018-04-11 06:43:22] 825*2^1506766-1 is not prime. Res64: 4AA3DEB2996BC5C2 Time : 0.0 sec. user=mdettweiler [2018-04-11 06:44:38] 887*2^1506766-1 is not prime. Res64: 8F47BC52649C1CE2 Time : 0.0 sec. user=mdettweiler [2018-04-11 06:44:39] 897*2^1506766-1 is not prime. Res64: 007908E5E058869A Time : 0.0 sec. user=mdettweiler [2018-04-11 06:44:39] 917*2^1506766-1 is not prime. Res64: 4C17AEB77FB6AC87 Time : 0.0 sec. user=mdettweiler [2018-04-11 06:44:40] 705*2^1506767-1 is not prime. Res64: E4C26C2A6762FEFC Time : 0.0 sec. user=mdettweiler [2018-04-11 06:44:40] 711*2^1506767-1 is not prime. Res64: 46CCFB0E72577E23 Time : 0.0 sec. user=mdettweiler [2018-04-11 07:05:31] 825*2^1506767-1 is not prime. Res64: 7DCD096A2C10FE05 Time : 0.0 sec. user=mdettweiler [2018-04-11 07:05:33] 859*2^1506767-1 is not prime. Res64: 679D7E37002969DE Time : 0.0 sec. user=mdettweiler [2018-04-11 07:05:34] 861*2^1506767-1 is not prime. Res64: B3C95EDC96E774E2 Time : 0.0 sec. user=mdettweiler [2018-04-11 07:05:36] 885*2^1506767-1 is not prime. Res64: FDB3559154536B8D Time : 0.0 sec. user=mdettweiler [2018-04-11 07:05:37] 949*2^1506767-1 is not prime. Res64: 29DFD19DD3BE4563 Time : 0.0 sec. user=mdettweiler [2018-04-11 07:14:53] 981*2^1506767-1 is not prime. Res64: BC8E814F636A19D0 Time : 0.0 sec. user=mdettweiler [2018-04-11 07:14:54] 605*2^1506768-1 is not prime. Res64: EDEA653A47692BED Time : 0.0 sec. user=mdettweiler [2018-04-11 07:14:54] 737*2^1506768-1 is not prime. Res64: 41DBA6C5BABB6408 Time : 0.0 sec. user=mdettweiler [2018-04-11 07:14:55] 875*2^1506768-1 is not prime. Res64: A9B3FD79151969F7 Time : 0.0 sec. user=mdettweiler [2018-04-11 07:14:55] 887*2^1506768-1 is not prime. Res64: 893DDEE3436E0DB1 Time : 0.0 sec. user=mdettweiler [2018-04-11 07:32:31] 687*2^1506769-1 is not prime. Res64: 6D897B1BC8C339E2 Time : 0.0 sec. user=mdettweiler [2018-04-11 07:32:32] 705*2^1506769-1 is not prime. Res64: 0C1B4D92AFA22D1E Time : 0.0 sec. user=mdettweiler [2018-04-11 07:32:32] 811*2^1506769-1 is not prime. Res64: 89039243FDA19116 Time : 0.0 sec. user=mdettweiler [2018-04-11 07:32:33] 895*2^1506769-1 is not prime. Res64: ADFE81415E5B533F Time : 0.0 sec. user=mdettweiler [2018-04-11 07:32:33] 999*2^1506769-1 is not prime. Res64: E70E32862AAF9C6E Time : 0.0 sec. user=mdettweiler [2018-04-11 07:33:44] 687*2^1506770-1 is not prime. Res64: E3848670CBA36F77 Time : 0.0 sec. user=mdettweiler [2018-04-11 07:33:45] 801*2^1506770-1 is not prime. Res64: 9E8F13F039AF2F16 Time : 0.0 sec. user=mdettweiler [2018-04-11 07:33:45] 827*2^1506770-1 is not prime. Res64: FD0EADC1A6D284EF Time : 0.0 sec. user=mdettweiler [2018-04-11 07:33:46] 833*2^1506770-1 is not prime. Res64: E65F684FD9FA36EA Time : 0.0 sec. user=mdettweiler [2018-04-11 07:33:46] 649*2^1506771-1 is not prime. Res64: 13AC53AA269E3676 Time : 0.0 sec. user=mdettweiler [2018-04-11 07:55:16] 669*2^1506771-1 is not prime. Res64: A42CE2576A10B1E7 Time : 0.0 sec. user=mdettweiler [2018-04-11 07:55:16] 723*2^1506771-1 is not prime. Res64: 00A6994DB1C5A9C1 Time : 0.0 sec. user=mdettweiler [2018-04-11 07:55:17] 745*2^1506771-1 is not prime. Res64: FB2D240DF0484A88 Time : 0.0 sec. user=mdettweiler [2018-04-11 07:55:17] 751*2^1506771-1 is not prime. Res64: CF319E8F504AA896 Time : 0.0 sec. user=mdettweiler [2018-04-11 07:55:18] 753*2^1506771-1 is not prime. Res64: FD024F156207E334 Time : 0.0 sec. user=mdettweiler [2018-04-11 08:04:34] 823*2^1506771-1 is not prime. Res64: 0B43C7FD0809D4F8 Time : 0.0 sec. user=mdettweiler [2018-04-11 08:04:35] 913*2^1506771-1 is not prime. Res64: B5020A86BD213BF9 Time : 0.0 sec. user=mdettweiler [2018-04-11 08:04:36] 931*2^1506771-1 is not prime. Res64: AA9B34D302EF33D8 Time : 0.0 sec. user=mdettweiler [2018-04-11 08:04:37] 973*2^1506771-1 is not prime. Res64: B6683B34EBECF544 Time : 0.0 sec. user=mdettweiler [2018-04-11 08:04:39] 665*2^1506772-1 is not prime. Res64: EE32D6EA84F3D7B6 Time : 0.0 sec. user=mdettweiler [2018-04-11 08:22:00] 723*2^1506772-1 is not prime. Res64: 9BDDC5E2FEB3E9D5 Time : 0.0 sec. user=mdettweiler [2018-04-11 08:22:00] 813*2^1506772-1 is not prime. Res64: A4AE2E71017C6359 Time : 0.0 sec. user=mdettweiler [2018-04-11 08:22:01] 819*2^1506772-1 is not prime. Res64: 9A2AF40900303E0E Time : 0.0 sec. user=mdettweiler [2018-04-11 08:22:01] 897*2^1506772-1 is not prime. Res64: 566A9829B38F2D4A Time : 0.0 sec. user=mdettweiler [2018-04-11 08:22:02] 929*2^1506772-1 is not prime. Res64: 8CB785CB657937E7 Time : 0.0 sec. user=mdettweiler [2018-04-11 08:22:26] 987*2^1506772-1 is not prime. Res64: A0472E1DD5D63462 Time : 0.0 sec. user=mdettweiler [2018-04-11 08:22:27] 727*2^1506773-1 is not prime. Res64: CAF9B0A27B2BFED0 Time : 0.0 sec. user=mdettweiler [2018-04-11 08:22:27] 729*2^1506773-1 is not prime. Res64: 9D4634210FCCE5AC Time : 0.0 sec. user=mdettweiler [2018-04-11 08:22:28] 735*2^1506773-1 is not prime. Res64: 45B00CDBEBC75B29 Time : 0.0 sec. user=mdettweiler [2018-04-11 08:22:28] 829*2^1506773-1 is not prime. Res64: 68B227ADB465953B Time : 0.0 sec. user=mdettweiler [2018-04-11 08:44:47] 837*2^1506773-1 is not prime. Res64: D38915F75B08FB38 Time : 0.0 sec. user=mdettweiler [2018-04-11 08:44:48] 889*2^1506773-1 is not prime. Res64: 2E68D6A72ECC3C29 Time : 0.0 sec. user=mdettweiler [2018-04-11 08:44:48] 969*2^1506773-1 is not prime. Res64: 8D93E06421457A38 Time : 0.0 sec. user=mdettweiler [2018-04-11 08:44:49] 677*2^1506774-1 is not prime. Res64: BDFFFD4F4E6BC866 Time : 0.0 sec. user=mdettweiler [2018-04-11 08:44:49] 851*2^1506774-1 is not prime. Res64: A3F5C35D80462136 Time : 0.0 sec. user=mdettweiler [2018-04-11 08:54:07] 861*2^1506774-1 is not prime. Res64: 32E166863572C6D9 Time : 0.0 sec. user=mdettweiler [2018-04-11 08:54:08] 863*2^1506774-1 is not prime. Res64: A42D1A444D97039A Time : 0.0 sec. user=mdettweiler [2018-04-11 08:54:08] 923*2^1506774-1 is not prime. Res64: 8CA16A919FEA50F1 Time : 0.0 sec. user=mdettweiler [2018-04-11 08:54:08] 639*2^1506775-1 is not prime. Res64: C32B10642E2DA4FD Time : 0.0 sec. user=mdettweiler [2018-04-11 08:54:09] 793*2^1506775-1 is not prime. Res64: F78CBC7EB413814F Time : 0.0 sec. user=mdettweiler [2018-04-11 09:10:10] 853*2^1506775-1 is not prime. Res64: 94ABFC2214414E65 Time : 0.0 sec. user=mdettweiler [2018-04-11 09:10:10] 873*2^1506775-1 is not prime. Res64: 6A44F1358FF0A494 Time : 0.0 sec. user=mdettweiler [2018-04-11 09:10:11] 615*2^1506776-1 is not prime. Res64: DDC2DD78857BAA47 Time : 0.0 sec. user=mdettweiler [2018-04-11 09:10:12] 617*2^1506776-1 is not prime. Res64: D728C284F2989407 Time : 0.0 sec. user=mdettweiler [2018-04-11 09:10:12] 675*2^1506776-1 is not prime. Res64: 858D03F52EBDED60 Time : 0.0 sec. user=mdettweiler [2018-04-11 09:11:23] 777*2^1506776-1 is not prime. Res64: 22D4EB7111839C2B Time : 0.0 sec. user=mdettweiler [2018-04-11 09:11:23] 839*2^1506776-1 is not prime. Res64: C5C06C39001E7FB1 Time : 0.0 sec. user=mdettweiler [2018-04-11 09:11:24] 969*2^1506776-1 is not prime. Res64: 10468A8F6DB45A77 Time : 0.0 sec. user=mdettweiler [2018-04-11 09:11:24] 625*2^1506777-1 is not prime. Res64: 519205994379BF7D Time : 0.0 sec. user=mdettweiler [2018-04-11 09:11:25] 651*2^1506777-1 is not prime. Res64: 65E6366673CA3877 Time : 0.0 sec. user=mdettweiler [2018-04-11 09:34:09] 685*2^1506777-1 is not prime. Res64: 0F46E336393D2AD7 Time : 0.0 sec. user=mdettweiler [2018-04-11 09:34:09] 741*2^1506777-1 is not prime. Res64: 0B5F46CC8141D896 Time : 0.0 sec. user=mdettweiler [2018-04-11 09:34:10] 759*2^1506777-1 is not prime. Res64: AAADDBFAF3A34977 Time : 0.0 sec. user=mdettweiler [2018-04-11 09:34:10] 765*2^1506777-1 is not prime. Res64: A0D59B515A6A9969 Time : 0.0 sec. user=mdettweiler [2018-04-11 09:34:11] 885*2^1506777-1 is not prime. Res64: C63D83AD24701F7F Time : 0.0 sec. user=mdettweiler [2018-04-11 09:43:19] 919*2^1506777-1 is not prime. Res64: 824FD2FC61F4BA44 Time : 0.0 sec. user=mdettweiler [2018-04-11 09:43:20] 945*2^1506777-1 is not prime. Res64: E1F4A7C60827FD9C Time : 0.0 sec. user=mdettweiler [2018-04-11 09:43:20] 617*2^1506778-1 is not prime. Res64: EFD6252D8B17797B Time : 0.0 sec. user=mdettweiler [2018-04-11 09:43:21] 743*2^1506778-1 is not prime. Res64: DCB2B86666AA43F8 Time : 0.0 sec. user=mdettweiler [2018-04-11 09:43:21] 833*2^1506778-1 is not prime. Res64: 20C1EE8CECAD9F72 Time : 0.0 sec. user=mdettweiler [2018-04-11 09:58:40] 845*2^1506778-1 is not prime. Res64: EDF79B61B989E12F Time : 0.0 sec. user=mdettweiler [2018-04-11 09:58:41] 911*2^1506778-1 is not prime. Res64: 1D732CD050E94C97 Time : 0.0 sec. user=mdettweiler [2018-04-11 09:58:41] 601*2^1506779-1 is not prime. Res64: 7B5495C251211611 Time : 0.0 sec. user=mdettweiler [2018-04-11 09:58:42] 645*2^1506779-1 is not prime. Res64: 83FF7D5BACE22642 Time : 0.0 sec. user=mdettweiler [2018-04-11 09:58:42] 655*2^1506779-1 is not prime. Res64: 94EC5B761870A332 Time : 0.0 sec. user=mdettweiler [2018-04-11 10:01:14] 759*2^1506779-1 is not prime. Res64: FEC6098D6CA22FD9 Time : 0.0 sec. user=mdettweiler [2018-04-11 10:01:15] 789*2^1506779-1 is not prime. Res64: 82F56C88AB641127 Time : 0.0 sec. user=mdettweiler [2018-04-11 10:01:16] 885*2^1506779-1 is not prime. Res64: 10A9A79BACF19A47 Time : 0.0 sec. user=mdettweiler [2018-04-11 10:01:17] 889*2^1506779-1 is not prime. Res64: 03BDC6C18B3DD986 Time : 0.0 sec. user=mdettweiler [2018-04-11 10:01:18] 879*2^1506780-1 is not prime. Res64: E4FE574A162501BC Time : 0.0 sec. user=mdettweiler [2018-04-11 10:23:50] 893*2^1506780-1 is not prime. Res64: C063C8FB5FD07D48 Time : 0.0 sec. user=mdettweiler [2018-04-11 10:23:50] 933*2^1506780-1 is not prime. Res64: 677E0A2103ED6EAB Time : 0.0 sec. user=mdettweiler [2018-04-11 10:23:51] 727*2^1506781-1 is not prime. Res64: 9DE32B11706F2484 Time : 0.0 sec. user=mdettweiler [2018-04-11 10:23:51] 867*2^1506781-1 is not prime. Res64: 8088876F4C9F1160 Time : 0.0 sec. user=mdettweiler [2018-04-11 10:23:52] 951*2^1506781-1 is not prime. Res64: 8635B5DF062BEF28 Time : 0.0 sec. user=mdettweiler [2018-04-11 10:31:56] 967*2^1506781-1 is not prime. Res64: C9C00058BC6F6397 Time : 0.0 sec. user=mdettweiler [2018-04-11 10:31:57] 615*2^1506782-1 is not prime. Res64: E77DEC7EA49039A0 Time : 0.0 sec. user=mdettweiler [2018-04-11 10:31:57] 617*2^1506782-1 is not prime. Res64: 5D29D7270D0715B0 Time : 0.0 sec. user=mdettweiler [2018-04-11 10:31:58] 813*2^1506782-1 is not prime. Res64: 5EDA8DE969015E45 Time : 0.0 sec. user=mdettweiler [2018-04-11 10:31:58] 815*2^1506782-1 is not prime. Res64: DD4B94BB1B2A426C Time : 0.0 sec. user=mdettweiler [2018-04-11 10:47:57] 825*2^1506782-1 is not prime. Res64: B3DC4C0ACD68E32B Time : 0.0 sec. user=mdettweiler [2018-04-11 10:47:58] 873*2^1506782-1 is not prime. Res64: 9BD61F974D319345 Time : 0.0 sec. user=mdettweiler [2018-04-11 10:47:58] 923*2^1506782-1 is not prime. Res64: 145FE9D302C4BBDF Time : 0.0 sec. user=mdettweiler [2018-04-11 10:47:58] 951*2^1506782-1 is not prime. Res64: 68BD3E98F87EA9C0 Time : 0.0 sec. user=mdettweiler [2018-04-11 10:47:59] 613*2^1506783-1 is not prime. Res64: A9F843C511D3E92C Time : 0.0 sec. user=mdettweiler [2018-04-11 10:50:25] 703*2^1506783-1 is not prime. Res64: B24BA9ED3400DBE9 Time : 0.0 sec. user=mdettweiler [2018-04-11 10:50:25] 709*2^1506783-1 is not prime. Res64: 4D77F896D9A6912F Time : 0.0 sec. user=mdettweiler [2018-04-11 10:50:25] 775*2^1506783-1 is not prime. Res64: 36FF17D3F5BFA804 Time : 0.0 sec. user=mdettweiler [2018-04-11 10:50:26] 789*2^1506783-1 is not prime. Res64: A929BF43E1816AF3 Time : 0.0 sec. user=mdettweiler [2018-04-11 10:50:26] 819*2^1506783-1 is not prime. Res64: C0346763F056F850 Time : 0.0 sec. user=mdettweiler [2018-04-11 11:13:16] 873*2^1506783-1 is not prime. Res64: E0A7809D430283E2 Time : 0.0 sec. user=mdettweiler [2018-04-11 11:13:17] 885*2^1506783-1 is not prime. Res64: AC61D2E906E52233 Time : 0.0 sec. user=mdettweiler [2018-04-11 11:13:17] 891*2^1506783-1 is not prime. Res64: BAA3165EC1BA3DE2 Time : 0.0 sec. user=mdettweiler [2018-04-11 11:13:18] 629*2^1506784-1 is not prime. Res64: 72B1201902146538 Time : 0.0 sec. user=mdettweiler [2018-04-11 11:13:19] 857*2^1506784-1 is not prime. Res64: 2EFDCAF5BD893BE1 Time : 0.0 sec. user=mdettweiler [2018-04-11 11:21:34] 917*2^1506784-1 is not prime. Res64: 0D3363827C0B99EA Time : 0.0 sec. user=mdettweiler [2018-04-11 11:21:35] 721*2^1506785-1 is not prime. Res64: 8F5E12A8E5B72727 Time : 0.0 sec. user=mdettweiler [2018-04-11 11:21:35] 805*2^1506785-1 is not prime. Res64: 7E56DAEF0074063B Time : 0.0 sec. user=mdettweiler [2018-04-11 11:21:36] 841*2^1506785-1 is not prime. Res64: F9771B13EE069961 Time : 0.0 sec. user=mdettweiler [2018-04-11 11:21:36] 889*2^1506785-1 is not prime. Res64: E4F2F60D2D1617C5 Time : 0.0 sec. user=mdettweiler [2018-04-11 11:37:30] 925*2^1506785-1 is not prime. Res64: 8CB0AF336508A89D Time : 0.0 sec. user=mdettweiler [2018-04-11 11:37:30] 671*2^1506786-1 is not prime. Res64: A225DDB7F346C632 Time : 0.0 sec. user=mdettweiler [2018-04-11 11:37:31] 843*2^1506786-1 is not prime. Res64: 4E853002F9D65D4A Time : 0.0 sec. user=mdettweiler [2018-04-11 11:37:31] 873*2^1506786-1 is not prime. Res64: 7B8C0D8879E4CD74 Time : 0.0 sec. user=mdettweiler [2018-04-11 11:37:31] 971*2^1506786-1 is not prime. Res64: 5E1082F98190CEE6 Time : 0.0 sec. user=mdettweiler [2018-04-11 11:37:50] 601*2^1506787-1 is not prime. Res64: FE1279113B73A159 Time : 0.0 sec. user=mdettweiler [2018-04-11 11:37:51] 609*2^1506787-1 is not prime. Res64: 0804053EC4BBE390 Time : 0.0 sec. user=mdettweiler [2018-04-11 11:37:51] 645*2^1506787-1 is not prime. Res64: 0F83ED5FB1C7754E Time : 0.0 sec. user=mdettweiler [2018-04-11 11:37:52] 663*2^1506787-1 is not prime. Res64: 9A2CB131F4F2190A Time : 0.0 sec. user=mdettweiler [2018-04-11 11:37:52] 703*2^1506787-1 is not prime. Res64: 19A453860F32A949 Time : 0.0 sec. user=mdettweiler [2018-04-11 12:03:05] 705*2^1506787-1 is not prime. Res64: 045548DDD80A4438 Time : 0.0 sec. user=mdettweiler [2018-04-11 12:03:06] 835*2^1506787-1 is not prime. Res64: 3C344CA8E0564EAD Time : 0.0 sec. user=mdettweiler [2018-04-11 12:03:07] 891*2^1506787-1 is not prime. Res64: B60D470E4E09C202 Time : 0.0 sec. user=mdettweiler [2018-04-11 12:03:08] 925*2^1506787-1 is not prime. Res64: B2ED86ECB4CDFEFF Time : 0.0 sec. user=mdettweiler [2018-04-11 12:03:08] 945*2^1506787-1 is not prime. Res64: 829C5B2F56C89A38 Time : 0.0 sec. user=mdettweiler [2018-04-11 12:12:17] 633*2^1506788-1 is not prime. Res64: 8715014B738A4753 Time : 0.0 sec. user=mdettweiler [2018-04-11 12:12:18] 795*2^1506788-1 is not prime. Res64: 62ECC43579EBE3E7 Time : 0.0 sec. user=mdettweiler [2018-04-11 12:12:19] 845*2^1506788-1 is not prime. Res64: D5D82E76C6E9BBA5 Time : 0.0 sec. user=mdettweiler [2018-04-11 12:12:19] 855*2^1506788-1 is not prime. Res64: 98FA48490E2A2F78 Time : 0.0 sec. user=mdettweiler [2018-04-11 12:12:20] 875*2^1506788-1 is not prime. Res64: DDD0E442FE526730 Time : 0.0 sec. user=mdettweiler [2018-04-11 12:28:45] 879*2^1506788-1 is not prime. Res64: B9BB6F068E33B8E9 Time : 0.0 sec. user=mdettweiler [2018-04-11 12:28:46] 959*2^1506788-1 is not prime. Res64: 83D776318432E6EC Time : 0.0 sec. user=mdettweiler [2018-04-11 12:28:46] 969*2^1506788-1 is not prime. Res64: 4EE6FBEBD1BF1F43 Time : 0.0 sec. user=mdettweiler [2018-04-11 12:28:47] 769*2^1506789-1 is not prime. Res64: 3FFE9EB07D5F137B Time : 0.0 sec. user=mdettweiler [2018-04-11 12:28:47] 795*2^1506789-1 is not prime. Res64: 6C08DDF87888C0C4 Time : 0.0 sec. user=mdettweiler [2018-04-11 12:28:57] 847*2^1506789-1 is not prime. Res64: 827774F9823AAE2F Time : 0.0 sec. user=mdettweiler [2018-04-11 12:28:57] 975*2^1506789-1 is not prime. Res64: 3B2B21A298EAC848 Time : 0.0 sec. user=mdettweiler [2018-04-11 12:28:58] 827*2^1506790-1 is not prime. Res64: BE2BDE7AD429051D Time : 0.0 sec. user=mdettweiler [2018-04-11 12:28:58] 861*2^1506790-1 is not prime. Res64: F5D3CCED6DC10786 Time : 0.0 sec. user=mdettweiler [2018-04-11 12:28:59] 971*2^1506790-1 is not prime. Res64: 4224054AF6CA8128 Time : 0.0 sec. user=mdettweiler [2018-04-11 12:53:55] 643*2^1506791-1 is not prime. Res64: D4D752878949A617 Time : 0.0 sec. user=mdettweiler [2018-04-11 12:53:56] 675*2^1506791-1 is not prime. Res64: D4B81DFA3D9A2121 Time : 0.0 sec. user=mdettweiler [2018-04-11 12:53:56] 753*2^1506791-1 is not prime. Res64: 0D8185BFC05D4D4D Time : 0.0 sec. user=mdettweiler [2018-04-11 12:53:57] 859*2^1506791-1 is not prime. Res64: 5DAE65EF241DA715 Time : 0.0 sec. user=mdettweiler [2018-04-11 12:53:57] 895*2^1506791-1 is not prime. Res64: 068F750F4D0C5EF5 Time : 0.0 sec. user=mdettweiler [2018-04-11 13:02:15] 909*2^1506791-1 is not prime. Res64: 01BB8D057803C1EC Time : 0.0 sec. user=mdettweiler [2018-04-11 13:02:16] 939*2^1506791-1 is not prime. Res64: A112DED8E7946E93 Time : 0.0 sec. user=mdettweiler [2018-04-11 13:02:17] 955*2^1506791-1 is not prime. Res64: 98375AA48FA5D80C Time : 0.0 sec. user=mdettweiler [2018-04-11 13:02:18] 717*2^1506792-1 is not prime. Res64: 5FD914939DE44B6A Time : 0.0 sec. user=mdettweiler [2018-04-11 13:02:18] 779*2^1506792-1 is not prime. Res64: ED74715728E6F1F5 Time : 0.0 sec. user=mdettweiler [2018-04-11 13:17:47] 815*2^1506792-1 is not prime. Res64: 5D0E176937F451CA Time : 0.0 sec. user=mdettweiler [2018-04-11 13:17:48] 887*2^1506792-1 is not prime. Res64: A2B1EBFFA27F40AB Time : 0.0 sec. user=mdettweiler [2018-04-11 13:17:48] 619*2^1506793-1 is not prime. Res64: 8247B790BD76CF20 Time : 0.0 sec. user=mdettweiler [2018-04-11 13:17:49] 685*2^1506793-1 is not prime. Res64: B4B6B81D873AAD31 Time : 0.0 sec. user=mdettweiler [2018-04-11 13:17:49] 747*2^1506793-1 is not prime. Res64: 970B391E4C7A6978 Time : 0.0 sec. user=mdettweiler [2018-04-11 13:18:15] 771*2^1506793-1 is not prime. Res64: 4A000F21BAEDB9B1 Time : 0.0 sec. user=mdettweiler [2018-04-11 13:18:16] 861*2^1506793-1 is not prime. Res64: 147435AD70793EFF Time : 0.0 sec. user=mdettweiler [2018-04-11 13:18:16] 955*2^1506793-1 is not prime. Res64: 4AEE960D71792BA9 Time : 0.0 sec. user=mdettweiler [2018-04-11 13:18:17] 645*2^1506794-1 is not prime. Res64: 1F97E7737079CEFC Time : 0.0 sec. user=mdettweiler [2018-04-11 13:18:17] 651*2^1506794-1 is not prime. Res64: A906776B1EC4FD1A Time : 0.0 sec. user=mdettweiler [2018-04-11 13:43:18] 677*2^1506794-1 is not prime. Res64: 2622E989B8C6EB9F Time : 0.0 sec. user=mdettweiler [2018-04-11 13:43:19] 903*2^1506794-1 is not prime. Res64: 3370DB92B345CFB1 Time : 0.0 sec. user=mdettweiler [2018-04-11 13:43:19] 915*2^1506794-1 is not prime. Res64: AB50B2565C8B8D76 Time : 0.0 sec. user=mdettweiler [2018-04-11 13:43:20] 723*2^1506795-1 is not prime. Res64: 241ACABBE437D40D Time : 0.0 sec. user=mdettweiler [2018-04-11 13:43:20] 819*2^1506795-1 is not prime. Res64: 74989599590F2A23 Time : 0.0 sec. user=mdettweiler [2018-04-11 13:51:35] 849*2^1506795-1 is not prime. Res64: 7D085CAD0C421C5D Time : 0.0 sec. user=mdettweiler [2018-04-11 13:51:36] 871*2^1506795-1 is not prime. Res64: 6498F26EA321FEF6 Time : 0.0 sec. user=mdettweiler [2018-04-11 13:51:36] 921*2^1506795-1 is not prime. Res64: 464C0DD36535B78A Time : 0.0 sec. user=mdettweiler [2018-04-11 13:51:37] 675*2^1506796-1 is not prime. Res64: 9641E8675658BFC6 Time : 0.0 sec. user=mdettweiler [2018-04-11 13:51:37] 719*2^1506796-1 is not prime. Res64: 01FDB529B3CECF84 Time : 0.0 sec. user=mdettweiler [2018-04-11 14:07:40] 645*2^1506797-1 is not prime. Res64: 7A19E13ECF9C2E40 Time : 0.0 sec. user=mdettweiler [2018-04-11 14:07:41] 649*2^1506797-1 is not prime. Res64: 89C8D1FFE12E63E8 Time : 0.0 sec. user=mdettweiler [2018-04-11 14:07:42] 757*2^1506797-1 is not prime. Res64: 5A00C5EE2C154168 Time : 0.0 sec. user=mdettweiler [2018-04-11 14:07:43] 795*2^1506797-1 is not prime. Res64: C9134C2DD011521A Time : 0.0 sec. user=mdettweiler [2018-04-11 14:07:44] 831*2^1506797-1 is not prime. Res64: D10393D14D3312B3 Time : 0.0 sec. user=mdettweiler [2018-04-11 14:07:46] 843*2^1506796-1 is not prime. Res64: 127583F3349519F3 Time : 0.0 sec. user=mdettweiler [2018-04-11 14:07:49] 887*2^1506796-1 is not prime. Res64: 75C547848BAA87D4 Time : 0.0 sec. user=mdettweiler [2018-04-11 14:07:51] 899*2^1506796-1 is not prime. Res64: CA7A0906C9EB7AC5 Time : 0.0 sec. user=mdettweiler [2018-04-11 14:07:53] 905*2^1506796-1 is not prime. Res64: 87A0085D884179FC Time : 0.0 sec. user=mdettweiler [2018-04-11 14:07:54] 989*2^1506796-1 is not prime. Res64: 4D6384C74F268707 Time : 0.0 sec. user=mdettweiler [2018-04-11 14:32:57] 871*2^1506797-1 is not prime. Res64: 2B0108062BB723BF Time : 0.0 sec. user=mdettweiler [2018-04-11 14:32:58] 885*2^1506797-1 is not prime. Res64: A3ABF2336C1118E8 Time : 0.0 sec. user=mdettweiler [2018-04-11 14:32:58] 939*2^1506797-1 is not prime. Res64: B6EAFABD17912523 Time : 0.0 sec. user=mdettweiler [2018-04-11 14:32:59] 955*2^1506797-1 is not prime. Res64: 837BF56F26C6BE6F Time : 0.0 sec. user=mdettweiler [2018-04-11 14:32:59] 621*2^1506798-1 is not prime. Res64: 9FE414AF70AD9BD0 Time : 0.0 sec. user=mdettweiler [2018-04-11 14:41:12] 765*2^1506798-1 is not prime. Res64: 224BF53EA57B8851 Time : 0.0 sec. user=mdettweiler [2018-04-11 14:41:13] 767*2^1506798-1 is not prime. Res64: 99C52BC2CABD5001 Time : 0.0 sec. user=mdettweiler [2018-04-11 14:41:13] 729*2^1506799-1 is not prime. Res64: DAD45E8444FDAC11 Time : 0.0 sec. user=mdettweiler [2018-04-11 14:41:14] 831*2^1506799-1 is not prime. Res64: 1428E2A9DFC8BE29 Time : 0.0 sec. user=mdettweiler [2018-04-11 14:41:14] 853*2^1506799-1 is not prime. Res64: 7621B4CA590552D7 Time : 0.0 sec. user=mdettweiler [2018-04-11 14:57:01] 999*2^1506800-1 is not prime. Res64: 5A0C3E61442B0DC3 Time : 0.0 sec. user=mdettweiler [2018-04-11 14:57:02] 637*2^1506801-1 is not prime. Res64: 08282C9B3D619EE9 Time : 0.0 sec. user=mdettweiler [2018-04-11 14:57:02] 651*2^1506801-1 is not prime. Res64: EA832339E14AE774 Time : 0.0 sec. user=mdettweiler [2018-04-11 14:57:03] 691*2^1506801-1 is not prime. Res64: CA908934550789E2 Time : 0.0 sec. user=mdettweiler [2018-04-11 14:57:03] 861*2^1506801-1 is not prime. Res64: 44B7CA3864F46B70 Time : 0.0 sec. user=mdettweiler [2018-04-11 14:58:05] 753*2^1506800-1 is not prime. Res64: B908BC887A39FBEA Time : 0.0 sec. user=mdettweiler [2018-04-11 14:58:05] 759*2^1506800-1 is not prime. Res64: DF3CF1AB18708A78 Time : 0.0 sec. user=mdettweiler [2018-04-11 14:58:06] 839*2^1506800-1 is not prime. Res64: 2044CCF6B500174B Time : 0.0 sec. user=mdettweiler [2018-04-11 14:58:06] 927*2^1506800-1 is not prime. Res64: 2BCBA43556DC9F02 Time : 0.0 sec. user=mdettweiler [2018-04-11 14:58:07] 929*2^1506800-1 is not prime. Res64: 9D700864EAB931CD Time : 0.0 sec. user=mdettweiler [2018-04-11 15:22:41] 871*2^1506801-1 is not prime. Res64: BFC221A85831F61A Time : 0.0 sec. user=mdettweiler [2018-04-11 15:22:41] 895*2^1506801-1 is not prime. Res64: BFF5B675A1855451 Time : 0.0 sec. user=mdettweiler [2018-04-11 15:22:42] 907*2^1506801-1 is not prime. Res64: 78C988E34991BA70 Time : 0.0 sec. user=mdettweiler [2018-04-11 15:22:42] 997*2^1506801-1 is not prime. Res64: 46C154723618306B Time : 0.0 sec. user=mdettweiler [2018-04-11 15:22:43] 675*2^1506802-1 is not prime. Res64: 7847DB31A271B0A3 Time : 0.0 sec. user=mdettweiler [2018-04-11 15:30:50] 777*2^1506802-1 is not prime. Res64: EB06869562B1CD4A Time : 0.0 sec. user=mdettweiler [2018-04-11 15:30:50] 827*2^1506802-1 is not prime. Res64: FECD7624A5C68936 Time : 0.0 sec. user=mdettweiler [2018-04-11 15:30:51] 885*2^1506802-1 is not prime. Res64: D6A6FA6BC61E04DA Time : 0.0 sec. user=mdettweiler [2018-04-11 15:30:51] 945*2^1506802-1 is not prime. Res64: 4B3DA860DDC7DCC7 Time : 0.0 sec. user=mdettweiler [2018-04-11 15:30:51] 631*2^1506803-1 is not prime. Res64: 01CE81988F2F94D2 Time : 0.0 sec. user=mdettweiler [2018-04-11 15:47:24] 703*2^1506803-1 is not prime. Res64: BEC5B3E32469619F Time : 0.0 sec. user=mdettweiler [2018-04-11 15:47:24] 741*2^1506803-1 is not prime. Res64: 15B4ED442C521E46 Time : 0.0 sec. user=mdettweiler [2018-04-11 15:47:25] 753*2^1506803-1 is not prime. Res64: C5C3F148B957CE98 Time : 0.0 sec. user=mdettweiler [2018-04-11 15:47:25] 781*2^1506803-1 is not prime. Res64: A81915C545156930 Time : 0.0 sec. user=mdettweiler [2018-04-11 15:47:26] 811*2^1506803-1 is not prime. Res64: AA1CC444DC04CCBC Time : 0.0 sec. user=mdettweiler [2018-04-11 15:48:28] 859*2^1506803-1 is not prime. Res64: 925FB490E59C91B2 Time : 0.0 sec. user=mdettweiler [2018-04-11 15:48:28] 993*2^1506803-1 is not prime. Res64: A66A7B050D55C32A Time : 0.0 sec. user=mdettweiler [2018-04-11 15:48:28] 999*2^1506803-1 is not prime. Res64: 4AD1C35E14FE5E56 Time : 0.0 sec. user=mdettweiler [2018-04-11 15:48:29] 699*2^1506804-1 is not prime. Res64: 3EF38DBBA692448B Time : 0.0 sec. user=mdettweiler [2018-04-11 15:48:29] 705*2^1506804-1 is not prime. Res64: 570DE937231FBBA6 Time : 0.0 sec. user=mdettweiler [2018-04-11 16:19:05] 707*2^1506804-1 is not prime. Res64: 89E98BE2C4EA4DCF Time : 0.0 sec. user=mdettweiler [2018-04-11 16:19:05] 723*2^1506804-1 is not prime. Res64: 2B35AF69F59D4C22 Time : 0.0 sec. user=mdettweiler [2018-04-11 16:19:06] 749*2^1506804-1 is not prime. Res64: 5A5FF07B7B9D647E Time : 0.0 sec. user=mdettweiler [2018-04-11 16:19:06] 899*2^1506804-1 is not prime. Res64: 2BD0B335B141195C Time : 0.0 sec. user=mdettweiler [2018-04-11 16:19:06] 915*2^1506804-1 is not prime. Res64: 04C3D1A0A51C5641 Time : 0.0 sec. user=mdettweiler [2018-04-11 16:27:43] 651*2^1506805-1 is not prime. Res64: FE80A42B4139F4E4 Time : 0.0 sec. user=mdettweiler [2018-04-11 16:27:43] 805*2^1506805-1 is not prime. Res64: 908B7EBDBD9339B4 Time : 0.0 sec. user=mdettweiler [2018-04-11 16:27:43] 615*2^1506806-1 is not prime. Res64: 2D54E06E861B2649 Time : 0.0 sec. user=mdettweiler [2018-04-11 16:27:44] 705*2^1506806-1 is not prime. Res64: 1C5A25E619E6C8D3 Time : 0.0 sec. user=mdettweiler [2018-04-11 16:27:44] 773*2^1506806-1 is not prime. Res64: 4BF45D7C2B0ABE82 Time : 0.0 sec. user=mdettweiler [2018-04-11 16:42:34] 833*2^1506806-1 is not prime. Res64: B727965918073C44 Time : 0.0 sec. user=mdettweiler [2018-04-11 16:42:34] 867*2^1506806-1 is not prime. Res64: 88E4AB6717D7378D Time : 0.0 sec. user=mdettweiler [2018-04-11 16:42:34] 935*2^1506806-1 is not prime. Res64: CEA53BC355D7979E Time : 0.0 sec. user=mdettweiler [2018-04-11 16:42:35] 981*2^1506806-1 is not prime. Res64: 3A4CFB030545E0D2 Time : 0.0 sec. user=mdettweiler [2018-04-11 16:42:35] 983*2^1506806-1 is not prime. Res64: 43A268F15F3E9F6E Time : 0.0 sec. user=mdettweiler [2018-04-11 16:43:18] 1001*2^1506806-1 is not prime. Res64: D416E0CAEE9EF5D8 Time : 0.0 sec. user=mdettweiler [2018-04-11 16:43:19] 793*2^1506807-1 is not prime. Res64: BEB57F4FD9B42A82 Time : 0.0 sec. user=mdettweiler [2018-04-11 16:43:19] 795*2^1506807-1 is not prime. Res64: C564574E8A01C621 Time : 0.0 sec. user=mdettweiler [2018-04-11 16:43:19] 657*2^1506808-1 is not prime. Res64: 67C69532A0284B10 Time : 0.0 sec. user=mdettweiler [2018-04-11 16:43:19] 665*2^1506808-1 is not prime. Res64: 8693033268FAF0DE Time : 0.0 sec. user=mdettweiler [2018-04-11 17:09:48] 743*2^1506808-1 is not prime. Res64: 6040B08BB40DEE13 Time : 0.0 sec. user=mdettweiler [2018-04-11 17:09:48] 747*2^1506808-1 is not prime. Res64: 5EBE33ED8710995A Time : 0.0 sec. user=mdettweiler [2018-04-11 17:09:48] 797*2^1506808-1 is not prime. Res64: 2679C38EB287E422 Time : 0.0 sec. user=mdettweiler [2018-04-11 17:09:48] 869*2^1506808-1 is not prime. Res64: 578D7D5F308EC294 Time : 0.0 sec. user=mdettweiler [2018-04-11 17:09:49] 923*2^1506808-1 is not prime. Res64: 9CD8F20E7947AB72 Time : 0.0 sec. user=mdettweiler [2018-04-11 17:17:09] 631*2^1506809-1 is not prime. Res64: 46D9CAA53D3FBEA1 Time : 0.0 sec. user=mdettweiler [2018-04-11 17:17:09] 675*2^1506809-1 is not prime. Res64: 5CC73ECA645FA0C8 Time : 0.0 sec. user=mdettweiler [2018-04-11 17:17:09] 735*2^1506809-1 is not prime. Res64: DDA729C5E58A950B Time : 0.0 sec. user=mdettweiler [2018-04-11 17:17:09] 745*2^1506809-1 is not prime. Res64: D4F2576099BF9E99 Time : 0.0 sec. user=mdettweiler [2018-04-11 17:17:10] 861*2^1506809-1 is not prime. Res64: 08BBE751F7EB09E8 Time : 0.0 sec. user=mdettweiler [2018-04-11 17:31:56] 957*2^1506809-1 is not prime. Res64: 0F80A318A8EAF739 Time : 0.0 sec. user=mdettweiler [2018-04-11 17:31:57] 611*2^1506810-1 is not prime. Res64: 652E05BC65D3BA2E Time : 0.0 sec. user=mdettweiler [2018-04-11 17:31:57] 635*2^1506810-1 is not prime. Res64: 09D95D7027AFFF0D Time : 0.0 sec. user=mdettweiler [2018-04-11 17:31:57] 677*2^1506810-1 is not prime. Res64: BD5CC1A2F46A88F6 Time : 0.0 sec. user=mdettweiler [2018-04-11 17:31:57] 725*2^1506810-1 is not prime. Res64: 142BF4890851C701 Time : 0.0 sec. user=mdettweiler [2018-04-11 17:33:14] 885*2^1506809-1 is not prime. Res64: 197AE623CF200533 Time : 0.0 sec. user=mdettweiler [2018-04-11 17:33:14] 889*2^1506809-1 is not prime. Res64: F1D42CEC48E76862 Time : 0.0 sec. user=mdettweiler [2018-04-11 17:33:14] 909*2^1506809-1 is not prime. Res64: FE0B5057D4A40934 Time : 0.0 sec. user=mdettweiler [2018-04-11 17:33:15] 951*2^1506809-1 is not prime. Res64: 796F90FCB4607C22 Time : 0.0 sec. user=mdettweiler [2018-04-11 17:33:15] 955*2^1506809-1 is not prime. Res64: 8A24E3EC666542E6 Time : 0.0 sec. user=mdettweiler [2018-04-11 18:03:04] 801*2^1506810-1 is not prime. Res64: 8BDCDC5C39397234 Time : 0.0 sec. user=mdettweiler [2018-04-11 18:03:06] 891*2^1506810-1 is not prime. Res64: B3E62263BC58B198 Time : 0.0 sec. user=mdettweiler [2018-04-11 18:03:08] 917*2^1506810-1 is not prime. Res64: 86B418EED3B42A43 Time : 0.0 sec. user=mdettweiler [2018-04-11 18:03:09] 651*2^1506811-1 is not prime. Res64: F73272C98A540F27 Time : 0.0 sec. user=mdettweiler [2018-04-11 18:03:11] 751*2^1506811-1 is not prime. Res64: BE7F7B42E564975E Time : 0.0 sec. user=mdettweiler [2018-04-11 18:11:12] 771*2^1506811-1 is not prime. Res64: A0A38D2937038345 Time : 0.0 sec. user=mdettweiler [2018-04-11 18:11:13] 913*2^1506811-1 is not prime. Res64: 1800EDA1EA26694F Time : 0.0 sec. user=mdettweiler [2018-04-11 18:11:13] 629*2^1506812-1 is not prime. Res64: 86CD51ABAB255BC8 Time : 0.0 sec. user=mdettweiler [2018-04-11 18:11:13] 843*2^1506812-1 is not prime. Res64: 59C774A0DFF5BBDE Time : 0.0 sec. user=mdettweiler [2018-04-11 18:11:14] 873*2^1506812-1 is not prime. Res64: 823C4DF798BC27CC Time : 0.0 sec. user=mdettweiler [2018-04-11 18:26:00] 879*2^1506812-1 is not prime. Res64: 2325CB9E30BEF71C Time : 0.0 sec. user=mdettweiler [2018-04-11 18:26:00] 615*2^1506813-1 is not prime. Res64: 639C2DB3E70FDA77 Time : 0.0 sec. user=mdettweiler [2018-04-11 18:26:00] 769*2^1506813-1 is not prime. Res64: F47E21CF0A2F745D Time : 0.0 sec. user=mdettweiler [2018-04-11 18:26:00] 867*2^1506813-1 is not prime. Res64: 97F256E3031B4475 Time : 0.0 sec. user=mdettweiler [2018-04-11 18:26:00] 877*2^1506813-1 is not prime. Res64: E76947B03E9E8D36 Time : 0.0 sec. user=mdettweiler [2018-04-11 18:27:35] 621*2^1506814-1 is not prime. Res64: A2510AF894293271 Time : 0.0 sec. user=mdettweiler [2018-04-11 18:27:35] 785*2^1506814-1 is not prime. Res64: 13CE22D54D40F8AC Time : 0.0 sec. user=mdettweiler [2018-04-11 18:27:36] 813*2^1506814-1 is not prime. Res64: 370F3BFA96BF7046 Time : 0.0 sec. user=mdettweiler [2018-04-11 18:27:36] 891*2^1506814-1 is not prime. Res64: ABC9AD891DDD53EF Time : 0.0 sec. user=mdettweiler [2018-04-11 18:27:36] 917*2^1506814-1 is not prime. Res64: 1088261BDE058C11 Time : 0.0 sec. user=mdettweiler [2018-04-11 18:55:25] 941*2^1506814-1 is not prime. Res64: BAD9BFE504C93DDC Time : 0.0 sec. user=mdettweiler [2018-04-11 18:55:25] 965*2^1506814-1 is not prime. Res64: 392B74DC232D8C6F Time : 0.0 sec. user=mdettweiler [2018-04-11 18:55:25] 983*2^1506814-1 is not prime. Res64: D398C272E7DFA210 Time : 0.0 sec. user=mdettweiler [2018-04-11 18:55:25] 993*2^1506814-1 is not prime. Res64: C1FAD3435174858D Time : 0.0 sec. user=mdettweiler [2018-04-11 18:55:26] 649*2^1506815-1 is not prime. Res64: F03D771DB8AB8B6F Time : 0.0 sec. user=mdettweiler [2018-04-11 19:02:34] 663*2^1506815-1 is not prime. Res64: 3062E204E8FFFF5D Time : 0.0 sec. user=mdettweiler [2018-04-11 19:02:35] 789*2^1506815-1 is not prime. Res64: EB7FEF4033593A84 Time : 0.0 sec. user=mdettweiler [2018-04-11 19:02:36] 829*2^1506815-1 is not prime. Res64: AF9C330C0E9C997E Time : 0.0 sec. user=mdettweiler [2018-04-11 19:02:36] 841*2^1506815-1 is not prime. Res64: 07FCBF378423F07D Time : 0.0 sec. user=mdettweiler [2018-04-11 19:02:37] 969*2^1506815-1 is not prime. Res64: 6D0694817F80C070 Time : 0.0 sec. user=mdettweiler [2018-04-11 19:15:30] 633*2^1506816-1 is not prime. Res64: 54BBBF69088A1D5C Time : 0.0 sec. user=mdettweiler [2018-04-11 19:15:31] 635*2^1506816-1 is not prime. Res64: F37472217001B0F4 Time : 0.0 sec. user=mdettweiler [2018-04-11 19:15:31] 717*2^1506816-1 is not prime. Res64: 694CD222975F8EF2 Time : 0.0 sec. user=mdettweiler [2018-04-11 19:15:32] 849*2^1506816-1 is not prime. Res64: 3B58E7928DDBF141 Time : 0.0 sec. user=mdettweiler [2018-04-11 19:15:32] 687*2^1506817-1 is not prime. Res64: B19B2AE8FCFBDF46 Time : 0.0 sec. user=mdettweiler [2018-04-11 19:18:19] 729*2^1506817-1 is not prime. Res64: 586F1CFA8AF1F8DE Time : 0.0 sec. user=mdettweiler [2018-04-11 19:18:20] 747*2^1506817-1 is not prime. Res64: 099C13B83B83A417 Time : 0.0 sec. user=mdettweiler [2018-04-11 19:18:20] 807*2^1506817-1 is not prime. Res64: C30456A8A2390B85 Time : 0.0 sec. user=mdettweiler [2018-04-11 19:18:20] 817*2^1506817-1 is not prime. Res64: D877DE686EBC5C34 Time : 0.0 sec. user=mdettweiler [2018-04-11 19:18:20] 867*2^1506817-1 is not prime. Res64: 9998CEF952667468 Time : 0.0 sec. user=mdettweiler [2018-04-11 19:45:56] 937*2^1506817-1 is not prime. Res64: 3D40A6290569FF18 Time : 0.0 sec. user=mdettweiler [2018-04-11 19:45:56] 677*2^1506818-1 is not prime. Res64: 1946062F104DF6D3 Time : 0.0 sec. user=mdettweiler [2018-04-11 19:45:56] 773*2^1506818-1 is not prime. Res64: E8098856EA9429F9 Time : 0.0 sec. user=mdettweiler [2018-04-11 19:45:57] 887*2^1506818-1 is not prime. Res64: CB630A0CAA3DA141 Time : 0.0 sec. user=mdettweiler [2018-04-11 19:45:57] 935*2^1506818-1 is not prime. Res64: 5939BBF49B2704F7 Time : 0.0 sec. user=mdettweiler [2018-04-11 19:53:29] 941*2^1506818-1 is not prime. Res64: 7BE9468F6533CA81 Time : 0.0 sec. user=mdettweiler [2018-04-11 19:53:30] 995*2^1506818-1 is not prime. Res64: 5AFAD75B1FDBEB96 Time : 0.0 sec. user=mdettweiler [2018-04-11 19:53:30] 873*2^1506819-1 is not prime. Res64: F27B01290334EDEE Time : 0.0 sec. user=mdettweiler [2018-04-11 19:53:30] 909*2^1506819-1 is not prime. Res64: FCC53607F876AAA1 Time : 0.0 sec. user=mdettweiler [2018-04-11 19:53:31] 949*2^1506819-1 is not prime. Res64: 5BDA45BB2FEDC2C9 Time : 0.0 sec. user=mdettweiler [2018-04-11 20:05:47] 955*2^1506819-1 is not prime. Res64: 1F42C8C061417489 Time : 0.0 sec. user=mdettweiler [2018-04-11 20:05:49] 629*2^1506820-1 is not prime. Res64: 50924FE35C78DC84 Time : 0.0 sec. user=mdettweiler [2018-04-11 20:05:50] 743*2^1506820-1 is not prime. Res64: 992CDF94857E5FCF Time : 0.0 sec. user=mdettweiler [2018-04-11 20:05:51] 773*2^1506820-1 is not prime. Res64: AD889B9DE5147E9C Time : 0.0 sec. user=mdettweiler [2018-04-11 20:05:53] 777*2^1506820-1 is not prime. Res64: D6B796BB449E3B1D Time : 0.0 sec. user=mdettweiler [2018-04-11 20:07:56] 857*2^1506820-1 is not prime. Res64: B2BC7D8061911725 Time : 0.0 sec. user=mdettweiler [2018-04-11 20:07:56] 999*2^1506820-1 is not prime. Res64: 133B0BF0BF3F7410 Time : 0.0 sec. user=mdettweiler [2018-04-11 20:07:58] 627*2^1506821-1 is not prime. Res64: BE1F6AC63F01F235 Time : 0.0 sec. user=mdettweiler [2018-04-11 20:07:58] 669*2^1506821-1 is not prime. Res64: C520234D020E1EA6 Time : 0.0 sec. user=mdettweiler [2018-04-11 20:07:59] 727*2^1506821-1 is not prime. Res64: 8D3072C431375113 Time : 0.0 sec. user=mdettweiler [2018-04-11 20:35:34] 861*2^1506821-1 is not prime. Res64: 3B443B8C73930224 Time : 0.0 sec. user=mdettweiler [2018-04-11 20:35:35] 879*2^1506821-1 is not prime. Res64: BF138E7920745103 Time : 0.0 sec. user=mdettweiler [2018-04-11 20:35:35] 927*2^1506821-1 is not prime. Res64: 248955C5DE57493C Time : 0.0 sec. user=mdettweiler [2018-04-11 20:35:35] 615*2^1506822-1 is not prime. Res64: F4EE00E8E9ED54E5 Time : 0.0 sec. user=mdettweiler [2018-04-11 20:35:35] 681*2^1506822-1 is not prime. Res64: 0129FD75ACC2D83B Time : 0.0 sec. user=mdettweiler [2018-04-11 20:44:07] 741*2^1506822-1 is not prime. Res64: D33AA642AD1F2575 Time : 0.0 sec. user=mdettweiler [2018-04-11 20:44:08] 807*2^1506822-1 is not prime. Res64: 759A7ADC936ECBA6 Time : 0.0 sec. user=mdettweiler [2018-04-11 20:44:08] 815*2^1506822-1 is not prime. Res64: 7BC7D0031378B33F Time : 0.0 sec. user=mdettweiler [2018-04-11 20:44:08] 903*2^1506822-1 is not prime. Res64: B9F76A3EB4D590D5 Time : 0.0 sec. user=mdettweiler [2018-04-11 20:44:09] 915*2^1506822-1 is not prime. Res64: 30E979651D9349F4 Time : 0.0 sec. user=mdettweiler [2018-04-11 20:56:26] 917*2^1506822-1 is not prime. Res64: 7FB53CD471321EEE Time : 0.0 sec. user=mdettweiler [2018-04-11 20:56:26] 945*2^1506822-1 is not prime. Res64: AF3942F14958882F Time : 0.0 sec. user=mdettweiler [2018-04-11 20:56:27] 891*2^1506823-1 is not prime. Res64: ACB86399CC7E750D Time : 0.0 sec. user=mdettweiler [2018-04-11 20:56:27] 683*2^1506824-1 is not prime. Res64: A44AA9563E1E61AC Time : 0.0 sec. user=mdettweiler [2018-04-11 20:56:27] 753*2^1506824-1 is not prime. Res64: CC3AF9287AAE927D Time : 0.0 sec. user=mdettweiler [2018-04-11 20:57:55] 825*2^1506824-1 is not prime. Res64: B69D7C0E522C1F23 Time : 0.0 sec. user=mdettweiler [2018-04-11 20:57:56] 899*2^1506824-1 is not prime. Res64: 6AD94127000FCE01 Time : 0.0 sec. user=mdettweiler [2018-04-11 20:57:56] 917*2^1506824-1 is not prime. Res64: 305A9C9214089EEE Time : 0.0 sec. user=mdettweiler [2018-04-11 20:57:56] 685*2^1506825-1 is not prime. Res64: 5AA0EF2B823A281D Time : 0.0 sec. user=mdettweiler [2018-04-11 20:57:56] 705*2^1506825-1 is not prime. Res64: C1A9C17FAAC31B0B Time : 0.0 sec. user=mdettweiler [2018-04-11 21:25:32] 717*2^1506825-1 is not prime. Res64: 614BC456F865C141 Time : 0.0 sec. user=mdettweiler [2018-04-11 21:25:32] 811*2^1506825-1 is not prime. Res64: 1592376E67B0CFC7 Time : 0.0 sec. user=mdettweiler [2018-04-11 21:25:32] 647*2^1506826-1 is not prime. Res64: 348A9EE029A8AF7C Time : 0.0 sec. user=mdettweiler [2018-04-11 21:25:32] 783*2^1506826-1 is not prime. Res64: 18AE9E43ECEE29FA Time : 0.0 sec. user=mdettweiler [2018-04-11 21:25:33] 861*2^1506826-1 is not prime. Res64: 88839A6A78C457E7 Time : 0.0 sec. user=mdettweiler [2018-04-11 21:33:55] 633*2^1506827-1 is not prime. Res64: 63E73AA238CA7FAB Time : 0.0 sec. user=mdettweiler [2018-04-11 21:33:55] 685*2^1506827-1 is not prime. Res64: 5FF762B1D38A40C5 Time : 0.0 sec. user=mdettweiler [2018-04-11 21:33:55] 735*2^1506827-1 is not prime. Res64: 7BE608753D7A735A Time : 0.0 sec. user=mdettweiler [2018-04-11 21:33:55] 775*2^1506827-1 is not prime. Res64: 5FEDE00362C9AB84 Time : 0.0 sec. user=mdettweiler [2018-04-11 21:33:56] 801*2^1506827-1 is not prime. Res64: C56BF322CCCD7FCB Time : 0.0 sec. user=mdettweiler [2018-04-11 21:45:52] 895*2^1506827-1 is not prime. Res64: F5BD789450A32397 Time : 0.0 sec. user=mdettweiler [2018-04-11 21:45:52] 939*2^1506827-1 is not prime. Res64: FB6481BAFBD60FA5 Time : 0.0 sec. user=mdettweiler [2018-04-11 21:45:53] 979*2^1506827-1 is not prime. Res64: 42EFB75EB4A253FB Time : 0.0 sec. user=mdettweiler [2018-04-11 21:45:53] 605*2^1506828-1 is not prime. Res64: A94D0251EAFD4FCD Time : 0.0 sec. user=mdettweiler [2018-04-11 21:45:53] 695*2^1506828-1 is not prime. Res64: B6A01674B71B9E83 Time : 0.0 sec. user=mdettweiler [2018-04-11 21:47:17] 707*2^1506828-1 is not prime. Res64: B59E19EEB9AF3EAA Time : 0.0 sec. user=mdettweiler [2018-04-11 21:47:17] 735*2^1506828-1 is not prime. Res64: AF1EDFC1DA0624E6 Time : 0.0 sec. user=mdettweiler [2018-04-11 21:47:17] 875*2^1506828-1 is not prime. Res64: 82BBA8D4934D5DD3 Time : 0.0 sec. user=mdettweiler [2018-04-11 21:47:18] 899*2^1506828-1 is not prime. Res64: 6BA63239B40931F6 Time : 0.0 sec. user=mdettweiler [2018-04-11 21:47:18] 609*2^1506829-1 is not prime. Res64: FD1E933056C7B656 Time : 0.0 sec. user=mdettweiler [2018-04-11 22:15:17] 661*2^1506829-1 is not prime. Res64: 9A6B611FCCF1CD3B Time : 0.0 sec. user=mdettweiler [2018-04-11 22:15:18] 771*2^1506829-1 is not prime. Res64: F09C832FB4274CDC Time : 0.0 sec. user=mdettweiler [2018-04-11 22:15:18] 885*2^1506829-1 is not prime. Res64: B6EA0089AD2459D9 Time : 0.0 sec. user=mdettweiler [2018-04-11 22:15:18] 951*2^1506829-1 is not prime. Res64: 94523B2D66700E62 Time : 0.0 sec. user=mdettweiler [2018-04-11 22:15:19] 645*2^1506830-1 is not prime. Res64: 3C7E4112E345D872 Time : 0.0 sec. user=mdettweiler [2018-04-11 22:23:21] 677*2^1506830-1 is not prime. Res64: D4F3BCF4B9EEF38C Time : 0.0 sec. user=mdettweiler [2018-04-11 22:23:21] 857*2^1506830-1 is not prime. Res64: CD9218A5E4C07EC5 Time : 0.0 sec. user=mdettweiler [2018-04-11 22:23:22] 927*2^1506830-1 is not prime. Res64: A1377DFF591502C9 Time : 0.0 sec. user=mdettweiler [2018-04-11 22:23:22] 649*2^1506831-1 is not prime. Res64: 40330BC1D7D09E07 Time : 0.0 sec. user=mdettweiler [2018-04-11 22:23:22] 679*2^1506831-1 is not prime. Res64: 3CB6BB63302B6848 Time : 0.0 sec. user=mdettweiler [2018-04-11 22:35:27] 709*2^1506831-1 is not prime. Res64: 80ECC164FACE877F Time : 0.0 sec. user=mdettweiler [2018-04-11 22:35:27] 723*2^1506831-1 is not prime. Res64: 840D66EAFDA3B436 Time : 0.0 sec. user=mdettweiler [2018-04-11 22:35:27] 909*2^1506831-1 is not prime. Res64: DD0B10FE5CED87FF Time : 0.0 sec. user=mdettweiler [2018-04-11 22:35:27] 695*2^1506832-1 is not prime. Res64: FC54C5FFFD36F321 Time : 0.0 sec. user=mdettweiler [2018-04-11 22:35:28] 959*2^1506832-1 is not prime. Res64: 3B106E99F6B6A1A1 Time : 0.0 sec. user=mdettweiler [2018-04-11 22:36:06] 615*2^1506833-1 is not prime. Res64: C2F421E5B562437B Time : 0.0 sec. user=mdettweiler [2018-04-11 22:36:06] 619*2^1506833-1 is not prime. Res64: DE31290D1C154673 Time : 0.0 sec. user=mdettweiler [2018-04-11 22:36:07] 811*2^1506833-1 is not prime. Res64: F3BF584996DEDA9D Time : 0.0 sec. user=mdettweiler [2018-04-11 22:36:07] 967*2^1506833-1 is not prime. Res64: 421A5163268F0BA9 Time : 0.0 sec. user=mdettweiler [2018-04-11 22:36:07] 651*2^1506834-1 is not prime. Res64: 22EB05D0A2DE7047 Time : 0.0 sec. user=mdettweiler [2018-04-11 23:05:13] 705*2^1506834-1 is not prime. Res64: 2E571555872861AA Time : 0.0 sec. user=mdettweiler [2018-04-11 23:05:15] 711*2^1506834-1 is not prime. Res64: BF0D713BBFC828AB Time : 0.0 sec. user=mdettweiler [2018-04-11 23:05:16] 773*2^1506834-1 is not prime. Res64: 7948ED56A9B4D888 Time : 0.0 sec. user=mdettweiler [2018-04-11 23:05:18] 791*2^1506834-1 is not prime. Res64: 092B0470C8F7EEF2 Time : 0.0 sec. user=mdettweiler [2018-04-11 23:05:20] 905*2^1506834-1 is not prime. Res64: C3C1B4D2ADD61348 Time : 0.0 sec. user=mdettweiler [2018-04-11 23:13:15] 801*2^1506835-1 is not prime. Res64: DD7083DB5F69D6D8 Time : 0.0 sec. user=mdettweiler [2018-04-11 23:13:15] 853*2^1506835-1 is not prime. Res64: 0F5D34FFEA55346F Time : 0.0 sec. user=mdettweiler [2018-04-11 23:13:15] 951*2^1506835-1 is not prime. Res64: 4686604F094C270F Time : 0.0 sec. user=mdettweiler [2018-04-11 23:13:16] 635*2^1506836-1 is not prime. Res64: 5AFA79C59CD35B82 Time : 0.0 sec. user=mdettweiler [2018-04-11 23:13:16] 659*2^1506836-1 is not prime. Res64: CD72B047E80ADEB2 Time : 0.0 sec. user=mdettweiler [2018-04-11 23:25:33] 677*2^1506836-1 is not prime. Res64: B85D7318956A4B7F Time : 0.0 sec. user=mdettweiler [2018-04-11 23:25:33] 759*2^1506836-1 is not prime. Res64: A0F127BFDF47735D Time : 0.0 sec. user=mdettweiler [2018-04-11 23:25:33] 825*2^1506836-1 is not prime. Res64: CE943D2B392C03C0 Time : 0.0 sec. user=mdettweiler [2018-04-11 23:25:34] 837*2^1506836-1 is not prime. Res64: C889DC176881A411 Time : 0.0 sec. user=mdettweiler [2018-04-11 23:25:34] 875*2^1506836-1 is not prime. Res64: F4D2FD65D503CC2B Time : 0.0 sec. user=mdettweiler [2018-04-11 23:26:04] 893*2^1506836-1 is not prime. Res64: 846FD939BEB6248F Time : 0.0 sec. user=mdettweiler [2018-04-11 23:26:04] 969*2^1506836-1 is not prime. Res64: 56E972C7F5FF80E0 Time : 0.0 sec. user=mdettweiler [2018-04-11 23:26:04] 675*2^1506837-1 is not prime. Res64: B0A2EFD3D887E070 Time : 0.0 sec. user=mdettweiler [2018-04-11 23:26:05] 681*2^1506837-1 is not prime. Res64: 58191F208BE94693 Time : 0.0 sec. user=mdettweiler [2018-04-11 23:26:05] 781*2^1506837-1 is not prime. Res64: 81AA7486D5C88492 Time : 0.0 sec. user=mdettweiler [2018-04-11 23:55:10] 795*2^1506837-1 is not prime. Res64: CA8EED605850989B Time : 0.0 sec. user=mdettweiler [2018-04-11 23:55:10] 817*2^1506837-1 is not prime. Res64: A22D2AD2166CED9D Time : 0.0 sec. user=mdettweiler [2018-04-11 23:55:10] 603*2^1506838-1 is not prime. Res64: A52E08EC50428710 Time : 0.0 sec. user=mdettweiler [2018-04-11 23:55:10] 621*2^1506838-1 is not prime. Res64: 8A7DF67273832F7B Time : 0.0 sec. user=mdettweiler [2018-04-11 23:55:11] 681*2^1506838-1 is not prime. Res64: 16B09F25AF7EA7AE Time : 0.0 sec.