include <bits/stdc++.h>//模拟;

int ans1=0,ans2=0,l=0;//记录总数; int ans3=0,ans4=0; using namespace std; int ans=0; struct l{

int juli1[9];

}x[110]; struct l1{

int juli2[9];

}x1[110]; int main(void){

int r,t=0;
scanf("%d\n",&r);
for(int i=1;i<=10;i++){
	for(int j=1;j<=8;j++){
		cin>>x[i].juli1[j];
		if(x[i].juli1[j]==-1){
			ans++;
			break;
		}
	}
	if(ans==1){
		break;
	}
	t++;
	for(int j=1;j<=8;j++){
		cin>>x1[i].juli2[j];
	}
}
for(int i=1;i<=t;i++){
	sort(x[i].juli1+1,x[i].juli1+9);
	sort(x1[i].juli2+1,x1[i].juli2+9);
	if(x[i].juli1[1]<x1[i].juli2[1]){
		for(int j=1;j<=8;j++){
			if(x[i].juli1[j]<x1[i].juli2[1]&&x[i].juli1[j]<=r){
				ans1++;
			}
		}
		cout<<ans1<<':'<<0<<endl;
		ans2+=ans1;
	}
	else{
		for(int j=1;j<=8;j++){
			if(x1[i].juli2[j]<x[i].juli1[1]&&x1[i].juli2[j]<=r){
				ans3++;
			}
		}
		cout<<0<<':'<<ans3<<endl;
		ans4=ans4+ans3;
	}
	ans3=0;
	ans1=0;
	}
	cout<<ans2<<':'<<ans4<<endl;
return 0;

}