p00341 Cuboid Made with Bars
The educational program (AHK Education) of the Aiz Broadcasting Association broadcasts a handicraft program for children, "Play with Tsukuro". This time I will make a box with sticks, but I would like to see if I can make a rectangular parallelepiped using the 12 sticks I prepared. However, the stick must not be cut or broken.




Given the lengths of the twelve bars, write a program to determine if you can create a rectangular parallelepiped with all of them as sides.



Input

The input is given in the following format.


e1 e2 ... e12


The input consists of one line and is given the integer ei (1 ≤ ei ≤ 100) representing the length of each bar.

Output

If a rectangular parallelepiped can be created, "yes" is output, and if it cannot be created, "no" is output. However, since a cube is a kind of rectangular parallelepiped, "yes" is output even if it is a cube.

Examples

Input

1 1 3 4 8 9 7 3 4 5 5 5


Output

no


Input

1 1 2 2 3 1 2 3 3 3 1 2


Output

yes
```python
ls = list(map(int, input().split()))
ls.sort()
if ls[0]==ls[1]==ls[2]==ls[3] and ls[4]==ls[5]==ls[6]==ls[7] and ls[8]==ls[9]==ls[10]==ls[11]:
    print('yes')
else:
    print('no')
```