题号：NC200320
时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
Special Judge, 64bit IO Format: %lld
时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
Special Judge, 64bit IO Format: %lld
题目描述
Vanis学会了新魔法，他可以将自己移动到空中并固定。有可靠消息，来自外星的Qiy将袭击地球。Qiy希望通过一个二维隧道来实现其入侵的阴谋，Vanis也进入这个隧道，希望能阻止Qiy。在这个隧道中，所有的物体都会被打散为一系列的点，这些点互相作用，使得能够包裹这些点（即点都落在凸多边形内部或边界上）的最小凸多边形成为这个物体在隧道中的形体。如下图所示，隧道的宽度是d，Qiy希望从左侧前往隧道的右侧，而Vanis不希望Qiy通过，但是Vanis只能旋转自己并固定在隧道内的某处，Qiy也可以旋转自己，如果Qiy能够在不与Vanis相撞的前提下从隧道的左侧前往右侧，则认为Vanis无法拦截Qiy。
双方都不可移出隧道外，如果Vanis能够成功拦截Qiy，则输出"Yes"，反之输出"No"（不包括双引号）。
输入描述:
第一行输入一个正整数表示管道宽度。
第二行输入两个正整数和，表示Qiy被打散为了n个点，Vanis被打散为了m个点。
第3至n+2行，每行2个实数，表示Qiy被打散后的点的坐标。
第n+3至n+m+2行，每行2个实数，表示Vanis被打散后的点的坐标。数据规范：*
输出描述:
输出"Yes"或"No"（不含双引号），表示Vanis是否能够拦截Qiy。