user=mdettweiler [2018-04-22 00:17:40] 765*2^1507734-1 is not prime. Res64: 5051D6FF77CC4472 Time : 0.0 sec. user=mdettweiler [2018-04-22 00:17:40] 797*2^1507734-1 is not prime. Res64: 88A06EF27B6CE372 Time : 0.0 sec. user=mdettweiler [2018-04-22 00:17:41] 851*2^1507734-1 is not prime. Res64: E5553854A2F35C3F Time : 0.0 sec. user=mdettweiler [2018-04-22 00:17:41] 861*2^1507734-1 is not prime. Res64: CFC33034E2CE6A38 Time : 0.0 sec. user=mdettweiler [2018-04-22 00:17:42] 923*2^1507734-1 is not prime. Res64: 65FC8C102490D738 Time : 0.0 sec. user=mdettweiler [2018-04-22 00:27:12] 941*2^1507734-1 is not prime. Res64: BCEDD357C8EA482B Time : 0.0 sec. user=mdettweiler [2018-04-22 00:27:13] 841*2^1507735-1 is not prime. Res64: 1CA2E8FBDBC39BBF Time : 0.0 sec. user=mdettweiler [2018-04-22 00:27:13] 895*2^1507735-1 is not prime. Res64: 3ABDE19D15D4F9D5 Time : 0.0 sec. user=mdettweiler [2018-04-22 00:27:14] 909*2^1507735-1 is not prime. Res64: 19CEBCE0A67F6026 Time : 0.0 sec. user=mdettweiler [2018-04-22 00:27:14] 919*2^1507735-1 is not prime. Res64: A414DEA2186E11A6 Time : 0.0 sec. user=mdettweiler [2018-04-22 00:34:31] 973*2^1507735-1 is not prime. Res64: 6D22306501A00339 Time : 0.0 sec. user=mdettweiler [2018-04-22 00:34:31] 629*2^1507736-1 is not prime. Res64: 4297DB9D4D7E75DA Time : 0.0 sec. user=mdettweiler [2018-04-22 00:34:32] 717*2^1507736-1 is not prime. Res64: C7D2135798F834DE Time : 0.0 sec. user=mdettweiler [2018-04-22 00:34:32] 773*2^1507736-1 is not prime. Res64: B9113D5EF81EBDF9 Time : 0.0 sec. user=mdettweiler [2018-04-22 00:34:33] 839*2^1507736-1 is not prime. Res64: 55DE87912E183C84 Time : 0.0 sec. user=mdettweiler [2018-04-22 00:35:25] 893*2^1507736-1 is not prime. Res64: 3FADEF3CDED5AAF8 Time : 0.0 sec. user=mdettweiler [2018-04-22 00:35:25] 903*2^1507736-1 is not prime. Res64: 225E8ABAF5B9423B Time : 0.0 sec. user=mdettweiler [2018-04-22 00:35:26] 627*2^1507737-1 is not prime. Res64: 47DCC426DACFCF27 Time : 0.0 sec. user=mdettweiler [2018-04-22 00:35:26] 651*2^1507737-1 is not prime. Res64: 691A53C543100827 Time : 0.0 sec. user=mdettweiler [2018-04-22 00:35:26] 711*2^1507737-1 is not prime. Res64: C04523AC2B40B1CD Time : 0.0 sec. user=mdettweiler [2018-04-22 01:07:48] 741*2^1507737-1 is not prime. Res64: 3CF440A12134170C Time : 0.0 sec. user=mdettweiler [2018-04-22 01:07:49] 777*2^1507737-1 is not prime. Res64: D6D9DC5369F144E3 Time : 0.0 sec. user=mdettweiler [2018-04-22 01:07:50] 817*2^1507737-1 is not prime. Res64: 8B56C4DE12C68F7D Time : 0.0 sec. user=mdettweiler [2018-04-22 01:07:50] 819*2^1507737-1 is not prime. Res64: 19DDAB8B14F5AA92 Time : 0.0 sec. user=mdettweiler [2018-04-22 01:07:51] 835*2^1507737-1 is not prime. Res64: 189D83CBF611881B Time : 0.0 sec. user=mdettweiler [2018-04-22 01:18:20] 895*2^1507737-1 is not prime. Res64: 49B67BB9A704B4FE Time : 0.0 sec. user=mdettweiler [2018-04-22 01:18:21] 687*2^1507738-1 is not prime. Res64: 94931162031F642C Time : 0.0 sec. user=mdettweiler [2018-04-22 01:18:21] 735*2^1507738-1 is not prime. Res64: 84A3973337EC63AB Time : 0.0 sec. user=mdettweiler [2018-04-22 01:18:22] 777*2^1507738-1 is not prime. Res64: E5F89B187BA75684 Time : 0.0 sec. user=mdettweiler [2018-04-22 01:18:22] 831*2^1507738-1 is not prime. Res64: C3E3EB3DE5327DEA Time : 0.0 sec. user=mdettweiler [2018-04-22 01:26:40] 933*2^1507738-1 is not prime. Res64: 5C349317F25709AA Time : 0.0 sec. user=mdettweiler [2018-04-22 01:26:42] 941*2^1507738-1 is not prime. Res64: B8A162EA2781BDE3 Time : 0.0 sec. user=mdettweiler [2018-04-22 01:26:42] 945*2^1507738-1 is not prime. Res64: B05FCB312FECE412 Time : 0.0 sec. user=mdettweiler [2018-04-22 01:26:43] 693*2^1507739-1 is not prime. Res64: CD1F026BCE3EBF7B Time : 0.0 sec. user=mdettweiler [2018-04-22 01:26:44] 745*2^1507739-1 is not prime. Res64: 76A48AE87D16D26E Time : 0.0 sec. user=mdettweiler [2018-04-22 01:26:56] 859*2^1507739-1 is not prime. Res64: C3AE5B1144DD934F Time : 0.0 sec. user=mdettweiler [2018-04-22 01:26:57] 895*2^1507739-1 is not prime. Res64: 9271DADCE26047F2 Time : 0.0 sec. user=mdettweiler [2018-04-22 01:26:58] 635*2^1507740-1 is not prime. Res64: 9E272A3846434123 Time : 0.0 sec. user=mdettweiler [2018-04-22 01:26:59] 797*2^1507740-1 is not prime. Res64: 6C077288FF4BD902 Time : 0.0 sec. user=mdettweiler [2018-04-22 01:27:01] 899*2^1507740-1 is not prime. Res64: F781E2CB7CAFD15C Time : 0.0 sec. user=mdettweiler [2018-04-22 01:58:52] 645*2^1507741-1 is not prime. Res64: 80734445E988948F Time : 0.0 sec. user=mdettweiler [2018-04-22 01:58:52] 675*2^1507742-1 is not prime. Res64: F6DACB1A9B18019F Time : 0.0 sec. user=mdettweiler [2018-04-22 01:58:53] 797*2^1507742-1 is not prime. Res64: 34CEB488DF012930 Time : 0.0 sec. user=mdettweiler [2018-04-22 01:58:53] 843*2^1507742-1 is not prime. Res64: 71538EE74A961B96 Time : 0.0 sec. user=mdettweiler [2018-04-22 01:58:54] 867*2^1507742-1 is not prime. Res64: 95551CBC7195BDFA Time : 0.0 sec. user=mdettweiler [2018-04-22 02:08:48] 873*2^1507742-1 is not prime. Res64: 76F45EBCF29FF7A4 Time : 0.0 sec. user=mdettweiler [2018-04-22 02:08:49] 887*2^1507742-1 is not prime. Res64: 29C3317225F50CD0 Time : 0.0 sec. user=mdettweiler [2018-04-22 02:08:50] 921*2^1507742-1 is not prime. Res64: F000087185479BD5 Time : 0.0 sec. user=mdettweiler [2018-04-22 02:08:51] 945*2^1507742-1 is not prime. Res64: ACFECCC334FD2FA7 Time : 0.0 sec. user=mdettweiler [2018-04-22 02:08:52] 977*2^1507742-1 is not prime. Res64: 975CC1356F995223 Time : 0.0 sec. user=mdettweiler [2018-04-22 02:15:24] 613*2^1507743-1 is not prime. Res64: 035E70429E2A0E9E Time : 0.0 sec. user=mdettweiler [2018-04-22 02:15:25] 619*2^1507743-1 is not prime. Res64: 8062509F4FECBC0E Time : 0.0 sec. user=mdettweiler [2018-04-22 02:15:25] 663*2^1507743-1 is not prime. Res64: 2D4A8DBC16C151D5 Time : 0.0 sec. user=mdettweiler [2018-04-22 02:15:26] 675*2^1507743-1 is not prime. Res64: C600320BDE820C56 Time : 0.0 sec. user=mdettweiler [2018-04-22 02:15:26] 693*2^1507743-1 is not prime. Res64: FEAE9A56DF97C70B Time : 0.0 sec. user=mdettweiler [2018-04-22 02:17:09] 825*2^1507743-1 is not prime. Res64: 664ECAA9E6A5C3AC Time : 0.0 sec. user=mdettweiler [2018-04-22 02:17:09] 871*2^1507743-1 is not prime. Res64: BC036BC5B64BAEAA Time : 0.0 sec. user=mdettweiler [2018-04-22 02:17:09] 961*2^1507743-1 is not prime. Res64: 639C23A995D5F113 Time : 0.0 sec. user=mdettweiler [2018-04-22 02:17:10] 963*2^1507743-1 is not prime. Res64: A91122EA73C7FEB0 Time : 0.0 sec. user=mdettweiler [2018-04-22 02:17:10] 985*2^1507743-1 is not prime. Res64: 31E5399C2BF5ABA1 Time : 0.0 sec. user=mdettweiler [2018-04-22 02:48:54] 695*2^1507744-1 is not prime. Res64: 1A3E730A0F86CD95 Time : 0.0 sec. user=mdettweiler [2018-04-22 02:48:55] 903*2^1507744-1 is not prime. Res64: 47AF335E3374E150 Time : 0.0 sec. user=mdettweiler [2018-04-22 02:48:55] 989*2^1507744-1 is not prime. Res64: 2C6E34EA85323506 Time : 0.0 sec. user=mdettweiler [2018-04-22 02:48:56] 685*2^1507745-1 is not prime. Res64: C9A36AB50114204C Time : 0.0 sec. user=mdettweiler [2018-04-22 02:48:56] 705*2^1507745-1 is not prime. Res64: 2E45B00F671FF6A2 Time : 0.0 sec. user=mdettweiler [2018-04-22 03:00:05] 729*2^1507745-1 is not prime. Res64: 0FE01F90D9C2F260 Time : 0.0 sec. user=mdettweiler [2018-04-22 03:00:06] 787*2^1507745-1 is not prime. Res64: 5E6C335FF0B63FFA Time : 0.0 sec. user=mdettweiler [2018-04-22 03:00:07] 801*2^1507745-1 is not prime. Res64: 8C9A0ADC36419C5D Time : 0.0 sec. user=mdettweiler [2018-04-22 03:00:09] 867*2^1507745-1 is not prime. Res64: E5EBF23F575D7A50 Time : 0.0 sec. user=mdettweiler [2018-04-22 03:00:09] 889*2^1507745-1 is not prime. Res64: 4AD205975A819878 Time : 0.0 sec. user=mdettweiler [2018-04-22 03:05:49] 915*2^1507745-1 is not prime. Res64: D40289205EF558A8 Time : 0.0 sec. user=mdettweiler [2018-04-22 03:05:50] 969*2^1507745-1 is not prime. Res64: 0CE8A4894CAB3312 Time : 0.0 sec. user=mdettweiler [2018-04-22 03:05:51] 633*2^1507746-1 is not prime. Res64: E8433968D12B97B1 Time : 0.0 sec. user=mdettweiler [2018-04-22 03:05:52] 713*2^1507746-1 is not prime. Res64: 93BEBA7E24123470 Time : 0.0 sec. user=mdettweiler [2018-04-22 03:05:52] 765*2^1507746-1 is not prime. Res64: 4BFE543553D5CBC2 Time : 0.0 sec. user=mdettweiler [2018-04-22 03:07:37] 807*2^1507746-1 is not prime. Res64: C4CB177EE024DB9B Time : 0.0 sec. user=mdettweiler [2018-04-22 03:07:38] 1001*2^1507746-1 is not prime. Res64: D4E2F1855F36ECDE Time : 0.0 sec. user=mdettweiler [2018-04-22 03:07:38] 619*2^1507747-1 is not prime. Res64: F8DAC50B36BB768B Time : 0.0 sec. user=mdettweiler [2018-04-22 03:07:39] 769*2^1507747-1 is not prime. Res64: 23FC3475FF769447 Time : 0.0 sec. user=mdettweiler [2018-04-22 03:07:39] 775*2^1507747-1 is not prime. Res64: 38A09B8FDBC27166 Time : 0.0 sec. user=mdettweiler [2018-04-22 03:38:49] 829*2^1507747-1 is not prime. Res64: 41D8F34E3C121145 Time : 0.0 sec. user=mdettweiler [2018-04-22 03:38:51] 843*2^1507747-1 is not prime. Res64: B8BCBFB3D16C1A89 Time : 0.0 sec. user=mdettweiler [2018-04-22 03:38:51] 861*2^1507747-1 is not prime. Res64: FC4567DF088104E9 Time : 0.0 sec. user=mdettweiler [2018-04-22 03:38:52] 915*2^1507747-1 is not prime. Res64: 45FACA96B63A7801 Time : 0.0 sec. user=mdettweiler [2018-04-22 03:38:53] 699*2^1507748-1 is not prime. Res64: 86F681930E9D9A17 Time : 0.0 sec. user=mdettweiler [2018-04-22 03:50:16] 743*2^1507748-1 is not prime. Res64: 013FF8E2AFAFB1D9 Time : 0.0 sec. user=mdettweiler [2018-04-22 03:50:18] 845*2^1507748-1 is not prime. Res64: 1907A9E14230663E Time : 0.0 sec. user=mdettweiler [2018-04-22 03:50:20] 915*2^1507748-1 is not prime. Res64: 16B27F564197B431 Time : 0.0 sec. user=mdettweiler [2018-04-22 03:50:21] 927*2^1507748-1 is not prime. Res64: DD1B6E65364E16E5 Time : 0.0 sec. user=mdettweiler [2018-04-22 03:50:23] 945*2^1507748-1 is not prime. Res64: 0E05E66BB75CB1E2 Time : 0.0 sec. user=mdettweiler [2018-04-22 03:54:56] 625*2^1507749-1 is not prime. Res64: 9064C34CBFA2FAAB Time : 0.0 sec. user=mdettweiler [2018-04-22 03:54:58] 691*2^1507749-1 is not prime. Res64: 3BE58BAF002BC49C Time : 0.0 sec. user=mdettweiler [2018-04-22 03:54:59] 721*2^1507749-1 is not prime. Res64: 7A7C30177672385F Time : 0.0 sec. user=mdettweiler [2018-04-22 03:55:00] 747*2^1507749-1 is not prime. Res64: F32443D27B26D7E1 Time : 0.0 sec. user=mdettweiler [2018-04-22 03:55:01] 877*2^1507749-1 is not prime. Res64: A4B284F9EE2591A8 Time : 0.0 sec. user=mdettweiler [2018-04-22 03:56:57] 885*2^1507749-1 is not prime. Res64: 0D90D4C2EFBA674C Time : 0.0 sec. user=mdettweiler [2018-04-22 03:56:58] 603*2^1507750-1 is not prime. Res64: 58313C690765A00B Time : 0.0 sec. user=mdettweiler [2018-04-22 03:56:59] 657*2^1507750-1 is not prime. Res64: 1DECFB6CAC3D32D7 Time : 0.0 sec. user=mdettweiler [2018-04-22 03:56:59] 813*2^1507750-1 is not prime. Res64: 5E8E783782676BFB Time : 0.0 sec. user=mdettweiler [2018-04-22 03:57:00] 917*2^1507750-1 is not prime. Res64: F4D10247DB0C81B8 Time : 0.0 sec. user=mdettweiler [2018-04-22 04:30:06] 923*2^1507750-1 is not prime. Res64: 6D983EA28C3630B8 Time : 0.0 sec. user=mdettweiler [2018-04-22 04:30:08] 971*2^1507750-1 is not prime. Res64: DB8C0ECBE51E07C4 Time : 0.0 sec. user=mdettweiler [2018-04-22 04:30:09] 603*2^1507751-1 is not prime. Res64: 60D4A8BFAACED866 Time : 0.0 sec. user=mdettweiler [2018-04-22 04:30:09] 609*2^1507751-1 is not prime. Res64: F447847C1F6E54E7 Time : 0.0 sec. user=mdettweiler [2018-04-22 04:30:10] 619*2^1507751-1 is not prime. Res64: 44144A2E74B1DACA Time : 0.0 sec. user=mdettweiler [2018-04-22 04:42:33] 643*2^1507751-1 is not prime. Res64: CE6BD82611EC388C Time : 0.0 sec. user=mdettweiler [2018-04-22 04:42:34] 615*2^1507752-1 is not prime. Res64: 7C2DBE00CA27D3BD Time : 0.0 sec. user=mdettweiler [2018-04-22 04:42:35] 639*2^1507752-1 is not prime. Res64: 566DC05762B1848E Time : 0.0 sec. user=mdettweiler [2018-04-22 04:42:35] 665*2^1507752-1 is not prime. Res64: 5217648CC20B2B21 Time : 0.0 sec. user=mdettweiler [2018-04-22 04:42:36] 717*2^1507752-1 is not prime. Res64: C6EB2E46B04D3A02 Time : 0.0 sec. user=mdettweiler [2018-04-22 04:48:20] 767*2^1507752-1 is not prime. Res64: B58EADD9B3AD8C8F Time : 0.0 sec. user=mdettweiler [2018-04-22 04:48:21] 803*2^1507752-1 is not prime. Res64: B7B5F2DCAED680A6 Time : 0.0 sec. user=mdettweiler [2018-04-22 04:48:22] 819*2^1507752-1 is not prime. Res64: B45A392CA991320B Time : 0.0 sec. user=mdettweiler [2018-04-22 04:48:23] 825*2^1507752-1 is not prime. Res64: 71AEA21F960EF974 Time : 0.0 sec. user=mdettweiler [2018-04-22 04:48:24] 909*2^1507752-1 is not prime. Res64: 280F8D6CF5740202 Time : 0.0 sec. user=mdettweiler [2018-04-22 04:49:49] 807*2^1507753-1 is not prime. Res64: 1F486FB6290F7ECA Time : 0.0 sec. user=mdettweiler [2018-04-22 04:49:50] 819*2^1507753-1 is not prime. Res64: 3A8052D948B5BEC6 Time : 0.0 sec. user=mdettweiler [2018-04-22 04:49:50] 919*2^1507753-1 is not prime. Res64: A752171FB06BB59F Time : 0.0 sec. user=mdettweiler [2018-04-22 04:49:51] 957*2^1507753-1 is not prime. Res64: 85A8B17EF3BE73D4 Time : 0.0 sec. user=mdettweiler [2018-04-22 04:49:51] 999*2^1507753-1 is not prime. Res64: 63E202A9F354AE3F Time : 0.0 sec. user=mdettweiler [2018-04-22 05:18:49] 623*2^1507754-1 is not prime. Res64: 52FEE10F2612AFE1 Time : 0.0 sec. user=mdettweiler [2018-04-22 05:18:50] 633*2^1507754-1 is not prime. Res64: 7BDDDDF1E811AB05 Time : 0.0 sec. user=mdettweiler [2018-04-22 05:18:51] 675*2^1507754-1 is not prime. Res64: 3D382AC47A933625 Time : 0.0 sec. user=mdettweiler [2018-04-22 05:18:51] 677*2^1507754-1 is not prime. Res64: A6621F1D90A33929 Time : 0.0 sec. user=mdettweiler [2018-04-22 05:18:52] 705*2^1507754-1 is not prime. Res64: 54157D4AADF9C6CF Time : 0.0 sec. user=mdettweiler [2018-04-22 05:33:06] 753*2^1507754-1 is not prime. Res64: 9B8F10AAA4A5859E Time : 0.0 sec. user=mdettweiler [2018-04-22 05:33:07] 815*2^1507754-1 is not prime. Res64: 8BF61594023C89AB Time : 0.0 sec. user=mdettweiler [2018-04-22 05:33:07] 885*2^1507754-1 is not prime. Res64: 57DBC7308CB25E77 Time : 0.0 sec. user=mdettweiler [2018-04-22 05:33:07] 951*2^1507754-1 is not prime. Res64: F8314D8B843BD387 Time : 0.0 sec. user=mdettweiler [2018-04-22 05:33:08] 971*2^1507754-1 is not prime. Res64: 921C6597A6231E5B Time : 0.0 sec. user=mdettweiler [2018-04-22 05:37:45] 613*2^1507755-1 is not prime. Res64: 7AC4AE4B41F49D3F Time : 0.0 sec. user=mdettweiler [2018-04-22 05:37:46] 663*2^1507755-1 is not prime. Res64: 965BD4BE9E90CD7C Time : 0.0 sec. user=mdettweiler [2018-04-22 05:37:46] 735*2^1507755-1 is not prime. Res64: 9CAF2E20A91D8E7E Time : 0.0 sec. user=mdettweiler [2018-04-22 05:37:47] 695*2^1507756-1 is not prime. Res64: 21948FF5C7759934 Time : 0.0 sec. user=mdettweiler [2018-04-22 05:37:47] 755*2^1507756-1 is not prime. Res64: 783BE5FAF3C861D0 Time : 0.0 sec. user=mdettweiler [2018-04-22 05:40:12] 765*2^1507756-1 is not prime. Res64: 6D9E2D62B38BCDEC Time : 0.0 sec. user=mdettweiler [2018-04-22 05:40:13] 803*2^1507756-1 is not prime. Res64: 6ED4423BDB6E7876 Time : 0.0 sec. user=mdettweiler [2018-04-22 05:40:13] 965*2^1507756-1 is not prime. Res64: 7A400FD74328BCBE Time : 0.0 sec. user=mdettweiler [2018-04-22 05:40:14] 735*2^1507757-1 is not prime. Res64: D102EC3C15823CEE Time : 0.0 sec. user=mdettweiler [2018-04-22 05:40:14] 741*2^1507757-1 is not prime. Res64: 3C985D268C36758C Time : 0.0 sec. user=mdettweiler [2018-04-22 06:09:08] 837*2^1507757-1 is not prime. Res64: 826D843457CA84BE Time : 0.0 sec. user=mdettweiler [2018-04-22 06:09:09] 861*2^1507757-1 is not prime. Res64: 6F480E8433F1BBD3 Time : 0.0 sec. user=mdettweiler [2018-04-22 06:09:09] 967*2^1507757-1 is not prime. Res64: 6AC3B7627AC53ADC Time : 0.0 sec. user=mdettweiler [2018-04-22 06:09:10] 985*2^1507757-1 is not prime. Res64: F1BBC6775F8DE56D Time : 0.0 sec. user=mdettweiler [2018-04-22 06:09:11] 615*2^1507758-1 is not prime. Res64: CBC0E212263756FB Time : 0.0 sec. user=mdettweiler [2018-04-22 06:22:20] 705*2^1507758-1 is not prime. Res64: 75D707E699F22566 Time : 0.0 sec. user=mdettweiler [2018-04-22 06:22:20] 707*2^1507758-1 is not prime. Res64: 324787DC51F257F8 Time : 0.0 sec. user=mdettweiler [2018-04-22 06:22:21] 725*2^1507758-1 is not prime. Res64: A27B0DE6FC2B223A Time : 0.0 sec. user=mdettweiler [2018-04-22 06:22:21] 971*2^1507758-1 is not prime. Res64: 623A95271EEB4CB4 Time : 0.0 sec. user=mdettweiler [2018-04-22 06:22:21] 977*2^1507758-1 is not prime. Res64: F8D4A0877E8CA9E3 Time : 0.0 sec. user=mdettweiler [2018-04-22 06:26:25] 1001*2^1507758-1 is not prime. Res64: 9F4DBD66E02BAFDD Time : 0.0 sec. user=mdettweiler [2018-04-22 06:26:26] 601*2^1507759-1 is not prime. Res64: 90DA2304C2F8A1A8 Time : 0.0 sec. user=mdettweiler [2018-04-22 06:26:26] 625*2^1507759-1 is not prime. Res64: 3C8EEC0BD73D3D66 Time : 0.0 sec. user=mdettweiler [2018-04-22 06:26:27] 639*2^1507759-1 is not prime. Res64: 6F47809A181701E8 Time : 0.0 sec. user=mdettweiler [2018-04-22 06:26:27] 709*2^1507759-1 is not prime. Res64: 99ED206948EB91B3 Time : 0.0 sec. user=mdettweiler [2018-04-22 06:30:18] 841*2^1507759-1 is not prime. Res64: DD8F7143BEDA17CF Time : 0.0 sec. user=mdettweiler [2018-04-22 06:30:18] 861*2^1507759-1 is not prime. Res64: CB17ACABA91B4260 Time : 0.0 sec. user=mdettweiler [2018-04-22 06:30:19] 629*2^1507760-1 is not prime. Res64: 5D3BB48BC3C075EF Time : 0.0 sec. user=mdettweiler [2018-04-22 06:30:19] 773*2^1507760-1 is not prime. Res64: 1C56233180876DCB Time : 0.0 sec. user=mdettweiler [2018-04-22 06:30:20] 923*2^1507760-1 is not prime. Res64: 463A2EAF3B49E1F4 Time : 0.0 sec. user=mdettweiler [2018-04-22 06:57:59] 995*2^1507760-1 is not prime. Res64: 3328BC5D253831C5 Time : 0.0 sec. user=mdettweiler [2018-04-22 06:58:00] 637*2^1507761-1 is not prime. Res64: 000B579548A86685 Time : 0.0 sec. user=mdettweiler [2018-04-22 06:58:00] 649*2^1507761-1 is not prime. Res64: DE322D7AE999F847 Time : 0.0 sec. user=mdettweiler [2018-04-22 06:58:00] 669*2^1507761-1 is not prime. Res64: 65F4F6213922749C Time : 0.0 sec. user=mdettweiler [2018-04-22 06:58:01] 705*2^1507761-1 is not prime. Res64: E7680649B10CA998 Time : 0.0 sec. user=mdettweiler [2018-04-22 07:12:42] 751*2^1507761-1 is not prime. Res64: 73929872E5C9A5E5 Time : 0.0 sec. user=mdettweiler [2018-04-22 07:12:43] 871*2^1507761-1 is not prime. Res64: 3845EB7A2F7125D7 Time : 0.0 sec. user=mdettweiler [2018-04-22 07:12:44] 889*2^1507761-1 is not prime. Res64: F0E82A28FE578209 Time : 0.0 sec. user=mdettweiler [2018-04-22 07:12:45] 997*2^1507761-1 is not prime. Res64: C6366FA5B0925DC8 Time : 0.0 sec. user=mdettweiler [2018-04-22 07:12:45] 999*2^1507761-1 is not prime. Res64: 107E70B40EAEACF0 Time : 0.0 sec. user=mdettweiler [2018-04-22 07:16:02] 671*2^1507762-1 is not prime. Res64: 8DC81BA30CDBA2B0 Time : 0.0 sec. user=mdettweiler [2018-04-22 07:16:02] 717*2^1507762-1 is not prime. Res64: 907E4F6C081BA57E Time : 0.0 sec. user=mdettweiler [2018-04-22 07:16:03] 803*2^1507762-1 is not prime. Res64: 9AE9C200CA981D69 Time : 0.0 sec. user=mdettweiler [2018-04-22 07:16:03] 813*2^1507762-1 is not prime. Res64: D9DF1F325CC5677F Time : 0.0 sec. user=mdettweiler [2018-04-22 07:16:04] 951*2^1507762-1 is not prime. Res64: 51E173D4EE59EF33 Time : 0.0 sec. user=mdettweiler [2018-04-22 07:19:06] 975*2^1507762-1 is not prime. Res64: 15DA2AB3FB8C2BDD Time : 0.0 sec. user=mdettweiler [2018-04-22 07:19:06] 1001*2^1507762-1 is not prime. Res64: 67F1760EFBFB7B46 Time : 0.0 sec. user=mdettweiler [2018-04-22 07:19:06] 609*2^1507763-1 is not prime. Res64: 7B084F43C06303A3 Time : 0.0 sec. user=mdettweiler [2018-04-22 07:19:07] 631*2^1507763-1 is not prime. Res64: 19E96320588C3648 Time : 0.0 sec. user=mdettweiler [2018-04-22 07:19:07] 675*2^1507763-1 is not prime. Res64: BED33B0FA6325244 Time : 0.0 sec. user=mdettweiler [2018-04-22 07:47:54] 685*2^1507763-1 is not prime. Res64: A41357966E5E4863 Time : 0.0 sec. user=mdettweiler [2018-04-22 07:47:54] 735*2^1507763-1 is not prime. Res64: 3F21E5A56F079829 Time : 0.0 sec. user=mdettweiler [2018-04-22 07:47:55] 753*2^1507763-1 is not prime. Res64: 721DEED8FA8B6F75 Time : 0.0 sec. user=mdettweiler [2018-04-22 07:47:55] 783*2^1507763-1 is not prime. Res64: B8467403B02B9220 Time : 0.0 sec. user=mdettweiler [2018-04-22 07:47:56] 885*2^1507763-1 is not prime. Res64: E0F447915C75F3F2 Time : 0.0 sec. user=mdettweiler [2018-04-22 08:02:12] 981*2^1507763-1 is not prime. Res64: A3A2BDF60E1D424F Time : 0.0 sec. user=mdettweiler [2018-04-22 08:02:13] 683*2^1507764-1 is not prime. Res64: F301F497AF05C1CA Time : 0.0 sec. user=mdettweiler [2018-04-22 08:02:14] 693*2^1507764-1 is not prime. Res64: 18D50431A4F800AB Time : 0.0 sec. user=mdettweiler [2018-04-22 08:02:15] 789*2^1507764-1 is not prime. Res64: 7C224BCDFE7F2303 Time : 0.0 sec. user=mdettweiler [2018-04-22 08:02:16] 947*2^1507764-1 is not prime. Res64: 897B859DCFC8FEF8 Time : 0.0 sec. user=mdettweiler [2018-04-22 08:06:08] 959*2^1507764-1 is not prime. Res64: B9BCF31680AAA021 Time : 0.0 sec. user=mdettweiler [2018-04-22 08:06:09] 975*2^1507764-1 is not prime. Res64: 02D11A1A9B8D154F Time : 0.0 sec. user=mdettweiler [2018-04-22 08:06:10] 717*2^1507765-1 is not prime. Res64: 5120053C6E879D80 Time : 0.0 sec. user=mdettweiler [2018-04-22 08:06:11] 751*2^1507765-1 is not prime. Res64: EB38F4BD5229AF82 Time : 0.0 sec. user=mdettweiler [2018-04-22 08:06:12] 855*2^1507765-1 is not prime. Res64: 481B03FBD0AE1BFA Time : 0.0 sec. user=mdettweiler [2018-04-22 08:09:01] 915*2^1507765-1 is not prime. Res64: 429CA0069C8F8BAA Time : 0.0 sec. user=mdettweiler [2018-04-22 08:09:03] 939*2^1507765-1 is not prime. Res64: 24C6DD0C46477492 Time : 0.0 sec. user=mdettweiler [2018-04-22 08:09:05] 961*2^1507765-1 is not prime. Res64: 3F298D17B0658BFA Time : 0.0 sec. user=mdettweiler [2018-04-22 08:09:05] 707*2^1507766-1 is not prime. Res64: DF1975D8A9AA7A17 Time : 0.0 sec. user=mdettweiler [2018-04-22 08:09:06] 785*2^1507766-1 is not prime. Res64: F42059EED476750B Time : 0.0 sec. user=mdettweiler [2018-04-22 08:38:04] 815*2^1507766-1 is not prime. Res64: 9A0092ABE0A8EB1A Time : 0.0 sec. user=mdettweiler [2018-04-22 08:38:05] 851*2^1507766-1 is not prime. Res64: AC50417716762091 Time : 0.0 sec. user=mdettweiler [2018-04-22 08:38:05] 861*2^1507766-1 is not prime. Res64: 519D231FD0DC7709 Time : 0.0 sec. user=mdettweiler [2018-04-22 08:38:05] 935*2^1507766-1 is not prime. Res64: 9BB98EA66836578F Time : 0.0 sec. user=mdettweiler [2018-04-22 08:38:06] 981*2^1507766-1 is not prime. Res64: 3C4E43C0F10D039D Time : 0.0 sec. user=mdettweiler [2018-04-22 08:52:11] 685*2^1507767-1 is not prime. Res64: 8708DAB83DBA7EE3 Time : 0.0 sec. user=mdettweiler [2018-04-22 08:52:11] 775*2^1507767-1 is not prime. Res64: 0E08BDABF77A21A3 Time : 0.0 sec. user=mdettweiler [2018-04-22 08:52:12] 829*2^1507767-1 is not prime. Res64: 28BD46DBF56DBFB8 Time : 0.0 sec. user=mdettweiler [2018-04-22 08:52:12] 919*2^1507767-1 is not prime. Res64: A471D5536DDDD684 Time : 0.0 sec. user=mdettweiler [2018-04-22 08:52:12] 615*2^1507768-1 is not prime. Res64: EA2C0BCA3A4B4F28 Time : 0.0 sec. user=mdettweiler [2018-04-22 08:56:07] 629*2^1507768-1 is not prime. Res64: 1A2BB462E26B6227 Time : 0.0 sec. user=mdettweiler [2018-04-22 08:56:08] 803*2^1507768-1 is not prime. Res64: 7BE20BBFF0C623E4 Time : 0.0 sec. user=mdettweiler [2018-04-22 08:56:08] 843*2^1507768-1 is not prime. Res64: 2C25B0F4D9177BCD Time : 0.0 sec. user=mdettweiler [2018-04-22 08:56:08] 969*2^1507768-1 is not prime. Res64: CEF9B18AE4D67E0B Time : 0.0 sec. user=mdettweiler [2018-04-22 08:56:09] 975*2^1507768-1 is not prime. Res64: 7AD8C495835EE59A Time : 0.0 sec. user=mdettweiler [2018-04-22 08:58:31] 649*2^1507769-1 is not prime. Res64: 810F3B1F7CFFC6D9 Time : 0.0 sec. user=mdettweiler [2018-04-22 08:58:32] 931*2^1507769-1 is not prime. Res64: 4879C350E79D75CD Time : 0.0 sec. user=mdettweiler [2018-04-22 08:58:32] 949*2^1507769-1 is not prime. Res64: 2000FCCB78DA1303 Time : 0.0 sec. user=mdettweiler [2018-04-22 08:58:32] 957*2^1507769-1 is not prime. Res64: 61BEBAD760B1864E Time : 0.0 sec. user=mdettweiler [2018-04-22 08:58:33] 627*2^1507770-1 is not prime. Res64: 1A44BF342B05C2F9 Time : 0.0 sec. user=mdettweiler [2018-04-22 09:27:53] 867*2^1507770-1 is not prime. Res64: C900BF7911B22E86 Time : 0.0 sec. user=mdettweiler [2018-04-22 09:27:53] 917*2^1507770-1 is not prime. Res64: 3CB912952C3665B1 Time : 0.0 sec. user=mdettweiler [2018-04-22 09:27:54] 941*2^1507770-1 is not prime. Res64: E4F42A75AA83CB97 Time : 0.0 sec. user=mdettweiler [2018-04-22 09:27:54] 957*2^1507770-1 is not prime. Res64: DD96FC9E15A9643B Time : 0.0 sec. user=mdettweiler [2018-04-22 09:27:54] 709*2^1507771-1 is not prime. Res64: CA6B9CF0DBD99F85 Time : 0.0 sec. user=mdettweiler [2018-04-22 09:42:19] 769*2^1507771-1 is not prime. Res64: 42B89EAF78E6CD92 Time : 0.0 sec. user=mdettweiler [2018-04-22 09:42:19] 841*2^1507771-1 is not prime. Res64: 61CB51663842925E Time : 0.0 sec. user=mdettweiler [2018-04-22 09:42:20] 849*2^1507771-1 is not prime. Res64: 90F704751AD3091E Time : 0.0 sec. user=mdettweiler [2018-04-22 09:42:20] 871*2^1507771-1 is not prime. Res64: B2BECF022FA0897F Time : 0.0 sec. user=mdettweiler [2018-04-22 09:42:20] 883*2^1507771-1 is not prime. Res64: E7C2FAA0011798BB Time : 0.0 sec. user=mdettweiler [2018-04-22 09:45:12] 969*2^1507771-1 is not prime. Res64: 9808EBDB5D9DEF86 Time : 0.0 sec. user=mdettweiler [2018-04-22 09:45:12] 605*2^1507772-1 is not prime. Res64: B050C7E80EBB47FE Time : 0.0 sec. user=mdettweiler [2018-04-22 09:45:12] 669*2^1507772-1 is not prime. Res64: AB16F2E434359894 Time : 0.0 sec. user=mdettweiler [2018-04-22 09:45:13] 909*2^1507772-1 is not prime. Res64: 28BD3F75176E8DF4 Time : 0.0 sec. user=mdettweiler [2018-04-22 09:45:13] 963*2^1507772-1 is not prime. Res64: BFD2FB342180A3BF Time : 0.0 sec. user=mdettweiler [2018-04-22 09:47:59] 651*2^1507773-1 is not prime. Res64: 6F66ED691E8B1D43 Time : 0.0 sec. user=mdettweiler [2018-04-22 09:48:00] 657*2^1507773-1 is not prime. Res64: A9C717B0F6EE0D12 Time : 0.0 sec. user=mdettweiler [2018-04-22 09:48:00] 795*2^1507773-1 is not prime. Res64: 739BDB79DF4A50AE Time : 0.0 sec. user=mdettweiler [2018-04-22 09:48:01] 835*2^1507773-1 is not prime. Res64: E893818931045F09 Time : 0.0 sec. user=mdettweiler [2018-04-22 09:48:01] 999*2^1507773-1 is not prime. Res64: BBC896F167433F86 Time : 0.0 sec. user=mdettweiler [2018-04-22 10:17:12] 663*2^1507774-1 is not prime. Res64: 281D40BB3165D082 Time : 0.0 sec. user=mdettweiler [2018-04-22 10:17:12] 675*2^1507774-1 is not prime. Res64: 0E6D0F60ECC5785C Time : 0.0 sec. user=mdettweiler [2018-04-22 10:17:13] 755*2^1507774-1 is not prime. Res64: 26EF88E99407A63A Time : 0.0 sec. user=mdettweiler [2018-04-22 10:17:13] 831*2^1507774-1 is not prime. Res64: 7027A20D3AC3FBF6 Time : 0.0 sec. user=mdettweiler [2018-04-22 10:17:13] 885*2^1507774-1 is not prime. Res64: 6C17C63C42A098CC Time : 0.0 sec. user=mdettweiler [2018-04-22 10:32:29] 917*2^1507774-1 is not prime. Res64: 64F71B35E5455DBA Time : 0.0 sec. user=mdettweiler [2018-04-22 10:32:30] 951*2^1507774-1 is not prime. Res64: C38184847DA05A26 Time : 0.0 sec. user=mdettweiler [2018-04-22 10:32:30] 993*2^1507774-1 is not prime. Res64: 0C3535B6AFE770E7 Time : 0.0 sec. user=mdettweiler [2018-04-22 10:32:30] 609*2^1507775-1 is not prime. Res64: 64ACE69D1DEEA202 Time : 0.0 sec. user=mdettweiler [2018-04-22 10:32:31] 645*2^1507775-1 is not prime. Res64: 2FDEF283F2FC038D Time : 0.0 sec. user=mdettweiler [2018-04-22 10:36:05] 669*2^1507775-1 is not prime. Res64: 355FF8F98AB1632A Time : 0.0 sec. user=mdettweiler [2018-04-22 10:36:05] 753*2^1507775-1 is not prime. Res64: 21A8CF9ADC223E57 Time : 0.0 sec. user=mdettweiler [2018-04-22 10:36:05] 759*2^1507775-1 is not prime. Res64: 72B150F2F6906BCD Time : 0.0 sec. user=mdettweiler [2018-04-22 10:36:06] 841*2^1507775-1 is not prime. Res64: 6C5AC572113D23A4 Time : 0.0 sec. user=mdettweiler [2018-04-22 10:36:06] 853*2^1507775-1 is not prime. Res64: 0BAE50163A4F431E Time : 0.0 sec. user=mdettweiler [2018-04-22 10:38:19] 871*2^1507775-1 is not prime. Res64: 46F5FFCCFF90B444 Time : 0.0 sec. user=mdettweiler [2018-04-22 10:38:19] 609*2^1507776-1 is not prime. Res64: FE140818F8A6AE32 Time : 0.0 sec. user=mdettweiler [2018-04-22 10:38:20] 633*2^1507776-1 is not prime. Res64: 5859B742DDDA2B8A Time : 0.0 sec. user=mdettweiler [2018-04-22 10:38:20] 737*2^1507776-1 is not prime. Res64: 20C2ED53E72F3A98 Time : 0.0 sec. user=mdettweiler [2018-04-22 10:38:20] 843*2^1507776-1 is not prime. Res64: F9059D4895F14EE7 Time : 0.0 sec. user=mdettweiler [2018-04-22 11:07:44] 625*2^1507777-1 is not prime. Res64: 23FDC86E2DF44B7D Time : 0.0 sec. user=mdettweiler [2018-04-22 11:07:45] 675*2^1507777-1 is not prime. Res64: 65CD95812286AE33 Time : 0.0 sec. user=mdettweiler [2018-04-22 11:07:47] 747*2^1507777-1 is not prime. Res64: F145336D159CE7BE Time : 0.0 sec. user=mdettweiler [2018-04-22 11:07:49] 847*2^1507777-1 is not prime. Res64: 1A797400902BFF83 Time : 0.0 sec. user=mdettweiler [2018-04-22 11:07:50] 955*2^1507777-1 is not prime. Res64: FD40D5FC3427ADC5 Time : 0.0 sec. user=mdettweiler [2018-04-22 11:23:19] 999*2^1507777-1 is not prime. Res64: 923E37A07293B8FF Time : 0.0 sec. user=mdettweiler [2018-04-22 11:23:19] 743*2^1507778-1 is not prime. Res64: D29F4D49DB422E73 Time : 0.0 sec. user=mdettweiler [2018-04-22 11:23:20] 867*2^1507778-1 is not prime. Res64: 2D0A66E0AB092FB1 Time : 0.0 sec. user=mdettweiler [2018-04-22 11:23:20] 893*2^1507778-1 is not prime. Res64: D0458975FF6D5C73 Time : 0.0 sec. user=mdettweiler [2018-04-22 11:23:20] 995*2^1507778-1 is not prime. Res64: E214299076D41894 Time : 0.0 sec. user=mdettweiler [2018-04-22 11:25:50] 1001*2^1507778-1 is not prime. Res64: F598479ECACF52AB Time : 0.0 sec. user=mdettweiler [2018-04-22 11:25:50] 609*2^1507779-1 is not prime. Res64: C84258885F96AFD7 Time : 0.0 sec. user=mdettweiler [2018-04-22 11:25:51] 745*2^1507779-1 is not prime. Res64: BE84257E4B4FD72F Time : 0.0 sec. user=mdettweiler [2018-04-22 11:25:51] 823*2^1507779-1 is not prime. Res64: 0817C643A6E664D3 Time : 0.0 sec. user=mdettweiler [2018-04-22 11:25:52] 895*2^1507779-1 is not prime. Res64: 9FC6CC469B005EE8 Time : 0.0 sec. user=mdettweiler [2018-04-22 11:28:23] 955*2^1507779-1 is not prime. Res64: A2B14A2508A7E3D6 Time : 0.0 sec. user=mdettweiler [2018-04-22 11:28:25] 975*2^1507779-1 is not prime. Res64: C5D7CE433E18C984 Time : 0.0 sec. user=mdettweiler [2018-04-22 11:28:27] 647*2^1507780-1 is not prime. Res64: 8F729C7BE89B739E Time : 0.0 sec. user=mdettweiler [2018-04-22 11:28:30] 833*2^1507780-1 is not prime. Res64: D679A4BD78912BE3 Time : 0.0 sec. user=mdettweiler [2018-04-22 11:28:30] 839*2^1507780-1 is not prime. Res64: 0B6DB3BF0482B9D0 Time : 0.0 sec. user=mdettweiler [2018-04-22 11:59:06] 855*2^1507780-1 is not prime. Res64: 7540CAB21F3DAA78 Time : 0.0 sec. user=mdettweiler [2018-04-22 11:59:06] 875*2^1507780-1 is not prime. Res64: E729C87845D4E876 Time : 0.0 sec. user=mdettweiler [2018-04-22 11:59:07] 887*2^1507780-1 is not prime. Res64: 1D22C648DC956A96 Time : 0.0 sec. user=mdettweiler [2018-04-22 11:59:07] 905*2^1507780-1 is not prime. Res64: FB0E3BC713DB8C89 Time : 0.0 sec. user=mdettweiler [2018-04-22 11:59:07] 995*2^1507780-1 is not prime. Res64: 930BFE5FC684F657 Time : 0.0 sec. user=mdettweiler [2018-04-22 12:13:15] 619*2^1507781-1 is not prime. Res64: 98E977134EC8B51A Time : 0.0 sec. user=mdettweiler [2018-04-22 12:13:15] 745*2^1507781-1 is not prime. Res64: 16C2A521883C4E88 Time : 0.0 sec. user=mdettweiler [2018-04-22 12:13:16] 747*2^1507781-1 is not prime. Res64: 79E7E0A7BB71D0A4 Time : 0.0 sec. user=mdettweiler [2018-04-22 12:13:16] 789*2^1507781-1 is not prime. Res64: FFB408406CA8378E Time : 0.0 sec. user=mdettweiler [2018-04-22 12:13:17] 837*2^1507781-1 is not prime. Res64: 16BEC78754B84039 Time : 0.0 sec. user=mdettweiler [2018-04-22 12:14:32] 987*2^1507781-1 is not prime. Res64: 3037AFA0FE95679C Time : 0.0 sec. user=mdettweiler [2018-04-22 12:14:33] 657*2^1507782-1 is not prime. Res64: B747B3A88B357201 Time : 0.0 sec. user=mdettweiler [2018-04-22 12:14:34] 665*2^1507782-1 is not prime. Res64: 01202936FD68DF14 Time : 0.0 sec. user=mdettweiler [2018-04-22 12:14:35] 677*2^1507782-1 is not prime. Res64: 1136AC728E7A4A17 Time : 0.0 sec. user=mdettweiler [2018-04-22 12:14:35] 683*2^1507782-1 is not prime. Res64: C05E2C5962F8497C Time : 0.0 sec. user=mdettweiler [2018-04-22 12:18:17] 717*2^1507782-1 is not prime. Res64: 8D8D2330FB203656 Time : 0.0 sec. user=mdettweiler [2018-04-22 12:18:18] 815*2^1507782-1 is not prime. Res64: 07C503D7946E929F Time : 0.0 sec. user=mdettweiler [2018-04-22 12:18:18] 887*2^1507782-1 is not prime. Res64: 97DCFD0D678AA786 Time : 0.0 sec. user=mdettweiler [2018-04-22 12:18:18] 917*2^1507782-1 is not prime. Res64: F655BA3843917C0A Time : 0.0 sec. user=mdettweiler [2018-04-22 12:18:19] 923*2^1507782-1 is not prime. Res64: 183ADD256FBA14E6 Time : 0.0 sec. user=mdettweiler [2018-04-22 12:48:38] 951*2^1507782-1 is not prime. Res64: A4CE922F15105641 Time : 0.0 sec. user=mdettweiler [2018-04-22 12:48:39] 619*2^1507783-1 is not prime. Res64: 3C6D7ECCF49C5563 Time : 0.0 sec. user=mdettweiler [2018-04-22 12:48:39] 639*2^1507783-1 is not prime. Res64: 7EA937D510B759E8 Time : 0.0 sec. user=mdettweiler [2018-04-22 12:48:39] 771*2^1507783-1 is not prime. Res64: B2F09A7244EA2C41 Time : 0.0 sec. user=mdettweiler [2018-04-22 12:48:40] 813*2^1507783-1 is not prime. Res64: B674EFD5F952DFF9 Time : 0.0 sec. user=mdettweiler [2018-04-22 13:03:35] 819*2^1507783-1 is not prime. Res64: 941A6F77A4BFD1DB Time : 0.0 sec. user=mdettweiler [2018-04-22 13:03:36] 855*2^1507783-1 is not prime. Res64: 8FDCEF2B6A4E1E04 Time : 0.0 sec. user=mdettweiler [2018-04-22 13:03:38] 895*2^1507783-1 is not prime. Res64: 5FD381E07F503384 Time : 0.0 sec. user=mdettweiler [2018-04-22 13:03:39] 943*2^1507783-1 is not prime. Res64: 3EEB90680B25D61C Time : 0.0 sec. user=mdettweiler [2018-04-22 13:03:40] 973*2^1507783-1 is not prime. Res64: 81CC708EBFECDF54 Time : 0.0 sec. user=mdettweiler [2018-04-22 13:03:54] 629*2^1507784-1 is not prime. Res64: 4D5FDE115ED75C42 Time : 0.0 sec. user=mdettweiler [2018-04-22 13:03:56] 875*2^1507784-1 is not prime. Res64: E21707A764F4D1F0 Time : 0.0 sec. user=mdettweiler [2018-04-22 13:03:57] 957*2^1507784-1 is not prime. Res64: 495A6BDAD6DBFA31 Time : 0.0 sec. user=mdettweiler [2018-04-22 13:03:58] 669*2^1507785-1 is not prime. Res64: F8BF35B3923AADD0 Time : 0.0 sec. user=mdettweiler [2018-04-22 13:03:59] 679*2^1507785-1 is not prime. Res64: BFD41039E1E837D6 Time : 0.0 sec. user=mdettweiler [2018-04-22 13:07:49] 705*2^1507785-1 is not prime. Res64: 98C0A60DFB864081 Time : 0.0 sec. user=mdettweiler [2018-04-22 13:07:50] 717*2^1507785-1 is not prime. Res64: A01506A37370B2FD Time : 0.0 sec. user=mdettweiler [2018-04-22 13:07:51] 735*2^1507785-1 is not prime. Res64: FDBBC5A32DFE8837 Time : 0.0 sec. user=mdettweiler [2018-04-22 13:07:51] 871*2^1507785-1 is not prime. Res64: DF22BD23B23459F5 Time : 0.0 sec. user=mdettweiler [2018-04-22 13:07:52] 877*2^1507785-1 is not prime. Res64: C3C8C5611BF2BFFC Time : 0.0 sec. user=mdettweiler [2018-04-22 13:37:50] 895*2^1507785-1 is not prime. Res64: EA01895FB2ABCB91 Time : 0.0 sec. user=mdettweiler [2018-04-22 13:37:51] 921*2^1507785-1 is not prime. Res64: 318DC3B06C9A0ECD Time : 0.0 sec. user=mdettweiler [2018-04-22 13:37:51] 611*2^1507786-1 is not prime. Res64: 63CEA666DE669BAB Time : 0.0 sec. user=mdettweiler [2018-04-22 13:37:51] 617*2^1507786-1 is not prime. Res64: F0BE1146C66B13D4 Time : 0.0 sec. user=mdettweiler [2018-04-22 13:37:52] 623*2^1507786-1 is not prime. Res64: 5F7242A7BAC7F0BD Time : 0.0 sec. user=mdettweiler [2018-04-22 13:52:41] 635*2^1507786-1 is not prime. Res64: 3B7F32B87A235CBC Time : 0.0 sec. user=mdettweiler [2018-04-22 13:52:41] 663*2^1507786-1 is not prime. Res64: D1E0D8CAD4B178E8 Time : 0.0 sec. user=mdettweiler [2018-04-22 13:52:42] 701*2^1507786-1 is not prime. Res64: F8C77C7F8E44E52A Time : 0.0 sec. user=mdettweiler [2018-04-22 13:52:42] 723*2^1507786-1 is not prime. Res64: FF6934C0BCDE9A67 Time : 0.0 sec. user=mdettweiler [2018-04-22 13:52:42] 801*2^1507786-1 is not prime. Res64: 6BB6ED859D380012 Time : 0.0 sec. user=mdettweiler [2018-04-22 13:53:04] 905*2^1507786-1 is not prime. Res64: 8B514ACC6536DECC Time : 0.0 sec. user=mdettweiler [2018-04-22 13:53:05] 633*2^1507787-1 is not prime. Res64: 16D6AD22772CB8A6 Time : 0.0 sec. user=mdettweiler [2018-04-22 13:53:05] 649*2^1507787-1 is not prime. Res64: C4A90328BCD55A32 Time : 0.0 sec. user=mdettweiler [2018-04-22 13:53:05] 651*2^1507787-1 is not prime. Res64: AB492E3D9770C8D9 Time : 0.0 sec. user=mdettweiler [2018-04-22 13:53:06] 775*2^1507787-1 is not prime. Res64: 994461AC86642694 Time : 0.0 sec. user=mdettweiler [2018-04-22 13:57:41] 813*2^1507787-1 is not prime. Res64: A0BA3147509A76B6 Time : 0.0 sec. user=mdettweiler [2018-04-22 13:57:42] 859*2^1507787-1 is not prime. Res64: 2C027CFB6E0386FB Time : 0.0 sec. user=mdettweiler [2018-04-22 13:57:42] 635*2^1507788-1 is not prime. Res64: E37F0F9651C1EE34 Time : 0.0 sec. user=mdettweiler [2018-04-22 13:57:43] 695*2^1507788-1 is not prime. Res64: E9450FB044CA8A44 Time : 0.0 sec. user=mdettweiler [2018-04-22 13:57:43] 767*2^1507788-1 is not prime. Res64: 36AF3FAEC01E940E Time : 0.0 sec. user=mdettweiler [2018-04-22 14:27:28] 773*2^1507788-1 is not prime. Res64: F9BB5AE496B73B14 Time : 0.0 sec. user=mdettweiler [2018-04-22 14:27:29] 825*2^1507788-1 is not prime. Res64: C71871DF088A3E88 Time : 0.0 sec. user=mdettweiler [2018-04-22 14:27:30] 843*2^1507788-1 is not prime. Res64: 596E4381BC6BF605 Time : 0.0 sec. user=mdettweiler [2018-04-22 14:27:31] 927*2^1507788-1 is not prime. Res64: 640BC42F17B936E6 Time : 0.0 sec. user=mdettweiler [2018-04-22 14:27:31] 625*2^1507789-1 is not prime. Res64: 17929F002BAD182F Time : 0.0 sec. user=mdettweiler [2018-04-22 14:42:14] 639*2^1507789-1 is not prime. Res64: 9AEEFAB48919B48D Time : 0.0 sec. user=mdettweiler [2018-04-22 14:42:14] 661*2^1507789-1 is not prime. Res64: 6AD132D7E134FCEB Time : 0.0 sec. user=mdettweiler [2018-04-22 14:42:15] 855*2^1507789-1 is not prime. Res64: 12F8F9B633C72B2D Time : 0.0 sec. user=mdettweiler [2018-04-22 14:42:15] 885*2^1507789-1 is not prime. Res64: 4B473804180767D5 Time : 0.0 sec. user=mdettweiler [2018-04-22 14:42:15] 999*2^1507789-1 is not prime. Res64: EE4F7A1E0CDBC472 Time : 0.0 sec. user=mdettweiler [2018-04-22 14:42:30] 615*2^1507790-1 is not prime. Res64: 996A5DA19C0FFB57 Time : 0.0 sec. user=mdettweiler [2018-04-22 14:42:30] 951*2^1507790-1 is not prime. Res64: 1237F0373FFD225E Time : 0.0 sec. user=mdettweiler [2018-04-22 14:42:30] 1001*2^1507790-1 is not prime. Res64: 9DC729D600B72DCB Time : 0.0 sec. user=mdettweiler [2018-04-22 14:42:31] 619*2^1507791-1 is not prime. Res64: C244ABFD69B47D49 Time : 0.0 sec. user=mdettweiler [2018-04-22 14:42:31] 891*2^1507791-1 is not prime. Res64: 47564C9400674BFE Time : 0.0 sec. user=mdettweiler [2018-04-22 14:47:03] 901*2^1507791-1 is not prime. Res64: 0653DBD1E2623987 Time : 0.0 sec. user=mdettweiler [2018-04-22 14:47:04] 949*2^1507791-1 is not prime. Res64: D53AB6A64570FDD0 Time : 0.0 sec. user=mdettweiler [2018-04-22 14:47:04] 951*2^1507791-1 is not prime. Res64: 2CF2C4D3D2E6707E Time : 0.0 sec. user=mdettweiler [2018-04-22 14:47:05] 603*2^1507792-1 is not prime. Res64: 70C2C84475862867 Time : 0.0 sec. user=mdettweiler [2018-04-22 14:47:05] 765*2^1507792-1 is not prime. Res64: 5B9C56D520F835E9 Time : 0.0 sec. user=mdettweiler [2018-04-22 15:16:50] 873*2^1507792-1 is not prime. Res64: 7B51AAFCFE748B5A Time : 0.0 sec. user=mdettweiler [2018-04-22 15:16:51] 929*2^1507792-1 is not prime. Res64: 902EC52B0A12DC5F Time : 0.0 sec. user=mdettweiler [2018-04-22 15:16:51] 627*2^1507793-1 is not prime. Res64: 488D94793D5717A4 Time : 0.0 sec. user=mdettweiler [2018-04-22 15:16:51] 631*2^1507793-1 is not prime. Res64: F86F37632EE470B2 Time : 0.0 sec. user=mdettweiler [2018-04-22 15:16:52] 657*2^1507793-1 is not prime. Res64: 038AA39C9EA969B1 Time : 0.0 sec. user=mdettweiler [2018-04-22 15:31:43] 691*2^1507793-1 is not prime. Res64: 5E76037AE05AC25B Time : 0.0 sec. user=mdettweiler [2018-04-22 15:31:44] 721*2^1507793-1 is not prime. Res64: 88130512A9D9C98D Time : 0.0 sec. user=mdettweiler [2018-04-22 15:31:44] 781*2^1507793-1 is not prime. Res64: 8D9330037573F21B Time : 0.0 sec. user=mdettweiler [2018-04-22 15:31:44] 787*2^1507793-1 is not prime. Res64: F5EA4A0CFFAEB664 Time : 0.0 sec. user=mdettweiler [2018-04-22 15:31:45] 789*2^1507793-1 is not prime. Res64: C3454584070CA81C Time : 0.0 sec. user=mdettweiler [2018-04-22 15:31:48] 837*2^1507793-1 is not prime. Res64: 5714AD919F89B297 Time : 0.0 sec. user=mdettweiler [2018-04-22 15:31:48] 651*2^1507794-1 is not prime. Res64: A6DC4D4EC6254C47 Time : 0.0 sec. user=mdettweiler [2018-04-22 15:31:49] 723*2^1507794-1 is not prime. Res64: A2B78BAFE3150517 Time : 0.0 sec. user=mdettweiler [2018-04-22 15:31:49] 887*2^1507794-1 is not prime. Res64: CA25239320EDDBB1 Time : 0.0 sec. user=mdettweiler [2018-04-22 15:31:49] 917*2^1507794-1 is not prime. Res64: F69D98F6EC021942 Time : 0.0 sec. user=mdettweiler [2018-04-22 15:37:13] 945*2^1507794-1 is not prime. Res64: 279509B158A8C003 Time : 0.0 sec. user=mdettweiler [2018-04-22 15:37:13] 983*2^1507794-1 is not prime. Res64: C800DADD247610AA Time : 0.0 sec. user=mdettweiler [2018-04-22 15:37:13] 993*2^1507794-1 is not prime. Res64: C9D1644B0ABD4525 Time : 0.0 sec. user=mdettweiler [2018-04-22 15:37:14] 771*2^1507795-1 is not prime. Res64: 03E10A2A6722BB0C Time : 0.0 sec. user=mdettweiler [2018-04-22 15:37:14] 789*2^1507795-1 is not prime. Res64: 811E0B2EDBC4083F Time : 0.0 sec. user=mdettweiler [2018-04-22 16:06:48] 819*2^1507795-1 is not prime. Res64: AF36AD89D7870833 Time : 0.0 sec. user=mdettweiler [2018-04-22 16:06:50] 829*2^1507795-1 is not prime. Res64: 4DFE2358EEDCADD7 Time : 0.0 sec. user=mdettweiler [2018-04-22 16:06:52] 973*2^1507795-1 is not prime. Res64: C46D81ACF9DF370D Time : 0.0 sec. user=mdettweiler [2018-04-22 16:06:54] 979*2^1507795-1 is not prime. Res64: F7A80FDF298F8160 Time : 0.0 sec. user=mdettweiler [2018-04-22 16:06:56] 985*2^1507795-1 is not prime. Res64: 92CC9E55020984B5 Time : 0.0 sec. user=mdettweiler [2018-04-22 16:21:09] 927*2^1507796-1 is not prime. Res64: B4465E664AE5ACC8 Time : 0.0 sec. user=mdettweiler [2018-04-22 16:21:10] 953*2^1507796-1 is not prime. Res64: 7F2DC7E2EA392E47 Time : 0.0 sec. user=mdettweiler [2018-04-22 16:21:10] 691*2^1507797-1 is not prime. Res64: 5549D6DA8C8B7784 Time : 0.0 sec. user=mdettweiler [2018-04-22 16:21:11] 699*2^1507797-1 is not prime. Res64: 324172D8A799E122 Time : 0.0 sec. user=mdettweiler [2018-04-22 16:21:11] 751*2^1507797-1 is not prime. Res64: 6AA39A3D0D841594 Time : 0.0 sec. user=mdettweiler [2018-04-22 16:21:16] 675*2^1507796-1 is not prime. Res64: 5996418D6DBB35CD Time : 0.0 sec. user=mdettweiler [2018-04-22 16:21:16] 725*2^1507796-1 is not prime. Res64: 8F53BCEB31322EB5 Time : 0.0 sec. user=mdettweiler [2018-04-22 16:21:17] 785*2^1507796-1 is not prime. Res64: C6375FF429A5C64D Time : 0.0 sec. user=mdettweiler [2018-04-22 16:21:17] 903*2^1507796-1 is not prime. Res64: 632B34A2A7D375F4 Time : 0.0 sec. user=mdettweiler [2018-04-22 16:21:18] 909*2^1507796-1 is not prime. Res64: 8C0397999A6C784A Time : 0.0 sec. user=mdettweiler [2018-04-22 16:26:54] 831*2^1507797-1 is not prime. Res64: 6F7D77491AFD9458 Time : 0.0 sec. user=mdettweiler [2018-04-22 16:26:55] 901*2^1507797-1 is not prime. Res64: F8CB899BBB55B231 Time : 0.0 sec. user=mdettweiler [2018-04-22 16:26:55] 663*2^1507798-1 is not prime. Res64: 609D4EDB2F6DB2BC Time : 0.0 sec. user=mdettweiler [2018-04-22 16:26:55] 773*2^1507798-1 is not prime. Res64: 37B419DD3D1B753F Time : 0.0 sec. user=mdettweiler [2018-04-22 16:26:56] 911*2^1507798-1 is not prime. Res64: B8C3BC8BE9BB08B5 Time : 0.0 sec. user=mdettweiler [2018-04-22 16:57:32] 945*2^1507798-1 is not prime. Res64: 023D28F300AEAB61 Time : 0.0 sec. user=mdettweiler [2018-04-22 16:57:32] 609*2^1507799-1 is not prime. Res64: FE31386E6A2F9E36 Time : 0.0 sec. user=mdettweiler [2018-04-22 16:57:33] 685*2^1507799-1 is not prime. Res64: 67F448F5F07B668F Time : 0.0 sec. user=mdettweiler [2018-04-22 16:57:33] 705*2^1507799-1 is not prime. Res64: 0C6E61C984C864A6 Time : 0.0 sec. user=mdettweiler [2018-04-22 16:57:33] 895*2^1507799-1 is not prime. Res64: 8F89FEEDF1EA08E8 Time : 0.0 sec. user=mdettweiler [2018-04-22 17:11:01] 607*2^1507801-1 is not prime. Res64: E125B70A6BDF5130 Time : 0.0 sec. user=mdettweiler [2018-04-22 17:11:02] 681*2^1507801-1 is not prime. Res64: F65CA08B1842E930 Time : 0.0 sec. user=mdettweiler [2018-04-22 17:11:02] 687*2^1507801-1 is not prime. Res64: AACC7FDC74010F9C Time : 0.0 sec. user=mdettweiler [2018-04-22 17:11:03] 751*2^1507801-1 is not prime. Res64: B619196A1236200D Time : 0.0 sec. user=mdettweiler [2018-04-22 17:11:03] 807*2^1507801-1 is not prime. Res64: A38BA38FFB7F6848 Time : 0.0 sec. user=mdettweiler [2018-04-22 17:11:54] 707*2^1507800-1 is not prime. Res64: DE48C746A226CD3D Time : 0.0 sec. user=mdettweiler [2018-04-22 17:11:54] 825*2^1507800-1 is not prime. Res64: 547654ABA5522D30 Time : 0.0 sec. user=mdettweiler [2018-04-22 17:11:54] 875*2^1507800-1 is not prime. Res64: 7AE2917B6A915FA5 Time : 0.0 sec. user=mdettweiler [2018-04-22 17:11:55] 909*2^1507800-1 is not prime. Res64: 03C8CB4DA2ADE971 Time : 0.0 sec. user=mdettweiler [2018-04-22 17:11:55] 923*2^1507800-1 is not prime. Res64: 77564742830C29B1 Time : 0.0 sec. user=mdettweiler [2018-04-22 17:17:00] 847*2^1507801-1 is not prime. Res64: 680DDB81F783E2FF Time : 0.0 sec. user=mdettweiler [2018-04-22 17:17:01] 603*2^1507802-1 is not prime. Res64: 125C2F1CBF2290CD Time : 0.0 sec. user=mdettweiler [2018-04-22 17:17:01] 651*2^1507802-1 is not prime. Res64: 5201BFD240318401 Time : 0.0 sec. user=mdettweiler [2018-04-22 17:17:02] 843*2^1507802-1 is not prime. Res64: A0CC394283B5FDE6 Time : 0.0 sec. user=mdettweiler [2018-04-22 17:17:02] 893*2^1507802-1 is not prime. Res64: A173D5969A747341 Time : 0.0 sec. user=mdettweiler [2018-04-22 17:46:59] 963*2^1507802-1 is not prime. Res64: 94F7257BBBBAD52B Time : 0.0 sec. user=mdettweiler [2018-04-22 17:46:59] 625*2^1507803-1 is not prime. Res64: 5C3672E3FDEB1CD2 Time : 0.0 sec. user=mdettweiler [2018-04-22 17:47:00] 709*2^1507803-1 is not prime. Res64: 286CDF4B6CA2F7C4 Time : 0.0 sec. user=mdettweiler [2018-04-22 17:47:00] 741*2^1507803-1 is not prime. Res64: ACDCDD30F7FCFFD6 Time : 0.0 sec. user=mdettweiler [2018-04-22 17:47:01] 835*2^1507803-1 is not prime. Res64: 4E67AB98F3D96D5D Time : 0.0 sec. user=mdettweiler [2018-04-22 18:02:28] 963*2^1507803-1 is not prime. Res64: B45C093216B6EC36 Time : 0.0 sec. user=mdettweiler [2018-04-22 18:02:29] 615*2^1507804-1 is not prime. Res64: 1603F0E143B61A23 Time : 0.0 sec. user=mdettweiler [2018-04-22 18:02:30] 855*2^1507804-1 is not prime. Res64: B2A34B574C3CCD52 Time : 0.0 sec. user=mdettweiler [2018-04-22 18:02:31] 873*2^1507804-1 is not prime. Res64: 3A0C06FE99122B23 Time : 0.0 sec. user=mdettweiler [2018-04-22 18:02:31] 885*2^1507804-1 is not prime. Res64: D0F04254ECD01F66 Time : 0.0 sec. user=mdettweiler [2018-04-22 18:03:17] 899*2^1507804-1 is not prime. Res64: 7AA425707D07AB5D Time : 0.0 sec. user=mdettweiler [2018-04-22 18:03:18] 905*2^1507804-1 is not prime. Res64: 5F60C49376840568 Time : 0.0 sec. user=mdettweiler [2018-04-22 18:03:19] 959*2^1507804-1 is not prime. Res64: 1A35924727494BF2 Time : 0.0 sec. user=mdettweiler [2018-04-22 18:03:20] 645*2^1507805-1 is not prime. Res64: 8082B8DD096F0975 Time : 0.0 sec. user=mdettweiler [2018-04-22 18:03:21] 759*2^1507805-1 is not prime. Res64: CD1FF08CA22327EB Time : 0.0 sec. user=mdettweiler [2018-04-22 18:09:27] 831*2^1507805-1 is not prime. Res64: 66DF1FFE9794E0DC Time : 0.0 sec. user=mdettweiler [2018-04-22 18:09:28] 861*2^1507805-1 is not prime. Res64: 548FD44518BFDB8C Time : 0.0 sec. user=mdettweiler [2018-04-22 18:09:30] 897*2^1507805-1 is not prime. Res64: 9BE4E67B4B41CC54 Time : 0.0 sec. user=mdettweiler [2018-04-22 18:09:31] 915*2^1507805-1 is not prime. Res64: 15CDF2A8CB9CA430 Time : 0.0 sec. user=mdettweiler [2018-04-22 18:09:33] 927*2^1507805-1 is not prime. Res64: 0034FF44C9AA05AD Time : 0.0 sec. user=mdettweiler [2018-04-22 18:39:24] 611*2^1507806-1 is not prime. Res64: 3BC98CB44740C745 Time : 0.0 sec. user=mdettweiler [2018-04-22 18:39:24] 627*2^1507806-1 is not prime. Res64: 1F8087392A459B98 Time : 0.0 sec. user=mdettweiler [2018-04-22 18:39:25] 717*2^1507806-1 is not prime. Res64: C6DD2AD37F425F4E Time : 0.0 sec. user=mdettweiler [2018-04-22 18:39:25] 767*2^1507806-1 is not prime. Res64: 1435065E70F2E303 Time : 0.0 sec. user=mdettweiler [2018-04-22 18:39:25] 645*2^1507807-1 is not prime. Res64: D2C6B7E9B33DBC05 Time : 0.0 sec. user=mdettweiler [2018-04-22 18:55:35] 659*2^1507808-1 is not prime. Res64: 87F705B9294ED3CB Time : 0.0 sec. user=mdettweiler [2018-04-22 18:55:36] 669*2^1507808-1 is not prime. Res64: F8BE5A06997EEA85 Time : 0.0 sec. user=mdettweiler [2018-04-22 18:55:36] 753*2^1507808-1 is not prime. Res64: 76243A52214030B7 Time : 0.0 sec. user=mdettweiler [2018-04-22 18:55:36] 755*2^1507808-1 is not prime. Res64: A71AD46512307ACC Time : 0.0 sec. user=mdettweiler [2018-04-22 18:55:37] 839*2^1507808-1 is not prime. Res64: A41D79BB5EBFF3F8 Time : 0.0 sec. user=mdettweiler [2018-04-22 18:55:53] 759*2^1507807-1 is not prime. Res64: A330DD4A6FD1462B Time : 0.0 sec. user=mdettweiler [2018-04-22 18:55:53] 765*2^1507807-1 is not prime. Res64: 226411ECC93B3FA2 Time : 0.0 sec. user=mdettweiler [2018-04-22 18:55:54] 861*2^1507807-1 is not prime. Res64: 71FEAB6B49703662 Time : 0.0 sec. user=mdettweiler [2018-04-22 18:55:54] 931*2^1507807-1 is not prime. Res64: 23F0A09F8F1856CA Time : 0.0 sec. user=mdettweiler [2018-04-22 18:55:54] 961*2^1507807-1 is not prime. Res64: 2DA40144095A5415 Time : 0.0 sec. user=mdettweiler [2018-04-22 19:01:46] 845*2^1507808-1 is not prime. Res64: D6CC31D56C02A456 Time : 0.0 sec. user=mdettweiler [2018-04-22 19:01:47] 957*2^1507808-1 is not prime. Res64: 8937B0A1E3AAD7DE Time : 0.0 sec. user=mdettweiler [2018-04-22 19:01:47] 969*2^1507808-1 is not prime. Res64: 9E196B85E3AFEB33 Time : 0.0 sec. user=mdettweiler [2018-04-22 19:01:48] 609*2^1507809-1 is not prime. Res64: 34C51EC00CD0B659 Time : 0.0 sec. user=mdettweiler [2018-04-22 19:01:49] 625*2^1507809-1 is not prime. Res64: 2C2872D4D3169341 Time : 0.0 sec. user=mdettweiler [2018-04-22 19:28:52] 679*2^1507809-1 is not prime. Res64: 50A2FF8183B9E8BE Time : 0.0 sec. user=mdettweiler [2018-04-22 19:28:52] 711*2^1507809-1 is not prime. Res64: 6A299FDCBA35F48A Time : 0.0 sec. user=mdettweiler [2018-04-22 19:28:52] 807*2^1507809-1 is not prime. Res64: ED6940F9814D20C5 Time : 0.0 sec. user=mdettweiler [2018-04-22 19:28:53] 997*2^1507809-1 is not prime. Res64: 6FBC1E32AFAE3FB5 Time : 0.0 sec. user=mdettweiler [2018-04-22 19:28:53] 665*2^1507810-1 is not prime. Res64: EE9B50A0F77CBF42 Time : 0.0 sec. user=mdettweiler [2018-04-22 19:44:54] 651*2^1507811-1 is not prime. Res64: BE5C6BAB38D3DB26 Time : 0.0 sec. user=mdettweiler [2018-04-22 19:44:55] 669*2^1507811-1 is not prime. Res64: 2481B8B76ABE2623 Time : 0.0 sec. user=mdettweiler [2018-04-22 19:44:55] 679*2^1507811-1 is not prime. Res64: 030758DA0F58134A Time : 0.0 sec. user=mdettweiler [2018-04-22 19:44:55] 715*2^1507811-1 is not prime. Res64: 1A9A7DF3D99A189E Time : 0.0 sec. user=mdettweiler [2018-04-22 19:44:56] 735*2^1507811-1 is not prime. Res64: 7680D7905A375C4A Time : 0.0 sec. user=mdettweiler [2018-04-22 19:45:26] 677*2^1507810-1 is not prime. Res64: A1EFDFDDE902DFE1 Time : 0.0 sec. user=mdettweiler [2018-04-22 19:45:26] 701*2^1507810-1 is not prime. Res64: E87B243E439608B4 Time : 0.0 sec. user=mdettweiler [2018-04-22 19:45:27] 743*2^1507810-1 is not prime. Res64: 1D32EE0ABA5741F7 Time : 0.0 sec. user=mdettweiler [2018-04-22 19:45:27] 885*2^1507810-1 is not prime. Res64: 42E4CD90B4E7162C Time : 0.0 sec. user=mdettweiler [2018-04-22 19:45:27] 987*2^1507810-1 is not prime. Res64: 5846FE6B70F6BBD1 Time : 0.0 sec. user=mdettweiler [2018-04-22 19:51:17] 741*2^1507811-1 is not prime. Res64: 7F404C719E62B24E Time : 0.0 sec. user=mdettweiler [2018-04-22 19:51:17] 993*2^1507811-1 is not prime. Res64: 8C33FF4520324798 Time : 0.0 sec. user=mdettweiler [2018-04-22 19:51:18] 623*2^1507812-1 is not prime. Res64: 9405EF54B3611765 Time : 0.0 sec. user=mdettweiler [2018-04-22 19:51:18] 675*2^1507812-1 is not prime. Res64: 8D9ADA5B3A25405E Time : 0.0 sec. user=mdettweiler [2018-04-22 19:51:18] 719*2^1507812-1 is not prime. Res64: 7CD45F62CAA1960C Time : 0.0 sec. user=mdettweiler [2018-04-22 20:18:53] 767*2^1507812-1 is not prime. Res64: FD6734ACACBC32EC Time : 0.0 sec. user=mdettweiler [2018-04-22 20:18:54] 819*2^1507812-1 is not prime. Res64: 9DFD9FB127361E47 Time : 0.0 sec. user=mdettweiler [2018-04-22 20:18:54] 825*2^1507812-1 is not prime. Res64: 3F0AB9D08C776FA2 Time : 0.0 sec. user=mdettweiler [2018-04-22 20:18:55] 959*2^1507812-1 is not prime. Res64: 6E36FCC3CA464465 Time : 0.0 sec. user=mdettweiler [2018-04-22 20:18:55] 649*2^1507813-1 is not prime. Res64: 26EBF0A7AAD0BBD9 Time : 0.0 sec. user=mdettweiler [2018-04-22 20:35:12] 747*2^1507813-1 is not prime. Res64: DA03265731792243 Time : 0.0 sec. user=mdettweiler [2018-04-22 20:35:12] 801*2^1507813-1 is not prime. Res64: C9B0202C1E5EC9E5 Time : 0.0 sec. user=mdettweiler [2018-04-22 20:35:12] 855*2^1507813-1 is not prime. Res64: E76DA5BBBF0D5724 Time : 0.0 sec. user=mdettweiler [2018-04-22 20:35:13] 867*2^1507813-1 is not prime. Res64: 469D7224DC6F3BB8 Time : 0.0 sec. user=mdettweiler [2018-04-22 20:35:13] 987*2^1507813-1 is not prime. Res64: 3DDEC142B84A1BBD Time : 0.0 sec. user=mdettweiler [2018-04-22 20:35:45] 731*2^1507814-1 is not prime. Res64: FB4F1568DA5843A0 Time : 0.0 sec. user=mdettweiler [2018-04-22 20:35:45] 741*2^1507814-1 is not prime. Res64: 9A203D900045FF0D Time : 0.0 sec. user=mdettweiler [2018-04-22 20:35:45] 791*2^1507814-1 is not prime. Res64: 918B779889CAC041 Time : 0.0 sec. user=mdettweiler [2018-04-22 20:35:46] 897*2^1507814-1 is not prime. Res64: E0F494D3F1EC419D Time : 0.0 sec. user=mdettweiler [2018-04-22 20:35:46] 953*2^1507814-1 is not prime. Res64: 638B443AD33F715B Time : 0.0 sec. user=mdettweiler [2018-04-22 20:40:49] 981*2^1507814-1 is not prime. Res64: 2916A915492D5593 Time : 0.0 sec. user=mdettweiler [2018-04-22 20:40:49] 983*2^1507814-1 is not prime. Res64: 64986FD90E95C76C Time : 0.0 sec. user=mdettweiler [2018-04-22 20:40:50] 663*2^1507815-1 is not prime. Res64: 6784BF6690158E06 Time : 0.0 sec. user=mdettweiler [2018-04-22 20:40:50] 921*2^1507815-1 is not prime. Res64: 512CB2884AE19A3E Time : 0.0 sec. user=mdettweiler [2018-04-22 20:40:50] 623*2^1507816-1 is not prime. Res64: 2FB38781D45C2DD5 Time : 0.0 sec. user=mdettweiler [2018-04-22 21:08:38] 707*2^1507816-1 is not prime. Res64: 6619F4E2A7CB3C30 Time : 0.0 sec. user=mdettweiler [2018-04-22 21:08:40] 723*2^1507816-1 is not prime. Res64: 37C3899B4BF0A398 Time : 0.0 sec. user=mdettweiler [2018-04-22 21:08:40] 755*2^1507816-1 is not prime. Res64: 1DB0DF0B55FD48E0 Time : 0.0 sec. user=mdettweiler [2018-04-22 21:08:41] 803*2^1507816-1 is not prime. Res64: EC2FA288AC96CDB2 Time : 0.0 sec. user=mdettweiler [2018-04-22 21:08:42] 813*2^1507816-1 is not prime. Res64: BC227DA22991010F Time : 0.0 sec. user=mdettweiler [2018-04-22 21:24:16] 997*2^1507817-1 is not prime. Res64: 6D713F8914415896 Time : 0.0 sec. user=mdettweiler [2018-04-22 21:24:16] 605*2^1507818-1 is not prime. Res64: 939BB8439208BC93 Time : 0.0 sec. user=mdettweiler [2018-04-22 21:24:17] 665*2^1507818-1 is not prime. Res64: A005E136CFBE9727 Time : 0.0 sec. user=mdettweiler [2018-04-22 21:24:17] 683*2^1507818-1 is not prime. Res64: 4EA68EA11E1BDB28 Time : 0.0 sec. user=mdettweiler [2018-04-22 21:24:17] 707*2^1507818-1 is not prime. Res64: B1DD4DA4E344841F Time : 0.0 sec. user=mdettweiler [2018-04-22 21:25:29] 869*2^1507816-1 is not prime. Res64: 5EFC508D44587FC7 Time : 0.0 sec. user=mdettweiler [2018-04-22 21:25:29] 917*2^1507816-1 is not prime. Res64: 988786ABE1460804 Time : 0.0 sec. user=mdettweiler [2018-04-22 21:25:29] 999*2^1507816-1 is not prime. Res64: 782F36EDE8EB8777 Time : 0.0 sec. user=mdettweiler [2018-04-22 21:25:30] 759*2^1507817-1 is not prime. Res64: 42613A7931CE90BA Time : 0.0 sec. user=mdettweiler [2018-04-22 21:25:30] 889*2^1507817-1 is not prime. Res64: 4FD9F33B9495EA1F Time : 0.0 sec. user=mdettweiler [2018-04-22 21:31:08] 747*2^1507818-1 is not prime. Res64: B16F5BB0CAB149CF Time : 0.0 sec. user=mdettweiler [2018-04-22 21:31:09] 755*2^1507818-1 is not prime. Res64: F524D377AC1067E1 Time : 0.0 sec. user=mdettweiler [2018-04-22 21:31:09] 797*2^1507818-1 is not prime. Res64: 8940A685F7E9B45F Time : 0.0 sec. user=mdettweiler [2018-04-22 21:31:09] 803*2^1507818-1 is not prime. Res64: 41806709165F824E Time : 0.0 sec. user=mdettweiler [2018-04-22 21:31:10] 875*2^1507818-1 is not prime. Res64: F6463008715447B1 Time : 0.0 sec. user=mdettweiler [2018-04-22 21:58:32] 675*2^1507819-1 is not prime. Res64: E4D013CB07E4312E Time : 0.0 sec. user=mdettweiler [2018-04-22 21:58:32] 691*2^1507819-1 is not prime. Res64: 951068DAAF019B58 Time : 0.0 sec. user=mdettweiler [2018-04-22 21:58:33] 693*2^1507819-1 is not prime. Res64: 78F24C75494EA0E7 Time : 0.0 sec. user=mdettweiler [2018-04-22 21:58:33] 789*2^1507819-1 is not prime. Res64: 0AE71EDF69137481 Time : 0.0 sec. user=mdettweiler [2018-04-22 21:58:33] 919*2^1507819-1 is not prime. Res64: 6EC7313612EC1544 Time : 0.0 sec. user=mdettweiler [2018-04-22 22:13:53] 979*2^1507819-1 is not prime. Res64: 3174111750B44B34 Time : 0.0 sec. user=mdettweiler [2018-04-22 22:13:54] 993*2^1507819-1 is not prime. Res64: 1F0408AB7DD15886 Time : 0.0 sec. user=mdettweiler [2018-04-22 22:13:54] 665*2^1507820-1 is not prime. Res64: ED0A8B83B6B1C551 Time : 0.0 sec. user=mdettweiler [2018-04-22 22:13:55] 725*2^1507820-1 is not prime. Res64: 1911B30A029AD260 Time : 0.0 sec. user=mdettweiler [2018-04-22 22:13:55] 753*2^1507820-1 is not prime. Res64: 01328FFB1AC72522 Time : 0.0 sec. user=mdettweiler [2018-04-22 22:15:49] 759*2^1507820-1 is not prime. Res64: 6096288E60575505 Time : 0.0 sec. user=mdettweiler [2018-04-22 22:15:49] 885*2^1507820-1 is not prime. Res64: 8BA7EE0614FDF700 Time : 0.0 sec. user=mdettweiler [2018-04-22 22:15:49] 727*2^1507821-1 is not prime. Res64: 2E00F53EB53DB0A8 Time : 0.0 sec. user=mdettweiler [2018-04-22 22:15:50] 741*2^1507821-1 is not prime. Res64: C329F90F5C309DE5 Time : 0.0 sec. user=mdettweiler [2018-04-22 22:15:50] 747*2^1507821-1 is not prime. Res64: 0AF275117B35FBEC Time : 0.0 sec. user=mdettweiler [2018-04-22 22:20:48] 865*2^1507821-1 is not prime. Res64: AEDDF9BF5F14CA38 Time : 0.0 sec. user=mdettweiler [2018-04-22 22:20:48] 871*2^1507821-1 is not prime. Res64: BB817731E50D97C1 Time : 0.0 sec. user=mdettweiler [2018-04-22 22:20:49] 999*2^1507821-1 is not prime. Res64: 7C55C4322D5C0630 Time : 0.0 sec. user=mdettweiler [2018-04-22 22:20:49] 657*2^1507822-1 is not prime. Res64: A74E412DAD33AABB Time : 0.0 sec. user=mdettweiler [2018-04-22 22:20:49] 695*2^1507822-1 is not prime. Res64: 6A4007709EF73514 Time : 0.0 sec. user=mdettweiler [2018-04-22 22:48:03] 705*2^1507822-1 is not prime. Res64: 8266D0417B4825E4 Time : 0.0 sec. user=mdettweiler [2018-04-22 22:48:03] 713*2^1507822-1 is not prime. Res64: 676DE1786F0E77EC Time : 0.0 sec. user=mdettweiler [2018-04-22 22:48:04] 741*2^1507822-1 is not prime. Res64: 8AFF2B254C6D5AAB Time : 0.0 sec. user=mdettweiler [2018-04-22 22:48:04] 747*2^1507822-1 is not prime. Res64: 0086FB37A97D7267 Time : 0.0 sec. user=mdettweiler [2018-04-22 22:48:05] 791*2^1507822-1 is not prime. Res64: 035C19363D322E54 Time : 0.0 sec. user=mdettweiler [2018-04-22 23:04:10] 873*2^1507822-1 is not prime. Res64: 2402CE18C1F3F800 Time : 0.0 sec. user=mdettweiler [2018-04-22 23:04:12] 941*2^1507822-1 is not prime. Res64: 66B1566BFCC4DB54 Time : 0.0 sec. user=mdettweiler [2018-04-22 23:04:13] 957*2^1507822-1 is not prime. Res64: 755922A55FB336ED Time : 0.0 sec. user=mdettweiler [2018-04-22 23:04:14] 965*2^1507822-1 is not prime. Res64: C3D85DFD0690B101 Time : 0.0 sec. user=mdettweiler [2018-04-22 23:04:16] 981*2^1507822-1 is not prime. Res64: 32A922876C00ADAC Time : 0.0 sec. user=mdettweiler [2018-04-22 23:05:32] 693*2^1507823-1 is not prime. Res64: B8F24097BCBAC554 Time : 0.0 sec. user=mdettweiler [2018-04-22 23:05:33] 703*2^1507823-1 is not prime. Res64: 5814B07EF9A6029F Time : 0.0 sec. user=mdettweiler [2018-04-22 23:05:34] 739*2^1507823-1 is not prime. Res64: D303624015DE54C4 Time : 0.0 sec. user=mdettweiler [2018-04-22 23:05:35] 811*2^1507823-1 is not prime. Res64: 26DE170D9B5354BC Time : 0.0 sec. user=mdettweiler [2018-04-22 23:05:37] 871*2^1507823-1 is not prime. Res64: C69B484F26ACF978 Time : 0.0 sec. user=mdettweiler [2018-04-22 23:10:07] 639*2^1507824-1 is not prime. Res64: 4FC420A0DDF94BA2 Time : 0.0 sec. user=mdettweiler [2018-04-22 23:10:08] 675*2^1507824-1 is not prime. Res64: 04429B137B53F5D2 Time : 0.0 sec. user=mdettweiler [2018-04-22 23:10:09] 707*2^1507824-1 is not prime. Res64: F95819C8626EF0FE Time : 0.0 sec. user=mdettweiler [2018-04-22 23:10:10] 825*2^1507824-1 is not prime. Res64: DF44B69C9A7F6078 Time : 0.0 sec. user=mdettweiler [2018-04-22 23:10:11] 957*2^1507824-1 is not prime. Res64: A9358D11587AF824 Time : 0.0 sec. user=mdettweiler [2018-04-22 23:37:22] 993*2^1507824-1 is not prime. Res64: 34631B625286F133 Time : 0.0 sec. user=mdettweiler [2018-04-22 23:37:22] 607*2^1507825-1 is not prime. Res64: 161870A607FF261C Time : 0.0 sec. user=mdettweiler [2018-04-22 23:37:23] 679*2^1507825-1 is not prime. Res64: 0A772291CDF03206 Time : 0.0 sec. user=mdettweiler [2018-04-22 23:37:24] 727*2^1507825-1 is not prime. Res64: 396423B60289E4E8 Time : 0.0 sec. user=mdettweiler [2018-04-22 23:37:25] 817*2^1507825-1 is not prime. Res64: 4C26B236E13681A9 Time : 0.0 sec. user=mdettweiler [2018-04-22 23:54:25] 895*2^1507825-1 is not prime. Res64: 638F2432BE924138 Time : 0.0 sec. user=mdettweiler [2018-04-22 23:54:26] 999*2^1507825-1 is not prime. Res64: 3457D32D165752ED Time : 0.0 sec. user=mdettweiler [2018-04-22 23:54:26] 641*2^1507826-1 is not prime. Res64: 5B067973F06A55BE Time : 0.0 sec. user=mdettweiler [2018-04-22 23:54:27] 683*2^1507826-1 is not prime. Res64: C64DA05C9D5B3E12 Time : 0.0 sec. user=mdettweiler [2018-04-22 23:54:27] 747*2^1507826-1 is not prime. Res64: 4CAC5E87A7D0A8E9 Time : 0.0 sec. user=mdettweiler [2018-04-22 23:55:34] 861*2^1507826-1 is not prime. Res64: DBA9B66F68DECFAA Time : 0.0 sec. user=mdettweiler [2018-04-22 23:55:35] 941*2^1507826-1 is not prime. Res64: B7BB2DDFC1057C77 Time : 0.0 sec. user=mdettweiler [2018-04-22 23:55:35] 963*2^1507826-1 is not prime. Res64: B91AB7F9B15E12F9 Time : 0.0 sec. user=mdettweiler [2018-04-22 23:55:36] 619*2^1507827-1 is not prime. Res64: FE8877D113C21A41 Time : 0.0 sec. user=mdettweiler [2018-04-22 23:55:36] 741*2^1507827-1 is not prime. Res64: F72FF7060265FF69 Time : 0.0 sec. user=mdettweiler [2018-04-23 00:00:56] 775*2^1507827-1 is not prime. Res64: 669A5C69A84D00FC Time : 0.0 sec. user=mdettweiler [2018-04-23 00:00:56] 931*2^1507827-1 is not prime. Res64: A36C0DF07D3B4CD6 Time : 0.0 sec. user=mdettweiler [2018-04-23 00:00:57] 955*2^1507827-1 is not prime. Res64: D91791F7CED73F40 Time : 0.0 sec. user=mdettweiler [2018-04-23 00:00:57] 973*2^1507827-1 is not prime. Res64: F2BB31C76DDA019B Time : 0.0 sec. user=mdettweiler [2018-04-23 00:00:58] 999*2^1507827-1 is not prime. Res64: 37E988335E908358 Time : 0.0 sec.