user=mdettweiler [2017-05-29 00:01:51] 685*2^1455319-1 is not prime. Res64: 55A0120F535D5486 Time : 0.0 sec. user=mdettweiler [2017-05-29 00:01:52] 705*2^1455319-1 is not prime. Res64: 1F25878CEE9A74C8 Time : 0.0 sec. user=mdettweiler [2017-05-29 00:01:52] 709*2^1455319-1 is not prime. Res64: 63D4B3D5768727A4 Time : 0.0 sec. user=mdettweiler [2017-05-29 00:01:52] 861*2^1455319-1 is not prime. Res64: 65F76A0B62061256 Time : 0.0 sec. user=mdettweiler [2017-05-29 00:01:53] 925*2^1455319-1 is not prime. Res64: B7174C32FCC2C308 Time : 0.0 sec. user=mdettweiler [2017-05-29 00:11:32] 931*2^1455319-1 is not prime. Res64: 564222985A015771 Time : 0.0 sec. user=mdettweiler [2017-05-29 00:11:32] 993*2^1455319-1 is not prime. Res64: 68D5753F66DACF3C Time : 0.0 sec. user=mdettweiler [2017-05-29 00:11:32] 603*2^1455320-1 is not prime. Res64: 3CEDB1160A8A050C Time : 0.0 sec. user=mdettweiler [2017-05-29 00:11:33] 663*2^1455320-1 is not prime. Res64: 4042CD5396F578D8 Time : 0.0 sec. user=mdettweiler [2017-05-29 00:11:33] 677*2^1455320-1 is not prime. Res64: AA49EAB2C411755E Time : 0.0 sec. user=mdettweiler [2017-05-29 00:22:39] 753*2^1455320-1 is not prime. Res64: A1C9B0C7AF985C9E Time : 0.0 sec. user=mdettweiler [2017-05-29 00:22:39] 827*2^1455320-1 is not prime. Res64: 2D7E821DDF164C3F Time : 0.0 sec. user=mdettweiler [2017-05-29 00:22:40] 935*2^1455320-1 is not prime. Res64: E9AC004C96078845 Time : 0.0 sec. user=mdettweiler [2017-05-29 00:22:40] 651*2^1455321-1 is not prime. Res64: 05430F8E0DBB4B02 Time : 0.0 sec. user=mdettweiler [2017-05-29 00:22:40] 691*2^1455321-1 is not prime. Res64: BE7B8813D93608BD Time : 0.0 sec. user=mdettweiler [2017-05-29 00:31:35] 777*2^1455321-1 is not prime. Res64: B1C74A4AF2FF1D7D Time : 0.0 sec. user=mdettweiler [2017-05-29 00:31:35] 811*2^1455321-1 is not prime. Res64: 825FFDCD9CA1716F Time : 0.0 sec. user=mdettweiler [2017-05-29 00:31:35] 871*2^1455321-1 is not prime. Res64: 19876A764E7DD9DA Time : 0.0 sec. user=mdettweiler [2017-05-29 00:31:35] 901*2^1455321-1 is not prime. Res64: A019EB7D7EA060F2 Time : 0.0 sec. user=mdettweiler [2017-05-29 00:31:35] 621*2^1455322-1 is not prime. Res64: 1FF3A55A6D1FA7F9 Time : 0.0 sec. user=mdettweiler [2017-05-29 00:47:33] 635*2^1455322-1 is not prime. Res64: 63BFC10E188BDC73 Time : 0.0 sec. user=mdettweiler [2017-05-29 00:47:33] 665*2^1455322-1 is not prime. Res64: 7D2E589F4576DFF0 Time : 0.0 sec. user=mdettweiler [2017-05-29 00:47:33] 701*2^1455322-1 is not prime. Res64: 5604EA6B71EC6777 Time : 0.0 sec. user=mdettweiler [2017-05-29 00:47:33] 741*2^1455322-1 is not prime. Res64: 22C1A2B8BFA49A59 Time : 0.0 sec. user=mdettweiler [2017-05-29 00:47:34] 827*2^1455322-1 is not prime. Res64: C38DE97152ED2601 Time : 0.0 sec. user=mdettweiler [2017-05-29 00:57:01] 911*2^1455322-1 is not prime. Res64: 62FDD15CBBC8A734 Time : 0.0 sec. user=mdettweiler [2017-05-29 00:57:01] 917*2^1455322-1 is not prime. Res64: 414DD38362DC09E4 Time : 0.0 sec. user=mdettweiler [2017-05-29 00:57:02] 1001*2^1455322-1 is not prime. Res64: 946A31CF04ECF26A Time : 0.0 sec. user=mdettweiler [2017-05-29 00:57:02] 603*2^1455323-1 is not prime. Res64: 0C30DDC02B97EBCB Time : 0.0 sec. user=mdettweiler [2017-05-29 00:57:02] 621*2^1455323-1 is not prime. Res64: 942807B59343F5DA Time : 0.0 sec. user=mdettweiler [2017-05-29 01:08:23] 669*2^1455323-1 is not prime. Res64: A1EDCFD683062A87 Time : 0.0 sec. user=mdettweiler [2017-05-29 01:08:23] 813*2^1455323-1 is not prime. Res64: 2B9BB0B220FEA6B0 Time : 0.0 sec. user=mdettweiler [2017-05-29 01:08:23] 949*2^1455323-1 is not prime. Res64: A9B20F7570092A74 Time : 0.0 sec. user=mdettweiler [2017-05-29 01:08:24] 623*2^1455324-1 is not prime. Res64: F5C4DC1410F49E80 Time : 0.0 sec. user=mdettweiler [2017-05-29 01:08:24] 639*2^1455324-1 is not prime. Res64: 03A9DD73D3FADE39 Time : 0.0 sec. user=mdettweiler [2017-05-29 01:17:00] 837*2^1455324-1 is not prime. Res64: DE9A07D3A58105CE Time : 0.0 sec. user=mdettweiler [2017-05-29 01:17:01] 909*2^1455324-1 is not prime. Res64: 85E72F08292AE1C1 Time : 0.0 sec. user=mdettweiler [2017-05-29 01:17:01] 927*2^1455324-1 is not prime. Res64: F60279D2D7E2727A Time : 0.0 sec. user=mdettweiler [2017-05-29 01:17:01] 975*2^1455324-1 is not prime. Res64: 06C232774168A9C6 Time : 0.0 sec. user=mdettweiler [2017-05-29 01:17:01] 607*2^1455325-1 is not prime. Res64: A47470300974928D Time : 0.0 sec. user=mdettweiler [2017-05-29 01:33:14] 649*2^1455325-1 is not prime. Res64: FE341337372BD732 Time : 0.0 sec. user=mdettweiler [2017-05-29 01:33:16] 715*2^1455325-1 is not prime. Res64: FD1BCFD86D74AFE9 Time : 0.0 sec. user=mdettweiler [2017-05-29 01:33:17] 741*2^1455325-1 is not prime. Res64: 38B14A2C4FA1D972 Time : 0.0 sec. user=mdettweiler [2017-05-29 01:33:17] 777*2^1455325-1 is not prime. Res64: 665EE6376F2C190D Time : 0.0 sec. user=mdettweiler [2017-05-29 01:33:19] 819*2^1455325-1 is not prime. Res64: 8C98CD65CB7F9856 Time : 0.0 sec. user=juhehe [2017-05-29 01:33:40] 859*2^1455325-1 is not prime. Res64: 1CD38C2CB3E9BB6A Time : 0.0 sec. user=juhehe [2017-05-29 01:39:33] 843*2^1455326-1 is not prime. Res64: F0229B02836C04AC Time : 0.0 sec. user=mdettweiler [2017-05-29 01:42:40] 871*2^1455325-1 is not prime. Res64: 92110DB99C46C23A Time : 0.0 sec. user=mdettweiler [2017-05-29 01:42:41] 939*2^1455325-1 is not prime. Res64: 97C7F3E080BDA298 Time : 0.0 sec. user=mdettweiler [2017-05-29 01:42:41] 951*2^1455325-1 is not prime. Res64: 423B710C7C986EB6 Time : 0.0 sec. user=mdettweiler [2017-05-29 01:42:41] 985*2^1455325-1 is not prime. Res64: BCE99921C920C048 Time : 0.0 sec. user=mdettweiler [2017-05-29 01:42:41] 827*2^1455326-1 is not prime. Res64: 47297E5D28307FF2 Time : 0.0 sec. user=mdettweiler [2017-05-29 01:54:16] 851*2^1455326-1 is not prime. Res64: 8C194FFB67741359 Time : 0.0 sec. user=mdettweiler [2017-05-29 01:54:17] 873*2^1455326-1 is not prime. Res64: 981102DF2B618F24 Time : 0.0 sec. user=mdettweiler [2017-05-29 01:54:17] 633*2^1455327-1 is not prime. Res64: 1252C865CD9F1C98 Time : 0.0 sec. user=mdettweiler [2017-05-29 01:54:17] 661*2^1455327-1 is not prime. Res64: 9AFA259D89451167 Time : 0.0 sec. user=mdettweiler [2017-05-29 01:54:17] 705*2^1455327-1 is not prime. Res64: E003CA975552A96D Time : 0.0 sec. user=mdettweiler [2017-05-29 02:02:40] 751*2^1455327-1 is not prime. Res64: B86D5ECFFB866A85 Time : 0.0 sec. user=mdettweiler [2017-05-29 02:02:41] 829*2^1455327-1 is not prime. Res64: 28DC3669E58A11C9 Time : 0.0 sec. user=mdettweiler [2017-05-29 02:02:42] 885*2^1455327-1 is not prime. Res64: AC463465DE364B45 Time : 0.0 sec. user=mdettweiler [2017-05-29 02:02:44] 931*2^1455327-1 is not prime. Res64: 1D0AD5909BB67CC1 Time : 0.0 sec. user=mdettweiler [2017-05-29 02:02:45] 951*2^1455327-1 is not prime. Res64: BD94321B2F895527 Time : 0.0 sec. user=mdettweiler [2017-05-29 02:19:08] 623*2^1455328-1 is not prime. Res64: 9ECA364F9136E716 Time : 0.0 sec. user=mdettweiler [2017-05-29 02:19:08] 723*2^1455328-1 is not prime. Res64: C6D4D5BCA1C17F84 Time : 0.0 sec. user=mdettweiler [2017-05-29 02:19:09] 747*2^1455328-1 is not prime. Res64: A0C073C933FE6311 Time : 0.0 sec. user=mdettweiler [2017-05-29 02:19:09] 797*2^1455328-1 is not prime. Res64: A478657081EF95C6 Time : 0.0 sec. user=mdettweiler [2017-05-29 02:19:09] 827*2^1455328-1 is not prime. Res64: 0D274EAF8C48D4CA Time : 0.0 sec. user=juhehe [2017-05-29 02:19:29] 843*2^1455328-1 is not prime. Res64: 7E10BA628915D1CE Time : 0.0 sec. user=mdettweiler [2017-05-29 02:28:18] 631*2^1455329-1 is not prime. Res64: E9EF126FB488CBBF Time : 0.0 sec. user=mdettweiler [2017-05-29 02:28:18] 691*2^1455329-1 is not prime. Res64: 1D3EB37DFD576E32 Time : 0.0 sec. user=mdettweiler [2017-05-29 02:28:18] 795*2^1455329-1 is not prime. Res64: A2ED392316AAD267 Time : 0.0 sec. user=mdettweiler [2017-05-29 02:28:19] 837*2^1455329-1 is not prime. Res64: F3D3C5ECF7A4C123 Time : 0.0 sec. user=mdettweiler [2017-05-29 02:28:19] 841*2^1455329-1 is not prime. Res64: 7B02D4BB02BDC23E Time : 0.0 sec. user=mdettweiler [2017-05-29 02:40:21] 861*2^1455329-1 is not prime. Res64: 3E8A4D19D656996B Time : 0.0 sec. user=mdettweiler [2017-05-29 02:40:21] 879*2^1455329-1 is not prime. Res64: CF8519E251CA8072 Time : 0.0 sec. user=mdettweiler [2017-05-29 02:40:21] 773*2^1455330-1 is not prime. Res64: 74A7CE1B89CF0005 Time : 0.0 sec. user=mdettweiler [2017-05-29 02:40:22] 783*2^1455330-1 is not prime. Res64: B330CBD1FD361F86 Time : 0.0 sec. user=mdettweiler [2017-05-29 02:40:22] 821*2^1455330-1 is not prime. Res64: DFE8FCFBB927C12D Time : 0.0 sec. user=mdettweiler [2017-05-29 02:49:06] 833*2^1455330-1 is not prime. Res64: 5B666673697993CE Time : 0.0 sec. user=mdettweiler [2017-05-29 02:49:06] 631*2^1455331-1 is not prime. Res64: 4333E921494A7E3D Time : 0.0 sec. user=mdettweiler [2017-05-29 02:49:06] 639*2^1455331-1 is not prime. Res64: 2C694414CDB3FEFB Time : 0.0 sec. user=mdettweiler [2017-05-29 02:49:06] 673*2^1455331-1 is not prime. Res64: 2A0ADDA6B6A517F7 Time : 0.0 sec. user=mdettweiler [2017-05-29 02:49:07] 751*2^1455331-1 is not prime. Res64: 28BDAD822B2F4915 Time : 0.0 sec. user=mdettweiler [2017-05-29 03:05:36] 793*2^1455331-1 is not prime. Res64: 0871040DCA16C31B Time : 0.0 sec. user=mdettweiler [2017-05-29 03:05:38] 819*2^1455331-1 is not prime. Res64: 2A0322032C32F3F6 Time : 0.0 sec. user=mdettweiler [2017-05-29 03:05:39] 909*2^1455331-1 is not prime. Res64: 3DCBB75E8DCFF876 Time : 0.0 sec. user=mdettweiler [2017-05-29 03:05:40] 913*2^1455331-1 is not prime. Res64: BB0163B1F9CDF774 Time : 0.0 sec. user=mdettweiler [2017-05-29 03:05:41] 999*2^1455331-1 is not prime. Res64: 8EA6A60CF9A7E17B Time : 0.0 sec. user=mdettweiler [2017-05-29 03:14:43] 675*2^1455332-1 is not prime. Res64: 8672F75A7DDB6C42 Time : 0.0 sec. user=mdettweiler [2017-05-29 03:14:44] 777*2^1455332-1 is not prime. Res64: 3828BAF16D291065 Time : 0.0 sec. user=mdettweiler [2017-05-29 03:14:44] 903*2^1455332-1 is not prime. Res64: 3599CA975C777B1A Time : 0.0 sec. user=mdettweiler [2017-05-29 03:14:44] 625*2^1455333-1 is not prime. Res64: D41772AC248193B7 Time : 0.0 sec. user=mdettweiler [2017-05-29 03:14:44] 627*2^1455333-1 is not prime. Res64: C141B04148B86DDF Time : 0.0 sec. user=mdettweiler [2017-05-29 03:26:27] 681*2^1455333-1 is not prime. Res64: F9593BCA57AC8595 Time : 0.0 sec. user=mdettweiler [2017-05-29 03:26:28] 751*2^1455333-1 is not prime. Res64: 2DD831ADCF9EA272 Time : 0.0 sec. user=mdettweiler [2017-05-29 03:26:28] 819*2^1455333-1 is not prime. Res64: 738BE52F26561F9D Time : 0.0 sec. user=mdettweiler [2017-05-29 03:26:28] 847*2^1455333-1 is not prime. Res64: 9A4D66041D29639D Time : 0.0 sec. user=mdettweiler [2017-05-29 03:26:29] 945*2^1455333-1 is not prime. Res64: A11F4ADE177514FD Time : 0.0 sec. user=mdettweiler [2017-05-29 03:34:47] 969*2^1455333-1 is not prime. Res64: 66464CFA04073B98 Time : 0.0 sec. user=mdettweiler [2017-05-29 03:34:49] 605*2^1455334-1 is not prime. Res64: 40EA72C0F3D0B2AE Time : 0.0 sec. user=mdettweiler [2017-05-29 03:34:50] 635*2^1455334-1 is not prime. Res64: 9FE48D9C20F19165 Time : 0.0 sec. user=mdettweiler [2017-05-29 03:34:50] 813*2^1455334-1 is not prime. Res64: 299EFBEDF90C8867 Time : 0.0 sec. user=mdettweiler [2017-05-29 03:34:51] 915*2^1455334-1 is not prime. Res64: 5E99B85E52178123 Time : 0.0 sec. user=juhehe [2017-05-29 03:39:19] 941*2^1455334-1 is not prime. Res64: 87729050D2A05D13 Time : 0.0 sec. user=mdettweiler [2017-05-29 03:51:52] 947*2^1455334-1 is not prime. Res64: 2D262DE854AC8774 Time : 0.0 sec. user=mdettweiler [2017-05-29 03:51:52] 979*2^1455335-1 is not prime. Res64: A833A86163F6C933 Time : 0.0 sec. user=mdettweiler [2017-05-29 03:51:53] 999*2^1455335-1 is not prime. Res64: 01E1A593D37BA035 Time : 0.0 sec. user=mdettweiler [2017-05-29 03:51:53] 633*2^1455336-1 is not prime. Res64: D53AC83F9774805A Time : 0.0 sec. user=mdettweiler [2017-05-29 03:51:54] 717*2^1455336-1 is not prime. Res64: ACB53C8B00B28700 Time : 0.0 sec. user=mdettweiler [2017-05-29 04:00:23] 779*2^1455336-1 is not prime. Res64: C3F5E1D7DB805BEC Time : 0.0 sec. user=mdettweiler [2017-05-29 04:00:26] 803*2^1455336-1 is not prime. Res64: 66427049055C8B7B Time : 0.0 sec. user=mdettweiler [2017-05-29 04:00:27] 717*2^1455337-1 is not prime. Res64: 812F03419781C8D3 Time : 0.0 sec. user=mdettweiler [2017-05-29 04:00:29] 819*2^1455337-1 is not prime. Res64: D3C92FD313ABE03B Time : 0.0 sec. user=mdettweiler [2017-05-29 04:00:30] 901*2^1455337-1 is not prime. Res64: 7A9673332B3054D2 Time : 0.0 sec. user=mdettweiler [2017-05-29 04:12:01] 635*2^1455338-1 is not prime. Res64: 8AB9EA36FFE9670B Time : 0.0 sec. user=mdettweiler [2017-05-29 04:12:01] 705*2^1455338-1 is not prime. Res64: 2991B1D93ED4577A Time : 0.0 sec. user=mdettweiler [2017-05-29 04:12:02] 801*2^1455338-1 is not prime. Res64: FC8CEFB5066C58A8 Time : 0.0 sec. user=mdettweiler [2017-05-29 04:12:02] 619*2^1455339-1 is not prime. Res64: E4926AF42D29E4E3 Time : 0.0 sec. user=mdettweiler [2017-05-29 04:12:02] 723*2^1455339-1 is not prime. Res64: B8C56569DD7A2A97 Time : 0.0 sec. user=juhehe [2017-05-29 04:19:14] 813*2^1455340-1 is not prime. Res64: 99D633605132A2A8 Time : 0.0 sec. user=mdettweiler [2017-05-29 04:20:27] 795*2^1455339-1 is not prime. Res64: 93D69CB8402ECC1F Time : 0.0 sec. user=mdettweiler [2017-05-29 04:20:27] 823*2^1455339-1 is not prime. Res64: 97FB4BBEFB08F13F Time : 0.0 sec. user=mdettweiler [2017-05-29 04:20:27] 861*2^1455339-1 is not prime. Res64: B1F2C8D88BB9C1DD Time : 0.0 sec. user=mdettweiler [2017-05-29 04:20:28] 609*2^1455340-1 is not prime. Res64: 886D2C0BE3E0FBE9 Time : 0.0 sec. user=mdettweiler [2017-05-29 04:20:28] 707*2^1455340-1 is not prime. Res64: CCA54200CD0DA062 Time : 0.0 sec. user=mdettweiler [2017-05-29 04:37:50] 905*2^1455340-1 is not prime. Res64: 43960267DA326305 Time : 0.0 sec. user=mdettweiler [2017-05-29 04:37:50] 615*2^1455341-1 is not prime. Res64: 7E49065B2A5DCDCA Time : 0.0 sec. user=mdettweiler [2017-05-29 04:37:51] 711*2^1455341-1 is not prime. Res64: DFED8651B5D9150A Time : 0.0 sec. user=mdettweiler [2017-05-29 04:37:51] 867*2^1455341-1 is not prime. Res64: A7784E2E4F821DDF Time : 0.0 sec. user=mdettweiler [2017-05-29 04:37:51] 937*2^1455341-1 is not prime. Res64: 87CB12E936EFB83E Time : 0.0 sec. user=mdettweiler [2017-05-29 04:46:11] 939*2^1455341-1 is not prime. Res64: 44C9E921428F6AE1 Time : 0.0 sec. user=mdettweiler [2017-05-29 04:46:12] 957*2^1455341-1 is not prime. Res64: 91602DBFE3E051BE Time : 0.0 sec. user=mdettweiler [2017-05-29 04:46:12] 635*2^1455342-1 is not prime. Res64: 608ED9A4B217CB25 Time : 0.0 sec. user=mdettweiler [2017-05-29 04:46:12] 705*2^1455342-1 is not prime. Res64: 53E2BAC90F6F66BE Time : 0.0 sec. user=mdettweiler [2017-05-29 04:46:12] 723*2^1455342-1 is not prime. Res64: 7CDFF8FE1944E0A3 Time : 0.0 sec. user=mdettweiler [2017-05-29 04:57:53] 801*2^1455342-1 is not prime. Res64: E82E7B300F224AC9 Time : 0.0 sec. user=mdettweiler [2017-05-29 04:57:53] 921*2^1455342-1 is not prime. Res64: 8D55174C91E7CFB2 Time : 0.0 sec. user=mdettweiler [2017-05-29 04:57:53] 1001*2^1455342-1 is not prime. Res64: 9A8E48CAC7FB15F2 Time : 0.0 sec. user=mdettweiler [2017-05-29 04:57:53] 705*2^1455343-1 is not prime. Res64: 6DE888E084EB5AB8 Time : 0.0 sec. user=mdettweiler [2017-05-29 04:57:54] 745*2^1455343-1 is not prime. Res64: A6B1B8532DD6C972 Time : 0.0 sec. user=mdettweiler [2017-05-29 05:05:58] 849*2^1455343-1 is not prime. Res64: 877918599BCF37BB Time : 0.0 sec. user=mdettweiler [2017-05-29 05:05:59] 901*2^1455343-1 is not prime. Res64: DCC9FE55DD24BEDA Time : 0.0 sec. user=mdettweiler [2017-05-29 05:05:59] 919*2^1455343-1 is not prime. Res64: 3CE726D1C535CCCA Time : 0.0 sec. user=mdettweiler [2017-05-29 05:06:00] 993*2^1455343-1 is not prime. Res64: 100ABAFC4E038004 Time : 0.0 sec. user=mdettweiler [2017-05-29 05:06:01] 635*2^1455344-1 is not prime. Res64: 54964E1A02B8BEBC Time : 0.0 sec. user=mdettweiler [2017-05-29 05:23:28] 743*2^1455344-1 is not prime. Res64: CBAD7883040A4CD4 Time : 0.0 sec. user=mdettweiler [2017-05-29 05:23:29] 903*2^1455344-1 is not prime. Res64: 5EF50AA6828D57B8 Time : 0.0 sec. user=mdettweiler [2017-05-29 05:23:29] 601*2^1455345-1 is not prime. Res64: 2F6B28B1EB6A797C Time : 0.0 sec. user=mdettweiler [2017-05-29 05:23:29] 639*2^1455345-1 is not prime. Res64: 5B368DA8BEF30CA4 Time : 0.0 sec. user=mdettweiler [2017-05-29 05:23:29] 669*2^1455345-1 is not prime. Res64: 5DED90498B2C74FA Time : 0.0 sec. user=mdettweiler [2017-05-29 05:31:57] 705*2^1455345-1 is not prime. Res64: 231E3F73E40FF6FE Time : 0.0 sec. user=mdettweiler [2017-05-29 05:31:58] 885*2^1455345-1 is not prime. Res64: 6E3D088D9C2B2ACB Time : 0.0 sec. user=mdettweiler [2017-05-29 05:31:58] 921*2^1455345-1 is not prime. Res64: 502FA0750ABF55AF Time : 0.0 sec. user=mdettweiler [2017-05-29 05:31:58] 603*2^1455346-1 is not prime. Res64: 321C4F66C78F78FE Time : 0.0 sec. user=mdettweiler [2017-05-29 05:31:58] 735*2^1455346-1 is not prime. Res64: 93C7B5AA46053E7D Time : 0.0 sec. user=juhehe [2017-05-29 05:39:03] 643*2^1455347-1 is not prime. Res64: 0B2C0AFF4C1C5525 Time : 0.0 sec. user=mdettweiler [2017-05-29 05:43:38] 783*2^1455346-1 is not prime. Res64: 79C43A5A29208F1C Time : 0.0 sec. user=mdettweiler [2017-05-29 05:43:38] 843*2^1455346-1 is not prime. Res64: D1F8BF22E84031C0 Time : 0.0 sec. user=mdettweiler [2017-05-29 05:43:38] 887*2^1455346-1 is not prime. Res64: F1DE4500AAB728D3 Time : 0.0 sec. user=mdettweiler [2017-05-29 05:43:39] 983*2^1455346-1 is not prime. Res64: FFC33B0208BBED22 Time : 0.0 sec. user=mdettweiler [2017-05-29 05:43:39] 1001*2^1455346-1 is not prime. Res64: 9D1F8833D6512DFA Time : 0.0 sec. user=mdettweiler [2017-05-29 05:52:01] 673*2^1455347-1 is not prime. Res64: A184352D166CDB06 Time : 0.0 sec. user=mdettweiler [2017-05-29 05:52:02] 675*2^1455347-1 is not prime. Res64: E4BA5ABF6516B28E Time : 0.0 sec. user=mdettweiler [2017-05-29 05:52:02] 685*2^1455347-1 is not prime. Res64: B493124ABBE4A613 Time : 0.0 sec. user=mdettweiler [2017-05-29 05:52:02] 705*2^1455347-1 is not prime. Res64: 2664DDCFA6CB483F Time : 0.0 sec. user=mdettweiler [2017-05-29 05:52:02] 759*2^1455347-1 is not prime. Res64: 1B3224EC9D3D8823 Time : 0.0 sec. user=mdettweiler [2017-05-29 06:09:32] 805*2^1455347-1 is not prime. Res64: 85FF34169D8DB1B9 Time : 0.0 sec. user=mdettweiler [2017-05-29 06:09:33] 913*2^1455347-1 is not prime. Res64: 8F8BFD1C5F418429 Time : 0.0 sec. user=mdettweiler [2017-05-29 06:09:33] 669*2^1455348-1 is not prime. Res64: 2A6593FD4108C7DE Time : 0.0 sec. user=mdettweiler [2017-05-29 06:09:33] 705*2^1455348-1 is not prime. Res64: 1BD8E080BD6FE7D4 Time : 0.0 sec. user=mdettweiler [2017-05-29 06:09:33] 759*2^1455348-1 is not prime. Res64: 9CB06957DB9DE952 Time : 0.0 sec. user=mdettweiler [2017-05-29 06:17:27] 879*2^1455348-1 is not prime. Res64: 5BDDAD21C1D10343 Time : 0.0 sec. user=mdettweiler [2017-05-29 06:17:27] 899*2^1455348-1 is not prime. Res64: A1C24B20F4FB3344 Time : 0.0 sec. user=mdettweiler [2017-05-29 06:17:28] 969*2^1455348-1 is not prime. Res64: 44B60FA972A4E7AF Time : 0.0 sec. user=mdettweiler [2017-05-29 06:17:28] 667*2^1455349-1 is not prime. Res64: 0C6546EBEC7CBB47 Time : 0.0 sec. user=mdettweiler [2017-05-29 06:17:29] 747*2^1455349-1 is not prime. Res64: D7AF431DB0D2AA04 Time : 0.0 sec. user=juhehe [2017-05-29 06:18:48] 759*2^1455349-1 is not prime. Res64: A70FF1C20FA335F5 Time : 0.0 sec. user=mdettweiler [2017-05-29 06:29:03] 939*2^1455349-1 is not prime. Res64: 12174AF45DCDE120 Time : 0.0 sec. user=mdettweiler [2017-05-29 06:29:03] 657*2^1455350-1 is not prime. Res64: BBC8F6BDFE7C7438 Time : 0.0 sec. user=mdettweiler [2017-05-29 06:29:04] 663*2^1455350-1 is not prime. Res64: 6F66345BA086FF77 Time : 0.0 sec. user=mdettweiler [2017-05-29 06:29:04] 743*2^1455350-1 is not prime. Res64: 78B067B9BECC3836 Time : 0.0 sec. user=mdettweiler [2017-05-29 06:29:04] 753*2^1455350-1 is not prime. Res64: A0201E6F66908CE3 Time : 0.0 sec. user=mdettweiler [2017-05-29 06:37:34] 893*2^1455350-1 is not prime. Res64: A064AEFAB81DC1AB Time : 0.0 sec. user=mdettweiler [2017-05-29 06:37:34] 649*2^1455351-1 is not prime. Res64: 5721DEAE2A463B56 Time : 0.0 sec. user=mdettweiler [2017-05-29 06:37:35] 751*2^1455351-1 is not prime. Res64: DBF177FB59AF040D Time : 0.0 sec. user=mdettweiler [2017-05-29 06:37:35] 793*2^1455351-1 is not prime. Res64: 417BF6B57C53C11C Time : 0.0 sec. user=mdettweiler [2017-05-29 06:37:35] 829*2^1455351-1 is not prime. Res64: 070B3238191F0FD8 Time : 0.0 sec. user=mdettweiler [2017-05-29 06:55:20] 867*2^1455026-1 is not prime. Res64: 2A620E17EC756333 Time : 0.0 sec. user=mdettweiler [2017-05-29 06:55:20] 895*2^1455351-1 is not prime. Res64: D596A321AB639CAD Time : 0.0 sec. user=mdettweiler [2017-05-29 06:55:20] 909*2^1455351-1 is not prime. Res64: 09C7F78BC7B708EC Time : 0.0 sec. user=mdettweiler [2017-05-29 06:55:20] 955*2^1455351-1 is not prime. Res64: 6DBDCF17A790FB8B Time : 0.0 sec. user=mdettweiler [2017-05-29 06:55:21] 975*2^1455351-1 is not prime. Res64: F2ABF76899A87A1F Time : 0.0 sec. user=juhehe [2017-05-29 06:57:04] 803*2^1455352-1 is not prime. Res64: 1ABE2D4815C581EC Time : 0.0 sec. user=mdettweiler [2017-05-29 07:03:08] 609*2^1455352-1 is not prime. Res64: A9A36F83DDE76E8F Time : 0.0 sec. user=mdettweiler [2017-05-29 07:03:09] 617*2^1455352-1 is not prime. Res64: 7F09C6FAA6453A04 Time : 0.0 sec. user=mdettweiler [2017-05-29 07:03:10] 657*2^1455352-1 is not prime. Res64: 0DD5643FDABCB46A Time : 0.0 sec. user=mdettweiler [2017-05-29 07:03:12] 693*2^1455352-1 is not prime. Res64: 51F97F54B86E743B Time : 0.0 sec. user=mdettweiler [2017-05-29 07:03:13] 713*2^1455352-1 is not prime. Res64: 407FD34BA6A57F79 Time : 0.0 sec. user=mdettweiler [2017-05-29 07:14:42] 827*2^1455352-1 is not prime. Res64: 85936B99DAFE634E Time : 0.0 sec. user=mdettweiler [2017-05-29 07:14:43] 875*2^1455352-1 is not prime. Res64: 5A39ECEDC9FF5190 Time : 0.0 sec. user=mdettweiler [2017-05-29 07:14:43] 965*2^1455352-1 is not prime. Res64: 6A95B9192CC70AAF Time : 0.0 sec. user=mdettweiler [2017-05-29 07:14:44] 657*2^1455353-1 is not prime. Res64: 90D784E88A784FA9 Time : 0.0 sec. user=mdettweiler [2017-05-29 07:14:44] 729*2^1455353-1 is not prime. Res64: 732851DC088B1268 Time : 0.0 sec. user=mdettweiler [2017-05-29 07:23:23] 735*2^1455353-1 is not prime. Res64: 45EB02780E18D72A Time : 0.0 sec. user=mdettweiler [2017-05-29 07:23:23] 745*2^1455353-1 is not prime. Res64: C1EE0322A54C9BB8 Time : 0.0 sec. user=mdettweiler [2017-05-29 07:23:23] 955*2^1455353-1 is not prime. Res64: A6AB09F37D8D1A54 Time : 0.0 sec. user=mdettweiler [2017-05-29 07:23:23] 957*2^1455353-1 is not prime. Res64: 3868001278D0EE57 Time : 0.0 sec. user=mdettweiler [2017-05-29 07:23:23] 621*2^1455354-1 is not prime. Res64: 55ACA9BC10FDA32F Time : 0.0 sec. user=juhehe [2017-05-29 07:38:29] 609*2^1455355-1 is not prime. Res64: 2FB9CBECD2D85FDF Time : 0.0 sec. user=mdettweiler [2017-05-29 07:40:56] 765*2^1455354-1 is not prime. Res64: 62BCE96453C654D2 Time : 0.0 sec. user=mdettweiler [2017-05-29 07:40:56] 851*2^1455354-1 is not prime. Res64: 9AE882FE324F9E7B Time : 0.0 sec. user=mdettweiler [2017-05-29 07:40:56] 927*2^1455354-1 is not prime. Res64: 7A0F5B0F85AA67F8 Time : 0.0 sec. user=mdettweiler [2017-05-29 07:40:56] 975*2^1455354-1 is not prime. Res64: DC5E47DAD3FB269D Time : 0.0 sec. user=mdettweiler [2017-05-29 07:40:57] 983*2^1455354-1 is not prime. Res64: 8397002DE0F723E0 Time : 0.0 sec. user=mdettweiler [2017-05-29 07:48:56] 639*2^1455355-1 is not prime. Res64: 61F14035836E7B9C Time : 0.0 sec. user=mdettweiler [2017-05-29 07:48:56] 663*2^1455355-1 is not prime. Res64: 2237DFEB1FDDE824 Time : 0.0 sec. user=mdettweiler [2017-05-29 07:48:56] 735*2^1455355-1 is not prime. Res64: 099522648FDB2D15 Time : 0.0 sec. user=mdettweiler [2017-05-29 07:48:57] 841*2^1455355-1 is not prime. Res64: AE05CE91794219E4 Time : 0.0 sec. user=mdettweiler [2017-05-29 07:48:57] 859*2^1455355-1 is not prime. Res64: 66F42F473B4A2134 Time : 0.0 sec. user=mdettweiler [2017-05-29 08:00:10] 883*2^1455355-1 is not prime. Res64: 16BF1546AE3B2582 Time : 0.0 sec. user=mdettweiler [2017-05-29 08:00:11] 973*2^1455355-1 is not prime. Res64: 092D7037E253A653 Time : 0.0 sec. user=mdettweiler [2017-05-29 08:00:12] 999*2^1455355-1 is not prime. Res64: CF5E36D987379966 Time : 0.0 sec. user=mdettweiler [2017-05-29 08:00:12] 663*2^1455356-1 is not prime. Res64: 34EFF067D4904E73 Time : 0.0 sec. user=mdettweiler [2017-05-29 08:00:13] 983*2^1455356-1 is not prime. Res64: 886B1DBE228FC286 Time : 0.0 sec. user=mdettweiler [2017-05-29 08:08:40] 625*2^1455357-1 is not prime. Res64: 380C1D3495A520DE Time : 0.0 sec. user=mdettweiler [2017-05-29 08:08:41] 717*2^1455357-1 is not prime. Res64: 8B8EFD9D5DE1FF91 Time : 0.0 sec. user=mdettweiler [2017-05-29 08:08:41] 751*2^1455357-1 is not prime. Res64: 7E8D933CBB4868B5 Time : 0.0 sec. user=mdettweiler [2017-05-29 08:08:41] 759*2^1455357-1 is not prime. Res64: 55F1707CFEABA387 Time : 0.0 sec. user=mdettweiler [2017-05-29 08:08:41] 859*2^1455357-1 is not prime. Res64: 0C57E78A01B8C960 Time : 0.0 sec. user=juhehe [2017-05-29 08:18:21] 901*2^1455357-1 is not prime. Res64: 447A3465F039660C Time : 0.0 sec. user=mdettweiler [2017-05-29 08:26:34] 603*2^1455358-1 is not prime. Res64: 0B056D70B847AE3B Time : 0.0 sec. user=mdettweiler [2017-05-29 08:26:35] 605*2^1455358-1 is not prime. Res64: DAE444C2390CA08F Time : 0.0 sec. user=mdettweiler [2017-05-29 08:26:35] 651*2^1455358-1 is not prime. Res64: 5D7E5C94394BAA38 Time : 0.0 sec. user=mdettweiler [2017-05-29 08:26:35] 681*2^1455358-1 is not prime. Res64: 3A47E68D58457B1A Time : 0.0 sec. user=mdettweiler [2017-05-29 08:26:36] 761*2^1455358-1 is not prime. Res64: 72115C16BBBD2A83 Time : 0.0 sec. user=mdettweiler [2017-05-29 08:34:18] 821*2^1455358-1 is not prime. Res64: 3F6E8BC7B45B77E7 Time : 0.0 sec. user=mdettweiler [2017-05-29 08:34:18] 825*2^1455358-1 is not prime. Res64: 7653B9C3F255D4BB Time : 0.0 sec. user=mdettweiler [2017-05-29 08:34:19] 845*2^1455358-1 is not prime. Res64: 3E374F5B5B9908B1 Time : 0.0 sec. user=mdettweiler [2017-05-29 08:34:19] 885*2^1455358-1 is not prime. Res64: F61699D3A6181009 Time : 0.0 sec. user=mdettweiler [2017-05-29 08:34:19] 891*2^1455358-1 is not prime. Res64: 52756AE26D6B0EA1 Time : 0.0 sec. user=mdettweiler [2017-05-29 08:45:42] 897*2^1455358-1 is not prime. Res64: E7A4AC558D82A33D Time : 0.0 sec. user=mdettweiler [2017-05-29 08:45:42] 911*2^1455358-1 is not prime. Res64: 24C5EDDA6E44A7D1 Time : 0.0 sec. user=mdettweiler [2017-05-29 08:45:42] 941*2^1455358-1 is not prime. Res64: F46C3D65AC6DC745 Time : 0.0 sec. user=mdettweiler [2017-05-29 08:45:43] 951*2^1455358-1 is not prime. Res64: 5E6C7CEC040319A3 Time : 0.0 sec. user=mdettweiler [2017-05-29 08:45:43] 735*2^1455359-1 is not prime. Res64: 6B76098BB9CBD4A9 Time : 0.0 sec. user=mdettweiler [2017-05-29 08:54:11] 931*2^1455359-1 is not prime. Res64: F5F10431603D8A74 Time : 0.0 sec. user=mdettweiler [2017-05-29 08:54:11] 955*2^1455359-1 is not prime. Res64: 9C7070ADCC094B24 Time : 0.0 sec. user=mdettweiler [2017-05-29 08:54:11] 969*2^1455359-1 is not prime. Res64: A07991001DEA36CB Time : 0.0 sec. user=mdettweiler [2017-05-29 08:54:12] 627*2^1455360-1 is not prime. Res64: 712A13684BF80BBE Time : 0.0 sec. user=mdettweiler [2017-05-29 08:54:12] 789*2^1455360-1 is not prime. Res64: 4C36216A1E2135F4 Time : 0.0 sec. user=mdettweiler [2017-05-29 09:12:05] 843*2^1455360-1 is not prime. Res64: 89DF16452C2EC174 Time : 0.0 sec. user=mdettweiler [2017-05-29 09:12:06] 857*2^1455360-1 is not prime. Res64: 9A7455B0159518C9 Time : 0.0 sec. user=mdettweiler [2017-05-29 09:12:06] 879*2^1455360-1 is not prime. Res64: 18849BD4AE179BA7 Time : 0.0 sec. user=mdettweiler [2017-05-29 09:12:06] 899*2^1455360-1 is not prime. Res64: FAAD07FDA464B6BA Time : 0.0 sec. user=mdettweiler [2017-05-29 09:12:06] 637*2^1455361-1 is not prime. Res64: 5D3D3C86EBA9CDD3 Time : 0.0 sec. user=mdettweiler [2017-05-29 09:20:01] 705*2^1455361-1 is not prime. Res64: F798ACC43D98088B Time : 0.0 sec. user=mdettweiler [2017-05-29 09:20:01] 741*2^1455361-1 is not prime. Res64: 69D1C2F11C997E33 Time : 0.0 sec. user=mdettweiler [2017-05-29 09:20:01] 805*2^1455361-1 is not prime. Res64: 68BF5DBD8C8769FB Time : 0.0 sec. user=mdettweiler [2017-05-29 09:20:02] 811*2^1455361-1 is not prime. Res64: 9FC434C01C3913A2 Time : 0.0 sec. user=mdettweiler [2017-05-29 09:20:02] 817*2^1455361-1 is not prime. Res64: 4F942C2044E2744F Time : 0.0 sec. user=mdettweiler [2017-05-29 09:31:22] 847*2^1455361-1 is not prime. Res64: 3B0373D4591D6B83 Time : 0.0 sec. user=mdettweiler [2017-05-29 09:31:22] 861*2^1455361-1 is not prime. Res64: 3785D41F7606B698 Time : 0.0 sec. user=mdettweiler [2017-05-29 09:31:23] 955*2^1455361-1 is not prime. Res64: B9D43B366598D9A3 Time : 0.0 sec. user=mdettweiler [2017-05-29 09:31:23] 999*2^1455361-1 is not prime. Res64: 4064B3FF5A94DA0E Time : 0.0 sec. user=mdettweiler [2017-05-29 09:31:23] 623*2^1455362-1 is not prime. Res64: C4DDFDD16AD3DCEA Time : 0.0 sec. user=FritzsHero [2017-05-29 09:38:00] 603*2^1455070-1 is not prime. Res64: 11CE99F029644271 Time : 0.0 sec. user=juhehe [2017-05-29 09:38:10] 797*2^1455362-1 is not prime. Res64: FFED73321932E462 Time : 0.0 sec. user=FritzsHero [2017-05-29 09:39:17] 827*2^1455070-1 is not prime. Res64: FA357F060FCE4A0A Time : 0.0 sec. user=mdettweiler [2017-05-29 09:39:43] 657*2^1455362-1 is not prime. Res64: E8891D7FDFD3BBF4 Time : 0.0 sec. user=mdettweiler [2017-05-29 09:39:43] 677*2^1455362-1 is not prime. Res64: 49B60DA689B42E55 Time : 0.0 sec. user=mdettweiler [2017-05-29 09:39:43] 705*2^1455362-1 is not prime. Res64: D7D802D8569A4687 Time : 0.0 sec. user=mdettweiler [2017-05-29 09:39:43] 767*2^1455362-1 is not prime. Res64: 5A40290BC8CEEB38 Time : 0.0 sec. user=mdettweiler [2017-05-29 09:39:44] 791*2^1455362-1 is not prime. Res64: 767F59B65415429F Time : 0.0 sec. user=FritzsHero [2017-05-29 09:51:55] 847*2^1455069-1 is not prime. Res64: F0CB1905650A8199 Time : 0.0 sec. user=FritzsHero [2017-05-29 09:52:31] 743*2^1455070-1 is not prime. Res64: B3A7EF3B9C39C11C Time : 0.0 sec. user=mdettweiler [2017-05-29 09:59:05] 833*2^1455362-1 is not prime. Res64: 65F183C927D7F922 Time : 0.0 sec. user=mdettweiler [2017-05-29 09:59:05] 873*2^1455362-1 is not prime. Res64: 34A06757F633BC96 Time : 0.0 sec. user=mdettweiler [2017-05-29 09:59:05] 923*2^1455362-1 is not prime. Res64: 1F070B8163276879 Time : 0.0 sec. user=mdettweiler [2017-05-29 09:59:06] 649*2^1455363-1 is not prime. Res64: 0801E4311F775835 Time : 0.0 sec. user=mdettweiler [2017-05-29 09:59:06] 705*2^1455363-1 is not prime. Res64: 1F2C7E19E554DDE6 Time : 0.0 sec. user=mdettweiler [2017-05-29 10:07:16] 781*2^1455363-1 is not prime. Res64: CA8CD8BD817CE6E0 Time : 0.0 sec. user=mdettweiler [2017-05-29 10:07:16] 891*2^1455363-1 is not prime. Res64: 4607C60972AA3BB1 Time : 0.0 sec. user=mdettweiler [2017-05-29 10:07:16] 901*2^1455363-1 is not prime. Res64: 0F3BF280D6ADABF9 Time : 0.0 sec. user=mdettweiler [2017-05-29 10:07:17] 943*2^1455363-1 is not prime. Res64: CA37D66382441973 Time : 0.0 sec. user=mdettweiler [2017-05-29 10:07:17] 955*2^1455363-1 is not prime. Res64: CDFA6BBF81F86E3E Time : 0.0 sec. user=juhehe [2017-05-29 10:17:59] 827*2^1455364-1 is not prime. Res64: A302C5EAC5E78B94 Time : 0.0 sec. user=mdettweiler [2017-05-29 10:18:36] 973*2^1455363-1 is not prime. Res64: 4C00ECE896645F86 Time : 0.0 sec. user=mdettweiler [2017-05-29 10:18:36] 615*2^1455364-1 is not prime. Res64: 97BA23B826D3E35D Time : 0.0 sec. user=mdettweiler [2017-05-29 10:18:37] 629*2^1455364-1 is not prime. Res64: DB1225ADAD367E29 Time : 0.0 sec. user=mdettweiler [2017-05-29 10:18:37] 665*2^1455364-1 is not prime. Res64: 47FCAA1B1678B7E8 Time : 0.0 sec. user=mdettweiler [2017-05-29 10:18:37] 819*2^1455364-1 is not prime. Res64: 34D7EC29577E3208 Time : 0.0 sec. user=mdettweiler [2017-05-29 10:27:05] 899*2^1455364-1 is not prime. Res64: 4327D4D7299FF24A Time : 0.0 sec. user=mdettweiler [2017-05-29 10:27:05] 995*2^1455364-1 is not prime. Res64: 6E0C5F5BB91F5B69 Time : 0.0 sec. user=mdettweiler [2017-05-29 10:27:06] 651*2^1455365-1 is not prime. Res64: 1114CB76D9F6A211 Time : 0.0 sec. user=mdettweiler [2017-05-29 10:27:06] 655*2^1455365-1 is not prime. Res64: 8574A0415025776C Time : 0.0 sec. user=mdettweiler [2017-05-29 10:27:06] 657*2^1455365-1 is not prime. Res64: 5A34E2137585012F Time : 0.0 sec. user=mdettweiler [2017-05-29 10:46:46] 741*2^1455365-1 is not prime. Res64: 96BF5FA1BA460240 Time : 0.0 sec. user=mdettweiler [2017-05-29 10:46:46] 789*2^1455365-1 is not prime. Res64: 4B705BA1E8468407 Time : 0.0 sec. user=mdettweiler [2017-05-29 10:46:47] 871*2^1455365-1 is not prime. Res64: 970A399426444D9C Time : 0.0 sec. user=mdettweiler [2017-05-29 10:46:47] 951*2^1455365-1 is not prime. Res64: 95A3F8143B69CDDE Time : 0.0 sec. user=mdettweiler [2017-05-29 10:46:47] 627*2^1455366-1 is not prime. Res64: AA26BB58E2CE310E Time : 0.0 sec. user=mdettweiler [2017-05-29 10:55:06] 657*2^1455366-1 is not prime. Res64: 708D40A4179FDB56 Time : 0.0 sec. user=mdettweiler [2017-05-29 10:55:07] 677*2^1455366-1 is not prime. Res64: E6EB06E90E428FFE Time : 0.0 sec. user=mdettweiler [2017-05-29 10:55:07] 717*2^1455366-1 is not prime. Res64: 23B2B597C879BD57 Time : 0.0 sec. user=mdettweiler [2017-05-29 10:55:07] 755*2^1455366-1 is not prime. Res64: D3B61EBFD4D551B8 Time : 0.0 sec. user=mdettweiler [2017-05-29 10:55:07] 761*2^1455366-1 is not prime. Res64: 365735D4E3086703 Time : 0.0 sec. user=mdettweiler [2017-05-29 11:06:36] 765*2^1455366-1 is not prime. Res64: 294A3D9612C26BD4 Time : 0.0 sec. user=mdettweiler [2017-05-29 11:06:37] 815*2^1455366-1 is not prime. Res64: 42BEF4217438507E Time : 0.0 sec. user=mdettweiler [2017-05-29 11:06:37] 821*2^1455366-1 is not prime. Res64: 8EF4B522121E26EC Time : 0.0 sec. user=mdettweiler [2017-05-29 11:06:38] 663*2^1455367-1 is not prime. Res64: 612255BE74F49529 Time : 0.0 sec. user=mdettweiler [2017-05-29 11:06:38] 705*2^1455367-1 is not prime. Res64: 76D942541B77A9F9 Time : 0.0 sec. user=mdettweiler [2017-05-29 11:15:07] 819*2^1455367-1 is not prime. Res64: 6BA148D91CA0174D Time : 0.0 sec. user=mdettweiler [2017-05-29 11:15:07] 873*2^1455367-1 is not prime. Res64: F1C74E05BBAA35D4 Time : 0.0 sec. user=mdettweiler [2017-05-29 11:15:07] 895*2^1455367-1 is not prime. Res64: ED81A159635E85B4 Time : 0.0 sec. user=mdettweiler [2017-05-29 11:15:07] 913*2^1455367-1 is not prime. Res64: 9BD37F190FB45551 Time : 0.0 sec. user=mdettweiler [2017-05-29 11:15:08] 919*2^1455367-1 is not prime. Res64: A3569BF2943E6584 Time : 0.0 sec. user=mdettweiler [2017-05-29 11:33:42] 933*2^1455367-1 is not prime. Res64: E955ECF29AB5E800 Time : 0.0 sec. user=mdettweiler [2017-05-29 11:33:43] 939*2^1455367-1 is not prime. Res64: 32D58B9FAD09D19C Time : 0.0 sec. user=mdettweiler [2017-05-29 11:33:43] 979*2^1455367-1 is not prime. Res64: F05CC2A6B5022BD6 Time : 0.0 sec. user=mdettweiler [2017-05-29 11:33:43] 633*2^1455368-1 is not prime. Res64: 4B69C85E7716DC28 Time : 0.0 sec. user=mdettweiler [2017-05-29 11:33:44] 659*2^1455368-1 is not prime. Res64: 9FDD854BEC2B194F Time : 0.0 sec. user=juhehe [2017-05-29 11:37:53] 727*2^1455369-1 is not prime. Res64: DEFCD3E7701C0CF3 Time : 0.0 sec. user=mdettweiler [2017-05-29 11:41:55] 747*2^1455368-1 is not prime. Res64: B88FB3137F00AF45 Time : 0.0 sec. user=mdettweiler [2017-05-29 11:41:55] 773*2^1455368-1 is not prime. Res64: 023D45FAA25FBED6 Time : 0.0 sec. user=mdettweiler [2017-05-29 11:41:55] 923*2^1455368-1 is not prime. Res64: 81655A66FCABA8F6 Time : 0.0 sec. user=mdettweiler [2017-05-29 11:41:55] 681*2^1455369-1 is not prime. Res64: 7B2E34C90BB574EB Time : 0.0 sec. user=mdettweiler [2017-05-29 11:41:56] 721*2^1455369-1 is not prime. Res64: 10C0952AB112EEB6 Time : 0.0 sec. user=mdettweiler [2017-05-29 11:53:13] 769*2^1455369-1 is not prime. Res64: 901869CACBC9E7AB Time : 0.0 sec. user=mdettweiler [2017-05-29 11:53:13] 861*2^1455369-1 is not prime. Res64: 44D1FC5A6F390794 Time : 0.0 sec. user=mdettweiler [2017-05-29 11:53:14] 701*2^1455370-1 is not prime. Res64: 6A77F51D06E0A348 Time : 0.0 sec. user=mdettweiler [2017-05-29 11:53:14] 833*2^1455370-1 is not prime. Res64: C3B5A95884B2F152 Time : 0.0 sec. user=mdettweiler [2017-05-29 11:53:14] 857*2^1455370-1 is not prime. Res64: F7628719D1C37A19 Time : 0.0 sec. user=mdettweiler [2017-05-29 12:01:27] 603*2^1455371-1 is not prime. Res64: 0CA5D5591DF86B0D Time : 0.0 sec. user=mdettweiler [2017-05-29 12:01:28] 645*2^1455371-1 is not prime. Res64: 3EA0EFE601A504C0 Time : 0.0 sec. user=mdettweiler [2017-05-29 12:01:29] 843*2^1455371-1 is not prime. Res64: 90D76A50E7779298 Time : 0.0 sec. user=mdettweiler [2017-05-29 12:01:29] 945*2^1455371-1 is not prime. Res64: CFC92FC747CC8DB1 Time : 0.0 sec. user=mdettweiler [2017-05-29 12:01:30] 949*2^1455371-1 is not prime. Res64: 7DB824CBFB9E968A Time : 0.0 sec. user=mdettweiler [2017-05-29 12:21:00] 627*2^1455372-1 is not prime. Res64: 15757350399D94A6 Time : 0.0 sec. user=mdettweiler [2017-05-29 12:21:01] 689*2^1455372-1 is not prime. Res64: DFFE12E1FA26C617 Time : 0.0 sec. user=mdettweiler [2017-05-29 12:21:01] 725*2^1455372-1 is not prime. Res64: 3744CF0B72C4D162 Time : 0.0 sec. user=mdettweiler [2017-05-29 12:21:01] 753*2^1455372-1 is not prime. Res64: 21ED4631BDBF1185 Time : 0.0 sec. user=mdettweiler [2017-05-29 12:21:02] 767*2^1455372-1 is not prime. Res64: 6E9600D0A580871A Time : 0.0 sec. user=mdettweiler [2017-05-29 12:30:24] 899*2^1455372-1 is not prime. Res64: ABFD899DEB74944E Time : 0.0 sec. user=mdettweiler [2017-05-29 12:30:24] 915*2^1455372-1 is not prime. Res64: 63D6A1286E407720 Time : 0.0 sec. user=mdettweiler [2017-05-29 12:30:24] 607*2^1455373-1 is not prime. Res64: CB39CB4E7E3DDAA3 Time : 0.0 sec. user=mdettweiler [2017-05-29 12:30:25] 615*2^1455373-1 is not prime. Res64: CF856576FCD51843 Time : 0.0 sec. user=mdettweiler [2017-05-29 12:30:25] 757*2^1455373-1 is not prime. Res64: 1D55502072231108 Time : 0.0 sec. user=mdettweiler [2017-05-29 12:41:06] 769*2^1455373-1 is not prime. Res64: 5BA76AE368980573 Time : 0.0 sec. user=mdettweiler [2017-05-29 12:41:06] 835*2^1455373-1 is not prime. Res64: 29BB3A3384A41254 Time : 0.0 sec. user=mdettweiler [2017-05-29 12:49:58] 635*2^1455374-1 is not prime. Res64: 6E026C781E6B3F1E Time : 0.0 sec. user=mdettweiler [2017-05-29 12:49:58] 815*2^1455374-1 is not prime. Res64: C08CCF296DD437C2 Time : 0.0 sec. user=mdettweiler [2017-05-29 12:49:58] 875*2^1455374-1 is not prime. Res64: F09ED29BDE103E4A Time : 0.0 sec. user=mdettweiler [2017-05-29 12:49:59] 927*2^1455374-1 is not prime. Res64: 75741268BFBB5BCF Time : 0.0 sec. user=mdettweiler [2017-05-29 12:49:59] 945*2^1455374-1 is not prime. Res64: 8B46D6246820733F Time : 0.0 sec. user=juhehe [2017-05-29 12:57:46] 685*2^1455375-1 is not prime. Res64: B31B3D9F9E0CBA3B Time : 0.0 sec. user=mdettweiler [2017-05-29 13:07:57] 693*2^1455375-1 is not prime. Res64: F9A78440F2571CE8 Time : 0.0 sec. user=mdettweiler [2017-05-29 13:07:58] 969*2^1455375-1 is not prime. Res64: 52831828C1090D5C Time : 0.0 sec. user=mdettweiler [2017-05-29 13:07:58] 979*2^1455375-1 is not prime. Res64: DD64651AD6C76871 Time : 0.0 sec. user=mdettweiler [2017-05-29 13:07:59] 999*2^1455375-1 is not prime. Res64: B5B9234C7D8A2E42 Time : 0.0 sec. user=mdettweiler [2017-05-29 13:08:00] 699*2^1455376-1 is not prime. Res64: 776D8BF2277D8467 Time : 0.0 sec. user=mdettweiler [2017-05-29 13:16:46] 717*2^1455376-1 is not prime. Res64: 12A169ECAD184F20 Time : 0.0 sec. user=mdettweiler [2017-05-29 13:16:46] 719*2^1455376-1 is not prime. Res64: 28968215070627BD Time : 0.0 sec. user=mdettweiler [2017-05-29 13:16:47] 735*2^1455376-1 is not prime. Res64: 21E2139CE7D537BF Time : 0.0 sec. user=mdettweiler [2017-05-29 13:16:47] 825*2^1455376-1 is not prime. Res64: 2EB3AFF74B8A1714 Time : 0.0 sec. user=mdettweiler [2017-05-29 13:16:47] 839*2^1455376-1 is not prime. Res64: 3AF0B3B3602EA6DC Time : 0.0 sec. user=mdettweiler [2017-05-29 13:36:48] 999*2^1455376-1 is not prime. Res64: D3EF32399520D89E Time : 0.0 sec. user=mdettweiler [2017-05-29 13:36:48] 627*2^1455377-1 is not prime. Res64: FB1199599277E788 Time : 0.0 sec. user=mdettweiler [2017-05-29 13:36:48] 685*2^1455377-1 is not prime. Res64: CE3E21EC0883EF11 Time : 0.0 sec. user=mdettweiler [2017-05-29 13:36:48] 729*2^1455377-1 is not prime. Res64: BA814B8F2483E99C Time : 0.0 sec. user=mdettweiler [2017-05-29 13:36:49] 847*2^1455377-1 is not prime. Res64: CE70E0409BAA8B0B Time : 0.0 sec. user=juhehe [2017-05-29 13:37:34] 889*2^1455377-1 is not prime. Res64: B364E069FEC59695 Time : 0.0 sec. user=odicin [2017-05-29 13:37:34] 909*2^1455377-1 is not prime. Res64: 8F3362F0413558DE Time : 0.0 sec. user=mdettweiler [2017-05-29 13:54:43] 925*2^1455377-1 is not prime. Res64: CB65F3A205B0F3F8 Time : 0.0 sec. user=mdettweiler [2017-05-29 13:54:44] 949*2^1455377-1 is not prime. Res64: AB4909430E3D17C9 Time : 0.0 sec. user=mdettweiler [2017-05-29 13:54:44] 755*2^1455378-1 is not prime. Res64: 6DF514E8949A9C19 Time : 0.0 sec. user=mdettweiler [2017-05-29 13:54:44] 765*2^1455378-1 is not prime. Res64: 4156CB82F549E69A Time : 0.0 sec. user=mdettweiler [2017-05-29 13:54:44] 803*2^1455378-1 is not prime. Res64: 3F25CCDA9BDD451A Time : 0.0 sec. user=mdettweiler [2017-05-29 14:03:20] 833*2^1455378-1 is not prime. Res64: 84426599A8B34BF5 Time : 0.0 sec. user=mdettweiler [2017-05-29 14:03:22] 837*2^1455378-1 is not prime. Res64: 526C1115B1640CA2 Time : 0.0 sec. user=mdettweiler [2017-05-29 14:03:24] 887*2^1455378-1 is not prime. Res64: 5EABF6162BDA4198 Time : 0.0 sec. user=mdettweiler [2017-05-29 14:03:27] 933*2^1455378-1 is not prime. Res64: E92BA86E2A6FBC1B Time : 0.0 sec. user=mdettweiler [2017-05-29 14:03:29] 977*2^1455378-1 is not prime. Res64: ED67FB77D310F548 Time : 0.0 sec. user=mdettweiler [2017-05-29 14:23:39] 645*2^1455379-1 is not prime. Res64: EF3DA746643A7E6C Time : 0.0 sec. user=mdettweiler [2017-05-29 14:23:39] 663*2^1455379-1 is not prime. Res64: 38ADE36128EF4E50 Time : 0.0 sec. user=mdettweiler [2017-05-29 14:23:39] 789*2^1455379-1 is not prime. Res64: 96FB383C99D10C27 Time : 0.0 sec. user=mdettweiler [2017-05-29 14:23:40] 829*2^1455379-1 is not prime. Res64: DD4974F452C91D0D Time : 0.0 sec. user=mdettweiler [2017-05-29 14:23:40] 861*2^1455379-1 is not prime. Res64: 755AB3A180C39A60 Time : 0.0 sec. user=mdettweiler [2017-05-29 14:41:36] 885*2^1455379-1 is not prime. Res64: BF6D0C261FB3143E Time : 0.0 sec. user=mdettweiler [2017-05-29 14:41:36] 919*2^1455379-1 is not prime. Res64: 20BBFDDA0336441F Time : 0.0 sec. user=mdettweiler [2017-05-29 14:41:37] 939*2^1455379-1 is not prime. Res64: EA7C358398120B36 Time : 0.0 sec. user=mdettweiler [2017-05-29 14:41:37] 985*2^1455379-1 is not prime. Res64: 3CD2D4715FABB998 Time : 0.0 sec. user=mdettweiler [2017-05-29 14:41:37] 629*2^1455380-1 is not prime. Res64: 752640890CB891A1 Time : 0.0 sec. user=mdettweiler [2017-05-29 14:50:36] 743*2^1455380-1 is not prime. Res64: 23F330303ECC51FC Time : 0.0 sec. user=mdettweiler [2017-05-29 14:50:36] 753*2^1455380-1 is not prime. Res64: A32D4F750AF3F511 Time : 0.0 sec. user=mdettweiler [2017-05-29 14:50:36] 813*2^1455380-1 is not prime. Res64: B65B9E6CECEF897E Time : 0.0 sec. user=mdettweiler [2017-05-29 14:50:37] 885*2^1455380-1 is not prime. Res64: E2D0D8EDC27C3307 Time : 0.0 sec. user=mdettweiler [2017-05-29 14:50:37] 935*2^1455380-1 is not prime. Res64: DC111943BB486D3C Time : 0.0 sec. user=juhehe [2017-05-29 14:57:15] 953*2^1455380-1 is not prime. Res64: FB139808258D4A44 Time : 0.0 sec. user=mdettweiler [2017-05-29 15:10:43] 957*2^1455380-1 is not prime. Res64: 632DE6913577C9D0 Time : 0.0 sec. user=mdettweiler [2017-05-29 15:10:44] 621*2^1455381-1 is not prime. Res64: 807FF634571356B5 Time : 0.0 sec. user=mdettweiler [2017-05-29 15:10:44] 685*2^1455381-1 is not prime. Res64: 984ADE18926AC32B Time : 0.0 sec. user=mdettweiler [2017-05-29 15:10:44] 717*2^1455381-1 is not prime. Res64: B28BF2A62316CBBC Time : 0.0 sec. user=mdettweiler [2017-05-29 15:10:45] 735*2^1455381-1 is not prime. Res64: A92892C19DEA9CC2 Time : 0.0 sec. user=mdettweiler [2017-05-29 15:28:59] 789*2^1455381-1 is not prime. Res64: 12D77F092103934A Time : 0.0 sec. user=mdettweiler [2017-05-29 15:28:59] 819*2^1455381-1 is not prime. Res64: 85590DB77ED5BE20 Time : 0.0 sec. user=mdettweiler [2017-05-29 15:29:00] 901*2^1455381-1 is not prime. Res64: 085A169344EE614B Time : 0.0 sec. user=mdettweiler [2017-05-29 15:29:00] 927*2^1455381-1 is not prime. Res64: FAF53299F9F2E197 Time : 0.0 sec. user=mdettweiler [2017-05-29 15:29:00] 945*2^1455381-1 is not prime. Res64: C61C55F2B1C2F3EF Time : 0.0 sec. user=juhehe [2017-05-29 15:37:04] 713*2^1455382-1 is not prime. Res64: 7C41641D4AD7A892 Time : 0.0 sec. user=mdettweiler [2017-05-29 15:37:31] 955*2^1455381-1 is not prime. Res64: 84E25EA6BEFAB4F4 Time : 0.0 sec. user=mdettweiler [2017-05-29 15:37:31] 961*2^1455381-1 is not prime. Res64: 6D4E6C50B645B755 Time : 0.0 sec. user=mdettweiler [2017-05-29 15:37:31] 975*2^1455381-1 is not prime. Res64: 15B38AABD4881078 Time : 0.0 sec. user=mdettweiler [2017-05-29 15:37:32] 611*2^1455382-1 is not prime. Res64: 026C4BF270AC9E5E Time : 0.0 sec. user=mdettweiler [2017-05-29 15:37:32] 677*2^1455382-1 is not prime. Res64: A99A8A422DBEB319 Time : 0.0 sec. user=mdettweiler [2017-05-29 15:43:23] 847*2^1455373-1 is not prime. Res64: EA86C6C49C8FD3CC Time : 0.0 sec. user=mdettweiler [2017-05-29 15:43:23] 855*2^1455373-1 is not prime. Res64: A85D767344901CD8 Time : 0.0 sec. user=mdettweiler [2017-05-29 15:43:23] 961*2^1455373-1 is not prime. Res64: 40B18D403C18E00C Time : 0.0 sec. user=mdettweiler [2017-05-29 15:57:30] 827*2^1455382-1 is not prime. Res64: 037BC42084526AA9 Time : 0.0 sec. user=mdettweiler [2017-05-29 15:57:30] 873*2^1455382-1 is not prime. Res64: 539223D21B8FE7F0 Time : 0.0 sec. user=mdettweiler [2017-05-29 15:57:30] 987*2^1455382-1 is not prime. Res64: 32DC842B37742A7B Time : 0.0 sec. user=mdettweiler [2017-05-29 15:57:30] 609*2^1455383-1 is not prime. Res64: 2AC35E3C1B9159BA Time : 0.0 sec. user=mdettweiler [2017-05-29 15:57:31] 661*2^1455383-1 is not prime. Res64: E091E76E888A620C Time : 0.0 sec. user=mdettweiler [2017-05-29 16:15:14] 705*2^1455383-1 is not prime. Res64: 35DF4AABD49113E8 Time : 0.0 sec. user=mdettweiler [2017-05-29 16:15:14] 721*2^1455383-1 is not prime. Res64: D6FAF16CF0D79053 Time : 0.0 sec. user=mdettweiler [2017-05-29 16:15:15] 729*2^1455383-1 is not prime. Res64: 4C37647F8DA9F090 Time : 0.0 sec. user=mdettweiler [2017-05-29 16:15:15] 753*2^1455383-1 is not prime. Res64: 7F5C3267A39A72BF Time : 0.0 sec. user=mdettweiler [2017-05-29 16:15:16] 781*2^1455383-1 is not prime. Res64: DFB83068A869137A Time : 0.0 sec. user=mdettweiler [2017-05-29 16:23:25] 825*2^1455383-1 is not prime. Res64: 105DCB389567B11D Time : 0.0 sec. user=mdettweiler [2017-05-29 16:23:25] 859*2^1455383-1 is not prime. Res64: 2C815D8EEA7B2623 Time : 0.0 sec. user=mdettweiler [2017-05-29 16:23:25] 885*2^1455383-1 is not prime. Res64: 20A285777BD2794A Time : 0.0 sec. user=mdettweiler [2017-05-29 16:23:26] 969*2^1455383-1 is not prime. Res64: EFA55228152603A0 Time : 0.0 sec. user=mdettweiler [2017-05-29 16:23:26] 981*2^1455383-1 is not prime. Res64: D0FC5F4F159F5151 Time : 0.0 sec. user=mdettweiler [2017-05-29 16:29:13] 993*2^1455383-1 is not prime. Res64: 4D11AE6CD495CF04 Time : 0.0 sec. user=mdettweiler [2017-05-29 16:29:13] 725*2^1455384-1 is not prime. Res64: AB552EEF2403CB7C Time : 0.0 sec. user=mdettweiler [2017-05-29 16:29:14] 747*2^1455384-1 is not prime. Res64: 299D0D0DC1FC80C9 Time : 0.0 sec. user=mdettweiler [2017-05-29 16:29:14] 815*2^1455384-1 is not prime. Res64: E2C31589F3847C3B Time : 0.0 sec. user=mdettweiler [2017-05-29 16:29:14] 857*2^1455384-1 is not prime. Res64: 45C392C8DDB5BDAE Time : 0.0 sec. user=mdettweiler [2017-05-29 16:43:06] 909*2^1455384-1 is not prime. Res64: 76FB0AE5F579FDB2 Time : 0.0 sec. user=mdettweiler [2017-05-29 16:43:06] 705*2^1455385-1 is not prime. Res64: 2C1F6392FC72D8B5 Time : 0.0 sec. user=mdettweiler [2017-05-29 16:43:06] 861*2^1455385-1 is not prime. Res64: 131633C4B44064D7 Time : 0.0 sec. user=mdettweiler [2017-05-29 16:43:06] 645*2^1455386-1 is not prime. Res64: CA2D9CA628AB773E Time : 0.0 sec. user=mdettweiler [2017-05-29 16:43:07] 707*2^1455386-1 is not prime. Res64: 1A12010D673E1ADE Time : 0.0 sec. user=juhehe [2017-05-29 16:56:45] 859*2^1455387-1 is not prime. Res64: 27BAAB0CEADADE81 Time : 0.0 sec. user=mdettweiler [2017-05-29 17:00:57] 861*2^1455386-1 is not prime. Res64: 33736B182E8541FB Time : 0.0 sec. user=mdettweiler [2017-05-29 17:00:58] 981*2^1455386-1 is not prime. Res64: BD293F835D946FFF Time : 0.0 sec. user=mdettweiler [2017-05-29 17:00:59] 601*2^1455387-1 is not prime. Res64: 7DBDBA3B2FD66466 Time : 0.0 sec. user=mdettweiler [2017-05-29 17:00:59] 643*2^1455387-1 is not prime. Res64: 06A14B55F28960AF Time : 0.0 sec. user=mdettweiler [2017-05-29 17:01:00] 735*2^1455387-1 is not prime. Res64: 2E9BDBF564B30B5A Time : 0.0 sec. user=mdettweiler [2017-05-29 17:09:09] 985*2^1455387-1 is not prime. Res64: 39A4C9E5D6255CEF Time : 0.0 sec. user=mdettweiler [2017-05-29 17:09:09] 615*2^1455388-1 is not prime. Res64: 2EEB680FC8A8FCB4 Time : 0.0 sec. user=mdettweiler [2017-05-29 17:09:09] 677*2^1455388-1 is not prime. Res64: C3CEA30703145C72 Time : 0.0 sec. user=mdettweiler [2017-05-29 17:09:10] 755*2^1455388-1 is not prime. Res64: A83B1D2A54025683 Time : 0.0 sec. user=mdettweiler [2017-05-29 17:09:10] 825*2^1455388-1 is not prime. Res64: 443172822DBF72C8 Time : 0.0 sec. user=mdettweiler [2017-05-29 17:14:55] 839*2^1455388-1 is not prime. Res64: BC50048F7A11F298 Time : 0.0 sec. user=mdettweiler [2017-05-29 17:14:55] 845*2^1455388-1 is not prime. Res64: 118A28D6CE67C9B0 Time : 0.0 sec. user=mdettweiler [2017-05-29 17:14:55] 915*2^1455388-1 is not prime. Res64: 09FFFADA3969392E Time : 0.0 sec. user=mdettweiler [2017-05-29 17:14:56] 933*2^1455388-1 is not prime. Res64: 5BCF4BCCE56C17D8 Time : 0.0 sec. user=mdettweiler [2017-05-29 17:14:56] 691*2^1455389-1 is not prime. Res64: 69EAE63A86F73E92 Time : 0.0 sec. user=mdettweiler [2017-05-29 17:28:49] 829*2^1455389-1 is not prime. Res64: FE535CDF0D83D9E9 Time : 0.0 sec. user=mdettweiler [2017-05-29 17:28:50] 987*2^1455389-1 is not prime. Res64: C2FFF879930D6EB5 Time : 0.0 sec. user=mdettweiler [2017-05-29 17:28:50] 755*2^1455390-1 is not prime. Res64: B730699FDED2B564 Time : 0.0 sec. user=mdettweiler [2017-05-29 17:28:50] 845*2^1455390-1 is not prime. Res64: 13EDE94F7DC74890 Time : 0.0 sec. user=mdettweiler [2017-05-29 17:28:51] 861*2^1455390-1 is not prime. Res64: B592BC9B151FFEC3 Time : 0.0 sec. user=juhehe [2017-05-29 17:36:18] 893*2^1455390-1 is not prime. Res64: D4ACF14971B6B0EF Time : 0.0 sec. user=mdettweiler [2017-05-29 17:47:00] 965*2^1455390-1 is not prime. Res64: 9F811E680619313E Time : 0.0 sec. user=mdettweiler [2017-05-29 17:47:00] 679*2^1455391-1 is not prime. Res64: 0894FCADA7019970 Time : 0.0 sec. user=mdettweiler [2017-05-29 17:47:00] 723*2^1455391-1 is not prime. Res64: 0EDE8C78FF5F5220 Time : 0.0 sec. user=mdettweiler [2017-05-29 17:47:01] 909*2^1455391-1 is not prime. Res64: 730059CF675BF91C Time : 0.0 sec. user=mdettweiler [2017-05-29 17:47:01] 933*2^1455391-1 is not prime. Res64: 94F01DAE86CA0ED6 Time : 0.0 sec. user=mdettweiler [2017-05-29 17:55:03] 669*2^1455392-1 is not prime. Res64: 8EE8999377F48B58 Time : 0.0 sec. user=mdettweiler [2017-05-29 17:55:04] 717*2^1455392-1 is not prime. Res64: 75132D590DDE375E Time : 0.0 sec. user=mdettweiler [2017-05-29 17:55:04] 855*2^1455392-1 is not prime. Res64: 98D18977243300B1 Time : 0.0 sec. user=mdettweiler [2017-05-29 17:55:04] 875*2^1455392-1 is not prime. Res64: F54D31917DAF90A9 Time : 0.0 sec. user=mdettweiler [2017-05-29 17:55:05] 923*2^1455392-1 is not prime. Res64: 67B00F5E68D6613A Time : 0.0 sec. user=mdettweiler [2017-05-29 18:00:47] 995*2^1455392-1 is not prime. Res64: B40AA88101D4D73F Time : 0.0 sec. user=mdettweiler [2017-05-29 18:00:48] 609*2^1455393-1 is not prime. Res64: AAAC0F7C2D402499 Time : 0.0 sec. user=mdettweiler [2017-05-29 18:00:48] 627*2^1455393-1 is not prime. Res64: 6EB905AB7A528FFE Time : 0.0 sec. user=mdettweiler [2017-05-29 18:00:49] 649*2^1455393-1 is not prime. Res64: 462C888AB4EF7BA1 Time : 0.0 sec. user=mdettweiler [2017-05-29 18:00:50] 679*2^1455393-1 is not prime. Res64: AC2B82B89C4518E8 Time : 0.0 sec. user=mdettweiler [2017-05-29 18:14:44] 739*2^1455393-1 is not prime. Res64: 1476B50988876E3F Time : 0.0 sec. user=mdettweiler [2017-05-29 18:14:44] 741*2^1455393-1 is not prime. Res64: A3B68B83164E05AF Time : 0.0 sec. user=mdettweiler [2017-05-29 18:14:45] 765*2^1455393-1 is not prime. Res64: C81CFF221B94E97D Time : 0.0 sec. user=mdettweiler [2017-05-29 18:14:45] 789*2^1455393-1 is not prime. Res64: 044D9077B05BDB98 Time : 0.0 sec. user=mdettweiler [2017-05-29 18:14:45] 871*2^1455393-1 is not prime. Res64: 8EB0DFB1F2ADC4DC Time : 0.0 sec. user=mdettweiler [2017-05-29 18:32:50] 949*2^1455393-1 is not prime. Res64: 6BDA811DC0899C31 Time : 0.0 sec. user=mdettweiler [2017-05-29 18:32:51] 621*2^1455394-1 is not prime. Res64: 513B2C96EB0E8672 Time : 0.0 sec. user=mdettweiler [2017-05-29 18:32:51] 677*2^1455394-1 is not prime. Res64: 108520DE02B0B620 Time : 0.0 sec. user=mdettweiler [2017-05-29 18:32:51] 755*2^1455394-1 is not prime. Res64: 448F6511C4EEA49D Time : 0.0 sec. user=mdettweiler [2017-05-29 18:32:52] 923*2^1455394-1 is not prime. Res64: D789B8404F43B897 Time : 0.0 sec. user=mdettweiler [2017-05-29 18:41:05] 987*2^1455394-1 is not prime. Res64: 4D42375E9A150E1D Time : 0.0 sec. user=mdettweiler [2017-05-29 18:41:05] 609*2^1455395-1 is not prime. Res64: F27FDA86188E1B6B Time : 0.0 sec. user=mdettweiler [2017-05-29 18:41:05] 699*2^1455395-1 is not prime. Res64: 5BD3288BA5FE0C04 Time : 0.0 sec. user=mdettweiler [2017-05-29 18:41:05] 705*2^1455395-1 is not prime. Res64: F96F722CCF83240D Time : 0.0 sec. user=mdettweiler [2017-05-29 18:41:06] 715*2^1455395-1 is not prime. Res64: BC91744A51267D9B Time : 0.0 sec. user=mdettweiler [2017-05-29 18:46:43] 635*2^1455396-1 is not prime. Res64: B5FCC15BEA702A2A Time : 0.0 sec. user=mdettweiler [2017-05-29 18:46:44] 839*2^1455396-1 is not prime. Res64: 5BBEEC2F5C05E025 Time : 0.0 sec. user=mdettweiler [2017-05-29 18:46:44] 899*2^1455396-1 is not prime. Res64: 5BD4FDF456101E92 Time : 0.0 sec. user=mdettweiler [2017-05-29 18:46:44] 639*2^1455397-1 is not prime. Res64: B8A3E26916715C72 Time : 0.0 sec. user=mdettweiler [2017-05-29 18:46:45] 645*2^1455397-1 is not prime. Res64: B1ABC116E7BFC3AF Time : 0.0 sec. user=juhehe [2017-05-29 18:57:25] 835*2^1455397-1 is not prime. Res64: E1DB51193B3F3F50 Time : 0.0 sec. user=mdettweiler [2017-05-29 19:00:44] 667*2^1455397-1 is not prime. Res64: ACE0235C97F4EBF3 Time : 0.0 sec. user=mdettweiler [2017-05-29 19:00:44] 687*2^1455397-1 is not prime. Res64: ADA06D576F816B37 Time : 0.0 sec. user=mdettweiler [2017-05-29 19:00:45] 747*2^1455397-1 is not prime. Res64: 7CFEE642073B9648 Time : 0.0 sec. user=mdettweiler [2017-05-29 19:00:48] 777*2^1455397-1 is not prime. Res64: 35EDEDB265948E5C Time : 0.0 sec. user=mdettweiler [2017-05-29 19:00:49] 801*2^1455397-1 is not prime. Res64: 2F6DFA02532701A2 Time : 0.0 sec. user=mdettweiler [2017-05-29 19:19:11] 861*2^1455397-1 is not prime. Res64: 8F90DED8D7361488 Time : 0.0 sec. user=mdettweiler [2017-05-29 19:19:12] 871*2^1455397-1 is not prime. Res64: 288C2C4D2B4C4B20 Time : 0.0 sec. user=mdettweiler [2017-05-29 19:19:12] 957*2^1455397-1 is not prime. Res64: 49BEE2720DB67F45 Time : 0.0 sec. user=mdettweiler [2017-05-29 19:19:13] 683*2^1455398-1 is not prime. Res64: 0B0C47D0A9C07FBE Time : 0.0 sec. user=mdettweiler [2017-05-29 19:19:13] 795*2^1455398-1 is not prime. Res64: 54E84F525BE28695 Time : 0.0 sec. user=mdettweiler [2017-05-29 19:27:35] 797*2^1455398-1 is not prime. Res64: 38D9050913FFB2EE Time : 0.0 sec. user=mdettweiler [2017-05-29 19:27:35] 831*2^1455398-1 is not prime. Res64: 628189354CD61DB6 Time : 0.0 sec. user=mdettweiler [2017-05-29 19:27:35] 875*2^1455398-1 is not prime. Res64: 4D3696E6E616280A Time : 0.0 sec. user=mdettweiler [2017-05-29 19:27:36] 893*2^1455398-1 is not prime. Res64: 3D8DB4D8800E1620 Time : 0.0 sec. user=mdettweiler [2017-05-29 19:27:36] 921*2^1455398-1 is not prime. Res64: 2B33FA2EA7A9F9FE Time : 0.0 sec. user=mdettweiler [2017-05-29 19:33:03] 1001*2^1455398-1 is not prime. Res64: 9A6CEEC3AF59E245 Time : 0.0 sec. user=mdettweiler [2017-05-29 19:33:03] 679*2^1455399-1 is not prime. Res64: 0E864F6A817A6E52 Time : 0.0 sec. user=mdettweiler [2017-05-29 19:33:04] 741*2^1455399-1 is not prime. Res64: FE96622AF9CE176B Time : 0.0 sec. user=mdettweiler [2017-05-29 19:33:04] 843*2^1455399-1 is not prime. Res64: 5060D2ABAF4011BE Time : 0.0 sec. user=mdettweiler [2017-05-29 19:33:04] 865*2^1455399-1 is not prime. Res64: 66C9364A7D2B531A Time : 0.0 sec. user=juhehe [2017-05-29 19:36:57] 879*2^1455399-1 is not prime. Res64: B30C692FED02820C Time : 0.0 sec. user=mdettweiler [2017-05-29 19:47:16] 629*2^1455400-1 is not prime. Res64: 4FDC850246E36CDC Time : 0.0 sec. user=mdettweiler [2017-05-29 19:47:16] 677*2^1455400-1 is not prime. Res64: 88F692619BA87DAC Time : 0.0 sec. user=mdettweiler [2017-05-29 19:47:16] 713*2^1455400-1 is not prime. Res64: 422FA238958A9492 Time : 0.0 sec. user=mdettweiler [2017-05-29 19:47:17] 735*2^1455400-1 is not prime. Res64: 008065759B7BD20A Time : 0.0 sec. user=mdettweiler [2017-05-29 19:47:17] 747*2^1455400-1 is not prime. Res64: D178032FB4FA7B3D Time : 0.0 sec. user=mdettweiler [2017-05-29 20:04:59] 759*2^1455400-1 is not prime. Res64: B0193A1EA143736F Time : 0.0 sec. user=mdettweiler [2017-05-29 20:05:01] 825*2^1455400-1 is not prime. Res64: A3E7542E6E898AD4 Time : 0.0 sec. user=mdettweiler [2017-05-29 20:05:02] 849*2^1455400-1 is not prime. Res64: 463AB37B528FA2F9 Time : 0.0 sec. user=mdettweiler [2017-05-29 20:05:03] 857*2^1455400-1 is not prime. Res64: B6BF00C1835FBC46 Time : 0.0 sec. user=mdettweiler [2017-05-29 20:05:05] 887*2^1455400-1 is not prime. Res64: 3DB50A531BB2760B Time : 0.0 sec. user=mdettweiler [2017-05-29 20:13:01] 995*2^1455400-1 is not prime. Res64: AD64DAE67B639625 Time : 0.0 sec. user=mdettweiler [2017-05-29 20:13:01] 619*2^1455401-1 is not prime. Res64: 49F4C1BB3F04627C Time : 0.0 sec. user=mdettweiler [2017-05-29 20:13:01] 789*2^1455401-1 is not prime. Res64: ED5AB758972D92FD Time : 0.0 sec. user=mdettweiler [2017-05-29 20:13:02] 829*2^1455401-1 is not prime. Res64: 28075CF7CAB87C0A Time : 0.0 sec. user=mdettweiler [2017-05-29 20:13:02] 955*2^1455401-1 is not prime. Res64: 8E258308D16896BE Time : 0.0 sec. user=mdettweiler [2017-05-29 20:18:33] 997*2^1455401-1 is not prime. Res64: 6518BFDF27AFD37A Time : 0.0 sec. user=mdettweiler [2017-05-29 20:18:33] 717*2^1455402-1 is not prime. Res64: 971ED7863E674040 Time : 0.0 sec. user=mdettweiler [2017-05-29 20:18:33] 833*2^1455402-1 is not prime. Res64: 24250689F9FAADFD Time : 0.0 sec. user=mdettweiler [2017-05-29 20:18:34] 837*2^1455402-1 is not prime. Res64: A285D0E56ECC7FF3 Time : 0.0 sec. user=mdettweiler [2017-05-29 20:18:34] 873*2^1455402-1 is not prime. Res64: 6076BE562CCC773D Time : 0.0 sec. user=juhehe [2017-05-29 20:25:50] 885*2^1455402-1 is not prime. Res64: E5E512397F57B426 Time : 0.0 sec. user=mdettweiler [2017-05-29 20:32:57] 663*2^1455403-1 is not prime. Res64: C271290FE71CA9BD Time : 0.0 sec. user=mdettweiler [2017-05-29 20:32:58] 673*2^1455403-1 is not prime. Res64: B5E35AFA4EF50005 Time : 0.0 sec. user=mdettweiler [2017-05-29 20:32:58] 685*2^1455403-1 is not prime. Res64: 613C806237481499 Time : 0.0 sec. user=mdettweiler [2017-05-29 20:32:58] 629*2^1455404-1 is not prime. Res64: 271A8B1DF0A734F4 Time : 0.0 sec. user=mdettweiler [2017-05-29 20:32:58] 725*2^1455404-1 is not prime. Res64: DB4FB7C8D2B95022 Time : 0.0 sec. user=mdettweiler [2017-05-29 20:51:02] 759*2^1455404-1 is not prime. Res64: B4C1C76E25A8709B Time : 0.0 sec. user=mdettweiler [2017-05-29 20:51:02] 627*2^1455405-1 is not prime. Res64: DC06BD9F50A555AD Time : 0.0 sec. user=mdettweiler [2017-05-29 20:51:02] 649*2^1455405-1 is not prime. Res64: 391B1A5E488D1026 Time : 0.0 sec. user=mdettweiler [2017-05-29 20:51:03] 651*2^1455405-1 is not prime. Res64: 8EBDEFBBD87AD21A Time : 0.0 sec. user=mdettweiler [2017-05-29 20:51:03] 741*2^1455405-1 is not prime. Res64: 6F1A55A4605E5FE4 Time : 0.0 sec. user=juhehe [2017-05-29 20:56:07] 801*2^1455406-1 is not prime. Res64: 6BD5DCDCFB4681E9 Time : 0.0 sec. user=mdettweiler [2017-05-29 20:58:58] 751*2^1455405-1 is not prime. Res64: 0A60383681EEB339 Time : 0.0 sec. user=mdettweiler [2017-05-29 20:58:58] 949*2^1455405-1 is not prime. Res64: 8AFE8180E097D015 Time : 0.0 sec. user=mdettweiler [2017-05-29 20:58:58] 999*2^1455405-1 is not prime. Res64: 219EFC41E6A66BD7 Time : 0.0 sec. user=mdettweiler [2017-05-29 20:58:58] 657*2^1455406-1 is not prime. Res64: 813ABFCD46B8724A Time : 0.0 sec. user=mdettweiler [2017-05-29 20:58:59] 717*2^1455406-1 is not prime. Res64: 10668C6996B31C58 Time : 0.0 sec. user=mdettweiler [2017-05-29 21:04:15] 857*2^1455406-1 is not prime. Res64: E0D62BE934420C02 Time : 0.0 sec. user=mdettweiler [2017-05-29 21:04:17] 945*2^1455406-1 is not prime. Res64: 43550058044F9E18 Time : 0.0 sec. user=mdettweiler [2017-05-29 21:04:17] 993*2^1455406-1 is not prime. Res64: 35EB13999218B68B Time : 0.0 sec. user=mdettweiler [2017-05-29 21:04:18] 1001*2^1455406-1 is not prime. Res64: 6B9A2263487774C5 Time : 0.0 sec. user=mdettweiler [2017-05-29 21:04:19] 645*2^1455407-1 is not prime. Res64: 2137E3FF85A80809 Time : 0.0 sec. user=mdettweiler [2017-05-29 21:18:44] 685*2^1455407-1 is not prime. Res64: 48345732370563E1 Time : 0.0 sec. user=mdettweiler [2017-05-29 21:18:45] 829*2^1455407-1 is not prime. Res64: 33EAA8C66120EC5C Time : 0.0 sec. user=mdettweiler [2017-05-29 21:18:45] 991*2^1455407-1 is not prime. Res64: 20D0655868D0475C Time : 0.0 sec. user=mdettweiler [2017-05-29 21:18:45] 663*2^1455408-1 is not prime. Res64: DF87D8B7A66718C3 Time : 0.0 sec. user=mdettweiler [2017-05-29 21:18:46] 879*2^1455408-1 is not prime. Res64: 7F2C66CCE4B03594 Time : 0.0 sec. user=juhehe [2017-05-29 21:35:32] 955*2^1455409-1 is not prime. Res64: 36E16BCE98D2961C Time : 0.0 sec. user=mdettweiler [2017-05-29 21:36:35] 619*2^1455409-1 is not prime. Res64: C12DFA4AC48BBE14 Time : 0.0 sec. user=mdettweiler [2017-05-29 21:36:35] 747*2^1455409-1 is not prime. Res64: A7E0A0E186EA8D67 Time : 0.0 sec. user=mdettweiler [2017-05-29 21:36:35] 801*2^1455409-1 is not prime. Res64: DE19DD6E66312760 Time : 0.0 sec. user=mdettweiler [2017-05-29 21:36:36] 817*2^1455409-1 is not prime. Res64: 26D3805F507FE447 Time : 0.0 sec. user=mdettweiler [2017-05-29 21:36:36] 861*2^1455409-1 is not prime. Res64: DDAC743E294D8EC4 Time : 0.0 sec. user=mdettweiler [2017-05-29 21:44:29] 603*2^1455410-1 is not prime. Res64: 59C1BE4D715EEE50 Time : 0.0 sec. user=mdettweiler [2017-05-29 21:44:30] 633*2^1455410-1 is not prime. Res64: C494594D32D72D84 Time : 0.0 sec. user=mdettweiler [2017-05-29 21:44:30] 711*2^1455410-1 is not prime. Res64: 9DA4B7409D50C97A Time : 0.0 sec. user=mdettweiler [2017-05-29 21:44:30] 827*2^1455410-1 is not prime. Res64: 006258BF8542742F Time : 0.0 sec. user=mdettweiler [2017-05-29 21:44:31] 935*2^1455410-1 is not prime. Res64: B07F1BF65CB5A68B Time : 0.0 sec. user=mdettweiler [2017-05-29 21:50:07] 981*2^1455410-1 is not prime. Res64: B655CF0AABBBF199 Time : 0.0 sec. user=mdettweiler [2017-05-29 21:50:08] 995*2^1455410-1 is not prime. Res64: 2CE863F0C557D58D Time : 0.0 sec. user=mdettweiler [2017-05-29 21:50:08] 823*2^1455411-1 is not prime. Res64: 4697105683C2E4E1 Time : 0.0 sec. user=mdettweiler [2017-05-29 21:50:08] 825*2^1455411-1 is not prime. Res64: B9D50C59419A09DA Time : 0.0 sec. user=mdettweiler [2017-05-29 21:50:09] 903*2^1455411-1 is not prime. Res64: E0F243EC727381A3 Time : 0.0 sec. user=mdettweiler [2017-05-29 22:04:35] 931*2^1455411-1 is not prime. Res64: 35C865364E376C14 Time : 0.0 sec. user=mdettweiler [2017-05-29 22:04:36] 969*2^1455411-1 is not prime. Res64: E1C147F0639D8B7A Time : 0.0 sec. user=mdettweiler [2017-05-29 22:04:37] 999*2^1455411-1 is not prime. Res64: 75B44E59FBA1507D Time : 0.0 sec. user=mdettweiler [2017-05-29 22:04:37] 623*2^1455412-1 is not prime. Res64: 9CDFE303B904C451 Time : 0.0 sec. user=mdettweiler [2017-05-29 22:04:38] 833*2^1455412-1 is not prime. Res64: 4EC35BD1DB29E0E9 Time : 0.0 sec. user=mdettweiler [2017-05-29 22:22:15] 875*2^1455412-1 is not prime. Res64: 33B525DC69044BAF Time : 0.0 sec. user=mdettweiler [2017-05-29 22:22:15] 915*2^1455412-1 is not prime. Res64: A5153B285C77C36C Time : 0.0 sec. user=mdettweiler [2017-05-29 22:22:15] 939*2^1455412-1 is not prime. Res64: E8DFF66FBDBFFB36 Time : 0.0 sec. user=mdettweiler [2017-05-29 22:22:16] 619*2^1455413-1 is not prime. Res64: 3EEDB14FE1E13C7C Time : 0.0 sec. user=mdettweiler [2017-05-29 22:22:16] 747*2^1455413-1 is not prime. Res64: 50C07D251796F568 Time : 0.0 sec. user=mdettweiler [2017-05-29 22:30:08] 787*2^1455413-1 is not prime. Res64: 4CBFF64BF412033B Time : 0.0 sec. user=mdettweiler [2017-05-29 22:30:08] 847*2^1455413-1 is not prime. Res64: 1FD9681352CC4F22 Time : 0.0 sec. user=mdettweiler [2017-05-29 22:30:08] 621*2^1455414-1 is not prime. Res64: E7C115B88948FDA0 Time : 0.0 sec. user=mdettweiler [2017-05-29 22:30:09] 723*2^1455414-1 is not prime. Res64: 5173F3935A65B4A6 Time : 0.0 sec. user=mdettweiler [2017-05-29 22:30:09] 765*2^1455414-1 is not prime. Res64: 4DA4298BB7A07CD8 Time : 0.0 sec. user=mdettweiler [2017-05-29 22:35:55] 797*2^1455414-1 is not prime. Res64: 02A8EC41C2AC5942 Time : 0.0 sec. user=mdettweiler [2017-05-29 22:35:56] 833*2^1455414-1 is not prime. Res64: F018EDF5C2CF8D9C Time : 0.0 sec. user=mdettweiler [2017-05-29 22:35:56] 851*2^1455414-1 is not prime. Res64: EE2CCA17F2940E0D Time : 0.0 sec. user=mdettweiler [2017-05-29 22:35:56] 633*2^1455415-1 is not prime. Res64: 89EE034F826AFAA5 Time : 0.0 sec. user=mdettweiler [2017-05-29 22:35:56] 735*2^1455415-1 is not prime. Res64: 542678DBCBE4AD57 Time : 0.0 sec. user=mdettweiler [2017-05-29 22:50:35] 759*2^1455415-1 is not prime. Res64: E91C2C0FFC57A540 Time : 0.0 sec. user=mdettweiler [2017-05-29 22:50:35] 805*2^1455415-1 is not prime. Res64: EACD6B4924DEF499 Time : 0.0 sec. user=mdettweiler [2017-05-29 22:50:35] 829*2^1455415-1 is not prime. Res64: 4B1E015621271CE4 Time : 0.0 sec. user=mdettweiler [2017-05-29 22:50:35] 843*2^1455415-1 is not prime. Res64: 405332DCE8ACAC58 Time : 0.0 sec. user=mdettweiler [2017-05-29 22:50:36] 933*2^1455415-1 is not prime. Res64: 6123571681208EAD Time : 0.0 sec. user=juhehe [2017-05-29 22:54:32] 623*2^1455416-1 is not prime. Res64: 9297BEBCDA9A1076 Time : 0.0 sec. user=mdettweiler [2017-05-29 23:08:03] 633*2^1455416-1 is not prime. Res64: 3D51C04590145F76 Time : 0.0 sec. user=mdettweiler [2017-05-29 23:08:04] 635*2^1455416-1 is not prime. Res64: 94D9E9566074087E Time : 0.0 sec. user=mdettweiler [2017-05-29 23:08:04] 759*2^1455416-1 is not prime. Res64: 51198A443A82A80F Time : 0.0 sec. user=mdettweiler [2017-05-29 23:08:04] 927*2^1455416-1 is not prime. Res64: 2DD3DBB81A9166EA Time : 0.0 sec. user=mdettweiler [2017-05-29 23:08:05] 681*2^1455417-1 is not prime. Res64: 240B95C74861695F Time : 0.0 sec. user=mdettweiler [2017-05-29 23:15:54] 691*2^1455417-1 is not prime. Res64: B77D0D48EB46CC6E Time : 0.0 sec. user=mdettweiler [2017-05-29 23:15:55] 741*2^1455417-1 is not prime. Res64: AD278991A26012CD Time : 0.0 sec. user=mdettweiler [2017-05-29 23:15:55] 751*2^1455417-1 is not prime. Res64: 858AD1E50EBE2EAD Time : 0.0 sec. user=mdettweiler [2017-05-29 23:15:55] 795*2^1455417-1 is not prime. Res64: 8600E3FB9F8FB736 Time : 0.0 sec. user=mdettweiler [2017-05-29 23:15:55] 807*2^1455417-1 is not prime. Res64: E35A8E3640B0CB9D Time : 0.0 sec. user=mdettweiler [2017-05-29 23:21:28] 945*2^1455417-1 is not prime. Res64: 6E8148E7CD55BC5B Time : 0.0 sec. user=mdettweiler [2017-05-29 23:21:28] 997*2^1455417-1 is not prime. Res64: 39BD89FF07B93D1C Time : 0.0 sec. user=mdettweiler [2017-05-29 23:21:29] 825*2^1455418-1 is not prime. Res64: 92C9EFC828716876 Time : 0.0 sec. user=mdettweiler [2017-05-29 23:21:29] 843*2^1455418-1 is not prime. Res64: E7E384B8F066E49A Time : 0.0 sec. user=mdettweiler [2017-05-29 23:21:29] 855*2^1455418-1 is not prime. Res64: 74E345072604CE5E Time : 0.0 sec. user=juhehe [2017-05-29 23:34:00] 695*2^1455420-1 is not prime. Res64: 68FFD2021052E606 Time : 0.0 sec. user=mdettweiler [2017-05-29 23:36:05] 857*2^1455418-1 is not prime. Res64: F24824DAF9163E0F Time : 0.0 sec. user=mdettweiler [2017-05-29 23:36:06] 993*2^1455418-1 is not prime. Res64: 6ADDE7BE1A2ED085 Time : 0.0 sec. user=mdettweiler [2017-05-29 23:36:06] 1001*2^1455418-1 is not prime. Res64: 290DA85906CD002A Time : 0.0 sec. user=mdettweiler [2017-05-29 23:36:06] 693*2^1455419-1 is not prime. Res64: AE49EF107039D453 Time : 0.0 sec. user=mdettweiler [2017-05-29 23:36:06] 741*2^1455419-1 is not prime. Res64: 485DC564838DF600 Time : 0.0 sec. user=mdettweiler [2017-05-29 23:53:44] 789*2^1455420-1 is not prime. Res64: 037CA154B044F65A Time : 0.0 sec. user=mdettweiler [2017-05-29 23:53:44] 875*2^1455420-1 is not prime. Res64: D562774032F08945 Time : 0.0 sec. user=mdettweiler [2017-05-29 23:53:44] 983*2^1455420-1 is not prime. Res64: BD989E87873A2482 Time : 0.0 sec. user=mdettweiler [2017-05-29 23:53:45] 999*2^1455420-1 is not prime. Res64: E2E798F297159FD9 Time : 0.0 sec. user=mdettweiler [2017-05-29 23:53:45] 625*2^1455421-1 is not prime. Res64: 8EB51DBF586AE52A Time : 0.0 sec.