### 问题描述 小桥是一名热爱冒险的勇士。他的冒险世界是一个二维的空间，每一次冒险都从 $0$ 时刻开始。小桥可以选择空间中的任意一个位置作为他的初始出发点。在每一个时刻，小桥可以选择留在原地或者移动到四个方向之一：上、下、左、右。 在这个冒险世界中，为了帮助小桥更快地移动，设置了 $n$ 个传送门。其中第 $i$ 个传送门位于坐标 ($xa_i, ya_i$)。只有当小桥首次访问了传送门的位置，该传送门才会被激活，然后在整个游戏过程中一直处于激活状态。小桥可以从游戏世界中的任何位置立即传送到已经激活的传送门所在位置。 同时，小桥的冒险过程中有 $n ^ 2$ 个任务等待他完成。第 $i$ 个任务需要在坐标 ($xb_i, yb_i$) 并且在 $t_i$ 时刻才能完成。 如果小桥可以完成至少 $k$ 个任务，那么他就胜利了，输出 `Yes`，反之输出 `No`。 ### 输入格式 首先输入两个整数 $n, k$ ($1 \le n \le 10, 1 \leq k \leq n^2$)，分别代表传送门的数量和胜利标准。 接下来的 $n$ 行，每一行包含两个整数 $xa_i, ya_i$ ($1 \le xa_i, ya_i \le 10^6$)，代表每一个传送门的坐标。 接下来的 $n ^ 2$ 行，每一行包含三个整数 $xb_i, yb_i, t_i$ ($1 \le xb_i, yb_i \le 10^6, 1 \le t_i \le 10^9$)，代表每一个任务的坐标以及需要完成的时刻。 保证每个坐标在一个测试用例中都是不同的。 ### 输出格式 一行一个字符串，如果小桥可以完成至少 $k$ 个任务，那么他就胜利了，输出 `Yes`，反之输出 `No`。 ### 样例输入 ```text 2 3 1 2 2 3 1 2 3 2 3 4 3 4 5 4 5 6 ``` ### 样例输出 ```text Yes ```