user=vaughan
[2010-10-20 21:56:12]
677*2^764726-1 is not prime.  Res64: A286DBD30D53401B  Time : 922.0 sec.
user=vaughan
[2010-10-20 21:56:12]
783*2^764724-1 is not prime.  Res64: 6A51E29F42869BD1  Time : 939.0 sec.
user=vaughan
[2010-10-20 21:57:17]
741*2^764726-1 is not prime.  Res64: 5A5279F961D8645D  Time : 930.0 sec.
user=vaughan
[2010-10-20 21:57:54]
691*2^764727-1 is not prime.  Res64: 2529265E6FF37D70  Time : 898.0 sec.
user=vaughan
[2010-10-20 22:08:37]
615*2^764729-1 is not prime.  Res64: E821B76ADB66383E  Time : 745.0 sec.
user=vaughan
[2010-10-20 22:10:53]
677*2^764728-1 is not prime.  Res64: 2A1C23587346966C  Time : 881.0 sec.
user=vaughan
[2010-10-20 22:11:59]
789*2^764729-1 is not prime.  Res64: 9A683EF2A18E8304  Time : 882.0 sec.
user=vaughan
[2010-10-20 22:23:14]
649*2^764731-1 is not prime.  Res64: DED7864D21DC6192  Time : 741.0 sec.
user=vaughan
[2010-10-20 22:23:15]
797*2^764730-1 is not prime.  Res64: 609AE464465968DE  Time : 878.0 sec.
user=vaughan
[2010-10-20 22:24:22]
651*2^764731-1 is not prime.  Res64: 621A542FFEF66661  Time : 744.0 sec.
user=vaughan
[2010-10-20 22:37:51]
709*2^764731-1 is not prime.  Res64: B59B549292DB5F6A  Time : 876.0 sec.
user=vaughan
[2010-10-20 22:37:53]
693*2^764731-1 is not prime.  Res64: DBBC9E23EABB5908  Time : 879.0 sec.
user=vaughan
[2010-10-20 22:39:03]
745*2^764731-1 is not prime.  Res64: 970D52A295F6D08F  Time : 882.0 sec.
user=vaughan
[2010-10-20 22:50:10]
629*2^764732-1 is not prime.  Res64: 47DB2FA3B6C82E57  Time : 739.0 sec.
user=vaughan
[2010-10-20 22:52:31]
735*2^764732-1 is not prime.  Res64: E38A77C87AE1832D  Time : 878.0 sec.
user=vaughan
[2010-10-20 22:53:43]
767*2^764732-1 is not prime.  Res64: A0A93AD9FAD9D7A7  Time : 881.0 sec.
user=vaughan
[2010-10-20 23:02:29]
621*2^764733-1 is not prime.  Res64: FDF22EC91F9D20D5  Time : 739.0 sec.
user=vaughan
[2010-10-20 23:07:10]
691*2^764733-1 is not prime.  Res64: ED0AD0EFBA8746B1  Time : 879.0 sec.
user=vaughan
[2010-10-20 23:08:24]
735*2^764733-1 is not prime.  Res64: EE12F11C2D407DE4  Time : 881.0 sec.
user=vaughan
[2010-10-20 23:17:06]
769*2^764733-1 is not prime.  Res64: 02497FE001A3D6DC  Time : 878.0 sec.
user=vaughan
[2010-10-20 23:19:31]
617*2^764734-1 is not prime.  Res64: 1955ED024A9CF77E  Time : 741.0 sec.
user=vaughan
[2010-10-20 23:23:06]
707*2^764734-1 is not prime.  Res64: CF2C4EC550DB2E59  Time : 882.0 sec.
user=vaughan
[2010-10-20 23:29:25]
603*2^764735-1 is not prime.  Res64: 10813CE2EF41A4A1  Time : 739.0 sec.
user=vaughan
[2010-10-20 23:31:51]
655*2^764735-1 is not prime.  Res64: 90927C6E2968C353  Time : 740.0 sec.
user=vaughan
[2010-10-20 23:37:46]
679*2^764735-1 is not prime.  Res64: 2DB56FBEF1AF2AB3  Time : 881.0 sec.
user=vaughan
[2010-10-20 23:44:02]
721*2^764735-1 is not prime.  Res64: 7DA9E8600228EA09  Time : 877.0 sec.
user=vaughan
[2010-10-20 23:44:12]
653*2^764736-1 is not prime.  Res64: F0FCDE232B9C0D92  Time : 741.0 sec.
user=vaughan
[2010-10-20 23:52:28]
735*2^764736-1 is not prime.  Res64: A22AE80B371020FD  Time : 882.0 sec.
user=vaughan
[2010-10-20 23:58:38]
765*2^764736-1 is not prime.  Res64: 264B01CB9D9982A2  Time : 877.0 sec.
user=vaughan
[2010-10-20 23:58:52]
789*2^764736-1 is not prime.  Res64: AD8BDEEEB2B8FEF5  Time : 880.0 sec.