Trái ngược với câu nói nổi tiếng "diêm không phải đồ chơi của trẻ em", nhưng bé An rất thích chơi diêm. Nhưng bé thích chơi xếp hình.

Mẹ cho bé nhiều hộp diêm, mỗi hộp có \(12\) que diêm. Bây giờ bé quan tâm: từ những que diêm với độ dài khác nhau, liệu có thể sắp xếp chúng thành hình hộp chữ nhật bằng keo? Không được bẻ que diêm và chúng không được nhô ra ngoài

Input

• Dữ liệu đầu vào không quá \(1000\) hộp diêm, mỗi hộp gồm \(12\) số nguyên dương không vượt quá \(10^9\) . Đầu vào kết thúc bằng một chuỗi gồm \(12\) số \(0\) (không cần phải được xử lý).

Output

• Đối với mỗi bộ diêm in ra "yes", nếu có thể dán chúng thành hình hộp chữ nhật và "no" trong trường hợp ngược lại.

Example

1 1 1 1 2 2 2 2 3 3 3 3
1 1 1 1 2 2 2 2 3 3 3 4
0 0 0 0 0 0 0 0 0 0 0 0 

yes
no