N,K = map(int,input().split()) c = [0] + list(map(int,input().split())) S = [] for i in range(10): for j in range(c[i]): S.append(i) dp = [[0]*K for i in range(1<>i)&1: n += 1 for k in range(K): for i in range(N): if (bit>>i)&1: dp[bit][k] += dp[bit^(1<