#abc307c. [abc307_c]Ideal Sheet

[abc307_c]Ideal Sheet

問題文

高橋君は黒いマスと透明なマスからなるシート A,BA,B11 枚ずつと、透明なマスのみからなる無限に広がるシート CC を持っています。
また、高橋君には黒いマスと透明なマスからなる、理想とするシート XX が存在します。

シート A,B,XA,B,X の大きさはそれぞれ縦 HAH_A マス times\\timesWAW_A マス、縦 HBH_B マス times\\timesWBW_B マス、縦 HXH_X マス times\\timesWXW_X マスです。
シート AA の各マスは .# からなる長さ WAW_A の文字列 HAH_AA1,A2,ldots,AHAA_1,A_2,\\ldots,A_{H_A} によって表され、
AiA_i (1leqileqHA)(1\\leq i\\leq H_A)jj 文字目 (1leqjleqWA)(1\\leq j\\leq W_A) が、 . のときシート AA の上から ii 行目かつ左から jj 列目のマスは透明なマスであり、 # のとき黒いマスです。
シート B,XB,X の各マスも、同様に長さ WBW_B の文字列 HBH_BB1,B2,ldots,BHBB_1,B_2,\\ldots,B_{H_B} および長さ WXW_X の文字列 HXH_XX1,X2,ldots,XHXX_1,X_2,\\ldots,X_{H_X} によって表されます。

高橋君の目標は、次の手順で、シート A,B,CA,B,C から、A,BA,B に存在する すべての黒いマスを使って シート XX を作り出すことです。

  1. シート A,BA,B をマス目に沿ってシート CC に貼り付ける。この時、シート A,BA,B はそれぞれ好きな場所に平行移動させて貼って良いが、シートを切り分けたり、回転させたりしてはいけない。
  2. シート CC からマス目に沿って HXtimesWXH_X\\times W_X マスの領域を切り出す。ここで、切り出されたシートの各マスは、シート AA または BB の黒いマスが貼り付けられていれば黒いマスに、そうでなければ透明なマスとなる。

このとき、貼り付ける位置と切り出す領域をうまくとることで高橋君は目標を達成できるか、すなわち次の条件をともにみたすことにできるか判定してください。

  • 切り出されたシートはシート A,BA,B黒いマスをすべて 含む。切り出されたシートの上でシート A,BA,B の黒いマスどうしが重なって存在していても構わない。
  • 切り出されたシートは、回転させたり裏返したりすることなくシート XX と一致する。

制約

  • 1leqHA,WA,HB,WB,HX,WXleq101\\leq H_A,W_A,H_B,W_B,H_X,W_X\\leq 10
  • HA,WA,HB,WB,HX,WXH_A,W_A,H_B,W_B,H_X,W_X は整数
  • AiA_i.# のみからなる長さ WAW_A の文字列
  • BiB_i.# のみからなる長さ WBW_B の文字列
  • XiX_i.# のみからなる長さ WXW_X の文字列
  • シート A,B,XA,B,X はそれぞれ少なくとも 11 つ以上の黒いマスを含む。

入力

入力は以下の形式で標準入力から与えられる。

HAH_A WAW_A A1A_1 A2A_2 vdots\\vdots AHAA_{H_A} HBH_B WBW_B B1B_1 B2B_2 vdots\\vdots BHBB_{H_B} HXH_X WXW_X X1X_1 X2X_2 vdots\\vdots XHXX_{H_X}

出力

高橋君が問題文中の目標を達成できるならば Yes を、できないならば No を出力せよ。


入力例 1

3 5
#.#..
.....
.#...
2 2
#.
.#
5 3
...
#.#
.#.
.#.
...

出力例 1

Yes

まず、シート AA をシート CC に貼り付けると下図のようになります。

 $\\vdots$

.......
.#.#...
cdots\\cdots.......cdots\\cdots ..#....
.......
vdots\\vdots

さらに、シート BB をシート AA と左上を合わせて貼ってみると下図のようになります。

 $\\vdots$

.......
.#.#...
cdots\\cdots..#....cdots\\cdots ..#....
.......
vdots\\vdots

ここで、上で具体的に図示されている範囲のうち、上から 11 行目かつ左から 22 列目のマスを左上として 5times35\\times 3 マスを切り出すと下図のようになります。

...
#.#
.#.
.#.
...

これはシート A,BA,B のすべての黒いマスを含んでおり、また、シート XX と一致しているため条件を満たしています。

よって、Yes を出力します。


入力例 2

2 2
#.
.#
2 2
#.
.#
2 2
##
##

出力例 2

No

シート AABB を回転させて貼ってはいけないことに注意してください。


入力例 3

1 1
#
1 2
##
1 1
#

出力例 3

No

どのように貼ったり切り出したりしても、シート BB の黒いマスをすべて含むように切り出すことはできないため、11 つめの条件をみたすことができません。 よって、No を出力します。


入力例 4

3 3
###
...
...
3 3
#..
#..
#..
3 3
..#
..#
###

出力例 4

Yes