user=mdettweiler [2015-08-12 00:02:52] 687*2^1406089-1 is not prime. Res64: 424B7CF52EA6F568 Time : 0.0 sec. user=mdettweiler [2015-08-12 00:02:53] 747*2^1406089-1 is not prime. Res64: A3376719AD59980D Time : 0.0 sec. user=mdettweiler [2015-08-12 00:12:27] 769*2^1406089-1 is not prime. Res64: 0C443FEEBFA6CBDC Time : 0.0 sec. user=mdettweiler [2015-08-12 00:12:27] 675*2^1406090-1 is not prime. Res64: A6DDE2E33402942C Time : 0.0 sec. user=mdettweiler [2015-08-12 00:13:04] 747*2^1406090-1 is not prime. Res64: 9FBB15EFDBE735C3 Time : 0.0 sec. user=mdettweiler [2015-08-12 00:13:04] 867*2^1406090-1 is not prime. Res64: E14D454DFCA60906 Time : 0.0 sec. user=mdettweiler [2015-08-12 00:13:51] 705*2^1406091-1 is not prime. Res64: E06B265871337385 Time : 0.0 sec. user=mdettweiler [2015-08-12 00:13:51] 709*2^1406091-1 is not prime. Res64: 369455E40B9349BD Time : 0.0 sec. user=mdettweiler [2015-08-12 00:21:55] 735*2^1406091-1 is not prime. Res64: E9C4B322B571B4EC Time : 0.0 sec. user=mdettweiler [2015-08-12 00:21:55] 751*2^1406091-1 is not prime. Res64: 994B1C03DE395E4B Time : 0.0 sec. user=mdettweiler [2015-08-12 00:31:17] 789*2^1406091-1 is not prime. Res64: 91A197B7682D9B10 Time : 0.0 sec. user=mdettweiler [2015-08-12 00:31:17] 801*2^1406091-1 is not prime. Res64: 07633B9A8EFF93F8 Time : 0.0 sec. user=mdettweiler [2015-08-12 00:32:03] 825*2^1406091-1 is not prime. Res64: ABFF5EBF59E9942C Time : 0.0 sec. user=mdettweiler [2015-08-12 00:32:03] 859*2^1406091-1 is not prime. Res64: 11D9857AB9AE9A3E Time : 0.0 sec. user=mdettweiler [2015-08-12 00:32:33] 945*2^1406091-1 is not prime. Res64: C06A3E627931798A Time : 0.0 sec. user=mdettweiler [2015-08-12 00:32:34] 991*2^1406091-1 is not prime. Res64: 1ABAC09D685EABC2 Time : 0.0 sec. user=mdettweiler [2015-08-12 00:40:38] 999*2^1406091-1 is not prime. Res64: 1E13C6F077E94A91 Time : 0.0 sec. user=mdettweiler [2015-08-12 00:40:38] 617*2^1406092-1 is not prime. Res64: 36CEA4EE30134D47 Time : 0.0 sec. user=mdettweiler [2015-08-12 00:50:13] 755*2^1406092-1 is not prime. Res64: 0F8E02DAB3A2A1EB Time : 0.0 sec. user=mdettweiler [2015-08-12 00:50:13] 843*2^1406092-1 is not prime. Res64: 915EC14536F01A0B Time : 0.0 sec. user=mdettweiler [2015-08-12 00:51:00] 869*2^1406092-1 is not prime. Res64: FB16B1AF2E61035B Time : 0.0 sec. user=mdettweiler [2015-08-12 00:51:00] 909*2^1406092-1 is not prime. Res64: 734287F542A23353 Time : 0.0 sec. user=mdettweiler [2015-08-12 00:51:32] 987*2^1406092-1 is not prime. Res64: 673980C32A020F84 Time : 0.0 sec. user=mdettweiler [2015-08-12 00:51:32] 675*2^1406093-1 is not prime. Res64: DB565D766055EBAA Time : 0.0 sec. user=mdettweiler [2015-08-12 00:59:41] 745*2^1406093-1 is not prime. Res64: 389468FDB31C4B2A Time : 0.0 sec. user=mdettweiler [2015-08-12 00:59:41] 747*2^1406093-1 is not prime. Res64: 7310E3AF2CDE075F Time : 0.0 sec. user=mdettweiler [2015-08-12 01:09:31] 837*2^1406093-1 is not prime. Res64: DDEFF4AB0441AA06 Time : 0.0 sec. user=mdettweiler [2015-08-12 01:09:31] 741*2^1406094-1 is not prime. Res64: 727E7FD205A66F09 Time : 0.0 sec. user=mdettweiler [2015-08-12 01:10:15] 791*2^1406094-1 is not prime. Res64: DCD95BDDCE99AB1F Time : 0.0 sec. user=mdettweiler [2015-08-12 01:10:15] 795*2^1406094-1 is not prime. Res64: 3E1A04E33AEE7033 Time : 0.0 sec. user=mdettweiler [2015-08-12 01:11:02] 891*2^1406094-1 is not prime. Res64: F57EB0BA98A6C531 Time : 0.0 sec. user=mdettweiler [2015-08-12 01:11:02] 975*2^1406094-1 is not prime. Res64: E65C0CDC0B5AE239 Time : 0.0 sec. user=mdettweiler [2015-08-12 01:19:12] 619*2^1406095-1 is not prime. Res64: A5BC6BB5A47A497C Time : 0.0 sec. user=mdettweiler [2015-08-12 01:19:13] 723*2^1406095-1 is not prime. Res64: EF1CF9EEFE62EFF4 Time : 0.0 sec. user=mdettweiler [2015-08-12 01:28:53] 741*2^1406095-1 is not prime. Res64: 7AF5512CF491A464 Time : 0.0 sec. user=mdettweiler [2015-08-12 01:28:54] 793*2^1406095-1 is not prime. Res64: A1F3FBA620E6F721 Time : 0.0 sec. user=mdettweiler [2015-08-12 01:29:45] 939*2^1406095-1 is not prime. Res64: 1570C304CE424EFE Time : 0.0 sec. user=mdettweiler [2015-08-12 01:29:46] 969*2^1406095-1 is not prime. Res64: B98B6107431A1125 Time : 0.0 sec. user=mdettweiler [2015-08-12 01:30:20] 657*2^1406096-1 is not prime. Res64: 518966E0D3262D17 Time : 0.0 sec. user=mdettweiler [2015-08-12 01:30:22] 683*2^1406096-1 is not prime. Res64: 20AEC000F0DCA8A9 Time : 0.0 sec. user=mdettweiler [2015-08-12 01:40:12] 689*2^1406096-1 is not prime. Res64: F45B3012B33F7C21 Time : 0.0 sec. user=mdettweiler [2015-08-12 01:40:13] 693*2^1406096-1 is not prime. Res64: AF6E212390F6C46F Time : 0.0 sec. user=mdettweiler [2015-08-12 01:50:06] 719*2^1406096-1 is not prime. Res64: 029528199842F8A6 Time : 0.0 sec. user=mdettweiler [2015-08-12 01:50:07] 755*2^1406096-1 is not prime. Res64: BBFB57ABC57A0375 Time : 0.0 sec. user=mdettweiler [2015-08-12 01:50:15] 759*2^1406096-1 is not prime. Res64: 5F8745B15195EFD7 Time : 0.0 sec. user=mdettweiler [2015-08-12 01:50:15] 773*2^1406096-1 is not prime. Res64: 46F24B7233662D82 Time : 0.0 sec. user=mdettweiler [2015-08-12 01:50:49] 857*2^1406096-1 is not prime. Res64: C5A6C2D17BAA6A7D Time : 0.0 sec. user=mdettweiler [2015-08-12 01:50:49] 867*2^1406096-1 is not prime. Res64: CD0CE6050F6A3073 Time : 0.0 sec. user=mdettweiler [2015-08-12 01:59:24] 873*2^1406096-1 is not prime. Res64: EE72FFD6A2169690 Time : 0.0 sec. user=mdettweiler [2015-08-12 01:59:24] 897*2^1406096-1 is not prime. Res64: 9CAB2A547602FC7F Time : 0.0 sec. user=mdettweiler [2015-08-12 02:09:26] 615*2^1406097-1 is not prime. Res64: D7321FBFE75DFFB2 Time : 0.0 sec. user=mdettweiler [2015-08-12 02:09:26] 639*2^1406097-1 is not prime. Res64: E6020101900D3DB4 Time : 0.0 sec. user=mdettweiler [2015-08-12 02:09:56] 909*2^1406096-1 is not prime. Res64: 2F50ADFFBDFFAB50 Time : 0.0 sec. user=mdettweiler [2015-08-12 02:09:56] 969*2^1406096-1 is not prime. Res64: 0E64645C4361FD8C Time : 0.0 sec. user=mdettweiler [2015-08-12 02:10:04] 781*2^1406097-1 is not prime. Res64: B5FDA2C790463484 Time : 0.0 sec. user=mdettweiler [2015-08-12 02:10:05] 847*2^1406097-1 is not prime. Res64: 5F9E27FC66C98BBE Time : 0.0 sec. user=mdettweiler [2015-08-12 02:19:58] 889*2^1406097-1 is not prime. Res64: A5CD445D669148FC Time : 0.0 sec. user=mdettweiler [2015-08-12 02:19:58] 647*2^1406098-1 is not prime. Res64: 387A1ECE45560187 Time : 0.0 sec. user=mdettweiler [2015-08-12 02:31:29] 825*2^1406098-1 is not prime. Res64: 160EE1E9C4C47FD4 Time : 0.0 sec. user=mdettweiler [2015-08-12 02:31:30] 975*2^1406098-1 is not prime. Res64: D46CB38EB8741B0A Time : 0.0 sec. user=mdettweiler [2015-08-12 02:31:30] 705*2^1406098-1 is not prime. Res64: 43B06882A95215EC Time : 0.0 sec. user=mdettweiler [2015-08-12 02:31:30] 791*2^1406098-1 is not prime. Res64: C76D58A7379C6715 Time : 0.0 sec. user=mdettweiler [2015-08-12 02:31:44] 615*2^1406099-1 is not prime. Res64: 4612FDA33EB35E7E Time : 0.0 sec. user=mdettweiler [2015-08-12 02:31:44] 631*2^1406099-1 is not prime. Res64: 2888B985D778D611 Time : 0.0 sec. user=mdettweiler [2015-08-12 02:51:57] 633*2^1406099-1 is not prime. Res64: B99CA35F811FEC6B Time : 0.0 sec. user=mdettweiler [2015-08-12 02:51:58] 645*2^1406099-1 is not prime. Res64: 88FA1DE4BE584309 Time : 0.0 sec. user=mdettweiler [2015-08-12 03:00:16] 745*2^1406099-1 is not prime. Res64: E71B8991EB9F3310 Time : 0.0 sec. user=mdettweiler [2015-08-12 03:00:17] 759*2^1406099-1 is not prime. Res64: 589EB0FBBD9547DC Time : 0.0 sec. user=mdettweiler [2015-08-12 03:00:29] 775*2^1406099-1 is not prime. Res64: 4AC83A8B42F52894 Time : 0.0 sec. user=mdettweiler [2015-08-12 03:00:30] 799*2^1406099-1 is not prime. Res64: 87AB27832D506AAC Time : 0.0 sec. user=mdettweiler [2015-08-12 03:00:37] 705*2^1406099-1 is not prime. Res64: 66F981442A866B20 Time : 0.0 sec. user=mdettweiler [2015-08-12 03:00:38] 741*2^1406099-1 is not prime. Res64: 26AA5768747BCCF8 Time : 0.0 sec. user=mdettweiler [2015-08-12 03:09:23] 813*2^1406099-1 is not prime. Res64: 772AE2AC254FBCDC Time : 0.0 sec. user=mdettweiler [2015-08-12 03:09:23] 825*2^1406099-1 is not prime. Res64: 4F2C7E72327E60DB Time : 0.0 sec. user=mdettweiler [2015-08-12 03:17:47] 829*2^1406099-1 is not prime. Res64: C834B65BD6EC9D13 Time : 0.0 sec. user=mdettweiler [2015-08-12 03:17:48] 883*2^1406099-1 is not prime. Res64: A8238575639EF30B Time : 0.0 sec. user=mdettweiler [2015-08-12 03:17:53] 969*2^1406099-1 is not prime. Res64: 59DB81CCFEFD6FFF Time : 0.0 sec. user=mdettweiler [2015-08-12 03:17:54] 665*2^1406100-1 is not prime. Res64: 813A1B970AE97486 Time : 0.0 sec. user=mdettweiler [2015-08-12 03:18:00] 719*2^1406100-1 is not prime. Res64: EB5324DC869FE2A0 Time : 0.0 sec. user=mdettweiler [2015-08-12 03:18:00] 725*2^1406100-1 is not prime. Res64: 18B79F7FDCEE1C35 Time : 0.0 sec. user=mdettweiler [2015-08-12 03:27:11] 819*2^1406100-1 is not prime. Res64: B526BBBDC066128D Time : 0.0 sec. user=mdettweiler [2015-08-12 03:27:11] 825*2^1406100-1 is not prime. Res64: 5544E8581DD32FF1 Time : 0.0 sec. user=mdettweiler [2015-08-12 03:35:49] 839*2^1406100-1 is not prime. Res64: 4D0212E1FCA140C1 Time : 0.0 sec. user=mdettweiler [2015-08-12 03:35:51] 651*2^1406101-1 is not prime. Res64: 2664A5F9AD96D4E7 Time : 0.0 sec. user=mdettweiler [2015-08-12 03:36:01] 747*2^1406101-1 is not prime. Res64: A9B242E609FBCDFE Time : 0.0 sec. user=mdettweiler [2015-08-12 03:36:02] 789*2^1406101-1 is not prime. Res64: 4633B2992EE71DBC Time : 0.0 sec. user=mdettweiler [2015-08-12 03:36:04] 679*2^1406101-1 is not prime. Res64: 9104AD95A4C7C5A1 Time : 0.0 sec. user=mdettweiler [2015-08-12 03:36:06] 691*2^1406101-1 is not prime. Res64: B7FFA0909EDF847C Time : 0.0 sec. user=mdettweiler [2015-08-12 03:45:04] 805*2^1406101-1 is not prime. Res64: 3A75CEEBFB5C5621 Time : 0.0 sec. user=mdettweiler [2015-08-12 03:45:05] 829*2^1406101-1 is not prime. Res64: 77B5C4F566A7814B Time : 0.0 sec. user=mdettweiler [2015-08-12 03:54:14] 649*2^1406103-1 is not prime. Res64: 52D6732FCCE5D567 Time : 0.0 sec. user=mdettweiler [2015-08-12 03:54:15] 663*2^1406103-1 is not prime. Res64: 41FEF676B7BC9B51 Time : 0.0 sec. user=mdettweiler [2015-08-12 03:54:15] 791*2^1406102-1 is not prime. Res64: C48973A44849B094 Time : 0.0 sec. user=mdettweiler [2015-08-12 03:54:16] 857*2^1406102-1 is not prime. Res64: ACDAC7780FFD91F2 Time : 0.0 sec. user=mdettweiler [2015-08-12 03:54:19] 627*2^1406102-1 is not prime. Res64: 5034DE7C7B53B209 Time : 0.0 sec. user=mdettweiler [2015-08-12 03:54:19] 785*2^1406102-1 is not prime. Res64: B197FA812701DE4C Time : 0.0 sec. user=mdettweiler [2015-08-12 04:03:17] 675*2^1406103-1 is not prime. Res64: 962FA7018E8B4A24 Time : 0.0 sec. user=mdettweiler [2015-08-12 04:03:18] 789*2^1406103-1 is not prime. Res64: A8AE8A355D9365F9 Time : 0.0 sec. user=mdettweiler [2015-08-12 04:11:42] 617*2^1406104-1 is not prime. Res64: 149D4A5B57865D4E Time : 0.0 sec. user=mdettweiler [2015-08-12 04:11:43] 623*2^1406104-1 is not prime. Res64: 580C1EAAC3C2FF38 Time : 0.0 sec. user=mdettweiler [2015-08-12 04:11:46] 795*2^1406103-1 is not prime. Res64: EB8BB7FD1D70B062 Time : 0.0 sec. user=mdettweiler [2015-08-12 04:11:47] 963*2^1406103-1 is not prime. Res64: A790230F1168D949 Time : 0.0 sec. user=mdettweiler [2015-08-12 04:11:52] 693*2^1406104-1 is not prime. Res64: ADF677947D39DED3 Time : 0.0 sec. user=mdettweiler [2015-08-12 04:11:53] 695*2^1406104-1 is not prime. Res64: D4AE871179533FB4 Time : 0.0 sec. user=mdettweiler [2015-08-12 04:20:58] 743*2^1406104-1 is not prime. Res64: F8CF8EF56CC7E6A0 Time : 0.0 sec. user=mdettweiler [2015-08-12 04:20:58] 819*2^1406104-1 is not prime. Res64: 9E93FF239369F385 Time : 0.0 sec. user=mdettweiler [2015-08-12 04:29:47] 857*2^1406104-1 is not prime. Res64: 5AC8EEFCEFBA6373 Time : 0.0 sec. user=mdettweiler [2015-08-12 04:29:48] 939*2^1406104-1 is not prime. Res64: DAA404AC4AD73A52 Time : 0.0 sec. user=mdettweiler [2015-08-12 04:29:54] 685*2^1406105-1 is not prime. Res64: DD0504D9F81D8B20 Time : 0.0 sec. user=mdettweiler [2015-08-12 04:29:54] 957*2^1406105-1 is not prime. Res64: FEBB64C2D1339D65 Time : 0.0 sec. user=mdettweiler [2015-08-12 04:30:06] 969*2^1406104-1 is not prime. Res64: D5CC9B075981076E Time : 0.0 sec. user=mdettweiler [2015-08-12 04:30:06] 657*2^1406105-1 is not prime. Res64: 67909A02093E4DA3 Time : 0.0 sec. user=mdettweiler [2015-08-12 04:39:23] 767*2^1406106-1 is not prime. Res64: 6EC8C03547E77983 Time : 0.0 sec. user=mdettweiler [2015-08-12 04:39:23] 893*2^1406106-1 is not prime. Res64: B71440BC44E2F276 Time : 0.0 sec. user=mdettweiler [2015-08-12 04:47:13] 633*2^1406107-1 is not prime. Res64: 34CB87F2E04194A7 Time : 0.0 sec. user=mdettweiler [2015-08-12 04:47:13] 663*2^1406107-1 is not prime. Res64: FF453F08EE69301F Time : 0.0 sec. user=mdettweiler [2015-08-12 04:47:19] 673*2^1406107-1 is not prime. Res64: 4528F51FBE657C96 Time : 0.0 sec. user=mdettweiler [2015-08-12 04:47:19] 819*2^1406107-1 is not prime. Res64: 26E406F31E914391 Time : 0.0 sec. user=mdettweiler [2015-08-12 04:47:29] 859*2^1406107-1 is not prime. Res64: 1B0681FAFD87A5A8 Time : 0.0 sec. user=mdettweiler [2015-08-12 04:47:29] 885*2^1406107-1 is not prime. Res64: 5E10FD2F61D3C111 Time : 0.0 sec. user=mdettweiler [2015-08-12 04:56:46] 891*2^1406107-1 is not prime. Res64: 245BC9D76CE4C459 Time : 0.0 sec. user=mdettweiler [2015-08-12 04:56:46] 895*2^1406107-1 is not prime. Res64: B785766502291BD3 Time : 0.0 sec. user=mdettweiler [2015-08-12 05:04:46] 919*2^1406107-1 is not prime. Res64: 2E05CF6FE93D9975 Time : 0.0 sec. user=mdettweiler [2015-08-12 05:04:48] 659*2^1406108-1 is not prime. Res64: A7D14C97F70031C6 Time : 0.0 sec. user=mdettweiler [2015-08-12 05:04:49] 647*2^1406108-1 is not prime. Res64: 036504E8E5051FC6 Time : 0.0 sec. user=mdettweiler [2015-08-12 05:04:50] 725*2^1406108-1 is not prime. Res64: A390DB7F5119D1DF Time : 0.0 sec. user=mdettweiler [2015-08-12 05:05:08] 753*2^1406108-1 is not prime. Res64: F44BFD776200FF0E Time : 0.0 sec. user=mdettweiler [2015-08-12 05:05:11] 767*2^1406108-1 is not prime. Res64: C6C7948689E9BFAC Time : 0.0 sec. user=mdettweiler [2015-08-12 05:14:23] 773*2^1406108-1 is not prime. Res64: CF09A878EB3F47BF Time : 0.0 sec. user=mdettweiler [2015-08-12 05:14:24] 813*2^1406108-1 is not prime. Res64: CE988E1804687475 Time : 0.0 sec. user=mdettweiler [2015-08-12 05:22:33] 833*2^1406108-1 is not prime. Res64: 6946E0C4AF52E403 Time : 0.0 sec. user=mdettweiler [2015-08-12 05:22:34] 837*2^1406108-1 is not prime. Res64: 7E7A0FEE937F1DDA Time : 0.0 sec. user=mdettweiler [2015-08-12 05:22:44] 935*2^1406108-1 is not prime. Res64: 2BCFB55772750771 Time : 0.0 sec. user=mdettweiler [2015-08-12 05:22:45] 959*2^1406108-1 is not prime. Res64: 22402987D4FF8D78 Time : 0.0 sec. user=mdettweiler [2015-08-12 05:22:48] 963*2^1406108-1 is not prime. Res64: F29842BBE9B8F184 Time : 0.0 sec. user=mdettweiler [2015-08-12 05:22:49] 969*2^1406108-1 is not prime. Res64: D6FB07D8DCDB684E Time : 0.0 sec. user=mdettweiler [2015-08-12 05:31:40] 625*2^1406109-1 is not prime. Res64: 82D672DD362A1FF3 Time : 0.0 sec. user=mdettweiler [2015-08-12 05:31:41] 769*2^1406109-1 is not prime. Res64: 3E58F01CE0D81CC3 Time : 0.0 sec. user=mdettweiler [2015-08-12 05:39:53] 825*2^1406109-1 is not prime. Res64: 8DC5CB24B1C87A61 Time : 0.0 sec. user=mdettweiler [2015-08-12 05:39:53] 865*2^1406109-1 is not prime. Res64: A8087E551EB08355 Time : 0.0 sec. user=mdettweiler [2015-08-12 05:40:04] 907*2^1406109-1 is not prime. Res64: 854BAE68D4BEAD09 Time : 0.0 sec. user=mdettweiler [2015-08-12 05:40:04] 945*2^1406109-1 is not prime. Res64: F2A7D28091D68D31 Time : 0.0 sec. user=mdettweiler [2015-08-12 05:40:12] 975*2^1406109-1 is not prime. Res64: 3727E149C7221AC2 Time : 0.0 sec. user=mdettweiler [2015-08-12 05:40:13] 635*2^1406110-1 is not prime. Res64: 25BCC7CEBC7D055F Time : 0.0 sec. user=mdettweiler [2015-08-12 05:49:12] 645*2^1406110-1 is not prime. Res64: CD20DD3A43BAAAAA Time : 0.0 sec. user=mdettweiler [2015-08-12 05:49:12] 687*2^1406110-1 is not prime. Res64: CD9F41FED0A03346 Time : 0.0 sec. user=mdettweiler [2015-08-12 05:57:21] 713*2^1406110-1 is not prime. Res64: 3A183C3FB09132FF Time : 0.0 sec. user=mdettweiler [2015-08-12 05:57:22] 723*2^1406110-1 is not prime. Res64: B99D4DE527DD5C1B Time : 0.0 sec. user=mdettweiler [2015-08-12 05:57:30] 755*2^1406110-1 is not prime. Res64: D8AF5057D92222CC Time : 0.0 sec. user=mdettweiler [2015-08-12 05:57:30] 773*2^1406110-1 is not prime. Res64: 695DEDD58DBACFBC Time : 0.0 sec. user=mdettweiler [2015-08-12 05:57:43] 825*2^1406110-1 is not prime. Res64: B7A6BEE6FA8DDA16 Time : 0.0 sec. user=mdettweiler [2015-08-12 05:57:44] 923*2^1406110-1 is not prime. Res64: 1FCE1C394253B5A1 Time : 0.0 sec. user=mdettweiler [2015-08-12 06:06:39] 1001*2^1406110-1 is not prime. Res64: C7FF588B6A817F15 Time : 0.0 sec. user=mdettweiler [2015-08-12 06:06:39] 609*2^1406111-1 is not prime. Res64: 7B64CE48DB8BFA59 Time : 0.0 sec. user=mdettweiler [2015-08-12 06:14:52] 619*2^1406111-1 is not prime. Res64: 7FD6ED18DE14B35E Time : 0.0 sec. user=mdettweiler [2015-08-12 06:14:53] 735*2^1406111-1 is not prime. Res64: 699985073601F951 Time : 0.0 sec. user=mdettweiler [2015-08-12 06:14:54] 745*2^1406111-1 is not prime. Res64: 55CBDA1568A4BA87 Time : 0.0 sec. user=mdettweiler [2015-08-12 06:14:54] 775*2^1406111-1 is not prime. Res64: E08DFC4EC8E0D140 Time : 0.0 sec. user=mdettweiler [2015-08-12 06:15:07] 781*2^1406111-1 is not prime. Res64: 8824A5A9EBE905D9 Time : 0.0 sec. user=mdettweiler [2015-08-12 06:15:08] 783*2^1406111-1 is not prime. Res64: 47C183586C18BA38 Time : 0.0 sec. user=mdettweiler [2015-08-12 06:24:17] 855*2^1406111-1 is not prime. Res64: 9F90DFD69CF658D3 Time : 0.0 sec. user=mdettweiler [2015-08-12 06:24:17] 883*2^1406111-1 is not prime. Res64: 8A50CC481BDAFA50 Time : 0.0 sec. user=mdettweiler [2015-08-12 06:32:15] 669*2^1406112-1 is not prime. Res64: 2F8FFDF6B4598814 Time : 0.0 sec. user=mdettweiler [2015-08-12 06:32:15] 913*2^1406111-1 is not prime. Res64: 41E15B9DEDEAF2B8 Time : 0.0 sec. user=mdettweiler [2015-08-12 06:32:16] 747*2^1406112-1 is not prime. Res64: 2F8A3A5683A00446 Time : 0.0 sec. user=mdettweiler [2015-08-12 06:32:16] 993*2^1406111-1 is not prime. Res64: 11B7F5C976DF3C03 Time : 0.0 sec. user=mdettweiler [2015-08-12 06:32:28] 797*2^1406112-1 is not prime. Res64: E27D8089AEBDFDD3 Time : 0.0 sec. user=mdettweiler [2015-08-12 06:32:29] 825*2^1406112-1 is not prime. Res64: 0B5D301E7FB350A6 Time : 0.0 sec. user=mdettweiler [2015-08-12 06:41:39] 867*2^1406112-1 is not prime. Res64: 78D45D092651D2AD Time : 0.0 sec. user=mdettweiler [2015-08-12 06:41:39] 609*2^1406113-1 is not prime. Res64: EFFBA06F2845E5E0 Time : 0.0 sec. user=mdettweiler [2015-08-12 06:49:37] 801*2^1406113-1 is not prime. Res64: 2CC5AE0250312A0F Time : 0.0 sec. user=mdettweiler [2015-08-12 06:49:37] 819*2^1406113-1 is not prime. Res64: 6AF774C70386A2F9 Time : 0.0 sec. user=mdettweiler [2015-08-12 06:49:40] 691*2^1406113-1 is not prime. Res64: FD719ECD715797CD Time : 0.0 sec. user=mdettweiler [2015-08-12 06:49:41] 769*2^1406113-1 is not prime. Res64: 73F64572FDFB9404 Time : 0.0 sec. user=mdettweiler [2015-08-12 06:49:52] 847*2^1406113-1 is not prime. Res64: 7707D32FA6709832 Time : 0.0 sec. user=mdettweiler [2015-08-12 06:49:53] 885*2^1406113-1 is not prime. Res64: 778E25468C909387 Time : 0.0 sec. user=mdettweiler [2015-08-12 06:59:07] 627*2^1406114-1 is not prime. Res64: 23E575E63F4C7048 Time : 0.0 sec. user=mdettweiler [2015-08-12 06:59:07] 645*2^1406114-1 is not prime. Res64: 72EC532D9FA66280 Time : 0.0 sec. user=mdettweiler [2015-08-12 07:07:06] 731*2^1406114-1 is not prime. Res64: 323FEB4426EEF5CA Time : 0.0 sec. user=mdettweiler [2015-08-12 07:07:07] 755*2^1406114-1 is not prime. Res64: 7EA7374B8D8F4401 Time : 0.0 sec. user=mdettweiler [2015-08-12 07:07:11] 851*2^1406114-1 is not prime. Res64: B8F384E5625EF9E3 Time : 0.0 sec. user=mdettweiler [2015-08-12 07:07:11] 927*2^1406114-1 is not prime. Res64: A7B79F9FD03C10D3 Time : 0.0 sec. user=mdettweiler [2015-08-12 07:07:25] 945*2^1406114-1 is not prime. Res64: 151172C66A08D613 Time : 0.0 sec. user=mdettweiler [2015-08-12 07:07:25] 971*2^1406114-1 is not prime. Res64: 73177D68ABD888CF Time : 0.0 sec. user=mdettweiler [2015-08-12 07:16:32] 789*2^1406115-1 is not prime. Res64: A9949D6B0FD6E147 Time : 0.0 sec. user=mdettweiler [2015-08-12 07:16:33] 895*2^1406115-1 is not prime. Res64: A77138D0F2DAE09A Time : 0.0 sec. user=mdettweiler [2015-08-12 07:24:35] 963*2^1406115-1 is not prime. Res64: DB58EC944A965599 Time : 0.0 sec. user=mdettweiler [2015-08-12 07:24:36] 609*2^1406116-1 is not prime. Res64: FD53D4A6D017AC55 Time : 0.0 sec. user=mdettweiler [2015-08-12 07:24:48] 647*2^1406116-1 is not prime. Res64: 9F8D33D8F69ECA89 Time : 0.0 sec. user=mdettweiler [2015-08-12 07:24:49] 653*2^1406116-1 is not prime. Res64: BD4B2DB874F38E7C Time : 0.0 sec. user=mdettweiler [2015-08-12 07:24:56] 677*2^1406116-1 is not prime. Res64: 290DC2A5D049566B Time : 0.0 sec. user=mdettweiler [2015-08-12 07:24:57] 699*2^1406116-1 is not prime. Res64: 30387A8B572DDC73 Time : 0.0 sec. user=mdettweiler [2015-08-12 07:34:00] 723*2^1406116-1 is not prime. Res64: F10AF52321147AEA Time : 0.0 sec. user=mdettweiler [2015-08-12 07:34:00] 785*2^1406116-1 is not prime. Res64: 7FD0CD81B924BE2D Time : 0.0 sec. user=mdettweiler [2015-08-12 07:42:01] 869*2^1406116-1 is not prime. Res64: F81AA26FF407E5E9 Time : 0.0 sec. user=mdettweiler [2015-08-12 07:42:01] 989*2^1406116-1 is not prime. Res64: 3459B4DE0C07F4B0 Time : 0.0 sec. user=mdettweiler [2015-08-12 07:42:11] 697*2^1406117-1 is not prime. Res64: F33657494E889AF3 Time : 0.0 sec. user=mdettweiler [2015-08-12 07:42:12] 829*2^1406117-1 is not prime. Res64: 14816B6E20CA6D28 Time : 0.0 sec. user=mdettweiler [2015-08-12 07:42:20] 865*2^1406117-1 is not prime. Res64: C5F5368314AB25FE Time : 0.0 sec. user=mdettweiler [2015-08-12 07:42:21] 957*2^1406117-1 is not prime. Res64: 665493EFDC7E68C0 Time : 0.0 sec. user=mdettweiler [2015-08-12 07:51:25] 981*2^1406117-1 is not prime. Res64: 350BE340B15BE949 Time : 0.0 sec. user=mdettweiler [2015-08-12 07:51:25] 985*2^1406117-1 is not prime. Res64: AF086C1F5A3CF404 Time : 0.0 sec. user=mdettweiler [2015-08-12 07:59:21] 657*2^1406118-1 is not prime. Res64: 37C20891D4935A9D Time : 0.0 sec. user=mdettweiler [2015-08-12 07:59:22] 711*2^1406118-1 is not prime. Res64: 21C707A225161BAC Time : 0.0 sec. user=mdettweiler [2015-08-12 07:59:36] 755*2^1406118-1 is not prime. Res64: 5779810C23BB8835 Time : 0.0 sec. user=mdettweiler [2015-08-12 07:59:36] 791*2^1406118-1 is not prime. Res64: 00E76B8D860AD700 Time : 0.0 sec. user=mdettweiler [2015-08-12 07:59:50] 885*2^1406118-1 is not prime. Res64: 9F2181E001A9AB6A Time : 0.0 sec. user=mdettweiler [2015-08-12 07:59:50] 893*2^1406118-1 is not prime. Res64: A3D6A9F9DF1938A6 Time : 0.0 sec. user=mdettweiler [2015-08-12 08:08:51] 941*2^1406118-1 is not prime. Res64: 482EE0A4B04B77F4 Time : 0.0 sec. user=mdettweiler [2015-08-12 08:08:51] 963*2^1406118-1 is not prime. Res64: D7C537468C585EF8 Time : 0.0 sec. user=mdettweiler [2015-08-12 08:16:56] 1001*2^1406118-1 is not prime. Res64: A4013D4A28794728 Time : 0.0 sec. user=mdettweiler [2015-08-12 08:16:56] 939*2^1406119-1 is not prime. Res64: 231CD5B8516552F6 Time : 0.0 sec. user=mdettweiler [2015-08-12 08:17:06] 999*2^1406119-1 is not prime. Res64: C1ADDC3E78FB85F4 Time : 0.0 sec. user=mdettweiler [2015-08-12 08:17:07] 629*2^1406120-1 is not prime. Res64: 4492310EEA1D40EA Time : 0.0 sec. user=mdettweiler [2015-08-12 08:17:16] 839*2^1406120-1 is not prime. Res64: 43DFF62941617D50 Time : 0.0 sec. user=mdettweiler [2015-08-12 08:17:17] 857*2^1406120-1 is not prime. Res64: 2C3C7FD314566CB1 Time : 0.0 sec. user=mdettweiler [2015-08-12 08:26:18] 893*2^1406120-1 is not prime. Res64: 5B7EB28120B431B0 Time : 0.0 sec. user=mdettweiler [2015-08-12 08:26:19] 923*2^1406120-1 is not prime. Res64: EC1E6E93108F6E08 Time : 0.0 sec. user=mdettweiler [2015-08-12 08:34:17] 963*2^1406120-1 is not prime. Res64: 24888748406C7D21 Time : 0.0 sec. user=mdettweiler [2015-08-12 08:34:18] 983*2^1406120-1 is not prime. Res64: B45817EE39EBCB97 Time : 0.0 sec. user=mdettweiler [2015-08-12 08:34:28] 691*2^1406121-1 is not prime. Res64: A2820B6471898AE3 Time : 0.0 sec. user=mdettweiler [2015-08-12 08:34:28] 717*2^1406121-1 is not prime. Res64: 701F08FF0BF4D40C Time : 0.0 sec. user=mdettweiler [2015-08-12 08:34:41] 747*2^1406121-1 is not prime. Res64: 0843D64E90DF8822 Time : 0.0 sec. user=mdettweiler [2015-08-12 08:34:42] 861*2^1406121-1 is not prime. Res64: 4F30FB017031B931 Time : 0.0 sec. user=mdettweiler [2015-08-12 08:43:48] 885*2^1406121-1 is not prime. Res64: 1EEBF7C9EC4312F2 Time : 0.0 sec. user=mdettweiler [2015-08-12 08:43:49] 907*2^1406121-1 is not prime. Res64: 89984B85852CC4D2 Time : 0.0 sec. user=mdettweiler [2015-08-12 08:51:44] 921*2^1406121-1 is not prime. Res64: 635C240B36F3DF60 Time : 0.0 sec. user=mdettweiler [2015-08-12 08:51:45] 671*2^1406122-1 is not prime. Res64: B28BF441C9988C24 Time : 0.0 sec. user=mdettweiler [2015-08-12 08:51:52] 677*2^1406122-1 is not prime. Res64: 43DD6233E5D4BB47 Time : 0.0 sec. user=mdettweiler [2015-08-12 08:51:53] 735*2^1406122-1 is not prime. Res64: DA63E762DB1F3C5B Time : 0.0 sec. user=mdettweiler [2015-08-12 08:52:10] 743*2^1406122-1 is not prime. Res64: 1D5FF703DFE7EFB0 Time : 0.0 sec. user=mdettweiler [2015-08-12 08:52:11] 887*2^1406122-1 is not prime. Res64: B62D8CB36C55908E Time : 0.0 sec. user=mdettweiler [2015-08-12 09:01:24] 915*2^1406122-1 is not prime. Res64: 34C4A5C57C2C8684 Time : 0.0 sec. user=mdettweiler [2015-08-12 09:01:26] 945*2^1406122-1 is not prime. Res64: FFC4CD3AFDC7FC8C Time : 0.0 sec. user=mdettweiler [2015-08-12 09:09:07] 951*2^1406122-1 is not prime. Res64: 3101E038D45158DF Time : 0.0 sec. user=mdettweiler [2015-08-12 09:09:08] 663*2^1406123-1 is not prime. Res64: 9115983A51852F8A Time : 0.0 sec. user=mdettweiler [2015-08-12 09:09:14] 739*2^1406123-1 is not prime. Res64: 556AF868DAD21259 Time : 0.0 sec. user=mdettweiler [2015-08-12 09:09:14] 753*2^1406123-1 is not prime. Res64: BD39A0A2D3BD0688 Time : 0.0 sec. user=mdettweiler [2015-08-12 09:09:36] 759*2^1406123-1 is not prime. Res64: CF43750A72432231 Time : 0.0 sec. user=mdettweiler [2015-08-12 09:09:37] 823*2^1406123-1 is not prime. Res64: EF98F2B55BECBD60 Time : 0.0 sec. user=mdettweiler [2015-08-12 09:18:55] 991*2^1406123-1 is not prime. Res64: CCA0B11534AB011A Time : 0.0 sec. user=mdettweiler [2015-08-12 09:18:56] 695*2^1406124-1 is not prime. Res64: 83DDDF84CF3541F6 Time : 0.0 sec. user=mdettweiler [2015-08-12 09:26:33] 725*2^1406124-1 is not prime. Res64: 164A641C8595CE85 Time : 0.0 sec. user=mdettweiler [2015-08-12 09:26:34] 767*2^1406124-1 is not prime. Res64: D3830CEC8EEB54C1 Time : 0.0 sec. user=mdettweiler [2015-08-12 09:26:35] 803*2^1406124-1 is not prime. Res64: 38D4DA1DEEBF9882 Time : 0.0 sec. user=mdettweiler [2015-08-12 09:26:35] 809*2^1406124-1 is not prime. Res64: E2962301C5D7673F Time : 0.0 sec. user=mdettweiler [2015-08-12 09:27:00] 863*2^1406124-1 is not prime. Res64: AECA86C860CF92C7 Time : 0.0 sec. user=mdettweiler [2015-08-12 09:27:01] 965*2^1406124-1 is not prime. Res64: 321E52BA01716588 Time : 0.0 sec. user=mdettweiler [2015-08-12 09:36:27] 729*2^1406125-1 is not prime. Res64: 430C7BAE8314503B Time : 0.0 sec. user=mdettweiler [2015-08-12 09:36:28] 775*2^1406125-1 is not prime. Res64: DF8F56DDC090A07A Time : 0.0 sec. user=mdettweiler [2015-08-12 09:43:58] 867*2^1406125-1 is not prime. Res64: 8A554434A8AD314B Time : 0.0 sec. user=mdettweiler [2015-08-12 09:43:58] 885*2^1406125-1 is not prime. Res64: 4FA9BC72F3F9BC33 Time : 0.0 sec. user=mdettweiler [2015-08-12 09:44:01] 849*2^1406125-1 is not prime. Res64: 29618ED8594E65E0 Time : 0.0 sec. user=mdettweiler [2015-08-12 09:44:01] 855*2^1406125-1 is not prime. Res64: AC79549C9BA4CD43 Time : 0.0 sec. user=mdettweiler [2015-08-12 09:44:22] 895*2^1406125-1 is not prime. Res64: BF0D5086A353E449 Time : 0.0 sec. user=mdettweiler [2015-08-12 09:44:22] 925*2^1406125-1 is not prime. Res64: 82FBA0CA2EFA2715 Time : 0.0 sec. user=mdettweiler [2015-08-12 09:53:58] 705*2^1406126-1 is not prime. Res64: 0DC4821CC43B2167 Time : 0.0 sec. user=mdettweiler [2015-08-12 09:53:59] 971*2^1406126-1 is not prime. Res64: 98671433E61D9F24 Time : 0.0 sec. user=mdettweiler [2015-08-12 10:01:22] 751*2^1406127-1 is not prime. Res64: FC7AE2ECCE9D512C Time : 0.0 sec. user=mdettweiler [2015-08-12 10:01:23] 861*2^1406127-1 is not prime. Res64: F19FC5203931070D Time : 0.0 sec. user=mdettweiler [2015-08-12 10:01:24] 625*2^1406127-1 is not prime. Res64: 652989B8CCD9EBBB Time : 0.0 sec. user=mdettweiler [2015-08-12 10:01:25] 661*2^1406127-1 is not prime. Res64: B81AB375984EB45A Time : 0.0 sec. user=mdettweiler [2015-08-12 10:01:48] 909*2^1406127-1 is not prime. Res64: D121C2BCD8E02BEE Time : 0.0 sec. user=mdettweiler [2015-08-12 10:01:49] 973*2^1406127-1 is not prime. Res64: 313E598047F7FE96 Time : 0.0 sec. user=mdettweiler [2015-08-12 10:11:19] 603*2^1406128-1 is not prime. Res64: 6BCA54DEDBD8B773 Time : 0.0 sec. user=mdettweiler [2015-08-12 10:11:19] 735*2^1406128-1 is not prime. Res64: 76ABAD043E3B2392 Time : 0.0 sec. user=mdettweiler [2015-08-12 10:18:53] 897*2^1406128-1 is not prime. Res64: AE3D9F07580D9F5C Time : 0.0 sec. user=mdettweiler [2015-08-12 10:18:54] 999*2^1406128-1 is not prime. Res64: B4C6DD8D107476CB Time : 0.0 sec. user=mdettweiler [2015-08-12 10:18:56] 631*2^1406129-1 is not prime. Res64: 136E20EB9016B156 Time : 0.0 sec. user=mdettweiler [2015-08-12 10:18:57] 781*2^1406129-1 is not prime. Res64: C1F9BE1BA8FFA019 Time : 0.0 sec. user=mdettweiler [2015-08-12 10:19:21] 811*2^1406129-1 is not prime. Res64: 9FCDE76BC4797AB5 Time : 0.0 sec. user=mdettweiler [2015-08-12 10:19:22] 889*2^1406129-1 is not prime. Res64: 3CAE2E9CC67CB43B Time : 0.0 sec. user=mdettweiler [2015-08-12 10:28:50] 925*2^1406129-1 is not prime. Res64: B429C06BF1721A7C Time : 0.0 sec. user=mdettweiler [2015-08-12 10:28:51] 931*2^1406129-1 is not prime. Res64: D6A8451D8D6FEA94 Time : 0.0 sec. user=mdettweiler [2015-08-12 10:36:16] 949*2^1406129-1 is not prime. Res64: E45AED12ABEE02E3 Time : 0.0 sec. user=mdettweiler [2015-08-12 10:36:17] 979*2^1406129-1 is not prime. Res64: 9E57897273BBBEBF Time : 0.0 sec. user=mdettweiler [2015-08-12 10:36:19] 633*2^1406130-1 is not prime. Res64: 4745D6ACA0F8F783 Time : 0.0 sec. user=mdettweiler [2015-08-12 10:36:19] 653*2^1406130-1 is not prime. Res64: 56F15A256AA0A35F Time : 0.0 sec. user=mdettweiler [2015-08-12 10:36:56] 873*2^1406130-1 is not prime. Res64: 7819AADC105B19B7 Time : 0.0 sec. user=mdettweiler [2015-08-12 10:36:56] 963*2^1406130-1 is not prime. Res64: E575AFA9E336B6F6 Time : 0.0 sec. user=mdettweiler [2015-08-12 10:46:16] 603*2^1406131-1 is not prime. Res64: 3960E65BDFBEF04E Time : 0.0 sec. user=mdettweiler [2015-08-12 10:46:17] 751*2^1406131-1 is not prime. Res64: BFF46EA8F839C09F Time : 0.0 sec. user=mdettweiler [2015-08-12 10:53:41] 835*2^1406131-1 is not prime. Res64: 2DDCDC4347D1F73C Time : 0.0 sec. user=mdettweiler [2015-08-12 10:53:41] 859*2^1406131-1 is not prime. Res64: EE977F922DCF80D1 Time : 0.0 sec. user=mdettweiler [2015-08-12 10:53:49] 669*2^1406132-1 is not prime. Res64: BD957A5DE72860B8 Time : 0.0 sec. user=mdettweiler [2015-08-12 10:53:51] 749*2^1406132-1 is not prime. Res64: 9EF4024A6C0BEBFA Time : 0.0 sec. user=mdettweiler [2015-08-12 10:54:28] 803*2^1406132-1 is not prime. Res64: 73D07CA2256A37C0 Time : 0.0 sec. user=mdettweiler [2015-08-12 10:54:29] 867*2^1406132-1 is not prime. Res64: 4F77F7CB42D62012 Time : 0.0 sec. user=mdettweiler [2015-08-12 11:03:49] 977*2^1406132-1 is not prime. Res64: EE9F67351698567A Time : 0.0 sec. user=mdettweiler [2015-08-12 11:03:51] 625*2^1406133-1 is not prime. Res64: 27BE067C0F9FFF81 Time : 0.0 sec. user=mdettweiler [2015-08-12 11:11:04] 805*2^1406133-1 is not prime. Res64: EF1B598A5183A299 Time : 0.0 sec. user=mdettweiler [2015-08-12 11:11:04] 861*2^1406133-1 is not prime. Res64: 82DEDB1152E760B7 Time : 0.0 sec. user=mdettweiler [2015-08-12 11:11:23] 937*2^1406133-1 is not prime. Res64: 1A33E76709CBCE7D Time : 0.0 sec. user=mdettweiler [2015-08-12 11:11:24] 945*2^1406133-1 is not prime. Res64: CECA63E1E8F2F70C Time : 0.0 sec. user=mdettweiler [2015-08-12 11:12:03] 991*2^1406133-1 is not prime. Res64: 806B040FBA5D7A9B Time : 0.0 sec. user=mdettweiler [2015-08-12 11:12:04] 635*2^1406134-1 is not prime. Res64: 165E6E0D8A3B3F01 Time : 0.0 sec. user=mdettweiler [2015-08-12 11:21:45] 717*2^1406134-1 is not prime. Res64: FC47EBD286E377AD Time : 0.0 sec. user=mdettweiler [2015-08-12 11:21:45] 765*2^1406134-1 is not prime. Res64: 2D7B22BB1CC5209D Time : 0.0 sec. user=mdettweiler [2015-08-12 11:29:01] 827*2^1406134-1 is not prime. Res64: 0090772936E8E7D7 Time : 0.0 sec. user=mdettweiler [2015-08-12 11:29:01] 831*2^1406134-1 is not prime. Res64: DAADBFB85CE50C82 Time : 0.0 sec. user=mdettweiler [2015-08-12 11:29:17] 897*2^1406134-1 is not prime. Res64: 8EAE1E3672BC513A Time : 0.0 sec. user=mdettweiler [2015-08-12 11:29:17] 945*2^1406134-1 is not prime. Res64: A7B8CD49CD52CFF7 Time : 0.0 sec. user=mdettweiler [2015-08-12 11:30:07] 975*2^1406134-1 is not prime. Res64: 3D61FCF1E9CBB948 Time : 0.0 sec. user=mdettweiler [2015-08-12 11:30:08] 987*2^1406134-1 is not prime. Res64: 55C2E83854BF78B4 Time : 0.0 sec. user=mdettweiler [2015-08-12 11:39:38] 601*2^1406135-1 is not prime. Res64: 322DE337318BAB7D Time : 0.0 sec. user=mdettweiler [2015-08-12 11:39:38] 661*2^1406135-1 is not prime. Res64: AA92E3F724C69D80 Time : 0.0 sec. user=mdettweiler [2015-08-12 11:47:44] 669*2^1406135-1 is not prime. Res64: F7A90C0417D6E406 Time : 0.0 sec. user=mdettweiler [2015-08-12 11:47:45] 705*2^1406135-1 is not prime. Res64: 4E5E440B15D15CD6 Time : 0.0 sec. user=mdettweiler [2015-08-12 11:47:57] 759*2^1406135-1 is not prime. Res64: 3AB81FEAF72B3548 Time : 0.0 sec. user=mdettweiler [2015-08-12 11:47:57] 775*2^1406135-1 is not prime. Res64: C2AE6A68489AADA3 Time : 0.0 sec. user=mdettweiler [2015-08-12 11:48:43] 789*2^1406135-1 is not prime. Res64: 57DD1AB2F8B8DA70 Time : 0.0 sec. user=mdettweiler [2015-08-12 11:48:43] 913*2^1406135-1 is not prime. Res64: 7BD889CA00CE29AE Time : 0.0 sec. user=mdettweiler [2015-08-12 11:58:12] 949*2^1406135-1 is not prime. Res64: 9D61F1A7E200A460 Time : 0.0 sec. user=mdettweiler [2015-08-12 11:58:12] 981*2^1406135-1 is not prime. Res64: E1DDA5E2DE1A7C09 Time : 0.0 sec. user=mdettweiler [2015-08-12 12:05:45] 609*2^1406136-1 is not prime. Res64: 1A02AA87765A9BFC Time : 0.0 sec. user=mdettweiler [2015-08-12 12:05:45] 719*2^1406136-1 is not prime. Res64: 993D49DA5194117F Time : 0.0 sec. user=mdettweiler [2015-08-12 12:06:11] 873*2^1406136-1 is not prime. Res64: 5F39C86C216BD7B3 Time : 0.0 sec. user=mdettweiler [2015-08-12 12:06:11] 625*2^1406137-1 is not prime. Res64: 8D3DB12A89F328BF Time : 0.0 sec. user=mdettweiler [2015-08-12 12:06:58] 675*2^1406137-1 is not prime. Res64: 07AF50F5F50043BA Time : 0.0 sec. user=mdettweiler [2015-08-12 12:06:58] 691*2^1406137-1 is not prime. Res64: F00879DE0E3518FB Time : 0.0 sec. user=mdettweiler [2015-08-12 12:16:58] 717*2^1406137-1 is not prime. Res64: 4B3CF8CA6A6399EF Time : 0.0 sec. user=mdettweiler [2015-08-12 12:16:58] 831*2^1406137-1 is not prime. Res64: C29B36A99C68C240 Time : 0.0 sec. user=mdettweiler [2015-08-12 12:24:09] 871*2^1406137-1 is not prime. Res64: 09AADCB93A66BD53 Time : 0.0 sec. user=mdettweiler [2015-08-12 12:24:10] 919*2^1406137-1 is not prime. Res64: F5955E2D67C7BE15 Time : 0.0 sec. user=mdettweiler [2015-08-12 12:24:24] 945*2^1406137-1 is not prime. Res64: 38EDAEFFFF91D774 Time : 0.0 sec. user=mdettweiler [2015-08-12 12:24:24] 975*2^1406137-1 is not prime. Res64: BD58C8CD33D2907B Time : 0.0 sec. user=mdettweiler [2015-08-12 12:25:22] 603*2^1406138-1 is not prime. Res64: 02BE5F9D0FAA1E7B Time : 0.0 sec. user=mdettweiler [2015-08-12 12:25:22] 641*2^1406138-1 is not prime. Res64: 018A2426313E02FD Time : 0.0 sec. user=mdettweiler [2015-08-12 12:35:22] 645*2^1406138-1 is not prime. Res64: C677BE3ADBDB4E10 Time : 0.0 sec. user=mdettweiler [2015-08-12 12:35:22] 711*2^1406138-1 is not prime. Res64: 3EB895D91AB22E73 Time : 0.0 sec. user=mdettweiler [2015-08-12 12:42:21] 755*2^1406138-1 is not prime. Res64: 48CCD96552199D98 Time : 0.0 sec. user=mdettweiler [2015-08-12 12:42:21] 827*2^1406138-1 is not prime. Res64: F989A4B691FB44BD Time : 0.0 sec. user=mdettweiler [2015-08-12 12:42:38] 837*2^1406138-1 is not prime. Res64: E236C834B23D52F8 Time : 0.0 sec. user=mdettweiler [2015-08-12 12:42:38] 857*2^1406138-1 is not prime. Res64: 81E09DB12A6A2192 Time : 0.0 sec. user=mdettweiler [2015-08-12 12:43:41] 885*2^1406138-1 is not prime. Res64: 2B4A27397F9DD264 Time : 0.0 sec. user=mdettweiler [2015-08-12 12:43:41] 893*2^1406138-1 is not prime. Res64: 2DC79976FDCB3C77 Time : 0.0 sec. user=mdettweiler [2015-08-12 12:53:22] 923*2^1406138-1 is not prime. Res64: 785D332A77935FC0 Time : 0.0 sec. user=mdettweiler [2015-08-12 12:53:22] 619*2^1406139-1 is not prime. Res64: AFAC5E0545C381EF Time : 0.0 sec. user=mdettweiler [2015-08-12 12:59:55] 709*2^1406139-1 is not prime. Res64: BC729C56235828D2 Time : 0.0 sec. user=mdettweiler [2015-08-12 12:59:56] 721*2^1406139-1 is not prime. Res64: 11F1084598FEDA1D Time : 0.0 sec. user=mdettweiler [2015-08-12 13:00:15] 801*2^1406139-1 is not prime. Res64: 325C9BE2022591A6 Time : 0.0 sec. user=mdettweiler [2015-08-12 13:00:16] 895*2^1406139-1 is not prime. Res64: D73316D3EA0AEE32 Time : 0.0 sec. user=mdettweiler [2015-08-12 13:01:14] 919*2^1406139-1 is not prime. Res64: F38BE92D94AEC6E7 Time : 0.0 sec. user=mdettweiler [2015-08-12 13:01:14] 975*2^1406139-1 is not prime. Res64: 434FCA606310616A Time : 0.0 sec. user=mdettweiler [2015-08-12 13:10:53] 979*2^1406139-1 is not prime. Res64: 9E1C8F9C8543110B Time : 0.0 sec. user=mdettweiler [2015-08-12 13:10:53] 647*2^1406140-1 is not prime. Res64: F937956C51345CE9 Time : 0.0 sec. user=mdettweiler [2015-08-12 13:17:32] 665*2^1406140-1 is not prime. Res64: 1101E74CD13AECD9 Time : 0.0 sec. user=mdettweiler [2015-08-12 13:17:33] 675*2^1406140-1 is not prime. Res64: B4B66E34B7A6FBAA Time : 0.0 sec. user=mdettweiler [2015-08-12 13:17:57] 717*2^1406140-1 is not prime. Res64: 873FCCFBF8D65ADD Time : 0.0 sec. user=mdettweiler [2015-08-12 13:17:58] 825*2^1406140-1 is not prime. Res64: 1B4CB70D3B72040B Time : 0.0 sec. user=mdettweiler [2015-08-12 13:18:57] 827*2^1406140-1 is not prime. Res64: 8920510ADF2FB91B Time : 0.0 sec. user=mdettweiler [2015-08-12 13:18:57] 845*2^1406140-1 is not prime. Res64: BAD927AAE1384E94 Time : 0.0 sec. user=mdettweiler [2015-08-12 13:28:32] 855*2^1406140-1 is not prime. Res64: A25120CB3AF195A6 Time : 0.0 sec. user=mdettweiler [2015-08-12 13:28:32] 905*2^1406140-1 is not prime. Res64: 5646F13894D6E21D Time : 0.0 sec. user=mdettweiler [2015-08-12 13:47:16] 685*2^1406141-1 is not prime. Res64: 7E54323019AEB502 Time : 0.0 sec. user=mdettweiler [2015-08-12 13:47:17] 799*2^1406141-1 is not prime. Res64: 5D37135027A0BA6E Time : 0.0 sec. user=mdettweiler [2015-08-12 13:47:28] 811*2^1406141-1 is not prime. Res64: 1A74D258E7E5982E Time : 0.0 sec. user=mdettweiler [2015-08-12 13:47:28] 825*2^1406141-1 is not prime. Res64: F2BA78DBF92731CC Time : 0.0 sec. user=mdettweiler [2015-08-12 14:07:08] 615*2^1406142-1 is not prime. Res64: C7BAE813CFEB9166 Time : 0.0 sec. user=mdettweiler [2015-08-12 14:07:08] 621*2^1406142-1 is not prime. Res64: F995A9D498C34D15 Time : 0.0 sec. user=mdettweiler [2015-08-12 14:07:27] 859*2^1406141-1 is not prime. Res64: E601D52E57BC24D2 Time : 0.0 sec. user=mdettweiler [2015-08-12 14:07:28] 991*2^1406141-1 is not prime. Res64: EB1B9D181CAA724E Time : 0.0 sec. user=mdettweiler [2015-08-12 14:26:47] 777*2^1406142-1 is not prime. Res64: 8EEBFAA518577BB7 Time : 0.0 sec. user=mdettweiler [2015-08-12 14:26:47] 797*2^1406142-1 is not prime. Res64: 23DCF986B77931C7 Time : 0.0 sec. user=mdettweiler [2015-08-12 14:27:15] 685*2^1406143-1 is not prime. Res64: BFD0F766B7FC5CC9 Time : 0.0 sec. user=mdettweiler [2015-08-12 14:27:15] 829*2^1406143-1 is not prime. Res64: 0805E29045ABD720 Time : 0.0 sec. user=mdettweiler [2015-08-12 14:46:38] 853*2^1406143-1 is not prime. Res64: D181F36571A07874 Time : 0.0 sec. user=mdettweiler [2015-08-12 14:46:38] 861*2^1406143-1 is not prime. Res64: E1BE15F154197D11 Time : 0.0 sec. user=mdettweiler [2015-08-12 14:46:54] 871*2^1406143-1 is not prime. Res64: 20BC66238CA436C6 Time : 0.0 sec. user=mdettweiler [2015-08-12 14:46:54] 889*2^1406143-1 is not prime. Res64: 9E5B0DEDA5548663 Time : 0.0 sec. user=mdettweiler [2015-08-12 15:06:23] 717*2^1406144-1 is not prime. Res64: 9BDCDA2F05017213 Time : 0.0 sec. user=mdettweiler [2015-08-12 15:06:23] 719*2^1406144-1 is not prime. Res64: 539778B61063A72B Time : 0.0 sec. user=mdettweiler [2015-08-12 15:06:39] 985*2^1406143-1 is not prime. Res64: 8FD494042C6581CC Time : 0.0 sec. user=mdettweiler [2015-08-12 15:06:39] 615*2^1406144-1 is not prime. Res64: 7D4AA86595852E62 Time : 0.0 sec. user=S_K_ [2015-08-12 15:13:04] 973*2^1406143-1 is not prime. Res64: 21596EBDD1B6C603 Time : 0.0 sec. user=mdettweiler [2015-08-12 15:26:00] 843*2^1406144-1 is not prime. Res64: 6D5792C453473AB3 Time : 0.0 sec. user=mdettweiler [2015-08-12 15:26:00] 627*2^1406145-1 is not prime. Res64: 924D7C615C19CAFB Time : 0.0 sec. user=mdettweiler [2015-08-12 15:26:27] 813*2^1406144-1 is not prime. Res64: 107ED07659DAF9CA Time : 0.0 sec. user=mdettweiler [2015-08-12 15:26:27] 827*2^1406144-1 is not prime. Res64: 3670686F88607345 Time : 0.0 sec. user=mdettweiler [2015-08-12 15:45:44] 667*2^1406145-1 is not prime. Res64: B582684FC8F1F4FE Time : 0.0 sec. user=mdettweiler [2015-08-12 15:45:44] 709*2^1406145-1 is not prime. Res64: 395122E77FD4D989 Time : 0.0 sec. user=mdettweiler [2015-08-12 15:45:58] 915*2^1406145-1 is not prime. Res64: 677D14365EA7F224 Time : 0.0 sec. user=mdettweiler [2015-08-12 15:45:58] 657*2^1406146-1 is not prime. Res64: CE6A6C642CC7F6FC Time : 0.0 sec. user=S_K_ [2015-08-12 15:48:18] 649*2^1406145-1 is not prime. Res64: 7319E656809D4CB5 Time : 0.0 sec. user=mdettweiler [2015-08-12 16:05:20] 843*2^1406146-1 is not prime. Res64: 4F276224C4806765 Time : 0.0 sec. user=mdettweiler [2015-08-12 16:05:21] 857*2^1406146-1 is not prime. Res64: 8B607F21FCC97508 Time : 0.0 sec. user=mdettweiler [2015-08-12 16:05:42] 783*2^1406146-1 is not prime. Res64: 87E85A31B58602B8 Time : 0.0 sec. user=mdettweiler [2015-08-12 16:05:42] 815*2^1406146-1 is not prime. Res64: 0868CD50F31BE5D2 Time : 0.0 sec. user=S_K_ [2015-08-12 16:23:24] 971*2^1406146-1 is not prime. Res64: 1E5CF4996EB3FE36 Time : 0.0 sec. user=mdettweiler [2015-08-12 16:25:07] 645*2^1406147-1 is not prime. Res64: 652BD3024630BE45 Time : 0.0 sec. user=mdettweiler [2015-08-12 16:25:08] 703*2^1406147-1 is not prime. Res64: 3201DCBD42E6039F Time : 0.0 sec. user=mdettweiler [2015-08-12 16:25:32] 805*2^1406147-1 is not prime. Res64: 6BF6183613F4A4C9 Time : 0.0 sec. user=mdettweiler [2015-08-12 16:25:32] 841*2^1406147-1 is not prime. Res64: 2B61C19027611585 Time : 0.0 sec. user=mdettweiler [2015-08-12 16:44:45] 979*2^1406147-1 is not prime. Res64: FC0FF4B33F5B375C Time : 0.0 sec. user=mdettweiler [2015-08-12 16:44:45] 981*2^1406147-1 is not prime. Res64: 5ECBA25D5022DC8E Time : 0.0 sec. user=mdettweiler [2015-08-12 16:45:17] 635*2^1406148-1 is not prime. Res64: 8874D1EFFDB83C71 Time : 0.0 sec. user=mdettweiler [2015-08-12 16:45:17] 723*2^1406148-1 is not prime. Res64: 89B25CC9D707F842 Time : 0.0 sec. user=mdettweiler [2015-08-12 17:03:58] 765*2^1406148-1 is not prime. Res64: 39B3675B9AA252AC Time : 0.0 sec. user=mdettweiler [2015-08-12 17:03:59] 773*2^1406148-1 is not prime. Res64: 151DEFE35A03B690 Time : 0.0 sec. user=mdettweiler [2015-08-12 17:04:38] 789*2^1406148-1 is not prime. Res64: F5FF04D9AC095F4F Time : 0.0 sec. user=mdettweiler [2015-08-12 17:04:39] 825*2^1406148-1 is not prime. Res64: 25005DF20384EF90 Time : 0.0 sec. user=mdettweiler [2015-08-12 17:23:50] 875*2^1406148-1 is not prime. Res64: EF4B7F5F82DC14D3 Time : 0.0 sec. user=mdettweiler [2015-08-12 17:23:50] 649*2^1406149-1 is not prime. Res64: 6C317CE5AFDD83DE Time : 0.0 sec. user=mdettweiler [2015-08-12 17:24:29] 667*2^1406149-1 is not prime. Res64: 9C14EB18C9C45075 Time : 0.0 sec. user=mdettweiler [2015-08-12 17:24:29] 811*2^1406149-1 is not prime. Res64: 8F1F87B79A5B038B Time : 0.0 sec. user=mdettweiler [2015-08-12 17:43:26] 831*2^1406149-1 is not prime. Res64: CF961E4AE6DD3CCD Time : 0.0 sec. user=mdettweiler [2015-08-12 17:43:26] 961*2^1406149-1 is not prime. Res64: FF0D3ADAFEBDA9EB Time : 0.0 sec. user=mdettweiler [2015-08-12 17:44:36] 967*2^1406149-1 is not prime. Res64: B37C10CA0F0B7EA4 Time : 0.0 sec. user=mdettweiler [2015-08-12 17:44:36] 999*2^1406149-1 is not prime. Res64: 6E1AD38C165AFF8C Time : 0.0 sec. user=mdettweiler [2015-08-12 18:03:05] 761*2^1406150-1 is not prime. Res64: 2F988B0F31A9CA09 Time : 0.0 sec. user=mdettweiler [2015-08-12 18:03:06] 791*2^1406150-1 is not prime. Res64: E23BE93DED1B4918 Time : 0.0 sec. user=mdettweiler [2015-08-12 18:04:21] 795*2^1406150-1 is not prime. Res64: 0CF786AB4325A7AE Time : 0.0 sec. user=mdettweiler [2015-08-12 18:04:22] 887*2^1406150-1 is not prime. Res64: F53B5F2F96356D24 Time : 0.0 sec. user=mdettweiler [2015-08-12 18:23:27] 825*2^1406151-1 is not prime. Res64: A45A7C6888ABFCDF Time : 0.0 sec. user=mdettweiler [2015-08-12 18:23:27] 961*2^1406151-1 is not prime. Res64: 6E44B4A99A5BFC06 Time : 0.0 sec. user=mdettweiler [2015-08-12 18:24:41] 719*2^1406152-1 is not prime. Res64: 835E3075DD78F3CE Time : 0.0 sec. user=mdettweiler [2015-08-12 18:24:41] 743*2^1406152-1 is not prime. Res64: F9A6EE56D02DF37F Time : 0.0 sec. user=mdettweiler [2015-08-12 18:42:47] 857*2^1406152-1 is not prime. Res64: 0822A0AA02433357 Time : 0.0 sec. user=mdettweiler [2015-08-12 18:42:48] 909*2^1406152-1 is not prime. Res64: 5F9908064704C93E Time : 0.0 sec. user=mdettweiler [2015-08-12 18:44:06] 975*2^1406152-1 is not prime. Res64: 48AB822D68C89042 Time : 0.0 sec. user=mdettweiler [2015-08-12 18:44:06] 983*2^1406152-1 is not prime. Res64: C44EB46CF64507C7 Time : 0.0 sec. user=mdettweiler [2015-08-12 19:03:15] 619*2^1406153-1 is not prime. Res64: 67AB5D1645A16BC5 Time : 0.0 sec. user=mdettweiler [2015-08-12 19:03:18] 691*2^1406153-1 is not prime. Res64: BC5E30BBBF94047D Time : 0.0 sec. user=mdettweiler [2015-08-12 19:03:57] 697*2^1406153-1 is not prime. Res64: 6CC91DC6A651E816 Time : 0.0 sec. user=mdettweiler [2015-08-12 19:04:01] 787*2^1406153-1 is not prime. Res64: 844166D54FC6A27F Time : 0.0 sec. user=mdettweiler [2015-08-12 19:24:05] 847*2^1406153-1 is not prime. Res64: 930B8F49F24CE99F Time : 0.0 sec. user=mdettweiler [2015-08-12 19:24:06] 861*2^1406153-1 is not prime. Res64: 800C88737A3D4C93 Time : 0.0 sec. user=mdettweiler [2015-08-12 19:25:09] 897*2^1406153-1 is not prime. Res64: C63D713CA895A035 Time : 0.0 sec. user=mdettweiler [2015-08-12 19:25:09] 901*2^1406153-1 is not prime. Res64: 60B925502F785349 Time : 0.0 sec. user=mdettweiler [2015-08-12 19:44:07] 937*2^1406153-1 is not prime. Res64: CB1DB851E80EF933 Time : 0.0 sec. user=mdettweiler [2015-08-12 19:44:07] 949*2^1406153-1 is not prime. Res64: B323A11DFAA04267 Time : 0.0 sec. user=mdettweiler [2015-08-12 19:45:43] 967*2^1406153-1 is not prime. Res64: 59538B3C1DA218F5 Time : 0.0 sec. user=mdettweiler [2015-08-12 19:45:43] 981*2^1406153-1 is not prime. Res64: CE9FD656CB8C23A7 Time : 0.0 sec. user=mdettweiler [2015-08-12 20:04:07] 991*2^1406153-1 is not prime. Res64: 89E606EE509651FD Time : 0.0 sec. user=mdettweiler [2015-08-12 20:04:08] 663*2^1406154-1 is not prime. Res64: CD4867C72F40C5D6 Time : 0.0 sec. user=mdettweiler [2015-08-12 20:05:52] 825*2^1406154-1 is not prime. Res64: 470B4A3337C60FE8 Time : 0.0 sec. user=mdettweiler [2015-08-12 20:05:53] 945*2^1406154-1 is not prime. Res64: E73E8A081A26E111 Time : 0.0 sec. user=S_K_ [2015-08-12 20:06:45] 763*2^1406151-1 is not prime. Res64: 7D5387DA2429FDCC Time : 0.0 sec. user=mdettweiler [2015-08-12 20:25:29] 975*2^1406154-1 is not prime. Res64: 6EF40104C04B486F Time : 0.0 sec. user=mdettweiler [2015-08-12 20:25:29] 645*2^1406155-1 is not prime. Res64: 0C03E96A5E0267BD Time : 0.0 sec. user=mdettweiler [2015-08-12 20:26:47] 651*2^1406155-1 is not prime. Res64: DCAACDADA2060E06 Time : 0.0 sec. user=mdettweiler [2015-08-12 20:26:47] 741*2^1406155-1 is not prime. Res64: 011933E73DC580C9 Time : 0.0 sec. user=mdettweiler [2015-08-12 20:47:13] 751*2^1406155-1 is not prime. Res64: 4DA1B2F4173585C9 Time : 0.0 sec. user=mdettweiler [2015-08-12 20:47:14] 759*2^1406155-1 is not prime. Res64: 07CB98AEFF62AFFC Time : 0.0 sec. user=mdettweiler [2015-08-12 20:48:05] 913*2^1406155-1 is not prime. Res64: ABC526DF83B4F71F Time : 0.0 sec. user=mdettweiler [2015-08-12 20:48:05] 915*2^1406155-1 is not prime. Res64: CBF1675042B64F19 Time : 0.0 sec. user=mdettweiler [2015-08-12 21:08:56] 939*2^1406155-1 is not prime. Res64: 3B8D41428B968787 Time : 0.0 sec. user=mdettweiler [2015-08-12 21:08:56] 961*2^1406155-1 is not prime. Res64: E1B4600475E3D01A Time : 0.0 sec. user=mdettweiler [2015-08-12 21:09:21] 923*2^1406156-1 is not prime. Res64: 7F1A9C055DB179CD Time : 0.0 sec. user=mdettweiler [2015-08-12 21:09:21] 935*2^1406156-1 is not prime. Res64: AA875C7BCE79DC5A Time : 0.0 sec. user=mdettweiler [2015-08-12 21:30:30] 945*2^1406156-1 is not prime. Res64: DBD88FA268B4358B Time : 0.0 sec. user=mdettweiler [2015-08-12 21:30:30] 953*2^1406156-1 is not prime. Res64: 98FC2881EF766DA9 Time : 0.0 sec. user=mdettweiler [2015-08-12 21:30:33] 983*2^1406156-1 is not prime. Res64: C09F702E48F5F318 Time : 0.0 sec. user=mdettweiler [2015-08-12 21:30:33] 999*2^1406156-1 is not prime. Res64: 6868FF8BC3135D02 Time : 0.0 sec. user=mdettweiler [2015-08-12 21:52:17] 805*2^1406157-1 is not prime. Res64: A11E0A465231B2FB Time : 0.0 sec. user=mdettweiler [2015-08-12 21:52:18] 889*2^1406157-1 is not prime. Res64: 479DAEF52CDAEA21 Time : 0.0 sec. user=mdettweiler [2015-08-12 21:52:22] 601*2^1406157-1 is not prime. Res64: 849ABF70D1039BAD Time : 0.0 sec. user=mdettweiler [2015-08-12 21:52:22] 699*2^1406157-1 is not prime. Res64: A036EF70D57610BE Time : 0.0 sec. user=mdettweiler [2015-08-12 22:12:31] 991*2^1406157-1 is not prime. Res64: CF43DBABF2DE8770 Time : 0.0 sec. user=mdettweiler [2015-08-12 22:12:31] 645*2^1406158-1 is not prime. Res64: EA7E207151B8FD9C Time : 0.0 sec. user=mdettweiler [2015-08-12 22:12:35] 665*2^1406158-1 is not prime. Res64: BB5FA066BDE08B37 Time : 0.0 sec. user=mdettweiler [2015-08-12 22:12:35] 731*2^1406158-1 is not prime. Res64: 19009329F5998332 Time : 0.0 sec. user=mdettweiler [2015-08-12 22:33:18] 863*2^1406158-1 is not prime. Res64: 2B0AED070689ADB8 Time : 0.0 sec. user=mdettweiler [2015-08-12 22:33:18] 945*2^1406158-1 is not prime. Res64: 69FFA827B502D308 Time : 0.0 sec. user=mdettweiler [2015-08-12 22:33:33] 747*2^1406158-1 is not prime. Res64: C6C8073CF046A2ED Time : 0.0 sec. user=mdettweiler [2015-08-12 22:33:34] 861*2^1406158-1 is not prime. Res64: B2A77208BF84FA6A Time : 0.0 sec. user=mdettweiler [2015-08-12 22:56:16] 621*2^1406159-1 is not prime. Res64: 94A63B3298193903 Time : 0.0 sec. user=mdettweiler [2015-08-12 22:56:17] 645*2^1406159-1 is not prime. Res64: 3BD095B4BC59D3CD Time : 0.0 sec. user=mdettweiler [2015-08-12 22:56:20] 987*2^1406158-1 is not prime. Res64: A6A3BEB5090D3146 Time : 0.0 sec. user=mdettweiler [2015-08-12 22:56:20] 995*2^1406158-1 is not prime. Res64: 571A56D9EDA60452 Time : 0.0 sec. user=mdettweiler [2015-08-12 23:16:34] 693*2^1406159-1 is not prime. Res64: A18BE6C7C6C02AF5 Time : 0.0 sec. user=mdettweiler [2015-08-12 23:16:35] 703*2^1406159-1 is not prime. Res64: D963C83579E98602 Time : 0.0 sec. user=mdettweiler [2015-08-12 23:17:15] 745*2^1406159-1 is not prime. Res64: AA2B2CDFBB7E22AC Time : 0.0 sec. user=mdettweiler [2015-08-12 23:17:16] 825*2^1406159-1 is not prime. Res64: EBBB2C3FA00A7341 Time : 0.0 sec. user=mdettweiler [2015-08-12 23:38:38] 831*2^1406159-1 is not prime. Res64: 01C34BE61A4CC7F7 Time : 0.0 sec. user=mdettweiler [2015-08-12 23:38:39] 889*2^1406159-1 is not prime. Res64: 2D09840C790D6A06 Time : 0.0 sec. user=mdettweiler [2015-08-12 23:39:37] 921*2^1406159-1 is not prime. Res64: 830C9BAD5CFC2E67 Time : 0.0 sec. user=mdettweiler [2015-08-12 23:39:37] 693*2^1406160-1 is not prime. Res64: FA96A15180D11063 Time : 0.0 sec. user=mdettweiler [2015-08-13 00:00:44] 795*2^1406160-1 is not prime. Res64: 6C7FBCE3F1CAAA3B Time : 0.0 sec. user=mdettweiler [2015-08-13 00:00:44] 899*2^1406160-1 is not prime. Res64: 956C9D265BE5BACC Time : 0.0 sec.