#include <stdio.h>
#include <stdlib.h>


main(){
  FILE *file;
  int i, j, k=0;

  while(scanf("%d", &i)!=EOF) {j=i;k++;}

  printf("%d  %d \n", j, k);
}