user=vaughan [2011-09-29 01:24:18] 1791*2^743811-1 is not prime. Res64: 58AE1FAA6DCBFB2F Time : 6100.0 sec. user=vaughan [2011-09-29 03:05:43] 1809*2^743811-1 is not prime. Res64: 3CDB3AB7594C2D5C Time : 6093.0 sec. user=vaughan [2011-09-29 04:49:19] 1855*2^743811-1 is not prime. Res64: 8173F5ECFFE659CC Time : 6216.0 sec. user=vaughan [2011-09-29 06:31:15] 1899*2^743811-1 is not prime. Res64: ACA55044AE4D1C2D Time : 6116.0 sec. user=vaughan [2011-09-29 08:12:57] 1485*2^743812-1 is not prime. Res64: AB82DF719639925A Time : 6102.0 sec. user=vaughan [2011-09-29 09:59:16] 1487*2^743812-1 is not prime. Res64: 2A307E484D98387B Time : 6379.0 sec. user=vaughan [2011-09-29 11:40:42] 1533*2^743812-1 is not prime. Res64: 7AB1CCAA6E906E8D Time : 6086.0 sec. user=vaughan [2011-09-29 13:21:59] 1599*2^743812-1 is not prime. Res64: 272D90A5CC019D5D Time : 6078.0 sec. user=vaughan [2011-09-29 15:03:16] 1737*2^743812-1 is not prime. Res64: 0F5A3A25DD3B61E0 Time : 6077.0 sec. user=vaughan [2011-09-29 16:44:36] 1757*2^743812-1 is not prime. Res64: 7C6EFB98D9CEEE4C Time : 6080.0 sec. user=vaughan [2011-09-29 18:26:09] 1799*2^743812-1 is not prime. Res64: FDD06022EFA37228 Time : 6093.0 sec. user=vaughan [2011-09-29 20:07:34] 1823*2^743812-1 is not prime. Res64: 6432AD24AC8B9662 Time : 6085.0 sec. user=vaughan [2011-09-29 21:49:44] 1839*2^743812-1 is not prime. Res64: 006090AEB86C6D49 Time : 6130.0 sec. user=vaughan [2011-09-29 23:31:08] 1877*2^743812-1 is not prime. Res64: 8194C887A49B6A03 Time : 6085.0 sec.