user=vaughan [2012-08-05 00:05:14] 783*2^1225735-1 is not prime. Res64: A63C4ED0848F4E4E Time : 0.0 sec. user=mdettweiler [2012-08-05 00:12:26] 857*2^1225736-1 is not prime. Res64: 4130485D3614ABDE Time : 0.0 sec. user=mdettweiler [2012-08-05 00:12:27] 897*2^1225736-1 is not prime. Res64: 67CDC61017D556F5 Time : 0.0 sec. user=mdettweiler [2012-08-05 00:17:25] 683*2^1225736-1 is not prime. Res64: BA0BE0B6AFE6C4B7 Time : 0.0 sec. user=mdettweiler [2012-08-05 00:17:37] 845*2^1225736-1 is not prime. Res64: EA43E6BF34D35450 Time : 0.0 sec. user=mdettweiler [2012-08-05 00:33:00] 609*2^1225737-1 is not prime. Res64: E501B6121C86D0B0 Time : 0.0 sec. user=mdettweiler [2012-08-05 00:33:03] 625*2^1225737-1 is not prime. Res64: 653A85D6C0171CE0 Time : 0.0 sec. user=vaughan [2012-08-05 00:42:37] 957*2^1225736-1 is not prime. Res64: F42028BC9C434800 Time : 0.0 sec. user=mdettweiler [2012-08-05 00:48:00] 699*2^1225737-1 is not prime. Res64: 7877FDBBEDC5EDE9 Time : 0.0 sec. user=mdettweiler [2012-08-05 00:48:19] 717*2^1225737-1 is not prime. Res64: 9BBB83D365B0EC0F Time : 0.0 sec. user=mdettweiler [2012-08-05 00:48:34] 903*2^1225736-1 is not prime. Res64: 1E2049926A180F2E Time : 0.0 sec. user=mdettweiler [2012-08-05 00:48:34] 917*2^1225736-1 is not prime. Res64: 9AB74F03ED0F140A Time : 0.0 sec. user=gd_barnes [2012-08-05 00:50:38] 687*2^1225738-1 is not prime. Res64: 9A8A31F9D44F6DE5 Time : 0.0 sec. user=gd_barnes [2012-08-05 00:51:09] 713*2^1225738-1 is not prime. Res64: EC92091242B092CB Time : 0.0 sec. user=gd_barnes [2012-08-05 00:52:06] 885*2^1225737-1 is not prime. Res64: 82F40E0B497BC151 Time : 0.0 sec. user=gd_barnes [2012-08-05 00:52:35] 867*2^1225738-1 is not prime. Res64: 1A962A92D7253E80 Time : 0.0 sec. user=gd_barnes [2012-08-05 00:53:18] 623*2^1225738-1 is not prime. Res64: B4E5B6C0ADE60BC7 Time : 0.0 sec. user=gd_barnes [2012-08-05 00:53:26] 997*2^1225737-1 is not prime. Res64: B0CD2141E6472CD4 Time : 0.0 sec. user=mdettweiler [2012-08-05 00:54:02] 879*2^1225739-1 is not prime. Res64: 0450137044AC974F Time : 0.0 sec. user=mdettweiler [2012-08-05 00:54:02] 921*2^1225739-1 is not prime. Res64: 60C1AE91D04FD1B9 Time : 0.0 sec. user=gd_barnes [2012-08-05 00:54:17] 727*2^1225737-1 is not prime. Res64: F3C5F5CD73C8302B Time : 0.0 sec. user=gd_barnes [2012-08-05 00:55:12] 933*2^1225738-1 is not prime. Res64: 805FBA76554E408D Time : 0.0 sec. user=gd_barnes [2012-08-05 00:55:16] 995*2^1225738-1 is not prime. Res64: 8B1B0256A625F444 Time : 0.0 sec. user=gd_barnes [2012-08-05 00:55:50] 681*2^1225738-1 is not prime. Res64: 96F7E2FADCAE6C30 Time : 0.0 sec. user=gd_barnes [2012-08-05 00:58:39] 885*2^1225738-1 is not prime. Res64: 303A93263193A962 Time : 0.0 sec. user=gd_barnes [2012-08-05 00:58:48] 911*2^1225738-1 is not prime. Res64: 5DDF85C31C12246C Time : 0.0 sec. user=gd_barnes [2012-08-05 01:02:12] 789*2^1225739-1 is not prime. Res64: B9D32848CE2CF7A4 Time : 0.0 sec. user=mdettweiler [2012-08-05 01:09:08] 825*2^1225740-1 is not prime. Res64: 5D99A8DD10B90801 Time : 0.0 sec. user=mdettweiler [2012-08-05 01:09:09] 863*2^1225740-1 is not prime. Res64: 983D02F355441D85 Time : 0.0 sec. user=mdettweiler [2012-08-05 01:14:40] 873*2^1225740-1 is not prime. Res64: 9FA82D36FBCF9149 Time : 0.0 sec. user=mdettweiler [2012-08-05 01:14:42] 915*2^1225740-1 is not prime. Res64: 37BFC0E85C5B33AC Time : 0.0 sec. user=mdettweiler [2012-08-05 01:18:30] 985*2^1225739-1 is not prime. Res64: 345061EEAF053103 Time : 0.0 sec. user=mdettweiler [2012-08-05 01:18:53] 999*2^1225739-1 is not prime. Res64: 4CCD565097E0C601 Time : 0.0 sec. user=vaughan [2012-08-05 01:20:00] 943*2^1225739-1 is not prime. Res64: 7D9F0BEF9B07780D Time : 0.0 sec. user=mdettweiler [2012-08-05 01:29:48] 927*2^1225740-1 is not prime. Res64: 88DE6097BCAE9A0F Time : 0.0 sec. user=mdettweiler [2012-08-05 01:29:48] 959*2^1225740-1 is not prime. Res64: 97BDEAA50575F862 Time : 0.0 sec. user=mdettweiler [2012-08-05 01:35:19] 615*2^1225741-1 is not prime. Res64: A03B08EEBCC59993 Time : 0.0 sec. user=mdettweiler [2012-08-05 01:35:19] 769*2^1225741-1 is not prime. Res64: 0E8D1C1DD9643894 Time : 0.0 sec. user=mdettweiler [2012-08-05 01:49:04] 635*2^1225742-1 is not prime. Res64: 08CF3D12CE8536D5 Time : 0.0 sec. user=mdettweiler [2012-08-05 01:49:37] 743*2^1225742-1 is not prime. Res64: 7C38C7AA33C75ECD Time : 0.0 sec. user=mdettweiler [2012-08-05 01:50:23] 797*2^1225742-1 is not prime. Res64: 00A4303817C0FBDB Time : 0.0 sec. user=mdettweiler [2012-08-05 01:50:24] 801*2^1225742-1 is not prime. Res64: 894C31F14AAD42CA Time : 0.0 sec. user=mdettweiler [2012-08-05 01:55:55] 915*2^1225742-1 is not prime. Res64: F545DCE1DA9D223D Time : 0.0 sec. user=mdettweiler [2012-08-05 01:55:55] 945*2^1225742-1 is not prime. Res64: 1E44D1CAE3F0281D Time : 0.0 sec. user=vaughan [2012-08-05 01:57:21] 791*2^1225742-1 is not prime. Res64: D105CB9EB3D7F808 Time : 0.0 sec. user=mdettweiler [2012-08-05 02:10:59] 705*2^1225743-1 is not prime. Res64: 243C9834A8391217 Time : 0.0 sec. user=mdettweiler [2012-08-05 02:11:00] 721*2^1225743-1 is not prime. Res64: 8C727FD0D4565551 Time : 0.0 sec. user=mdettweiler [2012-08-05 02:16:30] 735*2^1225743-1 is not prime. Res64: 954298B13C970B05 Time : 0.0 sec. user=mdettweiler [2012-08-05 02:16:31] 789*2^1225743-1 is not prime. Res64: A710A7DF8EB104C3 Time : 0.0 sec. user=mdettweiler [2012-08-05 02:19:40] 613*2^1225743-1 is not prime. Res64: F97D8A1F42559C66 Time : 0.0 sec. user=mdettweiler [2012-08-05 02:20:03] 669*2^1225743-1 is not prime. Res64: A6C531E10793BF23 Time : 0.0 sec. user=mdettweiler [2012-08-05 02:31:42] 891*2^1225743-1 is not prime. Res64: D8BB4907199CD095 Time : 0.0 sec. user=mdettweiler [2012-08-05 02:31:43] 985*2^1225743-1 is not prime. Res64: D13B81E8ADDFF214 Time : 0.0 sec. user=vaughan [2012-08-05 02:34:43] 793*2^1225743-1 is not prime. Res64: C96581327EDF326F Time : 0.0 sec. user=mdettweiler [2012-08-05 02:37:17] 615*2^1225744-1 is not prime. Res64: 3BB3A0606C5D3FF5 Time : 0.0 sec. user=mdettweiler [2012-08-05 02:37:18] 687*2^1225744-1 is not prime. Res64: 026776EE1AF322DF Time : 0.0 sec. user=mdettweiler [2012-08-05 02:50:25] 765*2^1225744-1 is not prime. Res64: 376AFD634E0E5845 Time : 0.0 sec. user=mdettweiler [2012-08-05 02:50:49] 905*2^1225744-1 is not prime. Res64: 2F1FC36FC070D609 Time : 0.0 sec. user=mdettweiler [2012-08-05 02:52:20] 909*2^1225744-1 is not prime. Res64: 0FAB7F7AB8F801D2 Time : 0.0 sec. user=mdettweiler [2012-08-05 02:52:22] 917*2^1225744-1 is not prime. Res64: 30B2CEC552C23070 Time : 0.0 sec. user=mdettweiler [2012-08-05 02:57:55] 721*2^1225745-1 is not prime. Res64: 85BDCD2D7AFD9199 Time : 0.0 sec. user=mdettweiler [2012-08-05 02:57:55] 729*2^1225745-1 is not prime. Res64: 5199745502347CB6 Time : 0.0 sec. user=vaughan [2012-08-05 03:12:08] 711*2^1225745-1 is not prime. Res64: 56029C97F22A40A4 Time : 0.0 sec. user=mdettweiler [2012-08-05 03:13:08] 991*2^1225745-1 is not prime. Res64: 279075D2E53A036D Time : 0.0 sec. user=mdettweiler [2012-08-05 03:13:10] 627*2^1225746-1 is not prime. Res64: B78E72F7F3CB16A5 Time : 0.0 sec. user=mdettweiler [2012-08-05 03:18:34] 711*2^1225746-1 is not prime. Res64: 35DD8392D5AC1D25 Time : 0.0 sec. user=mdettweiler [2012-08-05 03:18:35] 725*2^1225746-1 is not prime. Res64: 22434CFADB660203 Time : 0.0 sec. user=gd_barnes [2012-08-05 03:19:13] 837*2^1225745-1 is not prime. Res64: E47AA8BCB84E7170 Time : 0.0 sec. user=gd_barnes [2012-08-05 03:20:23] 867*2^1225745-1 is not prime. Res64: 87A451D240DFDC89 Time : 0.0 sec. user=mdettweiler [2012-08-05 03:21:05] 885*2^1225745-1 is not prime. Res64: BF11DDB947502C5F Time : 0.0 sec. user=mdettweiler [2012-08-05 03:21:30] 889*2^1225745-1 is not prime. Res64: 0CCFE39C8B8BB6F6 Time : 0.0 sec. user=mdettweiler [2012-08-05 03:33:52] 993*2^1225746-1 is not prime. Res64: 7345058C84E6B403 Time : 0.0 sec. user=mdettweiler [2012-08-05 03:33:55] 619*2^1225747-1 is not prime. Res64: D5EE679E70B4A06E Time : 0.0 sec. user=mdettweiler [2012-08-05 03:39:20] 765*2^1225747-1 is not prime. Res64: 40126BF6E5817E0A Time : 0.0 sec. user=mdettweiler [2012-08-05 03:39:20] 835*2^1225747-1 is not prime. Res64: 1A7576D682A49246 Time : 0.0 sec. user=gd_barnes [2012-08-05 03:43:17] 735*2^1225747-1 is not prime. Res64: 7B5A5CA84A4B0D23 Time : 0.0 sec. user=vaughan [2012-08-05 03:49:50] 767*2^1225746-1 is not prime. Res64: 20AC4FA29F33DF3A Time : 0.0 sec. user=mdettweiler [2012-08-05 03:54:52] 973*2^1225747-1 is not prime. Res64: B382DFD8A8FBFA70 Time : 0.0 sec. user=mdettweiler [2012-08-05 03:54:53] 623*2^1225748-1 is not prime. Res64: 4DE0D2291AD8565D Time : 0.0 sec. user=mdettweiler [2012-08-05 03:59:56] 927*2^1225748-1 is not prime. Res64: DC4CA62E1D93439D Time : 0.0 sec. user=mdettweiler [2012-08-05 03:59:56] 957*2^1225748-1 is not prime. Res64: 8CC0D5C48CAE537C Time : 0.0 sec. user=mdettweiler [2012-08-05 04:01:21] 931*2^1225747-1 is not prime. Res64: E5FE5729F7134644 Time : 0.0 sec. user=mdettweiler [2012-08-05 04:10:12] 849*2^1225747-1 is not prime. Res64: 14196579D73DFE35 Time : 0.0 sec. user=mdettweiler [2012-08-05 04:15:29] 655*2^1225749-1 is not prime. Res64: 23D0E84EA70A989F Time : 0.0 sec. user=mdettweiler [2012-08-05 04:15:32] 685*2^1225749-1 is not prime. Res64: C6CEA42BBBDE69F8 Time : 0.0 sec. user=mdettweiler [2012-08-05 04:20:34] 711*2^1225749-1 is not prime. Res64: D23DE302AA7A34C2 Time : 0.0 sec. user=mdettweiler [2012-08-05 04:20:34] 817*2^1225749-1 is not prime. Res64: D2ABFF4ECD8924D4 Time : 0.0 sec. user=vaughan [2012-08-05 04:27:23] 627*2^1225749-1 is not prime. Res64: FB3E47FDCABDF41C Time : 0.0 sec. user=mdettweiler [2012-08-05 04:36:17] 653*2^1225750-1 is not prime. Res64: A7323693B9612377 Time : 0.0 sec. user=mdettweiler [2012-08-05 04:41:07] 777*2^1225750-1 is not prime. Res64: D8B5B5E2EC9C570D Time : 0.0 sec. user=mdettweiler [2012-08-05 04:41:07] 867*2^1225750-1 is not prime. Res64: F9025F4A01C18096 Time : 0.0 sec. user=mdettweiler [2012-08-05 04:46:43] 927*2^1225749-1 is not prime. Res64: B5EEC8A009EBCA39 Time : 0.0 sec. user=mdettweiler [2012-08-05 05:01:48] 841*2^1225751-1 is not prime. Res64: 99735680F091CB50 Time : 0.0 sec. user=mdettweiler [2012-08-05 05:01:49] 843*2^1225751-1 is not prime. Res64: 214DC23618CAEA3D Time : 0.0 sec. user=vaughan [2012-08-05 05:04:46] 693*2^1225751-1 is not prime. Res64: 8FF0B4682D1C5A6B Time : 0.0 sec. user=mdettweiler [2012-08-05 05:05:37] 755*2^1225750-1 is not prime. Res64: FF3A111C275B0BFD Time : 0.0 sec. user=mdettweiler [2012-08-05 05:20:40] 949*2^1225751-1 is not prime. Res64: D63E084282A25A1D Time : 0.0 sec. user=mdettweiler [2012-08-05 05:22:35] 955*2^1225751-1 is not prime. Res64: B20D3B66F907E4AF Time : 0.0 sec. user=mdettweiler [2012-08-05 05:22:36] 675*2^1225752-1 is not prime. Res64: 816F61B8384B8C26 Time : 0.0 sec. user=mdettweiler [2012-08-05 05:26:16] 765*2^1225752-1 is not prime. Res64: C0773DA266DC3FE3 Time : 0.0 sec. user=mdettweiler [2012-08-05 05:26:17] 777*2^1225752-1 is not prime. Res64: 9531D79D889D3123 Time : 0.0 sec. user=mdettweiler [2012-08-05 05:26:50] 847*2^1225749-1 is not prime. Res64: F83BDB3F11947EC6 Time : 0.0 sec. user=gd_barnes [2012-08-05 05:40:29] 819*2^1225752-1 is not prime. Res64: A7F6C399D173888C Time : 0.0 sec. user=vaughan [2012-08-05 05:42:11] 719*2^1225752-1 is not prime. Res64: 48FF90ED01EA04E0 Time : 0.0 sec. user=mdettweiler [2012-08-05 05:43:11] 615*2^1225753-1 is not prime. Res64: 0F8057A5D38ECF51 Time : 0.0 sec. user=mdettweiler [2012-08-05 05:43:11] 639*2^1225753-1 is not prime. Res64: 83221F52ECD2BFCF Time : 0.0 sec. user=mdettweiler [2012-08-05 05:46:52] 729*2^1225753-1 is not prime. Res64: F32624AEA6523621 Time : 0.0 sec. user=mdettweiler [2012-08-05 05:46:52] 805*2^1225753-1 is not prime. Res64: 2E8E5563F56D1F06 Time : 0.0 sec. user=mdettweiler [2012-08-05 05:52:27] 917*2^1225752-1 is not prime. Res64: 3715C66EBE8CC458 Time : 0.0 sec. user=mdettweiler [2012-08-05 05:57:41] 939*2^1225753-1 is not prime. Res64: 7516C485E4B8BBA7 Time : 0.0 sec. user=mdettweiler [2012-08-05 06:03:47] 747*2^1225754-1 is not prime. Res64: C706D7FC91B0AF9B Time : 0.0 sec. user=mdettweiler [2012-08-05 06:03:48] 831*2^1225754-1 is not prime. Res64: FDE80D937310B49F Time : 0.0 sec. user=mdettweiler [2012-08-05 06:07:28] 927*2^1225754-1 is not prime. Res64: 56E8DAC492E639D2 Time : 0.0 sec. user=mdettweiler [2012-08-05 06:07:29] 945*2^1225754-1 is not prime. Res64: E60DE0E09F3514A5 Time : 0.0 sec. user=vaughan [2012-08-05 06:19:37] 651*2^1225754-1 is not prime. Res64: AC2D446B2F2A8E5E Time : 0.0 sec. user=mdettweiler [2012-08-05 06:23:06] 625*2^1225755-1 is not prime. Res64: ABA15114A47A00A2 Time : 0.0 sec. user=mdettweiler [2012-08-05 06:24:27] 921*2^1225755-1 is not prime. Res64: F65CC65EA8E883C5 Time : 0.0 sec. user=mdettweiler [2012-08-05 06:24:27] 699*2^1225756-1 is not prime. Res64: C4D8C1A1CB5EDFDA Time : 0.0 sec. user=mdettweiler [2012-08-05 06:28:07] 779*2^1225756-1 is not prime. Res64: 508190606F25D82C Time : 0.0 sec. user=mdettweiler [2012-08-05 06:28:07] 855*2^1225756-1 is not prime. Res64: 1B51836AFB33C678 Time : 0.0 sec. user=mdettweiler [2012-08-05 06:28:15] 735*2^1225755-1 is not prime. Res64: AA6F2092E685C6E0 Time : 0.0 sec. user=mdettweiler [2012-08-05 06:45:02] 747*2^1225757-1 is not prime. Res64: ED7B00FECCD8EA9B Time : 0.0 sec. user=mdettweiler [2012-08-05 06:45:03] 867*2^1225757-1 is not prime. Res64: 74D46A30828CD100 Time : 0.0 sec. user=mdettweiler [2012-08-05 06:48:46] 889*2^1225757-1 is not prime. Res64: B3E4FBE798072742 Time : 0.0 sec. user=mdettweiler [2012-08-05 06:48:47] 731*2^1225758-1 is not prime. Res64: 55B321532FD5070F Time : 0.0 sec. user=mdettweiler [2012-08-05 06:53:43] 993*2^1225756-1 is not prime. Res64: BFA1D4477C5E40D2 Time : 0.0 sec. user=vaughan [2012-08-05 06:57:06] 875*2^1225756-1 is not prime. Res64: 6F4B8068C64496C1 Time : 0.0 sec. user=mdettweiler [2012-08-05 06:58:48] 755*2^1225758-1 is not prime. Res64: 0B5FA42D7F7E7F1C Time : 0.0 sec. user=mdettweiler [2012-08-05 07:05:39] 777*2^1225758-1 is not prime. Res64: 4ADD6C097634FBEA Time : 0.0 sec. user=mdettweiler [2012-08-05 07:05:42] 795*2^1225758-1 is not prime. Res64: 2F07F340EFA3F7CE Time : 0.0 sec. user=mdettweiler [2012-08-05 07:09:20] 933*2^1225758-1 is not prime. Res64: 8067AB4C39CAF6AA Time : 0.0 sec. user=mdettweiler [2012-08-05 07:09:22] 1001*2^1225758-1 is not prime. Res64: FFA38F848526E61B Time : 0.0 sec. user=mdettweiler [2012-08-05 07:24:15] 625*2^1225759-1 is not prime. Res64: 0F733AF34F59FC2C Time : 0.0 sec. user=mdettweiler [2012-08-05 07:26:47] 635*2^1225760-1 is not prime. Res64: 036FB52F2BC0969F Time : 0.0 sec. user=mdettweiler [2012-08-05 07:26:47] 677*2^1225760-1 is not prime. Res64: 9D53E1CCA723134A Time : 0.0 sec. user=mdettweiler [2012-08-05 07:29:23] 859*2^1225759-1 is not prime. Res64: 34EB58BA16F1346A Time : 0.0 sec. user=mdettweiler [2012-08-05 07:29:57] 689*2^1225760-1 is not prime. Res64: 47F2BF2B90C45DC9 Time : 0.0 sec. user=mdettweiler [2012-08-05 07:29:58] 717*2^1225760-1 is not prime. Res64: 5F5BB95F09EEF61C Time : 0.0 sec. user=vaughan [2012-08-05 07:34:33] 763*2^1225759-1 is not prime. Res64: 2313CDC085F760F9 Time : 0.0 sec. user=gd_barnes [2012-08-05 07:47:19] 755*2^1225760-1 is not prime. Res64: CA44F7F145850229 Time : 0.0 sec. user=mdettweiler [2012-08-05 07:47:21] 857*2^1225760-1 is not prime. Res64: CBED340DD4B213A1 Time : 0.0 sec. user=mdettweiler [2012-08-05 07:47:22] 995*2^1225760-1 is not prime. Res64: 83DA9B2D133F2471 Time : 0.0 sec. user=mdettweiler [2012-08-05 07:50:33] 795*2^1225761-1 is not prime. Res64: CEE55AC12E37FABF Time : 0.0 sec. user=mdettweiler [2012-08-05 07:50:33] 847*2^1225761-1 is not prime. Res64: 8DC6D4D71AEA3079 Time : 0.0 sec. user=mdettweiler [2012-08-05 07:54:49] 797*2^1225760-1 is not prime. Res64: EBDB4CA782A5F220 Time : 0.0 sec. user=mdettweiler [2012-08-05 07:59:57] 651*2^1225761-1 is not prime. Res64: B67C87B1DCF6B85B Time : 0.0 sec. user=mdettweiler [2012-08-05 08:11:05] 677*2^1225762-1 is not prime. Res64: 6F952D8943C9A57E Time : 0.0 sec. user=mdettweiler [2012-08-05 08:11:07] 695*2^1225762-1 is not prime. Res64: 9E11494FD22D619B Time : 0.0 sec. user=vaughan [2012-08-05 08:11:55] 937*2^1225761-1 is not prime. Res64: E08FC2C4BC1F2169 Time : 0.0 sec. user=mdettweiler [2012-08-05 08:20:44] 969*2^1225761-1 is not prime. Res64: AF3EB8CB48A409A9 Time : 0.0 sec. user=mdettweiler [2012-08-05 08:20:45] 987*2^1225761-1 is not prime. Res64: 09E09B8B97955F22 Time : 0.0 sec. user=mdettweiler [2012-08-05 08:27:25] 741*2^1225762-1 is not prime. Res64: 40627EC6A9F4B66A Time : 0.0 sec. user=mdettweiler [2012-08-05 08:32:00] 923*2^1225762-1 is not prime. Res64: FB2178AA8B2DDB9C Time : 0.0 sec. user=mdettweiler [2012-08-05 08:32:00] 947*2^1225762-1 is not prime. Res64: 44177DF013715B6A Time : 0.0 sec. user=mdettweiler [2012-08-05 08:32:47] 831*2^1225762-1 is not prime. Res64: 05B6C9EF7C3D715F Time : 0.0 sec. user=mdettweiler [2012-08-05 08:41:23] 715*2^1225763-1 is not prime. Res64: E39A63B44C31D99A Time : 0.0 sec. user=mdettweiler [2012-08-05 08:41:23] 741*2^1225763-1 is not prime. Res64: A752CF342518BE16 Time : 0.0 sec. user=vaughan [2012-08-05 08:49:25] 975*2^1225762-1 is not prime. Res64: 10887E38417F7025 Time : 0.0 sec. user=mdettweiler [2012-08-05 08:52:34] 999*2^1225763-1 is not prime. Res64: AF41DD79D4A342C6 Time : 0.0 sec. user=mdettweiler [2012-08-05 08:52:35] 627*2^1225764-1 is not prime. Res64: 3564C682579515E1 Time : 0.0 sec. user=mdettweiler [2012-08-05 08:58:16] 825*2^1225763-1 is not prime. Res64: D0ED68EB4C0D6411 Time : 0.0 sec. user=mdettweiler [2012-08-05 09:01:56] 753*2^1225764-1 is not prime. Res64: C74C26769C3FE71F Time : 0.0 sec. user=mdettweiler [2012-08-05 09:01:58] 773*2^1225764-1 is not prime. Res64: B7BC4D00F470C82D Time : 0.0 sec. user=mdettweiler [2012-08-05 09:03:47] 693*2^1225764-1 is not prime. Res64: 308F83EE22B2C906 Time : 0.0 sec. user=mdettweiler [2012-08-05 09:13:08] 957*2^1225764-1 is not prime. Res64: 1B1A3FC635029691 Time : 0.0 sec. user=mdettweiler [2012-08-05 09:13:11] 651*2^1225765-1 is not prime. Res64: 4D7126DB3B040045 Time : 0.0 sec. user=mdettweiler [2012-08-05 09:22:29] 861*2^1225765-1 is not prime. Res64: 54CE6E0930D6CEAA Time : 0.0 sec. user=mdettweiler [2012-08-05 09:22:29] 987*2^1225765-1 is not prime. Res64: A8105F10CE64D7F1 Time : 0.0 sec. user=vaughan [2012-08-05 09:27:00] 915*2^1225764-1 is not prime. Res64: 91FAB13620B89060 Time : 0.0 sec. user=mdettweiler [2012-08-05 09:29:15] 799*2^1225765-1 is not prime. Res64: 764466EC5569430F Time : 0.0 sec. user=mdettweiler [2012-08-05 09:34:42] 683*2^1225766-1 is not prime. Res64: 1A2A90D7834D2BA0 Time : 0.0 sec. user=mdettweiler [2012-08-05 09:35:54] 827*2^1225766-1 is not prime. Res64: BAF49D0EFFE65C0A Time : 0.0 sec. user=mdettweiler [2012-08-05 09:35:55] 893*2^1225766-1 is not prime. Res64: 36B932DDB9B65A92 Time : 0.0 sec. user=mdettweiler [2012-08-05 09:43:06] 621*2^1225767-1 is not prime. Res64: C388CD1BBEC0DB52 Time : 0.0 sec. user=mdettweiler [2012-08-05 09:43:07] 625*2^1225767-1 is not prime. Res64: AF8C002B0A941724 Time : 0.0 sec. user=mdettweiler [2012-08-05 09:56:28] 895*2^1225767-1 is not prime. Res64: AACAD884DA5D21EC Time : 0.0 sec. user=mdettweiler [2012-08-05 09:56:29] 603*2^1225768-1 is not prime. Res64: 48C23AD3584B24F0 Time : 0.0 sec. user=mdettweiler [2012-08-05 10:00:09] 823*2^1225767-1 is not prime. Res64: BD0731BB14875CE5 Time : 0.0 sec. user=mdettweiler [2012-08-05 10:03:40] 677*2^1225768-1 is not prime. Res64: 0BDF0C3A08400255 Time : 0.0 sec. user=mdettweiler [2012-08-05 10:03:41] 705*2^1225768-1 is not prime. Res64: 068863CDF3BB94F4 Time : 0.0 sec. user=vaughan [2012-08-05 10:04:24] 735*2^1225767-1 is not prime. Res64: 56CEE8BA8911405B Time : 0.0 sec. user=mdettweiler [2012-08-05 10:05:32] 849*2^1225767-1 is not prime. Res64: 1B50DCA50518D5CF Time : 0.0 sec. user=mdettweiler [2012-08-05 10:17:02] 957*2^1225768-1 is not prime. Res64: 70136A45A38616DD Time : 0.0 sec. user=mdettweiler [2012-08-05 10:17:03] 711*2^1225769-1 is not prime. Res64: D984377B56A11A61 Time : 0.0 sec. user=mdettweiler [2012-08-05 10:24:15] 967*2^1225769-1 is not prime. Res64: A4BD4A225E76FB55 Time : 0.0 sec. user=mdettweiler [2012-08-05 10:24:16] 707*2^1225770-1 is not prime. Res64: 5894E548679E9449 Time : 0.0 sec. user=mdettweiler [2012-08-05 10:31:00] 931*2^1225769-1 is not prime. Res64: 64B39503461F8279 Time : 0.0 sec. user=mdettweiler [2012-08-05 10:36:22] 755*2^1225770-1 is not prime. Res64: 89859865A375723A Time : 0.0 sec. user=mdettweiler [2012-08-05 10:37:40] 891*2^1225770-1 is not prime. Res64: F2427903CB954D8D Time : 0.0 sec. user=mdettweiler [2012-08-05 10:37:41] 917*2^1225770-1 is not prime. Res64: 69B6ADABB3F0AE93 Time : 0.0 sec. user=vaughan [2012-08-05 10:41:50] 747*2^1225770-1 is not prime. Res64: A4D8F6B60EDD1A5E Time : 0.0 sec. user=mdettweiler [2012-08-05 10:44:49] 663*2^1225771-1 is not prime. Res64: 6833613953C33B20 Time : 0.0 sec. user=mdettweiler [2012-08-05 10:44:50] 685*2^1225771-1 is not prime. Res64: 683F5BFB17AFD8C2 Time : 0.0 sec. user=mdettweiler [2012-08-05 10:58:17] 873*2^1225771-1 is not prime. Res64: E1C8D8133659D9AE Time : 0.0 sec. user=mdettweiler [2012-08-05 10:58:17] 943*2^1225771-1 is not prime. Res64: 506F11C7BECA4921 Time : 0.0 sec. user=mdettweiler [2012-08-05 11:02:42] 841*2^1225771-1 is not prime. Res64: 428B30865ACB1B63 Time : 0.0 sec. user=mdettweiler [2012-08-05 11:05:29] 633*2^1225772-1 is not prime. Res64: 6AB8F1BCD190EEBA Time : 0.0 sec. user=mdettweiler [2012-08-05 11:05:32] 677*2^1225772-1 is not prime. Res64: 65B2963231AA4B22 Time : 0.0 sec. user=mdettweiler [2012-08-05 11:07:52] 871*2^1225771-1 is not prime. Res64: 48468ADB9EE5B419 Time : 0.0 sec. user=mdettweiler [2012-08-05 11:19:06] 749*2^1225772-1 is not prime. Res64: 5AD4FA6C11ECAFCA Time : 0.0 sec. user=mdettweiler [2012-08-05 11:19:07] 767*2^1225772-1 is not prime. Res64: C01A644A7C527120 Time : 0.0 sec. user=vaughan [2012-08-05 11:19:13] 979*2^1225771-1 is not prime. Res64: 84FA6E89A1773AE4 Time : 0.0 sec. user=mdettweiler [2012-08-05 11:26:38] 649*2^1225773-1 is not prime. Res64: D3636BCC71989BD1 Time : 0.0 sec. user=mdettweiler [2012-08-05 11:26:38] 675*2^1225773-1 is not prime. Res64: 0A52081E5D38CB45 Time : 0.0 sec. user=mdettweiler [2012-08-05 11:36:27] 999*2^1225772-1 is not prime. Res64: 197EFCBE99EF8231 Time : 0.0 sec. user=mdettweiler [2012-08-05 11:39:46] 837*2^1225773-1 is not prime. Res64: E19A4AB52241C27D Time : 0.0 sec. user=mdettweiler [2012-08-05 11:39:54] 895*2^1225773-1 is not prime. Res64: 8DC762E2EB29167A Time : 0.0 sec. user=mdettweiler [2012-08-05 11:39:55] 927*2^1225773-1 is not prime. Res64: 8B0904F4D11AC133 Time : 0.0 sec. user=mdettweiler [2012-08-05 11:47:26] 623*2^1225774-1 is not prime. Res64: DE85CF0875FB9643 Time : 0.0 sec. user=mdettweiler [2012-08-05 11:47:26] 635*2^1225774-1 is not prime. Res64: F2789841D7DFF2A9 Time : 0.0 sec. user=vaughan [2012-08-05 11:56:37] 951*2^1225773-1 is not prime. Res64: 0F8F1676FE984F55 Time : 0.0 sec. user=mdettweiler [2012-08-05 12:00:41] 857*2^1225774-1 is not prime. Res64: 3BAAE9FAA4DCC45E Time : 0.0 sec. user=mdettweiler [2012-08-05 12:00:42] 861*2^1225774-1 is not prime. Res64: 99B841D02F1370D0 Time : 0.0 sec. user=mdettweiler [2012-08-05 12:08:12] 947*2^1225774-1 is not prime. Res64: B0B1F7CEB8650F71 Time : 0.0 sec. user=mdettweiler [2012-08-05 12:08:13] 971*2^1225774-1 is not prime. Res64: 762ED8C808CE3B71 Time : 0.0 sec. user=mdettweiler [2012-08-05 12:08:17] 681*2^1225774-1 is not prime. Res64: 7B39FD5752A2D0DB Time : 0.0 sec. user=mdettweiler [2012-08-05 12:11:40] 707*2^1225774-1 is not prime. Res64: 0A9DDC83F56189DB Time : 0.0 sec. user=mdettweiler [2012-08-05 12:21:27] 663*2^1225775-1 is not prime. Res64: 07839BEA3EFEA45F Time : 0.0 sec. user=mdettweiler [2012-08-05 12:21:27] 781*2^1225775-1 is not prime. Res64: A81968DF6AAEE0EA Time : 0.0 sec. user=mdettweiler [2012-08-05 12:29:11] 969*2^1225775-1 is not prime. Res64: F56A7F8586B6F3B9 Time : 0.0 sec. user=mdettweiler [2012-08-05 12:29:11] 973*2^1225775-1 is not prime. Res64: 09A1E3BD78D28AC9 Time : 0.0 sec. user=vaughan [2012-08-05 12:34:06] 993*2^1225774-1 is not prime. Res64: FE0CC3489ADAF476 Time : 0.0 sec. user=mdettweiler [2012-08-05 12:40:28] 609*2^1225776-1 is not prime. Res64: 1D9FB65F71DED64D Time : 0.0 sec. user=mdettweiler [2012-08-05 12:42:30] 683*2^1225776-1 is not prime. Res64: A9DE6AE2F5DA443E Time : 0.0 sec. user=mdettweiler [2012-08-05 12:42:30] 735*2^1225776-1 is not prime. Res64: 575696BDF56DC4F2 Time : 0.0 sec. user=mdettweiler [2012-08-05 12:43:52] 675*2^1225776-1 is not prime. Res64: 2A38D14AE5894795 Time : 0.0 sec. user=mdettweiler [2012-08-05 12:50:32] 839*2^1225776-1 is not prime. Res64: A8EC66701CFF4E1C Time : 0.0 sec. user=mdettweiler [2012-08-05 12:50:32] 945*2^1225776-1 is not prime. Res64: 8AACAAB6AD1FADC7 Time : 0.0 sec. user=mdettweiler [2012-08-05 13:03:53] 661*2^1225777-1 is not prime. Res64: 08CBA1218A501CD4 Time : 0.0 sec. user=mdettweiler [2012-08-05 13:03:57] 729*2^1225777-1 is not prime. Res64: CDEA3D50BB277ED8 Time : 0.0 sec. user=vaughan [2012-08-05 13:11:31] 625*2^1225777-1 is not prime. Res64: 9838F7E474AB8208 Time : 0.0 sec. user=mdettweiler [2012-08-05 13:11:57] 635*2^1225778-1 is not prime. Res64: 2D7DF55581A38037 Time : 0.0 sec. user=mdettweiler [2012-08-05 13:11:58] 665*2^1225778-1 is not prime. Res64: A2B02C19BDCD8441 Time : 0.0 sec. user=mdettweiler [2012-08-05 13:12:21] 651*2^1225777-1 is not prime. Res64: D50A527B422EBBF3 Time : 0.0 sec. user=mdettweiler [2012-08-05 13:15:43] 939*2^1225777-1 is not prime. Res64: 59F9058CAF6EAACA Time : 0.0 sec. user=mdettweiler [2012-08-05 13:26:06] 735*2^1225778-1 is not prime. Res64: AFCD89178BA8636D Time : 0.0 sec. user=mdettweiler [2012-08-05 13:26:06] 755*2^1225778-1 is not prime. Res64: 68B62839C6D3B52C Time : 0.0 sec. user=mdettweiler [2012-08-05 13:33:36] 837*2^1225778-1 is not prime. Res64: B197B872ED40B412 Time : 0.0 sec. user=mdettweiler [2012-08-05 13:33:37] 843*2^1225778-1 is not prime. Res64: 4EE67CF25F56FE75 Time : 0.0 sec. user=mdettweiler [2012-08-05 13:44:27] 935*2^1225778-1 is not prime. Res64: 4CD2DDC31A6BFCE8 Time : 0.0 sec. user=mdettweiler [2012-08-05 13:47:43] 1001*2^1225778-1 is not prime. Res64: C7B7DF658870F8A7 Time : 0.0 sec. user=mdettweiler [2012-08-05 13:47:43] 633*2^1225779-1 is not prime. Res64: 72F88E26DC37361A Time : 0.0 sec. user=mdettweiler [2012-08-05 13:47:47] 977*2^1225778-1 is not prime. Res64: 2F96B80C267DAED7 Time : 0.0 sec. user=mdettweiler [2012-08-05 13:55:00] 669*2^1225779-1 is not prime. Res64: 5B2764D7A0BB4FDC Time : 0.0 sec. user=mdettweiler [2012-08-05 13:55:00] 789*2^1225779-1 is not prime. Res64: 85D52A60083FDF76 Time : 0.0 sec. user=mdettweiler [2012-08-05 14:09:04] 677*2^1225780-1 is not prime. Res64: 92A02653D77AF593 Time : 0.0 sec. user=mdettweiler [2012-08-05 14:09:06] 735*2^1225780-1 is not prime. Res64: 3FA2DBA6DF9A26AB Time : 0.0 sec. user=mdettweiler [2012-08-05 14:16:19] 647*2^1225780-1 is not prime. Res64: AFA892850F1CFE79 Time : 0.0 sec. user=mdettweiler [2012-08-05 14:16:23] 827*2^1225780-1 is not prime. Res64: A32D9B715FA14B05 Time : 0.0 sec. user=mdettweiler [2012-08-05 14:16:24] 863*2^1225780-1 is not prime. Res64: CB60F83BD416E031 Time : 0.0 sec. user=mdettweiler [2012-08-05 14:19:41] 797*2^1225780-1 is not prime. Res64: 845B0101706CE13A Time : 0.0 sec. user=vaughan [2012-08-05 14:26:31] 803*2^1225780-1 is not prime. Res64: 61292D2E17A54554 Time : 0.0 sec. user=mdettweiler [2012-08-05 14:30:34] 885*2^1225780-1 is not prime. Res64: 570529E75491E278 Time : 0.0 sec. user=mdettweiler [2012-08-05 14:30:34] 909*2^1225780-1 is not prime. Res64: 1EF4726FD76BCDF2 Time : 0.0 sec. user=mdettweiler [2012-08-05 14:37:51] 601*2^1225781-1 is not prime. Res64: 3E875FB57885BB87 Time : 0.0 sec. user=mdettweiler [2012-08-05 14:37:51] 649*2^1225781-1 is not prime. Res64: BC65CDF137E0FD15 Time : 0.0 sec. user=mdettweiler [2012-08-05 14:48:27] 989*2^1225780-1 is not prime. Res64: 92E32685EB82F1D5 Time : 0.0 sec. user=mdettweiler [2012-08-05 14:51:56] 669*2^1225781-1 is not prime. Res64: F11A4AA2FCFF2A90 Time : 0.0 sec. user=mdettweiler [2012-08-05 14:52:07] 727*2^1225781-1 is not prime. Res64: 62EDA97AD1806D5E Time : 0.0 sec. user=mdettweiler [2012-08-05 14:52:07] 871*2^1225781-1 is not prime. Res64: 2587DAF18A3DDB20 Time : 0.0 sec. user=mdettweiler [2012-08-05 14:59:22] 945*2^1225781-1 is not prime. Res64: 35142EADC634EE8F Time : 0.0 sec. user=mdettweiler [2012-08-05 14:59:22] 615*2^1225782-1 is not prime. Res64: BB1A8EE146EE7BCA Time : 0.0 sec. user=vaughan [2012-08-05 15:03:58] 711*2^1225781-1 is not prime. Res64: AAFC601205CACB6F Time : 0.0 sec. user=mdettweiler [2012-08-05 15:13:36] 815*2^1225782-1 is not prime. Res64: 527E1FD5C58ACE99 Time : 0.0 sec. user=mdettweiler [2012-08-05 15:20:46] 621*2^1225782-1 is not prime. Res64: FA7ECCC50108A30A Time : 0.0 sec. user=mdettweiler [2012-08-05 15:21:09] 917*2^1225782-1 is not prime. Res64: 2D0F95F92CF04DE4 Time : 0.0 sec. user=mdettweiler [2012-08-05 15:21:10] 957*2^1225782-1 is not prime. Res64: 3665DB054C3A2575 Time : 0.0 sec. user=mdettweiler [2012-08-05 15:24:15] 711*2^1225782-1 is not prime. Res64: 2BCDCF7CB2ECD646 Time : 0.0 sec. user=vaughan [2012-08-05 15:41:24] 639*2^1225783-1 is not prime. Res64: 1B1A54C9FE1D8F40 Time : 0.0 sec. user=mdettweiler [2012-08-05 15:42:54] 703*2^1225783-1 is not prime. Res64: 3BEFAA52F53C4C46 Time : 0.0 sec. user=mdettweiler [2012-08-05 15:42:55] 765*2^1225783-1 is not prime. Res64: 97BD4E411066B7D1 Time : 0.0 sec. user=mdettweiler [2012-08-05 15:52:41] 663*2^1225783-1 is not prime. Res64: A201314B87519A02 Time : 0.0 sec. user=mdettweiler [2012-08-05 15:57:15] 873*2^1225782-1 is not prime. Res64: FCD99E3D606B1040 Time : 0.0 sec. user=mdettweiler [2012-08-05 15:59:13] 811*2^1225783-1 is not prime. Res64: 4E5676BE322DEE55 Time : 0.0 sec. user=mdettweiler [2012-08-05 16:04:22] 889*2^1225783-1 is not prime. Res64: 9BB1DC25B2CA5896 Time : 0.0 sec. user=mdettweiler [2012-08-05 16:04:26] 609*2^1225784-1 is not prime. Res64: E9B01D2AA21350A6 Time : 0.0 sec. user=mdettweiler [2012-08-05 16:18:40] 687*2^1225784-1 is not prime. Res64: 94A119B0D0E7744A Time : 0.0 sec. user=mdettweiler [2012-08-05 16:18:41] 753*2^1225784-1 is not prime. Res64: DB5CF3DB96EB8BE7 Time : 0.0 sec. user=vaughan [2012-08-05 16:18:48] 849*2^1225783-1 is not prime. Res64: 94DED2BEEC6FC176 Time : 0.0 sec. user=mdettweiler [2012-08-05 16:26:38] 627*2^1225785-1 is not prime. Res64: F13A4907BDEEA0E8 Time : 0.0 sec. user=mdettweiler [2012-08-05 16:26:38] 717*2^1225785-1 is not prime. Res64: 519B3A64EF9FAB28 Time : 0.0 sec. user=mdettweiler [2012-08-05 16:26:51] 629*2^1225784-1 is not prime. Res64: 8F4FFF2154D252A8 Time : 0.0 sec. user=mdettweiler [2012-08-05 16:31:26] 843*2^1225784-1 is not prime. Res64: E59E3E19883C27C6 Time : 0.0 sec. user=mdettweiler [2012-08-05 16:39:55] 727*2^1225785-1 is not prime. Res64: AB8A05CF5A85DA51 Time : 0.0 sec. user=mdettweiler [2012-08-05 16:39:55] 741*2^1225785-1 is not prime. Res64: C9ADB3F77D7E6D16 Time : 0.0 sec. user=mdettweiler [2012-08-05 16:47:47] 861*2^1225785-1 is not prime. Res64: BC097588458A168E Time : 0.0 sec. user=mdettweiler [2012-08-05 16:47:48] 919*2^1225785-1 is not prime. Res64: A9EE4561792AB7B6 Time : 0.0 sec. user=vaughan [2012-08-05 16:56:15] 787*2^1225785-1 is not prime. Res64: FC7B662E5E435ED2 Time : 0.0 sec. user=mdettweiler [2012-08-05 17:00:22] 969*2^1225785-1 is not prime. Res64: 33AD55979223654A Time : 0.0 sec. user=mdettweiler [2012-08-05 17:00:46] 675*2^1225786-1 is not prime. Res64: 374946A5CCA35CD5 Time : 0.0 sec. user=mdettweiler [2012-08-05 17:00:47] 821*2^1225786-1 is not prime. Res64: 622B31736DC3469C Time : 0.0 sec. user=mdettweiler [2012-08-05 17:05:00] 617*2^1225786-1 is not prime. Res64: DF182098DEADF08F Time : 0.0 sec. user=mdettweiler [2012-08-05 17:08:34] 857*2^1225786-1 is not prime. Res64: 0D4EC0548BAB4E15 Time : 0.0 sec. user=mdettweiler [2012-08-05 17:08:35] 923*2^1225786-1 is not prime. Res64: 1F9C1C098A698931 Time : 0.0 sec. user=mdettweiler [2012-08-05 17:21:32] 705*2^1225787-1 is not prime. Res64: 9AF643AF40CC269A Time : 0.0 sec. user=mdettweiler [2012-08-05 17:21:34] 735*2^1225787-1 is not prime. Res64: 2A46A30C871F40BC Time : 0.0 sec. user=mdettweiler [2012-08-05 17:29:33] 955*2^1225787-1 is not prime. Res64: 2CF80976E5A36956 Time : 0.0 sec. user=mdettweiler [2012-08-05 17:29:33] 735*2^1225788-1 is not prime. Res64: 3011A339413B3B63 Time : 0.0 sec. user=mdettweiler [2012-08-05 17:32:15] 693*2^1225787-1 is not prime. Res64: D2C6E094D2A20683 Time : 0.0 sec. user=vaughan [2012-08-05 17:33:37] 685*2^1225787-1 is not prime. Res64: 8F2A92E48FFA45D3 Time : 0.0 sec. user=mdettweiler [2012-08-05 17:36:55] 781*2^1225787-1 is not prime. Res64: C91EF06834A1F6C1 Time : 0.0 sec. user=gd_barnes [2012-08-05 17:37:00] 901*2^1225787-1 is not prime. Res64: 21CEF0EDECBAD1F5 Time : 0.0 sec. user=gd_barnes [2012-08-05 17:37:00] 895*2^1225787-1 is not prime. Res64: B51AE5112BB73E2E Time : 0.0 sec. user=mdettweiler [2012-08-05 17:42:51] 875*2^1225788-1 is not prime. Res64: A5227C1C6F5B3149 Time : 0.0 sec. user=mdettweiler [2012-08-05 17:42:52] 947*2^1225788-1 is not prime. Res64: D7865B90434A3C13 Time : 0.0 sec. user=mdettweiler [2012-08-05 17:50:20] 675*2^1225789-1 is not prime. Res64: 0CDDBCA9D12B0FB6 Time : 0.0 sec. user=mdettweiler [2012-08-05 17:50:21] 681*2^1225789-1 is not prime. Res64: EB88F3F83CE021FB Time : 0.0 sec. user=mdettweiler [2012-08-05 18:03:24] 675*2^1225790-1 is not prime. Res64: B1CC0ACFB3FEF4AD Time : 0.0 sec. user=mdettweiler [2012-08-05 18:03:25] 825*2^1225790-1 is not prime. Res64: B84FC3133368C7CA Time : 0.0 sec. user=mdettweiler [2012-08-05 18:04:29] 759*2^1225789-1 is not prime. Res64: 2AC320A4DF49EE55 Time : 0.0 sec. user=mdettweiler [2012-08-05 18:09:11] 635*2^1225790-1 is not prime. Res64: 8F9DA8ED0BBB5561 Time : 0.0 sec. user=mdettweiler [2012-08-05 18:10:53] 885*2^1225790-1 is not prime. Res64: 2E0CA8B4AA3444AA Time : 0.0 sec. user=mdettweiler [2012-08-05 18:10:55] 893*2^1225790-1 is not prime. Res64: B7C6C03FBBDF536C Time : 0.0 sec. user=vaughan [2012-08-05 18:11:00] 769*2^1225789-1 is not prime. Res64: A04BDA7A542B8170 Time : 0.0 sec. user=mdettweiler [2012-08-05 18:24:01] 649*2^1225791-1 is not prime. Res64: 492CA5EEF35968B7 Time : 0.0 sec. user=mdettweiler [2012-08-05 18:24:02] 679*2^1225791-1 is not prime. Res64: B43A07075A1DBCFB Time : 0.0 sec. user=mdettweiler [2012-08-05 18:31:35] 675*2^1225792-1 is not prime. Res64: 60410AEF82D47C86 Time : 0.0 sec. user=mdettweiler [2012-08-05 18:31:35] 695*2^1225792-1 is not prime. Res64: 942A0DDD4C6A4400 Time : 0.0 sec. user=mdettweiler [2012-08-05 18:37:45] 825*2^1225791-1 is not prime. Res64: 23510D2A3354F851 Time : 0.0 sec. user=mdettweiler [2012-08-05 18:42:44] 909*2^1225791-1 is not prime. Res64: 5B9924E78EA1AC49 Time : 0.0 sec. user=mdettweiler [2012-08-05 18:44:35] 983*2^1225792-1 is not prime. Res64: B756207E132E19D5 Time : 0.0 sec. user=mdettweiler [2012-08-05 18:44:36] 999*2^1225792-1 is not prime. Res64: A4F7F99D827CA153 Time : 0.0 sec. user=vaughan [2012-08-05 18:48:29] 929*2^1225792-1 is not prime. Res64: B86C821795DF9581 Time : 0.0 sec. user=mdettweiler [2012-08-05 18:52:09] 699*2^1225793-1 is not prime. Res64: 55A6F297E5BF6D9D Time : 0.0 sec. user=mdettweiler [2012-08-05 18:52:09] 805*2^1225793-1 is not prime. Res64: D80AC61E67FD30D7 Time : 0.0 sec. user=gd_barnes [2012-08-05 18:58:52] 607*2^1225793-1 is not prime. Res64: 19D308AC4C032B7F Time : 0.0 sec. user=gd_barnes [2012-08-05 18:59:05] 685*2^1225793-1 is not prime. Res64: 60416A26BEEEE5F9 Time : 0.0 sec. user=mdettweiler [2012-08-05 19:05:09] 861*2^1225793-1 is not prime. Res64: 04660DE77072666D Time : 0.0 sec. user=mdettweiler [2012-08-05 19:05:11] 969*2^1225793-1 is not prime. Res64: 106B3A1F923AF300 Time : 0.0 sec. user=mdettweiler [2012-08-05 19:10:24] 829*2^1225793-1 is not prime. Res64: 1F913778FF76246F Time : 0.0 sec. user=mdettweiler [2012-08-05 19:12:42] 917*2^1225794-1 is not prime. Res64: 7B0FC3489CDB2197 Time : 0.0 sec. user=mdettweiler [2012-08-05 19:12:43] 631*2^1225795-1 is not prime. Res64: F0F1A98DA4F693FE Time : 0.0 sec. user=mdettweiler [2012-08-05 19:15:07] 847*2^1225793-1 is not prime. Res64: 7D5C665B8782E209 Time : 0.0 sec. user=mdettweiler [2012-08-05 19:26:01] 649*2^1225795-1 is not prime. Res64: DDD23BFAC3788EEF Time : 0.0 sec. user=mdettweiler [2012-08-05 19:26:02] 765*2^1225795-1 is not prime. Res64: FDB0D433A7F14D13 Time : 0.0 sec. user=vaughan [2012-08-05 19:26:06] 765*2^1225794-1 is not prime. Res64: 2F7AFEA4FFF152E2 Time : 0.0 sec. user=mdettweiler [2012-08-05 19:33:20] 659*2^1225796-1 is not prime. Res64: 7ECA4396301D0326 Time : 0.0 sec. user=mdettweiler [2012-08-05 19:33:21] 669*2^1225796-1 is not prime. Res64: 82434C0A381A1F86 Time : 0.0 sec. user=gd_barnes [2012-08-05 19:38:30] 771*2^1225795-1 is not prime. Res64: D25BE09964AC933F Time : 0.0 sec. user=gd_barnes [2012-08-05 19:38:39] 961*2^1225795-1 is not prime. Res64: F244C00918AB1F77 Time : 0.0 sec. user=mdettweiler [2012-08-05 19:42:16] 985*2^1225795-1 is not prime. Res64: 3F5903D80134018C Time : 0.0 sec. user=mdettweiler [2012-08-05 19:46:41] 789*2^1225796-1 is not prime. Res64: B99240F78B6EF69E Time : 0.0 sec. user=mdettweiler [2012-08-05 19:46:41] 957*2^1225796-1 is not prime. Res64: 66CC3E7EC62F5E40 Time : 0.0 sec. user=mdettweiler [2012-08-05 19:47:12] 785*2^1225796-1 is not prime. Res64: 05B2DC1AEE4524B7 Time : 0.0 sec. user=mdettweiler [2012-08-05 19:54:08] 835*2^1225797-1 is not prime. Res64: 91E4228BAF3EE2CB Time : 0.0 sec. user=mdettweiler [2012-08-05 19:54:08] 847*2^1225797-1 is not prime. Res64: 7803BDD98D774DBE Time : 0.0 sec. user=vaughan [2012-08-05 20:03:32] 627*2^1225797-1 is not prime. Res64: 49F95452D8904147 Time : 0.0 sec. user=mdettweiler [2012-08-05 20:07:37] 915*2^1225797-1 is not prime. Res64: CA04A96126964AB6 Time : 0.0 sec. user=mdettweiler [2012-08-05 20:07:40] 961*2^1225797-1 is not prime. Res64: 9024F9900C22D90C Time : 0.0 sec. user=mdettweiler [2012-08-05 20:14:33] 871*2^1225797-1 is not prime. Res64: FE94F01EE973319B Time : 0.0 sec. user=mdettweiler [2012-08-05 20:15:04] 651*2^1225798-1 is not prime. Res64: 7FBFF651D234DFBE Time : 0.0 sec. user=mdettweiler [2012-08-05 20:15:05] 713*2^1225798-1 is not prime. Res64: F4E8FBBC674DEB1B Time : 0.0 sec. user=mdettweiler [2012-08-05 20:19:24] 999*2^1225797-1 is not prime. Res64: 9EF9C4B61E763145 Time : 0.0 sec. user=mdettweiler [2012-08-05 20:28:33] 833*2^1225798-1 is not prime. Res64: 50B2978B9173B9E4 Time : 0.0 sec. user=mdettweiler [2012-08-05 20:28:34] 915*2^1225798-1 is not prime. Res64: 5DC53DBBA59FE43A Time : 0.0 sec. user=mdettweiler [2012-08-05 20:35:51] 675*2^1225799-1 is not prime. Res64: B13561EA3245210D Time : 0.0 sec. user=mdettweiler [2012-08-05 20:35:51] 721*2^1225799-1 is not prime. Res64: 67173A3210490AD5 Time : 0.0 sec. user=vaughan [2012-08-05 20:40:54] 755*2^1225798-1 is not prime. Res64: 62CE69BCEBDA3D35 Time : 0.0 sec. user=mdettweiler [2012-08-05 20:46:11] 643*2^1225799-1 is not prime. Res64: A1B5DD47534AA122 Time : 0.0 sec. user=mdettweiler [2012-08-05 20:49:14] 775*2^1225799-1 is not prime. Res64: A90BB0907E0A4C6B Time : 0.0 sec. user=mdettweiler [2012-08-05 20:49:14] 811*2^1225799-1 is not prime. Res64: B31ED43A87CAFC64 Time : 0.0 sec. user=mdettweiler [2012-08-05 20:51:52] 759*2^1225799-1 is not prime. Res64: 4C2ADF4D8BDA1F5C Time : 0.0 sec. user=mdettweiler [2012-08-05 20:56:30] 865*2^1225799-1 is not prime. Res64: 079905202C1AF674 Time : 0.0 sec. user=mdettweiler [2012-08-05 20:56:30] 633*2^1225800-1 is not prime. Res64: 14F1A2DFCBD4DE7E Time : 0.0 sec. user=mdettweiler [2012-08-05 21:09:54] 917*2^1225800-1 is not prime. Res64: 3A44CCAF9B048B30 Time : 0.0 sec. user=mdettweiler [2012-08-05 21:09:55] 927*2^1225800-1 is not prime. Res64: 75A52890E6312A94 Time : 0.0 sec. user=mdettweiler [2012-08-05 21:17:08] 603*2^1225802-1 is not prime. Res64: 2B590436958F448A Time : 0.0 sec. user=mdettweiler [2012-08-05 21:17:09] 623*2^1225802-1 is not prime. Res64: 4C8B7FDA18D0E692 Time : 0.0 sec. user=mdettweiler [2012-08-05 21:18:03] 779*2^1225800-1 is not prime. Res64: 3D41A7079E4B0C54 Time : 0.0 sec. user=vaughan [2012-08-05 21:18:14] 737*2^1225800-1 is not prime. Res64: 2AF82B6C2244CE35 Time : 0.0 sec. user=mdettweiler [2012-08-05 21:23:44] 775*2^1225801-1 is not prime. Res64: 2D06E9BF3C5638E6 Time : 0.0 sec. user=mdettweiler [2012-08-05 21:30:40] 735*2^1225802-1 is not prime. Res64: 9F33AFEB326FFBF8 Time : 0.0 sec. user=mdettweiler [2012-08-05 21:30:41] 797*2^1225802-1 is not prime. Res64: EAC866838D4C9C54 Time : 0.0 sec. user=mdettweiler [2012-08-05 21:37:49] 873*2^1225802-1 is not prime. Res64: 89629566EFDA80AD Time : 0.0 sec. user=mdettweiler [2012-08-05 21:37:50] 885*2^1225802-1 is not prime. Res64: 34F4651C28372629 Time : 0.0 sec. user=gd_barnes [2012-08-05 21:43:04] 825*2^1225802-1 is not prime. Res64: A16ED323735F89B3 Time : 0.0 sec. user=mdettweiler [2012-08-05 21:50:06] 935*2^1225802-1 is not prime. Res64: E39A7582E7C10F9D Time : 0.0 sec. user=mdettweiler [2012-08-05 21:51:24] 739*2^1225803-1 is not prime. Res64: 1B76013AD42A85F3 Time : 0.0 sec. user=mdettweiler [2012-08-05 21:51:25] 921*2^1225803-1 is not prime. Res64: 6BDF846E1EB8CB33 Time : 0.0 sec. user=vaughan [2012-08-05 21:55:40] 977*2^1225802-1 is not prime. Res64: 40A3AD003B75A111 Time : 0.0 sec. user=mdettweiler [2012-08-05 21:55:50] 685*2^1225803-1 is not prime. Res64: D1E3363C6FCC35E5 Time : 0.0 sec. user=mdettweiler [2012-08-05 21:58:28] 961*2^1225803-1 is not prime. Res64: AA6E08AD54FFE417 Time : 0.0 sec. user=mdettweiler [2012-08-05 21:58:29] 609*2^1225804-1 is not prime. Res64: 21ACBC7D01F8C1AC Time : 0.0 sec. user=mdettweiler [2012-08-05 22:11:59] 705*2^1225804-1 is not prime. Res64: 957624D64F4134BB Time : 0.0 sec. user=mdettweiler [2012-08-05 22:11:59] 869*2^1225804-1 is not prime. Res64: C0B2EE62D02CDC47 Time : 0.0 sec. user=mdettweiler [2012-08-05 22:19:03] 699*2^1225805-1 is not prime. Res64: 28D8A262B111A5E2 Time : 0.0 sec. user=mdettweiler [2012-08-05 22:19:05] 759*2^1225805-1 is not prime. Res64: 54F149826B6F4DB2 Time : 0.0 sec. user=mdettweiler [2012-08-05 22:22:02] 635*2^1225804-1 is not prime. Res64: A9910268CC42C0AC Time : 0.0 sec. user=mdettweiler [2012-08-05 22:27:47] 607*2^1225805-1 is not prime. Res64: 2EDF6DBCFB199889 Time : 0.0 sec. user=mdettweiler [2012-08-05 22:32:36] 925*2^1225805-1 is not prime. Res64: 7B97732D53D258CF Time : 0.0 sec. user=mdettweiler [2012-08-05 22:32:36] 937*2^1225805-1 is not prime. Res64: AC48AC74E0CCF969 Time : 0.0 sec. user=gd_barnes [2012-08-05 22:32:42] 847*2^1225805-1 is not prime. Res64: E5C44977D8F2AE26 Time : 0.0 sec. user=vaughan [2012-08-05 22:32:59] 927*2^1225804-1 is not prime. Res64: 026FA4DA1204CCD0 Time : 0.0 sec. user=mdettweiler [2012-08-05 22:39:50] 647*2^1225806-1 is not prime. Res64: 42ADBCE00ADBC2A9 Time : 0.0 sec. user=mdettweiler [2012-08-05 22:39:50] 705*2^1225806-1 is not prime. Res64: 9417365072E1E293 Time : 0.0 sec. user=mdettweiler [2012-08-05 22:53:11] 603*2^1225807-1 is not prime. Res64: B06969922400922C Time : 0.0 sec. user=mdettweiler [2012-08-05 22:53:12] 793*2^1225807-1 is not prime. Res64: CA52D0FFA568C812 Time : 0.0 sec. user=mdettweiler [2012-08-05 22:55:40] 921*2^1225806-1 is not prime. Res64: 39502C932FFEDAB1 Time : 0.0 sec. user=mdettweiler [2012-08-05 23:00:25] 617*2^1225808-1 is not prime. Res64: 1066DFD25486D5C4 Time : 0.0 sec. user=mdettweiler [2012-08-05 23:00:26] 687*2^1225808-1 is not prime. Res64: 099FBC183D1834CF Time : 0.0 sec. user=mdettweiler [2012-08-05 23:02:20] 971*2^1225806-1 is not prime. Res64: C58D660B87168330 Time : 0.0 sec. user=vaughan [2012-08-05 23:10:26] 861*2^1225807-1 is not prime. Res64: 930BEF48141165AC Time : 0.0 sec. user=mdettweiler [2012-08-05 23:13:46] 945*2^1225808-1 is not prime. Res64: 6444CC183054C5FA Time : 0.0 sec. user=mdettweiler [2012-08-05 23:13:48] 977*2^1225808-1 is not prime. Res64: DC4E46A3E8A9F8CC Time : 0.0 sec. user=mdettweiler [2012-08-05 23:21:12] 625*2^1225809-1 is not prime. Res64: 0A03AEBE4531F16C Time : 0.0 sec. user=mdettweiler [2012-08-05 23:21:13] 669*2^1225809-1 is not prime. Res64: 2B3C41EDF0C07961 Time : 0.0 sec. user=mdettweiler [2012-08-05 23:34:27] 891*2^1225809-1 is not prime. Res64: AE8DCB52288F6BD0 Time : 0.0 sec. user=mdettweiler [2012-08-05 23:34:27] 991*2^1225809-1 is not prime. Res64: 4BAEDE31233AC3F0 Time : 0.0 sec. user=mdettweiler [2012-08-05 23:34:54] 993*2^1225808-1 is not prime. Res64: 73C275E072E5C4FD Time : 0.0 sec. user=mdettweiler [2012-08-05 23:41:47] 681*2^1225810-1 is not prime. Res64: 85DEA14E6E96510D Time : 0.0 sec. user=mdettweiler [2012-08-05 23:41:47] 861*2^1225810-1 is not prime. Res64: DF758EEC462623FB Time : 0.0 sec. user=mdettweiler [2012-08-05 23:44:10] 747*2^1225809-1 is not prime. Res64: A1F3726D0713A29F Time : 0.0 sec. user=vaughan [2012-08-05 23:47:52] 795*2^1225809-1 is not prime. Res64: 75572E536E59CE50 Time : 0.0 sec. user=mdettweiler [2012-08-05 23:55:03] 975*2^1225810-1 is not prime. Res64: F9832CC8B83B505D Time : 0.0 sec. user=mdettweiler [2012-08-05 23:55:03] 615*2^1225811-1 is not prime. Res64: 302DBB93C3948487 Time : 0.0 sec.