//4??¬??????????????????????????¢???3?????????????????°Yes -> ??¨????????????????????????, 4????????°???????£????????????°??????
#include <iostream>
using namespace std;

int cnt[101];

int main() {
	int i, e;
	
	for (i = 0; i < 12; i++) { cin >> e; cnt[e]++; }
	for (i = 0; i < 101; i++) { if (cnt[i] % 4 != 0) { cout << "no" << endl; return 0; } }
	cout << "yes" << endl;
	return 0;
}