#include <bits/stdc++.h>
using namespace std;

int main()
{
  int a[12];
  for (int i = 0; i < 12; i++){
    cin >> a[i];
  }

  sort(a, a + 12);
  bool f = (a[0] == a[3]) && (a[4] == a[7]) && (a[8] == a[11]);

  cout << (f ? "yes" : "no") << endl;
}