function main(input) {
  input=input.trim();
  const N = parseInt(input.split(" ")[0], 10);
  var arrd=[]
  for(var i=0; i<N; i++){
    arrd.push(parseInt(input.split("\n")[1+i], 10))
  }

  var set=new Set(arrd)
  console.log(set.size);

}



main(require('fs').readFileSync('/dev/stdin', 'utf8'));
