题目描述

传智专修学院有 $n$ 名同学，每个同学都有一个数字 $a_n$。同时还知道一个常数 $k$ 。

如果有两名同学，第 $i$ 名同学和第 $j$ 名同学，满足 $i<j$ 且 $a_i\times a_j\leq k$，那么这两名同学就被称为“和谐的一对”。请问这些同学中，有多少对“和谐的一对”呢？

对于所有数据，$n \leq 10^3$，$a_i\leq 10^5$，$k\leq 10^9$。

输入格式

输入共 $2$ 行。

第 $1$ 行输入两个正整数 $n,k$。

第 $2$ 行输入 $n$ 个正整数 $a_1\ldots a_n$。

输出格式

输出共 $1$ 行 $1$ 个整数，表示答案。

样例 #1

样例输入 #1

5 5
1 2 3 4 5

样例输出 #1

4

提示

样例解释

样例中，$(1,2),(1,3),(1,4),(1,5)$ 这 $4$ 对都是“和谐的一对”。