user=vaughan [2009-07-13 02:14:31] 345*2^942247-1 is not prime. Res64: E11F635225A56F09 Time : 89328.0 sec. user=vaughan [2009-07-13 02:43:10] 315*2^943159-1 is not prime. Res64: 570E210E39230FC4 Time : 1719.0 sec. user=vaughan [2009-07-13 02:44:45] 321*2^943157-1 is not prime. Res64: 7593D018B2FB99A0 Time : 1814.0 sec. user=vaughan [2009-07-13 02:49:23] 345*2^943164-1 is not prime. Res64: 1341AB86E8A3EA94 Time : 2092.0 sec.