#include <iostream>
#include <algorithm>
using namespace std;
int main(void){
    int a[13];
    for(int i = 0; i < 12; i++){
        cin >> a[i];
    }
    sort(a, a + 12);
    if(a[0] == a[3] && a[4] == a[7] && a[8] == a[11]){
        cout << "yes" << endl;
    }
    else
        cout << "no" << endl;
    
    return 0;
}

