user=vaughan [2012-09-17 00:07:16] 635*2^1228790-1 is not prime. Res64: 9EA0A0B156B99067 Time : 0.0 sec. user=mdettweiler [2012-09-17 00:10:24] 801*2^1228790-1 is not prime. Res64: 9AC4F80318F8D1C1 Time : 0.0 sec. user=mdettweiler [2012-09-17 00:10:26] 875*2^1228790-1 is not prime. Res64: 5F4C682F10BD98EC Time : 0.0 sec. user=mdettweiler [2012-09-17 00:16:34] 935*2^1228790-1 is not prime. Res64: 9BCD56AAAAC75057 Time : 0.0 sec. user=mdettweiler [2012-09-17 00:16:34] 965*2^1228790-1 is not prime. Res64: 7AF6909E7D545B09 Time : 0.0 sec. user=mdettweiler [2012-09-17 00:34:42] 625*2^1228791-1 is not prime. Res64: 5D79502EFC21B486 Time : 0.0 sec. user=mdettweiler [2012-09-17 00:34:43] 795*2^1228791-1 is not prime. Res64: ABC8124E07762EB1 Time : 0.0 sec. user=mdettweiler [2012-09-17 00:39:12] 921*2^1228791-1 is not prime. Res64: EB6710F41C556631 Time : 0.0 sec. user=mdettweiler [2012-09-17 00:39:12] 645*2^1228792-1 is not prime. Res64: 510DCB5C2DEF1FEB Time : 0.0 sec. user=vaughan [2012-09-17 00:44:50] 977*2^1228790-1 is not prime. Res64: A715D888CC80797B Time : 0.0 sec. user=mdettweiler [2012-09-17 00:55:36] 803*2^1228792-1 is not prime. Res64: 7243F17F9E135E98 Time : 0.0 sec. user=mdettweiler [2012-09-17 00:55:37] 833*2^1228792-1 is not prime. Res64: ADDF15B47F3C5C7E Time : 0.0 sec. user=mdettweiler [2012-09-17 00:59:56] 855*2^1228792-1 is not prime. Res64: B5ED6D5E2EF94C71 Time : 0.0 sec. user=mdettweiler [2012-09-17 00:59:57] 909*2^1228792-1 is not prime. Res64: B859ACCA77BECFDF Time : 0.0 sec. user=mdettweiler [2012-09-17 01:16:25] 631*2^1228793-1 is not prime. Res64: 59A8400E3EAEE25D Time : 0.0 sec. user=mdettweiler [2012-09-17 01:16:27] 675*2^1228793-1 is not prime. Res64: 3B7EDF699DC1B035 Time : 0.0 sec. user=mdettweiler [2012-09-17 01:20:45] 715*2^1228793-1 is not prime. Res64: 7001DA73381B9721 Time : 0.0 sec. user=mdettweiler [2012-09-17 01:20:46] 735*2^1228793-1 is not prime. Res64: 853B68E57786E67D Time : 0.0 sec. user=vaughan [2012-09-17 01:22:22] 923*2^1228792-1 is not prime. Res64: 6928D29CE8764745 Time : 0.0 sec. user=mdettweiler [2012-09-17 01:37:35] 847*2^1228793-1 is not prime. Res64: 2C8CA4CC57B02617 Time : 0.0 sec. user=mdettweiler [2012-09-17 01:37:36] 879*2^1228793-1 is not prime. Res64: 5E0B456446FB3292 Time : 0.0 sec. user=mdettweiler [2012-09-17 01:41:37] 885*2^1228793-1 is not prime. Res64: EA0E438D57B38C18 Time : 0.0 sec. user=mdettweiler [2012-09-17 01:41:38] 741*2^1228794-1 is not prime. Res64: 8659A118F85B488F Time : 0.0 sec. user=juhehe [2012-09-17 01:55:04] 837*2^1228793-1 is not prime. Res64: ADE84668FC2262A6 Time : 0.0 sec. user=mdettweiler [2012-09-17 01:58:25] 773*2^1228794-1 is not prime. Res64: 6A05CB488EB4A3D6 Time : 0.0 sec. user=mdettweiler [2012-09-17 01:58:27] 783*2^1228794-1 is not prime. Res64: 5980BC2E3A7A50D6 Time : 0.0 sec. user=vaughan [2012-09-17 01:59:55] 765*2^1228794-1 is not prime. Res64: 38DB51D333192036 Time : 0.0 sec. user=mdettweiler [2012-09-17 02:02:23] 851*2^1228794-1 is not prime. Res64: D65A80143071AB6B Time : 0.0 sec. user=mdettweiler [2012-09-17 02:02:24] 873*2^1228794-1 is not prime. Res64: 20DF8364994EA71C Time : 0.0 sec. user=mdettweiler [2012-09-17 02:19:16] 603*2^1228795-1 is not prime. Res64: A0111591C9A5BF16 Time : 0.0 sec. user=mdettweiler [2012-09-17 02:19:17] 649*2^1228795-1 is not prime. Res64: 7F3D77E75D7DBD38 Time : 0.0 sec. user=mdettweiler [2012-09-17 02:23:11] 733*2^1228795-1 is not prime. Res64: EE4B21213CA813E7 Time : 0.0 sec. user=mdettweiler [2012-09-17 02:23:12] 849*2^1228795-1 is not prime. Res64: F8A8FE8C29DF72AF Time : 0.0 sec. user=vaughan [2012-09-17 02:37:29] 685*2^1228795-1 is not prime. Res64: 35335924C9956D7B Time : 0.0 sec. user=mdettweiler [2012-09-17 02:40:04] 861*2^1228795-1 is not prime. Res64: D3DB0FC970786DBA Time : 0.0 sec. user=mdettweiler [2012-09-17 02:40:06] 873*2^1228795-1 is not prime. Res64: 064095A350C51175 Time : 0.0 sec. user=mdettweiler [2012-09-17 02:44:01] 961*2^1228795-1 is not prime. Res64: 3B78211EB8BE13CB Time : 0.0 sec. user=mdettweiler [2012-09-17 02:44:04] 969*2^1228795-1 is not prime. Res64: 89C8DC42D16C34D8 Time : 0.0 sec. user=gd_barnes [2012-09-17 02:47:36] 853*2^1228795-1 is not prime. Res64: 0982BD9B9BC21A04 Time : 0.0 sec. user=mdettweiler [2012-09-17 03:00:57] 867*2^1228796-1 is not prime. Res64: 7B6106BE0CAD8AC9 Time : 0.0 sec. user=mdettweiler [2012-09-17 03:00:58] 963*2^1228796-1 is not prime. Res64: DA9E2C252AB0EDA4 Time : 0.0 sec. user=mdettweiler [2012-09-17 03:05:14] 667*2^1228797-1 is not prime. Res64: 4C9858966F1ABAE1 Time : 0.0 sec. user=mdettweiler [2012-09-17 03:05:16] 699*2^1228797-1 is not prime. Res64: 85A75984A40000A1 Time : 0.0 sec. user=vaughan [2012-09-17 03:15:21] 857*2^1228796-1 is not prime. Res64: C21D284852E07575 Time : 0.0 sec. user=mdettweiler [2012-09-17 03:21:59] 727*2^1228797-1 is not prime. Res64: 1B571BA788C03C0A Time : 0.0 sec. user=mdettweiler [2012-09-17 03:22:01] 819*2^1228797-1 is not prime. Res64: C937543AC88C5A8E Time : 0.0 sec. user=mdettweiler [2012-09-17 03:26:32] 849*2^1228797-1 is not prime. Res64: 34DE4F619E3E0F4A Time : 0.0 sec. user=mdettweiler [2012-09-17 03:26:33] 891*2^1228797-1 is not prime. Res64: 5A0FCFA1E4D78128 Time : 0.0 sec. user=mdettweiler [2012-09-17 03:42:58] 603*2^1228798-1 is not prime. Res64: 105B580CA60D5AEE Time : 0.0 sec. user=mdettweiler [2012-09-17 03:42:59] 657*2^1228798-1 is not prime. Res64: 18239989E13010A1 Time : 0.0 sec. user=mdettweiler [2012-09-17 03:47:20] 665*2^1228798-1 is not prime. Res64: 6D2D827FF8A198FB Time : 0.0 sec. user=mdettweiler [2012-09-17 03:47:21] 671*2^1228798-1 is not prime. Res64: 928F1877187E0535 Time : 0.0 sec. user=vaughan [2012-09-17 03:53:00] 979*2^1228797-1 is not prime. Res64: 0C0C0607CDC63D1C Time : 0.0 sec. user=mdettweiler [2012-09-17 04:03:51] 755*2^1228798-1 is not prime. Res64: 366FA6182B49A4E6 Time : 0.0 sec. user=mdettweiler [2012-09-17 04:03:53] 813*2^1228798-1 is not prime. Res64: F2FEEE09A0ADB827 Time : 0.0 sec. user=mdettweiler [2012-09-17 04:08:10] 863*2^1228798-1 is not prime. Res64: 4B4C1CD40116CF73 Time : 0.0 sec. user=mdettweiler [2012-09-17 04:08:11] 887*2^1228798-1 is not prime. Res64: 2D1875A7A444A510 Time : 0.0 sec. user=mdettweiler [2012-09-17 04:24:45] 705*2^1228799-1 is not prime. Res64: E4510B8701A3D28A Time : 0.0 sec. user=mdettweiler [2012-09-17 04:24:46] 741*2^1228799-1 is not prime. Res64: D77E149B3754FAC5 Time : 0.0 sec. user=mdettweiler [2012-09-17 04:28:58] 753*2^1228799-1 is not prime. Res64: 315CF2D0B6FAA8BA Time : 0.0 sec. user=mdettweiler [2012-09-17 04:28:59] 861*2^1228799-1 is not prime. Res64: D1564FC3E218F377 Time : 0.0 sec. user=vaughan [2012-09-17 04:30:41] 915*2^1228798-1 is not prime. Res64: 1B0214C409E9F5FE Time : 0.0 sec. user=mdettweiler [2012-09-17 04:45:38] 895*2^1228799-1 is not prime. Res64: BEEEDFDD6EFDAAEB Time : 0.0 sec. user=mdettweiler [2012-09-17 04:45:39] 979*2^1228799-1 is not prime. Res64: 48AB6C171BCF4418 Time : 0.0 sec. user=mdettweiler [2012-09-17 04:49:49] 609*2^1228800-1 is not prime. Res64: 14F3050075A33960 Time : 0.0 sec. user=mdettweiler [2012-09-17 04:49:49] 765*2^1228800-1 is not prime. Res64: D473D79B864155E1 Time : 0.0 sec. user=mdettweiler [2012-09-17 05:06:27] 915*2^1228800-1 is not prime. Res64: F5C80E90B0713786 Time : 0.0 sec. user=mdettweiler [2012-09-17 05:06:30] 929*2^1228800-1 is not prime. Res64: C69B6BCAA7B686B0 Time : 0.0 sec. user=vaughan [2012-09-17 05:08:19] 779*2^1228800-1 is not prime. Res64: F5180B26CB1EAFAC Time : 0.0 sec. user=mdettweiler [2012-09-17 05:10:34] 625*2^1228801-1 is not prime. Res64: 866418AE734DB7D5 Time : 0.0 sec. user=mdettweiler [2012-09-17 05:10:35] 649*2^1228801-1 is not prime. Res64: 0BCDBF1CFD9CA44D Time : 0.0 sec. user=mdettweiler [2012-09-17 05:27:35] 717*2^1228801-1 is not prime. Res64: D6570FE48813370B Time : 0.0 sec. user=mdettweiler [2012-09-17 05:27:35] 747*2^1228801-1 is not prime. Res64: E6968ED58350E72B Time : 0.0 sec. user=mdettweiler [2012-09-17 05:31:21] 775*2^1228801-1 is not prime. Res64: 701B74F8C1DB6E61 Time : 0.0 sec. user=mdettweiler [2012-09-17 05:31:22] 807*2^1228801-1 is not prime. Res64: E19AB298B9022CA9 Time : 0.0 sec. user=vaughan [2012-09-17 05:45:52] 751*2^1228801-1 is not prime. Res64: C501229D2BFA35D2 Time : 0.0 sec. user=mdettweiler [2012-09-17 05:48:23] 855*2^1228801-1 is not prime. Res64: 6F001F2C6B778A2C Time : 0.0 sec. user=mdettweiler [2012-09-17 05:48:24] 813*2^1228802-1 is not prime. Res64: CB61198BEDADF1F9 Time : 0.0 sec. user=mdettweiler [2012-09-17 05:52:09] 837*2^1228802-1 is not prime. Res64: AE92F4DBBA293D83 Time : 0.0 sec. user=mdettweiler [2012-09-17 05:52:10] 857*2^1228802-1 is not prime. Res64: F4885FF7E22EF2A4 Time : 0.0 sec. user=mdettweiler [2012-09-17 06:09:12] 723*2^1228803-1 is not prime. Res64: D34081C2AB18BD81 Time : 0.0 sec. user=mdettweiler [2012-09-17 06:09:14] 753*2^1228803-1 is not prime. Res64: 99FAC695753E9D36 Time : 0.0 sec. user=mdettweiler [2012-09-17 06:12:57] 775*2^1228803-1 is not prime. Res64: 0C0D14AC2390D0F8 Time : 0.0 sec. user=mdettweiler [2012-09-17 06:12:58] 781*2^1228803-1 is not prime. Res64: DFAD0B68E5CF3D05 Time : 0.0 sec. user=vaughan [2012-09-17 06:23:26] 721*2^1228803-1 is not prime. Res64: AB9BDEF2028009B4 Time : 0.0 sec. user=mdettweiler [2012-09-17 06:30:11] 829*2^1228803-1 is not prime. Res64: 28FE0B36D80FF10B Time : 0.0 sec. user=mdettweiler [2012-09-17 06:30:11] 891*2^1228803-1 is not prime. Res64: 4284C5E583B286B4 Time : 0.0 sec. user=mdettweiler [2012-09-17 06:33:54] 919*2^1228803-1 is not prime. Res64: 8D37132635C9DE0B Time : 0.0 sec. user=mdettweiler [2012-09-17 06:33:55] 665*2^1228804-1 is not prime. Res64: 98CB75931E3A9CAD Time : 0.0 sec. user=mdettweiler [2012-09-17 06:51:00] 803*2^1228804-1 is not prime. Res64: 1C9F68C8877CCC04 Time : 0.0 sec. user=mdettweiler [2012-09-17 06:51:01] 819*2^1228804-1 is not prime. Res64: B15851B990FC9255 Time : 0.0 sec. user=mdettweiler [2012-09-17 06:54:45] 825*2^1228804-1 is not prime. Res64: 174878850674B089 Time : 0.0 sec. user=mdettweiler [2012-09-17 06:54:46] 939*2^1228804-1 is not prime. Res64: ED5D582DC2E03FAE Time : 0.0 sec. user=vaughan [2012-09-17 07:01:03] 749*2^1228804-1 is not prime. Res64: 4600B3B02DFCF133 Time : 0.0 sec. user=mdettweiler [2012-09-17 07:11:49] 717*2^1228805-1 is not prime. Res64: 61D864F01FF241CC Time : 0.0 sec. user=mdettweiler [2012-09-17 07:11:52] 735*2^1228805-1 is not prime. Res64: 18C713E726FAA02C Time : 0.0 sec. user=mdettweiler [2012-09-17 07:15:36] 789*2^1228805-1 is not prime. Res64: 55C952A6C7865591 Time : 0.0 sec. user=mdettweiler [2012-09-17 07:15:39] 795*2^1228805-1 is not prime. Res64: 8F4EFA2E95EE7EC5 Time : 0.0 sec. user=mdettweiler [2012-09-17 07:32:45] 871*2^1228805-1 is not prime. Res64: 56905FD4196072EF Time : 0.0 sec. user=mdettweiler [2012-09-17 07:32:46] 939*2^1228805-1 is not prime. Res64: 51792C1ED2BCD3B9 Time : 0.0 sec. user=mdettweiler [2012-09-17 07:36:34] 693*2^1228806-1 is not prime. Res64: 9958CCC50C8A6233 Time : 0.0 sec. user=mdettweiler [2012-09-17 07:36:35] 713*2^1228806-1 is not prime. Res64: 712E10E5ACE03544 Time : 0.0 sec. user=vaughan [2012-09-17 07:38:48] 847*2^1228805-1 is not prime. Res64: 059C9C75E3A2661D Time : 0.0 sec. user=mdettweiler [2012-09-17 07:53:37] 777*2^1228806-1 is not prime. Res64: 4A5F401FEBCDA403 Time : 0.0 sec. user=mdettweiler [2012-09-17 07:53:38] 833*2^1228806-1 is not prime. Res64: F154FD967CC8E464 Time : 0.0 sec. user=mdettweiler [2012-09-17 07:57:28] 923*2^1228806-1 is not prime. Res64: 6C5FAAE48F469F1D Time : 0.0 sec. user=mdettweiler [2012-09-17 07:57:29] 963*2^1228806-1 is not prime. Res64: 3B8B3FFEF1C0B743 Time : 0.0 sec. user=mdettweiler [2012-09-17 08:14:28] 645*2^1228807-1 is not prime. Res64: 7C9F2A7D5FCE11AB Time : 0.0 sec. user=mdettweiler [2012-09-17 08:14:30] 729*2^1228807-1 is not prime. Res64: 03AAB79330B5698B Time : 0.0 sec. user=vaughan [2012-09-17 08:16:22] 619*2^1228807-1 is not prime. Res64: 63EDCFF23E6A3893 Time : 0.0 sec. user=mdettweiler [2012-09-17 08:18:17] 939*2^1228807-1 is not prime. Res64: 2DA989D17F72774B Time : 0.0 sec. user=mdettweiler [2012-09-17 08:18:18] 735*2^1228808-1 is not prime. Res64: 7294C8B6EAD9AC94 Time : 0.0 sec. user=mdettweiler [2012-09-17 08:35:55] 977*2^1228808-1 is not prime. Res64: F60BABE5C4CF870A Time : 0.0 sec. user=mdettweiler [2012-09-17 08:35:55] 681*2^1228809-1 is not prime. Res64: 91E46C50096A17AA Time : 0.0 sec. user=mdettweiler [2012-09-17 08:39:05] 705*2^1228809-1 is not prime. Res64: 6CCB6D43F760523D Time : 0.0 sec. user=mdettweiler [2012-09-17 08:39:06] 949*2^1228809-1 is not prime. Res64: BA0009E2264AB666 Time : 0.0 sec. user=vaughan [2012-09-17 08:53:59] 691*2^1228809-1 is not prime. Res64: 609AF1346CE05829 Time : 0.0 sec. user=mdettweiler [2012-09-17 08:56:46] 605*2^1228810-1 is not prime. Res64: 92E926A18F320594 Time : 0.0 sec. user=mdettweiler [2012-09-17 08:56:47] 669*2^1228811-1 is not prime. Res64: 3A1509F51A4A83D9 Time : 0.0 sec. user=mdettweiler [2012-09-17 08:59:54] 741*2^1228811-1 is not prime. Res64: A80ABB1595C6F3CE Time : 0.0 sec. user=mdettweiler [2012-09-17 08:59:55] 753*2^1228811-1 is not prime. Res64: 1BAE96CB7C7B2E75 Time : 0.0 sec. user=mdettweiler [2012-09-17 09:17:34] 945*2^1228811-1 is not prime. Res64: E52075D66827463A Time : 0.0 sec. user=mdettweiler [2012-09-17 09:17:34] 979*2^1228811-1 is not prime. Res64: 4E9F79DDE44A6830 Time : 0.0 sec. user=mdettweiler [2012-09-17 09:20:43] 999*2^1228811-1 is not prime. Res64: A064B9D689009F97 Time : 0.0 sec. user=mdettweiler [2012-09-17 09:20:44] 675*2^1228812-1 is not prime. Res64: 334042CE79AAD2EA Time : 0.0 sec. user=vaughan [2012-09-17 09:31:32] 811*2^1228811-1 is not prime. Res64: 6E9E37C8808678F7 Time : 0.0 sec. user=mdettweiler [2012-09-17 09:38:22] 777*2^1228812-1 is not prime. Res64: F737ABD80DDAE143 Time : 0.0 sec. user=mdettweiler [2012-09-17 09:38:23] 909*2^1228812-1 is not prime. Res64: 326C3A37B2159EF8 Time : 0.0 sec. user=mdettweiler [2012-09-17 09:41:31] 721*2^1228813-1 is not prime. Res64: 497921423E9D7BC7 Time : 0.0 sec. user=mdettweiler [2012-09-17 09:41:32] 885*2^1228813-1 is not prime. Res64: C7A0EB5DF48E94D6 Time : 0.0 sec. user=mdettweiler [2012-09-17 09:59:11] 717*2^1228814-1 is not prime. Res64: E29CF77D0B8A0AFC Time : 0.0 sec. user=mdettweiler [2012-09-17 09:59:11] 767*2^1228814-1 is not prime. Res64: DBE5F02265A48E36 Time : 0.0 sec. user=mdettweiler [2012-09-17 10:02:22] 993*2^1228814-1 is not prime. Res64: 99EC8040060813D1 Time : 0.0 sec. user=mdettweiler [2012-09-17 10:02:23] 613*2^1228815-1 is not prime. Res64: E8165CF16C6F2295 Time : 0.0 sec. user=vaughan [2012-09-17 10:09:05] 925*2^1228813-1 is not prime. Res64: 40A370AB783C440D Time : 0.0 sec. user=mdettweiler [2012-09-17 10:20:05] 693*2^1228815-1 is not prime. Res64: 580CEB6B54C13761 Time : 0.0 sec. user=mdettweiler [2012-09-17 10:20:06] 775*2^1228815-1 is not prime. Res64: 28B1118344C415EF Time : 0.0 sec. user=mdettweiler [2012-09-17 10:23:22] 955*2^1228815-1 is not prime. Res64: B52BF45C88C5C617 Time : 0.0 sec. user=mdettweiler [2012-09-17 10:23:23] 979*2^1228815-1 is not prime. Res64: AA3587D63650E78B Time : 0.0 sec. user=juhehe [2012-09-17 10:39:32] 625*2^1228815-1 is not prime. Res64: 7B18734B429804BE Time : 0.0 sec. user=mdettweiler [2012-09-17 10:41:19] 747*2^1228816-1 is not prime. Res64: A01F5626411A6D98 Time : 0.0 sec. user=mdettweiler [2012-09-17 10:41:19] 917*2^1228816-1 is not prime. Res64: B47EA6CFEEC26E81 Time : 0.0 sec. user=mdettweiler [2012-09-17 10:44:38] 927*2^1228816-1 is not prime. Res64: A3E860279DBF1344 Time : 0.0 sec. user=mdettweiler [2012-09-17 10:44:40] 957*2^1228816-1 is not prime. Res64: 3DC6558A5686EBB0 Time : 0.0 sec. user=vaughan [2012-09-17 10:46:41] 991*2^1228815-1 is not prime. Res64: 8EBD2C7EE797831E Time : 0.0 sec. user=mdettweiler [2012-09-17 11:02:56] 781*2^1228817-1 is not prime. Res64: CC224DBABBA8F511 Time : 0.0 sec. user=mdettweiler [2012-09-17 11:02:58] 801*2^1228817-1 is not prime. Res64: 3480321507DEECDC Time : 0.0 sec. user=mdettweiler [2012-09-17 11:06:18] 861*2^1228817-1 is not prime. Res64: 2B9AF5F7204F56CD Time : 0.0 sec. user=mdettweiler [2012-09-17 11:06:20] 725*2^1228818-1 is not prime. Res64: CCE01DDE448E9115 Time : 0.0 sec. user=vaughan [2012-09-17 11:24:14] 803*2^1228818-1 is not prime. Res64: F2D88A514F4BC897 Time : 0.0 sec. user=mdettweiler [2012-09-17 11:24:19] 815*2^1228818-1 is not prime. Res64: C53FCBF8D93A425D Time : 0.0 sec. user=mdettweiler [2012-09-17 11:24:20] 885*2^1228818-1 is not prime. Res64: F2B7D8342548A9E3 Time : 0.0 sec. user=mdettweiler [2012-09-17 11:27:36] 631*2^1228819-1 is not prime. Res64: 946709024D10F7C6 Time : 0.0 sec. user=mdettweiler [2012-09-17 11:27:37] 639*2^1228819-1 is not prime. Res64: D74002A2261705EE Time : 0.0 sec. user=juhehe [2012-09-17 11:29:17] 675*2^1228817-1 is not prime. Res64: F9E85A4189E8F615 Time : 0.0 sec. user=mdettweiler [2012-09-17 11:45:30] 829*2^1228819-1 is not prime. Res64: 1152A921AA76EF01 Time : 0.0 sec. user=mdettweiler [2012-09-17 11:45:31] 951*2^1228819-1 is not prime. Res64: 4D2C2569D5B83511 Time : 0.0 sec. user=mdettweiler [2012-09-17 11:48:43] 961*2^1228819-1 is not prime. Res64: D31A061622E6DF7C Time : 0.0 sec. user=mdettweiler [2012-09-17 11:48:44] 975*2^1228819-1 is not prime. Res64: 257F587789421AA1 Time : 0.0 sec. user=vaughan [2012-09-17 12:01:52] 741*2^1228819-1 is not prime. Res64: 0659B08A690BE103 Time : 0.0 sec. user=mdettweiler [2012-09-17 12:06:14] 743*2^1228820-1 is not prime. Res64: E3ACE6EF540B40C5 Time : 0.0 sec. user=mdettweiler [2012-09-17 12:06:16] 767*2^1228820-1 is not prime. Res64: 5184B4CB930FA67D Time : 0.0 sec. user=mdettweiler [2012-09-17 12:09:27] 929*2^1228820-1 is not prime. Res64: D3B16180E272CFE2 Time : 0.0 sec. user=mdettweiler [2012-09-17 12:09:29] 977*2^1228820-1 is not prime. Res64: B1B3583680A0F40A Time : 0.0 sec. user=juhehe [2012-09-17 12:19:06] 603*2^1228820-1 is not prime. Res64: FAAA96EE32863471 Time : 0.0 sec. user=mdettweiler [2012-09-17 12:27:04] 717*2^1228821-1 is not prime. Res64: 5DAFDCCA4773E995 Time : 0.0 sec. user=mdettweiler [2012-09-17 12:27:05] 735*2^1228821-1 is not prime. Res64: 4D5C5424E0A66174 Time : 0.0 sec. user=mdettweiler [2012-09-17 12:30:17] 745*2^1228821-1 is not prime. Res64: 29BD2C7DEFD6BA3F Time : 0.0 sec. user=vaughan [2012-09-17 12:39:36] 995*2^1228820-1 is not prime. Res64: 0B81FE691626196B Time : 0.0 sec. user=mdettweiler [2012-09-17 12:47:41] 927*2^1228821-1 is not prime. Res64: 437357DC5136DA32 Time : 0.0 sec. user=mdettweiler [2012-09-17 12:47:42] 969*2^1228821-1 is not prime. Res64: 63B17BF166795D8C Time : 0.0 sec. user=mdettweiler [2012-09-17 13:01:32] 867*2^1228821-1 is not prime. Res64: 053120945CFB41E3 Time : 0.0 sec. user=mdettweiler [2012-09-17 13:08:18] 761*2^1228822-1 is not prime. Res64: 8CFE9B0D7F15E31C Time : 0.0 sec. user=mdettweiler [2012-09-17 13:08:19] 765*2^1228822-1 is not prime. Res64: CD393F402C87865D Time : 0.0 sec. user=juhehe [2012-09-17 13:09:15] 895*2^1228821-1 is not prime. Res64: 6EE715BA1C435140 Time : 0.0 sec. user=vaughan [2012-09-17 13:17:12] 999*2^1228821-1 is not prime. Res64: 7EBAD88F7B833897 Time : 0.0 sec. user=mdettweiler [2012-09-17 13:22:28] 813*2^1228822-1 is not prime. Res64: 0B543F4CE67F84C4 Time : 0.0 sec. user=mdettweiler [2012-09-17 13:22:29] 831*2^1228822-1 is not prime. Res64: 013D06C1092C598E Time : 0.0 sec. user=mdettweiler [2012-09-17 13:29:08] 867*2^1228822-1 is not prime. Res64: 21E135D0602C9BBF Time : 0.0 sec. user=mdettweiler [2012-09-17 13:29:10] 911*2^1228822-1 is not prime. Res64: AF4A62F49B21EDDE Time : 0.0 sec. user=mdettweiler [2012-09-17 13:43:15] 609*2^1228823-1 is not prime. Res64: 0DC2F28CB5BAD9E0 Time : 0.0 sec. user=mdettweiler [2012-09-17 13:43:16] 685*2^1228823-1 is not prime. Res64: CBEA5A831FBE757B Time : 0.0 sec. user=mdettweiler [2012-09-17 13:49:58] 703*2^1228823-1 is not prime. Res64: ECBEE101F3262F9E Time : 0.0 sec. user=mdettweiler [2012-09-17 13:49:59] 735*2^1228823-1 is not prime. Res64: 741EC8627474F15C Time : 0.0 sec. user=vaughan [2012-09-17 13:54:55] 951*2^1228822-1 is not prime. Res64: 09E9646EA391B95D Time : 0.0 sec. user=mdettweiler [2012-09-17 14:04:10] 783*2^1228823-1 is not prime. Res64: D0907C1255065E51 Time : 0.0 sec. user=mdettweiler [2012-09-17 14:04:11] 823*2^1228823-1 is not prime. Res64: E1830024BAE24924 Time : 0.0 sec. user=mdettweiler [2012-09-17 14:10:56] 939*2^1228823-1 is not prime. Res64: A1C24FEF70F453A4 Time : 0.0 sec. user=mdettweiler [2012-09-17 14:10:57] 605*2^1228824-1 is not prime. Res64: D2BC41230D9E6D57 Time : 0.0 sec. user=mdettweiler [2012-09-17 14:25:12] 689*2^1228824-1 is not prime. Res64: B14145C3943207A8 Time : 0.0 sec. user=mdettweiler [2012-09-17 14:25:13] 719*2^1228824-1 is not prime. Res64: C5EB1254F6EF69F7 Time : 0.0 sec. user=mdettweiler [2012-09-17 14:31:53] 759*2^1228824-1 is not prime. Res64: F550EE66A9B927F5 Time : 0.0 sec. user=mdettweiler [2012-09-17 14:31:54] 773*2^1228824-1 is not prime. Res64: 1D93CDD4179D032B Time : 0.0 sec. user=vaughan [2012-09-17 14:32:34] 639*2^1228824-1 is not prime. Res64: F36249DA08A1615B Time : 0.0 sec. user=juhehe [2012-09-17 14:44:37] 635*2^1228824-1 is not prime. Res64: 33F0EE9643A4443A Time : 0.0 sec. user=mdettweiler [2012-09-17 14:46:08] 789*2^1228824-1 is not prime. Res64: 14C790E19375E1E8 Time : 0.0 sec. user=mdettweiler [2012-09-17 14:46:09] 843*2^1228824-1 is not prime. Res64: 3CAD5C04AC559D10 Time : 0.0 sec. user=mdettweiler [2012-09-17 14:52:47] 917*2^1228824-1 is not prime. Res64: CB7D33CA8888A2A6 Time : 0.0 sec. user=mdettweiler [2012-09-17 14:52:47] 625*2^1228825-1 is not prime. Res64: DD28CDFA236F4130 Time : 0.0 sec. user=mdettweiler [2012-09-17 15:07:54] 699*2^1228825-1 is not prime. Res64: BA5946C497A8BB73 Time : 0.0 sec. user=mdettweiler [2012-09-17 15:07:56] 889*2^1228825-1 is not prime. Res64: 859C5249FD15A6E0 Time : 0.0 sec. user=vaughan [2012-09-17 15:10:09] 691*2^1228825-1 is not prime. Res64: 66E7C5A1BC070D3A Time : 0.0 sec. user=mdettweiler [2012-09-17 15:14:50] 951*2^1228825-1 is not prime. Res64: 8814120C7CBD5B62 Time : 0.0 sec. user=mdettweiler [2012-09-17 15:14:53] 985*2^1228825-1 is not prime. Res64: 98451B38071242EA Time : 0.0 sec. user=mdettweiler [2012-09-17 15:30:06] 701*2^1228826-1 is not prime. Res64: B8B41A91772569C4 Time : 0.0 sec. user=mdettweiler [2012-09-17 15:30:07] 825*2^1228826-1 is not prime. Res64: 52434ED2384C2FC1 Time : 0.0 sec. user=mdettweiler [2012-09-17 15:37:08] 861*2^1228827-1 is not prime. Res64: AC32C97597A41E0C Time : 0.0 sec. user=mdettweiler [2012-09-17 15:37:09] 891*2^1228827-1 is not prime. Res64: E5EB2E92220BDE63 Time : 0.0 sec. user=vaughan [2012-09-17 15:47:45] 873*2^1228826-1 is not prime. Res64: 5FBF6DD7994CB0D0 Time : 0.0 sec. user=mdettweiler [2012-09-17 15:51:18] 931*2^1228827-1 is not prime. Res64: 66FFDF1C4928F9A5 Time : 0.0 sec. user=mdettweiler [2012-09-17 15:51:18] 635*2^1228828-1 is not prime. Res64: 1E4E4342949AD0FF Time : 0.0 sec. user=mdettweiler [2012-09-17 15:58:14] 647*2^1228828-1 is not prime. Res64: 868378EF66944E89 Time : 0.0 sec. user=mdettweiler [2012-09-17 15:58:15] 665*2^1228828-1 is not prime. Res64: 28D7F362746442E4 Time : 0.0 sec. user=mdettweiler [2012-09-17 16:12:24] 989*2^1228828-1 is not prime. Res64: CFDE2B362C0B9DD1 Time : 0.0 sec. user=mdettweiler [2012-09-17 16:12:26] 655*2^1228829-1 is not prime. Res64: 5A1617F37E013BDE Time : 0.0 sec. user=mdettweiler [2012-09-17 16:19:42] 727*2^1228829-1 is not prime. Res64: 0BB337177C5BDAF3 Time : 0.0 sec. user=mdettweiler [2012-09-17 16:19:43] 781*2^1228829-1 is not prime. Res64: A56E1189A8112392 Time : 0.0 sec. user=vaughan [2012-09-17 16:25:19] 819*2^1228828-1 is not prime. Res64: CBD1A72C97CC37CE Time : 0.0 sec. user=mdettweiler [2012-09-17 16:34:28] 831*2^1228829-1 is not prime. Res64: E80B610E41144BBF Time : 0.0 sec. user=mdettweiler [2012-09-17 16:34:29] 927*2^1228829-1 is not prime. Res64: 9E8293FC4E6ABCF2 Time : 0.0 sec. user=mdettweiler [2012-09-17 16:41:08] 647*2^1228830-1 is not prime. Res64: 63F06E1BFD863952 Time : 0.0 sec. user=mdettweiler [2012-09-17 16:41:09] 681*2^1228830-1 is not prime. Res64: 538072D644DF7E08 Time : 0.0 sec. user=mdettweiler [2012-09-17 16:55:34] 867*2^1228830-1 is not prime. Res64: 4DD4199684D873E2 Time : 0.0 sec. user=mdettweiler [2012-09-17 16:55:35] 1001*2^1228830-1 is not prime. Res64: 1253383905F07D74 Time : 0.0 sec. user=mdettweiler [2012-09-17 17:02:05] 651*2^1228831-1 is not prime. Res64: 84DF54C8BB5EB6F2 Time : 0.0 sec. user=mdettweiler [2012-09-17 17:02:07] 675*2^1228831-1 is not prime. Res64: 154138F6EA0F34E1 Time : 0.0 sec. user=vaughan [2012-09-17 17:02:56] 797*2^1228830-1 is not prime. Res64: BDCC25BCFF662698 Time : 0.0 sec. user=juhehe [2012-09-17 17:03:28] 611*2^1228830-1 is not prime. Res64: 1B8D13B161E95214 Time : 0.0 sec. user=mdettweiler [2012-09-17 17:16:31] 703*2^1228831-1 is not prime. Res64: 4C472FFFD7288608 Time : 0.0 sec. user=mdettweiler [2012-09-17 17:16:33] 871*2^1228831-1 is not prime. Res64: F8EB1DACAFA0B368 Time : 0.0 sec. user=mdettweiler [2012-09-17 17:23:21] 909*2^1228831-1 is not prime. Res64: 87208EE0A7C31E7E Time : 0.0 sec. user=mdettweiler [2012-09-17 17:23:22] 951*2^1228831-1 is not prime. Res64: 125883359865A941 Time : 0.0 sec. user=mdettweiler [2012-09-17 17:37:34] 617*2^1228832-1 is not prime. Res64: 3EC4F24B842D6972 Time : 0.0 sec. user=mdettweiler [2012-09-17 17:37:35] 635*2^1228832-1 is not prime. Res64: BBE580ABDE2955E6 Time : 0.0 sec. user=vaughan [2012-09-17 17:40:32] 615*2^1228832-1 is not prime. Res64: C332D07A59F57EE8 Time : 0.0 sec. user=mdettweiler [2012-09-17 17:44:02] 677*2^1228832-1 is not prime. Res64: 8E59A287B54F1D67 Time : 0.0 sec. user=mdettweiler [2012-09-17 17:44:03] 797*2^1228832-1 is not prime. Res64: 68B4F7CF0EA630F9 Time : 0.0 sec. user=mdettweiler [2012-09-17 17:58:20] 827*2^1228832-1 is not prime. Res64: A47D9452EE752068 Time : 0.0 sec. user=mdettweiler [2012-09-17 17:58:21] 903*2^1228832-1 is not prime. Res64: 987A1483778DEDA4 Time : 0.0 sec. user=mdettweiler [2012-09-17 18:04:46] 769*2^1228833-1 is not prime. Res64: 5E027ABB51B5052A Time : 0.0 sec. user=mdettweiler [2012-09-17 18:04:47] 805*2^1228833-1 is not prime. Res64: 34223CC2A9F36767 Time : 0.0 sec. user=vaughan [2012-09-17 18:18:17] 917*2^1228832-1 is not prime. Res64: 49B4929E74A0581C Time : 0.0 sec. user=mdettweiler [2012-09-17 18:19:04] 847*2^1228833-1 is not prime. Res64: 928879ACC38FC7D4 Time : 0.0 sec. user=mdettweiler [2012-09-17 18:19:04] 901*2^1228833-1 is not prime. Res64: 3A66110AE1034515 Time : 0.0 sec. user=mdettweiler [2012-09-17 18:25:33] 633*2^1228834-1 is not prime. Res64: 8F4523E42814188D Time : 0.0 sec. user=mdettweiler [2012-09-17 18:25:33] 675*2^1228834-1 is not prime. Res64: 3105BE410A5959A5 Time : 0.0 sec. user=mdettweiler [2012-09-17 18:40:01] 881*2^1228834-1 is not prime. Res64: 5FEAB8F5E5056102 Time : 0.0 sec. user=mdettweiler [2012-09-17 18:40:02] 917*2^1228834-1 is not prime. Res64: A79A5120FF128764 Time : 0.0 sec. user=mdettweiler [2012-09-17 18:46:38] 981*2^1228834-1 is not prime. Res64: 870AB5B814A356E1 Time : 0.0 sec. user=mdettweiler [2012-09-17 18:46:38] 983*2^1228834-1 is not prime. Res64: 16773B59ADACF638 Time : 0.0 sec. user=vaughan [2012-09-17 18:56:07] 681*2^1228834-1 is not prime. Res64: B033C4E041E11D20 Time : 0.0 sec. user=mdettweiler [2012-09-17 19:01:16] 619*2^1228835-1 is not prime. Res64: 87751A22DFA30A1A Time : 0.0 sec. user=mdettweiler [2012-09-17 19:01:17] 655*2^1228835-1 is not prime. Res64: F16DEF856569E1C2 Time : 0.0 sec. user=mdettweiler [2012-09-17 19:07:53] 825*2^1228835-1 is not prime. Res64: 6CF7C286D9641363 Time : 0.0 sec. user=mdettweiler [2012-09-17 19:07:54] 855*2^1228835-1 is not prime. Res64: E6F23B33DCE722C2 Time : 0.0 sec. user=juhehe [2012-09-17 19:19:40] 987*2^1228834-1 is not prime. Res64: 207D01117C8770ED Time : 0.0 sec. user=mdettweiler [2012-09-17 19:22:28] 609*2^1228836-1 is not prime. Res64: 623299AB3A8EC2B3 Time : 0.0 sec. user=mdettweiler [2012-09-17 19:22:28] 725*2^1228836-1 is not prime. Res64: 10079027BE6E253A Time : 0.0 sec. user=mdettweiler [2012-09-17 19:29:09] 765*2^1228836-1 is not prime. Res64: C1794F146498AE41 Time : 0.0 sec. user=mdettweiler [2012-09-17 19:29:09] 837*2^1228836-1 is not prime. Res64: 56FF8FA4472574A6 Time : 0.0 sec. user=vaughan [2012-09-17 19:33:50] 963*2^1228835-1 is not prime. Res64: F8CCBEB07EF27331 Time : 0.0 sec. user=mdettweiler [2012-09-17 19:43:41] 839*2^1228836-1 is not prime. Res64: 489D177C46C8C23B Time : 0.0 sec. user=mdettweiler [2012-09-17 19:43:41] 845*2^1228836-1 is not prime. Res64: 0AD8D88A66F8B621 Time : 0.0 sec. user=mdettweiler [2012-09-17 19:50:38] 927*2^1228836-1 is not prime. Res64: 0031B8140FC0ABEA Time : 0.0 sec. user=mdettweiler [2012-09-17 19:50:39] 969*2^1228836-1 is not prime. Res64: 17228BD2D4D33DBD Time : 0.0 sec. user=mdettweiler [2012-09-17 20:04:54] 609*2^1228837-1 is not prime. Res64: 90BE18ADACD9D57A Time : 0.0 sec. user=mdettweiler [2012-09-17 20:04:57] 759*2^1228837-1 is not prime. Res64: 51C541CD984A5C1A Time : 0.0 sec. user=mdettweiler [2012-09-17 20:11:23] 801*2^1228837-1 is not prime. Res64: 5A00073064191F2E Time : 0.0 sec. user=mdettweiler [2012-09-17 20:11:25] 919*2^1228837-1 is not prime. Res64: 566C9993CD88C458 Time : 0.0 sec. user=vaughan [2012-09-17 20:11:37] 993*2^1228836-1 is not prime. Res64: C2F9CB688BD2E1DD Time : 0.0 sec. user=mdettweiler [2012-09-17 20:25:51] 945*2^1228837-1 is not prime. Res64: 5C0FA8AC504A4CA2 Time : 0.0 sec. user=mdettweiler [2012-09-17 20:25:52] 677*2^1228838-1 is not prime. Res64: 3E9698F554C74D02 Time : 0.0 sec. user=mdettweiler [2012-09-17 20:32:29] 753*2^1228838-1 is not prime. Res64: ECCC7FEF11B8FEFD Time : 0.0 sec. user=mdettweiler [2012-09-17 20:32:31] 801*2^1228838-1 is not prime. Res64: 486EC30FAFC46BB1 Time : 0.0 sec. user=mdettweiler [2012-09-17 20:46:46] 915*2^1228838-1 is not prime. Res64: C3ABB1CB67B1DA5E Time : 0.0 sec. user=mdettweiler [2012-09-17 20:46:47] 993*2^1228838-1 is not prime. Res64: 33B2D1854A2F38B6 Time : 0.0 sec. user=vaughan [2012-09-17 20:49:26] 893*2^1228838-1 is not prime. Res64: 12BFA93FBE462AF5 Time : 0.0 sec. user=mdettweiler [2012-09-17 20:53:29] 735*2^1228839-1 is not prime. Res64: 603E4927AAC9E02A Time : 0.0 sec. user=mdettweiler [2012-09-17 20:53:30] 741*2^1228839-1 is not prime. Res64: CB2E200E5AB0E32A Time : 0.0 sec. user=mdettweiler [2012-09-17 21:07:43] 763*2^1228839-1 is not prime. Res64: 50EB1BC935CF3756 Time : 0.0 sec. user=mdettweiler [2012-09-17 21:07:46] 865*2^1228839-1 is not prime. Res64: 55BB7DBB2F86DCE0 Time : 0.0 sec. user=mdettweiler [2012-09-17 21:14:19] 663*2^1228840-1 is not prime. Res64: 52CF506870C7578B Time : 0.0 sec. user=mdettweiler [2012-09-17 21:14:21] 927*2^1228840-1 is not prime. Res64: 138244DBC772DF02 Time : 0.0 sec. user=vaughan [2012-09-17 21:27:13] 999*2^1228839-1 is not prime. Res64: 6EC0C78205B41E36 Time : 0.0 sec. user=mdettweiler [2012-09-17 21:28:35] 691*2^1228841-1 is not prime. Res64: D43A4C1B966149B5 Time : 0.0 sec. user=mdettweiler [2012-09-17 21:28:36] 745*2^1228841-1 is not prime. Res64: 51FAD6D67C4FA20B Time : 0.0 sec. user=mdettweiler [2012-09-17 21:35:30] 925*2^1228841-1 is not prime. Res64: C64549C7EB136A11 Time : 0.0 sec. user=mdettweiler [2012-09-17 21:35:31] 657*2^1228842-1 is not prime. Res64: 8574848469859E3C Time : 0.0 sec. user=juhehe [2012-09-17 21:35:48] 873*2^1228839-1 is not prime. Res64: 39D723C98EE49C0E Time : 0.0 sec. user=mdettweiler [2012-09-17 21:49:11] 713*2^1228842-1 is not prime. Res64: 71E17D0A92A086BA Time : 0.0 sec. user=mdettweiler [2012-09-17 21:49:12] 725*2^1228842-1 is not prime. Res64: 64A7CF908AC11725 Time : 0.0 sec. user=mdettweiler [2012-09-17 21:56:06] 747*2^1228842-1 is not prime. Res64: 19D6489EDDFA889C Time : 0.0 sec. user=mdettweiler [2012-09-17 21:56:07] 755*2^1228842-1 is not prime. Res64: A1734D1EEAD0362F Time : 0.0 sec. user=vaughan [2012-09-17 22:04:57] 683*2^1228842-1 is not prime. Res64: 212FEEC156B74CCE Time : 0.0 sec. user=mdettweiler [2012-09-17 22:09:46] 673*2^1228843-1 is not prime. Res64: 943165C9D776571F Time : 0.0 sec. user=mdettweiler [2012-09-17 22:09:47] 699*2^1228843-1 is not prime. Res64: 2AFF6392E18BDE8A Time : 0.0 sec. user=mdettweiler [2012-09-17 22:16:45] 741*2^1228843-1 is not prime. Res64: 4B706FFDA20AF1C9 Time : 0.0 sec. user=mdettweiler [2012-09-17 22:16:46] 919*2^1228843-1 is not prime. Res64: 31FF8139B03E57CC Time : 0.0 sec. user=mdettweiler [2012-09-17 22:31:09] 617*2^1228844-1 is not prime. Res64: 367ED16C62F315A6 Time : 0.0 sec. user=mdettweiler [2012-09-17 22:31:10] 635*2^1228844-1 is not prime. Res64: 8CBD460A78508C1F Time : 0.0 sec. user=mdettweiler [2012-09-17 22:38:03] 857*2^1228844-1 is not prime. Res64: 76E5FD7621FDC6DF Time : 0.0 sec. user=mdettweiler [2012-09-17 22:38:04] 875*2^1228844-1 is not prime. Res64: F6116B4ABD12F09E Time : 0.0 sec. user=vaughan [2012-09-17 22:42:43] 999*2^1228843-1 is not prime. Res64: CF20FB00AD1846E3 Time : 0.0 sec. user=gd_barnes [2012-09-17 22:46:43] 755*2^1228844-1 is not prime. Res64: CC27002AB6503B26 Time : 0.0 sec. user=gd_barnes [2012-09-17 22:46:49] 677*2^1228844-1 is not prime. Res64: 8FA7CB4C2C70B1A6 Time : 0.0 sec. user=gd_barnes [2012-09-17 22:46:57] 767*2^1228844-1 is not prime. Res64: 9A79B8357F9FFE0B Time : 0.0 sec. user=mdettweiler [2012-09-17 22:52:06] 959*2^1228844-1 is not prime. Res64: 215CAA7898988074 Time : 0.0 sec. user=mdettweiler [2012-09-17 22:52:07] 983*2^1228844-1 is not prime. Res64: 5C1A4E4EC94D41B5 Time : 0.0 sec. user=mdettweiler [2012-09-17 22:58:59] 649*2^1228845-1 is not prime. Res64: BD1E2C9DACFF43DD Time : 0.0 sec. user=mdettweiler [2012-09-17 22:59:00] 691*2^1228845-1 is not prime. Res64: DFA17F1D8C763358 Time : 0.0 sec. user=mdettweiler [2012-09-17 23:12:58] 795*2^1228845-1 is not prime. Res64: 25DAB3E60C803B4D Time : 0.0 sec. user=mdettweiler [2012-09-17 23:13:00] 817*2^1228845-1 is not prime. Res64: DB20E960455F8B1B Time : 0.0 sec. user=mdettweiler [2012-09-17 23:19:46] 895*2^1228845-1 is not prime. Res64: 3E029A5647ED29C8 Time : 0.0 sec. user=mdettweiler [2012-09-17 23:19:47] 915*2^1228845-1 is not prime. Res64: 6C03076929F1532A Time : 0.0 sec. user=vaughan [2012-09-17 23:20:27] 717*2^1228845-1 is not prime. Res64: 2F925D7AF3C5E7D7 Time : 0.0 sec. user=mdettweiler [2012-09-17 23:34:10] 663*2^1228846-1 is not prime. Res64: 49CD1A6DE015590C Time : 0.0 sec. user=mdettweiler [2012-09-17 23:34:11] 705*2^1228846-1 is not prime. Res64: E90E1E490F83550C Time : 0.0 sec. user=mdettweiler [2012-09-17 23:40:39] 615*2^1228847-1 is not prime. Res64: 17830CDD9285DBD1 Time : 0.0 sec. user=mdettweiler [2012-09-17 23:40:39] 645*2^1228847-1 is not prime. Res64: D6E3C4A9F5E27C57 Time : 0.0 sec. user=juhehe [2012-09-17 23:54:36] 919*2^1228845-1 is not prime. Res64: 72FF0D23C1A1EC67 Time : 0.0 sec. user=mdettweiler [2012-09-17 23:55:05] 981*2^1228847-1 is not prime. Res64: 0DB5930E03E3EBDA Time : 0.0 sec. user=mdettweiler [2012-09-17 23:55:06] 627*2^1228848-1 is not prime. Res64: E96C1CFFE595D51E Time : 0.0 sec. user=vaughan [2012-09-17 23:58:10] 685*2^1228847-1 is not prime. Res64: 93CE335864DB6E81 Time : 0.0 sec.