user=vaughan
[2011-09-09 00:08:36]
1935*2^743776-1 is not prime.  Res64: 2AA8CA44749EE3D1  Time : 6074.0 sec.
user=vaughan
[2011-09-09 01:49:39]
1949*2^743776-1 is not prime.  Res64: 792CBD94002695A7  Time : 6063.0 sec.
user=vaughan
[2011-09-09 03:32:08]
1407*2^743777-1 is not prime.  Res64: 498C81159D48F5DD  Time : 6150.0 sec.
user=vaughan
[2011-09-09 05:13:59]
1495*2^743777-1 is not prime.  Res64: F015485F26B12119  Time : 6112.0 sec.
user=vaughan
[2011-09-09 06:55:40]
1509*2^743777-1 is not prime.  Res64: FC81F0670EBD6BC4  Time : 6102.0 sec.
user=vaughan
[2011-09-09 08:37:00]
1567*2^743777-1 is not prime.  Res64: 95687C467496D564  Time : 6081.0 sec.
user=vaughan
[2011-09-09 10:18:22]
1585*2^743777-1 is not prime.  Res64: A517335797D6D2EF  Time : 6082.0 sec.
user=vaughan
[2011-09-09 11:59:43]
1741*2^743777-1 is not prime.  Res64: D7B77F10554C5F41  Time : 6081.0 sec.
user=vaughan
[2011-09-09 13:53:05]
1755*2^743777-1 is not prime.  Res64: 091CE21805008EEB  Time : 6803.0 sec.
user=vaughan
[2011-09-09 15:53:49]
1785*2^743777-1 is not prime.  Res64: D24E6595D6EC6D17  Time : 7244.0 sec.
user=vaughan
[2011-09-09 17:52:57]
1849*2^743777-1 is not prime.  Res64: 9FB5428C62AD8516  Time : 7148.0 sec.
user=vaughan
[2011-09-09 19:53:48]
1897*2^743777-1 is not prime.  Res64: FE42DB940F3E1CBC  Time : 7252.0 sec.
user=vaughan
[2011-09-09 21:53:36]
1915*2^743777-1 is not prime.  Res64: A029D99A2EB1E04F  Time : 7189.0 sec.
user=vaughan
[2011-09-09 23:53:02]
1437*2^743778-1 is not prime.  Res64: 94B18586052B3EE2  Time : 7167.0 sec.