user=vaughan [2011-11-20 01:41:24] 1629*2^743889-1 is not prime. Res64: 453054791EDDA566 Time : 8826.0 sec. user=vaughan [2011-11-20 04:12:11] 1699*2^743889-1 is not prime. Res64: 565B7CC02BDFFA15 Time : 9047.0 sec. user=vaughan [2011-11-20 06:45:07] 1801*2^743889-1 is not prime. Res64: 5BCD225949FD3D92 Time : 9177.0 sec. user=vaughan [2011-11-20 09:13:54] 1819*2^743889-1 is not prime. Res64: D4C91B2191E914FF Time : 8928.0 sec. user=vaughan [2011-11-20 11:44:31] 1857*2^743889-1 is not prime. Res64: 36EF66B0CD2EE82B Time : 9037.0 sec. user=vaughan [2011-11-20 14:14:10] 1887*2^743889-1 is not prime. Res64: 480D005F6ACC09E2 Time : 8979.0 sec. user=vaughan [2011-11-20 16:44:50] 1909*2^743889-1 is not prime. Res64: 14E9F303D790A921 Time : 9041.0 sec. user=vaughan [2011-11-20 19:11:47] 1911*2^743889-1 is not prime. Res64: 90FD63451E50F1C3 Time : 8817.0 sec. user=vaughan [2011-11-20 21:39:13] 1951*2^743889-1 is not prime. Res64: 5EAA6FE5A72B5072 Time : 8847.0 sec.