user=vaughan [2012-12-23 00:07:34] 939*2^1237871-1 is not prime. Res64: 544F5662F4287A61 Time : 0.0 sec. user=mdettweiler [2012-12-23 00:15:32] 771*2^1237873-1 is not prime. Res64: 5A4DD825C60AACFF Time : 0.0 sec. user=mdettweiler [2012-12-23 00:15:43] 847*2^1237873-1 is not prime. Res64: D233AAF6AC58AF02 Time : 0.0 sec. user=mdettweiler [2012-12-23 00:15:53] 885*2^1237873-1 is not prime. Res64: C54AC88918F9EA8D Time : 0.0 sec. user=mdettweiler [2012-12-23 00:15:57] 895*2^1237873-1 is not prime. Res64: ADFC9F93BAF12B1E Time : 0.0 sec. user=mdettweiler [2012-12-23 00:33:47] 633*2^1237874-1 is not prime. Res64: 8D4797699B579995 Time : 0.0 sec. user=mdettweiler [2012-12-23 00:33:47] 665*2^1237874-1 is not prime. Res64: BC8F9F05265AFABD Time : 0.0 sec. user=vaughan [2012-12-23 00:45:29] 617*2^1237874-1 is not prime. Res64: 92CE3500914BE595 Time : 0.0 sec. user=mdettweiler [2012-12-23 00:51:10] 755*2^1237874-1 is not prime. Res64: 94C1202B900144FB Time : 0.0 sec. user=mdettweiler [2012-12-23 00:51:11] 791*2^1237874-1 is not prime. Res64: D87E7CBD5B1CBA87 Time : 0.0 sec. user=mdettweiler [2012-12-23 00:58:14] 815*2^1237874-1 is not prime. Res64: CB3E79CA4CD4F853 Time : 0.0 sec. user=mdettweiler [2012-12-23 00:58:15] 837*2^1237874-1 is not prime. Res64: 1B21946B30874E7F Time : 0.0 sec. user=mdettweiler [2012-12-23 01:08:33] 601*2^1237875-1 is not prime. Res64: 3540A8A9F5EB5134 Time : 0.0 sec. user=mdettweiler [2012-12-23 01:08:34] 619*2^1237875-1 is not prime. Res64: FF9D8D23816DEE1D Time : 0.0 sec. user=mdettweiler [2012-12-23 01:15:37] 643*2^1237875-1 is not prime. Res64: ECEE05C0E725EB1F Time : 0.0 sec. user=mdettweiler [2012-12-23 01:15:38] 765*2^1237875-1 is not prime. Res64: 2BFA7E5A999121C5 Time : 0.0 sec. user=vaughan [2012-12-23 01:23:13] 941*2^1237874-1 is not prime. Res64: 551FFEDA3FB6B158 Time : 0.0 sec. user=mdettweiler [2012-12-23 01:26:01] 783*2^1237875-1 is not prime. Res64: EB435BC711719E7C Time : 0.0 sec. user=mdettweiler [2012-12-23 01:26:02] 795*2^1237875-1 is not prime. Res64: 0B6369DC8F3C1683 Time : 0.0 sec. user=mdettweiler [2012-12-23 01:33:00] 859*2^1237875-1 is not prime. Res64: C79D33E71D348743 Time : 0.0 sec. user=mdettweiler [2012-12-23 01:33:01] 653*2^1237876-1 is not prime. Res64: D36FC85304B6878B Time : 0.0 sec. user=mdettweiler [2012-12-23 01:43:24] 705*2^1237876-1 is not prime. Res64: 918B3E10609500BD Time : 0.0 sec. user=mdettweiler [2012-12-23 01:43:25] 785*2^1237876-1 is not prime. Res64: 4D2F8F34C88449EC Time : 0.0 sec. user=mdettweiler [2012-12-23 01:50:23] 947*2^1237876-1 is not prime. Res64: 7AF20B88B1BAAA1A Time : 0.0 sec. user=mdettweiler [2012-12-23 01:50:23] 999*2^1237876-1 is not prime. Res64: 588A0B8C09F89CDD Time : 0.0 sec. user=mdettweiler [2012-12-23 02:00:47] 649*2^1237877-1 is not prime. Res64: 67EE27F8B2FF122C Time : 0.0 sec. user=mdettweiler [2012-12-23 02:00:48] 651*2^1237877-1 is not prime. Res64: C02E63C523268379 Time : 0.0 sec. user=vaughan [2012-12-23 02:01:01] 689*2^1237876-1 is not prime. Res64: EF91B1331636D25E Time : 0.0 sec. user=mdettweiler [2012-12-23 02:07:45] 669*2^1237877-1 is not prime. Res64: 02C14CC7F8F0A9E9 Time : 0.0 sec. user=mdettweiler [2012-12-23 02:07:47] 697*2^1237877-1 is not prime. Res64: 78F948D0700184B8 Time : 0.0 sec. user=mdettweiler [2012-12-23 02:18:12] 711*2^1237877-1 is not prime. Res64: 839F31A561B7F846 Time : 0.0 sec. user=mdettweiler [2012-12-23 02:18:13] 915*2^1237877-1 is not prime. Res64: 5E10F1B6655D1042 Time : 0.0 sec. user=mdettweiler [2012-12-23 02:25:19] 663*2^1237878-1 is not prime. Res64: BCA99309010B4DCE Time : 0.0 sec. user=mdettweiler [2012-12-23 02:25:19] 711*2^1237878-1 is not prime. Res64: 7CC58216AAEB3775 Time : 0.0 sec. user=mdettweiler [2012-12-23 02:35:35] 713*2^1237878-1 is not prime. Res64: FC47B2CD64D189FC Time : 0.0 sec. user=mdettweiler [2012-12-23 02:35:36] 725*2^1237878-1 is not prime. Res64: D72EEC626F459503 Time : 0.0 sec. user=mdettweiler [2012-12-23 02:42:42] 747*2^1237878-1 is not prime. Res64: E1BF456443BA87F5 Time : 0.0 sec. user=mdettweiler [2012-12-23 02:42:43] 791*2^1237878-1 is not prime. Res64: 39A3B2243AFCA1B5 Time : 0.0 sec. user=mdettweiler [2012-12-23 02:53:06] 861*2^1237878-1 is not prime. Res64: FBE0010CE63A5AD9 Time : 0.0 sec. user=mdettweiler [2012-12-23 02:53:07] 867*2^1237878-1 is not prime. Res64: 8E535FC6469A4C0A Time : 0.0 sec. user=mdettweiler [2012-12-23 03:00:13] 705*2^1237879-1 is not prime. Res64: 83A16E43AF29C595 Time : 0.0 sec. user=mdettweiler [2012-12-23 03:00:15] 759*2^1237879-1 is not prime. Res64: 2D4917D18BAFA356 Time : 0.0 sec. user=mdettweiler [2012-12-23 03:10:31] 813*2^1237879-1 is not prime. Res64: EEF2A6C5E8527698 Time : 0.0 sec. user=mdettweiler [2012-12-23 03:10:33] 841*2^1237879-1 is not prime. Res64: 216B505609957F8C Time : 0.0 sec. user=vaughan [2012-12-23 03:14:55] 615*2^1237878-1 is not prime. Res64: 1ED034AE06327D9D Time : 0.0 sec. user=mdettweiler [2012-12-23 03:17:40] 889*2^1237879-1 is not prime. Res64: 537C035E5169143E Time : 0.0 sec. user=mdettweiler [2012-12-23 03:17:41] 973*2^1237879-1 is not prime. Res64: 97A7398C4B6169E3 Time : 0.0 sec. user=gd_barnes [2012-12-23 03:21:27] 859*2^1237879-1 is not prime. Res64: 0DC798EBDFB41B76 Time : 0.0 sec. user=mdettweiler [2012-12-23 03:28:10] 999*2^1237879-1 is not prime. Res64: 4060DC52C60EC7D0 Time : 0.0 sec. user=mdettweiler [2012-12-23 03:28:10] 719*2^1237880-1 is not prime. Res64: 2CD66C55DE0C2254 Time : 0.0 sec. user=mdettweiler [2012-12-23 03:35:05] 795*2^1237880-1 is not prime. Res64: FF29F46C0F16C871 Time : 0.0 sec. user=mdettweiler [2012-12-23 03:35:07] 839*2^1237880-1 is not prime. Res64: 96E3EAB6CE35E6AC Time : 0.0 sec. user=mdettweiler [2012-12-23 03:45:32] 855*2^1237880-1 is not prime. Res64: B60729CA33F000A0 Time : 0.0 sec. user=mdettweiler [2012-12-23 03:45:33] 923*2^1237880-1 is not prime. Res64: BA9ABC67985124F0 Time : 0.0 sec. user=mdettweiler [2012-12-23 03:52:44] 963*2^1237880-1 is not prime. Res64: ABDC59B4A977781C Time : 0.0 sec. user=mdettweiler [2012-12-23 03:52:45] 661*2^1237881-1 is not prime. Res64: 77317FF517379CBA Time : 0.0 sec. user=vaughan [2012-12-23 03:52:48] 777*2^1237880-1 is not prime. Res64: ED2CA6D0B28A7E3A Time : 0.0 sec. user=mdettweiler [2012-12-23 04:02:56] 741*2^1237881-1 is not prime. Res64: 1123679CE458DD71 Time : 0.0 sec. user=mdettweiler [2012-12-23 04:02:57] 889*2^1237881-1 is not prime. Res64: 420B85488F9EB497 Time : 0.0 sec. user=mdettweiler [2012-12-23 04:10:06] 895*2^1237881-1 is not prime. Res64: 709046BDD075B08F Time : 0.0 sec. user=mdettweiler [2012-12-23 04:10:08] 907*2^1237881-1 is not prime. Res64: 799EB5DA368DC65B Time : 0.0 sec. user=mdettweiler [2012-12-23 04:20:32] 921*2^1237881-1 is not prime. Res64: 988078A29D8D4A1A Time : 0.0 sec. user=mdettweiler [2012-12-23 04:20:32] 949*2^1237881-1 is not prime. Res64: 71CAFCA57988C0CF Time : 0.0 sec. user=mdettweiler [2012-12-23 04:27:33] 677*2^1237882-1 is not prime. Res64: E3E725D679FB0D6D Time : 0.0 sec. user=mdettweiler [2012-12-23 04:27:34] 723*2^1237882-1 is not prime. Res64: 3BBB68850FE02C5E Time : 0.0 sec. user=vaughan [2012-12-23 04:30:33] 909*2^1237881-1 is not prime. Res64: CBEBFE64C98C4E70 Time : 0.0 sec. user=mdettweiler [2012-12-23 04:37:56] 731*2^1237882-1 is not prime. Res64: FC2DCA08EB179930 Time : 0.0 sec. user=mdettweiler [2012-12-23 04:37:57] 735*2^1237882-1 is not prime. Res64: 635DBAF95625A02B Time : 0.0 sec. user=mdettweiler [2012-12-23 04:44:56] 917*2^1237882-1 is not prime. Res64: 642F1631DF2E9BE5 Time : 0.0 sec. user=mdettweiler [2012-12-23 04:44:57] 663*2^1237883-1 is not prime. Res64: 1E6F04E4C1B64176 Time : 0.0 sec. user=mdettweiler [2012-12-23 04:55:24] 789*2^1237883-1 is not prime. Res64: 941AD2DCD45CBFDF Time : 0.0 sec. user=mdettweiler [2012-12-23 04:55:24] 813*2^1237883-1 is not prime. Res64: 59A1B061E13028ED Time : 0.0 sec. user=mdettweiler [2012-12-23 05:02:24] 921*2^1237883-1 is not prime. Res64: C32F476A36F78B62 Time : 0.0 sec. user=mdettweiler [2012-12-23 05:02:26] 981*2^1237883-1 is not prime. Res64: 05D710A1D6452E9B Time : 0.0 sec. user=vaughan [2012-12-23 05:08:23] 705*2^1237883-1 is not prime. Res64: 33641FFB2D8F3762 Time : 0.0 sec. user=mdettweiler [2012-12-23 05:12:49] 985*2^1237883-1 is not prime. Res64: 90851697D7798C25 Time : 0.0 sec. user=mdettweiler [2012-12-23 05:12:49] 683*2^1237884-1 is not prime. Res64: 11788341FA0C380B Time : 0.0 sec. user=mdettweiler [2012-12-23 05:20:01] 705*2^1237884-1 is not prime. Res64: 89A49FCBAB9F9F7B Time : 0.0 sec. user=mdettweiler [2012-12-23 05:20:02] 725*2^1237884-1 is not prime. Res64: 4D6DDA800E6CBBDD Time : 0.0 sec. user=mdettweiler [2012-12-23 05:30:12] 887*2^1237884-1 is not prime. Res64: E40340FCB0F55C05 Time : 0.0 sec. user=mdettweiler [2012-12-23 05:30:13] 959*2^1237884-1 is not prime. Res64: A48A3A32A2250086 Time : 0.0 sec. user=mdettweiler [2012-12-23 05:37:24] 975*2^1237884-1 is not prime. Res64: A5F0D870DE3FBC5C Time : 0.0 sec. user=mdettweiler [2012-12-23 05:37:24] 601*2^1237885-1 is not prime. Res64: CAB051C6DC9E13AA Time : 0.0 sec. user=vaughan [2012-12-23 05:46:16] 857*2^1237884-1 is not prime. Res64: 7179FA8C330FA743 Time : 0.0 sec. user=mdettweiler [2012-12-23 05:47:36] 675*2^1237885-1 is not prime. Res64: 1471733343C7543A Time : 0.0 sec. user=mdettweiler [2012-12-23 05:47:36] 819*2^1237885-1 is not prime. Res64: 8A2BBC8D7A484D84 Time : 0.0 sec. user=mdettweiler [2012-12-23 05:54:46] 871*2^1237885-1 is not prime. Res64: 2008707C52218054 Time : 0.0 sec. user=mdettweiler [2012-12-23 05:54:47] 897*2^1237885-1 is not prime. Res64: 1315B645BE1E124C Time : 0.0 sec. user=mdettweiler [2012-12-23 06:05:00] 623*2^1237886-1 is not prime. Res64: 6C9B6415CC066425 Time : 0.0 sec. user=mdettweiler [2012-12-23 06:05:01] 717*2^1237886-1 is not prime. Res64: B053633A98CB42F2 Time : 0.0 sec. user=mdettweiler [2012-12-23 06:12:09] 813*2^1237886-1 is not prime. Res64: 7465131CDD5FCFB9 Time : 0.0 sec. user=mdettweiler [2012-12-23 06:12:10] 831*2^1237886-1 is not prime. Res64: 43B57C307DC2CA22 Time : 0.0 sec. user=mdettweiler [2012-12-23 06:22:31] 887*2^1237886-1 is not prime. Res64: 409A296936B4A5D4 Time : 0.0 sec. user=mdettweiler [2012-12-23 06:22:32] 921*2^1237886-1 is not prime. Res64: 5F32C2B19E4F84E8 Time : 0.0 sec. user=vaughan [2012-12-23 06:24:09] 981*2^1237885-1 is not prime. Res64: 33DCBF88C6C18704 Time : 0.0 sec. user=mdettweiler [2012-12-23 06:29:37] 923*2^1237886-1 is not prime. Res64: 494C835CE6717C13 Time : 0.0 sec. user=mdettweiler [2012-12-23 06:29:37] 965*2^1237886-1 is not prime. Res64: DAAD1F26782831C0 Time : 0.0 sec. user=mdettweiler [2012-12-23 06:39:58] 615*2^1237887-1 is not prime. Res64: FE73F30E9DD9B29E Time : 0.0 sec. user=mdettweiler [2012-12-23 06:39:58] 669*2^1237887-1 is not prime. Res64: D4EC09ECFAF74DD7 Time : 0.0 sec. user=mdettweiler [2012-12-23 06:46:59] 739*2^1237887-1 is not prime. Res64: E64FAE495AF1A0DC Time : 0.0 sec. user=mdettweiler [2012-12-23 06:47:00] 615*2^1237888-1 is not prime. Res64: FB11FDBE7DF1DA96 Time : 0.0 sec. user=mdettweiler [2012-12-23 06:57:20] 645*2^1237888-1 is not prime. Res64: 7D28AFD4ECF1A4D6 Time : 0.0 sec. user=mdettweiler [2012-12-23 06:57:20] 735*2^1237888-1 is not prime. Res64: 1AF9012600E8489A Time : 0.0 sec. user=vaughan [2012-12-23 07:01:57] 685*2^1237887-1 is not prime. Res64: 6AB52DACA0B8F25C Time : 0.0 sec. user=mdettweiler [2012-12-23 07:04:22] 773*2^1237888-1 is not prime. Res64: 8C3D5CB725316810 Time : 0.0 sec. user=mdettweiler [2012-12-23 07:04:24] 825*2^1237888-1 is not prime. Res64: 37DA787C7F88EC41 Time : 0.0 sec. user=mdettweiler [2012-12-23 07:14:42] 897*2^1237888-1 is not prime. Res64: 1CDC883E68725C82 Time : 0.0 sec. user=mdettweiler [2012-12-23 07:14:43] 899*2^1237888-1 is not prime. Res64: 324137732536DAE9 Time : 0.0 sec. user=mdettweiler [2012-12-23 07:21:45] 705*2^1237889-1 is not prime. Res64: DF5CDCA916BFA2B8 Time : 0.0 sec. user=mdettweiler [2012-12-23 07:21:46] 721*2^1237889-1 is not prime. Res64: 4F6015CFA4868D28 Time : 0.0 sec. user=mdettweiler [2012-12-23 07:32:05] 801*2^1237889-1 is not prime. Res64: 0B662E9B30834A6F Time : 0.0 sec. user=mdettweiler [2012-12-23 07:32:06] 855*2^1237889-1 is not prime. Res64: E334308C75CA4C25 Time : 0.0 sec. user=mdettweiler [2012-12-23 07:39:11] 889*2^1237889-1 is not prime. Res64: 38DCFAE8EB3736A2 Time : 0.0 sec. user=mdettweiler [2012-12-23 07:39:12] 647*2^1237890-1 is not prime. Res64: 7E856EBAF0444359 Time : 0.0 sec. user=vaughan [2012-12-23 07:39:45] 649*2^1237889-1 is not prime. Res64: 037E6DD7827C84E8 Time : 0.0 sec. user=mdettweiler [2012-12-23 07:49:27] 657*2^1237890-1 is not prime. Res64: E61E7071011DBE4A Time : 0.0 sec. user=mdettweiler [2012-12-23 07:49:27] 735*2^1237890-1 is not prime. Res64: CF7FC290A7E24300 Time : 0.0 sec. user=mdettweiler [2012-12-23 07:56:34] 791*2^1237890-1 is not prime. Res64: E1C0438684230F30 Time : 0.0 sec. user=mdettweiler [2012-12-23 07:56:34] 797*2^1237890-1 is not prime. Res64: 33D7799C1DCF5B33 Time : 0.0 sec. user=mdettweiler [2012-12-23 08:06:50] 933*2^1237890-1 is not prime. Res64: 8B17D618362310CE Time : 0.0 sec. user=mdettweiler [2012-12-23 08:06:51] 945*2^1237890-1 is not prime. Res64: 8056F6B17CF16165 Time : 0.0 sec. user=mdettweiler [2012-12-23 08:13:56] 963*2^1237890-1 is not prime. Res64: C86E0526E3627526 Time : 0.0 sec. user=mdettweiler [2012-12-23 08:13:56] 977*2^1237890-1 is not prime. Res64: F3A51456D631DEFA Time : 0.0 sec. user=vaughan [2012-12-23 08:17:33] 861*2^1237890-1 is not prime. Res64: 8A82255F9981859E Time : 0.0 sec. user=mdettweiler [2012-12-23 08:24:27] 615*2^1237891-1 is not prime. Res64: 1A20676F3516CC1E Time : 0.0 sec. user=mdettweiler [2012-12-23 08:24:28] 619*2^1237891-1 is not prime. Res64: DDD1F2452C74AEF2 Time : 0.0 sec. user=mdettweiler [2012-12-23 08:31:20] 663*2^1237891-1 is not prime. Res64: C24FA02EC7A0A769 Time : 0.0 sec. user=mdettweiler [2012-12-23 08:31:21] 685*2^1237891-1 is not prime. Res64: 6234DA43E419C367 Time : 0.0 sec. user=mdettweiler [2012-12-23 08:41:51] 961*2^1237891-1 is not prime. Res64: D433464DCC17A50D Time : 0.0 sec. user=mdettweiler [2012-12-23 08:41:52] 725*2^1237892-1 is not prime. Res64: E79A6A07459F49C8 Time : 0.0 sec. user=mdettweiler [2012-12-23 08:48:43] 743*2^1237892-1 is not prime. Res64: CBE23516B12EBF59 Time : 0.0 sec. user=mdettweiler [2012-12-23 08:48:43] 929*2^1237892-1 is not prime. Res64: 7B6946DF440E5C18 Time : 0.0 sec. user=vaughan [2012-12-23 08:55:19] 829*2^1237891-1 is not prime. Res64: BCB8FF5B52E1A325 Time : 0.0 sec. user=mdettweiler [2012-12-23 08:59:15] 957*2^1237892-1 is not prime. Res64: 2B5B598627886855 Time : 0.0 sec. user=mdettweiler [2012-12-23 08:59:15] 649*2^1237893-1 is not prime. Res64: AA069358C2A5F220 Time : 0.0 sec. user=mdettweiler [2012-12-23 09:06:06] 741*2^1237893-1 is not prime. Res64: 23824050537DA0D3 Time : 0.0 sec. user=mdettweiler [2012-12-23 09:06:08] 751*2^1237893-1 is not prime. Res64: DFDD57A0F3826B5A Time : 0.0 sec. user=mdettweiler [2012-12-23 09:16:38] 871*2^1237893-1 is not prime. Res64: DE51378789D51FFF Time : 0.0 sec. user=mdettweiler [2012-12-23 09:16:38] 889*2^1237893-1 is not prime. Res64: ED777472A93F330C Time : 0.0 sec. user=mdettweiler [2012-12-23 09:23:45] 663*2^1237894-1 is not prime. Res64: 6B47948EA04FCEAE Time : 0.0 sec. user=mdettweiler [2012-12-23 09:23:45] 773*2^1237894-1 is not prime. Res64: 6BF5E5FEA2E2267A Time : 0.0 sec. user=vaughan [2012-12-23 09:33:07] 829*2^1237893-1 is not prime. Res64: 85366273F759B917 Time : 0.0 sec. user=mdettweiler [2012-12-23 09:34:02] 791*2^1237894-1 is not prime. Res64: 0CEA514594A1C100 Time : 0.0 sec. user=mdettweiler [2012-12-23 09:34:02] 863*2^1237894-1 is not prime. Res64: D386216C85A6BD68 Time : 0.0 sec. user=mdettweiler [2012-12-23 09:41:07] 915*2^1237894-1 is not prime. Res64: 27853C9BF22554B4 Time : 0.0 sec. user=mdettweiler [2012-12-23 09:41:07] 957*2^1237894-1 is not prime. Res64: DFE1EF5B79C0F725 Time : 0.0 sec. user=mdettweiler [2012-12-23 09:51:24] 643*2^1237895-1 is not prime. Res64: F794F3929FE676F9 Time : 0.0 sec. user=mdettweiler [2012-12-23 09:51:25] 651*2^1237895-1 is not prime. Res64: 5916221DA1E03E78 Time : 0.0 sec. user=mdettweiler [2012-12-23 09:58:30] 661*2^1237895-1 is not prime. Res64: DDCF992CBEB082A2 Time : 0.0 sec. user=mdettweiler [2012-12-23 09:58:30] 675*2^1237895-1 is not prime. Res64: 6181FE1EB4CE559F Time : 0.0 sec. user=mdettweiler [2012-12-23 10:08:47] 789*2^1237895-1 is not prime. Res64: 533176E0D466E9B2 Time : 0.0 sec. user=mdettweiler [2012-12-23 10:08:48] 861*2^1237895-1 is not prime. Res64: 7246015265010B23 Time : 0.0 sec. user=vaughan [2012-12-23 10:10:58] 619*2^1237895-1 is not prime. Res64: 139ADF9BE7288859 Time : 0.0 sec. user=mdettweiler [2012-12-23 10:15:51] 865*2^1237895-1 is not prime. Res64: FEED1B1E0C1A4CEC Time : 0.0 sec. user=mdettweiler [2012-12-23 10:15:52] 973*2^1237895-1 is not prime. Res64: 6F1B6FD973C05BFF Time : 0.0 sec. user=mdettweiler [2012-12-23 10:26:18] 615*2^1237896-1 is not prime. Res64: 24EEF1F750DDA995 Time : 0.0 sec. user=mdettweiler [2012-12-23 10:26:18] 639*2^1237896-1 is not prime. Res64: AA9880A2D7C54657 Time : 0.0 sec. user=mdettweiler [2012-12-23 10:33:14] 689*2^1237896-1 is not prime. Res64: 24A617E5A99DA706 Time : 0.0 sec. user=mdettweiler [2012-12-23 10:33:15] 747*2^1237896-1 is not prime. Res64: 2CA2371A7CC14D92 Time : 0.0 sec. user=mdettweiler [2012-12-23 10:43:42] 767*2^1237896-1 is not prime. Res64: AF63F483AA2CD3FA Time : 0.0 sec. user=mdettweiler [2012-12-23 10:43:42] 839*2^1237896-1 is not prime. Res64: 96E0DE7F7AE8F932 Time : 0.0 sec. user=vaughan [2012-12-23 10:48:48] 653*2^1237896-1 is not prime. Res64: DD286C581154A046 Time : 0.0 sec. user=mdettweiler [2012-12-23 10:50:37] 917*2^1237896-1 is not prime. Res64: 8D814B7FA4D3E0CC Time : 0.0 sec. user=mdettweiler [2012-12-23 10:50:38] 999*2^1237896-1 is not prime. Res64: 6C29436272ECB367 Time : 0.0 sec. user=mdettweiler [2012-12-23 11:01:05] 639*2^1237897-1 is not prime. Res64: B663631A60E1230E Time : 0.0 sec. user=mdettweiler [2012-12-23 11:01:06] 645*2^1237897-1 is not prime. Res64: 4FD8251DF9BBE757 Time : 0.0 sec. user=mdettweiler [2012-12-23 11:08:00] 871*2^1237897-1 is not prime. Res64: 8DB655C804EA7FB5 Time : 0.0 sec. user=mdettweiler [2012-12-23 11:08:03] 885*2^1237897-1 is not prime. Res64: 16BAD5CE15D55662 Time : 0.0 sec. user=mdettweiler [2012-12-23 11:18:28] 755*2^1237898-1 is not prime. Res64: 7DC8C703C1AEF288 Time : 0.0 sec. user=mdettweiler [2012-12-23 11:18:29] 791*2^1237898-1 is not prime. Res64: A5F4BC9E12EB6674 Time : 0.0 sec. user=mdettweiler [2012-12-23 11:25:47] 797*2^1237898-1 is not prime. Res64: 4225FDA941E5E40A Time : 0.0 sec. user=mdettweiler [2012-12-23 11:25:47] 875*2^1237898-1 is not prime. Res64: B4A20281E5A27395 Time : 0.0 sec. user=vaughan [2012-12-23 11:26:34] 687*2^1237897-1 is not prime. Res64: 4735C54F0597D4A2 Time : 0.0 sec. user=mdettweiler [2012-12-23 11:35:51] 935*2^1237898-1 is not prime. Res64: BF7D45A59E91024A Time : 0.0 sec. user=mdettweiler [2012-12-23 11:35:52] 945*2^1237898-1 is not prime. Res64: F85046C47C72825F Time : 0.0 sec. user=mdettweiler [2012-12-23 11:43:09] 951*2^1237898-1 is not prime. Res64: 777550A425001572 Time : 0.0 sec. user=mdettweiler [2012-12-23 11:43:10] 609*2^1237899-1 is not prime. Res64: 5BF6B1EE3F9C9CE4 Time : 0.0 sec. user=mdettweiler [2012-12-23 11:53:13] 741*2^1237899-1 is not prime. Res64: C85711B663C3703E Time : 0.0 sec. user=mdettweiler [2012-12-23 11:53:14] 745*2^1237899-1 is not prime. Res64: C9FEA413F598AC83 Time : 0.0 sec. user=mdettweiler [2012-12-23 12:00:32] 769*2^1237899-1 is not prime. Res64: 03D14DC525E13126 Time : 0.0 sec. user=mdettweiler [2012-12-23 12:00:33] 903*2^1237899-1 is not prime. Res64: 6C5679B0A12D76AC Time : 0.0 sec. user=vaughan [2012-12-23 12:04:21] 663*2^1237899-1 is not prime. Res64: 91CB8D6DF9360BA3 Time : 0.0 sec. user=mdettweiler [2012-12-23 12:10:36] 717*2^1237900-1 is not prime. Res64: 14372675DF0A13DA Time : 0.0 sec. user=mdettweiler [2012-12-23 12:10:38] 845*2^1237900-1 is not prime. Res64: DEE32DF7257FD108 Time : 0.0 sec. user=mdettweiler [2012-12-23 12:18:06] 875*2^1237900-1 is not prime. Res64: 4F6BC12BF1704907 Time : 0.0 sec. user=mdettweiler [2012-12-23 12:18:07] 615*2^1237901-1 is not prime. Res64: 6125CDE4E98333AE Time : 0.0 sec. user=mdettweiler [2012-12-23 12:28:11] 717*2^1237901-1 is not prime. Res64: E0DFF39E91269D34 Time : 0.0 sec. user=mdettweiler [2012-12-23 12:28:12] 775*2^1237901-1 is not prime. Res64: 6C96D2223F8EFC8B Time : 0.0 sec. user=mdettweiler [2012-12-23 12:35:29] 951*2^1237901-1 is not prime. Res64: 39EA044E80AD22DE Time : 0.0 sec. user=mdettweiler [2012-12-23 12:35:29] 647*2^1237902-1 is not prime. Res64: 07A825B5F56907E5 Time : 0.0 sec. user=vaughan [2012-12-23 12:42:10] 675*2^1237901-1 is not prime. Res64: E0647A4629E428C7 Time : 0.0 sec. user=mdettweiler [2012-12-23 12:45:33] 671*2^1237902-1 is not prime. Res64: 8414BA41A9E3FFC8 Time : 0.0 sec. user=mdettweiler [2012-12-23 12:45:33] 681*2^1237902-1 is not prime. Res64: A8E1A12185F6A3AB Time : 0.0 sec. user=mdettweiler [2012-12-23 12:52:52] 683*2^1237902-1 is not prime. Res64: 1BDE7F736D106D4E Time : 0.0 sec. user=mdettweiler [2012-12-23 12:52:52] 633*2^1237903-1 is not prime. Res64: F5EEA0C0B3C75440 Time : 0.0 sec. user=mdettweiler [2012-12-23 13:03:02] 703*2^1237903-1 is not prime. Res64: FD6D336ECEF11E0E Time : 0.0 sec. user=mdettweiler [2012-12-23 13:03:03] 765*2^1237903-1 is not prime. Res64: 140EB24A1E595279 Time : 0.0 sec. user=mdettweiler [2012-12-23 13:10:24] 993*2^1237903-1 is not prime. Res64: AA94E46B7047F0BD Time : 0.0 sec. user=mdettweiler [2012-12-23 13:10:26] 665*2^1237904-1 is not prime. Res64: B76E66E8EC0CC493 Time : 0.0 sec. user=vaughan [2012-12-23 13:19:57] 693*2^1237903-1 is not prime. Res64: 01765BC4742BFF8F Time : 0.0 sec. user=mdettweiler [2012-12-23 13:20:37] 785*2^1237904-1 is not prime. Res64: 3A66FDFEF947455F Time : 0.0 sec. user=mdettweiler [2012-12-23 13:20:37] 923*2^1237904-1 is not prime. Res64: 19684582D08766AB Time : 0.0 sec. user=mdettweiler [2012-12-23 13:28:12] 995*2^1237904-1 is not prime. Res64: 1FD00B09D975FA7F Time : 0.0 sec. user=mdettweiler [2012-12-23 13:28:12] 667*2^1237905-1 is not prime. Res64: 0BFDDC9FAB8BC282 Time : 0.0 sec. user=mdettweiler [2012-12-23 13:38:22] 795*2^1237905-1 is not prime. Res64: AF8A5B5B1E82959E Time : 0.0 sec. user=mdettweiler [2012-12-23 13:38:23] 889*2^1237905-1 is not prime. Res64: C98BC9CA10AC04FC Time : 0.0 sec. user=mdettweiler [2012-12-23 13:45:51] 921*2^1237905-1 is not prime. Res64: 29D4A6FA5246DC0F Time : 0.0 sec. user=mdettweiler [2012-12-23 13:45:51] 657*2^1237906-1 is not prime. Res64: 2153B62F2A8D16F4 Time : 0.0 sec. user=mdettweiler [2012-12-23 13:55:49] 957*2^1237906-1 is not prime. Res64: A7D21591078F8559 Time : 0.0 sec. user=mdettweiler [2012-12-23 13:55:49] 609*2^1237907-1 is not prime. Res64: A8C559A496CE60D8 Time : 0.0 sec. user=vaughan [2012-12-23 13:57:45] 781*2^1237905-1 is not prime. Res64: E64C4F039AFF0A4D Time : 0.0 sec. user=mdettweiler [2012-12-23 14:03:27] 643*2^1237907-1 is not prime. Res64: 5E93C94EDAB94474 Time : 0.0 sec. user=mdettweiler [2012-12-23 14:03:29] 705*2^1237907-1 is not prime. Res64: 696CEA3EE475F3C9 Time : 0.0 sec. user=mdettweiler [2012-12-23 14:13:25] 735*2^1237907-1 is not prime. Res64: C137A311B502FF72 Time : 0.0 sec. user=mdettweiler [2012-12-23 14:13:25] 859*2^1237907-1 is not prime. Res64: 1512414A3F687917 Time : 0.0 sec. user=mdettweiler [2012-12-23 14:20:58] 981*2^1237907-1 is not prime. Res64: F68F11771BC7D949 Time : 0.0 sec. user=mdettweiler [2012-12-23 14:20:59] 985*2^1237907-1 is not prime. Res64: 8009C700D1507E86 Time : 0.0 sec. user=mdettweiler [2012-12-23 14:30:53] 993*2^1237907-1 is not prime. Res64: B6CA915F04235BC1 Time : 0.0 sec. user=mdettweiler [2012-12-23 14:30:53] 627*2^1237908-1 is not prime. Res64: 9F21DE6B0F1D7163 Time : 0.0 sec. user=vaughan [2012-12-23 14:35:31] 861*2^1237907-1 is not prime. Res64: 0AE3E108043EACDB Time : 0.0 sec. user=mdettweiler [2012-12-23 14:38:25] 737*2^1237908-1 is not prime. Res64: 4A1F927F709AA83C Time : 0.0 sec. user=mdettweiler [2012-12-23 14:38:25] 753*2^1237908-1 is not prime. Res64: 119C4A1105466916 Time : 0.0 sec. user=mdettweiler [2012-12-23 14:48:19] 759*2^1237908-1 is not prime. Res64: 2F068D590B9415BB Time : 0.0 sec. user=mdettweiler [2012-12-23 14:48:19] 809*2^1237908-1 is not prime. Res64: 3E0460F468E996FF Time : 0.0 sec. user=mdettweiler [2012-12-23 14:55:50] 837*2^1237908-1 is not prime. Res64: 7B51BF4F03C80F7C Time : 0.0 sec. user=mdettweiler [2012-12-23 14:55:51] 609*2^1237909-1 is not prime. Res64: 43C636E82A7CBB74 Time : 0.0 sec. user=mdettweiler [2012-12-23 15:05:46] 615*2^1237909-1 is not prime. Res64: BB03730367C9A9DF Time : 0.0 sec. user=mdettweiler [2012-12-23 15:05:49] 661*2^1237909-1 is not prime. Res64: 1E3D43707B19D991 Time : 0.0 sec. user=mdettweiler [2012-12-23 15:13:16] 681*2^1237909-1 is not prime. Res64: A73CEBE14A5D0914 Time : 0.0 sec. user=mdettweiler [2012-12-23 15:13:19] 687*2^1237909-1 is not prime. Res64: E34E6658BCC576D3 Time : 0.0 sec. user=vaughan [2012-12-23 15:13:21] 825*2^1237908-1 is not prime. Res64: F0D51074FD69BD7C Time : 0.0 sec. user=mdettweiler [2012-12-23 15:23:36] 775*2^1237909-1 is not prime. Res64: 73E8D32E984D27F2 Time : 0.0 sec. user=mdettweiler [2012-12-23 15:23:36] 799*2^1237909-1 is not prime. Res64: 0A52878AD3024134 Time : 0.0 sec. user=mdettweiler [2012-12-23 15:31:05] 847*2^1237909-1 is not prime. Res64: 2FB166E1341AFF54 Time : 0.0 sec. user=mdettweiler [2012-12-23 15:31:06] 867*2^1237909-1 is not prime. Res64: CC76B7ED36789120 Time : 0.0 sec. user=mdettweiler [2012-12-23 15:41:04] 975*2^1237909-1 is not prime. Res64: 76DEA6148594706D Time : 0.0 sec. user=mdettweiler [2012-12-23 15:41:04] 971*2^1237910-1 is not prime. Res64: 7FA806E66E9863EC Time : 0.0 sec. user=mdettweiler [2012-12-23 15:48:38] 675*2^1237911-1 is not prime. Res64: 120B44A695D9036C Time : 0.0 sec. user=mdettweiler [2012-12-23 15:48:38] 763*2^1237911-1 is not prime. Res64: 6F145703177CD7EE Time : 0.0 sec. user=vaughan [2012-12-23 15:51:26] 951*2^1237909-1 is not prime. Res64: 9E6EA3AB334FA4DB Time : 0.0 sec. user=mdettweiler [2012-12-23 15:58:40] 819*2^1237911-1 is not prime. Res64: E10C602D3FF8B568 Time : 0.0 sec. user=mdettweiler [2012-12-23 15:58:40] 945*2^1237911-1 is not prime. Res64: 5E1423E5339FC189 Time : 0.0 sec. user=mdettweiler [2012-12-23 16:06:19] 677*2^1237912-1 is not prime. Res64: 5FAFF524A6225C5C Time : 0.0 sec. user=mdettweiler [2012-12-23 16:06:20] 705*2^1237912-1 is not prime. Res64: 21AF32089E8F1B8B Time : 0.0 sec. user=mdettweiler [2012-12-23 16:16:36] 833*2^1237912-1 is not prime. Res64: D050611170924A65 Time : 0.0 sec. user=mdettweiler [2012-12-23 16:16:37] 873*2^1237912-1 is not prime. Res64: 09ED04C14D9B0B59 Time : 0.0 sec. user=mdettweiler [2012-12-23 16:24:23] 899*2^1237912-1 is not prime. Res64: A41F4AB585F0CE0F Time : 0.0 sec. user=mdettweiler [2012-12-23 16:24:24] 903*2^1237912-1 is not prime. Res64: 13D1D522EFD2C2C1 Time : 0.0 sec. user=vaughan [2012-12-23 16:29:11] 765*2^1237912-1 is not prime. Res64: B69166DBA1E2E284 Time : 0.0 sec. user=mdettweiler [2012-12-23 16:34:39] 909*2^1237912-1 is not prime. Res64: 6C8934F3DC90DE86 Time : 0.0 sec. user=mdettweiler [2012-12-23 16:34:40] 933*2^1237912-1 is not prime. Res64: 04A5F2BEF8A2DA96 Time : 0.0 sec. user=mdettweiler [2012-12-23 16:42:28] 947*2^1237912-1 is not prime. Res64: 7DBF427CEFB02C2B Time : 0.0 sec. user=mdettweiler [2012-12-23 16:42:28] 989*2^1237912-1 is not prime. Res64: D1B862BD8C638E77 Time : 0.0 sec. user=mdettweiler [2012-12-23 16:52:37] 771*2^1237913-1 is not prime. Res64: 234AA9B50C3A84E3 Time : 0.0 sec. user=mdettweiler [2012-12-23 16:52:38] 831*2^1237913-1 is not prime. Res64: 8DB39F8C596CE271 Time : 0.0 sec. user=mdettweiler [2012-12-23 17:00:24] 671*2^1237914-1 is not prime. Res64: C8D93952A2B8E6BC Time : 0.0 sec. user=mdettweiler [2012-12-23 17:00:25] 747*2^1237914-1 is not prime. Res64: 9FBC296672DE2F1F Time : 0.0 sec. user=vaughan [2012-12-23 17:06:57] 741*2^1237913-1 is not prime. Res64: 8E69F24D378FADB5 Time : 0.0 sec. user=mdettweiler [2012-12-23 17:10:33] 861*2^1237914-1 is not prime. Res64: 32D0F4B5E54EA0DD Time : 0.0 sec. user=mdettweiler [2012-12-23 17:10:35] 917*2^1237914-1 is not prime. Res64: 4030630DC42B407A Time : 0.0 sec. user=mdettweiler [2012-12-23 17:18:30] 945*2^1237914-1 is not prime. Res64: 713B818BA8111F9A Time : 0.0 sec. user=mdettweiler [2012-12-23 17:18:31] 975*2^1237914-1 is not prime. Res64: 34EBB91935F7A3C1 Time : 0.0 sec. user=mdettweiler [2012-12-23 17:28:39] 651*2^1237915-1 is not prime. Res64: 2300E407FDCDC81C Time : 0.0 sec. user=mdettweiler [2012-12-23 17:28:39] 715*2^1237915-1 is not prime. Res64: EC0BA0BF73C3FCEC Time : 0.0 sec. user=mdettweiler [2012-12-23 17:36:23] 819*2^1237915-1 is not prime. Res64: D438451760BDB8F5 Time : 0.0 sec. user=mdettweiler [2012-12-23 17:36:24] 861*2^1237915-1 is not prime. Res64: A7222119E624074D Time : 0.0 sec. user=vaughan [2012-12-23 17:44:41] 983*2^1237914-1 is not prime. Res64: F9104713298FDD12 Time : 0.0 sec. user=mdettweiler [2012-12-23 17:46:32] 773*2^1237916-1 is not prime. Res64: 47D36A69FFBAC7B3 Time : 0.0 sec. user=mdettweiler [2012-12-23 17:46:33] 789*2^1237916-1 is not prime. Res64: 25CBAA307F3635AF Time : 0.0 sec. user=mdettweiler [2012-12-23 17:54:17] 833*2^1237916-1 is not prime. Res64: 2B70CEF1073BD2C9 Time : 0.0 sec. user=mdettweiler [2012-12-23 17:54:17] 903*2^1237916-1 is not prime. Res64: 63BEDCA4B57A9A2E Time : 0.0 sec. user=mdettweiler [2012-12-23 18:04:28] 957*2^1237916-1 is not prime. Res64: DB9C716B1DF624B7 Time : 0.0 sec. user=mdettweiler [2012-12-23 18:04:28] 609*2^1237917-1 is not prime. Res64: 52C5651E3198EA58 Time : 0.0 sec. user=mdettweiler [2012-12-23 18:12:09] 651*2^1237917-1 is not prime. Res64: 253DB2D62D62E32C Time : 0.0 sec. user=mdettweiler [2012-12-23 18:12:10] 711*2^1237917-1 is not prime. Res64: 94E0C4135DDD98E5 Time : 0.0 sec. user=mdettweiler [2012-12-23 18:22:18] 889*2^1237917-1 is not prime. Res64: E14A9F40DC02FA68 Time : 0.0 sec. user=mdettweiler [2012-12-23 18:22:18] 949*2^1237917-1 is not prime. Res64: 8A6A95AE739A8B26 Time : 0.0 sec. user=vaughan [2012-12-23 18:22:27] 923*2^1237916-1 is not prime. Res64: 99DCB990D89FE60E Time : 0.0 sec. user=mdettweiler [2012-12-23 18:30:00] 605*2^1237918-1 is not prime. Res64: 8B2C2CAF4D8C529B Time : 0.0 sec. user=mdettweiler [2012-12-23 18:30:00] 635*2^1237918-1 is not prime. Res64: 5D2DD39758E4CE79 Time : 0.0 sec. user=mdettweiler [2012-12-23 18:40:19] 755*2^1237918-1 is not prime. Res64: CC2D56EDA2461974 Time : 0.0 sec. user=mdettweiler [2012-12-23 18:40:19] 773*2^1237918-1 is not prime. Res64: A248AA229215A661 Time : 0.0 sec. user=mdettweiler [2012-12-23 18:48:18] 987*2^1237918-1 is not prime. Res64: E41DDBE4F440768D Time : 0.0 sec. user=mdettweiler [2012-12-23 18:48:18] 995*2^1237918-1 is not prime. Res64: 034260EAE8798EB3 Time : 0.0 sec. user=mdettweiler [2012-12-23 18:58:28] 993*2^1237919-1 is not prime. Res64: 2637AC24BD77C7E4 Time : 0.0 sec. user=mdettweiler [2012-12-23 18:58:29] 669*2^1237920-1 is not prime. Res64: 2AE624115322E2FB Time : 0.0 sec. user=vaughan [2012-12-23 19:00:20] 831*2^1237918-1 is not prime. Res64: 42ABF89B78A76C80 Time : 0.0 sec. user=mdettweiler [2012-12-23 19:06:21] 693*2^1237920-1 is not prime. Res64: B2F741CB8302FEC8 Time : 0.0 sec. user=mdettweiler [2012-12-23 19:06:24] 725*2^1237920-1 is not prime. Res64: FC869F96E98DAE7D Time : 0.0 sec. user=mdettweiler [2012-12-23 19:16:26] 767*2^1237920-1 is not prime. Res64: F78D986E91B10D0A Time : 0.0 sec. user=mdettweiler [2012-12-23 19:16:27] 887*2^1237920-1 is not prime. Res64: 7AF5ED67701A0697 Time : 0.0 sec. user=mdettweiler [2012-12-23 19:24:38] 915*2^1237920-1 is not prime. Res64: D82495EBE6D6908D Time : 0.0 sec. user=mdettweiler [2012-12-23 19:24:39] 983*2^1237920-1 is not prime. Res64: 6D63DA0363142F8A Time : 0.0 sec. user=mdettweiler [2012-12-23 19:34:25] 687*2^1237921-1 is not prime. Res64: F1DFEF0069501A46 Time : 0.0 sec. user=mdettweiler [2012-12-23 19:34:25] 741*2^1237921-1 is not prime. Res64: 709FF236F934FACB Time : 0.0 sec. user=vaughan [2012-12-23 19:38:10] 905*2^1237920-1 is not prime. Res64: 79E2EF7E20CEA0FA Time : 0.0 sec. user=mdettweiler [2012-12-23 19:42:36] 771*2^1237921-1 is not prime. Res64: 9FD8E7A0AD88C628 Time : 0.0 sec. user=mdettweiler [2012-12-23 19:42:36] 777*2^1237921-1 is not prime. Res64: 0B99DB59491E9ACA Time : 0.0 sec. user=mdettweiler [2012-12-23 19:52:21] 665*2^1237922-1 is not prime. Res64: 77BCB252FEA531D9 Time : 0.0 sec. user=mdettweiler [2012-12-23 19:52:21] 825*2^1237922-1 is not prime. Res64: 8BAA9F2439A7D2AD Time : 0.0 sec. user=mdettweiler [2012-12-23 20:00:32] 953*2^1237922-1 is not prime. Res64: 12EA9882A9248DBD Time : 0.0 sec. user=mdettweiler [2012-12-23 20:00:33] 957*2^1237922-1 is not prime. Res64: 6BB2FA1D24ED808B Time : 0.0 sec. user=mdettweiler [2012-12-23 20:10:33] 649*2^1237923-1 is not prime. Res64: C72800B0C6028F71 Time : 0.0 sec. user=mdettweiler [2012-12-23 20:10:34] 793*2^1237923-1 is not prime. Res64: 7E25EBB8E798FEC7 Time : 0.0 sec. user=vaughan [2012-12-23 20:15:56] 867*2^1237922-1 is not prime. Res64: 139545CA83C26AE4 Time : 0.0 sec. user=mdettweiler [2012-12-23 20:18:48] 849*2^1237923-1 is not prime. Res64: 1CF36F127F59D99F Time : 0.0 sec. user=mdettweiler [2012-12-23 20:18:48] 879*2^1237923-1 is not prime. Res64: AC8A73A07C8D9111 Time : 0.0 sec. user=mdettweiler [2012-12-23 20:29:07] 901*2^1237923-1 is not prime. Res64: 34C7B6BB8BCAF715 Time : 0.0 sec. user=mdettweiler [2012-12-23 20:29:08] 677*2^1237924-1 is not prime. Res64: 1218A3026B1C421E Time : 0.0 sec. user=mdettweiler [2012-12-23 20:37:21] 827*2^1237924-1 is not prime. Res64: 5ED2A828C03C2AD8 Time : 0.0 sec. user=mdettweiler [2012-12-23 20:37:21] 909*2^1237924-1 is not prime. Res64: AE15E1FA80902305 Time : 0.0 sec. user=mdettweiler [2012-12-23 20:47:08] 939*2^1237924-1 is not prime. Res64: 58E126E687B510C3 Time : 0.0 sec. user=mdettweiler [2012-12-23 20:47:08] 691*2^1237925-1 is not prime. Res64: FA1C94FC5D435C73 Time : 0.0 sec. user=vaughan [2012-12-23 20:53:45] 717*2^1237924-1 is not prime. Res64: 3BA93F584135244B Time : 0.0 sec. user=mdettweiler [2012-12-23 20:55:16] 699*2^1237925-1 is not prime. Res64: B72646220BB5F468 Time : 0.0 sec. user=mdettweiler [2012-12-23 20:55:16] 735*2^1237925-1 is not prime. Res64: C02686DC610FB3EC Time : 0.0 sec. user=mdettweiler [2012-12-23 21:05:03] 771*2^1237925-1 is not prime. Res64: EEFA0A030BA75CB3 Time : 0.0 sec. user=mdettweiler [2012-12-23 21:05:05] 787*2^1237925-1 is not prime. Res64: 0C516B9785C5A77F Time : 0.0 sec. user=mdettweiler [2012-12-23 21:12:58] 925*2^1237925-1 is not prime. Res64: 2F79A42B0BA55757 Time : 0.0 sec. user=mdettweiler [2012-12-23 21:13:00] 657*2^1237926-1 is not prime. Res64: 322200A3F64E8FC7 Time : 0.0 sec. user=mdettweiler [2012-12-23 21:22:35] 707*2^1237926-1 is not prime. Res64: 0CAA0C6DB9CC18EB Time : 0.0 sec. user=mdettweiler [2012-12-23 21:22:35] 741*2^1237926-1 is not prime. Res64: 2577B5E862DD4FAE Time : 0.0 sec. user=mdettweiler [2012-12-23 21:30:34] 777*2^1237926-1 is not prime. Res64: C99F773FF017C6C4 Time : 0.0 sec. user=mdettweiler [2012-12-23 21:30:36] 971*2^1237926-1 is not prime. Res64: 66185999BCC20EC3 Time : 0.0 sec. user=vaughan [2012-12-23 21:31:33] 825*2^1237925-1 is not prime. Res64: 717BE13156045F6A Time : 0.0 sec. user=mdettweiler [2012-12-23 21:40:02] 1001*2^1237926-1 is not prime. Res64: 25E5E8BC8B4D3299 Time : 0.0 sec. user=mdettweiler [2012-12-23 21:40:02] 603*2^1237927-1 is not prime. Res64: BA4B690CEF427A8D Time : 0.0 sec. user=mdettweiler [2012-12-23 21:48:09] 609*2^1237927-1 is not prime. Res64: 0C1D958333B92F79 Time : 0.0 sec. user=mdettweiler [2012-12-23 21:48:10] 619*2^1237927-1 is not prime. Res64: C00495861F9D3282 Time : 0.0 sec. user=mdettweiler [2012-12-23 21:57:29] 657*2^1237928-1 is not prime. Res64: 794E411B8A43C273 Time : 0.0 sec. user=mdettweiler [2012-12-23 21:57:29] 665*2^1237928-1 is not prime. Res64: 5BBA241FB16ADC14 Time : 0.0 sec. user=mdettweiler [2012-12-23 22:05:39] 683*2^1237928-1 is not prime. Res64: 679F4D85EE9956E4 Time : 0.0 sec. user=mdettweiler [2012-12-23 22:05:41] 773*2^1237928-1 is not prime. Res64: 7544F20D23B027B4 Time : 0.0 sec. user=vaughan [2012-12-23 22:09:21] 759*2^1237927-1 is not prime. Res64: 743A8BC1DF308787 Time : 0.0 sec. user=mdettweiler [2012-12-23 22:14:56] 827*2^1237928-1 is not prime. Res64: 2DC625F652B3306D Time : 0.0 sec. user=mdettweiler [2012-12-23 22:14:57] 893*2^1237928-1 is not prime. Res64: F1A76C4FE647773D Time : 0.0 sec. user=mdettweiler [2012-12-23 22:23:07] 915*2^1237928-1 is not prime. Res64: 2266578B034C344A Time : 0.0 sec. user=mdettweiler [2012-12-23 22:23:08] 927*2^1237928-1 is not prime. Res64: 8C2D999AE9455DC5 Time : 0.0 sec. user=mdettweiler [2012-12-23 22:32:24] 993*2^1237928-1 is not prime. Res64: 8C1E581C1738EBC6 Time : 0.0 sec. user=mdettweiler [2012-12-23 22:32:25] 657*2^1237929-1 is not prime. Res64: A00FDDA77A32D99B Time : 0.0 sec. user=mdettweiler [2012-12-23 22:40:35] 681*2^1237929-1 is not prime. Res64: F67CFF2A2B069FC8 Time : 0.0 sec. user=mdettweiler [2012-12-23 22:40:36] 685*2^1237929-1 is not prime. Res64: B673FF9E33CEC87F Time : 0.0 sec. user=vaughan [2012-12-23 22:47:10] 977*2^1237928-1 is not prime. Res64: AB90E088D120B200 Time : 0.0 sec. user=mdettweiler [2012-12-23 22:49:51] 709*2^1237929-1 is not prime. Res64: 24604CA131DD3D99 Time : 0.0 sec. user=mdettweiler [2012-12-23 22:49:51] 751*2^1237929-1 is not prime. Res64: 04D8D8C387469648 Time : 0.0 sec. user=mdettweiler [2012-12-23 22:58:03] 817*2^1237929-1 is not prime. Res64: CB5E5EE1BC17B191 Time : 0.0 sec. user=mdettweiler [2012-12-23 22:58:04] 835*2^1237929-1 is not prime. Res64: 25F6969905CE2BE6 Time : 0.0 sec. user=mdettweiler [2012-12-23 23:07:18] 603*2^1237930-1 is not prime. Res64: 3796C10F369B408D Time : 0.0 sec. user=mdettweiler [2012-12-23 23:07:20] 677*2^1237930-1 is not prime. Res64: 2A30AABCE5BDCDD8 Time : 0.0 sec. user=mdettweiler [2012-12-23 23:15:30] 723*2^1237930-1 is not prime. Res64: BD738263BEC2D8FA Time : 0.0 sec. user=mdettweiler [2012-12-23 23:15:31] 995*2^1237930-1 is not prime. Res64: 9EBA6B8B71146155 Time : 0.0 sec. user=mdettweiler [2012-12-23 23:24:55] 693*2^1237931-1 is not prime. Res64: 5F6A0D86E60F813D Time : 0.0 sec. user=mdettweiler [2012-12-23 23:24:55] 733*2^1237931-1 is not prime. Res64: 8973CF73FFB4183D Time : 0.0 sec. user=vaughan [2012-12-23 23:24:57] 997*2^1237929-1 is not prime. Res64: 7313F01FA98EFC65 Time : 0.0 sec. user=mdettweiler [2012-12-23 23:32:59] 841*2^1237931-1 is not prime. Res64: F0CC392502DA3ADE Time : 0.0 sec. user=mdettweiler [2012-12-23 23:33:00] 855*2^1237931-1 is not prime. Res64: 6FD328AD53AD7B17 Time : 0.0 sec. user=mdettweiler [2012-12-23 23:42:22] 717*2^1237932-1 is not prime. Res64: B12821BA6691626A Time : 0.0 sec. user=mdettweiler [2012-12-23 23:42:22] 749*2^1237932-1 is not prime. Res64: AAEA62B1F51483F0 Time : 0.0 sec. user=mdettweiler [2012-12-23 23:50:26] 777*2^1237932-1 is not prime. Res64: 695080E008AE8109 Time : 0.0 sec. user=mdettweiler [2012-12-23 23:50:26] 887*2^1237932-1 is not prime. Res64: D8CBB2765D3A8467 Time : 0.0 sec. user=mdettweiler [2012-12-23 23:59:49] 625*2^1237933-1 is not prime. Res64: 9C79FED9F670FC7F Time : 0.0 sec. user=mdettweiler [2012-12-23 23:59:49] 741*2^1237933-1 is not prime. Res64: 8FA3340D73984A78 Time : 0.0 sec.