---

Problem 703

---

Xem đề gốc (tiếng Anh)

Luận lý vòng II

Bảng chân lý vòng cải tiến với $7$ đầu vào. Tính số bảng hợp lệ modulo $10^9+7$.

---