user=vaughan
[2011-11-15 00:34:14]
595*2^1047863-1 is not prime.  Res64: B6C0B1DFAC4664C5  Time : 2638.0 sec.
user=vaughan
[2011-11-15 01:19:20]
563*2^1047864-1 is not prime.  Res64: E8B7E937DA1697DF  Time : 2622.0 sec.
user=vaughan
[2011-11-15 02:03:09]
411*2^1047865-1 is not prime.  Res64: 9C1A40981C7EF164  Time : 2629.0 sec.
user=vaughan
[2011-11-15 02:46:55]
421*2^1047865-1 is not prime.  Res64: A4C762F310976369  Time : 2627.0 sec.
user=vaughan
[2011-11-15 03:30:42]
535*2^1047865-1 is not prime.  Res64: EB0ED82B7F97B0AA  Time : 2627.0 sec.
user=vaughan
[2011-11-15 04:14:26]
537*2^1047865-1 is not prime.  Res64: B8AE69CE23412892  Time : 2624.0 sec.
user=vaughan
[2011-11-15 04:58:12]
541*2^1047865-1 is not prime.  Res64: C6A7EF27169557A1  Time : 2627.0 sec.
user=vaughan
[2011-11-15 05:42:05]
417*2^1047866-1 is not prime.  Res64: B4F5108292ACC068  Time : 2633.0 sec.
user=vaughan
[2011-11-15 06:26:56]
431*2^1047866-1 is not prime.  Res64: EB22B9531888C2FC  Time : 2620.0 sec.
user=vaughan
[2011-11-15 07:11:00]
447*2^1047866-1 is not prime.  Res64: A6010A87573CB5BA  Time : 2645.0 sec.
user=vaughan
[2011-11-15 07:54:47]
587*2^1047866-1 is not prime.  Res64: A59F993DE14C2B77  Time : 2627.0 sec.
user=vaughan
[2011-11-15 08:38:32]
593*2^1047866-1 is not prime.  Res64: 95BE76F91AD78265  Time : 2626.0 sec.
user=vaughan
[2011-11-15 09:22:24]
451*2^1047867-1 is not prime.  Res64: AE0D2DE34B32E903  Time : 2633.0 sec.
user=vaughan
[2011-11-15 10:06:23]
469*2^1047867-1 is not prime.  Res64: D45731142EFCADE4  Time : 2639.0 sec.
user=vaughan
[2011-11-15 10:51:30]
523*2^1047867-1 is not prime.  Res64: E8FC1D680ABC907F  Time : 2636.0 sec.
user=vaughan
[2011-11-15 11:37:43]
573*2^1047867-1 is not prime.  Res64: 808DFA2FF7740191  Time : 2634.0 sec.
user=vaughan
[2011-11-15 12:23:02]
413*2^1047868-1 is not prime.  Res64: 53A45DF86B2051F6  Time : 2636.0 sec.
user=vaughan
[2011-11-15 13:08:12]
579*2^1047868-1 is not prime.  Res64: 80A115A8A97B3452  Time : 2627.0 sec.
user=vaughan
[2011-11-15 13:52:04]
445*2^1047869-1 is not prime.  Res64: 600DCC36AAF3F028  Time : 2632.0 sec.
user=vaughan
[2011-11-15 14:36:01]
447*2^1047869-1 is not prime.  Res64: 05FC1C0113C12048  Time : 2637.0 sec.
user=vaughan
[2011-11-15 15:20:56]
451*2^1047869-1 is not prime.  Res64: 8FC45FB65385A2D4  Time : 2632.0 sec.
user=vaughan
[2011-11-15 16:19:15]
511*2^1047869-1 is not prime.  Res64: BDAF35A7C3F6CE7D  Time : 3499.0 sec.
user=vaughan
[2011-11-15 17:02:56]
549*2^1047869-1 is not prime.  Res64: 1B329A4CCFF449C0  Time : 2621.0 sec.
user=vaughan
[2011-11-15 17:46:39]
571*2^1047869-1 is not prime.  Res64: AEBF6DC53E558C9C  Time : 2623.0 sec.
user=vaughan
[2011-11-15 18:30:19]
405*2^1047870-1 is not prime.  Res64: 947E1506C2440289  Time : 2620.0 sec.
user=vaughan
[2011-11-15 19:13:58]
437*2^1047870-1 is not prime.  Res64: A956BB525DED5125  Time : 2620.0 sec.
user=vaughan
[2011-11-15 19:57:37]
465*2^1047870-1 is not prime.  Res64: F558DFB73467EEB2  Time : 2620.0 sec.
user=vaughan
[2011-11-15 20:41:17]
525*2^1047870-1 is not prime.  Res64: 7D0739D6942A4358  Time : 2620.0 sec.
user=vaughan
[2011-11-15 20:43:02]
477*2^1047862-1 is not prime.  Res64: 2F95F9E97E56EA8A  Time : 78386.0 sec.
user=vaughan
[2011-11-15 20:45:09]
585*2^1047858-1 is not prime.  Res64: B194D99E5097C6C0  Time : 80129.0 sec.
user=vaughan
[2011-11-15 20:50:29]
545*2^1047860-1 is not prime.  Res64: 009C248B3A079686  Time : 79987.0 sec.
user=vaughan
[2011-11-15 21:01:15]
499*2^1047861-1 is not prime.  Res64: 9FC7AC792748AE1B  Time : 80170.0 sec.
user=vaughan
[2011-11-15 21:03:28]
591*2^1047863-1 is not prime.  Res64: EB9C6526EC3F07FD  Time : 78493.0 sec.
user=vaughan
[2011-11-15 21:05:11]
423*2^1047871-1 is not prime.  Res64: F1519D0E29029C83  Time : 1329.0 sec.
user=vaughan
[2011-11-15 21:14:44]
591*2^1047862-1 is not prime.  Res64: 3DD40DEBA217EF92  Time : 80173.0 sec.
user=vaughan
[2011-11-15 21:19:22]
433*2^1047871-1 is not prime.  Res64: 065A72F2A64B3943  Time : 2053.0 sec.
user=vaughan
[2011-11-15 21:23:01]
549*2^1047871-1 is not prime.  Res64: 116D19FE7C4CFA38  Time : 1953.0 sec.
user=vaughan
[2011-11-15 21:24:55]
587*2^1047870-1 is not prime.  Res64: 83C90D1D02A9A811  Time : 2618.0 sec.
user=vaughan
[2011-11-15 21:26:17]
405*2^1047872-1 is not prime.  Res64: 792729E845D57768  Time : 1370.0 sec.
user=vaughan
[2011-11-15 21:27:01]
435*2^1047872-1 is not prime.  Res64: 6E7E5B46261A04E3  Time : 1311.0 sec.
user=vaughan
[2011-11-15 21:38:01]
583*2^1047871-1 is not prime.  Res64: 51EE6425DE19A2AA  Time : 2207.0 sec.
user=vaughan
[2011-11-15 21:48:50]
483*2^1047874-1 is not prime.  Res64: CE85B396A0F20BC0  Time : 1309.0 sec.
user=vaughan
[2011-11-15 21:49:03]
411*2^1047874-1 is not prime.  Res64: CBDCAB9A75A6A2A8  Time : 1366.0 sec.
user=vaughan
[2011-11-15 21:51:05]
459*2^1047872-1 is not prime.  Res64: DC1F2F2462DC5B79  Time : 2182.0 sec.
user=vaughan
[2011-11-15 21:53:26]
557*2^1047872-1 is not prime.  Res64: C75EB00E7C46E5C8  Time : 2044.0 sec.
user=vaughan
[2011-11-15 21:55:25]
441*2^1047873-1 is not prime.  Res64: 1ED7E1F438710890  Time : 1944.0 sec.
user=vaughan
[2011-11-15 22:08:38]
501*2^1047873-1 is not prime.  Res64: BE374B0B27C408E3  Time : 2623.0 sec.
user=vaughan
[2011-11-15 22:10:38]
445*2^1047875-1 is not prime.  Res64: 8CDB2D8C07738FF1  Time : 1309.0 sec.
user=vaughan
[2011-11-15 22:11:48]
483*2^1047876-1 is not prime.  Res64: 5F384BC3BFB2B301  Time : 1365.0 sec.
user=vaughan
[2011-11-15 22:14:45]
531*2^1047874-1 is not prime.  Res64: 6171EBFBBD24F10A  Time : 2204.0 sec.
user=vaughan
[2011-11-15 22:27:20]
497*2^1047876-1 is not prime.  Res64: BCECA944AFA0478C  Time : 2176.0 sec.
user=vaughan
[2011-11-15 22:27:24]
427*2^1047877-1 is not prime.  Res64: EBC914CD94911917  Time : 2038.0 sec.
user=vaughan
[2011-11-15 22:27:54]
441*2^1047877-1 is not prime.  Res64: 22FB089160A4587B  Time : 1950.0 sec.
user=vaughan
[2011-11-15 22:32:25]
519*2^1047877-1 is not prime.  Res64: 5DFA699291BEE9D2  Time : 1307.0 sec.
user=vaughan
[2011-11-15 22:34:33]
467*2^1047878-1 is not prime.  Res64: 67E6E77E4C756310  Time : 1366.0 sec.
user=vaughan
[2011-11-15 22:50:43]
563*2^1047878-1 is not prime.  Res64: A9B561E43173A3BF  Time : 2158.0 sec.
user=vaughan
[2011-11-15 22:52:16]
495*2^1047877-1 is not prime.  Res64: EF94957B11D88F57  Time : 2623.0 sec.
user=vaughan
[2011-11-15 22:54:13]
423*2^1047880-1 is not prime.  Res64: 96CE438C2979627F  Time : 1309.0 sec.
user=vaughan
[2011-11-15 22:57:18]
495*2^1047881-1 is not prime.  Res64: B2D718A84E921458  Time : 1365.0 sec.
user=vaughan
[2011-11-15 22:59:57]
573*2^1047879-1 is not prime.  Res64: F989CABE4B9E6D2B  Time : 1953.0 sec.
user=vaughan
[2011-11-15 23:00:37]
579*2^1047879-1 is not prime.  Res64: 8EE280FF1EB362E3  Time : 1964.0 sec.
user=vaughan
[2011-11-15 23:00:47]
465*2^1047860-1 is not prime.  Res64: 3AD93ADB2A9B2282  Time : 87980.0 sec.
user=vaughan
[2011-11-15 23:03:08]
571*2^1047879-1 is not prime.  Res64: AE2F15DE71A28E1E  Time : 2148.0 sec.
user=vaughan
[2011-11-15 23:04:24]
557*2^1047860-1 is not prime.  Res64: FAAAB49D3DEFFF3C  Time : 87824.0 sec.
user=vaughan
[2011-11-15 23:15:21]
559*2^1047861-1 is not prime.  Res64: 2828F972054648F1  Time : 88174.0 sec.
user=vaughan
[2011-11-15 23:15:58]
431*2^1047882-1 is not prime.  Res64: 59388F0CCB39A0EF  Time : 1305.0 sec.
user=vaughan
[2011-11-15 23:20:04]
433*2^1047883-1 is not prime.  Res64: 65D2B2043D9346CF  Time : 1366.0 sec.
user=vaughan
[2011-11-15 23:21:18]
405*2^1047862-1 is not prime.  Res64: 3D69D055EF55F12E  Time : 88325.0 sec.
user=vaughan
[2011-11-15 23:26:20]
517*2^1047881-1 is not prime.  Res64: D62D73FB4B562F5E  Time : 2137.0 sec.
user=vaughan
[2011-11-15 23:32:49]
453*2^1047883-1 is not prime.  Res64: BDEFA8DD5FDCDDB5  Time : 1972.0 sec.
user=vaughan
[2011-11-15 23:33:09]
555*2^1047883-1 is not prime.  Res64: 282F957ACAA4A979  Time : 1953.0 sec.
user=vaughan
[2011-11-15 23:35:55]
571*2^1047881-1 is not prime.  Res64: C9A1B8EACF6740C4  Time : 2619.0 sec.
user=vaughan
[2011-11-15 23:37:48]
471*2^1047885-1 is not prime.  Res64: 91E36851D818A6A6  Time : 1310.0 sec.
user=vaughan
[2011-11-15 23:38:13]
573*2^1047883-1 is not prime.  Res64: B7E09E76A89D2402  Time : 2246.0 sec.
user=vaughan
[2011-11-15 23:38:50]
589*2^1047883-1 is not prime.  Res64: E52B3C9D961A676E  Time : 2143.0 sec.
user=vaughan
[2011-11-15 23:40:50]
405*2^1047885-1 is not prime.  Res64: 1924A20F5AE9DB2B  Time : 2187.0 sec.
user=vaughan
[2011-11-15 23:42:53]
505*2^1047887-1 is not prime.  Res64: 57073EED4E60CB12  Time : 1369.0 sec.
user=vaughan
[2011-11-15 23:47:35]
447*2^1047885-1 is not prime.  Res64: D160FD67283BB131  Time : 1934.0 sec.
user=vaughan
[2011-11-15 23:52:37]
523*2^1047887-1 is not prime.  Res64: EF94FB251EF6038E  Time : 1879.0 sec.
user=vaughan
[2011-11-15 23:59:32]
465*2^1047888-1 is not prime.  Res64: 5B80DE8F26813102  Time : 1305.0 sec.