输入描述:

第一行有一个整数 n，表示拼图的维数。

第二行有 n 个整数 ，分别表示每一维的大小。

下面  行，每行有 n 个整数：第  行表示 第 i 块拼图的初始位置 ，第  行表示第 i 块拼图的目标位置 ，保证不会有多个拼图在同一初始位置或目标位置。

最后一行有一个整数 t，表示 CSL 要求的步数。

输出描述:

如果 CSL 可以用恰好 t 步复原，在一行输出 "YES"，否则输出 "NO"。