#include<cstdio>
#include<iostream>
using namespace std;

inline int readInt(){
  int ret = 0;
  char c;
  while((c=getchar()) && isdigit(c)){
    ret = ret * 10 + (c-'0');
  }
  return ret;
}

int main(){
  int n,s;
  while(true){
    n = readInt();
    if (n==0)break;
    s = readInt();
    int r[101]={0};
    //for(int i=0;i<n;i++){
    for(int i=n;i;i--){
      int tmp;tmp=readInt();r[tmp]++;
    }
    int ans = 0;
    for(int i=100;i;i--){
      if (r[i] && i+i > s)ans += r[i]*(r[i]-1)/2;
      if (!r[i])continue;
      for(int j=100;j > i;j--){
	if (i+j <= s)break;
	ans += r[i]*r[j];
      }
    }
    printf("%d\n",ans);
  }
}