#include<stdio.h>
int main(void)
{
	int a,b,c,d,e,f,g,h,i,j,k,l,x,y;
	x=0;
	y=0;
	scanf("%d",&a);
	scanf("%d",&b);
	scanf("%d",&c);
	scanf("%d",&d);
	scanf("%d",&e);
	scanf("%d",&f);
	scanf("%d",&g);
	scanf("%d",&h);
	scanf("%d",&i);
	scanf("%d",&j);
	scanf("%d",&k);
	scanf("%d",&l);
	
	if(a==a) x=x+1;
	if(a==b) x=x+1;
	if(a==c) x=x+1;
	if(a==d) x=x+1;
	if(a==e) x=x+1;
	if(a==f) x=x+1;
	if(a==g) x=x+1;
	if(a==h) x=x+1;
	if(a==i) x=x+1;
	if(a==j) x=x+1;
	if(a==k) x=x+1;
	if(a==l) x=x+1;
	if(x%4==0) y=y+1;
	
	x=0;
	
	if(b==a) x=x+1;
	if(b==b) x=x+1;
	if(b==c) x=x+1;
	if(b==d) x=x+1;
	if(b==e) x=x+1;
	if(b==f) x=x+1;
	if(b==g) x=x+1;
	if(b==h) x=x+1;
	if(b==i) x=x+1;
	if(b==j) x=x+1;
	if(b==k) x=x+1;
	if(b==l) x=x+1;
	if(x%4==0) y=y+1;
	
	x=0;
	
	if(c==a) x=x+1;
	if(c==b) x=x+1;
	if(c==c) x=x+1;
	if(c==d) x=x+1;
	if(c==e) x=x+1;
	if(c==f) x=x+1;
	if(c==g) x=x+1;
	if(c==h) x=x+1;
	if(c==i) x=x+1;
	if(c==j) x=x+1;
	if(c==k) x=x+1;
	if(c==l) x=x+1;
	if(x%4==0) y=y+1;
	
	x=0;
	
	if(d==a) x=x+1;
	if(d==b) x=x+1;
	if(d==c) x=x+1;
	if(d==d) x=x+1;
	if(d==e) x=x+1;
	if(d==f) x=x+1;
	if(d==g) x=x+1;
	if(d==h) x=x+1;
	if(d==i) x=x+1;
	if(d==j) x=x+1;
	if(d==k) x=x+1;
	if(d==l) x=x+1;	
	if(x%4==0) y=y+1;
	
	x=0;
	
	if(e==a) x=x+1;
	if(e==b) x=x+1;
	if(e==c) x=x+1;
	if(e==d) x=x+1;
	if(e==e) x=x+1;
	if(e==f) x=x+1;
	if(e==g) x=x+1;
	if(e==h) x=x+1;
	if(e==i) x=x+1;
	if(e==j) x=x+1;
	if(e==k) x=x+1;
	if(e==l) x=x+1;
	if(x%4==0) y=y+1;
	
	x=0;
	
	if(f==a) x=x+1;
	if(f==b) x=x+1;
	if(f==c) x=x+1;
	if(f==d) x=x+1;
	if(f==e) x=x+1;
	if(f==f) x=x+1;
	if(f==g) x=x+1;
	if(f==h) x=x+1;
	if(f==i) x=x+1;
	if(f==j) x=x+1;
	if(f==k) x=x+1;
	if(f==l) x=x+1;
	if(x%4==0) y=y+1;
	
	x=0;
	
	if(g==a) x=x+1;
	if(g==b) x=x+1;
	if(g==c) x=x+1;
	if(g==d) x=x+1;
	if(g==e) x=x+1;
	if(g==f) x=x+1;
	if(g==g) x=x+1;
	if(g==h) x=x+1;
	if(g==i) x=x+1;
	if(g==j) x=x+1;
	if(g==k) x=x+1;
	if(g==l) x=x+1;
	if(x%4==0) y=y+1;
	
	x=0;
	
	if(h==a) x=x+1;
	if(h==b) x=x+1;
	if(h==c) x=x+1;
	if(h==d) x=x+1;
	if(h==e) x=x+1;
	if(h==f) x=x+1;
	if(h==g) x=x+1;
	if(h==h) x=x+1;
	if(h==i) x=x+1;
	if(h==j) x=x+1;
	if(h==k) x=x+1;
	if(h==l) x=x+1;
	if(x%4==0) y=y+1;
	
	x=0;
	
	if(i==a) x=x+1;
	if(i==b) x=x+1;
	if(i==c) x=x+1;
	if(i==d) x=x+1;
	if(i==e) x=x+1;
	if(i==f) x=x+1;
	if(i==g) x=x+1;
	if(i==h) x=x+1;
	if(i==i) x=x+1;
	if(i==j) x=x+1;
	if(i==k) x=x+1;
	if(i==l) x=x+1;
	if(x%4==0) y=y+1;
	
	x=0;
	
	if(j==a) x=x+1;
	if(j==b) x=x+1;
	if(j==c) x=x+1;
	if(j==d) x=x+1;
	if(j==e) x=x+1;
	if(j==f) x=x+1;
	if(j==g) x=x+1;
	if(j==h) x=x+1;
	if(j==i) x=x+1;
	if(j==j) x=x+1;
	if(j==k) x=x+1;
	if(j==l) x=x+1;
	if(x%4==0) y=y+1;
	
	x=0;
	
	if(k==a) x=x+1;
	if(k==b) x=x+1;
	if(k==c) x=x+1;
	if(k==d) x=x+1;
	if(k==e) x=x+1;
	if(k==f) x=x+1;
	if(k==g) x=x+1;
	if(k==h) x=x+1;
	if(k==i) x=x+1;
	if(k==j) x=x+1;
	if(k==k) x=x+1;
	if(k==l) x=x+1;
	if(x%4==0) y=y+1;
	
	x=0;
	
	if(l==a) x=x+1;
	if(l==b) x=x+1;
	if(l==c) x=x+1;
	if(l==d) x=x+1;
	if(l==e) x=x+1;
	if(l==f) x=x+1;
	if(l==g) x=x+1;
	if(l==h) x=x+1;
	if(l==i) x=x+1;
	if(l==j) x=x+1;
	if(l==k) x=x+1;
	if(l==l) x=x+1;
	if(x%4==0) y=y+1;
	
	if(a==b && a==c && a==d && a==e && a==f && a==g && a==h && a==i && a==j && a==k && a==l) y=12;
	if(y==12) printf("yes\n");
	else printf("no\n");
	
		return 0;
}



Measured memory_bytes: 2708