user=vaughan [2009-07-31 00:00:07] 477*2^705142-1 is not prime. Res64: B305CB70A76099D3 Time : 460.0 sec. user=vaughan [2009-07-31 00:02:48] 489*2^705140-1 is not prime. Res64: B5CF4F112A2145FC Time : 1027.0 sec. user=vaughan [2009-07-31 00:02:56] 545*2^705142-1 is not prime. Res64: 85D8855F5E70CF1E Time : 456.0 sec. user=vaughan [2009-07-31 00:05:00] 533*2^705140-1 is not prime. Res64: 7C3998E1BD8377DA Time : 1050.0 sec. user=vaughan [2009-07-31 00:05:04] 495*2^705140-1 is not prime. Res64: D9A83F0F65474A8B Time : 1065.0 sec. user=vaughan [2009-07-31 00:05:28] 571*2^705141-1 is not prime. Res64: 04EF020F629222E8 Time : 1053.0 sec. user=vaughan [2009-07-31 00:07:49] 435*2^705143-1 is not prime. Res64: D15B12550C37EAA4 Time : 462.0 sec. user=vaughan [2009-07-31 00:10:32] 453*2^705143-1 is not prime. Res64: 8421BCF9AE5CEFCB Time : 457.0 sec. user=vaughan [2009-07-31 00:15:33] 589*2^705143-1 is not prime. Res64: 516F3655A6817976 Time : 464.0 sec. user=vaughan [2009-07-31 00:18:08] 413*2^705144-1 is not prime. Res64: 9C9A1A9DD011E86E Time : 456.0 sec. user=vaughan [2009-07-31 00:19:54] 441*2^705143-1 is not prime. Res64: BDC75277BD92B17B Time : 1026.0 sec. user=vaughan [2009-07-31 00:22:13] 481*2^705143-1 is not prime. Res64: F29B9907E34E2A4F Time : 1033.0 sec. user=vaughan [2009-07-31 00:22:26] 559*2^705143-1 is not prime. Res64: F39381C39F20FCDF Time : 1042.0 sec. user=vaughan [2009-07-31 00:22:46] 571*2^705143-1 is not prime. Res64: 5315ECD45F8B6F53 Time : 1038.0 sec. user=vaughan [2009-07-31 00:23:13] 419*2^705144-1 is not prime. Res64: F7A972F3434BF9B6 Time : 460.0 sec. user=vaughan [2009-07-31 00:25:43] 465*2^705144-1 is not prime. Res64: FBD3B613002A8CC9 Time : 455.0 sec. user=vaughan [2009-07-31 00:30:53] 421*2^705145-1 is not prime. Res64: A657212BC59D6082 Time : 460.0 sec. user=vaughan [2009-07-31 00:33:18] 441*2^705145-1 is not prime. Res64: DB3084C8750295FA Time : 455.0 sec. user=vaughan [2009-07-31 00:37:33] 549*2^705144-1 is not prime. Res64: 6AEF48F5AA5D6EB6 Time : 1060.0 sec. user=vaughan [2009-07-31 00:38:35] 525*2^705145-1 is not prime. Res64: 7085A39714324B7E Time : 462.0 sec. user=vaughan [2009-07-31 00:40:11] 567*2^705144-1 is not prime. Res64: 296C7E75ED2EB461 Time : 1079.0 sec. user=vaughan [2009-07-31 00:40:29] 411*2^705145-1 is not prime. Res64: 526A47FB02862759 Time : 1083.0 sec. user=vaughan [2009-07-31 00:40:49] 415*2^705145-1 is not prime. Res64: 51F694A8F93A90B8 Time : 1083.0 sec. user=vaughan [2009-07-31 00:40:54] 535*2^705145-1 is not prime. Res64: AE49B3BDEDCF5889 Time : 456.0 sec. user=vaughan [2009-07-31 00:46:15] 501*2^705146-1 is not prime. Res64: E334D400C44C3FDA Time : 460.0 sec. user=vaughan [2009-07-31 00:48:29] 465*2^705147-1 is not prime. Res64: FD60ED4E82EFBAB7 Time : 455.0 sec. user=vaughan [2009-07-31 00:53:56] 475*2^705147-1 is not prime. Res64: 77C6A1A4E7CB8573 Time : 461.0 sec. user=vaughan [2009-07-31 00:55:31] 405*2^705146-1 is not prime. Res64: C808326E21FDEE99 Time : 1078.0 sec. user=vaughan [2009-07-31 00:56:04] 579*2^705147-1 is not prime. Res64: 3DC9DB864CB93CAE Time : 455.0 sec. user=vaughan [2009-07-31 00:58:14] 503*2^705146-1 is not prime. Res64: 6D0B4751F7676C6A Time : 1083.0 sec. user=vaughan [2009-07-31 00:58:24] 433*2^705147-1 is not prime. Res64: B9A3CB93A39CF8D1 Time : 1075.0 sec. user=vaughan [2009-07-31 00:58:29] 441*2^705147-1 is not prime. Res64: 37506AC2D084DA03 Time : 1060.0 sec. user=vaughan [2009-07-31 01:01:37] 429*2^705148-1 is not prime. Res64: EC58A0AA719DCD61 Time : 461.0 sec. user=vaughan [2009-07-31 01:03:39] 453*2^705148-1 is not prime. Res64: 5894E584652C8D8F Time : 455.0 sec. user=vaughan [2009-07-31 01:09:17] 421*2^705149-1 is not prime. Res64: CAC04B98A1435FEF Time : 460.0 sec. user=vaughan [2009-07-31 01:11:15] 459*2^705149-1 is not prime. Res64: B2622CD32BAAD752 Time : 456.0 sec. user=vaughan [2009-07-31 01:12:32] 449*2^705148-1 is not prime. Res64: D553089B7E6FBD4F Time : 1022.0 sec. user=vaughan [2009-07-31 01:15:17] 485*2^705148-1 is not prime. Res64: 0227B1AE01ED7FD4 Time : 1023.0 sec. user=vaughan [2009-07-31 01:15:28] 507*2^705148-1 is not prime. Res64: 5CB2B16D5523B509 Time : 1024.0 sec. user=vaughan [2009-07-31 01:15:30] 513*2^705148-1 is not prime. Res64: C35A253ACDFD0EBC Time : 1021.0 sec. user=vaughan [2009-07-31 01:16:59] 465*2^705149-1 is not prime. Res64: E20F540416EFFA18 Time : 462.0 sec. user=vaughan [2009-07-31 01:18:50] 489*2^705149-1 is not prime. Res64: B836C7F9FDC779EA Time : 455.0 sec. user=vaughan [2009-07-31 01:24:39] 541*2^705151-1 is not prime. Res64: 863DCB44BD626C4B Time : 460.0 sec. user=vaughan [2009-07-31 01:26:25] 595*2^705151-1 is not prime. Res64: 5B6C0535FEEFA54E Time : 455.0 sec. user=vaughan [2009-07-31 01:30:19] 571*2^705149-1 is not prime. Res64: 62BF71251EA2557A Time : 1068.0 sec. user=vaughan [2009-07-31 01:32:19] 405*2^705152-1 is not prime. Res64: 9845A981688B0220 Time : 460.0 sec. user=vaughan [2009-07-31 01:34:00] 413*2^705152-1 is not prime. Res64: 4649E49ED86A61A9 Time : 455.0 sec. user=vaughan [2009-07-31 01:36:00] 543*2^705150-1 is not prime. Res64: 9EABFAEB5E1CA26E Time : 1243.0 sec. user=vaughan [2009-07-31 01:36:40] 469*2^705151-1 is not prime. Res64: A7CAC8772B7613DE Time : 1270.0 sec. user=vaughan [2009-07-31 01:36:53] 441*2^705151-1 is not prime. Res64: 69A07BA064812223 Time : 1286.0 sec. user=vaughan [2009-07-31 01:39:59] 489*2^705152-1 is not prime. Res64: D0E64A3EB5D1D280 Time : 460.0 sec. user=vaughan [2009-07-31 01:41:35] 567*2^705152-1 is not prime. Res64: F44BF1E26392C7EC Time : 455.0 sec. user=vaughan [2009-07-31 01:47:43] 481*2^705153-1 is not prime. Res64: FD50DBBF826212D8 Time : 464.0 sec. user=vaughan [2009-07-31 01:49:11] 511*2^705153-1 is not prime. Res64: EF072CD6DD26B0A2 Time : 456.0 sec. user=vaughan [2009-07-31 01:55:25] 555*2^705153-1 is not prime. Res64: F6A1A9DB0E7A69CE Time : 462.0 sec. user=vaughan [2009-07-31 01:56:47] 559*2^705153-1 is not prime. Res64: E49A7954178E5851 Time : 456.0 sec. user=vaughan [2009-07-31 02:01:13] 447*2^705152-1 is not prime. Res64: 611195DD6FBBF0CA Time : 1854.0 sec. user=vaughan [2009-07-31 02:03:06] 577*2^705153-1 is not prime. Res64: 22C50D88663540F9 Time : 461.0 sec. user=vaughan [2009-07-31 02:04:22] 411*2^705154-1 is not prime. Res64: C70133A3411BB402 Time : 455.0 sec. user=vaughan [2009-07-31 02:10:46] 477*2^705154-1 is not prime. Res64: AFE892951DB23848 Time : 460.0 sec. user=vaughan [2009-07-31 02:11:33] 585*2^705152-1 is not prime. Res64: 1BCE321871EFAD07 Time : 2133.0 sec. user=vaughan [2009-07-31 02:11:57] 561*2^705154-1 is not prime. Res64: F75E0DF5BFD34D9B Time : 455.0 sec. user=vaughan [2009-07-31 02:12:03] 405*2^705153-1 is not prime. Res64: 4ED5EC884E0B43E7 Time : 2111.0 sec. user=vaughan [2009-07-31 02:12:59] 587*2^705152-1 is not prime. Res64: 56319234890FFFC7 Time : 2179.0 sec. user=vaughan [2009-07-31 02:18:31] 575*2^705154-1 is not prime. Res64: 74B490F2B2E94973 Time : 465.0 sec. user=vaughan [2009-07-31 02:19:33] 489*2^705155-1 is not prime. Res64: FF586D53B9D1F50C Time : 456.0 sec. user=vaughan [2009-07-31 02:26:16] 519*2^705155-1 is not prime. Res64: 7BC4D25E916AFDDE Time : 465.0 sec. user=vaughan [2009-07-31 02:27:09] 595*2^705155-1 is not prime. Res64: C081CD34B909A5D1 Time : 456.0 sec. user=vaughan [2009-07-31 02:33:16] 423*2^705154-1 is not prime. Res64: EF9325603C156AFD Time : 1923.0 sec. user=vaughan [2009-07-31 02:33:56] 453*2^705156-1 is not prime. Res64: B554DB24FA3519E1 Time : 460.0 sec. user=vaughan [2009-07-31 02:34:44] 525*2^705156-1 is not prime. Res64: 1E186C998E459CC1 Time : 455.0 sec. user=vaughan [2009-07-31 02:41:36] 441*2^705157-1 is not prime. Res64: E8712F196F184957 Time : 460.0 sec. user=vaughan [2009-07-31 02:42:19] 499*2^705157-1 is not prime. Res64: 54A82E6380B94AC2 Time : 455.0 sec. user=vaughan [2009-07-31 02:45:29] 465*2^705155-1 is not prime. Res64: DFE5E04DE1BD315C Time : 2036.0 sec. user=vaughan [2009-07-31 02:46:59] 495*2^705155-1 is not prime. Res64: A3C3921F1FD14617 Time : 2096.0 sec. user=vaughan [2009-07-31 02:48:01] 511*2^705155-1 is not prime. Res64: 8D42369D86DC5D6E Time : 2102.0 sec. user=vaughan [2009-07-31 02:49:19] 589*2^705157-1 is not prime. Res64: D69FBDBC47F35CF8 Time : 463.0 sec. user=vaughan [2009-07-31 02:49:56] 461*2^705158-1 is not prime. Res64: 05F5B9DBC62CA074 Time : 457.0 sec. user=vaughan [2009-07-31 02:56:59] 433*2^705159-1 is not prime. Res64: 01ECA0C126EAF0F7 Time : 461.0 sec. user=vaughan [2009-07-31 02:57:30] 571*2^705159-1 is not prime. Res64: 2E5A4437A39476BD Time : 454.0 sec. user=vaughan [2009-07-31 03:04:39] 583*2^705159-1 is not prime. Res64: 1F004E344A1E7845 Time : 461.0 sec. user=vaughan [2009-07-31 03:05:05] 467*2^705160-1 is not prime. Res64: 6F6ABBD9A6594983 Time : 455.0 sec. user=vaughan [2009-07-31 03:07:25] 567*2^705156-1 is not prime. Res64: 121F6E4911A87A6C Time : 2050.0 sec. user=vaughan [2009-07-31 03:12:20] 533*2^705160-1 is not prime. Res64: FF49805A8B16C790 Time : 462.0 sec. user=vaughan [2009-07-31 03:12:40] 587*2^705160-1 is not prime. Res64: 6BC60F590A140FC8 Time : 455.0 sec. user=vaughan [2009-07-31 03:19:09] 507*2^705158-1 is not prime. Res64: 1A25D9E05FE6D5D0 Time : 2021.0 sec. user=vaughan [2009-07-31 03:19:59] 447*2^705161-1 is not prime. Res64: 1DC314F349E4C62F Time : 460.0 sec. user=vaughan [2009-07-31 03:20:15] 517*2^705161-1 is not prime. Res64: 6652980C27A49D19 Time : 455.0 sec. user=vaughan [2009-07-31 03:20:15] 561*2^705158-1 is not prime. Res64: D1726EAE56CAEDF6 Time : 1997.0 sec. user=vaughan [2009-07-31 03:21:26] 411*2^705159-1 is not prime. Res64: C83A27641B26B5B6 Time : 2006.0 sec. user=vaughan [2009-07-31 03:27:40] 549*2^705161-1 is not prime. Res64: C7D5C8E9B8F7B737 Time : 461.0 sec. user=vaughan [2009-07-31 03:27:50] 571*2^705161-1 is not prime. Res64: 5E3432F627BC974C Time : 455.0 sec. user=vaughan [2009-07-31 03:35:21] 581*2^705162-1 is not prime. Res64: 91D0AE18ED465119 Time : 461.0 sec. user=vaughan [2009-07-31 03:35:25] 411*2^705163-1 is not prime. Res64: E1FEF7D1382B551F Time : 455.0 sec. user=vaughan [2009-07-31 03:42:41] 439*2^705161-1 is not prime. Res64: 8DD5C4A08EF82300 Time : 2116.0 sec. user=vaughan [2009-07-31 03:43:00] 489*2^705163-1 is not prime. Res64: 050F89BE03244B7F Time : 455.0 sec. user=vaughan [2009-07-31 03:43:02] 451*2^705163-1 is not prime. Res64: C9F8C71DCD855B49 Time : 461.0 sec. user=vaughan [2009-07-31 03:50:35] 505*2^705163-1 is not prime. Res64: 23FCEFC9B1143BDE Time : 455.0 sec. user=vaughan [2009-07-31 03:50:43] 519*2^705163-1 is not prime. Res64: 6F458AC072BBB45C Time : 461.0 sec. user=vaughan [2009-07-31 03:58:10] 523*2^705163-1 is not prime. Res64: 3F8FB6F54C527E28 Time : 455.0 sec. user=vaughan [2009-07-31 03:58:23] 549*2^705163-1 is not prime. Res64: 9CFAFCF4B699CC00 Time : 460.0 sec. user=vaughan [2009-07-31 04:05:45] 561*2^705163-1 is not prime. Res64: CD04EEC815FD56DE Time : 455.0 sec. user=vaughan [2009-07-31 04:06:04] 573*2^705163-1 is not prime. Res64: 9A39F882A40868F8 Time : 461.0 sec. user=vaughan [2009-07-31 04:13:20] 479*2^705164-1 is not prime. Res64: C7A1E039F5E0B9F4 Time : 455.0 sec. user=vaughan [2009-07-31 04:13:45] 507*2^705164-1 is not prime. Res64: 907225B90F2B3B4C Time : 461.0 sec. user=vaughan [2009-07-31 04:20:56] 557*2^705164-1 is not prime. Res64: 98168DCDD2197F93 Time : 456.0 sec. user=vaughan [2009-07-31 04:21:25] 587*2^705164-1 is not prime. Res64: 54F271670AB9A1DF Time : 460.0 sec. user=vaughan [2009-07-31 04:28:32] 429*2^705165-1 is not prime. Res64: D78FBDA36BCA00C2 Time : 456.0 sec. user=vaughan [2009-07-31 04:29:08] 451*2^705165-1 is not prime. Res64: BD0219E7284398EB Time : 463.0 sec. user=vaughan [2009-07-31 04:32:56] 525*2^705161-1 is not prime. Res64: A88C1058F1617028 Time : 4427.0 sec. user=vaughan [2009-07-31 04:36:08] 459*2^705165-1 is not prime. Res64: A1A486990200F4BC Time : 456.0 sec. user=vaughan [2009-07-31 04:36:28] 507*2^705162-1 is not prime. Res64: 1DBF4D027DD0604A Time : 4573.0 sec. user=vaughan [2009-07-31 04:36:48] 471*2^705165-1 is not prime. Res64: 0A291C18B3E412E2 Time : 460.0 sec. user=vaughan [2009-07-31 04:43:43] 591*2^705165-1 is not prime. Res64: 9A48B4F2D329C56D Time : 455.0 sec. user=vaughan [2009-07-31 04:44:28] 453*2^705166-1 is not prime. Res64: 5C04D8A4A0BE93FC Time : 460.0 sec. user=vaughan [2009-07-31 04:49:21] 567*2^705162-1 is not prime. Res64: 91FC32D1871ED4CC Time : 5275.0 sec. user=vaughan [2009-07-31 04:51:18] 513*2^705166-1 is not prime. Res64: B3D09EDF53CB1650 Time : 455.0 sec. user=vaughan [2009-07-31 04:52:08] 561*2^705166-1 is not prime. Res64: 1B84D093B9154A40 Time : 460.0 sec. user=vaughan [2009-07-31 04:58:53] 421*2^705167-1 is not prime. Res64: A7590FBC7B0D27B7 Time : 455.0 sec. user=vaughan [2009-07-31 04:59:48] 433*2^705167-1 is not prime. Res64: 21091246EAD9A2DD Time : 460.0 sec. user=vaughan [2009-07-31 05:06:28] 505*2^705167-1 is not prime. Res64: F0F155794DADCC9A Time : 455.0 sec. user=vaughan [2009-07-31 05:07:27] 549*2^705167-1 is not prime. Res64: 985D354BA39D643D Time : 459.0 sec. user=vaughan [2009-07-31 05:12:34] 499*2^705163-1 is not prime. Res64: 22A7506DF8016425 Time : 5393.0 sec. user=vaughan [2009-07-31 05:14:03] 573*2^705167-1 is not prime. Res64: 539F140B8C8D2445 Time : 455.0 sec. user=vaughan [2009-07-31 05:15:07] 405*2^705168-1 is not prime. Res64: 4AC785EC7B83C57E Time : 460.0 sec. user=vaughan [2009-07-31 05:21:38] 539*2^705168-1 is not prime. Res64: 4121A3029AFF27AD Time : 455.0 sec. user=vaughan [2009-07-31 05:22:47] 435*2^705169-1 is not prime. Res64: 02FD8B9E7A7198B7 Time : 460.0 sec. user=vaughan [2009-07-31 05:26:53] 579*2^705165-1 is not prime. Res64: 7977959379F0BDD3 Time : 3237.0 sec. user=vaughan [2009-07-31 05:27:02] 443*2^705166-1 is not prime. Res64: 63B3A52017FF3747 Time : 3035.0 sec. user=vaughan [2009-07-31 05:28:58] 567*2^705166-1 is not prime. Res64: AF43699FA40B7085 Time : 2378.0 sec. user=vaughan [2009-07-31 05:29:13] 479*2^705036-1 is not prime. Res64: 503DB8CB9ABF330F Time : 455.0 sec. user=vaughan [2009-07-31 05:30:28] 535*2^705169-1 is not prime. Res64: 2D3793BE383C6BDB Time : 461.0 sec. user=vaughan [2009-07-31 05:36:48] 533*2^705170-1 is not prime. Res64: 6123E189150FB9CE Time : 455.0 sec. user=vaughan [2009-07-31 05:38:08] 581*2^705170-1 is not prime. Res64: E14258DA4CD71808 Time : 460.0 sec. user=vaughan [2009-07-31 05:44:23] 403*2^705171-1 is not prime. Res64: B5F19221C9C79208 Time : 455.0 sec. user=vaughan [2009-07-31 05:45:48] 475*2^705171-1 is not prime. Res64: E69B0BDD6534CE05 Time : 460.0 sec. user=vaughan [2009-07-31 05:51:58] 535*2^705171-1 is not prime. Res64: 6E89FD3EB9B3F2DF Time : 455.0 sec. user=vaughan [2009-07-31 05:52:09] 485*2^705168-1 is not prime. Res64: CC6739F7EEB34CA4 Time : 2375.0 sec. user=vaughan [2009-07-31 05:53:28] 447*2^705172-1 is not prime. Res64: D54A44055A78ECFA Time : 460.0 sec. user=vaughan [2009-07-31 05:59:33] 455*2^705172-1 is not prime. Res64: 413A719409C2AE31 Time : 455.0 sec. user=vaughan [2009-07-31 06:01:08] 569*2^705172-1 is not prime. Res64: 4FB5CA0595BF2146 Time : 460.0 sec. user=vaughan [2009-07-31 06:05:29] 477*2^705170-1 is not prime. Res64: BC437C5753041417 Time : 2308.0 sec. user=vaughan [2009-07-31 06:05:46] 597*2^705169-1 is not prime. Res64: 549008110C06744F Time : 2333.0 sec. user=vaughan [2009-07-31 06:07:09] 439*2^705173-1 is not prime. Res64: 242B6155B864D542 Time : 456.0 sec. user=vaughan [2009-07-31 06:07:32] 495*2^705170-1 is not prime. Res64: 0D1C76CE52491154 Time : 2314.0 sec. user=vaughan [2009-07-31 06:08:47] 475*2^705173-1 is not prime. Res64: E4884AF852F7EDDA Time : 459.0 sec. user=vaughan [2009-07-31 06:14:45] 425*2^705174-1 is not prime. Res64: 4FB71E0C9EF65E77 Time : 456.0 sec. user=vaughan [2009-07-31 06:16:27] 443*2^705174-1 is not prime. Res64: 3FB56B73FFEFB481 Time : 460.0 sec. user=vaughan [2009-07-31 06:22:20] 447*2^705174-1 is not prime. Res64: 5DD8A53C3E6E9045 Time : 455.0 sec. user=vaughan [2009-07-31 06:24:06] 473*2^705174-1 is not prime. Res64: 6E09E666D126EC1E Time : 459.0 sec. user=vaughan [2009-07-31 06:29:55] 521*2^705174-1 is not prime. Res64: C57C446522312830 Time : 455.0 sec. user=vaughan [2009-07-31 06:30:24] 567*2^705172-1 is not prime. Res64: 0178F60A57018074 Time : 2295.0 sec. user=vaughan [2009-07-31 06:31:46] 585*2^705174-1 is not prime. Res64: 168B2589DB7AE6F8 Time : 460.0 sec. user=vaughan [2009-07-31 06:37:30] 587*2^705174-1 is not prime. Res64: 7927A267AC6F1EDE Time : 455.0 sec. user=vaughan [2009-07-31 06:39:26] 489*2^705175-1 is not prime. Res64: D420872F8D39DF7E Time : 460.0 sec. user=vaughan [2009-07-31 06:42:57] 517*2^705173-1 is not prime. Res64: 693E90D96CE06A81 Time : 2248.0 sec. user=vaughan [2009-07-31 06:43:23] 565*2^705173-1 is not prime. Res64: D863E174C5B04A05 Time : 2258.0 sec. user=vaughan [2009-07-31 06:44:55] 437*2^705174-1 is not prime. Res64: 7BBE7155DCCB1383 Time : 2243.0 sec. user=vaughan [2009-07-31 06:45:05] 425*2^705176-1 is not prime. Res64: B271AF32D0C1D641 Time : 455.0 sec. user=vaughan [2009-07-31 06:47:06] 449*2^705176-1 is not prime. Res64: DED5FFED33053478 Time : 461.0 sec. user=vaughan [2009-07-31 06:52:40] 441*2^705177-1 is not prime. Res64: 309DA5FF311D268A Time : 455.0 sec. user=vaughan [2009-07-31 06:54:47] 465*2^705177-1 is not prime. Res64: 8E53D86B9CED1521 Time : 461.0 sec. user=vaughan [2009-07-31 07:00:15] 471*2^705177-1 is not prime. Res64: A0325EE652447097 Time : 455.0 sec. user=vaughan [2009-07-31 07:02:28] 475*2^705177-1 is not prime. Res64: 5454C44CD1B16446 Time : 461.0 sec. user=vaughan [2009-07-31 07:07:50] 495*2^705177-1 is not prime. Res64: 6F81411F7058E66B Time : 455.0 sec. user=vaughan [2009-07-31 07:07:59] 415*2^705175-1 is not prime. Res64: 6481079233DB74EA Time : 2255.0 sec. user=vaughan [2009-07-31 07:10:10] 517*2^705177-1 is not prime. Res64: A8781E87B3AFA6A7 Time : 462.0 sec. user=vaughan [2009-07-31 07:15:26] 579*2^705177-1 is not prime. Res64: E12A0B397FB54D21 Time : 456.0 sec. user=vaughan [2009-07-31 07:17:52] 573*2^705178-1 is not prime. Res64: 4EC44E93B8F467FE Time : 462.0 sec. user=vaughan [2009-07-31 07:22:18] 479*2^705176-1 is not prime. Res64: 8AB20C53EC5A5545 Time : 2361.0 sec. user=vaughan [2009-07-31 07:23:01] 539*2^705176-1 is not prime. Res64: ED7253D197DC685A Time : 2378.0 sec. user=vaughan [2009-07-31 07:23:01] 403*2^705179-1 is not prime. Res64: A937802D40216011 Time : 455.0 sec. user=vaughan [2009-07-31 07:24:12] 563*2^705176-1 is not prime. Res64: DC33B53C7E5B20B4 Time : 2357.0 sec. user=vaughan [2009-07-31 07:25:32] 445*2^705179-1 is not prime. Res64: 411038F34E95E1A7 Time : 460.0 sec. user=vaughan [2009-07-31 07:30:36] 479*2^705180-1 is not prime. Res64: B858BC065E3DCFF6 Time : 455.0 sec. user=vaughan [2009-07-31 07:33:12] 515*2^705180-1 is not prime. Res64: 9FAABAA8D9A5D9BA Time : 460.0 sec. user=vaughan [2009-07-31 07:38:11] 527*2^705180-1 is not prime. Res64: 98CA23734ED752B3 Time : 455.0 sec. user=vaughan [2009-07-31 07:40:53] 537*2^705180-1 is not prime. Res64: A475FF844585209A Time : 461.0 sec. user=vaughan [2009-07-31 07:41:43] 551*2^705178-1 is not prime. Res64: 818091D07730ADC9 Time : 2025.0 sec. user=vaughan [2009-07-31 07:45:46] 579*2^705180-1 is not prime. Res64: 6F8F7DB81CF6917F Time : 455.0 sec. user=vaughan [2009-07-31 07:48:33] 585*2^705180-1 is not prime. Res64: D3B73F4451CB0E4C Time : 460.0 sec. user=vaughan [2009-07-31 07:53:22] 415*2^705181-1 is not prime. Res64: E776789497C2644B Time : 456.0 sec. user=vaughan [2009-07-31 07:56:11] 405*2^705180-1 is not prime. Res64: 43651D97252995D3 Time : 2033.0 sec. user=vaughan [2009-07-31 07:56:13] 499*2^705181-1 is not prime. Res64: F420A6212DE0A8C9 Time : 460.0 sec. user=vaughan [2009-07-31 07:57:01] 455*2^705180-1 is not prime. Res64: 20429BFF6C3E8049 Time : 2040.0 sec. user=vaughan [2009-07-31 07:58:27] 483*2^705180-1 is not prime. Res64: 051B3D51AA543FB4 Time : 2055.0 sec. user=vaughan [2009-07-31 08:00:57] 547*2^705181-1 is not prime. Res64: 5C48D4D2267B691F Time : 455.0 sec. user=vaughan [2009-07-31 08:03:54] 561*2^705181-1 is not prime. Res64: 1CF5E5A5A1D615BE Time : 461.0 sec. user=vaughan [2009-07-31 08:08:32] 411*2^705183-1 is not prime. Res64: 093E33FDDFCC028F Time : 455.0 sec. user=vaughan [2009-07-31 08:11:35] 415*2^705183-1 is not prime. Res64: 9D25B2D8432CE46D Time : 461.0 sec. user=vaughan [2009-07-31 08:16:07] 489*2^705183-1 is not prime. Res64: 938BDD3183AE7E74 Time : 455.0 sec. user=vaughan [2009-07-31 08:19:16] 541*2^705183-1 is not prime. Res64: C6B3D84020A36533 Time : 461.0 sec. user=vaughan [2009-07-31 08:19:42] 405*2^705181-1 is not prime. Res64: 6DBD2E14FCDFAE85 Time : 2279.0 sec. user=vaughan [2009-07-31 08:23:43] 583*2^705183-1 is not prime. Res64: C76D122B97E500D2 Time : 456.0 sec. user=vaughan [2009-07-31 08:26:55] 495*2^705184-1 is not prime. Res64: F0BE921A2349222F Time : 460.0 sec. user=vaughan [2009-07-31 08:29:09] 549*2^705181-1 is not prime. Res64: E30B8389B8900F0E Time : 1978.0 sec. user=vaughan [2009-07-31 08:29:38] 405*2^705182-1 is not prime. Res64: E8EC3EC421A10493 Time : 1957.0 sec. user=vaughan [2009-07-31 08:31:16] 437*2^705182-1 is not prime. Res64: B6C9CCC2A65642F0 Time : 1969.0 sec. user=vaughan [2009-07-31 08:31:19] 533*2^705184-1 is not prime. Res64: DEB7F96CC8EB46B0 Time : 456.0 sec. user=vaughan [2009-07-31 08:34:35] 539*2^705184-1 is not prime. Res64: 3B854D4BB6F100B7 Time : 461.0 sec. user=vaughan [2009-07-31 08:38:55] 567*2^705185-1 is not prime. Res64: B420BB3F025EFB19 Time : 456.0 sec. user=vaughan [2009-07-31 08:42:15] 465*2^705186-1 is not prime. Res64: 86A43337D0438A23 Time : 460.0 sec. user=vaughan [2009-07-31 08:46:10] 507*2^705184-1 is not prime. Res64: 989721A2C309BA98 Time : 1588.0 sec. user=vaughan [2009-07-31 08:46:30] 473*2^705186-1 is not prime. Res64: DBD16A18F1DB3CA3 Time : 455.0 sec. user=vaughan [2009-07-31 08:49:55] 497*2^705186-1 is not prime. Res64: 2D914A0871D5462F Time : 460.0 sec. user=vaughan [2009-07-31 08:54:06] 573*2^705186-1 is not prime. Res64: 74BDEA4C2309DC3C Time : 456.0 sec. user=vaughan [2009-07-31 08:55:33] 525*2^705185-1 is not prime. Res64: B09D5C5CB112A369 Time : 1555.0 sec. user=vaughan [2009-07-31 08:56:00] 465*2^705185-1 is not prime. Res64: C84E201A94BD0778 Time : 1611.0 sec. user=vaughan [2009-07-31 08:57:34] 405*2^705187-1 is not prime. Res64: DD212EA7EAFCB529 Time : 459.0 sec. user=vaughan [2009-07-31 08:57:43] 547*2^705185-1 is not prime. Res64: C466E0141D9A9CBE Time : 1588.0 sec. user=vaughan [2009-07-31 09:01:42] 465*2^705187-1 is not prime. Res64: 90CB2FE26015DA07 Time : 456.0 sec. user=vaughan [2009-07-31 09:05:14] 519*2^705187-1 is not prime. Res64: 308AF129B0E61C18 Time : 460.0 sec. user=vaughan [2009-07-31 09:08:18] 513*2^705186-1 is not prime. Res64: 568D7DAB30C05BED Time : 1328.0 sec. user=vaughan [2009-07-31 09:09:17] 595*2^705187-1 is not prime. Res64: EA07320564B9F6AB Time : 455.0 sec. user=vaughan [2009-07-31 09:12:54] 413*2^705188-1 is not prime. Res64: 4ADF271B2E131008 Time : 460.0 sec. user=vaughan [2009-07-31 09:15:58] 495*2^705187-1 is not prime. Res64: C527C46AB6BAEF52 Time : 1225.0 sec. user=vaughan [2009-07-31 09:16:20] 511*2^705187-1 is not prime. Res64: 1E0304485353CBED Time : 1220.0 sec. user=vaughan [2009-07-31 09:16:53] 459*2^705188-1 is not prime. Res64: C67B7AB349AF4C35 Time : 456.0 sec. user=vaughan [2009-07-31 09:17:34] 583*2^705187-1 is not prime. Res64: 60F404B53BE472BE Time : 1191.0 sec. user=vaughan [2009-07-31 09:20:34] 489*2^705188-1 is not prime. Res64: 9D55C2A8C387CDFA Time : 460.0 sec. user=vaughan [2009-07-31 09:24:28] 557*2^705188-1 is not prime. Res64: C5D6C2AA130E953E Time : 456.0 sec. user=vaughan [2009-07-31 09:28:14] 457*2^705189-1 is not prime. Res64: 8986E5449575A59E Time : 460.0 sec. user=vaughan [2009-07-31 09:32:02] 511*2^705189-1 is not prime. Res64: BD6FC22A05DC3EE0 Time : 454.0 sec. user=vaughan [2009-07-31 09:34:26] 449*2^705188-1 is not prime. Res64: 1D8BBC30A4E26E86 Time : 1569.0 sec. user=vaughan [2009-07-31 09:36:01] 549*2^705189-1 is not prime. Res64: 8573B1CCAC36C4D7 Time : 467.0 sec. user=vaughan [2009-07-31 09:39:35] 559*2^705189-1 is not prime. Res64: D72E4118903E9F08 Time : 453.0 sec. user=vaughan [2009-07-31 09:43:43] 401*2^705190-1 is not prime. Res64: D546D59B7E2B26FB Time : 467.0 sec. user=vaughan [2009-07-31 09:46:46] 495*2^705188-1 is not prime. Res64: 23125E7E595F2C7E Time : 1848.0 sec. user=vaughan [2009-07-31 09:47:10] 467*2^705190-1 is not prime. Res64: 6EAD44318B09EEE5 Time : 455.0 sec. user=vaughan [2009-07-31 09:47:26] 515*2^705188-1 is not prime. Res64: 2AAC5AF463382226 Time : 1866.0 sec. user=vaughan [2009-07-31 09:49:47] 441*2^705189-1 is not prime. Res64: 3EF4333A90BC5BB0 Time : 1933.0 sec. user=vaughan [2009-07-31 09:51:25] 483*2^705190-1 is not prime. Res64: A6136D623C5C5463 Time : 462.0 sec. user=vaughan [2009-07-31 09:54:43] 527*2^705190-1 is not prime. Res64: 12180A05ACE3592B Time : 453.0 sec. user=vaughan [2009-07-31 09:59:07] 493*2^705191-1 is not prime. Res64: F0F836726F229D00 Time : 462.0 sec. user=vaughan [2009-07-31 10:02:15] 531*2^705191-1 is not prime. Res64: 832F8555B76D31B3 Time : 452.0 sec. user=vaughan [2009-07-31 10:06:51] 559*2^705191-1 is not prime. Res64: 494CFFF52B319A72 Time : 464.0 sec. user=vaughan [2009-07-31 10:09:48] 579*2^705191-1 is not prime. Res64: D4B6CD0236ADE613 Time : 453.0 sec. user=vaughan [2009-07-31 10:10:48] 565*2^705189-1 is not prime. Res64: 7AE2CD6DA4BAB3C5 Time : 2183.0 sec. user=vaughan [2009-07-31 10:14:33] 585*2^705191-1 is not prime. Res64: F79C1AD860E261A7 Time : 463.0 sec. user=vaughan [2009-07-31 10:17:20] 425*2^705192-1 is not prime. Res64: D9AEB0AF6FF7263D Time : 452.0 sec. user=vaughan [2009-07-31 10:22:17] 525*2^705192-1 is not prime. Res64: 32A891E11B6D201B Time : 464.0 sec. user=vaughan [2009-07-31 10:24:53] 527*2^705192-1 is not prime. Res64: 8E5435949FD15430 Time : 453.0 sec. user=vaughan [2009-07-31 10:26:23] 513*2^705190-1 is not prime. Res64: 70DC3687C0E249BC Time : 2378.0 sec. user=vaughan [2009-07-31 10:26:57] 555*2^705190-1 is not prime. Res64: A2936F2C3145247A Time : 2372.0 sec. user=vaughan [2009-07-31 10:29:32] 567*2^705190-1 is not prime. Res64: CCBDB973608688A2 Time : 2385.0 sec. user=vaughan [2009-07-31 10:30:00] 557*2^705192-1 is not prime. Res64: 0E2C8AE1F7061C55 Time : 464.0 sec. user=vaughan [2009-07-31 10:32:26] 569*2^705192-1 is not prime. Res64: 0F054230DEADF805 Time : 453.0 sec. user=vaughan [2009-07-31 10:37:43] 511*2^705193-1 is not prime. Res64: AD2D399979CF6446 Time : 463.0 sec. user=vaughan [2009-07-31 10:39:59] 591*2^705193-1 is not prime. Res64: D739CBECDFBF40A3 Time : 453.0 sec. user=vaughan [2009-07-31 10:45:26] 417*2^705194-1 is not prime. Res64: 539FE2A8414BB87F Time : 464.0 sec. user=vaughan [2009-07-31 10:47:32] 545*2^705194-1 is not prime. Res64: B373DE0297670A51 Time : 453.0 sec. user=vaughan [2009-07-31 10:50:06] 515*2^705192-1 is not prime. Res64: 036A404645BE7D59 Time : 2358.0 sec. user=vaughan [2009-07-31 10:53:08] 405*2^705195-1 is not prime. Res64: 3C8E188DFBE9A2A5 Time : 462.0 sec. user=vaughan [2009-07-31 10:55:05] 415*2^705195-1 is not prime. Res64: E3A31CBC3B9CDBE9 Time : 453.0 sec. user=vaughan [2009-07-31 10:58:30] 585*2^705192-1 is not prime. Res64: E83BDC06FCEBEF27 Time : 1927.0 sec. user=vaughan [2009-07-31 10:58:40] 421*2^705193-1 is not prime. Res64: D0373EC9552CB047 Time : 1903.0 sec. user=vaughan [2009-07-31 11:00:44] 435*2^705193-1 is not prime. Res64: B79DA4A6EBC5C7A9 Time : 1873.0 sec. user=vaughan [2009-07-31 11:00:50] 459*2^705195-1 is not prime. Res64: 3E3054875DCAD588 Time : 462.0 sec. user=vaughan [2009-07-31 11:02:38] 465*2^705195-1 is not prime. Res64: 26A7858CB7FC14EF Time : 453.0 sec. user=vaughan [2009-07-31 11:08:33] 507*2^705196-1 is not prime. Res64: 05402D0440AECA40 Time : 463.0 sec. user=vaughan [2009-07-31 11:10:11] 435*2^705197-1 is not prime. Res64: 3806A391FEE49C68 Time : 453.0 sec. user=vaughan [2009-07-31 11:13:30] 429*2^705195-1 is not prime. Res64: 0BD7FCB8EB3978DE Time : 1404.0 sec. user=vaughan [2009-07-31 11:16:16] 447*2^705197-1 is not prime. Res64: 6E36E9ECFD8807CD Time : 463.0 sec. user=vaughan [2009-07-31 11:17:44] 519*2^705197-1 is not prime. Res64: 7929FE3E11FE5D5C Time : 453.0 sec. user=vaughan [2009-07-31 11:21:46] 481*2^705195-1 is not prime. Res64: FA6561E5A342006A Time : 1396.0 sec. user=vaughan [2009-07-31 11:21:50] 511*2^705195-1 is not prime. Res64: 1BB254220FB6B46A Time : 1390.0 sec. user=vaughan [2009-07-31 11:23:11] 573*2^705195-1 is not prime. Res64: 210FA7C5E7E93775 Time : 1347.0 sec. user=vaughan [2009-07-31 11:23:59] 581*2^705198-1 is not prime. Res64: E416754418E737F4 Time : 463.0 sec. user=vaughan [2009-07-31 11:25:17] 591*2^705198-1 is not prime. Res64: A0BF566743F1BD5D Time : 453.0 sec. user=vaughan [2009-07-31 11:31:42] 563*2^705200-1 is not prime. Res64: A2562D90DAABD93B Time : 463.0 sec. user=vaughan [2009-07-31 11:32:10] 461*2^705198-1 is not prime. Res64: 91DFDAFC22E96A9C Time : 1120.0 sec. user=vaughan [2009-07-31 11:32:50] 599*2^705200-1 is not prime. Res64: C89702343816D42E Time : 453.0 sec. user=vaughan [2009-07-31 11:39:27] 441*2^705201-1 is not prime. Res64: E13D5F95640D610D Time : 465.0 sec. user=vaughan [2009-07-31 11:40:10] 531*2^705199-1 is not prime. Res64: E6CBEBEE2D348E17 Time : 1104.0 sec. user=vaughan [2009-07-31 11:40:23] 579*2^705199-1 is not prime. Res64: F7C544E6A4E24509 Time : 1113.0 sec. user=vaughan [2009-07-31 11:40:30] 495*2^705201-1 is not prime. Res64: 3931A83188CCC686 Time : 460.0 sec. user=vaughan [2009-07-31 11:41:51] 455*2^705200-1 is not prime. Res64: 9F69FEB9EC2BC509 Time : 1121.0 sec. user=vaughan [2009-07-31 11:47:08] 525*2^705202-1 is not prime. Res64: 6681E4E5A791B972 Time : 461.0 sec. user=vaughan [2009-07-31 11:48:06] 525*2^705204-1 is not prime. Res64: 13FB3C5EDA3FE102 Time : 456.0 sec. user=vaughan [2009-07-31 11:50:36] 475*2^705201-1 is not prime. Res64: 69E7BF8A81EED29F Time : 1106.0 sec. user=vaughan [2009-07-31 11:54:48] 563*2^705204-1 is not prime. Res64: C7E48B5E3643D898 Time : 461.0 sec. user=vaughan [2009-07-31 11:55:41] 579*2^705204-1 is not prime. Res64: 981171FE3BCB8860 Time : 456.0 sec. user=vaughan [2009-07-31 11:58:49] 435*2^705203-1 is not prime. Res64: 7B2540C2A3DD9A17 Time : 1119.0 sec. user=vaughan [2009-07-31 11:59:18] 571*2^705203-1 is not prime. Res64: A37D30C7E64CF1A5 Time : 1135.0 sec. user=vaughan [2009-07-31 12:00:33] 555*2^705204-1 is not prime. Res64: 8684E80B61CA90FA Time : 1122.0 sec. user=vaughan [2009-07-31 12:02:28] 451*2^705205-1 is not prime. Res64: 8A813BD50A3EA0B8 Time : 461.0 sec. user=vaughan [2009-07-31 12:03:16] 507*2^705205-1 is not prime. Res64: 258A1E42CD2EBC0A Time : 455.0 sec. user=vaughan [2009-07-31 12:08:43] 411*2^705205-1 is not prime. Res64: 204765F97592832A Time : 1087.0 sec. user=vaughan [2009-07-31 12:10:07] 437*2^705206-1 is not prime. Res64: B793C427F8B5A8EC Time : 460.0 sec. user=vaughan [2009-07-31 12:10:51] 567*2^705206-1 is not prime. Res64: F855D2BC753628BA Time : 455.0 sec. user=vaughan [2009-07-31 12:17:47] 441*2^705207-1 is not prime. Res64: 90D054DCE98F027B Time : 461.0 sec. user=vaughan [2009-07-31 12:18:26] 493*2^705207-1 is not prime. Res64: C15B4646DE2D6E73 Time : 455.0 sec. user=vaughan [2009-07-31 12:20:27] 519*2^705205-1 is not prime. Res64: 3A6459D3CAF1BE28 Time : 1298.0 sec. user=vaughan [2009-07-31 12:21:21] 547*2^705205-1 is not prime. Res64: 6B8D92FF4B4A89DC Time : 1323.0 sec. user=vaughan [2009-07-31 12:22:54] 417*2^705206-1 is not prime. Res64: 02A9AFD8F130B16B Time : 1341.0 sec. user=vaughan [2009-07-31 12:25:26] 543*2^705207-1 is not prime. Res64: E52F56ADDF1D9908 Time : 460.0 sec. user=vaughan [2009-07-31 12:26:01] 595*2^705207-1 is not prime. Res64: 448B738D4EC0083E Time : 455.0 sec. user=vaughan [2009-07-31 12:33:08] 539*2^705208-1 is not prime. Res64: 0331C77481161869 Time : 463.0 sec. user=vaughan [2009-07-31 12:33:24] 585*2^705206-1 is not prime. Res64: 72AA167EE85F3DF7 Time : 1481.0 sec. user=vaughan [2009-07-31 12:33:34] 549*2^705208-1 is not prime. Res64: D14403947DF15B9B Time : 453.0 sec. user=vaughan [2009-07-31 12:40:51] 569*2^705208-1 is not prime. Res64: 29007F5A89F68386 Time : 463.0 sec. user=vaughan [2009-07-31 12:41:07] 579*2^705209-1 is not prime. Res64: 56CCA68E95999BCB Time : 454.0 sec. user=vaughan [2009-07-31 12:46:44] 479*2^705208-1 is not prime. Res64: 4AEC66D2841E67C6 Time : 1524.0 sec. user=vaughan [2009-07-31 12:46:57] 413*2^705208-1 is not prime. Res64: 9D6884F22F455F3E Time : 1590.0 sec. user=vaughan [2009-07-31 12:48:33] 589*2^705209-1 is not prime. Res64: 9DC71046CDCFA175 Time : 462.0 sec. user=vaughan [2009-07-31 12:48:40] 417*2^705210-1 is not prime. Res64: AC4B2C61F9F2C23A Time : 454.0 sec. user=vaughan [2009-07-31 12:50:05] 537*2^705208-1 is not prime. Res64: 44B108C47EFED0CB Time : 1632.0 sec. user=vaughan [2009-07-31 12:56:13] 521*2^705210-1 is not prime. Res64: 7622B99AFE3CB6D1 Time : 453.0 sec. user=vaughan [2009-07-31 12:56:15] 453*2^705210-1 is not prime. Res64: 1076EB2E2E9392B6 Time : 462.0 sec. user=vaughan [2009-07-31 12:59:05] 465*2^705209-1 is not prime. Res64: 014EFA62F36CEF99 Time : 1541.0 sec. user=vaughan [2009-07-31 13:03:46] 453*2^705211-1 is not prime. Res64: 826D51501A951B51 Time : 453.0 sec. user=vaughan [2009-07-31 13:03:57] 465*2^705211-1 is not prime. Res64: 490EBA4151B87C77 Time : 462.0 sec. user=vaughan [2009-07-31 13:11:19] 583*2^705211-1 is not prime. Res64: D0D57A4810DDF0C3 Time : 453.0 sec. user=vaughan [2009-07-31 13:11:40] 539*2^705212-1 is not prime. Res64: 169DC7152ADFD8FB Time : 463.0 sec. user=vaughan [2009-07-31 13:13:38] 443*2^705210-1 is not prime. Res64: C5878D6533F37DC2 Time : 1601.0 sec. user=vaughan [2009-07-31 13:16:41] 437*2^705210-1 is not prime. Res64: D3B2CA56A033FA80 Time : 1797.0 sec. user=vaughan [2009-07-31 13:18:44] 531*2^705210-1 is not prime. Res64: 0A07A7879E59CC30 Time : 1719.0 sec. user=vaughan [2009-07-31 13:18:52] 525*2^705213-1 is not prime. Res64: 34AB2F2400EF7504 Time : 453.0 sec. user=vaughan [2009-07-31 13:19:22] 565*2^705213-1 is not prime. Res64: 3B9B3EE4C7C015FF Time : 462.0 sec. user=vaughan [2009-07-31 13:26:27] 483*2^705214-1 is not prime. Res64: 38FE67F1EA21F76E Time : 455.0 sec. user=vaughan [2009-07-31 13:27:02] 495*2^705214-1 is not prime. Res64: CFE33BF0BA23C0B7 Time : 460.0 sec. user=vaughan [2009-07-31 13:32:16] 483*2^705211-1 is not prime. Res64: BBEE09ABC25E60B2 Time : 1991.0 sec. user=vaughan [2009-07-31 13:34:00] 545*2^705214-1 is not prime. Res64: 27267182C952BCF3 Time : 453.0 sec. user=vaughan [2009-07-31 13:34:45] 561*2^705214-1 is not prime. Res64: 23E4C8F0B89BA6FE Time : 463.0 sec. user=vaughan [2009-07-31 13:41:35] 441*2^705215-1 is not prime. Res64: 4B1BA40A431749E5 Time : 455.0 sec. user=vaughan [2009-07-31 13:42:26] 573*2^705215-1 is not prime. Res64: B4DD5FF5744BB4FD Time : 461.0 sec. user=vaughan [2009-07-31 13:49:10] 595*2^705215-1 is not prime. Res64: 298358CAA0304BF0 Time : 455.0 sec. user=vaughan [2009-07-31 13:50:06] 465*2^705216-1 is not prime. Res64: E543A1A587BE0163 Time : 460.0 sec. user=vaughan [2009-07-31 13:53:02] 401*2^705214-1 is not prime. Res64: 4EF2EDCC659B75F2 Time : 2364.0 sec. user=vaughan [2009-07-31 13:56:08] 435*2^705214-1 is not prime. Res64: 31D96FFF36C3E534 Time : 2368.0 sec. user=vaughan [2009-07-31 13:56:45] 485*2^705216-1 is not prime. Res64: 3CB0432687918783 Time : 455.0 sec. user=vaughan [2009-07-31 13:57:46] 509*2^705216-1 is not prime. Res64: B22B8F10E7BA3E2D Time : 460.0 sec. user=vaughan [2009-07-31 14:00:34] 453*2^705214-1 is not prime. Res64: 61A8010839B9A995 Time : 2510.0 sec. user=vaughan [2009-07-31 14:04:21] 421*2^705217-1 is not prime. Res64: C4D02829A9DA5F2E Time : 456.0 sec. user=vaughan [2009-07-31 14:05:26] 427*2^705217-1 is not prime. Res64: BF1DA39A6F7C5385 Time : 460.0 sec. user=vaughan [2009-07-31 14:11:56] 595*2^705217-1 is not prime. Res64: 4AE8489A9A5836AF Time : 455.0 sec. user=vaughan [2009-07-31 14:13:06] 417*2^705218-1 is not prime. Res64: 96D5E307A17A0F6D Time : 460.0 sec. user=vaughan [2009-07-31 14:19:31] 423*2^705218-1 is not prime. Res64: 2F63FA5904F7D43D Time : 455.0 sec. user=vaughan [2009-07-31 14:20:19] 411*2^705215-1 is not prime. Res64: A432CC9471505D06 Time : 2883.0 sec. user=vaughan [2009-07-31 14:20:46] 431*2^705218-1 is not prime. Res64: 40B8D7AF1664A61A Time : 460.0 sec. user=vaughan [2009-07-31 14:27:06] 483*2^705218-1 is not prime. Res64: 3572FC52479605FA Time : 455.0 sec. user=vaughan [2009-07-31 14:28:26] 549*2^705219-1 is not prime. Res64: 89B79BBEE662E371 Time : 460.0 sec. user=vaughan [2009-07-31 14:34:39] 453*2^705220-1 is not prime. Res64: 25ACA0734872A813 Time : 453.0 sec. user=vaughan [2009-07-31 14:36:09] 411*2^705221-1 is not prime. Res64: AF80A6F39306F704 Time : 463.0 sec. user=vaughan [2009-07-31 14:42:12] 517*2^705221-1 is not prime. Res64: 398098C506789ED7 Time : 453.0 sec. user=vaughan [2009-07-31 14:43:52] 585*2^705221-1 is not prime. Res64: 714022D6119AA055 Time : 463.0 sec. user=vaughan [2009-07-31 14:46:28] 567*2^705216-1 is not prime. Res64: 82A6FF3F2A7B6EDF Time : 3206.0 sec. user=vaughan [2009-07-31 14:49:46] 423*2^705222-1 is not prime. Res64: 10554F515FDE97C0 Time : 454.0 sec. user=vaughan [2009-07-31 14:51:35] 483*2^705222-1 is not prime. Res64: B48C4D1F87BDB8E9 Time : 463.0 sec. user=vaughan [2009-07-31 14:52:17] 409*2^705217-1 is not prime. Res64: 06E13D95573297D6 Time : 3370.0 sec. user=vaughan [2009-07-31 14:53:37] 565*2^705217-1 is not prime. Res64: FFBE1F25860EDDE1 Time : 3183.0 sec. user=vaughan [2009-07-31 14:57:21] 501*2^705222-1 is not prime. Res64: 209558E0782AAE0C Time : 455.0 sec. user=vaughan [2009-07-31 14:59:16] 513*2^705222-1 is not prime. Res64: 5484FD14CAA4E9FD Time : 462.0 sec. user=vaughan [2009-07-31 15:04:57] 563*2^705222-1 is not prime. Res64: D7CE7DB04564A882 Time : 456.0 sec. user=vaughan [2009-07-31 15:06:25] 415*2^705219-1 is not prime. Res64: 459F9049F731D733 Time : 2767.0 sec. user=vaughan [2009-07-31 15:06:56] 439*2^705223-1 is not prime. Res64: A5C7870E25AE4E8E Time : 461.0 sec. user=vaughan [2009-07-31 15:12:32] 493*2^705223-1 is not prime. Res64: 288682A709FA3B99 Time : 455.0 sec. user=vaughan [2009-07-31 15:14:36] 459*2^705224-1 is not prime. Res64: 5FF9AE355383A167 Time : 461.0 sec. user=vaughan [2009-07-31 15:20:07] 563*2^705224-1 is not prime. Res64: D3DD82EDE7E69498 Time : 455.0 sec. user=vaughan [2009-07-31 15:22:16] 567*2^705224-1 is not prime. Res64: 3B7436696D4EBC6D Time : 461.0 sec. user=vaughan [2009-07-31 15:27:29] 485*2^705222-1 is not prime. Res64: AF67A8FB1B6EF3FE Time : 2461.0 sec. user=vaughan [2009-07-31 15:27:42] 459*2^705225-1 is not prime. Res64: 14DB973A37B40C49 Time : 455.0 sec. user=vaughan [2009-07-31 15:28:47] 525*2^705222-1 is not prime. Res64: 0E55F6D4AB91B644 Time : 2190.0 sec. user=vaughan [2009-07-31 15:29:57] 475*2^705225-1 is not prime. Res64: 978A17ECF29ADFB1 Time : 462.0 sec. user=vaughan [2009-07-31 15:32:20] 555*2^705222-1 is not prime. Res64: 7FA425944A83972D Time : 2323.0 sec. user=vaughan [2009-07-31 15:35:15] 575*2^705226-1 is not prime. Res64: CD8F307BA3B91B0B Time : 453.0 sec. user=vaughan [2009-07-31 15:37:39] 589*2^705227-1 is not prime. Res64: E5212B5CC2527E62 Time : 463.0 sec. user=vaughan [2009-07-31 15:42:15] 595*2^705223-1 is not prime. Res64: B9C8C7897912B88D Time : 2150.0 sec. user=vaughan [2009-07-31 15:42:48] 483*2^705228-1 is not prime. Res64: C2E9F96BF9E8BEB9 Time : 453.0 sec. user=vaughan [2009-07-31 15:45:22] 485*2^705228-1 is not prime. Res64: 5FAD5CBC683657BF Time : 464.0 sec. user=vaughan [2009-07-31 15:50:20] 503*2^705228-1 is not prime. Res64: 1D069C797353DEF2 Time : 452.0 sec. user=vaughan [2009-07-31 15:53:04] 555*2^705228-1 is not prime. Res64: 6806319F2AA9DF4E Time : 462.0 sec. user=vaughan [2009-07-31 15:57:52] 567*2^705228-1 is not prime. Res64: C9EADD0CE03D7EF5 Time : 452.0 sec. user=vaughan [2009-07-31 15:57:53] 585*2^705225-1 is not prime. Res64: 258FACFC8B46737E Time : 1824.0 sec. user=vaughan [2009-07-31 15:58:59] 511*2^705227-1 is not prime. Res64: DCFFE511133CBD10 Time : 1812.0 sec. user=vaughan [2009-07-31 16:00:20] 465*2^705228-1 is not prime. Res64: A580B94B1A2C62CA Time : 1680.0 sec. user=vaughan [2009-07-31 16:00:48] 569*2^705228-1 is not prime. Res64: 057579ED46BFE32E Time : 464.0 sec. user=vaughan [2009-07-31 16:05:24] 507*2^705229-1 is not prime. Res64: F3FCE0CC17AB8C70 Time : 452.0 sec. user=vaughan [2009-07-31 16:08:31] 405*2^705231-1 is not prime. Res64: D5031F70C93ACD08 Time : 463.0 sec. user=vaughan [2009-07-31 16:12:56] 411*2^705231-1 is not prime. Res64: 58A93A81104A5E0F Time : 452.0 sec. user=vaughan [2009-07-31 16:15:05] 489*2^705228-1 is not prime. Res64: 639CE2BEC978AAC4 Time : 1970.0 sec. user=vaughan [2009-07-31 16:16:14] 423*2^705231-1 is not prime. Res64: 223350D505E0348F Time : 463.0 sec. user=vaughan [2009-07-31 16:20:29] 441*2^705231-1 is not prime. Res64: A0EF87CBE9FD1931 Time : 453.0 sec. user=vaughan [2009-07-31 16:23:57] 419*2^705232-1 is not prime. Res64: C22F7F6F1498AC03 Time : 464.0 sec. user=vaughan [2009-07-31 16:28:02] 453*2^705232-1 is not prime. Res64: 971572D066F983C9 Time : 454.0 sec. user=vaughan [2009-07-31 16:31:40] 455*2^705232-1 is not prime. Res64: FA825947E206EFCB Time : 464.0 sec. user=vaughan [2009-07-31 16:35:35] 483*2^705232-1 is not prime. Res64: 611593FD9F4E9A6D Time : 454.0 sec. user=vaughan [2009-07-31 16:36:10] 559*2^705229-1 is not prime. Res64: 09513A60CA5EDDE5 Time : 2297.0 sec. user=vaughan [2009-07-31 16:37:52] 561*2^705229-1 is not prime. Res64: 21CF38C383972F03 Time : 2333.0 sec. user=vaughan [2009-07-31 16:39:24] 525*2^705232-1 is not prime. Res64: D5B78D68CB073215 Time : 465.0 sec. user=vaughan [2009-07-31 16:39:48] 405*2^705230-1 is not prime. Res64: B78F0CAFAB477095 Time : 2369.0 sec. user=vaughan [2009-07-31 16:43:08] 539*2^705232-1 is not prime. Res64: BD4BC7C4F280FE01 Time : 454.0 sec. user=vaughan [2009-07-31 16:47:07] 511*2^705233-1 is not prime. Res64: ACDDB1DB5BD17F8D Time : 464.0 sec. user=vaughan [2009-07-31 16:50:41] 547*2^705233-1 is not prime. Res64: 63491DF9F665B461 Time : 454.0 sec. user=vaughan [2009-07-31 16:52:03] 469*2^705231-1 is not prime. Res64: 59DC4FC69CFFF314 Time : 2218.0 sec. user=vaughan [2009-07-31 16:54:50] 577*2^705233-1 is not prime. Res64: D6522209BC43CF48 Time : 464.0 sec. user=vaughan [2009-07-31 16:58:14] 447*2^705234-1 is not prime. Res64: C534BDBD7F92B805 Time : 454.0 sec. user=vaughan [2009-07-31 17:02:33] 415*2^705235-1 is not prime. Res64: C3313A053B953F04 Time : 463.0 sec. user=vaughan [2009-07-31 17:05:46] 519*2^705235-1 is not prime. Res64: 41E943234AB884B3 Time : 453.0 sec. user=vaughan [2009-07-31 17:08:21] 563*2^705232-1 is not prime. Res64: D234839E2F477AEA Time : 1931.0 sec. user=vaughan [2009-07-31 17:09:29] 477*2^705233-1 is not prime. Res64: 14C7D7AD8B10B2B9 Time : 1897.0 sec. user=vaughan [2009-07-31 17:10:16] 405*2^705236-1 is not prime. Res64: 8E66CA983552A689 Time : 463.0 sec. user=vaughan [2009-07-31 17:10:29] 529*2^705233-1 is not prime. Res64: CD75849AD68837DB Time : 1842.0 sec. user=vaughan [2009-07-31 17:13:19] 507*2^705236-1 is not prime. Res64: AAF3C01946C1B818 Time : 454.0 sec. user=vaughan [2009-07-31 17:17:59] 517*2^705237-1 is not prime. Res64: CC7689E9A170E7A9 Time : 463.0 sec. user=vaughan [2009-07-31 17:19:49] 507*2^705234-1 is not prime. Res64: 39AA1FEE367357B2 Time : 1667.0 sec. user=vaughan [2009-07-31 17:20:53] 465*2^705238-1 is not prime. Res64: 90461C9C74F8BC24 Time : 455.0 sec. user=vaughan [2009-07-31 17:25:44] 597*2^705238-1 is not prime. Res64: AD61F5F3EF94AB8C Time : 465.0 sec. user=vaughan [2009-07-31 17:28:26] 525*2^705239-1 is not prime. Res64: 67CD98542EE7FCEA Time : 454.0 sec. user=vaughan [2009-07-31 17:33:27] 571*2^705239-1 is not prime. Res64: 1439F95B74669D93 Time : 463.0 sec. user=vaughan [2009-07-31 17:35:28] 429*2^705237-1 is not prime. Res64: 3D720AEFBDBA3CB9 Time : 1627.0 sec. user=vaughan [2009-07-31 17:35:42] 507*2^705237-1 is not prime. Res64: E623378B0D8DD966 Time : 1573.0 sec. user=vaughan [2009-07-31 17:35:59] 425*2^705240-1 is not prime. Res64: F09302294DFAD360 Time : 453.0 sec. user=vaughan [2009-07-31 17:37:23] 453*2^705238-1 is not prime. Res64: 44FA7B9DB179D0CD Time : 1614.0 sec. user=vaughan [2009-07-31 17:41:10] 525*2^705240-1 is not prime. Res64: 5D2279A3BF91BE0D Time : 463.0 sec. user=vaughan [2009-07-31 17:43:31] 405*2^705241-1 is not prime. Res64: E661CD879FD945CF Time : 452.0 sec. user=vaughan [2009-07-31 17:44:50] 403*2^705239-1 is not prime. Res64: 7CD47FF208D3FF16 Time : 1502.0 sec. user=vaughan [2009-07-31 17:48:53] 477*2^705241-1 is not prime. Res64: 45E634896758D32E Time : 463.0 sec. user=vaughan [2009-07-31 17:51:04] 511*2^705241-1 is not prime. Res64: EB4F23EDEECD0D71 Time : 453.0 sec. user=vaughan [2009-07-31 17:56:36] 531*2^705241-1 is not prime. Res64: B9FB70FE793A29AA Time : 463.0 sec. user=vaughan [2009-07-31 17:58:37] 549*2^705241-1 is not prime. Res64: C7369A86B9F01AE7 Time : 453.0 sec. user=vaughan [2009-07-31 18:04:21] 591*2^705241-1 is not prime. Res64: 952F108E034366B7 Time : 465.0 sec. user=vaughan [2009-07-31 18:06:11] 483*2^705242-1 is not prime. Res64: 93D694EB7DCBBD36 Time : 454.0 sec. user=vaughan [2009-07-31 18:06:40] 597*2^705240-1 is not prime. Res64: 6C55B1391C69D590 Time : 1858.0 sec. user=vaughan [2009-07-31 18:07:11] 557*2^705240-1 is not prime. Res64: 1765D648CAC84229 Time : 1903.0 sec. user=vaughan [2009-07-31 18:10:23] 471*2^705241-1 is not prime. Res64: 2558FC156E1CA3D1 Time : 1980.0 sec. user=vaughan [2009-07-31 18:12:04] 495*2^705242-1 is not prime. Res64: DD9A0D814A551DE6 Time : 463.0 sec. user=vaughan [2009-07-31 18:13:44] 533*2^705242-1 is not prime. Res64: E3C1B131B8E13AA9 Time : 454.0 sec. user=vaughan [2009-07-31 18:19:46] 593*2^705242-1 is not prime. Res64: D1C3575FF26D601C Time : 462.0 sec. user=vaughan [2009-07-31 18:21:16] 459*2^705243-1 is not prime. Res64: 74A3CE1B1FB20098 Time : 453.0 sec. user=vaughan [2009-07-31 18:21:25] 525*2^705241-1 is not prime. Res64: D0AF432DFEE05263 Time : 2195.0 sec. user=vaughan [2009-07-31 18:27:28] 529*2^705243-1 is not prime. Res64: 02D8FE35461CD8B4 Time : 462.0 sec. user=vaughan [2009-07-31 18:28:48] 591*2^705243-1 is not prime. Res64: 48E2BAA7E97F796D Time : 452.0 sec. user=vaughan [2009-07-31 18:35:10] 441*2^705245-1 is not prime. Res64: 84A5B892428530EC Time : 462.0 sec. user=vaughan [2009-07-31 18:36:21] 469*2^705245-1 is not prime. Res64: 31D50029A1FF5EB0 Time : 453.0 sec. user=vaughan [2009-07-31 18:37:30] 561*2^705242-1 is not prime. Res64: 26BD42C55B8BD3F9 Time : 1850.0 sec. user=vaughan [2009-07-31 18:37:35] 563*2^705242-1 is not prime. Res64: BDCF4A4C000DAF18 Time : 1824.0 sec. user=vaughan [2009-07-31 18:41:09] 581*2^705242-1 is not prime. Res64: 3C05B53BF7E75AF0 Time : 1847.0 sec. user=vaughan [2009-07-31 18:42:54] 517*2^705245-1 is not prime. Res64: 455909064FC81ED8 Time : 464.0 sec. user=vaughan [2009-07-31 18:43:54] 567*2^705245-1 is not prime. Res64: E9D87C58D728705F Time : 453.0 sec. user=vaughan [2009-07-31 18:50:37] 405*2^705247-1 is not prime. Res64: C6EFEC0B9241DF1E Time : 463.0 sec. user=vaughan [2009-07-31 18:51:27] 439*2^705247-1 is not prime. Res64: 8A489F735B141A4B Time : 453.0 sec. user=vaughan [2009-07-31 18:51:56] 453*2^705244-1 is not prime. Res64: 4D0E6B374FE370CD Time : 1831.0 sec. user=vaughan [2009-07-31 18:58:20] 493*2^705247-1 is not prime. Res64: EC87872AD3203FF9 Time : 463.0 sec. user=vaughan [2009-07-31 18:59:00] 437*2^705248-1 is not prime. Res64: 9314EA1CB3C41E61 Time : 453.0 sec. user=vaughan [2009-07-31 19:06:03] 415*2^705249-1 is not prime. Res64: ED16E4F27F819A66 Time : 463.0 sec. user=vaughan [2009-07-31 19:06:33] 459*2^705249-1 is not prime. Res64: 7A4C03F9C504B18F Time : 453.0 sec. user=vaughan [2009-07-31 19:13:46] 465*2^705249-1 is not prime. Res64: 810E2EF9657A3252 Time : 463.0 sec. user=vaughan [2009-07-31 19:14:07] 507*2^705249-1 is not prime. Res64: 79697038DCE6B5C2 Time : 454.0 sec. user=vaughan [2009-07-31 19:16:58] 589*2^705245-1 is not prime. Res64: 51A5674E23664E87 Time : 2368.0 sec. user=vaughan [2009-07-31 19:17:11] 503*2^705246-1 is not prime. Res64: 6DD6A7CF282A22FD Time : 2376.0 sec. user=vaughan [2009-07-31 19:20:35] 507*2^705246-1 is not prime. Res64: 4318A988AB06AB29 Time : 2366.0 sec. user=vaughan [2009-07-31 19:21:25] 597*2^705249-1 is not prime. Res64: E672BE84EE2123B0 Time : 459.0 sec. user=vaughan [2009-07-31 19:21:43] 483*2^705250-1 is not prime. Res64: 1F4A602237C2C3C5 Time : 456.0 sec. user=vaughan [2009-07-31 19:29:05] 571*2^705251-1 is not prime. Res64: 0F4F924A89C53EA9 Time : 460.0 sec. user=vaughan [2009-07-31 19:29:18] 591*2^705251-1 is not prime. Res64: 0F225173004E7857 Time : 455.0 sec. user=vaughan [2009-07-31 19:33:19] 599*2^705248-1 is not prime. Res64: AE718A95007F208C Time : 2483.0 sec. user=vaughan [2009-07-31 19:36:45] 489*2^705252-1 is not prime. Res64: 20F4FB577912F7D9 Time : 460.0 sec. user=vaughan [2009-07-31 19:36:54] 497*2^705252-1 is not prime. Res64: 9F54B4FD2B67BBD0 Time : 456.0 sec. user=vaughan [2009-07-31 19:44:26] 537*2^705252-1 is not prime. Res64: 476B950C8EF5F881 Time : 461.0 sec. user=vaughan [2009-07-31 19:44:29] 563*2^705252-1 is not prime. Res64: AE7623373D18E6E7 Time : 455.0 sec. user=vaughan [2009-07-31 19:52:05] 471*2^705253-1 is not prime. Res64: 9490C72A17C02DDA Time : 456.0 sec. user=vaughan [2009-07-31 19:52:06] 411*2^705253-1 is not prime. Res64: B85864E401E26AC7 Time : 460.0 sec. user=vaughan [2009-07-31 19:55:14] 495*2^705250-1 is not prime. Res64: 5B75DCAFABB2B5F4 Time : 2296.0 sec. user=vaughan [2009-07-31 19:56:02] 567*2^705250-1 is not prime. Res64: 1E411C0247935629 Time : 2331.0 sec. user=vaughan [2009-07-31 19:58:25] 581*2^705250-1 is not prime. Res64: 9088960534EAF1F7 Time : 2270.0 sec. user=vaughan [2009-07-31 19:59:40] 489*2^705253-1 is not prime. Res64: 7FB0C345C7EB03ED Time : 455.0 sec. user=vaughan [2009-07-31 19:59:46] 517*2^705253-1 is not prime. Res64: E72607E630B097BD Time : 460.0 sec. user=vaughan [2009-07-31 20:06:28] 525*2^705252-1 is not prime. Res64: EF3732CBE384B013 Time : 1990.0 sec. user=vaughan [2009-07-31 20:07:15] 533*2^705254-1 is not prime. Res64: 0A092950B35A7ED4 Time : 455.0 sec. user=vaughan [2009-07-31 20:07:26] 545*2^705254-1 is not prime. Res64: CEB084EAE6FFD13D Time : 460.0 sec. user=vaughan [2009-07-31 20:14:51] 575*2^705254-1 is not prime. Res64: 1B85E050F888E4A8 Time : 456.0 sec. user=vaughan [2009-07-31 20:15:07] 585*2^705254-1 is not prime. Res64: 731DD233BC729C7B Time : 461.0 sec. user=vaughan [2009-07-31 20:22:27] 433*2^705255-1 is not prime. Res64: 4F9B0B2B7A82B159 Time : 456.0 sec. user=vaughan [2009-07-31 20:22:48] 511*2^705255-1 is not prime. Res64: 97B7CCF2AEA3FE81 Time : 461.0 sec. user=vaughan [2009-07-31 20:27:30] 591*2^705253-1 is not prime. Res64: AB0AABB93D26B38F Time : 1936.0 sec. user=vaughan [2009-07-31 20:28:55] 407*2^705254-1 is not prime. Res64: AA37217EF27F1D7D Time : 1973.0 sec. user=vaughan [2009-07-31 20:30:02] 531*2^705255-1 is not prime. Res64: 8DFB77DC9BC6AD10 Time : 456.0 sec. user=vaughan [2009-07-31 20:30:28] 429*2^705256-1 is not prime. Res64: CF7C745D083AC3B3 Time : 460.0 sec. user=vaughan [2009-07-31 20:30:45] 503*2^705254-1 is not prime. Res64: ABF6258A459D60DF Time : 1941.0 sec. user=vaughan [2009-07-31 20:37:37] 537*2^705256-1 is not prime. Res64: FFF3CADC20A7D8D8 Time : 455.0 sec. user=vaughan [2009-07-31 20:38:08] 573*2^705256-1 is not prime. Res64: 2201F1C07CA9235B Time : 460.0 sec. user=vaughan [2009-07-31 20:39:49] 561*2^705254-1 is not prime. Res64: ED1967A33A26BD32 Time : 2002.0 sec. user=vaughan [2009-07-31 20:45:12] 517*2^705257-1 is not prime. Res64: 3A6BC1D1B2DDF416 Time : 455.0 sec. user=vaughan [2009-07-31 20:45:48] 565*2^705257-1 is not prime. Res64: 57B7113A0E0AB690 Time : 460.0 sec. user=vaughan [2009-07-31 20:52:47] 405*2^705258-1 is not prime. Res64: C004CCCDA88930A0 Time : 455.0 sec. user=vaughan [2009-07-31 20:53:29] 461*2^705258-1 is not prime. Res64: E7A2750FF5FE58FF Time : 461.0 sec. user=vaughan [2009-07-31 20:59:45] 485*2^705256-1 is not prime. Res64: 81E7422DE658882C Time : 1935.0 sec. user=vaughan [2009-07-31 21:00:23] 507*2^705258-1 is not prime. Res64: 61E71890A36BDFB3 Time : 456.0 sec. user=vaughan [2009-07-31 21:01:10] 411*2^705259-1 is not prime. Res64: A7EA4F6F507097BF Time : 461.0 sec. user=vaughan [2009-07-31 21:01:47] 519*2^705256-1 is not prime. Res64: FC4459817C021BB7 Time : 1972.0 sec. user=vaughan [2009-07-31 21:03:37] 475*2^705257-1 is not prime. Res64: 3968A408BA5D12E0 Time : 1973.0 sec. user=vaughan [2009-07-31 21:07:58] 465*2^705260-1 is not prime. Res64: 864F142D6E2F6265 Time : 455.0 sec. user=vaughan [2009-07-31 21:08:50] 585*2^705260-1 is not prime. Res64: B48FBF833E923D01 Time : 460.0 sec. user=vaughan [2009-07-31 21:12:31] 589*2^705257-1 is not prime. Res64: A1142B0CC7DE01CA Time : 1962.0 sec. user=vaughan [2009-07-31 21:15:33] 525*2^705262-1 is not prime. Res64: F2C7EF7D766C8BC8 Time : 455.0 sec. user=vaughan [2009-07-31 21:16:30] 533*2^705262-1 is not prime. Res64: 8AA09AED5496FA4B Time : 460.0 sec. user=vaughan [2009-07-31 21:23:08] 591*2^705262-1 is not prime. Res64: 20A39795CA5BE60A Time : 455.0 sec. user=vaughan [2009-07-31 21:24:10] 463*2^705263-1 is not prime. Res64: FC0248494449315F Time : 460.0 sec. user=vaughan [2009-07-31 21:30:44] 481*2^705263-1 is not prime. Res64: AB248CD8118BA1E6 Time : 456.0 sec. user=vaughan [2009-07-31 21:31:50] 523*2^705263-1 is not prime. Res64: 552917849A5C50AD Time : 460.0 sec. user=vaughan [2009-07-31 21:32:02] 425*2^705260-1 is not prime. Res64: 5D75EA89A3E85AA5 Time : 1937.0 sec. user=vaughan [2009-07-31 21:34:26] 465*2^705261-1 is not prime. Res64: 247F5E4264027D52 Time : 1959.0 sec. user=vaughan [2009-07-31 21:35:59] 495*2^705262-1 is not prime. Res64: 20A7BA67C3008A4D Time : 1942.0 sec. user=vaughan [2009-07-31 21:38:19] 565*2^705263-1 is not prime. Res64: F65435ABFE822B2B Time : 456.0 sec. user=vaughan [2009-07-31 21:39:30] 423*2^705264-1 is not prime. Res64: 287C79725AA66C21 Time : 460.0 sec. user=vaughan [2009-07-31 21:45:55] 525*2^705265-1 is not prime. Res64: 50D064EF1C9E38D2 Time : 456.0 sec. user=vaughan [2009-07-31 21:46:43] 573*2^705262-1 is not prime. Res64: 39A2F33E2D95221E Time : 2052.0 sec. user=vaughan [2009-07-31 21:47:10] 561*2^705265-1 is not prime. Res64: F0C82375CAD22723 Time : 460.0 sec. user=vaughan [2009-07-31 21:53:31] 591*2^705265-1 is not prime. Res64: 33337E7A557F889C Time : 456.0 sec. user=vaughan [2009-07-31 21:54:50] 441*2^705267-1 is not prime. Res64: 0CC30BB553967DBC Time : 460.0 sec. user=vaughan [2009-07-31 22:01:06] 451*2^705267-1 is not prime. Res64: BDFAE097D7885885 Time : 455.0 sec. user=vaughan [2009-07-31 22:02:30] 513*2^705267-1 is not prime. Res64: 2C5E33F1B74EECB4 Time : 460.0 sec. user=vaughan [2009-07-31 22:08:41] 595*2^705267-1 is not prime. Res64: 3A7288D0EB34409A Time : 455.0 sec. user=vaughan [2009-07-31 22:09:56] 489*2^705264-1 is not prime. Res64: 5F8956E3017DB822 Time : 2274.0 sec. user=vaughan [2009-07-31 22:10:11] 429*2^705268-1 is not prime. Res64: 97B833E7E1CBD1EF Time : 461.0 sec. user=vaughan [2009-07-31 22:13:05] 563*2^705264-1 is not prime. Res64: 51FA05E9C59A8F79 Time : 2319.0 sec. user=vaughan [2009-07-31 22:15:02] 499*2^705265-1 is not prime. Res64: 03E8540C67FBBD76 Time : 2343.0 sec. user=vaughan [2009-07-31 22:16:17] 437*2^705268-1 is not prime. Res64: E12763834C3E1351 Time : 456.0 sec. user=vaughan [2009-07-31 22:17:51] 537*2^705268-1 is not prime. Res64: 5D124ACA73021EC9 Time : 461.0 sec. user=vaughan [2009-07-31 22:23:53] 465*2^705269-1 is not prime. Res64: 9F916FD1860041AE Time : 456.0 sec. user=vaughan [2009-07-31 22:25:31] 549*2^705269-1 is not prime. Res64: 092AFE33E8491D33 Time : 461.0 sec. user=vaughan [2009-07-31 22:26:00] 405*2^705266-1 is not prime. Res64: 5303CC855E8A2246 Time : 2357.0 sec. user=vaughan [2009-07-31 22:31:27] 567*2^705269-1 is not prime. Res64: 4C23B7C8717D9115 Time : 454.0 sec. user=vaughan [2009-07-31 22:33:13] 443*2^705270-1 is not prime. Res64: F03A011D085D7FE2 Time : 463.0 sec. user=vaughan [2009-07-31 22:39:00] 525*2^705270-1 is not prime. Res64: 974E8868851A08D3 Time : 453.0 sec. user=vaughan [2009-07-31 22:40:58] 581*2^705270-1 is not prime. Res64: 95B4DBE51B7E9DA1 Time : 466.0 sec. user=vaughan [2009-07-31 22:46:33] 591*2^705270-1 is not prime. Res64: 3C5BD9A7BC94F4EE Time : 453.0 sec. user=vaughan [2009-07-31 22:48:41] 415*2^705271-1 is not prime. Res64: 3A3EE8425EF34DED Time : 464.0 sec. user=vaughan [2009-07-31 22:49:19] 485*2^705268-1 is not prime. Res64: 5465EE78F2750511 Time : 2363.0 sec. user=vaughan [2009-07-31 22:52:31] 567*2^705268-1 is not prime. Res64: E2D598FA2E0E1883 Time : 2366.0 sec. user=vaughan [2009-07-31 22:54:05] 489*2^705271-1 is not prime. Res64: 8BF093F7C6BB577B Time : 452.0 sec. user=vaughan [2009-07-31 22:54:43] 435*2^705269-1 is not prime. Res64: E12D467F44B68C6F Time : 2382.0 sec. user=vaughan [2009-07-31 22:56:25] 405*2^705272-1 is not prime. Res64: 06C59F619EE5E1CE Time : 465.0 sec. user=vaughan [2009-07-31 23:01:38] 525*2^705272-1 is not prime. Res64: C7B7343A554C2758 Time : 453.0 sec. user=vaughan [2009-07-31 23:04:08] 529*2^705273-1 is not prime. Res64: FC4C16395B5B95C2 Time : 464.0 sec. user=vaughan [2009-07-31 23:05:35] 483*2^705270-1 is not prime. Res64: 2E649A6FDD29E715 Time : 2376.0 sec. user=vaughan [2009-07-31 23:09:11] 565*2^705273-1 is not prime. Res64: AF3AE8DCE7E5F7EF Time : 453.0 sec. user=vaughan [2009-07-31 23:11:51] 425*2^705274-1 is not prime. Res64: 341B9509916C87DB Time : 464.0 sec. user=vaughan [2009-07-31 23:16:44] 495*2^705274-1 is not prime. Res64: D0033AA884B51952 Time : 453.0 sec. user=vaughan [2009-07-31 23:19:34] 527*2^705274-1 is not prime. Res64: 9CD53906F10A31BB Time : 464.0 sec. user=vaughan [2009-07-31 23:24:23] 595*2^705275-1 is not prime. Res64: B270731EB7E2E456 Time : 459.0 sec. user=vaughan [2009-07-31 23:27:12] 425*2^705272-1 is not prime. Res64: 77E92856AC143B81 Time : 2273.0 sec. user=vaughan [2009-07-31 23:27:21] 465*2^705276-1 is not prime. Res64: EBF48F3664D52338 Time : 467.0 sec. user=vaughan [2009-07-31 23:29:56] 449*2^705272-1 is not prime. Res64: 2917AA030BE7093C Time : 2245.0 sec. user=vaughan [2009-07-31 23:31:40] 409*2^705273-1 is not prime. Res64: D3D2FBC2A5C51C86 Time : 2217.0 sec. user=vaughan [2009-07-31 23:31:56] 485*2^705276-1 is not prime. Res64: 94BD041054AD76A9 Time : 453.0 sec. user=vaughan [2009-07-31 23:35:05] 513*2^705276-1 is not prime. Res64: E73BBEFE8226C7FE Time : 464.0 sec. user=vaughan [2009-07-31 23:39:29] 441*2^705277-1 is not prime. Res64: B7A7DD63A101F0A7 Time : 453.0 sec. user=vaughan [2009-07-31 23:40:53] 483*2^705274-1 is not prime. Res64: 6367BF284CDC5E24 Time : 2118.0 sec. user=vaughan [2009-07-31 23:42:48] 511*2^705277-1 is not prime. Res64: FBDBC6EA145A349C Time : 463.0 sec. user=vaughan [2009-07-31 23:47:02] 517*2^705277-1 is not prime. Res64: B38B825C564883E8 Time : 453.0 sec. user=vaughan [2009-07-31 23:50:30] 595*2^705277-1 is not prime. Res64: 47DC522684396BCE Time : 462.0 sec. user=vaughan [2009-07-31 23:54:35] 515*2^705278-1 is not prime. Res64: 24400A6F73FF9572 Time : 453.0 sec. user=vaughan [2009-07-31 23:58:13] 525*2^705278-1 is not prime. Res64: 0971A0C3436D9993 Time : 463.0 sec.