user=vaughan
[2011-10-09 00:50:08]
1685*2^743824-1 is not prime.  Res64: 3D4769C5A7D5ECA6  Time : 8985.0 sec.
user=vaughan
[2011-10-09 03:19:45]
1709*2^743824-1 is not prime.  Res64: B124CF8A989A3572  Time : 8977.0 sec.
user=vaughan
[2011-10-09 05:49:32]
1745*2^743824-1 is not prime.  Res64: 2905C780C3606DFF  Time : 8988.0 sec.
user=vaughan
[2011-10-09 08:18:41]
1875*2^743824-1 is not prime.  Res64: 8CC734A4E657B47F  Time : 8950.0 sec.
user=vaughan
[2011-10-09 10:48:06]
1925*2^743824-1 is not prime.  Res64: 2A93DFFE131C24DB  Time : 8966.0 sec.
user=vaughan
[2011-10-09 13:16:57]
1937*2^743824-1 is not prime.  Res64: 7CABAB455B2C5DB2  Time : 8931.0 sec.
user=vaughan
[2011-10-09 15:45:42]
1425*2^743825-1 is not prime.  Res64: 5BC1403E1252279C  Time : 8925.0 sec.
user=vaughan
[2011-10-09 18:14:45]
1447*2^743825-1 is not prime.  Res64: E6D5908A266DE239  Time : 8943.0 sec.
user=vaughan
[2011-10-09 20:43:28]
1455*2^743825-1 is not prime.  Res64: 4314099643ABD6BE  Time : 8923.0 sec.
user=vaughan
[2011-10-09 23:13:35]
1491*2^743825-1 is not prime.  Res64: 2C0098CAD4379B2F  Time : 9008.0 sec.