T367032 [CZSC 2023] 乘积

Caiwen 和 明陌 在玩一个游戏。 Caiwen 给 明陌 一个长度为 $n$ 的序列。明陌 在其中选择两个数，使得乘积的末尾**至少**有 $x$ 个 $0$。然后 明陌 需要回答 Caiwen，有多少种不同的取数方法？ 明陌 看着眼前的序列摇了摇头，把这个问题甩给了你。

第一行，两个正整数 $n$ 和 $x$，代表序列的长度以及乘积末尾 $0$ 的数量。 第二行，$n$ 个正整数 $a_i$，表示 Caiwen 给出的序列。

一个整数，方案数。

**样例 #1 解释** $5\times80=400$，末尾有 $2$ 个 $0$ 。 $50\times2=100$，末尾有 $2$ 个 $0$ 。 $50\times80=4000$，末尾有 $3$ 个 $0$ 。 有以上 $3$ 种方案满足乘积至少有 $2$ 个 $0$ 。 **数据范围** 对于 $100\%$ 的数据，$1\le n\le 10^4，x\le5$ 。保证数据大小在 $int$ 范围内，不会出现负数。 其中有 $10\%$ 的数据，$x=0$ 。 还有另外 $10\%$ 的数据，$x=1$ 。 还有另外 $10\%$ 的数据，$x=2$ 。