user=mdettweiler [2018-11-13 00:07:17] 939*2^1531159-1 is not prime. Res64: 093A993AFA72C680 Time : 0.0 sec. user=mdettweiler [2018-11-13 00:07:19] 975*2^1531159-1 is not prime. Res64: 170D1FD5B6353B51 Time : 0.0 sec. user=mdettweiler [2018-11-13 00:07:20] 819*2^1531160-1 is not prime. Res64: C80BC5691DF7EE06 Time : 0.0 sec. user=mdettweiler [2018-11-13 00:07:21] 827*2^1531160-1 is not prime. Res64: A312C43EA2C28ED2 Time : 0.0 sec. user=mdettweiler [2018-11-13 00:07:22] 875*2^1531160-1 is not prime. Res64: FFE105938793CD6F Time : 0.0 sec. user=mdettweiler [2018-11-13 00:18:04] 899*2^1531160-1 is not prime. Res64: 5DB88C438A538E6E Time : 0.0 sec. user=mdettweiler [2018-11-13 00:18:04] 627*2^1531161-1 is not prime. Res64: B4D96FB41B299029 Time : 0.0 sec. user=mdettweiler [2018-11-13 00:18:04] 795*2^1531161-1 is not prime. Res64: C77D8032003DD079 Time : 0.0 sec. user=mdettweiler [2018-11-13 00:18:05] 635*2^1531162-1 is not prime. Res64: A654372116F3C79D Time : 0.0 sec. user=mdettweiler [2018-11-13 00:18:05] 777*2^1531162-1 is not prime. Res64: 25D84BD2EF269AAC Time : 0.0 sec. user=mdettweiler [2018-11-13 00:29:01] 803*2^1531162-1 is not prime. Res64: F8BD0EC629F03F0F Time : 0.0 sec. user=mdettweiler [2018-11-13 00:29:01] 813*2^1531162-1 is not prime. Res64: 48509CE310CB408D Time : 0.0 sec. user=mdettweiler [2018-11-13 00:29:02] 857*2^1531162-1 is not prime. Res64: 3F1028765A389853 Time : 0.0 sec. user=mdettweiler [2018-11-13 00:29:02] 867*2^1531162-1 is not prime. Res64: 905515ADA9B5AF92 Time : 0.0 sec. user=mdettweiler [2018-11-13 00:29:02] 917*2^1531162-1 is not prime. Res64: 63865C805B4D95AF Time : 0.0 sec. user=mdettweiler [2018-11-13 00:40:08] 957*2^1531162-1 is not prime. Res64: 6B059422244744CC Time : 0.0 sec. user=mdettweiler [2018-11-13 00:40:08] 615*2^1531163-1 is not prime. Res64: 7B66E840B032180E Time : 0.0 sec. user=mdettweiler [2018-11-13 00:40:09] 675*2^1531163-1 is not prime. Res64: 4E69EF9F19D447C7 Time : 0.0 sec. user=mdettweiler [2018-11-13 00:40:09] 703*2^1531163-1 is not prime. Res64: C838B49BB50B4800 Time : 0.0 sec. user=mdettweiler [2018-11-13 00:40:09] 885*2^1531163-1 is not prime. Res64: 5087DF21301DDBFA Time : 0.0 sec. user=mdettweiler [2018-11-13 01:02:34] 943*2^1531163-1 is not prime. Res64: B16DCA12328998A8 Time : 0.0 sec. user=mdettweiler [2018-11-13 01:02:35] 985*2^1531163-1 is not prime. Res64: A229FFDACE7DE8B8 Time : 0.0 sec. user=mdettweiler [2018-11-13 01:02:36] 991*2^1531163-1 is not prime. Res64: 8C49232840942657 Time : 0.0 sec. user=mdettweiler [2018-11-13 01:02:37] 623*2^1531164-1 is not prime. Res64: 1070630ADB7FCAFA Time : 0.0 sec. user=mdettweiler [2018-11-13 01:02:37] 689*2^1531164-1 is not prime. Res64: 28D8C74435107016 Time : 0.0 sec. user=mdettweiler [2018-11-13 01:12:55] 899*2^1531164-1 is not prime. Res64: 63175BE4C280D98F Time : 0.0 sec. user=mdettweiler [2018-11-13 01:12:55] 947*2^1531164-1 is not prime. Res64: 07339589EF3F912C Time : 0.0 sec. user=mdettweiler [2018-11-13 01:12:55] 969*2^1531164-1 is not prime. Res64: B5A5DEB83A4218B3 Time : 0.0 sec. user=mdettweiler [2018-11-13 01:12:56] 609*2^1531165-1 is not prime. Res64: 2610EF8E1006571F Time : 0.0 sec. user=mdettweiler [2018-11-13 01:12:56] 619*2^1531165-1 is not prime. Res64: 0CC199FE4F5C5AED Time : 0.0 sec. user=mdettweiler [2018-11-13 01:24:12] 799*2^1531165-1 is not prime. Res64: 52D0012E57C0DBAE Time : 0.0 sec. user=mdettweiler [2018-11-13 01:24:12] 927*2^1531165-1 is not prime. Res64: B691DEB3A31C1A72 Time : 0.0 sec. user=mdettweiler [2018-11-13 01:24:13] 937*2^1531165-1 is not prime. Res64: 416DB2DA22EEA796 Time : 0.0 sec. user=mdettweiler [2018-11-13 01:24:13] 615*2^1531166-1 is not prime. Res64: F7B0B7ED71E92A03 Time : 0.0 sec. user=mdettweiler [2018-11-13 01:24:13] 707*2^1531166-1 is not prime. Res64: 8B229FBCD59F901F Time : 0.0 sec. user=mdettweiler [2018-11-13 01:34:52] 713*2^1531166-1 is not prime. Res64: 7EFB8932316B8F2D Time : 0.0 sec. user=mdettweiler [2018-11-13 01:34:53] 851*2^1531166-1 is not prime. Res64: 9354C94A7C6806D5 Time : 0.0 sec. user=mdettweiler [2018-11-13 01:34:53] 857*2^1531166-1 is not prime. Res64: 183E0048E1A86594 Time : 0.0 sec. user=mdettweiler [2018-11-13 01:34:53] 619*2^1531167-1 is not prime. Res64: BB7E8EAF0B6187BD Time : 0.0 sec. user=mdettweiler [2018-11-13 01:34:54] 625*2^1531167-1 is not prime. Res64: 88BE9E8B09F8D2CF Time : 0.0 sec. user=mdettweiler [2018-11-13 01:56:11] 661*2^1531167-1 is not prime. Res64: 7D856A0FA586BF18 Time : 0.0 sec. user=mdettweiler [2018-11-13 01:56:11] 735*2^1531167-1 is not prime. Res64: 854A6EACEBCEEB48 Time : 0.0 sec. user=mdettweiler [2018-11-13 01:56:11] 741*2^1531167-1 is not prime. Res64: 80C2E5417087B38F Time : 0.0 sec. user=mdettweiler [2018-11-13 01:56:12] 793*2^1531167-1 is not prime. Res64: 2439015880E77564 Time : 0.0 sec. user=mdettweiler [2018-11-13 01:56:12] 823*2^1531167-1 is not prime. Res64: DD160D2CE70A7D2B Time : 0.0 sec. user=mdettweiler [2018-11-13 02:05:48] 919*2^1531167-1 is not prime. Res64: 15AC2B9482F77948 Time : 0.0 sec. user=mdettweiler [2018-11-13 02:05:51] 963*2^1531167-1 is not prime. Res64: 590AEEDE675C513E Time : 0.0 sec. user=mdettweiler [2018-11-13 02:05:52] 887*2^1531168-1 is not prime. Res64: 8E8E3C7DBED678C8 Time : 0.0 sec. user=mdettweiler [2018-11-13 02:05:54] 649*2^1531169-1 is not prime. Res64: 77A1F2A3811E50F8 Time : 0.0 sec. user=mdettweiler [2018-11-13 02:05:57] 711*2^1531169-1 is not prime. Res64: 7726277BAB4435FE Time : 0.0 sec. user=mdettweiler [2018-11-13 02:16:22] 795*2^1531169-1 is not prime. Res64: AF362794CF048063 Time : 0.0 sec. user=mdettweiler [2018-11-13 02:16:22] 829*2^1531169-1 is not prime. Res64: 52B905B16C011F44 Time : 0.0 sec. user=mdettweiler [2018-11-13 02:16:22] 991*2^1531169-1 is not prime. Res64: 4CB17E89D8EDE365 Time : 0.0 sec. user=mdettweiler [2018-11-13 02:16:23] 611*2^1531170-1 is not prime. Res64: FFFB4A674368A149 Time : 0.0 sec. user=mdettweiler [2018-11-13 02:16:23] 791*2^1531170-1 is not prime. Res64: 40A9DCD65B65684D Time : 0.0 sec. user=mdettweiler [2018-11-13 02:26:49] 917*2^1531170-1 is not prime. Res64: 5F013E6C0FFCB4A1 Time : 0.0 sec. user=mdettweiler [2018-11-13 02:26:49] 945*2^1531170-1 is not prime. Res64: 1F66CDAC7FE69BC3 Time : 0.0 sec. user=mdettweiler [2018-11-13 02:26:49] 645*2^1531171-1 is not prime. Res64: F97D7D8A83DCBEEE Time : 0.0 sec. user=mdettweiler [2018-11-13 02:26:50] 735*2^1531171-1 is not prime. Res64: A29BE55D8F195FCE Time : 0.0 sec. user=mdettweiler [2018-11-13 02:26:50] 775*2^1531171-1 is not prime. Res64: 9D459D8616E8319E Time : 0.0 sec. user=mdettweiler [2018-11-13 02:47:52] 849*2^1531171-1 is not prime. Res64: 6759C19B1AD24A77 Time : 0.0 sec. user=mdettweiler [2018-11-13 02:47:53] 873*2^1531171-1 is not prime. Res64: A9F43937A6640736 Time : 0.0 sec. user=mdettweiler [2018-11-13 02:47:53] 895*2^1531171-1 is not prime. Res64: A5F7822BE1670030 Time : 0.0 sec. user=mdettweiler [2018-11-13 02:47:54] 909*2^1531171-1 is not prime. Res64: DEF4FF8AD30E88FC Time : 0.0 sec. user=mdettweiler [2018-11-13 02:47:54] 969*2^1531171-1 is not prime. Res64: 5F3D11E0EC516985 Time : 0.0 sec. user=mdettweiler [2018-11-13 02:57:36] 975*2^1531171-1 is not prime. Res64: AB6EAB9F2BA0AEBB Time : 0.0 sec. user=mdettweiler [2018-11-13 02:57:36] 615*2^1531172-1 is not prime. Res64: FC70BCDAB0EC47B7 Time : 0.0 sec. user=mdettweiler [2018-11-13 02:57:36] 617*2^1531172-1 is not prime. Res64: 5A158194EB021604 Time : 0.0 sec. user=mdettweiler [2018-11-13 02:57:37] 875*2^1531172-1 is not prime. Res64: 3921708E8ABC283D Time : 0.0 sec. user=mdettweiler [2018-11-13 02:57:37] 935*2^1531172-1 is not prime. Res64: F5C92F3568A6D1B2 Time : 0.0 sec. user=mdettweiler [2018-11-13 03:07:46] 957*2^1531172-1 is not prime. Res64: D7EFDA932586E25E Time : 0.0 sec. user=mdettweiler [2018-11-13 03:07:47] 977*2^1531172-1 is not prime. Res64: 592960E10A9A1E63 Time : 0.0 sec. user=mdettweiler [2018-11-13 03:07:48] 681*2^1531173-1 is not prime. Res64: 09703530DAC05C89 Time : 0.0 sec. user=mdettweiler [2018-11-13 03:07:49] 691*2^1531173-1 is not prime. Res64: 49F873EC76E2D305 Time : 0.0 sec. user=mdettweiler [2018-11-13 03:07:50] 741*2^1531173-1 is not prime. Res64: 9B32331517884A70 Time : 0.0 sec. user=mdettweiler [2018-11-13 03:18:10] 781*2^1531173-1 is not prime. Res64: 88F29B293FD12475 Time : 0.0 sec. user=mdettweiler [2018-11-13 03:18:10] 871*2^1531173-1 is not prime. Res64: F8BE27D7E04951B8 Time : 0.0 sec. user=mdettweiler [2018-11-13 03:18:11] 921*2^1531173-1 is not prime. Res64: D071D6A10D94EC22 Time : 0.0 sec. user=mdettweiler [2018-11-13 03:18:11] 955*2^1531173-1 is not prime. Res64: 7FCE8B67B67A2DED Time : 0.0 sec. user=mdettweiler [2018-11-13 03:18:11] 987*2^1531173-1 is not prime. Res64: 587C94A6F7560B76 Time : 0.0 sec. user=mdettweiler [2018-11-13 03:39:01] 999*2^1531173-1 is not prime. Res64: E86EAB2FAC9BB9D9 Time : 0.0 sec. user=mdettweiler [2018-11-13 03:39:04] 605*2^1531174-1 is not prime. Res64: C1A67706876140F8 Time : 0.0 sec. user=mdettweiler [2018-11-13 03:39:06] 617*2^1531174-1 is not prime. Res64: 7A83B8C4FBF224CC Time : 0.0 sec. user=mdettweiler [2018-11-13 03:39:07] 705*2^1531174-1 is not prime. Res64: A8FA236418823129 Time : 0.0 sec. user=mdettweiler [2018-11-13 03:39:08] 825*2^1531174-1 is not prime. Res64: F414D6AD033CAF66 Time : 0.0 sec. user=mdettweiler [2018-11-13 03:48:50] 897*2^1531174-1 is not prime. Res64: 9A9FD1B740D38FDF Time : 0.0 sec. user=mdettweiler [2018-11-13 03:48:51] 965*2^1531174-1 is not prime. Res64: 5F8BB31BD28666E4 Time : 0.0 sec. user=mdettweiler [2018-11-13 03:48:51] 655*2^1531175-1 is not prime. Res64: 47DCC80F16566FBA Time : 0.0 sec. user=mdettweiler [2018-11-13 03:48:52] 661*2^1531175-1 is not prime. Res64: 565A012D21BE727B Time : 0.0 sec. user=mdettweiler [2018-11-13 03:48:52] 741*2^1531175-1 is not prime. Res64: 6D301BD79BC53A08 Time : 0.0 sec. user=mdettweiler [2018-11-13 03:58:58] 771*2^1531175-1 is not prime. Res64: 066A4C3396EA7B87 Time : 0.0 sec. user=mdettweiler [2018-11-13 03:59:00] 781*2^1531175-1 is not prime. Res64: 278D89B240CD4B06 Time : 0.0 sec. user=mdettweiler [2018-11-13 03:59:02] 895*2^1531175-1 is not prime. Res64: 09F782F9692F4730 Time : 0.0 sec. user=mdettweiler [2018-11-13 03:59:02] 973*2^1531175-1 is not prime. Res64: E3075EDF1E64594C Time : 0.0 sec. user=mdettweiler [2018-11-13 03:59:03] 999*2^1531175-1 is not prime. Res64: DCCFD84168F9CC0A Time : 0.0 sec. user=mdettweiler [2018-11-13 04:09:25] 623*2^1531176-1 is not prime. Res64: 59C9142EE6651ADD Time : 0.0 sec. user=mdettweiler [2018-11-13 04:09:27] 633*2^1531176-1 is not prime. Res64: FE2A4455FE44FDA7 Time : 0.0 sec. user=mdettweiler [2018-11-13 04:09:29] 635*2^1531176-1 is not prime. Res64: A309B7E668EAA295 Time : 0.0 sec. user=mdettweiler [2018-11-13 04:09:31] 777*2^1531176-1 is not prime. Res64: 392586B4D36FCB40 Time : 0.0 sec. user=mdettweiler [2018-11-13 04:09:33] 879*2^1531176-1 is not prime. Res64: F066614CBB79C714 Time : 0.0 sec. user=mdettweiler [2018-11-13 04:30:36] 909*2^1531176-1 is not prime. Res64: F229E1609538714A Time : 0.0 sec. user=mdettweiler [2018-11-13 04:30:37] 717*2^1531177-1 is not prime. Res64: 13133343502EAB30 Time : 0.0 sec. user=mdettweiler [2018-11-13 04:30:37] 747*2^1531177-1 is not prime. Res64: 71D86A08640CD7CF Time : 0.0 sec. user=mdettweiler [2018-11-13 04:30:37] 847*2^1531177-1 is not prime. Res64: B703F8993278C215 Time : 0.0 sec. user=mdettweiler [2018-11-13 04:30:38] 909*2^1531177-1 is not prime. Res64: C2EA9CFAE912D4C7 Time : 0.0 sec. user=mdettweiler [2018-11-13 04:39:57] 919*2^1531177-1 is not prime. Res64: 78532DE2410B6A02 Time : 0.0 sec. user=mdettweiler [2018-11-13 04:39:57] 957*2^1531177-1 is not prime. Res64: C4F136EEA9D55B87 Time : 0.0 sec. user=mdettweiler [2018-11-13 04:39:58] 979*2^1531177-1 is not prime. Res64: E885A6EA28BD6CC4 Time : 0.0 sec. user=mdettweiler [2018-11-13 04:39:59] 635*2^1531178-1 is not prime. Res64: 4DAFC51706039265 Time : 0.0 sec. user=mdettweiler [2018-11-13 04:39:59] 657*2^1531178-1 is not prime. Res64: 183D0BF380080672 Time : 0.0 sec. user=mdettweiler [2018-11-13 04:50:14] 665*2^1531178-1 is not prime. Res64: DAB495E67DC57834 Time : 0.0 sec. user=mdettweiler [2018-11-13 04:50:15] 687*2^1531178-1 is not prime. Res64: 86E34E247A0A4272 Time : 0.0 sec. user=mdettweiler [2018-11-13 04:50:16] 747*2^1531178-1 is not prime. Res64: 578AE2FBF757D012 Time : 0.0 sec. user=mdettweiler [2018-11-13 04:50:16] 615*2^1531179-1 is not prime. Res64: E0D7AA737150B4B2 Time : 0.0 sec. user=mdettweiler [2018-11-13 04:50:17] 741*2^1531179-1 is not prime. Res64: 644788DB8D264EF0 Time : 0.0 sec. user=mdettweiler [2018-11-13 05:01:51] 745*2^1531179-1 is not prime. Res64: 1149A43EE9C24676 Time : 0.0 sec. user=mdettweiler [2018-11-13 05:01:52] 775*2^1531179-1 is not prime. Res64: 11B46860751D20F6 Time : 0.0 sec. user=mdettweiler [2018-11-13 05:01:53] 895*2^1531179-1 is not prime. Res64: A0EF7ABAC7B84B10 Time : 0.0 sec. user=mdettweiler [2018-11-13 05:01:54] 973*2^1531179-1 is not prime. Res64: 989716079C8474BC Time : 0.0 sec. user=mdettweiler [2018-11-13 05:01:55] 985*2^1531179-1 is not prime. Res64: 53CFBED68568FCD8 Time : 0.0 sec. user=mdettweiler [2018-11-13 05:21:42] 999*2^1531179-1 is not prime. Res64: 5EC155AC034B7D1D Time : 0.0 sec. user=mdettweiler [2018-11-13 05:21:43] 605*2^1531180-1 is not prime. Res64: 59C695CDF8F2307D Time : 0.0 sec. user=mdettweiler [2018-11-13 05:21:43] 623*2^1531180-1 is not prime. Res64: 1A6A5454E727D6FA Time : 0.0 sec. user=mdettweiler [2018-11-13 05:21:44] 653*2^1531180-1 is not prime. Res64: 33009AA124844DFD Time : 0.0 sec. user=mdettweiler [2018-11-13 05:21:44] 827*2^1531180-1 is not prime. Res64: D956EBEE0A588067 Time : 0.0 sec. user=mdettweiler [2018-11-13 05:30:57] 619*2^1531181-1 is not prime. Res64: F97B63B7F42EE17B Time : 0.0 sec. user=mdettweiler [2018-11-13 05:30:57] 651*2^1531181-1 is not prime. Res64: 869B594F0CD24690 Time : 0.0 sec. user=mdettweiler [2018-11-13 05:30:58] 691*2^1531181-1 is not prime. Res64: EDE9BBD46D855417 Time : 0.0 sec. user=mdettweiler [2018-11-13 05:30:58] 697*2^1531181-1 is not prime. Res64: BC1D9D8FCD1AE8CB Time : 0.0 sec. user=mdettweiler [2018-11-13 05:30:59] 825*2^1531181-1 is not prime. Res64: 113A99F39B1042CC Time : 0.0 sec. user=mdettweiler [2018-11-13 05:41:23] 861*2^1531181-1 is not prime. Res64: 800E0C0BC2513D19 Time : 0.0 sec. user=mdettweiler [2018-11-13 05:41:23] 651*2^1531182-1 is not prime. Res64: F916B8C03B93B064 Time : 0.0 sec. user=mdettweiler [2018-11-13 05:41:23] 671*2^1531182-1 is not prime. Res64: 7E213F9AA4BC5C68 Time : 0.0 sec. user=mdettweiler [2018-11-13 05:41:24] 695*2^1531182-1 is not prime. Res64: EDE34CCB5A331578 Time : 0.0 sec. user=mdettweiler [2018-11-13 05:41:24] 717*2^1531182-1 is not prime. Res64: 085B738CB058F8F8 Time : 0.0 sec. user=mdettweiler [2018-11-13 05:54:59] 741*2^1531182-1 is not prime. Res64: 2BFB15ABAEB2E5EC Time : 0.0 sec. user=mdettweiler [2018-11-13 05:54:59] 801*2^1531182-1 is not prime. Res64: 43FF8A3F1CE6DEFC Time : 0.0 sec. user=mdettweiler [2018-11-13 05:54:59] 873*2^1531182-1 is not prime. Res64: 6D64C4DB5CA793B5 Time : 0.0 sec. user=mdettweiler [2018-11-13 05:55:00] 917*2^1531182-1 is not prime. Res64: 2BCB2A161466186D Time : 0.0 sec. user=mdettweiler [2018-11-13 05:55:00] 947*2^1531182-1 is not prime. Res64: 31F2EE16F890706E Time : 0.0 sec. user=mdettweiler [2018-11-13 06:14:05] 789*2^1531183-1 is not prime. Res64: 7977176E354CE830 Time : 0.0 sec. user=mdettweiler [2018-11-13 06:14:05] 901*2^1531183-1 is not prime. Res64: 4634DDF80508AB0D Time : 0.0 sec. user=mdettweiler [2018-11-13 06:14:06] 609*2^1531184-1 is not prime. Res64: F55924E6C9F5AAF1 Time : 0.0 sec. user=mdettweiler [2018-11-13 06:14:06] 827*2^1531184-1 is not prime. Res64: BD0395A24C57AAC0 Time : 0.0 sec. user=mdettweiler [2018-11-13 06:14:06] 915*2^1531184-1 is not prime. Res64: 9CA5A5167DF2DAD3 Time : 0.0 sec. user=mdettweiler [2018-11-13 06:23:27] 601*2^1531185-1 is not prime. Res64: 3040D5E829221266 Time : 0.0 sec. user=mdettweiler [2018-11-13 06:23:28] 657*2^1531185-1 is not prime. Res64: 6510AC3C62F2FCD7 Time : 0.0 sec. user=mdettweiler [2018-11-13 06:23:28] 705*2^1531185-1 is not prime. Res64: DC1E31AFC198E374 Time : 0.0 sec. user=mdettweiler [2018-11-13 06:23:29] 795*2^1531185-1 is not prime. Res64: A63672CAFDDD0E1B Time : 0.0 sec. user=mdettweiler [2018-11-13 06:23:29] 895*2^1531185-1 is not prime. Res64: 12652940493E5C7E Time : 0.0 sec. user=mdettweiler [2018-11-13 06:33:48] 735*2^1531186-1 is not prime. Res64: 427C6CA55768FA23 Time : 0.0 sec. user=mdettweiler [2018-11-13 06:33:49] 747*2^1531186-1 is not prime. Res64: C69176B0E355D953 Time : 0.0 sec. user=mdettweiler [2018-11-13 06:33:49] 825*2^1531186-1 is not prime. Res64: 24A1BF9E7081B65E Time : 0.0 sec. user=mdettweiler [2018-11-13 06:33:50] 873*2^1531186-1 is not prime. Res64: 987BF95D5732160D Time : 0.0 sec. user=mdettweiler [2018-11-13 06:33:50] 903*2^1531186-1 is not prime. Res64: 0FB57160EF448E61 Time : 0.0 sec. user=mdettweiler [2018-11-13 06:46:11] 673*2^1531187-1 is not prime. Res64: 42614B951455B328 Time : 0.0 sec. user=mdettweiler [2018-11-13 06:46:11] 675*2^1531187-1 is not prime. Res64: 3D51DE2010AE699D Time : 0.0 sec. user=mdettweiler [2018-11-13 06:46:11] 685*2^1531187-1 is not prime. Res64: E3622B80DE644807 Time : 0.0 sec. user=mdettweiler [2018-11-13 06:46:12] 733*2^1531187-1 is not prime. Res64: 9978D39E5FA83BD5 Time : 0.0 sec. user=mdettweiler [2018-11-13 06:46:12] 801*2^1531187-1 is not prime. Res64: 56489EE108320C2E Time : 0.0 sec. user=mdettweiler [2018-11-13 07:05:46] 825*2^1531187-1 is not prime. Res64: 48F69C9AEC52AE16 Time : 0.0 sec. user=mdettweiler [2018-11-13 07:05:47] 979*2^1531187-1 is not prime. Res64: 3AA843C7DE57CDFC Time : 0.0 sec. user=mdettweiler [2018-11-13 07:05:48] 627*2^1531188-1 is not prime. Res64: F64BA7129D7E1BD9 Time : 0.0 sec. user=mdettweiler [2018-11-13 07:05:50] 689*2^1531188-1 is not prime. Res64: 3C5FD3651C642ED5 Time : 0.0 sec. user=mdettweiler [2018-11-13 07:05:50] 707*2^1531188-1 is not prime. Res64: 22B9763AC53F6534 Time : 0.0 sec. user=mdettweiler [2018-11-13 07:15:57] 839*2^1531188-1 is not prime. Res64: 54C4320B062B8F31 Time : 0.0 sec. user=mdettweiler [2018-11-13 07:15:57] 915*2^1531188-1 is not prime. Res64: A0AEFA4DE52E7B4F Time : 0.0 sec. user=mdettweiler [2018-11-13 07:15:58] 679*2^1531189-1 is not prime. Res64: C5C5781C4EAC217D Time : 0.0 sec. user=mdettweiler [2018-11-13 07:15:58] 765*2^1531189-1 is not prime. Res64: 07257DFE4CCE7E6A Time : 0.0 sec. user=mdettweiler [2018-11-13 07:15:59] 835*2^1531189-1 is not prime. Res64: AF9146FD0441F2D9 Time : 0.0 sec. user=mdettweiler [2018-11-13 07:25:38] 897*2^1531189-1 is not prime. Res64: 2B3E9A94123FEDDD Time : 0.0 sec. user=mdettweiler [2018-11-13 07:25:39] 753*2^1531190-1 is not prime. Res64: 2CEE950AF9078AC1 Time : 0.0 sec. user=mdettweiler [2018-11-13 07:25:39] 861*2^1531190-1 is not prime. Res64: 405BA0D0DD864617 Time : 0.0 sec. user=mdettweiler [2018-11-13 07:25:39] 893*2^1531190-1 is not prime. Res64: B6E7766AFFBFB07B Time : 0.0 sec. user=mdettweiler [2018-11-13 07:25:39] 625*2^1531191-1 is not prime. Res64: DC81326F76EEA7ED Time : 0.0 sec. user=mdettweiler [2018-11-13 07:37:55] 651*2^1531191-1 is not prime. Res64: 2D5FB713823F6A4A Time : 0.0 sec. user=mdettweiler [2018-11-13 07:37:55] 661*2^1531191-1 is not prime. Res64: 9608109F305C6F50 Time : 0.0 sec. user=mdettweiler [2018-11-13 07:37:56] 669*2^1531191-1 is not prime. Res64: 7ACC99A591AB2472 Time : 0.0 sec. user=mdettweiler [2018-11-13 07:37:57] 675*2^1531191-1 is not prime. Res64: 9821734FFCC53FC9 Time : 0.0 sec. user=mdettweiler [2018-11-13 07:37:58] 823*2^1531191-1 is not prime. Res64: 2FB240A68669C151 Time : 0.0 sec. user=mdettweiler [2018-11-13 07:57:25] 895*2^1531191-1 is not prime. Res64: 089D8408F4DB4C99 Time : 0.0 sec. user=mdettweiler [2018-11-13 07:57:26] 901*2^1531191-1 is not prime. Res64: 1E9129F35F955F95 Time : 0.0 sec. user=mdettweiler [2018-11-13 07:57:26] 921*2^1531191-1 is not prime. Res64: 8F512F046FDE6FE1 Time : 0.0 sec. user=mdettweiler [2018-11-13 07:57:26] 955*2^1531191-1 is not prime. Res64: B43C25AB4BF7B271 Time : 0.0 sec. user=mdettweiler [2018-11-13 07:57:27] 687*2^1531192-1 is not prime. Res64: 0A2A90A0911D4B71 Time : 0.0 sec. user=mdettweiler [2018-11-13 08:07:01] 699*2^1531192-1 is not prime. Res64: 0297BD56642A68BB Time : 0.0 sec. user=mdettweiler [2018-11-13 08:07:02] 843*2^1531192-1 is not prime. Res64: AE854E47A1DC64D8 Time : 0.0 sec. user=mdettweiler [2018-11-13 08:07:02] 855*2^1531192-1 is not prime. Res64: 20FCA5CD4454DFDB Time : 0.0 sec. user=mdettweiler [2018-11-13 08:07:02] 909*2^1531192-1 is not prime. Res64: 64EA1BEEA80DC71F Time : 0.0 sec. user=mdettweiler [2018-11-13 08:07:03] 631*2^1531193-1 is not prime. Res64: B667204409B92C19 Time : 0.0 sec. user=mdettweiler [2018-11-13 08:16:38] 697*2^1531193-1 is not prime. Res64: 88A6E7C7C5389D25 Time : 0.0 sec. user=mdettweiler [2018-11-13 08:16:38] 805*2^1531193-1 is not prime. Res64: 1908623080FE9263 Time : 0.0 sec. user=mdettweiler [2018-11-13 08:16:38] 837*2^1531193-1 is not prime. Res64: D8FFBC61647FC526 Time : 0.0 sec. user=mdettweiler [2018-11-13 08:16:39] 949*2^1531193-1 is not prime. Res64: CAF64D5AB6B7959C Time : 0.0 sec. user=mdettweiler [2018-11-13 08:16:39] 633*2^1531194-1 is not prime. Res64: 73F0B90DF25A0D4A Time : 0.0 sec. user=mdettweiler [2018-11-13 08:29:00] 663*2^1531194-1 is not prime. Res64: 982B8E33F6D282D9 Time : 0.0 sec. user=mdettweiler [2018-11-13 08:29:01] 791*2^1531194-1 is not prime. Res64: B4B162CB59D5EA2B Time : 0.0 sec. user=mdettweiler [2018-11-13 08:29:01] 815*2^1531194-1 is not prime. Res64: DBF41866123D8499 Time : 0.0 sec. user=mdettweiler [2018-11-13 08:29:01] 905*2^1531194-1 is not prime. Res64: AAA31EE195CE54E9 Time : 0.0 sec. user=mdettweiler [2018-11-13 08:29:02] 921*2^1531194-1 is not prime. Res64: D0BA42378F35BD3F Time : 0.0 sec. user=mdettweiler [2018-11-13 08:48:25] 601*2^1531195-1 is not prime. Res64: 443CB08B4362CCDC Time : 0.0 sec. user=mdettweiler [2018-11-13 08:48:26] 651*2^1531195-1 is not prime. Res64: 25DE896EDAC177D3 Time : 0.0 sec. user=mdettweiler [2018-11-13 08:48:26] 663*2^1531195-1 is not prime. Res64: BA398309E7229E31 Time : 0.0 sec. user=mdettweiler [2018-11-13 08:48:26] 693*2^1531196-1 is not prime. Res64: 22406B26D29D5095 Time : 0.0 sec. user=mdettweiler [2018-11-13 08:48:26] 707*2^1531196-1 is not prime. Res64: AE8D1E595F72EC8F Time : 0.0 sec. user=mdettweiler [2018-11-13 08:57:59] 735*2^1531196-1 is not prime. Res64: 13A7A425FFD6EE2A Time : 0.0 sec. user=mdettweiler [2018-11-13 08:58:00] 743*2^1531196-1 is not prime. Res64: FF25574ED10C2A29 Time : 0.0 sec. user=mdettweiler [2018-11-13 08:58:00] 759*2^1531196-1 is not prime. Res64: AF0FE7D5C1DFCDA3 Time : 0.0 sec. user=mdettweiler [2018-11-13 08:58:00] 923*2^1531196-1 is not prime. Res64: C59FC88668A57D43 Time : 0.0 sec. user=mdettweiler [2018-11-13 08:58:01] 987*2^1531196-1 is not prime. Res64: 1DB654D3CF9B2923 Time : 0.0 sec. user=mdettweiler [2018-11-13 09:08:00] 601*2^1531197-1 is not prime. Res64: DE7760AA172C7889 Time : 0.0 sec. user=mdettweiler [2018-11-13 09:08:01] 711*2^1531197-1 is not prime. Res64: 73EC59E088145B0F Time : 0.0 sec. user=mdettweiler [2018-11-13 09:08:01] 717*2^1531197-1 is not prime. Res64: BCD326E819B61220 Time : 0.0 sec. user=mdettweiler [2018-11-13 09:08:01] 727*2^1531197-1 is not prime. Res64: FCE3C1A197372439 Time : 0.0 sec. user=mdettweiler [2018-11-13 09:08:02] 867*2^1531197-1 is not prime. Res64: 1553C6EBBD64F9F3 Time : 0.0 sec. user=mdettweiler [2018-11-13 09:20:13] 901*2^1531197-1 is not prime. Res64: 99F0B6DA945BD9FC Time : 0.0 sec. user=mdettweiler [2018-11-13 09:20:14] 955*2^1531197-1 is not prime. Res64: 28FF006EE7912450 Time : 0.0 sec. user=mdettweiler [2018-11-13 09:20:14] 991*2^1531197-1 is not prime. Res64: 1480A6C7551C2EF6 Time : 0.0 sec. user=mdettweiler [2018-11-13 09:20:14] 999*2^1531197-1 is not prime. Res64: 21690ED8F2810A12 Time : 0.0 sec. user=mdettweiler [2018-11-13 09:20:15] 603*2^1531198-1 is not prime. Res64: 6707C9FFCF5117A9 Time : 0.0 sec. user=mdettweiler [2018-11-13 09:39:43] 635*2^1531198-1 is not prime. Res64: 0D780490AE4DBAC0 Time : 0.0 sec. user=mdettweiler [2018-11-13 09:39:44] 695*2^1531198-1 is not prime. Res64: 22B3F1CCDE7DF024 Time : 0.0 sec. user=mdettweiler [2018-11-13 09:39:44] 747*2^1531198-1 is not prime. Res64: 9255EC19BACF8B93 Time : 0.0 sec. user=mdettweiler [2018-11-13 09:39:44] 833*2^1531198-1 is not prime. Res64: 43D69E6B3153B76E Time : 0.0 sec. user=mdettweiler [2018-11-13 09:39:45] 843*2^1531198-1 is not prime. Res64: CC9DD5B16C9DAFA5 Time : 0.0 sec. user=mdettweiler [2018-11-13 09:49:23] 857*2^1531198-1 is not prime. Res64: 64A1D3F0BF9FA03A Time : 0.0 sec. user=mdettweiler [2018-11-13 09:49:23] 867*2^1531198-1 is not prime. Res64: C31BA5BFC185DCBB Time : 0.0 sec. user=mdettweiler [2018-11-13 09:49:23] 915*2^1531198-1 is not prime. Res64: 8A0652E27B5895EE Time : 0.0 sec. user=mdettweiler [2018-11-13 09:49:24] 945*2^1531198-1 is not prime. Res64: 01DCCE645E5AD44C Time : 0.0 sec. user=mdettweiler [2018-11-13 09:49:24] 975*2^1531198-1 is not prime. Res64: 865BFE771DA9983B Time : 0.0 sec. user=mdettweiler [2018-11-13 10:01:24] 601*2^1531199-1 is not prime. Res64: 28B7399965200461 Time : 0.0 sec. user=mdettweiler [2018-11-13 10:01:26] 633*2^1531199-1 is not prime. Res64: 3DB316FB6B3F651D Time : 0.0 sec. user=mdettweiler [2018-11-13 10:01:27] 655*2^1531199-1 is not prime. Res64: 7C1437A86B60C629 Time : 0.0 sec. user=mdettweiler [2018-11-13 10:01:28] 703*2^1531199-1 is not prime. Res64: 8568F507B8419BD9 Time : 0.0 sec. user=mdettweiler [2018-11-13 10:01:29] 753*2^1531199-1 is not prime. Res64: 8369A5BFCE133030 Time : 0.0 sec. user=mdettweiler [2018-11-13 10:11:52] 771*2^1531199-1 is not prime. Res64: B618DE4DE7AF7B53 Time : 0.0 sec. user=mdettweiler [2018-11-13 10:11:52] 775*2^1531199-1 is not prime. Res64: ED0497F99698FF4D Time : 0.0 sec. user=mdettweiler [2018-11-13 10:11:53] 799*2^1531199-1 is not prime. Res64: 73D6F4DCE9CBCB21 Time : 0.0 sec. user=mdettweiler [2018-11-13 10:11:53] 859*2^1531199-1 is not prime. Res64: F003F89EAAA6B4B0 Time : 0.0 sec. user=mdettweiler [2018-11-13 10:11:53] 921*2^1531199-1 is not prime. Res64: 697E5EF1179412BA Time : 0.0 sec. user=mdettweiler [2018-11-13 10:30:41] 609*2^1531200-1 is not prime. Res64: D143AAEFE7788C11 Time : 0.0 sec. user=mdettweiler [2018-11-13 10:30:42] 675*2^1531200-1 is not prime. Res64: 91E4F3209C0080CE Time : 0.0 sec. user=mdettweiler [2018-11-13 10:30:43] 717*2^1531200-1 is not prime. Res64: 9A722803D968D396 Time : 0.0 sec. user=mdettweiler [2018-11-13 10:30:43] 887*2^1531200-1 is not prime. Res64: 1D43984BC1D13B3F Time : 0.0 sec. user=mdettweiler [2018-11-13 10:30:43] 909*2^1531200-1 is not prime. Res64: 924E974379DAA5B2 Time : 0.0 sec. user=mdettweiler [2018-11-13 10:40:37] 915*2^1531200-1 is not prime. Res64: 39160913C7D45113 Time : 0.0 sec. user=mdettweiler [2018-11-13 10:40:38] 959*2^1531200-1 is not prime. Res64: 8C8DC8C311994F99 Time : 0.0 sec. user=mdettweiler [2018-11-13 10:40:38] 975*2^1531200-1 is not prime. Res64: 81A88DF747A42AC7 Time : 0.0 sec. user=mdettweiler [2018-11-13 10:40:38] 625*2^1531201-1 is not prime. Res64: 09DC6A94C8A1BEDE Time : 0.0 sec. user=mdettweiler [2018-11-13 10:40:38] 685*2^1531201-1 is not prime. Res64: AB723BBD700B3AE9 Time : 0.0 sec. user=mdettweiler [2018-11-13 10:53:09] 691*2^1531201-1 is not prime. Res64: 7C5370F6B9D4BE36 Time : 0.0 sec. user=mdettweiler [2018-11-13 10:53:09] 727*2^1531201-1 is not prime. Res64: F627779B49682F52 Time : 0.0 sec. user=mdettweiler [2018-11-13 10:53:09] 855*2^1531201-1 is not prime. Res64: 7591CFCB930C7FC9 Time : 0.0 sec. user=mdettweiler [2018-11-13 10:53:10] 877*2^1531201-1 is not prime. Res64: 624DDA181F6B87B8 Time : 0.0 sec. user=mdettweiler [2018-11-13 10:53:10] 939*2^1531201-1 is not prime. Res64: F492DA1CBD4E00AC Time : 0.0 sec. user=mdettweiler [2018-11-13 11:02:57] 957*2^1531201-1 is not prime. Res64: 93D9AF662ACFD751 Time : 0.0 sec. user=mdettweiler [2018-11-13 11:02:59] 987*2^1531201-1 is not prime. Res64: C0000882F2E6B246 Time : 0.0 sec. user=mdettweiler [2018-11-13 11:03:00] 603*2^1531202-1 is not prime. Res64: 88A35CDC86965CB7 Time : 0.0 sec. user=mdettweiler [2018-11-13 11:03:02] 645*2^1531202-1 is not prime. Res64: 3F0872561CEFD0A0 Time : 0.0 sec. user=mdettweiler [2018-11-13 11:03:04] 683*2^1531202-1 is not prime. Res64: 0628998AE4BDB66A Time : 0.0 sec. user=mdettweiler [2018-11-13 11:21:58] 815*2^1531202-1 is not prime. Res64: 4246C77452E9935E Time : 0.0 sec. user=mdettweiler [2018-11-13 11:21:58] 1001*2^1531202-1 is not prime. Res64: CC6227537474DC3F Time : 0.0 sec. user=mdettweiler [2018-11-13 11:21:59] 609*2^1531203-1 is not prime. Res64: D09E374EE8B3B1CC Time : 0.0 sec. user=mdettweiler [2018-11-13 11:21:59] 783*2^1531203-1 is not prime. Res64: CEB40BDC8F90F88C Time : 0.0 sec. user=mdettweiler [2018-11-13 11:21:59] 871*2^1531203-1 is not prime. Res64: 7A009E4C5862CECA Time : 0.0 sec. user=mdettweiler [2018-11-13 11:32:01] 891*2^1531203-1 is not prime. Res64: 08D381A7BC3E1D8B Time : 0.0 sec. user=mdettweiler [2018-11-13 11:32:02] 945*2^1531203-1 is not prime. Res64: F4F9AEF8D898A971 Time : 0.0 sec. user=mdettweiler [2018-11-13 11:32:02] 675*2^1531204-1 is not prime. Res64: 6A14E3B2F0E584FC Time : 0.0 sec. user=mdettweiler [2018-11-13 11:32:02] 855*2^1531204-1 is not prime. Res64: C48FA7AD5F9A16C7 Time : 0.0 sec. user=mdettweiler [2018-11-13 11:32:02] 869*2^1531204-1 is not prime. Res64: E0F1AC74EEDA8086 Time : 0.0 sec. user=mdettweiler [2018-11-13 11:44:20] 771*2^1531205-1 is not prime. Res64: C0FC4498C574F4EC Time : 0.0 sec. user=mdettweiler [2018-11-13 11:44:20] 795*2^1531205-1 is not prime. Res64: 311355716A63E06A Time : 0.0 sec. user=mdettweiler [2018-11-13 11:44:20] 801*2^1531205-1 is not prime. Res64: 305C776F076ED6DB Time : 0.0 sec. user=mdettweiler [2018-11-13 11:44:20] 861*2^1531205-1 is not prime. Res64: 8886EAAAAD195902 Time : 0.0 sec. user=mdettweiler [2018-11-13 11:44:21] 955*2^1531205-1 is not prime. Res64: 2B7783EAA21687D7 Time : 0.0 sec. user=mdettweiler [2018-11-13 11:54:55] 683*2^1531206-1 is not prime. Res64: 99E713C8738AA736 Time : 0.0 sec. user=mdettweiler [2018-11-13 11:54:55] 693*2^1531206-1 is not prime. Res64: 0B5139C9B1078B76 Time : 0.0 sec. user=mdettweiler [2018-11-13 11:54:57] 705*2^1531206-1 is not prime. Res64: CDD90A74F1CDAFC0 Time : 0.0 sec. user=mdettweiler [2018-11-13 11:54:57] 747*2^1531206-1 is not prime. Res64: C606182987F10C5B Time : 0.0 sec. user=mdettweiler [2018-11-13 11:54:57] 873*2^1531206-1 is not prime. Res64: 78829F7E6B5DFB89 Time : 0.0 sec. user=mdettweiler [2018-11-13 12:13:18] 1001*2^1531206-1 is not prime. Res64: 8AE4E7474A02B7D9 Time : 0.0 sec. user=mdettweiler [2018-11-13 12:13:19] 651*2^1531207-1 is not prime. Res64: 0687640000EA1A52 Time : 0.0 sec. user=mdettweiler [2018-11-13 12:13:19] 829*2^1531207-1 is not prime. Res64: CEC9BEAC0FA09CE3 Time : 0.0 sec. user=mdettweiler [2018-11-13 12:13:19] 919*2^1531207-1 is not prime. Res64: F5EE63B20AFA93A1 Time : 0.0 sec. user=mdettweiler [2018-11-13 12:13:20] 993*2^1531207-1 is not prime. Res64: DD9D7D879897128E Time : 0.0 sec. user=mdettweiler [2018-11-13 12:23:13] 623*2^1531208-1 is not prime. Res64: F8C706CA0BD3B8CE Time : 0.0 sec. user=mdettweiler [2018-11-13 12:23:13] 657*2^1531208-1 is not prime. Res64: 27EB64E454117C16 Time : 0.0 sec. user=mdettweiler [2018-11-13 12:23:14] 663*2^1531208-1 is not prime. Res64: 66986978E5325FDA Time : 0.0 sec. user=mdettweiler [2018-11-13 12:23:14] 797*2^1531208-1 is not prime. Res64: 07DB46EE5B5F17BF Time : 0.0 sec. user=mdettweiler [2018-11-13 12:23:14] 867*2^1531208-1 is not prime. Res64: 62A396875806B399 Time : 0.0 sec. user=mdettweiler [2018-11-13 12:35:41] 875*2^1531208-1 is not prime. Res64: 0A928BD27379693E Time : 0.0 sec. user=mdettweiler [2018-11-13 12:35:42] 915*2^1531208-1 is not prime. Res64: A99F142A3F50E731 Time : 0.0 sec. user=mdettweiler [2018-11-13 12:35:42] 995*2^1531208-1 is not prime. Res64: B67575B685C3D5DF Time : 0.0 sec. user=mdettweiler [2018-11-13 12:35:42] 999*2^1531208-1 is not prime. Res64: 3E38A7296034B4C1 Time : 0.0 sec. user=mdettweiler [2018-11-13 12:35:43] 649*2^1531209-1 is not prime. Res64: 97FA5A6BB93ECD42 Time : 0.0 sec. user=mdettweiler [2018-11-13 12:46:20] 681*2^1531209-1 is not prime. Res64: B0A08D02B8D41B7F Time : 0.0 sec. user=mdettweiler [2018-11-13 12:46:20] 705*2^1531209-1 is not prime. Res64: 16F8509F85DA4DE4 Time : 0.0 sec. user=mdettweiler [2018-11-13 12:46:20] 741*2^1531209-1 is not prime. Res64: C1C41AB27F05600D Time : 0.0 sec. user=mdettweiler [2018-11-13 12:46:21] 751*2^1531209-1 is not prime. Res64: 8F887B38F74BAF45 Time : 0.0 sec. user=mdettweiler [2018-11-13 12:46:21] 997*2^1531209-1 is not prime. Res64: 5BEDD242276EA9FA Time : 0.0 sec. user=mdettweiler [2018-11-13 13:04:50] 657*2^1531210-1 is not prime. Res64: C677ED5B634AE969 Time : 0.0 sec. user=mdettweiler [2018-11-13 13:04:52] 665*2^1531210-1 is not prime. Res64: ADE73077EA72D382 Time : 0.0 sec. user=mdettweiler [2018-11-13 13:04:54] 675*2^1531210-1 is not prime. Res64: B6234B1934A23B98 Time : 0.0 sec. user=mdettweiler [2018-11-13 13:04:56] 713*2^1531210-1 is not prime. Res64: 44110D8C04067D67 Time : 0.0 sec. user=mdettweiler [2018-11-13 13:04:57] 723*2^1531210-1 is not prime. Res64: 1E5988FC17524274 Time : 0.0 sec. user=mdettweiler [2018-11-13 13:14:48] 735*2^1531210-1 is not prime. Res64: 2DA60FF9CC7EF342 Time : 0.0 sec. user=mdettweiler [2018-11-13 13:14:49] 885*2^1531210-1 is not prime. Res64: F8A570756183B4B3 Time : 0.0 sec. user=mdettweiler [2018-11-13 13:14:49] 891*2^1531210-1 is not prime. Res64: 99C40C4EE38CC4EF Time : 0.0 sec. user=mdettweiler [2018-11-13 13:14:49] 917*2^1531210-1 is not prime. Res64: 66E54F0B7C56629A Time : 0.0 sec. user=mdettweiler [2018-11-13 13:14:50] 971*2^1531210-1 is not prime. Res64: FD71C3CE94589B54 Time : 0.0 sec. user=mdettweiler [2018-11-13 13:26:54] 631*2^1531211-1 is not prime. Res64: 6261895C54AA4F66 Time : 0.0 sec. user=mdettweiler [2018-11-13 13:26:54] 643*2^1531211-1 is not prime. Res64: 18CFA85D52A58C79 Time : 0.0 sec. user=mdettweiler [2018-11-13 13:26:54] 663*2^1531211-1 is not prime. Res64: 660FE2D5D2792EEC Time : 0.0 sec. user=mdettweiler [2018-11-13 13:26:55] 675*2^1531211-1 is not prime. Res64: AD80F6E673090D88 Time : 0.0 sec. user=mdettweiler [2018-11-13 13:26:55] 693*2^1531211-1 is not prime. Res64: F189A0B6425147F4 Time : 0.0 sec. user=mdettweiler [2018-11-13 13:38:21] 711*2^1531211-1 is not prime. Res64: 0A66E6827C942034 Time : 0.0 sec. user=mdettweiler [2018-11-13 13:38:21] 759*2^1531211-1 is not prime. Res64: 576D09F286A6EB47 Time : 0.0 sec. user=mdettweiler [2018-11-13 13:38:22] 871*2^1531211-1 is not prime. Res64: D6896E8AA614E96E Time : 0.0 sec. user=mdettweiler [2018-11-13 13:38:22] 737*2^1531212-1 is not prime. Res64: 74E99A0190FF6C88 Time : 0.0 sec. user=mdettweiler [2018-11-13 13:38:22] 777*2^1531212-1 is not prime. Res64: B25C8146E497F1FE Time : 0.0 sec. user=mdettweiler [2018-11-13 13:58:21] 867*2^1531212-1 is not prime. Res64: C0C5EF6164DF1CBB Time : 0.0 sec. user=mdettweiler [2018-11-13 13:58:21] 887*2^1531212-1 is not prime. Res64: A7BC99F567CCE013 Time : 0.0 sec. user=mdettweiler [2018-11-13 13:58:21] 947*2^1531212-1 is not prime. Res64: 77D9299E33C89EE1 Time : 0.0 sec. user=mdettweiler [2018-11-13 13:58:22] 975*2^1531212-1 is not prime. Res64: F4ABE51D3077DA03 Time : 0.0 sec. user=mdettweiler [2018-11-13 13:58:22] 729*2^1531213-1 is not prime. Res64: 84F92885128DA904 Time : 0.0 sec. user=mdettweiler [2018-11-13 14:09:15] 855*2^1531213-1 is not prime. Res64: A567F5BEB8B163B7 Time : 0.0 sec. user=mdettweiler [2018-11-13 14:09:17] 895*2^1531213-1 is not prime. Res64: B500DAA035A024F6 Time : 0.0 sec. user=mdettweiler [2018-11-13 14:09:18] 981*2^1531213-1 is not prime. Res64: B050B38ABC19B425 Time : 0.0 sec. user=mdettweiler [2018-11-13 14:09:19] 999*2^1531213-1 is not prime. Res64: 27E19DB29D2E21F2 Time : 0.0 sec. user=mdettweiler [2018-11-13 14:09:21] 635*2^1531214-1 is not prime. Res64: 0C5F62C2A395906A Time : 0.0 sec. user=mdettweiler [2018-11-13 14:21:47] 747*2^1531214-1 is not prime. Res64: FD14BB4B01D6E94B Time : 0.0 sec. user=mdettweiler [2018-11-13 14:21:47] 767*2^1531214-1 is not prime. Res64: B7D5CA1484282D59 Time : 0.0 sec. user=mdettweiler [2018-11-13 14:21:48] 833*2^1531214-1 is not prime. Res64: F23AB2AE2C876D9D Time : 0.0 sec. user=mdettweiler [2018-11-13 14:21:48] 851*2^1531214-1 is not prime. Res64: 141B8E2577EBA732 Time : 0.0 sec. user=mdettweiler [2018-11-13 14:21:48] 971*2^1531214-1 is not prime. Res64: E99FC37D3BAD01F7 Time : 0.0 sec. user=mdettweiler [2018-11-13 14:34:23] 993*2^1531214-1 is not prime. Res64: 7278759D19CA9B0F Time : 0.0 sec. user=mdettweiler [2018-11-13 14:34:24] 639*2^1531215-1 is not prime. Res64: 255B601D4DB801BD Time : 0.0 sec. user=mdettweiler [2018-11-13 14:34:24] 739*2^1531215-1 is not prime. Res64: AC40889E2EBA453E Time : 0.0 sec. user=mdettweiler [2018-11-13 14:34:24] 825*2^1531215-1 is not prime. Res64: 5882856B4CA7946F Time : 0.0 sec. user=mdettweiler [2018-11-13 14:34:24] 865*2^1531215-1 is not prime. Res64: F6C480C340A83360 Time : 0.0 sec. user=mdettweiler [2018-11-13 14:53:49] 969*2^1531215-1 is not prime. Res64: 7E0A7329DF1F27A1 Time : 0.0 sec. user=mdettweiler [2018-11-13 14:53:50] 973*2^1531215-1 is not prime. Res64: 8693CEC9FF40A588 Time : 0.0 sec. user=mdettweiler [2018-11-13 14:53:51] 707*2^1531216-1 is not prime. Res64: B6D99D9C88BDCDEB Time : 0.0 sec. user=mdettweiler [2018-11-13 14:53:51] 905*2^1531216-1 is not prime. Res64: 319612E5164F4D26 Time : 0.0 sec. user=mdettweiler [2018-11-13 14:53:52] 691*2^1531217-1 is not prime. Res64: 303156068F1A26F4 Time : 0.0 sec. user=mdettweiler [2018-11-13 15:04:56] 795*2^1531217-1 is not prime. Res64: 0D2604CC37B07509 Time : 0.0 sec. user=mdettweiler [2018-11-13 15:04:58] 829*2^1531217-1 is not prime. Res64: 2315770E49A099EC Time : 0.0 sec. user=mdettweiler [2018-11-13 15:05:00] 901*2^1531217-1 is not prime. Res64: 4F48C8EA33CD7D41 Time : 0.0 sec. user=mdettweiler [2018-11-13 15:05:01] 657*2^1531218-1 is not prime. Res64: 9A3D9FD2D6C9D84C Time : 0.0 sec. user=mdettweiler [2018-11-13 15:05:02] 695*2^1531218-1 is not prime. Res64: EE1EBCD210A1C9FC Time : 0.0 sec. user=mdettweiler [2018-11-13 15:16:15] 765*2^1531218-1 is not prime. Res64: B0AB73150274A2CB Time : 0.0 sec. user=mdettweiler [2018-11-13 15:16:16] 815*2^1531218-1 is not prime. Res64: 852DFD72725A1565 Time : 0.0 sec. user=mdettweiler [2018-11-13 15:16:17] 603*2^1531219-1 is not prime. Res64: 75013C2A0DED9A24 Time : 0.0 sec. user=mdettweiler [2018-11-13 15:16:17] 771*2^1531219-1 is not prime. Res64: 2BC0C6F6BE71E990 Time : 0.0 sec. user=mdettweiler [2018-11-13 15:16:18] 801*2^1531219-1 is not prime. Res64: 5D2B5E1B30142445 Time : 0.0 sec. user=mdettweiler [2018-11-13 15:28:06] 873*2^1531219-1 is not prime. Res64: 3995D402502689D9 Time : 0.0 sec. user=mdettweiler [2018-11-13 15:28:07] 889*2^1531219-1 is not prime. Res64: 781FA419888717BD Time : 0.0 sec. user=mdettweiler [2018-11-13 15:28:07] 895*2^1531219-1 is not prime. Res64: 98D23C69674E96F1 Time : 0.0 sec. user=mdettweiler [2018-11-13 15:28:07] 919*2^1531219-1 is not prime. Res64: ACFD3627F0FEFF13 Time : 0.0 sec. user=mdettweiler [2018-11-13 15:28:07] 931*2^1531219-1 is not prime. Res64: ACBF8C80C8F3947B Time : 0.0 sec. user=mdettweiler [2018-11-13 15:45:44] 615*2^1531220-1 is not prime. Res64: 3EF439F122C81C82 Time : 0.0 sec. user=mdettweiler [2018-11-13 15:45:44] 669*2^1531220-1 is not prime. Res64: B0FEF72B4B5A090B Time : 0.0 sec. user=mdettweiler [2018-11-13 15:45:44] 677*2^1531220-1 is not prime. Res64: 84D095669AD8E081 Time : 0.0 sec. user=mdettweiler [2018-11-13 15:45:44] 699*2^1531220-1 is not prime. Res64: CA1F8F785F6CF732 Time : 0.0 sec. user=mdettweiler [2018-11-13 15:45:45] 797*2^1531220-1 is not prime. Res64: 81B117189E112527 Time : 0.0 sec. user=mdettweiler [2018-11-13 15:56:44] 827*2^1531220-1 is not prime. Res64: AB80BEB24FFE2426 Time : 0.0 sec. user=mdettweiler [2018-11-13 15:56:44] 843*2^1531220-1 is not prime. Res64: B8898EE34A79D8EF Time : 0.0 sec. user=mdettweiler [2018-11-13 15:56:44] 923*2^1531220-1 is not prime. Res64: 480C73D49DE1DDFE Time : 0.0 sec. user=mdettweiler [2018-11-13 15:56:44] 927*2^1531220-1 is not prime. Res64: EB4433BD88969ED4 Time : 0.0 sec. user=mdettweiler [2018-11-13 15:56:45] 945*2^1531220-1 is not prime. Res64: 178DAD2372BB9095 Time : 0.0 sec. user=mdettweiler [2018-11-13 16:07:24] 709*2^1531221-1 is not prime. Res64: 08770FE050D1FD91 Time : 0.0 sec. user=mdettweiler [2018-11-13 16:07:25] 751*2^1531221-1 is not prime. Res64: 6586F71F31296ADC Time : 0.0 sec. user=mdettweiler [2018-11-13 16:07:25] 817*2^1531221-1 is not prime. Res64: AC46F956D65EB49C Time : 0.0 sec. user=mdettweiler [2018-11-13 16:07:25] 949*2^1531221-1 is not prime. Res64: 03D3B088142A0344 Time : 0.0 sec. user=mdettweiler [2018-11-13 16:07:26] 651*2^1531222-1 is not prime. Res64: 00DDCA057F5C9CA6 Time : 0.0 sec. user=mdettweiler [2018-11-13 16:19:08] 671*2^1531222-1 is not prime. Res64: A88B946A37952C9D Time : 0.0 sec. user=mdettweiler [2018-11-13 16:19:08] 717*2^1531222-1 is not prime. Res64: 697EF30FD380615D Time : 0.0 sec. user=mdettweiler [2018-11-13 16:19:09] 741*2^1531222-1 is not prime. Res64: 0086A3256EDAF0D6 Time : 0.0 sec. user=mdettweiler [2018-11-13 16:19:09] 815*2^1531222-1 is not prime. Res64: 6475D74EC20B6E70 Time : 0.0 sec. user=mdettweiler [2018-11-13 16:19:10] 831*2^1531222-1 is not prime. Res64: A476D8D33503E0A8 Time : 0.0 sec. user=mdettweiler [2018-11-13 16:36:42] 885*2^1531222-1 is not prime. Res64: 14F0B694418036AD Time : 0.0 sec. user=mdettweiler [2018-11-13 16:36:42] 911*2^1531222-1 is not prime. Res64: 4F65B989B6E8EA3F Time : 0.0 sec. user=mdettweiler [2018-11-13 16:36:43] 643*2^1531223-1 is not prime. Res64: EA7031417C007605 Time : 0.0 sec. user=mdettweiler [2018-11-13 16:36:43] 675*2^1531223-1 is not prime. Res64: 7301EA11E1DDA97C Time : 0.0 sec. user=mdettweiler [2018-11-13 16:36:43] 715*2^1531223-1 is not prime. Res64: 455EE96E2FEEF5B8 Time : 0.0 sec. user=mdettweiler [2018-11-13 16:47:45] 829*2^1531223-1 is not prime. Res64: 5FF74F065CDB92DF Time : 0.0 sec. user=mdettweiler [2018-11-13 16:47:46] 985*2^1531223-1 is not prime. Res64: 59C8DA4E4A796874 Time : 0.0 sec. user=mdettweiler [2018-11-13 16:47:46] 993*2^1531223-1 is not prime. Res64: C3A5E513B53C357C Time : 0.0 sec. user=mdettweiler [2018-11-13 16:47:46] 639*2^1531224-1 is not prime. Res64: 735C7C84EBC6C3F4 Time : 0.0 sec. user=mdettweiler [2018-11-13 16:47:46] 747*2^1531224-1 is not prime. Res64: 0D5B35DB6495891D Time : 0.0 sec. user=mdettweiler [2018-11-13 16:58:30] 773*2^1531224-1 is not prime. Res64: E5BCA2701C35152A Time : 0.0 sec. user=mdettweiler [2018-11-13 16:58:31] 789*2^1531224-1 is not prime. Res64: 3648DA2E1AD8A45B Time : 0.0 sec. user=mdettweiler [2018-11-13 16:58:31] 849*2^1531224-1 is not prime. Res64: 1D6B7DF2824AE6D4 Time : 0.0 sec. user=mdettweiler [2018-11-13 16:58:31] 679*2^1531225-1 is not prime. Res64: 8A0F228755AED380 Time : 0.0 sec. user=mdettweiler [2018-11-13 16:58:31] 691*2^1531225-1 is not prime. Res64: 442B3E0C8E51CC50 Time : 0.0 sec. user=mdettweiler [2018-11-13 17:10:21] 721*2^1531225-1 is not prime. Res64: 9A443C9F9A7F2D1F Time : 0.0 sec. user=mdettweiler [2018-11-13 17:10:22] 765*2^1531225-1 is not prime. Res64: B57DA2C9845ADE1D Time : 0.0 sec. user=mdettweiler [2018-11-13 17:10:22] 885*2^1531225-1 is not prime. Res64: 6155CB3C7AF6E355 Time : 0.0 sec. user=mdettweiler [2018-11-13 17:10:22] 915*2^1531225-1 is not prime. Res64: 741FBC26453ED444 Time : 0.0 sec. user=mdettweiler [2018-11-13 17:10:23] 939*2^1531225-1 is not prime. Res64: 8525FE90DD7A0AEF Time : 0.0 sec. user=mdettweiler [2018-11-13 17:28:01] 951*2^1531225-1 is not prime. Res64: 8FEE5AE85FBD6A18 Time : 0.0 sec. user=mdettweiler [2018-11-13 17:28:01] 955*2^1531225-1 is not prime. Res64: 880D6AAD84213FE0 Time : 0.0 sec. user=mdettweiler [2018-11-13 17:28:01] 773*2^1531226-1 is not prime. Res64: 96E21E8E75ED2845 Time : 0.0 sec. user=mdettweiler [2018-11-13 17:28:02] 837*2^1531226-1 is not prime. Res64: 68C25753005FD5AF Time : 0.0 sec. user=mdettweiler [2018-11-13 17:28:02] 1001*2^1531226-1 is not prime. Res64: CA5551A9D55442FB Time : 0.0 sec. user=mdettweiler [2018-11-13 17:39:36] 781*2^1531227-1 is not prime. Res64: 8AD9D6F1FA3405D8 Time : 0.0 sec. user=mdettweiler [2018-11-13 17:39:36] 859*2^1531227-1 is not prime. Res64: 4BBD4BA0BE72940A Time : 0.0 sec. user=mdettweiler [2018-11-13 17:39:36] 903*2^1531227-1 is not prime. Res64: 23B2D86DAE4C0E8E Time : 0.0 sec. user=mdettweiler [2018-11-13 17:39:36] 905*2^1531228-1 is not prime. Res64: 99760D0116986C72 Time : 0.0 sec. user=mdettweiler [2018-11-13 17:39:37] 915*2^1531228-1 is not prime. Res64: 8655CDDAB944615E Time : 0.0 sec. user=mdettweiler [2018-11-13 17:51:13] 953*2^1531228-1 is not prime. Res64: 4AA8691FAF865A39 Time : 0.0 sec. user=mdettweiler [2018-11-13 17:51:13] 631*2^1531229-1 is not prime. Res64: 9FB37EA268742F8A Time : 0.0 sec. user=mdettweiler [2018-11-13 17:51:14] 711*2^1531229-1 is not prime. Res64: A85F38CB2898A1B5 Time : 0.0 sec. user=mdettweiler [2018-11-13 17:51:14] 727*2^1531229-1 is not prime. Res64: 201595D6C34658BF Time : 0.0 sec. user=mdettweiler [2018-11-13 17:51:14] 789*2^1531229-1 is not prime. Res64: D3C2DEA6B5D4631B Time : 0.0 sec. user=mdettweiler [2018-11-13 18:02:20] 837*2^1531229-1 is not prime. Res64: D6E75E82957C5F36 Time : 0.0 sec. user=mdettweiler [2018-11-13 18:02:21] 879*2^1531229-1 is not prime. Res64: 361A6379E7F4E6CC Time : 0.0 sec. user=mdettweiler [2018-11-13 18:02:22] 957*2^1531229-1 is not prime. Res64: CDE1D0C748445E92 Time : 0.0 sec. user=mdettweiler [2018-11-13 18:02:24] 611*2^1531230-1 is not prime. Res64: 36F4B6C8CEDE7C89 Time : 0.0 sec. user=mdettweiler [2018-11-13 18:02:25] 647*2^1531230-1 is not prime. Res64: C39426063727E773 Time : 0.0 sec. user=mdettweiler [2018-11-13 18:21:01] 653*2^1531230-1 is not prime. Res64: 66CC731502D48CBE Time : 0.0 sec. user=mdettweiler [2018-11-13 18:21:02] 681*2^1531230-1 is not prime. Res64: 423B2F557CC71BB0 Time : 0.0 sec. user=mdettweiler [2018-11-13 18:21:02] 867*2^1531230-1 is not prime. Res64: BD3AFDEF126646AE Time : 0.0 sec. user=mdettweiler [2018-11-13 18:21:02] 681*2^1531231-1 is not prime. Res64: 8374DBFC2BCFA5DB Time : 0.0 sec. user=mdettweiler [2018-11-13 18:21:03] 709*2^1531231-1 is not prime. Res64: DB2AA313A31FEE0C Time : 0.0 sec. user=mdettweiler [2018-11-13 18:31:06] 883*2^1531231-1 is not prime. Res64: 39B2432A01742428 Time : 0.0 sec. user=mdettweiler [2018-11-13 18:31:06] 943*2^1531231-1 is not prime. Res64: 43E9092924040C0A Time : 0.0 sec. user=mdettweiler [2018-11-13 18:31:07] 633*2^1531232-1 is not prime. Res64: 598C8B2F221650D6 Time : 0.0 sec. user=mdettweiler [2018-11-13 18:31:07] 743*2^1531232-1 is not prime. Res64: 004A83DC0807F202 Time : 0.0 sec. user=mdettweiler [2018-11-13 18:31:07] 813*2^1531232-1 is not prime. Res64: B30736447B1946F0 Time : 0.0 sec. user=mdettweiler [2018-11-13 18:42:48] 867*2^1531232-1 is not prime. Res64: C4E36E172D636672 Time : 0.0 sec. user=mdettweiler [2018-11-13 18:42:48] 765*2^1531233-1 is not prime. Res64: 8C42BF52814B1DBF Time : 0.0 sec. user=mdettweiler [2018-11-13 18:42:49] 781*2^1531233-1 is not prime. Res64: 586803D891DA502A Time : 0.0 sec. user=mdettweiler [2018-11-13 18:42:49] 795*2^1531233-1 is not prime. Res64: B80CE93861E41CBA Time : 0.0 sec. user=mdettweiler [2018-11-13 18:42:49] 805*2^1531233-1 is not prime. Res64: 2A5452E09A661A42 Time : 0.0 sec. user=mdettweiler [2018-11-13 18:53:55] 867*2^1531233-1 is not prime. Res64: EC92F7BDA783A586 Time : 0.0 sec. user=mdettweiler [2018-11-13 18:53:55] 871*2^1531233-1 is not prime. Res64: CADC98D6DEC8F905 Time : 0.0 sec. user=mdettweiler [2018-11-13 18:53:55] 803*2^1531234-1 is not prime. Res64: 399530BC5A4EC89D Time : 0.0 sec. user=mdettweiler [2018-11-13 18:53:56] 831*2^1531234-1 is not prime. Res64: BCBB34EE94E7DE8A Time : 0.0 sec. user=mdettweiler [2018-11-13 18:53:56] 957*2^1531234-1 is not prime. Res64: EE0297622954456D Time : 0.0 sec. user=mdettweiler [2018-11-13 19:12:18] 655*2^1531235-1 is not prime. Res64: F7BCF75D1E67FF2E Time : 0.0 sec. user=mdettweiler [2018-11-13 19:12:19] 715*2^1531235-1 is not prime. Res64: E20B574B046FBA09 Time : 0.0 sec. user=mdettweiler [2018-11-13 19:12:19] 799*2^1531235-1 is not prime. Res64: 16E2D6271B1A4AAD Time : 0.0 sec. user=mdettweiler [2018-11-13 19:12:20] 999*2^1531235-1 is not prime. Res64: 52A1904D98BB9D15 Time : 0.0 sec. user=mdettweiler [2018-11-13 19:12:20] 719*2^1531236-1 is not prime. Res64: 5F2E6B0A70999236 Time : 0.0 sec. user=mdettweiler [2018-11-13 19:23:15] 723*2^1531236-1 is not prime. Res64: 7986F2F890610394 Time : 0.0 sec. user=mdettweiler [2018-11-13 19:23:16] 903*2^1531236-1 is not prime. Res64: A33B12E0ECB6D282 Time : 0.0 sec. user=mdettweiler [2018-11-13 19:23:16] 651*2^1531237-1 is not prime. Res64: CC8910857493A6C9 Time : 0.0 sec. user=mdettweiler [2018-11-13 19:23:17] 801*2^1531237-1 is not prime. Res64: F25D5261B8D4B067 Time : 0.0 sec. user=mdettweiler [2018-11-13 19:23:17] 861*2^1531237-1 is not prime. Res64: 843AF72752272A7C Time : 0.0 sec. user=mdettweiler [2018-11-13 19:33:47] 927*2^1531237-1 is not prime. Res64: 19FF229BFDDD9F8A Time : 0.0 sec. user=mdettweiler [2018-11-13 19:33:48] 945*2^1531237-1 is not prime. Res64: B5CB199241E90679 Time : 0.0 sec. user=mdettweiler [2018-11-13 19:33:49] 623*2^1531238-1 is not prime. Res64: 42380A007FC66D20 Time : 0.0 sec. user=mdettweiler [2018-11-13 19:33:50] 627*2^1531238-1 is not prime. Res64: 18CFD28D6BDD3CD1 Time : 0.0 sec. user=mdettweiler [2018-11-13 19:33:50] 705*2^1531238-1 is not prime. Res64: B9949D35232045E1 Time : 0.0 sec. user=mdettweiler [2018-11-13 19:44:50] 911*2^1531238-1 is not prime. Res64: 2CB1C9C411879977 Time : 0.0 sec. user=mdettweiler [2018-11-13 19:44:51] 1001*2^1531238-1 is not prime. Res64: 559C865A0BE76C3C Time : 0.0 sec. user=mdettweiler [2018-11-13 19:44:51] 661*2^1531239-1 is not prime. Res64: 3A61DB19D151AF2A Time : 0.0 sec. user=mdettweiler [2018-11-13 19:44:51] 735*2^1531239-1 is not prime. Res64: 8DA52E384923F68B Time : 0.0 sec. user=mdettweiler [2018-11-13 19:44:52] 751*2^1531239-1 is not prime. Res64: 1DAD13E32FF62416 Time : 0.0 sec. user=mdettweiler [2018-11-13 20:03:17] 795*2^1531239-1 is not prime. Res64: C138E547298BFC2D Time : 0.0 sec. user=mdettweiler [2018-11-13 20:03:18] 909*2^1531239-1 is not prime. Res64: FD2588FF91E8251E Time : 0.0 sec. user=mdettweiler [2018-11-13 20:03:19] 943*2^1531239-1 is not prime. Res64: 22122D004ECFB296 Time : 0.0 sec. user=mdettweiler [2018-11-13 20:03:20] 645*2^1531240-1 is not prime. Res64: AEA0C08A73F01BDB Time : 0.0 sec. user=mdettweiler [2018-11-13 20:03:21] 905*2^1531240-1 is not prime. Res64: 031864E8DDA3587D Time : 0.0 sec. user=mdettweiler [2018-11-13 20:14:43] 915*2^1531240-1 is not prime. Res64: A11CDAA68E1EF326 Time : 0.0 sec. user=mdettweiler [2018-11-13 20:14:44] 939*2^1531240-1 is not prime. Res64: D2EEC5D79589BA70 Time : 0.0 sec. user=mdettweiler [2018-11-13 20:14:44] 989*2^1531240-1 is not prime. Res64: 60AF127AB6C93850 Time : 0.0 sec. user=mdettweiler [2018-11-13 20:14:45] 601*2^1531241-1 is not prime. Res64: D20920F71E8F98D1 Time : 0.0 sec. user=mdettweiler [2018-11-13 20:14:45] 747*2^1531241-1 is not prime. Res64: 9461D2AB17D8C42C Time : 0.0 sec. user=mdettweiler [2018-11-13 20:24:50] 769*2^1531241-1 is not prime. Res64: 32717E1E720A2B64 Time : 0.0 sec. user=mdettweiler [2018-11-13 20:24:50] 865*2^1531241-1 is not prime. Res64: 6CC618611DFD3D77 Time : 0.0 sec. user=mdettweiler [2018-11-13 20:24:51] 907*2^1531241-1 is not prime. Res64: 69EC2CDC59B00E73 Time : 0.0 sec. user=mdettweiler [2018-11-13 20:24:51] 945*2^1531241-1 is not prime. Res64: 12A5380F94A5BE65 Time : 0.0 sec. user=mdettweiler [2018-11-13 20:24:51] 955*2^1531241-1 is not prime. Res64: 05F9D057107F560F Time : 0.0 sec. user=mdettweiler [2018-11-13 20:35:41] 741*2^1531242-1 is not prime. Res64: F2CFF2E091168215 Time : 0.0 sec. user=mdettweiler [2018-11-13 20:35:42] 807*2^1531242-1 is not prime. Res64: 18DF75DA58D6E3D9 Time : 0.0 sec. user=mdettweiler [2018-11-13 20:35:42] 825*2^1531242-1 is not prime. Res64: 0C7681E1101E652D Time : 0.0 sec. user=mdettweiler [2018-11-13 20:35:42] 873*2^1531242-1 is not prime. Res64: CC25E496A8828FA5 Time : 0.0 sec. user=mdettweiler [2018-11-13 20:35:43] 903*2^1531242-1 is not prime. Res64: 28EB7FDD0FB6EF4E Time : 0.0 sec. user=mdettweiler [2018-11-13 20:54:21] 917*2^1531242-1 is not prime. Res64: 89D43E147AAC38AD Time : 0.0 sec. user=mdettweiler [2018-11-13 20:54:21] 923*2^1531242-1 is not prime. Res64: 3606D3137626A5EB Time : 0.0 sec. user=mdettweiler [2018-11-13 20:54:22] 699*2^1531243-1 is not prime. Res64: 4AECA943D9EB422D Time : 0.0 sec. user=mdettweiler [2018-11-13 20:54:22] 765*2^1531243-1 is not prime. Res64: EA1356417B7A7F47 Time : 0.0 sec. user=mdettweiler [2018-11-13 20:54:22] 783*2^1531243-1 is not prime. Res64: A73D25AFFC6700F9 Time : 0.0 sec. user=mdettweiler [2018-11-13 21:05:48] 801*2^1531243-1 is not prime. Res64: 7434A103B86E7FB5 Time : 0.0 sec. user=mdettweiler [2018-11-13 21:05:51] 895*2^1531243-1 is not prime. Res64: 060519F8D37FB297 Time : 0.0 sec. user=mdettweiler [2018-11-13 21:05:54] 915*2^1531243-1 is not prime. Res64: 4DF9A524E38E44C0 Time : 0.0 sec. user=mdettweiler [2018-11-13 21:05:55] 985*2^1531243-1 is not prime. Res64: 841373F4637593FA Time : 0.0 sec. user=mdettweiler [2018-11-13 21:05:56] 837*2^1531244-1 is not prime. Res64: 0D9FB6236773BFB8 Time : 0.0 sec. user=mdettweiler [2018-11-13 21:15:52] 903*2^1531244-1 is not prime. Res64: 7E47269E17358A6D Time : 0.0 sec. user=mdettweiler [2018-11-13 21:15:52] 915*2^1531244-1 is not prime. Res64: C5756EA2D1092DE0 Time : 0.0 sec. user=mdettweiler [2018-11-13 21:15:53] 927*2^1531244-1 is not prime. Res64: A11C6CA7CC2BE4C4 Time : 0.0 sec. user=mdettweiler [2018-11-13 21:15:53] 983*2^1531244-1 is not prime. Res64: CA93AEA2D1F91B24 Time : 0.0 sec. user=mdettweiler [2018-11-13 21:15:54] 651*2^1531245-1 is not prime. Res64: B1CDE1AA8927BA79 Time : 0.0 sec. user=mdettweiler [2018-11-13 21:26:52] 709*2^1531245-1 is not prime. Res64: A2BABE306CFB2221 Time : 0.0 sec. user=mdettweiler [2018-11-13 21:26:53] 825*2^1531245-1 is not prime. Res64: 9D4068DE3904AA38 Time : 0.0 sec. user=mdettweiler [2018-11-13 21:26:53] 889*2^1531245-1 is not prime. Res64: 18E0339B4D2E87B6 Time : 0.0 sec. user=mdettweiler [2018-11-13 21:26:54] 919*2^1531245-1 is not prime. Res64: 908662464D3A47AD Time : 0.0 sec. user=mdettweiler [2018-11-13 21:26:54] 647*2^1531246-1 is not prime. Res64: B56C4291342E495C Time : 0.0 sec. user=mdettweiler [2018-11-13 21:45:37] 713*2^1531246-1 is not prime. Res64: 0A87EB279C07469B Time : 0.0 sec. user=mdettweiler [2018-11-13 21:45:37] 743*2^1531246-1 is not prime. Res64: B5967D0689393471 Time : 0.0 sec. user=mdettweiler [2018-11-13 21:45:38] 821*2^1531246-1 is not prime. Res64: 9A5F8E62510AF48F Time : 0.0 sec. user=mdettweiler [2018-11-13 21:45:38] 855*2^1531246-1 is not prime. Res64: 9F4E44830805EA99 Time : 0.0 sec. user=mdettweiler [2018-11-13 21:45:39] 923*2^1531246-1 is not prime. Res64: 64E302E72D6D8071 Time : 0.0 sec. user=mdettweiler [2018-11-13 21:57:06] 945*2^1531246-1 is not prime. Res64: B9D6DBF2CD50E279 Time : 0.0 sec. user=mdettweiler [2018-11-13 21:57:06] 971*2^1531246-1 is not prime. Res64: 1E8E8752B1020988 Time : 0.0 sec. user=mdettweiler [2018-11-13 21:57:07] 615*2^1531247-1 is not prime. Res64: 8395CEE96E7A3E89 Time : 0.0 sec. user=mdettweiler [2018-11-13 21:57:07] 619*2^1531247-1 is not prime. Res64: 215ACB148A634130 Time : 0.0 sec. user=mdettweiler [2018-11-13 21:57:07] 669*2^1531247-1 is not prime. Res64: CD3A60E26A1A6521 Time : 0.0 sec. user=mdettweiler [2018-11-13 22:07:11] 703*2^1531247-1 is not prime. Res64: D0A5F55DFC28AE87 Time : 0.0 sec. user=mdettweiler [2018-11-13 22:07:15] 729*2^1531247-1 is not prime. Res64: 44B5F26F329DE6E8 Time : 0.0 sec. user=mdettweiler [2018-11-13 22:07:18] 885*2^1531247-1 is not prime. Res64: 9F19EF4A649AEB66 Time : 0.0 sec. user=mdettweiler [2018-11-13 22:07:21] 993*2^1531247-1 is not prime. Res64: 86A92264ED5E3FB8 Time : 0.0 sec. user=mdettweiler [2018-11-13 22:07:24] 723*2^1531248-1 is not prime. Res64: A0CAECA1AE416AEC Time : 0.0 sec. user=mdettweiler [2018-11-13 22:17:55] 945*2^1531248-1 is not prime. Res64: FECE55B36F72F3F7 Time : 0.0 sec. user=mdettweiler [2018-11-13 22:17:55] 601*2^1531249-1 is not prime. Res64: A9779CD85BD9DAF3 Time : 0.0 sec. user=mdettweiler [2018-11-13 22:17:56] 741*2^1531249-1 is not prime. Res64: F754A804496F9824 Time : 0.0 sec. user=mdettweiler [2018-11-13 22:17:56] 801*2^1531249-1 is not prime. Res64: 083B00CECDCA7FB2 Time : 0.0 sec. user=mdettweiler [2018-11-13 22:17:57] 867*2^1531249-1 is not prime. Res64: 183A02BE1424D933 Time : 0.0 sec. user=mdettweiler [2018-11-13 22:36:46] 885*2^1531249-1 is not prime. Res64: 75487B0295DEAC3D Time : 0.0 sec. user=mdettweiler [2018-11-13 22:36:47] 831*2^1531250-1 is not prime. Res64: 61692C8105ABEF39 Time : 0.0 sec. user=mdettweiler [2018-11-13 22:36:47] 845*2^1531250-1 is not prime. Res64: 0CA6907CA238FBFB Time : 0.0 sec. user=mdettweiler [2018-11-13 22:36:47] 887*2^1531250-1 is not prime. Res64: 5FF1EDF4EE592501 Time : 0.0 sec. user=mdettweiler [2018-11-13 22:36:47] 921*2^1531250-1 is not prime. Res64: 1ADF615ECBD704DE Time : 0.0 sec. user=mdettweiler [2018-11-13 22:48:10] 953*2^1531250-1 is not prime. Res64: 446EB9FC207F1757 Time : 0.0 sec. user=mdettweiler [2018-11-13 22:48:10] 751*2^1531251-1 is not prime. Res64: 832EC166C552EC77 Time : 0.0 sec. user=mdettweiler [2018-11-13 22:48:10] 871*2^1531251-1 is not prime. Res64: FC5B93DFD9DAB29D Time : 0.0 sec. user=mdettweiler [2018-11-13 22:48:11] 891*2^1531251-1 is not prime. Res64: 21BC4725ABC32B07 Time : 0.0 sec. user=mdettweiler [2018-11-13 22:48:11] 973*2^1531251-1 is not prime. Res64: 5A21D938A30CE0DA Time : 0.0 sec. user=mdettweiler [2018-11-13 23:00:37] 635*2^1531252-1 is not prime. Res64: 6DEC7F504538CEE2 Time : 0.0 sec. user=mdettweiler [2018-11-13 23:00:39] 647*2^1531252-1 is not prime. Res64: FEDA2B8C6215888C Time : 0.0 sec. user=mdettweiler [2018-11-13 23:00:41] 689*2^1531252-1 is not prime. Res64: B8BF7EF19B13DB99 Time : 0.0 sec. user=mdettweiler [2018-11-13 23:00:43] 695*2^1531252-1 is not prime. Res64: 37B89A3309CBE27D Time : 0.0 sec. user=mdettweiler [2018-11-13 23:00:44] 705*2^1531252-1 is not prime. Res64: DF7C9FFE19513AA0 Time : 0.0 sec. user=mdettweiler [2018-11-13 23:09:04] 991*2^1531251-1 is not prime. Res64: 7D24A3632E8A67D1 Time : 0.0 sec. user=mdettweiler [2018-11-13 23:09:04] 779*2^1531252-1 is not prime. Res64: 3A565F58766EC85E Time : 0.0 sec. user=mdettweiler [2018-11-13 23:09:05] 933*2^1531252-1 is not prime. Res64: 38F50464A43F6458 Time : 0.0 sec. user=mdettweiler [2018-11-13 23:09:05] 975*2^1531252-1 is not prime. Res64: 80253DEF14A68999 Time : 0.0 sec. user=mdettweiler [2018-11-13 23:09:05] 995*2^1531252-1 is not prime. Res64: D92CB3353F8AFEB4 Time : 0.0 sec. user=mdettweiler [2018-11-13 23:27:42] 607*2^1531253-1 is not prime. Res64: A934AE37747B9653 Time : 0.0 sec. user=mdettweiler [2018-11-13 23:27:43] 615*2^1531253-1 is not prime. Res64: 8B18E15282834083 Time : 0.0 sec. user=mdettweiler [2018-11-13 23:27:43] 619*2^1531253-1 is not prime. Res64: FD716407D6D9DA3F Time : 0.0 sec. user=mdettweiler [2018-11-13 23:27:43] 847*2^1531253-1 is not prime. Res64: 35D968E959D345F4 Time : 0.0 sec. user=mdettweiler [2018-11-13 23:27:44] 879*2^1531253-1 is not prime. Res64: C58352880BFE1483 Time : 0.0 sec. user=mdettweiler [2018-11-13 23:39:18] 949*2^1531253-1 is not prime. Res64: EA4F680643CEAAB8 Time : 0.0 sec. user=mdettweiler [2018-11-13 23:39:19] 987*2^1531253-1 is not prime. Res64: D4FC21DBD88E7768 Time : 0.0 sec. user=mdettweiler [2018-11-13 23:39:19] 773*2^1531254-1 is not prime. Res64: 72AD272CDD3FE6FD Time : 0.0 sec. user=mdettweiler [2018-11-13 23:39:19] 815*2^1531254-1 is not prime. Res64: A2BFB89468187637 Time : 0.0 sec. user=mdettweiler [2018-11-13 23:39:20] 825*2^1531254-1 is not prime. Res64: 89CF30FB10A27D04 Time : 0.0 sec. user=mdettweiler [2018-11-13 23:51:49] 891*2^1531254-1 is not prime. Res64: C1C8C934EEC3E39A Time : 0.0 sec. user=mdettweiler [2018-11-13 23:51:49] 941*2^1531254-1 is not prime. Res64: 4682490BFE24D780 Time : 0.0 sec. user=mdettweiler [2018-11-13 23:51:50] 983*2^1531254-1 is not prime. Res64: 5269F40E2B25230A Time : 0.0 sec. user=mdettweiler [2018-11-13 23:51:50] 993*2^1531254-1 is not prime. Res64: A4060C85172973A5 Time : 0.0 sec. user=mdettweiler [2018-11-13 23:51:50] 609*2^1531255-1 is not prime. Res64: 292940305A9776B1 Time : 0.0 sec. user=mdettweiler [2018-11-14 00:00:08] 741*2^1531255-1 is not prime. Res64: 853BF1E050548ECA Time : 0.0 sec. user=mdettweiler [2018-11-14 00:00:08] 763*2^1531255-1 is not prime. Res64: 36193CC3F62F87B9 Time : 0.0 sec. user=mdettweiler [2018-11-14 00:00:09] 919*2^1531255-1 is not prime. Res64: 9D396BAC2B2CC17A Time : 0.0 sec. user=mdettweiler [2018-11-14 00:00:09] 789*2^1531256-1 is not prime. Res64: 2DFF99441D698B53 Time : 0.0 sec. user=mdettweiler [2018-11-14 00:00:10] 873*2^1531256-1 is not prime. Res64: 8667EB6CB693A056 Time : 0.0 sec.