user=vaughan
[2009-10-31 01:15:50]
1887*2^664230-1 is not prime.  Res64: 38062AADAEEC804C  Time : 4710.0 sec.
user=vaughan
[2009-10-31 02:36:41]
1955*2^664230-1 is not prime.  Res64: 05C51B50ABBE2248  Time : 4851.0 sec.
user=vaughan
[2009-10-31 03:59:29]
1459*2^664231-1 is not prime.  Res64: BA7BE83D2A487DA8  Time : 4968.0 sec.
user=vaughan
[2009-10-31 05:20:30]
1471*2^664231-1 is not prime.  Res64: BA4875DFE3C9FF0C  Time : 4863.0 sec.
user=vaughan
[2009-10-31 06:41:10]
1531*2^664231-1 is not prime.  Res64: EA09F5974E6D15CA  Time : 4841.0 sec.
user=vaughan
[2009-10-31 07:58:40]
1539*2^664231-1 is not prime.  Res64: 66318AC8E774CDE0  Time : 4650.0 sec.
user=vaughan
[2009-10-31 09:15:40]
1633*2^664231-1 is not prime.  Res64: 29B3AD2F68832725  Time : 4620.0 sec.
user=vaughan
[2009-10-31 10:32:38]
1641*2^664231-1 is not prime.  Res64: CC6EF452D7C8F080  Time : 4618.0 sec.
user=vaughan
[2009-10-31 11:49:29]
1675*2^664231-1 is not prime.  Res64: 7A96E37F313B042D  Time : 4611.0 sec.
user=vaughan
[2009-10-31 13:06:25]
1819*2^664231-1 is not prime.  Res64: 865FEF3A40C46784  Time : 4616.0 sec.
user=vaughan
[2009-10-31 14:24:05]
1855*2^664227-1 is not prime.  Res64: B37C9BA3883A4A86  Time : 4660.0 sec.
user=vaughan
[2009-10-31 15:44:10]
1893*2^664227-1 is not prime.  Res64: CDAB2C4B276D8444  Time : 4805.0 sec.
user=vaughan
[2009-10-31 17:06:20]
1965*2^664227-1 is not prime.  Res64: EEA0A4EEDFF165BB  Time : 4931.0 sec.
user=vaughan
[2009-10-31 18:28:36]
1983*2^664227-1 is not prime.  Res64: 92D08B5D51748701  Time : 4936.0 sec.
user=vaughan
[2009-10-31 19:50:41]
1557*2^664228-1 is not prime.  Res64: 9738E171952EF0D3  Time : 4925.0 sec.
user=vaughan
[2009-10-31 21:11:32]
1713*2^664228-1 is not prime.  Res64: 00F8673148E96125  Time : 4851.0 sec.
user=vaughan
[2009-10-31 22:34:05]
1755*2^664228-1 is not prime.  Res64: CB419F26DC9A7D19  Time : 4953.0 sec.
user=vaughan
[2009-10-31 23:53:44]
1839*2^664228-1 is not prime.  Res64: 229915B7BB79D42D  Time : 4779.0 sec.