user=mdettweiler [2015-12-13 00:04:15] 935*2^1417394-1 is not prime. Res64: 49E0B4F3212F638D Time : 0.0 sec. user=mdettweiler [2015-12-13 00:04:17] 775*2^1417395-1 is not prime. Res64: D967D5265347166B Time : 0.0 sec. user=mdettweiler [2015-12-13 00:13:49] 885*2^1417395-1 is not prime. Res64: 5BFDE5FD343812BF Time : 0.0 sec. user=mdettweiler [2015-12-13 00:13:50] 895*2^1417395-1 is not prime. Res64: CD4977630083280D Time : 0.0 sec. user=mdettweiler [2015-12-13 00:22:00] 979*2^1417395-1 is not prime. Res64: F1956822B0397616 Time : 0.0 sec. user=mdettweiler [2015-12-13 00:22:00] 707*2^1417396-1 is not prime. Res64: D6BF9FFB4D2F8DE1 Time : 0.0 sec. user=mdettweiler [2015-12-13 00:31:27] 825*2^1417396-1 is not prime. Res64: 0CEF83AFCE4568DE Time : 0.0 sec. user=mdettweiler [2015-12-13 00:31:27] 873*2^1417396-1 is not prime. Res64: 0B9FD61766692811 Time : 0.0 sec. user=mdettweiler [2015-12-13 00:39:26] 875*2^1417396-1 is not prime. Res64: 506676B16C71E37F Time : 0.0 sec. user=mdettweiler [2015-12-13 00:39:27] 987*2^1417396-1 is not prime. Res64: FC5A89E1066A6706 Time : 0.0 sec. user=mdettweiler [2015-12-13 00:48:53] 717*2^1417397-1 is not prime. Res64: 17BD5858AEC80FEE Time : 0.0 sec. user=mdettweiler [2015-12-13 00:48:53] 837*2^1417397-1 is not prime. Res64: 550892AE49717E98 Time : 0.0 sec. user=mdettweiler [2015-12-13 00:56:52] 885*2^1417397-1 is not prime. Res64: 2CB9B974436DCABF Time : 0.0 sec. user=mdettweiler [2015-12-13 00:56:52] 901*2^1417397-1 is not prime. Res64: 63F74AFC936A0034 Time : 0.0 sec. user=mdettweiler [2015-12-13 01:06:20] 949*2^1417397-1 is not prime. Res64: 93936E9E18EFC40F Time : 0.0 sec. user=mdettweiler [2015-12-13 01:06:20] 955*2^1417397-1 is not prime. Res64: D54E91A5FC5F8A75 Time : 0.0 sec. user=mdettweiler [2015-12-13 01:14:18] 621*2^1417398-1 is not prime. Res64: 5B4CD55781308B37 Time : 0.0 sec. user=mdettweiler [2015-12-13 01:14:18] 641*2^1417398-1 is not prime. Res64: CF479A5D340936EB Time : 0.0 sec. user=mdettweiler [2015-12-13 01:23:49] 731*2^1417398-1 is not prime. Res64: 7E3C38FE2EF20D7C Time : 0.0 sec. user=mdettweiler [2015-12-13 01:23:50] 761*2^1417398-1 is not prime. Res64: 066DCDD1AFA3119A Time : 0.0 sec. user=mdettweiler [2015-12-13 01:31:45] 893*2^1417398-1 is not prime. Res64: 4F89C05ACA3096AE Time : 0.0 sec. user=mdettweiler [2015-12-13 01:31:46] 963*2^1417398-1 is not prime. Res64: E0CB765CD3DC8238 Time : 0.0 sec. user=mdettweiler [2015-12-13 01:41:16] 625*2^1417399-1 is not prime. Res64: 8F3B8698CCFDEFA7 Time : 0.0 sec. user=mdettweiler [2015-12-13 01:41:17] 633*2^1417399-1 is not prime. Res64: 6B52A9026713524E Time : 0.0 sec. user=mdettweiler [2015-12-13 01:49:21] 663*2^1417399-1 is not prime. Res64: 49DF39C91B1A3993 Time : 0.0 sec. user=mdettweiler [2015-12-13 01:49:22] 741*2^1417399-1 is not prime. Res64: 4FC5F66B0536A611 Time : 0.0 sec. user=mdettweiler [2015-12-13 01:58:46] 759*2^1417399-1 is not prime. Res64: 0AC6FFCC89BDEE12 Time : 0.0 sec. user=mdettweiler [2015-12-13 01:58:47] 793*2^1417399-1 is not prime. Res64: DA6389E95AF19B2C Time : 0.0 sec. user=mdettweiler [2015-12-13 02:06:48] 841*2^1417399-1 is not prime. Res64: 6102FF8F592C96F2 Time : 0.0 sec. user=mdettweiler [2015-12-13 02:06:48] 843*2^1417399-1 is not prime. Res64: 2A8ADDFFB5DA3E83 Time : 0.0 sec. user=mdettweiler [2015-12-13 02:16:12] 859*2^1417399-1 is not prime. Res64: 2E78F25057FD28C5 Time : 0.0 sec. user=mdettweiler [2015-12-13 02:16:13] 909*2^1417399-1 is not prime. Res64: 6A3E45D97A4F33CA Time : 0.0 sec. user=mdettweiler [2015-12-13 02:24:17] 913*2^1417399-1 is not prime. Res64: 502B1F6D85161396 Time : 0.0 sec. user=mdettweiler [2015-12-13 02:24:17] 973*2^1417399-1 is not prime. Res64: EF82BCAC35188028 Time : 0.0 sec. user=mdettweiler [2015-12-13 02:33:41] 979*2^1417399-1 is not prime. Res64: 80A03C11F4C7A626 Time : 0.0 sec. user=mdettweiler [2015-12-13 02:33:42] 629*2^1417400-1 is not prime. Res64: 97543839B16162C4 Time : 0.0 sec. user=mdettweiler [2015-12-13 02:41:43] 633*2^1417400-1 is not prime. Res64: A3822670C946A666 Time : 0.0 sec. user=mdettweiler [2015-12-13 02:41:43] 635*2^1417400-1 is not prime. Res64: A61B5ED33EDFA43C Time : 0.0 sec. user=mdettweiler [2015-12-13 02:51:11] 645*2^1417400-1 is not prime. Res64: F2B5289A06E7E57E Time : 0.0 sec. user=mdettweiler [2015-12-13 02:51:11] 713*2^1417400-1 is not prime. Res64: E807BE02729AE8A4 Time : 0.0 sec. user=mdettweiler [2015-12-13 02:59:09] 767*2^1417400-1 is not prime. Res64: 567525B6E9738219 Time : 0.0 sec. user=mdettweiler [2015-12-13 02:59:10] 923*2^1417400-1 is not prime. Res64: C91C86A672E336C7 Time : 0.0 sec. user=mdettweiler [2015-12-13 03:08:36] 627*2^1417401-1 is not prime. Res64: 9ABFF7998A3125F4 Time : 0.0 sec. user=mdettweiler [2015-12-13 03:08:37] 681*2^1417401-1 is not prime. Res64: 2BFEF1C357EEB68A Time : 0.0 sec. user=mdettweiler [2015-12-13 03:16:35] 975*2^1417401-1 is not prime. Res64: 26B0321EBBB113F3 Time : 0.0 sec. user=mdettweiler [2015-12-13 03:16:35] 611*2^1417402-1 is not prime. Res64: 2B6AF8D0EB2E15FC Time : 0.0 sec. user=mdettweiler [2015-12-13 03:26:13] 645*2^1417402-1 is not prime. Res64: 0B08CE39387DB216 Time : 0.0 sec. user=mdettweiler [2015-12-13 03:26:13] 651*2^1417402-1 is not prime. Res64: 2BE6D7BCF0B38BFA Time : 0.0 sec. user=mdettweiler [2015-12-13 03:34:02] 765*2^1417402-1 is not prime. Res64: 6ED2F79B7CF554A5 Time : 0.0 sec. user=mdettweiler [2015-12-13 03:34:06] 791*2^1417402-1 is not prime. Res64: C6E71CBE62912F90 Time : 0.0 sec. user=mdettweiler [2015-12-13 03:43:40] 843*2^1417402-1 is not prime. Res64: BC8E00106812DDA8 Time : 0.0 sec. user=mdettweiler [2015-12-13 03:43:41] 911*2^1417402-1 is not prime. Res64: 05AA77260B4BA2F8 Time : 0.0 sec. user=mdettweiler [2015-12-13 03:51:58] 923*2^1417402-1 is not prime. Res64: EB38D8B68EB67B91 Time : 0.0 sec. user=mdettweiler [2015-12-13 03:51:59] 957*2^1417402-1 is not prime. Res64: 3B5B277E63F36575 Time : 0.0 sec. user=mdettweiler [2015-12-13 04:01:16] 983*2^1417402-1 is not prime. Res64: 84F504AE90579BBE Time : 0.0 sec. user=mdettweiler [2015-12-13 04:01:17] 669*2^1417403-1 is not prime. Res64: 4D53DFFA65B7BA75 Time : 0.0 sec. user=mdettweiler [2015-12-13 04:09:33] 811*2^1417403-1 is not prime. Res64: 8DA313D532D4C78C Time : 0.0 sec. user=mdettweiler [2015-12-13 04:09:33] 955*2^1417403-1 is not prime. Res64: B065350E3825A8CE Time : 0.0 sec. user=mdettweiler [2015-12-13 04:19:01] 999*2^1417403-1 is not prime. Res64: A144989BB09151C6 Time : 0.0 sec. user=mdettweiler [2015-12-13 04:19:02] 675*2^1417404-1 is not prime. Res64: 31450BA7858E617A Time : 0.0 sec. user=mdettweiler [2015-12-13 04:27:02] 753*2^1417404-1 is not prime. Res64: 6883856267D975F8 Time : 0.0 sec. user=mdettweiler [2015-12-13 04:27:03] 875*2^1417404-1 is not prime. Res64: C0D7D69BB9B71FB1 Time : 0.0 sec. user=mdettweiler [2015-12-13 04:36:35] 661*2^1417405-1 is not prime. Res64: 7EB4C2DA0109CA20 Time : 0.0 sec. user=mdettweiler [2015-12-13 04:36:36] 825*2^1417405-1 is not prime. Res64: 83B29971D5F91F0E Time : 0.0 sec. user=mdettweiler [2015-12-13 04:44:34] 847*2^1417405-1 is not prime. Res64: 14AB17AA0991209F Time : 0.0 sec. user=mdettweiler [2015-12-13 04:44:35] 895*2^1417405-1 is not prime. Res64: D32E690C92C4FD17 Time : 0.0 sec. user=mdettweiler [2015-12-13 04:54:07] 919*2^1417405-1 is not prime. Res64: 9AC73F71610C428D Time : 0.0 sec. user=mdettweiler [2015-12-13 04:54:08] 603*2^1417406-1 is not prime. Res64: 6E708D4E279584A4 Time : 0.0 sec. user=mdettweiler [2015-12-13 05:02:06] 683*2^1417406-1 is not prime. Res64: FCDF8403E9AB019E Time : 0.0 sec. user=mdettweiler [2015-12-13 05:02:07] 717*2^1417406-1 is not prime. Res64: 3FFE97B4A08100C3 Time : 0.0 sec. user=mdettweiler [2015-12-13 05:11:35] 831*2^1417406-1 is not prime. Res64: 70ABDDC0B91401D3 Time : 0.0 sec. user=mdettweiler [2015-12-13 05:11:35] 923*2^1417406-1 is not prime. Res64: 4B022DDFB0CEB3A4 Time : 0.0 sec. user=mdettweiler [2015-12-13 05:19:42] 953*2^1417406-1 is not prime. Res64: A5B4EA2294AE4767 Time : 0.0 sec. user=mdettweiler [2015-12-13 05:19:44] 633*2^1417407-1 is not prime. Res64: 3C955365A1145A95 Time : 0.0 sec. user=mdettweiler [2015-12-13 05:28:59] 691*2^1417407-1 is not prime. Res64: 00964ED83EB2D529 Time : 0.0 sec. user=mdettweiler [2015-12-13 05:28:59] 913*2^1417407-1 is not prime. Res64: E60CF26EB58BC28C Time : 0.0 sec. user=mdettweiler [2015-12-13 05:37:21] 825*2^1417408-1 is not prime. Res64: 7944E626188E5458 Time : 0.0 sec. user=mdettweiler [2015-12-13 05:37:21] 845*2^1417408-1 is not prime. Res64: F0A56F6D659303CD Time : 0.0 sec. user=mdettweiler [2015-12-13 05:46:23] 869*2^1417408-1 is not prime. Res64: 9E053043219C1A5D Time : 0.0 sec. user=mdettweiler [2015-12-13 05:46:23] 685*2^1417409-1 is not prime. Res64: 434DF11C1BFCA9B3 Time : 0.0 sec. user=mdettweiler [2015-12-13 05:54:45] 697*2^1417409-1 is not prime. Res64: B6C3F81909747322 Time : 0.0 sec. user=mdettweiler [2015-12-13 05:54:46] 741*2^1417409-1 is not prime. Res64: CE8406F2DF211140 Time : 0.0 sec. user=mdettweiler [2015-12-13 06:03:48] 725*2^1417410-1 is not prime. Res64: 7C032EB7104D3419 Time : 0.0 sec. user=mdettweiler [2015-12-13 06:03:49] 767*2^1417410-1 is not prime. Res64: E25FD944F8A2628F Time : 0.0 sec. user=mdettweiler [2015-12-13 06:12:10] 833*2^1417410-1 is not prime. Res64: 56A9CF60AF8ED494 Time : 0.0 sec. user=mdettweiler [2015-12-13 06:12:10] 957*2^1417410-1 is not prime. Res64: 366410E7FDF6A8EF Time : 0.0 sec. user=mdettweiler [2015-12-13 06:21:27] 977*2^1417410-1 is not prime. Res64: 1367C08687E3AD5D Time : 0.0 sec. user=mdettweiler [2015-12-13 06:21:27] 603*2^1417411-1 is not prime. Res64: 642D07C30A1371FE Time : 0.0 sec. user=mdettweiler [2015-12-13 06:29:35] 645*2^1417411-1 is not prime. Res64: 04879F568E31C354 Time : 0.0 sec. user=mdettweiler [2015-12-13 06:29:35] 709*2^1417411-1 is not prime. Res64: 7E0C6507CFCC928E Time : 0.0 sec. user=mdettweiler [2015-12-13 06:38:52] 723*2^1417411-1 is not prime. Res64: 27A7AC203B87E501 Time : 0.0 sec. user=mdettweiler [2015-12-13 06:38:52] 871*2^1417411-1 is not prime. Res64: 7C643AF7C71E4A46 Time : 0.0 sec. user=mdettweiler [2015-12-13 06:46:59] 909*2^1417411-1 is not prime. Res64: B1D302A648FC186A Time : 0.0 sec. user=mdettweiler [2015-12-13 06:46:59] 925*2^1417411-1 is not prime. Res64: 4463BEEF1DA0B3AF Time : 0.0 sec. user=mdettweiler [2015-12-13 06:56:16] 951*2^1417411-1 is not prime. Res64: 2D695E6A6D3FDC54 Time : 0.0 sec. user=mdettweiler [2015-12-13 06:56:16] 629*2^1417412-1 is not prime. Res64: 592ADFA7ACDF37F4 Time : 0.0 sec. user=mdettweiler [2015-12-13 07:04:24] 677*2^1417412-1 is not prime. Res64: 861BFF22784F494A Time : 0.0 sec. user=mdettweiler [2015-12-13 07:04:25] 837*2^1417412-1 is not prime. Res64: 4C51A486E437C469 Time : 0.0 sec. user=mdettweiler [2015-12-13 07:13:40] 923*2^1417412-1 is not prime. Res64: 4CF8FD8B7644CA8A Time : 0.0 sec. user=mdettweiler [2015-12-13 07:13:41] 609*2^1417413-1 is not prime. Res64: A03B50213579861C Time : 0.0 sec. user=mdettweiler [2015-12-13 07:22:00] 769*2^1417413-1 is not prime. Res64: 6E6D58563459020E Time : 0.0 sec. user=mdettweiler [2015-12-13 07:22:01] 805*2^1417413-1 is not prime. Res64: 38E1E9A96F135A18 Time : 0.0 sec. user=mdettweiler [2015-12-13 07:31:05] 945*2^1417413-1 is not prime. Res64: FEE7923356655278 Time : 0.0 sec. user=mdettweiler [2015-12-13 07:31:05] 611*2^1417414-1 is not prime. Res64: 88C23FAF5479CB02 Time : 0.0 sec. user=mdettweiler [2015-12-13 07:39:26] 651*2^1417414-1 is not prime. Res64: 4336F3617B3DDA73 Time : 0.0 sec. user=mdettweiler [2015-12-13 07:39:27] 657*2^1417414-1 is not prime. Res64: 2411C87A5ADA60A9 Time : 0.0 sec. user=mdettweiler [2015-12-13 07:48:29] 677*2^1417414-1 is not prime. Res64: B5E870C2202FAEC8 Time : 0.0 sec. user=mdettweiler [2015-12-13 07:48:29] 681*2^1417414-1 is not prime. Res64: 5AC2F4F59F13BB90 Time : 0.0 sec. user=mdettweiler [2015-12-13 07:56:51] 707*2^1417414-1 is not prime. Res64: A8A0425FE7153E21 Time : 0.0 sec. user=mdettweiler [2015-12-13 07:56:51] 815*2^1417414-1 is not prime. Res64: CF8D30F121D3AC31 Time : 0.0 sec. user=mdettweiler [2015-12-13 08:05:54] 897*2^1417414-1 is not prime. Res64: A6A8999676695ACE Time : 0.0 sec. user=mdettweiler [2015-12-13 08:05:55] 951*2^1417414-1 is not prime. Res64: 68D40642D8B5CAE7 Time : 0.0 sec. user=mdettweiler [2015-12-13 08:14:16] 971*2^1417414-1 is not prime. Res64: 87E51A6B71B3BFDC Time : 0.0 sec. user=mdettweiler [2015-12-13 08:14:16] 609*2^1417415-1 is not prime. Res64: 80444EECB8776C47 Time : 0.0 sec. user=mdettweiler [2015-12-13 08:23:29] 645*2^1417415-1 is not prime. Res64: 7D7B17B159C81AF7 Time : 0.0 sec. user=mdettweiler [2015-12-13 08:23:30] 783*2^1417415-1 is not prime. Res64: 918B3034F5F0E788 Time : 0.0 sec. user=mdettweiler [2015-12-13 08:31:39] 939*2^1417415-1 is not prime. Res64: 7F7E6A057972663C Time : 0.0 sec. user=mdettweiler [2015-12-13 08:31:40] 653*2^1417416-1 is not prime. Res64: 927EAFD9BF54302F Time : 0.0 sec. user=mdettweiler [2015-12-13 08:40:54] 683*2^1417416-1 is not prime. Res64: 5C7DEA0E78D6D25F Time : 0.0 sec. user=mdettweiler [2015-12-13 08:40:55] 765*2^1417416-1 is not prime. Res64: F7D3201C6FE1D91D Time : 0.0 sec. user=mdettweiler [2015-12-13 08:49:04] 773*2^1417416-1 is not prime. Res64: 3A727BA183B9EC63 Time : 0.0 sec. user=mdettweiler [2015-12-13 08:49:04] 789*2^1417416-1 is not prime. Res64: DBF537806418D48B Time : 0.0 sec. user=mdettweiler [2015-12-13 08:58:18] 873*2^1417416-1 is not prime. Res64: 82695B1FC2F0CCE8 Time : 0.0 sec. user=mdettweiler [2015-12-13 08:58:18] 607*2^1417417-1 is not prime. Res64: B32CAB6C7F4510CB Time : 0.0 sec. user=mdettweiler [2015-12-13 09:06:28] 609*2^1417417-1 is not prime. Res64: 272288DAB1EB7325 Time : 0.0 sec. user=mdettweiler [2015-12-13 09:06:29] 897*2^1417417-1 is not prime. Res64: 19B758CB218CC23C Time : 0.0 sec. user=mdettweiler [2015-12-13 09:15:43] 915*2^1417417-1 is not prime. Res64: D20CF186AC8CE4D3 Time : 0.0 sec. user=mdettweiler [2015-12-13 09:15:43] 919*2^1417417-1 is not prime. Res64: C34D1EA9E7465C4B Time : 0.0 sec. user=mdettweiler [2015-12-13 09:23:52] 985*2^1417417-1 is not prime. Res64: 63AE10141F70C673 Time : 0.0 sec. user=mdettweiler [2015-12-13 09:23:53] 641*2^1417418-1 is not prime. Res64: 3E17132F91113FDB Time : 0.0 sec. user=mdettweiler [2015-12-13 09:33:07] 671*2^1417418-1 is not prime. Res64: FA78135DB92B8549 Time : 0.0 sec. user=mdettweiler [2015-12-13 09:33:08] 705*2^1417418-1 is not prime. Res64: C8F731AAFC35E26F Time : 0.0 sec. user=mdettweiler [2015-12-13 09:41:16] 711*2^1417418-1 is not prime. Res64: C7397CF41CBBB442 Time : 0.0 sec. user=mdettweiler [2015-12-13 09:41:17] 885*2^1417418-1 is not prime. Res64: 9477296C112B2C0B Time : 0.0 sec. user=mdettweiler [2015-12-13 09:50:32] 887*2^1417418-1 is not prime. Res64: A7C7C53014EBBFA3 Time : 0.0 sec. user=mdettweiler [2015-12-13 09:50:32] 923*2^1417418-1 is not prime. Res64: C70A4574BE2ED1F2 Time : 0.0 sec. user=mdettweiler [2015-12-13 09:58:41] 703*2^1417419-1 is not prime. Res64: F5BD843DB390E54D Time : 0.0 sec. user=mdettweiler [2015-12-13 09:58:41] 795*2^1417419-1 is not prime. Res64: C0AE2F898B5A6B5E Time : 0.0 sec. user=mdettweiler [2015-12-13 10:07:56] 955*2^1417419-1 is not prime. Res64: 6836DAB87F72DA9F Time : 0.0 sec. user=mdettweiler [2015-12-13 10:07:57] 985*2^1417419-1 is not prime. Res64: FD0E388BDF575544 Time : 0.0 sec. user=mdettweiler [2015-12-13 10:16:06] 735*2^1417420-1 is not prime. Res64: 0465B01C63474129 Time : 0.0 sec. user=mdettweiler [2015-12-13 10:16:06] 765*2^1417420-1 is not prime. Res64: 4854A0DDDB8C4089 Time : 0.0 sec. user=mdettweiler [2015-12-13 10:25:22] 863*2^1417420-1 is not prime. Res64: 7CEF630905C913E8 Time : 0.0 sec. user=mdettweiler [2015-12-13 10:25:23] 987*2^1417420-1 is not prime. Res64: DFF12A1E4D3957C5 Time : 0.0 sec. user=mdettweiler [2015-12-13 10:33:30] 615*2^1417421-1 is not prime. Res64: 33A6FC6CEBDFFFEE Time : 0.0 sec. user=mdettweiler [2015-12-13 10:33:31] 621*2^1417421-1 is not prime. Res64: 75C138EE90FFE6F9 Time : 0.0 sec. user=mdettweiler [2015-12-13 10:42:47] 669*2^1417421-1 is not prime. Res64: A2DC4328C0DA956F Time : 0.0 sec. user=mdettweiler [2015-12-13 10:42:47] 745*2^1417421-1 is not prime. Res64: 122C7287D41BC2F2 Time : 0.0 sec. user=mdettweiler [2015-12-13 10:50:55] 769*2^1417421-1 is not prime. Res64: BF5DDCB156BFE4DF Time : 0.0 sec. user=mdettweiler [2015-12-13 10:50:55] 805*2^1417421-1 is not prime. Res64: 0375411CC49CA6CA Time : 0.0 sec. user=mdettweiler [2015-12-13 11:00:11] 819*2^1417421-1 is not prime. Res64: 4DC1E1A8EDFD39F5 Time : 0.0 sec. user=mdettweiler [2015-12-13 11:00:12] 859*2^1417421-1 is not prime. Res64: 243C6DEA9AD72F34 Time : 0.0 sec. user=mdettweiler [2015-12-13 11:08:19] 939*2^1417421-1 is not prime. Res64: FEEEB2AD7EC0CD77 Time : 0.0 sec. user=mdettweiler [2015-12-13 11:08:20] 987*2^1417421-1 is not prime. Res64: 31BED01A86B66C1F Time : 0.0 sec. user=mdettweiler [2015-12-13 11:17:41] 671*2^1417422-1 is not prime. Res64: 0AF05BB7D94258B5 Time : 0.0 sec. user=mdettweiler [2015-12-13 11:17:41] 731*2^1417422-1 is not prime. Res64: 27FC560630D72E72 Time : 0.0 sec. user=mdettweiler [2015-12-13 11:25:43] 777*2^1417422-1 is not prime. Res64: 0C3D90ED8F4ED405 Time : 0.0 sec. user=mdettweiler [2015-12-13 11:25:44] 807*2^1417422-1 is not prime. Res64: 1E047ECF32010889 Time : 0.0 sec. user=mdettweiler [2015-12-13 11:35:10] 885*2^1417422-1 is not prime. Res64: 8CB89BE950A9AAAD Time : 0.0 sec. user=mdettweiler [2015-12-13 11:35:11] 887*2^1417422-1 is not prime. Res64: 9C59D06F976C9B9F Time : 0.0 sec. user=mdettweiler [2015-12-13 11:43:09] 921*2^1417422-1 is not prime. Res64: DAF7B7E8973D0E89 Time : 0.0 sec. user=mdettweiler [2015-12-13 11:43:10] 951*2^1417422-1 is not prime. Res64: 2A5AB2BBE7D99FD8 Time : 0.0 sec. user=mdettweiler [2015-12-13 11:52:35] 609*2^1417423-1 is not prime. Res64: F6532EA398A0AFE7 Time : 0.0 sec. user=mdettweiler [2015-12-13 11:52:36] 703*2^1417423-1 is not prime. Res64: DDF777CED96C9535 Time : 0.0 sec. user=mdettweiler [2015-12-13 12:00:34] 751*2^1417423-1 is not prime. Res64: 3390E66E25AADB25 Time : 0.0 sec. user=mdettweiler [2015-12-13 12:00:35] 769*2^1417423-1 is not prime. Res64: 6F11C919CFC3366B Time : 0.0 sec. user=mdettweiler [2015-12-13 12:10:01] 789*2^1417423-1 is not prime. Res64: 248AD39666E4823B Time : 0.0 sec. user=mdettweiler [2015-12-13 12:10:01] 813*2^1417423-1 is not prime. Res64: A27A44047E97E82D Time : 0.0 sec. user=mdettweiler [2015-12-13 12:17:59] 663*2^1417424-1 is not prime. Res64: 724F747E4873788D Time : 0.0 sec. user=mdettweiler [2015-12-13 12:18:00] 665*2^1417424-1 is not prime. Res64: 5A4E12475425C8C0 Time : 0.0 sec. user=mdettweiler [2015-12-13 12:27:25] 929*2^1417424-1 is not prime. Res64: A598A6CC1E9FF1AE Time : 0.0 sec. user=mdettweiler [2015-12-13 12:27:26] 959*2^1417424-1 is not prime. Res64: D9928529BA7795A6 Time : 0.0 sec. user=mdettweiler [2015-12-13 12:35:24] 675*2^1417425-1 is not prime. Res64: E1B72E529DDCC844 Time : 0.0 sec. user=mdettweiler [2015-12-13 12:35:25] 837*2^1417425-1 is not prime. Res64: 9DC90F6D487B3FE4 Time : 0.0 sec. user=mdettweiler [2015-12-13 12:44:50] 847*2^1417425-1 is not prime. Res64: 59B4EA449B61B5FE Time : 0.0 sec. user=mdettweiler [2015-12-13 12:44:51] 895*2^1417425-1 is not prime. Res64: F8BE920A9A774CA6 Time : 0.0 sec. user=mdettweiler [2015-12-13 12:52:50] 919*2^1417425-1 is not prime. Res64: 8CCD7A378BAE0D9C Time : 0.0 sec. user=mdettweiler [2015-12-13 12:52:50] 969*2^1417425-1 is not prime. Res64: 692CA35459E262BC Time : 0.0 sec. user=mdettweiler [2015-12-13 13:02:16] 723*2^1417426-1 is not prime. Res64: 51B8BA8039AA2373 Time : 0.0 sec. user=mdettweiler [2015-12-13 13:02:17] 801*2^1417426-1 is not prime. Res64: B96F389C50E11C95 Time : 0.0 sec. user=mdettweiler [2015-12-13 13:10:17] 861*2^1417426-1 is not prime. Res64: 0F9CFB8454198718 Time : 0.0 sec. user=mdettweiler [2015-12-13 13:10:17] 867*2^1417426-1 is not prime. Res64: 13D28B830337FF60 Time : 0.0 sec. user=mdettweiler [2015-12-13 13:19:51] 609*2^1417427-1 is not prime. Res64: 0EB7994FB422F935 Time : 0.0 sec. user=mdettweiler [2015-12-13 13:19:51] 663*2^1417427-1 is not prime. Res64: D348EC636222BE1B Time : 0.0 sec. user=mdettweiler [2015-12-13 13:27:44] 841*2^1417427-1 is not prime. Res64: 55916B4B6EE6A257 Time : 0.0 sec. user=mdettweiler [2015-12-13 13:27:44] 699*2^1417428-1 is not prime. Res64: 83C084AAB0595978 Time : 0.0 sec. user=mdettweiler [2015-12-13 13:37:18] 753*2^1417428-1 is not prime. Res64: 02F3AC65614180E7 Time : 0.0 sec. user=mdettweiler [2015-12-13 13:37:18] 809*2^1417428-1 is not prime. Res64: 72810331C62A7754 Time : 0.0 sec. user=mdettweiler [2015-12-13 13:45:12] 845*2^1417428-1 is not prime. Res64: D219870E94773172 Time : 0.0 sec. user=mdettweiler [2015-12-13 13:45:13] 945*2^1417428-1 is not prime. Res64: 1F8D0B89F9345F1C Time : 0.0 sec. user=mdettweiler [2015-12-13 13:54:45] 959*2^1417428-1 is not prime. Res64: E8C26705243C01AE Time : 0.0 sec. user=mdettweiler [2015-12-13 13:54:45] 975*2^1417428-1 is not prime. Res64: 09A16A6B5FF5C099 Time : 0.0 sec. user=mdettweiler [2015-12-13 14:02:39] 609*2^1417429-1 is not prime. Res64: 2B2B2894E6CA72AC Time : 0.0 sec. user=mdettweiler [2015-12-13 14:02:40] 747*2^1417429-1 is not prime. Res64: FD6400FA5DD17657 Time : 0.0 sec. user=mdettweiler [2015-12-13 14:12:14] 775*2^1417429-1 is not prime. Res64: A35A18C829E327D5 Time : 0.0 sec. user=mdettweiler [2015-12-13 14:12:14] 799*2^1417429-1 is not prime. Res64: 23282BE7D6A952DD Time : 0.0 sec. user=mdettweiler [2015-12-13 14:20:29] 801*2^1417429-1 is not prime. Res64: 5389BECC06D723C8 Time : 0.0 sec. user=mdettweiler [2015-12-13 14:20:29] 761*2^1417430-1 is not prime. Res64: 3F15C005E2D294C2 Time : 0.0 sec. user=mdettweiler [2015-12-13 14:30:06] 801*2^1417430-1 is not prime. Res64: D09D51A054B5889D Time : 0.0 sec. user=mdettweiler [2015-12-13 14:30:06] 813*2^1417430-1 is not prime. Res64: D98682B95B24002C Time : 0.0 sec. user=mdettweiler [2015-12-13 14:38:17] 775*2^1417431-1 is not prime. Res64: 3FF34F033ACE4251 Time : 0.0 sec. user=mdettweiler [2015-12-13 14:38:17] 783*2^1417431-1 is not prime. Res64: 36A6AC8D722A74D1 Time : 0.0 sec. user=mdettweiler [2015-12-13 14:47:51] 805*2^1417431-1 is not prime. Res64: 756B0006523006A4 Time : 0.0 sec. user=mdettweiler [2015-12-13 14:47:51] 951*2^1417431-1 is not prime. Res64: 1D31B2C68CDA3DF9 Time : 0.0 sec. user=mdettweiler [2015-12-13 14:55:52] 735*2^1417432-1 is not prime. Res64: BEADD928AC2370D7 Time : 0.0 sec. user=mdettweiler [2015-12-13 14:55:53] 813*2^1417432-1 is not prime. Res64: 31077A840A9CBA28 Time : 0.0 sec. user=mdettweiler [2015-12-13 15:06:05] 855*2^1417432-1 is not prime. Res64: CB53DFE029A49FBD Time : 0.0 sec. user=mdettweiler [2015-12-13 15:06:05] 897*2^1417432-1 is not prime. Res64: 140D0E70295AEE16 Time : 0.0 sec. user=mdettweiler [2015-12-13 15:14:27] 917*2^1417432-1 is not prime. Res64: 2BC228F25F66685C Time : 0.0 sec. user=mdettweiler [2015-12-13 15:14:27] 983*2^1417432-1 is not prime. Res64: 2D300E3C2078012E Time : 0.0 sec. user=mdettweiler [2015-12-13 15:23:54] 615*2^1417433-1 is not prime. Res64: 6E209DB5099BE1EC Time : 0.0 sec. user=mdettweiler [2015-12-13 15:23:55] 679*2^1417433-1 is not prime. Res64: B785494118040833 Time : 0.0 sec. user=mdettweiler [2015-12-13 15:32:02] 705*2^1417433-1 is not prime. Res64: 7675BF50000DB556 Time : 0.0 sec. user=mdettweiler [2015-12-13 15:32:02] 769*2^1417433-1 is not prime. Res64: 0340A2D27C2B7BB2 Time : 0.0 sec. user=mdettweiler [2015-12-13 15:41:23] 829*2^1417433-1 is not prime. Res64: E5DE7A2316A7A73F Time : 0.0 sec. user=mdettweiler [2015-12-13 15:41:24] 939*2^1417433-1 is not prime. Res64: F0EAE9439E942C48 Time : 0.0 sec. user=mdettweiler [2015-12-13 15:51:11] 651*2^1417434-1 is not prime. Res64: BA7D5044EFC65926 Time : 0.0 sec. user=mdettweiler [2015-12-13 15:51:12] 783*2^1417434-1 is not prime. Res64: F6A120C3CD73AF73 Time : 0.0 sec. user=mdettweiler [2015-12-13 16:03:07] 803*2^1417434-1 is not prime. Res64: 96E71847081B3629 Time : 0.0 sec. user=mdettweiler [2015-12-13 16:03:08] 807*2^1417434-1 is not prime. Res64: 3B12CCBD1AB98DE3 Time : 0.0 sec. user=mdettweiler [2015-12-13 16:13:00] 851*2^1417434-1 is not prime. Res64: 15952ABE5EE464CC Time : 0.0 sec. user=mdettweiler [2015-12-13 16:13:01] 971*2^1417434-1 is not prime. Res64: 7C683C60E9B3E87D Time : 0.0 sec. user=mdettweiler [2015-12-13 16:24:01] 601*2^1417435-1 is not prime. Res64: C25C239DA0473D8D Time : 0.0 sec. user=mdettweiler [2015-12-13 16:24:02] 633*2^1417435-1 is not prime. Res64: 025BC0A2DCA848BB Time : 0.0 sec. user=mdettweiler [2015-12-13 16:31:56] 685*2^1417435-1 is not prime. Res64: 4F14E22B93DFEDFB Time : 0.0 sec. user=mdettweiler [2015-12-13 16:31:56] 759*2^1417435-1 is not prime. Res64: B8A7E392A7CE8A76 Time : 0.0 sec. user=mdettweiler [2015-12-13 16:41:32] 909*2^1417435-1 is not prime. Res64: 5AF5579C5A90F6F0 Time : 0.0 sec. user=mdettweiler [2015-12-13 16:41:32] 919*2^1417435-1 is not prime. Res64: 45731B3CDB76522C Time : 0.0 sec. user=mdettweiler [2015-12-13 16:49:25] 635*2^1417436-1 is not prime. Res64: 1295C0932368F828 Time : 0.0 sec. user=mdettweiler [2015-12-13 16:49:25] 677*2^1417436-1 is not prime. Res64: 77719ED8BCA526EF Time : 0.0 sec. user=mdettweiler [2015-12-13 16:59:05] 785*2^1417436-1 is not prime. Res64: 8103630734504949 Time : 0.0 sec. user=mdettweiler [2015-12-13 16:59:05] 873*2^1417436-1 is not prime. Res64: 379339A692D6710F Time : 0.0 sec. user=mdettweiler [2015-12-13 17:07:00] 935*2^1417436-1 is not prime. Res64: BB54F472921FA6B9 Time : 0.0 sec. user=mdettweiler [2015-12-13 17:07:01] 953*2^1417436-1 is not prime. Res64: F1433F3E58C30062 Time : 0.0 sec. user=mdettweiler [2015-12-13 17:16:38] 957*2^1417436-1 is not prime. Res64: 8FDC594952E15CFB Time : 0.0 sec. user=mdettweiler [2015-12-13 17:16:38] 963*2^1417436-1 is not prime. Res64: 9078ACFE0CF64CEC Time : 0.0 sec. user=mdettweiler [2015-12-13 17:24:49] 741*2^1417437-1 is not prime. Res64: EA3E8E10047C23F0 Time : 0.0 sec. user=mdettweiler [2015-12-13 17:24:50] 747*2^1417437-1 is not prime. Res64: FDED87BCF267019D Time : 0.0 sec. user=mdettweiler [2015-12-13 17:34:10] 825*2^1417437-1 is not prime. Res64: B4D91324F361590B Time : 0.0 sec. user=mdettweiler [2015-12-13 17:34:11] 849*2^1417437-1 is not prime. Res64: 54B0BEC06CE9206A Time : 0.0 sec. user=mdettweiler [2015-12-13 17:42:20] 867*2^1417437-1 is not prime. Res64: 9BBC81CBC6009328 Time : 0.0 sec. user=mdettweiler [2015-12-13 17:42:21] 889*2^1417437-1 is not prime. Res64: DAEB8CA2881DD5B0 Time : 0.0 sec. user=mdettweiler [2015-12-13 17:51:43] 997*2^1417437-1 is not prime. Res64: 381ECF5813824D5E Time : 0.0 sec. user=mdettweiler [2015-12-13 17:51:44] 605*2^1417438-1 is not prime. Res64: 0815503490DFEF65 Time : 0.0 sec. user=mdettweiler [2015-12-13 17:59:53] 681*2^1417438-1 is not prime. Res64: 300C7451BAAF06F7 Time : 0.0 sec. user=mdettweiler [2015-12-13 17:59:54] 747*2^1417438-1 is not prime. Res64: 3AD6C5DE1CCCF148 Time : 0.0 sec. user=mdettweiler [2015-12-13 18:09:15] 821*2^1417438-1 is not prime. Res64: FAA11D7075A678DA Time : 0.0 sec. user=mdettweiler [2015-12-13 18:09:16] 887*2^1417438-1 is not prime. Res64: 2F749971F5586109 Time : 0.0 sec. user=mdettweiler [2015-12-13 18:17:27] 951*2^1417438-1 is not prime. Res64: C7B472D09F6DA560 Time : 0.0 sec. user=mdettweiler [2015-12-13 18:17:27] 975*2^1417438-1 is not prime. Res64: D0A1FF683D68EE77 Time : 0.0 sec. user=mdettweiler [2015-12-13 18:26:48] 615*2^1417439-1 is not prime. Res64: 3FED9F08C51E3102 Time : 0.0 sec. user=mdettweiler [2015-12-13 18:26:49] 663*2^1417439-1 is not prime. Res64: 967162F9DF3A70A8 Time : 0.0 sec. user=mdettweiler [2015-12-13 18:34:57] 775*2^1417439-1 is not prime. Res64: B2EB9264C7A3E94E Time : 0.0 sec. user=mdettweiler [2015-12-13 18:34:57] 889*2^1417439-1 is not prime. Res64: 1795A7F81AF4E9EF Time : 0.0 sec. user=mdettweiler [2015-12-13 18:44:25] 895*2^1417439-1 is not prime. Res64: D12319318AC14903 Time : 0.0 sec. user=mdettweiler [2015-12-13 18:44:25] 949*2^1417439-1 is not prime. Res64: 3A86416BBAC76520 Time : 0.0 sec. user=mdettweiler [2015-12-13 18:52:34] 623*2^1417440-1 is not prime. Res64: EFE08544E7B9C453 Time : 0.0 sec. user=mdettweiler [2015-12-13 18:52:34] 635*2^1417440-1 is not prime. Res64: 435923A94CD0670C Time : 0.0 sec. user=mdettweiler [2015-12-13 19:01:59] 695*2^1417440-1 is not prime. Res64: 28941DAD8559BB80 Time : 0.0 sec. user=mdettweiler [2015-12-13 19:02:00] 725*2^1417440-1 is not prime. Res64: 3888AA6B58934CCB Time : 0.0 sec. user=mdettweiler [2015-12-13 19:10:13] 735*2^1417440-1 is not prime. Res64: BEC93255EDF21D23 Time : 0.0 sec. user=mdettweiler [2015-12-13 19:10:13] 795*2^1417440-1 is not prime. Res64: 15098EA41EA6D306 Time : 0.0 sec. user=mdettweiler [2015-12-13 19:19:44] 819*2^1417440-1 is not prime. Res64: 8E7C003F465EAECB Time : 0.0 sec. user=mdettweiler [2015-12-13 19:19:45] 825*2^1417440-1 is not prime. Res64: 829E6FC111D92777 Time : 0.0 sec. user=mdettweiler [2015-12-13 19:27:38] 849*2^1417440-1 is not prime. Res64: 674EC8B802166F23 Time : 0.0 sec. user=mdettweiler [2015-12-13 19:27:39] 873*2^1417440-1 is not prime. Res64: 82FFCCD80DA19F59 Time : 0.0 sec. user=mdettweiler [2015-12-13 19:37:14] 875*2^1417440-1 is not prime. Res64: 056769A8DD85314F Time : 0.0 sec. user=mdettweiler [2015-12-13 19:37:14] 927*2^1417440-1 is not prime. Res64: 6356388E58A48503 Time : 0.0 sec. user=mdettweiler [2015-12-13 19:45:04] 929*2^1417440-1 is not prime. Res64: 61566A9AF3C831C7 Time : 0.0 sec. user=mdettweiler [2015-12-13 19:45:05] 945*2^1417440-1 is not prime. Res64: 65F9E16733A6BA7A Time : 0.0 sec. user=mdettweiler [2015-12-13 19:54:39] 983*2^1417440-1 is not prime. Res64: 2262480DC62205BF Time : 0.0 sec. user=mdettweiler [2015-12-13 19:54:40] 625*2^1417441-1 is not prime. Res64: EE344F92FCBDB494 Time : 0.0 sec. user=mdettweiler [2015-12-13 20:02:33] 639*2^1417441-1 is not prime. Res64: F51E4FF35210C568 Time : 0.0 sec. user=mdettweiler [2015-12-13 20:02:34] 715*2^1417441-1 is not prime. Res64: C4D474FB6EDBCE49 Time : 0.0 sec. user=mdettweiler [2015-12-13 20:12:05] 889*2^1417441-1 is not prime. Res64: 7D2C51440B3349AE Time : 0.0 sec. user=mdettweiler [2015-12-13 20:12:05] 937*2^1417441-1 is not prime. Res64: D0C66EA53E956CCD Time : 0.0 sec. user=mdettweiler [2015-12-13 20:20:00] 955*2^1417441-1 is not prime. Res64: 93508A8593592BC6 Time : 0.0 sec. user=mdettweiler [2015-12-13 20:20:01] 603*2^1417442-1 is not prime. Res64: 30E3A91547E98F6C Time : 0.0 sec. user=mdettweiler [2015-12-13 20:29:31] 785*2^1417442-1 is not prime. Res64: 477F9AF01C8F726E Time : 0.0 sec. user=mdettweiler [2015-12-13 20:29:31] 963*2^1417442-1 is not prime. Res64: CE0515C94CB49E3D Time : 0.0 sec. user=mdettweiler [2015-12-13 20:37:26] 977*2^1417442-1 is not prime. Res64: 6423C73A02DC86B3 Time : 0.0 sec. user=mdettweiler [2015-12-13 20:37:26] 615*2^1417443-1 is not prime. Res64: 2E5655DFD5B024B3 Time : 0.0 sec. user=mdettweiler [2015-12-13 20:46:56] 679*2^1417443-1 is not prime. Res64: 35EE35C8FABCC7F1 Time : 0.0 sec. user=mdettweiler [2015-12-13 20:46:56] 691*2^1417443-1 is not prime. Res64: 52B045C53357BADB Time : 0.0 sec. user=mdettweiler [2015-12-13 20:54:52] 741*2^1417443-1 is not prime. Res64: 19CFB4B95D7E7CCE Time : 0.0 sec. user=mdettweiler [2015-12-13 20:54:52] 859*2^1417443-1 is not prime. Res64: FE1AFA8A43F1D1D8 Time : 0.0 sec. user=mdettweiler [2015-12-13 21:04:22] 609*2^1417444-1 is not prime. Res64: 5200F88D8ADC7D3F Time : 0.0 sec. user=mdettweiler [2015-12-13 21:04:24] 623*2^1417444-1 is not prime. Res64: 082DE43DD332CFD0 Time : 0.0 sec. user=mdettweiler [2015-12-13 21:12:17] 675*2^1417444-1 is not prime. Res64: 2D1F9D77AC0BFFDC Time : 0.0 sec. user=mdettweiler [2015-12-13 21:12:17] 677*2^1417444-1 is not prime. Res64: 7A5D884214E34228 Time : 0.0 sec. user=mdettweiler [2015-12-13 21:21:58] 765*2^1417444-1 is not prime. Res64: 1811EB2EDE76DE5C Time : 0.0 sec. user=mdettweiler [2015-12-13 21:21:58] 803*2^1417444-1 is not prime. Res64: 070EE6057D53710B Time : 0.0 sec. user=mdettweiler [2015-12-13 21:29:44] 827*2^1417444-1 is not prime. Res64: 261F40EE2B83458E Time : 0.0 sec. user=mdettweiler [2015-12-13 21:29:44] 843*2^1417444-1 is not prime. Res64: 617498AB7087344F Time : 0.0 sec. user=mdettweiler [2015-12-13 21:39:27] 875*2^1417444-1 is not prime. Res64: BA47A80657224ECD Time : 0.0 sec. user=mdettweiler [2015-12-13 21:39:27] 903*2^1417444-1 is not prime. Res64: C4053A85F5CB9F87 Time : 0.0 sec. user=mdettweiler [2015-12-13 21:47:11] 983*2^1417444-1 is not prime. Res64: 0843F9F05B0060B5 Time : 0.0 sec. user=mdettweiler [2015-12-13 21:47:11] 651*2^1417445-1 is not prime. Res64: 05FFD33DD7B3F443 Time : 0.0 sec. user=mdettweiler [2015-12-13 21:56:55] 771*2^1417445-1 is not prime. Res64: 33D9F1A7746F94E6 Time : 0.0 sec. user=mdettweiler [2015-12-13 21:56:55] 837*2^1417445-1 is not prime. Res64: 55F84020FF9E8469 Time : 0.0 sec. user=mdettweiler [2015-12-13 22:04:37] 861*2^1417445-1 is not prime. Res64: FD33C7EA2320D62A Time : 0.0 sec. user=mdettweiler [2015-12-13 22:04:38] 969*2^1417445-1 is not prime. Res64: CD49EDCA8352EFD2 Time : 0.0 sec. user=mdettweiler [2015-12-13 22:14:20] 991*2^1417445-1 is not prime. Res64: 8E802EAC737494B3 Time : 0.0 sec. user=mdettweiler [2015-12-13 22:14:22] 635*2^1417446-1 is not prime. Res64: F012199F94B540EC Time : 0.0 sec. user=mdettweiler [2015-12-13 22:22:05] 843*2^1417446-1 is not prime. Res64: 72FFB8BAB5CFFCA6 Time : 0.0 sec. user=mdettweiler [2015-12-13 22:22:06] 1001*2^1417446-1 is not prime. Res64: 72272558489764FD Time : 0.0 sec. user=mdettweiler [2015-12-13 22:31:54] 615*2^1417447-1 is not prime. Res64: 2BD6B679A8543C07 Time : 0.0 sec. user=mdettweiler [2015-12-13 22:31:54] 705*2^1417447-1 is not prime. Res64: D713325342E383DB Time : 0.0 sec. user=mdettweiler [2015-12-13 22:39:31] 775*2^1417447-1 is not prime. Res64: 67E61893CDB80C12 Time : 0.0 sec. user=mdettweiler [2015-12-13 22:39:31] 859*2^1417447-1 is not prime. Res64: 97F5A1EE6595FA05 Time : 0.0 sec. user=mdettweiler [2015-12-13 22:49:19] 883*2^1417447-1 is not prime. Res64: 698D1BD4E6041804 Time : 0.0 sec. user=mdettweiler [2015-12-13 22:49:19] 885*2^1417447-1 is not prime. Res64: 0264D6FCDA2E0FEE Time : 0.0 sec. user=mdettweiler [2015-12-13 22:56:56] 891*2^1417447-1 is not prime. Res64: 56EC00443A566056 Time : 0.0 sec. user=mdettweiler [2015-12-13 22:56:57] 753*2^1417448-1 is not prime. Res64: B9BCA80EA3ADA566 Time : 0.0 sec. user=mdettweiler [2015-12-13 23:06:44] 795*2^1417448-1 is not prime. Res64: 01D5ECDE5585742E Time : 0.0 sec. user=mdettweiler [2015-12-13 23:06:45] 815*2^1417448-1 is not prime. Res64: 55DE0B9B1A98400B Time : 0.0 sec. user=mdettweiler [2015-12-13 23:14:22] 927*2^1417448-1 is not prime. Res64: 6BC483CC7D6B5281 Time : 0.0 sec. user=mdettweiler [2015-12-13 23:14:23] 999*2^1417448-1 is not prime. Res64: 6BE219A87B59644C Time : 0.0 sec. user=mdettweiler [2015-12-13 23:24:12] 679*2^1417449-1 is not prime. Res64: 4704A53096660E70 Time : 0.0 sec. user=mdettweiler [2015-12-13 23:24:12] 711*2^1417449-1 is not prime. Res64: C4EE3923F144DB0A Time : 0.0 sec. user=mdettweiler [2015-12-13 23:31:48] 885*2^1417449-1 is not prime. Res64: D305F282BBB29212 Time : 0.0 sec. user=mdettweiler [2015-12-13 23:31:48] 951*2^1417449-1 is not prime. Res64: B6D33FC20AC59C8E Time : 0.0 sec. user=mdettweiler [2015-12-13 23:41:36] 987*2^1417449-1 is not prime. Res64: BE2DBAA00F0707EC Time : 0.0 sec. user=mdettweiler [2015-12-13 23:41:37] 635*2^1417450-1 is not prime. Res64: 826CFB4ADA5A69C5 Time : 0.0 sec. user=mdettweiler [2015-12-13 23:49:14] 645*2^1417450-1 is not prime. Res64: 8C7E756A43A5455A Time : 0.0 sec. user=mdettweiler [2015-12-13 23:49:14] 653*2^1417450-1 is not prime. Res64: 505874538251653C Time : 0.0 sec. user=mdettweiler [2015-12-13 23:59:08] 713*2^1417450-1 is not prime. Res64: 9AAC87DB035F6FD1 Time : 0.0 sec. user=mdettweiler [2015-12-13 23:59:08] 783*2^1417450-1 is not prime. Res64: DF30DA8EB5045381 Time : 0.0 sec.