user=vaughan [2010-10-21 00:04:51] 619*2^764737-1 is not prime. Res64: C3D23974CEC2E4CD Time : 744.0 sec. user=vaughan [2010-10-21 00:13:14] 685*2^764737-1 is not prime. Res64: 8EFE10ABB018A9B2 Time : 876.0 sec. user=vaughan [2010-10-21 00:13:31] 747*2^764737-1 is not prime. Res64: 3B45B0723EF9BC0E Time : 880.0 sec. user=vaughan [2010-10-21 00:17:13] 603*2^764738-1 is not prime. Res64: F40576F102C47201 Time : 743.0 sec. user=vaughan [2010-10-21 00:25:33] 605*2^764738-1 is not prime. Res64: 8DBE173A4F4ACAF6 Time : 739.0 sec. user=vaughan [2010-10-21 00:28:11] 677*2^764738-1 is not prime. Res64: 95F276F698C10CEF Time : 880.0 sec. user=vaughan [2010-10-21 00:31:55] 755*2^764738-1 is not prime. Res64: 3A8DCC4F61262AFA Time : 882.0 sec. user=vaughan [2010-10-21 00:37:52] 639*2^764739-1 is not prime. Res64: 4F500101065573F8 Time : 739.0 sec. user=vaughan [2010-10-21 00:40:32] 669*2^764739-1 is not prime. Res64: 54E7EE9032F240A5 Time : 741.0 sec. user=vaughan [2010-10-21 00:46:36] 703*2^764739-1 is not prime. Res64: 494D700033C7C7FF Time : 881.0 sec. user=vaughan [2010-10-21 00:52:28] 795*2^764739-1 is not prime. Res64: 3E6466D5C9365086 Time : 876.0 sec. user=vaughan [2010-10-21 00:52:52] 623*2^764740-1 is not prime. Res64: BC718358B580C1CD Time : 741.0 sec. user=vaughan [2010-10-21 01:01:16] 777*2^764740-1 is not prime. Res64: 34D7EB3D5B304D28 Time : 881.0 sec. user=vaughan [2010-10-21 01:04:48] 615*2^764741-1 is not prime. Res64: 1A18CDCAF870A066 Time : 740.0 sec. user=vaughan [2010-10-21 01:05:13] 651*2^764741-1 is not prime. Res64: 29F7AD4845954158 Time : 741.0 sec. user=vaughan [2010-10-21 01:15:57] 691*2^764741-1 is not prime. Res64: 9AE7D9B791B437C3 Time : 881.0 sec. user=vaughan [2010-10-21 01:17:06] 627*2^764742-1 is not prime. Res64: 2CE4AE582FA998F9 Time : 738.0 sec. user=vaughan [2010-10-21 01:17:32] 665*2^764742-1 is not prime. Res64: CA55B5D088DF30E1 Time : 739.0 sec. user=vaughan [2010-10-21 01:29:53] 615*2^764743-1 is not prime. Res64: ECB7D18B097FF5D5 Time : 741.0 sec. user=vaughan [2010-10-21 01:30:37] 683*2^764742-1 is not prime. Res64: DA32AC092D415055 Time : 880.0 sec. user=vaughan [2010-10-21 01:31:42] 695*2^764742-1 is not prime. Res64: 68E6B990F5C4BF0C Time : 877.0 sec. user=vaughan [2010-10-21 01:44:32] 693*2^764743-1 is not prime. Res64: D2E44C0E82EC3C44 Time : 879.0 sec. user=vaughan [2010-10-21 01:45:18] 765*2^764743-1 is not prime. Res64: 59CA8DC9F9D77BB1 Time : 881.0 sec. user=vaughan [2010-10-21 01:46:18] 783*2^764743-1 is not prime. Res64: CCED1A01E2BB16AC Time : 876.0 sec. user=vaughan [2010-10-21 01:57:40] 617*2^764744-1 is not prime. Res64: 3BD5ED301F1CFDC9 Time : 742.0 sec. user=vaughan [2010-10-21 01:59:09] 793*2^764743-1 is not prime. Res64: 38C07ECCC16A743E Time : 877.0 sec. user=vaughan [2010-10-21 02:00:55] 725*2^764744-1 is not prime. Res64: 128EF8D5EB16326A Time : 877.0 sec. user=vaughan [2010-10-21 02:11:29] 607*2^764745-1 is not prime. Res64: 1870E33C426F3AC4 Time : 740.0 sec. user=vaughan [2010-10-21 02:12:20] 747*2^764744-1 is not prime. Res64: 0DEE51B80F9C0AAA Time : 881.0 sec. user=vaughan [2010-10-21 02:13:14] 625*2^764745-1 is not prime. Res64: 10BD68A4DEA467D0 Time : 739.0 sec. user=vaughan [2010-10-21 02:26:07] 679*2^764745-1 is not prime. Res64: 049A357372E2C042 Time : 878.0 sec. user=vaughan [2010-10-21 02:27:01] 765*2^764745-1 is not prime. Res64: 2F9A1FCC30273C7D Time : 881.0 sec. user=vaughan [2010-10-21 02:27:50] 789*2^764745-1 is not prime. Res64: 435149C8757ECB48 Time : 877.0 sec. user=vaughan [2010-10-21 02:39:26] 615*2^764747-1 is not prime. Res64: 5EA55E34823842B7 Time : 745.0 sec. user=vaughan [2010-10-21 02:40:12] 655*2^764747-1 is not prime. Res64: 58F6CF2461A4BDB7 Time : 742.0 sec. user=vaughan [2010-10-21 02:40:48] 741*2^764746-1 is not prime. Res64: 8E4BB7E482836174 Time : 881.0 sec. user=vaughan [2010-10-21 02:54:05] 715*2^764747-1 is not prime. Res64: 91BB52BE26BC3DAE Time : 880.0 sec. user=vaughan [2010-10-21 02:54:47] 741*2^764747-1 is not prime. Res64: 280A8816E18420D6 Time : 876.0 sec. user=vaughan [2010-10-21 02:55:25] 707*2^764748-1 is not prime. Res64: 0E07D655D0BE4BDC Time : 877.0 sec. user=vaughan [2010-10-21 03:08:51] 765*2^764748-1 is not prime. Res64: EF90DEAC2B931E65 Time : 886.0 sec. user=vaughan [2010-10-21 03:09:30] 767*2^764748-1 is not prime. Res64: 1AE7132B9BAD7FC9 Time : 883.0 sec. user=vaughan [2010-10-21 03:10:09] 783*2^764748-1 is not prime. Res64: 4B57A2386F640CEF Time : 884.0 sec. user=vaughan [2010-10-21 03:56:16] 799*2^764749-1 is not prime. Res64: 29E584977C8B276F Time : 2845.0 sec. user=vaughan [2010-10-21 03:57:13] 615*2^764750-1 is not prime. Res64: 43FAFBD6636B60DA Time : 2864.0 sec. user=vaughan [2010-10-21 03:57:18] 773*2^764750-1 is not prime. Res64: AE92437BB576B657 Time : 2829.0 sec. user=vaughan [2010-10-21 04:09:41] 615*2^764751-1 is not prime. Res64: A593591CE48C02B5 Time : 743.0 sec. user=vaughan [2010-10-21 04:11:54] 795*2^764750-1 is not prime. Res64: BB07546985F8C809 Time : 881.0 sec. user=vaughan [2010-10-21 04:12:02] 709*2^764751-1 is not prime. Res64: B8E56E5BECDE0406 Time : 884.0 sec. user=vaughan [2010-10-21 04:27:10] 629*2^764752-1 is not prime. Res64: 589DD79F11895A30 Time : 908.0 sec. user=vaughan [2010-10-21 04:28:12] 605*2^764752-1 is not prime. Res64: 4BD0355E4E55C6B5 Time : 978.0 sec. user=vaughan [2010-10-21 04:28:14] 795*2^764751-1 is not prime. Res64: 04DDA66DD229BF2F Time : 1113.0 sec. user=vaughan [2010-10-21 04:40:35] 653*2^764752-1 is not prime. Res64: 275E93866AEEB8D4 Time : 743.0 sec. user=vaughan [2010-10-21 04:42:56] 735*2^764752-1 is not prime. Res64: F357EA50FC38A4CF Time : 884.0 sec. user=vaughan [2010-10-21 04:42:56] 743*2^764752-1 is not prime. Res64: BF8ED717790AB1AD Time : 883.0 sec. user=vaughan [2010-10-21 04:55:14] 705*2^764753-1 is not prime. Res64: 92BFC36C0D6DB0C7 Time : 879.0 sec. user=vaughan [2010-10-21 04:57:37] 747*2^764753-1 is not prime. Res64: 7DDAE6E4B96B38CB Time : 881.0 sec. user=vaughan [2010-10-21 04:57:37] 775*2^764753-1 is not prime. Res64: 2044A4D88F21A83E Time : 881.0 sec. user=vaughan [2010-10-21 05:09:54] 711*2^764754-1 is not prime. Res64: 799C2A88130A3494 Time : 880.0 sec. user=vaughan [2010-10-21 05:10:01] 603*2^764755-1 is not prime. Res64: 069D97F0C3D9D183 Time : 744.0 sec. user=vaughan [2010-10-21 05:12:18] 783*2^764754-1 is not prime. Res64: 314E3F496E9D1207 Time : 882.0 sec. user=vaughan [2010-10-21 05:22:15] 645*2^764755-1 is not prime. Res64: FEE2088678585CB3 Time : 742.0 sec. user=vaughan [2010-10-21 05:22:23] 651*2^764755-1 is not prime. Res64: DD8A5876B91B9454 Time : 742.0 sec. user=vaughan [2010-10-21 05:27:02] 679*2^764755-1 is not prime. Res64: 6D6BDA01110A6E42 Time : 884.0 sec. user=vaughan [2010-10-21 05:36:54] 705*2^764755-1 is not prime. Res64: 16F04F4350366499 Time : 880.0 sec. user=vaughan [2010-10-21 05:37:05] 709*2^764755-1 is not prime. Res64: 38A8047155BE41FB Time : 882.0 sec. user=vaughan [2010-10-21 05:39:26] 603*2^764756-1 is not prime. Res64: 13DEE9FE54DE72F3 Time : 744.0 sec. user=vaughan [2010-10-21 05:49:15] 623*2^764756-1 is not prime. Res64: 69A5DC1143D0ED13 Time : 741.0 sec. user=vaughan [2010-10-21 05:51:47] 675*2^764756-1 is not prime. Res64: 37838CEBE0EC8146 Time : 882.0 sec. user=vaughan [2010-10-21 05:54:06] 681*2^764757-1 is not prime. Res64: A1BCFA9626D16B68 Time : 881.0 sec. user=vaughan [2010-10-21 06:03:54] 691*2^764757-1 is not prime. Res64: B69E8ECF3A046A4E Time : 879.0 sec. user=vaughan [2010-10-21 06:04:09] 611*2^764758-1 is not prime. Res64: 97DFF6094525429A Time : 743.0 sec. user=vaughan [2010-10-21 06:08:49] 705*2^764758-1 is not prime. Res64: F53D9862C90E6583 Time : 883.0 sec. user=vaughan [2010-10-21 06:16:17] 601*2^764759-1 is not prime. Res64: 65DADFD5E651D36B Time : 743.0 sec. user=vaughan [2010-10-21 06:18:56] 735*2^764759-1 is not prime. Res64: D9592B0729254E8F Time : 887.0 sec. user=vaughan [2010-10-21 06:23:37] 759*2^764759-1 is not prime. Res64: 1C447E7D107C8C35 Time : 888.0 sec. user=vaughan [2010-10-21 06:31:04] 789*2^764759-1 is not prime. Res64: 64A225AC0668885C Time : 887.0 sec. user=vaughan [2010-10-21 06:33:52] 779*2^764760-1 is not prime. Res64: 3ADBCE1B6F705470 Time : 896.0 sec. user=vaughan [2010-10-21 06:36:02] 615*2^764761-1 is not prime. Res64: 0A2B1388E2E42761 Time : 745.0 sec. user=vaughan [2010-10-21 06:45:43] 681*2^764761-1 is not prime. Res64: DAC9E1083CEB3D40 Time : 880.0 sec. user=vaughan [2010-10-21 06:48:35] 705*2^764761-1 is not prime. Res64: 81CFCF9B7FA4BF2B Time : 883.0 sec. user=vaughan [2010-10-21 06:50:44] 717*2^764761-1 is not prime. Res64: 787AB0C94476AB36 Time : 882.0 sec. user=vaughan [2010-10-21 07:00:23] 775*2^764761-1 is not prime. Res64: E815624F4B89720C Time : 880.0 sec. user=vaughan [2010-10-21 07:03:10] 633*2^764762-1 is not prime. Res64: 700E19AC88A29C62 Time : 747.0 sec. user=vaughan [2010-10-21 07:03:17] 789*2^764761-1 is not prime. Res64: 646E15D681EA503C Time : 882.0 sec. user=vaughan [2010-10-21 07:12:47] 635*2^764762-1 is not prime. Res64: 6E9FCBC1B3130FB1 Time : 745.0 sec. user=vaughan [2010-10-21 07:15:37] 665*2^764762-1 is not prime. Res64: 23CE9D54E0EA3767 Time : 748.0 sec. user=vaughan [2010-10-21 07:18:04] 675*2^764762-1 is not prime. Res64: FFC0E2DE88C6C59E Time : 888.0 sec. user=vaughan [2010-10-21 07:27:29] 731*2^764762-1 is not prime. Res64: 13A88F73A40E2759 Time : 883.0 sec. user=vaughan [2010-10-21 07:30:22] 753*2^764762-1 is not prime. Res64: 5F3D885CB7337B23 Time : 886.0 sec. user=vaughan [2010-10-21 07:30:29] 639*2^764763-1 is not prime. Res64: 9D75691D69C2F174 Time : 745.0 sec. user=vaughan [2010-10-21 07:42:08] 699*2^764763-1 is not prime. Res64: 7A604B497F41409C Time : 879.0 sec. user=vaughan [2010-10-21 07:45:03] 723*2^764763-1 is not prime. Res64: B59EB8FC35C92892 Time : 882.0 sec. user=vaughan [2010-10-21 07:45:11] 781*2^764763-1 is not prime. Res64: 6F51F3107CBFD6DA Time : 882.0 sec. user=vaughan [2010-10-21 07:56:48] 675*2^764764-1 is not prime. Res64: F5E70A95302E6EA9 Time : 880.0 sec. user=vaughan [2010-10-21 07:59:45] 687*2^764764-1 is not prime. Res64: C322FBF1E2784073 Time : 882.0 sec. user=vaughan [2010-10-21 07:59:52] 749*2^764764-1 is not prime. Res64: 2A45BDCC829937B6 Time : 882.0 sec. user=vaughan [2010-10-21 08:09:23] 649*2^764765-1 is not prime. Res64: DC398F743892F492 Time : 755.0 sec. user=vaughan [2010-10-21 08:14:41] 675*2^764765-1 is not prime. Res64: 4B455C4F861C209D Time : 896.0 sec. user=vaughan [2010-10-21 08:14:49] 715*2^764765-1 is not prime. Res64: 4A06C05F3233234A Time : 897.0 sec. user=vaughan [2010-10-21 08:24:05] 729*2^764765-1 is not prime. Res64: 46D3251118059A3C Time : 882.0 sec. user=vaughan [2010-10-21 08:27:15] 611*2^764766-1 is not prime. Res64: 0C1800A645CBED43 Time : 746.0 sec. user=vaughan [2010-10-21 08:29:22] 787*2^764765-1 is not prime. Res64: 67EB10C81B57244C Time : 881.0 sec. user=vaughan [2010-10-21 08:38:48] 707*2^764766-1 is not prime. Res64: 0366BC1CB68834D5 Time : 884.0 sec. user=vaughan [2010-10-21 08:41:57] 713*2^764766-1 is not prime. Res64: 83F736885E07AB06 Time : 883.0 sec. user=vaughan [2010-10-21 08:44:04] 767*2^764766-1 is not prime. Res64: E48B394B1A26B5C5 Time : 883.0 sec. user=vaughan [2010-10-21 08:53:25] 673*2^764767-1 is not prime. Res64: F86894225DA38279 Time : 878.0 sec. user=vaughan [2010-10-21 08:56:26] 603*2^764768-1 is not prime. Res64: 1D5B3FD9E8A965D3 Time : 742.0 sec. user=vaughan [2010-10-21 08:56:38] 763*2^764767-1 is not prime. Res64: E5A481EFE4A39804 Time : 881.0 sec. user=vaughan [2010-10-21 09:05:46] 615*2^764768-1 is not prime. Res64: 0F69FCC9EAB4BF61 Time : 741.0 sec. user=vaughan [2010-10-21 09:09:01] 657*2^764769-1 is not prime. Res64: 3FF23F3BDC122F01 Time : 743.0 sec. user=vaughan [2010-10-21 09:11:07] 777*2^764768-1 is not prime. Res64: 819B2233453E350D Time : 881.0 sec. user=vaughan [2010-10-21 09:20:23] 679*2^764769-1 is not prime. Res64: 796404CBE8085841 Time : 878.0 sec. user=vaughan [2010-10-21 09:21:24] 645*2^764770-1 is not prime. Res64: 2F57C815A78685F7 Time : 743.0 sec. user=vaughan [2010-10-21 09:25:48] 681*2^764770-1 is not prime. Res64: CEEF2E900BD5EECE Time : 881.0 sec. user=vaughan [2010-10-21 09:35:01] 695*2^764770-1 is not prime. Res64: B1BB55676C8F55AC Time : 878.0 sec. user=vaughan [2010-10-21 09:36:04] 777*2^764770-1 is not prime. Res64: 474903CD57513E9E Time : 881.0 sec. user=vaughan [2010-10-21 09:38:10] 619*2^764771-1 is not prime. Res64: 7ED30CB3C9A1D469 Time : 743.0 sec. user=vaughan [2010-10-21 09:47:24] 651*2^764771-1 is not prime. Res64: 8905FE46B47194F7 Time : 744.0 sec. user=vaughan [2010-10-21 09:50:45] 685*2^764771-1 is not prime. Res64: 6008FCE6178577AF Time : 881.0 sec. user=vaughan [2010-10-21 09:52:50] 711*2^764771-1 is not prime. Res64: 25C708717DA7FC9D Time : 881.0 sec. user=vaughan [2010-10-21 10:02:05] 745*2^764771-1 is not prime. Res64: 43AA3F8D0C091956 Time : 882.0 sec. user=vaughan [2010-10-21 10:05:13] 649*2^764773-1 is not prime. Res64: 41B1DA9E8373C331 Time : 743.0 sec. user=vaughan [2010-10-21 10:05:27] 797*2^764772-1 is not prime. Res64: 9698373C4592F678 Time : 882.0 sec. user=vaughan [2010-10-21 10:16:43] 765*2^764773-1 is not prime. Res64: BDFACF97C3739427 Time : 878.0 sec. user=vaughan [2010-10-21 10:17:36] 645*2^764774-1 is not prime. Res64: 5036FB4DECCD57B8 Time : 743.0 sec. user=vaughan [2010-10-21 10:20:08] 675*2^764774-1 is not prime. Res64: F3621B092D55DC68 Time : 881.0 sec. user=vaughan [2010-10-21 10:31:21] 693*2^764774-1 is not prime. Res64: F603C285A179559C Time : 879.0 sec. user=vaughan [2010-10-21 10:32:17] 795*2^764774-1 is not prime. Res64: 1CE042FBE06EBFB4 Time : 881.0 sec. user=vaughan [2010-10-21 10:32:31] 619*2^764775-1 is not prime. Res64: 5210AE7E6FC57238 Time : 743.0 sec. user=vaughan [2010-10-21 10:43:40] 663*2^764775-1 is not prime. Res64: 4702D1FF6DC4F87B Time : 740.0 sec. user=vaughan [2010-10-21 10:46:58] 735*2^764775-1 is not prime. Res64: E6BC994F04F0BC42 Time : 881.0 sec. user=vaughan [2010-10-21 10:47:12] 675*2^764776-1 is not prime. Res64: 647BF6F5C14F2DD5 Time : 881.0 sec. user=vaughan [2010-10-21 10:58:21] 747*2^764776-1 is not prime. Res64: 90E87D0B8D5EBD57 Time : 881.0 sec. user=vaughan [2010-10-21 10:59:21] 645*2^764777-1 is not prime. Res64: 7E7FA471008B027B Time : 743.0 sec. user=vaughan [2010-10-21 10:59:35] 669*2^764777-1 is not prime. Res64: C3B928AA447C6FF9 Time : 744.0 sec. user=vaughan [2010-10-21 11:13:02] 697*2^764777-1 is not prime. Res64: 7519ECBC6C0C287D Time : 882.0 sec. user=vaughan [2010-10-21 11:14:05] 771*2^764777-1 is not prime. Res64: B99779ADE7A594D4 Time : 884.0 sec. user=vaughan [2010-10-21 11:14:19] 777*2^764777-1 is not prime. Res64: 9CC533FDFAC891E3 Time : 884.0 sec. user=vaughan [2010-10-21 11:25:23] 605*2^764778-1 is not prime. Res64: 500EB1F9B67794B1 Time : 741.0 sec. user=vaughan [2010-10-21 11:28:46] 711*2^764778-1 is not prime. Res64: 3F4BCC09FB96EEFA Time : 881.0 sec. user=vaughan [2010-10-21 11:29:01] 725*2^764778-1 is not prime. Res64: 1B93CCD6CEDC733B Time : 882.0 sec. user=vaughan [2010-10-21 11:37:44] 603*2^764779-1 is not prime. Res64: 8D9A0655CCFCD85A Time : 741.0 sec. user=vaughan [2010-10-21 11:41:10] 619*2^764779-1 is not prime. Res64: C19ADB21CA58725D Time : 744.0 sec. user=vaughan [2010-10-21 11:41:24] 631*2^764779-1 is not prime. Res64: D908C24642BC90D8 Time : 744.0 sec. user=vaughan [2010-10-21 11:50:04] 633*2^764779-1 is not prime. Res64: A558A6304FA83B1F Time : 741.0 sec. user=vaughan [2010-10-21 11:53:47] 603*2^764780-1 is not prime. Res64: 0BBE2AA73991CEBB Time : 743.0 sec. user=vaughan [2010-10-21 11:55:52] 775*2^764779-1 is not prime. Res64: F953A0960F73FB69 Time : 882.0 sec. user=vaughan [2010-10-21 12:02:25] 647*2^764780-1 is not prime. Res64: DEABD1034418C236 Time : 741.0 sec. user=vaughan [2010-10-21 12:08:15] 609*2^764781-1 is not prime. Res64: 4CBEA21029AC2E33 Time : 744.0 sec. user=vaughan [2010-10-21 12:08:29] 797*2^764780-1 is not prime. Res64: EE7A6F7E1299CD5B Time : 882.0 sec. user=vaughan [2010-10-21 12:17:04] 691*2^764781-1 is not prime. Res64: B334DF8D337B265C Time : 880.0 sec. user=vaughan [2010-10-21 12:20:52] 603*2^764782-1 is not prime. Res64: 9481F0D684C5B9D9 Time : 743.0 sec. user=vaughan [2010-10-21 12:22:55] 795*2^764781-1 is not prime. Res64: 922D3D54E063209F Time : 881.0 sec. user=vaughan [2010-10-21 12:29:25] 665*2^764782-1 is not prime. Res64: F5AA463453517D78 Time : 741.0 sec. user=vaughan [2010-10-21 12:35:32] 671*2^764782-1 is not prime. Res64: FEBF9584DA23E360 Time : 881.0 sec. user=vaughan [2010-10-21 12:37:36] 737*2^764782-1 is not prime. Res64: 70ED851930A8B1F9 Time : 881.0 sec. user=vaughan [2010-10-21 12:44:02] 743*2^764782-1 is not prime. Res64: 76ECB281F8536E27 Time : 877.0 sec. user=vaughan [2010-10-21 12:50:13] 729*2^764783-1 is not prime. Res64: 930395AEFF5B54FE Time : 881.0 sec. user=vaughan [2010-10-21 12:52:15] 775*2^764783-1 is not prime. Res64: 066959A4BFE9A5B7 Time : 880.0 sec. user=vaughan [2010-10-21 12:56:22] 629*2^764784-1 is not prime. Res64: 3DB33D50A2342B7B Time : 741.0 sec. user=vaughan [2010-10-21 13:04:53] 693*2^764784-1 is not prime. Res64: 0132D68918C3E39A Time : 881.0 sec. user=vaughan [2010-10-21 13:06:56] 707*2^764784-1 is not prime. Res64: 88D166FBEBAA8400 Time : 881.0 sec. user=vaughan [2010-10-21 13:11:00] 765*2^764784-1 is not prime. Res64: 14BAAEDFFA9B181E Time : 878.0 sec. user=vaughan [2010-10-21 13:17:16] 645*2^764785-1 is not prime. Res64: AAEE8A2CCB8F3D1F Time : 743.0 sec. user=vaughan [2010-10-21 13:21:37] 799*2^764785-1 is not prime. Res64: E9CE5410078FC76C Time : 882.0 sec. user=vaughan [2010-10-21 13:25:38] 683*2^764786-1 is not prime. Res64: B85829E7D259AED0 Time : 879.0 sec. user=vaughan [2010-10-21 13:31:57] 691*2^764787-1 is not prime. Res64: DF4191F1AC99AC59 Time : 881.0 sec. user=vaughan [2010-10-21 13:36:17] 765*2^764787-1 is not prime. Res64: EE6E0E8E6C483432 Time : 881.0 sec. user=vaughan [2010-10-21 13:40:16] 781*2^764787-1 is not prime. Res64: 9900775444C95A2F Time : 878.0 sec. user=vaughan [2010-10-21 13:44:19] 639*2^764788-1 is not prime. Res64: 8B98FDD4D49D9273 Time : 743.0 sec. user=vaughan [2010-10-21 13:50:58] 699*2^764788-1 is not prime. Res64: AAABB838BDEBB694 Time : 881.0 sec. user=vaughan [2010-10-21 13:54:55] 685*2^764789-1 is not prime. Res64: 060AB5461847412B Time : 879.0 sec. user=vaughan [2010-10-21 13:59:00] 697*2^764789-1 is not prime. Res64: B655A0F257644BEB Time : 881.0 sec. user=vaughan [2010-10-21 14:05:38] 711*2^764789-1 is not prime. Res64: 9956E0AF9C18FFC2 Time : 880.0 sec. user=vaughan [2010-10-21 14:09:32] 721*2^764789-1 is not prime. Res64: 3C5825825555BF54 Time : 877.0 sec. user=vaughan [2010-10-21 14:13:40] 741*2^764789-1 is not prime. Res64: 5DE05698AC0929DA Time : 881.0 sec. user=vaughan [2010-10-21 14:20:18] 703*2^764791-1 is not prime. Res64: CF307C0986214C33 Time : 881.0 sec. user=vaughan [2010-10-21 14:21:53] 605*2^764792-1 is not prime. Res64: 65BD3A2916E06834 Time : 741.0 sec. user=vaughan [2010-10-21 14:28:21] 687*2^764792-1 is not prime. Res64: C458A53A2CB33E8D Time : 881.0 sec. user=vaughan [2010-10-21 14:34:58] 759*2^764792-1 is not prime. Res64: 025B6197E0A0CDC6 Time : 881.0 sec. user=vaughan [2010-10-21 14:36:33] 679*2^764793-1 is not prime. Res64: DEF2615E6355258B Time : 880.0 sec. user=vaughan [2010-10-21 14:43:01] 727*2^764793-1 is not prime. Res64: 653FFE6628CA02E3 Time : 880.0 sec. user=vaughan [2010-10-21 14:48:54] 605*2^764794-1 is not prime. Res64: 047769EAADB52F31 Time : 742.0 sec. user=vaughan [2010-10-21 14:49:39] 765*2^764793-1 is not prime. Res64: 854F948677AE4A6D Time : 881.0 sec. user=vaughan [2010-10-21 14:55:24] 623*2^764794-1 is not prime. Res64: 40CE6A6D3DEFADF0 Time : 743.0 sec. user=vaughan [2010-10-21 15:03:33] 695*2^764794-1 is not prime. Res64: 6B3418766FFDF35A Time : 880.0 sec. user=vaughan [2010-10-21 15:04:19] 685*2^764795-1 is not prime. Res64: A3779B726C9A1A8C Time : 880.0 sec. user=vaughan [2010-10-21 15:10:05] 699*2^764795-1 is not prime. Res64: 2ECDC39CF998BD45 Time : 881.0 sec. user=vaughan [2010-10-21 15:15:57] 635*2^764796-1 is not prime. Res64: 75CFCD4A62A159B7 Time : 745.0 sec. user=vaughan [2010-10-21 15:16:44] 647*2^764796-1 is not prime. Res64: 5A60720D6D2B57A6 Time : 745.0 sec. user=vaughan [2010-10-21 15:24:49] 689*2^764796-1 is not prime. Res64: 4B4FCACFC4627A3B Time : 884.0 sec. user=vaughan [2010-10-21 15:30:33] 693*2^764796-1 is not prime. Res64: D303348C83915F1F Time : 877.0 sec. user=vaughan [2010-10-21 15:31:24] 749*2^764796-1 is not prime. Res64: F13FE83BCAED3AEF Time : 880.0 sec. user=vaughan [2010-10-21 15:39:29] 759*2^764796-1 is not prime. Res64: DEAA7D1C31CB591A Time : 880.0 sec. user=vaughan [2010-10-21 15:42:52] 651*2^764797-1 is not prime. Res64: E019F3225E78BF79 Time : 739.0 sec. user=vaughan [2010-10-21 15:46:05] 675*2^764797-1 is not prime. Res64: 288201EF872DD7EC Time : 881.0 sec. user=vaughan [2010-10-21 15:54:09] 751*2^764797-1 is not prime. Res64: C129401D5A44D326 Time : 881.0 sec. user=vaughan [2010-10-21 15:57:27] 799*2^764797-1 is not prime. Res64: 19FED9E3BBFB7CD2 Time : 876.0 sec. user=vaughan [2010-10-21 15:58:27] 603*2^764798-1 is not prime. Res64: A8EC2251A763D02C Time : 743.0 sec. user=vaughan [2010-10-21 16:06:32] 663*2^764798-1 is not prime. Res64: EFD5BF90B95FD1A4 Time : 743.0 sec. user=vaughan [2010-10-21 16:10:50] 609*2^764799-1 is not prime. Res64: CCFDF12C3E85448C Time : 743.0 sec. user=vaughan [2010-10-21 16:12:05] 677*2^764798-1 is not prime. Res64: ECB722DE71E41EEF Time : 878.0 sec. user=vaughan [2010-10-21 16:18:55] 613*2^764799-1 is not prime. Res64: 4606840A0EF24D25 Time : 743.0 sec. user=vaughan [2010-10-21 16:23:13] 649*2^764799-1 is not prime. Res64: E8F3CAB1C33BA11D Time : 743.0 sec. user=vaughan [2010-10-21 16:26:41] 679*2^764799-1 is not prime. Res64: C084DB3FBE405FF7 Time : 877.0 sec. user=vaughan [2010-10-21 16:33:35] 685*2^764799-1 is not prime. Res64: 51B9F983169A7530 Time : 881.0 sec. user=vaughan [2010-10-21 16:37:53] 703*2^764799-1 is not prime. Res64: 69BBC7B98F72105A Time : 880.0 sec. user=vaughan [2010-10-21 16:41:18] 721*2^764799-1 is not prime. Res64: 7C9999F764B338D5 Time : 877.0 sec. user=vaughan [2010-10-21 16:48:15] 793*2^764799-1 is not prime. Res64: CE7EF984EDD6A949 Time : 880.0 sec. user=vaughan [2010-10-21 16:50:16] 645*2^764800-1 is not prime. Res64: 939F3B3499E52B9A Time : 743.0 sec. user=vaughan [2010-10-21 16:53:37] 663*2^764800-1 is not prime. Res64: 250B1182BCFC2A49 Time : 739.0 sec. user=vaughan [2010-10-21 17:00:36] 665*2^764800-1 is not prime. Res64: D3D286F0FC0DD5E2 Time : 742.0 sec. user=vaughan [2010-10-21 17:04:57] 747*2^764800-1 is not prime. Res64: A2F72602A38A045D Time : 882.0 sec. user=vaughan [2010-10-21 17:05:55] 615*2^764801-1 is not prime. Res64: 3142A98D025D1B3B Time : 739.0 sec. user=vaughan [2010-10-21 17:12:58] 649*2^764801-1 is not prime. Res64: F7413E32BDCDA0C6 Time : 742.0 sec. user=vaughan [2010-10-21 17:19:37] 675*2^764801-1 is not prime. Res64: BCF21041A866B546 Time : 881.0 sec. user=vaughan [2010-10-21 17:20:32] 679*2^764801-1 is not prime. Res64: C9ABC47066DB9D91 Time : 877.0 sec. user=vaughan [2010-10-21 17:27:38] 691*2^764801-1 is not prime. Res64: 078B07123B042601 Time : 880.0 sec. user=vaughan [2010-10-21 17:34:17] 697*2^764801-1 is not prime. Res64: 335698A4DA8C218F Time : 880.0 sec. user=vaughan [2010-10-21 17:35:08] 741*2^764801-1 is not prime. Res64: D31646F97B87B9EF Time : 876.0 sec. user=vaughan [2010-10-21 17:42:18] 769*2^764801-1 is not prime. Res64: CCAC8D1EBBB60B73 Time : 880.0 sec. user=vaughan [2010-10-21 17:46:40] 635*2^764802-1 is not prime. Res64: 75C6E81B27EBF67D Time : 743.0 sec. user=vaughan [2010-10-21 17:49:46] 671*2^764802-1 is not prime. Res64: A7AD0C20BC7E835C Time : 878.0 sec. user=vaughan [2010-10-21 17:56:59] 735*2^764802-1 is not prime. Res64: 8F94F31354907E38 Time : 881.0 sec. user=vaughan [2010-10-21 17:59:02] 615*2^764803-1 is not prime. Res64: 625A3D3441248F11 Time : 742.0 sec. user=vaughan [2010-10-21 18:02:05] 625*2^764803-1 is not prime. Res64: A44C7DDB308E34DC Time : 740.0 sec. user=vaughan [2010-10-21 18:11:25] 629*2^764804-1 is not prime. Res64: 3DD6CEE411FBFA48 Time : 743.0 sec. user=vaughan [2010-10-21 18:11:39] 681*2^764803-1 is not prime. Res64: 2A0D95CE3ED7D1D0 Time : 881.0 sec. user=vaughan [2010-10-21 18:16:42] 687*2^764804-1 is not prime. Res64: 07091236FC24954A Time : 878.0 sec. user=vaughan [2010-10-21 18:24:04] 657*2^764805-1 is not prime. Res64: FA535833E4F2E65C Time : 745.0 sec. user=vaughan [2010-10-21 18:26:07] 707*2^764804-1 is not prime. Res64: 9B40ED98C47005DC Time : 883.0 sec. user=vaughan [2010-10-21 18:31:22] 699*2^764805-1 is not prime. Res64: EFE87693B569C45A Time : 880.0 sec. user=vaughan [2010-10-21 18:38:44] 727*2^764805-1 is not prime. Res64: CB693BC46D757ACB Time : 880.0 sec. user=vaughan [2010-10-21 18:40:47] 751*2^764805-1 is not prime. Res64: 970D3A313398D73D Time : 880.0 sec. user=vaughan [2010-10-21 18:43:40] 661*2^764807-1 is not prime. Res64: 543EE49C8E0BD228 Time : 738.0 sec. user=vaughan [2010-10-21 18:51:06] 605*2^764808-1 is not prime. Res64: 25EFB85B1AE4D785 Time : 742.0 sec. user=vaughan [2010-10-21 18:53:09] 639*2^764808-1 is not prime. Res64: 970DC19357D412F5 Time : 743.0 sec. user=vaughan [2010-10-21 18:56:00] 663*2^764808-1 is not prime. Res64: 8C5F208B076F15F7 Time : 740.0 sec. user=vaughan [2010-10-21 19:05:47] 735*2^764808-1 is not prime. Res64: C75F3FD9FDFB78DB Time : 881.0 sec. user=vaughan [2010-10-21 19:07:50] 789*2^764808-1 is not prime. Res64: CE5688EB1D8E6971 Time : 881.0 sec. user=vaughan [2010-10-21 19:08:21] 615*2^764809-1 is not prime. Res64: A825BA02547DADFD Time : 741.0 sec. user=vaughan [2010-10-21 19:18:12] 649*2^764809-1 is not prime. Res64: EF53414976660BB3 Time : 745.0 sec. user=vaughan [2010-10-21 19:22:34] 675*2^764809-1 is not prime. Res64: C22E301516D95266 Time : 884.0 sec. user=vaughan [2010-10-21 19:23:01] 687*2^764809-1 is not prime. Res64: 0908CAF35F79E851 Time : 881.0 sec. user=vaughan [2010-10-21 19:32:54] 751*2^764809-1 is not prime. Res64: 655C160EA6141CD1 Time : 882.0 sec. user=vaughan [2010-10-21 19:35:24] 635*2^764810-1 is not prime. Res64: 9B6B5BDDFADC55A6 Time : 743.0 sec. user=vaughan [2010-10-21 19:37:16] 759*2^764809-1 is not prime. Res64: 367F666480F3E560 Time : 883.0 sec. user=vaughan [2010-10-21 19:45:17] 641*2^764810-1 is not prime. Res64: 02DC0856D134CB7A Time : 744.0 sec. user=vaughan [2010-10-21 19:50:03] 713*2^764810-1 is not prime. Res64: 7FEA8B70EA36F4EC Time : 879.0 sec. user=vaughan [2010-10-21 19:51:57] 735*2^764810-1 is not prime. Res64: 78466F92B0809D8A Time : 881.0 sec. user=vaughan [2010-10-21 19:59:58] 767*2^764810-1 is not prime. Res64: 71B2A73CD8A92D1B Time : 881.0 sec. user=vaughan [2010-10-21 20:04:41] 797*2^764810-1 is not prime. Res64: F054DDFEC1923341 Time : 879.0 sec. user=vaughan [2010-10-21 20:06:39] 685*2^764811-1 is not prime. Res64: C6E9334489B8B4B0 Time : 883.0 sec. user=vaughan [2010-10-21 20:14:39] 753*2^764811-1 is not prime. Res64: 8C3388E8CC8AE032 Time : 882.0 sec. user=vaughan [2010-10-21 20:19:21] 775*2^764811-1 is not prime. Res64: 8B25D8FFDF30C3C0 Time : 880.0 sec. user=vaughan [2010-10-21 20:21:20] 795*2^764811-1 is not prime. Res64: A8FEB717DA7045C3 Time : 882.0 sec. user=vaughan [2010-10-21 20:27:03] 603*2^764812-1 is not prime. Res64: 4F5C3CD40B958793 Time : 744.0 sec. user=vaughan [2010-10-21 20:31:42] 615*2^764812-1 is not prime. Res64: 8604466845B40334 Time : 741.0 sec. user=vaughan [2010-10-21 20:36:02] 689*2^764812-1 is not prime. Res64: 4E1FC26AA3DC9C67 Time : 882.0 sec. user=vaughan [2010-10-21 20:41:44] 717*2^764812-1 is not prime. Res64: 66A6A6FE217760B9 Time : 881.0 sec. user=vaughan [2010-10-21 20:46:20] 723*2^764812-1 is not prime. Res64: B21E0AB7DD6E301E Time : 879.0 sec. user=vaughan [2010-10-21 20:48:26] 669*2^764813-1 is not prime. Res64: 797DD87802FB7837 Time : 744.0 sec. user=vaughan [2010-10-21 20:56:25] 747*2^764813-1 is not prime. Res64: 23C7C25F0F849153 Time : 882.0 sec. user=vaughan [2010-10-21 21:00:59] 789*2^764813-1 is not prime. Res64: D21A4D8486090E1B Time : 879.0 sec. user=vaughan [2010-10-21 21:03:07] 677*2^764814-1 is not prime. Res64: AC2D6A058477A00A Time : 881.0 sec. user=vaughan [2010-10-21 21:11:06] 711*2^764814-1 is not prime. Res64: 8344441B0F55CFAE Time : 881.0 sec. user=vaughan [2010-10-21 21:15:37] 747*2^764814-1 is not prime. Res64: C2072EF8DACC0A27 Time : 878.0 sec. user=vaughan [2010-10-21 21:17:48] 783*2^764814-1 is not prime. Res64: 4039F567F6D120D9 Time : 882.0 sec. user=vaughan [2010-10-21 21:23:29] 619*2^764815-1 is not prime. Res64: A33AE5DD22B2CFA4 Time : 743.0 sec. user=vaughan [2010-10-21 21:27:58] 625*2^764815-1 is not prime. Res64: 6382B159C0CACE24 Time : 741.0 sec. user=vaughan [2010-10-21 21:30:11] 649*2^764815-1 is not prime. Res64: E5BF177A9CB271B1 Time : 743.0 sec. user=vaughan [2010-10-21 21:38:10] 723*2^764815-1 is not prime. Res64: 85BD1C1445A253AE Time : 881.0 sec. user=vaughan [2010-10-21 21:42:37] 741*2^764815-1 is not prime. Res64: 606FC81760F3F9C1 Time : 879.0 sec. user=vaughan [2010-10-21 21:44:52] 765*2^764815-1 is not prime. Res64: 772766CFCF4D5156 Time : 881.0 sec. user=vaughan [2010-10-21 21:52:51] 783*2^764815-1 is not prime. Res64: 7D4F6A1ECE03D0A1 Time : 882.0 sec. user=vaughan [2010-10-21 21:57:18] 793*2^764815-1 is not prime. Res64: C6FF916C189AF6BA Time : 882.0 sec. user=vaughan [2010-10-21 21:59:34] 689*2^764816-1 is not prime. Res64: B4B9CA979A6A2D75 Time : 883.0 sec. user=vaughan [2010-10-21 22:07:33] 755*2^764816-1 is not prime. Res64: 2436DF8A1CDE21FF Time : 882.0 sec. user=vaughan [2010-10-21 22:09:39] 649*2^764817-1 is not prime. Res64: 9E9FA438F0F12A15 Time : 741.0 sec. user=vaughan [2010-10-21 22:11:57] 667*2^764817-1 is not prime. Res64: 4F7C3471611A4534 Time : 744.0 sec. user=vaughan [2010-10-21 22:19:56] 611*2^764818-1 is not prime. Res64: AB94C2485257DE76 Time : 743.0 sec. user=vaughan [2010-10-21 22:22:01] 621*2^764818-1 is not prime. Res64: E30E97376272A3F8 Time : 743.0 sec. user=vaughan [2010-10-21 22:26:38] 731*2^764818-1 is not prime. Res64: ABAA3B80626D2E51 Time : 881.0 sec. user=vaughan [2010-10-21 22:34:36] 755*2^764818-1 is not prime. Res64: 413198F74268212D Time : 880.0 sec. user=vaughan [2010-10-21 22:36:40] 777*2^764818-1 is not prime. Res64: A01EF8B9DA2E046C Time : 879.0 sec. user=vaughan [2010-10-21 22:39:01] 615*2^764819-1 is not prime. Res64: B6DAD0F16059F00A Time : 743.0 sec. user=vaughan [2010-10-21 22:46:59] 643*2^764819-1 is not prime. Res64: 9AFE4A13C30BBD2D Time : 743.0 sec. user=vaughan [2010-10-21 22:51:18] 745*2^764819-1 is not prime. Res64: 35FAB1FF49264240 Time : 878.0 sec. user=vaughan [2010-10-21 22:53:41] 799*2^764819-1 is not prime. Res64: 32E5F561F22817E6 Time : 881.0 sec. user=vaughan [2010-10-21 23:01:41] 777*2^764820-1 is not prime. Res64: E96B108BC11DB89C Time : 882.0 sec. user=vaughan [2010-10-21 23:03:39] 645*2^764821-1 is not prime. Res64: A9140C6D64AFFA50 Time : 741.0 sec. user=vaughan [2010-10-21 23:08:23] 691*2^764821-1 is not prime. Res64: 3EA8C1730F3EEA1A Time : 882.0 sec. user=vaughan [2010-10-21 23:16:23] 745*2^764821-1 is not prime. Res64: B1B1EA2AF70B9ED5 Time : 882.0 sec. user=vaughan [2010-10-21 23:18:20] 799*2^764821-1 is not prime. Res64: B23A3AF240122FE0 Time : 881.0 sec. user=vaughan [2010-10-21 23:23:06] 741*2^764822-1 is not prime. Res64: 37400B450166A4CD Time : 883.0 sec. user=vaughan [2010-10-21 23:28:48] 615*2^764823-1 is not prime. Res64: AA14E179978E60F0 Time : 746.0 sec. user=vaughan [2010-10-21 23:32:59] 709*2^764823-1 is not prime. Res64: AA83E96990719A5F Time : 880.0 sec. user=vaughan [2010-10-21 23:37:49] 723*2^764823-1 is not prime. Res64: 026F7BFF6463A211 Time : 883.0 sec. user=vaughan [2010-10-21 23:43:30] 745*2^764823-1 is not prime. Res64: E566F7309EAA9DB6 Time : 882.0 sec. user=vaughan [2010-10-21 23:47:38] 763*2^764823-1 is not prime. Res64: 9CC875F160218959 Time : 879.0 sec. user=vaughan [2010-10-21 23:50:14] 615*2^764824-1 is not prime. Res64: 05F7B73DF32F15F8 Time : 745.0 sec. user=vaughan [2010-10-21 23:55:55] 623*2^764824-1 is not prime. Res64: C208148437E593B2 Time : 745.0 sec. user=vaughan [2010-10-21 23:59:58] 645*2^764824-1 is not prime. Res64: AAE24F046825BEFC Time : 741.0 sec.