user=vaughan [2009-07-21 00:02:39] 563*2^704088-1 is not prime. Res64: 3846A87BFFE5831C Time : 4552.0 sec. user=vaughan [2009-07-21 00:02:55] 421*2^704087-1 is not prime. Res64: 16C4F3EEAF4531B5 Time : 4588.0 sec. user=vaughan [2009-07-21 00:10:14] 535*2^704089-1 is not prime. Res64: 3B8CACB678DA8B70 Time : 4551.0 sec. user=vaughan [2009-07-21 00:10:36] 465*2^704089-1 is not prime. Res64: BB1D0D377DD6E72C Time : 4591.0 sec. user=vaughan [2009-07-21 00:17:49] 567*2^704089-1 is not prime. Res64: 00F2264C217D4D23 Time : 4551.0 sec. user=vaughan [2009-07-21 00:18:16] 547*2^704089-1 is not prime. Res64: D95C507605761EF5 Time : 4591.0 sec. user=vaughan [2009-07-21 00:25:24] 483*2^704090-1 is not prime. Res64: BD31036AB56C4C7D Time : 4550.0 sec. user=vaughan [2009-07-21 00:25:56] 467*2^704090-1 is not prime. Res64: ED3EAC8BD5664B37 Time : 4593.0 sec. user=vaughan [2009-07-21 00:33:00] 439*2^704091-1 is not prime. Res64: 05E04522D344A36E Time : 4551.0 sec. user=vaughan [2009-07-21 00:33:34] 545*2^704090-1 is not prime. Res64: 1AF733F1BD81F601 Time : 4593.0 sec. user=vaughan [2009-07-21 00:40:36] 535*2^704091-1 is not prime. Res64: A7F9363D9272C66D Time : 4553.0 sec. user=vaughan [2009-07-21 00:41:13] 483*2^704091-1 is not prime. Res64: A81E86D96CBE2053 Time : 4593.0 sec. user=vaughan [2009-07-21 00:48:11] 437*2^704092-1 is not prime. Res64: AFCBFA4171762529 Time : 4552.0 sec. user=vaughan [2009-07-21 00:48:52] 489*2^704092-1 is not prime. Res64: D59112D3BE9436FB Time : 4593.0 sec. user=vaughan [2009-07-21 00:55:45] 405*2^704093-1 is not prime. Res64: 4235CA0C004930BC Time : 4552.0 sec. user=vaughan [2009-07-21 00:56:33] 411*2^704093-1 is not prime. Res64: DEBD872020BBC78F Time : 4595.0 sec. user=vaughan [2009-07-21 01:03:20] 451*2^704093-1 is not prime. Res64: FDC46C604B8A9AB4 Time : 4552.0 sec. user=vaughan [2009-07-21 01:04:13] 567*2^704093-1 is not prime. Res64: D21FBE5567B24BFF Time : 4596.0 sec. user=vaughan [2009-07-21 01:10:56] 447*2^704094-1 is not prime. Res64: 84946D25C6C8194F Time : 4552.0 sec. user=vaughan [2009-07-21 01:11:51] 473*2^704094-1 is not prime. Res64: A142F897B209EB0B Time : 4595.0 sec. user=vaughan [2009-07-21 01:18:30] 507*2^704094-1 is not prime. Res64: AE7088A96467446C Time : 4551.0 sec. user=vaughan [2009-07-21 01:19:29] 521*2^704094-1 is not prime. Res64: 4DA1448FD9CA2D21 Time : 4594.0 sec. user=vaughan [2009-07-21 01:26:04] 587*2^704094-1 is not prime. Res64: E1C80A8C34EA3D62 Time : 4550.0 sec. user=vaughan [2009-07-21 01:27:08] 593*2^704094-1 is not prime. Res64: CDF5C875459E9760 Time : 4593.0 sec. user=vaughan [2009-07-21 01:33:38] 411*2^704095-1 is not prime. Res64: F5F8D4092DA837C0 Time : 4549.0 sec. user=vaughan [2009-07-21 01:34:46] 415*2^704095-1 is not prime. Res64: 12231573CFCE1202 Time : 4590.0 sec. user=vaughan [2009-07-21 01:41:12] 421*2^704095-1 is not prime. Res64: 93C1E2FEDCA5228A Time : 4548.0 sec. user=vaughan [2009-07-21 01:42:24] 469*2^704095-1 is not prime. Res64: D22A54C0382E7737 Time : 4588.0 sec. user=vaughan [2009-07-21 01:48:47] 519*2^704095-1 is not prime. Res64: 88282CA79EEEDE50 Time : 4547.0 sec. user=vaughan [2009-07-21 01:50:02] 525*2^704095-1 is not prime. Res64: 8DC3A8E9A0B3EC9E Time : 4588.0 sec. user=vaughan [2009-07-21 01:56:23] 535*2^704095-1 is not prime. Res64: 415EB2C61CA3B1CE Time : 4548.0 sec. user=vaughan [2009-07-21 01:57:41] 553*2^704095-1 is not prime. Res64: 3DEC57C6D8F71DB7 Time : 4588.0 sec. user=vaughan [2009-07-21 02:03:57] 573*2^704095-1 is not prime. Res64: C56C699EC5E87B77 Time : 4546.0 sec. user=vaughan [2009-07-21 02:05:19] 583*2^704095-1 is not prime. Res64: C4C7B69438C4C49D Time : 4587.0 sec. user=vaughan [2009-07-21 02:11:32] 437*2^704096-1 is not prime. Res64: 9D50491CBABAB042 Time : 4547.0 sec. user=vaughan [2009-07-21 02:12:58] 519*2^704096-1 is not prime. Res64: 841ED0730BB5AD42 Time : 4585.0 sec. user=vaughan [2009-07-21 02:19:06] 557*2^704096-1 is not prime. Res64: 2E63810C6AB77E74 Time : 4546.0 sec. user=vaughan [2009-07-21 02:20:37] 593*2^704096-1 is not prime. Res64: 1D41F4EFFDA9ADAB Time : 4584.0 sec. user=vaughan [2009-07-21 02:26:40] 429*2^704097-1 is not prime. Res64: 073F66B6D0B5E3C3 Time : 4544.0 sec. user=vaughan [2009-07-21 02:28:17] 401*2^704098-1 is not prime. Res64: 3447B4A02500A985 Time : 4586.0 sec. user=vaughan [2009-07-21 02:34:14] 483*2^704098-1 is not prime. Res64: BD4D26228075B628 Time : 4544.0 sec. user=vaughan [2009-07-21 02:35:56] 491*2^704098-1 is not prime. Res64: F006D986B4E53B55 Time : 4587.0 sec. user=vaughan [2009-07-21 02:41:48] 551*2^704098-1 is not prime. Res64: 38E3B4777C344B89 Time : 4544.0 sec. user=vaughan [2009-07-21 02:43:33] 549*2^704099-1 is not prime. Res64: 20D84BD677B66F29 Time : 4585.0 sec. user=vaughan [2009-07-21 02:49:23] 579*2^704099-1 is not prime. Res64: 6AD80EE146966585 Time : 4545.0 sec. user=vaughan [2009-07-21 02:51:12] 423*2^704100-1 is not prime. Res64: 4850062C9C9A11A1 Time : 4586.0 sec. user=vaughan [2009-07-21 02:56:57] 455*2^704100-1 is not prime. Res64: 5D5AFF60A149FDE3 Time : 4545.0 sec. user=vaughan [2009-07-21 02:58:51] 527*2^704100-1 is not prime. Res64: 5FFA5118728F6201 Time : 4587.0 sec. user=vaughan [2009-07-21 03:04:31] 537*2^704100-1 is not prime. Res64: BDA4F76B5B60882C Time : 4544.0 sec. user=vaughan [2009-07-21 03:06:29] 441*2^704101-1 is not prime. Res64: 9781CA00C1BD5870 Time : 4587.0 sec. user=vaughan [2009-07-21 03:12:05] 517*2^704101-1 is not prime. Res64: 2F1F6AC3E10957A3 Time : 4543.0 sec. user=vaughan [2009-07-21 03:14:08] 565*2^704101-1 is not prime. Res64: 798DCFBBA921B6E6 Time : 4588.0 sec. user=vaughan [2009-07-21 03:19:39] 407*2^704102-1 is not prime. Res64: D2B800DC40FF124F Time : 4542.0 sec. user=vaughan [2009-07-21 03:21:45] 537*2^704102-1 is not prime. Res64: 77D5E7CF637ED422 Time : 4586.0 sec. user=vaughan [2009-07-21 03:27:14] 501*2^704103-1 is not prime. Res64: FAD9E60C46A73AAF Time : 4542.0 sec. user=vaughan [2009-07-21 03:29:24] 591*2^704103-1 is not prime. Res64: CEB06CBB66C3BC27 Time : 4586.0 sec. user=vaughan [2009-07-21 03:34:48] 597*2^704104-1 is not prime. Res64: 966CFE1DD9A4B9D8 Time : 4542.0 sec. user=vaughan [2009-07-21 03:37:03] 411*2^704105-1 is not prime. Res64: 117DFE6B166034A4 Time : 4587.0 sec. user=vaughan [2009-07-21 03:42:21] 525*2^704105-1 is not prime. Res64: 8B166C9164652C2F Time : 4541.0 sec. user=vaughan [2009-07-21 03:44:44] 535*2^704105-1 is not prime. Res64: 4F2572A5CE2B8BBC Time : 4587.0 sec. user=vaughan [2009-07-21 03:49:53] 537*2^704105-1 is not prime. Res64: EC07317120CF4B1C Time : 4539.0 sec. user=vaughan [2009-07-21 03:52:25] 589*2^704105-1 is not prime. Res64: 20DE3A4373A3CFE0 Time : 4589.0 sec. user=vaughan [2009-07-21 03:57:26] 411*2^704106-1 is not prime. Res64: E1C4DEB4FE5AD38B Time : 4538.0 sec. user=vaughan [2009-07-21 04:00:07] 503*2^704106-1 is not prime. Res64: D3024E0B1B46EB0E Time : 4594.0 sec. user=vaughan [2009-07-21 04:04:58] 527*2^704106-1 is not prime. Res64: 5FA53830E3D714B0 Time : 4535.0 sec. user=vaughan [2009-07-21 04:07:48] 573*2^704106-1 is not prime. Res64: 38056D4D0DCE5B36 Time : 4597.0 sec. user=vaughan [2009-07-21 04:12:30] 587*2^704106-1 is not prime. Res64: 583D6E2E7F9545E6 Time : 4533.0 sec. user=vaughan [2009-07-21 04:15:31] 593*2^704106-1 is not prime. Res64: 960624650F1BDD08 Time : 4601.0 sec. user=vaughan [2009-07-21 04:20:02] 489*2^704107-1 is not prime. Res64: 61F06D942958CB54 Time : 4531.0 sec. user=vaughan [2009-07-21 04:23:12] 493*2^704107-1 is not prime. Res64: 2F6BF8A7DCF3DB0A Time : 4603.0 sec. user=vaughan [2009-07-21 04:27:33] 579*2^704107-1 is not prime. Res64: 87FD5F5CE8AC3B64 Time : 4528.0 sec. user=vaughan [2009-07-21 04:30:55] 413*2^704108-1 is not prime. Res64: C9F1863452D802F6 Time : 4607.0 sec. user=vaughan [2009-07-21 04:35:05] 599*2^704108-1 is not prime. Res64: B86934A075E21972 Time : 4527.0 sec. user=vaughan [2009-07-21 04:38:38] 427*2^704109-1 is not prime. Res64: 819D91A504036997 Time : 4613.0 sec. user=vaughan [2009-07-21 04:42:37] 441*2^704109-1 is not prime. Res64: 83DB473C4CB0AC2E Time : 4524.0 sec. user=vaughan [2009-07-21 04:46:20] 511*2^704109-1 is not prime. Res64: 2224AB2FA61BA882 Time : 4617.0 sec. user=vaughan [2009-07-21 04:50:09] 549*2^704109-1 is not prime. Res64: 210F6758F689770F Time : 4522.0 sec. user=vaughan [2009-07-21 04:54:03] 455*2^704110-1 is not prime. Res64: CCEF92219FC547A7 Time : 4620.0 sec. user=vaughan [2009-07-21 04:57:41] 471*2^704110-1 is not prime. Res64: 6B40E9FB2089AA4A Time : 4521.0 sec. user=vaughan [2009-07-21 05:01:57] 495*2^704110-1 is not prime. Res64: B367F6E3F78AEE7C Time : 4634.0 sec. user=vaughan [2009-07-21 05:05:52] 521*2^704110-1 is not prime. Res64: 8541C0630E506E66 Time : 4560.0 sec. user=vaughan [2009-07-21 05:10:03] 527*2^704110-1 is not prime. Res64: 41FB20729E840F5B Time : 4658.0 sec. user=vaughan [2009-07-21 05:13:24] 593*2^704110-1 is not prime. Res64: 9FDB3CFEAA7742D2 Time : 4559.0 sec. user=vaughan [2009-07-21 05:17:44] 475*2^704111-1 is not prime. Res64: EF5AC4ADABF218AA Time : 4657.0 sec. user=vaughan [2009-07-21 05:20:57] 453*2^704112-1 is not prime. Res64: 24C0391117C05727 Time : 4560.0 sec. user=vaughan [2009-07-21 05:25:26] 497*2^704112-1 is not prime. Res64: 86AD93ECAC0D54C5 Time : 4658.0 sec. user=vaughan [2009-07-21 05:28:29] 557*2^704112-1 is not prime. Res64: B493F6D604D64F12 Time : 4560.0 sec. user=vaughan [2009-07-21 05:33:05] 435*2^704113-1 is not prime. Res64: 062CF4D6615B8DAD Time : 4654.0 sec. user=vaughan [2009-07-21 05:36:01] 597*2^704113-1 is not prime. Res64: ED62CC6B42E7C5E4 Time : 4560.0 sec. user=vaughan [2009-07-21 05:40:44] 411*2^704114-1 is not prime. Res64: 1280A29560F26BA5 Time : 4652.0 sec. user=vaughan [2009-07-21 05:43:35] 431*2^704114-1 is not prime. Res64: 08687E8B1F6852B5 Time : 4562.0 sec. user=vaughan [2009-07-21 05:48:22] 437*2^704114-1 is not prime. Res64: F6D3564AA5F5AFA9 Time : 4648.0 sec. user=vaughan [2009-07-21 05:51:11] 507*2^704114-1 is not prime. Res64: 917EB88028C9644B Time : 4566.0 sec. user=vaughan [2009-07-21 05:56:01] 593*2^704114-1 is not prime. Res64: 1DE5279FCBE0F2C0 Time : 4643.0 sec. user=vaughan [2009-07-21 05:58:47] 469*2^704115-1 is not prime. Res64: 853A06BE12F7EB48 Time : 4570.0 sec. user=vaughan [2009-07-21 06:03:39] 555*2^704115-1 is not prime. Res64: DF289A62045834F0 Time : 4639.0 sec. user=vaughan [2009-07-21 06:06:25] 573*2^704115-1 is not prime. Res64: 0976BEB56267AA48 Time : 4576.0 sec. user=vaughan [2009-07-21 06:11:18] 449*2^704116-1 is not prime. Res64: F34A3D4E80C2EDE7 Time : 4636.0 sec. user=vaughan [2009-07-21 06:13:57] 495*2^704116-1 is not prime. Res64: 0D66373C0215A2B7 Time : 4576.0 sec. user=vaughan [2009-07-21 06:18:56] 587*2^704116-1 is not prime. Res64: 9EFD4391861B969E Time : 4619.0 sec. user=vaughan [2009-07-21 06:21:32] 511*2^704117-1 is not prime. Res64: 23279B9975FC66B3 Time : 4540.0 sec. user=vaughan [2009-07-21 06:26:35] 577*2^704117-1 is not prime. Res64: 4822B526600EF0F2 Time : 4593.0 sec. user=vaughan [2009-07-21 06:29:06] 589*2^704117-1 is not prime. Res64: 189D67EE29EC8224 Time : 4542.0 sec. user=vaughan [2009-07-21 06:34:12] 503*2^704118-1 is not prime. Res64: 388D1C1976520514 Time : 4589.0 sec. user=vaughan [2009-07-21 06:36:41] 429*2^704119-1 is not prime. Res64: 1101F5AEBDDCCC66 Time : 4545.0 sec. user=vaughan [2009-07-21 06:41:50] 433*2^704119-1 is not prime. Res64: 035CC5B5DB573706 Time : 4584.0 sec. user=vaughan [2009-07-21 06:44:15] 493*2^704119-1 is not prime. Res64: D011F7B31658ACD7 Time : 4546.0 sec. user=vaughan [2009-07-21 06:49:27] 505*2^704119-1 is not prime. Res64: 23074383C653C0FC Time : 4582.0 sec. user=vaughan [2009-07-21 06:51:51] 511*2^704119-1 is not prime. Res64: 34D07662E9166F24 Time : 4550.0 sec. user=vaughan [2009-07-21 06:57:05] 531*2^704119-1 is not prime. Res64: A2693D83E6EAD553 Time : 4581.0 sec. user=vaughan [2009-07-21 06:59:25] 555*2^704119-1 is not prime. Res64: 075C6FCBE79C612C Time : 4550.0 sec. user=vaughan [2009-07-21 07:04:42] 561*2^704119-1 is not prime. Res64: 1625D4564CC28650 Time : 4580.0 sec. user=vaughan [2009-07-21 07:07:01] 573*2^704119-1 is not prime. Res64: 0DC039FDA24B85C6 Time : 4550.0 sec. user=vaughan [2009-07-21 07:12:19] 489*2^704120-1 is not prime. Res64: B40E06EFB5C0DF1F Time : 4578.0 sec. user=vaughan [2009-07-21 07:14:35] 495*2^704121-1 is not prime. Res64: 666D1EFFD6C80F91 Time : 4549.0 sec. user=vaughan [2009-07-21 07:19:57] 517*2^704121-1 is not prime. Res64: EEC408530193C38E Time : 4578.0 sec. user=vaughan [2009-07-21 07:22:10] 585*2^704121-1 is not prime. Res64: 65B0C58D35068971 Time : 4545.0 sec. user=vaughan [2009-07-21 07:27:34] 413*2^704122-1 is not prime. Res64: A6EC167BAFA68DC6 Time : 4576.0 sec. user=vaughan [2009-07-21 07:29:46] 567*2^704122-1 is not prime. Res64: E81014CA226BE9F4 Time : 4549.0 sec. user=vaughan [2009-07-21 07:35:11] 581*2^704122-1 is not prime. Res64: D54A79053C4A915F Time : 4575.0 sec. user=vaughan [2009-07-21 07:37:21] 433*2^704123-1 is not prime. Res64: E3091F09413FFB21 Time : 4549.0 sec. user=vaughan [2009-07-21 07:42:50] 445*2^704123-1 is not prime. Res64: 19CB7319092151CA Time : 4576.0 sec. user=vaughan [2009-07-21 07:44:55] 501*2^704123-1 is not prime. Res64: 366BF54513149C72 Time : 4549.0 sec. user=vaughan [2009-07-21 07:50:29] 573*2^704123-1 is not prime. Res64: C678420FFD080B68 Time : 4577.0 sec. user=vaughan [2009-07-21 07:52:29] 447*2^704124-1 is not prime. Res64: 2786649C20264E36 Time : 4548.0 sec. user=vaughan [2009-07-21 07:58:08] 473*2^704124-1 is not prime. Res64: 8F351C4531A135FB Time : 4579.0 sec. user=vaughan [2009-07-21 08:00:04] 479*2^704124-1 is not prime. Res64: 32BACE3DF30BB110 Time : 4549.0 sec. user=vaughan [2009-07-21 08:05:46] 507*2^704124-1 is not prime. Res64: 0208CF44DD81EABB Time : 4579.0 sec. user=vaughan [2009-07-21 08:07:40] 569*2^704124-1 is not prime. Res64: B6E6D67BB4C89E5A Time : 4550.0 sec. user=vaughan [2009-07-21 08:13:26] 411*2^704125-1 is not prime. Res64: 3D5F2E8A8DAF6EDF Time : 4581.0 sec. user=vaughan [2009-07-21 08:15:16] 415*2^704125-1 is not prime. Res64: 1A1196D4DD2903E2 Time : 4552.0 sec. user=vaughan [2009-07-21 08:21:04] 541*2^704125-1 is not prime. Res64: 8804EC5504D844F9 Time : 4582.0 sec. user=vaughan [2009-07-21 08:22:50] 447*2^704126-1 is not prime. Res64: 8FA0FD0E31E9EBE9 Time : 4550.0 sec. user=vaughan [2009-07-21 08:28:43] 433*2^704127-1 is not prime. Res64: 6D3655E7312C0E71 Time : 4584.0 sec. user=vaughan [2009-07-21 08:30:24] 489*2^704127-1 is not prime. Res64: EFFBAB04501232FE Time : 4550.0 sec. user=vaughan [2009-07-21 08:36:21] 513*2^704127-1 is not prime. Res64: 1614F7D10E1926D6 Time : 4584.0 sec. user=vaughan [2009-07-21 08:37:59] 559*2^704127-1 is not prime. Res64: F3ADBFA6E0EC4242 Time : 4550.0 sec. user=vaughan [2009-07-21 08:44:02] 435*2^704128-1 is not prime. Res64: 5882245753011ACE Time : 4588.0 sec. user=vaughan [2009-07-21 08:45:35] 437*2^704128-1 is not prime. Res64: F813F2458E01C5EB Time : 4550.0 sec. user=vaughan [2009-07-21 08:51:40] 509*2^704128-1 is not prime. Res64: BC78FE04A5AB1192 Time : 4589.0 sec. user=vaughan [2009-07-21 08:53:10] 549*2^704128-1 is not prime. Res64: F62BDB3F16A1986D Time : 4549.0 sec. user=vaughan [2009-07-21 08:59:19] 469*2^704129-1 is not prime. Res64: EA83AE3001534D33 Time : 4589.0 sec. user=vaughan [2009-07-21 09:00:45] 559*2^704129-1 is not prime. Res64: FE48E9D99D4577B3 Time : 4550.0 sec. user=vaughan [2009-07-21 09:06:59] 595*2^704129-1 is not prime. Res64: 6DAEA5F375037D07 Time : 4590.0 sec. user=vaughan [2009-07-21 09:08:18] 425*2^704130-1 is not prime. Res64: 10F0A797DD3BD7AC Time : 4549.0 sec. user=vaughan [2009-07-21 09:14:41] 437*2^704130-1 is not prime. Res64: EA1A9B69FDE9207E Time : 4593.0 sec. user=vaughan [2009-07-21 09:15:52] 443*2^704130-1 is not prime. Res64: 120C059352622B16 Time : 4548.0 sec. user=vaughan [2009-07-21 09:22:23] 447*2^704130-1 is not prime. Res64: 129C33AD461256EC Time : 4597.0 sec. user=vaughan [2009-07-21 09:23:24] 495*2^704130-1 is prime! Time : 4545.0 sec. user=vaughan [2009-07-21 09:30:04] 515*2^704130-1 is not prime. Res64: 65043FB3AB5BEA18 Time : 4599.0 sec. user=vaughan [2009-07-21 09:30:57] 537*2^704130-1 is not prime. Res64: ACEB5AA561618AFA Time : 4542.0 sec. user=vaughan [2009-07-21 09:37:46] 405*2^704131-1 is not prime. Res64: 4C9646036A54DBA4 Time : 4602.0 sec. user=vaughan [2009-07-21 09:38:30] 463*2^704131-1 is not prime. Res64: 11F8E9A587D32112 Time : 4541.0 sec. user=vaughan [2009-07-21 09:45:24] 469*2^704131-1 is not prime. Res64: 9140E13D014A66E5 Time : 4601.0 sec. user=vaughan [2009-07-21 09:46:04] 467*2^704132-1 is not prime. Res64: 2959040A7BEB0325 Time : 4540.0 sec. user=vaughan [2009-07-21 09:53:03] 477*2^704132-1 is not prime. Res64: F394999159357417 Time : 4602.0 sec. user=vaughan [2009-07-21 09:53:40] 545*2^704132-1 is not prime. Res64: 9CA68B9643833AEE Time : 4541.0 sec. user=vaughan [2009-07-21 10:00:42] 499*2^704133-1 is not prime. Res64: DE0BEDD3D0452E0C Time : 4601.0 sec. user=vaughan [2009-07-21 10:01:15] 555*2^704133-1 is not prime. Res64: 7DABB3D872DA120F Time : 4540.0 sec. user=vaughan [2009-07-21 10:08:21] 559*2^704133-1 is not prime. Res64: BD5B49FD35466A36 Time : 4601.0 sec. user=vaughan [2009-07-21 10:08:48] 455*2^704134-1 is not prime. Res64: 76364826CDE9979F Time : 4538.0 sec. user=vaughan [2009-07-21 10:15:59] 483*2^704134-1 is not prime. Res64: FB0A89F2A08A9F67 Time : 4600.0 sec. user=vaughan [2009-07-21 10:16:23] 525*2^704134-1 is not prime. Res64: 4A4F449851D82B81 Time : 4538.0 sec. user=vaughan [2009-07-21 10:23:36] 411*2^704135-1 is not prime. Res64: 94E10A283DF7D048 Time : 4597.0 sec. user=vaughan [2009-07-21 10:23:58] 421*2^704135-1 is not prime. Res64: E9BB0A9C03FFE35B Time : 4540.0 sec. user=vaughan [2009-07-21 10:31:14] 433*2^704135-1 is not prime. Res64: C44F29F287C7430E Time : 4593.0 sec. user=vaughan [2009-07-21 10:31:32] 481*2^704135-1 is not prime. Res64: A043BC25503F5E1D Time : 4540.0 sec. user=vaughan [2009-07-21 10:38:52] 579*2^704135-1 is not prime. Res64: 400EFC4A29DFB768 Time : 4589.0 sec. user=vaughan [2009-07-21 10:39:07] 479*2^704136-1 is not prime. Res64: C83987B143B8662C Time : 4543.0 sec. user=vaughan [2009-07-21 10:46:30] 485*2^704136-1 is not prime. Res64: 562E586A6CD673B8 Time : 4586.0 sec. user=vaughan [2009-07-21 10:46:41] 567*2^704136-1 is not prime. Res64: 4F9DBCEB2E8AC559 Time : 4545.0 sec. user=vaughan [2009-07-21 10:54:10] 585*2^704136-1 is not prime. Res64: B0EE70D8AFF9EC53 Time : 4584.0 sec. user=vaughan [2009-07-21 10:54:16] 597*2^704136-1 is not prime. Res64: A39052685FFA269B Time : 4547.0 sec. user=vaughan [2009-07-21 11:01:48] 441*2^704137-1 is not prime. Res64: A4A67EB7B559ECD5 Time : 4584.0 sec. user=vaughan [2009-07-21 11:01:51] 477*2^704137-1 is not prime. Res64: 74989EAB9D7A8916 Time : 4547.0 sec. user=vaughan [2009-07-21 11:09:25] 499*2^704137-1 is not prime. Res64: 0F65DCAC5FF244E2 Time : 4583.0 sec. user=vaughan [2009-07-21 11:09:27] 555*2^704137-1 is not prime. Res64: 181A6DB518775E49 Time : 4547.0 sec. user=vaughan [2009-07-21 11:17:03] 483*2^704138-1 is not prime. Res64: BA6D281CA4F1FA6A Time : 4548.0 sec. user=vaughan [2009-07-21 11:17:04] 431*2^704138-1 is not prime. Res64: 326EF461DA8D5E98 Time : 4583.0 sec. user=vaughan [2009-07-21 11:24:38] 411*2^704139-1 is not prime. Res64: D98A7E450EF0E7EC Time : 4550.0 sec. user=vaughan [2009-07-21 11:24:44] 503*2^704138-1 is not prime. Res64: 4FBF9938E77EB604 Time : 4583.0 sec. user=vaughan [2009-07-21 11:32:13] 595*2^704139-1 is not prime. Res64: 477DAD210D0CFE4E Time : 4550.0 sec. user=vaughan [2009-07-21 11:32:23] 501*2^704139-1 is not prime. Res64: B254677F95F86236 Time : 4584.0 sec. user=vaughan [2009-07-21 11:39:48] 597*2^704140-1 is not prime. Res64: 8685494438161FDF Time : 4550.0 sec. user=vaughan [2009-07-21 11:40:03] 579*2^704140-1 is not prime. Res64: 32ED42CB7EBAAD0F Time : 4587.0 sec. user=vaughan [2009-07-21 11:47:23] 495*2^704141-1 is not prime. Res64: 315C80815B8DBFB4 Time : 4551.0 sec. user=vaughan [2009-07-21 11:47:42] 465*2^704141-1 is not prime. Res64: 65A770AD74F5C233 Time : 4588.0 sec. user=vaughan [2009-07-21 11:54:58] 537*2^704141-1 is not prime. Res64: 2C6C6B1854077D3B Time : 4551.0 sec. user=vaughan [2009-07-21 11:55:22] 529*2^704141-1 is not prime. Res64: CD50AD602E995750 Time : 4590.0 sec. user=vaughan [2009-07-21 12:02:33] 565*2^704141-1 is not prime. Res64: 8976739CB188822F Time : 4552.0 sec. user=vaughan [2009-07-21 12:03:02] 549*2^704141-1 is not prime. Res64: 0DBC37BDF810A299 Time : 4592.0 sec. user=vaughan [2009-07-21 12:10:08] 453*2^704142-1 is not prime. Res64: 443B9C522F2918C8 Time : 4552.0 sec. user=vaughan [2009-07-21 12:10:42] 425*2^704142-1 is not prime. Res64: A0E6604E16324482 Time : 4593.0 sec. user=vaughan [2009-07-21 12:17:43] 537*2^704142-1 is not prime. Res64: 2151556E07A9EE54 Time : 4552.0 sec. user=vaughan [2009-07-21 12:18:21] 503*2^704142-1 is not prime. Res64: C1608FB6B8BCF2F9 Time : 4594.0 sec. user=vaughan [2009-07-21 12:25:16] 441*2^704143-1 is not prime. Res64: C4C97086B8D026F2 Time : 4550.0 sec. user=vaughan [2009-07-21 12:26:01] 439*2^704143-1 is not prime. Res64: C304A4442AB0C06B Time : 4596.0 sec. user=vaughan [2009-07-21 12:32:51] 465*2^704143-1 is not prime. Res64: 6E516014364500AF Time : 4549.0 sec. user=vaughan [2009-07-21 12:33:40] 493*2^704143-1 is not prime. Res64: 84827E85B92124E4 Time : 4596.0 sec. user=vaughan [2009-07-21 12:40:26] 505*2^704143-1 is not prime. Res64: A54338B50D620234 Time : 4549.0 sec. user=vaughan [2009-07-21 12:41:19] 559*2^704143-1 is not prime. Res64: F45B45E1DC177A0F Time : 4595.0 sec. user=vaughan [2009-07-21 12:48:01] 589*2^704143-1 is not prime. Res64: 52FB2B4C24E22DF3 Time : 4548.0 sec. user=vaughan [2009-07-21 12:48:57] 413*2^704144-1 is not prime. Res64: 3353D6E61A8CFAB9 Time : 4594.0 sec. user=vaughan [2009-07-21 12:55:38] 447*2^704144-1 is not prime. Res64: F6DF22553D6AD6FE Time : 4550.0 sec. user=vaughan [2009-07-21 12:56:35] 459*2^704144-1 is not prime. Res64: E5E59E0B0BEF09C5 Time : 4592.0 sec. user=vaughan [2009-07-21 13:03:13] 539*2^704144-1 is not prime. Res64: A99D1D3CBB6FB633 Time : 4550.0 sec. user=vaughan [2009-07-21 13:04:16] 567*2^704144-1 is not prime. Res64: 0F9F8A628441C8D4 Time : 4594.0 sec. user=vaughan [2009-07-21 13:10:48] 511*2^704145-1 is not prime. Res64: 97C01E448022C739 Time : 4550.0 sec. user=vaughan [2009-07-21 13:11:55] 531*2^704145-1 is not prime. Res64: B8037510756FBA63 Time : 4593.0 sec. user=vaughan [2009-07-21 13:18:23] 477*2^704146-1 is not prime. Res64: AF6333ABF5809F25 Time : 4550.0 sec. user=vaughan [2009-07-21 13:19:33] 495*2^704146-1 is not prime. Res64: B3A784A4745A1D63 Time : 4591.0 sec. user=vaughan [2009-07-21 13:25:58] 529*2^704037-1 is not prime. Res64: 810BDA3CB6E4B90C Time : 4551.0 sec. user=vaughan [2009-07-21 13:27:12] 587*2^704146-1 is not prime. Res64: E1A379562B56A0D9 Time : 4590.0 sec. user=vaughan [2009-07-21 13:33:34] 575*2^704038-1 is not prime. Res64: 35AADEC7908DBC77 Time : 4552.0 sec. user=vaughan [2009-07-21 13:34:51] 597*2^704146-1 is not prime. Res64: 20FC574E44F968FB Time : 4590.0 sec. user=vaughan [2009-07-21 13:41:09] 439*2^704147-1 is not prime. Res64: 4E129F40CB1A6442 Time : 4553.0 sec. user=vaughan [2009-07-21 13:42:30] 493*2^704147-1 is not prime. Res64: 02CFC4819B006173 Time : 4589.0 sec. user=vaughan [2009-07-21 13:48:44] 419*2^704148-1 is not prime. Res64: 6B0A1609E49A95B2 Time : 4553.0 sec. user=vaughan [2009-07-21 13:50:09] 527*2^704148-1 is not prime. Res64: 4F8BE3398522330B Time : 4589.0 sec. user=vaughan [2009-07-21 13:56:19] 537*2^704148-1 is not prime. Res64: 68D04BA12852A6BB Time : 4553.0 sec. user=vaughan [2009-07-21 13:57:48] 579*2^704148-1 is not prime. Res64: 57777B46CE91CC7C Time : 4589.0 sec. user=vaughan [2009-07-21 14:03:54] 411*2^704149-1 is not prime. Res64: 90E972B9B3F9351E Time : 4553.0 sec. user=vaughan [2009-07-21 14:05:26] 415*2^704149-1 is not prime. Res64: F3DE523C7E40D87A Time : 4589.0 sec. user=vaughan [2009-07-21 14:11:29] 427*2^704149-1 is not prime. Res64: 51C68742490720EE Time : 4551.0 sec. user=vaughan [2009-07-21 14:13:06] 489*2^704149-1 is not prime. Res64: D363F1259DA15CB8 Time : 4591.0 sec. user=vaughan [2009-07-21 14:19:04] 507*2^704149-1 is not prime. Res64: 78E47C2057584C61 Time : 4551.0 sec. user=vaughan [2009-07-21 14:20:45] 425*2^704150-1 is not prime. Res64: C4282FD2E8732818 Time : 4590.0 sec. user=vaughan [2009-07-21 14:26:39] 567*2^704150-1 is not prime. Res64: 50A3DC4DEBB8EE30 Time : 4551.0 sec. user=vaughan [2009-07-21 14:28:25] 581*2^704150-1 is not prime. Res64: F7EDAE0688361DF1 Time : 4590.0 sec. user=vaughan [2009-07-21 14:34:15] 405*2^704152-1 is not prime. Res64: 7D4281354C8BCCF3 Time : 4552.0 sec. user=vaughan [2009-07-21 14:36:04] 423*2^704152-1 is not prime. Res64: 6148934A5E150A7F Time : 4591.0 sec. user=vaughan [2009-07-21 14:41:50] 569*2^704152-1 is not prime. Res64: 89E561F6F25B5DDB Time : 4552.0 sec. user=vaughan [2009-07-21 14:43:42] 573*2^704152-1 is not prime. Res64: E5152AE0005CC756 Time : 4590.0 sec. user=vaughan [2009-07-21 14:49:26] 405*2^704153-1 is not prime. Res64: 81A93FA22D603898 Time : 4553.0 sec. user=vaughan [2009-07-21 14:51:24] 421*2^704153-1 is not prime. Res64: 178890406DCE6A98 Time : 4593.0 sec. user=vaughan [2009-07-21 14:56:58] 589*2^704153-1 is not prime. Res64: B59ACAA6C2F3CD72 Time : 4550.0 sec. user=vaughan [2009-07-21 14:59:06] 443*2^704154-1 is not prime. Res64: B5A709292129A7D3 Time : 4596.0 sec. user=vaughan [2009-07-21 15:04:30] 473*2^704154-1 is not prime. Res64: 1AD4E61036C03658 Time : 4547.0 sec. user=vaughan [2009-07-21 15:06:47] 485*2^704154-1 is not prime. Res64: 3801B8C30C228F54 Time : 4598.0 sec. user=vaughan [2009-07-21 15:12:02] 531*2^704154-1 is not prime. Res64: D127912E86816338 Time : 4544.0 sec. user=vaughan [2009-07-21 15:14:30] 543*2^704154-1 is not prime. Res64: 0BE0FA5AFA7F6EA5 Time : 4602.0 sec. user=vaughan [2009-07-21 15:19:34] 563*2^704154-1 is not prime. Res64: 2740D7730E863C01 Time : 4540.0 sec. user=vaughan [2009-07-21 15:22:12] 585*2^704154-1 is not prime. Res64: D821ABB9DA75CA90 Time : 4606.0 sec. user=vaughan [2009-07-21 15:27:06] 429*2^704155-1 is not prime. Res64: 419BBF51C910B806 Time : 4537.0 sec. user=vaughan [2009-07-21 15:29:54] 451*2^704155-1 is not prime. Res64: F361C43BDFDF7309 Time : 4609.0 sec. user=vaughan [2009-07-21 15:34:40] 499*2^704155-1 is not prime. Res64: A6119AC165FD38B4 Time : 4536.0 sec. user=vaughan [2009-07-21 15:37:35] 437*2^704156-1 is not prime. Res64: 8BD796676D89AC1F Time : 4611.0 sec. user=vaughan [2009-07-21 15:42:12] 459*2^704156-1 is not prime. Res64: D82CC25D988C773B Time : 4533.0 sec. user=vaughan [2009-07-21 15:45:17] 507*2^704156-1 is not prime. Res64: 9F3A15833ACDDE72 Time : 4612.0 sec. user=vaughan [2009-07-21 15:49:45] 515*2^704156-1 is not prime. Res64: 1E8C614AEA720E52 Time : 4530.0 sec. user=vaughan [2009-07-21 15:52:58] 409*2^704157-1 is not prime. Res64: 7C349266A3F15625 Time : 4614.0 sec. user=vaughan [2009-07-21 15:57:17] 471*2^704157-1 is not prime. Res64: 3229A7BD49466E9A Time : 4527.0 sec. user=vaughan [2009-07-21 16:00:40] 499*2^704157-1 is not prime. Res64: 5F03FF965000932B Time : 4618.0 sec. user=vaughan [2009-07-21 16:04:49] 401*2^704158-1 is not prime. Res64: 2947CD274B18BFE6 Time : 4524.0 sec. user=vaughan [2009-07-21 16:08:23] 453*2^704158-1 is not prime. Res64: DB00C7E7B75A9717 Time : 4619.0 sec. user=vaughan [2009-07-21 16:12:21] 467*2^704158-1 is not prime. Res64: 518A38AE7AD58143 Time : 4523.0 sec. user=vaughan [2009-07-21 16:16:04] 495*2^704158-1 is not prime. Res64: A9C90665E430F1A3 Time : 4618.0 sec. user=vaughan [2009-07-21 16:19:54] 551*2^704158-1 is not prime. Res64: 0CF570C091002409 Time : 4524.0 sec. user=vaughan [2009-07-21 16:23:43] 421*2^704159-1 is not prime. Res64: 6271A5A0829AA951 Time : 4616.0 sec. user=vaughan [2009-07-21 16:27:29] 505*2^704159-1 is not prime. Res64: B2509F80D85C4F10 Time : 4527.0 sec. user=vaughan [2009-07-21 16:31:23] 595*2^704159-1 is not prime. Res64: 595730D7E90F0137 Time : 4614.0 sec. user=vaughan [2009-07-21 16:35:03] 537*2^704160-1 is not prime. Res64: BDEAD039219879C7 Time : 4529.0 sec. user=vaughan [2009-07-21 16:39:01] 411*2^704161-1 is not prime. Res64: BB447A2E0B5605D6 Time : 4610.0 sec. user=vaughan [2009-07-21 16:42:39] 427*2^704161-1 is not prime. Res64: 5BA69DE902DC2E0E Time : 4533.0 sec. user=vaughan [2009-07-21 16:46:42] 429*2^704161-1 is not prime. Res64: E84B8B67283A2FF6 Time : 4609.0 sec. user=vaughan [2009-07-21 16:50:16] 469*2^704161-1 is not prime. Res64: E4D475D8F4E7659C Time : 4537.0 sec. user=vaughan [2009-07-21 16:54:22] 517*2^704161-1 is not prime. Res64: B2949490DD486B31 Time : 4608.0 sec. user=vaughan [2009-07-21 16:57:52] 549*2^704161-1 is not prime. Res64: 3C645B786599D084 Time : 4541.0 sec. user=vaughan [2009-07-21 17:02:02] 405*2^704162-1 is not prime. Res64: B2EF482E753619F4 Time : 4605.0 sec. user=vaughan [2009-07-21 17:05:27] 447*2^704162-1 is not prime. Res64: 87927D89F804D87D Time : 4543.0 sec. user=vaughan [2009-07-21 17:09:41] 483*2^704162-1 is not prime. Res64: 5A32C2984481B683 Time : 4603.0 sec. user=vaughan [2009-07-21 17:13:02] 521*2^704162-1 is not prime. Res64: 508EE02AF1C81C80 Time : 4546.0 sec. user=vaughan [2009-07-21 17:17:21] 415*2^704163-1 is not prime. Res64: 34ABDD60886BA9F1 Time : 4601.0 sec. user=vaughan [2009-07-21 17:20:37] 433*2^704163-1 is not prime. Res64: 8FE6F18F7D8AD517 Time : 4548.0 sec. user=vaughan [2009-07-21 17:25:03] 465*2^704163-1 is not prime. Res64: C531F61552739760 Time : 4600.0 sec. user=vaughan [2009-07-21 17:28:10] 475*2^704163-1 is not prime. Res64: 8D434657E9D10DAF Time : 4549.0 sec. user=vaughan [2009-07-21 17:32:46] 549*2^704164-1 is not prime. Res64: 44038AEDB4B051D1 Time : 4602.0 sec. user=vaughan [2009-07-21 17:35:43] 569*2^704164-1 is not prime. Res64: B093E4815B688779 Time : 4549.0 sec. user=vaughan [2009-07-21 17:40:26] 573*2^704164-1 is not prime. Res64: 6FA26E7FF0FCA56D Time : 4603.0 sec. user=vaughan [2009-07-21 17:43:17] 597*2^704164-1 is not prime. Res64: DB7B1389172044FD Time : 4548.0 sec. user=vaughan [2009-07-21 17:48:05] 589*2^704165-1 is not prime. Res64: 03A2BB81D0B92A14 Time : 4603.0 sec. user=vaughan [2009-07-21 17:50:52] 431*2^704166-1 is not prime. Res64: 78F1E0798C8AA363 Time : 4549.0 sec. user=vaughan [2009-07-21 17:55:44] 453*2^704166-1 is not prime. Res64: 1391736BDFEF4499 Time : 4604.0 sec. user=vaughan [2009-07-21 17:58:26] 513*2^704166-1 is not prime. Res64: 12D812D3A73EDF2F Time : 4547.0 sec. user=vaughan [2009-07-21 18:03:23] 527*2^704166-1 is not prime. Res64: BFF992675FC7E1F8 Time : 4601.0 sec. user=vaughan [2009-07-21 18:06:02] 421*2^704167-1 is not prime. Res64: 56E2E9A18665A643 Time : 4546.0 sec. user=vaughan [2009-07-21 18:11:04] 441*2^704167-1 is not prime. Res64: 598BED1BDB2E51A9 Time : 4602.0 sec. user=vaughan [2009-07-21 18:13:37] 499*2^704167-1 is not prime. Res64: B43F286ECED1100D Time : 4545.0 sec. user=vaughan [2009-07-21 18:18:43] 523*2^704167-1 is not prime. Res64: 6B202F609C10954A Time : 4601.0 sec. user=vaughan [2009-07-21 18:21:13] 555*2^704167-1 is not prime. Res64: F7550260D41B150D Time : 4546.0 sec. user=vaughan [2009-07-21 18:26:22] 595*2^704167-1 is not prime. Res64: 38D845F70EB599D0 Time : 4601.0 sec. user=vaughan [2009-07-21 18:28:48] 405*2^704168-1 is not prime. Res64: 140711C346816C90 Time : 4546.0 sec. user=vaughan [2009-07-21 18:34:01] 449*2^704168-1 is not prime. Res64: 13EC5EEB2DFB1886 Time : 4600.0 sec. user=vaughan [2009-07-21 18:36:23] 459*2^704168-1 is not prime. Res64: 0615CF039A102F72 Time : 4546.0 sec. user=vaughan [2009-07-21 18:41:39] 495*2^704168-1 is not prime. Res64: 071AED9A1F52C485 Time : 4596.0 sec. user=vaughan [2009-07-21 18:43:57] 563*2^704168-1 is not prime. Res64: 1A09ED313B1B3610 Time : 4547.0 sec. user=vaughan [2009-07-21 18:49:19] 441*2^704169-1 is not prime. Res64: 0796DC97184D331C Time : 4593.0 sec. user=vaughan [2009-07-21 18:51:33] 499*2^704169-1 is not prime. Res64: CDE9B7D23188EDB4 Time : 4550.0 sec. user=vaughan [2009-07-21 18:56:59] 405*2^704170-1 is not prime. Res64: B4BFC1A91D1399BD Time : 4593.0 sec. user=vaughan [2009-07-21 18:59:08] 465*2^704171-1 is not prime. Res64: F2F0741D190ACD2E Time : 4551.0 sec. user=vaughan [2009-07-21 19:04:39] 573*2^704171-1 is not prime. Res64: AB1A4DDF32A839FA Time : 4594.0 sec. user=vaughan [2009-07-21 19:06:44] 579*2^704171-1 is not prime. Res64: A0B5B94BFC6BA14B Time : 4552.0 sec. user=vaughan [2009-07-21 19:12:18] 405*2^704172-1 is not prime. Res64: 66B09E1DD088D986 Time : 4594.0 sec. user=vaughan [2009-07-21 19:14:20] 419*2^704172-1 is not prime. Res64: 3A84F8336BF7BA6E Time : 4554.0 sec. user=vaughan [2009-07-21 19:19:59] 459*2^704172-1 is not prime. Res64: 351059952B18AC6A Time : 4596.0 sec. user=vaughan [2009-07-21 19:21:55] 467*2^704172-1 is not prime. Res64: 667494B98A69843D Time : 4553.0 sec. user=vaughan [2009-07-21 19:27:36] 479*2^704172-1 is not prime. Res64: 40820FB7A1138DF7 Time : 4593.0 sec. user=vaughan [2009-07-21 19:29:31] 537*2^704172-1 is not prime. Res64: 93D757D4E83BFA42 Time : 4555.0 sec. user=vaughan [2009-07-21 19:35:12] 579*2^704172-1 is not prime. Res64: C2C5EF5D908AC7EB Time : 4590.0 sec. user=vaughan [2009-07-21 19:37:07] 427*2^704173-1 is not prime. Res64: 5479FCC2B4982B4A Time : 4555.0 sec. user=vaughan [2009-07-21 19:42:52] 429*2^704173-1 is not prime. Res64: 68F445BA9A58429C Time : 4591.0 sec. user=vaughan [2009-07-21 19:44:42] 451*2^704173-1 is not prime. Res64: 73B033A1A97BE6DE Time : 4554.0 sec. user=vaughan [2009-07-21 19:50:30] 489*2^704173-1 is not prime. Res64: B09C07B410374DEB Time : 4589.0 sec. user=vaughan [2009-07-21 19:52:17] 541*2^704173-1 is not prime. Res64: A91AFC16BBCE5422 Time : 4554.0 sec. user=vaughan [2009-07-21 19:58:09] 549*2^704173-1 is not prime. Res64: 37DC6C3115F886E9 Time : 4590.0 sec. user=vaughan [2009-07-21 19:59:53] 435*2^704174-1 is not prime. Res64: 29A32124465E0395 Time : 4556.0 sec. user=vaughan [2009-07-21 20:05:46] 461*2^704174-1 is not prime. Res64: 04884A69CFC09DCF Time : 4587.0 sec. user=vaughan [2009-07-21 20:07:29] 503*2^704174-1 is not prime. Res64: 9973EBAA4D7CC56F Time : 4556.0 sec. user=vaughan [2009-07-21 20:13:28] 563*2^704174-1 is not prime. Res64: 505DF6531982092B Time : 4589.0 sec. user=vaughan [2009-07-21 20:15:04] 415*2^704175-1 is not prime. Res64: CE93465D3C298880 Time : 4556.0 sec. user=vaughan [2009-07-21 20:21:05] 453*2^704175-1 is not prime. Res64: 49D96A6F7971DDB9 Time : 4586.0 sec. user=vaughan [2009-07-21 20:22:39] 489*2^704175-1 is not prime. Res64: A2153C5315A0F825 Time : 4555.0 sec. user=vaughan [2009-07-21 20:28:42] 523*2^704175-1 is not prime. Res64: 47B47B0F84707633 Time : 4584.0 sec. user=vaughan [2009-07-21 20:30:14] 525*2^704176-1 is not prime. Res64: 648E18D9323C9338 Time : 4555.0 sec. user=vaughan [2009-07-21 20:36:20] 567*2^704176-1 is not prime. Res64: 4A32D6EF9CF5896F Time : 4583.0 sec. user=vaughan [2009-07-21 20:37:47] 421*2^704177-1 is not prime. Res64: 943FA7E0E302ABEF Time : 4553.0 sec. user=vaughan [2009-07-21 20:43:59] 511*2^704177-1 is not prime. Res64: 95DB8E74B97CD941 Time : 4584.0 sec. user=vaughan [2009-07-21 20:45:23] 549*2^704177-1 is not prime. Res64: C65724A16649B3A6 Time : 4552.0 sec. user=vaughan [2009-07-21 20:51:39] 559*2^704177-1 is not prime. Res64: FFF39A3A2F3CBB7E Time : 4587.0 sec. user=vaughan [2009-07-21 20:52:57] 571*2^704177-1 is not prime. Res64: 792618524F069CA0 Time : 4550.0 sec. user=vaughan [2009-07-21 20:59:19] 585*2^704177-1 is not prime. Res64: BEF4EA06D25F74BB Time : 4588.0 sec. user=vaughan [2009-07-21 21:00:32] 465*2^704178-1 is not prime. Res64: EACB899AA0D46554 Time : 4551.0 sec. user=vaughan [2009-07-21 21:06:56] 483*2^704178-1 is not prime. Res64: D91D5FE2E3BD3D4D Time : 4586.0 sec. user=vaughan [2009-07-21 21:08:06] 515*2^704178-1 is not prime. Res64: ADD42E4ED840E71D Time : 4549.0 sec. user=vaughan [2009-07-21 21:14:34] 573*2^704178-1 is not prime. Res64: 461AC84D503CD6CE Time : 4585.0 sec. user=vaughan [2009-07-21 21:15:43] 439*2^704179-1 is not prime. Res64: 0E3D18D92E9FB107 Time : 4550.0 sec. user=vaughan [2009-07-21 21:22:11] 511*2^704179-1 is not prime. Res64: 729179185B32F76A Time : 4585.0 sec. user=vaughan [2009-07-21 21:23:19] 531*2^704179-1 is not prime. Res64: 0197ECCB9315A0C5 Time : 4550.0 sec. user=vaughan [2009-07-21 21:29:50] 589*2^704179-1 is not prime. Res64: 5096BF5042ED3BCD Time : 4583.0 sec. user=vaughan [2009-07-21 21:30:56] 495*2^704180-1 is not prime. Res64: 461EDA6BA7C88466 Time : 4552.0 sec. user=vaughan [2009-07-21 21:37:29] 593*2^704180-1 is not prime. Res64: 5653257A0E456698 Time : 4584.0 sec. user=vaughan [2009-07-21 21:38:29] 427*2^704181-1 is not prime. Res64: FC77D404C4AA8C38 Time : 4550.0 sec. user=vaughan [2009-07-21 21:45:07] 469*2^704181-1 is not prime. Res64: 3326357B1C8DE18A Time : 4585.0 sec. user=vaughan [2009-07-21 21:46:04] 529*2^704181-1 is not prime. Res64: A623C37085ACA33C Time : 4550.0 sec. user=vaughan [2009-07-21 21:52:45] 571*2^704181-1 is not prime. Res64: 9737697FCDE29EB8 Time : 4585.0 sec. user=vaughan [2009-07-21 21:53:39] 471*2^704182-1 is not prime. Res64: 0A56EF27F0B013EA Time : 4552.0 sec. user=vaughan [2009-07-21 22:00:25] 513*2^704182-1 is not prime. Res64: F2808A183D1C47C1 Time : 4586.0 sec. user=vaughan [2009-07-21 22:01:14] 591*2^704182-1 is not prime. Res64: 9134F75DB3092CBB Time : 4552.0 sec. user=vaughan [2009-07-21 22:08:03] 423*2^704183-1 is not prime. Res64: 74FE17384FF81E4E Time : 4584.0 sec. user=vaughan [2009-07-21 22:08:50] 451*2^704183-1 is not prime. Res64: 851950ECE1C837B9 Time : 4554.0 sec. user=vaughan [2009-07-21 22:15:41] 463*2^704183-1 is not prime. Res64: 23C5975D4F06B39D Time : 4583.0 sec. user=vaughan [2009-07-21 22:16:25] 493*2^704183-1 is not prime. Res64: DFB69A556B8C3400 Time : 4553.0 sec. user=vaughan [2009-07-21 22:23:22] 505*2^704183-1 is not prime. Res64: BFED67ED6C04AC9A Time : 4586.0 sec. user=vaughan [2009-07-21 22:24:00] 519*2^704183-1 is not prime. Res64: 0276893F7F302CA9 Time : 4554.0 sec. user=vaughan [2009-07-21 22:31:02] 523*2^704183-1 is not prime. Res64: EFCBADE8F644CC82 Time : 4588.0 sec. user=vaughan [2009-07-21 22:31:36] 413*2^704184-1 is not prime. Res64: 50B800F9819A420B Time : 4554.0 sec. user=vaughan [2009-07-21 22:38:40] 455*2^704184-1 is not prime. Res64: C962C0B3B9FE5F3C Time : 4589.0 sec. user=vaughan [2009-07-21 22:39:09] 479*2^704184-1 is not prime. Res64: DE621909C9D877E3 Time : 4551.0 sec. user=vaughan [2009-07-21 22:46:20] 509*2^704184-1 is not prime. Res64: 7E8B457BCBCA630A Time : 4591.0 sec. user=vaughan [2009-07-21 22:46:44] 539*2^704184-1 is not prime. Res64: DA33938DF400C534 Time : 4549.0 sec. user=vaughan [2009-07-21 22:54:00] 589*2^704185-1 is not prime. Res64: FEC885E492AFD18D Time : 4592.0 sec. user=vaughan [2009-07-21 22:54:18] 591*2^704185-1 is not prime. Res64: 8B62CDC4B0CA404E Time : 4549.0 sec. user=vaughan [2009-07-21 23:01:40] 437*2^704186-1 is not prime. Res64: 3122D7E02BFAFCCA Time : 4593.0 sec. user=vaughan [2009-07-21 23:01:53] 495*2^704186-1 is not prime. Res64: ED0586467028C1DB Time : 4549.0 sec. user=vaughan [2009-07-21 23:09:19] 503*2^704186-1 is not prime. Res64: 04761528F6CE5657 Time : 4594.0 sec. user=vaughan [2009-07-21 23:09:27] 537*2^704186-1 is not prime. Res64: 4CC81AD3A72AA9C5 Time : 4548.0 sec. user=vaughan [2009-07-21 23:16:57] 545*2^704186-1 is not prime. Res64: D5FA50B8F41C010D Time : 4592.0 sec. user=vaughan [2009-07-21 23:17:03] 563*2^704186-1 is not prime. Res64: 9BEB82B43FE86ABF Time : 4549.0 sec. user=vaughan [2009-07-21 23:24:35] 567*2^704186-1 is not prime. Res64: 7F6E919BA2A421CB Time : 4592.0 sec. user=vaughan [2009-07-21 23:24:38] 523*2^704187-1 is not prime. Res64: 05B32D4DFA7B36AA Time : 4548.0 sec. user=vaughan [2009-07-21 23:32:13] 529*2^704187-1 is not prime. Res64: 0254ED339140005E Time : 4592.0 sec. user=vaughan [2009-07-21 23:32:13] 555*2^704187-1 is not prime. Res64: 0AFCAB8363F7C608 Time : 4548.0 sec. user=vaughan [2009-07-21 23:39:49] 437*2^704188-1 is not prime. Res64: A30076B969B8BFCA Time : 4549.0 sec. user=vaughan [2009-07-21 23:39:51] 405*2^704188-1 is not prime. Res64: 24CD3930FC04C2D0 Time : 4589.0 sec. user=vaughan [2009-07-21 23:47:24] 483*2^704188-1 is not prime. Res64: A150701EA9ACD9A5 Time : 4549.0 sec. user=vaughan [2009-07-21 23:47:31] 453*2^704188-1 is not prime. Res64: 4612DF012B9CED2D Time : 4589.0 sec. user=vaughan [2009-07-21 23:54:59] 539*2^704188-1 is not prime. Res64: CD77723139B4A3DA Time : 4550.0 sec. user=vaughan [2009-07-21 23:55:08] 533*2^704188-1 is not prime. Res64: AFF0C7D5BF6E6910 Time : 4588.0 sec.