#include<bits/stdc++.h>
int main()
{
    int a;
    int flag=0;
    int b[3]={0};
    while(a!=-1)
    {
        scanf("%d",&a);
        if(a==1) b[0]++;
        if(a==2) b[1]++;
        if(a==3) b[2]++;
        flag++;
    }
    printf("A=%d\n",b[0]);
    printf("B=%d\n",b[1]);
    printf("C=%d\n",b[2]);
    printf("Tot=%d\n",b[0]+b[1]+b[2]);
    if(flag/2>b[0] && flag/2>b[1] && flag/2>b[1])
    printf("all-NO\n");
    else
    {
        if(b[0]>flag/2) printf("A-yes\n");
        else if(b[1]>flag/2) printf("B-yes\n");
        else if(b[2]>flag/2) printf("C-yes\n");
    }
    return 0;
}