import Control.Monad
import Control.Applicative

solver :: [Int] -> Int -> [String]
solver [] _ = []
solver (x:xs) i
  | x == 0    = []
  | otherwise = ("Case " ++ show i ++ ": " ++ show x) : solver xs (i + 1)

main :: IO()
main = do
  contents <- map (read :: String -> Int) . lines <$> getContents
  mapM_ putStrLn $ solver contents 1