import Control.Applicative
func :: Int -> [Int] -> [String]
func n []			   	  = []
func n (x:xs) | x==0 	  = []
	 		  | otherwise = ("Case " ++ (show n) ++ ": " ++ (show x)) : (func (n+1) xs)
	 
main = do
	x <- map (read::String->Int) . lines <$> getContents
	mapM_ putStrLn $ func 1 x