user=vaughan [2011-08-27 00:34:33] 1997*2^743754-1 is not prime. Res64: E1293D9C2299E9D5 Time : 6113.0 sec. user=vaughan [2011-08-27 02:16:19] 1465*2^743755-1 is not prime. Res64: E79B986C69E489BA Time : 6106.0 sec. user=vaughan [2011-08-27 03:58:41] 1521*2^743755-1 is not prime. Res64: 877301857BC3FCFC Time : 6142.0 sec. user=vaughan [2011-08-27 05:40:47] 1603*2^743755-1 is not prime. Res64: 88F69792C869ACA5 Time : 6126.0 sec. user=vaughan [2011-08-27 07:22:40] 1669*2^743755-1 is not prime. Res64: DE20CCB4CDD69417 Time : 6114.0 sec. user=vaughan [2011-08-27 09:04:22] 1773*2^743755-1 is not prime. Res64: 253D5A82DF1185BB Time : 6103.0 sec. user=vaughan [2011-08-27 10:46:29] 1855*2^743755-1 is not prime. Res64: DDFF76A93506B853 Time : 6127.0 sec. user=vaughan [2011-08-27 12:28:15] 1863*2^743755-1 is not prime. Res64: B3B621985A21BA79 Time : 6106.0 sec. user=vaughan [2011-08-27 14:09:54] 1939*2^743755-1 is not prime. Res64: 72A58EA0A6978DD4 Time : 6099.0 sec. user=vaughan [2011-08-27 15:51:50] 1941*2^743755-1 is not prime. Res64: BED28D1A6893B08A Time : 6117.0 sec. user=vaughan [2011-08-27 17:33:43] 1415*2^743756-1 is not prime. Res64: 06A0BA3FD2B2B719 Time : 6113.0 sec. user=vaughan [2011-08-27 19:16:03] 1469*2^743756-1 is not prime. Res64: FD4CE02BDC405577 Time : 6140.0 sec. user=vaughan [2011-08-27 20:57:51] 1559*2^743756-1 is not prime. Res64: 3F677BA9502DC187 Time : 6108.0 sec. user=vaughan [2011-08-27 22:40:06] 1575*2^743756-1 is not prime. Res64: B9730CED360C37E1 Time : 6136.0 sec.