#include <stdio.h>
#include <string.h>

int main(int argc, char ** argv)
{
	const int histsize = 10;
	int result[histsize];

	int length = 0;
	char c;
	char * whitespace = " \t\n";

	for (int i = 0; i < histsize; i++)
		result[i] = 0;

	do
	{
		c = getchar();

		if ( (strchr(whitespace, c) != NULL) || (c == EOF) )
		{
			result[length] += 1;
			length = 0;
		}
		else
		{
			if (length < histsize-1)
				length += 1;
		}

	} while (c != EOF);

	printf("\n\n");
	printf("Length\tCount\n");

	for (int i = 1; i < histsize-1; i++)
		if (result[i] != 0)
			printf("  %d\t%d\n", i, result[i]);

	printf(">=%d\t%d\n", histsize, result[histsize-1]);

	return 0;
}