showTV (CountTV a b c    ) = "(ctv "++show a++" "++show b++" "++show c++")"
showTV (CountTV a b c    ) = "(ctv "++show a++" "++show b++" "++show c++")"
showTV (CountTV a b c    ) = "(ctv "++show a++" "++show b++" "++show c++")"