Trong một hệ thống kiểm soát chất lượng, có \(N\) sản phẩm cần kiểm tra. Các sản phẩm được chia thành \(M\) nhóm, mỗi nhóm gồm đúng 3 sản phẩm. Yêu cầu: trong mỗi nhóm, có tối đa một sản phẩm được đánh dấu đạt yêu cầu (true).

Hãy xác định xem có thể gán trạng thái đạt/không đạt cho các sản phẩm thỏa mãn tất cả nhóm hay không.

Định dạng đầu vào

• Dòng đầu chứa hai số nguyên \(N\) và \(M\) (\(3 \le N \le 10^5\), \(1 \le M \le 7 \cdot 10^4\)).
• \(M\) dòng tiếp theo, mỗi dòng chứa ba số nguyên \(a, b, c\) (\(1 \le a, b, c \le N\), ba số phân biệt).

Định dạng đầu ra

• In ra YES nếu có cách gán, NO nếu không.

Ví dụ

Input:

5 2
1 2 3
3 4 5

Output:

YES