user=mdettweiler [2016-04-26 00:09:03] 919*2^1427379-1 is not prime. Res64: 2EEEE92F656B502A Time : 0.0 sec. user=mdettweiler [2016-04-26 00:09:06] 979*2^1427379-1 is not prime. Res64: 90AC85101F970950 Time : 0.0 sec. user=mdettweiler [2016-04-26 00:09:07] 603*2^1427380-1 is not prime. Res64: 3188A3E062739E04 Time : 0.0 sec. user=mdettweiler [2016-04-26 00:09:08] 653*2^1427380-1 is not prime. Res64: FEC52341CC08CBC3 Time : 0.0 sec. user=mdettweiler [2016-04-26 00:09:08] 663*2^1427380-1 is not prime. Res64: 898C93BBFFD16F80 Time : 0.0 sec. user=mdettweiler [2016-04-26 00:09:56] 677*2^1427380-1 is not prime. Res64: F9EF68CE17A0E15B Time : 0.0 sec. user=mdettweiler [2016-04-26 00:09:56] 885*2^1427380-1 is not prime. Res64: 7F21E47E329BA852 Time : 0.0 sec. user=mdettweiler [2016-04-26 00:09:57] 927*2^1427380-1 is not prime. Res64: 28BE6BD8A7E8E3CD Time : 0.0 sec. user=mdettweiler [2016-04-26 00:09:57] 649*2^1427381-1 is not prime. Res64: BB1562AA2436E902 Time : 0.0 sec. user=mdettweiler [2016-04-26 00:09:58] 705*2^1427382-1 is not prime. Res64: EE1F99FDF522EC5C Time : 0.0 sec. user=mdettweiler [2016-04-26 00:25:48] 711*2^1427382-1 is not prime. Res64: CBECDF123C202E43 Time : 0.0 sec. user=mdettweiler [2016-04-26 00:25:48] 873*2^1427382-1 is not prime. Res64: 2069944DEAF27DB3 Time : 0.0 sec. user=mdettweiler [2016-04-26 00:25:49] 603*2^1427383-1 is not prime. Res64: 8BC29B297EF40216 Time : 0.0 sec. user=mdettweiler [2016-04-26 00:25:49] 609*2^1427383-1 is not prime. Res64: A2F65E12202088E2 Time : 0.0 sec. user=mdettweiler [2016-04-26 00:25:49] 619*2^1427383-1 is not prime. Res64: 3FB7CCA0A0588B10 Time : 0.0 sec. user=mdettweiler [2016-04-26 00:26:56] 625*2^1427383-1 is not prime. Res64: E80FB04C1196E88A Time : 0.0 sec. user=mdettweiler [2016-04-26 00:26:57] 663*2^1427383-1 is not prime. Res64: 3FD6BE1314CB559B Time : 0.0 sec. user=mdettweiler [2016-04-26 00:26:57] 693*2^1427383-1 is not prime. Res64: F4D1E08260FCEE47 Time : 0.0 sec. user=mdettweiler [2016-04-26 00:26:58] 723*2^1427383-1 is not prime. Res64: 9A6FEB6A56C99596 Time : 0.0 sec. user=mdettweiler [2016-04-26 00:26:58] 741*2^1427383-1 is not prime. Res64: 4A235725C7B1C42B Time : 0.0 sec. user=mdettweiler [2016-04-26 00:54:31] 849*2^1427383-1 is not prime. Res64: 117DC27D39B59A1B Time : 0.0 sec. user=mdettweiler [2016-04-26 00:54:31] 853*2^1427383-1 is not prime. Res64: 8A6236659E9B9A92 Time : 0.0 sec. user=mdettweiler [2016-04-26 00:54:32] 915*2^1427383-1 is not prime. Res64: 49F32194EC05292D Time : 0.0 sec. user=mdettweiler [2016-04-26 00:54:32] 961*2^1427383-1 is not prime. Res64: BB6FFD458B0770E1 Time : 0.0 sec. user=mdettweiler [2016-04-26 00:54:33] 663*2^1427384-1 is not prime. Res64: EE245E5BAAD3ECD2 Time : 0.0 sec. user=mdettweiler [2016-04-26 00:55:01] 789*2^1427384-1 is not prime. Res64: 26489007748094C4 Time : 0.0 sec. user=mdettweiler [2016-04-26 00:55:01] 873*2^1427384-1 is not prime. Res64: 7202F2ADDE5AA656 Time : 0.0 sec. user=mdettweiler [2016-04-26 00:55:02] 625*2^1427385-1 is not prime. Res64: 0EBD300E02C96F63 Time : 0.0 sec. user=mdettweiler [2016-04-26 00:55:02] 627*2^1427385-1 is not prime. Res64: 080759AAFE08034F Time : 0.0 sec. user=mdettweiler [2016-04-26 00:55:03] 709*2^1427385-1 is not prime. Res64: 1B12F8B37180A300 Time : 0.0 sec. user=mdettweiler [2016-04-26 01:11:00] 765*2^1427385-1 is not prime. Res64: 69B01BA557A8FC08 Time : 0.0 sec. user=mdettweiler [2016-04-26 01:11:00] 949*2^1427385-1 is not prime. Res64: 989FEB3F6CBB28BE Time : 0.0 sec. user=mdettweiler [2016-04-26 01:11:01] 979*2^1427385-1 is not prime. Res64: 735881F6AAEBAC42 Time : 0.0 sec. user=mdettweiler [2016-04-26 01:11:01] 623*2^1427386-1 is not prime. Res64: D8E7C9668CC27728 Time : 0.0 sec. user=mdettweiler [2016-04-26 01:11:01] 635*2^1427386-1 is not prime. Res64: 14D188D45A43E14F Time : 0.0 sec. user=mdettweiler [2016-04-26 01:12:08] 653*2^1427386-1 is not prime. Res64: 1FDD8112DBA7457F Time : 0.0 sec. user=mdettweiler [2016-04-26 01:12:09] 701*2^1427386-1 is not prime. Res64: B125B43FD856D92E Time : 0.0 sec. user=mdettweiler [2016-04-26 01:12:09] 713*2^1427386-1 is not prime. Res64: 4AE284CB45CE61C3 Time : 0.0 sec. user=mdettweiler [2016-04-26 01:12:09] 737*2^1427386-1 is not prime. Res64: 401B4F01467A3B18 Time : 0.0 sec. user=mdettweiler [2016-04-26 01:12:10] 843*2^1427386-1 is not prime. Res64: 9AA5EA7B1A1F5846 Time : 0.0 sec. user=mdettweiler [2016-04-26 01:39:28] 873*2^1427386-1 is not prime. Res64: D916307974D77448 Time : 0.0 sec. user=mdettweiler [2016-04-26 01:39:29] 903*2^1427386-1 is not prime. Res64: C2CD1DD714C5C657 Time : 0.0 sec. user=mdettweiler [2016-04-26 01:39:29] 1001*2^1427386-1 is not prime. Res64: 3F4AFFEF87F4C72F Time : 0.0 sec. user=mdettweiler [2016-04-26 01:39:30] 735*2^1427387-1 is not prime. Res64: 9B64BD153F78FF4B Time : 0.0 sec. user=mdettweiler [2016-04-26 01:39:30] 883*2^1427387-1 is not prime. Res64: 4FB96E833E80474F Time : 0.0 sec. user=mdettweiler [2016-04-26 01:40:02] 909*2^1427387-1 is not prime. Res64: FD1B45078683D916 Time : 0.0 sec. user=mdettweiler [2016-04-26 01:40:02] 949*2^1427387-1 is not prime. Res64: 5AABA3706F0CFA63 Time : 0.0 sec. user=mdettweiler [2016-04-26 01:40:03] 605*2^1427388-1 is not prime. Res64: 27D3ADF5463FBDB0 Time : 0.0 sec. user=mdettweiler [2016-04-26 01:40:03] 669*2^1427388-1 is not prime. Res64: 768A210DE234C715 Time : 0.0 sec. user=mdettweiler [2016-04-26 01:40:03] 735*2^1427388-1 is not prime. Res64: 223293620DB8E4CF Time : 0.0 sec. user=mdettweiler [2016-04-26 01:56:08] 737*2^1427388-1 is not prime. Res64: C5C2D9FAC41892B8 Time : 0.0 sec. user=mdettweiler [2016-04-26 01:56:08] 753*2^1427388-1 is not prime. Res64: 01F6D5FC5E89779B Time : 0.0 sec. user=mdettweiler [2016-04-26 01:56:09] 789*2^1427388-1 is not prime. Res64: 301CC1CB53312514 Time : 0.0 sec. user=mdettweiler [2016-04-26 01:56:09] 839*2^1427388-1 is not prime. Res64: 5990E0EA9B649ACE Time : 0.0 sec. user=mdettweiler [2016-04-26 01:56:10] 615*2^1427389-1 is not prime. Res64: 70A6DF5A4089B6E4 Time : 0.0 sec. user=mdettweiler [2016-04-26 01:57:10] 721*2^1427389-1 is not prime. Res64: DDF6AE00F40893F0 Time : 0.0 sec. user=mdettweiler [2016-04-26 01:57:11] 771*2^1427389-1 is not prime. Res64: 3E95D84B8D4EB61B Time : 0.0 sec. user=mdettweiler [2016-04-26 01:57:11] 919*2^1427389-1 is not prime. Res64: ED3C4CDFA63CE054 Time : 0.0 sec. user=mdettweiler [2016-04-26 01:57:11] 999*2^1427389-1 is not prime. Res64: F2AF07C52ECA225F Time : 0.0 sec. user=mdettweiler [2016-04-26 01:57:12] 755*2^1427390-1 is not prime. Res64: A8AAE9615B4CF965 Time : 0.0 sec. user=mdettweiler [2016-04-26 02:24:33] 791*2^1427390-1 is not prime. Res64: BBAAC5C70A7CE8E6 Time : 0.0 sec. user=mdettweiler [2016-04-26 02:24:33] 795*2^1427390-1 is not prime. Res64: 1010BACD576308F1 Time : 0.0 sec. user=mdettweiler [2016-04-26 02:24:34] 801*2^1427390-1 is not prime. Res64: 6ADF40C2B3A635FD Time : 0.0 sec. user=mdettweiler [2016-04-26 02:24:34] 825*2^1427390-1 is not prime. Res64: D27ACE427C5438D3 Time : 0.0 sec. user=mdettweiler [2016-04-26 02:24:34] 845*2^1427390-1 is not prime. Res64: 40F354FAA639F0EF Time : 0.0 sec. user=mdettweiler [2016-04-26 02:25:24] 897*2^1427390-1 is not prime. Res64: 669D793FF7AAAB2E Time : 0.0 sec. user=mdettweiler [2016-04-26 02:25:25] 917*2^1427390-1 is not prime. Res64: 21AFADD7DC2B7E1E Time : 0.0 sec. user=mdettweiler [2016-04-26 02:25:25] 639*2^1427391-1 is not prime. Res64: EAA5DB62825C3FAD Time : 0.0 sec. user=mdettweiler [2016-04-26 02:25:26] 865*2^1427391-1 is not prime. Res64: 031D25E34C7BB5BA Time : 0.0 sec. user=mdettweiler [2016-04-26 02:25:26] 921*2^1427391-1 is not prime. Res64: 57ED6785F0B60162 Time : 0.0 sec. user=mdettweiler [2016-04-26 02:41:52] 973*2^1427391-1 is not prime. Res64: 0978736D91213D8B Time : 0.0 sec. user=mdettweiler [2016-04-26 02:41:53] 979*2^1427391-1 is not prime. Res64: AA9884F0B7C3B286 Time : 0.0 sec. user=mdettweiler [2016-04-26 02:41:53] 665*2^1427392-1 is not prime. Res64: 5920C028B97AA590 Time : 0.0 sec. user=mdettweiler [2016-04-26 02:41:54] 759*2^1427392-1 is not prime. Res64: 5AA0636CEBDB5CC2 Time : 0.0 sec. user=mdettweiler [2016-04-26 02:41:54] 813*2^1427392-1 is not prime. Res64: C61A00DADBFBA028 Time : 0.0 sec. user=mdettweiler [2016-04-26 02:42:44] 903*2^1427392-1 is not prime. Res64: 8EAAC9AFE9E26ED5 Time : 0.0 sec. user=mdettweiler [2016-04-26 02:42:44] 983*2^1427392-1 is not prime. Res64: 597AF61143EC4E25 Time : 0.0 sec. user=mdettweiler [2016-04-26 02:42:45] 999*2^1427392-1 is not prime. Res64: 0E904AE088190774 Time : 0.0 sec. user=mdettweiler [2016-04-26 02:42:45] 675*2^1427393-1 is not prime. Res64: 92E1BCCE48E34411 Time : 0.0 sec. user=mdettweiler [2016-04-26 02:42:46] 781*2^1427393-1 is not prime. Res64: 0EE4ECD0F582B026 Time : 0.0 sec. user=mdettweiler [2016-04-26 03:10:08] 801*2^1427393-1 is not prime. Res64: 85B7FCF9EBFC0CDB Time : 0.0 sec. user=mdettweiler [2016-04-26 03:10:08] 811*2^1427393-1 is not prime. Res64: AE0243DCE9EF4A73 Time : 0.0 sec. user=mdettweiler [2016-04-26 03:10:09] 635*2^1427394-1 is not prime. Res64: 7305A0117FA0C765 Time : 0.0 sec. user=mdettweiler [2016-04-26 03:10:09] 657*2^1427394-1 is not prime. Res64: D710A62C52980CE2 Time : 0.0 sec. user=mdettweiler [2016-04-26 03:10:09] 681*2^1427394-1 is not prime. Res64: 1D17A98531D5F10C Time : 0.0 sec. user=mdettweiler [2016-04-26 03:10:43] 821*2^1427394-1 is not prime. Res64: 2B97D2FF62F7D643 Time : 0.0 sec. user=mdettweiler [2016-04-26 03:10:44] 887*2^1427394-1 is not prime. Res64: EF8060F9113BC2C8 Time : 0.0 sec. user=mdettweiler [2016-04-26 03:10:44] 951*2^1427394-1 is not prime. Res64: D38DC0CF48E1EC6D Time : 0.0 sec. user=mdettweiler [2016-04-26 03:10:45] 971*2^1427394-1 is not prime. Res64: FF7FCAA11DEC84E1 Time : 0.0 sec. user=mdettweiler [2016-04-26 03:10:45] 975*2^1427394-1 is not prime. Res64: E850142313567F2C Time : 0.0 sec. user=mdettweiler [2016-04-26 03:26:57] 675*2^1427395-1 is not prime. Res64: 94ACF54EB69164AC Time : 0.0 sec. user=mdettweiler [2016-04-26 03:26:59] 715*2^1427395-1 is not prime. Res64: AAD23B659EB479DE Time : 0.0 sec. user=mdettweiler [2016-04-26 03:27:00] 733*2^1427395-1 is not prime. Res64: 9691EF40D93BB3F6 Time : 0.0 sec. user=mdettweiler [2016-04-26 03:27:01] 859*2^1427395-1 is not prime. Res64: FE4D655D0B2753BA Time : 0.0 sec. user=mdettweiler [2016-04-26 03:27:03] 919*2^1427395-1 is not prime. Res64: 09F54E6DD9DCB90E Time : 0.0 sec. user=mdettweiler [2016-04-26 03:27:39] 603*2^1427396-1 is not prime. Res64: C700DD46A183234F Time : 0.0 sec. user=mdettweiler [2016-04-26 03:27:40] 635*2^1427396-1 is not prime. Res64: 802EF1CF7B9E6E3B Time : 0.0 sec. user=mdettweiler [2016-04-26 03:27:41] 767*2^1427396-1 is not prime. Res64: 4153A9FBA095F026 Time : 0.0 sec. user=mdettweiler [2016-04-26 03:27:42] 855*2^1427396-1 is not prime. Res64: 35C245401B2FC245 Time : 0.0 sec. user=mdettweiler [2016-04-26 03:27:43] 873*2^1427396-1 is not prime. Res64: E3744F7F60A49430 Time : 0.0 sec. user=mdettweiler [2016-04-26 03:55:03] 615*2^1427397-1 is not prime. Res64: 23BEFDB50970DA21 Time : 0.0 sec. user=mdettweiler [2016-04-26 03:55:04] 649*2^1427397-1 is not prime. Res64: 77806C35CA19E7AD Time : 0.0 sec. user=mdettweiler [2016-04-26 03:55:04] 661*2^1427397-1 is not prime. Res64: 8CE898544ECDCD24 Time : 0.0 sec. user=mdettweiler [2016-04-26 03:55:05] 669*2^1427397-1 is not prime. Res64: EFB4562A08D1D00C Time : 0.0 sec. user=mdettweiler [2016-04-26 03:55:05] 777*2^1427397-1 is not prime. Res64: 5A21579EFC345258 Time : 0.0 sec. user=mdettweiler [2016-04-26 03:55:37] 835*2^1427397-1 is not prime. Res64: 2D14AE1D06646E27 Time : 0.0 sec. user=mdettweiler [2016-04-26 03:55:37] 861*2^1427397-1 is not prime. Res64: EA52ABEFA8D7B548 Time : 0.0 sec. user=mdettweiler [2016-04-26 03:55:38] 871*2^1427397-1 is not prime. Res64: B6E2FCE9DADCB30C Time : 0.0 sec. user=mdettweiler [2016-04-26 03:55:38] 997*2^1427397-1 is not prime. Res64: E186C1F241D7AED4 Time : 0.0 sec. user=mdettweiler [2016-04-26 03:55:39] 621*2^1427398-1 is not prime. Res64: 9F4FF78371CE7A3E Time : 0.0 sec. user=mdettweiler [2016-04-26 04:13:11] 623*2^1427398-1 is not prime. Res64: E97A71BBBB36393B Time : 0.0 sec. user=mdettweiler [2016-04-26 04:13:12] 645*2^1427398-1 is not prime. Res64: 7F4F3A3E0EC2EC05 Time : 0.0 sec. user=mdettweiler [2016-04-26 04:13:12] 761*2^1427398-1 is not prime. Res64: 10EC9D808E777E5F Time : 0.0 sec. user=mdettweiler [2016-04-26 04:13:12] 765*2^1427398-1 is not prime. Res64: D04A5445BFFB70E7 Time : 0.0 sec. user=mdettweiler [2016-04-26 04:13:13] 951*2^1427398-1 is not prime. Res64: AB55E4090CBEA8EC Time : 0.0 sec. user=mdettweiler [2016-04-26 04:14:07] 609*2^1427399-1 is not prime. Res64: BAB397BAF29A9158 Time : 0.0 sec. user=mdettweiler [2016-04-26 04:14:07] 675*2^1427399-1 is not prime. Res64: 789DEE3981ED5484 Time : 0.0 sec. user=mdettweiler [2016-04-26 04:14:08] 771*2^1427399-1 is not prime. Res64: AB2003653C1D0FD8 Time : 0.0 sec. user=mdettweiler [2016-04-26 04:14:08] 789*2^1427399-1 is not prime. Res64: C5BB150A6CF447E7 Time : 0.0 sec. user=mdettweiler [2016-04-26 04:14:09] 931*2^1427399-1 is not prime. Res64: A5D9207595D3EA8D Time : 0.0 sec. user=mdettweiler [2016-04-26 04:41:09] 623*2^1427400-1 is not prime. Res64: B38E0BD675BB8D4A Time : 0.0 sec. user=mdettweiler [2016-04-26 04:41:10] 759*2^1427400-1 is not prime. Res64: B4594E823EE460C7 Time : 0.0 sec. user=mdettweiler [2016-04-26 04:41:10] 777*2^1427400-1 is not prime. Res64: 87CFA2DC93717760 Time : 0.0 sec. user=mdettweiler [2016-04-26 04:41:10] 915*2^1427400-1 is not prime. Res64: D22AE0C3B8855EA7 Time : 0.0 sec. user=mdettweiler [2016-04-26 04:41:11] 717*2^1427401-1 is not prime. Res64: 6DCBA7BFB61F8E9E Time : 0.0 sec. user=mdettweiler [2016-04-26 04:42:11] 775*2^1427401-1 is not prime. Res64: ED6DC6CB56D93F79 Time : 0.0 sec. user=mdettweiler [2016-04-26 04:42:11] 817*2^1427401-1 is not prime. Res64: 3B2496ED49C1FDD6 Time : 0.0 sec. user=mdettweiler [2016-04-26 04:42:11] 957*2^1427401-1 is not prime. Res64: 91753B608CD322FF Time : 0.0 sec. user=mdettweiler [2016-04-26 04:42:12] 999*2^1427401-1 is not prime. Res64: C0012A0072C90D0B Time : 0.0 sec. user=mdettweiler [2016-04-26 04:42:12] 633*2^1427402-1 is not prime. Res64: 1AA97A7FE3622FB4 Time : 0.0 sec. user=mdettweiler [2016-04-26 04:58:35] 735*2^1427402-1 is not prime. Res64: FA52429DBF120ABB Time : 0.0 sec. user=mdettweiler [2016-04-26 04:58:36] 743*2^1427402-1 is not prime. Res64: 72FBC06CEF18E308 Time : 0.0 sec. user=mdettweiler [2016-04-26 04:58:36] 755*2^1427402-1 is not prime. Res64: 1F58C9C52B7B5A47 Time : 0.0 sec. user=mdettweiler [2016-04-26 04:58:37] 797*2^1427402-1 is not prime. Res64: 2EF8ED2E51F11938 Time : 0.0 sec. user=mdettweiler [2016-04-26 04:58:37] 857*2^1427402-1 is not prime. Res64: 360785F30AF89A72 Time : 0.0 sec. user=mdettweiler [2016-04-26 04:59:13] 963*2^1427402-1 is not prime. Res64: 97C9ECC028016F85 Time : 0.0 sec. user=mdettweiler [2016-04-26 04:59:13] 609*2^1427403-1 is not prime. Res64: C3AE8D686F16D09C Time : 0.0 sec. user=mdettweiler [2016-04-26 04:59:13] 663*2^1427403-1 is not prime. Res64: ED4C6B1484555C0D Time : 0.0 sec. user=mdettweiler [2016-04-26 04:59:14] 775*2^1427403-1 is not prime. Res64: 64689E9514F48BFE Time : 0.0 sec. user=mdettweiler [2016-04-26 04:59:14] 859*2^1427403-1 is not prime. Res64: ECCC4DE0A5B11C24 Time : 0.0 sec. user=mdettweiler [2016-04-26 05:26:21] 861*2^1427403-1 is not prime. Res64: 51D1C56945B289B8 Time : 0.0 sec. user=mdettweiler [2016-04-26 05:26:21] 901*2^1427403-1 is not prime. Res64: 6ED53B98A3D88B9B Time : 0.0 sec. user=mdettweiler [2016-04-26 05:26:22] 687*2^1427404-1 is not prime. Res64: 011C8E3E495A8612 Time : 0.0 sec. user=mdettweiler [2016-04-26 05:26:22] 819*2^1427404-1 is not prime. Res64: 4B2A82ED57C00BD1 Time : 0.0 sec. user=mdettweiler [2016-04-26 05:26:22] 885*2^1427404-1 is not prime. Res64: 9EC3AB34CB68B70A Time : 0.0 sec. user=mdettweiler [2016-04-26 05:27:14] 995*2^1427404-1 is not prime. Res64: 71A727642EAA815A Time : 0.0 sec. user=mdettweiler [2016-04-26 05:27:15] 675*2^1427405-1 is not prime. Res64: 77AB1A1D0ACF342B Time : 0.0 sec. user=mdettweiler [2016-04-26 05:27:15] 699*2^1427405-1 is not prime. Res64: AA6097064E6F8E2F Time : 0.0 sec. user=mdettweiler [2016-04-26 05:27:15] 727*2^1427405-1 is not prime. Res64: 0F93CC24E0CB5862 Time : 0.0 sec. user=mdettweiler [2016-04-26 05:27:16] 759*2^1427405-1 is not prime. Res64: 837EA99438A7FFC7 Time : 0.0 sec. user=mdettweiler [2016-04-26 05:43:33] 789*2^1427405-1 is not prime. Res64: 8887693F04955A2E Time : 0.0 sec. user=mdettweiler [2016-04-26 05:43:34] 847*2^1427405-1 is not prime. Res64: 91951C9974FD7FE3 Time : 0.0 sec. user=mdettweiler [2016-04-26 05:43:34] 871*2^1427405-1 is not prime. Res64: A3CA6332BE008C9B Time : 0.0 sec. user=mdettweiler [2016-04-26 05:43:34] 925*2^1427405-1 is not prime. Res64: 3CF18D36E15FBF98 Time : 0.0 sec. user=mdettweiler [2016-04-26 05:43:35] 979*2^1427405-1 is not prime. Res64: DCB9FF38AEB23102 Time : 0.0 sec. user=mdettweiler [2016-04-26 05:44:17] 867*2^1427406-1 is not prime. Res64: A4B05A25FA3A76DD Time : 0.0 sec. user=mdettweiler [2016-04-26 05:44:17] 971*2^1427406-1 is not prime. Res64: 0AD18C2C97852B51 Time : 0.0 sec. user=mdettweiler [2016-04-26 05:44:18] 639*2^1427407-1 is not prime. Res64: 4381A31B49FE16AD Time : 0.0 sec. user=mdettweiler [2016-04-26 05:44:18] 649*2^1427407-1 is not prime. Res64: CF729CBD46E6AA56 Time : 0.0 sec. user=mdettweiler [2016-04-26 05:44:18] 909*2^1427407-1 is not prime. Res64: 3CE2A18E3DC37AF5 Time : 0.0 sec. user=mdettweiler [2016-04-26 06:11:18] 915*2^1427407-1 is not prime. Res64: 379648E309F90967 Time : 0.0 sec. user=mdettweiler [2016-04-26 06:11:19] 939*2^1427407-1 is not prime. Res64: 0C149472ACD53A8C Time : 0.0 sec. user=mdettweiler [2016-04-26 06:11:19] 961*2^1427407-1 is not prime. Res64: 68F13A46E0CB6008 Time : 0.0 sec. user=mdettweiler [2016-04-26 06:11:20] 979*2^1427407-1 is not prime. Res64: 4D7A70B6E8A86143 Time : 0.0 sec. user=mdettweiler [2016-04-26 06:11:20] 603*2^1427408-1 is not prime. Res64: 147DE79728C483EB Time : 0.0 sec. user=mdettweiler [2016-04-26 06:12:10] 669*2^1427408-1 is not prime. Res64: 17521446C5DB5929 Time : 0.0 sec. user=mdettweiler [2016-04-26 06:12:11] 725*2^1427408-1 is not prime. Res64: 8D809313BB335E20 Time : 0.0 sec. user=mdettweiler [2016-04-26 06:12:11] 797*2^1427408-1 is not prime. Res64: 41878A3C00BE0AEE Time : 0.0 sec. user=mdettweiler [2016-04-26 06:12:12] 803*2^1427408-1 is not prime. Res64: 993E0FB13BCE109F Time : 0.0 sec. user=mdettweiler [2016-04-26 06:12:12] 845*2^1427408-1 is not prime. Res64: 47A085D2BEA26BE4 Time : 0.0 sec. user=mdettweiler [2016-04-26 06:28:20] 899*2^1427408-1 is not prime. Res64: 29C633442BA7D9F1 Time : 0.0 sec. user=mdettweiler [2016-04-26 06:28:20] 909*2^1427408-1 is not prime. Res64: E33CAD817702590A Time : 0.0 sec. user=mdettweiler [2016-04-26 06:28:20] 927*2^1427408-1 is not prime. Res64: 212F14552F582CB8 Time : 0.0 sec. user=mdettweiler [2016-04-26 06:28:21] 977*2^1427408-1 is not prime. Res64: 30B2361944F782F4 Time : 0.0 sec. user=mdettweiler [2016-04-26 06:28:21] 669*2^1427409-1 is not prime. Res64: 9017461A4E0B74A6 Time : 0.0 sec. user=mdettweiler [2016-04-26 06:29:17] 681*2^1427409-1 is not prime. Res64: 5A1D29E5742EF990 Time : 0.0 sec. user=mdettweiler [2016-04-26 06:29:17] 691*2^1427409-1 is not prime. Res64: 93F9A51B8F8EAF92 Time : 0.0 sec. user=mdettweiler [2016-04-26 06:29:18] 765*2^1427409-1 is not prime. Res64: B37A587629F68EDD Time : 0.0 sec. user=mdettweiler [2016-04-26 06:29:18] 787*2^1427409-1 is not prime. Res64: 527748443A902B1B Time : 0.0 sec. user=mdettweiler [2016-04-26 06:29:19] 861*2^1427409-1 is not prime. Res64: 8CF259416BD83937 Time : 0.0 sec. user=mdettweiler [2016-04-26 06:56:41] 969*2^1427409-1 is not prime. Res64: A93AD005FB5C3C40 Time : 0.0 sec. user=mdettweiler [2016-04-26 06:56:42] 623*2^1427410-1 is not prime. Res64: F1FA28AFF62DCFF9 Time : 0.0 sec. user=mdettweiler [2016-04-26 06:56:42] 717*2^1427410-1 is not prime. Res64: CCC0EE854D3CC386 Time : 0.0 sec. user=mdettweiler [2016-04-26 06:56:43] 755*2^1427410-1 is not prime. Res64: 1A66A085FE3829F3 Time : 0.0 sec. user=mdettweiler [2016-04-26 06:56:43] 783*2^1427410-1 is not prime. Res64: CDEE6ED74BDBD5F6 Time : 0.0 sec. user=mdettweiler [2016-04-26 06:57:06] 987*2^1427410-1 is not prime. Res64: AD212D77F7F3CDBC Time : 0.0 sec. user=mdettweiler [2016-04-26 06:57:07] 621*2^1427411-1 is not prime. Res64: B98DFE11384120B2 Time : 0.0 sec. user=mdettweiler [2016-04-26 06:57:07] 663*2^1427411-1 is not prime. Res64: BFA87C56A5A43862 Time : 0.0 sec. user=mdettweiler [2016-04-26 06:57:07] 703*2^1427411-1 is not prime. Res64: C2C716F8C448AC01 Time : 0.0 sec. user=mdettweiler [2016-04-26 06:57:08] 705*2^1427411-1 is not prime. Res64: 0E50AA8B1B609375 Time : 0.0 sec. user=mdettweiler [2016-04-26 07:13:33] 735*2^1427411-1 is not prime. Res64: B1F868CB62E222C4 Time : 0.0 sec. user=mdettweiler [2016-04-26 07:13:34] 741*2^1427411-1 is not prime. Res64: 4CF006F1B363BE18 Time : 0.0 sec. user=mdettweiler [2016-04-26 07:13:34] 825*2^1427411-1 is not prime. Res64: 36D19B54329C15DD Time : 0.0 sec. user=mdettweiler [2016-04-26 07:13:35] 909*2^1427411-1 is not prime. Res64: 2A8F9CD91E44E647 Time : 0.0 sec. user=mdettweiler [2016-04-26 07:13:35] 943*2^1427411-1 is not prime. Res64: 5B1955DA433ED0E5 Time : 0.0 sec. user=mdettweiler [2016-04-26 07:14:30] 955*2^1427411-1 is not prime. Res64: 7CC83594B756FA4E Time : 0.0 sec. user=mdettweiler [2016-04-26 07:14:30] 969*2^1427411-1 is not prime. Res64: 51CE3BBD289B22BF Time : 0.0 sec. user=mdettweiler [2016-04-26 07:14:31] 683*2^1427412-1 is not prime. Res64: FA6D33F4A6C17C2A Time : 0.0 sec. user=mdettweiler [2016-04-26 07:14:31] 753*2^1427412-1 is not prime. Res64: ACFB3A2199BDF7D4 Time : 0.0 sec. user=mdettweiler [2016-04-26 07:14:32] 825*2^1427412-1 is not prime. Res64: EF2CBDB1C4AEF7EF Time : 0.0 sec. user=mdettweiler [2016-04-26 07:41:52] 909*2^1427412-1 is not prime. Res64: 37CF8F181F39A606 Time : 0.0 sec. user=mdettweiler [2016-04-26 07:41:53] 945*2^1427412-1 is not prime. Res64: D28E8EE9D157E888 Time : 0.0 sec. user=mdettweiler [2016-04-26 07:41:53] 741*2^1427413-1 is not prime. Res64: 7D26E8A66456ABB6 Time : 0.0 sec. user=mdettweiler [2016-04-26 07:41:54] 789*2^1427413-1 is not prime. Res64: A1E923F10CF240A4 Time : 0.0 sec. user=mdettweiler [2016-04-26 07:41:54] 915*2^1427413-1 is not prime. Res64: 6609BDD215EA0D6F Time : 0.0 sec. user=mdettweiler [2016-04-26 07:42:11] 945*2^1427413-1 is not prime. Res64: 1662439467F9A51B Time : 0.0 sec. user=mdettweiler [2016-04-26 07:42:12] 617*2^1427414-1 is not prime. Res64: A710B1F3AD4E4DF8 Time : 0.0 sec. user=mdettweiler [2016-04-26 07:42:12] 753*2^1427414-1 is not prime. Res64: 966405270BEC4A31 Time : 0.0 sec. user=mdettweiler [2016-04-26 07:42:13] 791*2^1427414-1 is not prime. Res64: 25A76EBD8207169D Time : 0.0 sec. user=mdettweiler [2016-04-26 07:42:13] 851*2^1427414-1 is not prime. Res64: 8D46F252D45AA472 Time : 0.0 sec. user=mdettweiler [2016-04-26 07:58:38] 885*2^1427414-1 is not prime. Res64: 63523D1B7586D0F2 Time : 0.0 sec. user=mdettweiler [2016-04-26 07:58:38] 995*2^1427414-1 is not prime. Res64: 796C95ECACC21BF2 Time : 0.0 sec. user=mdettweiler [2016-04-26 07:58:39] 601*2^1427415-1 is not prime. Res64: F488C2ECC243936C Time : 0.0 sec. user=mdettweiler [2016-04-26 07:58:39] 625*2^1427415-1 is not prime. Res64: 29DD09EC1D226355 Time : 0.0 sec. user=mdettweiler [2016-04-26 07:58:40] 763*2^1427415-1 is not prime. Res64: AB2D126268D42539 Time : 0.0 sec. user=mdettweiler [2016-04-26 07:59:31] 871*2^1427415-1 is not prime. Res64: BBAA218F32A404BE Time : 0.0 sec. user=mdettweiler [2016-04-26 07:59:31] 933*2^1427415-1 is not prime. Res64: 38DD6BBC383AFCA8 Time : 0.0 sec. user=mdettweiler [2016-04-26 07:59:32] 949*2^1427415-1 is not prime. Res64: 6C031802F180574B Time : 0.0 sec. user=mdettweiler [2016-04-26 07:59:32] 963*2^1427415-1 is not prime. Res64: F0998383296DB8D5 Time : 0.0 sec. user=mdettweiler [2016-04-26 07:59:32] 765*2^1427416-1 is not prime. Res64: 70B438C799037DFB Time : 0.0 sec. user=mdettweiler [2016-04-26 08:26:56] 785*2^1427416-1 is not prime. Res64: 6DC82A6E7A67EDD2 Time : 0.0 sec. user=mdettweiler [2016-04-26 08:26:57] 869*2^1427416-1 is not prime. Res64: DEA4031713D1C44E Time : 0.0 sec. user=mdettweiler [2016-04-26 08:26:57] 875*2^1427416-1 is not prime. Res64: 3ED29E6AA11D5AF3 Time : 0.0 sec. user=mdettweiler [2016-04-26 08:26:58] 927*2^1427416-1 is not prime. Res64: F3E50C860C92CFB0 Time : 0.0 sec. user=mdettweiler [2016-04-26 08:26:58] 965*2^1427416-1 is not prime. Res64: 5ACBBC623D10FEE7 Time : 0.0 sec. user=mdettweiler [2016-04-26 08:27:16] 607*2^1427417-1 is not prime. Res64: A677D1D725060980 Time : 0.0 sec. user=mdettweiler [2016-04-26 08:27:17] 615*2^1427417-1 is not prime. Res64: 2772C4C3DDBDC6E0 Time : 0.0 sec. user=mdettweiler [2016-04-26 08:27:17] 631*2^1427417-1 is not prime. Res64: AB0D3F0289EA946A Time : 0.0 sec. user=mdettweiler [2016-04-26 08:27:17] 649*2^1427417-1 is not prime. Res64: DA5D285179138507 Time : 0.0 sec. user=mdettweiler [2016-04-26 08:27:18] 699*2^1427417-1 is not prime. Res64: FC844A74590A92A1 Time : 0.0 sec. user=mdettweiler [2016-04-26 08:43:57] 915*2^1427417-1 is not prime. Res64: EB2166E920C5FA6F Time : 0.0 sec. user=mdettweiler [2016-04-26 08:43:58] 955*2^1427417-1 is not prime. Res64: 8B50156998CA8203 Time : 0.0 sec. user=mdettweiler [2016-04-26 08:43:58] 621*2^1427418-1 is not prime. Res64: 898648364BEFCBAE Time : 0.0 sec. user=mdettweiler [2016-04-26 08:43:58] 683*2^1427418-1 is not prime. Res64: 462BEDD2D6F0578D Time : 0.0 sec. user=mdettweiler [2016-04-26 08:43:59] 707*2^1427418-1 is not prime. Res64: 13617278C477235F Time : 0.0 sec. user=mdettweiler [2016-04-26 08:44:52] 797*2^1427418-1 is not prime. Res64: ECB677E970C6316D Time : 0.0 sec. user=mdettweiler [2016-04-26 08:44:52] 825*2^1427418-1 is not prime. Res64: F72A5056AE67609D Time : 0.0 sec. user=mdettweiler [2016-04-26 08:44:53] 893*2^1427418-1 is not prime. Res64: 2D22FB7C0899B943 Time : 0.0 sec. user=mdettweiler [2016-04-26 08:44:53] 905*2^1427418-1 is not prime. Res64: 7530256DA6AABFE6 Time : 0.0 sec. user=mdettweiler [2016-04-26 08:44:53] 921*2^1427418-1 is not prime. Res64: CC6B0B5C0B8F73E6 Time : 0.0 sec. user=mdettweiler [2016-04-26 09:12:13] 927*2^1427418-1 is not prime. Res64: 518406D1B42678C2 Time : 0.0 sec. user=mdettweiler [2016-04-26 09:12:13] 977*2^1427418-1 is not prime. Res64: 6B9A60CBEC222EBA Time : 0.0 sec. user=mdettweiler [2016-04-26 09:12:14] 1001*2^1427418-1 is not prime. Res64: 17646E2696CBB258 Time : 0.0 sec. user=mdettweiler [2016-04-26 09:12:14] 603*2^1427419-1 is not prime. Res64: E218C011814B4816 Time : 0.0 sec. user=mdettweiler [2016-04-26 09:12:14] 633*2^1427419-1 is not prime. Res64: 5BA8CC3B9CCEB378 Time : 0.0 sec. user=mdettweiler [2016-04-26 09:12:22] 679*2^1427419-1 is not prime. Res64: 5FFEEBC92D178569 Time : 0.0 sec. user=mdettweiler [2016-04-26 09:12:22] 813*2^1427419-1 is not prime. Res64: 21CC0B543E231116 Time : 0.0 sec. user=mdettweiler [2016-04-26 09:12:23] 853*2^1427419-1 is not prime. Res64: 7A0F48C0DBAA2E96 Time : 0.0 sec. user=mdettweiler [2016-04-26 09:12:23] 919*2^1427419-1 is not prime. Res64: D3FB9FD95165C442 Time : 0.0 sec. user=mdettweiler [2016-04-26 09:12:24] 975*2^1427419-1 is not prime. Res64: 7A56A99898CF4D79 Time : 0.0 sec. user=mdettweiler [2016-04-26 09:28:52] 707*2^1427420-1 is not prime. Res64: 3823C9FEEFE20A63 Time : 0.0 sec. user=mdettweiler [2016-04-26 09:28:52] 753*2^1427420-1 is not prime. Res64: D0CDF23E83DDC682 Time : 0.0 sec. user=mdettweiler [2016-04-26 09:28:52] 875*2^1427420-1 is not prime. Res64: 7DB2AC35A42EFA65 Time : 0.0 sec. user=mdettweiler [2016-04-26 09:28:53] 929*2^1427420-1 is not prime. Res64: AF5EBE834ABC632B Time : 0.0 sec. user=mdettweiler [2016-04-26 09:28:53] 999*2^1427420-1 is not prime. Res64: 4666A57E0ECCBB1C Time : 0.0 sec. user=mdettweiler [2016-04-26 09:29:54] 661*2^1427421-1 is not prime. Res64: 67E0717C672CB489 Time : 0.0 sec. user=mdettweiler [2016-04-26 09:29:55] 811*2^1427421-1 is not prime. Res64: A482A95BC59B9096 Time : 0.0 sec. user=mdettweiler [2016-04-26 09:29:55] 817*2^1427421-1 is not prime. Res64: D1D67DB9EE62E123 Time : 0.0 sec. user=mdettweiler [2016-04-26 09:29:56] 877*2^1427421-1 is not prime. Res64: C031201DDDEEBC7D Time : 0.0 sec. user=mdettweiler [2016-04-26 09:29:56] 991*2^1427421-1 is not prime. Res64: C62611E8A6FE050F Time : 0.0 sec. user=mdettweiler [2016-04-26 09:57:08] 999*2^1427421-1 is not prime. Res64: F6CD10BB22C21D14 Time : 0.0 sec. user=mdettweiler [2016-04-26 09:57:09] 635*2^1427422-1 is not prime. Res64: FC658E200A3C7A6B Time : 0.0 sec. user=mdettweiler [2016-04-26 09:57:09] 665*2^1427422-1 is not prime. Res64: 1F778F60706B18E3 Time : 0.0 sec. user=mdettweiler [2016-04-26 09:57:10] 681*2^1427422-1 is not prime. Res64: 4CF3978D60CD4453 Time : 0.0 sec. user=mdettweiler [2016-04-26 09:57:10] 705*2^1427422-1 is not prime. Res64: A5E83F07355F5521 Time : 0.0 sec. user=mdettweiler [2016-04-26 09:57:25] 713*2^1427422-1 is not prime. Res64: 4E05E7474AF505FF Time : 0.0 sec. user=mdettweiler [2016-04-26 09:57:25] 743*2^1427422-1 is not prime. Res64: 506C8E65FFF9B994 Time : 0.0 sec. user=mdettweiler [2016-04-26 09:57:25] 791*2^1427422-1 is not prime. Res64: F0FBE066F0FA9786 Time : 0.0 sec. user=mdettweiler [2016-04-26 09:57:26] 857*2^1427422-1 is not prime. Res64: EE2568A5F415C861 Time : 0.0 sec. user=mdettweiler [2016-04-26 09:57:26] 863*2^1427422-1 is not prime. Res64: 6A6EF4F01B41E39F Time : 0.0 sec. user=mdettweiler [2016-04-26 10:13:49] 897*2^1427422-1 is not prime. Res64: C631F6DFF4257C02 Time : 0.0 sec. user=mdettweiler [2016-04-26 10:13:50] 915*2^1427422-1 is not prime. Res64: 39AF82702E34C065 Time : 0.0 sec. user=mdettweiler [2016-04-26 10:13:50] 917*2^1427422-1 is not prime. Res64: C3CB7EAFCAF632EF Time : 0.0 sec. user=mdettweiler [2016-04-26 10:13:51] 965*2^1427422-1 is not prime. Res64: 19E2BD0AB24CE47B Time : 0.0 sec. user=mdettweiler [2016-04-26 10:13:51] 987*2^1427422-1 is not prime. Res64: FF0D5B44ED74850B Time : 0.0 sec. user=mdettweiler [2016-04-26 10:14:51] 669*2^1427423-1 is not prime. Res64: A6BE0F544F9582A0 Time : 0.0 sec. user=mdettweiler [2016-04-26 10:14:51] 679*2^1427423-1 is not prime. Res64: 2EEE93869AEB06A2 Time : 0.0 sec. user=mdettweiler [2016-04-26 10:14:51] 729*2^1427423-1 is not prime. Res64: 4A7ECD53979AF8A3 Time : 0.0 sec. user=mdettweiler [2016-04-26 10:14:52] 939*2^1427423-1 is not prime. Res64: 2EE71508BFFF4A22 Time : 0.0 sec. user=mdettweiler [2016-04-26 10:14:52] 675*2^1427424-1 is not prime. Res64: 88F7AFA9E0C982FF Time : 0.0 sec. user=mdettweiler [2016-04-26 10:42:18] 759*2^1427424-1 is not prime. Res64: 3AC2561F3F652262 Time : 0.0 sec. user=mdettweiler [2016-04-26 10:42:19] 765*2^1427424-1 is not prime. Res64: 82BE50435B869DA9 Time : 0.0 sec. user=mdettweiler [2016-04-26 10:42:19] 843*2^1427424-1 is not prime. Res64: 7280E64DE0BEA520 Time : 0.0 sec. user=mdettweiler [2016-04-26 10:42:19] 905*2^1427424-1 is not prime. Res64: 79B040C00669D0BD Time : 0.0 sec. user=mdettweiler [2016-04-26 10:42:20] 927*2^1427424-1 is not prime. Res64: E4AB900FC175545E Time : 0.0 sec. user=mdettweiler [2016-04-26 10:42:23] 667*2^1427425-1 is not prime. Res64: 1FE2A7F203BD69A6 Time : 0.0 sec. user=mdettweiler [2016-04-26 10:42:23] 675*2^1427425-1 is not prime. Res64: 687C18DB2806F0BC Time : 0.0 sec. user=mdettweiler [2016-04-26 10:42:23] 759*2^1427425-1 is not prime. Res64: 621DCD374783F098 Time : 0.0 sec. user=mdettweiler [2016-04-26 10:42:24] 871*2^1427425-1 is not prime. Res64: 812ADEC74610458A Time : 0.0 sec. user=mdettweiler [2016-04-26 10:42:24] 877*2^1427425-1 is not prime. Res64: D0FEBD8B8C65F98A Time : 0.0 sec. user=mdettweiler [2016-04-26 10:58:50] 915*2^1427425-1 is not prime. Res64: 6712D90EED3AEFB2 Time : 0.0 sec. user=mdettweiler [2016-04-26 10:58:50] 957*2^1427425-1 is not prime. Res64: 2611A9BBF6D9CCD4 Time : 0.0 sec. user=mdettweiler [2016-04-26 10:58:50] 987*2^1427425-1 is not prime. Res64: 72410EAA9476A3F3 Time : 0.0 sec. user=mdettweiler [2016-04-26 10:58:51] 623*2^1427426-1 is not prime. Res64: 2F4CDC20A2926639 Time : 0.0 sec. user=mdettweiler [2016-04-26 10:58:51] 671*2^1427426-1 is not prime. Res64: F2206638C27F3436 Time : 0.0 sec. user=mdettweiler [2016-04-26 11:00:02] 717*2^1427426-1 is not prime. Res64: 858A911306B2665A Time : 0.0 sec. user=mdettweiler [2016-04-26 11:00:02] 813*2^1427426-1 is not prime. Res64: AEF304DBF6A0BE10 Time : 0.0 sec. user=mdettweiler [2016-04-26 11:00:03] 833*2^1427426-1 is not prime. Res64: 902C0F47ABDCFECD Time : 0.0 sec. user=mdettweiler [2016-04-26 11:00:03] 867*2^1427426-1 is not prime. Res64: 7E4877E20FC1A882 Time : 0.0 sec. user=mdettweiler [2016-04-26 11:00:04] 873*2^1427426-1 is not prime. Res64: CD1257EE8D5B3646 Time : 0.0 sec. user=mdettweiler [2016-04-26 11:27:42] 819*2^1427427-1 is not prime. Res64: DB5B3CC0EF34E8D1 Time : 0.0 sec. user=mdettweiler [2016-04-26 11:27:43] 843*2^1427427-1 is not prime. Res64: 73D8FF2A033FF49A Time : 0.0 sec. user=mdettweiler [2016-04-26 11:27:43] 859*2^1427427-1 is not prime. Res64: C0934D96749C4074 Time : 0.0 sec. user=mdettweiler [2016-04-26 11:27:44] 891*2^1427427-1 is not prime. Res64: 631A37DB21008D88 Time : 0.0 sec. user=mdettweiler [2016-04-26 11:27:44] 951*2^1427427-1 is not prime. Res64: 6492F829D7431D60 Time : 0.0 sec. user=mdettweiler [2016-04-26 11:27:45] 649*2^1427427-1 is not prime. Res64: EF25056FD2419615 Time : 0.0 sec. user=mdettweiler [2016-04-26 11:27:46] 709*2^1427427-1 is not prime. Res64: A813B8F7EF2FC92C Time : 0.0 sec. user=mdettweiler [2016-04-26 11:27:46] 751*2^1427427-1 is not prime. Res64: 4A07799B8B6849E6 Time : 0.0 sec. user=mdettweiler [2016-04-26 11:27:46] 801*2^1427427-1 is not prime. Res64: 74F13C359E7BDB5F Time : 0.0 sec. user=mdettweiler [2016-04-26 11:27:47] 805*2^1427427-1 is not prime. Res64: 20E75269E5700C81 Time : 0.0 sec. user=mdettweiler [2016-04-26 11:45:34] 743*2^1427428-1 is not prime. Res64: 606FA00D1DBA4E99 Time : 0.0 sec. user=mdettweiler [2016-04-26 11:45:35] 927*2^1427428-1 is not prime. Res64: 195BD8EDC95F907E Time : 0.0 sec. user=mdettweiler [2016-04-26 11:45:35] 989*2^1427428-1 is not prime. Res64: E6267A21518CA559 Time : 0.0 sec. user=mdettweiler [2016-04-26 11:45:35] 655*2^1427429-1 is not prime. Res64: 4E2121961F8FE33D Time : 0.0 sec. user=mdettweiler [2016-04-26 11:45:35] 657*2^1427429-1 is not prime. Res64: 110CF1AD333E034F Time : 0.0 sec. user=mdettweiler [2016-04-26 11:46:47] 697*2^1427429-1 is not prime. Res64: E3D8E11AFAAE7C53 Time : 0.0 sec. user=mdettweiler [2016-04-26 11:46:47] 795*2^1427429-1 is not prime. Res64: C049DA49FB6EB96D Time : 0.0 sec. user=mdettweiler [2016-04-26 11:46:47] 799*2^1427429-1 is not prime. Res64: 4599A9AF1490DCFB Time : 0.0 sec. user=mdettweiler [2016-04-26 11:46:47] 811*2^1427429-1 is not prime. Res64: D9667C6C745F5A8C Time : 0.0 sec. user=mdettweiler [2016-04-26 11:46:48] 825*2^1427429-1 is not prime. Res64: B520D19555BEF2AC Time : 0.0 sec. user=mdettweiler [2016-04-26 12:16:06] 847*2^1427429-1 is not prime. Res64: 13B5F32F89351536 Time : 0.0 sec. user=mdettweiler [2016-04-26 12:16:07] 885*2^1427429-1 is not prime. Res64: F4501BD0320766CE Time : 0.0 sec. user=mdettweiler [2016-04-26 12:16:07] 801*2^1427430-1 is not prime. Res64: BDB4330CFC297616 Time : 0.0 sec. user=mdettweiler [2016-04-26 12:16:08] 863*2^1427430-1 is not prime. Res64: 014290BFA2E9FC1E Time : 0.0 sec. user=mdettweiler [2016-04-26 12:16:08] 927*2^1427430-1 is not prime. Res64: 0F2FD6968133A12F Time : 0.0 sec. user=mdettweiler [2016-04-26 12:16:49] 977*2^1427430-1 is not prime. Res64: 117936F065AF8A75 Time : 0.0 sec. user=mdettweiler [2016-04-26 12:16:50] 1001*2^1427430-1 is not prime. Res64: 9155D92B93313D32 Time : 0.0 sec. user=mdettweiler [2016-04-26 12:16:50] 723*2^1427431-1 is not prime. Res64: D998C301664B0F05 Time : 0.0 sec. user=mdettweiler [2016-04-26 12:16:50] 789*2^1427431-1 is not prime. Res64: 7E66DC23721B1962 Time : 0.0 sec. user=mdettweiler [2016-04-26 12:16:51] 819*2^1427431-1 is not prime. Res64: 1FF3FAFC59388936 Time : 0.0 sec. user=mdettweiler [2016-04-26 12:33:22] 841*2^1427431-1 is not prime. Res64: EF76DB347F14FA74 Time : 0.0 sec. user=mdettweiler [2016-04-26 12:33:22] 861*2^1427431-1 is not prime. Res64: F6218C75D6424E19 Time : 0.0 sec. user=mdettweiler [2016-04-26 12:33:23] 901*2^1427431-1 is not prime. Res64: 9095DF4BBBAF6BAE Time : 0.0 sec. user=mdettweiler [2016-04-26 12:33:23] 909*2^1427431-1 is not prime. Res64: AFA52E0BEE73E997 Time : 0.0 sec. user=mdettweiler [2016-04-26 12:33:24] 931*2^1427431-1 is not prime. Res64: BA1BF3174705ED37 Time : 0.0 sec. user=mdettweiler [2016-04-26 12:35:30] 979*2^1427431-1 is not prime. Res64: 040F458AF4E9B6E7 Time : 0.0 sec. user=mdettweiler [2016-04-26 12:35:30] 617*2^1427432-1 is not prime. Res64: ADEB4F7E85ECA4B1 Time : 0.0 sec. user=mdettweiler [2016-04-26 12:35:31] 687*2^1427432-1 is not prime. Res64: 8E4EDD8B5A375DC7 Time : 0.0 sec. user=mdettweiler [2016-04-26 12:35:31] 755*2^1427432-1 is not prime. Res64: E9C9BF1290E40998 Time : 0.0 sec. user=mdettweiler [2016-04-26 12:35:31] 777*2^1427432-1 is not prime. Res64: E6B64A25F9E3D168 Time : 0.0 sec. user=mdettweiler [2016-04-26 13:03:13] 857*2^1427432-1 is not prime. Res64: E504ADC64EA7D498 Time : 0.0 sec. user=mdettweiler [2016-04-26 13:03:14] 873*2^1427432-1 is not prime. Res64: 908D52EEBA71BE09 Time : 0.0 sec. user=mdettweiler [2016-04-26 13:03:16] 935*2^1427432-1 is not prime. Res64: 8C3EFC69E22F6942 Time : 0.0 sec. user=mdettweiler [2016-04-26 13:03:17] 705*2^1427433-1 is not prime. Res64: 478855922E4888DE Time : 0.0 sec. user=mdettweiler [2016-04-26 13:03:18] 735*2^1427433-1 is not prime. Res64: 0258FA5DA915014E Time : 0.0 sec. user=mdettweiler [2016-04-26 13:04:05] 819*2^1427433-1 is not prime. Res64: 497D90261AB73D49 Time : 0.0 sec. user=mdettweiler [2016-04-26 13:04:06] 847*2^1427433-1 is not prime. Res64: 80E54AD93D30499F Time : 0.0 sec. user=mdettweiler [2016-04-26 13:04:07] 885*2^1427433-1 is not prime. Res64: 63E48677E7188BF1 Time : 0.0 sec. user=mdettweiler [2016-04-26 13:04:08] 985*2^1427433-1 is not prime. Res64: 6A85A6B0505B87F5 Time : 0.0 sec. user=mdettweiler [2016-04-26 13:04:09] 999*2^1427433-1 is not prime. Res64: 90554CEF71CC8F78 Time : 0.0 sec. user=mdettweiler [2016-04-26 13:19:51] 687*2^1427434-1 is not prime. Res64: 8257EE3EDF272178 Time : 0.0 sec. user=mdettweiler [2016-04-26 13:19:51] 831*2^1427434-1 is not prime. Res64: 2AA40482F5AD0FEA Time : 0.0 sec. user=mdettweiler [2016-04-26 13:19:52] 861*2^1427434-1 is not prime. Res64: ACAE35810901E426 Time : 0.0 sec. user=mdettweiler [2016-04-26 13:19:52] 915*2^1427434-1 is not prime. Res64: 554FBF8065CCEB98 Time : 0.0 sec. user=mdettweiler [2016-04-26 13:19:53] 633*2^1427435-1 is not prime. Res64: 9CFBFD6EE858A3E5 Time : 0.0 sec. user=mdettweiler [2016-04-26 13:21:34] 739*2^1427435-1 is not prime. Res64: 55FDB27052BB58F8 Time : 0.0 sec. user=mdettweiler [2016-04-26 13:21:34] 801*2^1427435-1 is not prime. Res64: 9B1FAE1833488EE9 Time : 0.0 sec. user=mdettweiler [2016-04-26 13:21:35] 963*2^1427435-1 is not prime. Res64: D0F2702FF791952D Time : 0.0 sec. user=mdettweiler [2016-04-26 13:21:35] 981*2^1427435-1 is not prime. Res64: 7552300B82D94228 Time : 0.0 sec. user=mdettweiler [2016-04-26 13:21:35] 991*2^1427435-1 is not prime. Res64: 0CB9FE78FB902B87 Time : 0.0 sec. user=mdettweiler [2016-04-26 13:48:38] 635*2^1427436-1 is not prime. Res64: 4E1523CA62A959A0 Time : 0.0 sec. user=mdettweiler [2016-04-26 13:48:38] 759*2^1427436-1 is not prime. Res64: 8AD8C76B20C5E83D Time : 0.0 sec. user=mdettweiler [2016-04-26 13:48:38] 839*2^1427436-1 is not prime. Res64: 5982B932B2A4E843 Time : 0.0 sec. user=mdettweiler [2016-04-26 13:48:39] 999*2^1427436-1 is not prime. Res64: 5210D239914E6274 Time : 0.0 sec. user=mdettweiler [2016-04-26 13:48:39] 615*2^1427437-1 is not prime. Res64: 410C84C77257E4BE Time : 0.0 sec. user=mdettweiler [2016-04-26 13:49:14] 639*2^1427437-1 is not prime. Res64: DD08C1B5637C2F4B Time : 0.0 sec. user=mdettweiler [2016-04-26 13:49:14] 801*2^1427437-1 is not prime. Res64: 8045569EB70E0113 Time : 0.0 sec. user=mdettweiler [2016-04-26 13:49:14] 885*2^1427437-1 is not prime. Res64: 61867DF4756DB210 Time : 0.0 sec. user=mdettweiler [2016-04-26 13:49:15] 937*2^1427437-1 is not prime. Res64: 2E978FCCFA63B352 Time : 0.0 sec. user=mdettweiler [2016-04-26 13:49:15] 975*2^1427437-1 is not prime. Res64: F2C6F85D500B3FD1 Time : 0.0 sec. user=mdettweiler [2016-04-26 14:05:21] 605*2^1427438-1 is not prime. Res64: DCCA71D35E5D8913 Time : 0.0 sec. user=mdettweiler [2016-04-26 14:05:22] 641*2^1427438-1 is not prime. Res64: BD27C661A55AC761 Time : 0.0 sec. user=mdettweiler [2016-04-26 14:05:23] 665*2^1427438-1 is not prime. Res64: 12BB1EB498B7986E Time : 0.0 sec. user=mdettweiler [2016-04-26 14:05:24] 747*2^1427438-1 is not prime. Res64: 04C837C566000934 Time : 0.0 sec. user=mdettweiler [2016-04-26 14:05:25] 753*2^1427438-1 is not prime. Res64: 63F2013C4DF89719 Time : 0.0 sec. user=mdettweiler [2016-04-26 14:06:57] 761*2^1427438-1 is not prime. Res64: 5980C1CEA9963A92 Time : 0.0 sec. user=mdettweiler [2016-04-26 14:06:58] 767*2^1427438-1 is not prime. Res64: B2CEA9C350AF6FBA Time : 0.0 sec. user=mdettweiler [2016-04-26 14:06:58] 963*2^1427438-1 is not prime. Res64: DB418C9703B2ACF9 Time : 0.0 sec. user=mdettweiler [2016-04-26 14:06:58] 615*2^1427439-1 is not prime. Res64: 8361EA17D17C216F Time : 0.0 sec. user=mdettweiler [2016-04-26 14:06:59] 685*2^1427439-1 is not prime. Res64: CCF87E1AA02BEF43 Time : 0.0 sec. user=mdettweiler [2016-04-26 14:33:51] 691*2^1427439-1 is not prime. Res64: 093224C8BE53FA3A Time : 0.0 sec. user=mdettweiler [2016-04-26 14:33:51] 723*2^1427439-1 is not prime. Res64: D15890E04FF2D41B Time : 0.0 sec. user=mdettweiler [2016-04-26 14:33:51] 853*2^1427439-1 is not prime. Res64: 984FBFFA7B3234AB Time : 0.0 sec. user=mdettweiler [2016-04-26 14:33:52] 859*2^1427439-1 is not prime. Res64: 8F6012E1462E8F47 Time : 0.0 sec. user=mdettweiler [2016-04-26 14:33:52] 623*2^1427440-1 is not prime. Res64: B08CAA33A37C97B7 Time : 0.0 sec. user=mdettweiler [2016-04-26 14:34:07] 635*2^1427440-1 is not prime. Res64: B52D6235BAD8AAC3 Time : 0.0 sec. user=mdettweiler [2016-04-26 14:34:07] 717*2^1427440-1 is not prime. Res64: A158A2D4C05D331D Time : 0.0 sec. user=mdettweiler [2016-04-26 14:34:08] 849*2^1427440-1 is not prime. Res64: 409DF02CB1AE3E8E Time : 0.0 sec. user=mdettweiler [2016-04-26 14:34:08] 965*2^1427440-1 is not prime. Res64: 747F068201A14E3D Time : 0.0 sec. user=mdettweiler [2016-04-26 14:34:08] 705*2^1427441-1 is not prime. Res64: 91FF8987EF58EC22 Time : 0.0 sec. user=mdettweiler [2016-04-26 14:51:33] 715*2^1427441-1 is not prime. Res64: 1923010BF143818C Time : 0.0 sec. user=mdettweiler [2016-04-26 14:51:34] 651*2^1427442-1 is not prime. Res64: 3EECDB412C750E9C Time : 0.0 sec. user=mdettweiler [2016-04-26 14:51:34] 683*2^1427442-1 is not prime. Res64: 10A0E9EC287DE93C Time : 0.0 sec. user=mdettweiler [2016-04-26 14:51:34] 711*2^1427442-1 is not prime. Res64: 766D5CCE366120A2 Time : 0.0 sec. user=mdettweiler [2016-04-26 14:51:35] 713*2^1427442-1 is not prime. Res64: F2D77EF8A2C3A1E8 Time : 0.0 sec. user=mdettweiler [2016-04-26 14:52:52] 735*2^1427442-1 is not prime. Res64: 4E0401ECC596C197 Time : 0.0 sec. user=mdettweiler [2016-04-26 14:52:53] 755*2^1427442-1 is not prime. Res64: D6F9DC5C9361571B Time : 0.0 sec. user=mdettweiler [2016-04-26 14:52:53] 791*2^1427442-1 is not prime. Res64: 4DA63DFE3C36EA84 Time : 0.0 sec. user=mdettweiler [2016-04-26 14:52:53] 963*2^1427442-1 is not prime. Res64: 9662BD8BD640C97A Time : 0.0 sec. user=mdettweiler [2016-04-26 14:52:54] 751*2^1427443-1 is not prime. Res64: 572332077E57F4E7 Time : 0.0 sec. user=mdettweiler [2016-04-26 15:21:17] 605*2^1427444-1 is not prime. Res64: B103960C6EE70A7F Time : 0.0 sec. user=mdettweiler [2016-04-26 15:21:17] 783*2^1427443-1 is not prime. Res64: A71E28BF1FBB156D Time : 0.0 sec. user=mdettweiler [2016-04-26 15:21:17] 615*2^1427444-1 is not prime. Res64: 437B65E793ED6146 Time : 0.0 sec. user=mdettweiler [2016-04-26 15:21:17] 885*2^1427443-1 is not prime. Res64: 32CB2554B40416F3 Time : 0.0 sec. user=mdettweiler [2016-04-26 15:21:18] 617*2^1427444-1 is not prime. Res64: D7330EB4B7D79560 Time : 0.0 sec. user=mdettweiler [2016-04-26 15:21:18] 915*2^1427443-1 is not prime. Res64: 89F7AAFAFBA2B54F Time : 0.0 sec. user=mdettweiler [2016-04-26 15:21:18] 833*2^1427444-1 is not prime. Res64: AFAD28F64C1E4579 Time : 0.0 sec. user=mdettweiler [2016-04-26 15:21:18] 943*2^1427443-1 is not prime. Res64: FD8A3B9B0BFFF3C5 Time : 0.0 sec. user=mdettweiler [2016-04-26 15:21:18] 843*2^1427444-1 is not prime. Res64: D7D71B22E486F88C Time : 0.0 sec. user=mdettweiler [2016-04-26 15:21:19] 945*2^1427443-1 is not prime. Res64: 93DBB64959FF3738 Time : 0.0 sec. user=mdettweiler [2016-04-26 15:37:40] 923*2^1427444-1 is not prime. Res64: 6BE128020A58EB7E Time : 0.0 sec. user=mdettweiler [2016-04-26 15:37:40] 987*2^1427444-1 is not prime. Res64: 7A05D3AB37E45E45 Time : 0.0 sec. user=mdettweiler [2016-04-26 15:37:41] 685*2^1427445-1 is not prime. Res64: 887D20F593B019AB Time : 0.0 sec. user=mdettweiler [2016-04-26 15:37:41] 699*2^1427445-1 is not prime. Res64: A863D642930287DF Time : 0.0 sec. user=mdettweiler [2016-04-26 15:37:41] 777*2^1427445-1 is not prime. Res64: 79F2438BFEFD61DE Time : 0.0 sec. user=mdettweiler [2016-04-26 15:38:57] 819*2^1427445-1 is not prime. Res64: 3F46656D7E1518AD Time : 0.0 sec. user=mdettweiler [2016-04-26 15:38:57] 861*2^1427445-1 is not prime. Res64: 258555F2F5A636D3 Time : 0.0 sec. user=mdettweiler [2016-04-26 15:38:58] 867*2^1427445-1 is not prime. Res64: 1202A008807A8EE1 Time : 0.0 sec. user=mdettweiler [2016-04-26 15:38:58] 961*2^1427445-1 is not prime. Res64: E7D265D3EC0EAFD1 Time : 0.0 sec. user=mdettweiler [2016-04-26 15:38:58] 623*2^1427446-1 is not prime. Res64: 63816ABAE10F9180 Time : 0.0 sec. user=mdettweiler [2016-04-26 16:06:44] 723*2^1427446-1 is not prime. Res64: 6914BDBBB1E95069 Time : 0.0 sec. user=mdettweiler [2016-04-26 16:06:45] 777*2^1427446-1 is not prime. Res64: D06589782FD788C6 Time : 0.0 sec. user=mdettweiler [2016-04-26 16:06:45] 785*2^1427446-1 is not prime. Res64: 06663577BC375858 Time : 0.0 sec. user=mdettweiler [2016-04-26 16:06:45] 861*2^1427446-1 is not prime. Res64: 55C98310BF50E68F Time : 0.0 sec. user=mdettweiler [2016-04-26 16:06:46] 923*2^1427446-1 is not prime. Res64: 65F1C333E7AA91B2 Time : 0.0 sec. user=mdettweiler [2016-04-26 16:06:56] 945*2^1427446-1 is not prime. Res64: FBCD74BF5209C050 Time : 0.0 sec. user=mdettweiler [2016-04-26 16:06:57] 957*2^1427446-1 is not prime. Res64: 930599998C1EB056 Time : 0.0 sec. user=mdettweiler [2016-04-26 16:06:57] 971*2^1427446-1 is not prime. Res64: 836E32493663F7FE Time : 0.0 sec. user=mdettweiler [2016-04-26 16:06:57] 729*2^1427447-1 is not prime. Res64: 98610622633538A2 Time : 0.0 sec. user=mdettweiler [2016-04-26 16:06:58] 883*2^1427447-1 is not prime. Res64: 98875FE341628C99 Time : 0.0 sec. user=mdettweiler [2016-04-26 16:23:04] 629*2^1427448-1 is not prime. Res64: 25D231B50490EF86 Time : 0.0 sec. user=mdettweiler [2016-04-26 16:23:05] 695*2^1427448-1 is not prime. Res64: CFB8121739490D04 Time : 0.0 sec. user=mdettweiler [2016-04-26 16:23:05] 735*2^1427448-1 is not prime. Res64: EDB8ACF3797CB780 Time : 0.0 sec. user=mdettweiler [2016-04-26 16:23:06] 803*2^1427448-1 is not prime. Res64: 762F983FF83D9186 Time : 0.0 sec. user=mdettweiler [2016-04-26 16:23:06] 915*2^1427448-1 is not prime. Res64: C216EE5E8799CF22 Time : 0.0 sec. user=mdettweiler [2016-04-26 16:24:15] 977*2^1427448-1 is not prime. Res64: 48E5E91C0E6F283C Time : 0.0 sec. user=mdettweiler [2016-04-26 16:24:15] 615*2^1427449-1 is not prime. Res64: 1126F91C5AE80CF8 Time : 0.0 sec. user=mdettweiler [2016-04-26 16:24:16] 807*2^1427449-1 is not prime. Res64: 6ABC4B3654EDDF45 Time : 0.0 sec. user=mdettweiler [2016-04-26 16:24:16] 615*2^1427450-1 is not prime. Res64: F4A07CB8E223B0FF Time : 0.0 sec. user=mdettweiler [2016-04-26 16:24:17] 791*2^1427450-1 is not prime. Res64: A3EB22C9717ACC46 Time : 0.0 sec. user=mdettweiler [2016-04-26 16:52:06] 885*2^1427450-1 is not prime. Res64: D4C81C3C2D19E2AF Time : 0.0 sec. user=mdettweiler [2016-04-26 16:52:06] 887*2^1427450-1 is not prime. Res64: D14AC79CBB35C75E Time : 0.0 sec. user=mdettweiler [2016-04-26 16:52:07] 609*2^1427451-1 is not prime. Res64: 49C53B4BBACF921F Time : 0.0 sec. user=mdettweiler [2016-04-26 16:52:07] 669*2^1427451-1 is not prime. Res64: 88DAA6631121D500 Time : 0.0 sec. user=mdettweiler [2016-04-26 16:52:08] 679*2^1427451-1 is not prime. Res64: 6E67F71F7C791A1E Time : 0.0 sec. user=mdettweiler [2016-04-26 16:52:36] 819*2^1427451-1 is not prime. Res64: 49CB621752411FD5 Time : 0.0 sec. user=mdettweiler [2016-04-26 16:52:36] 895*2^1427451-1 is not prime. Res64: 3AFE63F09E9B37A4 Time : 0.0 sec. user=mdettweiler [2016-04-26 16:52:37] 677*2^1427452-1 is not prime. Res64: 0A1A9EFDA0A9F221 Time : 0.0 sec. user=mdettweiler [2016-04-26 16:52:37] 693*2^1427452-1 is not prime. Res64: B7DC9170EF38F2AE Time : 0.0 sec. user=mdettweiler [2016-04-26 16:52:37] 819*2^1427452-1 is not prime. Res64: 93DF1205AAED337D Time : 0.0 sec. user=mdettweiler [2016-04-26 17:08:41] 999*2^1427452-1 is not prime. Res64: 0B70571A29C960A7 Time : 0.0 sec. user=mdettweiler [2016-04-26 17:08:41] 621*2^1427453-1 is not prime. Res64: 0A35392FE12878D3 Time : 0.0 sec. user=mdettweiler [2016-04-26 17:08:42] 727*2^1427453-1 is not prime. Res64: 5A4C73603FCFCD56 Time : 0.0 sec. user=mdettweiler [2016-04-26 17:08:42] 729*2^1427453-1 is not prime. Res64: CDCE8BD9DC78A18E Time : 0.0 sec. user=mdettweiler [2016-04-26 17:08:43] 829*2^1427453-1 is not prime. Res64: 211F65F779F7C994 Time : 0.0 sec. user=mdettweiler [2016-04-26 17:09:51] 985*2^1427453-1 is not prime. Res64: 8098CC8D17E6A545 Time : 0.0 sec. user=mdettweiler [2016-04-26 17:09:51] 611*2^1427454-1 is not prime. Res64: E47BD7E4646594E0 Time : 0.0 sec. user=mdettweiler [2016-04-26 17:09:52] 627*2^1427454-1 is not prime. Res64: BDAB34CF3C2A5262 Time : 0.0 sec. user=mdettweiler [2016-04-26 17:09:52] 641*2^1427454-1 is not prime. Res64: 4DC9AD52F0487EC1 Time : 0.0 sec. user=mdettweiler [2016-04-26 17:09:53] 705*2^1427454-1 is not prime. Res64: 0C7B5538517FAEE0 Time : 0.0 sec. user=mdettweiler [2016-04-26 17:37:16] 773*2^1427454-1 is not prime. Res64: 8F2B6CE7B4B36D1E Time : 0.0 sec. user=mdettweiler [2016-04-26 17:37:16] 873*2^1427454-1 is not prime. Res64: 38E4C7A90014DD2E Time : 0.0 sec. user=mdettweiler [2016-04-26 17:37:17] 945*2^1427454-1 is not prime. Res64: CB8CEBA549B94E10 Time : 0.0 sec. user=mdettweiler [2016-04-26 17:37:18] 661*2^1427455-1 is not prime. Res64: E9D897C0E17EE48B Time : 0.0 sec. user=mdettweiler [2016-04-26 17:37:18] 673*2^1427455-1 is not prime. Res64: 74EBC968912890F9 Time : 0.0 sec. user=mdettweiler [2016-04-26 17:37:46] 793*2^1427455-1 is not prime. Res64: EFB2875AE5DF5870 Time : 0.0 sec. user=mdettweiler [2016-04-26 17:37:46] 909*2^1427455-1 is not prime. Res64: 3153938DCE877D88 Time : 0.0 sec. user=mdettweiler [2016-04-26 17:37:47] 735*2^1427456-1 is not prime. Res64: 291FE6AB0CC2E0B8 Time : 0.0 sec. user=mdettweiler [2016-04-26 17:37:47] 759*2^1427456-1 is not prime. Res64: 20FE49E022123864 Time : 0.0 sec. user=mdettweiler [2016-04-26 17:37:48] 839*2^1427456-1 is not prime. Res64: D09A6817D7B2B913 Time : 0.0 sec. user=mdettweiler [2016-04-26 17:54:29] 875*2^1427456-1 is not prime. Res64: 85092ACF8F74448F Time : 0.0 sec. user=mdettweiler [2016-04-26 17:54:29] 699*2^1427457-1 is not prime. Res64: E2E911EE74720D55 Time : 0.0 sec. user=mdettweiler [2016-04-26 17:54:30] 807*2^1427457-1 is not prime. Res64: E0380648D945A026 Time : 0.0 sec. user=mdettweiler [2016-04-26 17:54:30] 695*2^1427458-1 is not prime. Res64: 90D51B41FC91CAC2 Time : 0.0 sec. user=mdettweiler [2016-04-26 17:54:30] 765*2^1427458-1 is not prime. Res64: 9C33B2FD7A455806 Time : 0.0 sec. user=mdettweiler [2016-04-26 17:55:43] 777*2^1427458-1 is not prime. Res64: 3413F00E6B1B38B3 Time : 0.0 sec. user=mdettweiler [2016-04-26 17:55:44] 813*2^1427458-1 is not prime. Res64: 9725B61CAC872A27 Time : 0.0 sec. user=mdettweiler [2016-04-26 17:55:44] 855*2^1427458-1 is not prime. Res64: 691A78AD602C2C73 Time : 0.0 sec. user=mdettweiler [2016-04-26 17:55:44] 971*2^1427458-1 is not prime. Res64: E515C1D73F2671DE Time : 0.0 sec. user=mdettweiler [2016-04-26 17:55:45] 993*2^1427458-1 is not prime. Res64: 95D7A21EE6A201FA Time : 0.0 sec. user=mdettweiler [2016-04-26 18:23:46] 669*2^1427459-1 is not prime. Res64: 46E1C272DDFDBE98 Time : 0.0 sec. user=mdettweiler [2016-04-26 18:23:46] 703*2^1427459-1 is not prime. Res64: C57602AE9E729BF9 Time : 0.0 sec. user=mdettweiler [2016-04-26 18:23:47] 705*2^1427459-1 is not prime. Res64: 6C8CC9DD2749B20D Time : 0.0 sec. user=mdettweiler [2016-04-26 18:23:47] 843*2^1427459-1 is not prime. Res64: 8BB1797161203258 Time : 0.0 sec. user=mdettweiler [2016-04-26 18:23:48] 883*2^1427459-1 is not prime. Res64: 21E9A6426D759C5D Time : 0.0 sec. user=mdettweiler [2016-04-26 18:24:37] 949*2^1427459-1 is not prime. Res64: 2DEA84C7BDDDCF11 Time : 0.0 sec. user=mdettweiler [2016-04-26 18:24:38] 627*2^1427460-1 is not prime. Res64: 5C992762DE7C4480 Time : 0.0 sec. user=mdettweiler [2016-04-26 18:24:38] 845*2^1427460-1 is not prime. Res64: 06E8A024AFCC28F0 Time : 0.0 sec. user=mdettweiler [2016-04-26 18:24:39] 905*2^1427460-1 is not prime. Res64: C6CCFD46A98D2A91 Time : 0.0 sec. user=mdettweiler [2016-04-26 18:24:39] 927*2^1427460-1 is not prime. Res64: 6629BCCB59EC53C3 Time : 0.0 sec. user=mdettweiler [2016-04-26 18:40:28] 649*2^1427461-1 is not prime. Res64: A6F53E57153E6BE1 Time : 0.0 sec. user=mdettweiler [2016-04-26 18:40:29] 751*2^1427461-1 is not prime. Res64: 4453E0D81C704CFE Time : 0.0 sec. user=mdettweiler [2016-04-26 18:40:29] 805*2^1427461-1 is not prime. Res64: EB6F15C74F468369 Time : 0.0 sec. user=mdettweiler [2016-04-26 18:40:30] 797*2^1427462-1 is not prime. Res64: 94EDD9A2C419D5D8 Time : 0.0 sec. user=mdettweiler [2016-04-26 18:40:30] 827*2^1427462-1 is not prime. Res64: 923AE58DEA365A28 Time : 0.0 sec. user=mdettweiler [2016-04-26 18:42:07] 893*2^1427462-1 is not prime. Res64: 0649B7FEECDA58AC Time : 0.0 sec. user=mdettweiler [2016-04-26 18:42:08] 903*2^1427462-1 is not prime. Res64: 55692A80B6B182A0 Time : 0.0 sec. user=mdettweiler [2016-04-26 18:42:08] 941*2^1427462-1 is not prime. Res64: 76FDFBE79763E8B0 Time : 0.0 sec. user=mdettweiler [2016-04-26 18:42:09] 619*2^1427463-1 is not prime. Res64: 3BC392F684222628 Time : 0.0 sec. user=mdettweiler [2016-04-26 18:42:09] 643*2^1427463-1 is not prime. Res64: 89B3D76F644DFDB4 Time : 0.0 sec. user=mdettweiler [2016-04-26 19:08:42] 685*2^1427463-1 is not prime. Res64: AC277FED260509D6 Time : 0.0 sec. user=mdettweiler [2016-04-26 19:08:42] 853*2^1427463-1 is not prime. Res64: 360EB18A86F70558 Time : 0.0 sec. user=mdettweiler [2016-04-26 19:08:43] 963*2^1427463-1 is not prime. Res64: 8DE30BC55BE2EA42 Time : 0.0 sec. user=mdettweiler [2016-04-26 19:08:43] 969*2^1427463-1 is not prime. Res64: 2DE984BC8FC10A2F Time : 0.0 sec. user=mdettweiler [2016-04-26 19:08:44] 609*2^1427464-1 is not prime. Res64: 80D161F98FFF531C Time : 0.0 sec. user=mdettweiler [2016-04-26 19:09:41] 849*2^1427464-1 is not prime. Res64: 9130F14DDE65AC2B Time : 0.0 sec. user=mdettweiler [2016-04-26 19:09:41] 651*2^1427465-1 is not prime. Res64: F94B557D2D43AAB7 Time : 0.0 sec. user=mdettweiler [2016-04-26 19:09:42] 711*2^1427465-1 is not prime. Res64: EC0C0C45325217EB Time : 0.0 sec. user=mdettweiler [2016-04-26 19:09:42] 735*2^1427465-1 is not prime. Res64: 98052E980E884377 Time : 0.0 sec. user=mdettweiler [2016-04-26 19:09:43] 775*2^1427465-1 is not prime. Res64: 4D6808767E2818D0 Time : 0.0 sec. user=mdettweiler [2016-04-26 19:25:21] 781*2^1427465-1 is not prime. Res64: 2DAF0691D8F8D66A Time : 0.0 sec. user=mdettweiler [2016-04-26 19:25:22] 819*2^1427465-1 is not prime. Res64: 7FBE4711D5C92C76 Time : 0.0 sec. user=mdettweiler [2016-04-26 19:25:22] 865*2^1427465-1 is not prime. Res64: C282E9038D3D3E69 Time : 0.0 sec. user=mdettweiler [2016-04-26 19:25:23] 915*2^1427465-1 is not prime. Res64: 084043929CEB81A1 Time : 0.0 sec. user=mdettweiler [2016-04-26 19:25:23] 951*2^1427465-1 is not prime. Res64: 2C9160F4B9B1DBCD Time : 0.0 sec. user=mdettweiler [2016-04-26 19:27:08] 627*2^1427466-1 is not prime. Res64: E260069373BA02C9 Time : 0.0 sec. user=mdettweiler [2016-04-26 19:27:08] 677*2^1427466-1 is not prime. Res64: F863401F079493A0 Time : 0.0 sec. user=mdettweiler [2016-04-26 19:27:09] 747*2^1427466-1 is not prime. Res64: 950794B56E020C60 Time : 0.0 sec. user=mdettweiler [2016-04-26 19:27:09] 945*2^1427466-1 is not prime. Res64: F32BFE0F60A69442 Time : 0.0 sec. user=mdettweiler [2016-04-26 19:27:09] 975*2^1427466-1 is not prime. Res64: 5767E91BE975E1BB Time : 0.0 sec. user=mdettweiler [2016-04-26 19:53:39] 619*2^1427467-1 is not prime. Res64: 05DC29D5C47CF7BE Time : 0.0 sec. user=mdettweiler [2016-04-26 19:53:39] 625*2^1427467-1 is not prime. Res64: B8C3993898E52F85 Time : 0.0 sec. user=mdettweiler [2016-04-26 19:53:40] 681*2^1427467-1 is not prime. Res64: 52F94770563DE59A Time : 0.0 sec. user=mdettweiler [2016-04-26 19:53:40] 915*2^1427467-1 is not prime. Res64: C91BEE5BCA03A7EA Time : 0.0 sec. user=mdettweiler [2016-04-26 19:53:41] 919*2^1427467-1 is not prime. Res64: 3DE386DFF0112C3A Time : 0.0 sec. user=mdettweiler [2016-04-26 19:54:32] 707*2^1427468-1 is not prime. Res64: 5AE29D517070E6D1 Time : 0.0 sec. user=mdettweiler [2016-04-26 19:54:33] 777*2^1427468-1 is not prime. Res64: 800A08D976AF9AC9 Time : 0.0 sec. user=mdettweiler [2016-04-26 19:54:33] 803*2^1427468-1 is not prime. Res64: 5E8245702C61B343 Time : 0.0 sec. user=mdettweiler [2016-04-26 19:54:34] 953*2^1427468-1 is not prime. Res64: 9699CB0C7F43392D Time : 0.0 sec. user=mdettweiler [2016-04-26 19:54:34] 639*2^1427469-1 is not prime. Res64: A0F94F4AE9A69629 Time : 0.0 sec. user=mdettweiler [2016-04-26 20:10:10] 817*2^1427469-1 is not prime. Res64: 3EB0ABB0E6072948 Time : 0.0 sec. user=mdettweiler [2016-04-26 20:10:11] 829*2^1427469-1 is not prime. Res64: 89EA8ABF9DF952A5 Time : 0.0 sec. user=mdettweiler [2016-04-26 20:10:12] 831*2^1427469-1 is not prime. Res64: F16FD24934C6AD5C Time : 0.0 sec. user=mdettweiler [2016-04-26 20:10:12] 865*2^1427469-1 is not prime. Res64: D2C06CC0F30E6FD9 Time : 0.0 sec. user=mdettweiler [2016-04-26 20:10:13] 867*2^1427469-1 is not prime. Res64: 7CF6F4035F4568E3 Time : 0.0 sec. user=mdettweiler [2016-04-26 20:12:04] 675*2^1427470-1 is not prime. Res64: 5528D3EB12389DF7 Time : 0.0 sec. user=mdettweiler [2016-04-26 20:12:04] 695*2^1427470-1 is not prime. Res64: D690A27F403BF8DF Time : 0.0 sec. user=mdettweiler [2016-04-26 20:12:05] 731*2^1427470-1 is not prime. Res64: F383B1CE5D311285 Time : 0.0 sec. user=mdettweiler [2016-04-26 20:12:05] 773*2^1427470-1 is not prime. Res64: E957A99273C9FC86 Time : 0.0 sec. user=mdettweiler [2016-04-26 20:12:05] 777*2^1427470-1 is not prime. Res64: 3BE8D37B6CCF158C Time : 0.0 sec. user=mdettweiler [2016-04-26 20:38:41] 945*2^1427470-1 is not prime. Res64: 8B53E024D1F6FBA8 Time : 0.0 sec. user=mdettweiler [2016-04-26 20:38:42] 951*2^1427470-1 is not prime. Res64: 1CA032D2BC735888 Time : 0.0 sec. user=mdettweiler [2016-04-26 20:38:42] 975*2^1427470-1 is not prime. Res64: 21FA75DDBEE8724B Time : 0.0 sec. user=mdettweiler [2016-04-26 20:38:43] 1001*2^1427470-1 is not prime. Res64: E0786BEBDC83EFFB Time : 0.0 sec. user=mdettweiler [2016-04-26 20:38:43] 615*2^1427471-1 is not prime. Res64: 2401184C5C8E90FA Time : 0.0 sec. user=mdettweiler [2016-04-26 20:39:23] 663*2^1427471-1 is not prime. Res64: 629111C94A814390 Time : 0.0 sec. user=mdettweiler [2016-04-26 20:39:24] 741*2^1427471-1 is not prime. Res64: C87155F0DC00C623 Time : 0.0 sec. user=mdettweiler [2016-04-26 20:39:24] 753*2^1427471-1 is not prime. Res64: 61F8D5639B1F62B6 Time : 0.0 sec. user=mdettweiler [2016-04-26 20:39:25] 763*2^1427471-1 is not prime. Res64: 4F1AA0D8A6B3C748 Time : 0.0 sec. user=mdettweiler [2016-04-26 20:39:25] 775*2^1427471-1 is not prime. Res64: DEFFA6335A686627 Time : 0.0 sec. user=mdettweiler [2016-04-26 20:55:23] 789*2^1427471-1 is not prime. Res64: E35E6DAE97121989 Time : 0.0 sec. user=mdettweiler [2016-04-26 20:55:23] 913*2^1427471-1 is not prime. Res64: 3D1F7901B10654A7 Time : 0.0 sec. user=mdettweiler [2016-04-26 20:55:24] 943*2^1427471-1 is not prime. Res64: C83684C7780043D8 Time : 0.0 sec. user=mdettweiler [2016-04-26 20:55:24] 999*2^1427471-1 is not prime. Res64: AAA5369437344488 Time : 0.0 sec. user=mdettweiler [2016-04-26 20:55:25] 623*2^1427472-1 is not prime. Res64: E9F4FE814E4E9D4E Time : 0.0 sec. user=mdettweiler [2016-04-26 20:57:16] 665*2^1427472-1 is not prime. Res64: 53BB8CF29DB824FD Time : 0.0 sec. user=mdettweiler [2016-04-26 20:57:16] 675*2^1427472-1 is not prime. Res64: 4A7AA1C1821EF486 Time : 0.0 sec. user=mdettweiler [2016-04-26 20:57:17] 683*2^1427472-1 is not prime. Res64: 4CE29AF2197E06D6 Time : 0.0 sec. user=mdettweiler [2016-04-26 20:57:17] 689*2^1427472-1 is not prime. Res64: A670D6BF03CBEA37 Time : 0.0 sec. user=mdettweiler [2016-04-26 20:57:18] 797*2^1427472-1 is not prime. Res64: C760ECA9A613ADD3 Time : 0.0 sec. user=mdettweiler [2016-04-26 21:23:50] 909*2^1427472-1 is not prime. Res64: 71516185E94E5F7C Time : 0.0 sec. user=mdettweiler [2016-04-26 21:23:50] 947*2^1427472-1 is not prime. Res64: E7D6B9B0F620D70F Time : 0.0 sec. user=mdettweiler [2016-04-26 21:23:51] 745*2^1427473-1 is not prime. Res64: 2FC2C8497DD54AD8 Time : 0.0 sec. user=mdettweiler [2016-04-26 21:23:51] 811*2^1427473-1 is not prime. Res64: 9ED66AFFA5E4C917 Time : 0.0 sec. user=mdettweiler [2016-04-26 21:23:52] 671*2^1427474-1 is not prime. Res64: DC022D0C6F551AE8 Time : 0.0 sec. user=mdettweiler [2016-04-26 21:24:20] 711*2^1427474-1 is not prime. Res64: 12B63495BF70C5C7 Time : 0.0 sec. user=mdettweiler [2016-04-26 21:24:20] 827*2^1427474-1 is not prime. Res64: 237EC9E1E444FEF6 Time : 0.0 sec. user=mdettweiler [2016-04-26 21:24:21] 837*2^1427474-1 is not prime. Res64: F31C15D9AC80900E Time : 0.0 sec. user=mdettweiler [2016-04-26 21:24:21] 851*2^1427474-1 is not prime. Res64: 61EB57D76052FFC2 Time : 0.0 sec. user=mdettweiler [2016-04-26 21:24:22] 935*2^1427474-1 is not prime. Res64: 84482A9AF63FA500 Time : 0.0 sec. user=mdettweiler [2016-04-26 21:40:20] 995*2^1427474-1 is not prime. Res64: 8BF59A1C8FBDCC4A Time : 0.0 sec. user=mdettweiler [2016-04-26 21:40:20] 649*2^1427475-1 is not prime. Res64: 1FDE56A1B0B66B1A Time : 0.0 sec. user=mdettweiler [2016-04-26 21:40:21] 679*2^1427475-1 is not prime. Res64: 9C6DE73580EF2E19 Time : 0.0 sec. user=mdettweiler [2016-04-26 21:40:21] 741*2^1427475-1 is not prime. Res64: 7134C0019C008F47 Time : 0.0 sec. user=mdettweiler [2016-04-26 21:40:22] 783*2^1427475-1 is not prime. Res64: 55C6F93F4E108F29 Time : 0.0 sec. user=mdettweiler [2016-04-26 21:42:10] 801*2^1427475-1 is not prime. Res64: AF2A63992B1244F0 Time : 0.0 sec. user=mdettweiler [2016-04-26 21:42:11] 873*2^1427475-1 is not prime. Res64: BE98C16F9A94B9DF Time : 0.0 sec. user=mdettweiler [2016-04-26 21:42:12] 969*2^1427475-1 is not prime. Res64: B27C181E965DC027 Time : 0.0 sec. user=mdettweiler [2016-04-26 21:42:12] 973*2^1427475-1 is not prime. Res64: 07A9E4407D0C04C7 Time : 0.0 sec. user=mdettweiler [2016-04-26 21:42:12] 639*2^1427476-1 is not prime. Res64: 43B6654B2204D022 Time : 0.0 sec. user=mdettweiler [2016-04-26 22:08:58] 773*2^1427476-1 is not prime. Res64: 559AA94F1A0625C7 Time : 0.0 sec. user=mdettweiler [2016-04-26 22:08:58] 779*2^1427476-1 is not prime. Res64: CC76684A469718A9 Time : 0.0 sec. user=mdettweiler [2016-04-26 22:08:59] 999*2^1427476-1 is not prime. Res64: 3CE4ECC01A56C331 Time : 0.0 sec. user=mdettweiler [2016-04-26 22:08:59] 621*2^1427477-1 is not prime. Res64: 0769452D9B35B273 Time : 0.0 sec. user=mdettweiler [2016-04-26 22:09:00] 669*2^1427477-1 is not prime. Res64: F723BD722B8A4160 Time : 0.0 sec. user=mdettweiler [2016-04-26 22:09:17] 727*2^1427477-1 is not prime. Res64: 449F0EA1F8791442 Time : 0.0 sec. user=mdettweiler [2016-04-26 22:09:17] 757*2^1427477-1 is not prime. Res64: E70E5B8B146E5FB4 Time : 0.0 sec. user=mdettweiler [2016-04-26 22:09:18] 795*2^1427477-1 is not prime. Res64: ADF24918D22F4070 Time : 0.0 sec. user=mdettweiler [2016-04-26 22:09:18] 829*2^1427477-1 is not prime. Res64: 8A16AD47CE0675D6 Time : 0.0 sec. user=mdettweiler [2016-04-26 22:09:18] 671*2^1427478-1 is not prime. Res64: 4C5A661602F491AB Time : 0.0 sec. user=mdettweiler [2016-04-26 22:25:28] 693*2^1427478-1 is not prime. Res64: 0A253E4263863F0D Time : 0.0 sec. user=mdettweiler [2016-04-26 22:25:28] 795*2^1427478-1 is not prime. Res64: DE1C4E988DC31B7D Time : 0.0 sec. user=mdettweiler [2016-04-26 22:25:28] 801*2^1427478-1 is not prime. Res64: 852B708A67DBF0CF Time : 0.0 sec. user=mdettweiler [2016-04-26 22:25:29] 843*2^1427478-1 is not prime. Res64: 492DEC625A11D2C3 Time : 0.0 sec. user=mdettweiler [2016-04-26 22:25:29] 915*2^1427478-1 is not prime. Res64: F95D334F27A6E64E Time : 0.0 sec. user=mdettweiler [2016-04-26 22:27:11] 685*2^1427479-1 is not prime. Res64: 5E79B30A94A1063D Time : 0.0 sec. user=mdettweiler [2016-04-26 22:27:11] 703*2^1427479-1 is not prime. Res64: FECA94617DDEDC08 Time : 0.0 sec. user=mdettweiler [2016-04-26 22:27:12] 735*2^1427479-1 is not prime. Res64: 81B5A8B69B758116 Time : 0.0 sec. user=mdettweiler [2016-04-26 22:27:12] 841*2^1427479-1 is not prime. Res64: 20A647B28FFDE055 Time : 0.0 sec. user=mdettweiler [2016-04-26 22:27:13] 843*2^1427479-1 is not prime. Res64: E193614B782BE266 Time : 0.0 sec. user=mdettweiler [2016-04-26 22:54:04] 939*2^1427479-1 is not prime. Res64: A76B5FD3A3081FAF Time : 0.0 sec. user=mdettweiler [2016-04-26 22:54:05] 979*2^1427479-1 is not prime. Res64: FDE7C3370767D787 Time : 0.0 sec. user=mdettweiler [2016-04-26 22:54:05] 635*2^1427480-1 is not prime. Res64: 7185BA005417A2A1 Time : 0.0 sec. user=mdettweiler [2016-04-26 22:54:06] 743*2^1427480-1 is not prime. Res64: 7220D0EA6ACF2099 Time : 0.0 sec. user=mdettweiler [2016-04-26 22:54:06] 785*2^1427480-1 is not prime. Res64: 96E9BC7E8AD83DB6 Time : 0.0 sec. user=mdettweiler [2016-04-26 22:54:19] 795*2^1427480-1 is not prime. Res64: 827C9B6A1F2162E1 Time : 0.0 sec. user=mdettweiler [2016-04-26 22:54:20] 843*2^1427480-1 is not prime. Res64: 1E42BEB0488E68E6 Time : 0.0 sec. user=mdettweiler [2016-04-26 22:54:20] 875*2^1427480-1 is not prime. Res64: D16171A472F4A0BE Time : 0.0 sec. user=mdettweiler [2016-04-26 22:54:21] 657*2^1427481-1 is not prime. Res64: 13CFFB2D349115D0 Time : 0.0 sec. user=mdettweiler [2016-04-26 22:54:21] 675*2^1427481-1 is not prime. Res64: ED98BC4A791FA714 Time : 0.0 sec. user=mdettweiler [2016-04-26 23:10:35] 681*2^1427481-1 is not prime. Res64: F324574A0EDBB872 Time : 0.0 sec. user=mdettweiler [2016-04-26 23:10:35] 685*2^1427481-1 is not prime. Res64: 3001275AEF029E14 Time : 0.0 sec. user=mdettweiler [2016-04-26 23:10:36] 739*2^1427481-1 is not prime. Res64: 4CA9B6D04E6E6AE3 Time : 0.0 sec. user=mdettweiler [2016-04-26 23:10:36] 907*2^1427481-1 is not prime. Res64: 8092B5CE9450761A Time : 0.0 sec. user=mdettweiler [2016-04-26 23:10:37] 635*2^1427482-1 is not prime. Res64: D916744B1C0E2E10 Time : 0.0 sec. user=mdettweiler [2016-04-26 23:11:57] 653*2^1427482-1 is not prime. Res64: EE207EA99FDFA2DB Time : 0.0 sec. user=mdettweiler [2016-04-26 23:11:57] 701*2^1427482-1 is not prime. Res64: EE2FE6422BA02ED6 Time : 0.0 sec. user=mdettweiler [2016-04-26 23:11:58] 713*2^1427482-1 is not prime. Res64: 4C108C6A1DA2A19D Time : 0.0 sec. user=mdettweiler [2016-04-26 23:11:58] 821*2^1427482-1 is not prime. Res64: D7F224C7270FCFD4 Time : 0.0 sec. user=mdettweiler [2016-04-26 23:11:59] 825*2^1427482-1 is not prime. Res64: 31590491A0A2FFF5 Time : 0.0 sec. user=mdettweiler [2016-04-26 23:39:02] 855*2^1427482-1 is not prime. Res64: 7C7558BCE9428B3C Time : 0.0 sec. user=mdettweiler [2016-04-26 23:39:02] 881*2^1427482-1 is not prime. Res64: BEE1980B179055AD Time : 0.0 sec. user=mdettweiler [2016-04-26 23:39:03] 951*2^1427482-1 is not prime. Res64: 695AB016C8019190 Time : 0.0 sec. user=mdettweiler [2016-04-26 23:39:03] 619*2^1427483-1 is not prime. Res64: A3DC9D4A07B45E87 Time : 0.0 sec. user=mdettweiler [2016-04-26 23:39:04] 693*2^1427483-1 is not prime. Res64: D07CB4A049D5747B Time : 0.0 sec. user=mdettweiler [2016-04-26 23:39:12] 861*2^1427483-1 is not prime. Res64: 8BAAA3FBFA6D525E Time : 0.0 sec. user=mdettweiler [2016-04-26 23:39:12] 901*2^1427483-1 is not prime. Res64: 3B16E46C0FE4BB8C Time : 0.0 sec. user=mdettweiler [2016-04-26 23:39:13] 981*2^1427483-1 is not prime. Res64: 4C444B2E7492ED3E Time : 0.0 sec. user=mdettweiler [2016-04-26 23:39:13] 683*2^1427484-1 is not prime. Res64: DA90BF4724797D07 Time : 0.0 sec. user=mdettweiler [2016-04-26 23:39:14] 705*2^1427484-1 is not prime. Res64: C3E662775F40A7C6 Time : 0.0 sec. user=mdettweiler [2016-04-26 23:55:30] 707*2^1427484-1 is not prime. Res64: C77B1EA7B5680CE9 Time : 0.0 sec. user=mdettweiler [2016-04-26 23:55:30] 717*2^1427484-1 is not prime. Res64: EC554B5C057D9718 Time : 0.0 sec. user=mdettweiler [2016-04-26 23:55:31] 719*2^1427484-1 is not prime. Res64: F47910F4EC16B6A0 Time : 0.0 sec. user=mdettweiler [2016-04-26 23:55:31] 863*2^1427484-1 is not prime. Res64: C26A25F16345ABCA Time : 0.0 sec. user=mdettweiler [2016-04-26 23:55:31] 729*2^1427485-1 is not prime. Res64: 8B6477B5C4EF3BA0 Time : 0.0 sec. user=mdettweiler [2016-04-26 23:56:52] 757*2^1427485-1 is not prime. Res64: ADFAC26560FC3994 Time : 0.0 sec. user=mdettweiler [2016-04-26 23:56:53] 831*2^1427485-1 is not prime. Res64: E0B615381D87A2E1 Time : 0.0 sec. user=mdettweiler [2016-04-26 23:56:53] 855*2^1427485-1 is not prime. Res64: 16CEFD79D7C2BF2D Time : 0.0 sec. user=mdettweiler [2016-04-26 23:56:53] 871*2^1427485-1 is not prime. Res64: 4870A1CF83F61411 Time : 0.0 sec. user=mdettweiler [2016-04-26 23:56:54] 889*2^1427485-1 is not prime. Res64: 34D6AA69758C2531 Time : 0.0 sec.