user=vaughan [2010-10-22 00:02:39] 665*2^764824-1 is not prime. Res64: 4147F0BB3716DA08 Time : 745.0 sec. user=vaughan [2010-10-22 00:10:35] 759*2^764824-1 is not prime. Res64: C1F70A819B8D3119 Time : 880.0 sec. user=vaughan [2010-10-22 00:12:19] 657*2^764825-1 is not prime. Res64: 82AA07C2B4DC87FC Time : 741.0 sec. user=vaughan [2010-10-22 00:17:24] 679*2^764825-1 is not prime. Res64: 582C0CFA01443A9E Time : 886.0 sec. user=vaughan [2010-10-22 00:24:38] 615*2^764826-1 is not prime. Res64: 2129715CF536CAA7 Time : 739.0 sec. user=vaughan [2010-10-22 00:25:17] 711*2^764825-1 is not prime. Res64: FA3702A979C849DB Time : 882.0 sec. user=vaughan [2010-10-22 00:29:48] 633*2^764826-1 is not prime. Res64: 7155E02C05A1FBBA Time : 744.0 sec. user=vaughan [2010-10-22 00:39:17] 747*2^764826-1 is not prime. Res64: 788C50444712F10D Time : 879.0 sec. user=vaughan [2010-10-22 00:39:59] 783*2^764826-1 is not prime. Res64: 65EA207821489F73 Time : 882.0 sec. user=vaughan [2010-10-22 00:42:12] 603*2^764827-1 is not prime. Res64: C18558881651AE83 Time : 744.0 sec. user=vaughan [2010-10-22 00:51:38] 619*2^764827-1 is not prime. Res64: 0A0B7272B96B20B4 Time : 741.0 sec. user=vaughan [2010-10-22 00:52:21] 639*2^764827-1 is not prime. Res64: 3C885A2B0635FE66 Time : 743.0 sec. user=vaughan [2010-10-22 00:56:53] 735*2^764827-1 is not prime. Res64: 4155B479D27B1FA3 Time : 882.0 sec. user=vaughan [2010-10-22 01:04:45] 615*2^764828-1 is not prime. Res64: 2B7357D34FECBA84 Time : 744.0 sec. user=vaughan [2010-10-22 01:06:16] 769*2^764827-1 is not prime. Res64: 9ED46545565365FB Time : 879.0 sec. user=vaughan [2010-10-22 01:11:36] 707*2^764828-1 is not prime. Res64: 09EA86BFA666D77F Time : 883.0 sec. user=vaughan [2010-10-22 01:19:29] 755*2^764828-1 is not prime. Res64: EBF979F509347903 Time : 884.0 sec. user=vaughan [2010-10-22 01:20:54] 759*2^764828-1 is not prime. Res64: 908AB9564F977FF6 Time : 878.0 sec. user=vaughan [2010-10-22 01:26:17] 797*2^764828-1 is not prime. Res64: 885706F22E35D4FA Time : 881.0 sec. user=vaughan [2010-10-22 01:31:52] 609*2^764829-1 is not prime. Res64: 4B8712336976A40D Time : 744.0 sec. user=vaughan [2010-10-22 01:33:14] 649*2^764829-1 is not prime. Res64: 9EC42CD793E928C2 Time : 740.0 sec. user=vaughan [2010-10-22 01:41:00] 727*2^764829-1 is not prime. Res64: 74BE3CF455D165DF Time : 883.0 sec. user=vaughan [2010-10-22 01:44:15] 635*2^764830-1 is not prime. Res64: 9B7E9CB26A85F87B Time : 743.0 sec. user=vaughan [2010-10-22 01:45:34] 647*2^764830-1 is not prime. Res64: 5930DE8FC287E5EB Time : 740.0 sec. user=vaughan [2010-10-22 01:55:42] 717*2^764830-1 is not prime. Res64: C47D10D652A66521 Time : 882.0 sec. user=vaughan [2010-10-22 01:58:55] 773*2^764830-1 is not prime. Res64: E86036FD8102D5E0 Time : 880.0 sec. user=vaughan [2010-10-22 02:00:12] 791*2^764830-1 is not prime. Res64: 7EC0D55B6930BE4F Time : 878.0 sec. user=vaughan [2010-10-22 02:10:24] 715*2^764831-1 is not prime. Res64: 8546DB84CA358F8F Time : 883.0 sec. user=vaughan [2010-10-22 02:12:31] 629*2^764832-1 is not prime. Res64: 02E6BC20F6CCA522 Time : 739.0 sec. user=vaughan [2010-10-22 02:13:36] 745*2^764831-1 is not prime. Res64: 1201ABE41DD6B4B5 Time : 881.0 sec. user=vaughan [2010-10-22 02:25:05] 669*2^764832-1 is not prime. Res64: 447CDCFBE81E5E96 Time : 882.0 sec. user=vaughan [2010-10-22 02:27:09] 729*2^764833-1 is not prime. Res64: 7FE008386CA649BE Time : 878.0 sec. user=vaughan [2010-10-22 02:28:16] 775*2^764833-1 is not prime. Res64: 59AD21A50626A3CD Time : 880.0 sec. user=vaughan [2010-10-22 02:39:47] 671*2^764834-1 is not prime. Res64: 5B136EB75C96B717 Time : 882.0 sec. user=vaughan [2010-10-22 02:40:38] 625*2^764835-1 is not prime. Res64: A0A6A111F1127410 Time : 742.0 sec. user=vaughan [2010-10-22 02:41:46] 755*2^764834-1 is not prime. Res64: 7134BB1C86610DDA Time : 877.0 sec. user=vaughan [2010-10-22 02:54:29] 675*2^764835-1 is not prime. Res64: 72622CE13679C0AC Time : 883.0 sec. user=vaughan [2010-10-22 02:55:19] 723*2^764835-1 is not prime. Res64: 87800990372355F3 Time : 881.0 sec. user=vaughan [2010-10-22 02:56:25] 783*2^764835-1 is not prime. Res64: FAC0752CC01F8451 Time : 879.0 sec. user=vaughan [2010-10-22 03:06:53] 617*2^764836-1 is not prime. Res64: A4D7A49A271D831F Time : 745.0 sec. user=vaughan [2010-10-22 03:10:00] 765*2^764836-1 is not prime. Res64: A763A50ECFC70309 Time : 881.0 sec. user=vaughan [2010-10-22 03:11:02] 777*2^764836-1 is not prime. Res64: A99B1D9895CEEB2A Time : 877.0 sec. user=vaughan [2010-10-22 03:21:40] 779*2^764836-1 is not prime. Res64: E5DA3890773AB108 Time : 888.0 sec. user=vaughan [2010-10-22 03:22:27] 621*2^764837-1 is not prime. Res64: 4CB7D06CB56BE261 Time : 747.0 sec. user=vaughan [2010-10-22 03:25:44] 697*2^764837-1 is not prime. Res64: 56E935939D114BA7 Time : 883.0 sec. user=vaughan [2010-10-22 03:36:23] 727*2^764837-1 is not prime. Res64: B92354C0F99DD3B4 Time : 883.0 sec. user=vaughan [2010-10-22 03:37:08] 741*2^764837-1 is not prime. Res64: 61E7DEFDF6549C6A Time : 881.0 sec. user=vaughan [2010-10-22 03:38:05] 611*2^764838-1 is not prime. Res64: 819E6411F9AC8C58 Time : 741.0 sec. user=vaughan [2010-10-22 04:02:04] 677*2^764838-1 is not prime. Res64: 22A318F586779665 Time : 1541.0 sec. user=vaughan [2010-10-22 04:02:16] 693*2^764838-1 is not prime. Res64: 06DFAE4727BF991F Time : 1451.0 sec. user=vaughan [2010-10-22 04:02:26] 681*2^764838-1 is not prime. Res64: 87C94E672ABAFA5C Time : 1518.0 sec. user=vaughan [2010-10-22 04:16:51] 695*2^764838-1 is not prime. Res64: FCAA47E9A2CB3E38 Time : 887.0 sec. user=vaughan [2010-10-22 04:16:56] 725*2^764838-1 is not prime. Res64: D4A9723DB94E8082 Time : 881.0 sec. user=vaughan [2010-10-22 04:17:08] 737*2^764838-1 is not prime. Res64: 544024244999A653 Time : 882.0 sec. user=vaughan [2010-10-22 04:31:33] 747*2^764838-1 is not prime. Res64: B6FB5B53B7F57ED6 Time : 883.0 sec. user=vaughan [2010-10-22 04:31:34] 765*2^764838-1 is not prime. Res64: 1A7FC24949550FF8 Time : 879.0 sec. user=vaughan [2010-10-22 04:31:49] 797*2^764838-1 is not prime. Res64: 3483DDCAA0BB3982 Time : 881.0 sec. user=vaughan [2010-10-22 04:43:57] 609*2^764839-1 is not prime. Res64: D37C0124360506FC Time : 744.0 sec. user=vaughan [2010-10-22 04:46:13] 759*2^764839-1 is not prime. Res64: 143C88625FF154BE Time : 879.0 sec. user=vaughan [2010-10-22 04:46:29] 765*2^764839-1 is not prime. Res64: 8A9B699DD6A80938 Time : 881.0 sec. user=vaughan [2010-10-22 04:56:21] 665*2^764840-1 is not prime. Res64: C3D68A0FD02EF4F3 Time : 744.0 sec. user=vaughan [2010-10-22 05:00:50] 767*2^764840-1 is not prime. Res64: D8BB3717EA88C4A8 Time : 877.0 sec. user=vaughan [2010-10-22 05:01:09] 789*2^764840-1 is not prime. Res64: 711B60BB03211D65 Time : 880.0 sec. user=vaughan [2010-10-22 05:11:03] 717*2^764841-1 is not prime. Res64: 74499E7DF6A1C452 Time : 882.0 sec. user=vaughan [2010-10-22 05:15:28] 727*2^764841-1 is not prime. Res64: F0D815C54C2BD3FA Time : 878.0 sec. user=vaughan [2010-10-22 05:15:48] 751*2^764841-1 is not prime. Res64: E26C44BF3B3617F2 Time : 880.0 sec. user=vaughan [2010-10-22 05:23:26] 651*2^764842-1 is not prime. Res64: 00ACAA8A51F52538 Time : 744.0 sec. user=vaughan [2010-10-22 05:30:05] 701*2^764842-1 is not prime. Res64: ED593518430A700A Time : 877.0 sec. user=vaughan [2010-10-22 05:30:29] 791*2^764842-1 is not prime. Res64: 8AF4E7ACC2BF5738 Time : 881.0 sec. user=vaughan [2010-10-22 05:35:52] 615*2^764843-1 is not prime. Res64: E5D399E5CB381C9B Time : 746.0 sec. user=vaughan [2010-10-22 05:42:25] 619*2^764843-1 is not prime. Res64: 91EAB6A839BE4BCF Time : 740.0 sec. user=vaughan [2010-10-22 05:45:09] 735*2^764843-1 is not prime. Res64: 2873E2F46EA0C8DE Time : 881.0 sec. user=vaughan [2010-10-22 05:50:34] 753*2^764843-1 is not prime. Res64: B0E1580ECFD894BB Time : 882.0 sec. user=vaughan [2010-10-22 05:57:03] 783*2^764843-1 is not prime. Res64: 578765E8E1F724B6 Time : 878.0 sec. user=vaughan [2010-10-22 05:57:31] 609*2^764844-1 is not prime. Res64: C228C2BF558174CE Time : 742.0 sec. user=vaughan [2010-10-22 06:13:18] 707*2^764844-1 is not prime. Res64: 564CEF540CB42E24 Time : 1365.0 sec. user=vaughan [2010-10-22 06:13:25] 759*2^764844-1 is not prime. Res64: 33027DE6B4285809 Time : 982.0 sec. user=vaughan [2010-10-22 06:13:33] 765*2^764844-1 is not prime. Res64: 69EE048A65F33595 Time : 963.0 sec. user=vaughan [2010-10-22 06:26:50] 607*2^764845-1 is not prime. Res64: ECAF58AF99790ED5 Time : 750.0 sec. user=vaughan [2010-10-22 06:26:52] 641*2^764846-1 is not prime. Res64: 83C3B1CEF2BD059D Time : 745.0 sec. user=vaughan [2010-10-22 06:28:19] 795*2^764844-1 is not prime. Res64: 98832178AF6BBC88 Time : 886.0 sec. user=vaughan [2010-10-22 06:40:42] 625*2^764847-1 is not prime. Res64: 239DA965400400F8 Time : 743.0 sec. user=vaughan [2010-10-22 06:41:30] 761*2^764846-1 is not prime. Res64: 5A0BBA6DEB358B7F Time : 878.0 sec. user=vaughan [2010-10-22 06:41:32] 711*2^764846-1 is not prime. Res64: 6E1DE46538F1250A Time : 882.0 sec. user=vaughan [2010-10-22 06:53:54] 615*2^764848-1 is not prime. Res64: 5C043DEA1A8F1971 Time : 743.0 sec. user=vaughan [2010-10-22 06:55:22] 703*2^764847-1 is not prime. Res64: 38D0FF80850B856F Time : 881.0 sec. user=vaughan [2010-10-22 06:56:08] 711*2^764847-1 is not prime. Res64: 0823C8B4AAE117E4 Time : 878.0 sec. user=vaughan [2010-10-22 07:06:19] 635*2^764848-1 is not prime. Res64: 36B99ED1CCA7123A Time : 745.0 sec. user=vaughan [2010-10-22 07:10:05] 687*2^764848-1 is not prime. Res64: 9B70E70EF98FC3AC Time : 883.0 sec. user=vaughan [2010-10-22 07:10:47] 707*2^764848-1 is not prime. Res64: 9A620CFDC68E7B8E Time : 879.0 sec. user=vaughan [2010-10-22 07:18:43] 649*2^764849-1 is not prime. Res64: 7A68B1CD23D0B8AA Time : 744.0 sec. user=vaughan [2010-10-22 07:24:48] 727*2^764849-1 is not prime. Res64: 1290811969CA6856 Time : 883.0 sec. user=vaughan [2010-10-22 07:25:28] 787*2^764849-1 is not prime. Res64: DA4653A4B182A874 Time : 881.0 sec. user=vaughan [2010-10-22 07:31:10] 641*2^764850-1 is not prime. Res64: 1D627F69EB690A77 Time : 747.0 sec. user=vaughan [2010-10-22 07:37:08] 651*2^764850-1 is not prime. Res64: 6F1546679BE13538 Time : 741.0 sec. user=vaughan [2010-10-22 07:40:06] 681*2^764850-1 is not prime. Res64: 881B9E6F4BC8144F Time : 878.0 sec. user=vaughan [2010-10-22 07:45:51] 713*2^764850-1 is not prime. Res64: 625A9A23CFF4A60E Time : 881.0 sec. user=vaughan [2010-10-22 07:51:47] 741*2^764850-1 is not prime. Res64: 512C40C2ECF69E40 Time : 879.0 sec. user=vaughan [2010-10-22 07:54:44] 777*2^764850-1 is not prime. Res64: 3CC4BC69C8E0CF55 Time : 879.0 sec. user=vaughan [2010-10-22 08:00:33] 797*2^764850-1 is not prime. Res64: A02BF34E2757577F Time : 882.0 sec. user=vaughan [2010-10-22 08:04:10] 631*2^764851-1 is not prime. Res64: 26BE8AFB5913E76B Time : 743.0 sec. user=vaughan [2010-10-22 08:09:23] 705*2^764851-1 is not prime. Res64: 1E82D5F14D022676 Time : 880.0 sec. user=vaughan [2010-10-22 08:15:18] 793*2^764851-1 is not prime. Res64: 577D8F55DBE13348 Time : 885.0 sec. user=vaughan [2010-10-22 08:18:51] 683*2^764852-1 is not prime. Res64: 6D583BCD26FBE286 Time : 882.0 sec. user=vaughan [2010-10-22 08:24:02] 689*2^764852-1 is not prime. Res64: 877095010B24EB78 Time : 879.0 sec. user=vaughan [2010-10-22 08:30:00] 735*2^764852-1 is not prime. Res64: 75560F7F03B375FB Time : 882.0 sec. user=vaughan [2010-10-22 08:33:30] 749*2^764852-1 is not prime. Res64: FE0F1D0D3D213BE1 Time : 879.0 sec. user=vaughan [2010-10-22 08:38:39] 675*2^764853-1 is not prime. Res64: 273341FE80CD8202 Time : 877.0 sec. user=vaughan [2010-10-22 08:44:40] 721*2^764853-1 is not prime. Res64: 40012A2E154B6EC9 Time : 880.0 sec. user=vaughan [2010-10-22 08:48:08] 765*2^764853-1 is not prime. Res64: A60BC46F10E18A78 Time : 879.0 sec. user=vaughan [2010-10-22 08:53:15] 781*2^764853-1 is not prime. Res64: 71A425DEFDFBE35C Time : 877.0 sec. user=vaughan [2010-10-22 08:57:06] 665*2^764854-1 is not prime. Res64: 084830DDCF04C130 Time : 746.0 sec. user=vaughan [2010-10-22 09:02:47] 671*2^764854-1 is not prime. Res64: 0792FC6343858C2C Time : 879.0 sec. user=vaughan [2010-10-22 09:07:51] 677*2^764854-1 is not prime. Res64: CD8F7AC75BB58C6D Time : 876.0 sec. user=vaughan [2010-10-22 09:11:46] 687*2^764854-1 is not prime. Res64: E9A21C99B3D30750 Time : 881.0 sec. user=vaughan [2010-10-22 09:15:08] 645*2^764855-1 is not prime. Res64: E010982E397AC172 Time : 742.0 sec. user=vaughan [2010-10-22 09:22:35] 669*2^764855-1 is not prime. Res64: EE65B5785E421BA6 Time : 884.0 sec. user=vaughan [2010-10-22 09:26:38] 679*2^764855-1 is not prime. Res64: 775CC84ACCA1F150 Time : 892.0 sec. user=vaughan [2010-10-22 09:30:01] 721*2^764855-1 is not prime. Res64: 27B6365C1EC118A9 Time : 893.0 sec. user=vaughan [2010-10-22 09:37:22] 759*2^764856-1 is not prime. Res64: 9444017CB79FCF2D Time : 887.0 sec. user=vaughan [2010-10-22 09:39:06] 615*2^764857-1 is not prime. Res64: CE4A92BE939913B2 Time : 748.0 sec. user=vaughan [2010-10-22 09:44:47] 729*2^764857-1 is not prime. Res64: 9E1D048F5B0B986C Time : 887.0 sec. user=vaughan [2010-10-22 09:49:45] 605*2^764858-1 is not prime. Res64: C815C6F9A6D50362 Time : 743.0 sec. user=vaughan [2010-10-22 09:51:32] 665*2^764858-1 is not prime. Res64: 34F6C0971C3EA75D Time : 746.0 sec. user=vaughan [2010-10-22 09:59:32] 671*2^764858-1 is not prime. Res64: 364AA3222846DD4E Time : 885.0 sec. user=vaughan [2010-10-22 10:04:26] 707*2^764858-1 is not prime. Res64: B6B0635709F75ED0 Time : 881.0 sec. user=vaughan [2010-10-22 10:06:20] 797*2^764858-1 is not prime. Res64: A50AF53F2AEF38E4 Time : 888.0 sec. user=vaughan [2010-10-22 10:11:59] 621*2^764859-1 is not prime. Res64: 2E14A78E22B0DC10 Time : 747.0 sec. user=vaughan [2010-10-22 10:19:07] 703*2^764859-1 is not prime. Res64: AB621BB31C6CEAC6 Time : 882.0 sec. user=vaughan [2010-10-22 10:21:05] 705*2^764859-1 is not prime. Res64: 85C054544A0CD8E8 Time : 886.0 sec. user=vaughan [2010-10-22 10:26:44] 741*2^764859-1 is not prime. Res64: BB9AA8922D2F0776 Time : 885.0 sec. user=vaughan [2010-10-22 10:33:47] 789*2^764859-1 is not prime. Res64: 3C591A01F85C7028 Time : 881.0 sec. user=vaughan [2010-10-22 10:35:52] 793*2^764859-1 is not prime. Res64: DA3D2EF45041FA51 Time : 887.0 sec. user=vaughan [2010-10-22 10:39:10] 635*2^764860-1 is not prime. Res64: 08AC6F93B9D89431 Time : 747.0 sec. user=vaughan [2010-10-22 10:48:31] 677*2^764860-1 is not prime. Res64: 5EB98E4A2ADF0171 Time : 884.0 sec. user=vaughan [2010-10-22 10:50:38] 755*2^764860-1 is not prime. Res64: 1440539C601657A1 Time : 887.0 sec. user=vaughan [2010-10-22 10:53:55] 783*2^764860-1 is not prime. Res64: F946AC167B1DDC76 Time : 885.0 sec. user=vaughan [2010-10-22 11:03:13] 669*2^764861-1 is not prime. Res64: FE8BE7D0F33362CB Time : 883.0 sec. user=vaughan [2010-10-22 11:05:27] 685*2^764861-1 is not prime. Res64: A82D3D037D362159 Time : 889.0 sec. user=vaughan [2010-10-22 11:08:41] 697*2^764861-1 is not prime. Res64: C552A4789C37D904 Time : 887.0 sec. user=vaughan [2010-10-22 11:15:38] 621*2^764862-1 is not prime. Res64: EA945B5838CB94E2 Time : 745.0 sec. user=vaughan [2010-10-22 11:20:15] 711*2^764862-1 is not prime. Res64: A5DB9F7FDE5FB2BB Time : 888.0 sec. user=vaughan [2010-10-22 11:23:29] 725*2^764862-1 is not prime. Res64: B7516B8FD1571300 Time : 888.0 sec. user=vaughan [2010-10-22 11:30:26] 731*2^764862-1 is not prime. Res64: 170417A260205C3D Time : 888.0 sec. user=vaughan [2010-10-22 11:35:09] 765*2^764862-1 is not prime. Res64: 1B983337CDED11C7 Time : 894.0 sec. user=vaughan [2010-10-22 11:38:23] 777*2^764862-1 is not prime. Res64: B00F35F2B01458F4 Time : 894.0 sec. user=vaughan [2010-10-22 11:42:53] 625*2^764863-1 is not prime. Res64: 0425FCF90B77E0C3 Time : 747.0 sec. user=vaughan [2010-10-22 11:47:39] 639*2^764863-1 is not prime. Res64: 764CA313BE915B82 Time : 750.0 sec. user=vaughan [2010-10-22 11:53:14] 729*2^764863-1 is not prime. Res64: 4A70413E5E884843 Time : 891.0 sec. user=vaughan [2010-10-22 11:57:40] 751*2^764863-1 is not prime. Res64: 25BC39A4608AFCB9 Time : 887.0 sec. user=vaughan [2010-10-22 12:00:10] 615*2^764864-1 is not prime. Res64: 65967CBB0DAE8BFA Time : 751.0 sec. user=vaughan [2010-10-22 12:05:44] 629*2^764864-1 is not prime. Res64: 9BE125301D4495A4 Time : 750.0 sec. user=vaughan [2010-10-22 12:12:26] 683*2^764864-1 is not prime. Res64: 70C67898EEEF3173 Time : 887.0 sec. user=vaughan [2010-10-22 12:15:03] 737*2^764866-1 is not prime. Res64: C111614632538695 Time : 893.0 sec. user=vaughan [2010-10-22 12:18:14] 615*2^764867-1 is not prime. Res64: FA647EC2546BCE8E Time : 751.0 sec. user=vaughan [2010-10-22 12:24:52] 631*2^764867-1 is not prime. Res64: 1017844016128056 Time : 746.0 sec. user=vaughan [2010-10-22 12:27:33] 651*2^764867-1 is not prime. Res64: D67D6AF91501352C Time : 750.0 sec. user=vaughan [2010-10-22 12:33:04] 669*2^764867-1 is not prime. Res64: C1A50F654B793C8E Time : 890.0 sec. user=vaughan [2010-10-22 12:39:37] 675*2^764867-1 is not prime. Res64: 1073BC0C44A2C3B8 Time : 885.0 sec. user=vaughan [2010-10-22 12:42:23] 733*2^764867-1 is not prime. Res64: 7078A5F2BDB1E506 Time : 890.0 sec. user=vaughan [2010-10-22 12:47:54] 753*2^764867-1 is not prime. Res64: B159A05B95EE9350 Time : 890.0 sec. user=vaughan [2010-10-22 12:52:03] 635*2^764868-1 is not prime. Res64: 9E352E11BBEB8C0B Time : 747.0 sec. user=vaughan [2010-10-22 12:57:12] 737*2^764868-1 is not prime. Res64: B6441B6EFBDECCA3 Time : 890.0 sec. user=vaughan [2010-10-22 13:00:34] 667*2^764869-1 is not prime. Res64: 7DABFBAB6A13DACE Time : 761.0 sec. user=vaughan [2010-10-22 13:06:47] 765*2^764869-1 is not prime. Res64: 0DAC4A71AE95D5F7 Time : 885.0 sec. user=vaughan [2010-10-22 13:12:00] 799*2^764869-1 is not prime. Res64: 69BEAAA4D2926F63 Time : 889.0 sec. user=vaughan [2010-10-22 13:15:23] 675*2^764870-1 is not prime. Res64: FEE5592283D89C9B Time : 890.0 sec. user=vaughan [2010-10-22 13:21:32] 707*2^764870-1 is not prime. Res64: 47922FF2306AD305 Time : 886.0 sec. user=vaughan [2010-10-22 13:26:50] 797*2^764870-1 is not prime. Res64: 8BB4D3F5FB4D1C74 Time : 890.0 sec. user=vaughan [2010-10-22 13:27:52] 649*2^764871-1 is not prime. Res64: 1D2187C78401EBE4 Time : 750.0 sec. user=vaughan [2010-10-22 13:36:17] 669*2^764871-1 is not prime. Res64: 9C79750ABEA0B56D Time : 885.0 sec. user=vaughan [2010-10-22 13:41:39] 679*2^764871-1 is not prime. Res64: 3F9735F0B16DF2A0 Time : 890.0 sec. user=vaughan [2010-10-22 13:42:40] 739*2^764871-1 is not prime. Res64: E8A23B5658AD8469 Time : 889.0 sec. user=vaughan [2010-10-22 13:51:02] 775*2^764871-1 is not prime. Res64: D1A59B791217DF40 Time : 886.0 sec. user=vaughan [2010-10-22 13:55:09] 603*2^764872-1 is not prime. Res64: 5FAB14C5EAF4BBDE Time : 749.0 sec. user=vaughan [2010-10-22 13:56:28] 789*2^764871-1 is not prime. Res64: 190C0AB7026ADB0A Time : 890.0 sec. user=vaughan [2010-10-22 14:03:28] 617*2^764872-1 is not prime. Res64: A10CBF3D8CEA741E Time : 747.0 sec. user=vaughan [2010-10-22 14:07:38] 645*2^764872-1 is not prime. Res64: 4E5C2BD5D01D7F8C Time : 749.0 sec. user=vaughan [2010-10-22 14:08:58] 657*2^764872-1 is not prime. Res64: 270C1B949F91CDB5 Time : 751.0 sec. user=vaughan [2010-10-22 14:18:13] 705*2^764872-1 is not prime. Res64: 2C2751406FBD35FF Time : 885.0 sec. user=vaughan [2010-10-22 14:21:26] 619*2^764873-1 is not prime. Res64: 12A78CD804705672 Time : 748.0 sec. user=vaughan [2010-10-22 14:22:26] 779*2^764872-1 is not prime. Res64: 5592618638743A0E Time : 888.0 sec. user=vaughan [2010-10-22 14:30:36] 631*2^764873-1 is not prime. Res64: 7D6B6CB9406163B4 Time : 744.0 sec. user=vaughan [2010-10-22 14:34:52] 633*2^764874-1 is not prime. Res64: C8423613647EBF6D Time : 747.0 sec. user=vaughan [2010-10-22 14:36:10] 745*2^764873-1 is not prime. Res64: E7A0CE7072906033 Time : 885.0 sec. user=vaughan [2010-10-22 14:45:19] 695*2^764874-1 is not prime. Res64: 5982AA68E69117B2 Time : 884.0 sec. user=vaughan [2010-10-22 14:49:38] 755*2^764874-1 is not prime. Res64: 0F19E53ED0D3AF34 Time : 887.0 sec. user=vaughan [2010-10-22 14:50:54] 767*2^764874-1 is not prime. Res64: AE42C157F050DDBA Time : 884.0 sec. user=vaughan [2010-10-22 15:00:00] 773*2^764874-1 is not prime. Res64: 97B0FE337B55B30D Time : 881.0 sec. user=vaughan [2010-10-22 15:02:05] 601*2^764875-1 is not prime. Res64: 566FE08BBE03A4DE Time : 748.0 sec. user=vaughan [2010-10-22 15:03:21] 619*2^764875-1 is not prime. Res64: 48BA41E2CB5BD0E6 Time : 747.0 sec. user=vaughan [2010-10-22 15:14:45] 699*2^764875-1 is not prime. Res64: 01B14B5EA093468B Time : 885.0 sec. user=vaughan [2010-10-22 15:16:50] 741*2^764875-1 is not prime. Res64: 588DF78EEC929D10 Time : 886.0 sec. user=vaughan [2010-10-22 15:18:07] 765*2^764875-1 is not prime. Res64: 9FE84A46445A580E Time : 887.0 sec. user=vaughan [2010-10-22 15:27:11] 633*2^764876-1 is not prime. Res64: 3CA04F897407FFB2 Time : 747.0 sec. user=vaughan [2010-10-22 15:29:19] 663*2^764876-1 is not prime. Res64: E89E132DD8A000FC Time : 749.0 sec. user=vaughan [2010-10-22 15:32:56] 699*2^764876-1 is not prime. Res64: B3F46FF6F7E03659 Time : 891.0 sec. user=vaughan [2010-10-22 15:41:46] 607*2^764877-1 is not prime. Res64: 30CE5AD4051D149E Time : 747.0 sec. user=vaughan [2010-10-22 15:41:57] 707*2^764876-1 is not prime. Res64: 394C961ECEC4DAFF Time : 886.0 sec. user=vaughan [2010-10-22 15:45:22] 625*2^764877-1 is not prime. Res64: 7FB658F338C0DBA4 Time : 746.0 sec. user=vaughan [2010-10-22 15:54:13] 627*2^764877-1 is not prime. Res64: A149DB9A5536A24D Time : 747.0 sec. user=vaughan [2010-10-22 15:56:39] 717*2^764877-1 is not prime. Res64: 015E6A66787F6245 Time : 883.0 sec. user=vaughan [2010-10-22 16:00:08] 727*2^764877-1 is not prime. Res64: 2D80333475D7D78E Time : 886.0 sec. user=vaughan [2010-10-22 16:08:58] 755*2^764878-1 is not prime. Res64: 41619FC8EB0E3781 Time : 885.0 sec. user=vaughan [2010-10-22 16:09:03] 621*2^764879-1 is not prime. Res64: E33F69DFF84B26DA Time : 744.0 sec. user=vaughan [2010-10-22 16:12:35] 661*2^764879-1 is not prime. Res64: 17C3BA3EB213325E Time : 747.0 sec. user=vaughan [2010-10-22 16:23:44] 741*2^764879-1 is not prime. Res64: CDAAFE8381EC0A1F Time : 886.0 sec. user=vaughan [2010-10-22 16:23:46] 745*2^764879-1 is not prime. Res64: C99FD9F1F00BA107 Time : 883.0 sec. user=vaughan [2010-10-22 16:27:19] 759*2^764879-1 is not prime. Res64: BF8993A9E887412B Time : 884.0 sec. user=vaughan [2010-10-22 16:36:11] 633*2^764880-1 is not prime. Res64: 423B52ACC56323D7 Time : 748.0 sec. user=vaughan [2010-10-22 16:38:28] 719*2^764880-1 is not prime. Res64: AB03006702F13C6C Time : 882.0 sec. user=vaughan [2010-10-22 16:39:46] 601*2^764881-1 is not prime. Res64: DEB3D7DF93C8CA9D Time : 747.0 sec. user=vaughan [2010-10-22 16:48:37] 625*2^764881-1 is not prime. Res64: 06FE08D7D44192FE Time : 747.0 sec. user=vaughan [2010-10-22 16:50:52] 649*2^764881-1 is not prime. Res64: 1E294F0ABE0EAAFD Time : 744.0 sec. user=vaughan [2010-10-22 16:54:31] 691*2^764881-1 is not prime. Res64: 02FB3AD7537CA40A Time : 886.0 sec. user=vaughan [2010-10-22 17:03:22] 705*2^764881-1 is not prime. Res64: 6ABE261EB9FE9055 Time : 885.0 sec. user=vaughan [2010-10-22 17:05:36] 745*2^764881-1 is not prime. Res64: FD3FB91CE0153FDA Time : 884.0 sec. user=vaughan [2010-10-22 17:06:57] 615*2^764882-1 is not prime. Res64: 25ED5C34EE6B85A0 Time : 747.0 sec. user=vaughan [2010-10-22 17:18:07] 713*2^764882-1 is not prime. Res64: 52877C8784FDDE6D Time : 885.0 sec. user=vaughan [2010-10-22 17:20:18] 755*2^764882-1 is not prime. Res64: 1799E2658F65618D Time : 883.0 sec. user=vaughan [2010-10-22 17:21:41] 791*2^764882-1 is not prime. Res64: C6B1A612445E36AD Time : 885.0 sec. user=vaughan [2010-10-22 17:30:34] 615*2^764883-1 is not prime. Res64: 8AF22CA84A72EF1A Time : 748.0 sec. user=vaughan [2010-10-22 17:35:01] 691*2^764883-1 is not prime. Res64: AC4B4E5C325D3CC9 Time : 883.0 sec. user=vaughan [2010-10-22 17:36:28] 751*2^764883-1 is not prime. Res64: 95D92C46D312DCAB Time : 887.0 sec. user=vaughan [2010-10-22 17:45:20] 769*2^764883-1 is not prime. Res64: 460D4D17C93F1643 Time : 887.0 sec. user=vaughan [2010-10-22 17:49:43] 675*2^764884-1 is not prime. Res64: 65DE568E597AEA4B Time : 883.0 sec. user=vaughan [2010-10-22 17:51:14] 695*2^764884-1 is not prime. Res64: 43EC3C973E400F88 Time : 887.0 sec. user=vaughan [2010-10-22 18:00:06] 707*2^764884-1 is not prime. Res64: 0E745F3F1BE5322F Time : 886.0 sec. user=vaughan [2010-10-22 18:04:26] 717*2^764884-1 is not prime. Res64: 697B8694B29E7814 Time : 883.0 sec. user=vaughan [2010-10-22 18:06:00] 759*2^764884-1 is not prime. Res64: CC26F6BE8F70AC2A Time : 886.0 sec. user=vaughan [2010-10-22 18:12:34] 627*2^764885-1 is not prime. Res64: D093F95CFA80B741 Time : 748.0 sec. user=vaughan [2010-10-22 18:19:12] 669*2^764885-1 is not prime. Res64: F46B91DA81EDAB8C Time : 887.0 sec. user=vaughan [2010-10-22 18:20:48] 775*2^764885-1 is not prime. Res64: AA98B83FD1C5286C Time : 888.0 sec. user=vaughan [2010-10-22 18:27:20] 787*2^764885-1 is not prime. Res64: 82FA2474971ECEE9 Time : 887.0 sec. user=vaughan [2010-10-22 18:33:54] 799*2^764885-1 is not prime. Res64: E9F24D9C41A18686 Time : 883.0 sec. user=vaughan [2010-10-22 18:35:32] 683*2^764886-1 is not prime. Res64: 42339F625A57FBF8 Time : 885.0 sec. user=vaughan [2010-10-22 18:42:07] 707*2^764886-1 is not prime. Res64: 3BF88B48BFD36BF5 Time : 887.0 sec. user=vaughan [2010-10-22 18:47:59] 615*2^764887-1 is not prime. Res64: BD6322D25874A8D3 Time : 747.0 sec. user=vaughan [2010-10-22 18:48:36] 711*2^764886-1 is not prime. Res64: 51D3B53F8A4CECCD Time : 883.0 sec. user=vaughan [2010-10-22 18:54:33] 625*2^764887-1 is not prime. Res64: 960575FCDB93A53C Time : 747.0 sec. user=vaughan [2010-10-22 19:02:45] 675*2^764887-1 is not prime. Res64: B8E582396134761C Time : 887.0 sec. user=vaughan [2010-10-22 19:03:18] 715*2^764887-1 is not prime. Res64: 3182B0305BA45FA4 Time : 882.0 sec. user=vaughan [2010-10-22 19:09:20] 759*2^764887-1 is not prime. Res64: AB027A6A1C6F583C Time : 887.0 sec. user=vaughan [2010-10-22 19:15:16] 615*2^764888-1 is not prime. Res64: 42D36957B306C7D1 Time : 752.0 sec. user=vaughan [2010-10-22 19:15:42] 633*2^764888-1 is not prime. Res64: B3E8B150A532D035 Time : 745.0 sec. user=vaughan [2010-10-22 19:24:07] 669*2^764888-1 is not prime. Res64: C92380A680FA5E0D Time : 888.0 sec. user=vaughan [2010-10-22 19:30:06] 683*2^764888-1 is not prime. Res64: 35E83FDDA789DFA2 Time : 891.0 sec. user=vaughan [2010-10-22 19:30:28] 699*2^764888-1 is not prime. Res64: C595149BEAABC5E6 Time : 886.0 sec. user=vaughan [2010-10-22 19:38:56] 743*2^764888-1 is not prime. Res64: 0EB3716665886BFB Time : 890.0 sec. user=vaughan [2010-10-22 19:42:52] 601*2^764889-1 is not prime. Res64: B4B26CD24395CE6C Time : 745.0 sec. user=vaughan [2010-10-22 19:44:52] 759*2^764888-1 is not prime. Res64: A5A555A11E9F8018 Time : 887.0 sec. user=vaughan [2010-10-22 19:51:27] 625*2^764889-1 is not prime. Res64: D2595F75EF43B4BD Time : 751.0 sec. user=vaughan [2010-10-22 19:55:15] 649*2^764889-1 is not prime. Res64: 17F876EBDD713F9F Time : 744.0 sec. user=vaughan [2010-10-22 19:59:39] 669*2^764889-1 is not prime. Res64: B4431D674409C86A Time : 887.0 sec. user=vaughan [2010-10-22 20:06:15] 691*2^764889-1 is not prime. Res64: 36C8A3F31ACEDB21 Time : 889.0 sec. user=vaughan [2010-10-22 20:09:56] 705*2^764889-1 is not prime. Res64: 62C646CD6CBA12E9 Time : 881.0 sec. user=vaughan [2010-10-22 20:14:26] 741*2^764889-1 is not prime. Res64: 3ACA84036E601A98 Time : 887.0 sec. user=vaughan [2010-10-22 20:21:01] 747*2^764889-1 is not prime. Res64: 67CCED40FBA566A5 Time : 887.0 sec. user=vaughan [2010-10-22 20:24:39] 735*2^764890-1 is not prime. Res64: C767E8C1A33F2743 Time : 883.0 sec. user=vaughan [2010-10-22 20:29:11] 741*2^764890-1 is not prime. Res64: 982846D7B5E39CFB Time : 886.0 sec. user=vaughan [2010-10-22 20:35:49] 791*2^764890-1 is not prime. Res64: DFCFBAC35DE3557D Time : 888.0 sec. user=vaughan [2010-10-22 20:37:01] 601*2^764891-1 is not prime. Res64: 2B742F4B613B4D01 Time : 742.0 sec. user=vaughan [2010-10-22 20:41:39] 645*2^764891-1 is not prime. Res64: 2BA5A56D2EC6F54D Time : 748.0 sec. user=vaughan [2010-10-22 20:48:17] 651*2^764891-1 is not prime. Res64: 95801F6E8FA9804E Time : 749.0 sec. user=vaughan [2010-10-22 20:51:46] 789*2^764891-1 is not prime. Res64: 7A0FF32C10F3D796 Time : 885.0 sec. user=vaughan [2010-10-22 20:56:26] 689*2^764892-1 is not prime. Res64: 62916039EB5D115F Time : 888.0 sec. user=vaughan [2010-10-22 21:03:03] 693*2^764892-1 is not prime. Res64: 1BB153C67A8C09AB Time : 887.0 sec. user=vaughan [2010-10-22 21:06:27] 753*2^764892-1 is not prime. Res64: 4D708D8638BF59DF Time : 883.0 sec. user=vaughan [2010-10-22 21:11:12] 759*2^764892-1 is not prime. Res64: B6CE1B83AA90322C Time : 887.0 sec. user=vaughan [2010-10-22 21:15:31] 607*2^764893-1 is not prime. Res64: F1F4D25C252162CB Time : 749.0 sec. user=vaughan [2010-10-22 21:18:51] 615*2^764893-1 is not prime. Res64: 76E225512724C707 Time : 744.0 sec. user=vaughan [2010-10-22 21:25:59] 681*2^764893-1 is not prime. Res64: 6C239B9254E3848D Time : 888.0 sec. user=vaughan [2010-10-22 21:30:16] 727*2^764893-1 is not prime. Res64: E4637E9FD2E14307 Time : 886.0 sec. user=vaughan [2010-10-22 21:31:13] 615*2^764894-1 is not prime. Res64: BFE3530437D35637 Time : 743.0 sec. user=vaughan [2010-10-22 21:38:26] 617*2^764894-1 is not prime. Res64: B7581E7A963844BF Time : 748.0 sec. user=vaughan [2010-10-22 21:42:42] 623*2^764894-1 is not prime. Res64: 0C1D9CB82C01320C Time : 747.0 sec. user=vaughan [2010-10-22 21:43:37] 663*2^764894-1 is not prime. Res64: 15F596A830FF9EDC Time : 744.0 sec. user=vaughan [2010-10-22 21:53:12] 755*2^764894-1 is not prime. Res64: 77D76AEDAF645D89 Time : 887.0 sec. user=vaughan [2010-10-22 21:55:10] 651*2^764895-1 is not prime. Res64: 4056D7043BD349BD Time : 748.0 sec. user=vaughan [2010-10-22 21:58:18] 735*2^764895-1 is not prime. Res64: B4987C82448E1E9D Time : 882.0 sec. user=vaughan [2010-10-22 22:07:58] 741*2^764895-1 is not prime. Res64: 2D94274181CFBDD8 Time : 887.0 sec. user=vaughan [2010-10-22 22:09:56] 775*2^764895-1 is not prime. Res64: 50BF995E64EFADF4 Time : 887.0 sec. user=vaughan [2010-10-22 22:10:40] 603*2^764896-1 is not prime. Res64: 68C53305A02905B6 Time : 742.0 sec. user=vaughan [2010-10-22 22:20:27] 629*2^764896-1 is not prime. Res64: F9397FAE21338B8C Time : 750.0 sec. user=vaughan [2010-10-22 22:22:23] 645*2^764897-1 is not prime. Res64: 224B8DF81235FB3B Time : 748.0 sec. user=vaughan [2010-10-22 22:25:21] 691*2^764897-1 is not prime. Res64: C1FB03F3B45175FD Time : 881.0 sec. user=vaughan [2010-10-22 22:35:14] 717*2^764897-1 is not prime. Res64: 84985DB1F7F11551 Time : 888.0 sec. user=vaughan [2010-10-22 22:37:09] 759*2^764897-1 is not prime. Res64: A7A3974BE5205DCD Time : 887.0 sec. user=vaughan [2010-10-22 22:37:44] 641*2^764898-1 is not prime. Res64: 41AE0714084436A1 Time : 743.0 sec. user=vaughan [2010-10-22 22:49:37] 645*2^764899-1 is not prime. Res64: D34F4DF6A4A83079 Time : 749.0 sec. user=vaughan [2010-10-22 22:50:02] 737*2^764898-1 is not prime. Res64: 6363C306040C0841 Time : 888.0 sec. user=vaughan [2010-10-22 22:52:27] 691*2^764899-1 is not prime. Res64: BBF5C7F69F6FE6C2 Time : 884.0 sec. user=vaughan [2010-10-22 23:04:24] 703*2^764899-1 is not prime. Res64: 584F7EA14AC2D787 Time : 887.0 sec. user=vaughan [2010-10-22 23:04:49] 723*2^764899-1 is not prime. Res64: 02BCF0B989A0F1DE Time : 887.0 sec. user=vaughan [2010-10-22 23:07:09] 769*2^764899-1 is not prime. Res64: 54C408F2EB3BE0D5 Time : 883.0 sec. user=vaughan [2010-10-22 23:19:11] 675*2^764900-1 is not prime. Res64: BDC3076A6C505711 Time : 888.0 sec. user=vaughan [2010-10-22 23:19:32] 627*2^764901-1 is not prime. Res64: F2AC0E17FAC1EF20 Time : 743.0 sec. user=vaughan [2010-10-22 23:19:36] 785*2^764900-1 is not prime. Res64: F21254C15D95D30C Time : 887.0 sec. user=vaughan [2010-10-22 23:32:08] 645*2^764902-1 is not prime. Res64: E0FFCCFC69786E50 Time : 753.0 sec. user=vaughan [2010-10-22 23:34:02] 711*2^764901-1 is not prime. Res64: FF4B2BE4A105F50C Time : 892.0 sec. user=vaughan [2010-10-22 23:34:18] 741*2^764901-1 is not prime. Res64: B59F7E3B29338236 Time : 887.0 sec. user=vaughan [2010-10-22 23:44:36] 661*2^764903-1 is not prime. Res64: F6F348CEED167A83 Time : 748.0 sec. user=vaughan [2010-10-22 23:46:30] 663*2^764903-1 is not prime. Res64: F98F9A440D133CFD Time : 749.0 sec. user=vaughan [2010-10-22 23:49:02] 741*2^764903-1 is not prime. Res64: 39FA64E7B719928C Time : 884.0 sec. user=vaughan [2010-10-22 23:57:04] 623*2^764904-1 is not prime. Res64: F07D31CFFEAFB312 Time : 748.0 sec. user=vaughan [2010-10-22 23:58:58] 627*2^764904-1 is not prime. Res64: D915C9F838C46322 Time : 749.0 sec.