atcoder#DPK. Stones

Stones

配点 : 100100

問題文

NN 個の正整数からなる集合 A={a1,a2,,aN}A = \{ a_1, a_2, \ldots, a_N \} があります。 太郎君と次郎君が次のゲームで勝負します。

最初に、KK 個の石からなる山を用意します。 二人は次の操作を交互に行います。 先手は太郎君です。

  • AA の元 xx をひとつ選び、山からちょうど xx 個の石を取り去る。

先に操作を行えなくなった人が負けです。 二人が最適に行動すると仮定したとき、どちらが勝つかを判定してください。

制約

  • 入力はすべて整数である。
  • 1N1001 \leq N \leq 100
  • 1K1051 \leq K \leq 10^5
  • 1a1<a2<<aNK1 \leq a_1 < a_2 < \cdots < a_N \leq K

入力

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

NN KK

a1a_1 a2a_2 \ldots aNa_N

出力

先手の太郎君が勝つならば First を、後手の次郎君が勝つならば Second を出力せよ。

2 4
2 3
First

先手が 33 個の石を取り去ると、後手は操作を行なえません。 よって、先手が勝ちます。

2 5
2 3
Second

次のように、先手がどのように操作を行っても後手が勝ちます。

  • 先手が 22 個の石を取り去った場合、後手が 33 個の石を取り去ると、先手は操作を行えない。
  • 先手が 33 個の石を取り去った場合、後手が 22 個の石を取り去ると、先手は操作を行えない。
2 7
2 3
First

先手は 22 個の石を取り去ればよいです。 すると、次のように、後手がどのように操作を行っても先手が勝ちます。

  • 後手が 22 個の石を取り去った場合、先手が 33 個の石を取り去ると、後手は操作を行えない。
  • 後手が 33 個の石を取り去った場合、先手が 22 個の石を取り去ると、後手は操作を行えない。
3 20
1 2 3
Second
3 21
1 2 3
First
1 100000
1
Second