function main(input) {
  input=input.trim();
  const a = parseInt(input.split(" ")[0], 10);
  const b = parseInt(input.split(" ")[1], 10);
  const c = parseInt(input.split(" ")[2], 10);
  var ar=[a,b,c]
  var set=new Set(ar)
  console.log(set.size);

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