#include<stdio.h>

int main (void){
  int nmax = 1357122;
  static float x[1357122], y[1357122], Vmag[1357122];
  int n, k, count;
  float Vmag_max;
  FILE *fp;

  fp = fopen ("data.txt", "r");
  for (n=1; n<=nmax; n++){
    fscanf (fp, "%f %f %f", &x[n-1], &y[n-1], &Vmag[n-1]);
  }
  fclose (fp);

  fp = fopen ("count.txt", "w");
  for (k=1; k<=11; k++){
    Vmag_max = k + 0.5;
    count = 0;
    for (n=1; n<=nmax; n++){
      if (Vmag[n-1] < Vmag_max){
	count++;
      }
    }
    fprintf (fp, " %4.1f %7d\n", Vmag_max, count);
  }
  fclose (fp);

  return 0;
}