user=mdettweiler [2017-05-23 00:05:37] 789*2^1454756-1 is not prime. Res64: 5D57999209FB5599 Time : 0.0 sec. user=mdettweiler [2017-05-23 00:05:39] 923*2^1454756-1 is not prime. Res64: ADD5724350D0D252 Time : 0.0 sec. user=mdettweiler [2017-05-23 00:05:40] 717*2^1454757-1 is not prime. Res64: C74F6EAC82E396F9 Time : 0.0 sec. user=mdettweiler [2017-05-23 00:05:42] 765*2^1454757-1 is not prime. Res64: 435F969B0A841FB6 Time : 0.0 sec. user=mdettweiler [2017-05-23 00:05:42] 781*2^1454757-1 is not prime. Res64: EF3F618035F1B0A6 Time : 0.0 sec. user=mdettweiler [2017-05-23 00:12:46] 611*2^1454758-1 is not prime. Res64: 822B0F0B193A072C Time : 0.0 sec. user=mdettweiler [2017-05-23 00:12:46] 621*2^1454758-1 is not prime. Res64: 94F97C89DC26B1F1 Time : 0.0 sec. user=mdettweiler [2017-05-23 00:12:47] 663*2^1454758-1 is not prime. Res64: 618EE4985D36CCFE Time : 0.0 sec. user=mdettweiler [2017-05-23 00:12:47] 681*2^1454758-1 is not prime. Res64: 6C22A9F01FFDD7B9 Time : 0.0 sec. user=mdettweiler [2017-05-23 00:12:48] 737*2^1454758-1 is not prime. Res64: 3BCDE7D7B2664139 Time : 0.0 sec. user=mdettweiler [2017-05-23 00:20:45] 825*2^1454758-1 is not prime. Res64: C2DEC91B7CA84ED4 Time : 0.0 sec. user=mdettweiler [2017-05-23 00:20:46] 975*2^1454758-1 is not prime. Res64: DDE1E83FD0E9C472 Time : 0.0 sec. user=mdettweiler [2017-05-23 00:20:46] 675*2^1454759-1 is not prime. Res64: 6860A08C9589CE8C Time : 0.0 sec. user=mdettweiler [2017-05-23 00:20:46] 771*2^1454759-1 is not prime. Res64: FA741D99E2B308DC Time : 0.0 sec. user=mdettweiler [2017-05-23 00:20:46] 789*2^1454759-1 is not prime. Res64: 9551694B66B28638 Time : 0.0 sec. user=mdettweiler [2017-05-23 00:43:08] 799*2^1454759-1 is not prime. Res64: 99A7F5EA0AEF7883 Time : 0.0 sec. user=mdettweiler [2017-05-23 00:43:09] 841*2^1454759-1 is not prime. Res64: 664F4006A5C3E9A5 Time : 0.0 sec. user=mdettweiler [2017-05-23 00:43:09] 859*2^1454759-1 is not prime. Res64: BEA35742CFAFA2D5 Time : 0.0 sec. user=mdettweiler [2017-05-23 00:43:09] 909*2^1454759-1 is not prime. Res64: C39117D283CD59B7 Time : 0.0 sec. user=mdettweiler [2017-05-23 00:43:09] 939*2^1454759-1 is not prime. Res64: 165C525931F43AF7 Time : 0.0 sec. user=mdettweiler [2017-05-23 00:51:40] 969*2^1454759-1 is not prime. Res64: DC0A0CA1C96E9B97 Time : 0.0 sec. user=mdettweiler [2017-05-23 00:51:40] 635*2^1454760-1 is not prime. Res64: 9ABCB00CE636A55B Time : 0.0 sec. user=mdettweiler [2017-05-23 00:51:40] 845*2^1454760-1 is not prime. Res64: 33BFA5402B2F1F5F Time : 0.0 sec. user=mdettweiler [2017-05-23 00:51:40] 879*2^1454760-1 is not prime. Res64: AB1192BD11F882DB Time : 0.0 sec. user=mdettweiler [2017-05-23 00:51:41] 905*2^1454760-1 is not prime. Res64: 820A9D169B86928F Time : 0.0 sec. user=mdettweiler [2017-05-23 00:58:35] 929*2^1454760-1 is not prime. Res64: D63E774FB639E92F Time : 0.0 sec. user=mdettweiler [2017-05-23 00:58:35] 957*2^1454760-1 is not prime. Res64: DEFBCC83CAA07E1F Time : 0.0 sec. user=mdettweiler [2017-05-23 00:58:35] 983*2^1454760-1 is not prime. Res64: 980717331656D3AF Time : 0.0 sec. user=mdettweiler [2017-05-23 00:58:35] 999*2^1454760-1 is not prime. Res64: 660F34E2D9F88489 Time : 0.0 sec. user=mdettweiler [2017-05-23 00:58:36] 717*2^1454761-1 is not prime. Res64: E27635B1F37134D9 Time : 0.0 sec. user=mdettweiler [2017-05-23 01:06:15] 769*2^1454761-1 is not prime. Res64: 43491B02550F719E Time : 0.0 sec. user=mdettweiler [2017-05-23 01:06:15] 777*2^1454761-1 is not prime. Res64: 3128CE51E6869C21 Time : 0.0 sec. user=mdettweiler [2017-05-23 01:06:15] 807*2^1454761-1 is not prime. Res64: 1205A41B0438E38A Time : 0.0 sec. user=mdettweiler [2017-05-23 01:06:16] 819*2^1454761-1 is not prime. Res64: 2DF1E81E4CB007C7 Time : 0.0 sec. user=mdettweiler [2017-05-23 01:06:16] 871*2^1454761-1 is not prime. Res64: 0BD67551094F6F29 Time : 0.0 sec. user=mdettweiler [2017-05-23 01:28:35] 877*2^1454761-1 is not prime. Res64: BCE33F37B86078A7 Time : 0.0 sec. user=mdettweiler [2017-05-23 01:28:36] 937*2^1454761-1 is not prime. Res64: A4A30266AB2C5AAD Time : 0.0 sec. user=mdettweiler [2017-05-23 01:28:37] 939*2^1454761-1 is not prime. Res64: 3A0D6339F7287A31 Time : 0.0 sec. user=mdettweiler [2017-05-23 01:28:38] 987*2^1454761-1 is not prime. Res64: 08AFD7FFBAF8D7FB Time : 0.0 sec. user=mdettweiler [2017-05-23 01:28:39] 713*2^1454762-1 is not prime. Res64: F181E2E1CBEF25C4 Time : 0.0 sec. user=mdettweiler [2017-05-23 01:38:00] 791*2^1454762-1 is not prime. Res64: 9BD3BB9F81AE6337 Time : 0.0 sec. user=mdettweiler [2017-05-23 01:38:00] 797*2^1454762-1 is not prime. Res64: 21E62E040FEF8656 Time : 0.0 sec. user=mdettweiler [2017-05-23 01:38:01] 867*2^1454762-1 is not prime. Res64: 436B2AC37E2ECE16 Time : 0.0 sec. user=mdettweiler [2017-05-23 01:38:01] 887*2^1454762-1 is not prime. Res64: 5F718E56F0321F4D Time : 0.0 sec. user=mdettweiler [2017-05-23 01:38:01] 921*2^1454762-1 is not prime. Res64: B46A3F17ED384879 Time : 0.0 sec. user=mdettweiler [2017-05-23 01:44:51] 995*2^1454762-1 is not prime. Res64: 1D0B7EB2ED76DD53 Time : 0.0 sec. user=mdettweiler [2017-05-23 01:44:52] 609*2^1454763-1 is not prime. Res64: C9AB6224C1566D78 Time : 0.0 sec. user=mdettweiler [2017-05-23 01:44:52] 679*2^1454763-1 is not prime. Res64: 8B0C1A27A9E44DE3 Time : 0.0 sec. user=mdettweiler [2017-05-23 01:44:52] 705*2^1454763-1 is not prime. Res64: B02074B9AD8C9C93 Time : 0.0 sec. user=mdettweiler [2017-05-23 01:44:52] 819*2^1454763-1 is not prime. Res64: 44919F706303869A Time : 0.0 sec. user=mdettweiler [2017-05-23 01:52:37] 835*2^1454763-1 is not prime. Res64: B42112CC471AFF6B Time : 0.0 sec. user=mdettweiler [2017-05-23 01:52:37] 919*2^1454763-1 is not prime. Res64: 2E5557FC79849562 Time : 0.0 sec. user=mdettweiler [2017-05-23 01:52:38] 615*2^1454764-1 is not prime. Res64: 0A18B5870E98DA39 Time : 0.0 sec. user=mdettweiler [2017-05-23 01:52:38] 687*2^1454764-1 is not prime. Res64: 31C8772EE3EB159E Time : 0.0 sec. user=mdettweiler [2017-05-23 01:52:38] 719*2^1454764-1 is not prime. Res64: 64CF02C76F3F130C Time : 0.0 sec. user=mdettweiler [2017-05-23 02:15:49] 723*2^1454764-1 is not prime. Res64: 4B2E512DD918FD6F Time : 0.0 sec. user=mdettweiler [2017-05-23 02:15:49] 863*2^1454764-1 is not prime. Res64: 91AFECD9A20833AA Time : 0.0 sec. user=mdettweiler [2017-05-23 02:15:49] 953*2^1454764-1 is not prime. Res64: C42706C9944B5C94 Time : 0.0 sec. user=mdettweiler [2017-05-23 02:15:50] 781*2^1454765-1 is not prime. Res64: C1C91E58B2F0B552 Time : 0.0 sec. user=mdettweiler [2017-05-23 02:15:50] 611*2^1454766-1 is not prime. Res64: 137F6B663202909B Time : 0.0 sec. user=mdettweiler [2017-05-23 02:24:30] 767*2^1454766-1 is not prime. Res64: BF22D2BCEA71B3A6 Time : 0.0 sec. user=mdettweiler [2017-05-23 02:24:31] 807*2^1454766-1 is not prime. Res64: 22DADC71E9EBE0D1 Time : 0.0 sec. user=mdettweiler [2017-05-23 02:24:31] 881*2^1454766-1 is not prime. Res64: 555984F85B95CCC7 Time : 0.0 sec. user=mdettweiler [2017-05-23 02:24:31] 971*2^1454766-1 is not prime. Res64: F669A9D5E72C0883 Time : 0.0 sec. user=mdettweiler [2017-05-23 02:24:31] 619*2^1454767-1 is not prime. Res64: 02FCDCB37D62091F Time : 0.0 sec. user=mdettweiler [2017-05-23 02:31:19] 829*2^1454767-1 is not prime. Res64: 1A6862919DB55A86 Time : 0.0 sec. user=mdettweiler [2017-05-23 02:31:20] 859*2^1454767-1 is not prime. Res64: A46AC5EA15AC167C Time : 0.0 sec. user=mdettweiler [2017-05-23 02:31:20] 871*2^1454767-1 is not prime. Res64: 70563814DE99B9C0 Time : 0.0 sec. user=mdettweiler [2017-05-23 02:31:20] 909*2^1454767-1 is not prime. Res64: 672BC9A207CC97C8 Time : 0.0 sec. user=mdettweiler [2017-05-23 02:31:21] 933*2^1454767-1 is not prime. Res64: 1E069A720076E76A Time : 0.0 sec. user=mdettweiler [2017-05-23 02:39:36] 985*2^1454767-1 is not prime. Res64: A3590E92BBE64F91 Time : 0.0 sec. user=mdettweiler [2017-05-23 02:39:37] 669*2^1454768-1 is not prime. Res64: 0FC85B6C227B01DB Time : 0.0 sec. user=mdettweiler [2017-05-23 02:39:37] 677*2^1454768-1 is not prime. Res64: 2BFA60B384A67743 Time : 0.0 sec. user=mdettweiler [2017-05-23 02:39:37] 759*2^1454768-1 is not prime. Res64: 188B015BC9507D4E Time : 0.0 sec. user=mdettweiler [2017-05-23 02:39:38] 803*2^1454768-1 is not prime. Res64: 8347ECA452CABA01 Time : 0.0 sec. user=mdettweiler [2017-05-23 03:02:05] 669*2^1454769-1 is not prime. Res64: 6D2A0E0B808239D9 Time : 0.0 sec. user=mdettweiler [2017-05-23 03:02:07] 685*2^1454769-1 is not prime. Res64: 2595BFECF7048776 Time : 0.0 sec. user=mdettweiler [2017-05-23 03:02:07] 789*2^1454769-1 is not prime. Res64: D40A2519E3181C00 Time : 0.0 sec. user=mdettweiler [2017-05-23 03:02:08] 817*2^1454769-1 is not prime. Res64: DE333FAF10A4684D Time : 0.0 sec. user=mdettweiler [2017-05-23 03:02:08] 837*2^1454769-1 is not prime. Res64: 2830B5C64CE04DE8 Time : 0.0 sec. user=mdettweiler [2017-05-23 03:10:55] 889*2^1454769-1 is not prime. Res64: 4BC3976439CE5431 Time : 0.0 sec. user=mdettweiler [2017-05-23 03:10:56] 945*2^1454769-1 is not prime. Res64: 173122F97E67454D Time : 0.0 sec. user=mdettweiler [2017-05-23 03:10:56] 999*2^1454769-1 is not prime. Res64: 511B1179DAF98709 Time : 0.0 sec. user=mdettweiler [2017-05-23 03:10:56] 665*2^1454770-1 is not prime. Res64: E07FC211392065D1 Time : 0.0 sec. user=mdettweiler [2017-05-23 03:10:57] 695*2^1454770-1 is not prime. Res64: 82FD25FEB0525CAE Time : 0.0 sec. user=mdettweiler [2017-05-23 03:17:43] 765*2^1454770-1 is not prime. Res64: CDA3BD5F49B78003 Time : 0.0 sec. user=mdettweiler [2017-05-23 03:17:43] 821*2^1454770-1 is not prime. Res64: FB2C61C099607773 Time : 0.0 sec. user=mdettweiler [2017-05-23 03:17:43] 911*2^1454770-1 is not prime. Res64: 0D11E2922EA2C935 Time : 0.0 sec. user=mdettweiler [2017-05-23 03:17:44] 933*2^1454770-1 is not prime. Res64: 327568BC95EAF0F1 Time : 0.0 sec. user=mdettweiler [2017-05-23 03:17:44] 941*2^1454770-1 is not prime. Res64: 93317B934A052042 Time : 0.0 sec. user=mdettweiler [2017-05-23 03:26:45] 981*2^1454770-1 is not prime. Res64: 951A39702363C293 Time : 0.0 sec. user=mdettweiler [2017-05-23 03:26:46] 987*2^1454770-1 is not prime. Res64: FBA70725303C33D0 Time : 0.0 sec. user=mdettweiler [2017-05-23 03:26:47] 675*2^1454771-1 is not prime. Res64: A0C0623D490759C2 Time : 0.0 sec. user=mdettweiler [2017-05-23 03:26:47] 693*2^1454771-1 is not prime. Res64: 425CEBB29DBF163F Time : 0.0 sec. user=mdettweiler [2017-05-23 03:26:48] 705*2^1454771-1 is not prime. Res64: 0909C8B321F79AEE Time : 0.0 sec. user=mdettweiler [2017-05-23 03:48:49] 909*2^1454771-1 is not prime. Res64: AC7A0CA46CFB8EC2 Time : 0.0 sec. user=mdettweiler [2017-05-23 03:48:50] 949*2^1454771-1 is not prime. Res64: A197DAFC9E1E9E79 Time : 0.0 sec. user=mdettweiler [2017-05-23 03:48:51] 993*2^1454771-1 is not prime. Res64: A79EA2C0A1B6A000 Time : 0.0 sec. user=mdettweiler [2017-05-23 03:48:52] 693*2^1454772-1 is not prime. Res64: 2AC83E937AB962FE Time : 0.0 sec. user=mdettweiler [2017-05-23 03:48:53] 695*2^1454772-1 is not prime. Res64: 3A70AA9C374F227E Time : 0.0 sec. user=mdettweiler [2017-05-23 03:57:20] 819*2^1454772-1 is not prime. Res64: 968432730CB0B403 Time : 0.0 sec. user=mdettweiler [2017-05-23 03:57:21] 899*2^1454772-1 is not prime. Res64: E4CE8A8B17B9E096 Time : 0.0 sec. user=mdettweiler [2017-05-23 03:57:22] 685*2^1454773-1 is not prime. Res64: 0C2F043F29DEE57E Time : 0.0 sec. user=mdettweiler [2017-05-23 03:57:22] 751*2^1454773-1 is not prime. Res64: E461869B9B98055D Time : 0.0 sec. user=mdettweiler [2017-05-23 03:57:23] 895*2^1454773-1 is not prime. Res64: F868B9592397BAC9 Time : 0.0 sec. user=mdettweiler [2017-05-23 04:04:05] 951*2^1454773-1 is not prime. Res64: 39591E378D8DBEBA Time : 0.0 sec. user=mdettweiler [2017-05-23 04:04:06] 961*2^1454773-1 is not prime. Res64: AF1248E6691EE781 Time : 0.0 sec. user=mdettweiler [2017-05-23 04:04:06] 615*2^1454774-1 is not prime. Res64: C9956D958932D358 Time : 0.0 sec. user=mdettweiler [2017-05-23 04:04:07] 705*2^1454774-1 is not prime. Res64: 32B2A15B461FC171 Time : 0.0 sec. user=mdettweiler [2017-05-23 04:04:08] 731*2^1454774-1 is not prime. Res64: A4568A82879E39C8 Time : 0.0 sec. user=mdettweiler [2017-05-23 04:12:15] 753*2^1454774-1 is not prime. Res64: 23C466854CFC4D66 Time : 0.0 sec. user=mdettweiler [2017-05-23 04:12:15] 825*2^1454774-1 is not prime. Res64: FD9FD2BEE433F933 Time : 0.0 sec. user=mdettweiler [2017-05-23 04:12:15] 921*2^1454774-1 is not prime. Res64: 986330879EAE76AD Time : 0.0 sec. user=mdettweiler [2017-05-23 04:12:16] 993*2^1454774-1 is not prime. Res64: 253591BDC41AFB0E Time : 0.0 sec. user=mdettweiler [2017-05-23 04:12:16] 691*2^1454775-1 is not prime. Res64: 1BB42E96C146A72C Time : 0.0 sec. user=mdettweiler [2017-05-23 04:34:35] 775*2^1454775-1 is not prime. Res64: DA17BEA2130F7276 Time : 0.0 sec. user=mdettweiler [2017-05-23 04:34:35] 873*2^1454775-1 is not prime. Res64: C15EA94BE35495F1 Time : 0.0 sec. user=mdettweiler [2017-05-23 04:34:35] 961*2^1454775-1 is not prime. Res64: 20C6B80423D5F656 Time : 0.0 sec. user=mdettweiler [2017-05-23 04:34:35] 999*2^1454776-1 is not prime. Res64: AFE2F379C01AE99A Time : 0.0 sec. user=mdettweiler [2017-05-23 04:34:36] 607*2^1454777-1 is not prime. Res64: 0EF90267D2CA0781 Time : 0.0 sec. user=mdettweiler [2017-05-23 04:42:54] 715*2^1454777-1 is not prime. Res64: 27A1048DA05F197A Time : 0.0 sec. user=mdettweiler [2017-05-23 04:42:54] 795*2^1454777-1 is not prime. Res64: 096A9722830DFF60 Time : 0.0 sec. user=mdettweiler [2017-05-23 04:42:54] 831*2^1454777-1 is not prime. Res64: 7A569FFED7F0482A Time : 0.0 sec. user=mdettweiler [2017-05-23 04:42:54] 957*2^1454777-1 is not prime. Res64: 2641BBA5A003AF6C Time : 0.0 sec. user=mdettweiler [2017-05-23 04:42:54] 967*2^1454777-1 is not prime. Res64: 319D399C924E2ADB Time : 0.0 sec. user=mdettweiler [2017-05-23 04:49:47] 671*2^1454778-1 is not prime. Res64: 4C84279038213179 Time : 0.0 sec. user=mdettweiler [2017-05-23 04:49:47] 755*2^1454778-1 is not prime. Res64: FB8B7B15FAB73650 Time : 0.0 sec. user=mdettweiler [2017-05-23 04:49:47] 843*2^1454778-1 is not prime. Res64: 5B488E1ACD783CFB Time : 0.0 sec. user=mdettweiler [2017-05-23 04:49:48] 881*2^1454778-1 is not prime. Res64: 2C25C46A881DC52D Time : 0.0 sec. user=mdettweiler [2017-05-23 04:49:48] 603*2^1454779-1 is not prime. Res64: F7C40BA94CDCB128 Time : 0.0 sec. user=mdettweiler [2017-05-23 04:57:49] 619*2^1454779-1 is not prime. Res64: F3460F84D5F9EB70 Time : 0.0 sec. user=mdettweiler [2017-05-23 04:57:49] 709*2^1454779-1 is not prime. Res64: 45106FE70840DB88 Time : 0.0 sec. user=mdettweiler [2017-05-23 04:57:50] 841*2^1454779-1 is not prime. Res64: CF6FD3C27E156044 Time : 0.0 sec. user=mdettweiler [2017-05-23 04:57:50] 855*2^1454779-1 is not prime. Res64: 413403D543887E6F Time : 0.0 sec. user=mdettweiler [2017-05-23 04:57:50] 859*2^1454779-1 is not prime. Res64: C4EEDF8999C854A7 Time : 0.0 sec. user=mdettweiler [2017-05-23 05:20:08] 895*2^1454779-1 is not prime. Res64: EB8CBDB385E00913 Time : 0.0 sec. user=mdettweiler [2017-05-23 05:20:08] 925*2^1454779-1 is not prime. Res64: 2BBBE5531FBC675D Time : 0.0 sec. user=mdettweiler [2017-05-23 05:20:08] 699*2^1454780-1 is not prime. Res64: 21DEDDB200BF16E6 Time : 0.0 sec. user=mdettweiler [2017-05-23 05:20:09] 819*2^1454780-1 is not prime. Res64: 8718C38B08AC8F6B Time : 0.0 sec. user=mdettweiler [2017-05-23 05:20:09] 885*2^1454780-1 is not prime. Res64: 530AB1479FD48EE1 Time : 0.0 sec. user=mdettweiler [2017-05-23 05:28:19] 915*2^1454780-1 is not prime. Res64: E68ECB40FA8EFE0E Time : 0.0 sec. user=mdettweiler [2017-05-23 05:28:19] 999*2^1454780-1 is not prime. Res64: 3A75FFF0F97942A9 Time : 0.0 sec. user=mdettweiler [2017-05-23 05:28:19] 885*2^1454781-1 is not prime. Res64: 38648BF8C0368345 Time : 0.0 sec. user=mdettweiler [2017-05-23 05:28:20] 997*2^1454781-1 is not prime. Res64: 8C3DBD254BBED0ED Time : 0.0 sec. user=mdettweiler [2017-05-23 05:28:20] 635*2^1454782-1 is not prime. Res64: 1B054D747E7E0F99 Time : 0.0 sec. user=mdettweiler [2017-05-23 05:35:20] 717*2^1454782-1 is not prime. Res64: 2493C29F4F60CE7C Time : 0.0 sec. user=mdettweiler [2017-05-23 05:35:20] 821*2^1454782-1 is not prime. Res64: 8CC2B9C334CCEC0B Time : 0.0 sec. user=mdettweiler [2017-05-23 05:35:20] 831*2^1454782-1 is not prime. Res64: E328D07D2CBCD2E0 Time : 0.0 sec. user=mdettweiler [2017-05-23 05:35:21] 885*2^1454782-1 is not prime. Res64: ED87144361AB0B8A Time : 0.0 sec. user=mdettweiler [2017-05-23 05:35:21] 911*2^1454782-1 is not prime. Res64: 86F49DC7D3E843B7 Time : 0.0 sec. user=mdettweiler [2017-05-23 05:43:19] 915*2^1454782-1 is not prime. Res64: 0DCFFF930A1373D3 Time : 0.0 sec. user=mdettweiler [2017-05-23 05:43:19] 917*2^1454782-1 is not prime. Res64: B3D2A72CA50F4185 Time : 0.0 sec. user=mdettweiler [2017-05-23 05:43:19] 983*2^1454782-1 is not prime. Res64: 6D5A41BE35DB80FB Time : 0.0 sec. user=mdettweiler [2017-05-23 05:43:19] 721*2^1454783-1 is not prime. Res64: A6C0997300494B88 Time : 0.0 sec. user=mdettweiler [2017-05-23 05:43:20] 729*2^1454783-1 is not prime. Res64: E4B79E9CA87F19D9 Time : 0.0 sec. user=mdettweiler [2017-05-23 06:05:40] 759*2^1454783-1 is not prime. Res64: C1CC23580325082E Time : 0.0 sec. user=mdettweiler [2017-05-23 06:05:42] 775*2^1454783-1 is not prime. Res64: 1EB259EDEDAC0187 Time : 0.0 sec. user=mdettweiler [2017-05-23 06:05:43] 805*2^1454783-1 is not prime. Res64: A5A1EF7D84609E10 Time : 0.0 sec. user=mdettweiler [2017-05-23 06:05:44] 859*2^1454783-1 is not prime. Res64: 96DAEFBD57D1EE26 Time : 0.0 sec. user=mdettweiler [2017-05-23 06:05:46] 879*2^1454783-1 is not prime. Res64: 530997840720DC78 Time : 0.0 sec. user=mdettweiler [2017-05-23 06:13:49] 885*2^1454783-1 is not prime. Res64: 8260E90B78CA6624 Time : 0.0 sec. user=mdettweiler [2017-05-23 06:13:49] 663*2^1454784-1 is not prime. Res64: 5913189A2AABAF78 Time : 0.0 sec. user=mdettweiler [2017-05-23 06:13:49] 825*2^1454784-1 is not prime. Res64: A52664640635CDFE Time : 0.0 sec. user=mdettweiler [2017-05-23 06:13:50] 927*2^1454784-1 is not prime. Res64: 0C3158B2F173D458 Time : 0.0 sec. user=mdettweiler [2017-05-23 06:13:50] 645*2^1454785-1 is not prime. Res64: 58CEE94A3264126E Time : 0.0 sec. user=mdettweiler [2017-05-23 06:21:00] 649*2^1454785-1 is not prime. Res64: 9B9F5C87C00D6C9D Time : 0.0 sec. user=mdettweiler [2017-05-23 06:21:00] 687*2^1454785-1 is not prime. Res64: 8B276555DF12CA31 Time : 0.0 sec. user=mdettweiler [2017-05-23 06:21:00] 799*2^1454785-1 is not prime. Res64: 915C28CFF4187F29 Time : 0.0 sec. user=mdettweiler [2017-05-23 06:21:01] 819*2^1454785-1 is not prime. Res64: E441E25FD4ACF683 Time : 0.0 sec. user=mdettweiler [2017-05-23 06:21:01] 855*2^1454785-1 is not prime. Res64: 74FD88E6C8E005B8 Time : 0.0 sec. user=mdettweiler [2017-05-23 06:28:57] 861*2^1454785-1 is not prime. Res64: 93016CDBF9D3D416 Time : 0.0 sec. user=mdettweiler [2017-05-23 06:28:57] 867*2^1454785-1 is not prime. Res64: 55BE7889E188F9A1 Time : 0.0 sec. user=mdettweiler [2017-05-23 06:28:57] 981*2^1454785-1 is not prime. Res64: 11FDE33C22F3369D Time : 0.0 sec. user=mdettweiler [2017-05-23 06:28:57] 987*2^1454785-1 is not prime. Res64: 6B60601F2EB26E67 Time : 0.0 sec. user=mdettweiler [2017-05-23 06:28:58] 603*2^1454786-1 is not prime. Res64: 61A8F4CC2E71AEB9 Time : 0.0 sec. user=mdettweiler [2017-05-23 06:51:37] 633*2^1454786-1 is not prime. Res64: 6F14F88E28CF1C71 Time : 0.0 sec. user=mdettweiler [2017-05-23 06:51:38] 875*2^1454786-1 is not prime. Res64: AA2CCB8579CB1694 Time : 0.0 sec. user=mdettweiler [2017-05-23 06:51:38] 993*2^1454786-1 is not prime. Res64: C05FF7B41B74A425 Time : 0.0 sec. user=mdettweiler [2017-05-23 06:51:38] 825*2^1454787-1 is not prime. Res64: 17F2CF1F0E1A6DB9 Time : 0.0 sec. user=mdettweiler [2017-05-23 06:51:38] 635*2^1454788-1 is not prime. Res64: ABC1721B3BB5503C Time : 0.0 sec. user=mdettweiler [2017-05-23 06:59:27] 705*2^1454788-1 is not prime. Res64: 0C6DD4BC6917C96E Time : 0.0 sec. user=mdettweiler [2017-05-23 06:59:27] 765*2^1454788-1 is not prime. Res64: 16B41AA78D9A2936 Time : 0.0 sec. user=mdettweiler [2017-05-23 06:59:28] 887*2^1454788-1 is not prime. Res64: C5F206223205B6FC Time : 0.0 sec. user=mdettweiler [2017-05-23 06:59:28] 989*2^1454788-1 is not prime. Res64: 77DC87252B9FDCD6 Time : 0.0 sec. user=mdettweiler [2017-05-23 06:59:28] 615*2^1454789-1 is not prime. Res64: F073628596081C7A Time : 0.0 sec. user=mdettweiler [2017-05-23 07:06:40] 697*2^1454789-1 is not prime. Res64: 5D8D634C122BE5C1 Time : 0.0 sec. user=mdettweiler [2017-05-23 07:06:43] 747*2^1454789-1 is not prime. Res64: FC59FEAFCE666C69 Time : 0.0 sec. user=mdettweiler [2017-05-23 07:06:46] 781*2^1454789-1 is not prime. Res64: 539C0272802CA94D Time : 0.0 sec. user=mdettweiler [2017-05-23 07:06:47] 829*2^1454789-1 is not prime. Res64: AF3C2D9FCB0A9BFB Time : 0.0 sec. user=mdettweiler [2017-05-23 07:06:50] 879*2^1454789-1 is not prime. Res64: 82E959D7E0789F24 Time : 0.0 sec. user=juhehe [2017-05-23 07:08:34] 925*2^1454789-1 is not prime. Res64: 514BEDDFB0F8826C Time : 0.0 sec. user=mdettweiler [2017-05-23 07:14:48] 991*2^1454789-1 is not prime. Res64: B4D719C1EFE53F68 Time : 0.0 sec. user=mdettweiler [2017-05-23 07:14:48] 647*2^1454790-1 is not prime. Res64: 188EA30583F03427 Time : 0.0 sec. user=mdettweiler [2017-05-23 07:14:49] 681*2^1454790-1 is not prime. Res64: 74AB18358647BE27 Time : 0.0 sec. user=mdettweiler [2017-05-23 07:14:49] 695*2^1454790-1 is not prime. Res64: 47153B85F5E69A6E Time : 0.0 sec. user=mdettweiler [2017-05-23 07:14:49] 765*2^1454790-1 is not prime. Res64: 7650EE35EBA37A22 Time : 0.0 sec. user=mdettweiler [2017-05-23 07:40:15] 801*2^1454790-1 is not prime. Res64: 2F47A07BFB5FB239 Time : 0.0 sec. user=mdettweiler [2017-05-23 07:40:16] 673*2^1454791-1 is not prime. Res64: 12783BB323D3CD7A Time : 0.0 sec. user=mdettweiler [2017-05-23 07:40:16] 709*2^1454791-1 is not prime. Res64: 647665C8903D697C Time : 0.0 sec. user=mdettweiler [2017-05-23 07:40:16] 759*2^1454791-1 is not prime. Res64: 102792F7546A74E0 Time : 0.0 sec. user=mdettweiler [2017-05-23 07:40:17] 771*2^1454791-1 is not prime. Res64: 4C0E6352F477A88E Time : 0.0 sec. user=mdettweiler [2017-05-23 07:48:23] 871*2^1454791-1 is not prime. Res64: B6539B9B4EBC2B58 Time : 0.0 sec. user=mdettweiler [2017-05-23 07:48:23] 943*2^1454791-1 is not prime. Res64: B4220D137A277B6B Time : 0.0 sec. user=mdettweiler [2017-05-23 07:48:23] 973*2^1454791-1 is not prime. Res64: DED89B32E9E6AEBD Time : 0.0 sec. user=mdettweiler [2017-05-23 07:48:24] 993*2^1454791-1 is not prime. Res64: C1A1898482968267 Time : 0.0 sec. user=mdettweiler [2017-05-23 07:48:24] 615*2^1454792-1 is not prime. Res64: 3DDE76A309EB2DED Time : 0.0 sec. user=mdettweiler [2017-05-23 07:55:30] 617*2^1454792-1 is not prime. Res64: 3B07F6748B38A0E0 Time : 0.0 sec. user=mdettweiler [2017-05-23 07:55:30] 623*2^1454792-1 is not prime. Res64: A89EAA86F6C72CFB Time : 0.0 sec. user=mdettweiler [2017-05-23 07:55:30] 803*2^1454792-1 is not prime. Res64: BF4C4712188AFE3B Time : 0.0 sec. user=mdettweiler [2017-05-23 07:55:30] 827*2^1454792-1 is not prime. Res64: 15756E79B5415DBB Time : 0.0 sec. user=mdettweiler [2017-05-23 07:55:31] 843*2^1454792-1 is not prime. Res64: 13209D2A6EF427D4 Time : 0.0 sec. user=mdettweiler [2017-05-23 08:03:41] 929*2^1454792-1 is not prime. Res64: 592E661D0472D822 Time : 0.0 sec. user=mdettweiler [2017-05-23 08:03:45] 607*2^1454793-1 is not prime. Res64: EBF3CCC21B094B8F Time : 0.0 sec. user=mdettweiler [2017-05-23 08:03:48] 649*2^1454793-1 is not prime. Res64: EFB154900028D0BC Time : 0.0 sec. user=mdettweiler [2017-05-23 08:03:51] 681*2^1454793-1 is not prime. Res64: 62AB554A2250E85C Time : 0.0 sec. user=mdettweiler [2017-05-23 08:03:53] 735*2^1454793-1 is not prime. Res64: 56CAC62A83A22F0D Time : 0.0 sec. user=mdettweiler [2017-05-23 08:25:44] 789*2^1454793-1 is not prime. Res64: 8C3D2E031F5143A4 Time : 0.0 sec. user=mdettweiler [2017-05-23 08:25:44] 877*2^1454793-1 is not prime. Res64: AC776DE815F358FA Time : 0.0 sec. user=mdettweiler [2017-05-23 08:25:44] 611*2^1454794-1 is not prime. Res64: 20AA73882E5F8F26 Time : 0.0 sec. user=mdettweiler [2017-05-23 08:25:45] 773*2^1454794-1 is not prime. Res64: 40F13C7FE9A6809C Time : 0.0 sec. user=mdettweiler [2017-05-23 08:25:45] 827*2^1454794-1 is not prime. Res64: 8007683EEF09E1E4 Time : 0.0 sec. user=mdettweiler [2017-05-23 08:33:44] 981*2^1454794-1 is not prime. Res64: 8A3A2EA5E3DB6DE7 Time : 0.0 sec. user=mdettweiler [2017-05-23 08:33:44] 693*2^1454795-1 is not prime. Res64: DE37F49737E5CD4A Time : 0.0 sec. user=mdettweiler [2017-05-23 08:33:44] 735*2^1454795-1 is not prime. Res64: 3CDAF9F9CDD08516 Time : 0.0 sec. user=mdettweiler [2017-05-23 08:33:44] 859*2^1454795-1 is not prime. Res64: 9B4CF5BB09B93624 Time : 0.0 sec. user=mdettweiler [2017-05-23 08:33:45] 871*2^1454795-1 is not prime. Res64: 8ADB5E98EB626572 Time : 0.0 sec. user=mdettweiler [2017-05-23 08:40:58] 683*2^1454796-1 is not prime. Res64: B0EF5C6B8DCEAF3C Time : 0.0 sec. user=mdettweiler [2017-05-23 08:40:58] 705*2^1454796-1 is not prime. Res64: 375E3357B18740A6 Time : 0.0 sec. user=mdettweiler [2017-05-23 08:40:58] 749*2^1454796-1 is not prime. Res64: AA7C7FC992C6F7B9 Time : 0.0 sec. user=mdettweiler [2017-05-23 08:40:58] 789*2^1454796-1 is not prime. Res64: A485AB878981F603 Time : 0.0 sec. user=mdettweiler [2017-05-23 08:40:59] 809*2^1454796-1 is not prime. Res64: A4CA26249C7C9FAA Time : 0.0 sec. user=mdettweiler [2017-05-23 08:49:53] 687*2^1454797-1 is not prime. Res64: 36F3BFBBC275C4D2 Time : 0.0 sec. user=mdettweiler [2017-05-23 08:49:53] 805*2^1454797-1 is not prime. Res64: 092AB31891264AE9 Time : 0.0 sec. user=mdettweiler [2017-05-23 08:49:53] 871*2^1454797-1 is not prime. Res64: 549C923A572DDB3C Time : 0.0 sec. user=mdettweiler [2017-05-23 08:49:54] 895*2^1454797-1 is not prime. Res64: 1115D3D31C075A9E Time : 0.0 sec. user=mdettweiler [2017-05-23 08:49:54] 915*2^1454797-1 is not prime. Res64: B5E1A75EC34C6BD2 Time : 0.0 sec. user=mdettweiler [2017-05-23 09:11:16] 985*2^1454797-1 is not prime. Res64: 8C77C54D2B375EC4 Time : 0.0 sec. user=mdettweiler [2017-05-23 09:11:17] 677*2^1454798-1 is not prime. Res64: 08FD1B2B4C2C74AA Time : 0.0 sec. user=mdettweiler [2017-05-23 09:11:17] 825*2^1454798-1 is not prime. Res64: 4914215EA8138B21 Time : 0.0 sec. user=mdettweiler [2017-05-23 09:11:17] 833*2^1454798-1 is not prime. Res64: 58B0AF25FD433B55 Time : 0.0 sec. user=mdettweiler [2017-05-23 09:11:17] 867*2^1454798-1 is not prime. Res64: 471761E520664BD7 Time : 0.0 sec. user=mdettweiler [2017-05-23 09:19:14] 945*2^1454798-1 is not prime. Res64: 9BF591BA1D576B46 Time : 0.0 sec. user=mdettweiler [2017-05-23 09:19:14] 669*2^1454799-1 is not prime. Res64: D5DF35BF183E4CA9 Time : 0.0 sec. user=mdettweiler [2017-05-23 09:19:15] 703*2^1454799-1 is not prime. Res64: 48175887D782A0ED Time : 0.0 sec. user=mdettweiler [2017-05-23 09:19:15] 763*2^1454799-1 is not prime. Res64: 1447C72D0AC6E67D Time : 0.0 sec. user=mdettweiler [2017-05-23 09:19:15] 853*2^1454799-1 is not prime. Res64: 9CDDE9AE849F60D3 Time : 0.0 sec. user=mdettweiler [2017-05-23 09:26:29] 919*2^1454799-1 is not prime. Res64: 99D75CFED6365795 Time : 0.0 sec. user=mdettweiler [2017-05-23 09:26:30] 955*2^1454799-1 is not prime. Res64: F7EA703026D475BB Time : 0.0 sec. user=mdettweiler [2017-05-23 09:26:30] 975*2^1454799-1 is not prime. Res64: 72CA33615093FC48 Time : 0.0 sec. user=mdettweiler [2017-05-23 09:26:30] 603*2^1454800-1 is not prime. Res64: FDDB7FF0192DD6E1 Time : 0.0 sec. user=mdettweiler [2017-05-23 09:26:30] 605*2^1454800-1 is not prime. Res64: 784B5F5D0C6CE39A Time : 0.0 sec. user=mdettweiler [2017-05-23 09:35:29] 609*2^1454800-1 is not prime. Res64: B623DEC5F2F5C960 Time : 0.0 sec. user=mdettweiler [2017-05-23 09:35:30] 645*2^1454800-1 is not prime. Res64: 48B37EBAD316BEC4 Time : 0.0 sec. user=mdettweiler [2017-05-23 09:35:30] 735*2^1454800-1 is not prime. Res64: F98DE4F135F431C1 Time : 0.0 sec. user=mdettweiler [2017-05-23 09:35:30] 765*2^1454800-1 is not prime. Res64: B2855950EA0F416F Time : 0.0 sec. user=mdettweiler [2017-05-23 09:35:30] 957*2^1454800-1 is not prime. Res64: AA370E70B5EE3CBB Time : 0.0 sec. user=mdettweiler [2017-05-23 09:56:55] 669*2^1454801-1 is not prime. Res64: 64712820654BE5D8 Time : 0.0 sec. user=mdettweiler [2017-05-23 09:56:55] 741*2^1454801-1 is not prime. Res64: 524209E55C983DE6 Time : 0.0 sec. user=mdettweiler [2017-05-23 09:56:55] 789*2^1454801-1 is not prime. Res64: EAF45487C9CEC8F4 Time : 0.0 sec. user=mdettweiler [2017-05-23 09:56:56] 795*2^1454801-1 is not prime. Res64: A04FFD932F57AF15 Time : 0.0 sec. user=mdettweiler [2017-05-23 09:56:56] 865*2^1454801-1 is not prime. Res64: CC17E9630DBFAB18 Time : 0.0 sec. user=mdettweiler [2017-05-23 10:04:49] 981*2^1454801-1 is not prime. Res64: 2EB0AF5B6EB17687 Time : 0.0 sec. user=mdettweiler [2017-05-23 10:04:50] 683*2^1454802-1 is not prime. Res64: DBD9C53D5376008A Time : 0.0 sec. user=mdettweiler [2017-05-23 10:04:53] 713*2^1454802-1 is not prime. Res64: F0B42B853029133C Time : 0.0 sec. user=mdettweiler [2017-05-23 10:04:55] 765*2^1454802-1 is not prime. Res64: 6D397FD617BE2D74 Time : 0.0 sec. user=mdettweiler [2017-05-23 10:04:57] 903*2^1454802-1 is not prime. Res64: 6DBAFB89B7BD9753 Time : 0.0 sec. user=mdettweiler [2017-05-23 10:12:11] 941*2^1454802-1 is not prime. Res64: 04B905D8366603AC Time : 0.0 sec. user=mdettweiler [2017-05-23 10:12:11] 633*2^1454803-1 is not prime. Res64: D7B67BC7B40FD11F Time : 0.0 sec. user=mdettweiler [2017-05-23 10:12:11] 751*2^1454803-1 is not prime. Res64: 021EE438161E3EED Time : 0.0 sec. user=mdettweiler [2017-05-23 10:12:12] 925*2^1454803-1 is not prime. Res64: 1BDAC03EDBC806F5 Time : 0.0 sec. user=mdettweiler [2017-05-23 10:12:12] 951*2^1454803-1 is not prime. Res64: 810AA3F709CB20BF Time : 0.0 sec. user=mdettweiler [2017-05-23 10:21:12] 785*2^1454804-1 is not prime. Res64: 9683203B94DDF762 Time : 0.0 sec. user=mdettweiler [2017-05-23 10:21:12] 969*2^1454804-1 is not prime. Res64: C9FAEF7B0981FBED Time : 0.0 sec. user=mdettweiler [2017-05-23 10:21:12] 679*2^1454805-1 is not prime. Res64: BE5E8622733A3DC6 Time : 0.0 sec. user=mdettweiler [2017-05-23 10:21:13] 711*2^1454805-1 is not prime. Res64: A2EA121C48FDD1D8 Time : 0.0 sec. user=mdettweiler [2017-05-23 10:21:13] 817*2^1454805-1 is not prime. Res64: 9275DBD05901E064 Time : 0.0 sec. user=mdettweiler [2017-05-23 10:42:30] 847*2^1454805-1 is not prime. Res64: 0B6D40C1648FE6A1 Time : 0.0 sec. user=mdettweiler [2017-05-23 10:42:30] 919*2^1454805-1 is not prime. Res64: B10EBFB3BC89CE75 Time : 0.0 sec. user=mdettweiler [2017-05-23 10:42:31] 951*2^1454805-1 is not prime. Res64: 7CB3BA49BA383147 Time : 0.0 sec. user=mdettweiler [2017-05-23 10:42:31] 979*2^1454805-1 is not prime. Res64: CB4C5CC9D3EC0A27 Time : 0.0 sec. user=mdettweiler [2017-05-23 10:42:31] 657*2^1454806-1 is not prime. Res64: CB2FD271531B7BB4 Time : 0.0 sec. user=mdettweiler [2017-05-23 10:50:35] 723*2^1454806-1 is not prime. Res64: 52260F0B9AFD4F2F Time : 0.0 sec. user=mdettweiler [2017-05-23 10:50:36] 753*2^1454807-1 is not prime. Res64: 6C486B68CE984833 Time : 0.0 sec. user=mdettweiler [2017-05-23 10:50:36] 799*2^1454807-1 is not prime. Res64: 50CAE470970DBF20 Time : 0.0 sec. user=mdettweiler [2017-05-23 10:50:36] 805*2^1454807-1 is not prime. Res64: E0834EA980A02D98 Time : 0.0 sec. user=mdettweiler [2017-05-23 10:50:37] 859*2^1454807-1 is not prime. Res64: BB011C4B9ECA1CDE Time : 0.0 sec. user=mdettweiler [2017-05-23 10:57:43] 915*2^1454807-1 is not prime. Res64: F634510E67EDBE01 Time : 0.0 sec. user=mdettweiler [2017-05-23 10:57:43] 985*2^1454807-1 is not prime. Res64: 461082E6D9674B93 Time : 0.0 sec. user=mdettweiler [2017-05-23 10:57:43] 809*2^1454808-1 is not prime. Res64: 09A7B32933F134D8 Time : 0.0 sec. user=mdettweiler [2017-05-23 10:57:43] 609*2^1454809-1 is not prime. Res64: D4BD0CC93D047694 Time : 0.0 sec. user=mdettweiler [2017-05-23 10:57:44] 615*2^1454809-1 is not prime. Res64: 9B61E03EDCEB629F Time : 0.0 sec. user=mdettweiler [2017-05-23 11:06:46] 675*2^1454809-1 is not prime. Res64: B0FD541C730E4F9F Time : 0.0 sec. user=mdettweiler [2017-05-23 11:06:46] 679*2^1454809-1 is not prime. Res64: A9D511C755587AE4 Time : 0.0 sec. user=mdettweiler [2017-05-23 11:06:47] 685*2^1454809-1 is not prime. Res64: BEC885119864231F Time : 0.0 sec. user=mdettweiler [2017-05-23 11:06:47] 861*2^1454809-1 is not prime. Res64: 471D70BD876E1B51 Time : 0.0 sec. user=mdettweiler [2017-05-23 11:06:47] 885*2^1454809-1 is not prime. Res64: 3411E5CAD3072F8F Time : 0.0 sec. user=odicin [2017-05-23 19:39:40] 803*2^1454812-1 is not prime. Res64: 4797DF85909CDAB9 Time : 0.0 sec. user=mdettweiler [2017-05-23 20:35:02] 957*2^1454809-1 is not prime. Res64: DBFE59FBB859E7D1 Time : 0.0 sec. user=mdettweiler [2017-05-23 20:35:02] 997*2^1454809-1 is not prime. Res64: A154B4DC6A58EAC4 Time : 0.0 sec. user=mdettweiler [2017-05-23 20:35:02] 657*2^1454810-1 is not prime. Res64: B6E5EF5E4A17EA81 Time : 0.0 sec. user=mdettweiler [2017-05-23 20:35:03] 717*2^1454810-1 is not prime. Res64: CAD77CDD271AFF4F Time : 0.0 sec. user=mdettweiler [2017-05-23 20:35:03] 735*2^1454810-1 is not prime. Res64: 7315FBF7B5179BC0 Time : 0.0 sec. user=mdettweiler [2017-05-23 20:53:58] 785*2^1454810-1 is not prime. Res64: E968D99D330121F5 Time : 0.0 sec. user=mdettweiler [2017-05-23 20:53:59] 791*2^1454810-1 is not prime. Res64: D4B42B5B4D1DDE43 Time : 0.0 sec. user=mdettweiler [2017-05-23 20:53:59] 801*2^1454810-1 is not prime. Res64: CA68FFFD260B0D66 Time : 0.0 sec. user=mdettweiler [2017-05-23 20:53:59] 867*2^1454810-1 is not prime. Res64: E77243D71E5C0EE4 Time : 0.0 sec. user=mdettweiler [2017-05-23 20:54:00] 893*2^1454810-1 is not prime. Res64: 0099A2DE2DE5D111 Time : 0.0 sec. user=mdettweiler [2017-05-23 21:16:17] 801*2^1454811-1 is not prime. Res64: 3E0E843D47CEF177 Time : 0.0 sec. user=mdettweiler [2017-05-23 21:16:17] 829*2^1454811-1 is not prime. Res64: 49ED0B13FCD8C3BE Time : 0.0 sec. user=mdettweiler [2017-05-23 21:16:18] 921*2^1454811-1 is not prime. Res64: 3BC4B609B1A05451 Time : 0.0 sec. user=mdettweiler [2017-05-23 21:16:18] 689*2^1454812-1 is not prime. Res64: 40D7FEAB93DCBFB9 Time : 0.0 sec. user=mdettweiler [2017-05-23 21:16:18] 693*2^1454812-1 is not prime. Res64: 4378F901B54B05CF Time : 0.0 sec. user=mdettweiler [2017-05-23 21:32:13] 917*2^1454810-1 is not prime. Res64: BB93C901152809D4 Time : 0.0 sec. user=mdettweiler [2017-05-23 21:32:13] 981*2^1454810-1 is not prime. Res64: 3FA4F7DF50FEA52B Time : 0.0 sec. user=mdettweiler [2017-05-23 21:32:13] 619*2^1454811-1 is not prime. Res64: CA5D5C0424EDCF54 Time : 0.0 sec. user=mdettweiler [2017-05-23 21:32:14] 643*2^1454811-1 is not prime. Res64: B945DB30529A8216 Time : 0.0 sec. user=mdettweiler [2017-05-23 21:32:14] 705*2^1454811-1 is not prime. Res64: D5268BD88C283C11 Time : 0.0 sec. user=mdettweiler [2017-05-23 21:34:30] 843*2^1454812-1 is not prime. Res64: 1AC92B26A51DCBEB Time : 0.0 sec. user=mdettweiler [2017-05-23 21:34:30] 887*2^1454812-1 is not prime. Res64: A9FFFF46FCA7222B Time : 0.0 sec. user=mdettweiler [2017-05-23 21:34:30] 933*2^1454812-1 is not prime. Res64: F2377B0E87AF221A Time : 0.0 sec. user=mdettweiler [2017-05-23 21:34:30] 983*2^1454812-1 is not prime. Res64: DF3E87526878F1F6 Time : 0.0 sec. user=mdettweiler [2017-05-23 21:34:31] 657*2^1454813-1 is not prime. Res64: F1F6CAEB8C46D5A8 Time : 0.0 sec. user=mdettweiler [2017-05-23 21:44:52] 745*2^1454813-1 is not prime. Res64: F04615C5101F9147 Time : 0.0 sec. user=mdettweiler [2017-05-23 21:44:53] 759*2^1454813-1 is not prime. Res64: AD09D81E62B4A27C Time : 0.0 sec. user=mdettweiler [2017-05-23 21:44:53] 789*2^1454813-1 is not prime. Res64: A0ACA903F8EF7ECE Time : 0.0 sec. user=mdettweiler [2017-05-23 21:44:53] 831*2^1454813-1 is not prime. Res64: AD899B0AAEE95160 Time : 0.0 sec. user=mdettweiler [2017-05-23 21:44:53] 837*2^1454813-1 is not prime. Res64: 55F9A2B6C0DF26D0 Time : 0.0 sec. user=mdettweiler [2017-05-23 22:04:01] 847*2^1454813-1 is not prime. Res64: F4006E16A0ECE23D Time : 0.0 sec. user=mdettweiler [2017-05-23 22:04:02] 889*2^1454813-1 is not prime. Res64: E7079F24B12FAF8A Time : 0.0 sec. user=mdettweiler [2017-05-23 22:04:03] 611*2^1454814-1 is not prime. Res64: 2A3FB660C074451E Time : 0.0 sec. user=mdettweiler [2017-05-23 22:04:04] 615*2^1454814-1 is not prime. Res64: FCC828688E126C5F Time : 0.0 sec. user=mdettweiler [2017-05-23 22:04:05] 783*2^1454814-1 is not prime. Res64: 192A6126D96B7437 Time : 0.0 sec. user=mdettweiler [2017-05-23 22:19:13] 795*2^1454814-1 is not prime. Res64: 4DA3BCF5BC579E23 Time : 0.0 sec. user=mdettweiler [2017-05-23 22:19:13] 815*2^1454814-1 is not prime. Res64: 8A27EFC97E2C320E Time : 0.0 sec. user=mdettweiler [2017-05-23 22:19:13] 851*2^1454814-1 is not prime. Res64: 5DA9AD2F388E14B5 Time : 0.0 sec. user=mdettweiler [2017-05-23 22:19:14] 863*2^1454814-1 is not prime. Res64: 32BF39151714B9D1 Time : 0.0 sec. user=mdettweiler [2017-05-23 22:19:14] 881*2^1454814-1 is not prime. Res64: 4BAC6D276BAB70DE Time : 0.0 sec. user=mdettweiler [2017-05-23 22:21:18] 661*2^1454815-1 is not prime. Res64: CEF118A8847AA4F1 Time : 0.0 sec. user=mdettweiler [2017-05-23 22:21:19] 723*2^1454815-1 is not prime. Res64: 6AD3699946146E2A Time : 0.0 sec. user=mdettweiler [2017-05-23 22:21:19] 765*2^1454815-1 is not prime. Res64: 9E4A9DA71E71F1EC Time : 0.0 sec. user=mdettweiler [2017-05-23 22:21:19] 855*2^1454815-1 is not prime. Res64: C35E5E8E4F8BAFEE Time : 0.0 sec. user=mdettweiler [2017-05-23 22:21:19] 859*2^1454815-1 is not prime. Res64: 3CA69BAED4C3B25C Time : 0.0 sec. user=mdettweiler [2017-05-23 22:31:46] 635*2^1454816-1 is not prime. Res64: 64B93CC9B286A827 Time : 0.0 sec. user=mdettweiler [2017-05-23 22:31:46] 659*2^1454816-1 is not prime. Res64: E77B2C9CBAAD0364 Time : 0.0 sec. user=mdettweiler [2017-05-23 22:31:46] 669*2^1454816-1 is not prime. Res64: 219DDE1793079964 Time : 0.0 sec. user=mdettweiler [2017-05-23 22:31:47] 719*2^1454816-1 is not prime. Res64: 107F52A275E910F1 Time : 0.0 sec. user=mdettweiler [2017-05-23 22:31:47] 747*2^1454816-1 is not prime. Res64: 2F1340D8E5D57F47 Time : 0.0 sec. user=mdettweiler [2017-05-23 22:51:02] 759*2^1454816-1 is not prime. Res64: 65EE2B4BBD23ECA9 Time : 0.0 sec. user=mdettweiler [2017-05-23 22:51:03] 827*2^1454816-1 is not prime. Res64: DADD3215786C0124 Time : 0.0 sec. user=mdettweiler [2017-05-23 22:51:03] 857*2^1454816-1 is not prime. Res64: EFB5EFFCE5787B79 Time : 0.0 sec. user=mdettweiler [2017-05-23 22:51:03] 873*2^1454816-1 is not prime. Res64: D641D59361A6983C Time : 0.0 sec. user=mdettweiler [2017-05-23 22:51:03] 903*2^1454816-1 is not prime. Res64: EE8D02282BD118DB Time : 0.0 sec. user=mdettweiler [2017-05-23 23:06:22] 607*2^1454817-1 is not prime. Res64: FC3ACA13B605500D Time : 0.0 sec. user=mdettweiler [2017-05-23 23:06:22] 699*2^1454817-1 is not prime. Res64: F83687DFD2E1254E Time : 0.0 sec. user=mdettweiler [2017-05-23 23:06:23] 717*2^1454817-1 is not prime. Res64: 4E2E16CAF88E45CA Time : 0.0 sec. user=mdettweiler [2017-05-23 23:06:23] 727*2^1454817-1 is not prime. Res64: 29CE29F0EDF1942B Time : 0.0 sec. user=mdettweiler [2017-05-23 23:06:23] 805*2^1454817-1 is not prime. Res64: BACD3E750DD586D1 Time : 0.0 sec. user=mdettweiler [2017-05-23 23:08:14] 885*2^1454817-1 is not prime. Res64: A356AB77BBE0A0CC Time : 0.0 sec. user=mdettweiler [2017-05-23 23:08:15] 889*2^1454817-1 is not prime. Res64: 5E9EAB5E2C770E9E Time : 0.0 sec. user=mdettweiler [2017-05-23 23:08:15] 979*2^1454817-1 is not prime. Res64: 3AF80D9579D93958 Time : 0.0 sec. user=mdettweiler [2017-05-23 23:08:15] 663*2^1454818-1 is not prime. Res64: 710A809D47AF2D76 Time : 0.0 sec. user=mdettweiler [2017-05-23 23:08:16] 755*2^1454818-1 is not prime. Res64: 1CFAD4CF341FDE4A Time : 0.0 sec. user=mdettweiler [2017-05-23 23:19:19] 825*2^1454818-1 is not prime. Res64: 25053CE04D219213 Time : 0.0 sec. user=mdettweiler [2017-05-23 23:19:20] 867*2^1454818-1 is not prime. Res64: 38CD0D0FADF3EBD2 Time : 0.0 sec. user=mdettweiler [2017-05-23 23:19:20] 631*2^1454819-1 is not prime. Res64: 8673E7F024C82333 Time : 0.0 sec. user=mdettweiler [2017-05-23 23:19:20] 669*2^1454819-1 is not prime. Res64: 14F56CB7D1F7B7BD Time : 0.0 sec. user=mdettweiler [2017-05-23 23:19:20] 733*2^1454819-1 is not prime. Res64: 22F039C12C03F9CA Time : 0.0 sec. user=mdettweiler [2017-05-23 23:37:18] 741*2^1454819-1 is not prime. Res64: 55B125CE4B579E2D Time : 0.0 sec. user=mdettweiler [2017-05-23 23:37:18] 799*2^1454819-1 is not prime. Res64: 52A02676ED1A9D73 Time : 0.0 sec. user=mdettweiler [2017-05-23 23:37:19] 811*2^1454819-1 is not prime. Res64: 31079CA0AE77375F Time : 0.0 sec. user=mdettweiler [2017-05-23 23:37:19] 843*2^1454819-1 is not prime. Res64: 582CB043227F5416 Time : 0.0 sec. user=mdettweiler [2017-05-23 23:37:19] 885*2^1454819-1 is not prime. Res64: CD5802F7E54D3B4E Time : 0.0 sec. user=mdettweiler [2017-05-23 23:53:25] 609*2^1454820-1 is not prime. Res64: 8E9C4B37CDB10E2B Time : 0.0 sec. user=mdettweiler [2017-05-23 23:53:25] 753*2^1454820-1 is not prime. Res64: 02C259E4AABECCFF Time : 0.0 sec. user=mdettweiler [2017-05-23 23:53:26] 843*2^1454820-1 is not prime. Res64: D798EDD9CD83BF6E Time : 0.0 sec. user=mdettweiler [2017-05-23 23:53:26] 927*2^1454820-1 is not prime. Res64: E105AAE93E5B0BBF Time : 0.0 sec. user=mdettweiler [2017-05-23 23:53:26] 651*2^1454821-1 is not prime. Res64: 2845864D56575049 Time : 0.0 sec. user=mdettweiler [2017-05-23 23:55:26] 727*2^1454821-1 is not prime. Res64: F35AE297E80DEF4D Time : 0.0 sec. user=mdettweiler [2017-05-23 23:55:26] 741*2^1454821-1 is not prime. Res64: 725924C224FD1027 Time : 0.0 sec. user=mdettweiler [2017-05-23 23:55:26] 747*2^1454821-1 is not prime. Res64: 5A63695CDE39D8E6 Time : 0.0 sec. user=mdettweiler [2017-05-23 23:55:27] 817*2^1454821-1 is not prime. Res64: BC1B6AA0F7D1E357 Time : 0.0 sec. user=mdettweiler [2017-05-23 23:55:27] 931*2^1454821-1 is not prime. Res64: 5E78738B283B8B40 Time : 0.0 sec.