process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data',function(chunk){


var line = chunk.split(' ');
var x = Number(line[0]);

for(var i = 0; i < x.length; i++){
 if (x == 0){break;}
 console.log("case"+i+' '+x);
}






});