Description

作为光荣的济南泉历史研究小组中的一员，铭铭收集了历史上 $N$ 个不同年份时不同泉区的水流指数，这个指数是一个小于 $2^{30}$ 的非负整数。第 $i$ 个年份时六个泉区的泉水流量指数分别为 $A_{i,1} \sim A_{i,6}$。

现在铭铭希望知道有多少对不同的年份 $i$ 和 $j$（$i<j$），满足这两年恰好有 $K$ 个泉区的泉水水流指数对应相同。

Input Format

第一行两个整数 $N,K$。

下面 $N$ 行，每行 $6$ 个整数 $A_{i,1} \sim A_{i,6}$。

Output Format

一行一个整数表示答案。

3 3
1 2 3 4 5 6
1 2 3 0 0 0
0 0 0 4 5 6

2

Hint

$1 \le N \le 10^5$，$0 \le A_{i,j} \le 2^{30}$，且保证 $K$ 在 $[0,1,2,3,4,5,6]$ 中均匀随机选取。