时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 512 M，其他语言1024 M
64bit IO Format: %lld
空间限制：C/C++/Rust/Pascal 512 M，其他语言1024 M
64bit IO Format: %lld
题目描述
给出一个 n 个点的有向图，其中有 
条边一定存在，
条边一定不存在，其他 -m_1-m_2)
条边可能存在。
q 次询问：
1. x 是否一定可达 y。
2. x 是否可能可达 y。
q 次询问：
1. x 是否一定可达 y。
2. x 是否可能可达 y。
输入描述:
第一行四个正整数。
接下来
接下来接下来 q 行，每行两个正整数 x,y，描述一个询问。保证：，
，
，给出的条件不矛盾，不存在自环。
输出描述:
输出 q 行，每行两个字符串，均为 Yes 或者 No，第一个表示问题一的答案，第二个表示问题二的答案。