入出力

まず、マス目の行数・列数を表す 2 つの整数 H (1 ≦ H ≦ 5), W (1 ≦ W ≦ 100) が空白区切りで標準入力に与えられる。

H W

続いて、あなたのプログラムは 0 回以上 4,500 回以下の質問を行うことができる。

各質問ではまず、文字 ? と 4 つの整数 a (1 ≦ a ≦ H), b (1 ≦ b ≦ W), c (a ≦ c ≦ H), d (b ≦ d ≦ W) を空白区切りで出力する。これは、「マス (a,b) とマス (c,d) が同じ色かつマス (a,d) とマス (c,b) が同じ色、は正しいですか？」という質問を表す。

? a b c d

すると、あなたのプログラムには yes または no の文字列が与えられる。

最後に、あなたのプログラムは、文字 ! と答えを空白区切りで出力しなければならない。

! answer

答えを出力した後、あなたのプログラムは直ちに終了しなければならない。 終了しなかった場合のジャッジ結果は不定である。

また、正しくない出力をした場合の結果も不定である（必ずしも WA になるとは限らない）。

また、質問の回数制限を超えた場合も WA になることに注意せよ。

あなたのプログラムが正しい答えを出力して終了した場合、正答とみなされる。

出力した後に、出力をflushしなければならないことに注意せよ。flushしなかった場合、TLEとなることがある。

各言語での入出力の方法は過去の AtCoder で出題されている問題 (リンク: ABC 019 D: 高橋くんと木の直径) を参考にしてもよい。

入出力例

うさぎが塗ったマス目が以下の画像のようなものであったときの入出力例を示す。

うさぎが塗ったマス目の例

マス目に含まれる点対称な長方形は以下の 10 個であるため、正解となる。

マス目に含まれる点対称な長方形