ICPC는 International Collegiate Programming Contest의 약자로, 대학생 프로그래밍 대회이다.
ICPC는 3인 1팀으로 참여할 수 있으며, 현재 전세계적으로 수많은 학생들이 참여하는 세계에서 가장 유명한 프로그래밍 대회이다.

루루대학교의 교수인 루루 교수는 오랜 연구 끝에 학생들의 능력을 정수 지표로 나타내는 R-지표를 개발하였다.
루루 교수는 개발한 R-지표를 바탕으로 구성원들의 R-지표의 합이 K일 때, 최상의 결괏값을 낸다는 사실을 발견하였으며, K를 R-상수라고 명명하였다.

루루대학교의 뛰어난 선발 방식이 소문나자 정부에서는 ICPC 한국 대표 선발 담당자로 루루 교수를 초빙하였다.
루루 교수는 전국의 N명 학생들을 대상으로 평소처럼 R-지표와 R-상수를 사용하여 ICPC 출전 팀을 구성하려고 한다.
루루 교수가 N명의 학생을 대상으로 구성할 수 있는 ICPC 출전 팀의 모든 경우의 수를 구하시오.

첫째 줄에는 학생 수(1<=N<10,000)와 R-상수 값 R(-10,000<=R<=10,000)이 공백으로 구분되어 주어진다.
둘째 줄에는 N명의 학생들의 능력을 R-지표로 바꾼 값이 공백으로 구분되어 주어진다.

루루 교수가 구성할 수 있는 ICPC 출전 팀의 모든 경우의 수를 출력한다.