user=vaughan
[2009-08-13 00:00:30]
617*2^710692-1 is not prime.  Res64: 7AECD91244F54CB7  Time : 743.0 sec.
user=vaughan
[2009-08-13 00:00:49]
635*2^710692-1 is not prime.  Res64: 3DAF7A01B8726F92  Time : 753.0 sec.
user=vaughan
[2009-08-13 00:00:52]
765*2^710692-1 is not prime.  Res64: 428F6DEE6B39DB68  Time : 591.0 sec.
user=vaughan
[2009-08-13 00:01:11]
751*2^710691-1 is not prime.  Res64: 4F0A115E397552D2  Time : 831.0 sec.
user=vaughan
[2009-08-13 00:02:00]
677*2^710692-1 is not prime.  Res64: 425CEE49CDDB91DD  Time : 813.0 sec.
user=vaughan
[2009-08-13 00:02:12]
779*2^710692-1 is not prime.  Res64: 7FB349E5A8739435  Time : 585.0 sec.
user=vaughan
[2009-08-13 00:02:26]
757*2^710693-1 is not prime.  Res64: 2B4FEE463046D57A  Time : 583.0 sec.
user=vaughan
[2009-08-13 00:02:47]
621*2^710694-1 is not prime.  Res64: EFFDF7341BE1E9CC  Time : 583.0 sec.
user=vaughan
[2009-08-13 00:05:23]
777*2^710692-1 is not prime.  Res64: 3C4D15330A0933A1  Time : 786.0 sec.
user=vaughan
[2009-08-13 00:10:24]
773*2^710694-1 is not prime.  Res64: 1A4533857A64C7D0  Time : 573.0 sec.
user=vaughan
[2009-08-13 00:11:47]
603*2^710692-1 is not prime.  Res64: FAF55B25CA322C2D  Time : 1462.0 sec.
user=vaughan
[2009-08-13 00:11:58]
735*2^710695-1 is not prime.  Res64: 868B5FD3F5CB3290  Time : 586.0 sec.
user=vaughan
[2009-08-13 00:12:06]
763*2^710695-1 is not prime.  Res64: CEBA7FD1A59634D5  Time : 580.0 sec.
user=vaughan
[2009-08-13 00:12:25]
657*2^710694-1 is not prime.  Res64: 8F46D00900139B08  Time : 788.0 sec.
user=vaughan
[2009-08-13 00:12:30]
615*2^710696-1 is not prime.  Res64: 03A09F3AE143695C  Time : 584.0 sec.
user=vaughan
[2009-08-13 00:12:37]
681*2^710694-1 is not prime.  Res64: 0471A6DCEA0EF947  Time : 728.0 sec.
user=vaughan
[2009-08-13 00:12:48]
695*2^710692-1 is not prime.  Res64: D190647A7EAAD445  Time : 1440.0 sec.
user=vaughan
[2009-08-13 00:12:54]
711*2^710694-1 is not prime.  Res64: F51DD6EDC8DD71F7  Time : 725.0 sec.
user=vaughan
[2009-08-13 00:14:31]
649*2^710695-1 is not prime.  Res64: CAF59E4D50DA9EA9  Time : 800.0 sec.
user=vaughan
[2009-08-13 00:14:59]
679*2^710695-1 is not prime.  Res64: EF588B14BAB47DE9  Time : 779.0 sec.
user=vaughan
[2009-08-13 00:18:27]
659*2^710696-1 is not prime.  Res64: 150FD698EADDE7DE  Time : 784.0 sec.
user=vaughan
[2009-08-13 00:20:44]
649*2^710697-1 is not prime.  Res64: 28F6AF27B72FAD60  Time : 620.0 sec.
user=vaughan
[2009-08-13 00:22:11]
759*2^710697-1 is not prime.  Res64: 994DACE22713BE86  Time : 613.0 sec.
user=vaughan
[2009-08-13 00:22:24]
777*2^710697-1 is not prime.  Res64: 43D8BDE75DCDB894  Time : 619.0 sec.
user=vaughan
[2009-08-13 00:22:41]
723*2^710698-1 is not prime.  Res64: 5D25EB77E255FC09  Time : 612.0 sec.
user=vaughan
[2009-08-13 00:25:11]
777*2^710698-1 is not prime.  Res64: D6667C2A3174A816  Time : 754.0 sec.
user=vaughan
[2009-08-13 00:25:32]
713*2^710698-1 is not prime.  Res64: 935E94176B4230C8  Time : 787.0 sec.
user=vaughan
[2009-08-13 00:25:33]
685*2^710699-1 is not prime.  Res64: F8EF3DF76F501ED5  Time : 760.0 sec.
user=vaughan
[2009-08-13 00:28:20]
741*2^710699-1 is not prime.  Res64: 9DE195CA8B219E19  Time : 829.0 sec.
user=vaughan
[2009-08-13 00:28:27]
771*2^710699-1 is not prime.  Res64: CD7538C8DBBC16B8  Time : 809.0 sec.
user=vaughan
[2009-08-13 00:31:00]
789*2^710700-1 is not prime.  Res64: CAE4DF3DD1D91F8E  Time : 616.0 sec.
user=vaughan
[2009-08-13 00:31:31]
775*2^710699-1 is not prime.  Res64: 14D3CFF76812C24C  Time : 784.0 sec.
user=vaughan
[2009-08-13 00:32:25]
621*2^710701-1 is not prime.  Res64: 548D7DB823F30F3F  Time : 614.0 sec.
user=vaughan
[2009-08-13 00:32:40]
651*2^710701-1 is not prime.  Res64: 37ADBC6A3B05C763  Time : 616.0 sec.
user=vaughan
[2009-08-13 00:32:56]
687*2^710701-1 is not prime.  Res64: 57F3547AC2E74644  Time : 615.0 sec.
user=vaughan
[2009-08-13 00:33:34]
741*2^710697-1 is not prime.  Res64: 07F90A02F1BB2A09  Time : 1307.0 sec.
user=vaughan
[2009-08-13 00:35:06]
601*2^710699-1 is not prime.  Res64: 38E496D411D46985  Time : 1338.0 sec.
user=vaughan
[2009-08-13 00:37:45]
717*2^710701-1 is not prime.  Res64: 3D209352C26F2348  Time : 754.0 sec.
user=vaughan
[2009-08-13 00:38:14]
751*2^710701-1 is not prime.  Res64: F16A4D4B5E77CB4A  Time : 761.0 sec.
user=vaughan
[2009-08-13 00:38:40]
741*2^710701-1 is not prime.  Res64: 96F831C2947DDFEF  Time : 788.0 sec.
user=vaughan
[2009-08-13 00:41:08]
743*2^710702-1 is not prime.  Res64: BB84335081AEFF2D  Time : 608.0 sec.
user=vaughan
[2009-08-13 00:41:58]
741*2^710702-1 is not prime.  Res64: BF3DC8EEC5188359  Time : 812.0 sec.
user=vaughan
[2009-08-13 00:42:08]
683*2^710702-1 is not prime.  Res64: 601B0E3FE3F696F9  Time : 829.0 sec.
user=vaughan
[2009-08-13 00:42:33]
649*2^710703-1 is not prime.  Res64: E66EDE607B93B981  Time : 608.0 sec.
user=vaughan
[2009-08-13 00:42:45]
661*2^710703-1 is not prime.  Res64: 9BE2B2C8E7795FEA  Time : 605.0 sec.
user=vaughan
[2009-08-13 00:43:00]
679*2^710703-1 is not prime.  Res64: 706E529CFD5641D6  Time : 604.0 sec.
user=vaughan
[2009-08-13 00:44:35]
771*2^710702-1 is not prime.  Res64: 7A3FA95965753235  Time : 784.0 sec.
user=vaughan
[2009-08-13 00:50:12]
605*2^710704-1 is not prime.  Res64: A58F52C89F598FA6  Time : 748.0 sec.
user=vaughan
[2009-08-13 00:50:43]
629*2^710704-1 is not prime.  Res64: 9D60269B9ADD1F96  Time : 749.0 sec.
user=vaughan
[2009-08-13 00:50:46]
759*2^710704-1 is not prime.  Res64: 0BAC67740C2CFA92  Time : 579.0 sec.
user=vaughan
[2009-08-13 00:51:48]
705*2^710704-1 is not prime.  Res64: C55D3AC687BB8F67  Time : 789.0 sec.
user=vaughan
[2009-08-13 00:52:02]
627*2^710705-1 is not prime.  Res64: 8165B890C1AB11AD  Time : 570.0 sec.
user=vaughan
[2009-08-13 00:52:16]
651*2^710705-1 is not prime.  Res64: DFDFA175AC31A7C3  Time : 571.0 sec.
user=vaughan
[2009-08-13 00:52:29]
721*2^710705-1 is not prime.  Res64: DA505ED492EF9366  Time : 570.0 sec.
user=vaughan
[2009-08-13 00:54:49]
785*2^710704-1 is not prime.  Res64: 4D512D848DE2B4BB  Time : 772.0 sec.
user=vaughan
[2009-08-13 00:54:52]
693*2^710703-1 is not prime.  Res64: C9DFDC3C4643019F  Time : 1279.0 sec.
user=vaughan
[2009-08-13 00:55:02]
619*2^710705-1 is not prime.  Res64: 0A10B29EFB9EE979  Time : 775.0 sec.
user=vaughan
[2009-08-13 00:56:17]
735*2^710703-1 is not prime.  Res64: BC79EB69C28566F3  Time : 1272.0 sec.
user=vaughan
[2009-08-13 00:57:40]
735*2^710705-1 is not prime.  Res64: DAC697C93B0F9D2A  Time : 785.0 sec.
user=vaughan
[2009-08-13 01:00:54]
789*2^710705-1 is not prime.  Res64: CB7BAD4417CAEF95  Time : 609.0 sec.
user=vaughan
[2009-08-13 01:02:17]
685*2^710707-1 is not prime.  Res64: 7932675B9C957139  Time : 615.0 sec.
user=vaughan
[2009-08-13 01:02:33]
781*2^710705-1 is not prime.  Res64: 214B020FC4DBFC57  Time : 742.0 sec.
user=vaughan
[2009-08-13 01:02:34]
693*2^710707-1 is not prime.  Res64: 8EE0F01CA00F2A5B  Time : 618.0 sec.
user=vaughan
[2009-08-13 01:02:47]
715*2^710707-1 is not prime.  Res64: 0B2B15D6FBBA3FAB  Time : 618.0 sec.
user=vaughan
[2009-08-13 01:04:00]
787*2^710705-1 is not prime.  Res64: C783288D9A3AAC33  Time : 797.0 sec.
user=vaughan
[2009-08-13 01:04:56]
603*2^710707-1 is not prime.  Res64: 0B960244DE676C6F  Time : 788.0 sec.
user=vaughan
[2009-08-13 01:07:55]
767*2^710708-1 is not prime.  Res64: EA78A0551EA11F83  Time : 787.0 sec.
user=vaughan
[2009-08-13 01:08:07]
741*2^710709-1 is not prime.  Res64: F4D288691202787F  Time : 785.0 sec.
user=vaughan
[2009-08-13 01:10:45]
745*2^710709-1 is not prime.  Res64: 8605611042C36033  Time : 785.0 sec.
user=vaughan
[2009-08-13 01:11:11]
623*2^710710-1 is not prime.  Res64: E7C9691AFBA46DCB  Time : 617.0 sec.
user=vaughan
[2009-08-13 01:12:31]
717*2^710710-1 is not prime.  Res64: 271AE4D04D115D0E  Time : 614.0 sec.
user=vaughan
[2009-08-13 01:12:49]
673*2^710711-1 is not prime.  Res64: DFB51067E93581ED  Time : 615.0 sec.
user=vaughan
[2009-08-13 01:13:03]
735*2^710711-1 is not prime.  Res64: 52889A158161CB49  Time : 616.0 sec.
user=vaughan
[2009-08-13 01:14:58]
785*2^710710-1 is not prime.  Res64: 742166BEB37BCFE8  Time : 745.0 sec.
user=vaughan
[2009-08-13 01:16:42]
629*2^710712-1 is not prime.  Res64: 5F64DEEEDADB379E  Time : 762.0 sec.
user=vaughan
[2009-08-13 01:18:07]
713*2^710712-1 is not prime.  Res64: D79CBFDF25096A77  Time : 791.0 sec.
user=vaughan
[2009-08-13 01:21:09]
649*2^710713-1 is not prime.  Res64: 95AFFE3143A8E5D0  Time : 782.0 sec.
user=vaughan
[2009-08-13 01:21:13]
737*2^710712-1 is not prime.  Res64: C6096497DE06599F  Time : 798.0 sec.
user=vaughan
[2009-08-13 01:21:28]
745*2^710713-1 is not prime.  Res64: CDF71FD8E17D97E5  Time : 617.0 sec.
user=vaughan
[2009-08-13 01:22:47]
711*2^710714-1 is not prime.  Res64: 6C04A5F773EE4B9A  Time : 616.0 sec.
user=vaughan
[2009-08-13 01:23:05]
717*2^710714-1 is not prime.  Res64: 471A4CAE1E4BE741  Time : 616.0 sec.
user=vaughan
[2009-08-13 01:23:19]
753*2^710714-1 is not prime.  Res64: 1BDAAFCFE10DAB2E  Time : 616.0 sec.
user=vaughan
[2009-08-13 01:23:49]
741*2^710713-1 is not prime.  Res64: 876A9586B0B0A1EA  Time : 784.0 sec.
user=vaughan
[2009-08-13 01:27:18]
767*2^710714-1 is not prime.  Res64: 7D463740EE3012E3  Time : 741.0 sec.
user=vaughan
[2009-08-13 01:28:59]
797*2^710714-1 is not prime.  Res64: 8EB311EFF0593EC5  Time : 737.0 sec.
user=vaughan
[2009-08-13 01:31:14]
663*2^710715-1 is not prime.  Res64: D71E10FBAC315D4A  Time : 788.0 sec.
user=vaughan
[2009-08-13 01:31:32]
723*2^710716-1 is not prime.  Res64: 12A763AA00920BF2  Time : 604.0 sec.
user=vaughan
[2009-08-13 01:32:48]
779*2^710716-1 is not prime.  Res64: 1ADDB93D2B46B2B7  Time : 602.0 sec.
user=vaughan
[2009-08-13 01:33:04]
783*2^710716-1 is not prime.  Res64: B323904D4F6E0928  Time : 600.0 sec.
user=vaughan
[2009-08-13 01:33:19]
669*2^710717-1 is not prime.  Res64: 7AC506D1A838622C  Time : 601.0 sec.
user=vaughan
[2009-08-13 01:33:42]
705*2^710715-1 is not prime.  Res64: 4B14DFCBD0D47F52  Time : 753.0 sec.
user=vaughan
[2009-08-13 01:34:01]
675*2^710716-1 is not prime.  Res64: 6EFBEBF8F788A570  Time : 768.0 sec.
user=vaughan
[2009-08-13 01:36:54]
697*2^710717-1 is not prime.  Res64: E52A703839D5502B  Time : 785.0 sec.
user=vaughan
[2009-08-13 01:39:09]
727*2^710717-1 is not prime.  Res64: 3F141A60D7FE56C3  Time : 711.0 sec.
user=vaughan
[2009-08-13 01:40:51]
759*2^710717-1 is not prime.  Res64: A6008DF5239DE484  Time : 712.0 sec.
user=vaughan
[2009-08-13 01:41:15]
663*2^710719-1 is not prime.  Res64: 66987907C233B248  Time : 583.0 sec.
user=vaughan
[2009-08-13 01:42:29]
681*2^710719-1 is not prime.  Res64: 3D390FAFAA72A163  Time : 581.0 sec.
user=vaughan
[2009-08-13 01:42:46]
703*2^710719-1 is not prime.  Res64: 5BCB0267B9C5FA77  Time : 582.0 sec.
user=vaughan
[2009-08-13 01:42:59]
709*2^710719-1 is not prime.  Res64: 0F4298F0B9B125EB  Time : 580.0 sec.
user=vaughan
[2009-08-13 01:44:20]
747*2^710718-1 is not prime.  Res64: BB3527B4F41B9E13  Time : 786.0 sec.
user=vaughan
[2009-08-13 01:46:04]
723*2^710719-1 is not prime.  Res64: 43CF8B863984ECDE  Time : 743.0 sec.
user=vaughan
[2009-08-13 01:46:41]
735*2^710719-1 is not prime.  Res64: 3CA3CA63FE2545F0  Time : 760.0 sec.
user=vaughan
[2009-08-13 01:49:56]
769*2^710719-1 is not prime.  Res64: 903064F04B871583  Time : 782.0 sec.
user=vaughan
[2009-08-13 01:50:43]
625*2^710721-1 is not prime.  Res64: 1A10E1329CAD3A61  Time : 568.0 sec.
user=vaughan
[2009-08-13 01:51:01]
689*2^710720-1 is not prime.  Res64: 71A634C4D9A5DC7D  Time : 713.0 sec.
user=vaughan
[2009-08-13 01:51:56]
627*2^710721-1 is not prime.  Res64: 628B5F25997A2305  Time : 568.0 sec.
user=vaughan
[2009-08-13 01:52:14]
649*2^710721-1 is not prime.  Res64: BB9894B9164B2FA4  Time : 568.0 sec.
user=vaughan
[2009-08-13 01:52:28]
657*2^710721-1 is not prime.  Res64: 00D0409534B76968  Time : 569.0 sec.
user=vaughan
[2009-08-13 01:52:42]
719*2^710720-1 is not prime.  Res64: 211B59683D6ACCB6  Time : 712.0 sec.
user=vaughan
[2009-08-13 01:57:26]
603*2^710722-1 is not prime.  Res64: E67F9D1B76642530  Time : 786.0 sec.
user=vaughan
[2009-08-13 01:58:26]
681*2^710722-1 is not prime.  Res64: 151545D4A45D1CB0  Time : 742.0 sec.
user=vaughan
[2009-08-13 01:59:17]
717*2^710722-1 is not prime.  Res64: 96AA1289D1F0D88C  Time : 756.0 sec.
user=vaughan
[2009-08-13 02:00:06]
777*2^710722-1 is not prime.  Res64: 25342B8C966BA8E1  Time : 564.0 sec.
user=vaughan
[2009-08-13 02:01:20]
705*2^710723-1 is not prime.  Res64: 4B2B178380207855  Time : 564.0 sec.
user=vaughan
[2009-08-13 02:01:38]
665*2^710724-1 is not prime.  Res64: C973FAC31AB0A228  Time : 564.0 sec.
user=vaughan
[2009-08-13 02:01:52]
683*2^710724-1 is not prime.  Res64: 90B36B5FAB47098D  Time : 564.0 sec.
user=vaughan
[2009-08-13 02:02:59]
723*2^710722-1 is not prime.  Res64: 10E64EDA8FBCCAF6  Time : 783.0 sec.
user=vaughan
[2009-08-13 02:03:08]
685*2^710723-1 is not prime.  Res64: 0FF03CC8A8162112  Time : 728.0 sec.
user=vaughan
[2009-08-13 02:04:51]
783*2^710724-1 is not prime.  Res64: 0C34E9F6098539FB  Time : 730.0 sec.
user=vaughan
[2009-08-13 02:10:02]
679*2^710725-1 is not prime.  Res64: E6DEA640BE5421CE  Time : 596.0 sec.
user=vaughan
[2009-08-13 02:10:33]
601*2^710725-1 is not prime.  Res64: 11D93E3280A63787  Time : 787.0 sec.
user=vaughan
[2009-08-13 02:11:18]
657*2^710726-1 is not prime.  Res64: 803A9F49F55630DF  Time : 598.0 sec.
user=vaughan
[2009-08-13 02:11:36]
693*2^710727-1 is not prime.  Res64: 89016BBD0E6D3289  Time : 599.0 sec.
user=vaughan
[2009-08-13 02:11:43]
619*2^710725-1 is not prime.  Res64: F3F9020184A5310E  Time : 797.0 sec.
user=vaughan
[2009-08-13 02:11:53]
709*2^710727-1 is not prime.  Res64: 47CF6F38BF78DC35  Time : 601.0 sec.
user=vaughan
[2009-08-13 02:12:43]
651*2^710725-1 is not prime.  Res64: D1A84C2285B545C4  Time : 806.0 sec.
user=vaughan
[2009-08-13 02:15:47]
605*2^710728-1 is not prime.  Res64: DDC76B4050E7ED20  Time : 759.0 sec.
user=vaughan
[2009-08-13 02:16:02]
603*2^710728-1 is not prime.  Res64: 3756BAE3339E1DF8  Time : 783.0 sec.
user=vaughan
[2009-08-13 02:17:42]
735*2^710728-1 is not prime.  Res64: 83CDA77A4BD2E830  Time : 772.0 sec.
user=vaughan
[2009-08-13 02:20:04]
747*2^710728-1 is not prime.  Res64: A2CB5DF8F8FE37B0  Time : 602.0 sec.
user=vaughan
[2009-08-13 02:21:20]
601*2^710729-1 is not prime.  Res64: A60ACD489471034F  Time : 602.0 sec.
user=vaughan
[2009-08-13 02:21:39]
769*2^710729-1 is not prime.  Res64: 8BBB11107ED95BF6  Time : 603.0 sec.
user=vaughan
[2009-08-13 02:21:53]
615*2^710730-1 is not prime.  Res64: 7E250315AA1FA94D  Time : 600.0 sec.
user=vaughan
[2009-08-13 02:23:40]
765*2^710728-1 is not prime.  Res64: 9FE6BC1DC140EF0B  Time : 787.0 sec.
user=vaughan
[2009-08-13 02:25:05]
611*2^710730-1 is not prime.  Res64: 7F3D4ED6C56920C0  Time : 802.0 sec.
user=vaughan
[2009-08-13 02:26:23]
633*2^710730-1 is not prime.  Res64: BE5671FA0E8E9FDF  Time : 820.0 sec.
user=vaughan
[2009-08-13 02:28:32]
641*2^710730-1 is not prime.  Res64: E93D673728BE0689  Time : 765.0 sec.
user=vaughan
[2009-08-13 02:29:06]
707*2^710730-1 is not prime.  Res64: 69DB1D39C3CD2E13  Time : 784.0 sec.
user=vaughan
[2009-08-13 02:29:39]
703*2^710731-1 is not prime.  Res64: 3C203BBC822730BB  Time : 575.0 sec.
user=vaughan
[2009-08-13 02:30:24]
755*2^710730-1 is not prime.  Res64: 5FAFD664539F4D74  Time : 762.0 sec.
user=vaughan
[2009-08-13 02:30:53]
723*2^710731-1 is not prime.  Res64: CA027D1B48DCB79F  Time : 573.0 sec.
user=vaughan
[2009-08-13 02:31:12]
733*2^710731-1 is not prime.  Res64: 5CCC4559BC3A7701  Time : 573.0 sec.
user=vaughan
[2009-08-13 02:31:26]
741*2^710731-1 is not prime.  Res64: 155BA646FA856B65  Time : 573.0 sec.
user=vaughan
[2009-08-13 02:36:47]
783*2^710731-1 is not prime.  Res64: 4C3BCE0F539B51DF  Time : 787.0 sec.
user=vaughan
[2009-08-13 02:38:16]
617*2^710732-1 is not prime.  Res64: B1C5C088DB308189  Time : 791.0 sec.
user=vaughan
[2009-08-13 02:39:03]
693*2^710732-1 is not prime.  Res64: 83427E74F6100868  Time : 564.0 sec.
user=vaughan
[2009-08-13 02:39:43]
629*2^710732-1 is not prime.  Res64: DB3011111A98ABFF  Time : 800.0 sec.
user=vaughan
[2009-08-13 02:40:30]
649*2^710733-1 is not prime.  Res64: 8413692420D12A46  Time : 578.0 sec.
user=vaughan
[2009-08-13 02:40:49]
675*2^710733-1 is not prime.  Res64: E3646DEE4852E437  Time : 577.0 sec.
user=vaughan
[2009-08-13 02:40:52]
647*2^710732-1 is not prime.  Res64: 4D202381EDB1D777  Time : 740.0 sec.
user=vaughan
[2009-08-13 02:41:09]
781*2^710733-1 is not prime.  Res64: 239CBEC52C54FAD5  Time : 583.0 sec.
user=vaughan
[2009-08-13 02:42:10]
677*2^710732-1 is not prime.  Res64: 44437FC495993643  Time : 785.0 sec.
user=vaughan
[2009-08-13 02:42:32]
797*2^710732-1 is not prime.  Res64: 54BE1C9166AD5839  Time : 729.0 sec.
user=vaughan
[2009-08-13 02:49:27]
633*2^710735-1 is not prime.  Res64: DD8D534181616CBA  Time : 624.0 sec.
user=vaughan
[2009-08-13 02:49:54]
617*2^710734-1 is not prime.  Res64: 971EA1CC7C51E485  Time : 787.0 sec.
user=vaughan
[2009-08-13 02:50:39]
717*2^710734-1 is not prime.  Res64: D1E25A2EC006B074  Time : 743.0 sec.
user=vaughan
[2009-08-13 02:50:48]
661*2^710735-1 is not prime.  Res64: 328C90DB63090043  Time : 618.0 sec.
user=vaughan
[2009-08-13 02:51:13]
679*2^710735-1 is not prime.  Res64: F36E3E15E5C4CF8A  Time : 624.0 sec.
user=vaughan
[2009-08-13 02:51:30]
781*2^710735-1 is not prime.  Res64: 62A72C73843B483A  Time : 622.0 sec.
user=vaughan
[2009-08-13 02:52:39]
645*2^710735-1 is not prime.  Res64: 1F3C770CC35AF5B7  Time : 776.0 sec.
user=vaughan
[2009-08-13 02:53:08]
705*2^710735-1 is not prime.  Res64: B281C96E7D977609  Time : 736.0 sec.
user=vaughan
[2009-08-13 02:54:54]
723*2^710736-1 is not prime.  Res64: 613BA8D678F226CB  Time : 743.0 sec.
user=vaughan
[2009-08-13 02:55:14]
623*2^710736-1 is not prime.  Res64: 12F478F20188E3A6  Time : 784.0 sec.
user=vaughan
[2009-08-13 02:59:22]
759*2^710736-1 is not prime.  Res64: B7DDD1D308CAAA97  Time : 595.0 sec.
user=vaughan
[2009-08-13 03:00:31]
645*2^710737-1 is not prime.  Res64: F4A2AFD64325B073  Time : 583.0 sec.
user=vaughan
[2009-08-13 03:00:58]
727*2^710737-1 is not prime.  Res64: 6DCE1875DC02E08E  Time : 585.0 sec.
user=vaughan
[2009-08-13 03:01:11]
645*2^710738-1 is not prime.  Res64: 15AA8EDF22217D87  Time : 581.0 sec.
user=vaughan
[2009-08-13 03:03:02]
773*2^710736-1 is not prime.  Res64: E35E968EE8DCC48C  Time : 788.0 sec.
user=vaughan
[2009-08-13 03:03:06]
615*2^710737-1 is not prime.  Res64: EA3B98A4C64F5631  Time : 747.0 sec.
user=vaughan
[2009-08-13 03:05:06]
755*2^710738-1 is not prime.  Res64: 9A31D82472C653BF  Time : 718.0 sec.
user=vaughan
[2009-08-13 03:05:30]
665*2^710738-1 is not prime.  Res64: DB3CC9C80C5119E5  Time : 772.0 sec.
user=vaughan
[2009-08-13 03:06:52]
771*2^710738-1 is not prime.  Res64: 99C244A959F39F00  Time : 719.0 sec.
user=vaughan
[2009-08-13 03:08:17]
601*2^710739-1 is not prime.  Res64: F33A9090205B538C  Time : 783.0 sec.
user=vaughan
[2009-08-13 03:08:43]
619*2^710739-1 is not prime.  Res64: D79BEF96FBEFA23F  Time : 562.0 sec.
user=vaughan
[2009-08-13 03:09:52]
663*2^710739-1 is not prime.  Res64: 0A855F44FC8E392C  Time : 561.0 sec.
user=vaughan
[2009-08-13 03:10:20]
795*2^710739-1 is not prime.  Res64: 3ECBB5A3B461E8C4  Time : 562.0 sec.
user=vaughan
[2009-08-13 03:10:34]
605*2^710740-1 is not prime.  Res64: 78755FF5329323E5  Time : 563.0 sec.
user=vaughan
[2009-08-13 03:15:17]
665*2^710740-1 is not prime.  Res64: 0966E6330974C219  Time : 731.0 sec.
user=vaughan
[2009-08-13 03:16:09]
623*2^710740-1 is not prime.  Res64: 1EBC9579A3EF40D4  Time : 788.0 sec.
user=vaughan
[2009-08-13 03:16:54]
759*2^710740-1 is not prime.  Res64: 9125866FC8C2BEAE  Time : 708.0 sec.
user=vaughan
[2009-08-13 03:18:03]
619*2^710741-1 is not prime.  Res64: 9C0F9EEEA2B5BC94  Time : 753.0 sec.
user=vaughan
[2009-08-13 03:18:25]
657*2^710742-1 is not prime.  Res64: 9131CBCD9D8E713E  Time : 582.0 sec.
user=vaughan
[2009-08-13 03:18:41]
657*2^710741-1 is not prime.  Res64: 40D6FE302464A8B3  Time : 709.0 sec.
user=vaughan
[2009-08-13 03:19:43]
711*2^710742-1 is not prime.  Res64: 28E8A5073CFDD147  Time : 591.0 sec.
user=vaughan
[2009-08-13 03:20:13]
747*2^710742-1 is not prime.  Res64: D1A84AB75992B098  Time : 593.0 sec.
user=vaughan
[2009-08-13 03:20:33]
649*2^710743-1 is not prime.  Res64: EC436407BC88EADA  Time : 600.0 sec.
user=vaughan
[2009-08-13 03:21:21]
611*2^710742-1 is not prime.  Res64: 7E2C71F145497D88  Time : 784.0 sec.
user=vaughan
[2009-08-13 03:28:30]
723*2^710743-1 is not prime.  Res64: E5AE8E57F382B831  Time : 605.0 sec.
user=vaughan
[2009-08-13 03:28:32]
663*2^710743-1 is not prime.  Res64: EA6B0F9D82F3EF15  Time : 795.0 sec.
user=vaughan
[2009-08-13 03:29:17]
679*2^710743-1 is not prime.  Res64: A18255F9CFB3E084  Time : 789.0 sec.
user=vaughan
[2009-08-13 03:29:40]
759*2^710744-1 is not prime.  Res64: 972AF2C49546C015  Time : 598.0 sec.
user=vaughan
[2009-08-13 03:29:46]
693*2^710743-1 is not prime.  Res64: AE61CF86F237533D  Time : 772.0 sec.
user=vaughan
[2009-08-13 03:30:03]
639*2^710745-1 is not prime.  Res64: 7C42941116CFD02B  Time : 590.0 sec.
user=vaughan
[2009-08-13 03:30:25]
667*2^710745-1 is not prime.  Res64: 0C0ECDD15206C419  Time : 592.0 sec.
user=vaughan
[2009-08-13 03:31:09]
705*2^710743-1 is not prime.  Res64: 2E1C9BBEB5492FC4  Time : 786.0 sec.
user=vaughan
[2009-08-13 03:31:30]
623*2^710744-1 is not prime.  Res64: 165569CB85AB7BCA  Time : 769.0 sec.
user=vaughan
[2009-08-13 03:34:25]
699*2^710745-1 is not prime.  Res64: B291636C981D1AEA  Time : 784.0 sec.
user=vaughan
[2009-08-13 03:37:55]
743*2^710746-1 is not prime.  Res64: 0BDF82A3BC808F95  Time : 565.0 sec.
user=vaughan
[2009-08-13 03:39:01]
663*2^710747-1 is not prime.  Res64: 451B3FC226AE0913  Time : 562.0 sec.
user=vaughan
[2009-08-13 03:39:27]
733*2^710747-1 is not prime.  Res64: 8A78F67A8D55C9AC  Time : 564.0 sec.
user=vaughan
[2009-08-13 03:39:49]
753*2^710747-1 is not prime.  Res64: D1DABFA97E1625E2  Time : 564.0 sec.
user=vaughan
[2009-08-13 03:42:22]
747*2^710746-1 is not prime.  Res64: 6E1B5DFAA662A3D1  Time : 785.0 sec.
user=vaughan
[2009-08-13 03:47:17]
633*2^710748-1 is not prime.  Res64: B3AABD570789C1C8  Time : 562.0 sec.
user=vaughan
[2009-08-13 03:48:24]
669*2^710748-1 is not prime.  Res64: 1297D72E27E28B8E  Time : 563.0 sec.
user=vaughan
[2009-08-13 03:48:50]
699*2^710748-1 is not prime.  Res64: 6B965BEBE80298D3  Time : 564.0 sec.
user=vaughan
[2009-08-13 03:49:11]
707*2^710748-1 is not prime.  Res64: F9412445703A842C  Time : 562.0 sec.
user=vaughan
[2009-08-13 03:56:59]
615*2^710750-1 is not prime.  Res64: 84FB373EA4E96774  Time : 583.0 sec.
user=vaughan
[2009-08-13 03:58:08]
623*2^710750-1 is not prime.  Res64: BCC39A816A7AE46A  Time : 584.0 sec.
user=vaughan
[2009-08-13 03:58:39]
665*2^710750-1 is not prime.  Res64: D875C40C451E185F  Time : 589.0 sec.
user=vaughan
[2009-08-13 03:59:01]
687*2^710750-1 is not prime.  Res64: 68970540D28263FB  Time : 590.0 sec.
user=vaughan
[2009-08-13 04:06:40]
773*2^710750-1 is not prime.  Res64: F32AFFDF95F9BC45  Time : 581.0 sec.
user=vaughan
[2009-08-13 04:07:47]
661*2^710751-1 is not prime.  Res64: B65C0E8C6EDAB7CD  Time : 579.0 sec.
user=vaughan
[2009-08-13 04:08:19]
679*2^710751-1 is not prime.  Res64: 12F445FD7A64C09F  Time : 580.0 sec.
user=vaughan
[2009-08-13 04:08:35]
685*2^710751-1 is not prime.  Res64: FDD72E313289AA39  Time : 575.0 sec.
user=vaughan
[2009-08-13 04:16:07]
741*2^710751-1 is not prime.  Res64: 6E0F28F72E6EA904  Time : 567.0 sec.
user=vaughan
[2009-08-13 04:17:11]
605*2^710752-1 is not prime.  Res64: E44BA033D9158629  Time : 565.0 sec.
user=vaughan
[2009-08-13 04:17:42]
629*2^710752-1 is not prime.  Res64: 63F1037B3F01682A  Time : 564.0 sec.
user=vaughan
[2009-08-13 04:17:59]
657*2^710752-1 is not prime.  Res64: 48F5FB0F01EECEA7  Time : 564.0 sec.
user=vaughan
[2009-08-13 04:25:30]
665*2^710752-1 is not prime.  Res64: 74926FBC56FDB543  Time : 563.0 sec.
user=vaughan
[2009-08-13 04:26:34]
677*2^710752-1 is not prime.  Res64: E58579AC220919AC  Time : 563.0 sec.
user=vaughan
[2009-08-13 04:27:02]
619*2^710753-1 is not prime.  Res64: F952CB7B4ED55B5F  Time : 560.0 sec.
user=vaughan
[2009-08-13 04:27:20]
705*2^710753-1 is not prime.  Res64: E0C8A18162FC8878  Time : 561.0 sec.
user=vaughan
[2009-08-13 04:35:10]
727*2^710753-1 is not prime.  Res64: 280C14DD722ACF80  Time : 580.0 sec.
user=vaughan
[2009-08-13 04:36:28]
693*2^710755-1 is not prime.  Res64: D0366839BDD64891  Time : 594.0 sec.
user=vaughan
[2009-08-13 04:36:55]
759*2^710755-1 is not prime.  Res64: 06C89BF77C8E7AC7  Time : 594.0 sec.
user=vaughan
[2009-08-13 04:37:17]
609*2^710756-1 is not prime.  Res64: 14EEA5D9C4F77312  Time : 597.0 sec.
user=vaughan
[2009-08-13 04:45:40]
635*2^710756-1 is not prime.  Res64: 950E71CC90D06FB4  Time : 630.0 sec.
user=vaughan
[2009-08-13 04:46:54]
669*2^710756-1 is not prime.  Res64: 4F0997E8AAC70415  Time : 626.0 sec.
user=vaughan
[2009-08-13 04:47:18]
725*2^710756-1 is not prime.  Res64: 3D62A76019789D79  Time : 624.0 sec.
user=vaughan
[2009-08-13 04:47:41]
615*2^710757-1 is not prime.  Res64: 0AA9797C1A0442D2  Time : 624.0 sec.
user=vaughan
[2009-08-13 04:55:42]
681*2^710757-1 is not prime.  Res64: 4BEAC4D805FA36A1  Time : 602.0 sec.
user=vaughan
[2009-08-13 04:56:58]
717*2^710757-1 is not prime.  Res64: 16355658DC30FA6A  Time : 604.0 sec.
user=vaughan
[2009-08-13 04:57:14]
741*2^710757-1 is not prime.  Res64: D5287A14E2A186DA  Time : 596.0 sec.
user=vaughan
[2009-08-13 04:57:40]
765*2^710757-1 is not prime.  Res64: CC2B6641C4922B72  Time : 599.0 sec.
user=vaughan
[2009-08-13 05:05:26]
605*2^710758-1 is not prime.  Res64: 68FDFB1470AD55D9  Time : 584.0 sec.
user=vaughan
[2009-08-13 05:06:37]
645*2^710758-1 is not prime.  Res64: 8969CD7C95C3DEE0  Time : 580.0 sec.
user=vaughan
[2009-08-13 05:06:52]
647*2^710758-1 is not prime.  Res64: 2C180C6A0569BEAA  Time : 578.0 sec.
user=vaughan
[2009-08-13 05:07:19]
737*2^710758-1 is not prime.  Res64: 760C5EA7CF74EFCE  Time : 579.0 sec.
user=vaughan
[2009-08-13 05:14:51]
747*2^710758-1 is not prime.  Res64: 954B5DA4E4028E71  Time : 565.0 sec.
user=vaughan
[2009-08-13 05:16:10]
765*2^710758-1 is not prime.  Res64: 90C1494FC2842260  Time : 574.0 sec.
user=vaughan
[2009-08-13 05:16:24]
693*2^710759-1 is not prime.  Res64: 0F53C76CD1F0914E  Time : 572.0 sec.
user=vaughan
[2009-08-13 05:16:52]
759*2^710759-1 is not prime.  Res64: A6AC1D41BD21AB24  Time : 573.0 sec.
user=vaughan
[2009-08-13 05:25:15]
629*2^710760-1 is not prime.  Res64: 55881253FEB06704  Time : 624.0 sec.
user=vaughan
[2009-08-13 05:26:32]
675*2^710760-1 is not prime.  Res64: 41BE3A1765DF70D0  Time : 622.0 sec.
user=vaughan
[2009-08-13 05:26:45]
601*2^710761-1 is not prime.  Res64: CC18CEE9ED98E404  Time : 621.0 sec.
user=vaughan
[2009-08-13 05:27:23]
615*2^710761-1 is not prime.  Res64: FBC13D126C31BC4F  Time : 631.0 sec.
user=vaughan
[2009-08-13 05:35:22]
651*2^710761-1 is not prime.  Res64: F99B24520E0CB1EC  Time : 607.0 sec.
user=vaughan
[2009-08-13 05:36:36]
675*2^710761-1 is not prime.  Res64: 34A3DB5F7F74A3E7  Time : 604.0 sec.
user=vaughan
[2009-08-13 05:36:45]
685*2^710761-1 is not prime.  Res64: 412BFADB7918BC4B  Time : 601.0 sec.
user=vaughan
[2009-08-13 05:37:21]
743*2^710762-1 is not prime.  Res64: 06630F087E1F8E7C  Time : 598.0 sec.
user=vaughan
[2009-08-13 05:45:03]
613*2^710763-1 is not prime.  Res64: 5CB557D982DBAC80  Time : 581.0 sec.
user=vaughan
[2009-08-13 05:46:18]
619*2^710763-1 is not prime.  Res64: 2CB353C55C8D6068  Time : 582.0 sec.
user=vaughan
[2009-08-13 05:46:23]
793*2^710763-1 is not prime.  Res64: B2EB800B26966CE6  Time : 579.0 sec.
user=vaughan
[2009-08-13 05:47:00]
615*2^710764-1 is not prime.  Res64: 17E47A7864D60227  Time : 579.0 sec.
user=vaughan
[2009-08-13 05:54:33]
617*2^710764-1 is not prime.  Res64: 63AA00B863AD0758  Time : 571.0 sec.
user=vaughan
[2009-08-13 05:55:46]
629*2^710764-1 is not prime.  Res64: BD9F120761C058E0  Time : 569.0 sec.
user=vaughan
[2009-08-13 05:55:53]
657*2^710764-1 is not prime.  Res64: 328E4FDB5923FBAB  Time : 570.0 sec.
user=vaughan
[2009-08-13 05:56:28]
717*2^710764-1 is not prime.  Res64: C4BB9A0A6CA7A364  Time : 568.0 sec.
user=vaughan
[2009-08-13 06:03:54]
711*2^710765-1 is not prime.  Res64: D0D959E6FB66F99B  Time : 561.0 sec.
user=vaughan
[2009-08-13 06:05:06]
735*2^710765-1 is not prime.  Res64: 61C20E41AD2CB9D0  Time : 560.0 sec.
user=vaughan
[2009-08-13 06:05:14]
741*2^710765-1 is not prime.  Res64: 45AB5D92ABBB5389  Time : 561.0 sec.
user=vaughan
[2009-08-13 06:05:50]
795*2^710765-1 is not prime.  Res64: 8B5FE1ADD1969A0E  Time : 563.0 sec.
user=vaughan
[2009-08-13 06:13:15]
615*2^710766-1 is not prime.  Res64: 4A4819579FB39DDA  Time : 561.0 sec.
user=vaughan
[2009-08-13 06:14:25]
635*2^710766-1 is not prime.  Res64: 54CE984378EFBFCF  Time : 560.0 sec.
user=vaughan
[2009-08-13 06:14:36]
747*2^710766-1 is not prime.  Res64: 3EEDE5C4AA56372C  Time : 562.0 sec.
user=vaughan
[2009-08-13 06:15:10]
765*2^710766-1 is not prime.  Res64: F00357F061195F68  Time : 560.0 sec.
user=vaughan
[2009-08-13 06:22:41]
625*2^710767-1 is not prime.  Res64: B9F597C3EF4EA953  Time : 566.0 sec.
user=vaughan
[2009-08-13 06:23:45]
775*2^710767-1 is not prime.  Res64: 3294EA6BF0A015E0  Time : 560.0 sec.
user=vaughan
[2009-08-13 06:24:08]
603*2^710768-1 is not prime.  Res64: 0260DF25FAE608FE  Time : 573.0 sec.
user=vaughan
[2009-08-13 06:24:39]
665*2^710768-1 is not prime.  Res64: 15FACD6CD809DD51  Time : 569.0 sec.
user=vaughan
[2009-08-13 06:32:45]
681*2^710769-1 is not prime.  Res64: 140A07C6FCC45AE0  Time : 604.0 sec.
user=vaughan
[2009-08-13 06:33:54]
727*2^710769-1 is not prime.  Res64: 5BC5EE1BB66A27F7  Time : 610.0 sec.
user=vaughan
[2009-08-13 06:34:06]
745*2^710769-1 is not prime.  Res64: CB00BD4CAA4A5327  Time : 598.0 sec.
user=vaughan
[2009-08-13 06:34:37]
781*2^710769-1 is not prime.  Res64: F9AE67F123F064B0  Time : 599.0 sec.
user=vaughan
[2009-08-13 06:42:28]
787*2^710769-1 is not prime.  Res64: A7AC2A4495D487D7  Time : 583.0 sec.
user=vaughan
[2009-08-13 06:43:34]
605*2^710770-1 is not prime.  Res64: 1A444C4D6C3F6357  Time : 581.0 sec.
user=vaughan
[2009-08-13 06:43:43]
681*2^710770-1 is not prime.  Res64: 6ABEB1F1C40567CC  Time : 577.0 sec.
user=vaughan
[2009-08-13 06:44:14]
759*2^710771-1 is not prime.  Res64: 5817DF6A37C86739  Time : 577.0 sec.
user=vaughan
[2009-08-13 06:51:56]
783*2^710771-1 is not prime.  Res64: BEAD558DC01C0C5E  Time : 568.0 sec.
user=vaughan
[2009-08-13 06:52:59]
629*2^710772-1 is not prime.  Res64: 10F098B3C7871658  Time : 565.0 sec.
user=vaughan
[2009-08-13 06:53:09]
635*2^710772-1 is not prime.  Res64: BABF8862C9C27502  Time : 567.0 sec.
user=vaughan
[2009-08-13 06:53:38]
689*2^710772-1 is not prime.  Res64: 29C09BE371C59BF3  Time : 565.0 sec.
user=vaughan
[2009-08-13 07:01:20]
705*2^710442-1 is not prime.  Res64: 008449446F9F461C  Time : 564.0 sec.
user=vaughan
[2009-08-13 07:02:23]
767*2^710772-1 is not prime.  Res64: D8B5A933F7346A45  Time : 564.0 sec.
user=vaughan
[2009-08-13 07:02:32]
771*2^710773-1 is not prime.  Res64: 03E1393FF2B462E2  Time : 564.0 sec.
user=vaughan
[2009-08-13 07:03:01]
641*2^710774-1 is not prime.  Res64: 1A6400C62FD5E8E4  Time : 563.0 sec.
user=vaughan
[2009-08-13 07:11:13]
675*2^710774-1 is not prime.  Res64: 204F25CB66C96AFC  Time : 593.0 sec.
user=vaughan
[2009-08-13 07:12:00]
677*2^710774-1 is not prime.  Res64: 1DA51CEA13D2FB4F  Time : 578.0 sec.
user=vaughan
[2009-08-13 07:12:09]
693*2^710774-1 is not prime.  Res64: 684FC376E6B06E1D  Time : 577.0 sec.
user=vaughan
[2009-08-13 07:12:47]
785*2^710774-1 is not prime.  Res64: 4DEB2D29DEA4FAEB  Time : 587.0 sec.
user=vaughan
[2009-08-13 21:10:46]
721*2^710749-1 is not prime.  Res64: E1DEF742CB545ACD  Time : 62904.0 sec.