>>891
#include <stdlib.h>
#include <stdio.h>
#include <string.h>
int main(void){
  int *table=(int*)calloc(sizeof(int), 10000, 0), i, x;
  FILE *in=fopen("input8500.txt","r");
  for(i=0; i<8500; i++){
    fscanf(in, "%d", &x);
    table[x]++;
  }
  for(i=x=0; i<10000; x+=table[i]?1:0, i++);
  printf("%d種類\n", x);
}

コンパイラ無いので，試してないけど動くんじゃね？