在结束了电网的工作后，托马斯·爱迪生将目光投向了另一个行业——水利运输。具体来说，他旨在寻找将水站连接到房屋的解决方案，并在竞争对手无法做到时，利用有限的管道资源完成任务。可用的管道类型如下图所示。从左到右依次为：拐角管、十字管、直管和 T 型管。由于爱迪生先生非常忙碌，这项任务已分配给公司的一名初级员工——也就是你！

我们将问题建模如下：在一个无限的二维网格上，水站位于方格 $(X_{start}, Y_{start})$，目标房屋位于 $(X_{finish}, Y_{finish})$。保证起点和终点方格不同，且在这些位置唯一可以安装的管道类型是十字管。你将获得每种类型管道的固定数量，你的目标是使用这些组件构建一条从起点到终点的连续路径。一旦完成，我们将封死通向虚无的开口管道并开始通水。在构建路径时，每根管道都可以旋转 90 度的任意倍数。不幸的是，有时无法构建这样的路径。因此，你的首要任务是确定是否存在这样一条路径。

输入格式

第一行包含 $(X_{start}, Y_{start})$（以空格分隔）。 第二行包含 $(X_{finish}, Y_{finish})$（以空格分隔）。 最后一行包含 $n_1, n_2, n_3, n_4$，分别代表可用的拐角管、十字管、直管和 T 型管的数量。

$0 \le X_{start}, Y_{start}, X_{finish}, Y_{finish} \le 10^{10}$ $0 \le n_1, n_2, n_3, n_4 \le 10^{10}$ $2 \le n_2 \le 10^{10}$

输出格式

如果任务可以完成，输出 Yes，否则输出 No。

样例

样例输入 1

8 7
14 3
3 2 6 0

样例输出 1

Yes

样例输入 2

8 7
14 3
1 2 7 0

样例输出 2

No