user=mdettweiler [2015-09-18 00:12:36] 833*2^1409562-1 is not prime. Res64: 70D2132429154D07 Time : 0.0 sec. user=mdettweiler [2015-09-18 00:12:37] 945*2^1409562-1 is not prime. Res64: CEC970BB3E221189 Time : 0.0 sec. user=mdettweiler [2015-09-18 00:12:38] 917*2^1409562-1 is not prime. Res64: 6D55FDE8B8452EF6 Time : 0.0 sec. user=mdettweiler [2015-09-18 00:12:39] 977*2^1409562-1 is not prime. Res64: 2DCDAA927E640E9E Time : 0.0 sec. user=mdettweiler [2015-09-18 00:12:40] 821*2^1409562-1 is not prime. Res64: B930B3731F9F90B1 Time : 0.0 sec. user=mdettweiler [2015-09-18 00:12:41] 825*2^1409562-1 is not prime. Res64: 72DA94EB7E151D1A Time : 0.0 sec. user=mdettweiler [2015-09-18 00:31:16] 693*2^1409563-1 is not prime. Res64: 37B55BB28F1AABD7 Time : 0.0 sec. user=mdettweiler [2015-09-18 00:31:17] 735*2^1409563-1 is not prime. Res64: A508CF40685D52FB Time : 0.0 sec. user=mdettweiler [2015-09-18 00:31:18] 813*2^1409563-1 is not prime. Res64: D87102D130F29F6B Time : 0.0 sec. user=mdettweiler [2015-09-18 00:31:18] 859*2^1409563-1 is not prime. Res64: 89761FC3A226FE5B Time : 0.0 sec. user=mdettweiler [2015-09-18 00:31:22] 885*2^1409563-1 is not prime. Res64: C23C78CEE6E7BBA0 Time : 0.0 sec. user=mdettweiler [2015-09-18 00:31:22] 901*2^1409563-1 is not prime. Res64: 48319A4830F6B9F0 Time : 0.0 sec. user=juhehe [2015-09-18 00:48:05] 639*2^1409563-1 is not prime. Res64: B8200F6DE9E11630 Time : 0.0 sec. user=mdettweiler [2015-09-18 00:48:56] 813*2^1409564-1 is not prime. Res64: 2D5F8FA073AD43D3 Time : 0.0 sec. user=mdettweiler [2015-09-18 00:48:56] 885*2^1409564-1 is not prime. Res64: 7092AA0C5C802245 Time : 0.0 sec. user=mdettweiler [2015-09-18 00:48:59] 709*2^1409565-1 is not prime. Res64: 4AC3EB3BEB0D6EE6 Time : 0.0 sec. user=mdettweiler [2015-09-18 00:48:59] 727*2^1409565-1 is not prime. Res64: 73D7E761F645444B Time : 0.0 sec. user=mdettweiler [2015-09-18 00:49:01] 741*2^1409565-1 is not prime. Res64: 75624AD49E6F9CB1 Time : 0.0 sec. user=mdettweiler [2015-09-18 00:49:02] 765*2^1409565-1 is not prime. Res64: 541684B5562D3728 Time : 0.0 sec. user=mdettweiler [2015-09-18 01:06:18] 817*2^1409565-1 is not prime. Res64: EFA3749EA789E565 Time : 0.0 sec. user=mdettweiler [2015-09-18 01:06:22] 825*2^1409565-1 is not prime. Res64: 229D5FB30973225F Time : 0.0 sec. user=mdettweiler [2015-09-18 01:06:23] 891*2^1409566-1 is not prime. Res64: 9846F53AEDA40BF8 Time : 0.0 sec. user=mdettweiler [2015-09-18 01:06:24] 675*2^1409566-1 is not prime. Res64: 98A81B8EE89C9666 Time : 0.0 sec. user=mdettweiler [2015-09-18 01:06:25] 661*2^1409567-1 is not prime. Res64: D216046DB9F1820C Time : 0.0 sec. user=mdettweiler [2015-09-18 01:06:25] 765*2^1409566-1 is not prime. Res64: 4172CF29B344352B Time : 0.0 sec. user=mdettweiler [2015-09-18 01:23:53] 735*2^1409567-1 is not prime. Res64: 25E7197D3AD9BD99 Time : 0.0 sec. user=mdettweiler [2015-09-18 01:23:54] 753*2^1409567-1 is not prime. Res64: F443AC20C9CD928F Time : 0.0 sec. user=mdettweiler [2015-09-18 01:23:56] 799*2^1409567-1 is not prime. Res64: 8B17FD3D9E5AAB45 Time : 0.0 sec. user=mdettweiler [2015-09-18 01:23:57] 861*2^1409567-1 is not prime. Res64: 6A8BE4E255DF9088 Time : 0.0 sec. user=mdettweiler [2015-09-18 01:23:57] 963*2^1409567-1 is not prime. Res64: ECF69126E6404E0A Time : 0.0 sec. user=mdettweiler [2015-09-18 01:23:58] 973*2^1409567-1 is not prime. Res64: 9DB35AE09AC5D349 Time : 0.0 sec. user=mdettweiler [2015-09-18 01:41:13] 979*2^1409567-1 is not prime. Res64: C9B6FCAE37C535C0 Time : 0.0 sec. user=mdettweiler [2015-09-18 01:41:14] 981*2^1409567-1 is not prime. Res64: 1F027EF5BCF5E9C9 Time : 0.0 sec. user=mdettweiler [2015-09-18 01:41:16] 605*2^1409568-1 is not prime. Res64: D496F26A5B18A3DB Time : 0.0 sec. user=mdettweiler [2015-09-18 01:41:17] 635*2^1409568-1 is not prime. Res64: D707C9FDEACD4DCB Time : 0.0 sec. user=mdettweiler [2015-09-18 01:41:17] 639*2^1409568-1 is not prime. Res64: E9A6C5F708F4EA10 Time : 0.0 sec. user=mdettweiler [2015-09-18 01:41:18] 797*2^1409568-1 is not prime. Res64: 40F4D29A33080E32 Time : 0.0 sec. user=mdettweiler [2015-09-18 01:58:40] 839*2^1409568-1 is not prime. Res64: 7821849EED0F67EA Time : 0.0 sec. user=mdettweiler [2015-09-18 01:58:40] 899*2^1409568-1 is not prime. Res64: 0BF855A13D477B4B Time : 0.0 sec. user=mdettweiler [2015-09-18 01:58:41] 905*2^1409568-1 is not prime. Res64: DB5A4A6F910CBB65 Time : 0.0 sec. user=mdettweiler [2015-09-18 01:58:41] 625*2^1409569-1 is not prime. Res64: B5237AAB43B9B525 Time : 0.0 sec. user=mdettweiler [2015-09-18 01:58:42] 705*2^1409569-1 is not prime. Res64: 6120B08C51D40512 Time : 0.0 sec. user=mdettweiler [2015-09-18 01:58:42] 751*2^1409569-1 is not prime. Res64: 047EA45A1115DADD Time : 0.0 sec. user=mdettweiler [2015-09-18 02:16:09] 855*2^1409569-1 is not prime. Res64: A42885A8316C7C46 Time : 0.0 sec. user=mdettweiler [2015-09-18 02:16:09] 627*2^1409570-1 is not prime. Res64: 3B4AA3D737F69697 Time : 0.0 sec. user=mdettweiler [2015-09-18 02:16:09] 861*2^1409569-1 is not prime. Res64: 1A00658BA4AB09FC Time : 0.0 sec. user=mdettweiler [2015-09-18 02:16:09] 635*2^1409570-1 is not prime. Res64: AFBC9D5A0397EF25 Time : 0.0 sec. user=mdettweiler [2015-09-18 02:16:10] 769*2^1409569-1 is not prime. Res64: 2853DE66FFD3F664 Time : 0.0 sec. user=mdettweiler [2015-09-18 02:16:11] 811*2^1409569-1 is not prime. Res64: AFEE46E41F258A12 Time : 0.0 sec. user=mdettweiler [2015-09-18 02:33:32] 651*2^1409571-1 is not prime. Res64: C5F7D80E20460DD6 Time : 0.0 sec. user=mdettweiler [2015-09-18 02:33:32] 705*2^1409571-1 is not prime. Res64: 4FFACEB3F549ECD5 Time : 0.0 sec. user=mdettweiler [2015-09-18 02:33:33] 751*2^1409571-1 is not prime. Res64: 2495DA2535281A6F Time : 0.0 sec. user=mdettweiler [2015-09-18 02:33:33] 825*2^1409571-1 is not prime. Res64: B8867A845C1C1AE0 Time : 0.0 sec. user=mdettweiler [2015-09-18 02:33:35] 911*2^1409570-1 is not prime. Res64: 21C54446F587613B Time : 0.0 sec. user=mdettweiler [2015-09-18 02:33:36] 935*2^1409570-1 is not prime. Res64: 14EA622AA4E00A98 Time : 0.0 sec. user=juhehe [2015-09-18 02:44:02] 875*2^1409570-1 is not prime. Res64: B04B8833777854B8 Time : 0.0 sec. user=mdettweiler [2015-09-18 02:50:58] 975*2^1409571-1 is not prime. Res64: 50DEA4FCBCB1A3C4 Time : 0.0 sec. user=mdettweiler [2015-09-18 02:50:58] 629*2^1409572-1 is not prime. Res64: FFC6A6B76BFC4507 Time : 0.0 sec. user=mdettweiler [2015-09-18 02:50:59] 699*2^1409572-1 is not prime. Res64: B88DF8A59C43D275 Time : 0.0 sec. user=mdettweiler [2015-09-18 02:51:00] 749*2^1409572-1 is not prime. Res64: 79AF1CDE03EBA4A3 Time : 0.0 sec. user=mdettweiler [2015-09-18 02:51:00] 879*2^1409571-1 is not prime. Res64: 8FCC4D89DB916E65 Time : 0.0 sec. user=mdettweiler [2015-09-18 02:51:01] 945*2^1409571-1 is not prime. Res64: C1A4B69902C1671F Time : 0.0 sec. user=mdettweiler [2015-09-18 03:08:21] 785*2^1409572-1 is not prime. Res64: 695917D8D9EA3D33 Time : 0.0 sec. user=mdettweiler [2015-09-18 03:08:21] 827*2^1409572-1 is not prime. Res64: 3FED174DB64F12E2 Time : 0.0 sec. user=mdettweiler [2015-09-18 03:08:22] 607*2^1409573-1 is not prime. Res64: F9DCD6853179522D Time : 0.0 sec. user=mdettweiler [2015-09-18 03:08:22] 819*2^1409573-1 is not prime. Res64: E261121D0ACDC40C Time : 0.0 sec. user=mdettweiler [2015-09-18 03:08:25] 929*2^1409572-1 is not prime. Res64: D6D9C8556C2EE2D9 Time : 0.0 sec. user=mdettweiler [2015-09-18 03:08:25] 965*2^1409572-1 is not prime. Res64: 4E3AC81B2291F9FD Time : 0.0 sec. user=mdettweiler [2015-09-18 03:25:44] 985*2^1409573-1 is not prime. Res64: FE49E5F640E5D8EE Time : 0.0 sec. user=mdettweiler [2015-09-18 03:25:45] 681*2^1409574-1 is not prime. Res64: 479D86C4DB1C2184 Time : 0.0 sec. user=mdettweiler [2015-09-18 03:25:45] 879*2^1409573-1 is not prime. Res64: 53AAB183C5B5983F Time : 0.0 sec. user=mdettweiler [2015-09-18 03:25:46] 937*2^1409573-1 is not prime. Res64: 26B192D399B46547 Time : 0.0 sec. user=mdettweiler [2015-09-18 03:25:46] 705*2^1409574-1 is not prime. Res64: F36C05B1029B0B93 Time : 0.0 sec. user=mdettweiler [2015-09-18 03:25:46] 723*2^1409574-1 is not prime. Res64: 69A902A8F731FB41 Time : 0.0 sec. user=mdettweiler [2015-09-18 03:43:13] 923*2^1409574-1 is not prime. Res64: 8EBD309A5D0018D3 Time : 0.0 sec. user=mdettweiler [2015-09-18 03:43:13] 851*2^1409574-1 is not prime. Res64: 9FD32E8BF86F9AF7 Time : 0.0 sec. user=mdettweiler [2015-09-18 03:43:13] 747*2^1409574-1 is not prime. Res64: 78DD34BE98B3150A Time : 0.0 sec. user=mdettweiler [2015-09-18 03:43:15] 649*2^1409575-1 is not prime. Res64: EE6BC7427AEE9439 Time : 0.0 sec. user=mdettweiler [2015-09-18 03:43:16] 783*2^1409574-1 is not prime. Res64: 6ABCC3807A318064 Time : 0.0 sec. user=mdettweiler [2015-09-18 03:43:17] 891*2^1409574-1 is not prime. Res64: FCE55757C8BCE99E Time : 0.0 sec. user=mdettweiler [2015-09-18 04:01:01] 623*2^1409576-1 is not prime. Res64: 84E2234E3650A075 Time : 0.0 sec. user=mdettweiler [2015-09-18 04:01:01] 857*2^1409576-1 is not prime. Res64: B47E31FA9FEE9A0D Time : 0.0 sec. user=mdettweiler [2015-09-18 04:01:02] 927*2^1409576-1 is not prime. Res64: 204769E50BD5D009 Time : 0.0 sec. user=mdettweiler [2015-09-18 04:01:02] 777*2^1409576-1 is not prime. Res64: 6E43C1665A1F3333 Time : 0.0 sec. user=mdettweiler [2015-09-18 04:01:03] 875*2^1409576-1 is not prime. Res64: 53787CA478A36967 Time : 0.0 sec. user=mdettweiler [2015-09-18 04:01:04] 935*2^1409576-1 is not prime. Res64: 20F67F8E9C185DB3 Time : 0.0 sec. user=mdettweiler [2015-09-18 04:18:50] 963*2^1409576-1 is not prime. Res64: 4BC3BF50032CE203 Time : 0.0 sec. user=mdettweiler [2015-09-18 04:18:50] 625*2^1409577-1 is not prime. Res64: FACD55722DA9ECBB Time : 0.0 sec. user=mdettweiler [2015-09-18 04:18:50] 607*2^1409577-1 is not prime. Res64: DF9687E45325A1A1 Time : 0.0 sec. user=mdettweiler [2015-09-18 04:18:50] 741*2^1409577-1 is not prime. Res64: 26FCE31FC349AB63 Time : 0.0 sec. user=mdettweiler [2015-09-18 04:18:52] 889*2^1409577-1 is not prime. Res64: 3ECA9C93C172508C Time : 0.0 sec. user=mdettweiler [2015-09-18 04:18:52] 909*2^1409577-1 is not prime. Res64: 950EBA5CDBF53796 Time : 0.0 sec. user=mdettweiler [2015-09-18 04:36:12] 831*2^1409578-1 is not prime. Res64: CD5538EA7DC912E1 Time : 0.0 sec. user=mdettweiler [2015-09-18 04:36:12] 603*2^1409578-1 is not prime. Res64: 6CBD86DAD21350F4 Time : 0.0 sec. user=mdettweiler [2015-09-18 04:36:13] 891*2^1409578-1 is not prime. Res64: 5683F4BF520196B6 Time : 0.0 sec. user=mdettweiler [2015-09-18 04:36:13] 611*2^1409578-1 is not prime. Res64: 78120A96052E7AF8 Time : 0.0 sec. user=mdettweiler [2015-09-18 04:36:15] 681*2^1409578-1 is not prime. Res64: E6FCC51428E2F9CB Time : 0.0 sec. user=mdettweiler [2015-09-18 04:36:15] 813*2^1409578-1 is not prime. Res64: 89F124C6007CF5C4 Time : 0.0 sec. user=mdettweiler [2015-09-18 04:53:33] 951*2^1409578-1 is not prime. Res64: CB8522E08A20CD87 Time : 0.0 sec. user=mdettweiler [2015-09-18 04:53:34] 733*2^1409579-1 is not prime. Res64: E8951B044B5A39E9 Time : 0.0 sec. user=mdettweiler [2015-09-18 04:53:34] 993*2^1409578-1 is not prime. Res64: 2ED9ECB7036D1AEF Time : 0.0 sec. user=mdettweiler [2015-09-18 04:53:34] 771*2^1409579-1 is not prime. Res64: 5D516060DBD2CAA6 Time : 0.0 sec. user=mdettweiler [2015-09-18 04:53:35] 931*2^1409579-1 is not prime. Res64: F2277A26B70BE53D Time : 0.0 sec. user=mdettweiler [2015-09-18 04:53:35] 943*2^1409579-1 is not prime. Res64: B762530FA7511F87 Time : 0.0 sec. user=juhehe [2015-09-18 04:56:40] 985*2^1409577-1 is not prime. Res64: F32C77FFCEB918C3 Time : 0.0 sec. user=mdettweiler [2015-09-18 05:10:58] 783*2^1409580-1 is not prime. Res64: FE07BD1A7A517FBB Time : 0.0 sec. user=mdettweiler [2015-09-18 05:10:58] 957*2^1409580-1 is not prime. Res64: E4BB77E64C0246D0 Time : 0.0 sec. user=mdettweiler [2015-09-18 05:10:58] 719*2^1409580-1 is not prime. Res64: CA5EFA9F4B284BF5 Time : 0.0 sec. user=mdettweiler [2015-09-18 05:10:58] 625*2^1409581-1 is not prime. Res64: CAFDC034E16F9512 Time : 0.0 sec. user=mdettweiler [2015-09-18 05:10:58] 765*2^1409580-1 is not prime. Res64: 2FBF1D6C019A73A7 Time : 0.0 sec. user=mdettweiler [2015-09-18 05:10:58] 839*2^1409580-1 is not prime. Res64: 832B97E9E970F038 Time : 0.0 sec. user=mdettweiler [2015-09-18 05:28:22] 777*2^1409581-1 is not prime. Res64: B0772182F3BD80AA Time : 0.0 sec. user=mdettweiler [2015-09-18 05:28:22] 675*2^1409582-1 is not prime. Res64: 1B3B1F45FD381BCC Time : 0.0 sec. user=mdettweiler [2015-09-18 05:28:22] 811*2^1409581-1 is not prime. Res64: 56C7E472B426B0D5 Time : 0.0 sec. user=mdettweiler [2015-09-18 05:28:22] 833*2^1409582-1 is not prime. Res64: 95E724E373AD0B56 Time : 0.0 sec. user=mdettweiler [2015-09-18 05:28:31] 939*2^1409581-1 is not prime. Res64: 89C74FCC558D023A Time : 0.0 sec. user=mdettweiler [2015-09-18 05:28:32] 975*2^1409581-1 is not prime. Res64: EDD4CF3D20B17E18 Time : 0.0 sec. user=mdettweiler [2015-09-18 05:45:44] 915*2^1409582-1 is not prime. Res64: 57BC08D7E9DC67DB Time : 0.0 sec. user=mdettweiler [2015-09-18 05:45:44] 1001*2^1409582-1 is not prime. Res64: 2191D86B6AF43004 Time : 0.0 sec. user=mdettweiler [2015-09-18 05:45:44] 945*2^1409582-1 is not prime. Res64: A513B4D1D85EA650 Time : 0.0 sec. user=mdettweiler [2015-09-18 05:45:44] 735*2^1409583-1 is not prime. Res64: 0CDD00BB4A5BE39F Time : 0.0 sec. user=mdettweiler [2015-09-18 05:45:53] 769*2^1409583-1 is not prime. Res64: 4B75130A941DFE4D Time : 0.0 sec. user=mdettweiler [2015-09-18 05:45:54] 825*2^1409583-1 is not prime. Res64: 6F16F65367492D96 Time : 0.0 sec. user=mdettweiler [2015-09-18 06:03:05] 901*2^1409583-1 is not prime. Res64: 1115E5A307ACDE07 Time : 0.0 sec. user=mdettweiler [2015-09-18 06:03:06] 963*2^1409583-1 is not prime. Res64: 51B309E880229061 Time : 0.0 sec. user=mdettweiler [2015-09-18 06:03:07] 629*2^1409584-1 is not prime. Res64: BC4F9790FF5FB749 Time : 0.0 sec. user=mdettweiler [2015-09-18 06:03:08] 639*2^1409584-1 is not prime. Res64: ACFA82C1A5D1FF87 Time : 0.0 sec. user=mdettweiler [2015-09-18 06:03:14] 657*2^1409584-1 is not prime. Res64: 7BADA97E2F4F942C Time : 0.0 sec. user=mdettweiler [2015-09-18 06:03:15] 759*2^1409584-1 is not prime. Res64: 9FB78B2B29D31020 Time : 0.0 sec. user=juhehe [2015-09-18 06:13:37] 891*2^1409583-1 is not prime. Res64: DCD86BB0612770AF Time : 0.0 sec. user=mdettweiler [2015-09-18 06:20:44] 803*2^1409584-1 is not prime. Res64: A2D9A2B22D0022F8 Time : 0.0 sec. user=mdettweiler [2015-09-18 06:20:45] 813*2^1409584-1 is not prime. Res64: FF58FA15F7B9667D Time : 0.0 sec. user=mdettweiler [2015-09-18 06:20:45] 887*2^1409584-1 is not prime. Res64: 532B9DB87F1ED3BD Time : 0.0 sec. user=mdettweiler [2015-09-18 06:20:45] 927*2^1409584-1 is not prime. Res64: 434C48FF3CAF40E5 Time : 0.0 sec. user=mdettweiler [2015-09-18 06:20:46] 645*2^1409585-1 is not prime. Res64: BD717BDB0610995E Time : 0.0 sec. user=mdettweiler [2015-09-18 06:20:46] 699*2^1409585-1 is not prime. Res64: 19B8FA4C272C7509 Time : 0.0 sec. user=mdettweiler [2015-09-18 06:38:07] 787*2^1409585-1 is not prime. Res64: E59210224D8EBDD8 Time : 0.0 sec. user=mdettweiler [2015-09-18 06:38:07] 907*2^1409585-1 is not prime. Res64: 03806840823D585A Time : 0.0 sec. user=mdettweiler [2015-09-18 06:38:08] 653*2^1409586-1 is not prime. Res64: F9E1458B2E751EF9 Time : 0.0 sec. user=mdettweiler [2015-09-18 06:38:09] 777*2^1409586-1 is not prime. Res64: 525E25C890D00A7E Time : 0.0 sec. user=mdettweiler [2015-09-18 06:38:09] 683*2^1409586-1 is not prime. Res64: 72A74741D2DE9BE3 Time : 0.0 sec. user=mdettweiler [2015-09-18 06:38:09] 803*2^1409586-1 is not prime. Res64: 8679D86C1E659C62 Time : 0.0 sec. user=juhehe [2015-09-18 06:52:11] 715*2^1409585-1 is not prime. Res64: D34A7E2088115FB9 Time : 0.0 sec. user=mdettweiler [2015-09-18 06:55:33] 715*2^1409587-1 is not prime. Res64: 01BF9D6A6F3D13E2 Time : 0.0 sec. user=mdettweiler [2015-09-18 06:55:33] 805*2^1409587-1 is not prime. Res64: FC80F3F0381CA6AB Time : 0.0 sec. user=mdettweiler [2015-09-18 06:55:34] 623*2^1409588-1 is not prime. Res64: 406DA9CF555D22F9 Time : 0.0 sec. user=mdettweiler [2015-09-18 06:55:34] 729*2^1409588-1 is not prime. Res64: 0241C54B7D05112D Time : 0.0 sec. user=mdettweiler [2015-09-18 06:55:34] 859*2^1409587-1 is not prime. Res64: 073DBED7365569A8 Time : 0.0 sec. user=mdettweiler [2015-09-18 06:55:34] 951*2^1409587-1 is not prime. Res64: 033D19EFAEC314DA Time : 0.0 sec. user=mdettweiler [2015-09-18 07:12:55] 987*2^1409588-1 is not prime. Res64: D23EA6E7E80CBC56 Time : 0.0 sec. user=mdettweiler [2015-09-18 07:12:55] 875*2^1409588-1 is not prime. Res64: B37D151C36E03D89 Time : 0.0 sec. user=mdettweiler [2015-09-18 07:12:55] 773*2^1409588-1 is not prime. Res64: 98F5535929DEF9AA Time : 0.0 sec. user=mdettweiler [2015-09-18 07:12:56] 649*2^1409589-1 is not prime. Res64: BF25A00BFF7A78E3 Time : 0.0 sec. user=mdettweiler [2015-09-18 07:12:56] 867*2^1409588-1 is not prime. Res64: D29C864A5A6D71E4 Time : 0.0 sec. user=mdettweiler [2015-09-18 07:12:56] 945*2^1409588-1 is not prime. Res64: 25C4A25742F850B4 Time : 0.0 sec. user=mdettweiler [2015-09-18 07:30:17] 765*2^1409589-1 is not prime. Res64: A4FA5E567184EA05 Time : 0.0 sec. user=mdettweiler [2015-09-18 07:30:17] 675*2^1409589-1 is not prime. Res64: 62F16FD721BD527C Time : 0.0 sec. user=mdettweiler [2015-09-18 07:30:18] 691*2^1409589-1 is not prime. Res64: 619FFE033FE56A03 Time : 0.0 sec. user=mdettweiler [2015-09-18 07:30:18] 867*2^1409589-1 is not prime. Res64: 017135636367DAAC Time : 0.0 sec. user=mdettweiler [2015-09-18 07:30:18] 787*2^1409589-1 is not prime. Res64: 8F1BB3E12C1FFC74 Time : 0.0 sec. user=mdettweiler [2015-09-18 07:30:18] 979*2^1409589-1 is not prime. Res64: E67EFBE08734FA2D Time : 0.0 sec. user=mdettweiler [2015-09-18 07:47:40] 985*2^1409589-1 is not prime. Res64: 8AD0B5DC6B4511A8 Time : 0.0 sec. user=mdettweiler [2015-09-18 07:47:41] 761*2^1409590-1 is not prime. Res64: 3BC5F8BE6FBAF541 Time : 0.0 sec. user=mdettweiler [2015-09-18 07:47:41] 801*2^1409590-1 is not prime. Res64: AE59E404243E0311 Time : 0.0 sec. user=mdettweiler [2015-09-18 07:47:41] 951*2^1409590-1 is not prime. Res64: 510DFB49E2DADF7B Time : 0.0 sec. user=mdettweiler [2015-09-18 07:47:41] 915*2^1409590-1 is not prime. Res64: 14F4FF9F425F134A Time : 0.0 sec. user=mdettweiler [2015-09-18 07:47:42] 645*2^1409591-1 is not prime. Res64: F68E7F35ADB025E0 Time : 0.0 sec. user=mdettweiler [2015-09-18 08:05:04] 943*2^1409591-1 is not prime. Res64: A237701149EC7E4F Time : 0.0 sec. user=mdettweiler [2015-09-18 08:05:04] 661*2^1409591-1 is not prime. Res64: D97F90A67C57ED9C Time : 0.0 sec. user=mdettweiler [2015-09-18 08:05:04] 823*2^1409591-1 is not prime. Res64: 11D55CFF75260932 Time : 0.0 sec. user=mdettweiler [2015-09-18 08:05:05] 819*2^1409591-1 is not prime. Res64: 1D4E9475DB98713D Time : 0.0 sec. user=mdettweiler [2015-09-18 08:05:05] 633*2^1409592-1 is not prime. Res64: B6F4861A86F25E8C Time : 0.0 sec. user=mdettweiler [2015-09-18 08:05:06] 865*2^1409591-1 is not prime. Res64: 0CB2DE4BB7FEBA72 Time : 0.0 sec. user=mdettweiler [2015-09-18 08:22:40] 669*2^1409592-1 is not prime. Res64: F89088D04C2D1572 Time : 0.0 sec. user=mdettweiler [2015-09-18 08:22:40] 753*2^1409592-1 is not prime. Res64: D4771D34D1BABCDE Time : 0.0 sec. user=mdettweiler [2015-09-18 08:22:40] 723*2^1409592-1 is not prime. Res64: B572F5A015E00C64 Time : 0.0 sec. user=mdettweiler [2015-09-18 08:22:40] 765*2^1409592-1 is not prime. Res64: 91608C47929A105E Time : 0.0 sec. user=mdettweiler [2015-09-18 08:22:41] 899*2^1409592-1 is not prime. Res64: E9131B91A7751B4E Time : 0.0 sec. user=mdettweiler [2015-09-18 08:22:41] 933*2^1409592-1 is not prime. Res64: 2D9AA5E45D752D58 Time : 0.0 sec. user=mdettweiler [2015-09-18 08:40:03] 817*2^1409593-1 is not prime. Res64: 954A518F776810D4 Time : 0.0 sec. user=mdettweiler [2015-09-18 08:40:03] 829*2^1409593-1 is not prime. Res64: 5043B9F9238A8583 Time : 0.0 sec. user=mdettweiler [2015-09-18 08:40:03] 951*2^1409593-1 is not prime. Res64: A5AB677E7833F08D Time : 0.0 sec. user=mdettweiler [2015-09-18 08:40:04] 743*2^1409594-1 is not prime. Res64: D388CDFB022AC909 Time : 0.0 sec. user=mdettweiler [2015-09-18 08:40:04] 741*2^1409593-1 is not prime. Res64: 51EE1C8661617045 Time : 0.0 sec. user=mdettweiler [2015-09-18 08:40:05] 789*2^1409593-1 is not prime. Res64: 3AF2C137459C8D63 Time : 0.0 sec. user=juhehe [2015-09-18 08:48:29] 681*2^1409593-1 is not prime. Res64: 69E9630BB145FA7C Time : 0.0 sec. user=mdettweiler [2015-09-18 08:57:27] 783*2^1409594-1 is not prime. Res64: 9D0DAB45A8A98905 Time : 0.0 sec. user=mdettweiler [2015-09-18 08:57:27] 837*2^1409594-1 is not prime. Res64: EAA35440FDD00EE6 Time : 0.0 sec. user=mdettweiler [2015-09-18 08:57:27] 915*2^1409594-1 is not prime. Res64: 9695F7528AE706D9 Time : 0.0 sec. user=mdettweiler [2015-09-18 08:57:28] 923*2^1409594-1 is not prime. Res64: 88BC6EAAE9199789 Time : 0.0 sec. user=mdettweiler [2015-09-18 08:57:30] 941*2^1409594-1 is not prime. Res64: EF3EF62967EACFC9 Time : 0.0 sec. user=mdettweiler [2015-09-18 08:57:30] 651*2^1409595-1 is not prime. Res64: 46F30BAAF16827C9 Time : 0.0 sec. user=mdettweiler [2015-09-18 09:14:49] 751*2^1409595-1 is not prime. Res64: 1FB2EC302BAC6A93 Time : 0.0 sec. user=mdettweiler [2015-09-18 09:14:49] 873*2^1409595-1 is not prime. Res64: E4DF736C7BA1AA47 Time : 0.0 sec. user=mdettweiler [2015-09-18 09:14:49] 795*2^1409595-1 is not prime. Res64: 98A20E065DAE6B0A Time : 0.0 sec. user=mdettweiler [2015-09-18 09:14:49] 969*2^1409595-1 is not prime. Res64: 65D7872056FC6689 Time : 0.0 sec. user=mdettweiler [2015-09-18 09:14:54] 677*2^1409596-1 is not prime. Res64: 94A32746B365C3F6 Time : 0.0 sec. user=mdettweiler [2015-09-18 09:14:54] 689*2^1409596-1 is not prime. Res64: 8E8241DEFEBD57B3 Time : 0.0 sec. user=mdettweiler [2015-09-18 09:32:11] 719*2^1409596-1 is not prime. Res64: 08339A43E688B41B Time : 0.0 sec. user=mdettweiler [2015-09-18 09:32:11] 785*2^1409596-1 is not prime. Res64: 638DA6115F184844 Time : 0.0 sec. user=mdettweiler [2015-09-18 09:32:11] 927*2^1409596-1 is not prime. Res64: DD37A896C4F09777 Time : 0.0 sec. user=mdettweiler [2015-09-18 09:32:12] 947*2^1409596-1 is not prime. Res64: 66128A75E23A2AF6 Time : 0.0 sec. user=mdettweiler [2015-09-18 09:32:16] 975*2^1409596-1 is not prime. Res64: A30B84F871C00816 Time : 0.0 sec. user=mdettweiler [2015-09-18 09:32:17] 645*2^1409597-1 is not prime. Res64: A5B1042A586C039C Time : 0.0 sec. user=mdettweiler [2015-09-18 09:49:34] 699*2^1409597-1 is not prime. Res64: 50784E210B6D77E9 Time : 0.0 sec. user=mdettweiler [2015-09-18 09:49:34] 825*2^1409597-1 is not prime. Res64: D829900CEE685D7C Time : 0.0 sec. user=mdettweiler [2015-09-18 09:49:35] 717*2^1409597-1 is not prime. Res64: 36BF2B81C2C2BDD5 Time : 0.0 sec. user=mdettweiler [2015-09-18 09:49:35] 829*2^1409597-1 is not prime. Res64: 148BCC1BC1BE7286 Time : 0.0 sec. user=mdettweiler [2015-09-18 09:49:38] 885*2^1409597-1 is not prime. Res64: ECCB1176DDDBBEB4 Time : 0.0 sec. user=mdettweiler [2015-09-18 09:49:39] 889*2^1409597-1 is not prime. Res64: EF996C04F8AF582D Time : 0.0 sec. user=mdettweiler [2015-09-18 10:06:58] 927*2^1409597-1 is not prime. Res64: 633C250C28E54A21 Time : 0.0 sec. user=mdettweiler [2015-09-18 10:06:58] 821*2^1409598-1 is not prime. Res64: 10CED609B9BE1A35 Time : 0.0 sec. user=mdettweiler [2015-09-18 10:07:00] 833*2^1409598-1 is not prime. Res64: CC6886A03DC59455 Time : 0.0 sec. user=mdettweiler [2015-09-18 10:07:00] 1001*2^1409598-1 is not prime. Res64: 331857BBF6ADDC17 Time : 0.0 sec. user=mdettweiler [2015-09-18 10:07:01] 861*2^1409598-1 is not prime. Res64: 11ED76238CD5E56B Time : 0.0 sec. user=mdettweiler [2015-09-18 10:07:01] 625*2^1409599-1 is not prime. Res64: 8189ECD65814F539 Time : 0.0 sec. user=mdettweiler [2015-09-18 10:24:20] 685*2^1409599-1 is not prime. Res64: 059EAA77503DE729 Time : 0.0 sec. user=mdettweiler [2015-09-18 10:24:20] 693*2^1409599-1 is not prime. Res64: 4C98BF5768347004 Time : 0.0 sec. user=mdettweiler [2015-09-18 10:24:23] 859*2^1409599-1 is not prime. Res64: 48426F58F43926AE Time : 0.0 sec. user=mdettweiler [2015-09-18 10:24:23] 813*2^1409599-1 is not prime. Res64: 34629D496C4256CF Time : 0.0 sec. user=mdettweiler [2015-09-18 10:24:23] 891*2^1409599-1 is not prime. Res64: B4542C5475BD0BA6 Time : 0.0 sec. user=mdettweiler [2015-09-18 10:24:23] 853*2^1409599-1 is not prime. Res64: 10E8DD2C61C74C18 Time : 0.0 sec. user=mdettweiler [2015-09-18 10:41:46] 605*2^1409600-1 is not prime. Res64: AB15C97CF6612C5F Time : 0.0 sec. user=mdettweiler [2015-09-18 10:41:46] 635*2^1409600-1 is not prime. Res64: EB73E060AC85BC85 Time : 0.0 sec. user=mdettweiler [2015-09-18 10:41:47] 789*2^1409600-1 is not prime. Res64: 4EC7D37A8DA5E504 Time : 0.0 sec. user=mdettweiler [2015-09-18 10:41:47] 855*2^1409600-1 is not prime. Res64: 3B0A42C8DF4DC217 Time : 0.0 sec. user=mdettweiler [2015-09-18 10:41:47] 797*2^1409600-1 is not prime. Res64: 9B7F26D13705D41C Time : 0.0 sec. user=mdettweiler [2015-09-18 10:41:48] 909*2^1409600-1 is not prime. Res64: B46F14537C158CBC Time : 0.0 sec. user=juhehe [2015-09-18 10:44:25] 663*2^1409599-1 is not prime. Res64: 7DE7F309B36EB73C Time : 0.0 sec. user=mdettweiler [2015-09-18 10:59:10] 741*2^1409601-1 is not prime. Res64: 5F33A9243B008E8A Time : 0.0 sec. user=mdettweiler [2015-09-18 10:59:10] 789*2^1409601-1 is not prime. Res64: DF69DF99D15AAA16 Time : 0.0 sec. user=mdettweiler [2015-09-18 10:59:11] 951*2^1409601-1 is not prime. Res64: 79D9086DCBF7C257 Time : 0.0 sec. user=mdettweiler [2015-09-18 10:59:11] 679*2^1409601-1 is not prime. Res64: 895F34E49A3F65F2 Time : 0.0 sec. user=mdettweiler [2015-09-18 10:59:11] 645*2^1409602-1 is not prime. Res64: 738A04E97369364A Time : 0.0 sec. user=mdettweiler [2015-09-18 10:59:11] 681*2^1409601-1 is not prime. Res64: 657D8821F4BAF755 Time : 0.0 sec. user=mdettweiler [2015-09-18 11:16:33] 657*2^1409602-1 is not prime. Res64: E41E184B00C7FD2B Time : 0.0 sec. user=mdettweiler [2015-09-18 11:16:33] 695*2^1409602-1 is not prime. Res64: BB1E3EC595DDC19B Time : 0.0 sec. user=mdettweiler [2015-09-18 11:16:33] 651*2^1409602-1 is not prime. Res64: 5AEA2D431E7F9408 Time : 0.0 sec. user=mdettweiler [2015-09-18 11:16:33] 665*2^1409602-1 is not prime. Res64: 3453A4722302E2CA Time : 0.0 sec. user=mdettweiler [2015-09-18 11:16:33] 803*2^1409602-1 is not prime. Res64: E9E82CCA65AC482F Time : 0.0 sec. user=mdettweiler [2015-09-18 11:16:34] 653*2^1409602-1 is not prime. Res64: 691975AA30C528F1 Time : 0.0 sec. user=mdettweiler [2015-09-18 11:33:56] 813*2^1409602-1 is not prime. Res64: 207266D4149E8B90 Time : 0.0 sec. user=mdettweiler [2015-09-18 11:33:56] 873*2^1409602-1 is not prime. Res64: D4C162DC2A91E20B Time : 0.0 sec. user=mdettweiler [2015-09-18 11:33:56] 759*2^1409603-1 is not prime. Res64: 3C866313898E9468 Time : 0.0 sec. user=mdettweiler [2015-09-18 11:33:57] 913*2^1409603-1 is not prime. Res64: B0480A62E50A154B Time : 0.0 sec. user=mdettweiler [2015-09-18 11:34:02] 615*2^1409603-1 is not prime. Res64: E6DB471C0C0715A1 Time : 0.0 sec. user=mdettweiler [2015-09-18 11:34:02] 693*2^1409603-1 is not prime. Res64: 5A3DFDA12BD8E5F3 Time : 0.0 sec. user=mdettweiler [2015-09-18 11:51:18] 693*2^1409604-1 is not prime. Res64: BC8D8950A34E7EB7 Time : 0.0 sec. user=mdettweiler [2015-09-18 11:51:18] 921*2^1409603-1 is not prime. Res64: 5CE921AE6D97CE80 Time : 0.0 sec. user=mdettweiler [2015-09-18 11:51:19] 705*2^1409604-1 is not prime. Res64: CBB476DA12B6BBD2 Time : 0.0 sec. user=mdettweiler [2015-09-18 11:51:19] 609*2^1409604-1 is not prime. Res64: 36270C6EF47E43F8 Time : 0.0 sec. user=mdettweiler [2015-09-18 11:51:23] 783*2^1409604-1 is not prime. Res64: 39FB978BB4ED906E Time : 0.0 sec. user=mdettweiler [2015-09-18 11:51:23] 873*2^1409604-1 is not prime. Res64: 39C3807CBFF2B07F Time : 0.0 sec. user=mdettweiler [2015-09-18 12:08:42] 893*2^1409604-1 is not prime. Res64: 4E53385307D097EE Time : 0.0 sec. user=mdettweiler [2015-09-18 12:08:42] 649*2^1409605-1 is not prime. Res64: 32EBE1D27A706255 Time : 0.0 sec. user=mdettweiler [2015-09-18 12:08:43] 875*2^1409604-1 is not prime. Res64: 40A97736404EC8CB Time : 0.0 sec. user=mdettweiler [2015-09-18 12:08:43] 887*2^1409604-1 is not prime. Res64: F8C545B9B23DEE8D Time : 0.0 sec. user=mdettweiler [2015-09-18 12:08:45] 741*2^1409605-1 is not prime. Res64: EA626B9719E84861 Time : 0.0 sec. user=mdettweiler [2015-09-18 12:08:46] 759*2^1409605-1 is not prime. Res64: 8A625B88E05FDCBE Time : 0.0 sec. user=mdettweiler [2015-09-18 12:26:05] 871*2^1409605-1 is not prime. Res64: F993AD4CF62572A2 Time : 0.0 sec. user=mdettweiler [2015-09-18 12:26:05] 877*2^1409605-1 is not prime. Res64: 429EBA6DCF0B3394 Time : 0.0 sec. user=mdettweiler [2015-09-18 12:26:06] 827*2^1409606-1 is not prime. Res64: 6DB57E41786DD0A3 Time : 0.0 sec. user=mdettweiler [2015-09-18 12:26:07] 603*2^1409606-1 is not prime. Res64: 34F4B7E30393B473 Time : 0.0 sec. user=mdettweiler [2015-09-18 12:26:07] 873*2^1409606-1 is not prime. Res64: F596DB68BBBD5485 Time : 0.0 sec. user=mdettweiler [2015-09-18 12:26:07] 743*2^1409606-1 is not prime. Res64: E4BA2625E8C5D225 Time : 0.0 sec. user=juhehe [2015-09-18 12:39:50] 805*2^1409605-1 is not prime. Res64: 489DA9E6EA1BB262 Time : 0.0 sec. user=mdettweiler [2015-09-18 12:43:27] 897*2^1409606-1 is not prime. Res64: 96A5D89FD0E91EFA Time : 0.0 sec. user=mdettweiler [2015-09-18 12:43:27] 993*2^1409606-1 is not prime. Res64: DD3237DDDDB107A2 Time : 0.0 sec. user=mdettweiler [2015-09-18 12:43:29] 711*2^1409607-1 is not prime. Res64: 428EC8678537EC47 Time : 0.0 sec. user=mdettweiler [2015-09-18 12:43:29] 619*2^1409607-1 is not prime. Res64: 3975EE1BF125AF8D Time : 0.0 sec. user=mdettweiler [2015-09-18 12:43:29] 739*2^1409607-1 is not prime. Res64: 5FA67393DE753F2C Time : 0.0 sec. user=mdettweiler [2015-09-18 12:43:29] 625*2^1409607-1 is not prime. Res64: 913D682A0D979EBA Time : 0.0 sec. user=mdettweiler [2015-09-18 13:00:49] 829*2^1409607-1 is not prime. Res64: 1DEE799101AF0E16 Time : 0.0 sec. user=mdettweiler [2015-09-18 13:00:50] 843*2^1409607-1 is not prime. Res64: DCB38F6C683747BB Time : 0.0 sec. user=mdettweiler [2015-09-18 13:00:51] 985*2^1409607-1 is not prime. Res64: 3B071C40AD619EBC Time : 0.0 sec. user=mdettweiler [2015-09-18 13:00:51] 879*2^1409607-1 is not prime. Res64: 842543C1D4A6E533 Time : 0.0 sec. user=mdettweiler [2015-09-18 13:00:51] 819*2^1409608-1 is not prime. Res64: 9DE47D11A31B21AF Time : 0.0 sec. user=mdettweiler [2015-09-18 13:00:52] 951*2^1409607-1 is not prime. Res64: 3A84EB36742E9FEA Time : 0.0 sec. user=mdettweiler [2015-09-18 13:18:29] 795*2^1409609-1 is not prime. Res64: 47A779ACA052F47C Time : 0.0 sec. user=mdettweiler [2015-09-18 13:18:29] 691*2^1409609-1 is not prime. Res64: 53BB78A7D66F1559 Time : 0.0 sec. user=mdettweiler [2015-09-18 13:18:30] 885*2^1409609-1 is not prime. Res64: D6D6D85FFD181694 Time : 0.0 sec. user=mdettweiler [2015-09-18 13:18:30] 769*2^1409609-1 is not prime. Res64: 6BB10F10864754BA Time : 0.0 sec. user=mdettweiler [2015-09-18 13:18:31] 909*2^1409608-1 is not prime. Res64: D0D5EAC57DCCDEAD Time : 0.0 sec. user=mdettweiler [2015-09-18 13:18:31] 627*2^1409609-1 is not prime. Res64: F2D678565C1AE057 Time : 0.0 sec. user=mdettweiler [2015-09-18 13:36:02] 651*2^1409610-1 is not prime. Res64: 7FD6326EF81F7879 Time : 0.0 sec. user=mdettweiler [2015-09-18 13:36:02] 987*2^1409609-1 is not prime. Res64: 4BF804D27B4A4AF3 Time : 0.0 sec. user=mdettweiler [2015-09-18 13:36:02] 725*2^1409610-1 is not prime. Res64: 406AAEA7B6B2871B Time : 0.0 sec. user=mdettweiler [2015-09-18 13:36:02] 633*2^1409610-1 is not prime. Res64: 71443E6B18A73675 Time : 0.0 sec. user=mdettweiler [2015-09-18 13:36:03] 889*2^1409609-1 is not prime. Res64: 2E4325A5712CFF40 Time : 0.0 sec. user=mdettweiler [2015-09-18 13:36:03] 955*2^1409609-1 is not prime. Res64: A0C406CEAF31FF00 Time : 0.0 sec. user=mdettweiler [2015-09-18 13:53:23] 803*2^1409610-1 is not prime. Res64: 272C40B6B953022D Time : 0.0 sec. user=mdettweiler [2015-09-18 13:53:24] 821*2^1409610-1 is not prime. Res64: 9CBB722DF8CFC171 Time : 0.0 sec. user=mdettweiler [2015-09-18 13:53:25] 773*2^1409610-1 is not prime. Res64: A8511D2733E274D6 Time : 0.0 sec. user=mdettweiler [2015-09-18 13:53:25] 783*2^1409610-1 is not prime. Res64: C51E26B057F8D332 Time : 0.0 sec. user=mdettweiler [2015-09-18 13:53:28] 825*2^1409610-1 is not prime. Res64: 8B75A650F678C2B4 Time : 0.0 sec. user=mdettweiler [2015-09-18 13:53:28] 945*2^1409610-1 is not prime. Res64: D2EE7B0DA7183343 Time : 0.0 sec. user=mdettweiler [2015-09-18 14:10:45] 963*2^1409610-1 is not prime. Res64: F7FD347295D83DA0 Time : 0.0 sec. user=mdettweiler [2015-09-18 14:10:46] 679*2^1409611-1 is not prime. Res64: 8A09009D023A0549 Time : 0.0 sec. user=mdettweiler [2015-09-18 14:10:46] 651*2^1409611-1 is not prime. Res64: 0BF7DEFDFFEA5A9B Time : 0.0 sec. user=mdettweiler [2015-09-18 14:10:46] 709*2^1409611-1 is not prime. Res64: 45DCC3A84F6772CD Time : 0.0 sec. user=mdettweiler [2015-09-18 14:10:48] 751*2^1409611-1 is not prime. Res64: A543342DD2834618 Time : 0.0 sec. user=mdettweiler [2015-09-18 14:10:49] 775*2^1409611-1 is not prime. Res64: 068847267F37EB10 Time : 0.0 sec. user=mdettweiler [2015-09-18 14:28:09] 861*2^1409611-1 is not prime. Res64: D1185E99FEA0731C Time : 0.0 sec. user=mdettweiler [2015-09-18 14:28:09] 913*2^1409611-1 is not prime. Res64: E896DF886949618F Time : 0.0 sec. user=mdettweiler [2015-09-18 14:28:09] 873*2^1409611-1 is not prime. Res64: 691A4213E7559CCF Time : 0.0 sec. user=mdettweiler [2015-09-18 14:28:09] 931*2^1409611-1 is not prime. Res64: 16B75D0AE41ED12A Time : 0.0 sec. user=mdettweiler [2015-09-18 14:28:11] 939*2^1409611-1 is not prime. Res64: AD6951450EFBADB3 Time : 0.0 sec. user=mdettweiler [2015-09-18 14:28:11] 951*2^1409611-1 is not prime. Res64: E45C06945C68C4AD Time : 0.0 sec. user=juhehe [2015-09-18 14:36:09] 789*2^1409611-1 is not prime. Res64: 162115034EFD8961 Time : 0.0 sec. user=mdettweiler [2015-09-18 14:45:38] 693*2^1409612-1 is not prime. Res64: 125011D4E50D8235 Time : 0.0 sec. user=mdettweiler [2015-09-18 14:45:38] 767*2^1409612-1 is not prime. Res64: 06678CA966390152 Time : 0.0 sec. user=mdettweiler [2015-09-18 14:45:39] 797*2^1409612-1 is not prime. Res64: 87E69A458422E97A Time : 0.0 sec. user=mdettweiler [2015-09-18 14:45:39] 621*2^1409613-1 is not prime. Res64: F353D52EBEEEF9E2 Time : 0.0 sec. user=mdettweiler [2015-09-18 14:45:39] 607*2^1409613-1 is not prime. Res64: 90A8E15D9BAC3830 Time : 0.0 sec. user=mdettweiler [2015-09-18 14:45:39] 625*2^1409613-1 is not prime. Res64: 4D2B552B7084A961 Time : 0.0 sec. user=mdettweiler [2015-09-18 15:03:00] 741*2^1409613-1 is not prime. Res64: 35DF90B349CFAE06 Time : 0.0 sec. user=mdettweiler [2015-09-18 15:03:00] 789*2^1409613-1 is not prime. Res64: C85D1C90A6CB8CB3 Time : 0.0 sec. user=mdettweiler [2015-09-18 15:03:01] 747*2^1409613-1 is not prime. Res64: 3AD59045AF1D5503 Time : 0.0 sec. user=mdettweiler [2015-09-18 15:03:02] 889*2^1409613-1 is not prime. Res64: A433B7F60758359F Time : 0.0 sec. user=mdettweiler [2015-09-18 15:03:02] 837*2^1409613-1 is not prime. Res64: 220FAD1A9D3B001F Time : 0.0 sec. user=mdettweiler [2015-09-18 15:03:04] 951*2^1409613-1 is not prime. Res64: 197A780B4F72000C Time : 0.0 sec. user=mdettweiler [2015-09-18 15:20:42] 969*2^1409613-1 is not prime. Res64: 9BC3B77E2EF08216 Time : 0.0 sec. user=mdettweiler [2015-09-18 15:20:43] 831*2^1409362-1 is not prime. Res64: CF6917434FEACB61 Time : 0.0 sec. user=mdettweiler [2015-09-18 15:20:43] 987*2^1409613-1 is not prime. Res64: 66A6E604B7A4DCDC Time : 0.0 sec. user=mdettweiler [2015-09-18 15:20:44] 911*2^1409362-1 is not prime. Res64: CEE65420552B4623 Time : 0.0 sec. user=mdettweiler [2015-09-18 15:20:46] 645*2^1409614-1 is not prime. Res64: E4217902C812420D Time : 0.0 sec. user=mdettweiler [2015-09-18 15:20:46] 663*2^1409614-1 is not prime. Res64: 125550A11CB9A9CB Time : 0.0 sec. user=mdettweiler [2015-09-18 15:38:12] 731*2^1409614-1 is not prime. Res64: 9F448EAC11F99638 Time : 0.0 sec. user=mdettweiler [2015-09-18 15:38:12] 863*2^1409614-1 is not prime. Res64: 632A79CA4767B944 Time : 0.0 sec. user=mdettweiler [2015-09-18 15:38:12] 887*2^1409614-1 is not prime. Res64: 2D695329A69E242F Time : 0.0 sec. user=mdettweiler [2015-09-18 15:38:12] 923*2^1409614-1 is not prime. Res64: 07CBB233735AA4A1 Time : 0.0 sec. user=mdettweiler [2015-09-18 15:38:12] 891*2^1409614-1 is not prime. Res64: 84C6C11B93369E82 Time : 0.0 sec. user=mdettweiler [2015-09-18 15:38:12] 947*2^1409614-1 is not prime. Res64: CDDF0AB66C2A5D34 Time : 0.0 sec. user=mdettweiler [2015-09-18 15:55:32] 619*2^1409615-1 is not prime. Res64: 7D83802AB06B087F Time : 0.0 sec. user=mdettweiler [2015-09-18 15:55:32] 909*2^1409615-1 is not prime. Res64: 3CCE77C808D1DF3A Time : 0.0 sec. user=mdettweiler [2015-09-18 15:55:32] 663*2^1409615-1 is not prime. Res64: 9347DDF0A004D590 Time : 0.0 sec. user=mdettweiler [2015-09-18 15:55:33] 973*2^1409615-1 is not prime. Res64: DBDC41846D4003D1 Time : 0.0 sec. user=mdettweiler [2015-09-18 15:55:33] 699*2^1409616-1 is not prime. Res64: AD3CB952E93DDC93 Time : 0.0 sec. user=mdettweiler [2015-09-18 15:55:33] 717*2^1409616-1 is not prime. Res64: F0497E9A5BEFCC04 Time : 0.0 sec. user=mdettweiler [2015-09-18 16:12:53] 917*2^1409616-1 is not prime. Res64: 504CA51DFF4866DA Time : 0.0 sec. user=mdettweiler [2015-09-18 16:12:53] 601*2^1409617-1 is not prime. Res64: 131783667C6A4B62 Time : 0.0 sec. user=mdettweiler [2015-09-18 16:12:53] 927*2^1409616-1 is not prime. Res64: 0FF9958E1D2E5A75 Time : 0.0 sec. user=mdettweiler [2015-09-18 16:12:53] 715*2^1409617-1 is not prime. Res64: B40F8C7080F4A090 Time : 0.0 sec. user=mdettweiler [2015-09-18 16:12:54] 717*2^1409617-1 is not prime. Res64: 2E9E23FC2AEDC803 Time : 0.0 sec. user=mdettweiler [2015-09-18 16:12:54] 939*2^1409617-1 is not prime. Res64: 43C82F4AC8BB3F28 Time : 0.0 sec. user=mdettweiler [2015-09-18 16:30:15] 671*2^1409618-1 is not prime. Res64: EDAED28282C0F7F6 Time : 0.0 sec. user=mdettweiler [2015-09-18 16:30:15] 641*2^1409618-1 is not prime. Res64: 24F1F5F5BC9E621D Time : 0.0 sec. user=mdettweiler [2015-09-18 16:30:15] 755*2^1409618-1 is not prime. Res64: 3E610B4C1E492AA2 Time : 0.0 sec. user=mdettweiler [2015-09-18 16:30:15] 665*2^1409618-1 is not prime. Res64: E7F2AB23A3FF22DA Time : 0.0 sec. user=mdettweiler [2015-09-18 16:30:15] 957*2^1409617-1 is not prime. Res64: 3DC8E1EAD5428AA9 Time : 0.0 sec. user=mdettweiler [2015-09-18 16:30:16] 985*2^1409617-1 is not prime. Res64: 24696E9D965A8482 Time : 0.0 sec. user=juhehe [2015-09-18 16:34:22] 737*2^1409616-1 is not prime. Res64: D6C30A6FDDDEEBF8 Time : 0.0 sec. user=mdettweiler [2015-09-18 16:47:36] 833*2^1409618-1 is not prime. Res64: 80DA0615ECF1098D Time : 0.0 sec. user=mdettweiler [2015-09-18 16:47:36] 857*2^1409618-1 is not prime. Res64: 52D2B5B5F8FC5146 Time : 0.0 sec. user=mdettweiler [2015-09-18 16:47:36] 837*2^1409618-1 is not prime. Res64: EE5752DA60650ADB Time : 0.0 sec. user=mdettweiler [2015-09-18 16:47:36] 921*2^1409618-1 is not prime. Res64: 94B3180C84E5CDE4 Time : 0.0 sec. user=mdettweiler [2015-09-18 16:47:37] 977*2^1409618-1 is not prime. Res64: 4E48FF7B6ED75719 Time : 0.0 sec. user=mdettweiler [2015-09-18 16:47:38] 987*2^1409618-1 is not prime. Res64: 17963AE70A024378 Time : 0.0 sec. user=mdettweiler [2015-09-18 17:04:58] 825*2^1409619-1 is not prime. Res64: B823D4E0665FB394 Time : 0.0 sec. user=mdettweiler [2015-09-18 17:04:58] 741*2^1409619-1 is not prime. Res64: 85A93634717D1C15 Time : 0.0 sec. user=mdettweiler [2015-09-18 17:04:58] 919*2^1409619-1 is not prime. Res64: C6B04DF7FFDB9F5C Time : 0.0 sec. user=mdettweiler [2015-09-18 17:04:59] 843*2^1409619-1 is not prime. Res64: 5284EB17C505E3D4 Time : 0.0 sec. user=mdettweiler [2015-09-18 17:05:00] 759*2^1409620-1 is not prime. Res64: 74FECC9B406473A4 Time : 0.0 sec. user=mdettweiler [2015-09-18 17:05:01] 751*2^1409619-1 is not prime. Res64: 161252DDA49F0DFA Time : 0.0 sec. user=mdettweiler [2015-09-18 17:22:52] 827*2^1409620-1 is not prime. Res64: 7CBE6FBD2C3CBA72 Time : 0.0 sec. user=mdettweiler [2015-09-18 17:22:53] 621*2^1409621-1 is not prime. Res64: 605619D972BB484A Time : 0.0 sec. user=mdettweiler [2015-09-18 17:22:53] 645*2^1409621-1 is not prime. Res64: 357B3EA69AE10995 Time : 0.0 sec. user=mdettweiler [2015-09-18 17:22:54] 675*2^1409621-1 is not prime. Res64: B27CBEA02E4A020D Time : 0.0 sec. user=mdettweiler [2015-09-18 17:22:55] 999*2^1409620-1 is not prime. Res64: AA4348AC165A1013 Time : 0.0 sec. user=mdettweiler [2015-09-18 17:22:56] 631*2^1409621-1 is not prime. Res64: B317488D18493BF7 Time : 0.0 sec. user=mdettweiler [2015-09-18 17:40:13] 741*2^1409621-1 is not prime. Res64: 5B0E3A71852756FF Time : 0.0 sec. user=mdettweiler [2015-09-18 17:40:13] 621*2^1409622-1 is not prime. Res64: 031B9426AD70149B Time : 0.0 sec. user=mdettweiler [2015-09-18 17:40:14] 955*2^1409621-1 is not prime. Res64: C7BAC09D02EFB418 Time : 0.0 sec. user=mdettweiler [2015-09-18 17:40:14] 671*2^1409622-1 is not prime. Res64: F439E3585BB31D7A Time : 0.0 sec. user=mdettweiler [2015-09-18 17:40:15] 717*2^1409622-1 is not prime. Res64: C0F16076C135A8D0 Time : 0.0 sec. user=mdettweiler [2015-09-18 17:40:16] 807*2^1409622-1 is not prime. Res64: AF50F2CFB405EF0D Time : 0.0 sec. user=juhehe [2015-09-18 17:51:24] 717*2^1409621-1 is not prime. Res64: BD581E7BB53A45ED Time : 0.0 sec. user=mdettweiler [2015-09-18 17:57:34] 893*2^1409622-1 is not prime. Res64: 0914C00068820D96 Time : 0.0 sec. user=mdettweiler [2015-09-18 17:57:34] 763*2^1409623-1 is not prime. Res64: AB76255BD9B97DE8 Time : 0.0 sec. user=mdettweiler [2015-09-18 17:57:34] 705*2^1409623-1 is not prime. Res64: F760A02D02802C37 Time : 0.0 sec. user=mdettweiler [2015-09-18 17:57:34] 765*2^1409623-1 is not prime. Res64: 504804DE69E5A71F Time : 0.0 sec. user=mdettweiler [2015-09-18 17:57:35] 805*2^1409623-1 is not prime. Res64: B79959C79D46EFB5 Time : 0.0 sec. user=mdettweiler [2015-09-18 17:57:36] 885*2^1409623-1 is not prime. Res64: 475156F01DC8693E Time : 0.0 sec. user=mdettweiler [2015-09-18 18:14:55] 901*2^1409623-1 is not prime. Res64: E1EB078F38A22515 Time : 0.0 sec. user=mdettweiler [2015-09-18 18:14:55] 973*2^1409623-1 is not prime. Res64: B0DA8F6F3BE17327 Time : 0.0 sec. user=mdettweiler [2015-09-18 18:14:56] 933*2^1409623-1 is not prime. Res64: 55A8A653C2308AF1 Time : 0.0 sec. user=mdettweiler [2015-09-18 18:14:56] 747*2^1409624-1 is not prime. Res64: 0DC1241986C89F6D Time : 0.0 sec. user=mdettweiler [2015-09-18 18:14:56] 665*2^1409624-1 is not prime. Res64: D208FB3610ACF2BE Time : 0.0 sec. user=mdettweiler [2015-09-18 18:14:56] 755*2^1409624-1 is not prime. Res64: 6E81BA5C6DBE1DAF Time : 0.0 sec. user=mdettweiler [2015-09-18 18:32:17] 767*2^1409624-1 is not prime. Res64: 6749529D3B3FDCFE Time : 0.0 sec. user=mdettweiler [2015-09-18 18:32:17] 819*2^1409624-1 is not prime. Res64: 3F8CDB081CA0E545 Time : 0.0 sec. user=mdettweiler [2015-09-18 18:32:17] 843*2^1409624-1 is not prime. Res64: C3878588E118B214 Time : 0.0 sec. user=mdettweiler [2015-09-18 18:32:17] 627*2^1409625-1 is not prime. Res64: F8F44B80705BD9F2 Time : 0.0 sec. user=mdettweiler [2015-09-18 18:32:18] 857*2^1409624-1 is not prime. Res64: 26C316D796A3DF53 Time : 0.0 sec. user=mdettweiler [2015-09-18 18:32:18] 649*2^1409625-1 is not prime. Res64: 72D6BB09FED7CA0E Time : 0.0 sec. user=mdettweiler [2015-09-18 18:49:41] 669*2^1409625-1 is not prime. Res64: CF2F701D7CD1F76B Time : 0.0 sec. user=mdettweiler [2015-09-18 18:49:41] 685*2^1409625-1 is not prime. Res64: CE625874B2611B20 Time : 0.0 sec. user=mdettweiler [2015-09-18 18:49:41] 849*2^1409625-1 is not prime. Res64: FD11530BCCBE8E35 Time : 0.0 sec. user=mdettweiler [2015-09-18 18:49:42] 635*2^1409626-1 is not prime. Res64: 461D7B8113607431 Time : 0.0 sec. user=mdettweiler [2015-09-18 18:49:42] 699*2^1409625-1 is not prime. Res64: 353819A70A6B0646 Time : 0.0 sec. user=mdettweiler [2015-09-18 18:49:43] 787*2^1409625-1 is not prime. Res64: A00FA9160766EB06 Time : 0.0 sec. user=mdettweiler [2015-09-18 19:07:02] 701*2^1409626-1 is not prime. Res64: E8845AFE0BD6B8EF Time : 0.0 sec. user=mdettweiler [2015-09-18 19:07:03] 747*2^1409626-1 is not prime. Res64: 405CF3F5BC7A0607 Time : 0.0 sec. user=mdettweiler [2015-09-18 19:07:03] 857*2^1409626-1 is not prime. Res64: 208A5E3035F4C9CD Time : 0.0 sec. user=mdettweiler [2015-09-18 19:07:03] 975*2^1409626-1 is not prime. Res64: 9B6969155B2DCAF9 Time : 0.0 sec. user=mdettweiler [2015-09-18 19:07:04] 825*2^1409627-1 is not prime. Res64: 0C2031E6EA4FD70B Time : 0.0 sec. user=mdettweiler [2015-09-18 19:07:05] 861*2^1409627-1 is not prime. Res64: EB03C6E328B9377B Time : 0.0 sec. user=mdettweiler [2015-09-18 19:24:27] 605*2^1409628-1 is not prime. Res64: 3002F02DD7BC2F44 Time : 0.0 sec. user=mdettweiler [2015-09-18 19:24:27] 887*2^1409628-1 is not prime. Res64: A18C123A7CB81257 Time : 0.0 sec. user=mdettweiler [2015-09-18 19:24:27] 879*2^1409628-1 is not prime. Res64: E364EC974D13648D Time : 0.0 sec. user=mdettweiler [2015-09-18 19:24:27] 899*2^1409628-1 is not prime. Res64: 09607DEB7498FDCC Time : 0.0 sec. user=mdettweiler [2015-09-18 19:24:29] 901*2^1409627-1 is not prime. Res64: DF8CD0AA4446556D Time : 0.0 sec. user=mdettweiler [2015-09-18 19:24:30] 915*2^1409627-1 is not prime. Res64: 6FF66BC11B81D97E Time : 0.0 sec. user=mdettweiler [2015-09-18 19:42:05] 931*2^1409629-1 is not prime. Res64: 01BEED37BD6D010D Time : 0.0 sec. user=mdettweiler [2015-09-18 19:42:06] 939*2^1409629-1 is not prime. Res64: 532E99374DBA0806 Time : 0.0 sec. user=mdettweiler [2015-09-18 19:42:06] 721*2^1409629-1 is not prime. Res64: 1B6F9D4A4D9E5C69 Time : 0.0 sec. user=mdettweiler [2015-09-18 19:42:06] 847*2^1409629-1 is not prime. Res64: BB4E161C7B2A99B4 Time : 0.0 sec. user=mdettweiler [2015-09-18 19:42:08] 957*2^1409629-1 is not prime. Res64: 340E66BF9FD7C6C5 Time : 0.0 sec. user=mdettweiler [2015-09-18 19:42:09] 979*2^1409629-1 is not prime. Res64: 179A0D09DDF00FDB Time : 0.0 sec. user=juhehe [2015-09-18 19:53:30] 959*2^1409628-1 is not prime. Res64: 44A6C161FDD98632 Time : 0.0 sec. user=mdettweiler [2015-09-18 20:00:20] 843*2^1409630-1 is not prime. Res64: 8771545840038EF3 Time : 0.0 sec. user=mdettweiler [2015-09-18 20:00:21] 861*2^1409630-1 is not prime. Res64: C0C14656E8EE4EE9 Time : 0.0 sec. user=mdettweiler [2015-09-18 20:00:22] 635*2^1409630-1 is not prime. Res64: C742A7EFDF9BBB6C Time : 0.0 sec. user=mdettweiler [2015-09-18 20:00:22] 875*2^1409630-1 is not prime. Res64: FEA2542D6F19841E Time : 0.0 sec. user=mdettweiler [2015-09-18 20:00:22] 755*2^1409630-1 is not prime. Res64: 89B2A75066DBA5FF Time : 0.0 sec. user=mdettweiler [2015-09-18 20:00:23] 885*2^1409630-1 is not prime. Res64: 995647AD80B8EF4F Time : 0.0 sec. user=mdettweiler [2015-09-18 20:18:10] 917*2^1409630-1 is not prime. Res64: FF105E10BE78B2A0 Time : 0.0 sec. user=mdettweiler [2015-09-18 20:18:10] 685*2^1409631-1 is not prime. Res64: 868166D6499D8446 Time : 0.0 sec. user=mdettweiler [2015-09-18 20:18:10] 613*2^1409631-1 is not prime. Res64: 59D97F16C0145FDA Time : 0.0 sec. user=mdettweiler [2015-09-18 20:18:10] 735*2^1409631-1 is not prime. Res64: 2DD598AD5C2821D9 Time : 0.0 sec. user=mdettweiler [2015-09-18 20:18:11] 829*2^1409631-1 is not prime. Res64: 309D5229BD6F75F5 Time : 0.0 sec. user=mdettweiler [2015-09-18 20:18:11] 873*2^1409631-1 is not prime. Res64: 2AD9F33523065E37 Time : 0.0 sec. user=juhehe [2015-09-18 20:23:58] 897*2^1409630-1 is not prime. Res64: FA635144D60FD6CB Time : 0.0 sec. user=mdettweiler [2015-09-18 20:35:31] 653*2^1409632-1 is not prime. Res64: F047ADFADEB446C5 Time : 0.0 sec. user=mdettweiler [2015-09-18 20:35:31] 885*2^1409631-1 is not prime. Res64: E3740D8010FCAE88 Time : 0.0 sec. user=mdettweiler [2015-09-18 20:35:32] 719*2^1409632-1 is not prime. Res64: C8594FC8A0B49825 Time : 0.0 sec. user=mdettweiler [2015-09-18 20:35:32] 777*2^1409632-1 is not prime. Res64: 6BC9BAD0C20ED7CA Time : 0.0 sec. user=mdettweiler [2015-09-18 20:35:32] 979*2^1409631-1 is not prime. Res64: 7083B8B42C3E8CB6 Time : 0.0 sec. user=mdettweiler [2015-09-18 20:35:32] 779*2^1409632-1 is not prime. Res64: 9E2D363D2FE6683E Time : 0.0 sec. user=mdettweiler [2015-09-18 20:52:52] 989*2^1409632-1 is not prime. Res64: E6716B27792B62BE Time : 0.0 sec. user=mdettweiler [2015-09-18 20:52:52] 651*2^1409633-1 is not prime. Res64: 838A9A55619155C8 Time : 0.0 sec. user=mdettweiler [2015-09-18 20:52:53] 795*2^1409633-1 is not prime. Res64: 0C3254A823A37938 Time : 0.0 sec. user=mdettweiler [2015-09-18 20:52:53] 669*2^1409633-1 is not prime. Res64: 492F7095800103F0 Time : 0.0 sec. user=mdettweiler [2015-09-18 20:52:53] 861*2^1409633-1 is not prime. Res64: 5AA592820E4EF5A2 Time : 0.0 sec. user=mdettweiler [2015-09-18 20:52:53] 759*2^1409633-1 is not prime. Res64: 3C978AAA91CB9A2D Time : 0.0 sec. user=mdettweiler [2015-09-18 21:10:14] 949*2^1409633-1 is not prime. Res64: 7CD69E47732A7440 Time : 0.0 sec. user=mdettweiler [2015-09-18 21:10:14] 635*2^1409634-1 is not prime. Res64: 4FBA7EE5A1E3F434 Time : 0.0 sec. user=mdettweiler [2015-09-18 21:10:15] 871*2^1409633-1 is not prime. Res64: 97ACF12CE5EBB601 Time : 0.0 sec. user=mdettweiler [2015-09-18 21:10:15] 945*2^1409633-1 is not prime. Res64: D2F4D72511F55F41 Time : 0.0 sec. user=mdettweiler [2015-09-18 21:10:15] 683*2^1409634-1 is not prime. Res64: 8749E89957E0F419 Time : 0.0 sec. user=mdettweiler [2015-09-18 21:10:16] 765*2^1409634-1 is not prime. Res64: EB7ACCEDFE43F618 Time : 0.0 sec. user=mdettweiler [2015-09-18 21:27:37] 815*2^1409634-1 is not prime. Res64: EB3BC5376416906A Time : 0.0 sec. user=mdettweiler [2015-09-18 21:27:37] 673*2^1409635-1 is not prime. Res64: ADF79980BC677D6A Time : 0.0 sec. user=mdettweiler [2015-09-18 21:27:37] 905*2^1409634-1 is not prime. Res64: 8426AAE6270DDD52 Time : 0.0 sec. user=mdettweiler [2015-09-18 21:27:37] 693*2^1409635-1 is not prime. Res64: ED98EB7EFF6F2223 Time : 0.0 sec. user=mdettweiler [2015-09-18 21:27:38] 609*2^1409635-1 is not prime. Res64: C6D93C4406EC9987 Time : 0.0 sec. user=mdettweiler [2015-09-18 21:27:38] 645*2^1409635-1 is not prime. Res64: C47A0932B60A52D9 Time : 0.0 sec. user=mdettweiler [2015-09-18 21:44:58] 819*2^1409635-1 is not prime. Res64: 9C7594225E13B6E3 Time : 0.0 sec. user=mdettweiler [2015-09-18 21:44:58] 999*2^1409635-1 is not prime. Res64: 368340F1FF27A7C1 Time : 0.0 sec. user=mdettweiler [2015-09-18 21:44:58] 829*2^1409635-1 is not prime. Res64: 2382C004196D9B31 Time : 0.0 sec. user=mdettweiler [2015-09-18 21:44:59] 843*2^1409635-1 is not prime. Res64: A672983E478DCD01 Time : 0.0 sec. user=mdettweiler [2015-09-18 21:44:59] 633*2^1409636-1 is not prime. Res64: E6D8A0A1DAC36FBC Time : 0.0 sec. user=mdettweiler [2015-09-18 21:44:59] 883*2^1409635-1 is not prime. Res64: EAFC304EB18B4AAC Time : 0.0 sec. user=juhehe [2015-09-18 21:56:35] 793*2^1409635-1 is not prime. Res64: DF1BDCB42117A4C0 Time : 0.0 sec. user=mdettweiler [2015-09-18 22:02:22] 681*2^1409637-1 is not prime. Res64: 3841254B0C250C9A Time : 0.0 sec. user=mdettweiler [2015-09-18 22:02:23] 635*2^1409636-1 is not prime. Res64: 81DA2C24ED2DDC7E Time : 0.0 sec. user=mdettweiler [2015-09-18 22:02:23] 795*2^1409637-1 is not prime. Res64: 64B705634D0F850C Time : 0.0 sec. user=mdettweiler [2015-09-18 22:02:24] 735*2^1409636-1 is not prime. Res64: 6033FC94797C1198 Time : 0.0 sec. user=mdettweiler [2015-09-18 22:02:24] 867*2^1409636-1 is not prime. Res64: E214727E00D62C85 Time : 0.0 sec. user=mdettweiler [2015-09-18 22:02:25] 869*2^1409636-1 is not prime. Res64: 4939D69E990DC8B7 Time : 0.0 sec. user=mdettweiler [2015-09-18 22:19:59] 871*2^1409637-1 is not prime. Res64: 9EF4046F687F4D83 Time : 0.0 sec. user=mdettweiler [2015-09-18 22:19:59] 949*2^1409637-1 is not prime. Res64: E86C42CC2F51AFCE Time : 0.0 sec. user=mdettweiler [2015-09-18 22:20:00] 603*2^1409638-1 is not prime. Res64: 8E869FB5EDCF91AD Time : 0.0 sec. user=mdettweiler [2015-09-18 22:20:00] 605*2^1409638-1 is not prime. Res64: BDAF32B0D5C9F58D Time : 0.0 sec. user=mdettweiler [2015-09-18 22:20:00] 657*2^1409638-1 is not prime. Res64: 1C56A2D138420E26 Time : 0.0 sec. user=mdettweiler [2015-09-18 22:20:01] 687*2^1409638-1 is not prime. Res64: 9C152A3A4187D992 Time : 0.0 sec. user=mdettweiler [2015-09-18 22:40:36] 695*2^1409638-1 is not prime. Res64: CC0DAA709D18FBF6 Time : 0.0 sec. user=mdettweiler [2015-09-18 22:40:37] 731*2^1409638-1 is not prime. Res64: 6A57EACDB63CAD5D Time : 0.0 sec. user=mdettweiler [2015-09-18 22:40:41] 621*2^1409639-1 is not prime. Res64: 7DBD37811DD13D1F Time : 0.0 sec. user=mdettweiler [2015-09-18 22:40:42] 759*2^1409639-1 is not prime. Res64: 576ED96137B3A102 Time : 0.0 sec. user=mdettweiler [2015-09-18 22:40:42] 993*2^1409638-1 is not prime. Res64: AD34F1BF45C9E6C4 Time : 0.0 sec. user=mdettweiler [2015-09-18 22:40:43] 603*2^1409639-1 is not prime. Res64: 593FE6C3DB6B0B18 Time : 0.0 sec. user=mdettweiler [2015-09-18 23:01:02] 939*2^1409639-1 is not prime. Res64: 6561EEBA5DB286D8 Time : 0.0 sec. user=mdettweiler [2015-09-18 23:01:03] 943*2^1409639-1 is not prime. Res64: BB66340D8131F9E9 Time : 0.0 sec. user=mdettweiler [2015-09-18 23:01:05] 797*2^1409640-1 is not prime. Res64: AC2AFEAB29D800F2 Time : 0.0 sec. user=mdettweiler [2015-09-18 23:01:06] 887*2^1409640-1 is not prime. Res64: F8025BE19C51541E Time : 0.0 sec. user=mdettweiler [2015-09-18 23:01:11] 669*2^1409640-1 is not prime. Res64: A99F9C9DEDD7F3D0 Time : 0.0 sec. user=mdettweiler [2015-09-18 23:01:12] 753*2^1409640-1 is not prime. Res64: ADDA7274A2ECA9E3 Time : 0.0 sec. user=mdettweiler [2015-09-18 23:19:08] 685*2^1409641-1 is not prime. Res64: E7261B93DA93DB61 Time : 0.0 sec. user=mdettweiler [2015-09-18 23:19:08] 929*2^1409640-1 is not prime. Res64: F674DF08A5AEA48D Time : 0.0 sec. user=mdettweiler [2015-09-18 23:19:08] 877*2^1409641-1 is not prime. Res64: 2769A43BAA4DD2D6 Time : 0.0 sec. user=mdettweiler [2015-09-18 23:19:09] 933*2^1409640-1 is not prime. Res64: 6E87FDB166A759EF Time : 0.0 sec. user=mdettweiler [2015-09-18 23:19:09] 945*2^1409640-1 is not prime. Res64: 0279FC36EA47902B Time : 0.0 sec. user=mdettweiler [2015-09-18 23:19:09] 619*2^1409641-1 is not prime. Res64: D30B3D8FD7A597F9 Time : 0.0 sec. user=mdettweiler [2015-09-18 23:37:38] 837*2^1409642-1 is not prime. Res64: 55B68918C12369EB Time : 0.0 sec. user=mdettweiler [2015-09-18 23:37:38] 921*2^1409642-1 is not prime. Res64: D505451025A02CE8 Time : 0.0 sec. user=mdettweiler [2015-09-18 23:37:38] 789*2^1409643-1 is not prime. Res64: E3747405D167852E Time : 0.0 sec. user=mdettweiler [2015-09-18 23:37:38] 963*2^1409643-1 is not prime. Res64: 83030F0278A78AE2 Time : 0.0 sec. user=mdettweiler [2015-09-18 23:37:41] 945*2^1409642-1 is not prime. Res64: 5B6A7A068E7C0DE2 Time : 0.0 sec. user=mdettweiler [2015-09-18 23:37:41] 765*2^1409643-1 is not prime. Res64: 8EDE9FB97BE12B27 Time : 0.0 sec. user=juhehe [2015-09-18 23:51:21] 603*2^1409642-1 is not prime. Res64: B0E3BF6ABC7C75AD Time : 0.0 sec. user=mdettweiler [2015-09-18 23:55:59] 719*2^1409644-1 is not prime. Res64: AA286EC1B8681F3D Time : 0.0 sec. user=mdettweiler [2015-09-18 23:55:59] 743*2^1409644-1 is not prime. Res64: CE68791DF1C13A39 Time : 0.0 sec. user=mdettweiler [2015-09-18 23:56:00] 759*2^1409644-1 is not prime. Res64: 8EDD999500C0A9E8 Time : 0.0 sec. user=mdettweiler [2015-09-18 23:56:00] 783*2^1409644-1 is not prime. Res64: 130DAF69180100F9 Time : 0.0 sec. user=mdettweiler [2015-09-18 23:56:01] 803*2^1409644-1 is not prime. Res64: EFE2422D0634E8BE Time : 0.0 sec. user=mdettweiler [2015-09-18 23:56:01] 813*2^1409644-1 is not prime. Res64: 036256877DBF25F6 Time : 0.0 sec.