user=vaughan [2011-09-02 00:48:20] 1445*2^743766-1 is not prime. Res64: 89AEE805967690B7 Time : 6080.0 sec. user=vaughan [2011-09-02 02:29:41] 1475*2^743766-1 is not prime. Res64: 650528F2F321DA39 Time : 6082.0 sec. user=vaughan [2011-09-02 04:11:03] 1763*2^743766-1 is not prime. Res64: 9D819A3F9BCB6CEE Time : 6083.0 sec. user=vaughan [2011-09-02 05:52:20] 1811*2^743766-1 is not prime. Res64: 80EDF09E16A5F862 Time : 6077.0 sec. user=vaughan [2011-09-02 07:33:59] 1815*2^743766-1 is not prime. Res64: 00445AD39D894959 Time : 6100.0 sec. user=vaughan [2011-09-02 09:15:21] 1847*2^743766-1 is not prime. Res64: 198CB34C386BB15C Time : 6082.0 sec. user=vaughan [2011-09-02 10:57:14] 1943*2^743766-1 is not prime. Res64: 98625AB632E0266D Time : 6113.0 sec. user=vaughan [2011-09-02 12:38:38] 1955*2^743766-1 is not prime. Res64: CFE9E84E22FF709D Time : 6084.0 sec. user=vaughan [2011-09-02 14:20:10] 1401*2^743767-1 is not prime. Res64: 77A9F22DF3340985 Time : 6092.0 sec. user=vaughan [2011-09-02 16:01:45] 1429*2^743767-1 is not prime. Res64: 2EF1EF9CBE2CA958 Time : 6095.0 sec. user=vaughan [2011-09-02 17:43:01] 1435*2^743767-1 is not prime. Res64: 3C4E42C941714D3A Time : 6077.0 sec. user=vaughan [2011-09-02 19:24:33] 1441*2^743767-1 is not prime. Res64: 70B4457D5945D3C0 Time : 6092.0 sec. user=vaughan [2011-09-02 21:05:53] 1473*2^743767-1 is not prime. Res64: E9C325346416A30A Time : 6080.0 sec. user=vaughan [2011-09-02 22:47:40] 1563*2^743767-1 is not prime. Res64: 1A204B1D3059DEE6 Time : 6107.0 sec.