Ổn định

Trong mạng xã hội, mỗi trang web được tổ chức trên một máy tính thành viên và cung cấp dịch vụ truy nhập tới một số trang web khác. Để truy nhập tới một trang web nào đó không có trong danh mục kết nối trực tiếp của mình, người dùng phải truy nhập tới trang web khác có kết nối với mình, dựa vào danh mục dịch vụ của trang web này để chuyển tới trang web khác theo tùy chọn, cứ như thế cho đến khi tới được trang web mình cần. Thời gian để truy nhập tới một trang web phụ thuộc chủ yếu vào số lần mở trang web trong quá trình truy nhập. Như vậy, người dùng cần chủ động chọn lộ trình truy nhập hợp lí.

Sau một thời gian làm việc trên mạng, Sáng, một thành viên nhiệt thành, đã tích lũy kinh nghiệm, tạo một cơ sở dữ liệu cho biết từ một trang web có thể đi tới những trang web nào trong mạng. Trong cơ sở dữ liệu, các trang web được đánh số từ $1$ đến $n$ và có $m$ bản ghi, mỗi bản ghi có dạng cặp có thứ tự $(u,v)$ cho biết trang web $u$ có kết nối tới trang web $v$ ($1\le u,v\le n$, $u\ne v$). Cơ sở dữ liệu chưa được chuẩn hóa, vì vậy có thể chứa các cặp $(u,v)$ giống nhau.

Trang web của Sáng có số hiệu là $s$. Dựa vào cơ sở dữ liệu, Sáng có thể xác định lộ trình truy nhập nhanh nhất (tức là số lần phải mở trang web là ít nhất) từ trang web $s$ tới trang web $u$ bất kì. Tuy vậy, ở mạng xã hội, mọi chuyện đều có thể xảy ra: một khu vực nào đó bị mất điện, máy của một thành viên bị hỏng, trang web đó đang bị đóng để nâng cấp, ... Kết quả là một vài trang web nào đó có thể tạm thời không hoạt động. Như vậy, nếu từ $s$ có ít nhất hai lộ trình nhanh nhất khác nhau tới $u$ thì khả năng thực hiện truy nhập được một cách nhanh nhất tới $u$ là lớn hơn so với những trang web chỉ có duy nhất một lộ trình nhanh nhất. Hai lộ trình gọi là khác nhau nếu có ít nhất một trang web có ở lộ trình này mà không có ở lộ trình kia hoặc cả hai lộ trình cùng đi qua những trang web như nhau nhưng theo các trình tự khác nhau. Những trang web mà từ $s$ tới đó có ít ra là hai lộ trình nhanh nhất khác nhau được gọi là ổn định đối với $s$. Trang web mà từ $s$ không có lộ trình tới nó là không ổn định đối với $s$.

Ví dụ, xét mạng gồm $n=6$ trang web và $m=9$ kết nối $1\to 5$, $5\to 6$, $1\to 2$, $5\to 4$, $2\to 4$, $4\to 3$, $5\to 2$, $3\to 2$, $6\to 5$ (chính là mạng của ví dụ thứ nhất sau khi bỏ các bản ghi trùng). Các trang web $4$ và $3$ là ổn định với $s=1$: từ $1$ tới $4$ có $2$ lộ trình nhanh nhất là $1-2-4$ và $1-5-4$, từ $1$ tới $3$ cũng có $2$ lộ trình nhanh nhất là $1-2-4-3$ và $1-5-4-3$.

Yêu cầu: Cho các số nguyên dương $n$, $m$, $s$ và $m$ cặp số $(u,v)$ xác định từ $u$ có thể kết nối trực tiếp tới được $v$. Hãy xác định số lượng trang web ổn định đối với $s$.

Dữ liệu vào

• Dòng đầu tiên chứa $3$ số nguyên $n$, $m$ và $s$ ($2\le n\le 10000$, $1\le m\le 50000$, $1\le s\le n$).
• Mỗi dòng trong $m$ dòng tiếp theo chứa $2$ số nguyên $u$ và $v$ ($1\le u,v\le n$, $u\ne v$).

Các số trên một dòng được ghi cách nhau ít nhất một dấu cách.

Dữ liệu ra

Một số nguyên: số trang web ổn định đối với $s$.

Ràng buộc

• $2\le n\le 10000$, $1\le m\le 50000$, $1\le s\le n$.
• $1\le u,v\le n$, $u\ne v$; các cặp $(u,v)$ có thể lặp lại.

Ví dụ