#P3298. [SDOI2013] 泉

[SDOI2013] 泉

题目描述

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

现在铭铭希望知道有多少对不同的年份 iijji<ji<j),满足这两年恰好有 KK 个泉区的泉水水流指数对应相同。

输入格式

第一行两个整数 N,KN,K

下面 NN 行,每行 66 个整数 Ai,1Ai,6A_{i,1} \sim A_{i,6}

输出格式

一行一个整数表示答案。

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

提示

1N1051 \le N \le 10^50Ai,j2300 \le A_{i,j} \le 2^{30},且保证 KK[0,1,2,3,4,5,6][0,1,2,3,4,5,6] 中均匀随机选取。