user=vaughan [2009-08-30 03:35:51] 795*2^711510-1 is not prime. Res64: 2411A1B9E5FA651E Time : 1106.0 sec. user=vaughan [2009-08-30 03:38:47] 783*2^711510-1 is not prime. Res64: 9F7BB688ED208C90 Time : 1284.0 sec. user=vaughan [2009-08-30 03:52:44] 663*2^711511-1 is not prime. Res64: 870A37571E08E23A Time : 838.0 sec. user=vaughan [2009-08-30 03:58:10] 609*2^711511-1 is not prime. Res64: D406A2FE8E76DBA1 Time : 1339.0 sec. user=vaughan [2009-08-30 04:06:42] 703*2^711511-1 is not prime. Res64: 875245FAB2E8C54C Time : 838.0 sec. user=vaughan [2009-08-30 04:20:33] 759*2^711511-1 is not prime. Res64: BC41E1D0BF06A471 Time : 1343.0 sec. user=vaughan [2009-08-30 04:20:54] 603*2^711512-1 is not prime. Res64: 808CBCC82CC6867E Time : 852.0 sec. user=vaughan [2009-08-30 04:35:07] 651*2^711513-1 is not prime. Res64: C330E5B153CDA7AB Time : 853.0 sec. user=vaughan [2009-08-30 04:42:37] 637*2^711513-1 is not prime. Res64: C01D47ADC29C931B Time : 1324.0 sec. user=vaughan [2009-08-30 04:50:40] 657*2^711513-1 is not prime. Res64: F19C5A53EDE799B1 Time : 933.0 sec. user=vaughan [2009-08-30 05:05:06] 747*2^711513-1 is not prime. Res64: 90619AC5EECF150A Time : 1349.0 sec. user=vaughan [2009-08-30 05:05:50] 781*2^711513-1 is not prime. Res64: D492B442D8ED2B02 Time : 910.0 sec. user=vaughan [2009-08-30 05:22:25] 645*2^711514-1 is not prime. Res64: 3161E36B7C3032C7 Time : 995.0 sec. user=vaughan [2009-08-30 05:24:53] 605*2^711514-1 is not prime. Res64: CDD6D6B6C2082F85 Time : 1187.0 sec. user=vaughan [2009-08-30 05:39:09] 657*2^711514-1 is not prime. Res64: A912A94290C46905 Time : 1004.0 sec. user=vaughan [2009-08-30 05:43:41] 671*2^711514-1 is not prime. Res64: F9A0108A508FA3B1 Time : 1129.0 sec. user=vaughan [2009-08-30 05:54:37] 695*2^711514-1 is not prime. Res64: A11027F6560816FC Time : 928.0 sec. user=vaughan [2009-08-30 06:02:29] 675*2^711515-1 is not prime. Res64: 93BB23FC793FBCC0 Time : 1128.0 sec. user=vaughan [2009-08-30 06:10:35] 699*2^711515-1 is not prime. Res64: 612A9D1E4C02D883 Time : 958.0 sec. user=vaughan [2009-08-30 06:21:05] 741*2^711515-1 is not prime. Res64: C42DBCE40FBE586E Time : 1117.0 sec. user=vaughan [2009-08-30 06:25:39] 723*2^711516-1 is not prime. Res64: 88C5DEC783128971 Time : 904.0 sec. user=vaughan [2009-08-30 06:39:50] 725*2^711516-1 is not prime. Res64: 76D84370BEE1CE9B Time : 1126.0 sec. user=vaughan [2009-08-30 06:41:57] 783*2^711516-1 is not prime. Res64: 8FCBD0860DFFE86C Time : 978.0 sec. user=vaughan [2009-08-30 06:58:30] 601*2^711517-1 is not prime. Res64: 68F292046E8E0073 Time : 1120.0 sec. user=vaughan [2009-08-30 06:59:02] 609*2^711517-1 is not prime. Res64: EFAD51480ADF37FC Time : 1025.0 sec. user=vaughan [2009-08-30 07:15:51] 757*2^711517-1 is not prime. Res64: 9497124F552B2A5A Time : 1009.0 sec. user=vaughan [2009-08-30 07:17:28] 651*2^711517-1 is not prime. Res64: B1A65A04E4D9DB9C Time : 1138.0 sec. user=vaughan [2009-08-30 07:32:19] 775*2^711517-1 is not prime. Res64: CEF6372B687A7B0C Time : 989.0 sec. user=vaughan [2009-08-30 07:36:24] 617*2^711518-1 is not prime. Res64: CAC3383C53FC40E0 Time : 1136.0 sec. user=vaughan [2009-08-30 07:47:43] 641*2^711518-1 is not prime. Res64: C4AECD7F2B537ACA Time : 925.0 sec. user=vaughan [2009-08-30 07:57:02] 663*2^711518-1 is not prime. Res64: 55944C76DA708CE9 Time : 1238.0 sec. user=vaughan [2009-08-30 08:02:04] 665*2^711518-1 is not prime. Res64: 89EB490CC575953F Time : 862.0 sec. user=vaughan [2009-08-30 08:17:13] 713*2^711518-1 is not prime. Res64: 7A81694BE9F6B971 Time : 909.0 sec. user=vaughan [2009-08-30 08:18:52] 707*2^711518-1 is not prime. Res64: E5DFFB51F99010C2 Time : 1310.0 sec. user=vaughan [2009-08-30 08:31:34] 791*2^711518-1 is not prime. Res64: 53AE9C3D2549C55E Time : 861.0 sec. user=vaughan [2009-08-30 08:41:01] 663*2^711519-1 is not prime. Res64: 5B415E4BE9424EE7 Time : 1329.0 sec. user=vaughan [2009-08-30 08:45:29] 691*2^711519-1 is not prime. Res64: 79D42E27FD2FB7B5 Time : 836.0 sec. user=vaughan [2009-08-30 08:59:17] 735*2^711519-1 is not prime. Res64: CB220E8469509E55 Time : 829.0 sec. user=vaughan [2009-08-30 09:03:24] 705*2^711519-1 is not prime. Res64: 24E4D7C7EA7B06D2 Time : 1343.0 sec. user=vaughan [2009-08-30 09:13:59] 609*2^711520-1 is not prime. Res64: 26581FD2B7FFCEC0 Time : 882.0 sec. user=vaughan [2009-08-30 09:24:32] 623*2^711520-1 is not prime. Res64: 92D405E49139FFFA Time : 1269.0 sec. user=vaughan [2009-08-30 09:32:16] 635*2^711520-1 is not prime. Res64: A5647876FB32F550 Time : 1097.0 sec. user=vaughan [2009-08-30 09:43:32] 689*2^711520-1 is not prime. Res64: 28F68B1A472C1960 Time : 1140.0 sec. user=vaughan [2009-08-30 09:50:40] 695*2^711520-1 is not prime. Res64: DA1623AFB1EB6845 Time : 1104.0 sec. user=vaughan [2009-08-30 10:02:26] 755*2^711520-1 is not prime. Res64: 675764802C42ECFE Time : 1134.0 sec. user=vaughan [2009-08-30 10:09:19] 777*2^711520-1 is not prime. Res64: 9184444E9753C98F Time : 1119.0 sec. user=vaughan [2009-08-30 10:21:28] 785*2^711520-1 is not prime. Res64: 0802FE21B5FD847F Time : 1142.0 sec. user=vaughan [2009-08-30 10:28:00] 657*2^711521-1 is not prime. Res64: D36757163C365B98 Time : 1121.0 sec. user=vaughan [2009-08-30 10:40:31] 717*2^711521-1 is not prime. Res64: 6A77177C833A3D8E Time : 1144.0 sec. user=vaughan [2009-08-30 10:47:22] 735*2^711521-1 is not prime. Res64: C47E4CE187A65766 Time : 1162.0 sec. user=vaughan [2009-08-30 11:00:58] 777*2^711521-1 is not prime. Res64: 8FC106CD363580EF Time : 1227.0 sec. user=vaughan [2009-08-30 11:02:00] 765*2^711522-1 is not prime. Res64: 69E3C0A8923ABD20 Time : 878.0 sec. user=vaughan [2009-08-30 11:16:12] 609*2^711523-1 is not prime. Res64: 8E87C56B4ACCD273 Time : 852.0 sec. user=vaughan [2009-08-30 11:23:43] 767*2^711522-1 is not prime. Res64: 74BD5907FBEFF462 Time : 1365.0 sec. user=vaughan [2009-08-30 11:28:57] 615*2^711523-1 is not prime. Res64: 9E321B9AAB3EBF7A Time : 765.0 sec. user=vaughan [2009-08-30 11:41:47] 649*2^711523-1 is not prime. Res64: 9D02C06394DD42E2 Time : 771.0 sec. user=vaughan [2009-08-30 11:47:05] 631*2^711523-1 is not prime. Res64: CDDB9631CE137A95 Time : 1402.0 sec. user=vaughan [2009-08-30 11:54:26] 623*2^711524-1 is not prime. Res64: 0E413DCA3D5C4093 Time : 759.0 sec. user=vaughan [2009-08-30 12:09:02] 691*2^711525-1 is not prime. Res64: 477B7B25FABFE1E9 Time : 876.0 sec. user=vaughan [2009-08-30 12:09:31] 657*2^711525-1 is not prime. Res64: 4966705CA2BF9467 Time : 1347.0 sec. user=vaughan [2009-08-30 12:23:21] 735*2^711525-1 is not prime. Res64: E63CF611A83E30BB Time : 859.0 sec. user=vaughan [2009-08-30 12:31:36] 741*2^711525-1 is not prime. Res64: 780DEC9A4FF18E91 Time : 1325.0 sec. user=vaughan [2009-08-30 12:38:18] 787*2^711525-1 is not prime. Res64: 4A99803956DC2238 Time : 897.0 sec. user=vaughan [2009-08-30 12:52:38] 603*2^711526-1 is not prime. Res64: 595EF73F499B10D0 Time : 1262.0 sec. user=vaughan [2009-08-30 12:54:23] 623*2^711526-1 is not prime. Res64: 971A309FC8576749 Time : 965.0 sec. user=vaughan [2009-08-30 13:07:59] 773*2^711526-1 is not prime. Res64: 5FFED60838F3FBE8 Time : 816.0 sec. user=vaughan [2009-08-30 13:14:50] 741*2^711526-1 is not prime. Res64: 0BDBD7867AF0CBD0 Time : 1332.0 sec. user=vaughan [2009-08-30 13:21:47] 619*2^711527-1 is not prime. Res64: 16DADCD21E91C31F Time : 829.0 sec. user=vaughan [2009-08-30 13:35:06] 633*2^711527-1 is not prime. Res64: 394E0DD39470009A Time : 799.0 sec. user=vaughan [2009-08-30 13:37:41] 621*2^711527-1 is not prime. Res64: 9442920CFA86590F Time : 1371.0 sec. user=vaughan [2009-08-30 13:47:43] 643*2^711527-1 is not prime. Res64: 7A0FBB1529807B87 Time : 757.0 sec. user=vaughan [2009-08-30 14:00:55] 735*2^711527-1 is not prime. Res64: 992059A55D73B4A7 Time : 792.0 sec. user=vaughan [2009-08-30 14:01:50] 651*2^711527-1 is not prime. Res64: 165F3C0B7F8961D1 Time : 1449.0 sec. user=vaughan [2009-08-30 14:14:34] 753*2^711527-1 is not prime. Res64: 14D9A4D7B467752D Time : 819.0 sec. user=vaughan [2009-08-30 14:25:41] 775*2^711527-1 is not prime. Res64: B4823385448A1303 Time : 1432.0 sec. user=vaughan [2009-08-30 14:28:54] 699*2^711528-1 is not prime. Res64: A90C9AABC7727416 Time : 861.0 sec. user=vaughan [2009-08-30 14:42:15] 609*2^711529-1 is not prime. Res64: 4D7FF688395263C5 Time : 801.0 sec. user=vaughan [2009-08-30 14:50:28] 725*2^711528-1 is not prime. Res64: CE228D45F98401D2 Time : 1487.0 sec. user=vaughan [2009-08-30 14:54:58] 649*2^711529-1 is not prime. Res64: F7CE742B3C4AA16A Time : 763.0 sec. user=vaughan [2009-08-30 15:07:44] 771*2^711529-1 is not prime. Res64: 3952DF4186690BE4 Time : 766.0 sec. user=vaughan [2009-08-30 15:14:22] 747*2^711529-1 is not prime. Res64: 096469066F3F8A6F Time : 1434.0 sec. user=vaughan [2009-08-30 15:20:33] 657*2^711530-1 is not prime. Res64: 9D677C9068B39B68 Time : 769.0 sec. user=vaughan [2009-08-30 15:32:59] 601*2^711531-1 is not prime. Res64: 9543E72172D246B6 Time : 747.0 sec. user=vaughan [2009-08-30 15:36:54] 785*2^711530-1 is not prime. Res64: 36032791814F14F2 Time : 1353.0 sec. user=vaughan [2009-08-30 15:45:27] 613*2^711531-1 is not prime. Res64: BDCA8A3BBA547561 Time : 748.0 sec. user=vaughan [2009-08-30 15:49:49] 619*2^711531-1 is not prime. Res64: A75091B0DDE8CD9E Time : 775.0 sec. user=vaughan [2009-08-30 15:57:08] 685*2^711531-1 is not prime. Res64: 0AF8682C51325D59 Time : 701.0 sec. user=vaughan [2009-08-30 16:01:19] 705*2^711531-1 is not prime. Res64: 51783F2BCAC9DB9C Time : 691.0 sec. user=vaughan [2009-08-30 16:08:49] 741*2^711531-1 is not prime. Res64: 4666EDCEC6C473A2 Time : 701.0 sec. user=vaughan [2009-08-30 16:12:46] 769*2^711531-1 is not prime. Res64: 919944FE2E40A48E Time : 687.0 sec. user=vaughan [2009-08-30 16:20:31] 783*2^711531-1 is not prime. Res64: 0884EA3F0CCA5CEF Time : 702.0 sec. user=vaughan [2009-08-30 16:24:19] 789*2^711531-1 is not prime. Res64: B6F8B0EC8BCAA488 Time : 694.0 sec. user=vaughan [2009-08-30 16:32:38] 795*2^711531-1 is not prime. Res64: CCB895540F829D9B Time : 727.0 sec. user=vaughan [2009-08-30 16:36:28] 657*2^711532-1 is not prime. Res64: E3EEF87C1736EB3C Time : 729.0 sec. user=vaughan [2009-08-30 16:44:50] 717*2^711532-1 is not prime. Res64: E63F970015FE4BF3 Time : 732.0 sec. user=vaughan [2009-08-30 16:48:32] 723*2^711532-1 is not prime. Res64: B41A63879B5966F3 Time : 724.0 sec. user=vaughan [2009-08-30 16:57:24] 735*2^711532-1 is not prime. Res64: 54F0AD4D3575149C Time : 754.0 sec. user=vaughan [2009-08-30 17:00:41] 607*2^711533-1 is not prime. Res64: 460EF7774AA6477C Time : 729.0 sec. user=vaughan [2009-08-30 17:10:04] 615*2^711533-1 is not prime. Res64: A415517C18DACBE0 Time : 760.0 sec. user=vaughan [2009-08-30 17:12:52] 649*2^711533-1 is not prime. Res64: 9FDBA7C24A243835 Time : 732.0 sec. user=vaughan [2009-08-30 17:22:24] 657*2^711533-1 is not prime. Res64: 9B6D1DDBC9E2973A Time : 740.0 sec. user=vaughan [2009-08-30 17:24:59] 685*2^711533-1 is not prime. Res64: B83376B65D19D9D0 Time : 727.0 sec. user=vaughan [2009-08-30 17:34:29] 727*2^711533-1 is not prime. Res64: CE32E86DE469B2D9 Time : 726.0 sec. user=vaughan [2009-08-30 17:37:06] 729*2^711533-1 is not prime. Res64: 4C6C6BAFF7DCD9D4 Time : 727.0 sec. user=vaughan [2009-08-30 17:46:34] 781*2^711533-1 is not prime. Res64: 63A409664FE5D4BA Time : 726.0 sec. user=vaughan [2009-08-30 17:49:03] 795*2^711533-1 is not prime. Res64: C46A3C9D89AC39DB Time : 718.0 sec. user=vaughan [2009-08-30 17:58:33] 605*2^711534-1 is not prime. Res64: 796721C122C8EE9C Time : 720.0 sec. user=vaughan [2009-08-30 18:00:50] 641*2^711534-1 is not prime. Res64: 4245FD7005797B6A Time : 707.0 sec. user=vaughan [2009-08-30 18:10:30] 715*2^711535-1 is not prime. Res64: 258502757E684199 Time : 717.0 sec. user=vaughan [2009-08-30 18:12:36] 771*2^711535-1 is not prime. Res64: 674C6046C2253DBB Time : 706.0 sec. user=vaughan [2009-08-30 18:22:38] 623*2^711536-1 is not prime. Res64: E544364B50BCA322 Time : 729.0 sec. user=vaughan [2009-08-30 18:24:36] 615*2^711537-1 is not prime. Res64: 975D73AC67DBD959 Time : 720.0 sec. user=vaughan [2009-08-30 18:34:52] 709*2^711537-1 is not prime. Res64: 6A25F3E5F5C45CFF Time : 734.0 sec. user=vaughan [2009-08-30 18:36:38] 727*2^711537-1 is not prime. Res64: BF67E59F63653D2E Time : 722.0 sec. user=vaughan [2009-08-30 18:47:20] 747*2^711537-1 is not prime. Res64: F32438B67811A28F Time : 748.0 sec. user=vaughan [2009-08-30 18:48:40] 751*2^711537-1 is not prime. Res64: B8866F9FFB38C835 Time : 722.0 sec. user=vaughan [2009-08-30 18:59:55] 605*2^711538-1 is not prime. Res64: 87AFC50604442750 Time : 755.0 sec. user=vaughan [2009-08-30 19:00:43] 621*2^711538-1 is not prime. Res64: 462E1BD82FBFDC68 Time : 724.0 sec. user=vaughan [2009-08-30 19:11:28] 657*2^711538-1 is not prime. Res64: 3A819B4C2F1EC443 Time : 693.0 sec. user=vaughan [2009-08-30 19:12:17] 743*2^711538-1 is not prime. Res64: 4BE425F2C6C61DC5 Time : 694.0 sec. user=vaughan [2009-08-30 19:23:01] 773*2^711538-1 is not prime. Res64: 62A0F87C34497C91 Time : 693.0 sec. user=vaughan [2009-08-30 19:23:54] 777*2^711538-1 is not prime. Res64: 478E76A867F230B9 Time : 697.0 sec. user=vaughan [2009-08-30 19:34:34] 621*2^711539-1 is not prime. Res64: D0E9F16B2BFBF391 Time : 693.0 sec. user=vaughan [2009-08-30 19:35:21] 735*2^711539-1 is not prime. Res64: 37D3987068870335 Time : 687.0 sec. user=vaughan [2009-08-30 19:45:55] 741*2^711539-1 is not prime. Res64: 8C2E1A600D3527E6 Time : 683.0 sec. user=vaughan [2009-08-30 19:46:43] 627*2^711540-1 is not prime. Res64: 4A6A6F674F4AA560 Time : 682.0 sec. user=vaughan [2009-08-30 19:57:21] 653*2^711540-1 is not prime. Res64: DA5BBDC3ABC30A4B Time : 686.0 sec. user=vaughan [2009-08-30 19:58:11] 699*2^711540-1 is not prime. Res64: 7CB8BBC23F4F7329 Time : 688.0 sec. user=vaughan [2009-08-30 20:08:49] 735*2^711540-1 is not prime. Res64: 82527A3988D4CFC0 Time : 688.0 sec. user=vaughan [2009-08-30 20:09:36] 681*2^711541-1 is not prime. Res64: AAE2FCCBC917F56C Time : 686.0 sec. user=vaughan [2009-08-30 20:20:11] 771*2^711541-1 is not prime. Res64: D6725BE74A89558B Time : 682.0 sec. user=vaughan [2009-08-30 20:20:57] 617*2^711542-1 is not prime. Res64: 99529BDEA2FD3FA1 Time : 681.0 sec. user=vaughan [2009-08-30 20:31:37] 671*2^711542-1 is not prime. Res64: F5B9D0A9738785A9 Time : 686.0 sec. user=vaughan [2009-08-30 20:32:22] 713*2^711542-1 is not prime. Res64: 9AA718A1A8337278 Time : 685.0 sec. user=vaughan [2009-08-30 20:43:01] 621*2^711543-1 is not prime. Res64: 81C9EAA7523FC6DF Time : 685.0 sec. user=vaughan [2009-08-30 20:43:45] 739*2^711543-1 is not prime. Res64: 80E5769961C516ED Time : 683.0 sec. user=vaughan [2009-08-30 20:54:22] 765*2^711543-1 is not prime. Res64: E895375C0221E63C Time : 681.0 sec. user=vaughan [2009-08-30 20:55:07] 789*2^711543-1 is not prime. Res64: 8EB39A8A2BC7ADD6 Time : 682.0 sec. user=vaughan [2009-08-30 21:05:42] 609*2^711544-1 is not prime. Res64: 31C29E226C22F43D Time : 680.0 sec. user=vaughan [2009-08-30 21:06:27] 675*2^711544-1 is not prime. Res64: 324864B3F1A913A6 Time : 680.0 sec. user=vaughan [2009-08-30 21:17:20] 765*2^711544-1 is not prime. Res64: 686FB459967CD99C Time : 699.0 sec. user=vaughan [2009-08-30 21:17:56] 607*2^711545-1 is not prime. Res64: 86A2475DF244E568 Time : 690.0 sec. user=vaughan [2009-08-30 21:29:04] 699*2^711545-1 is not prime. Res64: CC0F8EFB4CA3DCB4 Time : 704.0 sec. user=vaughan [2009-08-30 21:29:26] 653*2^711546-1 is not prime. Res64: 174D5F701123F4E4 Time : 690.0 sec. user=vaughan [2009-08-30 21:41:18] 755*2^711546-1 is not prime. Res64: C9D9BA66A7E57F3C Time : 734.0 sec. user=vaughan [2009-08-30 21:41:33] 777*2^711546-1 is not prime. Res64: 4C0883574CE91BF8 Time : 728.0 sec. user=vaughan [2009-08-30 21:53:27] 621*2^711547-1 is not prime. Res64: F5F7D7E63455F1F8 Time : 729.0 sec. user=vaughan [2009-08-30 21:53:41] 715*2^711547-1 is not prime. Res64: 723BD23D15C9964A Time : 728.0 sec. user=vaughan [2009-08-30 22:05:37] 735*2^711547-1 is not prime. Res64: 91BF9EBA2D1E7AE5 Time : 730.0 sec. user=vaughan [2009-08-30 22:05:53] 665*2^711548-1 is not prime. Res64: 5B5556D25796B9F7 Time : 732.0 sec. user=vaughan [2009-08-30 22:17:47] 749*2^711548-1 is not prime. Res64: 8CDC7D45ED9C6E5E Time : 730.0 sec. user=vaughan [2009-08-30 22:18:15] 655*2^711549-1 is not prime. Res64: C3B9E212E4E2DB5D Time : 742.0 sec. user=vaughan [2009-08-30 22:29:59] 735*2^711549-1 is not prime. Res64: C167B7D027D307C9 Time : 733.0 sec. user=vaughan [2009-08-30 22:30:31] 681*2^711550-1 is not prime. Res64: D1AB36CD3637F321 Time : 737.0 sec. user=vaughan [2009-08-30 22:42:18] 755*2^711550-1 is not prime. Res64: 0C73F2A55F93F742 Time : 740.0 sec. user=vaughan [2009-08-30 22:42:48] 761*2^711550-1 is not prime. Res64: 9A16804431ACD7ED Time : 737.0 sec. user=vaughan [2009-08-30 22:54:36] 693*2^711551-1 is not prime. Res64: 51B55F750D9DB4F0 Time : 738.0 sec. user=vaughan [2009-08-30 22:55:04] 759*2^711551-1 is not prime. Res64: 9A5F538CD12A8365 Time : 736.0 sec. user=vaughan [2009-08-30 23:06:45] 775*2^711551-1 is not prime. Res64: 0C4754C7690BF005 Time : 729.0 sec. user=vaughan [2009-08-30 23:07:09] 609*2^711552-1 is not prime. Res64: 39A44AD33A4BB183 Time : 725.0 sec. user=vaughan [2009-08-30 23:18:30] 633*2^711552-1 is not prime. Res64: C637CF3E039F83CE Time : 706.0 sec. user=vaughan [2009-08-30 23:18:37] 675*2^711552-1 is not prime. Res64: E3A858585E701D8A Time : 689.0 sec. user=vaughan [2009-08-30 23:30:06] 607*2^711553-1 is not prime. Res64: 94202CE138585A2E Time : 689.0 sec. user=vaughan [2009-08-30 23:30:15] 753*2^711552-1 is not prime. Res64: 96274D0F8183D8A9 Time : 706.0 sec. user=vaughan [2009-08-30 23:41:41] 609*2^711553-1 is not prime. Res64: EBEB53D69D94422B Time : 696.0 sec. user=vaughan [2009-08-30 23:41:59] 727*2^711553-1 is not prime. Res64: 538EDE668FE6D849 Time : 704.0 sec. user=vaughan [2009-08-30 23:53:26] 741*2^711553-1 is not prime. Res64: EAB0D114ADB1C4BF Time : 706.0 sec. user=vaughan [2009-08-30 23:53:42] 751*2^711553-1 is not prime. Res64: 4213DAF5512A4A87 Time : 703.0 sec.