user=vaughan [2009-07-11 00:03:05] 467*2^703000-1 is not prime. Res64: 25CEDCDCC50095EF Time : 5290.0 sec. user=vaughan [2009-07-11 00:03:56] 573*2^702999-1 is not prime. Res64: 1DB9EEFDA0658AF3 Time : 5433.0 sec. user=vaughan [2009-07-11 00:11:56] 563*2^703000-1 is not prime. Res64: E1468735BF01B8FC Time : 5258.0 sec. user=vaughan [2009-07-11 00:13:24] 549*2^703000-1 is not prime. Res64: DF412E7FCFED5C6B Time : 5431.0 sec. user=vaughan [2009-07-11 00:21:08] 421*2^703001-1 is not prime. Res64: 602B54A412AC3176 Time : 5292.0 sec. user=vaughan [2009-07-11 00:22:50] 593*2^703000-1 is not prime. Res64: C73D303AB5AF5155 Time : 5453.0 sec. user=vaughan [2009-07-11 00:30:52] 511*2^703001-1 is not prime. Res64: B30CB9AC2871A3ED Time : 5362.0 sec. user=vaughan [2009-07-11 00:32:32] 465*2^703001-1 is not prime. Res64: C216436B6C1A87E4 Time : 5521.0 sec. user=vaughan [2009-07-11 00:39:58] 405*2^703002-1 is not prime. Res64: 699133A48D8F314A Time : 5402.0 sec. user=vaughan [2009-07-11 00:42:24] 517*2^703001-1 is not prime. Res64: 1435D22857A74499 Time : 5589.0 sec. user=vaughan [2009-07-11 00:49:23] 503*2^703002-1 is not prime. Res64: 8951932566D0D1C4 Time : 5450.0 sec. user=vaughan [2009-07-11 00:52:08] 437*2^703002-1 is not prime. Res64: BFEF603C8773464C Time : 5662.0 sec. user=vaughan [2009-07-11 00:58:36] 411*2^703003-1 is not prime. Res64: B3BA7817096E6BBC Time : 5491.0 sec. user=vaughan [2009-07-11 01:01:20] 551*2^703002-1 is not prime. Res64: 86627F8528DF3949 Time : 5698.0 sec. user=vaughan [2009-07-11 01:07:51] 489*2^703003-1 is not prime. Res64: 0DA649C03F9B6CBF Time : 5507.0 sec. user=vaughan [2009-07-11 01:11:13] 453*2^703003-1 is not prime. Res64: 5E430E1DC2F80B35 Time : 5733.0 sec. user=vaughan [2009-07-11 01:17:20] 483*2^703004-1 is not prime. Res64: 1044426422281673 Time : 5529.0 sec. user=vaughan [2009-07-11 01:20:44] 437*2^703004-1 is not prime. Res64: EE4F5D407CEDE36C Time : 5748.0 sec. user=vaughan [2009-07-11 01:26:47] 519*2^703004-1 is not prime. Res64: 946F3C51F925D360 Time : 5555.0 sec. user=vaughan [2009-07-11 01:30:53] 429*2^703005-1 is not prime. Res64: ECBA5879F309133B Time : 5798.0 sec. user=vaughan [2009-07-11 01:36:02] 525*2^703005-1 is not prime. Res64: 668B03396227F8A7 Time : 5577.0 sec. user=vaughan [2009-07-11 01:40:53] 405*2^703006-1 is not prime. Res64: 4A7B3336D56DCC8E Time : 5817.0 sec. user=vaughan [2009-07-11 01:45:03] 443*2^703006-1 is not prime. Res64: EC940DC321DCA00F Time : 5588.0 sec. user=vaughan [2009-07-11 01:50:03] 465*2^703006-1 is not prime. Res64: CB91903EF40B89B4 Time : 5799.0 sec. user=vaughan [2009-07-11 01:54:08] 421*2^703007-1 is not prime. Res64: 6C1FDB9CCD2A3FFA Time : 5580.0 sec. user=vaughan [2009-07-11 01:59:17] 463*2^703007-1 is not prime. Res64: 88E338A4C759D91B Time : 5788.0 sec. user=vaughan [2009-07-11 02:03:26] 489*2^703007-1 is not prime. Res64: 6A2E66A359FCC228 Time : 5554.0 sec. user=vaughan [2009-07-11 02:09:09] 559*2^703007-1 is not prime. Res64: A5946C325779EEB4 Time : 5797.0 sec. user=vaughan [2009-07-11 02:12:48] 425*2^703008-1 is not prime. Res64: 37EB65E7F743F5C8 Time : 5570.0 sec. user=vaughan [2009-07-11 02:18:23] 453*2^703008-1 is not prime. Res64: F2598875DD3DA212 Time : 5759.0 sec. user=vaughan [2009-07-11 02:22:07] 509*2^703008-1 is not prime. Res64: AE43CEC7B5B29853 Time : 5564.0 sec. user=vaughan [2009-07-11 02:27:19] 549*2^703008-1 is not prime. Res64: A68759182CCF3316 Time : 5711.0 sec. user=vaughan [2009-07-11 02:30:41] 569*2^703008-1 is not prime. Res64: BB3362C4D1146C64 Time : 5525.0 sec. user=vaughan [2009-07-11 02:36:59] 481*2^703009-1 is not prime. Res64: D3BCAF93B5B2D6C1 Time : 5739.0 sec. user=vaughan [2009-07-11 02:40:06] 495*2^703009-1 is not prime. Res64: 1E35ED63AF0AF293 Time : 5535.0 sec. user=vaughan [2009-07-11 02:46:38] 567*2^703009-1 is not prime. Res64: 2D71455F9D3D484E Time : 5725.0 sec. user=vaughan [2009-07-11 02:49:35] 473*2^703010-1 is not prime. Res64: 3E3F82F3F5EE5A42 Time : 5535.0 sec. user=vaughan [2009-07-11 02:56:05] 501*2^703010-1 is not prime. Res64: 05D12339E13F8671 Time : 5721.0 sec. user=vaughan [2009-07-11 02:58:07] 533*2^703010-1 is not prime. Res64: FCBCE7B79AA3DA5B Time : 5481.0 sec. user=vaughan [2009-07-11 03:05:30] 545*2^703010-1 is not prime. Res64: 04DF637500E64745 Time : 5677.0 sec. user=vaughan [2009-07-11 03:06:59] 439*2^703011-1 is not prime. Res64: 0C0F2E2F41E9C374 Time : 5457.0 sec. user=vaughan [2009-07-11 03:15:14] 459*2^703011-1 is not prime. Res64: A0E1322F03088E9B Time : 5662.0 sec. user=vaughan [2009-07-11 03:16:37] 465*2^703011-1 is not prime. Res64: 83A952D66DA1095C Time : 5494.0 sec. user=vaughan [2009-07-11 03:24:43] 475*2^703011-1 is not prime. Res64: 03039A5F22221C44 Time : 5681.0 sec. user=vaughan [2009-07-11 03:25:54] 489*2^703011-1 is not prime. Res64: F371AB7C895B9054 Time : 5506.0 sec. user=vaughan [2009-07-11 03:34:02] 535*2^703011-1 is not prime. Res64: A6BEAE241C101B95 Time : 5685.0 sec. user=vaughan [2009-07-11 03:35:05] 435*2^703012-1 is not prime. Res64: 0C614286BF15CBE8 Time : 5499.0 sec. user=vaughan [2009-07-11 03:43:25] 513*2^703012-1 is not prime. Res64: 2F5619677CAA6304 Time : 5656.0 sec. user=vaughan [2009-07-11 03:44:23] 573*2^703012-1 is not prime. Res64: F7CF2286E250A23E Time : 5495.0 sec. user=vaughan [2009-07-11 03:52:22] 409*2^703013-1 is not prime. Res64: 6C74DC9F962F59CF Time : 5640.0 sec. user=vaughan [2009-07-11 03:52:57] 507*2^703013-1 is not prime. Res64: EE94C5A80CFB04AA Time : 5450.0 sec. user=vaughan [2009-07-11 04:02:17] 537*2^703013-1 is not prime. Res64: 8BF454C817B8A560 Time : 5496.0 sec. user=vaughan [2009-07-11 04:02:35] 517*2^703013-1 is not prime. Res64: 4D4A545A9E48778E Time : 5716.0 sec. user=vaughan [2009-07-11 04:11:11] 567*2^703013-1 is not prime. Res64: 68B08D6D507B5BEC Time : 5465.0 sec. user=vaughan [2009-07-11 04:12:03] 547*2^703013-1 is not prime. Res64: B8A1DFDD8C73F14E Time : 5705.0 sec. user=vaughan [2009-07-11 04:20:22] 437*2^703014-1 is not prime. Res64: 6C90721807476963 Time : 5447.0 sec. user=vaughan [2009-07-11 04:21:47] 571*2^703013-1 is not prime. Res64: 5CC22D41CE0BC184 Time : 5710.0 sec. user=vaughan [2009-07-11 04:29:21] 495*2^703014-1 is not prime. Res64: D9019C5A4AE8463E Time : 5475.0 sec. user=vaughan [2009-07-11 04:31:41] 453*2^703014-1 is not prime. Res64: F692E37643165FB1 Time : 5736.0 sec. user=vaughan [2009-07-11 04:38:11] 507*2^703014-1 is not prime. Res64: BF512623EA7C258E Time : 5472.0 sec. user=vaughan [2009-07-11 04:40:46] 503*2^703014-1 is not prime. Res64: 4CD6A1136D1079EA Time : 5716.0 sec. user=vaughan [2009-07-11 04:47:18] 557*2^703014-1 is not prime. Res64: 849EB56CC8F4C9A8 Time : 5441.0 sec. user=vaughan [2009-07-11 04:50:10] 513*2^703014-1 is not prime. Res64: 0247E4424E999C1A Time : 5696.0 sec. user=vaughan [2009-07-11 04:57:14] 585*2^703014-1 is not prime. Res64: 0825AB75B06C5568 Time : 5480.0 sec. user=vaughan [2009-07-11 05:00:35] 567*2^703014-1 is not prime. Res64: 445EB3679F5E9F95 Time : 5753.0 sec. user=vaughan [2009-07-11 05:06:56] 451*2^703015-1 is not prime. Res64: 5F38E54B4AC9681C Time : 5511.0 sec. user=vaughan [2009-07-11 05:10:46] 441*2^703015-1 is not prime. Res64: F2AD892FDC25B00C Time : 5804.0 sec. user=vaughan [2009-07-11 05:16:09] 511*2^703015-1 is not prime. Res64: 6A090F6D465A3D50 Time : 5507.0 sec. user=vaughan [2009-07-11 05:20:58] 463*2^703015-1 is not prime. Res64: B5A1E162EC7104B6 Time : 5854.0 sec. user=vaughan [2009-07-11 05:25:21] 589*2^703015-1 is not prime. Res64: 7A205F4EAA00DC8E Time : 5544.0 sec. user=vaughan [2009-07-11 05:30:47] 535*2^703015-1 is not prime. Res64: 5F490711D71D47CF Time : 5905.0 sec. user=vaughan [2009-07-11 05:34:44] 413*2^703016-1 is not prime. Res64: 5178419697B3860D Time : 5548.0 sec. user=vaughan [2009-07-11 05:40:37] 441*2^703017-1 is not prime. Res64: 916ACCF1FAD17FA2 Time : 5882.0 sec. user=vaughan [2009-07-11 05:44:27] 555*2^703017-1 is not prime. Res64: 08C0D59A1C25ACE0 Time : 5596.0 sec. user=vaughan [2009-07-11 05:50:44] 435*2^703018-1 is not prime. Res64: CC4D422D430E0CB8 Time : 5921.0 sec. user=vaughan [2009-07-11 05:53:58] 495*2^703018-1 is not prime. Res64: 0742CDD960B41310 Time : 5616.0 sec. user=vaughan [2009-07-11 06:01:00] 533*2^703018-1 is not prime. Res64: AF5B6B3051AFB40C Time : 5953.0 sec. user=vaughan [2009-07-11 06:03:49] 551*2^703018-1 is not prime. Res64: 1FBA4E387F9E8C46 Time : 5669.0 sec. user=vaughan [2009-07-11 06:11:15] 597*2^703018-1 is not prime. Res64: 79770F309EA056DF Time : 5974.0 sec. user=vaughan [2009-07-11 06:13:09] 549*2^703019-1 is not prime. Res64: 9AADFDA522D280EA Time : 5698.0 sec. user=vaughan [2009-07-11 06:20:44] 423*2^703020-1 is not prime. Res64: 3508468A89033FDC Time : 5998.0 sec. user=vaughan [2009-07-11 06:22:18] 437*2^703020-1 is not prime. Res64: E8C92002F6B492E2 Time : 5700.0 sec. user=vaughan [2009-07-11 06:29:54] 503*2^703020-1 is not prime. Res64: C5675183668B2BE1 Time : 5984.0 sec. user=vaughan [2009-07-11 06:31:26] 537*2^703020-1 is not prime. Res64: 2450265546FC7090 Time : 5652.0 sec. user=vaughan [2009-07-11 06:40:11] 557*2^703020-1 is not prime. Res64: AC2D3201CE31CA9F Time : 5977.0 sec. user=vaughan [2009-07-11 06:40:53] 409*2^703021-1 is not prime. Res64: ADBB700A686A4C04 Time : 5637.0 sec. user=vaughan [2009-07-11 06:50:09] 471*2^703021-1 is not prime. Res64: A35CB60A6E91E604 Time : 5964.0 sec. user=vaughan [2009-07-11 06:50:15] 499*2^703021-1 is not prime. Res64: A8E2705180E45B16 Time : 5646.0 sec. user=vaughan [2009-07-11 06:59:29] 541*2^703021-1 is not prime. Res64: 58118B588A5EC6E6 Time : 5648.0 sec. user=vaughan [2009-07-11 06:59:33] 511*2^703021-1 is not prime. Res64: DA53A73B618A9AC2 Time : 5915.0 sec. user=vaughan [2009-07-11 07:08:51] 581*2^703022-1 is not prime. Res64: 19222BD7312CE343 Time : 5647.0 sec. user=vaughan [2009-07-11 07:09:55] 549*2^703021-1 is not prime. Res64: E34C085D58623604 Time : 5948.0 sec. user=vaughan [2009-07-11 07:18:14] 441*2^703023-1 is not prime. Res64: 1B2B688A94C2BF22 Time : 5627.0 sec. user=vaughan [2009-07-11 07:20:26] 593*2^703022-1 is not prime. Res64: 395CD584B3BCB213 Time : 5989.0 sec. user=vaughan [2009-07-11 07:27:45] 541*2^703023-1 is not prime. Res64: 243B2A72B597CA65 Time : 5627.0 sec. user=vaughan [2009-07-11 07:30:08] 453*2^703023-1 is not prime. Res64: E02C791DB80436AA Time : 5964.0 sec. user=vaughan [2009-07-11 07:37:21] 413*2^703024-1 is not prime. Res64: 48E9F98B3BE6F36B Time : 5612.0 sec. user=vaughan [2009-07-11 07:40:28] 595*2^703023-1 is not prime. Res64: D3E99728921B8633 Time : 5968.0 sec. user=vaughan [2009-07-11 07:47:03] 575*2^703024-1 is not prime. Res64: FC83B6EAA6CFC05F Time : 5634.0 sec. user=vaughan [2009-07-11 07:50:23] 527*2^703024-1 is not prime. Res64: 566A5B462EB662E4 Time : 5948.0 sec. user=vaughan [2009-07-11 07:56:14] 531*2^703026-1 is not prime. Res64: D41A717B9AEF0717 Time : 5636.0 sec. user=vaughan [2009-07-11 07:59:46] 437*2^703026-1 is not prime. Res64: 8C8CC873D21B12A4 Time : 5943.0 sec. user=vaughan [2009-07-11 08:05:26] 555*2^703027-1 is not prime. Res64: 7F6181A8DD1998B5 Time : 5640.0 sec. user=vaughan [2009-07-11 08:08:51] 531*2^703027-1 is not prime. Res64: B723FCDFF35EE758 Time : 5937.0 sec. user=vaughan [2009-07-11 08:14:49] 595*2^703027-1 is not prime. Res64: 7A3EA8719F880846 Time : 5636.0 sec. user=vaughan [2009-07-11 08:18:52] 589*2^703027-1 is not prime. Res64: C5DB2CA970437BF4 Time : 5921.0 sec. user=vaughan [2009-07-11 08:24:37] 479*2^703028-1 is not prime. Res64: 183EBC2871EC7922 Time : 5662.0 sec. user=vaughan [2009-07-11 08:28:45] 473*2^703028-1 is not prime. Res64: 87352433868ADC5C Time : 5916.0 sec. user=vaughan [2009-07-11 08:34:09] 495*2^703028-1 is not prime. Res64: 2E04392437B38F94 Time : 5680.0 sec. user=vaughan [2009-07-11 08:38:38] 563*2^703028-1 is not prime. Res64: 70755C091966C389 Time : 5945.0 sec. user=vaughan [2009-07-11 08:43:24] 439*2^703029-1 is not prime. Res64: D9FB42702CB05C5A Time : 5674.0 sec. user=vaughan [2009-07-11 08:47:45] 447*2^703029-1 is not prime. Res64: 39F3DFF53CDFD5D5 Time : 5870.0 sec. user=vaughan [2009-07-11 08:52:37] 507*2^703029-1 is not prime. Res64: A67A972C49658B28 Time : 5663.0 sec. user=vaughan [2009-07-11 08:57:11] 565*2^703029-1 is not prime. Res64: A9CCC29FF9CA51F5 Time : 5805.0 sec. user=vaughan [2009-07-11 09:01:57] 595*2^703029-1 is not prime. Res64: A5F609EDCFEB0D41 Time : 5653.0 sec. user=vaughan [2009-07-11 09:06:43] 461*2^703030-1 is not prime. Res64: 8523DC7917612DC6 Time : 5795.0 sec. user=vaughan [2009-07-11 09:11:08] 521*2^703030-1 is not prime. Res64: 273C23EFE079E4DD Time : 5627.0 sec. user=vaughan [2009-07-11 09:16:34] 445*2^703031-1 is not prime. Res64: 87739826E5E66AC1 Time : 5766.0 sec. user=vaughan [2009-07-11 09:20:17] 579*2^703031-1 is not prime. Res64: 1ECB7D883461C600 Time : 5594.0 sec. user=vaughan [2009-07-11 09:26:41] 419*2^703032-1 is not prime. Res64: 32D313B722A31C29 Time : 5778.0 sec. user=vaughan [2009-07-11 09:29:34] 455*2^703032-1 is not prime. Res64: 97B5818B2553893B Time : 5600.0 sec. user=vaughan [2009-07-11 09:36:02] 593*2^703032-1 is not prime. Res64: AAB7BDB3452E26C5 Time : 5777.0 sec. user=vaughan [2009-07-11 09:38:39] 405*2^703033-1 is not prime. Res64: 285C90A1ABBEEA74 Time : 5593.0 sec. user=vaughan [2009-07-11 09:45:17] 489*2^703033-1 is not prime. Res64: 74BCB58673896582 Time : 5786.0 sec. user=vaughan [2009-07-11 09:47:27] 561*2^703033-1 is not prime. Res64: D04FACCCE6BC02B4 Time : 5558.0 sec. user=vaughan [2009-07-11 09:53:54] 589*2^703033-1 is not prime. Res64: B348A585E2BC2675 Time : 5702.0 sec. user=vaughan [2009-07-11 09:56:11] 595*2^703033-1 is not prime. Res64: 4E24C4BDA06E7D2E Time : 5494.0 sec. user=vaughan [2009-07-11 10:03:03] 431*2^703034-1 is not prime. Res64: 8C5E8C0AD1297730 Time : 5658.0 sec. user=vaughan [2009-07-11 10:05:25] 461*2^703034-1 is not prime. Res64: AE9D389FECE8D945 Time : 5476.0 sec. user=vaughan [2009-07-11 10:12:16] 483*2^703034-1 is not prime. Res64: 58D79854D0F8DE0A Time : 5618.0 sec. user=vaughan [2009-07-11 10:14:31] 533*2^703034-1 is not prime. Res64: ACC2F889D9A6415B Time : 5467.0 sec. user=vaughan [2009-07-11 10:22:11] 415*2^703035-1 is not prime. Res64: DF95E1D659B46A1E Time : 5666.0 sec. user=vaughan [2009-07-11 10:24:16] 453*2^703035-1 is not prime. Res64: 0FDCA002AA9D0D12 Time : 5500.0 sec. user=vaughan [2009-07-11 10:31:59] 489*2^703035-1 is not prime. Res64: 4C5C4F285E2F1311 Time : 5689.0 sec. user=vaughan [2009-07-11 10:33:44] 495*2^703035-1 is not prime. Res64: 186E9169BE6607B8 Time : 5507.0 sec. user=vaughan [2009-07-11 10:41:55] 591*2^703035-1 is not prime. Res64: 65665824C8E87D95 Time : 5712.0 sec. user=vaughan [2009-07-11 10:43:33] 497*2^703036-1 is not prime. Res64: 0C3BAAB8EBC539EC Time : 5545.0 sec. user=vaughan [2009-07-11 10:52:04] 527*2^703036-1 is not prime. Res64: 9695F8C57E800A5F Time : 5730.0 sec. user=vaughan [2009-07-11 10:53:18] 587*2^703036-1 is not prime. Res64: F9D31E9E8DC58D1F Time : 5581.0 sec. user=vaughan [2009-07-11 11:01:29] 441*2^703037-1 is not prime. Res64: 34B4DED294352DEC Time : 5689.0 sec. user=vaughan [2009-07-11 11:02:48] 465*2^703037-1 is not prime. Res64: FE52A23599AE1B10 Time : 5594.0 sec. user=vaughan [2009-07-11 11:10:44] 507*2^703037-1 is not prime. Res64: 97D0EFD0A5AC21E4 Time : 5683.0 sec. user=vaughan [2009-07-11 11:11:56] 517*2^703037-1 is not prime. Res64: 9F4760CD1525046F Time : 5597.0 sec. user=vaughan [2009-07-11 11:19:51] 413*2^703038-1 is not prime. Res64: 9C2DEE8F65E1C797 Time : 5674.0 sec. user=vaughan [2009-07-11 11:21:04] 443*2^703038-1 is not prime. Res64: 5F56610D6FEF9295 Time : 5617.0 sec. user=vaughan [2009-07-11 11:28:58] 453*2^703038-1 is not prime. Res64: C0C8D35AD0666341 Time : 5704.0 sec. user=vaughan [2009-07-11 11:30:15] 503*2^703038-1 is not prime. Res64: 0DFA481FB4D88DF6 Time : 5644.0 sec. user=vaughan [2009-07-11 11:38:44] 507*2^703038-1 is not prime. Res64: 751D63731B09581D Time : 5742.0 sec. user=vaughan [2009-07-11 11:39:49] 567*2^703038-1 is not prime. Res64: 8F0EE31A48711DAB Time : 5664.0 sec. user=vaughan [2009-07-11 11:47:41] 433*2^703039-1 is not prime. Res64: C10303BC5D9DCEC3 Time : 5725.0 sec. user=vaughan [2009-07-11 11:48:57] 481*2^703039-1 is not prime. Res64: 49350A4C8979AEC5 Time : 5666.0 sec. user=vaughan [2009-07-11 11:57:25] 483*2^703039-1 is not prime. Res64: B08311A37E20D429 Time : 5714.0 sec. user=vaughan [2009-07-11 11:58:39] 531*2^703039-1 is not prime. Res64: EDE873CEAA2C9A0B Time : 5663.0 sec. user=vaughan [2009-07-11 12:06:46] 555*2^703039-1 is not prime. Res64: E6434C5D55B92CA4 Time : 5687.0 sec. user=vaughan [2009-07-11 12:07:57] 465*2^703040-1 is not prime. Res64: 41C098AEFEA9CA45 Time : 5653.0 sec. user=vaughan [2009-07-11 12:16:03] 473*2^703040-1 is not prime. Res64: 658A725B058D09C7 Time : 5649.0 sec. user=vaughan [2009-07-11 12:17:18] 495*2^703041-1 is not prime. Res64: D313747728D6910A Time : 5625.0 sec. user=vaughan [2009-07-11 12:24:46] 401*2^703042-1 is not prime. Res64: 4E6F944AFBB73404 Time : 5562.0 sec. user=vaughan [2009-07-11 12:25:51] 461*2^703042-1 is not prime. Res64: B96B200007D689DC Time : 5553.0 sec. user=vaughan [2009-07-11 12:32:47] 497*2^703042-1 is not prime. Res64: 3F195FBCA384789B Time : 5478.0 sec. user=vaughan [2009-07-11 12:33:50] 533*2^703042-1 is not prime. Res64: 0696160121C14F1D Time : 5462.0 sec. user=vaughan [2009-07-11 12:40:48] 581*2^703042-1 is not prime. Res64: DCDADA5EF091247E Time : 5404.0 sec. user=vaughan [2009-07-11 12:41:50] 411*2^703043-1 is not prime. Res64: 95DE0686565411A4 Time : 5394.0 sec. user=vaughan [2009-07-11 12:48:49] 445*2^703043-1 is not prime. Res64: 6A4972CC452CE845 Time : 5338.0 sec. user=vaughan [2009-07-11 12:49:51] 451*2^703043-1 is not prime. Res64: E69C5755745CBBD4 Time : 5327.0 sec. user=vaughan [2009-07-11 12:56:53] 505*2^703043-1 is not prime. Res64: 988D2CF4A0AE3922 Time : 5275.0 sec. user=vaughan [2009-07-11 12:57:52] 565*2^703043-1 is not prime. Res64: 0C0B55ED3DCDE136 Time : 5257.0 sec. user=vaughan [2009-07-11 13:04:54] 425*2^703044-1 is not prime. Res64: 4F2A743532502B01 Time : 5170.0 sec. user=vaughan [2009-07-11 13:05:46] 447*2^703044-1 is not prime. Res64: 5D850275E77BA50F Time : 5157.0 sec. user=vaughan [2009-07-11 13:13:00] 479*2^703044-1 is not prime. Res64: 6E7C69F39AD9245B Time : 5119.0 sec. user=vaughan [2009-07-11 13:13:44] 527*2^703044-1 is not prime. Res64: 3C8F6808E25A1373 Time : 5087.0 sec. user=vaughan [2009-07-11 13:21:07] 569*2^703044-1 is not prime. Res64: 541BA1881558DED9 Time : 5022.0 sec. user=vaughan [2009-07-11 13:21:39] 597*2^703044-1 is not prime. Res64: 62123A8F0A081628 Time : 4980.0 sec. user=vaughan [2009-07-11 13:29:16] 411*2^703045-1 is not prime. Res64: DD69796685CAABF0 Time : 4950.0 sec. user=vaughan [2009-07-11 13:29:32] 441*2^703045-1 is not prime. Res64: C8789F662F915DCA Time : 4895.0 sec. user=vaughan [2009-07-11 13:37:23] 465*2^703045-1 is not prime. Res64: 508FA57441523081 Time : 4880.0 sec. user=vaughan [2009-07-11 13:37:28] 507*2^703045-1 is not prime. Res64: 93A368E348546597 Time : 4810.0 sec. user=vaughan [2009-07-11 13:45:23] 595*2^703045-1 is not prime. Res64: CF1821188107CF5E Time : 4772.0 sec. user=vaughan [2009-07-11 13:45:31] 531*2^703045-1 is not prime. Res64: EB87EB9BC63CD6DF Time : 4845.0 sec. user=vaughan [2009-07-11 13:53:18] 473*2^703046-1 is not prime. Res64: 5ED2449972C853E7 Time : 4769.0 sec. user=vaughan [2009-07-11 13:53:36] 455*2^703046-1 is not prime. Res64: 46A2B9C73ACC5702 Time : 4849.0 sec. user=vaughan [2009-07-11 14:01:14] 561*2^703046-1 is not prime. Res64: E602E34C15E4B180 Time : 4765.0 sec. user=vaughan [2009-07-11 14:01:41] 483*2^703046-1 is not prime. Res64: 8E73D08DA7FA7482 Time : 4854.0 sec. user=vaughan [2009-07-11 14:09:14] 585*2^703046-1 is not prime. Res64: C72179A4B902C16C Time : 4763.0 sec. user=vaughan [2009-07-11 14:09:43] 573*2^703046-1 is not prime. Res64: 256DD40BEF193241 Time : 4854.0 sec. user=vaughan [2009-07-11 14:17:54] 475*2^703047-1 is not prime. Res64: DB1153362FFE1E20 Time : 4802.0 sec. user=vaughan [2009-07-11 14:18:32] 593*2^703046-1 is not prime. Res64: 86CF866D86FAD3DD Time : 4899.0 sec. user=vaughan [2009-07-11 14:27:20] 453*2^703048-1 is not prime. Res64: 912090FA94E499F6 Time : 4895.0 sec. user=vaughan [2009-07-11 14:28:34] 595*2^703047-1 is not prime. Res64: 90983A7FBD6A7981 Time : 5020.0 sec. user=vaughan [2009-07-11 14:36:34] 485*2^703048-1 is not prime. Res64: 78EE5EF82BD78F13 Time : 4970.0 sec. user=vaughan [2009-07-11 14:38:25] 483*2^703048-1 is not prime. Res64: B6B535D73913D735 Time : 5125.0 sec. user=vaughan [2009-07-11 14:45:39] 465*2^703049-1 is not prime. Res64: 6A702E30459B97DB Time : 5040.0 sec. user=vaughan [2009-07-11 14:47:41] 441*2^703049-1 is not prime. Res64: CA50369E6ED6558E Time : 5194.0 sec. user=vaughan [2009-07-11 14:55:04] 579*2^703049-1 is not prime. Res64: 8C36825C73CD37D2 Time : 5132.0 sec. user=vaughan [2009-07-11 14:57:28] 571*2^703049-1 is not prime. Res64: B3F946B58177B98A Time : 5292.0 sec. user=vaughan [2009-07-11 15:04:08] 585*2^703050-1 is not prime. Res64: 7D0596E8FAA08323 Time : 5201.0 sec. user=vaughan [2009-07-11 15:06:41] 501*2^703050-1 is not prime. Res64: 4C25ABA9425B7088 Time : 5358.0 sec. user=vaughan [2009-07-11 15:13:28] 405*2^703051-1 is not prime. Res64: DCC4D29FC76037F0 Time : 5285.0 sec. user=vaughan [2009-07-11 15:15:53] 439*2^703051-1 is not prime. Res64: 95F1053067AACD07 Time : 5422.0 sec. user=vaughan [2009-07-11 15:22:38] 413*2^703052-1 is not prime. Res64: E716264E9ADA5356 Time : 5360.0 sec. user=vaughan [2009-07-11 15:25:09] 455*2^703052-1 is not prime. Res64: 846C0636639D0CFE Time : 5493.0 sec. user=vaughan [2009-07-11 15:31:46] 557*2^703052-1 is not prime. Res64: BCB3429E83706283 Time : 5432.0 sec. user=vaughan [2009-07-11 15:34:30] 593*2^703052-1 is not prime. Res64: 1C04DCE0C229B5E6 Time : 5569.0 sec. user=vaughan [2009-07-11 15:41:19] 405*2^703053-1 is not prime. Res64: D73569C177735CE6 Time : 5525.0 sec. user=vaughan [2009-07-11 15:44:34] 459*2^703053-1 is not prime. Res64: C242BE437A01EF0D Time : 5692.0 sec. user=vaughan [2009-07-11 15:50:47] 525*2^703053-1 is not prime. Res64: 635647B01193C177 Time : 5574.0 sec. user=vaughan [2009-07-11 15:55:04] 401*2^703054-1 is not prime. Res64: D4865E9ED12F4F99 Time : 5792.0 sec. user=vaughan [2009-07-11 16:00:21] 423*2^703054-1 is not prime. Res64: CD12698E52D42EB0 Time : 5581.0 sec. user=vaughan [2009-07-11 16:04:55] 437*2^703054-1 is not prime. Res64: 66F350416CFEE534 Time : 5781.0 sec. user=vaughan [2009-07-11 16:09:48] 477*2^703054-1 is not prime. Res64: 692702755042E15C Time : 5594.0 sec. user=vaughan [2009-07-11 16:15:11] 473*2^703056-1 is not prime. Res64: EB4F77AE7ABCA336 Time : 5807.0 sec. user=vaughan [2009-07-11 16:19:20] 497*2^703056-1 is not prime. Res64: 306DBCEDFB47DA1B Time : 5621.0 sec. user=vaughan [2009-07-11 16:24:43] 439*2^703057-1 is not prime. Res64: 91B8CB0CF18B7BC2 Time : 5822.0 sec. user=vaughan [2009-07-11 16:28:26] 549*2^703057-1 is not prime. Res64: 1EC970E7AD90A47F Time : 5603.0 sec. user=vaughan [2009-07-11 16:34:06] 425*2^703058-1 is not prime. Res64: 5585E9140BC492F8 Time : 5799.0 sec. user=vaughan [2009-07-11 16:37:45] 483*2^703058-1 is not prime. Res64: 1E6720C5EE0298D4 Time : 5617.0 sec. user=vaughan [2009-07-11 16:43:55] 497*2^703058-1 is not prime. Res64: 47CB52D2A55DA93F Time : 5835.0 sec. user=vaughan [2009-07-11 16:47:27] 583*2^703059-1 is not prime. Res64: D97FFFD0206C67EB Time : 5639.0 sec. user=vaughan [2009-07-11 16:53:44] 455*2^703060-1 is not prime. Res64: 881CB8B67ECA0813 Time : 5872.0 sec. user=vaughan [2009-07-11 16:56:51] 495*2^703060-1 is not prime. Res64: 4A2395ACECA29B7D Time : 5653.0 sec. user=vaughan [2009-07-11 17:03:15] 527*2^703060-1 is not prime. Res64: C4F96433847FB257 Time : 5886.0 sec. user=vaughan [2009-07-11 17:06:33] 569*2^703060-1 is not prime. Res64: 6FBA2326426C5AC6 Time : 5687.0 sec. user=vaughan [2009-07-11 17:13:42] 597*2^703060-1 is not prime. Res64: B61F9A5719BCAEEC Time : 5952.0 sec. user=vaughan [2009-07-11 17:16:26] 421*2^703061-1 is not prime. Res64: 11B4F159243CE8FC Time : 5707.0 sec. user=vaughan [2009-07-11 17:23:21] 465*2^703061-1 is not prime. Res64: BE653C719E4B1F25 Time : 5927.0 sec. user=vaughan [2009-07-11 17:25:54] 475*2^703061-1 is not prime. Res64: 4E297472EE739A64 Time : 5708.0 sec. user=vaughan [2009-07-11 17:33:19] 489*2^703061-1 is not prime. Res64: 25941D59362A217C Time : 5896.0 sec. user=vaughan [2009-07-11 17:35:24] 529*2^703061-1 is not prime. Res64: 07A7036DD95053A1 Time : 5703.0 sec. user=vaughan [2009-07-11 17:43:13] 547*2^703061-1 is not prime. Res64: AAC27AD5AAC944F7 Time : 5898.0 sec. user=vaughan [2009-07-11 17:45:07] 561*2^703061-1 is not prime. Res64: 28C792B6615EF770 Time : 5719.0 sec. user=vaughan [2009-07-11 17:52:48] 571*2^703061-1 is not prime. Res64: 2CEF082E9386CD08 Time : 5858.0 sec. user=vaughan [2009-07-11 17:55:01] 483*2^703062-1 is not prime. Res64: 3C5E4E2CDB0A66F8 Time : 5741.0 sec. user=vaughan [2009-07-11 18:02:36] 503*2^703062-1 is not prime. Res64: 263314F82B7B9320 Time : 5874.0 sec. user=vaughan [2009-07-11 18:04:38] 525*2^703062-1 is not prime. Res64: 8B797AA297C6CCDC Time : 5772.0 sec. user=vaughan [2009-07-11 18:11:48] 505*2^703063-1 is not prime. Res64: E4BEF2EAD4760C55 Time : 5862.0 sec. user=vaughan [2009-07-11 18:13:44] 549*2^703063-1 is not prime. Res64: C0C97B630067E01E Time : 5759.0 sec. user=vaughan [2009-07-11 18:21:15] 583*2^703063-1 is not prime. Res64: F1D864AEB36C5EEF Time : 5841.0 sec. user=vaughan [2009-07-11 18:23:14] 407*2^703064-1 is not prime. Res64: A013F2BAF1F8E5A9 Time : 5747.0 sec. user=vaughan [2009-07-11 18:30:31] 459*2^703064-1 is not prime. Res64: 62FF39535A9EC0D9 Time : 5807.0 sec. user=vaughan [2009-07-11 18:32:44] 519*2^703064-1 is not prime. Res64: 9536CB5B92D1605D Time : 5753.0 sec. user=vaughan [2009-07-11 18:40:17] 525*2^703064-1 is not prime. Res64: 834719CA7187B043 Time : 5822.0 sec. user=vaughan [2009-07-11 18:41:49] 539*2^703064-1 is not prime. Res64: 2C9DDD715A5D9573 Time : 5716.0 sec. user=vaughan [2009-07-11 18:50:03] 567*2^703064-1 is not prime. Res64: DF6EE17E549D3DDE Time : 5782.0 sec. user=vaughan [2009-07-11 18:51:37] 587*2^703064-1 is not prime. Res64: A06589E98847F831 Time : 5712.0 sec. user=vaughan [2009-07-11 18:59:54] 427*2^703065-1 is not prime. Res64: 388B92381AEAA171 Time : 5793.0 sec. user=vaughan [2009-07-11 19:00:58] 529*2^703065-1 is not prime. Res64: 1DE6433F6ACF6B13 Time : 5704.0 sec. user=vaughan [2009-07-11 19:09:36] 555*2^703065-1 is not prime. Res64: 629FD96E0A2263AD Time : 5777.0 sec. user=vaughan [2009-07-11 19:10:32] 577*2^703065-1 is not prime. Res64: A385540694E546A1 Time : 5709.0 sec. user=vaughan [2009-07-11 19:19:05] 579*2^703065-1 is not prime. Res64: 0A8E9A2C2FE7FE3B Time : 5752.0 sec. user=vaughan [2009-07-11 19:20:03] 477*2^703066-1 is not prime. Res64: FFBCA222237FC9F7 Time : 5696.0 sec. user=vaughan [2009-07-11 19:28:56] 507*2^703066-1 is not prime. Res64: C9108D73AEAC6D8E Time : 5768.0 sec. user=vaughan [2009-07-11 19:29:29] 403*2^703067-1 is not prime. Res64: E0C564193A2BB0D8 Time : 5668.0 sec. user=vaughan [2009-07-11 19:38:11] 435*2^703067-1 is not prime. Res64: 0BC18AF83C0EA9AB Time : 5735.0 sec. user=vaughan [2009-07-11 19:38:37] 475*2^703067-1 is not prime. Res64: 171148D5DF9D2BF3 Time : 5639.0 sec. user=vaughan [2009-07-11 19:47:49] 585*2^703067-1 is not prime. Res64: 908BF6BDF3B9696B Time : 5646.0 sec. user=vaughan [2009-07-11 19:47:51] 553*2^703067-1 is not prime. Res64: A48BB2D64A171F33 Time : 5763.0 sec. user=vaughan [2009-07-11 19:57:29] 545*2^703068-1 is not prime. Res64: E2A02E51F2430A5B Time : 5655.0 sec. user=vaughan [2009-07-11 19:57:51] 479*2^703068-1 is not prime. Res64: C109A13E22234CCE Time : 5796.0 sec. user=vaughan [2009-07-11 20:07:11] 597*2^703068-1 is not prime. Res64: 4AC09991D24496E2 Time : 5667.0 sec. user=vaughan [2009-07-11 20:07:59] 563*2^703068-1 is not prime. Res64: CC08477A6104EC68 Time : 5848.0 sec. user=vaughan [2009-07-11 20:16:54] 447*2^703069-1 is not prime. Res64: AB1118C61D5D2811 Time : 5706.0 sec. user=vaughan [2009-07-11 20:18:15] 429*2^703069-1 is not prime. Res64: 7BB11D5552FFEF93 Time : 5879.0 sec. user=vaughan [2009-07-11 20:26:27] 465*2^703069-1 is not prime. Res64: 0EAD36EDDDF77514 Time : 5691.0 sec. user=vaughan [2009-07-11 20:28:28] 451*2^703069-1 is not prime. Res64: 4A30621F8D02D550 Time : 5905.0 sec. user=vaughan [2009-07-11 20:35:58] 489*2^703069-1 is not prime. Res64: 631442A50A840E5F Time : 5700.0 sec. user=vaughan [2009-07-11 20:38:01] 469*2^703069-1 is not prime. Res64: B4BD24555E53A4B9 Time : 5887.0 sec. user=vaughan [2009-07-11 20:45:20] 407*2^703070-1 is not prime. Res64: AD239E487C59991D Time : 5688.0 sec. user=vaughan [2009-07-11 20:47:49] 405*2^703070-1 is not prime. Res64: F10DEBC52CCF1C0E Time : 5893.0 sec. user=vaughan [2009-07-11 20:54:48] 495*2^703070-1 is not prime. Res64: F8220F8C1C46C0C6 Time : 5685.0 sec. user=vaughan [2009-07-11 20:57:22] 453*2^703070-1 is not prime. Res64: 0B23785AECA8AECF Time : 5897.0 sec. user=vaughan [2009-07-11 21:04:21] 585*2^703070-1 is not prime. Res64: 09BE40E62282FF16 Time : 5693.0 sec. user=vaughan [2009-07-11 21:07:07] 563*2^703070-1 is not prime. Res64: 312D3DED82443BF6 Time : 5891.0 sec. user=vaughan [2009-07-11 21:13:33] 411*2^703071-1 is not prime. Res64: 17F7D63242304950 Time : 5696.0 sec. user=vaughan [2009-07-11 21:16:17] 405*2^703071-1 is not prime. Res64: 2175661515D3A1A6 Time : 5887.0 sec. user=vaughan [2009-07-11 21:23:17] 579*2^703071-1 is not prime. Res64: 98C5D642C61B2C73 Time : 5728.0 sec. user=vaughan [2009-07-11 21:26:05] 591*2^703071-1 is not prime. Res64: 722F91DB376A7B17 Time : 5894.0 sec. user=vaughan [2009-07-11 21:32:28] 519*2^703072-1 is not prime. Res64: 84A06F931F14DBA0 Time : 5699.0 sec. user=vaughan [2009-07-11 21:35:22] 411*2^703073-1 is not prime. Res64: CDA989B43433624F Time : 5851.0 sec. user=vaughan [2009-07-11 21:41:49] 435*2^703073-1 is not prime. Res64: D7A83554401EF396 Time : 5678.0 sec. user=vaughan [2009-07-11 21:45:33] 487*2^703073-1 is not prime. Res64: 2E5588A65AFE28A1 Time : 5855.0 sec. user=vaughan [2009-07-11 21:51:38] 495*2^703073-1 is not prime. Res64: 9DDB225F4F8FC3A8 Time : 5685.0 sec. user=vaughan [2009-07-11 21:55:49] 529*2^703073-1 is not prime. Res64: 412F156F9A660E2C Time : 5854.0 sec. user=vaughan [2009-07-11 22:01:21] 547*2^703073-1 is not prime. Res64: 38B91AE8C5C86AED Time : 5694.0 sec. user=vaughan [2009-07-11 22:05:30] 571*2^703073-1 is not prime. Res64: 0023344B8300D169 Time : 5822.0 sec. user=vaughan [2009-07-11 22:10:39] 577*2^703073-1 is not prime. Res64: 0C9C35599ECD54AF Time : 5681.0 sec. user=vaughan [2009-07-11 22:14:51] 465*2^703074-1 is not prime. Res64: 84848144E6CE7598 Time : 5810.0 sec. user=vaughan [2009-07-11 22:20:33] 543*2^703074-1 is not prime. Res64: E1A2FAAA682FB1C2 Time : 5713.0 sec. user=vaughan [2009-07-11 22:25:16] 573*2^703074-1 is not prime. Res64: 8F76E09D572AFE4E Time : 5847.0 sec. user=vaughan [2009-07-11 22:30:00] 433*2^703075-1 is not prime. Res64: CB3D46DD73408FD9 Time : 5712.0 sec. user=vaughan [2009-07-11 22:35:13] 481*2^703075-1 is not prime. Res64: 8220EE05F2AB3AFD Time : 5872.0 sec. user=vaughan [2009-07-11 22:39:31] 579*2^703075-1 is not prime. Res64: E7E4E4DCD549C3A9 Time : 5711.0 sec. user=vaughan [2009-07-11 22:44:32] 455*2^703076-1 is not prime. Res64: 0734FF5147496919 Time : 5846.0 sec. user=vaughan [2009-07-11 22:48:45] 495*2^703076-1 is not prime. Res64: 346BD0D244783E8E Time : 5712.0 sec. user=vaughan [2009-07-11 22:54:36] 515*2^703076-1 is not prime. Res64: 9B4AD01D1A839532 Time : 5899.0 sec. user=vaughan [2009-07-11 22:58:15] 539*2^703076-1 is not prime. Res64: 7080C8D938FB88A5 Time : 5698.0 sec. user=vaughan [2009-07-11 23:04:41] 563*2^703076-1 is not prime. Res64: A1FF91B8F56A6CB0 Time : 5916.0 sec. user=vaughan [2009-07-11 23:08:01] 405*2^703077-1 is not prime. Res64: 595F249036E9B56D Time : 5733.0 sec. user=vaughan [2009-07-11 23:14:25] 537*2^703077-1 is not prime. Res64: 51B48DD343B4829A Time : 5943.0 sec. user=vaughan [2009-07-11 23:17:16] 595*2^703077-1 is not prime. Res64: B59AB2346926771F Time : 5727.0 sec. user=vaughan [2009-07-11 23:23:45] 453*2^703078-1 is not prime. Res64: B206E50AC2891080 Time : 5892.0 sec. user=vaughan [2009-07-11 23:26:21] 503*2^703078-1 is not prime. Res64: 5F1DB0F0C6354B0F Time : 5684.0 sec. user=vaughan [2009-07-11 23:33:29] 525*2^703078-1 is not prime. Res64: 1836BFD749B07238 Time : 5860.0 sec. user=vaughan [2009-07-11 23:35:53] 445*2^703079-1 is not prime. Res64: 32751B7F6DA45288 Time : 5672.0 sec. user=vaughan [2009-07-11 23:43:24] 565*2^703079-1 is not prime. Res64: 46929F8307009DD0 Time : 5875.0 sec. user=vaughan [2009-07-11 23:45:24] 579*2^703079-1 is not prime. Res64: D61FAAB584FDE982 Time : 5686.0 sec. user=vaughan [2009-07-11 23:52:49] 447*2^703080-1 is not prime. Res64: 4DBB551591ABBDEF Time : 5878.0 sec. user=vaughan [2009-07-11 23:54:42] 537*2^703080-1 is not prime. Res64: AAE58EDC005BC8F2 Time : 5649.0 sec.