#include <bits/stdc++.h>
using namespace std;
int main() {
  int input[12];
  for (int i = 0; i < 12; i++) {
    cin >> input[i];
  }
  sort(input, input + 12);
  if (input[0] == input[3] && input[4] == input[11]) {
    cout << "yes" << endl;
  } else if (input[0] == input[7] && input[8] == input[11]) {
    cout << "yes" << endl;
  } else {
    cout << "no" << endl;
  }
  return 0;
}
