#include <stdio.h>
#include <stdlib.h>
#include <math.h>
#include <string.h>
#include <ctype.h>
int main(){
int i,t,kase,n,temp,sorted,sum,max;
int ara[100000];
for(kase=1;kase<=t;kase++){
for(i=0;i<n;i++){
}
while(1){
sorted=0;
for(i=0;i<n-1;i++){
if(ara[i]<ara[i+1]){
temp=ara[i];
ara[i]=ara[i+1];
ara[i+1]=temp;
sorted=1;
}
}
if(sorted==0){
break;
}
}
sum=1;max=ara[0];
for(i=0;i<n;i++){
if(ara[i]==ara[i+1]){
if(ara[i]==0){
break;
}
else{
sum++;
max=ara[i];
}
}
}
printf("Case %d: %d %d\n",kase
,max
,sum
);
}
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRsaWIuaD4KI2luY2x1ZGUgPG1hdGguaD4KI2luY2x1ZGUgPHN0cmluZy5oPgojaW5jbHVkZSA8Y3R5cGUuaD4KCmludCBtYWluKCl7CiAgICBpbnQgaSx0LGthc2Usbix0ZW1wLHNvcnRlZCxzdW0sbWF4OwogICAgaW50IGFyYVsxMDAwMDBdOwogICAgc2NhbmYoIiVkIiwmdCk7CiAgICBmb3Ioa2FzZT0xO2thc2U8PXQ7a2FzZSsrKXsKICAgICAgICBzY2FuZigiJWQiLCZuKTsKICAgICAgICBmb3IoaT0wO2k8bjtpKyspewogICAgICAgICAgICBzY2FuZigiJWQiLCZhcmFbaV0pOwogICAgICAgIH0KICAgICAgICB3aGlsZSgxKXsKICAgICAgICAgICAgc29ydGVkPTA7CiAgICAgICAgICAgIGZvcihpPTA7aTxuLTE7aSsrKXsKICAgICAgICAgICAgICAgIGlmKGFyYVtpXTxhcmFbaSsxXSl7CiAgICAgICAgICAgICAgICAgICAgdGVtcD1hcmFbaV07CiAgICAgICAgICAgICAgICAgICAgYXJhW2ldPWFyYVtpKzFdOwogICAgICAgICAgICAgICAgICAgIGFyYVtpKzFdPXRlbXA7CiAgICAgICAgICAgICAgICAgICAgc29ydGVkPTE7CiAgICAgICAgICAgICAgICB9CiAgICAgICAgICAgIH0KICAgICAgICAgICAgaWYoc29ydGVkPT0wKXsKICAgICAgICAgICAgICAgIGJyZWFrOwogICAgICAgICAgICB9CiAgICAgICAgfQogICAgICAgIHN1bT0xO21heD1hcmFbMF07CiAgICAgICAgZm9yKGk9MDtpPG47aSsrKXsKICAgICAgICAgICAgaWYoYXJhW2ldPT1hcmFbaSsxXSl7CiAgICAgICAgICAgICAgICBpZihhcmFbaV09PTApewogICAgICAgICAgICAgICAgICAgIGJyZWFrOwogICAgICAgICAgICAgICAgfQogICAgICAgICAgICAgICAgZWxzZXsKICAgICAgICAgICAgICAgICAgICBzdW0rKzsKICAgICAgICAgICAgICAgICAgICBtYXg9YXJhW2ldOwogICAgICAgICAgICAgICAgfQogICAgICAgICAgICB9CiAgICAgICAgfQogICAgICAgIHByaW50ZigiQ2FzZSAlZDogJWQgJWRcbiIsa2FzZSxtYXgsc3VtKTsKCiAgICB9CgoKICAgIHJldHVybiAwOwoKCn0K