#pragma GCC optimize("Ofast")
#pragma GCC target("avx2")

char*mmap();
#define rd(v) int v=0;{int _c;while(_c=*rp++-48,_c>=0)v=v*10+_c;}

#define rep(v,e) for(int v=0;v<e;++v)

#define HASH_BITS 22
long hash[1<<HASH_BITS];

int hash_add(long x){
	int h=x&(1<<HASH_BITS)-1;
	while(1){
		if(hash[h]==0){
			hash[h]=x;
			return 1;
		}
		if(hash[h]==x){
			return 0;
		}
		h=h+1&(1<<HASH_BITS)-1;
	}
}

#define MD 18446744073709551557ul

main(){
	char*rp=mmap(0l,1l<<28,1,2,0,0ll);
	rd(n);
	rd(k);
	int a[18];
	rep(i,n){
		rd(ai);
		a[i]=ai;
	}
	int z=0;
	for(int i=0;i<1<<n;++i){
		if(__builtin_popcount(i)>=k){
			long b=0,c=1;
			for(int j=0;j<n;++j){
				if(i&1<<j){
					b+=a[j];
					c=(__int128)(unsigned long)c*a[j]%MD;
				}
			}
			z+=hash_add(b);
			z+=hash_add(c);
		}
	}

	{
		int n=0;
		long d=0;
		while(++n,d=d<<8|0x30|z%10,z/=10);
		write(1,&d,n);
	}
	_exit(0);
}