atcoder#TOKIOMARINE2020E. O(rand)

O(rand)

配点 : 800800

問題文

NN 個の相異なる非負整数 A1,A2,,ANA_1,A_2,\ldots,A_N が与えられます。 与えられた数の中から 11 個以上 KK 個以下の数を選ぶ方法であって、次の 22 つの条件を満たすような方法は何通りあるか求めてください。

  • 選ばれた数のビットごとの論理積は SS である。
  • 選ばれた数のビットごとの論理和は TT である。

制約

  • 1N501 \leqq N \leqq 50
  • 1KN1 \leqq K \leqq N
  • 0Ai<2180 \leqq A_i < 2^{18}
  • 0S<2180 \leqq S < 2^{18}
  • 0T<2180 \leqq T < 2^{18}
  • AiAjA_i \neq A_j (1i<jN1 \leqq i < j \leqq N)

入力

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

NN KK SS TT

A1A_1 A2A_2 ...... ANA_N

出力

答えを出力せよ。

3 3 0 3
1 2 3
2

{1,2}\{1,2\} もしくは {1,2,3}\{1,2,3\} と数を選ぶと条件を満たします。

5 3 1 7
3 4 9 1 5
2
5 4 0 15
3 4 9 1 5
3