user=mdettweiler [2017-04-22 00:02:32] 853*2^1452339-1 is not prime. Res64: 139B097B4719C0B0 Time : 0.0 sec. user=mdettweiler [2017-04-22 00:02:33] 895*2^1452339-1 is not prime. Res64: 29EF6A1E25B7F198 Time : 0.0 sec. user=mdettweiler [2017-04-22 00:02:34] 903*2^1452339-1 is not prime. Res64: DA76E348EAA0F332 Time : 0.0 sec. user=mdettweiler [2017-04-22 00:02:35] 969*2^1452339-1 is not prime. Res64: 78A5FAA45975E69F Time : 0.0 sec. user=mdettweiler [2017-04-22 00:02:36] 765*2^1452340-1 is not prime. Res64: A5C5DD5BAFFE5073 Time : 0.0 sec. user=mdettweiler [2017-04-22 00:24:05] 827*2^1452340-1 is not prime. Res64: DB84DE019CAF90A3 Time : 0.0 sec. user=mdettweiler [2017-04-22 00:24:05] 833*2^1452340-1 is not prime. Res64: F28EDFDB5AE876BB Time : 0.0 sec. user=mdettweiler [2017-04-22 00:24:06] 927*2^1452340-1 is not prime. Res64: 2803F8E0379D8CB1 Time : 0.0 sec. user=mdettweiler [2017-04-22 00:24:06] 933*2^1452340-1 is not prime. Res64: DFB2FBFB2F4EC2DA Time : 0.0 sec. user=mdettweiler [2017-04-22 00:24:06] 995*2^1452340-1 is not prime. Res64: ECF9D8A97D86D57F Time : 0.0 sec. user=juhehe [2017-04-22 00:24:47] 607*2^1452341-1 is not prime. Res64: B23867B0B28C1422 Time : 0.0 sec. user=juhehe [2017-04-22 00:34:22] 615*2^1452341-1 is not prime. Res64: E952E2864533082E Time : 0.0 sec. user=mdettweiler [2017-04-22 00:41:54] 651*2^1452341-1 is not prime. Res64: BAB3619C35B278B0 Time : 0.0 sec. user=mdettweiler [2017-04-22 00:41:54] 697*2^1452341-1 is not prime. Res64: 07083F25F0E53CFD Time : 0.0 sec. user=mdettweiler [2017-04-22 00:41:54] 715*2^1452341-1 is not prime. Res64: 93B9A3FF3AC85859 Time : 0.0 sec. user=mdettweiler [2017-04-22 00:41:55] 781*2^1452341-1 is not prime. Res64: E6C121278A8EB110 Time : 0.0 sec. user=mdettweiler [2017-04-22 00:41:55] 799*2^1452341-1 is not prime. Res64: DCA6BCEAB7B74A6F Time : 0.0 sec. user=mdettweiler [2017-04-22 00:47:21] 861*2^1452341-1 is not prime. Res64: 59DB93B9C836ABE8 Time : 0.0 sec. user=mdettweiler [2017-04-22 00:47:22] 871*2^1452341-1 is not prime. Res64: 299DA225C637D5AC Time : 0.0 sec. user=mdettweiler [2017-04-22 00:47:22] 889*2^1452341-1 is not prime. Res64: 3E25BAE98D03C862 Time : 0.0 sec. user=mdettweiler [2017-04-22 00:47:22] 981*2^1452341-1 is not prime. Res64: 7213F54CB0C7AFE2 Time : 0.0 sec. user=mdettweiler [2017-04-22 00:47:23] 807*2^1452342-1 is not prime. Res64: 1CC7F52B6E987F38 Time : 0.0 sec. user=mdettweiler [2017-04-22 01:08:35] 893*2^1452342-1 is not prime. Res64: 0FB7567E4AF51018 Time : 0.0 sec. user=mdettweiler [2017-04-22 01:08:36] 951*2^1452342-1 is not prime. Res64: 02A8E3D9D59525C6 Time : 0.0 sec. user=mdettweiler [2017-04-22 01:08:36] 741*2^1452343-1 is not prime. Res64: 84120E0B4E6BFCC1 Time : 0.0 sec. user=mdettweiler [2017-04-22 01:08:37] 805*2^1452343-1 is not prime. Res64: 142299C6DA70A711 Time : 0.0 sec. user=mdettweiler [2017-04-22 01:08:38] 819*2^1452343-1 is not prime. Res64: 35DAEBF1B7E7D3B4 Time : 0.0 sec. user=mdettweiler [2017-04-22 01:26:27] 871*2^1452343-1 is not prime. Res64: 875103CE361BDFC8 Time : 0.0 sec. user=mdettweiler [2017-04-22 01:26:29] 623*2^1452344-1 is not prime. Res64: A00645591A8F9C8F Time : 0.0 sec. user=mdettweiler [2017-04-22 01:26:30] 629*2^1452344-1 is not prime. Res64: 21002D0D85BD6027 Time : 0.0 sec. user=mdettweiler [2017-04-22 01:26:31] 635*2^1452344-1 is not prime. Res64: A78E0D8592A424A7 Time : 0.0 sec. user=mdettweiler [2017-04-22 01:26:32] 659*2^1452344-1 is not prime. Res64: A39423A580B250D8 Time : 0.0 sec. user=mdettweiler [2017-04-22 01:31:52] 683*2^1452344-1 is not prime. Res64: BBDBB61CEBFE7A21 Time : 0.0 sec. user=mdettweiler [2017-04-22 01:31:58] 747*2^1452344-1 is not prime. Res64: 7E5E23E6F3683702 Time : 0.0 sec. user=mdettweiler [2017-04-22 01:32:00] 869*2^1452344-1 is not prime. Res64: 557D60B289870843 Time : 0.0 sec. user=mdettweiler [2017-04-22 01:32:01] 875*2^1452344-1 is not prime. Res64: 7B22050E19065070 Time : 0.0 sec. user=mdettweiler [2017-04-22 01:32:02] 927*2^1452344-1 is not prime. Res64: 46E04E79A5B2212B Time : 0.0 sec. user=mdettweiler [2017-04-22 01:53:15] 627*2^1452345-1 is not prime. Res64: B1C80FE8C3460303 Time : 0.0 sec. user=mdettweiler [2017-04-22 01:53:15] 699*2^1452345-1 is not prime. Res64: 3A86FD57A44E6CE4 Time : 0.0 sec. user=mdettweiler [2017-04-22 01:53:15] 709*2^1452345-1 is not prime. Res64: 6B42AE0DED982B47 Time : 0.0 sec. user=mdettweiler [2017-04-22 01:53:16] 741*2^1452345-1 is not prime. Res64: 2588F8856E271D5A Time : 0.0 sec. user=mdettweiler [2017-04-22 01:53:16] 759*2^1452345-1 is not prime. Res64: B4E7DA2AD8B8702E Time : 0.0 sec. user=mdettweiler [2017-04-22 02:11:26] 921*2^1452345-1 is not prime. Res64: EAEE2DC4C7CD192A Time : 0.0 sec. user=mdettweiler [2017-04-22 02:11:26] 997*2^1452345-1 is not prime. Res64: 9A50DB6CA1B0E528 Time : 0.0 sec. user=mdettweiler [2017-04-22 02:11:27] 999*2^1452345-1 is not prime. Res64: 282968DFD335657B Time : 0.0 sec. user=mdettweiler [2017-04-22 02:11:27] 765*2^1452346-1 is not prime. Res64: 04725429B0447B66 Time : 0.0 sec. user=mdettweiler [2017-04-22 02:11:27] 803*2^1452346-1 is not prime. Res64: 4AC5A90272F1349B Time : 0.0 sec. user=mdettweiler [2017-04-22 02:17:11] 857*2^1452346-1 is not prime. Res64: 16A919A01A75DAB5 Time : 0.0 sec. user=mdettweiler [2017-04-22 02:17:11] 867*2^1452346-1 is not prime. Res64: 44DC2BA0CB2AE9FD Time : 0.0 sec. user=mdettweiler [2017-04-22 02:17:11] 933*2^1452346-1 is not prime. Res64: 75C26E7B12ABB72A Time : 0.0 sec. user=mdettweiler [2017-04-22 02:17:12] 945*2^1452346-1 is not prime. Res64: 62A02E6ECD07CC28 Time : 0.0 sec. user=mdettweiler [2017-04-22 02:17:12] 993*2^1452346-1 is not prime. Res64: 415D2D9F3CEEF24F Time : 0.0 sec. user=juhehe [2017-04-22 02:35:25] 859*2^1452347-1 is not prime. Res64: 9849E8CC2DF25805 Time : 0.0 sec. user=mdettweiler [2017-04-22 02:38:16] 693*2^1452347-1 is not prime. Res64: F2318C994334A1F9 Time : 0.0 sec. user=mdettweiler [2017-04-22 02:38:16] 733*2^1452347-1 is not prime. Res64: 662005817CD35972 Time : 0.0 sec. user=mdettweiler [2017-04-22 02:38:17] 775*2^1452347-1 is not prime. Res64: F63EB2DAA3852F4C Time : 0.0 sec. user=mdettweiler [2017-04-22 02:38:17] 823*2^1452347-1 is not prime. Res64: 8946462597AF6DE8 Time : 0.0 sec. user=mdettweiler [2017-04-22 02:38:18] 843*2^1452347-1 is not prime. Res64: F3AEB51A0EFEFC24 Time : 0.0 sec. user=mdettweiler [2017-04-22 02:56:56] 889*2^1452347-1 is not prime. Res64: 38361F8F5A3DB644 Time : 0.0 sec. user=mdettweiler [2017-04-22 02:56:57] 963*2^1452347-1 is not prime. Res64: DBD17730F815B88E Time : 0.0 sec. user=mdettweiler [2017-04-22 02:56:57] 981*2^1452347-1 is not prime. Res64: 9C341BD62656ADA4 Time : 0.0 sec. user=mdettweiler [2017-04-22 02:56:58] 635*2^1452348-1 is not prime. Res64: AB7B90DA6D36023F Time : 0.0 sec. user=mdettweiler [2017-04-22 02:56:58] 777*2^1452348-1 is not prime. Res64: 19C6B9685DAC510C Time : 0.0 sec. user=mdettweiler [2017-04-22 03:02:10] 927*2^1452348-1 is not prime. Res64: 9B9A2F103455BFA1 Time : 0.0 sec. user=mdettweiler [2017-04-22 03:02:11] 639*2^1452349-1 is not prime. Res64: 755F67F86F19ABFE Time : 0.0 sec. user=mdettweiler [2017-04-22 03:02:12] 741*2^1452349-1 is not prime. Res64: D57B37F1C0990199 Time : 0.0 sec. user=mdettweiler [2017-04-22 03:02:13] 769*2^1452349-1 is not prime. Res64: AB7E2561FF5491A8 Time : 0.0 sec. user=mdettweiler [2017-04-22 03:02:13] 855*2^1452349-1 is not prime. Res64: 9DBB0B923A2FDDCC Time : 0.0 sec. user=mdettweiler [2017-04-22 03:23:19] 999*2^1452349-1 is not prime. Res64: 3FA14B6369CE69FE Time : 0.0 sec. user=mdettweiler [2017-04-22 03:23:20] 635*2^1452350-1 is not prime. Res64: E8A5932B9B6E0B08 Time : 0.0 sec. user=mdettweiler [2017-04-22 03:23:20] 663*2^1452350-1 is not prime. Res64: 5C1A3351C7D6DB14 Time : 0.0 sec. user=mdettweiler [2017-04-22 03:23:20] 857*2^1452350-1 is not prime. Res64: 804EDEEAEA852C37 Time : 0.0 sec. user=mdettweiler [2017-04-22 03:23:21] 951*2^1452350-1 is not prime. Res64: A590078D5D77935E Time : 0.0 sec. user=mdettweiler [2017-04-22 03:41:27] 977*2^1452350-1 is not prime. Res64: 3FF5A9F5162FD807 Time : 0.0 sec. user=mdettweiler [2017-04-22 03:41:29] 609*2^1452351-1 is not prime. Res64: 2AF345D31B14D79E Time : 0.0 sec. user=mdettweiler [2017-04-22 03:41:30] 675*2^1452351-1 is not prime. Res64: 298778C8885E02F8 Time : 0.0 sec. user=mdettweiler [2017-04-22 03:41:32] 711*2^1452351-1 is not prime. Res64: 3896E079701D3335 Time : 0.0 sec. user=mdettweiler [2017-04-22 03:41:33] 745*2^1452351-1 is not prime. Res64: C1B6B389A3276FBA Time : 0.0 sec. user=mdettweiler [2017-04-22 03:46:50] 609*2^1452352-1 is not prime. Res64: 015697D983F98AD6 Time : 0.0 sec. user=mdettweiler [2017-04-22 03:46:51] 665*2^1452352-1 is not prime. Res64: 38A3651408A273AE Time : 0.0 sec. user=mdettweiler [2017-04-22 03:46:51] 717*2^1452352-1 is not prime. Res64: A0243DE31DE04322 Time : 0.0 sec. user=mdettweiler [2017-04-22 03:46:52] 857*2^1452352-1 is not prime. Res64: 6FAE3554CADCF28F Time : 0.0 sec. user=mdettweiler [2017-04-22 03:46:53] 715*2^1452353-1 is not prime. Res64: 787C4EDE68070D02 Time : 0.0 sec. user=mdettweiler [2017-04-22 04:07:51] 721*2^1452353-1 is not prime. Res64: 8DC9E36B50FF28E3 Time : 0.0 sec. user=mdettweiler [2017-04-22 04:07:52] 729*2^1452353-1 is not prime. Res64: 9CC0472D34CDDFC4 Time : 0.0 sec. user=mdettweiler [2017-04-22 04:07:52] 735*2^1452353-1 is not prime. Res64: E5F3297582EABED3 Time : 0.0 sec. user=mdettweiler [2017-04-22 04:07:53] 769*2^1452353-1 is not prime. Res64: 6819E61C705374DF Time : 0.0 sec. user=mdettweiler [2017-04-22 04:07:53] 805*2^1452353-1 is not prime. Res64: D070FB4856A52B24 Time : 0.0 sec. user=mdettweiler [2017-04-22 04:26:22] 901*2^1452353-1 is not prime. Res64: D5001E3AB1C87EFC Time : 0.0 sec. user=mdettweiler [2017-04-22 04:26:22] 949*2^1452353-1 is not prime. Res64: 239549988D1CCC16 Time : 0.0 sec. user=mdettweiler [2017-04-22 04:26:23] 663*2^1452354-1 is not prime. Res64: 5118A1C2C3B6CF38 Time : 0.0 sec. user=mdettweiler [2017-04-22 04:26:23] 671*2^1452354-1 is not prime. Res64: 1D0056829944D8EF Time : 0.0 sec. user=mdettweiler [2017-04-22 04:26:23] 821*2^1452354-1 is not prime. Res64: 3E121A38427C45D1 Time : 0.0 sec. user=mdettweiler [2017-04-22 04:31:32] 921*2^1452354-1 is not prime. Res64: E404C5460874F34E Time : 0.0 sec. user=mdettweiler [2017-04-22 04:31:32] 945*2^1452354-1 is not prime. Res64: 0F5C6B7F5892B520 Time : 0.0 sec. user=mdettweiler [2017-04-22 04:31:33] 649*2^1452355-1 is not prime. Res64: 4337E35397B6ED64 Time : 0.0 sec. user=mdettweiler [2017-04-22 04:31:33] 709*2^1452355-1 is not prime. Res64: C8ACDE26310BCDD3 Time : 0.0 sec. user=mdettweiler [2017-04-22 04:31:34] 765*2^1452355-1 is not prime. Res64: AFA7A1D7D9B6767A Time : 0.0 sec. user=juhehe [2017-04-22 04:33:40] 771*2^1452355-1 is not prime. Res64: 8C88965AD5B22B5A Time : 0.0 sec. user=mdettweiler [2017-04-22 04:52:26] 843*2^1452355-1 is not prime. Res64: 959B97B204BA6507 Time : 0.0 sec. user=mdettweiler [2017-04-22 04:52:26] 859*2^1452355-1 is not prime. Res64: CFCFB37501AC14F7 Time : 0.0 sec. user=mdettweiler [2017-04-22 04:52:27] 909*2^1452355-1 is not prime. Res64: 1B89DF097548EA99 Time : 0.0 sec. user=mdettweiler [2017-04-22 04:52:27] 939*2^1452355-1 is not prime. Res64: DA53417878755726 Time : 0.0 sec. user=mdettweiler [2017-04-22 04:52:27] 675*2^1452356-1 is not prime. Res64: 5222D7139A64DE3D Time : 0.0 sec. user=mdettweiler [2017-04-22 05:10:53] 689*2^1452356-1 is not prime. Res64: 36A035E3CD0835F0 Time : 0.0 sec. user=mdettweiler [2017-04-22 05:10:54] 693*2^1452356-1 is not prime. Res64: 38D8FE245FCD9088 Time : 0.0 sec. user=mdettweiler [2017-04-22 05:10:54] 837*2^1452356-1 is not prime. Res64: CF89BC7CE1BCC53C Time : 0.0 sec. user=mdettweiler [2017-04-22 05:10:55] 601*2^1452357-1 is not prime. Res64: C2FEEE35287AF619 Time : 0.0 sec. user=mdettweiler [2017-04-22 05:10:55] 717*2^1452357-1 is not prime. Res64: DFD9D1808C97FFC6 Time : 0.0 sec. user=mdettweiler [2017-04-22 05:16:04] 805*2^1452357-1 is not prime. Res64: EB16F19A679B7088 Time : 0.0 sec. user=mdettweiler [2017-04-22 05:16:04] 945*2^1452357-1 is not prime. Res64: 551BB0E7DE3AA13E Time : 0.0 sec. user=mdettweiler [2017-04-22 05:16:04] 985*2^1452357-1 is not prime. Res64: A64C9B7AE01AE9B2 Time : 0.0 sec. user=mdettweiler [2017-04-22 05:16:05] 635*2^1452358-1 is not prime. Res64: 933EB34A4AF278FC Time : 0.0 sec. user=mdettweiler [2017-04-22 05:16:05] 681*2^1452358-1 is not prime. Res64: 6D7EA8F6C337E604 Time : 0.0 sec. user=mdettweiler [2017-04-22 05:36:58] 843*2^1452358-1 is not prime. Res64: 708418DECCCF8EA5 Time : 0.0 sec. user=mdettweiler [2017-04-22 05:36:58] 863*2^1452358-1 is not prime. Res64: 7BB48966F794FFD0 Time : 0.0 sec. user=mdettweiler [2017-04-22 05:36:58] 621*2^1452359-1 is not prime. Res64: C4609A29D8646330 Time : 0.0 sec. user=mdettweiler [2017-04-22 05:36:59] 693*2^1452359-1 is not prime. Res64: 8DB4D7E0CB538DCF Time : 0.0 sec. user=mdettweiler [2017-04-22 05:36:59] 741*2^1452359-1 is not prime. Res64: 08DEA78E28C9C7EC Time : 0.0 sec. user=mdettweiler [2017-04-22 05:55:25] 799*2^1452359-1 is not prime. Res64: C2D7C4FFE00A0800 Time : 0.0 sec. user=mdettweiler [2017-04-22 05:55:25] 813*2^1452359-1 is not prime. Res64: 47D46F11FA74A39B Time : 0.0 sec. user=mdettweiler [2017-04-22 05:55:26] 895*2^1452359-1 is not prime. Res64: DCA1920EC26153DF Time : 0.0 sec. user=mdettweiler [2017-04-22 05:55:26] 939*2^1452359-1 is not prime. Res64: D831B2D2EA247370 Time : 0.0 sec. user=mdettweiler [2017-04-22 05:55:26] 949*2^1452359-1 is not prime. Res64: E1935E4F35200DD1 Time : 0.0 sec. user=mdettweiler [2017-04-22 06:00:34] 635*2^1452360-1 is not prime. Res64: C8C8C78BC24EAA3B Time : 0.0 sec. user=mdettweiler [2017-04-22 06:00:35] 777*2^1452360-1 is not prime. Res64: C680A69CC95548C4 Time : 0.0 sec. user=mdettweiler [2017-04-22 06:00:36] 819*2^1452360-1 is not prime. Res64: 7551EEA33F7A3EAB Time : 0.0 sec. user=mdettweiler [2017-04-22 06:00:37] 857*2^1452360-1 is not prime. Res64: 3591512081DD8CFF Time : 0.0 sec. user=mdettweiler [2017-04-22 06:00:37] 975*2^1452360-1 is not prime. Res64: 15F1BB7AE73AAD08 Time : 0.0 sec. user=mdettweiler [2017-04-22 06:21:33] 639*2^1452361-1 is not prime. Res64: 09D7DC2A6ED61868 Time : 0.0 sec. user=mdettweiler [2017-04-22 06:21:33] 651*2^1452361-1 is not prime. Res64: 1550FFDC207202D4 Time : 0.0 sec. user=mdettweiler [2017-04-22 06:21:34] 951*2^1452361-1 is not prime. Res64: 157BD9AF66D48D1C Time : 0.0 sec. user=mdettweiler [2017-04-22 06:21:34] 955*2^1452361-1 is not prime. Res64: 4B64B663F03E3676 Time : 0.0 sec. user=mdettweiler [2017-04-22 06:21:34] 975*2^1452361-1 is not prime. Res64: 55545EAB114288EB Time : 0.0 sec. user=juhehe [2017-04-22 06:34:37] 633*2^1452362-1 is not prime. Res64: FE77F9CAF676512F Time : 0.0 sec. user=mdettweiler [2017-04-22 06:39:56] 665*2^1452362-1 is not prime. Res64: 613822C4228FF9BB Time : 0.0 sec. user=mdettweiler [2017-04-22 06:39:56] 743*2^1452362-1 is not prime. Res64: E4837B4B3654C32A Time : 0.0 sec. user=mdettweiler [2017-04-22 06:39:57] 797*2^1452362-1 is not prime. Res64: 1D009A2A836BDE5A Time : 0.0 sec. user=mdettweiler [2017-04-22 06:39:57] 815*2^1452362-1 is not prime. Res64: 1399CDA18C19EC42 Time : 0.0 sec. user=mdettweiler [2017-04-22 06:39:57] 825*2^1452362-1 is not prime. Res64: D04C8312DFE8A7E3 Time : 0.0 sec. user=mdettweiler [2017-04-22 06:45:13] 867*2^1452362-1 is not prime. Res64: B5B5E143075BAB61 Time : 0.0 sec. user=mdettweiler [2017-04-22 06:45:14] 915*2^1452362-1 is not prime. Res64: 1908D646EB752872 Time : 0.0 sec. user=mdettweiler [2017-04-22 06:45:14] 935*2^1452362-1 is not prime. Res64: 103F121EBD3F7383 Time : 0.0 sec. user=mdettweiler [2017-04-22 06:45:14] 953*2^1452362-1 is not prime. Res64: 03B91A1120C06BB8 Time : 0.0 sec. user=mdettweiler [2017-04-22 06:45:15] 963*2^1452362-1 is not prime. Res64: 17DA1770BD78EA21 Time : 0.0 sec. user=mdettweiler [2017-04-22 07:06:06] 1001*2^1452362-1 is not prime. Res64: 167C85393765206F Time : 0.0 sec. user=mdettweiler [2017-04-22 07:06:07] 639*2^1452363-1 is not prime. Res64: 68F4D1C4E7FBB0E1 Time : 0.0 sec. user=mdettweiler [2017-04-22 07:06:08] 675*2^1452363-1 is not prime. Res64: 83161DDF22CA5249 Time : 0.0 sec. user=mdettweiler [2017-04-22 07:06:09] 775*2^1452363-1 is not prime. Res64: 6611E2BF11691CC7 Time : 0.0 sec. user=mdettweiler [2017-04-22 07:06:10] 789*2^1452363-1 is not prime. Res64: ECAE19941C46ED95 Time : 0.0 sec. user=mdettweiler [2017-04-22 07:24:25] 985*2^1452363-1 is not prime. Res64: E0CF0E4AF76A26E8 Time : 0.0 sec. user=mdettweiler [2017-04-22 07:24:26] 719*2^1452364-1 is not prime. Res64: 00020FAEFC5B4848 Time : 0.0 sec. user=mdettweiler [2017-04-22 07:24:26] 855*2^1452364-1 is not prime. Res64: D52D699B5A201ED8 Time : 0.0 sec. user=mdettweiler [2017-04-22 07:24:27] 927*2^1452364-1 is not prime. Res64: D101515621B08C0C Time : 0.0 sec. user=mdettweiler [2017-04-22 07:24:27] 651*2^1452365-1 is not prime. Res64: 7BAB48757622C3A0 Time : 0.0 sec. user=mdettweiler [2017-04-22 07:29:43] 721*2^1452365-1 is not prime. Res64: 56606DE02CD7CF20 Time : 0.0 sec. user=mdettweiler [2017-04-22 07:29:43] 757*2^1452365-1 is not prime. Res64: A5F8F01E25D96068 Time : 0.0 sec. user=mdettweiler [2017-04-22 07:29:43] 795*2^1452365-1 is not prime. Res64: DE47F2033A9B2691 Time : 0.0 sec. user=mdettweiler [2017-04-22 07:29:44] 865*2^1452365-1 is not prime. Res64: 1C028C7ED896671C Time : 0.0 sec. user=mdettweiler [2017-04-22 07:29:44] 955*2^1452365-1 is not prime. Res64: EAFC32A09297C009 Time : 0.0 sec. user=mdettweiler [2017-04-22 07:50:46] 741*2^1452366-1 is not prime. Res64: 4DB0DAC2C862BCC3 Time : 0.0 sec. user=mdettweiler [2017-04-22 07:50:46] 833*2^1452366-1 is not prime. Res64: 70E100FD961654CC Time : 0.0 sec. user=mdettweiler [2017-04-22 07:50:46] 921*2^1452366-1 is not prime. Res64: CA961059AB2A55BB Time : 0.0 sec. user=mdettweiler [2017-04-22 07:50:47] 645*2^1452367-1 is not prime. Res64: F94808C5C4BD1BF1 Time : 0.0 sec. user=mdettweiler [2017-04-22 07:50:47] 673*2^1452367-1 is not prime. Res64: FB5F849D2236D70D Time : 0.0 sec. user=mdettweiler [2017-04-22 08:08:58] 735*2^1452367-1 is not prime. Res64: 8F772CC5E595099B Time : 0.0 sec. user=mdettweiler [2017-04-22 08:08:58] 759*2^1452367-1 is not prime. Res64: 95EEE245875E0C33 Time : 0.0 sec. user=mdettweiler [2017-04-22 08:08:59] 793*2^1452367-1 is not prime. Res64: D8A6381BC5777D6C Time : 0.0 sec. user=mdettweiler [2017-04-22 08:08:59] 885*2^1452367-1 is not prime. Res64: 1D37AB4EBD4C02E4 Time : 0.0 sec. user=mdettweiler [2017-04-22 08:09:00] 973*2^1452367-1 is not prime. Res64: 9CDFC26BA020E0EE Time : 0.0 sec. user=mdettweiler [2017-04-22 08:14:16] 975*2^1452367-1 is not prime. Res64: 9D2482457E305A47 Time : 0.0 sec. user=mdettweiler [2017-04-22 08:14:17] 985*2^1452367-1 is not prime. Res64: 57921BF4DDC59545 Time : 0.0 sec. user=mdettweiler [2017-04-22 08:14:17] 993*2^1452367-1 is not prime. Res64: 010B4853578EDDA5 Time : 0.0 sec. user=mdettweiler [2017-04-22 08:14:17] 663*2^1452368-1 is not prime. Res64: EC2FD2205F200CE6 Time : 0.0 sec. user=mdettweiler [2017-04-22 08:14:18] 669*2^1452368-1 is not prime. Res64: 2F3294339A8FC92E Time : 0.0 sec. user=mdettweiler [2017-04-22 08:35:20] 725*2^1452368-1 is not prime. Res64: BE0E0650D24698B7 Time : 0.0 sec. user=mdettweiler [2017-04-22 08:35:21] 945*2^1452368-1 is not prime. Res64: A66A95EFF8B961D1 Time : 0.0 sec. user=mdettweiler [2017-04-22 08:35:21] 957*2^1452368-1 is not prime. Res64: EEF5245776003FAA Time : 0.0 sec. user=mdettweiler [2017-04-22 08:35:22] 657*2^1452369-1 is not prime. Res64: 382FB56547D096DE Time : 0.0 sec. user=mdettweiler [2017-04-22 08:35:22] 669*2^1452369-1 is not prime. Res64: 36AFF37254C6A9E5 Time : 0.0 sec. user=mdettweiler [2017-04-22 08:53:58] 705*2^1452369-1 is not prime. Res64: 58FBD984F7959C4E Time : 0.0 sec. user=mdettweiler [2017-04-22 08:53:59] 781*2^1452369-1 is not prime. Res64: BA7964EA906452AA Time : 0.0 sec. user=mdettweiler [2017-04-22 08:53:59] 787*2^1452369-1 is not prime. Res64: 5B38C77FE51A85B7 Time : 0.0 sec. user=mdettweiler [2017-04-22 08:54:00] 789*2^1452369-1 is not prime. Res64: FB019BA90969D276 Time : 0.0 sec. user=mdettweiler [2017-04-22 08:54:00] 885*2^1452369-1 is not prime. Res64: E729FF8ECE0181F2 Time : 0.0 sec. user=mdettweiler [2017-04-22 08:59:10] 889*2^1452369-1 is not prime. Res64: AAB92B43514A71B1 Time : 0.0 sec. user=mdettweiler [2017-04-22 08:59:10] 969*2^1452369-1 is not prime. Res64: 4E11D16EFEFE77E8 Time : 0.0 sec. user=mdettweiler [2017-04-22 08:59:10] 713*2^1452370-1 is not prime. Res64: EBD3C9DD84906FC9 Time : 0.0 sec. user=mdettweiler [2017-04-22 08:59:11] 717*2^1452370-1 is not prime. Res64: AA8304D40002F478 Time : 0.0 sec. user=mdettweiler [2017-04-22 08:59:11] 827*2^1452370-1 is not prime. Res64: 3902DDA40F16DCD9 Time : 0.0 sec. user=juhehe [2017-04-22 09:19:21] 955*2^1452371-1 is not prime. Res64: CF874AA918931D1D Time : 0.0 sec. user=mdettweiler [2017-04-22 09:20:14] 831*2^1452370-1 is not prime. Res64: 0C6F7C51BF30E58F Time : 0.0 sec. user=mdettweiler [2017-04-22 09:20:15] 855*2^1452370-1 is not prime. Res64: 5EF148AC1F652B97 Time : 0.0 sec. user=mdettweiler [2017-04-22 09:20:15] 933*2^1452370-1 is not prime. Res64: 9725AC7321232FE5 Time : 0.0 sec. user=mdettweiler [2017-04-22 09:20:15] 615*2^1452371-1 is not prime. Res64: AC791FB8E3CE5540 Time : 0.0 sec. user=mdettweiler [2017-04-22 09:20:16] 663*2^1452371-1 is not prime. Res64: CC685147A67BE85A Time : 0.0 sec. user=mdettweiler [2017-04-22 09:38:28] 999*2^1452371-1 is not prime. Res64: B4551AA37E8A6612 Time : 0.0 sec. user=mdettweiler [2017-04-22 09:38:28] 633*2^1452372-1 is not prime. Res64: F48C2EF732C33F46 Time : 0.0 sec. user=mdettweiler [2017-04-22 09:38:29] 689*2^1452372-1 is not prime. Res64: 90D480CFC41B0FFE Time : 0.0 sec. user=mdettweiler [2017-04-22 09:38:29] 819*2^1452372-1 is not prime. Res64: 34C27B0C330FC3D4 Time : 0.0 sec. user=mdettweiler [2017-04-22 09:38:30] 879*2^1452372-1 is not prime. Res64: F820F35486A05789 Time : 0.0 sec. user=mdettweiler [2017-04-22 09:43:40] 899*2^1452372-1 is not prime. Res64: 01003E61CB50C7C8 Time : 0.0 sec. user=mdettweiler [2017-04-22 09:43:40] 909*2^1452372-1 is not prime. Res64: D0F152484CF7F586 Time : 0.0 sec. user=mdettweiler [2017-04-22 09:43:41] 649*2^1452373-1 is not prime. Res64: E1C762D1901F7A3B Time : 0.0 sec. user=mdettweiler [2017-04-22 09:43:41] 741*2^1452373-1 is not prime. Res64: 590F253E7F576923 Time : 0.0 sec. user=mdettweiler [2017-04-22 09:43:41] 805*2^1452373-1 is not prime. Res64: A89CC2E1203040DC Time : 0.0 sec. user=juhehe [2017-04-22 09:59:01] 835*2^1452373-1 is not prime. Res64: C6FCAF3A55743CDE Time : 0.0 sec. user=mdettweiler [2017-04-22 10:04:50] 861*2^1452373-1 is not prime. Res64: F6A0C6CB80241913 Time : 0.0 sec. user=mdettweiler [2017-04-22 10:04:52] 919*2^1452373-1 is not prime. Res64: 68A7451F8E7FA817 Time : 0.0 sec. user=mdettweiler [2017-04-22 10:04:53] 605*2^1452374-1 is not prime. Res64: E2CF508583422A60 Time : 0.0 sec. user=mdettweiler [2017-04-22 10:04:54] 935*2^1452374-1 is not prime. Res64: 780B5DCE6A991C7E Time : 0.0 sec. user=mdettweiler [2017-04-22 10:04:54] 945*2^1452374-1 is not prime. Res64: B2D8D8E1BD076EDD Time : 0.0 sec. user=mdettweiler [2017-04-22 10:23:00] 953*2^1452374-1 is not prime. Res64: 212C4FF4F08C9ECA Time : 0.0 sec. user=mdettweiler [2017-04-22 10:23:01] 957*2^1452374-1 is not prime. Res64: 37A7F77918902218 Time : 0.0 sec. user=mdettweiler [2017-04-22 10:23:01] 983*2^1452374-1 is not prime. Res64: AFAE824EC1EACF7D Time : 0.0 sec. user=mdettweiler [2017-04-22 10:23:02] 669*2^1452375-1 is not prime. Res64: CBE2A93693B1DDD9 Time : 0.0 sec. user=mdettweiler [2017-04-22 10:23:02] 691*2^1452375-1 is not prime. Res64: E8BE7F6A22E783E7 Time : 0.0 sec. user=mdettweiler [2017-04-22 10:28:12] 765*2^1452375-1 is not prime. Res64: DBB5707D392E4840 Time : 0.0 sec. user=mdettweiler [2017-04-22 10:28:13] 783*2^1452375-1 is not prime. Res64: A5501635E56390F3 Time : 0.0 sec. user=mdettweiler [2017-04-22 10:28:13] 823*2^1452375-1 is not prime. Res64: BD895EF06CA06244 Time : 0.0 sec. user=mdettweiler [2017-04-22 10:28:14] 825*2^1452375-1 is not prime. Res64: 1ABCEDA1D5F35BA2 Time : 0.0 sec. user=mdettweiler [2017-04-22 10:28:14] 859*2^1452375-1 is not prime. Res64: 23A5A34AB51D2929 Time : 0.0 sec. user=mdettweiler [2017-04-22 10:49:31] 891*2^1452375-1 is not prime. Res64: 07012C667C7FD387 Time : 0.0 sec. user=mdettweiler [2017-04-22 10:49:32] 921*2^1452375-1 is not prime. Res64: D5796218649FF809 Time : 0.0 sec. user=mdettweiler [2017-04-22 10:49:32] 755*2^1452376-1 is not prime. Res64: 713C0F5DFC631E83 Time : 0.0 sec. user=mdettweiler [2017-04-22 10:49:33] 759*2^1452376-1 is not prime. Res64: 7C5E54249C50B257 Time : 0.0 sec. user=mdettweiler [2017-04-22 10:49:33] 803*2^1452376-1 is not prime. Res64: 10FDE2467871771E Time : 0.0 sec. user=mdettweiler [2017-04-22 11:07:34] 905*2^1452376-1 is not prime. Res64: 55905D30F6B0610B Time : 0.0 sec. user=mdettweiler [2017-04-22 11:07:34] 669*2^1452377-1 is not prime. Res64: 3944EC1E4B5DF589 Time : 0.0 sec. user=mdettweiler [2017-04-22 11:07:35] 777*2^1452377-1 is not prime. Res64: DC63900561593F72 Time : 0.0 sec. user=mdettweiler [2017-04-22 11:07:35] 781*2^1452377-1 is not prime. Res64: 1B987020FF92E1A8 Time : 0.0 sec. user=mdettweiler [2017-04-22 11:07:36] 847*2^1452377-1 is not prime. Res64: CAD545283E795743 Time : 0.0 sec. user=mdettweiler [2017-04-22 11:12:42] 885*2^1452377-1 is not prime. Res64: 09A3668B2F8A377D Time : 0.0 sec. user=mdettweiler [2017-04-22 11:12:42] 889*2^1452377-1 is not prime. Res64: 83B2B46C72003CEA Time : 0.0 sec. user=mdettweiler [2017-04-22 11:12:43] 991*2^1452377-1 is not prime. Res64: BF49BDDDF052123E Time : 0.0 sec. user=mdettweiler [2017-04-22 11:12:43] 605*2^1452378-1 is not prime. Res64: 44898B073109FB21 Time : 0.0 sec. user=mdettweiler [2017-04-22 11:12:43] 735*2^1452378-1 is not prime. Res64: ADBE60FA535A6D19 Time : 0.0 sec. user=mdettweiler [2017-04-22 11:34:02] 797*2^1452378-1 is not prime. Res64: 36890ECF9AAF5573 Time : 0.0 sec. user=mdettweiler [2017-04-22 11:34:02] 815*2^1452378-1 is not prime. Res64: B679E531C80AE82C Time : 0.0 sec. user=mdettweiler [2017-04-22 11:34:03] 833*2^1452378-1 is not prime. Res64: A75F8674F1733132 Time : 0.0 sec. user=mdettweiler [2017-04-22 11:34:03] 631*2^1452379-1 is not prime. Res64: 18E26650ADBE567A Time : 0.0 sec. user=mdettweiler [2017-04-22 11:34:04] 775*2^1452379-1 is not prime. Res64: C949CE785961A70A Time : 0.0 sec. user=mdettweiler [2017-04-22 11:52:09] 919*2^1452379-1 is not prime. Res64: 6C0EA74D4066760B Time : 0.0 sec. user=mdettweiler [2017-04-22 11:52:09] 973*2^1452379-1 is not prime. Res64: 73E2CE5BC5A4A4EE Time : 0.0 sec. user=mdettweiler [2017-04-22 11:52:10] 609*2^1452380-1 is not prime. Res64: 66463CACE7E32034 Time : 0.0 sec. user=mdettweiler [2017-04-22 11:52:10] 647*2^1452380-1 is not prime. Res64: 8D101E4A141ED890 Time : 0.0 sec. user=mdettweiler [2017-04-22 11:52:11] 687*2^1452380-1 is not prime. Res64: 3A75FBB8A08B9DD0 Time : 0.0 sec. user=mdettweiler [2017-04-22 11:57:12] 777*2^1452380-1 is not prime. Res64: 00C43D9290216987 Time : 0.0 sec. user=mdettweiler [2017-04-22 11:57:13] 789*2^1452380-1 is not prime. Res64: 96EA1361E76578F4 Time : 0.0 sec. user=mdettweiler [2017-04-22 11:57:13] 957*2^1452380-1 is not prime. Res64: 5166982428936818 Time : 0.0 sec. user=mdettweiler [2017-04-22 11:57:14] 615*2^1452381-1 is not prime. Res64: C3919DCAC46124EE Time : 0.0 sec. user=mdettweiler [2017-04-22 11:57:14] 649*2^1452381-1 is not prime. Res64: E844219F9971CA2A Time : 0.0 sec. user=juhehe [2017-04-22 11:57:40] 685*2^1452381-1 is not prime. Res64: C1CA43F2390920C5 Time : 0.0 sec. user=mdettweiler [2017-04-22 12:18:35] 691*2^1452381-1 is not prime. Res64: DCFA7CEE4FF5C40E Time : 0.0 sec. user=mdettweiler [2017-04-22 12:18:35] 741*2^1452381-1 is not prime. Res64: B53BCB83CA81A73A Time : 0.0 sec. user=mdettweiler [2017-04-22 12:18:36] 781*2^1452381-1 is not prime. Res64: C49D23C5958C72C8 Time : 0.0 sec. user=mdettweiler [2017-04-22 12:18:36] 861*2^1452381-1 is not prime. Res64: 1EF38EC02727FA4B Time : 0.0 sec. user=mdettweiler [2017-04-22 12:18:37] 961*2^1452381-1 is not prime. Res64: 03303803F9A3C0EE Time : 0.0 sec. user=mdettweiler [2017-04-22 12:36:41] 647*2^1452382-1 is not prime. Res64: 0018E38A5248746C Time : 0.0 sec. user=mdettweiler [2017-04-22 12:36:42] 755*2^1452382-1 is not prime. Res64: ADC640C3DEF9ACA7 Time : 0.0 sec. user=mdettweiler [2017-04-22 12:36:42] 785*2^1452382-1 is not prime. Res64: 1C784C1F0005E020 Time : 0.0 sec. user=mdettweiler [2017-04-22 12:36:43] 911*2^1452382-1 is not prime. Res64: DD3803254845C660 Time : 0.0 sec. user=mdettweiler [2017-04-22 12:36:43] 947*2^1452382-1 is not prime. Res64: 756FC54354FF7D6E Time : 0.0 sec. user=mdettweiler [2017-04-22 12:41:42] 975*2^1452382-1 is not prime. Res64: D0C5F0DFCAB64940 Time : 0.0 sec. user=mdettweiler [2017-04-22 12:41:42] 981*2^1452382-1 is not prime. Res64: 105A807F24A26C12 Time : 0.0 sec. user=mdettweiler [2017-04-22 12:41:43] 685*2^1452383-1 is not prime. Res64: EAC9EB2546C7692D Time : 0.0 sec. user=mdettweiler [2017-04-22 12:41:43] 729*2^1452383-1 is not prime. Res64: AA9FCC165A22235A Time : 0.0 sec. user=mdettweiler [2017-04-22 12:41:43] 739*2^1452383-1 is not prime. Res64: 077D237E716E3DEB Time : 0.0 sec. user=mdettweiler [2017-04-22 13:03:09] 753*2^1452383-1 is not prime. Res64: EDBC4309C334E5E2 Time : 0.0 sec. user=mdettweiler [2017-04-22 13:03:10] 775*2^1452383-1 is not prime. Res64: B8B2808962ECB42F Time : 0.0 sec. user=mdettweiler [2017-04-22 13:03:11] 831*2^1452383-1 is not prime. Res64: BFD5B83A97EAA1D5 Time : 0.0 sec. user=mdettweiler [2017-04-22 13:03:12] 859*2^1452383-1 is not prime. Res64: 6E272D64ED39B9BC Time : 0.0 sec. user=mdettweiler [2017-04-22 13:03:13] 913*2^1452383-1 is not prime. Res64: 8D60971B0DE225B5 Time : 0.0 sec. user=mdettweiler [2017-04-22 13:21:15] 943*2^1452383-1 is not prime. Res64: 5470D1BECCF8BDFC Time : 0.0 sec. user=mdettweiler [2017-04-22 13:21:15] 945*2^1452383-1 is not prime. Res64: 95D290D72E71A6DD Time : 0.0 sec. user=mdettweiler [2017-04-22 13:21:15] 963*2^1452383-1 is not prime. Res64: A32E3E53226B6AAB Time : 0.0 sec. user=mdettweiler [2017-04-22 13:21:16] 981*2^1452383-1 is not prime. Res64: FE57431C7307FF38 Time : 0.0 sec. user=mdettweiler [2017-04-22 13:21:16] 985*2^1452383-1 is not prime. Res64: 1FF4985494A8308B Time : 0.0 sec. user=mdettweiler [2017-04-22 13:26:13] 627*2^1452384-1 is not prime. Res64: 6284B7C4EC543ED1 Time : 0.0 sec. user=mdettweiler [2017-04-22 13:26:14] 663*2^1452384-1 is not prime. Res64: 81B3E41CFF959446 Time : 0.0 sec. user=mdettweiler [2017-04-22 13:26:14] 689*2^1452384-1 is not prime. Res64: CDAF091FC9497F39 Time : 0.0 sec. user=mdettweiler [2017-04-22 13:26:14] 923*2^1452384-1 is not prime. Res64: 25AE55D054B6BCA1 Time : 0.0 sec. user=mdettweiler [2017-04-22 13:26:15] 957*2^1452384-1 is not prime. Res64: 79FECF8B31B51B0B Time : 0.0 sec. user=mdettweiler [2017-04-22 13:48:06] 649*2^1452385-1 is not prime. Res64: 717C503CFB10D78C Time : 0.0 sec. user=mdettweiler [2017-04-22 13:48:06] 699*2^1452385-1 is not prime. Res64: 192754AA48E67DEB Time : 0.0 sec. user=mdettweiler [2017-04-22 13:48:06] 729*2^1452385-1 is not prime. Res64: BB4D253B09677137 Time : 0.0 sec. user=mdettweiler [2017-04-22 13:48:07] 771*2^1452385-1 is not prime. Res64: 870DFFACE8EFCA8A Time : 0.0 sec. user=mdettweiler [2017-04-22 13:48:07] 919*2^1452385-1 is not prime. Res64: A08BB0A74BBE080C Time : 0.0 sec. user=juhehe [2017-04-22 14:00:28] 925*2^1452385-1 is not prime. Res64: 6E54B1E78C0F852E Time : 0.0 sec. user=mdettweiler [2017-04-22 14:05:49] 975*2^1452385-1 is not prime. Res64: 6EB1B4B0BD17A781 Time : 0.0 sec. user=mdettweiler [2017-04-22 14:05:50] 705*2^1452386-1 is not prime. Res64: B6FBCF9DCEE58172 Time : 0.0 sec. user=mdettweiler [2017-04-22 14:05:51] 773*2^1452386-1 is not prime. Res64: 87317D25113CCA98 Time : 0.0 sec. user=mdettweiler [2017-04-22 14:05:52] 981*2^1452386-1 is not prime. Res64: 70083911E331BCB9 Time : 0.0 sec. user=mdettweiler [2017-04-22 14:05:53] 751*2^1452387-1 is not prime. Res64: 2D8DC2CD62698F24 Time : 0.0 sec. user=mdettweiler [2017-04-22 14:10:52] 931*2^1452387-1 is not prime. Res64: E0B59C23851F1A53 Time : 0.0 sec. user=mdettweiler [2017-04-22 14:10:52] 765*2^1452388-1 is not prime. Res64: CAB2B15344C7174E Time : 0.0 sec. user=mdettweiler [2017-04-22 14:10:53] 957*2^1452388-1 is not prime. Res64: E41E8E5896C7510B Time : 0.0 sec. user=mdettweiler [2017-04-22 14:10:53] 959*2^1452388-1 is not prime. Res64: 23E4E4400C2788B7 Time : 0.0 sec. user=mdettweiler [2017-04-22 14:10:54] 631*2^1452389-1 is not prime. Res64: F59FB68D05FE6694 Time : 0.0 sec. user=mdettweiler [2017-04-22 14:32:40] 721*2^1452389-1 is not prime. Res64: 41EB5BE91D1A80B3 Time : 0.0 sec. user=mdettweiler [2017-04-22 14:32:40] 889*2^1452389-1 is not prime. Res64: F017B15B69C85C62 Time : 0.0 sec. user=mdettweiler [2017-04-22 14:32:41] 955*2^1452389-1 is not prime. Res64: 1E5F81106B034109 Time : 0.0 sec. user=mdettweiler [2017-04-22 14:32:41] 957*2^1452389-1 is not prime. Res64: 2A91AFC65ABD0E8A Time : 0.0 sec. user=mdettweiler [2017-04-22 14:32:41] 615*2^1452390-1 is not prime. Res64: B75054EA9C58669E Time : 0.0 sec. user=mdettweiler [2017-04-22 14:50:36] 791*2^1452390-1 is not prime. Res64: FC9BA55E2BAE8BF8 Time : 0.0 sec. user=mdettweiler [2017-04-22 14:50:36] 843*2^1452390-1 is not prime. Res64: 4E0EB2BFB4A058A6 Time : 0.0 sec. user=mdettweiler [2017-04-22 14:50:37] 845*2^1452390-1 is not prime. Res64: 49F23B02A6C13A33 Time : 0.0 sec. user=mdettweiler [2017-04-22 14:50:37] 971*2^1452390-1 is not prime. Res64: 0F0AB1E9CFCC9F0D Time : 0.0 sec. user=mdettweiler [2017-04-22 14:50:38] 977*2^1452390-1 is not prime. Res64: 00B05066C55A8EF3 Time : 0.0 sec. user=mdettweiler [2017-04-22 14:55:28] 1001*2^1452390-1 is not prime. Res64: AA59EEF9E21A2114 Time : 0.0 sec. user=mdettweiler [2017-04-22 14:55:28] 645*2^1452391-1 is not prime. Res64: DBC2EB5C4DE60C18 Time : 0.0 sec. user=mdettweiler [2017-04-22 14:55:29] 663*2^1452391-1 is not prime. Res64: C2B24C73F9CACE28 Time : 0.0 sec. user=mdettweiler [2017-04-22 14:55:29] 673*2^1452391-1 is not prime. Res64: F13B5CED1C374FC1 Time : 0.0 sec. user=mdettweiler [2017-04-22 14:55:29] 675*2^1452391-1 is not prime. Res64: A391104479A9CAD0 Time : 0.0 sec. user=mdettweiler [2017-04-22 15:17:12] 705*2^1452391-1 is not prime. Res64: CEA5DB16ED65223C Time : 0.0 sec. user=mdettweiler [2017-04-22 15:17:13] 759*2^1452391-1 is not prime. Res64: 49214D9A181821E1 Time : 0.0 sec. user=mdettweiler [2017-04-22 15:17:13] 849*2^1452391-1 is not prime. Res64: BB61A65C93469EAB Time : 0.0 sec. user=mdettweiler [2017-04-22 15:17:14] 909*2^1452391-1 is not prime. Res64: 996582AC2DFBE7FA Time : 0.0 sec. user=mdettweiler [2017-04-22 15:17:14] 979*2^1452391-1 is not prime. Res64: B94465F91610E6E7 Time : 0.0 sec. user=juhehe [2017-04-22 15:26:15] 999*2^1452391-1 is not prime. Res64: 2FF45BEE8D4BD763 Time : 0.0 sec. user=mdettweiler [2017-04-22 15:35:07] 767*2^1452392-1 is not prime. Res64: 509FF597BC6B1468 Time : 0.0 sec. user=mdettweiler [2017-04-22 15:35:07] 893*2^1452392-1 is not prime. Res64: BB27A2E4077BE8EE Time : 0.0 sec. user=mdettweiler [2017-04-22 15:35:08] 935*2^1452392-1 is not prime. Res64: 5019EA4E16D82D0F Time : 0.0 sec. user=mdettweiler [2017-04-22 15:35:08] 999*2^1452392-1 is not prime. Res64: D7ED3555A152B805 Time : 0.0 sec. user=mdettweiler [2017-04-22 15:35:09] 627*2^1452393-1 is not prime. Res64: B156CC08B91DECE9 Time : 0.0 sec. user=mdettweiler [2017-04-22 15:40:00] 649*2^1452393-1 is not prime. Res64: 9A65B4193108B7F5 Time : 0.0 sec. user=mdettweiler [2017-04-22 15:40:01] 633*2^1452394-1 is not prime. Res64: 10A07EEAADC518CF Time : 0.0 sec. user=mdettweiler [2017-04-22 15:40:01] 723*2^1452394-1 is not prime. Res64: F7461712FC4F7408 Time : 0.0 sec. user=mdettweiler [2017-04-22 15:40:01] 791*2^1452394-1 is not prime. Res64: E37D4EA3D1E65873 Time : 0.0 sec. user=mdettweiler [2017-04-22 15:40:02] 825*2^1452394-1 is not prime. Res64: B631AD082E46B64A Time : 0.0 sec. user=mdettweiler [2017-04-22 16:01:48] 881*2^1452394-1 is not prime. Res64: 501C74F67F5C6081 Time : 0.0 sec. user=mdettweiler [2017-04-22 16:01:49] 887*2^1452394-1 is not prime. Res64: 53EB1DB6EFD648CF Time : 0.0 sec. user=mdettweiler [2017-04-22 16:01:50] 905*2^1452394-1 is not prime. Res64: B06D3F360955A9D1 Time : 0.0 sec. user=mdettweiler [2017-04-22 16:01:50] 651*2^1452395-1 is not prime. Res64: 5E980FEE4D6AB4BC Time : 0.0 sec. user=mdettweiler [2017-04-22 16:01:51] 705*2^1452395-1 is not prime. Res64: A550CFCE6EC7D38C Time : 0.0 sec. user=juhehe [2017-04-22 16:02:30] 799*2^1452395-1 is not prime. Res64: 06A581AC9E431829 Time : 0.0 sec. user=mdettweiler [2017-04-22 16:19:44] 943*2^1452395-1 is not prime. Res64: 4B73CBB7D8095E40 Time : 0.0 sec. user=mdettweiler [2017-04-22 16:19:45] 693*2^1452396-1 is not prime. Res64: 20703ED16CE988CF Time : 0.0 sec. user=mdettweiler [2017-04-22 16:19:45] 839*2^1452396-1 is not prime. Res64: F9840B5E4BAE6853 Time : 0.0 sec. user=mdettweiler [2017-04-22 16:19:45] 887*2^1452396-1 is not prime. Res64: 3B6AA960028ADCD3 Time : 0.0 sec. user=mdettweiler [2017-04-22 16:19:46] 923*2^1452396-1 is not prime. Res64: D9C0AE44AE414F4C Time : 0.0 sec. user=mdettweiler [2017-04-22 16:24:39] 625*2^1452397-1 is not prime. Res64: 84F6FB8C10EB3C56 Time : 0.0 sec. user=mdettweiler [2017-04-22 16:24:40] 675*2^1452397-1 is not prime. Res64: 4E75E57AF8A33C9B Time : 0.0 sec. user=mdettweiler [2017-04-22 16:24:40] 691*2^1452397-1 is not prime. Res64: CE4045F7D4AE9CD7 Time : 0.0 sec. user=mdettweiler [2017-04-22 16:24:40] 741*2^1452397-1 is not prime. Res64: 11F19D36D002469A Time : 0.0 sec. user=mdettweiler [2017-04-22 16:24:41] 831*2^1452397-1 is not prime. Res64: 4259D0EE67378FCF Time : 0.0 sec. user=mdettweiler [2017-04-22 16:47:22] 937*2^1452397-1 is not prime. Res64: C60F4FB4D14DE4FA Time : 0.0 sec. user=mdettweiler [2017-04-22 16:47:22] 979*2^1452397-1 is not prime. Res64: F2320570462A0571 Time : 0.0 sec. user=mdettweiler [2017-04-22 16:47:22] 999*2^1452397-1 is not prime. Res64: BE300D1DD10E8A5F Time : 0.0 sec. user=mdettweiler [2017-04-22 16:47:22] 623*2^1452398-1 is not prime. Res64: 2117E67056189BF1 Time : 0.0 sec. user=mdettweiler [2017-04-22 16:47:22] 645*2^1452398-1 is not prime. Res64: 3317F990A1B4F647 Time : 0.0 sec. user=mdettweiler [2017-04-22 17:05:58] 657*2^1452398-1 is not prime. Res64: 58E8CCF8D36FDEB0 Time : 0.0 sec. user=mdettweiler [2017-04-22 17:05:59] 671*2^1452398-1 is not prime. Res64: 976AA136AE17EC28 Time : 0.0 sec. user=mdettweiler [2017-04-22 17:05:59] 813*2^1452398-1 is not prime. Res64: 15FB04AB12EF9A6A Time : 0.0 sec. user=mdettweiler [2017-04-22 17:06:00] 815*2^1452398-1 is not prime. Res64: 3768A81E1D22992B Time : 0.0 sec. user=mdettweiler [2017-04-22 17:06:00] 831*2^1452398-1 is not prime. Res64: 42AEFCC2FFA5E737 Time : 0.0 sec. user=mdettweiler [2017-04-22 17:11:02] 897*2^1452398-1 is not prime. Res64: 72757F71F9CFE73D Time : 0.0 sec. user=mdettweiler [2017-04-22 17:11:03] 609*2^1452399-1 is not prime. Res64: 0D36AE2330C01B5F Time : 0.0 sec. user=mdettweiler [2017-04-22 17:11:03] 741*2^1452399-1 is not prime. Res64: DFFCCEACFA834EF0 Time : 0.0 sec. user=mdettweiler [2017-04-22 17:11:04] 751*2^1452399-1 is not prime. Res64: 3C609FC8240FD839 Time : 0.0 sec. user=mdettweiler [2017-04-22 17:11:04] 909*2^1452399-1 is not prime. Res64: A8A9E5E8084F4DED Time : 0.0 sec. user=juhehe [2017-04-22 17:22:00] 933*2^1452399-1 is not prime. Res64: E4378DFFB6ED3BD4 Time : 0.0 sec. user=mdettweiler [2017-04-22 17:33:45] 713*2^1452400-1 is not prime. Res64: FBAB090CF0FB1FFF Time : 0.0 sec. user=mdettweiler [2017-04-22 17:33:45] 717*2^1452400-1 is not prime. Res64: A33DF28FAEC886CE Time : 0.0 sec. user=mdettweiler [2017-04-22 17:33:45] 743*2^1452400-1 is not prime. Res64: 0D3230D58E4C76B5 Time : 0.0 sec. user=mdettweiler [2017-04-22 17:33:46] 785*2^1452400-1 is not prime. Res64: C4B87CB67929409A Time : 0.0 sec. user=mdettweiler [2017-04-22 17:33:46] 839*2^1452400-1 is not prime. Res64: 889ACEF2F19B983D Time : 0.0 sec. user=mdettweiler [2017-04-22 17:52:39] 939*2^1452400-1 is not prime. Res64: 28D185A88409A5CD Time : 0.0 sec. user=mdettweiler [2017-04-22 17:52:39] 957*2^1452400-1 is not prime. Res64: 729B537716143A20 Time : 0.0 sec. user=mdettweiler [2017-04-22 17:52:39] 645*2^1452401-1 is not prime. Res64: 674EA38C05887288 Time : 0.0 sec. user=mdettweiler [2017-04-22 17:52:40] 799*2^1452401-1 is not prime. Res64: CDFF0573C673C9E5 Time : 0.0 sec. user=mdettweiler [2017-04-22 17:52:40] 861*2^1452401-1 is not prime. Res64: A43076314131490A Time : 0.0 sec. user=mdettweiler [2017-04-22 17:57:40] 867*2^1452401-1 is not prime. Res64: 4EE39BABE09E4C32 Time : 0.0 sec. user=mdettweiler [2017-04-22 17:57:40] 925*2^1452401-1 is not prime. Res64: 47C56A3E9CCE8A6E Time : 0.0 sec. user=mdettweiler [2017-04-22 17:57:41] 957*2^1452401-1 is not prime. Res64: 2BDAF84D4D8D2E02 Time : 0.0 sec. user=mdettweiler [2017-04-22 17:57:41] 671*2^1452402-1 is not prime. Res64: CFE553BF9DBC9ECE Time : 0.0 sec. user=mdettweiler [2017-04-22 17:57:41] 679*2^1452403-1 is not prime. Res64: 38379585FF828DF7 Time : 0.0 sec. user=mdettweiler [2017-04-22 18:20:36] 783*2^1452403-1 is not prime. Res64: EDCD77B7D9531E5E Time : 0.0 sec. user=mdettweiler [2017-04-22 18:20:36] 793*2^1452403-1 is not prime. Res64: D2AC421A97CEBE82 Time : 0.0 sec. user=mdettweiler [2017-04-22 18:20:36] 859*2^1452403-1 is not prime. Res64: D6CB16F6FF1DEBC8 Time : 0.0 sec. user=mdettweiler [2017-04-22 18:20:37] 939*2^1452403-1 is not prime. Res64: A5873437B9641C74 Time : 0.0 sec. user=mdettweiler [2017-04-22 18:20:37] 999*2^1452403-1 is not prime. Res64: 8DE20A136019DB10 Time : 0.0 sec. user=mdettweiler [2017-04-22 18:39:09] 789*2^1452404-1 is not prime. Res64: C14E56EBC96FF01D Time : 0.0 sec. user=mdettweiler [2017-04-22 18:39:09] 833*2^1452404-1 is not prime. Res64: 4CFAEB21F45786DA Time : 0.0 sec. user=mdettweiler [2017-04-22 18:39:09] 959*2^1452404-1 is not prime. Res64: 8760F4E019F6E6CA Time : 0.0 sec. user=mdettweiler [2017-04-22 18:39:09] 675*2^1452405-1 is not prime. Res64: 10D7D434FDF068AC Time : 0.0 sec. user=mdettweiler [2017-04-22 18:39:10] 849*2^1452405-1 is not prime. Res64: F1E5A34350286110 Time : 0.0 sec. user=mdettweiler [2017-04-22 18:44:07] 891*2^1452405-1 is not prime. Res64: C040A6980015D926 Time : 0.0 sec. user=mdettweiler [2017-04-22 18:44:07] 955*2^1452405-1 is not prime. Res64: E0847C1C20B4EB69 Time : 0.0 sec. user=mdettweiler [2017-04-22 18:44:07] 635*2^1452406-1 is not prime. Res64: 50EA33D36E4D790D Time : 0.0 sec. user=mdettweiler [2017-04-22 18:44:08] 857*2^1452406-1 is not prime. Res64: C5EED5D517AA221A Time : 0.0 sec. user=mdettweiler [2017-04-22 18:44:08] 873*2^1452406-1 is not prime. Res64: 2D5589AA860F0C21 Time : 0.0 sec. user=mdettweiler [2017-04-22 19:07:00] 917*2^1452406-1 is not prime. Res64: 5C82014B6E14EF54 Time : 0.0 sec. user=mdettweiler [2017-04-22 19:07:01] 941*2^1452406-1 is not prime. Res64: 3637FD7DDEF9C967 Time : 0.0 sec. user=mdettweiler [2017-04-22 19:07:01] 983*2^1452406-1 is not prime. Res64: 43ED4F9527BA4BF9 Time : 0.0 sec. user=mdettweiler [2017-04-22 19:07:02] 987*2^1452406-1 is not prime. Res64: C85B7022F6D24A8F Time : 0.0 sec. user=mdettweiler [2017-04-22 19:07:03] 601*2^1452407-1 is not prime. Res64: 0F3A808BBD60CAF7 Time : 0.0 sec. user=juhehe [2017-04-22 19:21:54] 825*2^1452408-1 is not prime. Res64: 5EFF7FCB36E7466B Time : 0.0 sec. user=mdettweiler [2017-04-22 19:25:29] 643*2^1452407-1 is not prime. Res64: B9639705E9A19DD4 Time : 0.0 sec. user=mdettweiler [2017-04-22 19:25:29] 669*2^1452407-1 is not prime. Res64: 87D50B7FEE2BC520 Time : 0.0 sec. user=mdettweiler [2017-04-22 19:25:30] 735*2^1452407-1 is not prime. Res64: 0948A674F8BBF606 Time : 0.0 sec. user=mdettweiler [2017-04-22 19:25:30] 635*2^1452408-1 is not prime. Res64: 47AE69AA57C54728 Time : 0.0 sec. user=mdettweiler [2017-04-22 19:25:30] 663*2^1452408-1 is not prime. Res64: BBD07261807F53FF Time : 0.0 sec. user=mdettweiler [2017-04-22 19:30:33] 945*2^1452408-1 is not prime. Res64: D4C7AE5D3D22ACE4 Time : 0.0 sec. user=mdettweiler [2017-04-22 19:30:34] 675*2^1452409-1 is not prime. Res64: E68122C5CB8A5DA0 Time : 0.0 sec. user=mdettweiler [2017-04-22 19:30:34] 745*2^1452409-1 is not prime. Res64: 7862EE755B77D906 Time : 0.0 sec. user=mdettweiler [2017-04-22 19:30:34] 747*2^1452409-1 is not prime. Res64: 5AB2F6EABCE7401F Time : 0.0 sec. user=mdettweiler [2017-04-22 19:30:34] 751*2^1452409-1 is not prime. Res64: 2FCFF818099D61F8 Time : 0.0 sec. user=mdettweiler [2017-04-22 19:53:35] 799*2^1452409-1 is not prime. Res64: 9C6AB2B44DBC266D Time : 0.0 sec. user=mdettweiler [2017-04-22 19:53:36] 819*2^1452409-1 is not prime. Res64: 13ECCFDB329EF8DF Time : 0.0 sec. user=mdettweiler [2017-04-22 19:53:36] 931*2^1452409-1 is not prime. Res64: E604B4679987AD4E Time : 0.0 sec. user=mdettweiler [2017-04-22 19:53:36] 997*2^1452409-1 is not prime. Res64: 82016791FF5AAEBB Time : 0.0 sec. user=mdettweiler [2017-04-22 19:53:36] 711*2^1452410-1 is not prime. Res64: E1CFDA89DB683146 Time : 0.0 sec. user=mdettweiler [2017-04-22 20:11:59] 773*2^1452410-1 is not prime. Res64: B401B5CFC319DF3F Time : 0.0 sec. user=mdettweiler [2017-04-22 20:11:59] 825*2^1452410-1 is not prime. Res64: DDB9087F6C4A91D4 Time : 0.0 sec. user=mdettweiler [2017-04-22 20:12:00] 875*2^1452410-1 is not prime. Res64: 7736AD748BA31F4F Time : 0.0 sec. user=mdettweiler [2017-04-22 20:12:00] 911*2^1452410-1 is not prime. Res64: 67DC36EEB718ECF3 Time : 0.0 sec. user=mdettweiler [2017-04-22 20:12:00] 927*2^1452410-1 is not prime. Res64: 4C8404AE01B5E20A Time : 0.0 sec. user=mdettweiler [2017-04-22 20:16:59] 649*2^1452411-1 is not prime. Res64: 4E6C4E2C4EC93810 Time : 0.0 sec. user=mdettweiler [2017-04-22 20:16:59] 709*2^1452411-1 is not prime. Res64: 0F14D1164856F7AA Time : 0.0 sec. user=mdettweiler [2017-04-22 20:16:59] 825*2^1452411-1 is not prime. Res64: 7F882A1FC6F355CC Time : 0.0 sec. user=mdettweiler [2017-04-22 20:17:00] 829*2^1452411-1 is not prime. Res64: EFCACA64A0537106 Time : 0.0 sec. user=mdettweiler [2017-04-22 20:17:00] 859*2^1452411-1 is not prime. Res64: 7959926C49C8A7F4 Time : 0.0 sec. user=mdettweiler [2017-04-22 20:39:55] 677*2^1452412-1 is not prime. Res64: 25FED79B4BE0B38B Time : 0.0 sec. user=mdettweiler [2017-04-22 20:39:55] 695*2^1452412-1 is not prime. Res64: E2D80E21B0933DAB Time : 0.0 sec. user=mdettweiler [2017-04-22 20:39:55] 699*2^1452412-1 is not prime. Res64: 81FCCD0E730E1A77 Time : 0.0 sec. user=mdettweiler [2017-04-22 20:39:55] 863*2^1452412-1 is not prime. Res64: 4D94B34D3866005E Time : 0.0 sec. user=mdettweiler [2017-04-22 20:39:56] 947*2^1452412-1 is not prime. Res64: 523829E6B0A446C1 Time : 0.0 sec. user=mdettweiler [2017-04-22 20:58:23] 965*2^1452412-1 is not prime. Res64: 7BBB35926B8330E7 Time : 0.0 sec. user=mdettweiler [2017-04-22 20:58:24] 987*2^1452412-1 is not prime. Res64: FC176A89F4B34079 Time : 0.0 sec. user=mdettweiler [2017-04-22 20:58:24] 621*2^1452413-1 is not prime. Res64: 88F11B84CBA34EB2 Time : 0.0 sec. user=mdettweiler [2017-04-22 20:58:24] 691*2^1452413-1 is not prime. Res64: 07DBB64D9E7C9FD7 Time : 0.0 sec. user=mdettweiler [2017-04-22 20:58:24] 697*2^1452413-1 is not prime. Res64: B48D47714EE87E8F Time : 0.0 sec. user=mdettweiler [2017-04-22 21:03:26] 781*2^1452413-1 is not prime. Res64: 93C90425D508A755 Time : 0.0 sec. user=mdettweiler [2017-04-22 21:03:27] 819*2^1452413-1 is not prime. Res64: 30307DDA31E8CC8A Time : 0.0 sec. user=mdettweiler [2017-04-22 21:03:29] 885*2^1452413-1 is not prime. Res64: AB2237B0BF37935D Time : 0.0 sec. user=mdettweiler [2017-04-22 21:03:30] 889*2^1452413-1 is not prime. Res64: F8B8E7405865D9F9 Time : 0.0 sec. user=mdettweiler [2017-04-22 21:03:30] 939*2^1452413-1 is not prime. Res64: 512F08E71CBB1B7D Time : 0.0 sec. user=juhehe [2017-04-22 21:25:21] 609*2^1452415-1 is not prime. Res64: AFB5D6C42B347053 Time : 0.0 sec. user=mdettweiler [2017-04-22 21:26:20] 681*2^1452414-1 is not prime. Res64: D3A7D04CBFC9A691 Time : 0.0 sec. user=mdettweiler [2017-04-22 21:26:20] 705*2^1452414-1 is not prime. Res64: D64ED3923DA51D94 Time : 0.0 sec. user=mdettweiler [2017-04-22 21:26:20] 755*2^1452414-1 is not prime. Res64: 91606937E0232B13 Time : 0.0 sec. user=mdettweiler [2017-04-22 21:26:21] 815*2^1452414-1 is not prime. Res64: 78F9F58C27AFA8E4 Time : 0.0 sec. user=mdettweiler [2017-04-22 21:26:21] 983*2^1452414-1 is not prime. Res64: 0D45C5FFD2EEE561 Time : 0.0 sec. user=mdettweiler [2017-04-22 21:44:53] 645*2^1452415-1 is not prime. Res64: 75C83C95ADABC1E2 Time : 0.0 sec. user=mdettweiler [2017-04-22 21:44:53] 685*2^1452415-1 is not prime. Res64: 4B820746C996A777 Time : 0.0 sec. user=mdettweiler [2017-04-22 21:44:53] 693*2^1452415-1 is not prime. Res64: 655CB022E91426AB Time : 0.0 sec. user=mdettweiler [2017-04-22 21:44:53] 715*2^1452415-1 is not prime. Res64: D4A992F0F33A8099 Time : 0.0 sec. user=mdettweiler [2017-04-22 21:44:54] 751*2^1452415-1 is not prime. Res64: 727DBB2F11E4B7A1 Time : 0.0 sec. user=mdettweiler [2017-04-22 21:50:02] 775*2^1452415-1 is not prime. Res64: CB371640C2A7C343 Time : 0.0 sec. user=mdettweiler [2017-04-22 21:50:02] 871*2^1452415-1 is not prime. Res64: 17F3B90A33409B67 Time : 0.0 sec. user=mdettweiler [2017-04-22 21:50:02] 915*2^1452415-1 is not prime. Res64: F2D9C58C6AD9F49E Time : 0.0 sec. user=mdettweiler [2017-04-22 21:50:03] 999*2^1452415-1 is not prime. Res64: D5FDDBDFA40203A6 Time : 0.0 sec. user=mdettweiler [2017-04-22 21:50:03] 669*2^1452416-1 is not prime. Res64: 69B1B5945F77D212 Time : 0.0 sec. user=mdettweiler [2017-04-22 22:12:45] 725*2^1452416-1 is not prime. Res64: 54281A4AA9B3E984 Time : 0.0 sec. user=mdettweiler [2017-04-22 22:12:45] 767*2^1452416-1 is not prime. Res64: 3332D17B1F8879CD Time : 0.0 sec. user=mdettweiler [2017-04-22 22:12:45] 777*2^1452416-1 is not prime. Res64: FFDF8D9DA1B7809E Time : 0.0 sec. user=mdettweiler [2017-04-22 22:12:45] 785*2^1452416-1 is not prime. Res64: 5E9D80A42D2618DF Time : 0.0 sec. user=mdettweiler [2017-04-22 22:12:46] 759*2^1452417-1 is not prime. Res64: 63D33ECCFA53979A Time : 0.0 sec. user=mdettweiler [2017-04-22 22:31:49] 817*2^1452417-1 is not prime. Res64: 7134B6CF271751CC Time : 0.0 sec. user=mdettweiler [2017-04-22 22:31:49] 847*2^1452417-1 is not prime. Res64: 30E63B0AFAE16AAB Time : 0.0 sec. user=mdettweiler [2017-04-22 22:31:50] 891*2^1452417-1 is not prime. Res64: 967C7C068E55499E Time : 0.0 sec. user=mdettweiler [2017-04-22 22:31:50] 895*2^1452417-1 is not prime. Res64: 6B7ADF910EA1E667 Time : 0.0 sec. user=mdettweiler [2017-04-22 22:31:50] 937*2^1452417-1 is not prime. Res64: 4DF3638A42EAEA2B Time : 0.0 sec. user=mdettweiler [2017-04-22 22:37:04] 657*2^1452418-1 is not prime. Res64: 1B93CE3971BBF86A Time : 0.0 sec. user=mdettweiler [2017-04-22 22:37:04] 681*2^1452418-1 is not prime. Res64: ABBE62B634165E6F Time : 0.0 sec. user=mdettweiler [2017-04-22 22:37:05] 723*2^1452418-1 is not prime. Res64: 04F1635146B3E104 Time : 0.0 sec. user=mdettweiler [2017-04-22 22:37:05] 933*2^1452418-1 is not prime. Res64: 826365DE0D2D16CC Time : 0.0 sec. user=mdettweiler [2017-04-22 22:37:05] 759*2^1452419-1 is not prime. Res64: 5F00908F0092FEE5 Time : 0.0 sec. user=mdettweiler [2017-04-22 22:59:50] 885*2^1452419-1 is not prime. Res64: 526B8DF5E662B6B8 Time : 0.0 sec. user=mdettweiler [2017-04-22 22:59:51] 693*2^1452420-1 is not prime. Res64: A7D59E6CD0170C92 Time : 0.0 sec. user=mdettweiler [2017-04-22 22:59:51] 843*2^1452420-1 is not prime. Res64: 40F636F3C32635B6 Time : 0.0 sec. user=mdettweiler [2017-04-22 22:59:51] 923*2^1452420-1 is not prime. Res64: 80D9FF2296BB19D6 Time : 0.0 sec. user=mdettweiler [2017-04-22 22:59:51] 933*2^1452420-1 is not prime. Res64: 61DC59F55E457BAC Time : 0.0 sec. user=mdettweiler [2017-04-22 23:18:36] 609*2^1452421-1 is not prime. Res64: D808D3D495D60B40 Time : 0.0 sec. user=mdettweiler [2017-04-22 23:18:36] 687*2^1452421-1 is not prime. Res64: 1884CC3D21E9FF47 Time : 0.0 sec. user=mdettweiler [2017-04-22 23:18:37] 799*2^1452421-1 is not prime. Res64: E6B18C0E9BD35D76 Time : 0.0 sec. user=mdettweiler [2017-04-22 23:18:37] 859*2^1452421-1 is not prime. Res64: D52138ADE4339FC5 Time : 0.0 sec. user=mdettweiler [2017-04-22 23:18:37] 945*2^1452421-1 is not prime. Res64: 3AAC03EDA9A44DBA Time : 0.0 sec. user=mdettweiler [2017-04-22 23:23:37] 603*2^1452422-1 is not prime. Res64: DFA712CCCAE63348 Time : 0.0 sec. user=mdettweiler [2017-04-22 23:23:37] 615*2^1452422-1 is not prime. Res64: EC11A51055845342 Time : 0.0 sec. user=mdettweiler [2017-04-22 23:23:38] 623*2^1452422-1 is not prime. Res64: 2D6F7128E70D07A8 Time : 0.0 sec. user=mdettweiler [2017-04-22 23:23:38] 801*2^1452422-1 is not prime. Res64: 46CB2597AB50C258 Time : 0.0 sec. user=mdettweiler [2017-04-22 23:23:38] 857*2^1452422-1 is not prime. Res64: 123335288844E0E0 Time : 0.0 sec. user=juhehe [2017-04-22 23:25:54] 691*2^1452423-1 is not prime. Res64: 1AF50FF3D13E4081 Time : 0.0 sec. user=mdettweiler [2017-04-22 23:45:52] 705*2^1452423-1 is not prime. Res64: 349A3E5ADDAE8CC5 Time : 0.0 sec. user=mdettweiler [2017-04-22 23:45:53] 739*2^1452423-1 is not prime. Res64: 633C71031F64630A Time : 0.0 sec. user=mdettweiler [2017-04-22 23:45:53] 921*2^1452423-1 is not prime. Res64: 017E8F493F1FA248 Time : 0.0 sec. user=mdettweiler [2017-04-22 23:45:53] 933*2^1452423-1 is not prime. Res64: 1BBC99B5324D38F4 Time : 0.0 sec. user=mdettweiler [2017-04-22 23:45:53] 617*2^1452424-1 is not prime. Res64: 1B0F3D94FA340207 Time : 0.0 sec.