user=mdettweiler [2016-11-11 00:10:46] 933*2^1445458-1 is not prime. Res64: EBB44FEDD3A0AD1E Time : 0.0 sec. user=mdettweiler [2016-11-11 00:10:48] 971*2^1445458-1 is not prime. Res64: 641F3C2DDF195919 Time : 0.0 sec. user=mdettweiler [2016-11-11 00:10:51] 663*2^1445459-1 is not prime. Res64: F28CF3BF1EC402B6 Time : 0.0 sec. user=mdettweiler [2016-11-11 00:10:52] 711*2^1445459-1 is not prime. Res64: 9D4A3F5549016442 Time : 0.0 sec. user=mdettweiler [2016-11-11 00:10:53] 955*2^1445459-1 is not prime. Res64: CFF693CA7CF1E25D Time : 0.0 sec. user=mdettweiler [2016-11-11 00:19:44] 669*2^1445460-1 is not prime. Res64: FD9D48CCDEC24264 Time : 0.0 sec. user=mdettweiler [2016-11-11 00:19:44] 753*2^1445460-1 is not prime. Res64: E6ABBD65FA5A5BB6 Time : 0.0 sec. user=mdettweiler [2016-11-11 00:19:44] 789*2^1445460-1 is not prime. Res64: 8A95323E90A8C20A Time : 0.0 sec. user=mdettweiler [2016-11-11 00:19:45] 825*2^1445460-1 is not prime. Res64: 352F8BF9B2602FCF Time : 0.0 sec. user=mdettweiler [2016-11-11 00:19:45] 839*2^1445460-1 is not prime. Res64: 95512765A8D3FD71 Time : 0.0 sec. user=mdettweiler [2016-11-11 00:37:34] 845*2^1445460-1 is not prime. Res64: 592219BB8FF5B10D Time : 0.0 sec. user=mdettweiler [2016-11-11 00:37:34] 867*2^1445460-1 is not prime. Res64: 57CE22B38D49CE78 Time : 0.0 sec. user=mdettweiler [2016-11-11 00:37:34] 873*2^1445460-1 is not prime. Res64: E2D71F39D274B014 Time : 0.0 sec. user=mdettweiler [2016-11-11 00:37:35] 777*2^1445461-1 is not prime. Res64: 47747B3654A7278C Time : 0.0 sec. user=mdettweiler [2016-11-11 00:37:35] 799*2^1445461-1 is not prime. Res64: 8B168BCE11F84F61 Time : 0.0 sec. user=mdettweiler [2016-11-11 00:41:18] 861*2^1445461-1 is not prime. Res64: AA15DFEE041B07D9 Time : 0.0 sec. user=mdettweiler [2016-11-11 00:41:18] 877*2^1445461-1 is not prime. Res64: 480E5BAD25DB1980 Time : 0.0 sec. user=mdettweiler [2016-11-11 00:41:18] 937*2^1445461-1 is not prime. Res64: 500F266E1E13EA57 Time : 0.0 sec. user=mdettweiler [2016-11-11 00:41:19] 961*2^1445461-1 is not prime. Res64: 7D4532D2ECC47F19 Time : 0.0 sec. user=mdettweiler [2016-11-11 00:41:19] 627*2^1445462-1 is not prime. Res64: CE9C7E281764A358 Time : 0.0 sec. user=mdettweiler [2016-11-11 01:02:50] 785*2^1445462-1 is not prime. Res64: D8B8CF0B9BF28CD4 Time : 0.0 sec. user=mdettweiler [2016-11-11 01:02:51] 619*2^1445463-1 is not prime. Res64: 236D2E768CECA4E7 Time : 0.0 sec. user=mdettweiler [2016-11-11 01:02:52] 703*2^1445463-1 is not prime. Res64: 2CA6907910F95F4D Time : 0.0 sec. user=mdettweiler [2016-11-11 01:02:52] 789*2^1445463-1 is not prime. Res64: 4D727CD80B1A97B4 Time : 0.0 sec. user=mdettweiler [2016-11-11 01:02:53] 823*2^1445463-1 is not prime. Res64: A6E87A469DC87AD3 Time : 0.0 sec. user=mdettweiler [2016-11-11 01:10:29] 853*2^1445463-1 is not prime. Res64: A296C3C0D7384B15 Time : 0.0 sec. user=mdettweiler [2016-11-11 01:10:29] 913*2^1445463-1 is not prime. Res64: 55DA1DAFB9A819BC Time : 0.0 sec. user=mdettweiler [2016-11-11 01:10:30] 609*2^1445464-1 is not prime. Res64: 4701CF66C1A4F6D8 Time : 0.0 sec. user=mdettweiler [2016-11-11 01:10:30] 623*2^1445464-1 is not prime. Res64: ECDCBE54C9315E14 Time : 0.0 sec. user=mdettweiler [2016-11-11 01:10:31] 759*2^1445464-1 is not prime. Res64: F6198CC8A95FB0DA Time : 0.0 sec. user=mdettweiler [2016-11-11 01:24:28] 827*2^1445464-1 is not prime. Res64: FDC3999C90DB348B Time : 0.0 sec. user=mdettweiler [2016-11-11 01:24:28] 909*2^1445464-1 is not prime. Res64: 11842F18516FFC46 Time : 0.0 sec. user=mdettweiler [2016-11-11 01:24:29] 915*2^1445464-1 is not prime. Res64: 56E137529AA2A922 Time : 0.0 sec. user=mdettweiler [2016-11-11 01:24:29] 777*2^1445465-1 is not prime. Res64: 9198D42910916A74 Time : 0.0 sec. user=mdettweiler [2016-11-11 01:24:29] 799*2^1445465-1 is not prime. Res64: F4D0BDD12EE89112 Time : 0.0 sec. user=mdettweiler [2016-11-11 01:28:39] 861*2^1445465-1 is not prime. Res64: 51A937C5F4F5787D Time : 0.0 sec. user=mdettweiler [2016-11-11 01:28:40] 889*2^1445465-1 is not prime. Res64: FFDB8242A105DFCB Time : 0.0 sec. user=mdettweiler [2016-11-11 01:28:41] 957*2^1445465-1 is not prime. Res64: 327DFC308B29D38D Time : 0.0 sec. user=mdettweiler [2016-11-11 01:28:44] 635*2^1445466-1 is not prime. Res64: 3F1D37C79013C9D6 Time : 0.0 sec. user=mdettweiler [2016-11-11 01:28:46] 647*2^1445466-1 is not prime. Res64: 079EA1C93822F43C Time : 0.0 sec. user=mdettweiler [2016-11-11 01:47:50] 657*2^1445466-1 is not prime. Res64: B057179D6A917567 Time : 0.0 sec. user=mdettweiler [2016-11-11 01:47:50] 695*2^1445466-1 is not prime. Res64: A568C79AE9F53F78 Time : 0.0 sec. user=mdettweiler [2016-11-11 01:47:51] 705*2^1445466-1 is not prime. Res64: EC320442C4CB876E Time : 0.0 sec. user=mdettweiler [2016-11-11 01:47:51] 723*2^1445466-1 is not prime. Res64: 48E22DD89A24DD76 Time : 0.0 sec. user=mdettweiler [2016-11-11 01:47:52] 755*2^1445466-1 is not prime. Res64: 9DA18B369B1AAEB1 Time : 0.0 sec. user=mdettweiler [2016-11-11 01:55:24] 803*2^1445466-1 is not prime. Res64: 6A8B428537B31364 Time : 0.0 sec. user=mdettweiler [2016-11-11 01:55:24] 851*2^1445466-1 is not prime. Res64: 45CCEC7D32540513 Time : 0.0 sec. user=mdettweiler [2016-11-11 01:55:24] 923*2^1445466-1 is not prime. Res64: F76E61798A829220 Time : 0.0 sec. user=mdettweiler [2016-11-11 01:55:25] 975*2^1445466-1 is not prime. Res64: B4BF1A62737027D1 Time : 0.0 sec. user=mdettweiler [2016-11-11 01:55:25] 615*2^1445467-1 is not prime. Res64: 1D2ED7244D7D6FA7 Time : 0.0 sec. user=mdettweiler [2016-11-11 02:09:17] 625*2^1445467-1 is not prime. Res64: 0FDD30E4B773B198 Time : 0.0 sec. user=mdettweiler [2016-11-11 02:09:20] 715*2^1445467-1 is not prime. Res64: A7C061F718243FF5 Time : 0.0 sec. user=mdettweiler [2016-11-11 02:09:21] 765*2^1445467-1 is not prime. Res64: 1EB9D11EE5BD9C18 Time : 0.0 sec. user=mdettweiler [2016-11-11 02:09:23] 769*2^1445467-1 is not prime. Res64: 6CEBC05DC00AF201 Time : 0.0 sec. user=mdettweiler [2016-11-11 02:09:24] 805*2^1445467-1 is not prime. Res64: 2DFB15775922B325 Time : 0.0 sec. user=mdettweiler [2016-11-11 02:13:25] 841*2^1445467-1 is not prime. Res64: 61CB217C25773F4D Time : 0.0 sec. user=mdettweiler [2016-11-11 02:13:26] 871*2^1445467-1 is not prime. Res64: 4201059B471AF13F Time : 0.0 sec. user=mdettweiler [2016-11-11 02:13:26] 615*2^1445468-1 is not prime. Res64: AB34AF8B892A8DCD Time : 0.0 sec. user=mdettweiler [2016-11-11 02:13:26] 665*2^1445468-1 is not prime. Res64: 4150BB9B0D486620 Time : 0.0 sec. user=mdettweiler [2016-11-11 02:13:27] 735*2^1445468-1 is not prime. Res64: 794D00BD3B8C42AA Time : 0.0 sec. user=mdettweiler [2016-11-11 02:32:33] 755*2^1445468-1 is not prime. Res64: A34C85C51D42DCCC Time : 0.0 sec. user=mdettweiler [2016-11-11 02:32:34] 827*2^1445468-1 is not prime. Res64: E798BA18067250EB Time : 0.0 sec. user=mdettweiler [2016-11-11 02:32:34] 837*2^1445468-1 is not prime. Res64: C53B21F727930024 Time : 0.0 sec. user=mdettweiler [2016-11-11 02:32:35] 855*2^1445468-1 is not prime. Res64: 854EF44F203BDF33 Time : 0.0 sec. user=mdettweiler [2016-11-11 02:32:35] 899*2^1445468-1 is not prime. Res64: 967351B1B1853350 Time : 0.0 sec. user=mdettweiler [2016-11-11 02:40:11] 621*2^1445469-1 is not prime. Res64: 506000CE3481B0BE Time : 0.0 sec. user=mdettweiler [2016-11-11 02:40:11] 625*2^1445469-1 is not prime. Res64: 44DC23DB00475F83 Time : 0.0 sec. user=mdettweiler [2016-11-11 02:40:12] 627*2^1445469-1 is not prime. Res64: 4113EB9B53161C3D Time : 0.0 sec. user=mdettweiler [2016-11-11 02:40:12] 661*2^1445469-1 is not prime. Res64: 40E8A19047D95293 Time : 0.0 sec. user=mdettweiler [2016-11-11 02:40:13] 691*2^1445469-1 is not prime. Res64: C19133A01C7A0A09 Time : 0.0 sec. user=mdettweiler [2016-11-11 02:54:24] 745*2^1445469-1 is not prime. Res64: E18AF32B0E02F38D Time : 0.0 sec. user=mdettweiler [2016-11-11 02:54:24] 751*2^1445469-1 is not prime. Res64: C9E230F9CE37649E Time : 0.0 sec. user=mdettweiler [2016-11-11 02:54:25] 949*2^1445469-1 is not prime. Res64: 48A3602DF87FE6B2 Time : 0.0 sec. user=mdettweiler [2016-11-11 02:54:25] 979*2^1445469-1 is not prime. Res64: 7B96A5DA21C5E8EF Time : 0.0 sec. user=mdettweiler [2016-11-11 02:54:26] 991*2^1445469-1 is not prime. Res64: 6095316B5646628A Time : 0.0 sec. user=mdettweiler [2016-11-11 02:58:34] 999*2^1445469-1 is not prime. Res64: BEA1119AE863880E Time : 0.0 sec. user=mdettweiler [2016-11-11 02:58:35] 605*2^1445470-1 is not prime. Res64: 42818E3C8517DEEF Time : 0.0 sec. user=mdettweiler [2016-11-11 02:58:35] 651*2^1445470-1 is not prime. Res64: 5930CB3F64532544 Time : 0.0 sec. user=mdettweiler [2016-11-11 02:58:35] 653*2^1445470-1 is not prime. Res64: 4E873BC7631317F1 Time : 0.0 sec. user=mdettweiler [2016-11-11 02:58:36] 665*2^1445470-1 is not prime. Res64: 2C42596BF6497734 Time : 0.0 sec. user=mdettweiler [2016-11-11 03:18:17] 857*2^1445470-1 is not prime. Res64: B3FC52EADA8FE9D2 Time : 0.0 sec. user=mdettweiler [2016-11-11 03:18:17] 885*2^1445470-1 is not prime. Res64: EADBDFB54EC5F57E Time : 0.0 sec. user=mdettweiler [2016-11-11 03:18:18] 987*2^1445470-1 is not prime. Res64: EF0230F0C839B19F Time : 0.0 sec. user=mdettweiler [2016-11-11 03:18:18] 621*2^1445471-1 is not prime. Res64: 409C2D917AF38C17 Time : 0.0 sec. user=mdettweiler [2016-11-11 03:18:19] 643*2^1445471-1 is not prime. Res64: 79B49F83696EFC35 Time : 0.0 sec. user=mdettweiler [2016-11-11 03:25:47] 921*2^1445471-1 is not prime. Res64: D012574D2F7418E7 Time : 0.0 sec. user=mdettweiler [2016-11-11 03:25:48] 943*2^1445471-1 is not prime. Res64: 4389AA008DDAD6D3 Time : 0.0 sec. user=mdettweiler [2016-11-11 03:25:48] 945*2^1445471-1 is not prime. Res64: 599827492932963D Time : 0.0 sec. user=mdettweiler [2016-11-11 03:25:49] 979*2^1445471-1 is not prime. Res64: 6C7555724854C99A Time : 0.0 sec. user=mdettweiler [2016-11-11 03:25:50] 633*2^1445472-1 is not prime. Res64: BF126FA24B1773CB Time : 0.0 sec. user=mdettweiler [2016-11-11 03:40:20] 669*2^1445472-1 is not prime. Res64: 6C90744886472F8E Time : 0.0 sec. user=mdettweiler [2016-11-11 03:40:20] 713*2^1445472-1 is not prime. Res64: 11AD010C1DA25F89 Time : 0.0 sec. user=mdettweiler [2016-11-11 03:40:21] 717*2^1445472-1 is not prime. Res64: BDD5E2F549AFAB84 Time : 0.0 sec. user=mdettweiler [2016-11-11 03:40:21] 725*2^1445472-1 is not prime. Res64: AA170C4ECEC0F8CE Time : 0.0 sec. user=mdettweiler [2016-11-11 03:40:22] 917*2^1445472-1 is not prime. Res64: EBB74069326E1025 Time : 0.0 sec. user=mdettweiler [2016-11-11 03:44:16] 983*2^1445472-1 is not prime. Res64: AD345C7851D6AB60 Time : 0.0 sec. user=mdettweiler [2016-11-11 03:44:17] 721*2^1445473-1 is not prime. Res64: 76D4E4A88B55972F Time : 0.0 sec. user=mdettweiler [2016-11-11 03:44:18] 829*2^1445473-1 is not prime. Res64: 6DD2C119B1C628DB Time : 0.0 sec. user=mdettweiler [2016-11-11 03:44:18] 849*2^1445473-1 is not prime. Res64: 6F1A78E958A59BA8 Time : 0.0 sec. user=mdettweiler [2016-11-11 03:44:19] 919*2^1445473-1 is not prime. Res64: 21992DAA5AFDD6C0 Time : 0.0 sec. user=mdettweiler [2016-11-11 04:03:09] 939*2^1445473-1 is not prime. Res64: 357B33EDF8E38949 Time : 0.0 sec. user=mdettweiler [2016-11-11 04:03:10] 717*2^1445474-1 is not prime. Res64: F4303E75FE2928D8 Time : 0.0 sec. user=mdettweiler [2016-11-11 04:03:11] 815*2^1445474-1 is not prime. Res64: F87BD871C87E8897 Time : 0.0 sec. user=mdettweiler [2016-11-11 04:03:12] 861*2^1445474-1 is not prime. Res64: 58C9A9472B1AC22B Time : 0.0 sec. user=mdettweiler [2016-11-11 04:03:12] 885*2^1445474-1 is not prime. Res64: 97629A799883B126 Time : 0.0 sec. user=mdettweiler [2016-11-11 04:10:40] 941*2^1445474-1 is not prime. Res64: 96D5F96270F6828E Time : 0.0 sec. user=mdettweiler [2016-11-11 04:10:40] 971*2^1445474-1 is not prime. Res64: D2BE149BE31E6BDB Time : 0.0 sec. user=mdettweiler [2016-11-11 04:10:41] 983*2^1445474-1 is not prime. Res64: 36D4F4A4D795FE60 Time : 0.0 sec. user=mdettweiler [2016-11-11 04:10:41] 995*2^1445474-1 is not prime. Res64: 257E4B08B193A801 Time : 0.0 sec. user=mdettweiler [2016-11-11 04:10:42] 789*2^1445475-1 is not prime. Res64: 893F779156FEC7A6 Time : 0.0 sec. user=mdettweiler [2016-11-11 04:25:05] 795*2^1445475-1 is not prime. Res64: EB3FFE2B2D18B18D Time : 0.0 sec. user=mdettweiler [2016-11-11 04:25:05] 873*2^1445475-1 is not prime. Res64: D86BB15DFEE4439C Time : 0.0 sec. user=mdettweiler [2016-11-11 04:25:05] 921*2^1445475-1 is not prime. Res64: 1FED0B501A6A23B7 Time : 0.0 sec. user=mdettweiler [2016-11-11 04:25:06] 705*2^1445476-1 is not prime. Res64: 158F8301CCD79FAE Time : 0.0 sec. user=mdettweiler [2016-11-11 04:25:06] 717*2^1445476-1 is not prime. Res64: 8269E3C2638D20C0 Time : 0.0 sec. user=mdettweiler [2016-11-11 04:29:21] 743*2^1445476-1 is not prime. Res64: 5C53E820FDD9BE04 Time : 0.0 sec. user=mdettweiler [2016-11-11 04:29:21] 987*2^1445476-1 is not prime. Res64: 0D8F5A9C7005425D Time : 0.0 sec. user=mdettweiler [2016-11-11 04:29:21] 669*2^1445477-1 is not prime. Res64: BE87AAB7433D9525 Time : 0.0 sec. user=mdettweiler [2016-11-11 04:29:22] 747*2^1445477-1 is not prime. Res64: 664106EC29F51129 Time : 0.0 sec. user=mdettweiler [2016-11-11 04:29:22] 769*2^1445477-1 is not prime. Res64: 20100DFEE9992371 Time : 0.0 sec. user=mdettweiler [2016-11-11 04:48:03] 825*2^1445477-1 is not prime. Res64: CF0BEB907E91042D Time : 0.0 sec. user=mdettweiler [2016-11-11 04:48:03] 831*2^1445477-1 is not prime. Res64: F3A426BE7573298F Time : 0.0 sec. user=mdettweiler [2016-11-11 04:48:04] 693*2^1445478-1 is not prime. Res64: B8D6CFA07344DF8F Time : 0.0 sec. user=mdettweiler [2016-11-11 04:48:04] 881*2^1445478-1 is not prime. Res64: 44DC381E048D558E Time : 0.0 sec. user=mdettweiler [2016-11-11 04:48:04] 963*2^1445478-1 is not prime. Res64: E7031939145DEE87 Time : 0.0 sec. user=mdettweiler [2016-11-11 04:55:42] 603*2^1445479-1 is not prime. Res64: 91D20BD1A3259AC9 Time : 0.0 sec. user=mdettweiler [2016-11-11 04:55:43] 619*2^1445479-1 is not prime. Res64: BAA1AC2851B54CFF Time : 0.0 sec. user=mdettweiler [2016-11-11 04:55:43] 681*2^1445479-1 is not prime. Res64: FDC2CE192ECBBE43 Time : 0.0 sec. user=mdettweiler [2016-11-11 04:55:43] 705*2^1445479-1 is not prime. Res64: 42113108207D9B83 Time : 0.0 sec. user=mdettweiler [2016-11-11 04:55:44] 729*2^1445479-1 is not prime. Res64: DF50A4DCABFD8FEC Time : 0.0 sec. user=mdettweiler [2016-11-11 05:09:53] 883*2^1445479-1 is not prime. Res64: A38B6C903423C7B5 Time : 0.0 sec. user=mdettweiler [2016-11-11 05:09:53] 913*2^1445479-1 is not prime. Res64: DA53D3AADB79BA3F Time : 0.0 sec. user=mdettweiler [2016-11-11 05:09:53] 615*2^1445480-1 is not prime. Res64: 1D7BDBFC2E24E5C3 Time : 0.0 sec. user=mdettweiler [2016-11-11 05:09:54] 735*2^1445480-1 is not prime. Res64: C5630F806925D94A Time : 0.0 sec. user=mdettweiler [2016-11-11 05:09:54] 957*2^1445480-1 is not prime. Res64: 60CC340B1801A589 Time : 0.0 sec. user=mdettweiler [2016-11-11 05:14:17] 963*2^1445480-1 is not prime. Res64: 5A448A5D8CDC21B1 Time : 0.0 sec. user=mdettweiler [2016-11-11 05:14:18] 637*2^1445481-1 is not prime. Res64: CDB59C92FDCF8BAC Time : 0.0 sec. user=mdettweiler [2016-11-11 05:14:18] 681*2^1445481-1 is not prime. Res64: 2346E7CAC8335665 Time : 0.0 sec. user=mdettweiler [2016-11-11 05:14:19] 727*2^1445481-1 is not prime. Res64: 43A10A0F72D8B164 Time : 0.0 sec. user=mdettweiler [2016-11-11 05:14:19] 739*2^1445481-1 is not prime. Res64: 202FD600356975E0 Time : 0.0 sec. user=mdettweiler [2016-11-11 05:33:04] 745*2^1445481-1 is not prime. Res64: 6C4C0EA5D7046771 Time : 0.0 sec. user=mdettweiler [2016-11-11 05:33:04] 829*2^1445481-1 is not prime. Res64: 2E3B4B9CFF442C01 Time : 0.0 sec. user=mdettweiler [2016-11-11 05:33:05] 907*2^1445481-1 is not prime. Res64: 9137904FF8868A27 Time : 0.0 sec. user=mdettweiler [2016-11-11 05:33:05] 997*2^1445481-1 is not prime. Res64: 1E1F8D47E42D1BA1 Time : 0.0 sec. user=mdettweiler [2016-11-11 05:33:05] 653*2^1445482-1 is not prime. Res64: 1FAF78A9700B44F2 Time : 0.0 sec. user=mdettweiler [2016-11-11 05:40:32] 713*2^1445482-1 is not prime. Res64: D99E64F9DE1A72F5 Time : 0.0 sec. user=mdettweiler [2016-11-11 05:40:32] 765*2^1445482-1 is not prime. Res64: 4B908D21DFF89FB2 Time : 0.0 sec. user=mdettweiler [2016-11-11 05:40:33] 831*2^1445482-1 is not prime. Res64: E392EF419C902E52 Time : 0.0 sec. user=mdettweiler [2016-11-11 05:40:33] 843*2^1445482-1 is not prime. Res64: 1348E21E13860502 Time : 0.0 sec. user=mdettweiler [2016-11-11 05:40:33] 867*2^1445482-1 is not prime. Res64: 98D7D9FB8B37D4B2 Time : 0.0 sec. user=mdettweiler [2016-11-11 05:54:36] 753*2^1445483-1 is not prime. Res64: 91346C8975E6EEDB Time : 0.0 sec. user=mdettweiler [2016-11-11 05:54:36] 939*2^1445483-1 is not prime. Res64: C776EF8EFC1D85E8 Time : 0.0 sec. user=mdettweiler [2016-11-11 05:54:37] 943*2^1445483-1 is not prime. Res64: E1F5CB6E91D6E227 Time : 0.0 sec. user=mdettweiler [2016-11-11 05:54:37] 981*2^1445483-1 is not prime. Res64: 28001713089A7B01 Time : 0.0 sec. user=mdettweiler [2016-11-11 05:54:37] 737*2^1445484-1 is not prime. Res64: 1F788C012F015623 Time : 0.0 sec. user=mdettweiler [2016-11-11 05:59:14] 803*2^1445484-1 is not prime. Res64: 6C949521C9172935 Time : 0.0 sec. user=mdettweiler [2016-11-11 05:59:15] 945*2^1445484-1 is not prime. Res64: 74CAC8B3370B2F97 Time : 0.0 sec. user=mdettweiler [2016-11-11 05:59:15] 965*2^1445484-1 is not prime. Res64: A607C99DB34C95BC Time : 0.0 sec. user=mdettweiler [2016-11-11 05:59:15] 645*2^1445485-1 is not prime. Res64: 69F70646C0B44B17 Time : 0.0 sec. user=mdettweiler [2016-11-11 05:59:16] 667*2^1445485-1 is not prime. Res64: B12CE916A5818A89 Time : 0.0 sec. user=mdettweiler [2016-11-11 06:18:03] 679*2^1445485-1 is not prime. Res64: 3FED4AD56D9A46A1 Time : 0.0 sec. user=mdettweiler [2016-11-11 06:18:04] 685*2^1445485-1 is not prime. Res64: 9CD71B73EA73E1C6 Time : 0.0 sec. user=mdettweiler [2016-11-11 06:18:04] 687*2^1445485-1 is not prime. Res64: 48B3178D05F18D2C Time : 0.0 sec. user=mdettweiler [2016-11-11 06:18:05] 729*2^1445485-1 is not prime. Res64: 6DEE8C97B61FD477 Time : 0.0 sec. user=mdettweiler [2016-11-11 06:18:05] 979*2^1445485-1 is not prime. Res64: 1059CF05930F7E82 Time : 0.0 sec. user=mdettweiler [2016-11-11 06:25:15] 623*2^1445486-1 is not prime. Res64: A54373D2ABBD73A7 Time : 0.0 sec. user=mdettweiler [2016-11-11 06:25:15] 743*2^1445486-1 is not prime. Res64: 70A759B84C7C1990 Time : 0.0 sec. user=mdettweiler [2016-11-11 06:25:16] 773*2^1445486-1 is not prime. Res64: A4D5D399E1EF53ED Time : 0.0 sec. user=mdettweiler [2016-11-11 06:25:16] 801*2^1445486-1 is not prime. Res64: 7D206DF96FD697F6 Time : 0.0 sec. user=mdettweiler [2016-11-11 06:25:16] 815*2^1445486-1 is not prime. Res64: 905ACF43D419BB90 Time : 0.0 sec. user=mdettweiler [2016-11-11 06:39:27] 831*2^1445486-1 is not prime. Res64: 9C71FB92D4987E92 Time : 0.0 sec. user=mdettweiler [2016-11-11 06:39:27] 843*2^1445486-1 is not prime. Res64: 576101CE1584BEA3 Time : 0.0 sec. user=mdettweiler [2016-11-11 06:39:28] 857*2^1445486-1 is not prime. Res64: 740DA58DD683F94C Time : 0.0 sec. user=mdettweiler [2016-11-11 06:39:28] 849*2^1445487-1 is not prime. Res64: 73E708FA969AA6B6 Time : 0.0 sec. user=mdettweiler [2016-11-11 06:39:28] 885*2^1445487-1 is not prime. Res64: 03ABFFD021FB61F6 Time : 0.0 sec. user=mdettweiler [2016-11-11 06:44:06] 909*2^1445487-1 is not prime. Res64: 668FB22220822229 Time : 0.0 sec. user=mdettweiler [2016-11-11 06:44:07] 603*2^1445488-1 is not prime. Res64: 099CE3146029F5B2 Time : 0.0 sec. user=mdettweiler [2016-11-11 06:44:07] 605*2^1445488-1 is not prime. Res64: 140822AC13B95C31 Time : 0.0 sec. user=mdettweiler [2016-11-11 06:44:07] 777*2^1445488-1 is not prime. Res64: 2A3B7F67C975F0EA Time : 0.0 sec. user=mdettweiler [2016-11-11 06:44:08] 843*2^1445488-1 is not prime. Res64: A62C532A343D0C19 Time : 0.0 sec. user=mdettweiler [2016-11-11 07:03:02] 929*2^1445488-1 is not prime. Res64: 6EFFED2BBCC6C9CA Time : 0.0 sec. user=mdettweiler [2016-11-11 07:03:03] 601*2^1445489-1 is not prime. Res64: 361E2DCFAF9E2DF9 Time : 0.0 sec. user=mdettweiler [2016-11-11 07:03:04] 657*2^1445489-1 is not prime. Res64: BBFFD2620B52BE47 Time : 0.0 sec. user=mdettweiler [2016-11-11 07:03:05] 865*2^1445489-1 is not prime. Res64: 506D68107C7320E7 Time : 0.0 sec. user=mdettweiler [2016-11-11 07:03:06] 879*2^1445489-1 is not prime. Res64: ADFA6D67564529CA Time : 0.0 sec. user=mdettweiler [2016-11-11 07:10:05] 907*2^1445489-1 is not prime. Res64: A5EC959F9C76F618 Time : 0.0 sec. user=mdettweiler [2016-11-11 07:10:05] 969*2^1445489-1 is not prime. Res64: 609405C819C63FFA Time : 0.0 sec. user=mdettweiler [2016-11-11 07:10:06] 713*2^1445490-1 is not prime. Res64: 2C8F4ECA62FC689F Time : 0.0 sec. user=mdettweiler [2016-11-11 07:10:06] 741*2^1445490-1 is not prime. Res64: 9C6F1CAF0C5C890C Time : 0.0 sec. user=mdettweiler [2016-11-11 07:10:07] 851*2^1445490-1 is not prime. Res64: BEBAF503E534A814 Time : 0.0 sec. user=mdettweiler [2016-11-11 07:25:04] 619*2^1445491-1 is not prime. Res64: CE94DDB457A99773 Time : 0.0 sec. user=mdettweiler [2016-11-11 07:25:05] 651*2^1445491-1 is not prime. Res64: 334B3F1EA8EC23C2 Time : 0.0 sec. user=mdettweiler [2016-11-11 07:25:05] 705*2^1445491-1 is not prime. Res64: 372CF1EA2E030A47 Time : 0.0 sec. user=mdettweiler [2016-11-11 07:25:06] 733*2^1445491-1 is not prime. Res64: F4611FB1FB3BE374 Time : 0.0 sec. user=mdettweiler [2016-11-11 07:25:06] 775*2^1445491-1 is not prime. Res64: 79C449C8AEB41E36 Time : 0.0 sec. user=mdettweiler [2016-11-11 07:29:37] 843*2^1445491-1 is not prime. Res64: FDFB3AADC2DDFA61 Time : 0.0 sec. user=mdettweiler [2016-11-11 07:29:38] 873*2^1445491-1 is not prime. Res64: FF68FBE45E8DC53C Time : 0.0 sec. user=mdettweiler [2016-11-11 07:29:38] 895*2^1445491-1 is not prime. Res64: 017CBA3B17A96975 Time : 0.0 sec. user=mdettweiler [2016-11-11 07:29:39] 999*2^1445491-1 is not prime. Res64: FEAD46AD8A1AE3E5 Time : 0.0 sec. user=mdettweiler [2016-11-11 07:29:39] 603*2^1445492-1 is not prime. Res64: EDF5C016D089E7B1 Time : 0.0 sec. user=mdettweiler [2016-11-11 07:48:48] 837*2^1445492-1 is not prime. Res64: E95CCD4074E1AF66 Time : 0.0 sec. user=mdettweiler [2016-11-11 07:48:49] 909*2^1445492-1 is not prime. Res64: 1C9781D9B9B174A9 Time : 0.0 sec. user=mdettweiler [2016-11-11 07:48:49] 995*2^1445492-1 is not prime. Res64: AD7EC3DC9769720F Time : 0.0 sec. user=mdettweiler [2016-11-11 07:48:49] 609*2^1445493-1 is not prime. Res64: DA09B95600FFE467 Time : 0.0 sec. user=mdettweiler [2016-11-11 07:48:50] 699*2^1445493-1 is not prime. Res64: 704806A9F1FF8FD6 Time : 0.0 sec. user=mdettweiler [2016-11-11 07:55:29] 861*2^1445493-1 is not prime. Res64: 4D997D76285CD557 Time : 0.0 sec. user=mdettweiler [2016-11-11 07:55:30] 871*2^1445493-1 is not prime. Res64: 881D47DA8A9657F2 Time : 0.0 sec. user=mdettweiler [2016-11-11 07:55:30] 895*2^1445493-1 is not prime. Res64: B20B5D16595F1D6D Time : 0.0 sec. user=mdettweiler [2016-11-11 07:55:30] 927*2^1445493-1 is not prime. Res64: 0822E00DE19B5715 Time : 0.0 sec. user=mdettweiler [2016-11-11 07:55:31] 937*2^1445493-1 is not prime. Res64: B5085D870055884B Time : 0.0 sec. user=mdettweiler [2016-11-11 08:09:52] 991*2^1445493-1 is not prime. Res64: 0F298A12DE8984C7 Time : 0.0 sec. user=mdettweiler [2016-11-11 08:09:53] 605*2^1445494-1 is not prime. Res64: 06E4A29A1FCEA48E Time : 0.0 sec. user=mdettweiler [2016-11-11 08:09:54] 677*2^1445494-1 is not prime. Res64: 82253F87FD987A93 Time : 0.0 sec. user=mdettweiler [2016-11-11 08:09:54] 741*2^1445494-1 is not prime. Res64: B9333EFAFC7E6847 Time : 0.0 sec. user=mdettweiler [2016-11-11 08:09:54] 825*2^1445494-1 is not prime. Res64: 069CC961B287E5B5 Time : 0.0 sec. user=mdettweiler [2016-11-11 08:14:14] 885*2^1445494-1 is not prime. Res64: 90913A13AA52CCDC Time : 0.0 sec. user=mdettweiler [2016-11-11 08:14:14] 887*2^1445494-1 is not prime. Res64: 54B1EA6E48BBD845 Time : 0.0 sec. user=mdettweiler [2016-11-11 08:14:14] 983*2^1445494-1 is not prime. Res64: D883F37C68B7B180 Time : 0.0 sec. user=mdettweiler [2016-11-11 08:14:15] 655*2^1445495-1 is not prime. Res64: C7237F0BD3B6CD72 Time : 0.0 sec. user=mdettweiler [2016-11-11 08:14:15] 675*2^1445495-1 is not prime. Res64: 36817059C79CD7AB Time : 0.0 sec. user=mdettweiler [2016-11-11 08:33:31] 949*2^1445495-1 is not prime. Res64: 669421DDB5CAE23C Time : 0.0 sec. user=mdettweiler [2016-11-11 08:33:31] 669*2^1445496-1 is not prime. Res64: F0DF325854F32DFA Time : 0.0 sec. user=mdettweiler [2016-11-11 08:33:31] 789*2^1445496-1 is not prime. Res64: A9A327EB99A98632 Time : 0.0 sec. user=mdettweiler [2016-11-11 08:33:32] 947*2^1445496-1 is not prime. Res64: 31841C115F83982F Time : 0.0 sec. user=mdettweiler [2016-11-11 08:33:32] 975*2^1445496-1 is not prime. Res64: 7057C8563843A46B Time : 0.0 sec. user=mdettweiler [2016-11-11 08:40:18] 993*2^1445496-1 is not prime. Res64: A86B34D632744FE6 Time : 0.0 sec. user=mdettweiler [2016-11-11 08:40:19] 649*2^1445497-1 is not prime. Res64: E979D49782D6A64E Time : 0.0 sec. user=mdettweiler [2016-11-11 08:40:19] 691*2^1445497-1 is not prime. Res64: 283D31D23793D7F9 Time : 0.0 sec. user=mdettweiler [2016-11-11 08:40:20] 729*2^1445497-1 is not prime. Res64: 89EB864C830EF856 Time : 0.0 sec. user=mdettweiler [2016-11-11 08:40:20] 801*2^1445497-1 is not prime. Res64: 8439FA9CA9971F0B Time : 0.0 sec. user=mdettweiler [2016-11-11 08:54:36] 829*2^1445497-1 is not prime. Res64: 9D7A93FBDFFF8C42 Time : 0.0 sec. user=mdettweiler [2016-11-11 08:54:37] 871*2^1445497-1 is not prime. Res64: B78877914E278C4B Time : 0.0 sec. user=mdettweiler [2016-11-11 08:54:37] 957*2^1445497-1 is not prime. Res64: 60985B86E7684154 Time : 0.0 sec. user=mdettweiler [2016-11-11 08:54:38] 641*2^1445498-1 is not prime. Res64: C9C54DC91E1AA4A3 Time : 0.0 sec. user=mdettweiler [2016-11-11 08:54:38] 665*2^1445498-1 is not prime. Res64: 830072A17821C33F Time : 0.0 sec. user=mdettweiler [2016-11-11 08:59:13] 843*2^1445498-1 is not prime. Res64: 68554500D5F2E71E Time : 0.0 sec. user=mdettweiler [2016-11-11 08:59:13] 953*2^1445498-1 is not prime. Res64: 8834AEDDD2B59B33 Time : 0.0 sec. user=mdettweiler [2016-11-11 08:59:13] 977*2^1445498-1 is not prime. Res64: 8F70A0BB63A2EEEA Time : 0.0 sec. user=mdettweiler [2016-11-11 08:59:14] 649*2^1445499-1 is not prime. Res64: A949AEB28E3CAA7E Time : 0.0 sec. user=mdettweiler [2016-11-11 08:59:14] 751*2^1445499-1 is not prime. Res64: BA7D229EA07BAB8B Time : 0.0 sec. user=mdettweiler [2016-11-11 09:18:46] 975*2^1445499-1 is not prime. Res64: 3D8BC848944B41B8 Time : 0.0 sec. user=mdettweiler [2016-11-11 09:18:47] 609*2^1445500-1 is not prime. Res64: 3146E68A9DC8DC7C Time : 0.0 sec. user=mdettweiler [2016-11-11 09:18:47] 635*2^1445500-1 is not prime. Res64: 53304491B6A3830A Time : 0.0 sec. user=mdettweiler [2016-11-11 09:18:48] 833*2^1445500-1 is not prime. Res64: 49B39FF86E5B3074 Time : 0.0 sec. user=mdettweiler [2016-11-11 09:18:48] 855*2^1445500-1 is not prime. Res64: E7F0DA5DF93E735A Time : 0.0 sec. user=mdettweiler [2016-11-11 09:25:13] 855*2^1445501-1 is not prime. Res64: 286DCF053BFA8558 Time : 0.0 sec. user=mdettweiler [2016-11-11 09:25:14] 861*2^1445501-1 is not prime. Res64: 4A3EC7139C59DA56 Time : 0.0 sec. user=mdettweiler [2016-11-11 09:25:14] 867*2^1445501-1 is not prime. Res64: 07A0F17CE0EA72AD Time : 0.0 sec. user=mdettweiler [2016-11-11 09:25:14] 937*2^1445501-1 is not prime. Res64: 1AE7C055560D1CA9 Time : 0.0 sec. user=mdettweiler [2016-11-11 09:25:15] 761*2^1445502-1 is not prime. Res64: 4E027F8031C06E04 Time : 0.0 sec. user=mdettweiler [2016-11-11 09:39:23] 807*2^1445502-1 is not prime. Res64: CC8E2937BE934D19 Time : 0.0 sec. user=mdettweiler [2016-11-11 09:39:23] 893*2^1445502-1 is not prime. Res64: 008864FCBA040C1C Time : 0.0 sec. user=mdettweiler [2016-11-11 09:39:24] 633*2^1445503-1 is not prime. Res64: 7F9EC4D1AB1E243B Time : 0.0 sec. user=mdettweiler [2016-11-11 09:39:24] 679*2^1445503-1 is not prime. Res64: C556C9E31D6CACD9 Time : 0.0 sec. user=mdettweiler [2016-11-11 09:39:25] 705*2^1445503-1 is not prime. Res64: 60F68EC270E90331 Time : 0.0 sec. user=mdettweiler [2016-11-11 09:43:59] 769*2^1445503-1 is not prime. Res64: 6947F29327AE889B Time : 0.0 sec. user=mdettweiler [2016-11-11 09:43:59] 913*2^1445503-1 is not prime. Res64: 05CA25E5D7112A6B Time : 0.0 sec. user=mdettweiler [2016-11-11 09:44:00] 961*2^1445503-1 is not prime. Res64: 8BE52993FC610BCD Time : 0.0 sec. user=mdettweiler [2016-11-11 09:44:00] 993*2^1445503-1 is not prime. Res64: EB2AFC8B81157899 Time : 0.0 sec. user=mdettweiler [2016-11-11 09:44:00] 623*2^1445504-1 is not prime. Res64: 144967C1806B15BE Time : 0.0 sec. user=mdettweiler [2016-11-11 10:03:42] 675*2^1445504-1 is not prime. Res64: 65B7BDEAE6584770 Time : 0.0 sec. user=mdettweiler [2016-11-11 10:03:43] 755*2^1445504-1 is not prime. Res64: 9957EED18BCB587C Time : 0.0 sec. user=mdettweiler [2016-11-11 10:03:44] 893*2^1445504-1 is not prime. Res64: CA46566AA786FC79 Time : 0.0 sec. user=mdettweiler [2016-11-11 10:03:45] 675*2^1445505-1 is not prime. Res64: DF936992843D968F Time : 0.0 sec. user=mdettweiler [2016-11-11 10:03:46] 721*2^1445505-1 is not prime. Res64: 4DF0984D6F25A8FC Time : 0.0 sec. user=mdettweiler [2016-11-11 10:10:00] 765*2^1445505-1 is not prime. Res64: FC742E7755ED3C6A Time : 0.0 sec. user=mdettweiler [2016-11-11 10:10:00] 781*2^1445505-1 is not prime. Res64: 40E248E3ADD0A419 Time : 0.0 sec. user=mdettweiler [2016-11-11 10:10:01] 805*2^1445505-1 is not prime. Res64: 47DB5927C5972BC9 Time : 0.0 sec. user=mdettweiler [2016-11-11 10:10:01] 817*2^1445505-1 is not prime. Res64: 910A62D959752DC5 Time : 0.0 sec. user=mdettweiler [2016-11-11 10:10:02] 895*2^1445505-1 is not prime. Res64: BB5F304B1EC28236 Time : 0.0 sec. user=mdettweiler [2016-11-11 10:24:35] 657*2^1445506-1 is not prime. Res64: 2E15877F273E3A5D Time : 0.0 sec. user=mdettweiler [2016-11-11 10:24:35] 695*2^1445506-1 is not prime. Res64: E873A3CA5D48DB3D Time : 0.0 sec. user=mdettweiler [2016-11-11 10:24:36] 723*2^1445506-1 is not prime. Res64: D658AA68373B9291 Time : 0.0 sec. user=mdettweiler [2016-11-11 10:24:36] 735*2^1445506-1 is not prime. Res64: 453CFDB7F5624BFF Time : 0.0 sec. user=mdettweiler [2016-11-11 10:24:36] 747*2^1445506-1 is not prime. Res64: 8A4449683E428FEF Time : 0.0 sec. user=mdettweiler [2016-11-11 10:29:23] 777*2^1445506-1 is not prime. Res64: DA7F66B5C8D62087 Time : 0.0 sec. user=mdettweiler [2016-11-11 10:29:24] 941*2^1445506-1 is not prime. Res64: B0AC76324F8F966B Time : 0.0 sec. user=mdettweiler [2016-11-11 10:29:24] 1001*2^1445506-1 is not prime. Res64: 07CA01BEAF4E63EC Time : 0.0 sec. user=mdettweiler [2016-11-11 10:29:25] 619*2^1445507-1 is not prime. Res64: 13ED68CE7F502CFD Time : 0.0 sec. user=mdettweiler [2016-11-11 10:29:25] 633*2^1445507-1 is not prime. Res64: 4E46EA4E7DB71BA7 Time : 0.0 sec. user=mdettweiler [2016-11-11 10:49:02] 685*2^1445507-1 is not prime. Res64: 34CC66B426AC2FB6 Time : 0.0 sec. user=mdettweiler [2016-11-11 10:49:02] 699*2^1445507-1 is not prime. Res64: 20CB857C2A947BBB Time : 0.0 sec. user=mdettweiler [2016-11-11 10:49:02] 703*2^1445507-1 is not prime. Res64: 853CE5211B7963A4 Time : 0.0 sec. user=mdettweiler [2016-11-11 10:49:03] 909*2^1445507-1 is not prime. Res64: 7C791B092580A92F Time : 0.0 sec. user=mdettweiler [2016-11-11 10:49:03] 939*2^1445507-1 is not prime. Res64: BAC65C2F24AF0B94 Time : 0.0 sec. user=mdettweiler [2016-11-11 10:54:53] 981*2^1445507-1 is not prime. Res64: 593B541F61A04EA5 Time : 0.0 sec. user=mdettweiler [2016-11-11 10:54:54] 633*2^1445508-1 is not prime. Res64: 52D89EB37DF2E206 Time : 0.0 sec. user=mdettweiler [2016-11-11 10:54:54] 683*2^1445508-1 is not prime. Res64: 8CB3EF088B689683 Time : 0.0 sec. user=mdettweiler [2016-11-11 10:54:55] 797*2^1445508-1 is not prime. Res64: 2E7CB01B993BE08B Time : 0.0 sec. user=mdettweiler [2016-11-11 10:54:55] 803*2^1445508-1 is not prime. Res64: D04C1FEEB79551F2 Time : 0.0 sec. user=mdettweiler [2016-11-11 11:09:31] 843*2^1445508-1 is not prime. Res64: 7FBB18DB6930BEDB Time : 0.0 sec. user=mdettweiler [2016-11-11 11:09:32] 933*2^1445508-1 is not prime. Res64: 6EA43E39CB8319A4 Time : 0.0 sec. user=mdettweiler [2016-11-11 11:09:32] 661*2^1445509-1 is not prime. Res64: 31311D50FEB7FE2D Time : 0.0 sec. user=mdettweiler [2016-11-11 11:09:33] 747*2^1445509-1 is not prime. Res64: F2CADECA3E80C851 Time : 0.0 sec. user=mdettweiler [2016-11-11 11:09:33] 775*2^1445509-1 is not prime. Res64: 18924F64FE22AA3D Time : 0.0 sec. user=mdettweiler [2016-11-11 11:14:19] 825*2^1445509-1 is not prime. Res64: 9F47F483DD45FBDF Time : 0.0 sec. user=mdettweiler [2016-11-11 11:14:19] 829*2^1445509-1 is not prime. Res64: FC198F99ED931BEC Time : 0.0 sec. user=mdettweiler [2016-11-11 11:14:20] 895*2^1445509-1 is not prime. Res64: 7EE8A0995D1B7ECE Time : 0.0 sec. user=mdettweiler [2016-11-11 11:14:20] 919*2^1445509-1 is not prime. Res64: 76B24E0DBFBC198D Time : 0.0 sec. user=mdettweiler [2016-11-11 11:14:20] 967*2^1445509-1 is not prime. Res64: A62295B4EAECBDE8 Time : 0.0 sec. user=mdettweiler [2016-11-11 11:33:52] 987*2^1445509-1 is not prime. Res64: 2A522C933B1A6547 Time : 0.0 sec. user=mdettweiler [2016-11-11 11:33:52] 665*2^1445510-1 is not prime. Res64: 0C13010F6FD43F91 Time : 0.0 sec. user=mdettweiler [2016-11-11 11:33:53] 675*2^1445510-1 is not prime. Res64: B10E97616B72A3BE Time : 0.0 sec. user=mdettweiler [2016-11-11 11:33:53] 761*2^1445510-1 is not prime. Res64: 84F38435943140F8 Time : 0.0 sec. user=mdettweiler [2016-11-11 11:33:54] 843*2^1445510-1 is not prime. Res64: 392803426700E890 Time : 0.0 sec. user=mdettweiler [2016-11-11 11:39:50] 851*2^1445510-1 is not prime. Res64: 4BFD3188A8FE385E Time : 0.0 sec. user=mdettweiler [2016-11-11 11:39:50] 857*2^1445510-1 is not prime. Res64: 6BCEEC9A87B6A325 Time : 0.0 sec. user=mdettweiler [2016-11-11 11:39:51] 615*2^1445511-1 is not prime. Res64: 2249A68F61BFF82C Time : 0.0 sec. user=mdettweiler [2016-11-11 11:39:51] 685*2^1445511-1 is not prime. Res64: 658D17A4A2792F21 Time : 0.0 sec. user=mdettweiler [2016-11-11 11:39:51] 961*2^1445511-1 is not prime. Res64: 739FE789A18EDC00 Time : 0.0 sec. user=mdettweiler [2016-11-11 11:54:23] 617*2^1445512-1 is not prime. Res64: 684DD7A454C261C1 Time : 0.0 sec. user=mdettweiler [2016-11-11 11:54:23] 657*2^1445512-1 is not prime. Res64: 7D032C48CF97385B Time : 0.0 sec. user=mdettweiler [2016-11-11 11:54:23] 723*2^1445512-1 is not prime. Res64: A90B63768EDCD0B3 Time : 0.0 sec. user=mdettweiler [2016-11-11 11:54:24] 863*2^1445512-1 is not prime. Res64: D6EE500105EC852F Time : 0.0 sec. user=mdettweiler [2016-11-11 11:54:24] 965*2^1445512-1 is not prime. Res64: D0F8F0E2C68EE290 Time : 0.0 sec. user=mdettweiler [2016-11-11 11:59:21] 627*2^1445513-1 is not prime. Res64: B821388C6DB69671 Time : 0.0 sec. user=mdettweiler [2016-11-11 11:59:22] 657*2^1445513-1 is not prime. Res64: 76F1EFBE1A4D9693 Time : 0.0 sec. user=mdettweiler [2016-11-11 11:59:22] 685*2^1445513-1 is not prime. Res64: ED8233696E4371A3 Time : 0.0 sec. user=mdettweiler [2016-11-11 11:59:22] 691*2^1445513-1 is not prime. Res64: 0A39A1A00607E393 Time : 0.0 sec. user=mdettweiler [2016-11-11 11:59:23] 805*2^1445513-1 is not prime. Res64: BA12BC854E438218 Time : 0.0 sec. user=mdettweiler [2016-11-11 12:18:51] 867*2^1445513-1 is not prime. Res64: B9053747A92AF005 Time : 0.0 sec. user=mdettweiler [2016-11-11 12:18:52] 885*2^1445513-1 is not prime. Res64: 4C461C36F02A5804 Time : 0.0 sec. user=mdettweiler [2016-11-11 12:18:52] 937*2^1445513-1 is not prime. Res64: AD9A6E2485119189 Time : 0.0 sec. user=mdettweiler [2016-11-11 12:18:53] 945*2^1445513-1 is not prime. Res64: 1D121E9AF3394D4F Time : 0.0 sec. user=mdettweiler [2016-11-11 12:18:53] 987*2^1445513-1 is not prime. Res64: 2648273BA3B86C3F Time : 0.0 sec. user=mdettweiler [2016-11-11 12:24:37] 615*2^1445514-1 is not prime. Res64: E4EDEFA237FBF383 Time : 0.0 sec. user=mdettweiler [2016-11-11 12:24:37] 621*2^1445514-1 is not prime. Res64: 3CA4DCC386168C8F Time : 0.0 sec. user=mdettweiler [2016-11-11 12:24:38] 681*2^1445514-1 is not prime. Res64: 58CBBDA03197A745 Time : 0.0 sec. user=mdettweiler [2016-11-11 12:24:38] 741*2^1445514-1 is not prime. Res64: BAED7794ED1A29A6 Time : 0.0 sec. user=mdettweiler [2016-11-11 12:24:38] 747*2^1445514-1 is not prime. Res64: 4F32B8E0CE59C621 Time : 0.0 sec. user=mdettweiler [2016-11-11 12:39:13] 773*2^1445514-1 is not prime. Res64: 4CAE629FE047DE82 Time : 0.0 sec. user=mdettweiler [2016-11-11 12:39:13] 797*2^1445514-1 is not prime. Res64: C8C1EEEBED9E7E6B Time : 0.0 sec. user=mdettweiler [2016-11-11 12:39:13] 815*2^1445514-1 is not prime. Res64: FAFF18C9907464D3 Time : 0.0 sec. user=mdettweiler [2016-11-11 12:39:14] 851*2^1445514-1 is not prime. Res64: AA1FE17BDF1D5647 Time : 0.0 sec. user=mdettweiler [2016-11-11 12:39:14] 875*2^1445514-1 is not prime. Res64: 55E686CDC46DDB8B Time : 0.0 sec. user=mdettweiler [2016-11-11 12:44:19] 975*2^1445514-1 is not prime. Res64: 77A573C1B1D40D27 Time : 0.0 sec. user=mdettweiler [2016-11-11 12:44:19] 601*2^1445515-1 is not prime. Res64: C8A849D9CCA1DF00 Time : 0.0 sec. user=mdettweiler [2016-11-11 12:44:19] 625*2^1445515-1 is not prime. Res64: 226972EAC4010BB6 Time : 0.0 sec. user=mdettweiler [2016-11-11 12:44:20] 675*2^1445515-1 is not prime. Res64: 45080ABDDCA9F6D2 Time : 0.0 sec. user=mdettweiler [2016-11-11 12:44:20] 691*2^1445515-1 is not prime. Res64: 2DB7456ABD1F1B02 Time : 0.0 sec. user=mdettweiler [2016-11-11 13:03:38] 783*2^1445515-1 is not prime. Res64: 04CD4928BB7EBE61 Time : 0.0 sec. user=mdettweiler [2016-11-11 13:03:39] 883*2^1445515-1 is not prime. Res64: EB65510FFFE743AC Time : 0.0 sec. user=mdettweiler [2016-11-11 13:03:40] 885*2^1445515-1 is not prime. Res64: F6A58DD2D9899BE2 Time : 0.0 sec. user=mdettweiler [2016-11-11 13:03:41] 979*2^1445515-1 is not prime. Res64: D4EE54918568F590 Time : 0.0 sec. user=mdettweiler [2016-11-11 13:03:42] 999*2^1445515-1 is not prime. Res64: E8BD8298418F4EF2 Time : 0.0 sec. user=mdettweiler [2016-11-11 13:09:26] 657*2^1445516-1 is not prime. Res64: F4462414F9DD4386 Time : 0.0 sec. user=mdettweiler [2016-11-11 13:09:26] 669*2^1445516-1 is not prime. Res64: 420AF311C42A0D34 Time : 0.0 sec. user=mdettweiler [2016-11-11 13:09:27] 677*2^1445516-1 is not prime. Res64: 8366B803993F565A Time : 0.0 sec. user=mdettweiler [2016-11-11 13:09:27] 909*2^1445516-1 is not prime. Res64: 9204323D7ADC6416 Time : 0.0 sec. user=mdettweiler [2016-11-11 13:09:27] 699*2^1445517-1 is not prime. Res64: 11EF54AE967F8661 Time : 0.0 sec. user=mdettweiler [2016-11-11 13:24:06] 747*2^1445517-1 is not prime. Res64: 5E76611D72FB7A6E Time : 0.0 sec. user=mdettweiler [2016-11-11 13:24:06] 751*2^1445517-1 is not prime. Res64: 1B2DD6E224393AF3 Time : 0.0 sec. user=mdettweiler [2016-11-11 13:24:07] 831*2^1445517-1 is not prime. Res64: 4285A19969C4CD3E Time : 0.0 sec. user=mdettweiler [2016-11-11 13:24:07] 871*2^1445517-1 is not prime. Res64: E40BD5BB661F0541 Time : 0.0 sec. user=mdettweiler [2016-11-11 13:24:08] 961*2^1445517-1 is not prime. Res64: 8E6EFB0FE3823E0C Time : 0.0 sec. user=mdettweiler [2016-11-11 13:29:13] 605*2^1445518-1 is not prime. Res64: 0A30C962531F35A7 Time : 0.0 sec. user=mdettweiler [2016-11-11 13:29:13] 843*2^1445518-1 is not prime. Res64: 3DA9060755D16886 Time : 0.0 sec. user=mdettweiler [2016-11-11 13:29:14] 881*2^1445518-1 is not prime. Res64: A3AA1713878B1890 Time : 0.0 sec. user=mdettweiler [2016-11-11 13:29:14] 957*2^1445518-1 is not prime. Res64: D7792DC0667CA2FB Time : 0.0 sec. user=mdettweiler [2016-11-11 13:29:15] 1001*2^1445518-1 is not prime. Res64: 002C6448EF8AB2D0 Time : 0.0 sec. user=mdettweiler [2016-11-11 13:48:38] 865*2^1445519-1 is not prime. Res64: F266C59FF2930E94 Time : 0.0 sec. user=mdettweiler [2016-11-11 13:48:38] 879*2^1445519-1 is not prime. Res64: 40792CE2F869277F Time : 0.0 sec. user=mdettweiler [2016-11-11 13:48:39] 921*2^1445519-1 is not prime. Res64: 2A3C75414F38BB6F Time : 0.0 sec. user=mdettweiler [2016-11-11 13:48:39] 689*2^1445520-1 is not prime. Res64: 2453AED2360E7A27 Time : 0.0 sec. user=mdettweiler [2016-11-11 13:48:39] 719*2^1445520-1 is not prime. Res64: DE470F6686D62CE4 Time : 0.0 sec. user=mdettweiler [2016-11-11 13:54:08] 797*2^1445520-1 is not prime. Res64: 35200415E21AB287 Time : 0.0 sec. user=mdettweiler [2016-11-11 13:54:08] 809*2^1445520-1 is not prime. Res64: E0E8406F4E898531 Time : 0.0 sec. user=mdettweiler [2016-11-11 13:54:09] 819*2^1445520-1 is not prime. Res64: 8DC8B09A83811655 Time : 0.0 sec. user=mdettweiler [2016-11-11 13:54:09] 863*2^1445520-1 is not prime. Res64: 184C18CC13B26DBA Time : 0.0 sec. user=mdettweiler [2016-11-11 13:54:09] 887*2^1445520-1 is not prime. Res64: 3E9805113AE2F7B9 Time : 0.0 sec. user=mdettweiler [2016-11-11 14:08:49] 929*2^1445520-1 is not prime. Res64: AFCEC80966E8B9ED Time : 0.0 sec. user=mdettweiler [2016-11-11 14:08:51] 999*2^1445520-1 is not prime. Res64: E6D39C63C54276F2 Time : 0.0 sec. user=mdettweiler [2016-11-11 14:08:52] 717*2^1445521-1 is not prime. Res64: EFE6404FBDE9FBCB Time : 0.0 sec. user=mdettweiler [2016-11-11 14:08:54] 741*2^1445521-1 is not prime. Res64: 1E158F4F0818DB1B Time : 0.0 sec. user=mdettweiler [2016-11-11 14:08:56] 987*2^1445521-1 is not prime. Res64: 794C25DB08B32F46 Time : 0.0 sec. user=mdettweiler [2016-11-11 14:14:06] 651*2^1445522-1 is not prime. Res64: 9F1BFFBEE3B0EEA7 Time : 0.0 sec. user=mdettweiler [2016-11-11 14:14:06] 657*2^1445522-1 is not prime. Res64: 0FC24158EBA7A794 Time : 0.0 sec. user=mdettweiler [2016-11-11 14:14:06] 701*2^1445522-1 is not prime. Res64: A26199FA0D110E6A Time : 0.0 sec. user=mdettweiler [2016-11-11 14:14:07] 743*2^1445522-1 is not prime. Res64: 5A67E7DFFD68A45B Time : 0.0 sec. user=mdettweiler [2016-11-11 14:14:07] 797*2^1445522-1 is not prime. Res64: 8DE4C4EC14AE712A Time : 0.0 sec. user=mdettweiler [2016-11-11 14:33:27] 813*2^1445522-1 is not prime. Res64: 12ABC4A1E7966C67 Time : 0.0 sec. user=mdettweiler [2016-11-11 14:33:28] 921*2^1445522-1 is not prime. Res64: C148E412CA45E608 Time : 0.0 sec. user=mdettweiler [2016-11-11 14:33:28] 625*2^1445523-1 is not prime. Res64: 69A8B3644FB4D7B6 Time : 0.0 sec. user=mdettweiler [2016-11-11 14:33:29] 639*2^1445523-1 is not prime. Res64: 1D6EE1E95F4E13D4 Time : 0.0 sec. user=mdettweiler [2016-11-11 14:33:29] 643*2^1445523-1 is not prime. Res64: 496A4F7084F1B683 Time : 0.0 sec. user=mdettweiler [2016-11-11 14:38:57] 675*2^1445523-1 is not prime. Res64: FD134FD3282BD428 Time : 0.0 sec. user=mdettweiler [2016-11-11 14:38:58] 783*2^1445523-1 is not prime. Res64: 64C5A1E089CA0EEE Time : 0.0 sec. user=mdettweiler [2016-11-11 14:38:58] 859*2^1445523-1 is not prime. Res64: 7FA2A08266289A1A Time : 0.0 sec. user=mdettweiler [2016-11-11 14:38:58] 605*2^1445524-1 is not prime. Res64: 5DF63D46A8F8C19B Time : 0.0 sec. user=mdettweiler [2016-11-11 14:38:59] 615*2^1445524-1 is not prime. Res64: C69418A9F2DE0A40 Time : 0.0 sec. user=mdettweiler [2016-11-11 14:53:51] 813*2^1445524-1 is not prime. Res64: BD901BE56700E158 Time : 0.0 sec. user=mdettweiler [2016-11-11 14:53:51] 875*2^1445524-1 is not prime. Res64: 69411B731158748F Time : 0.0 sec. user=mdettweiler [2016-11-11 14:53:51] 601*2^1445525-1 is not prime. Res64: 00D3E1949BCC7051 Time : 0.0 sec. user=mdettweiler [2016-11-11 14:53:52] 789*2^1445525-1 is not prime. Res64: 80F3BA71AD1E4A50 Time : 0.0 sec. user=mdettweiler [2016-11-11 14:53:52] 867*2^1445525-1 is not prime. Res64: 587BF51C4C9F65B3 Time : 0.0 sec. user=mdettweiler [2016-11-11 14:58:52] 641*2^1445526-1 is not prime. Res64: 2DF7F118A2EC90FD Time : 0.0 sec. user=mdettweiler [2016-11-11 14:58:53] 713*2^1445526-1 is not prime. Res64: 2A36A93D1F8138F1 Time : 0.0 sec. user=mdettweiler [2016-11-11 14:58:53] 825*2^1445526-1 is not prime. Res64: A039E69E4EC9D6FA Time : 0.0 sec. user=mdettweiler [2016-11-11 14:58:53] 971*2^1445526-1 is not prime. Res64: B8C74AEE7FF572CA Time : 0.0 sec. user=mdettweiler [2016-11-11 14:58:54] 673*2^1445527-1 is not prime. Res64: 3BD7CE5561CDB3C4 Time : 0.0 sec. user=mdettweiler [2016-11-11 15:18:21] 933*2^1445527-1 is not prime. Res64: 66CD52D4C61B9FEA Time : 0.0 sec. user=mdettweiler [2016-11-11 15:18:22] 985*2^1445527-1 is not prime. Res64: B68134922DDF2D30 Time : 0.0 sec. user=mdettweiler [2016-11-11 15:18:22] 993*2^1445527-1 is not prime. Res64: 5FEFF2ED3D8E3ABE Time : 0.0 sec. user=mdettweiler [2016-11-11 15:18:23] 629*2^1445528-1 is not prime. Res64: 646CB4B489213FCE Time : 0.0 sec. user=mdettweiler [2016-11-11 15:18:23] 797*2^1445528-1 is not prime. Res64: 7E865BDCFA4770E1 Time : 0.0 sec. user=mdettweiler [2016-11-11 15:23:44] 875*2^1445528-1 is not prime. Res64: FC89D3D23F2607E5 Time : 0.0 sec. user=mdettweiler [2016-11-11 15:23:45] 923*2^1445528-1 is not prime. Res64: D1841751799D9696 Time : 0.0 sec. user=mdettweiler [2016-11-11 15:23:45] 627*2^1445529-1 is not prime. Res64: A85C8494A955ADEE Time : 0.0 sec. user=mdettweiler [2016-11-11 15:23:46] 741*2^1445529-1 is not prime. Res64: FF7AB2354015EE6B Time : 0.0 sec. user=mdettweiler [2016-11-11 15:23:46] 759*2^1445529-1 is not prime. Res64: AD2419013731B9A4 Time : 0.0 sec. user=mdettweiler [2016-11-11 15:38:30] 877*2^1445529-1 is not prime. Res64: B57A5C09F7842725 Time : 0.0 sec. user=mdettweiler [2016-11-11 15:38:30] 611*2^1445530-1 is not prime. Res64: C091A90B039C47D2 Time : 0.0 sec. user=mdettweiler [2016-11-11 15:38:31] 647*2^1445530-1 is not prime. Res64: 517BE7CDF6D69AD1 Time : 0.0 sec. user=mdettweiler [2016-11-11 15:38:31] 653*2^1445530-1 is not prime. Res64: 99D99F2E98C0449C Time : 0.0 sec. user=mdettweiler [2016-11-11 15:38:31] 677*2^1445530-1 is not prime. Res64: 2C1426719824B53A Time : 0.0 sec. user=mdettweiler [2016-11-11 15:43:44] 731*2^1445530-1 is not prime. Res64: 2E477241F75EEA2B Time : 0.0 sec. user=mdettweiler [2016-11-11 15:43:45] 905*2^1445530-1 is not prime. Res64: 4DA1A0D96125C67C Time : 0.0 sec. user=mdettweiler [2016-11-11 15:43:45] 1001*2^1445530-1 is not prime. Res64: 86239C7CDFF99DB3 Time : 0.0 sec. user=mdettweiler [2016-11-11 15:43:46] 663*2^1445531-1 is not prime. Res64: 55FC7F285D8DF410 Time : 0.0 sec. user=mdettweiler [2016-11-11 15:43:46] 753*2^1445531-1 is not prime. Res64: C3A6424FE2E2E3BB Time : 0.0 sec. user=mdettweiler [2016-11-11 16:03:13] 855*2^1445531-1 is not prime. Res64: B9EA16A05FA8705D Time : 0.0 sec. user=mdettweiler [2016-11-11 16:03:14] 999*2^1445531-1 is not prime. Res64: 835445613828828D Time : 0.0 sec. user=mdettweiler [2016-11-11 16:03:15] 609*2^1445532-1 is not prime. Res64: 0B18969BC75E8B29 Time : 0.0 sec. user=mdettweiler [2016-11-11 16:03:16] 689*2^1445532-1 is not prime. Res64: F4FA14E60072F04F Time : 0.0 sec. user=mdettweiler [2016-11-11 16:03:16] 765*2^1445532-1 is not prime. Res64: F30D70F01D8103D1 Time : 0.0 sec. user=mdettweiler [2016-11-11 16:08:31] 797*2^1445532-1 is not prime. Res64: 76FA2A20964CE8E2 Time : 0.0 sec. user=mdettweiler [2016-11-11 16:08:33] 857*2^1445532-1 is not prime. Res64: 99436FD6C61EFBAF Time : 0.0 sec. user=mdettweiler [2016-11-11 16:08:34] 879*2^1445532-1 is not prime. Res64: E0229D44C4519332 Time : 0.0 sec. user=mdettweiler [2016-11-11 16:08:35] 685*2^1445533-1 is not prime. Res64: 710C0BC6EB06F8BC Time : 0.0 sec. user=mdettweiler [2016-11-11 16:08:36] 691*2^1445533-1 is not prime. Res64: 700E8FE29D54DC78 Time : 0.0 sec. user=mdettweiler [2016-11-11 16:23:14] 811*2^1445533-1 is not prime. Res64: 05D2BCBB94F17135 Time : 0.0 sec. user=mdettweiler [2016-11-11 16:23:15] 885*2^1445533-1 is not prime. Res64: A69CED73D0759281 Time : 0.0 sec. user=mdettweiler [2016-11-11 16:23:15] 979*2^1445533-1 is not prime. Res64: 8C07B553D87C5CD3 Time : 0.0 sec. user=mdettweiler [2016-11-11 16:23:15] 981*2^1445533-1 is not prime. Res64: B6E713053298F34D Time : 0.0 sec. user=mdettweiler [2016-11-11 16:23:16] 635*2^1445534-1 is not prime. Res64: D4DB671FAD299F91 Time : 0.0 sec. user=mdettweiler [2016-11-11 16:28:59] 677*2^1445534-1 is not prime. Res64: EC636FFDDD21B245 Time : 0.0 sec. user=mdettweiler [2016-11-11 16:29:00] 741*2^1445534-1 is not prime. Res64: B79B5C82500A58EE Time : 0.0 sec. user=mdettweiler [2016-11-11 16:29:01] 953*2^1445534-1 is not prime. Res64: 2D189C0C428361BF Time : 0.0 sec. user=mdettweiler [2016-11-11 16:29:01] 981*2^1445534-1 is not prime. Res64: A9BED7FE83C10A32 Time : 0.0 sec. user=mdettweiler [2016-11-11 16:29:02] 1001*2^1445534-1 is not prime. Res64: 45D713EADEDF881A Time : 0.0 sec. user=mdettweiler [2016-11-11 16:48:38] 625*2^1445535-1 is not prime. Res64: C23B7FBCAF275B2D Time : 0.0 sec. user=mdettweiler [2016-11-11 16:48:39] 669*2^1445535-1 is not prime. Res64: D6BB445EDAB147E1 Time : 0.0 sec. user=mdettweiler [2016-11-11 16:48:39] 685*2^1445535-1 is not prime. Res64: 135C27320D101A83 Time : 0.0 sec. user=mdettweiler [2016-11-11 16:48:40] 783*2^1445535-1 is not prime. Res64: E031E4C6D6FBF85C Time : 0.0 sec. user=mdettweiler [2016-11-11 16:48:40] 717*2^1445536-1 is not prime. Res64: FF79DA05BA280157 Time : 0.0 sec. user=mdettweiler [2016-11-11 16:53:52] 833*2^1445536-1 is not prime. Res64: A1EADC28B391B589 Time : 0.0 sec. user=mdettweiler [2016-11-11 16:53:52] 849*2^1445536-1 is not prime. Res64: 9132F76E19382F72 Time : 0.0 sec. user=mdettweiler [2016-11-11 16:53:52] 905*2^1445536-1 is not prime. Res64: 1EC06AD3D99DF06F Time : 0.0 sec. user=mdettweiler [2016-11-11 16:53:53] 975*2^1445536-1 is not prime. Res64: 454571D9B78030F8 Time : 0.0 sec. user=mdettweiler [2016-11-11 16:53:53] 615*2^1445537-1 is not prime. Res64: 6466CF9A6B7F041B Time : 0.0 sec. user=mdettweiler [2016-11-11 17:08:06] 699*2^1445537-1 is not prime. Res64: 6EDCC5979833C753 Time : 0.0 sec. user=mdettweiler [2016-11-11 17:08:08] 715*2^1445537-1 is not prime. Res64: 854BDC2027FB3873 Time : 0.0 sec. user=mdettweiler [2016-11-11 17:08:08] 729*2^1445537-1 is not prime. Res64: 1E5AD5F5460BDB74 Time : 0.0 sec. user=mdettweiler [2016-11-11 17:08:09] 747*2^1445537-1 is not prime. Res64: 001B6DB6DCEC7EA9 Time : 0.0 sec. user=mdettweiler [2016-11-11 17:08:09] 837*2^1445537-1 is not prime. Res64: 638E90612BA6269F Time : 0.0 sec. user=mdettweiler [2016-11-11 17:13:47] 627*2^1445538-1 is not prime. Res64: A6B421EEA808919B Time : 0.0 sec. user=mdettweiler [2016-11-11 17:13:47] 663*2^1445538-1 is not prime. Res64: 3405E1F2D0E71950 Time : 0.0 sec. user=mdettweiler [2016-11-11 17:13:47] 711*2^1445538-1 is not prime. Res64: 73BDEAF3163C3CEC Time : 0.0 sec. user=mdettweiler [2016-11-11 17:13:48] 725*2^1445538-1 is not prime. Res64: 526434495F8C5EBE Time : 0.0 sec. user=mdettweiler [2016-11-11 17:13:48] 731*2^1445538-1 is not prime. Res64: 06FDEAA55415B2E7 Time : 0.0 sec. user=mdettweiler [2016-11-11 17:33:25] 885*2^1445538-1 is not prime. Res64: FDCF51088E447F90 Time : 0.0 sec. user=mdettweiler [2016-11-11 17:33:26] 945*2^1445538-1 is not prime. Res64: 4572376F1EE0674A Time : 0.0 sec. user=mdettweiler [2016-11-11 17:33:26] 963*2^1445538-1 is not prime. Res64: 217678CEFF80EFFF Time : 0.0 sec. user=mdettweiler [2016-11-11 17:33:26] 609*2^1445539-1 is not prime. Res64: B26C9694C915723D Time : 0.0 sec. user=mdettweiler [2016-11-11 17:33:27] 631*2^1445539-1 is not prime. Res64: E506DA7449988168 Time : 0.0 sec. user=mdettweiler [2016-11-11 17:38:36] 649*2^1445539-1 is not prime. Res64: 8FBF1E3290F751F6 Time : 0.0 sec. user=mdettweiler [2016-11-11 17:38:37] 663*2^1445539-1 is not prime. Res64: 10F7AE532886E555 Time : 0.0 sec. user=mdettweiler [2016-11-11 17:38:37] 691*2^1445539-1 is not prime. Res64: 8655D76E5AC58266 Time : 0.0 sec. user=mdettweiler [2016-11-11 17:38:37] 703*2^1445539-1 is not prime. Res64: 50B56DD57DCA745B Time : 0.0 sec. user=mdettweiler [2016-11-11 17:38:38] 813*2^1445539-1 is not prime. Res64: C58BFD2487C775E1 Time : 0.0 sec. user=mdettweiler [2016-11-11 17:53:03] 829*2^1445539-1 is not prime. Res64: F3BDE456B2179C04 Time : 0.0 sec. user=mdettweiler [2016-11-11 17:53:04] 853*2^1445539-1 is not prime. Res64: 1677FFF3D9477BE6 Time : 0.0 sec. user=mdettweiler [2016-11-11 17:53:04] 859*2^1445539-1 is not prime. Res64: DFD294AAB58BA4BC Time : 0.0 sec. user=mdettweiler [2016-11-11 17:53:04] 615*2^1445540-1 is not prime. Res64: 2A87F3D94F96DA4B Time : 0.0 sec. user=mdettweiler [2016-11-11 17:53:05] 777*2^1445540-1 is not prime. Res64: 8AF851E094999A29 Time : 0.0 sec. user=mdettweiler [2016-11-11 17:58:33] 875*2^1445540-1 is not prime. Res64: DF3B8743C49F5FD3 Time : 0.0 sec. user=mdettweiler [2016-11-11 17:58:33] 899*2^1445540-1 is not prime. Res64: 8D22603EBABAA0A5 Time : 0.0 sec. user=mdettweiler [2016-11-11 17:58:34] 959*2^1445540-1 is not prime. Res64: 6DD2A41C03F3D474 Time : 0.0 sec. user=mdettweiler [2016-11-11 17:58:34] 795*2^1445541-1 is not prime. Res64: EF7E37F479B7EBAC Time : 0.0 sec. user=mdettweiler [2016-11-11 17:58:34] 837*2^1445541-1 is not prime. Res64: BDF3EFACD40A9EA3 Time : 0.0 sec. user=mdettweiler [2016-11-11 18:18:36] 861*2^1445541-1 is not prime. Res64: 340734B188D0BA0E Time : 0.0 sec. user=mdettweiler [2016-11-11 18:18:37] 945*2^1445541-1 is not prime. Res64: 385D0AE1141CAC06 Time : 0.0 sec. user=mdettweiler [2016-11-11 18:18:37] 975*2^1445541-1 is not prime. Res64: 743B79D621AAB19D Time : 0.0 sec. user=mdettweiler [2016-11-11 18:18:38] 713*2^1445542-1 is not prime. Res64: 49DCEDB4FEA9A7D8 Time : 0.0 sec. user=mdettweiler [2016-11-11 18:18:38] 723*2^1445542-1 is not prime. Res64: F1AE1D5F257635C6 Time : 0.0 sec. user=mdettweiler [2016-11-11 18:23:46] 801*2^1445542-1 is not prime. Res64: D62EFA2ED3E4EEB7 Time : 0.0 sec. user=mdettweiler [2016-11-11 18:23:46] 813*2^1445542-1 is not prime. Res64: EF9C5C07BB52D166 Time : 0.0 sec. user=mdettweiler [2016-11-11 18:23:46] 881*2^1445542-1 is not prime. Res64: 089D6CA02C22DC02 Time : 0.0 sec. user=mdettweiler [2016-11-11 18:23:47] 643*2^1445543-1 is not prime. Res64: B7ADE4217F67B9DD Time : 0.0 sec. user=mdettweiler [2016-11-11 18:23:47] 669*2^1445543-1 is not prime. Res64: 074929EDC9220C22 Time : 0.0 sec. user=mdettweiler [2016-11-11 18:38:08] 679*2^1445543-1 is not prime. Res64: 6018DF027365873B Time : 0.0 sec. user=mdettweiler [2016-11-11 18:38:08] 859*2^1445543-1 is not prime. Res64: 67132C2036C2204F Time : 0.0 sec. user=mdettweiler [2016-11-11 18:38:09] 683*2^1445544-1 is not prime. Res64: B3C7BD6C59784348 Time : 0.0 sec. user=mdettweiler [2016-11-11 18:38:09] 693*2^1445544-1 is not prime. Res64: ED0526185E44C3C7 Time : 0.0 sec. user=mdettweiler [2016-11-11 18:38:09] 803*2^1445544-1 is not prime. Res64: 2A9F0E844EFEC738 Time : 0.0 sec. user=mdettweiler [2016-11-11 18:43:46] 857*2^1445544-1 is not prime. Res64: 644891A17C65E44A Time : 0.0 sec. user=mdettweiler [2016-11-11 18:43:47] 947*2^1445544-1 is not prime. Res64: CC71C47794B2F34B Time : 0.0 sec. user=mdettweiler [2016-11-11 18:43:47] 717*2^1445545-1 is not prime. Res64: A1A3F6D7E9AE24E5 Time : 0.0 sec. user=mdettweiler [2016-11-11 18:43:47] 721*2^1445545-1 is not prime. Res64: E235D1FAC198AB9D Time : 0.0 sec. user=mdettweiler [2016-11-11 18:43:48] 777*2^1445545-1 is not prime. Res64: 1AB2B800D4BE2434 Time : 0.0 sec. user=mdettweiler [2016-11-11 19:03:36] 841*2^1445545-1 is not prime. Res64: 732BBC02AD102D2C Time : 0.0 sec. user=mdettweiler [2016-11-11 19:03:37] 861*2^1445545-1 is not prime. Res64: CB893BFA4C35F7E7 Time : 0.0 sec. user=mdettweiler [2016-11-11 19:03:38] 885*2^1445545-1 is not prime. Res64: 70D11817C6E7A904 Time : 0.0 sec. user=mdettweiler [2016-11-11 19:03:39] 735*2^1445546-1 is not prime. Res64: D761D44E5A82AD64 Time : 0.0 sec. user=mdettweiler [2016-11-11 19:03:40] 773*2^1445546-1 is not prime. Res64: 81193D54B23E3D1A Time : 0.0 sec. user=mdettweiler [2016-11-11 19:09:00] 837*2^1445546-1 is not prime. Res64: 000101E8BF9DAC33 Time : 0.0 sec. user=mdettweiler [2016-11-11 19:09:01] 861*2^1445546-1 is not prime. Res64: 8470BF43296427F1 Time : 0.0 sec. user=mdettweiler [2016-11-11 19:09:03] 963*2^1445546-1 is not prime. Res64: D7603BCF61D8F234 Time : 0.0 sec. user=mdettweiler [2016-11-11 19:09:05] 685*2^1445547-1 is not prime. Res64: FADD19BC5FA0312F Time : 0.0 sec. user=mdettweiler [2016-11-11 19:09:06] 765*2^1445547-1 is not prime. Res64: FC4BAD0E37C648DF Time : 0.0 sec. user=mdettweiler [2016-11-11 19:23:56] 825*2^1445547-1 is not prime. Res64: 272CDCDB47DE0F29 Time : 0.0 sec. user=mdettweiler [2016-11-11 19:23:56] 891*2^1445547-1 is not prime. Res64: C1D0F2D934218E78 Time : 0.0 sec. user=mdettweiler [2016-11-11 19:23:56] 963*2^1445547-1 is not prime. Res64: EDDEA2BE88877829 Time : 0.0 sec. user=mdettweiler [2016-11-11 19:23:57] 635*2^1445548-1 is not prime. Res64: F5D381CD90962F2B Time : 0.0 sec. user=mdettweiler [2016-11-11 19:23:57] 647*2^1445548-1 is not prime. Res64: DEAB9D90B7F12472 Time : 0.0 sec. user=mdettweiler [2016-11-11 19:29:28] 677*2^1445548-1 is not prime. Res64: 2827CC7C58B1A85F Time : 0.0 sec. user=mdettweiler [2016-11-11 19:29:29] 855*2^1445548-1 is not prime. Res64: 778F959359595071 Time : 0.0 sec. user=mdettweiler [2016-11-11 19:29:29] 863*2^1445548-1 is not prime. Res64: 6E39D4250850172D Time : 0.0 sec. user=mdettweiler [2016-11-11 19:29:30] 885*2^1445548-1 is not prime. Res64: 9ADE316FBB4441FA Time : 0.0 sec. user=mdettweiler [2016-11-11 19:29:30] 887*2^1445548-1 is not prime. Res64: A53A7D047F05E9C2 Time : 0.0 sec. user=mdettweiler [2016-11-11 19:49:19] 909*2^1445548-1 is not prime. Res64: 5F21681221DBA4D5 Time : 0.0 sec. user=mdettweiler [2016-11-11 19:49:19] 927*2^1445548-1 is not prime. Res64: 31264E783F9505A1 Time : 0.0 sec. user=mdettweiler [2016-11-11 19:49:20] 959*2^1445548-1 is not prime. Res64: 3D750F5D5579CE92 Time : 0.0 sec. user=mdettweiler [2016-11-11 19:49:20] 999*2^1445548-1 is not prime. Res64: 068D84BCD924B583 Time : 0.0 sec. user=mdettweiler [2016-11-11 19:49:20] 771*2^1445549-1 is not prime. Res64: FCF2878B2E383441 Time : 0.0 sec. user=mdettweiler [2016-11-11 19:54:35] 627*2^1445550-1 is not prime. Res64: ADBC670CB98492DD Time : 0.0 sec. user=mdettweiler [2016-11-11 19:54:35] 671*2^1445550-1 is not prime. Res64: C8CC286CA01F106E Time : 0.0 sec. user=mdettweiler [2016-11-11 19:54:36] 725*2^1445550-1 is not prime. Res64: FDDE5E29ABE74D2D Time : 0.0 sec. user=mdettweiler [2016-11-11 19:54:36] 761*2^1445550-1 is not prime. Res64: 9B3B99B5018E56F2 Time : 0.0 sec. user=mdettweiler [2016-11-11 19:54:36] 833*2^1445550-1 is not prime. Res64: C7109DF2A31C3012 Time : 0.0 sec. user=mdettweiler [2016-11-11 20:08:51] 887*2^1445550-1 is not prime. Res64: 20A9D524067E3F06 Time : 0.0 sec. user=mdettweiler [2016-11-11 20:08:54] 927*2^1445550-1 is not prime. Res64: F40AADC4F91AEFFD Time : 0.0 sec. user=mdettweiler [2016-11-11 20:08:55] 679*2^1445551-1 is not prime. Res64: 9CD0BDB0755F67E7 Time : 0.0 sec. user=mdettweiler [2016-11-11 20:08:56] 741*2^1445551-1 is not prime. Res64: 78715E63481E4712 Time : 0.0 sec. user=mdettweiler [2016-11-11 20:08:58] 829*2^1445551-1 is not prime. Res64: 529AC6EDB0711D1C Time : 0.0 sec. user=mdettweiler [2016-11-11 20:14:18] 891*2^1445551-1 is not prime. Res64: A6BE1BC504470ABC Time : 0.0 sec. user=mdettweiler [2016-11-11 20:14:18] 979*2^1445551-1 is not prime. Res64: E6A2BE7FA64BA4EA Time : 0.0 sec. user=mdettweiler [2016-11-11 20:14:19] 603*2^1445552-1 is not prime. Res64: A1246240B4726C76 Time : 0.0 sec. user=mdettweiler [2016-11-11 20:14:19] 689*2^1445552-1 is not prime. Res64: 299ABCADB83938D3 Time : 0.0 sec. user=mdettweiler [2016-11-11 20:14:20] 693*2^1445552-1 is not prime. Res64: 9B4291A491EBAD24 Time : 0.0 sec. user=mdettweiler [2016-11-11 20:34:02] 743*2^1445552-1 is not prime. Res64: 50FD1B5F6D04D821 Time : 0.0 sec. user=mdettweiler [2016-11-11 20:34:03] 759*2^1445552-1 is not prime. Res64: F39DC1BEF784F3B4 Time : 0.0 sec. user=mdettweiler [2016-11-11 20:34:03] 813*2^1445552-1 is not prime. Res64: 5BE97CF79E2B85F0 Time : 0.0 sec. user=mdettweiler [2016-11-11 20:34:04] 867*2^1445552-1 is not prime. Res64: 681C98D7F8D4581C Time : 0.0 sec. user=mdettweiler [2016-11-11 20:34:04] 897*2^1445552-1 is not prime. Res64: 0F241A4B1D868B85 Time : 0.0 sec. user=mdettweiler [2016-11-11 20:39:09] 909*2^1445552-1 is not prime. Res64: E3587B01CFB7771F Time : 0.0 sec. user=mdettweiler [2016-11-11 20:39:10] 923*2^1445552-1 is not prime. Res64: E35E61A161516506 Time : 0.0 sec. user=mdettweiler [2016-11-11 20:39:10] 657*2^1445553-1 is not prime. Res64: B9D449C364ABD8C6 Time : 0.0 sec. user=mdettweiler [2016-11-11 20:39:11] 699*2^1445553-1 is not prime. Res64: A9AA84867B354CB5 Time : 0.0 sec. user=mdettweiler [2016-11-11 20:39:11] 705*2^1445553-1 is not prime. Res64: 31BF3A73A33BCA24 Time : 0.0 sec. user=mdettweiler [2016-11-11 20:53:55] 735*2^1445553-1 is not prime. Res64: 90B255A1083ADC98 Time : 0.0 sec. user=mdettweiler [2016-11-11 20:53:55] 811*2^1445553-1 is not prime. Res64: C4D7B1F4922D38E6 Time : 0.0 sec. user=mdettweiler [2016-11-11 20:53:55] 867*2^1445553-1 is not prime. Res64: 40B14867EFE8D972 Time : 0.0 sec. user=mdettweiler [2016-11-11 20:53:56] 889*2^1445553-1 is not prime. Res64: E2D44E5A1ED3877F Time : 0.0 sec. user=mdettweiler [2016-11-11 20:53:56] 985*2^1445553-1 is not prime. Res64: 80D55C88F0A30937 Time : 0.0 sec. user=mdettweiler [2016-11-11 20:59:09] 999*2^1445553-1 is not prime. Res64: 144536DC7D3E077F Time : 0.0 sec. user=mdettweiler [2016-11-11 20:59:09] 677*2^1445554-1 is not prime. Res64: 2B31D0CF5E9A7A8A Time : 0.0 sec. user=mdettweiler [2016-11-11 20:59:10] 741*2^1445554-1 is not prime. Res64: BEA2A8A4780C4580 Time : 0.0 sec. user=mdettweiler [2016-11-11 20:59:10] 857*2^1445554-1 is not prime. Res64: 771BAEECA945D5CD Time : 0.0 sec. user=mdettweiler [2016-11-11 20:59:10] 881*2^1445554-1 is not prime. Res64: F1BC70B0241F9393 Time : 0.0 sec. user=mdettweiler [2016-11-11 21:18:56] 971*2^1445554-1 is not prime. Res64: 39F9B7FA60706488 Time : 0.0 sec. user=mdettweiler [2016-11-11 21:18:57] 705*2^1445555-1 is not prime. Res64: 27766072E16119CC Time : 0.0 sec. user=mdettweiler [2016-11-11 21:18:58] 759*2^1445555-1 is not prime. Res64: BCC469352824B4B4 Time : 0.0 sec. user=mdettweiler [2016-11-11 21:18:58] 841*2^1445555-1 is not prime. Res64: 1CBCBC6018FAC697 Time : 0.0 sec. user=mdettweiler [2016-11-11 21:18:59] 695*2^1445556-1 is not prime. Res64: 127D11EF5C2EDD4E Time : 0.0 sec. user=mdettweiler [2016-11-11 21:23:55] 735*2^1445556-1 is not prime. Res64: 7491050F5F4E7DF9 Time : 0.0 sec. user=mdettweiler [2016-11-11 21:23:56] 983*2^1445556-1 is not prime. Res64: AC66AB27198515F4 Time : 0.0 sec. user=mdettweiler [2016-11-11 21:23:56] 607*2^1445557-1 is not prime. Res64: C8FB11BA8ED2B5A8 Time : 0.0 sec. user=mdettweiler [2016-11-11 21:23:57] 649*2^1445557-1 is not prime. Res64: D5ECD52224A43A40 Time : 0.0 sec. user=mdettweiler [2016-11-11 21:23:57] 799*2^1445557-1 is not prime. Res64: 9F617E52B1FD94FF Time : 0.0 sec. user=mdettweiler [2016-11-11 21:38:33] 805*2^1445557-1 is not prime. Res64: 8192DAD951980A3F Time : 0.0 sec. user=mdettweiler [2016-11-11 21:38:33] 901*2^1445557-1 is not prime. Res64: 107B7DFB6042523A Time : 0.0 sec. user=mdettweiler [2016-11-11 21:38:34] 919*2^1445557-1 is not prime. Res64: 6290C611AD4F647D Time : 0.0 sec. user=mdettweiler [2016-11-11 21:38:34] 603*2^1445558-1 is not prime. Res64: 9E10D09D8148728D Time : 0.0 sec. user=mdettweiler [2016-11-11 21:38:35] 693*2^1445558-1 is not prime. Res64: D267A54EEDF26EF6 Time : 0.0 sec. user=mdettweiler [2016-11-11 21:43:50] 711*2^1445558-1 is not prime. Res64: C08D7F2F2AE35770 Time : 0.0 sec. user=mdettweiler [2016-11-11 21:43:51] 713*2^1445558-1 is not prime. Res64: 72800D66BF15292E Time : 0.0 sec. user=mdettweiler [2016-11-11 21:43:51] 941*2^1445558-1 is not prime. Res64: 18622FE36D793A6C Time : 0.0 sec. user=mdettweiler [2016-11-11 21:43:52] 859*2^1445559-1 is not prime. Res64: 8419BAF408F8EA60 Time : 0.0 sec. user=mdettweiler [2016-11-11 21:43:52] 873*2^1445559-1 is not prime. Res64: 3DCF145FA3390045 Time : 0.0 sec. user=mdettweiler [2016-11-11 22:03:52] 891*2^1445559-1 is not prime. Res64: D68DA4AC2393C123 Time : 0.0 sec. user=mdettweiler [2016-11-11 22:03:53] 975*2^1445559-1 is not prime. Res64: 04BC7B81125E8D41 Time : 0.0 sec. user=mdettweiler [2016-11-11 22:03:54] 635*2^1445560-1 is not prime. Res64: 9522385EA0F352FD Time : 0.0 sec. user=mdettweiler [2016-11-11 22:03:56] 689*2^1445560-1 is not prime. Res64: 6CE071C865D2F862 Time : 0.0 sec. user=mdettweiler [2016-11-11 22:03:58] 819*2^1445560-1 is not prime. Res64: CBC4202367F4A8D3 Time : 0.0 sec. user=mdettweiler [2016-11-11 22:08:34] 843*2^1445560-1 is not prime. Res64: 0CBE791F97FEE7B6 Time : 0.0 sec. user=mdettweiler [2016-11-11 22:08:35] 909*2^1445560-1 is not prime. Res64: 82E5503D8F7DE2CF Time : 0.0 sec. user=mdettweiler [2016-11-11 22:08:37] 923*2^1445560-1 is not prime. Res64: EF46A8995F074AA4 Time : 0.0 sec. user=mdettweiler [2016-11-11 22:08:38] 959*2^1445560-1 is not prime. Res64: 943D77B871856FBE Time : 0.0 sec. user=mdettweiler [2016-11-11 22:08:39] 685*2^1445561-1 is not prime. Res64: FF2BA8E976194932 Time : 0.0 sec. user=mdettweiler [2016-11-11 22:23:24] 799*2^1445561-1 is not prime. Res64: 8FED9AC44D9AD9FD Time : 0.0 sec. user=mdettweiler [2016-11-11 22:23:24] 907*2^1445561-1 is not prime. Res64: 66F73FFBE33F0CCC Time : 0.0 sec. user=mdettweiler [2016-11-11 22:23:24] 931*2^1445561-1 is not prime. Res64: 8A74E42DE5299435 Time : 0.0 sec. user=mdettweiler [2016-11-11 22:23:25] 717*2^1445562-1 is not prime. Res64: E7618A1D1B301E69 Time : 0.0 sec. user=mdettweiler [2016-11-11 22:23:25] 741*2^1445562-1 is not prime. Res64: 571DB1F5541AC86B Time : 0.0 sec. user=mdettweiler [2016-11-11 22:28:47] 797*2^1445562-1 is not prime. Res64: DF891090C78A9DB6 Time : 0.0 sec. user=mdettweiler [2016-11-11 22:28:47] 885*2^1445562-1 is not prime. Res64: 29B5338964F22DB0 Time : 0.0 sec. user=mdettweiler [2016-11-11 22:28:48] 917*2^1445562-1 is not prime. Res64: EFD69E6208BDEE81 Time : 0.0 sec. user=mdettweiler [2016-11-11 22:28:48] 609*2^1445563-1 is not prime. Res64: 9AFC74A007117C9C Time : 0.0 sec. user=mdettweiler [2016-11-11 22:28:49] 631*2^1445563-1 is not prime. Res64: A352895F0EF26701 Time : 0.0 sec. user=mdettweiler [2016-11-11 22:50:27] 703*2^1445563-1 is not prime. Res64: 64A87345F49F1DF7 Time : 0.0 sec. user=mdettweiler [2016-11-11 22:50:27] 835*2^1445563-1 is not prime. Res64: DBB0D1A08661FE55 Time : 0.0 sec. user=mdettweiler [2016-11-11 22:50:28] 891*2^1445563-1 is not prime. Res64: AFF24E827AABCC82 Time : 0.0 sec. user=mdettweiler [2016-11-11 22:50:28] 895*2^1445563-1 is not prime. Res64: A18151CA598C83A3 Time : 0.0 sec. user=mdettweiler [2016-11-11 22:50:28] 925*2^1445563-1 is not prime. Res64: C29CBD85B61C927B Time : 0.0 sec. user=mdettweiler [2016-11-11 22:56:30] 939*2^1445563-1 is not prime. Res64: 0A48A3D073AE3BE1 Time : 0.0 sec. user=mdettweiler [2016-11-11 22:56:30] 663*2^1445564-1 is not prime. Res64: E9209B26BC1DE879 Time : 0.0 sec. user=mdettweiler [2016-11-11 22:56:30] 687*2^1445564-1 is not prime. Res64: 16C5F53CD9B7DC12 Time : 0.0 sec. user=mdettweiler [2016-11-11 22:56:31] 755*2^1445564-1 is not prime. Res64: 0A9ADC33E2FFA3B2 Time : 0.0 sec. user=mdettweiler [2016-11-11 22:56:31] 929*2^1445564-1 is not prime. Res64: F56CE1E647B60066 Time : 0.0 sec. user=mdettweiler [2016-11-11 23:13:39] 819*2^1445565-1 is not prime. Res64: 2EE7CDE18BED68E7 Time : 0.0 sec. user=mdettweiler [2016-11-11 23:13:39] 895*2^1445565-1 is not prime. Res64: 52A4A61C3B6484D7 Time : 0.0 sec. user=mdettweiler [2016-11-11 23:13:40] 927*2^1445565-1 is not prime. Res64: 833619FA0D58559D Time : 0.0 sec. user=mdettweiler [2016-11-11 23:13:40] 951*2^1445565-1 is not prime. Res64: 71AD8E211CCB9FDD Time : 0.0 sec. user=mdettweiler [2016-11-11 23:13:41] 647*2^1445566-1 is not prime. Res64: AD24D430F9465C90 Time : 0.0 sec. user=mdettweiler [2016-11-11 23:20:57] 653*2^1445566-1 is not prime. Res64: 3C2C70AE4B168640 Time : 0.0 sec. user=mdettweiler [2016-11-11 23:20:58] 657*2^1445566-1 is not prime. Res64: 582F2C36251F8AD1 Time : 0.0 sec. user=mdettweiler [2016-11-11 23:20:58] 663*2^1445566-1 is not prime. Res64: 5618499AEB715642 Time : 0.0 sec. user=mdettweiler [2016-11-11 23:20:58] 717*2^1445566-1 is not prime. Res64: 2E5056761A200F03 Time : 0.0 sec. user=mdettweiler [2016-11-11 23:20:59] 737*2^1445566-1 is not prime. Res64: 6AC26741C1694CEB Time : 0.0 sec. user=mdettweiler [2016-11-11 23:44:10] 783*2^1445566-1 is not prime. Res64: 6ABC36E17DCA84D0 Time : 0.0 sec. user=mdettweiler [2016-11-11 23:44:10] 821*2^1445566-1 is not prime. Res64: 6BDC57C2204276C3 Time : 0.0 sec. user=mdettweiler [2016-11-11 23:44:10] 867*2^1445566-1 is not prime. Res64: 7E64F723EA9B45DD Time : 0.0 sec. user=mdettweiler [2016-11-11 23:44:10] 945*2^1445566-1 is not prime. Res64: 1A4B7CA3CD78F29E Time : 0.0 sec. user=mdettweiler [2016-11-11 23:44:11] 983*2^1445566-1 is not prime. Res64: 6EC4CEA07A75E541 Time : 0.0 sec. user=mdettweiler [2016-11-11 23:50:25] 609*2^1445567-1 is not prime. Res64: 72B9D84403A9333E Time : 0.0 sec. user=mdettweiler [2016-11-11 23:50:25] 645*2^1445567-1 is not prime. Res64: 88DB95C0086E51ED Time : 0.0 sec. user=mdettweiler [2016-11-11 23:50:26] 685*2^1445567-1 is not prime. Res64: 82444830D86C90E1 Time : 0.0 sec. user=mdettweiler [2016-11-11 23:50:26] 711*2^1445567-1 is not prime. Res64: 050C59EFA48A9E4B Time : 0.0 sec. user=mdettweiler [2016-11-11 23:50:26] 799*2^1445567-1 is not prime. Res64: ACCD17526D0FF577 Time : 0.0 sec.