user=vaughan
[2009-11-03 00:58:08]
1545*2^664242-1 is not prime.  Res64: 1754F382888D8190  Time : 6533.0 sec.
user=vaughan
[2009-11-03 02:47:10]
1547*2^664242-1 is not prime.  Res64: 1C6E71CF3511DC08  Time : 6542.0 sec.
user=vaughan
[2009-11-03 04:35:34]
1551*2^664242-1 is not prime.  Res64: 72D4B9ABD1434A7A  Time : 6504.0 sec.
user=vaughan
[2009-11-03 06:24:12]
1553*2^664242-1 is not prime.  Res64: 952783462E677E74  Time : 6518.0 sec.
user=vaughan
[2009-11-03 08:12:57]
1571*2^664242-1 is not prime.  Res64: 33D2C7F14755FB16  Time : 6526.0 sec.
user=vaughan
[2009-11-03 10:01:29]
1617*2^664242-1 is not prime.  Res64: 00FEB8B41905FA55  Time : 6513.0 sec.
user=vaughan
[2009-11-03 11:50:14]
1661*2^664242-1 is not prime.  Res64: 7CCD1BEFD53E629B  Time : 6526.0 sec.
user=MrOzzy
[2009-11-03 12:32:06]
1919*2^664240-1 is not prime.  Res64: 32F4BF9C9BBE0696  Time : 82574.0 sec.
user=MrOzzy
[2009-11-03 12:39:57]
1809*2^664240-1 is not prime.  Res64: D61FE6DF1762D495  Time : 83118.0 sec.
user=MrOzzy
[2009-11-03 12:53:23]
1551*2^664241-1 is not prime.  Res64: F736FCA772287C49  Time : 83000.0 sec.
user=MrOzzy
[2009-11-03 12:56:26]
1401*2^664241-1 is not prime.  Res64: 4C5C0A0D85710672  Time : 83253.0 sec.
user=vaughan
[2009-11-03 13:38:51]
1727*2^664242-1 is not prime.  Res64: 202D624E35B0785C  Time : 6518.0 sec.
user=vaughan
[2009-11-03 15:28:08]
1575*2^664243-1 is not prime.  Res64: 7A6D7569F64A6FFD  Time : 6557.0 sec.
user=vaughan
[2009-11-03 17:16:36]
1599*2^664243-1 is not prime.  Res64: BEB2A5C4B7399AD1  Time : 6508.0 sec.
user=vaughan
[2009-11-03 19:05:19]
1629*2^664243-1 is not prime.  Res64: 560C71854702947A  Time : 6523.0 sec.
user=vaughan
[2009-11-03 20:53:42]
1659*2^664243-1 is not prime.  Res64: 145AD23AE911E2FE  Time : 6503.0 sec.
user=vaughan
[2009-11-03 22:42:14]
1741*2^664243-1 is not prime.  Res64: 551C2FDC2D82D731  Time : 6512.0 sec.