user=mdettweiler [2015-08-15 00:08:46] 741*2^1406383-1 is not prime. Res64: 48C5FC656FCBA46F Time : 0.0 sec. user=mdettweiler [2015-08-15 00:08:46] 853*2^1406383-1 is not prime. Res64: 507F037C669076C0 Time : 0.0 sec. user=mdettweiler [2015-08-15 00:09:02] 969*2^1406383-1 is not prime. Res64: 8957B803E625BD7E Time : 0.0 sec. user=mdettweiler [2015-08-15 00:09:03] 819*2^1406384-1 is not prime. Res64: 7368DEA5BE780DCB Time : 0.0 sec. user=mdettweiler [2015-08-15 00:09:13] 857*2^1406384-1 is not prime. Res64: D456C35AE5D68169 Time : 0.0 sec. user=mdettweiler [2015-08-15 00:09:14] 893*2^1406384-1 is not prime. Res64: F35BAA9EF0EC7C6E Time : 0.0 sec. user=mdettweiler [2015-08-15 00:12:36] 915*2^1406384-1 is not prime. Res64: 398C0493D2AC3601 Time : 0.0 sec. user=mdettweiler [2015-08-15 00:12:36] 649*2^1406385-1 is not prime. Res64: CC30FE17006F8008 Time : 0.0 sec. user=mdettweiler [2015-08-15 00:26:28] 675*2^1406385-1 is not prime. Res64: EF0368B4821A32C8 Time : 0.0 sec. user=mdettweiler [2015-08-15 00:26:29] 691*2^1406385-1 is not prime. Res64: C38BACD194CE9B05 Time : 0.0 sec. user=mdettweiler [2015-08-15 00:26:35] 705*2^1406385-1 is not prime. Res64: EF7EE68438782575 Time : 0.0 sec. user=mdettweiler [2015-08-15 00:26:36] 717*2^1406385-1 is not prime. Res64: 13C94A63766711DD Time : 0.0 sec. user=mdettweiler [2015-08-15 00:26:52] 819*2^1406385-1 is not prime. Res64: 493CB553A6FE5027 Time : 0.0 sec. user=mdettweiler [2015-08-15 00:26:53] 921*2^1406385-1 is not prime. Res64: E50047AD31FB17E1 Time : 0.0 sec. user=mdettweiler [2015-08-15 00:30:10] 975*2^1406385-1 is not prime. Res64: 9CCD687CCA85CA57 Time : 0.0 sec. user=mdettweiler [2015-08-15 00:30:11] 611*2^1406386-1 is not prime. Res64: A063B9CEC8ACBFB0 Time : 0.0 sec. user=mdettweiler [2015-08-15 00:43:58] 695*2^1406386-1 is not prime. Res64: A7970910A5663A68 Time : 0.0 sec. user=mdettweiler [2015-08-15 00:43:58] 713*2^1406386-1 is not prime. Res64: 35406BCEE8F12436 Time : 0.0 sec. user=mdettweiler [2015-08-15 00:44:09] 825*2^1406386-1 is not prime. Res64: E84690468C06AA9B Time : 0.0 sec. user=mdettweiler [2015-08-15 00:44:09] 833*2^1406386-1 is not prime. Res64: A1F090A38B8FB627 Time : 0.0 sec. user=mdettweiler [2015-08-15 00:44:22] 861*2^1406386-1 is not prime. Res64: 951A92D1EB2E60B0 Time : 0.0 sec. user=mdettweiler [2015-08-15 00:44:22] 873*2^1406386-1 is not prime. Res64: 96D8F53551A9E8C9 Time : 0.0 sec. user=mdettweiler [2015-08-15 00:47:39] 881*2^1406386-1 is not prime. Res64: 9BE5B40224D32D6A Time : 0.0 sec. user=mdettweiler [2015-08-15 00:47:39] 917*2^1406386-1 is not prime. Res64: 49C1D007B6048E61 Time : 0.0 sec. user=mdettweiler [2015-08-15 01:01:23] 945*2^1406386-1 is not prime. Res64: 28F803D82E0777F1 Time : 0.0 sec. user=mdettweiler [2015-08-15 01:01:24] 1001*2^1406386-1 is not prime. Res64: 6D29EB9CEF84E533 Time : 0.0 sec. user=mdettweiler [2015-08-15 01:01:35] 601*2^1406387-1 is not prime. Res64: B34CF69CDBB8D81B Time : 0.0 sec. user=mdettweiler [2015-08-15 01:01:36] 609*2^1406387-1 is not prime. Res64: B72DBC6BD135AD16 Time : 0.0 sec. user=mdettweiler [2015-08-15 01:01:44] 633*2^1406387-1 is not prime. Res64: 1C9E8C2DD85F40DD Time : 0.0 sec. user=mdettweiler [2015-08-15 01:01:45] 645*2^1406387-1 is not prime. Res64: 3E4F1C79867D0A85 Time : 0.0 sec. user=mdettweiler [2015-08-15 01:05:09] 883*2^1406387-1 is not prime. Res64: 442652CC795282C0 Time : 0.0 sec. user=mdettweiler [2015-08-15 01:05:10] 633*2^1406388-1 is not prime. Res64: 1E2DF1AAEFA9E90E Time : 0.0 sec. user=mdettweiler [2015-08-15 01:18:55] 663*2^1406388-1 is not prime. Res64: 8E613EAA1B47ED32 Time : 0.0 sec. user=mdettweiler [2015-08-15 01:18:56] 665*2^1406388-1 is not prime. Res64: 4E8582388015ECDD Time : 0.0 sec. user=mdettweiler [2015-08-15 01:19:07] 689*2^1406388-1 is not prime. Res64: 3947FE485396BD83 Time : 0.0 sec. user=mdettweiler [2015-08-15 01:19:08] 875*2^1406388-1 is not prime. Res64: A5F452CD1DA3FD28 Time : 0.0 sec. user=mdettweiler [2015-08-15 01:19:13] 879*2^1406388-1 is not prime. Res64: A71D7A644602217D Time : 0.0 sec. user=mdettweiler [2015-08-15 01:19:13] 887*2^1406388-1 is not prime. Res64: C1ADF39ABDF9787B Time : 0.0 sec. user=mdettweiler [2015-08-15 01:22:40] 899*2^1406388-1 is not prime. Res64: F306351B78799A69 Time : 0.0 sec. user=mdettweiler [2015-08-15 01:22:40] 909*2^1406388-1 is not prime. Res64: 23A95BCD458F154B Time : 0.0 sec. user=mdettweiler [2015-08-15 01:36:26] 927*2^1406388-1 is not prime. Res64: D39002FC61410318 Time : 0.0 sec. user=mdettweiler [2015-08-15 01:36:27] 615*2^1406389-1 is not prime. Res64: E16983359277AB79 Time : 0.0 sec. user=mdettweiler [2015-08-15 01:36:29] 685*2^1406389-1 is not prime. Res64: 01801E8A91B9DEF1 Time : 0.0 sec. user=mdettweiler [2015-08-15 01:36:30] 799*2^1406389-1 is not prime. Res64: E2280E56534EC396 Time : 0.0 sec. user=mdettweiler [2015-08-15 01:36:38] 885*2^1406389-1 is not prime. Res64: 8E1C768910A32E30 Time : 0.0 sec. user=mdettweiler [2015-08-15 01:36:39] 945*2^1406389-1 is not prime. Res64: 2C8B41A8D9AB755D Time : 0.0 sec. user=mdettweiler [2015-08-15 01:40:13] 955*2^1406389-1 is not prime. Res64: E72C0987558FEC75 Time : 0.0 sec. user=mdettweiler [2015-08-15 01:40:14] 999*2^1406389-1 is not prime. Res64: DE4B7909C204B082 Time : 0.0 sec. user=mdettweiler [2015-08-15 01:54:02] 861*2^1406390-1 is not prime. Res64: CCF54B053A8551FA Time : 0.0 sec. user=mdettweiler [2015-08-15 01:54:02] 911*2^1406390-1 is not prime. Res64: 1847AFB8B67F6E8E Time : 0.0 sec. user=mdettweiler [2015-08-15 01:54:03] 675*2^1406390-1 is not prime. Res64: C52B76787D139D8C Time : 0.0 sec. user=mdettweiler [2015-08-15 01:54:03] 717*2^1406390-1 is not prime. Res64: 2CDF3A480BB79AD2 Time : 0.0 sec. user=mdettweiler [2015-08-15 01:54:05] 915*2^1406390-1 is not prime. Res64: 2A92ECA56DFBFA04 Time : 0.0 sec. user=mdettweiler [2015-08-15 01:54:05] 615*2^1406391-1 is not prime. Res64: 0DC6E3CE585DA7F1 Time : 0.0 sec. user=mdettweiler [2015-08-15 01:57:44] 651*2^1406391-1 is not prime. Res64: 73A5917C72D7AEA4 Time : 0.0 sec. user=mdettweiler [2015-08-15 01:57:45] 669*2^1406391-1 is not prime. Res64: 37D3C54EBBCE5EDF Time : 0.0 sec. user=mdettweiler [2015-08-15 02:11:27] 871*2^1406391-1 is not prime. Res64: 27D8AF28DA68E020 Time : 0.0 sec. user=mdettweiler [2015-08-15 02:11:28] 685*2^1406391-1 is not prime. Res64: A7F067A161E0F0EC Time : 0.0 sec. user=mdettweiler [2015-08-15 02:11:28] 921*2^1406391-1 is not prime. Res64: 42189E14F57E87FF Time : 0.0 sec. user=mdettweiler [2015-08-15 02:11:29] 709*2^1406391-1 is not prime. Res64: 5DD8E7D18F0DD1E8 Time : 0.0 sec. user=mdettweiler [2015-08-15 02:11:35] 943*2^1406391-1 is not prime. Res64: 40ECE301B327639D Time : 0.0 sec. user=mdettweiler [2015-08-15 02:11:37] 979*2^1406391-1 is not prime. Res64: 2750372927E82321 Time : 0.0 sec. user=mdettweiler [2015-08-15 02:15:11] 635*2^1406392-1 is not prime. Res64: B99DAB4A213E649E Time : 0.0 sec. user=mdettweiler [2015-08-15 02:15:12] 675*2^1406392-1 is not prime. Res64: 2FC7DEE80A2F2EC8 Time : 0.0 sec. user=mdettweiler [2015-08-15 02:29:14] 705*2^1406392-1 is not prime. Res64: 2897D5688EC38795 Time : 0.0 sec. user=mdettweiler [2015-08-15 02:29:15] 745*2^1406393-1 is not prime. Res64: ADDBADEB65AD247B Time : 0.0 sec. user=mdettweiler [2015-08-15 02:29:15] 917*2^1406392-1 is not prime. Res64: B34E28C71138C37B Time : 0.0 sec. user=mdettweiler [2015-08-15 02:29:16] 789*2^1406393-1 is not prime. Res64: E6E6B563E121902E Time : 0.0 sec. user=mdettweiler [2015-08-15 02:29:19] 939*2^1406392-1 is not prime. Res64: 92C29657EFE50FFB Time : 0.0 sec. user=mdettweiler [2015-08-15 02:29:20] 675*2^1406393-1 is not prime. Res64: 944372A85C848E89 Time : 0.0 sec. user=mdettweiler [2015-08-15 02:32:44] 811*2^1406393-1 is not prime. Res64: D3634A0F3EA3E728 Time : 0.0 sec. user=mdettweiler [2015-08-15 02:32:45] 611*2^1406394-1 is not prime. Res64: 9007607CD5F3EBE9 Time : 0.0 sec. user=mdettweiler [2015-08-15 02:46:52] 707*2^1406394-1 is not prime. Res64: 4BADAC8FB2B08459 Time : 0.0 sec. user=mdettweiler [2015-08-15 02:46:53] 873*2^1406394-1 is not prime. Res64: DE708D0965742074 Time : 0.0 sec. user=mdettweiler [2015-08-15 02:46:53] 609*2^1406395-1 is not prime. Res64: 2592E6DAEB9D9A08 Time : 0.0 sec. user=mdettweiler [2015-08-15 02:46:53] 639*2^1406395-1 is not prime. Res64: C909B89E9D175C14 Time : 0.0 sec. user=mdettweiler [2015-08-15 02:46:56] 651*2^1406395-1 is not prime. Res64: 32676C3044D98858 Time : 0.0 sec. user=mdettweiler [2015-08-15 02:46:56] 693*2^1406395-1 is not prime. Res64: 5B1C04F937F1C345 Time : 0.0 sec. user=mdettweiler [2015-08-15 02:50:21] 843*2^1406395-1 is not prime. Res64: 26BE944E01C65D4D Time : 0.0 sec. user=mdettweiler [2015-08-15 02:50:21] 883*2^1406395-1 is not prime. Res64: 9ACD95721E35C1D4 Time : 0.0 sec. user=mdettweiler [2015-08-15 03:04:18] 961*2^1406395-1 is not prime. Res64: F43C113611B602A6 Time : 0.0 sec. user=mdettweiler [2015-08-15 03:04:20] 683*2^1406396-1 is not prime. Res64: 56BCC5CD17443037 Time : 0.0 sec. user=mdettweiler [2015-08-15 03:04:23] 839*2^1406396-1 is not prime. Res64: 2277D6C723256811 Time : 0.0 sec. user=mdettweiler [2015-08-15 03:04:24] 923*2^1406396-1 is not prime. Res64: 8280C62B57D1AA71 Time : 0.0 sec. user=mdettweiler [2015-08-15 03:04:28] 707*2^1406396-1 is not prime. Res64: 5224B31517BEB74A Time : 0.0 sec. user=mdettweiler [2015-08-15 03:04:31] 755*2^1406396-1 is not prime. Res64: 6CC1E1D626B55986 Time : 0.0 sec. user=mdettweiler [2015-08-15 03:07:42] 969*2^1406396-1 is not prime. Res64: 7D98170D518DA479 Time : 0.0 sec. user=mdettweiler [2015-08-15 03:07:43] 987*2^1406396-1 is not prime. Res64: A899C762571C019B Time : 0.0 sec. user=mdettweiler [2015-08-15 03:22:18] 937*2^1406397-1 is not prime. Res64: 474BC80DEBC81FEA Time : 0.0 sec. user=mdettweiler [2015-08-15 03:22:18] 687*2^1406398-1 is not prime. Res64: 99A9A2A2E56CBD5F Time : 0.0 sec. user=mdettweiler [2015-08-15 03:22:18] 623*2^1406398-1 is not prime. Res64: E0FBD4949B99B327 Time : 0.0 sec. user=mdettweiler [2015-08-15 03:22:19] 723*2^1406398-1 is not prime. Res64: 9049A2D3C8269CEA Time : 0.0 sec. user=mdettweiler [2015-08-15 03:22:22] 667*2^1406397-1 is not prime. Res64: A69F3498B1AED226 Time : 0.0 sec. user=mdettweiler [2015-08-15 03:22:22] 825*2^1406397-1 is not prime. Res64: CE3D748DF087F4FB Time : 0.0 sec. user=mdettweiler [2015-08-15 03:25:16] 845*2^1406398-1 is not prime. Res64: 791C63C91F8AB2AA Time : 0.0 sec. user=mdettweiler [2015-08-15 03:25:17] 857*2^1406398-1 is not prime. Res64: 70721482BE2B85D1 Time : 0.0 sec. user=mdettweiler [2015-08-15 03:39:44] 615*2^1406399-1 is not prime. Res64: 8C9E6D17FE60A9CE Time : 0.0 sec. user=mdettweiler [2015-08-15 03:39:45] 645*2^1406399-1 is not prime. Res64: ABD14B67E72EDA1F Time : 0.0 sec. user=mdettweiler [2015-08-15 03:39:47] 663*2^1406399-1 is not prime. Res64: A07DA4F010ED5017 Time : 0.0 sec. user=mdettweiler [2015-08-15 03:39:48] 669*2^1406399-1 is not prime. Res64: 02A05878C4A7F8FC Time : 0.0 sec. user=mdettweiler [2015-08-15 03:39:50] 993*2^1406398-1 is not prime. Res64: 4D0C3AD851D14618 Time : 0.0 sec. user=mdettweiler [2015-08-15 03:39:52] 601*2^1406399-1 is not prime. Res64: 7A0D7E4957A6ECC0 Time : 0.0 sec. user=mdettweiler [2015-08-15 03:42:45] 693*2^1406399-1 is not prime. Res64: 6DCE821ABA898545 Time : 0.0 sec. user=mdettweiler [2015-08-15 03:42:46] 883*2^1406399-1 is not prime. Res64: B465A4B64BF2BFFE Time : 0.0 sec. user=mdettweiler [2015-08-15 03:57:24] 895*2^1406399-1 is not prime. Res64: 12D3A957D89C17A5 Time : 0.0 sec. user=mdettweiler [2015-08-15 03:57:25] 979*2^1406399-1 is not prime. Res64: 0D58F8B2183A9A00 Time : 0.0 sec. user=mdettweiler [2015-08-15 03:57:25] 969*2^1406399-1 is not prime. Res64: 203F00C1D00508B0 Time : 0.0 sec. user=mdettweiler [2015-08-15 03:57:25] 693*2^1406400-1 is not prime. Res64: B91E2557168B8E15 Time : 0.0 sec. user=mdettweiler [2015-08-15 03:57:30] 839*2^1406400-1 is not prime. Res64: E54A9F3B2B93FF15 Time : 0.0 sec. user=mdettweiler [2015-08-15 03:57:30] 917*2^1406400-1 is not prime. Res64: 2B40C6C957F4B3F6 Time : 0.0 sec. user=mdettweiler [2015-08-15 04:00:11] 927*2^1406400-1 is not prime. Res64: 3409CEA796DBC43B Time : 0.0 sec. user=mdettweiler [2015-08-15 04:00:12] 691*2^1406401-1 is not prime. Res64: 2C82CB941E4EA458 Time : 0.0 sec. user=mdettweiler [2015-08-15 04:14:55] 835*2^1406401-1 is not prime. Res64: 114A1D210E07E9C1 Time : 0.0 sec. user=mdettweiler [2015-08-15 04:14:56] 871*2^1406401-1 is not prime. Res64: 5884918E60CAB3AE Time : 0.0 sec. user=mdettweiler [2015-08-15 04:14:56] 777*2^1406401-1 is not prime. Res64: DED391568E6DE4B1 Time : 0.0 sec. user=mdettweiler [2015-08-15 04:14:57] 829*2^1406401-1 is not prime. Res64: 9C825D4469270134 Time : 0.0 sec. user=mdettweiler [2015-08-15 04:15:00] 705*2^1406401-1 is not prime. Res64: 4EA04A5A3FCF1B20 Time : 0.0 sec. user=mdettweiler [2015-08-15 04:15:00] 741*2^1406401-1 is not prime. Res64: 01EEC139D7795F76 Time : 0.0 sec. user=mdettweiler [2015-08-15 04:17:48] 895*2^1406401-1 is not prime. Res64: AB82EC75A7A2E324 Time : 0.0 sec. user=mdettweiler [2015-08-15 04:17:48] 955*2^1406401-1 is not prime. Res64: 0E5873ACCD5EBA3F Time : 0.0 sec. user=mdettweiler [2015-08-15 04:32:53] 999*2^1406401-1 is not prime. Res64: 083E24747005DF72 Time : 0.0 sec. user=mdettweiler [2015-08-15 04:32:53] 665*2^1406402-1 is not prime. Res64: 4DB4D92E17767067 Time : 0.0 sec. user=mdettweiler [2015-08-15 04:33:01] 957*2^1406401-1 is not prime. Res64: ADEB74529648F6B1 Time : 0.0 sec. user=mdettweiler [2015-08-15 04:33:02] 997*2^1406401-1 is not prime. Res64: A6F48B2FD5F37276 Time : 0.0 sec. user=mdettweiler [2015-08-15 04:33:18] 711*2^1406402-1 is not prime. Res64: 99B5B885199AEA97 Time : 0.0 sec. user=mdettweiler [2015-08-15 04:33:19] 743*2^1406402-1 is not prime. Res64: F00460DE158BF1BE Time : 0.0 sec. user=mdettweiler [2015-08-15 04:36:23] 801*2^1406402-1 is not prime. Res64: 9CAA2BF7BDF23712 Time : 0.0 sec. user=mdettweiler [2015-08-15 04:36:23] 983*2^1406402-1 is not prime. Res64: CEB30404B2AF3F5F Time : 0.0 sec. user=mdettweiler [2015-08-15 04:50:24] 663*2^1406403-1 is not prime. Res64: 762E6D63AE5BED48 Time : 0.0 sec. user=mdettweiler [2015-08-15 04:50:25] 699*2^1406403-1 is not prime. Res64: 7BD25E66901FBB22 Time : 0.0 sec. user=mdettweiler [2015-08-15 04:50:33] 703*2^1406403-1 is not prime. Res64: 04EA9024FCEDD254 Time : 0.0 sec. user=mdettweiler [2015-08-15 04:50:33] 709*2^1406403-1 is not prime. Res64: 604A0FEBE9AA831F Time : 0.0 sec. user=mdettweiler [2015-08-15 04:50:49] 823*2^1406403-1 is not prime. Res64: 0B7B85AA8CAB18C1 Time : 0.0 sec. user=mdettweiler [2015-08-15 04:50:50] 859*2^1406403-1 is not prime. Res64: 2458F9651F62C209 Time : 0.0 sec. user=mdettweiler [2015-08-15 04:53:57] 871*2^1406403-1 is not prime. Res64: 650DE5A38EE1B31A Time : 0.0 sec. user=mdettweiler [2015-08-15 04:53:57] 879*2^1406403-1 is not prime. Res64: 49DAE74511B37644 Time : 0.0 sec. user=mdettweiler [2015-08-15 05:07:45] 891*2^1406403-1 is not prime. Res64: 9103368FD8F58BEB Time : 0.0 sec. user=mdettweiler [2015-08-15 05:07:46] 973*2^1406403-1 is not prime. Res64: 26F1B5B1B66E8FE3 Time : 0.0 sec. user=mdettweiler [2015-08-15 05:07:54] 657*2^1406404-1 is not prime. Res64: BD8598E1815A15F5 Time : 0.0 sec. user=mdettweiler [2015-08-15 05:07:54] 707*2^1406404-1 is not prime. Res64: 872644E219693CC3 Time : 0.0 sec. user=mdettweiler [2015-08-15 05:08:22] 773*2^1406404-1 is not prime. Res64: 948A8C81EB5F5E77 Time : 0.0 sec. user=mdettweiler [2015-08-15 05:08:23] 785*2^1406404-1 is not prime. Res64: 44FDA4F9AD1E77D5 Time : 0.0 sec. user=mdettweiler [2015-08-15 05:11:25] 813*2^1406404-1 is not prime. Res64: 9FF06432A4774790 Time : 0.0 sec. user=mdettweiler [2015-08-15 05:11:25] 843*2^1406404-1 is not prime. Res64: FC8D786961340D44 Time : 0.0 sec. user=mdettweiler [2015-08-15 05:25:11] 939*2^1406404-1 is not prime. Res64: DDD92DA876D923B9 Time : 0.0 sec. user=mdettweiler [2015-08-15 05:25:12] 669*2^1406405-1 is not prime. Res64: DA04BE3FBB87B361 Time : 0.0 sec. user=mdettweiler [2015-08-15 05:25:16] 699*2^1406405-1 is not prime. Res64: FAF1CAA6484A8AC7 Time : 0.0 sec. user=mdettweiler [2015-08-15 05:25:16] 811*2^1406405-1 is not prime. Res64: 6850027ADA2641D0 Time : 0.0 sec. user=mdettweiler [2015-08-15 05:25:44] 861*2^1406405-1 is not prime. Res64: 1CD67426FCCA2BF5 Time : 0.0 sec. user=mdettweiler [2015-08-15 05:25:45] 949*2^1406405-1 is not prime. Res64: 5439E2D3DECC9A35 Time : 0.0 sec. user=mdettweiler [2015-08-15 05:28:54] 957*2^1406405-1 is not prime. Res64: E7F1607B332DE0FC Time : 0.0 sec. user=mdettweiler [2015-08-15 05:28:54] 801*2^1406406-1 is not prime. Res64: 7AD1B28B16F82A4B Time : 0.0 sec. user=mdettweiler [2015-08-15 05:42:34] 923*2^1406406-1 is not prime. Res64: 92B15BA7747087AD Time : 0.0 sec. user=mdettweiler [2015-08-15 05:42:34] 609*2^1406407-1 is not prime. Res64: CC8DC93DBCFAE307 Time : 0.0 sec. user=mdettweiler [2015-08-15 05:42:43] 625*2^1406407-1 is not prime. Res64: CA1D3625C3F33358 Time : 0.0 sec. user=mdettweiler [2015-08-15 05:42:44] 639*2^1406407-1 is not prime. Res64: 58281A05DEE9766F Time : 0.0 sec. user=mdettweiler [2015-08-15 05:43:11] 685*2^1406407-1 is not prime. Res64: 7DC72A708B849B5B Time : 0.0 sec. user=mdettweiler [2015-08-15 05:43:12] 693*2^1406407-1 is not prime. Res64: B89514E02653E7B4 Time : 0.0 sec. user=mdettweiler [2015-08-15 05:46:24] 871*2^1406407-1 is not prime. Res64: 38A0AA7CE78CD72B Time : 0.0 sec. user=mdettweiler [2015-08-15 05:46:24] 889*2^1406407-1 is not prime. Res64: D73AF124625170EA Time : 0.0 sec. user=mdettweiler [2015-08-15 06:00:00] 901*2^1406407-1 is not prime. Res64: 23F66FC14F3455C2 Time : 0.0 sec. user=mdettweiler [2015-08-15 06:00:01] 915*2^1406407-1 is not prime. Res64: B12AD7F23AAB543A Time : 0.0 sec. user=mdettweiler [2015-08-15 06:00:13] 665*2^1406408-1 is not prime. Res64: DD3A64C47A890373 Time : 0.0 sec. user=mdettweiler [2015-08-15 06:00:13] 677*2^1406408-1 is not prime. Res64: 95045231C97AD9DE Time : 0.0 sec. user=mdettweiler [2015-08-15 06:00:33] 767*2^1406408-1 is not prime. Res64: B98031E033F4B0B9 Time : 0.0 sec. user=mdettweiler [2015-08-15 06:00:34] 669*2^1406409-1 is not prime. Res64: A36F81C1793972E8 Time : 0.0 sec. user=mdettweiler [2015-08-15 06:03:48] 681*2^1406409-1 is not prime. Res64: 78740E4332A85343 Time : 0.0 sec. user=mdettweiler [2015-08-15 06:03:49] 769*2^1406409-1 is not prime. Res64: 4F57FB0C139F817D Time : 0.0 sec. user=mdettweiler [2015-08-15 06:17:23] 867*2^1406409-1 is not prime. Res64: 575BD17BD2298A44 Time : 0.0 sec. user=mdettweiler [2015-08-15 06:17:24] 895*2^1406409-1 is not prime. Res64: AD10EA1B92E32543 Time : 0.0 sec. user=mdettweiler [2015-08-15 06:17:38] 909*2^1406409-1 is not prime. Res64: A46285CD6F66422B Time : 0.0 sec. user=mdettweiler [2015-08-15 06:17:38] 969*2^1406409-1 is not prime. Res64: 430306502F52D431 Time : 0.0 sec. user=mdettweiler [2015-08-15 06:18:01] 975*2^1406409-1 is not prime. Res64: 2C1CE46753306CB2 Time : 0.0 sec. user=mdettweiler [2015-08-15 06:18:01] 657*2^1406410-1 is not prime. Res64: A8AAE811D453A88F Time : 0.0 sec. user=mdettweiler [2015-08-15 06:21:17] 713*2^1406410-1 is not prime. Res64: F02492BCBE4E3312 Time : 0.0 sec. user=mdettweiler [2015-08-15 06:21:17] 923*2^1406410-1 is not prime. Res64: 25675DCC2392A2B6 Time : 0.0 sec. user=mdettweiler [2015-08-15 06:34:53] 651*2^1406411-1 is not prime. Res64: 637CE44BA9B9B3A5 Time : 0.0 sec. user=mdettweiler [2015-08-15 06:34:54] 663*2^1406411-1 is not prime. Res64: 53E04407016F77E6 Time : 0.0 sec. user=mdettweiler [2015-08-15 06:35:04] 735*2^1406411-1 is not prime. Res64: EC386760667530AB Time : 0.0 sec. user=mdettweiler [2015-08-15 06:35:05] 885*2^1406411-1 is not prime. Res64: 5CCA338A22FEBFDF Time : 0.0 sec. user=mdettweiler [2015-08-15 06:35:28] 889*2^1406411-1 is not prime. Res64: B91D2B11F627651F Time : 0.0 sec. user=mdettweiler [2015-08-15 06:35:28] 931*2^1406411-1 is not prime. Res64: B0014BF455EF1C1D Time : 0.0 sec. user=mdettweiler [2015-08-15 06:38:51] 949*2^1406411-1 is not prime. Res64: 5E67C0F86DF0D1A5 Time : 0.0 sec. user=mdettweiler [2015-08-15 06:38:51] 993*2^1406411-1 is not prime. Res64: A52E08A5E34D2884 Time : 0.0 sec. user=mdettweiler [2015-08-15 06:52:24] 753*2^1406412-1 is not prime. Res64: 68ED561E3F2372E3 Time : 0.0 sec. user=mdettweiler [2015-08-15 06:52:24] 759*2^1406412-1 is not prime. Res64: F609F3D9DA12022D Time : 0.0 sec. user=mdettweiler [2015-08-15 06:52:27] 779*2^1406412-1 is not prime. Res64: E4DEC667C8645046 Time : 0.0 sec. user=mdettweiler [2015-08-15 06:52:27] 803*2^1406412-1 is not prime. Res64: 097AB329EEF29E27 Time : 0.0 sec. user=mdettweiler [2015-08-15 06:52:56] 965*2^1406412-1 is not prime. Res64: 2E4D909B9357679D Time : 0.0 sec. user=mdettweiler [2015-08-15 06:52:56] 609*2^1406413-1 is not prime. Res64: 254A3087CAB4BE64 Time : 0.0 sec. user=mdettweiler [2015-08-15 06:56:26] 747*2^1406413-1 is not prime. Res64: F3FAE753F46A0C05 Time : 0.0 sec. user=mdettweiler [2015-08-15 06:56:26] 849*2^1406413-1 is not prime. Res64: CF505C48EEEA26D0 Time : 0.0 sec. user=mdettweiler [2015-08-15 07:09:58] 855*2^1406413-1 is not prime. Res64: 13DF02EE4A6F01EE Time : 0.0 sec. user=mdettweiler [2015-08-15 07:09:59] 945*2^1406413-1 is not prime. Res64: DE98BB58B90E6AAC Time : 0.0 sec. user=mdettweiler [2015-08-15 07:10:07] 967*2^1406413-1 is not prime. Res64: FDBDF826FC050333 Time : 0.0 sec. user=mdettweiler [2015-08-15 07:10:07] 645*2^1406414-1 is not prime. Res64: 8B201BA0AFA7490A Time : 0.0 sec. user=mdettweiler [2015-08-15 07:10:32] 665*2^1406414-1 is not prime. Res64: 3605E1CCEF6D1D1B Time : 0.0 sec. user=mdettweiler [2015-08-15 07:10:33] 677*2^1406414-1 is not prime. Res64: F45BE498F8B993DF Time : 0.0 sec. user=mdettweiler [2015-08-15 07:14:00] 833*2^1406414-1 is not prime. Res64: CFD40DD88E7F3749 Time : 0.0 sec. user=mdettweiler [2015-08-15 07:14:00] 857*2^1406414-1 is not prime. Res64: 9BA10387539133FF Time : 0.0 sec. user=mdettweiler [2015-08-15 07:27:35] 897*2^1406414-1 is not prime. Res64: 8A24B54B2494CEB0 Time : 0.0 sec. user=mdettweiler [2015-08-15 07:27:36] 935*2^1406414-1 is not prime. Res64: C5C1A1F3F3A51471 Time : 0.0 sec. user=mdettweiler [2015-08-15 07:27:37] 633*2^1406415-1 is not prime. Res64: EC7100BBDD029804 Time : 0.0 sec. user=mdettweiler [2015-08-15 07:27:38] 663*2^1406415-1 is not prime. Res64: DF8DA9B02344C082 Time : 0.0 sec. user=mdettweiler [2015-08-15 07:28:11] 709*2^1406415-1 is not prime. Res64: 9C19C44455026485 Time : 0.0 sec. user=mdettweiler [2015-08-15 07:28:12] 775*2^1406415-1 is not prime. Res64: 74948FA880EB1C51 Time : 0.0 sec. user=mdettweiler [2015-08-15 07:31:37] 919*2^1406415-1 is not prime. Res64: 5CDCE75B01188EA3 Time : 0.0 sec. user=mdettweiler [2015-08-15 07:31:37] 921*2^1406415-1 is not prime. Res64: DDD448616BA1723F Time : 0.0 sec. user=mdettweiler [2015-08-15 07:45:06] 693*2^1406416-1 is not prime. Res64: 24750AA8188EF8DB Time : 0.0 sec. user=mdettweiler [2015-08-15 07:45:07] 705*2^1406416-1 is not prime. Res64: CD907A32AADCE014 Time : 0.0 sec. user=mdettweiler [2015-08-15 07:45:10] 949*2^1406415-1 is not prime. Res64: 6ACD25E3CFC07BFF Time : 0.0 sec. user=mdettweiler [2015-08-15 07:45:10] 657*2^1406416-1 is not prime. Res64: 4DC7210FB8F3CFA6 Time : 0.0 sec. user=mdettweiler [2015-08-15 07:45:49] 735*2^1406416-1 is not prime. Res64: 64DF52DD7909A8C8 Time : 0.0 sec. user=mdettweiler [2015-08-15 07:45:49] 755*2^1406416-1 is not prime. Res64: 421544D1DAFA4D01 Time : 0.0 sec. user=mdettweiler [2015-08-15 07:49:07] 773*2^1406416-1 is not prime. Res64: 80BECFBD8E9C9D37 Time : 0.0 sec. user=mdettweiler [2015-08-15 07:49:08] 777*2^1406416-1 is not prime. Res64: 911AA4F86A84F5E3 Time : 0.0 sec. user=mdettweiler [2015-08-15 08:02:47] 917*2^1406416-1 is not prime. Res64: 8E9FA33EB51AC334 Time : 0.0 sec. user=mdettweiler [2015-08-15 08:02:48] 939*2^1406416-1 is not prime. Res64: B6EFBF1B77165BE7 Time : 0.0 sec. user=mdettweiler [2015-08-15 08:02:50] 615*2^1406417-1 is not prime. Res64: 1F7B67710F8DDD0B Time : 0.0 sec. user=mdettweiler [2015-08-15 08:02:52] 669*2^1406417-1 is not prime. Res64: 7AE0B0A7D739A5B8 Time : 0.0 sec. user=mdettweiler [2015-08-15 08:03:47] 711*2^1406417-1 is not prime. Res64: 95C28383C6AC4453 Time : 0.0 sec. user=mdettweiler [2015-08-15 08:03:48] 717*2^1406417-1 is not prime. Res64: A184F95CC2A53495 Time : 0.0 sec. user=mdettweiler [2015-08-15 08:06:51] 795*2^1406417-1 is not prime. Res64: E22ABAEE0E780368 Time : 0.0 sec. user=mdettweiler [2015-08-15 08:06:52] 847*2^1406417-1 is not prime. Res64: 62B89FD8B53D7E31 Time : 0.0 sec. user=mdettweiler [2015-08-15 08:20:39] 867*2^1406417-1 is not prime. Res64: D0A70113F316F1A5 Time : 0.0 sec. user=mdettweiler [2015-08-15 08:20:39] 997*2^1406417-1 is not prime. Res64: 36962C00136DB27C Time : 0.0 sec. user=mdettweiler [2015-08-15 08:20:42] 671*2^1406418-1 is not prime. Res64: E0973A09C753A785 Time : 0.0 sec. user=mdettweiler [2015-08-15 08:20:42] 683*2^1406418-1 is not prime. Res64: 923CE8611BB5D256 Time : 0.0 sec. user=mdettweiler [2015-08-15 08:21:27] 735*2^1406418-1 is not prime. Res64: 7831DB0108C1EF6D Time : 0.0 sec. user=mdettweiler [2015-08-15 08:21:28] 755*2^1406418-1 is not prime. Res64: 323B7671B9578660 Time : 0.0 sec. user=mdettweiler [2015-08-15 08:24:20] 905*2^1406418-1 is not prime. Res64: 178A46D8FE1CFEB4 Time : 0.0 sec. user=mdettweiler [2015-08-15 08:24:21] 927*2^1406418-1 is not prime. Res64: 8077CDA92E6D299A Time : 0.0 sec. user=mdettweiler [2015-08-15 08:38:12] 1001*2^1406418-1 is not prime. Res64: 56F7B7822431DCAF Time : 0.0 sec. user=mdettweiler [2015-08-15 08:38:12] 709*2^1406419-1 is not prime. Res64: 68D1E3B0FD9467DA Time : 0.0 sec. user=mdettweiler [2015-08-15 08:38:14] 765*2^1406419-1 is not prime. Res64: 0C052B5F5E964BCC Time : 0.0 sec. user=mdettweiler [2015-08-15 08:38:15] 885*2^1406419-1 is not prime. Res64: 4F7699533B8F45E1 Time : 0.0 sec. user=mdettweiler [2015-08-15 08:38:57] 891*2^1406419-1 is not prime. Res64: 9B460E001642C31C Time : 0.0 sec. user=mdettweiler [2015-08-15 08:38:58] 689*2^1406420-1 is not prime. Res64: 913A943F7CA750BC Time : 0.0 sec. user=mdettweiler [2015-08-15 08:41:50] 707*2^1406420-1 is not prime. Res64: 5CAAF9952B18B9FB Time : 0.0 sec. user=mdettweiler [2015-08-15 08:41:50] 759*2^1406420-1 is not prime. Res64: 76A5492F84633982 Time : 0.0 sec. user=mdettweiler [2015-08-15 08:55:46] 983*2^1406420-1 is not prime. Res64: BC2A97C8485A7FC8 Time : 0.0 sec. user=mdettweiler [2015-08-15 08:55:47] 681*2^1406421-1 is not prime. Res64: 2A96B091A051DD16 Time : 0.0 sec. user=mdettweiler [2015-08-15 08:55:53] 803*2^1406420-1 is not prime. Res64: 6B8B0BC722E6F760 Time : 0.0 sec. user=mdettweiler [2015-08-15 08:55:54] 813*2^1406420-1 is not prime. Res64: 4E2F8AD952963BF0 Time : 0.0 sec. user=mdettweiler [2015-08-15 08:56:31] 691*2^1406421-1 is not prime. Res64: A232F5212831146E Time : 0.0 sec. user=mdettweiler [2015-08-15 08:56:31] 817*2^1406421-1 is not prime. Res64: 79DA07FC2FDB4F82 Time : 0.0 sec. user=mdettweiler [2015-08-15 08:59:18] 837*2^1406421-1 is not prime. Res64: E84FF2C509735DC4 Time : 0.0 sec. user=mdettweiler [2015-08-15 08:59:19] 861*2^1406421-1 is not prime. Res64: 06AB593D4411A9D6 Time : 0.0 sec. user=mdettweiler [2015-08-15 09:13:18] 999*2^1406421-1 is not prime. Res64: 1B0A8D959D80DD1F Time : 0.0 sec. user=mdettweiler [2015-08-15 09:13:18] 635*2^1406422-1 is not prime. Res64: DB088B90D4810FB7 Time : 0.0 sec. user=mdettweiler [2015-08-15 09:13:22] 645*2^1406422-1 is not prime. Res64: E595718466DCA1D6 Time : 0.0 sec. user=mdettweiler [2015-08-15 09:13:23] 657*2^1406422-1 is not prime. Res64: B1B6A527E4F98BC3 Time : 0.0 sec. user=mdettweiler [2015-08-15 09:13:58] 671*2^1406422-1 is not prime. Res64: D5F50961272E961B Time : 0.0 sec. user=mdettweiler [2015-08-15 09:13:58] 827*2^1406422-1 is not prime. Res64: 3E9F60DF8901E932 Time : 0.0 sec. user=mdettweiler [2015-08-15 09:16:54] 945*2^1406422-1 is not prime. Res64: 2F95B714C89BE484 Time : 0.0 sec. user=mdettweiler [2015-08-15 09:16:55] 951*2^1406422-1 is not prime. Res64: D1CAB70A3D6110B6 Time : 0.0 sec. user=mdettweiler [2015-08-15 09:30:46] 987*2^1406422-1 is not prime. Res64: 4186DDDFA9DEF392 Time : 0.0 sec. user=mdettweiler [2015-08-15 09:30:47] 609*2^1406423-1 is not prime. Res64: 07819D760F849BA9 Time : 0.0 sec. user=mdettweiler [2015-08-15 09:30:56] 619*2^1406423-1 is not prime. Res64: F86DE55FBC290BA0 Time : 0.0 sec. user=mdettweiler [2015-08-15 09:30:56] 703*2^1406423-1 is not prime. Res64: 47258E5AFB67C2EF Time : 0.0 sec. user=mdettweiler [2015-08-15 09:31:46] 715*2^1406423-1 is not prime. Res64: 1058E928011E5429 Time : 0.0 sec. user=mdettweiler [2015-08-15 09:31:47] 805*2^1406423-1 is not prime. Res64: 13FBC2B9E974E773 Time : 0.0 sec. user=mdettweiler [2015-08-15 09:34:27] 861*2^1406423-1 is not prime. Res64: 9C8ED28E8DA286B0 Time : 0.0 sec. user=mdettweiler [2015-08-15 09:34:28] 885*2^1406423-1 is not prime. Res64: 83FCDD8406D26D4B Time : 0.0 sec. user=mdettweiler [2015-08-15 09:48:18] 901*2^1406423-1 is not prime. Res64: 7E3A6C82D065A5EA Time : 0.0 sec. user=mdettweiler [2015-08-15 09:48:18] 981*2^1406423-1 is not prime. Res64: DF89606B651FDB7F Time : 0.0 sec. user=mdettweiler [2015-08-15 09:48:28] 623*2^1406424-1 is not prime. Res64: CDF871CAAA97C30C Time : 0.0 sec. user=mdettweiler [2015-08-15 09:48:28] 627*2^1406424-1 is not prime. Res64: 088B2F59FEA8ECC2 Time : 0.0 sec. user=mdettweiler [2015-08-15 09:49:16] 683*2^1406424-1 is not prime. Res64: 7D3AFBAED0816BCF Time : 0.0 sec. user=mdettweiler [2015-08-15 09:49:17] 693*2^1406424-1 is not prime. Res64: 0C639DA56E5014AC Time : 0.0 sec. user=mdettweiler [2015-08-15 09:51:58] 717*2^1406424-1 is not prime. Res64: 747FD4BE889D8ABD Time : 0.0 sec. user=mdettweiler [2015-08-15 09:51:59] 795*2^1406424-1 is not prime. Res64: B7691BFC94AC7E8D Time : 0.0 sec. user=mdettweiler [2015-08-15 10:05:52] 903*2^1406424-1 is not prime. Res64: 1C195CAC15307DB9 Time : 0.0 sec. user=mdettweiler [2015-08-15 10:05:53] 909*2^1406424-1 is not prime. Res64: 1C53035DF4C47A28 Time : 0.0 sec. user=mdettweiler [2015-08-15 10:06:01] 685*2^1406425-1 is not prime. Res64: 4ECBB476CB05ED1C Time : 0.0 sec. user=mdettweiler [2015-08-15 10:06:01] 997*2^1406425-1 is not prime. Res64: E199733FD67FD458 Time : 0.0 sec. user=mdettweiler [2015-08-15 10:06:45] 711*2^1406426-1 is not prime. Res64: 5F6B2E365CC75658 Time : 0.0 sec. user=mdettweiler [2015-08-15 10:06:46] 917*2^1406426-1 is not prime. Res64: B0B831E536544C7E Time : 0.0 sec. user=mdettweiler [2015-08-15 10:09:42] 953*2^1406426-1 is not prime. Res64: A9F676905E0D465F Time : 0.0 sec. user=mdettweiler [2015-08-15 10:09:43] 1001*2^1406426-1 is not prime. Res64: F0970BA6521688F2 Time : 0.0 sec. user=mdettweiler [2015-08-15 10:23:25] 835*2^1406427-1 is not prime. Res64: BE1E361A877B3E20 Time : 0.0 sec. user=mdettweiler [2015-08-15 10:23:26] 861*2^1406427-1 is not prime. Res64: 4065B857871A56C7 Time : 0.0 sec. user=mdettweiler [2015-08-15 10:23:27] 649*2^1406427-1 is not prime. Res64: 5E3B1C1387FD2E3A Time : 0.0 sec. user=mdettweiler [2015-08-15 10:23:27] 795*2^1406427-1 is not prime. Res64: EA76323221C2E6DF Time : 0.0 sec. user=mdettweiler [2015-08-15 10:24:14] 873*2^1406427-1 is not prime. Res64: CDC2914FAEB1DAEF Time : 0.0 sec. user=mdettweiler [2015-08-15 10:24:15] 931*2^1406427-1 is not prime. Res64: 373A5C7BF01F2B1D Time : 0.0 sec. user=mdettweiler [2015-08-15 10:27:10] 945*2^1406427-1 is not prime. Res64: 3A6AB220DCD9051A Time : 0.0 sec. user=mdettweiler [2015-08-15 10:27:11] 615*2^1406428-1 is not prime. Res64: 08785DA1DCCF6660 Time : 0.0 sec. user=mdettweiler [2015-08-15 10:40:49] 623*2^1406428-1 is not prime. Res64: F18073F30A652758 Time : 0.0 sec. user=mdettweiler [2015-08-15 10:40:49] 689*2^1406428-1 is not prime. Res64: 530FF6C3298C4D38 Time : 0.0 sec. user=mdettweiler [2015-08-15 10:40:51] 743*2^1406428-1 is not prime. Res64: 99F36D844F79D4AE Time : 0.0 sec. user=mdettweiler [2015-08-15 10:40:52] 825*2^1406428-1 is not prime. Res64: 9741F8E5B833E8C4 Time : 0.0 sec. user=mdettweiler [2015-08-15 10:41:42] 845*2^1406428-1 is not prime. Res64: AF6B9F38773912F8 Time : 0.0 sec. user=mdettweiler [2015-08-15 10:41:43] 869*2^1406428-1 is not prime. Res64: D94905A62F21FA20 Time : 0.0 sec. user=mdettweiler [2015-08-15 10:44:36] 947*2^1406428-1 is not prime. Res64: AF3E79B5B05678B3 Time : 0.0 sec. user=mdettweiler [2015-08-15 10:44:36] 975*2^1406428-1 is not prime. Res64: B9E5477B19BB8F09 Time : 0.0 sec. user=mdettweiler [2015-08-15 10:58:16] 989*2^1406428-1 is not prime. Res64: 864008025FFDE312 Time : 0.0 sec. user=mdettweiler [2015-08-15 10:58:16] 727*2^1406429-1 is not prime. Res64: 4AAB5CD993A1AB58 Time : 0.0 sec. user=mdettweiler [2015-08-15 10:58:17] 769*2^1406429-1 is not prime. Res64: 71ABFF042172CD89 Time : 0.0 sec. user=mdettweiler [2015-08-15 10:58:17] 789*2^1406429-1 is not prime. Res64: 13B6EF5D3314E762 Time : 0.0 sec. user=mdettweiler [2015-08-15 10:59:05] 829*2^1406429-1 is not prime. Res64: 922BC1CD4A4417BC Time : 0.0 sec. user=mdettweiler [2015-08-15 10:59:06] 855*2^1406429-1 is not prime. Res64: 7DF218E975AC4833 Time : 0.0 sec. user=mdettweiler [2015-08-15 11:02:01] 907*2^1406429-1 is not prime. Res64: 1169E8454DEA885C Time : 0.0 sec. user=mdettweiler [2015-08-15 11:02:02] 945*2^1406429-1 is not prime. Res64: 4472DD7C778A48B1 Time : 0.0 sec. user=mdettweiler [2015-08-15 11:15:39] 657*2^1406430-1 is not prime. Res64: A37DEDFE509C6173 Time : 0.0 sec. user=mdettweiler [2015-08-15 11:15:40] 717*2^1406430-1 is not prime. Res64: 971C45F14DD2EBB3 Time : 0.0 sec. user=mdettweiler [2015-08-15 11:15:41] 967*2^1406429-1 is not prime. Res64: 0AB809E887BA08FA Time : 0.0 sec. user=mdettweiler [2015-08-15 11:15:42] 985*2^1406429-1 is not prime. Res64: 9F486DBAEDFC9A65 Time : 0.0 sec. user=mdettweiler [2015-08-15 11:16:34] 741*2^1406430-1 is not prime. Res64: 6A1856A1747518E7 Time : 0.0 sec. user=mdettweiler [2015-08-15 11:16:34] 773*2^1406430-1 is not prime. Res64: EF97249957F64269 Time : 0.0 sec. user=mdettweiler [2015-08-15 11:19:27] 863*2^1406430-1 is not prime. Res64: 4222D9834ABD9B3D Time : 0.0 sec. user=mdettweiler [2015-08-15 11:19:28] 893*2^1406430-1 is not prime. Res64: B8982FD25E07618A Time : 0.0 sec. user=mdettweiler [2015-08-15 11:33:06] 933*2^1406430-1 is not prime. Res64: 52BA2F2196D77C73 Time : 0.0 sec. user=mdettweiler [2015-08-15 11:33:07] 945*2^1406430-1 is not prime. Res64: 17F0D1C4EC4ED399 Time : 0.0 sec. user=mdettweiler [2015-08-15 11:33:09] 673*2^1406431-1 is not prime. Res64: 2F9733F184054F92 Time : 0.0 sec. user=mdettweiler [2015-08-15 11:33:10] 705*2^1406431-1 is not prime. Res64: 62AF35CD701CAD3F Time : 0.0 sec. user=mdettweiler [2015-08-15 11:34:01] 709*2^1406431-1 is not prime. Res64: 30C84F9C3033CE56 Time : 0.0 sec. user=mdettweiler [2015-08-15 11:34:01] 745*2^1406431-1 is not prime. Res64: 8E2BE702D3692DB4 Time : 0.0 sec. user=mdettweiler [2015-08-15 11:36:57] 925*2^1406431-1 is not prime. Res64: 0EC798BCBD181F42 Time : 0.0 sec. user=mdettweiler [2015-08-15 11:36:58] 961*2^1406431-1 is not prime. Res64: A5A734EDEE6507D3 Time : 0.0 sec. user=mdettweiler [2015-08-15 11:50:33] 825*2^1406432-1 is not prime. Res64: 8D9A05C7ACD8234E Time : 0.0 sec. user=mdettweiler [2015-08-15 11:50:34] 977*2^1406432-1 is not prime. Res64: F671A3F98D6CDD9A Time : 0.0 sec. user=mdettweiler [2015-08-15 11:50:37] 719*2^1406432-1 is not prime. Res64: 26D62029A0733455 Time : 0.0 sec. user=mdettweiler [2015-08-15 11:50:37] 743*2^1406432-1 is not prime. Res64: 410B1AFE709C9197 Time : 0.0 sec. user=mdettweiler [2015-08-15 11:51:31] 627*2^1406433-1 is not prime. Res64: FEFAA0622FC4534D Time : 0.0 sec. user=mdettweiler [2015-08-15 11:51:31] 637*2^1406433-1 is not prime. Res64: DF8BA266ED7BA8EE Time : 0.0 sec. user=mdettweiler [2015-08-15 11:54:34] 751*2^1406433-1 is not prime. Res64: 951F362FBCA55EA5 Time : 0.0 sec. user=mdettweiler [2015-08-15 11:54:35] 759*2^1406433-1 is not prime. Res64: A4BA84FC9E0C555F Time : 0.0 sec. user=mdettweiler [2015-08-15 12:08:07] 765*2^1406433-1 is not prime. Res64: 5E6814D2CA2453FD Time : 0.0 sec. user=mdettweiler [2015-08-15 12:08:08] 769*2^1406433-1 is not prime. Res64: A30CAB0E97767FE9 Time : 0.0 sec. user=mdettweiler [2015-08-15 12:08:09] 889*2^1406433-1 is not prime. Res64: 0435A3C4E9F69138 Time : 0.0 sec. user=mdettweiler [2015-08-15 12:08:10] 979*2^1406433-1 is not prime. Res64: F6BE7941D9A4F442 Time : 0.0 sec. user=mdettweiler [2015-08-15 12:08:59] 999*2^1406433-1 is not prime. Res64: 7A8C1F381882146E Time : 0.0 sec. user=mdettweiler [2015-08-15 12:09:00] 695*2^1406434-1 is not prime. Res64: 717C1FE1B3A2B95D Time : 0.0 sec. user=mdettweiler [2015-08-15 12:12:05] 705*2^1406434-1 is not prime. Res64: DBA278E7A981A84D Time : 0.0 sec. user=mdettweiler [2015-08-15 12:12:06] 773*2^1406434-1 is not prime. Res64: 1AE34E8F560419A1 Time : 0.0 sec. user=mdettweiler [2015-08-15 12:25:45] 983*2^1406434-1 is not prime. Res64: 3729ED57926BD41F Time : 0.0 sec. user=mdettweiler [2015-08-15 12:25:45] 619*2^1406435-1 is not prime. Res64: 2B3C7E911679AA91 Time : 0.0 sec. user=mdettweiler [2015-08-15 12:25:52] 815*2^1406434-1 is not prime. Res64: BC4EB547027A02DB Time : 0.0 sec. user=mdettweiler [2015-08-15 12:25:53] 945*2^1406434-1 is not prime. Res64: 0FB034219721D34A Time : 0.0 sec. user=mdettweiler [2015-08-15 12:26:32] 651*2^1406435-1 is not prime. Res64: F7B9091E5E33D5E3 Time : 0.0 sec. user=mdettweiler [2015-08-15 12:26:32] 679*2^1406435-1 is not prime. Res64: 97CEF7711E569C00 Time : 0.0 sec. user=mdettweiler [2015-08-15 12:29:40] 715*2^1406435-1 is not prime. Res64: 61270CFD3490DD31 Time : 0.0 sec. user=mdettweiler [2015-08-15 12:29:41] 733*2^1406435-1 is not prime. Res64: 6CCECAD7A86C6450 Time : 0.0 sec. user=mdettweiler [2015-08-15 12:43:09] 741*2^1406435-1 is not prime. Res64: 8C89BAD5FA84CE5D Time : 0.0 sec. user=mdettweiler [2015-08-15 12:43:09] 825*2^1406435-1 is not prime. Res64: 585CA4EC0D6A1A44 Time : 0.0 sec. user=mdettweiler [2015-08-15 12:43:25] 963*2^1406435-1 is not prime. Res64: E31B99FCA3D0E066 Time : 0.0 sec. user=mdettweiler [2015-08-15 12:43:26] 735*2^1406436-1 is not prime. Res64: A59772B1C64F318B Time : 0.0 sec. user=mdettweiler [2015-08-15 12:44:02] 779*2^1406436-1 is not prime. Res64: E5CEC85C2892CF21 Time : 0.0 sec. user=mdettweiler [2015-08-15 12:44:03] 873*2^1406436-1 is not prime. Res64: DF9A120A037E6FC2 Time : 0.0 sec. user=mdettweiler [2015-08-15 12:47:16] 619*2^1406437-1 is not prime. Res64: 85257344B225EEE0 Time : 0.0 sec. user=mdettweiler [2015-08-15 12:47:16] 769*2^1406437-1 is not prime. Res64: 773A3E681B595D78 Time : 0.0 sec. user=mdettweiler [2015-08-15 13:00:35] 937*2^1406437-1 is not prime. Res64: 1352D63320E6AE49 Time : 0.0 sec. user=mdettweiler [2015-08-15 13:00:36] 939*2^1406437-1 is not prime. Res64: 6CD75F0ABFDC0C42 Time : 0.0 sec. user=mdettweiler [2015-08-15 13:00:54] 955*2^1406437-1 is not prime. Res64: E3EA588FD72B3424 Time : 0.0 sec. user=mdettweiler [2015-08-15 13:00:55] 731*2^1406438-1 is not prime. Res64: C4239DC8858BA608 Time : 0.0 sec. user=mdettweiler [2015-08-15 13:01:31] 747*2^1406438-1 is not prime. Res64: 3C1850B89857CFEB Time : 0.0 sec. user=mdettweiler [2015-08-15 13:01:32] 761*2^1406438-1 is not prime. Res64: 9E8F3245542E1FAF Time : 0.0 sec. user=mdettweiler [2015-08-15 13:04:42] 825*2^1406438-1 is not prime. Res64: 644D09191607EDA2 Time : 0.0 sec. user=mdettweiler [2015-08-15 13:04:44] 827*2^1406438-1 is not prime. Res64: EC2EA443AC21A368 Time : 0.0 sec. user=mdettweiler [2015-08-15 13:18:03] 963*2^1406438-1 is not prime. Res64: 936ECD207D07E379 Time : 0.0 sec. user=mdettweiler [2015-08-15 13:18:04] 619*2^1406439-1 is not prime. Res64: D869606225B214E9 Time : 0.0 sec. user=mdettweiler [2015-08-15 13:18:26] 705*2^1406439-1 is not prime. Res64: DFAF15032EBDB9CC Time : 0.0 sec. user=mdettweiler [2015-08-15 13:18:26] 825*2^1406439-1 is not prime. Res64: F172EA271614D31D Time : 0.0 sec. user=mdettweiler [2015-08-15 13:19:04] 865*2^1406439-1 is not prime. Res64: 475D819980D4F746 Time : 0.0 sec. user=mdettweiler [2015-08-15 13:19:05] 885*2^1406439-1 is not prime. Res64: FF2795A76BBDF147 Time : 0.0 sec. user=mdettweiler [2015-08-15 13:22:17] 895*2^1406439-1 is not prime. Res64: A67BC475E1EA6FDC Time : 0.0 sec. user=mdettweiler [2015-08-15 13:22:18] 623*2^1406440-1 is not prime. Res64: DCD19541669496DA Time : 0.0 sec. user=mdettweiler [2015-08-15 13:35:45] 635*2^1406440-1 is not prime. Res64: A908BCA0A3AF3DFE Time : 0.0 sec. user=mdettweiler [2015-08-15 13:35:46] 645*2^1406440-1 is not prime. Res64: F407EFAB8D691F2E Time : 0.0 sec. user=mdettweiler [2015-08-15 13:36:03] 687*2^1406440-1 is not prime. Res64: D6A08A686BC69C28 Time : 0.0 sec. user=mdettweiler [2015-08-15 13:36:03] 849*2^1406440-1 is not prime. Res64: 47D3FB7ECF27F5BD Time : 0.0 sec. user=mdettweiler [2015-08-15 13:36:59] 873*2^1406440-1 is not prime. Res64: E64E3EF1FCBA44FD Time : 0.0 sec. user=mdettweiler [2015-08-15 13:36:59] 927*2^1406440-1 is not prime. Res64: E4314256DE00BF17 Time : 0.0 sec. user=mdettweiler [2015-08-15 13:40:21] 965*2^1406440-1 is not prime. Res64: DDC525178423A08C Time : 0.0 sec. user=mdettweiler [2015-08-15 13:40:22] 999*2^1406440-1 is not prime. Res64: F9AFCFD2D43E3F76 Time : 0.0 sec. user=mdettweiler [2015-08-15 13:53:10] 607*2^1406441-1 is not prime. Res64: F1B19A033DB23028 Time : 0.0 sec. user=mdettweiler [2015-08-15 13:53:10] 727*2^1406441-1 is not prime. Res64: 18F3D1FEE9CB1EF5 Time : 0.0 sec. user=mdettweiler [2015-08-15 13:53:29] 741*2^1406441-1 is not prime. Res64: EA075B64EBAB01EF Time : 0.0 sec. user=mdettweiler [2015-08-15 13:53:30] 811*2^1406441-1 is not prime. Res64: 774CAD1E46E77FA9 Time : 0.0 sec. user=mdettweiler [2015-08-15 13:54:30] 829*2^1406441-1 is not prime. Res64: A245B8B2CBAF26DA Time : 0.0 sec. user=mdettweiler [2015-08-15 13:54:30] 867*2^1406441-1 is not prime. Res64: CE9F6925CCFE88B9 Time : 0.0 sec. user=mdettweiler [2015-08-15 13:57:55] 939*2^1406441-1 is not prime. Res64: 80AA8784343F75C0 Time : 0.0 sec. user=mdettweiler [2015-08-15 13:57:55] 949*2^1406441-1 is not prime. Res64: D50644C44EF84AF5 Time : 0.0 sec. user=mdettweiler [2015-08-15 14:10:39] 997*2^1406441-1 is not prime. Res64: FE9E60600DDE1B86 Time : 0.0 sec. user=mdettweiler [2015-08-15 14:10:40] 635*2^1406442-1 is not prime. Res64: 5D10FF0AC06E6691 Time : 0.0 sec. user=mdettweiler [2015-08-15 14:10:50] 651*2^1406442-1 is not prime. Res64: A16E27D529F1505E Time : 0.0 sec. user=mdettweiler [2015-08-15 14:10:51] 677*2^1406442-1 is not prime. Res64: E977612859F4244A Time : 0.0 sec. user=mdettweiler [2015-08-15 14:12:09] 681*2^1406442-1 is not prime. Res64: 798A43F9BB0381F5 Time : 0.0 sec. user=mdettweiler [2015-08-15 14:12:09] 731*2^1406442-1 is not prime. Res64: 1734F8F2A459C4ED Time : 0.0 sec. user=mdettweiler [2015-08-15 14:15:22] 741*2^1406442-1 is not prime. Res64: A8271465E4D5805F Time : 0.0 sec. user=mdettweiler [2015-08-15 14:15:22] 765*2^1406442-1 is not prime. Res64: D01CD404295785CA Time : 0.0 sec. user=mdettweiler [2015-08-15 14:28:14] 803*2^1406442-1 is not prime. Res64: 3256F1398E7451DA Time : 0.0 sec. user=mdettweiler [2015-08-15 14:28:14] 709*2^1406443-1 is not prime. Res64: 42F818A6C8736874 Time : 0.0 sec. user=mdettweiler [2015-08-15 14:28:17] 873*2^1406443-1 is not prime. Res64: A3B9DD97F80FCD18 Time : 0.0 sec. user=mdettweiler [2015-08-15 14:28:18] 985*2^1406443-1 is not prime. Res64: 03C846034409F00C Time : 0.0 sec. user=mdettweiler [2015-08-15 14:29:39] 609*2^1406444-1 is not prime. Res64: 78863F6C612DAA30 Time : 0.0 sec. user=mdettweiler [2015-08-15 14:29:39] 635*2^1406444-1 is not prime. Res64: 13A2A97D04DA2D3F Time : 0.0 sec. user=mdettweiler [2015-08-15 14:32:50] 677*2^1406444-1 is not prime. Res64: BAF1A93A16340855 Time : 0.0 sec. user=mdettweiler [2015-08-15 14:32:50] 749*2^1406444-1 is not prime. Res64: B64E27A69C422758 Time : 0.0 sec. user=mdettweiler [2015-08-15 14:45:40] 875*2^1406444-1 is not prime. Res64: 2402C0C6BB29150C Time : 0.0 sec. user=mdettweiler [2015-08-15 14:45:40] 899*2^1406444-1 is not prime. Res64: 5ECF931ECDED9614 Time : 0.0 sec. user=mdettweiler [2015-08-15 14:45:49] 969*2^1406444-1 is not prime. Res64: E6D5F369FE3BFFAA Time : 0.0 sec. user=mdettweiler [2015-08-15 14:45:50] 691*2^1406445-1 is not prime. Res64: 5D3BCCAF8DD09A97 Time : 0.0 sec. user=mdettweiler [2015-08-15 14:47:12] 721*2^1406445-1 is not prime. Res64: F8600D2354778BA5 Time : 0.0 sec. user=mdettweiler [2015-08-15 14:47:12] 795*2^1406445-1 is not prime. Res64: 23E4B3D62DCA65DE Time : 0.0 sec. user=mdettweiler [2015-08-15 14:50:12] 921*2^1406445-1 is not prime. Res64: 058DE83F87DE8E71 Time : 0.0 sec. user=mdettweiler [2015-08-15 14:50:12] 955*2^1406445-1 is not prime. Res64: 072D8DD1AE591534 Time : 0.0 sec. user=mdettweiler [2015-08-15 15:03:19] 911*2^1406446-1 is not prime. Res64: 52A297EBFF06F8E9 Time : 0.0 sec. user=mdettweiler [2015-08-15 15:03:20] 923*2^1406446-1 is not prime. Res64: CA0A93DABF1846C2 Time : 0.0 sec. user=mdettweiler [2015-08-15 15:03:57] 979*2^1406445-1 is not prime. Res64: DF70D6B3BDB712D8 Time : 0.0 sec. user=mdettweiler [2015-08-15 15:03:58] 997*2^1406445-1 is not prime. Res64: 36942F32A2732EA7 Time : 0.0 sec. user=mdettweiler [2015-08-15 15:04:56] 975*2^1406446-1 is not prime. Res64: FC84BF7409D1D4B5 Time : 0.0 sec. user=mdettweiler [2015-08-15 15:04:57] 993*2^1406446-1 is not prime. Res64: 263466C0A5283D5E Time : 0.0 sec. user=mdettweiler [2015-08-15 15:07:51] 669*2^1406447-1 is not prime. Res64: 36CDBAC273911442 Time : 0.0 sec. user=mdettweiler [2015-08-15 15:07:51] 711*2^1406447-1 is not prime. Res64: 3E314B7A2421669F Time : 0.0 sec. user=mdettweiler [2015-08-15 15:20:48] 883*2^1406447-1 is not prime. Res64: 59535CC0A961FA87 Time : 0.0 sec. user=mdettweiler [2015-08-15 15:20:49] 939*2^1406447-1 is not prime. Res64: 03AF60049E1FC431 Time : 0.0 sec. user=mdettweiler [2015-08-15 15:21:25] 735*2^1406448-1 is not prime. Res64: 93A1DFB511805D92 Time : 0.0 sec. user=mdettweiler [2015-08-15 15:21:25] 747*2^1406448-1 is not prime. Res64: F2BFB14FDF834643 Time : 0.0 sec. user=mdettweiler [2015-08-15 15:22:27] 765*2^1406448-1 is not prime. Res64: A954BB04C7BF0632 Time : 0.0 sec. user=mdettweiler [2015-08-15 15:22:28] 957*2^1406448-1 is not prime. Res64: FF16DD3F5E4E005F Time : 0.0 sec. user=mdettweiler [2015-08-15 15:25:18] 721*2^1406449-1 is not prime. Res64: 1B5110AFAF41C1FE Time : 0.0 sec. user=mdettweiler [2015-08-15 15:25:18] 811*2^1406449-1 is not prime. Res64: 262FAABE09FD93FB Time : 0.0 sec. user=mdettweiler [2015-08-15 15:38:20] 835*2^1406449-1 is not prime. Res64: CFB5641B46C84193 Time : 0.0 sec. user=mdettweiler [2015-08-15 15:38:21] 841*2^1406449-1 is not prime. Res64: 23E4439F369109D5 Time : 0.0 sec. user=mdettweiler [2015-08-15 15:39:14] 847*2^1406449-1 is not prime. Res64: 0A704766E19AF119 Time : 0.0 sec. user=mdettweiler [2015-08-15 15:39:15] 931*2^1406449-1 is not prime. Res64: 6215710B0E8B0010 Time : 0.0 sec. user=mdettweiler [2015-08-15 15:40:09] 641*2^1406450-1 is not prime. Res64: 87658277F2D0ABCF Time : 0.0 sec. user=mdettweiler [2015-08-15 15:40:10] 671*2^1406450-1 is not prime. Res64: EDE9D5B589C3093E Time : 0.0 sec. user=mdettweiler [2015-08-15 15:43:45] 677*2^1406450-1 is not prime. Res64: 51AC81A46E330479 Time : 0.0 sec. user=mdettweiler [2015-08-15 15:43:45] 701*2^1406450-1 is not prime. Res64: AC534CF8BF9D6C42 Time : 0.0 sec. user=mdettweiler [2015-08-15 15:55:47] 813*2^1406450-1 is not prime. Res64: B722DC31E12B9153 Time : 0.0 sec. user=mdettweiler [2015-08-15 15:55:48] 887*2^1406450-1 is not prime. Res64: 3520DC75E1F3BB5D Time : 0.0 sec. user=mdettweiler [2015-08-15 15:56:40] 893*2^1406450-1 is not prime. Res64: 835C4C50B14A1A57 Time : 0.0 sec. user=mdettweiler [2015-08-15 15:56:40] 923*2^1406450-1 is not prime. Res64: E96FF5133F6C0FF3 Time : 0.0 sec. user=mdettweiler [2015-08-15 15:57:47] 977*2^1406450-1 is not prime. Res64: 134D2F86A8DE8314 Time : 0.0 sec. user=mdettweiler [2015-08-15 15:57:47] 649*2^1406451-1 is not prime. Res64: E06F11867DCA5E1E Time : 0.0 sec. user=mdettweiler [2015-08-15 16:01:19] 745*2^1406451-1 is not prime. Res64: 83D53BFB2CF50410 Time : 0.0 sec. user=mdettweiler [2015-08-15 16:01:20] 835*2^1406451-1 is not prime. Res64: D0AAE61402964EBD Time : 0.0 sec. user=mdettweiler [2015-08-15 16:13:28] 951*2^1406451-1 is not prime. Res64: 815688F7BB3076AC Time : 0.0 sec. user=mdettweiler [2015-08-15 16:13:29] 609*2^1406452-1 is not prime. Res64: 1B54F3765E7BB3D4 Time : 0.0 sec. user=mdettweiler [2015-08-15 16:14:08] 675*2^1406452-1 is not prime. Res64: F125CAE3C4888830 Time : 0.0 sec. user=mdettweiler [2015-08-15 16:14:09] 869*2^1406452-1 is not prime. Res64: 2434D2BF263FC571 Time : 0.0 sec. user=mdettweiler [2015-08-15 16:15:16] 887*2^1406452-1 is not prime. Res64: 1FFC5AD00D896EB5 Time : 0.0 sec. user=mdettweiler [2015-08-15 16:15:17] 983*2^1406452-1 is not prime. Res64: 01D1130210812FBD Time : 0.0 sec. user=mdettweiler [2015-08-15 16:18:47] 627*2^1406453-1 is not prime. Res64: 925D13BAC4A505F5 Time : 0.0 sec. user=mdettweiler [2015-08-15 16:18:47] 691*2^1406453-1 is not prime. Res64: B3F816CF6A9849C1 Time : 0.0 sec. user=mdettweiler [2015-08-15 16:30:55] 769*2^1406453-1 is not prime. Res64: ABB0A37BFCD096D2 Time : 0.0 sec. user=mdettweiler [2015-08-15 16:30:55] 859*2^1406453-1 is not prime. Res64: 87E164EA14C90116 Time : 0.0 sec. user=mdettweiler [2015-08-15 16:31:34] 945*2^1406453-1 is not prime. Res64: FB7217B0775390AE Time : 0.0 sec. user=mdettweiler [2015-08-15 16:31:34] 627*2^1406454-1 is not prime. Res64: F9D3593E35AC7318 Time : 0.0 sec. user=mdettweiler [2015-08-15 16:32:44] 711*2^1406454-1 is not prime. Res64: FF334B65FA7775F9 Time : 0.0 sec. user=mdettweiler [2015-08-15 16:32:44] 773*2^1406454-1 is not prime. Res64: DB392980F84A432E Time : 0.0 sec. user=mdettweiler [2015-08-15 16:36:15] 783*2^1406454-1 is not prime. Res64: 3F30E3FF3863B4F6 Time : 0.0 sec. user=mdettweiler [2015-08-15 16:36:16] 791*2^1406454-1 is not prime. Res64: 4CBFB8D0B1A1253D Time : 0.0 sec. user=mdettweiler [2015-08-15 16:48:25] 797*2^1406454-1 is not prime. Res64: D5C3EBD1C3689721 Time : 0.0 sec. user=mdettweiler [2015-08-15 16:48:25] 1001*2^1406454-1 is not prime. Res64: 8301B671573D247E Time : 0.0 sec. user=mdettweiler [2015-08-15 16:49:01] 639*2^1406455-1 is not prime. Res64: FF6E2EFA527B1BA0 Time : 0.0 sec. user=mdettweiler [2015-08-15 16:49:01] 841*2^1406455-1 is not prime. Res64: 6608D3D72D836600 Time : 0.0 sec. user=mdettweiler [2015-08-15 16:50:11] 853*2^1406455-1 is not prime. Res64: 122033DC80F77300 Time : 0.0 sec. user=mdettweiler [2015-08-15 16:50:12] 919*2^1406455-1 is not prime. Res64: 4864B16DC7A546D8 Time : 0.0 sec. user=mdettweiler [2015-08-15 16:53:42] 961*2^1406455-1 is not prime. Res64: A58572DF3F25D3AC Time : 0.0 sec. user=mdettweiler [2015-08-15 16:53:42] 973*2^1406455-1 is not prime. Res64: 1BD03C9DA53C01E6 Time : 0.0 sec. user=mdettweiler [2015-08-15 17:05:48] 669*2^1406456-1 is not prime. Res64: 94E6239947B26EF0 Time : 0.0 sec. user=mdettweiler [2015-08-15 17:05:48] 747*2^1406456-1 is not prime. Res64: 6751F3F9D0EC9E68 Time : 0.0 sec. user=mdettweiler [2015-08-15 17:06:25] 759*2^1406456-1 is not prime. Res64: 3040DA00FEBB02EC Time : 0.0 sec. user=mdettweiler [2015-08-15 17:06:26] 843*2^1406456-1 is not prime. Res64: E50A849204B30B3D Time : 0.0 sec. user=mdettweiler [2015-08-15 17:07:39] 923*2^1406456-1 is not prime. Res64: D21FC0E52BE482A5 Time : 0.0 sec. user=mdettweiler [2015-08-15 17:07:40] 983*2^1406456-1 is not prime. Res64: 9A80306AE475D126 Time : 0.0 sec. user=mdettweiler [2015-08-15 17:11:08] 777*2^1406457-1 is not prime. Res64: 8B6A956EEDFBBFBB Time : 0.0 sec. user=mdettweiler [2015-08-15 17:11:08] 807*2^1406457-1 is not prime. Res64: 1322FEE83D500F7A Time : 0.0 sec. user=mdettweiler [2015-08-15 17:23:17] 829*2^1406457-1 is not prime. Res64: 84AC27EA4EF79AF3 Time : 0.0 sec. user=mdettweiler [2015-08-15 17:23:17] 915*2^1406457-1 is not prime. Res64: CA5372029BC9C520 Time : 0.0 sec. user=mdettweiler [2015-08-15 17:23:49] 791*2^1406458-1 is not prime. Res64: 0777ABB93956FADC Time : 0.0 sec. user=mdettweiler [2015-08-15 17:23:49] 867*2^1406458-1 is not prime. Res64: 7095CFE5D46D1705 Time : 0.0 sec. user=mdettweiler [2015-08-15 17:25:01] 645*2^1406459-1 is not prime. Res64: 7F0DB48B5D666B77 Time : 0.0 sec. user=mdettweiler [2015-08-15 17:25:01] 819*2^1406459-1 is not prime. Res64: 5EF2C0FBC0666B90 Time : 0.0 sec. user=mdettweiler [2015-08-15 17:28:30] 909*2^1406459-1 is not prime. Res64: 817C06189389F364 Time : 0.0 sec. user=mdettweiler [2015-08-15 17:28:30] 797*2^1406460-1 is not prime. Res64: 9E80A6E361242EEB Time : 0.0 sec. user=S_K_ [2015-08-15 17:29:18] 637*2^1406457-1 is not prime. Res64: C6C17F2484D943B4 Time : 0.0 sec. user=mdettweiler [2015-08-15 17:40:46] 839*2^1406460-1 is not prime. Res64: 6144149A43204799 Time : 0.0 sec. user=mdettweiler [2015-08-15 17:40:47] 965*2^1406460-1 is not prime. Res64: 0FC9F71093531BD1 Time : 0.0 sec. user=mdettweiler [2015-08-15 17:41:21] 615*2^1406461-1 is not prime. Res64: 34011E52EB096D3C Time : 0.0 sec. user=mdettweiler [2015-08-15 17:41:22] 651*2^1406461-1 is not prime. Res64: C07632EC6FB5B4B5 Time : 0.0 sec. user=mdettweiler [2015-08-15 17:42:25] 691*2^1406461-1 is not prime. Res64: 2F01AF122601F417 Time : 0.0 sec. user=mdettweiler [2015-08-15 17:42:25] 789*2^1406461-1 is not prime. Res64: 21DB75090792E5CD Time : 0.0 sec. user=mdettweiler [2015-08-15 17:45:59] 801*2^1406461-1 is not prime. Res64: 86F2D8C282FBA393 Time : 0.0 sec. user=mdettweiler [2015-08-15 17:45:59] 829*2^1406461-1 is not prime. Res64: 67F7D6B97889FC60 Time : 0.0 sec. user=mdettweiler [2015-08-15 17:58:14] 937*2^1406461-1 is not prime. Res64: CD341098F49F6926 Time : 0.0 sec. user=mdettweiler [2015-08-15 17:58:15] 677*2^1406462-1 is not prime. Res64: B72719057A450858 Time : 0.0 sec. user=mdettweiler [2015-08-15 17:58:49] 711*2^1406462-1 is not prime. Res64: 9E890CB271397207 Time : 0.0 sec. user=mdettweiler [2015-08-15 17:58:50] 785*2^1406462-1 is not prime. Res64: 2F88277EF2136B68 Time : 0.0 sec. user=mdettweiler [2015-08-15 17:59:57] 885*2^1406462-1 is not prime. Res64: 2BB997350D9FC2B7 Time : 0.0 sec. user=mdettweiler [2015-08-15 17:59:58] 915*2^1406462-1 is not prime. Res64: 8C13BAD2589D26C3 Time : 0.0 sec. user=mdettweiler [2015-08-15 18:03:33] 987*2^1406462-1 is not prime. Res64: 6F395FF2B212B2D8 Time : 0.0 sec. user=mdettweiler [2015-08-15 18:03:34] 1001*2^1406462-1 is not prime. Res64: A6AC95D156EE4827 Time : 0.0 sec. user=S_K_ [2015-08-15 18:05:57] 847*2^1406461-1 is not prime. Res64: 5BFCF8985A7168AA Time : 0.0 sec. user=mdettweiler [2015-08-15 18:15:49] 639*2^1406463-1 is not prime. Res64: B278BF270913C73C Time : 0.0 sec. user=mdettweiler [2015-08-15 18:15:49] 705*2^1406463-1 is not prime. Res64: 3F83080C98E74B88 Time : 0.0 sec. user=mdettweiler [2015-08-15 18:16:15] 741*2^1406463-1 is not prime. Res64: EE617E1471CA7982 Time : 0.0 sec. user=mdettweiler [2015-08-15 18:16:15] 781*2^1406463-1 is not prime. Res64: 76D28C0B2EC81332 Time : 0.0 sec. user=mdettweiler [2015-08-15 18:17:21] 793*2^1406463-1 is not prime. Res64: 5F3D37B98C9D3E93 Time : 0.0 sec. user=mdettweiler [2015-08-15 18:17:22] 615*2^1406464-1 is not prime. Res64: CA50732C401F14F0 Time : 0.0 sec. user=mdettweiler [2015-08-15 18:21:03] 765*2^1406464-1 is not prime. Res64: 777AFB39693FFB20 Time : 0.0 sec. user=mdettweiler [2015-08-15 18:21:03] 813*2^1406464-1 is not prime. Res64: 4D58934C530770D3 Time : 0.0 sec. user=mdettweiler [2015-08-15 18:33:11] 711*2^1406465-1 is not prime. Res64: CEEA8657DB0C119B Time : 0.0 sec. user=mdettweiler [2015-08-15 18:33:12] 721*2^1406465-1 is not prime. Res64: E607D3025423D4F6 Time : 0.0 sec. user=mdettweiler [2015-08-15 18:33:36] 889*2^1406465-1 is not prime. Res64: C0571B94FE3C9CE3 Time : 0.0 sec. user=mdettweiler [2015-08-15 18:33:36] 937*2^1406465-1 is not prime. Res64: 9156473C4BDE598E Time : 0.0 sec. user=mdettweiler [2015-08-15 18:34:43] 985*2^1406465-1 is not prime. Res64: 4DCD1F7B494E96A7 Time : 0.0 sec. user=mdettweiler [2015-08-15 18:34:44] 747*2^1406466-1 is not prime. Res64: E5CA9F42F2AFEADB Time : 0.0 sec. user=mdettweiler [2015-08-15 18:38:29] 767*2^1406466-1 is not prime. Res64: 6680BC7497464A04 Time : 0.0 sec. user=mdettweiler [2015-08-15 18:38:29] 825*2^1406466-1 is not prime. Res64: 782914B33BF0848A Time : 0.0 sec. user=S_K_ [2015-08-15 18:42:15] 969*2^1406464-1 is not prime. Res64: 9ABCE8AD12479BE8 Time : 0.0 sec. user=mdettweiler [2015-08-15 18:50:37] 861*2^1406466-1 is not prime. Res64: 9B59B11D3D590352 Time : 0.0 sec. user=mdettweiler [2015-08-15 18:50:37] 891*2^1406466-1 is not prime. Res64: 372834454CB9D339 Time : 0.0 sec. user=mdettweiler [2015-08-15 18:51:05] 1001*2^1406466-1 is not prime. Res64: EC02DAC5324BA632 Time : 0.0 sec. user=mdettweiler [2015-08-15 18:51:06] 615*2^1406467-1 is not prime. Res64: 9E387670E451C256 Time : 0.0 sec. user=mdettweiler [2015-08-15 18:52:14] 685*2^1406467-1 is not prime. Res64: 9C5A827430BECE31 Time : 0.0 sec. user=mdettweiler [2015-08-15 18:52:15] 945*2^1406467-1 is not prime. Res64: 855D5F4527C5F561 Time : 0.0 sec. user=mdettweiler [2015-08-15 18:55:57] 951*2^1406467-1 is not prime. Res64: D1DAC13034990AB1 Time : 0.0 sec. user=mdettweiler [2015-08-15 18:55:58] 973*2^1406467-1 is not prime. Res64: 886355CC63D455DD Time : 0.0 sec. user=mdettweiler [2015-08-15 19:08:25] 669*2^1406468-1 is not prime. Res64: 73653ED9B371DEC2 Time : 0.0 sec. user=mdettweiler [2015-08-15 19:08:25] 839*2^1406468-1 is not prime. Res64: 49FA5A45D312DE4C Time : 0.0 sec. user=mdettweiler [2015-08-15 19:08:47] 915*2^1406468-1 is not prime. Res64: A433422CE39ABAD6 Time : 0.0 sec. user=mdettweiler [2015-08-15 19:08:47] 935*2^1406468-1 is not prime. Res64: 5E56EE29AFEF9A9D Time : 0.0 sec. user=mdettweiler [2015-08-15 19:10:24] 609*2^1406469-1 is not prime. Res64: 9B8CF402CBD95251 Time : 0.0 sec. user=mdettweiler [2015-08-15 19:10:24] 747*2^1406469-1 is not prime. Res64: 187CA9DD37EC937E Time : 0.0 sec. user=mdettweiler [2015-08-15 19:14:01] 955*2^1406469-1 is not prime. Res64: F1242BA787AA972D Time : 0.0 sec. user=mdettweiler [2015-08-15 19:14:02] 611*2^1406470-1 is not prime. Res64: 2A0032C610FF15C8 Time : 0.0 sec. user=mdettweiler [2015-08-15 19:26:18] 665*2^1406470-1 is not prime. Res64: 05464A83B4D05FE2 Time : 0.0 sec. user=mdettweiler [2015-08-15 19:26:19] 717*2^1406470-1 is not prime. Res64: CB8CEA8C8928ADB7 Time : 0.0 sec. user=mdettweiler [2015-08-15 19:26:20] 777*2^1406470-1 is not prime. Res64: 57E9052A53604A3D Time : 0.0 sec. user=mdettweiler [2015-08-15 19:26:21] 801*2^1406470-1 is not prime. Res64: 787D71C4E10ACA55 Time : 0.0 sec. user=mdettweiler [2015-08-15 19:28:15] 857*2^1406470-1 is not prime. Res64: 03D3D78ED29147C3 Time : 0.0 sec. user=mdettweiler [2015-08-15 19:28:16] 951*2^1406470-1 is not prime. Res64: 9038B1D4F394D95C Time : 0.0 sec. user=mdettweiler [2015-08-15 19:31:29] 965*2^1406470-1 is not prime. Res64: BC2DBAE8EE778916 Time : 0.0 sec. user=mdettweiler [2015-08-15 19:31:30] 621*2^1406471-1 is not prime. Res64: E4E8481EF3F4C497 Time : 0.0 sec. user=mdettweiler [2015-08-15 19:44:15] 855*2^1406471-1 is not prime. Res64: A7A18701FE69A167 Time : 0.0 sec. user=mdettweiler [2015-08-15 19:44:16] 909*2^1406471-1 is not prime. Res64: 198B2871AE7EA30C Time : 0.0 sec. user=mdettweiler [2015-08-15 19:44:19] 685*2^1406471-1 is not prime. Res64: 34C275F12690BBD7 Time : 0.0 sec. user=mdettweiler [2015-08-15 19:44:19] 811*2^1406471-1 is not prime. Res64: E35C53623070C8D8 Time : 0.0 sec. user=mdettweiler [2015-08-15 19:46:12] 981*2^1406471-1 is not prime. Res64: D12AA0670EEB26C4 Time : 0.0 sec. user=mdettweiler [2015-08-15 19:46:13] 623*2^1406472-1 is not prime. Res64: 2FF9D2E1855B4D3C Time : 0.0 sec. user=mdettweiler [2015-08-15 19:50:14] 675*2^1406472-1 is not prime. Res64: 92132314F3D87107 Time : 0.0 sec. user=mdettweiler [2015-08-15 19:50:14] 825*2^1406472-1 is not prime. Res64: 72D179FB5A9C880C Time : 0.0 sec. user=mdettweiler [2015-08-15 20:01:43] 887*2^1406472-1 is not prime. Res64: 2258A74CC25EC98D Time : 0.0 sec. user=mdettweiler [2015-08-15 20:01:44] 899*2^1406472-1 is not prime. Res64: 14F765F23F9E0EE1 Time : 0.0 sec. user=mdettweiler [2015-08-15 20:01:46] 975*2^1406472-1 is not prime. Res64: 1428461D67C62BE0 Time : 0.0 sec. user=mdettweiler [2015-08-15 20:01:47] 983*2^1406472-1 is not prime. Res64: 41A8703A3080E55C Time : 0.0 sec. user=mdettweiler [2015-08-15 20:04:01] 649*2^1406473-1 is not prime. Res64: AFD9FE2FF92EC779 Time : 0.0 sec. user=mdettweiler [2015-08-15 20:04:02] 687*2^1406473-1 is not prime. Res64: 25D39C234BE9E3A5 Time : 0.0 sec. user=mdettweiler [2015-08-15 20:07:43] 691*2^1406473-1 is not prime. Res64: 4F1EB03BB4896225 Time : 0.0 sec. user=mdettweiler [2015-08-15 20:07:44] 721*2^1406473-1 is not prime. Res64: B10CB335BFF9522F Time : 0.0 sec. user=mdettweiler [2015-08-15 20:19:14] 615*2^1406474-1 is not prime. Res64: 25DCDC7FF41217D9 Time : 0.0 sec. user=mdettweiler [2015-08-15 20:19:15] 627*2^1406474-1 is not prime. Res64: 66A4E7FF642BDDBF Time : 0.0 sec. user=mdettweiler [2015-08-15 20:19:16] 769*2^1406473-1 is not prime. Res64: C128389E9A097931 Time : 0.0 sec. user=mdettweiler [2015-08-15 20:19:17] 945*2^1406473-1 is not prime. Res64: 5F43A148021D169D Time : 0.0 sec. user=mdettweiler [2015-08-15 20:21:28] 687*2^1406474-1 is not prime. Res64: 50E8E35093D8732D Time : 0.0 sec. user=mdettweiler [2015-08-15 20:21:28] 711*2^1406474-1 is not prime. Res64: 5F12B7705F811D4B Time : 0.0 sec. user=mdettweiler [2015-08-15 20:25:14] 857*2^1406474-1 is not prime. Res64: 4CD1D1BD58D6D612 Time : 0.0 sec. user=mdettweiler [2015-08-15 20:25:15] 885*2^1406474-1 is not prime. Res64: 2AA79152E2929B37 Time : 0.0 sec. user=mdettweiler [2015-08-15 20:36:46] 887*2^1406474-1 is not prime. Res64: B83A510777806B82 Time : 0.0 sec. user=mdettweiler [2015-08-15 20:36:46] 921*2^1406474-1 is not prime. Res64: AF388DD9748723E5 Time : 0.0 sec. user=mdettweiler [2015-08-15 20:36:59] 639*2^1406475-1 is not prime. Res64: D940DD7B9975D135 Time : 0.0 sec. user=mdettweiler [2015-08-15 20:37:00] 685*2^1406475-1 is not prime. Res64: FAC831B928D93A65 Time : 0.0 sec. user=mdettweiler [2015-08-15 20:39:52] 849*2^1406475-1 is not prime. Res64: E2BCC8A18D402238 Time : 0.0 sec. user=mdettweiler [2015-08-15 20:39:53] 895*2^1406475-1 is not prime. Res64: 4076A23B6F110913 Time : 0.0 sec. user=mdettweiler [2015-08-15 20:42:47] 909*2^1406475-1 is not prime. Res64: 0365783602971979 Time : 0.0 sec. user=mdettweiler [2015-08-15 20:42:48] 825*2^1406476-1 is not prime. Res64: 6D6BEA0D4A42C43E Time : 0.0 sec. user=mdettweiler [2015-08-15 20:54:37] 697*2^1406477-1 is not prime. Res64: CF9F3C54CAD95A91 Time : 0.0 sec. user=mdettweiler [2015-08-15 20:54:37] 819*2^1406477-1 is not prime. Res64: EE2C34D117330A2E Time : 0.0 sec. user=mdettweiler [2015-08-15 20:55:14] 873*2^1406476-1 is not prime. Res64: DB438A2A2A4B47B3 Time : 0.0 sec. user=mdettweiler [2015-08-15 20:55:14] 669*2^1406477-1 is not prime. Res64: A2DE10AA2514C09D Time : 0.0 sec. user=mdettweiler [2015-08-15 20:57:52] 829*2^1406477-1 is not prime. Res64: F95E34C71B2C5814 Time : 0.0 sec. user=mdettweiler [2015-08-15 20:57:52] 889*2^1406477-1 is not prime. Res64: 0E1633FEDE9F5BF4 Time : 0.0 sec. user=mdettweiler [2015-08-15 21:01:33] 611*2^1406478-1 is not prime. Res64: C2C95A78872086CD Time : 0.0 sec. user=mdettweiler [2015-08-15 21:01:34] 657*2^1406478-1 is not prime. Res64: BB0C2E445384A271 Time : 0.0 sec. user=mdettweiler [2015-08-15 21:12:18] 681*2^1406478-1 is not prime. Res64: C47E8A3040085A05 Time : 0.0 sec. user=mdettweiler [2015-08-15 21:12:19] 875*2^1406478-1 is not prime. Res64: B007E0C70A4B1587 Time : 0.0 sec. user=mdettweiler [2015-08-15 21:12:49] 887*2^1406478-1 is not prime. Res64: 0718E67D6EDA73FB Time : 0.0 sec. user=mdettweiler [2015-08-15 21:12:49] 893*2^1406478-1 is not prime. Res64: 6AEBF3B43E3DDF30 Time : 0.0 sec. user=mdettweiler [2015-08-15 21:15:20] 927*2^1406478-1 is not prime. Res64: F23045A7F3563122 Time : 0.0 sec. user=mdettweiler [2015-08-15 21:15:20] 843*2^1406479-1 is not prime. Res64: 6F939F586B3EBD0B Time : 0.0 sec. user=mdettweiler [2015-08-15 21:19:07] 853*2^1406479-1 is not prime. Res64: 29CA16FB2FF2D945 Time : 0.0 sec. user=mdettweiler [2015-08-15 21:19:07] 889*2^1406479-1 is not prime. Res64: 5263454E8D66A8CE Time : 0.0 sec. user=mdettweiler [2015-08-15 21:30:22] 985*2^1406479-1 is not prime. Res64: A61A7B3329972E59 Time : 0.0 sec. user=mdettweiler [2015-08-15 21:30:22] 665*2^1406480-1 is not prime. Res64: 2D9243BDD86241C4 Time : 0.0 sec. user=mdettweiler [2015-08-15 21:31:03] 931*2^1406479-1 is not prime. Res64: AD71619FEBBB06FC Time : 0.0 sec. user=mdettweiler [2015-08-15 21:31:04] 943*2^1406479-1 is not prime. Res64: 1E1F35064236D1B5 Time : 0.0 sec. user=mdettweiler [2015-08-15 21:32:51] 759*2^1406480-1 is not prime. Res64: E438EE6A003496EE Time : 0.0 sec. user=mdettweiler [2015-08-15 21:32:51] 785*2^1406480-1 is not prime. Res64: 88C2BEBB38A185B4 Time : 0.0 sec. user=mdettweiler [2015-08-15 21:36:57] 789*2^1406480-1 is not prime. Res64: 67A9FAF9D726ED23 Time : 0.0 sec. user=mdettweiler [2015-08-15 21:36:57] 843*2^1406480-1 is not prime. Res64: 33945958AE89B211 Time : 0.0 sec. user=mdettweiler [2015-08-15 21:47:46] 897*2^1406480-1 is not prime. Res64: 52EECAF90CBBDF81 Time : 0.0 sec. user=mdettweiler [2015-08-15 21:47:46] 917*2^1406480-1 is not prime. Res64: 6C1D6979009BFFE9 Time : 0.0 sec. user=mdettweiler [2015-08-15 21:48:30] 945*2^1406480-1 is not prime. Res64: 918CA63A423D0488 Time : 0.0 sec. user=mdettweiler [2015-08-15 21:48:30] 691*2^1406481-1 is not prime. Res64: 2FCAA9ECB3AF42F9 Time : 0.0 sec. user=mdettweiler [2015-08-15 21:50:17] 709*2^1406481-1 is not prime. Res64: E17E91FA02353BFE Time : 0.0 sec. user=mdettweiler [2015-08-15 21:50:18] 747*2^1406481-1 is not prime. Res64: 63742F9DFB9015FB Time : 0.0 sec. user=mdettweiler [2015-08-15 21:54:29] 847*2^1406481-1 is not prime. Res64: 7069CAACE88B5FF2 Time : 0.0 sec. user=mdettweiler [2015-08-15 21:54:30] 647*2^1406482-1 is not prime. Res64: 547B028D0D3290B1 Time : 0.0 sec. user=mdettweiler [2015-08-15 22:05:31] 723*2^1406482-1 is not prime. Res64: 6D30514C7FBF2B61 Time : 0.0 sec. user=mdettweiler [2015-08-15 22:05:32] 735*2^1406482-1 is not prime. Res64: 49917926745C2DE4 Time : 0.0 sec. user=mdettweiler [2015-08-15 22:06:08] 777*2^1406482-1 is not prime. Res64: FFCC13DAC57A0438 Time : 0.0 sec. user=mdettweiler [2015-08-15 22:06:09] 785*2^1406482-1 is not prime. Res64: D11B090E3E2F8B64 Time : 0.0 sec. user=mdettweiler [2015-08-15 22:07:47] 791*2^1406482-1 is not prime. Res64: 56641308558E03B2 Time : 0.0 sec. user=mdettweiler [2015-08-15 22:07:47] 867*2^1406482-1 is not prime. Res64: 88AD63592A3DF6D9 Time : 0.0 sec. user=mdettweiler [2015-08-15 22:12:39] 915*2^1406482-1 is not prime. Res64: 3D4A02C47C8EA341 Time : 0.0 sec. user=mdettweiler [2015-08-15 22:12:39] 941*2^1406482-1 is not prime. Res64: 333078C478DED8D4 Time : 0.0 sec. user=mdettweiler [2015-08-15 22:23:25] 995*2^1406482-1 is not prime. Res64: 9EC8B664865A442D Time : 0.0 sec. user=mdettweiler [2015-08-15 22:23:26] 703*2^1406483-1 is not prime. Res64: 73171C865DCA7153 Time : 0.0 sec. user=mdettweiler [2015-08-15 22:24:04] 823*2^1406483-1 is not prime. Res64: 09FCACD521A7E877 Time : 0.0 sec. user=mdettweiler [2015-08-15 22:24:05] 829*2^1406483-1 is not prime. Res64: 504CAAB3C0039013 Time : 0.0 sec. user=mdettweiler [2015-08-15 22:25:20] 939*2^1406483-1 is not prime. Res64: B52345585F920A80 Time : 0.0 sec. user=mdettweiler [2015-08-15 22:25:20] 639*2^1406484-1 is not prime. Res64: 9D7885BF6514E8C3 Time : 0.0 sec. user=mdettweiler [2015-08-15 22:30:22] 843*2^1406484-1 is not prime. Res64: 23CF026F1BD786F6 Time : 0.0 sec. user=mdettweiler [2015-08-15 22:30:22] 691*2^1406485-1 is not prime. Res64: 7B2D503F84EA7F36 Time : 0.0 sec. user=mdettweiler [2015-08-15 22:41:13] 699*2^1406485-1 is not prime. Res64: 6DE8F54C2FBB0C1B Time : 0.0 sec. user=mdettweiler [2015-08-15 22:41:13] 727*2^1406485-1 is not prime. Res64: 91F2B2CC8DCCE0F2 Time : 0.0 sec. user=mdettweiler [2015-08-15 22:42:10] 741*2^1406485-1 is not prime. Res64: B920714EADA48937 Time : 0.0 sec. user=mdettweiler [2015-08-15 22:42:11] 777*2^1406485-1 is not prime. Res64: 6161542549E090F1 Time : 0.0 sec. user=mdettweiler [2015-08-15 22:43:05] 811*2^1406485-1 is not prime. Res64: FC42784FAD0FDE3A Time : 0.0 sec. user=mdettweiler [2015-08-15 22:43:06] 817*2^1406485-1 is not prime. Res64: 6AED5A3129EE8F82 Time : 0.0 sec. user=mdettweiler [2015-08-15 22:48:03] 819*2^1406485-1 is not prime. Res64: EBB6F0C9A1427CE2 Time : 0.0 sec. user=mdettweiler [2015-08-15 22:48:04] 855*2^1406485-1 is not prime. Res64: C303EEFC32A571FD Time : 0.0 sec. user=mdettweiler [2015-08-15 22:58:39] 861*2^1406485-1 is not prime. Res64: 7407D2E48482D20C Time : 0.0 sec. user=mdettweiler [2015-08-15 22:58:39] 867*2^1406485-1 is not prime. Res64: 4DE7E1E53089BDC8 Time : 0.0 sec. user=mdettweiler [2015-08-15 22:59:32] 985*2^1406485-1 is not prime. Res64: 874915097EEF223A Time : 0.0 sec. user=mdettweiler [2015-08-15 22:59:32] 677*2^1406486-1 is not prime. Res64: D309AE5413772C23 Time : 0.0 sec. user=mdettweiler [2015-08-15 23:00:34] 707*2^1406486-1 is not prime. Res64: B7A38A6AFFFFC9E9 Time : 0.0 sec. user=mdettweiler [2015-08-15 23:00:35] 761*2^1406486-1 is not prime. Res64: 1F095FD479DD4B00 Time : 0.0 sec. user=S_K_ [2015-08-15 23:04:38] 633*2^1406468-1 is not prime. Res64: E835347457776344 Time : 0.0 sec. user=mdettweiler [2015-08-15 23:05:30] 843*2^1406486-1 is not prime. Res64: F54C5ECE4B2DFF72 Time : 0.0 sec. user=mdettweiler [2015-08-15 23:05:32] 873*2^1406486-1 is not prime. Res64: CE0FDD631A68FDD4 Time : 0.0 sec. user=mdettweiler [2015-08-15 23:16:15] 615*2^1406487-1 is not prime. Res64: 14C608CE42A6F644 Time : 0.0 sec. user=mdettweiler [2015-08-15 23:16:16] 621*2^1406487-1 is not prime. Res64: 57B15E739802F868 Time : 0.0 sec. user=mdettweiler [2015-08-15 23:17:12] 711*2^1406487-1 is not prime. Res64: 9B595D6380C875D6 Time : 0.0 sec. user=mdettweiler [2015-08-15 23:17:13] 781*2^1406487-1 is not prime. Res64: 9E7C4AC1FEF00442 Time : 0.0 sec. user=mdettweiler [2015-08-15 23:18:59] 945*2^1406487-1 is not prime. Res64: 4CA52A68EDABB37F Time : 0.0 sec. user=mdettweiler [2015-08-15 23:18:59] 991*2^1406487-1 is not prime. Res64: 6749EF707EA16BE9 Time : 0.0 sec. user=mdettweiler [2015-08-15 23:23:50] 605*2^1406488-1 is not prime. Res64: 9B7EA2AE57FD307D Time : 0.0 sec. user=mdettweiler [2015-08-15 23:23:51] 665*2^1406488-1 is not prime. Res64: 55C2C0AC174E3A3A Time : 0.0 sec. user=mdettweiler [2015-08-15 23:34:06] 765*2^1406488-1 is not prime. Res64: 33C545044F8D940B Time : 0.0 sec. user=mdettweiler [2015-08-15 23:34:07] 813*2^1406488-1 is not prime. Res64: F81000F99579F4C2 Time : 0.0 sec. user=mdettweiler [2015-08-15 23:35:06] 843*2^1406488-1 is not prime. Res64: 6103A4C72145E1CC Time : 0.0 sec. user=mdettweiler [2015-08-15 23:35:07] 869*2^1406488-1 is not prime. Res64: F12D2D903393ABD0 Time : 0.0 sec. user=mdettweiler [2015-08-15 23:39:02] 887*2^1406488-1 is not prime. Res64: 59A878407F9B87A2 Time : 0.0 sec. user=mdettweiler [2015-08-15 23:39:02] 897*2^1406488-1 is not prime. Res64: 23C69CC865C9FB38 Time : 0.0 sec. user=mdettweiler [2015-08-15 23:41:24] 771*2^1406489-1 is not prime. Res64: D07EAC788FEA75BC Time : 0.0 sec. user=mdettweiler [2015-08-15 23:41:24] 789*2^1406489-1 is not prime. Res64: A22FA5B1ABEA8648 Time : 0.0 sec. user=mdettweiler [2015-08-15 23:51:32] 847*2^1406489-1 is not prime. Res64: 30CC81881A0EF748 Time : 0.0 sec. user=mdettweiler [2015-08-15 23:51:33] 861*2^1406489-1 is not prime. Res64: 33A28AB6C21AE2B3 Time : 0.0 sec. user=mdettweiler [2015-08-15 23:52:37] 909*2^1406489-1 is not prime. Res64: 769BDC000959BD95 Time : 0.0 sec. user=mdettweiler [2015-08-15 23:52:37] 931*2^1406489-1 is not prime. Res64: 3FC7BF33B0B0D6AF Time : 0.0 sec. user=mdettweiler [2015-08-15 23:56:29] 627*2^1406490-1 is not prime. Res64: 5677FCCE0C7D16C3 Time : 0.0 sec. user=mdettweiler [2015-08-15 23:56:29] 833*2^1406490-1 is not prime. Res64: EA2C13766F5EE182 Time : 0.0 sec. user=mdettweiler [2015-08-15 23:58:51] 843*2^1406490-1 is not prime. Res64: 3BF381967EF94B9F Time : 0.0 sec. user=mdettweiler [2015-08-15 23:58:51] 851*2^1406490-1 is not prime. Res64: DE5CBFB6DE7CE152 Time : 0.0 sec.