user=vaughan [2011-10-03 00:03:35] 1625*2^743816-1 is not prime. Res64: 0367C4C553F57DEB Time : 9227.0 sec. user=vaughan [2011-10-03 02:35:27] 1557*2^743820-1 is not prime. Res64: E8936E6F82E10761 Time : 9112.0 sec. user=vaughan [2011-10-03 05:06:18] 1707*2^743820-1 is not prime. Res64: E1AD1AAFF1E2E8B3 Time : 9051.0 sec. user=vaughan [2011-10-03 07:43:35] 1775*2^743820-1 is not prime. Res64: DD347B54CD76553E Time : 9437.0 sec. user=vaughan [2011-10-03 10:12:26] 1829*2^743820-1 is not prime. Res64: E641569CED1E22E4 Time : 8932.0 sec. user=vaughan [2011-10-03 12:41:54] 1875*2^743820-1 is not prime. Res64: BD439BCB71FA8C7D Time : 8970.0 sec. user=vaughan [2011-10-03 15:10:29] 1929*2^743820-1 is not prime. Res64: 60341ACDCCA39D9B Time : 8915.0 sec. user=vaughan [2011-10-03 17:39:45] 1405*2^743821-1 is not prime. Res64: 520C88EF2EFE725A Time : 8956.0 sec. user=vaughan [2011-10-03 20:08:37] 1429*2^743821-1 is not prime. Res64: 88B3B514AC6A66C3 Time : 8932.0 sec. user=vaughan [2011-10-03 22:37:42] 1431*2^743821-1 is not prime. Res64: BE6F5A693667EBCD Time : 8945.0 sec.