#include <stdio.h>

int beans[26];
int shares[26];

void printbeans()
{
	int i;

	for( i = 0; i < 26; i++ )
	{
		printf( "%d ", beans[i] );
	}
	printf( "\n" );
}

void main()
{
	int i, c, num;
	char bean[5], current, select;
	int guess[5];
	int sharesum=0;
	int guessnum=0;
	float sharesize;

	for( i=0; i< 26; i++ )
	{
		beans[i] = shares[i] = 0;
	}

	while( ( c = getchar() ) != '\n' )
	{
		beans[c-'a']++;
	}
	printbeans();

	while( ( num = fscanf( stdin, "%1s %1s:%d,%c:%d,%c:%d,%c:%d,%c:%d", 
		 &current, &bean[0], &guess[0], &bean[1], &guess[1],
		 &bean[2], &guess[2], &bean[3], &guess[3], &bean[4], &guess[4]
	        ) ) != EOF )
	{
		for( i = 0; num > 1; num -= 2, i++ )
		{
			guessnum++;
			select = current - 'a';
			if( guess[i]-1 == beans[bean[i]-'a'] ||
				guess[i]+1 == beans[bean[i]-'a'] )
			{
				shares[current-'A'] += 1;
				sharesum += 1;
			}
			else if( guess[i] == beans[bean[i]-'a'] )
			{
				shares[current-'A'] += 2;
				sharesum += 2;
			}
		}
	}
	printf( "%d-%d\n", guessnum, sharesum );
	sharesize = (2.0 * (float) guessnum) / (float) sharesum ;
	printf( "%2.2f\n", sharesize );

	for( i = 0; i < 26 ; i++ )
	{
		if( shares[i] > 0 )
		{
			printf( "%c %2.2f\n", (char)i+'A', sharesize*shares[i] );
		}
	}
}