暂无测试数据。

众所周知，林荫是一个秃头程序员，而他的女神 $DJ$ 则是一位美丽的艺术生。为了让女神多看自己一眼，林荫决定提高程序员的自我修养。经过严密的定量分析，林荫意识到只有自己的艺术值达到且恰好为 $K$ 的时候，最能吸引 $DJ$ 的注意力。目前有 $N$ 种艺术课程，每种课程可以为林荫提供 $Val[i]$ 点艺术值。若记林荫初始的艺术值为 $0$，由于林荫忙于竞赛，且林荫希望自己能多学一些技能，林荫仅能且必须选择三种课程来获得刚好为 $K$ 的艺术值。请输出所有的课程组合（用一个三元组表示，三个元素分别为所选三种课的编号），并按照课程编号从小到大排序三元组。

输入格式

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

下面一行 $N$ 个正整数，第 $i$ 个代表 $Val[i]$。

输出格式

一个正整数代表三元组个数。下面每行输出一个三元组，三个数字间用空格隔开。

数据范围

所有的 $Val[i]$ 均小于等于 $100000$ 且均不相等。

对于 $40\%$ 的数据，$n \le 100$。

对于 $70\%$ 的数据，$n\le 5000$。

对于 $100\%$ 的数据，$n\le 10000$。

提示

数据 $10$ 较为极限，请注意优化。

5 6
1 2 3 4 5

1
1 2 3