У Хорнет есть $$$n$$$ боевых характеристик, уровень каждой описывается целым числом $$$a_i$$$. Всего за долгое время своих приключений она встретилась с $$$m$$$ боссами, и для каждого из них известны их значения тех же характеристик, тоже по $$$n$$$ у каждого: $$$j$$$-я характеристика у $$$i$$$-го босса равна $$$b_{i,j}$$$.
Хорнет сражалась с боссами не обязательно в порядке увеличения их номеров и не обязательно по одному разу. У нее есть массив номеров боссов $$$c$$$ длины $$$k$$$, по которому определяется, с кем она сражалась. Числа в массиве $$$c$$$ могут повторяться, и не обязательно каждое число от $$$1$$$ до $$$m$$$ в нем встречается.
Известно, что в процессе приключений могли происходить два вида событий:
Хорнет побеждает $$$c_j$$$-го босса тогда и только тогда, когда все ее характеристики имеют уровень не меньше, чем у него, то есть когда для любого $$$i$$$ верно $$$a_i \ge b_{c_j, i}$$$. Соответственно, для поражения достаточно, чтобы хотя бы одна из характеристик Хорнет была ниже, чем у босса.
К сожалению, значения $$$c_j$$$ были потеряны, но сохранились записи обо всех событиях. Определите, существует ли такой набор $$$c_j$$$, при котором все исходы боев будут совпадать с исходами в записях, или же в записях есть ошибка.
В первой строке даны три целых числа $$$n$$$, $$$m$$$ и $$$k$$$ — количество боевых характеристик, число боссов и число событий ($$$1 \le n, m, k \le 1000$$$).
Во второй строке перечислены $$$n$$$ целых чисел $$$a_i$$$ — изначальные уровни характеристик Хорнет ($$$0 \le a_i \le 500$$$).
В следующих $$$m$$$ строках в том же формате даны характеристики боссов по $$$n$$$ чисел $$$b_{i, j}$$$ в каждой строке ($$$0 \le b_{i, j} \le 500$$$).
В следующих $$$k$$$ строках даны записи о событиях в формате, данном в условии ($$$1 \le i \le n$$$; $$$1 \le j \le k$$$; $$$1 \le x \le 500$$$; $$$s \in \{\text{«\t{win}»}, \text{«\t{loss}»}\}$$$).
Выведите «Yes» (без кавычек), если существует такой порядок сражений с боссами $$$c$$$, при котором записи корректны, и «No» иначе.
Обратите внимание, что не требуется, чтобы Хорнет сразилась с каждым боссом хотя бы один раз.
3 2 40 0 01 2 00 2 11 1 21 2 32 3 loss2 2 win
Yes
3 2 50 0 01 0 20 2 11 1 21 2 32 2 win1 3 32 3 loss
No
В первом примере подходит массив $$$c = [\mathtt{*}, 1, 2, \mathtt{*}]$$$ (под $$$\mathtt{*}$$$ подразумевается любое значение, так как про них в записях нет данных).
До битвы с боссами характеристики Хорнет будут равны $$$[2, 3, 0]$$$. С такими характеристиками она может победить первого босса, но проиграет второму.
Во втором примере нет ни одного подходящего массива, так как перед последним запросом её характеристики равны $$$[2, 3, 3]$$$, из-за чего она не может проиграть ни одному боссу.