user=vaughan [2009-09-01 00:03:32] 705*2^711626-1 is not prime. Res64: 5857F1BA42A3303D Time : 727.0 sec. user=vaughan [2009-09-01 00:10:49] 755*2^711626-1 is not prime. Res64: 3A05D7C6DAB0C4F6 Time : 721.0 sec. user=vaughan [2009-09-01 00:15:42] 767*2^711626-1 is not prime. Res64: 8496B6C94E2E84C7 Time : 730.0 sec. user=vaughan [2009-09-01 00:22:52] 783*2^711626-1 is not prime. Res64: 9C603BBEE5DB8835 Time : 723.0 sec. user=vaughan [2009-09-01 00:27:55] 615*2^711627-1 is not prime. Res64: 7D585C1C52207028 Time : 733.0 sec. user=vaughan [2009-09-01 00:34:55] 649*2^711627-1 is not prime. Res64: 2DF5A3F4168627B3 Time : 723.0 sec. user=vaughan [2009-09-01 00:40:02] 665*2^711628-1 is not prime. Res64: 1E1F99475B446C72 Time : 727.0 sec. user=vaughan [2009-09-01 00:46:53] 705*2^711628-1 is not prime. Res64: 3CA0D4291A9AD8FE Time : 718.0 sec. user=vaughan [2009-09-01 00:52:06] 749*2^711628-1 is not prime. Res64: B1FA5D5EACBB9CF5 Time : 725.0 sec. user=vaughan [2009-09-01 00:58:51] 741*2^711629-1 is not prime. Res64: 58FBE9AE124509FA Time : 719.0 sec. user=vaughan [2009-09-01 01:04:13] 693*2^711630-1 is not prime. Res64: E819EE8C4A9D799E Time : 728.0 sec. user=vaughan [2009-09-01 01:10:49] 725*2^711630-1 is not prime. Res64: A0D755B608ABD85C Time : 718.0 sec. user=vaughan [2009-09-01 01:16:15] 741*2^711630-1 is not prime. Res64: 248011E71FAF246C Time : 722.0 sec. user=vaughan [2009-09-01 01:22:40] 791*2^711630-1 is not prime. Res64: 839FAEE95EA0D11C Time : 711.0 sec. user=vaughan [2009-09-01 01:28:06] 681*2^711631-1 is not prime. Res64: 32122B07409B0FC2 Time : 711.0 sec. user=vaughan [2009-09-01 01:35:06] 769*2^711631-1 is not prime. Res64: 074531B324F82637 Time : 746.0 sec. user=vaughan [2009-09-01 01:40:11] 681*2^711633-1 is not prime. Res64: E2DE349D9D8E45A4 Time : 726.0 sec. user=vaughan [2009-09-01 01:47:44] 691*2^711633-1 is not prime. Res64: 8AE1FAA92AE6FE26 Time : 758.0 sec. user=vaughan [2009-09-01 01:52:25] 787*2^711633-1 is not prime. Res64: 9167D8D5B026A2AE Time : 734.0 sec. user=vaughan [2009-09-01 02:00:12] 623*2^711634-1 is not prime. Res64: 6D5DBA07A0FF296F Time : 748.0 sec. user=vaughan [2009-09-01 02:04:43] 609*2^711635-1 is not prime. Res64: 30368E47B809089C Time : 739.0 sec. user=vaughan [2009-09-01 02:12:28] 775*2^711635-1 is not prime. Res64: 8E12ABE3A51A9638 Time : 737.0 sec. user=vaughan [2009-09-01 02:17:00] 783*2^711635-1 is not prime. Res64: 5BE7137AA5F3BF9F Time : 737.0 sec. user=vaughan [2009-09-01 02:24:40] 799*2^711635-1 is not prime. Res64: 32105C23C0151FA1 Time : 732.0 sec. user=vaughan [2009-09-01 02:29:14] 669*2^711636-1 is not prime. Res64: A0DFB0C20C9BB115 Time : 734.0 sec. user=vaughan [2009-09-01 02:36:43] 693*2^711636-1 is not prime. Res64: 917D128D95551278 Time : 723.0 sec. user=vaughan [2009-09-01 02:41:23] 625*2^711637-1 is not prime. Res64: 041D194F75F8562C Time : 729.0 sec. user=vaughan [2009-09-01 02:48:45] 667*2^711637-1 is not prime. Res64: 5F33968BC381C922 Time : 722.0 sec. user=vaughan [2009-09-01 02:53:25] 717*2^711637-1 is not prime. Res64: 22D3930E9E660B6E Time : 722.0 sec. user=vaughan [2009-09-01 03:00:42] 727*2^711637-1 is not prime. Res64: 294F1989341F6CF8 Time : 717.0 sec. user=vaughan [2009-09-01 03:05:07] 741*2^711637-1 is not prime. Res64: 74964C5C8B829304 Time : 702.0 sec. user=vaughan [2009-09-01 03:12:36] 747*2^711637-1 is not prime. Res64: 537359D4D0BF016E Time : 714.0 sec. user=vaughan [2009-09-01 03:16:56] 665*2^711638-1 is not prime. Res64: EA8A944E60BFBAF1 Time : 709.0 sec. user=vaughan [2009-09-01 03:24:40] 671*2^711638-1 is not prime. Res64: 06A8E78C2B398E90 Time : 724.0 sec. user=vaughan [2009-09-01 03:28:47] 633*2^711639-1 is not prime. Res64: 922F709DE71152A9 Time : 711.0 sec. user=vaughan [2009-09-01 03:36:42] 691*2^711639-1 is not prime. Res64: 5265A8FEFD4AD1E3 Time : 722.0 sec. user=vaughan [2009-09-01 03:40:38] 703*2^711639-1 is not prime. Res64: 18670FC42C21A182 Time : 711.0 sec. user=vaughan [2009-09-01 03:48:40] 745*2^711639-1 is not prime. Res64: A7C5D6A880D6655A Time : 718.0 sec. user=vaughan [2009-09-01 03:52:31] 629*2^711640-1 is not prime. Res64: F8E8BAE948DA8E60 Time : 713.0 sec. user=vaughan [2009-09-01 04:00:39] 735*2^711640-1 is not prime. Res64: 6A9403E5704C66B1 Time : 719.0 sec. user=vaughan [2009-09-01 04:04:24] 785*2^711640-1 is not prime. Res64: FD56CDF8FD2D8EC0 Time : 713.0 sec. user=vaughan [2009-09-01 04:13:05] 627*2^711641-1 is not prime. Res64: F0E425A0FFB30C2C Time : 746.0 sec. user=vaughan [2009-09-01 04:16:21] 631*2^711641-1 is not prime. Res64: 6166C4D5997D2223 Time : 717.0 sec. user=vaughan [2009-09-01 04:25:42] 651*2^711641-1 is not prime. Res64: 36A9F1A91AF4208F Time : 758.0 sec. user=vaughan [2009-09-01 04:28:20] 691*2^711641-1 is not prime. Res64: D5E27BB300ACA3DB Time : 719.0 sec. user=vaughan [2009-09-01 04:38:00] 711*2^711641-1 is not prime. Res64: 3DF735688377BAC8 Time : 738.0 sec. user=vaughan [2009-09-01 04:40:16] 735*2^711641-1 is not prime. Res64: 7E7A499E8DACE7CD Time : 716.0 sec. user=vaughan [2009-09-01 04:49:58] 745*2^711641-1 is not prime. Res64: 1FBAEBFE57DA0345 Time : 718.0 sec. user=vaughan [2009-09-01 04:51:53] 725*2^711642-1 is not prime. Res64: 3231871B8DD5ED1E Time : 697.0 sec. user=vaughan [2009-09-01 05:01:53] 791*2^711642-1 is not prime. Res64: 82C72899E73FEDE3 Time : 715.0 sec. user=vaughan [2009-09-01 05:03:24] 603*2^711643-1 is not prime. Res64: 1EC09C6C00AC47DA Time : 691.0 sec. user=vaughan [2009-09-01 05:14:09] 631*2^711643-1 is not prime. Res64: 8B1FF4B722CFFE34 Time : 736.0 sec. user=vaughan [2009-09-01 05:14:56] 745*2^711643-1 is not prime. Res64: 4BEA1E9725F0BE6F Time : 692.0 sec. user=vaughan [2009-09-01 05:26:27] 771*2^711643-1 is not prime. Res64: 530899D7917BBC01 Time : 738.0 sec. user=vaughan [2009-09-01 05:26:28] 789*2^711643-1 is not prime. Res64: C2151E5701808B34 Time : 692.0 sec. user=vaughan [2009-09-01 05:38:11] 759*2^711644-1 is not prime. Res64: A56D22555BFC6FD2 Time : 703.0 sec. user=vaughan [2009-09-01 05:38:17] 659*2^711644-1 is not prime. Res64: 4FD7305DB0B3E37C Time : 711.0 sec. user=vaughan [2009-09-01 05:49:57] 785*2^711644-1 is not prime. Res64: 1109B4C3B4EA1814 Time : 706.0 sec. user=vaughan [2009-09-01 05:50:01] 601*2^711645-1 is not prime. Res64: E61DC44D568D797D Time : 705.0 sec. user=vaughan [2009-09-01 06:01:42] 655*2^711645-1 is not prime. Res64: 72305B6C847B2D1E Time : 705.0 sec. user=vaughan [2009-09-01 06:01:46] 657*2^711645-1 is not prime. Res64: D24690D7F1819F15 Time : 705.0 sec. user=vaughan [2009-09-01 06:13:27] 685*2^711645-1 is not prime. Res64: 18822FFF585BBAA7 Time : 705.0 sec. user=vaughan [2009-09-01 06:13:32] 759*2^711645-1 is not prime. Res64: 759BB2774CB7038B Time : 706.0 sec. user=vaughan [2009-09-01 06:24:58] 777*2^711645-1 is not prime. Res64: 5BD096064974AE8D Time : 691.0 sec. user=vaughan [2009-09-01 06:25:23] 623*2^711646-1 is not prime. Res64: FDF4F53D491AE365 Time : 711.0 sec. user=vaughan [2009-09-01 06:36:28] 695*2^711646-1 is not prime. Res64: C90D9C0DC0E64E77 Time : 690.0 sec. user=vaughan [2009-09-01 06:37:13] 705*2^711646-1 is not prime. Res64: 22753A2719E1A86D Time : 710.0 sec. user=vaughan [2009-09-01 06:47:59] 717*2^711646-1 is not prime. Res64: 610EBB18DC0B9B95 Time : 691.0 sec. user=vaughan [2009-09-01 06:49:20] 615*2^711647-1 is not prime. Res64: 09C246303142792C Time : 727.0 sec. user=vaughan [2009-09-01 06:59:31] 685*2^711647-1 is not prime. Res64: FF6AB8B4AA728BCC Time : 692.0 sec. user=vaughan [2009-09-01 07:01:33] 739*2^711647-1 is not prime. Res64: E332BC0EBD662C43 Time : 733.0 sec. user=vaughan [2009-09-01 07:11:02] 775*2^711647-1 is not prime. Res64: D4772E1AFB028F52 Time : 691.0 sec. user=vaughan [2009-09-01 07:13:35] 629*2^711648-1 is not prime. Res64: 0A202648C59D9149 Time : 722.0 sec. user=vaughan [2009-09-01 07:22:30] 633*2^711648-1 is not prime. Res64: EB847C519D0CAAC6 Time : 688.0 sec. user=vaughan [2009-09-01 07:25:20] 699*2^711648-1 is not prime. Res64: 9A566E95B64C69F4 Time : 705.0 sec. user=vaughan [2009-09-01 07:33:58] 705*2^711648-1 is not prime. Res64: 4AEFA0D85F185F73 Time : 688.0 sec. user=vaughan [2009-09-01 07:37:08] 737*2^711648-1 is not prime. Res64: BFABA488E50ED8A3 Time : 708.0 sec. user=vaughan [2009-09-01 07:45:27] 765*2^711648-1 is not prime. Res64: 8FFB4F45AD5AA4A8 Time : 689.0 sec. user=vaughan [2009-09-01 07:48:54] 789*2^711648-1 is not prime. Res64: 27E6DC42329CFE4F Time : 706.0 sec. user=vaughan [2009-09-01 07:56:56] 661*2^711649-1 is not prime. Res64: 80FDF55B6C24B7C0 Time : 689.0 sec. user=vaughan [2009-09-01 08:00:44] 765*2^711649-1 is not prime. Res64: D195551B61F37F3E Time : 710.0 sec. user=vaughan [2009-09-01 08:08:27] 603*2^711650-1 is not prime. Res64: 7AEFD87E182D6B38 Time : 691.0 sec. user=vaughan [2009-09-01 08:12:36] 609*2^711651-1 is not prime. Res64: 1271EA839ABBBE32 Time : 712.0 sec. user=vaughan [2009-09-01 08:19:57] 769*2^711651-1 is not prime. Res64: 8842A5D8E5E3139A Time : 690.0 sec. user=vaughan [2009-09-01 08:24:28] 783*2^711651-1 is not prime. Res64: 7449BC4CAA1B3907 Time : 712.0 sec. user=vaughan [2009-09-01 08:31:28] 793*2^711651-1 is not prime. Res64: CA6C5958BA9BBA88 Time : 691.0 sec. user=vaughan [2009-09-01 08:36:17] 609*2^711652-1 is not prime. Res64: 7A570A35FABAA23C Time : 709.0 sec. user=vaughan [2009-09-01 08:43:13] 617*2^711652-1 is not prime. Res64: 1D9D567A7BE7EC67 Time : 705.0 sec. user=vaughan [2009-09-01 08:48:02] 635*2^711652-1 is not prime. Res64: FB10E67BCC798DA4 Time : 705.0 sec. user=vaughan [2009-09-01 08:54:59] 657*2^711652-1 is not prime. Res64: D8306B0BE804BB3F Time : 707.0 sec. user=vaughan [2009-09-01 08:59:47] 695*2^711652-1 is not prime. Res64: 67611B2FDE37A87E Time : 706.0 sec. user=vaughan [2009-09-01 09:06:45] 729*2^711653-1 is not prime. Res64: F924896737CD5C56 Time : 706.0 sec. user=vaughan [2009-09-01 09:11:31] 787*2^711653-1 is not prime. Res64: 965F2544EFE69502 Time : 705.0 sec. user=vaughan [2009-09-01 09:18:31] 789*2^711653-1 is not prime. Res64: D08E31AA680B5D10 Time : 706.0 sec. user=vaughan [2009-09-01 09:23:18] 683*2^711654-1 is not prime. Res64: 7F41CC804FF32306 Time : 707.0 sec. user=vaughan [2009-09-01 09:30:16] 711*2^711654-1 is not prime. Res64: DECEFF9F224D58F8 Time : 705.0 sec. user=vaughan [2009-09-01 09:35:03] 737*2^711654-1 is not prime. Res64: 3DF547E77EEDA148 Time : 705.0 sec. user=vaughan [2009-09-01 09:42:01] 747*2^711654-1 is not prime. Res64: EF9F8BAAA7408CF9 Time : 706.0 sec. user=vaughan [2009-09-01 09:46:48] 773*2^711654-1 is not prime. Res64: 8526A537DCC3470F Time : 705.0 sec. user=vaughan [2009-09-01 09:53:47] 679*2^711655-1 is not prime. Res64: B479C506E00C7980 Time : 706.0 sec. user=vaughan [2009-09-01 09:58:32] 693*2^711655-1 is not prime. Res64: 7A21DB449D12E23E Time : 705.0 sec. user=vaughan [2009-09-01 10:05:26] 705*2^711655-1 is not prime. Res64: B47BF3D9FCC7ACC2 Time : 699.0 sec. user=vaughan [2009-09-01 10:10:43] 709*2^711655-1 is not prime. Res64: ED41815AF0C83AB4 Time : 731.0 sec. user=vaughan [2009-09-01 10:16:57] 759*2^711655-1 is not prime. Res64: 1E4C180310AA7695 Time : 692.0 sec. user=vaughan [2009-09-01 10:22:57] 789*2^711655-1 is not prime. Res64: D87391D6AE1B1921 Time : 734.0 sec. user=vaughan [2009-09-01 10:28:29] 609*2^711656-1 is not prime. Res64: 6CB7F7F2E7D465CA Time : 692.0 sec. user=vaughan [2009-09-01 10:34:54] 657*2^711656-1 is not prime. Res64: 575E01E82F0E0466 Time : 718.0 sec. user=vaughan [2009-09-01 10:40:13] 743*2^711656-1 is not prime. Res64: 5919B9A6C7ED7016 Time : 705.0 sec. user=vaughan [2009-09-01 10:46:38] 625*2^711657-1 is not prime. Res64: 18815FA11DDE14D3 Time : 704.0 sec. user=vaughan [2009-09-01 10:51:59] 627*2^711657-1 is not prime. Res64: 165AF84FF1890C19 Time : 706.0 sec. user=vaughan [2009-09-01 10:58:22] 639*2^711657-1 is not prime. Res64: 7517F0DB1E9752FB Time : 704.0 sec. user=vaughan [2009-09-01 11:03:44] 699*2^711657-1 is not prime. Res64: 4241CD93AC6504DE Time : 705.0 sec. user=vaughan [2009-09-01 11:10:06] 717*2^711657-1 is not prime. Res64: 5BFA9D26FF42E8D9 Time : 704.0 sec. user=vaughan [2009-09-01 11:15:29] 723*2^711658-1 is not prime. Res64: 9060438162AA851B Time : 706.0 sec. user=vaughan [2009-09-01 11:21:52] 669*2^711659-1 is not prime. Res64: 83C49F714575043D Time : 706.0 sec. user=vaughan [2009-09-01 11:27:15] 675*2^711659-1 is not prime. Res64: B10ED94D459F949A Time : 706.0 sec. user=vaughan [2009-09-01 11:33:36] 741*2^711659-1 is not prime. Res64: D250F0987CDFBE2E Time : 705.0 sec. user=vaughan [2009-09-01 11:39:01] 753*2^711659-1 is not prime. Res64: 017AC16B5389EC8B Time : 706.0 sec. user=vaughan [2009-09-01 11:45:20] 647*2^711660-1 is not prime. Res64: 6B9B1F6F4AB79CD8 Time : 704.0 sec. user=vaughan [2009-09-01 11:50:45] 693*2^711660-1 is not prime. Res64: 41DF7C13C05FCE99 Time : 704.0 sec. user=vaughan [2009-09-01 11:57:06] 753*2^711660-1 is not prime. Res64: F3131B7CF9F74501 Time : 706.0 sec. user=vaughan [2009-09-01 12:02:21] 741*2^711661-1 is not prime. Res64: 87F4D4B60BD34027 Time : 696.0 sec. user=vaughan [2009-09-01 12:08:51] 617*2^711662-1 is not prime. Res64: 00166D6FC980685E Time : 705.0 sec. user=vaughan [2009-09-01 12:13:49] 635*2^711662-1 is not prime. Res64: 577FFD7B2AE162D0 Time : 688.0 sec. user=vaughan [2009-09-01 12:20:36] 755*2^711662-1 is not prime. Res64: BD5C509E3B46637C Time : 705.0 sec. user=vaughan [2009-09-01 12:25:16] 609*2^711663-1 is not prime. Res64: 1CD7FA70DD1FAD76 Time : 688.0 sec. user=vaughan [2009-09-01 12:32:02] 625*2^711663-1 is not prime. Res64: C7DD3FB700D33267 Time : 686.0 sec. user=vaughan [2009-09-01 12:36:40] 663*2^711663-1 is not prime. Res64: BED16E628307DEE5 Time : 684.0 sec. user=vaughan [2009-09-01 12:43:25] 691*2^711663-1 is not prime. Res64: 81C4A9AD8941B93D Time : 683.0 sec. user=vaughan [2009-09-01 12:48:05] 735*2^711663-1 is not prime. Res64: C7719DA918ED1937 Time : 685.0 sec. user=vaughan [2009-09-01 12:54:46] 765*2^711663-1 is not prime. Res64: 0F6EB6077B23E8DB Time : 681.0 sec. user=vaughan [2009-09-01 12:59:25] 795*2^711663-1 is not prime. Res64: AFAF3E82B420B0FA Time : 680.0 sec. user=vaughan [2009-09-01 13:06:04] 623*2^711664-1 is not prime. Res64: 49CC37EA546147D8 Time : 679.0 sec. user=vaughan [2009-09-01 13:10:44] 743*2^711664-1 is not prime. Res64: 910DFA0749410FEE Time : 679.0 sec. user=vaughan [2009-09-01 13:17:23] 601*2^711665-1 is not prime. Res64: CBBD37F2CF1C839B Time : 679.0 sec. user=vaughan [2009-09-01 13:22:02] 675*2^711665-1 is not prime. Res64: 4EF5F424036DF920 Time : 678.0 sec. user=vaughan [2009-09-01 13:28:40] 727*2^711665-1 is not prime. Res64: 731642A667F98949 Time : 678.0 sec. user=vaughan [2009-09-01 13:33:21] 717*2^711666-1 is not prime. Res64: 4590FE82212E0471 Time : 679.0 sec. user=vaughan [2009-09-01 13:39:58] 747*2^711666-1 is not prime. Res64: AA6C77803EC42AD7 Time : 678.0 sec. user=vaughan [2009-09-01 13:44:39] 755*2^711666-1 is not prime. Res64: 6A5A9C5DD8FEC79B Time : 678.0 sec. user=vaughan [2009-09-01 13:51:17] 615*2^711668-1 is not prime. Res64: E5FE97F243EF1576 Time : 679.0 sec. user=vaughan [2009-09-01 13:55:58] 669*2^711668-1 is not prime. Res64: 47D44CCB5EB626A1 Time : 679.0 sec. user=vaughan [2009-09-01 14:02:35] 687*2^711668-1 is not prime. Res64: 96D3F6A95C00647E Time : 679.0 sec. user=vaughan [2009-09-01 14:07:17] 707*2^711668-1 is not prime. Res64: C5ED20DB9ACADC6C Time : 679.0 sec. user=vaughan [2009-09-01 14:13:53] 625*2^711669-1 is not prime. Res64: 424B6FC2A0C36E1A Time : 678.0 sec. user=vaughan [2009-09-01 14:18:35] 789*2^711669-1 is not prime. Res64: 8185574D95F92965 Time : 679.0 sec. user=vaughan [2009-09-01 14:25:12] 603*2^711670-1 is not prime. Res64: 3023E6C3E1C2C726 Time : 679.0 sec. user=vaughan [2009-09-01 14:29:53] 741*2^711670-1 is not prime. Res64: 3BB17314A12811C4 Time : 678.0 sec. user=vaughan [2009-09-01 14:36:30] 761*2^711670-1 is not prime. Res64: 8B9EE4EE9736C5A1 Time : 679.0 sec. user=vaughan [2009-09-01 14:41:12] 765*2^711670-1 is not prime. Res64: E3147204EE1B6D5C Time : 679.0 sec. user=vaughan [2009-09-01 14:47:48] 615*2^711671-1 is not prime. Res64: 1B8EC7BC4A545378 Time : 678.0 sec. user=vaughan [2009-09-01 14:52:31] 645*2^711671-1 is not prime. Res64: 310EC77A5064EC20 Time : 679.0 sec. user=vaughan [2009-09-01 14:59:07] 661*2^711671-1 is not prime. Res64: 15DFC4A3D8F4D108 Time : 679.0 sec. user=vaughan [2009-09-01 15:03:50] 675*2^711671-1 is not prime. Res64: 7B98D0B0B403E2C8 Time : 679.0 sec. user=vaughan [2009-09-01 15:10:26] 711*2^711671-1 is not prime. Res64: 24C3C70270ECCCB7 Time : 679.0 sec. user=vaughan [2009-09-01 15:15:08] 615*2^711672-1 is not prime. Res64: 186C5549D483C2EE Time : 678.0 sec. user=vaughan [2009-09-01 15:21:44] 669*2^711672-1 is not prime. Res64: 98CE68A03FA6EB45 Time : 679.0 sec. user=vaughan [2009-09-01 15:26:27] 713*2^711672-1 is not prime. Res64: ABD4EE2486C3A08D Time : 679.0 sec. user=vaughan [2009-09-01 15:33:02] 609*2^711673-1 is not prime. Res64: 8E3BA723BD305180 Time : 678.0 sec. user=vaughan [2009-09-01 15:37:46] 639*2^711673-1 is not prime. Res64: B70DA7CD248BCA42 Time : 679.0 sec. user=vaughan [2009-09-01 15:44:20] 765*2^711673-1 is not prime. Res64: 8F0343C8589BA1D4 Time : 678.0 sec. user=vaughan [2009-09-01 15:49:04] 707*2^711674-1 is not prime. Res64: BAC1109D0844504C Time : 679.0 sec. user=vaughan [2009-09-01 15:55:38] 717*2^711674-1 is not prime. Res64: F077BC5C136A6DD6 Time : 679.0 sec. user=vaughan [2009-09-01 16:00:22] 741*2^711674-1 is not prime. Res64: F0F86288CE97A985 Time : 678.0 sec. user=vaughan [2009-09-01 16:06:58] 663*2^711675-1 is not prime. Res64: 790B8B81F72947B1 Time : 680.0 sec. user=vaughan [2009-09-01 16:11:44] 685*2^711675-1 is not prime. Res64: 812078CE3C678B0F Time : 682.0 sec. user=vaughan [2009-09-01 16:18:20] 735*2^711675-1 is not prime. Res64: 7D6D15FFCB17C427 Time : 682.0 sec. user=vaughan [2009-09-01 16:23:06] 781*2^711675-1 is not prime. Res64: 997D7BCEF05EF7E1 Time : 682.0 sec. user=vaughan [2009-09-01 16:30:48] 609*2^711676-1 is not prime. Res64: C3E431CF5645B2C3 Time : 748.0 sec. user=vaughan [2009-09-01 16:35:43] 675*2^711676-1 is not prime. Res64: E0C1BFD74F762525 Time : 757.0 sec.