#include <float.h>
#include <limits.h>
#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

// 内部定数
#define D_MARK_CNT		5												// マーク数
#define D_ROW_CNT		3												// 行数
#define D_COL_CNT		3												// 列数
#define D_REEL_MAX		5005											// 最大リール数

// 内部構造体 - マーク情報
typedef struct Mark {
	char mc1Name[16];													// 名称
	int miCoin;															// コイン
	long long mlMCnt;													// 揃う回数
} Mark;

// 内部変数
static FILE *szpFpI;													// 入力
static Mark sz1Mark[D_MARK_CNT];										// マーク
static int si1RCnt[D_COL_CNT];											// リール数[列]
static int si4PCnt[D_COL_CNT][D_MARK_CNT][D_MARK_CNT][D_MARK_CNT];		// パターン数[列][絵柄１][絵柄２][絵柄３]

// 内部変数 - テスト用
#ifdef D_TEST
	static int siRes;
	static FILE *szpFpA;
	static int siTNo;
#endif

// 出力
int
fOut(
	char *pcpLine				// <I> １行
)
{
	char lc1Buf[1024];

#ifdef D_TEST
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, pcpLine)) {
		siRes = -1;
	}
#else
	printf("%s", pcpLine);
#endif

	return 0;
}

// 全パターン - 実行
int
fAllPtn(
	int piCNo					// <I> 列 0～
	, int *pipMark				// <I> マーク
	, long long plPCnt			// <I> パターン数
)
{
	int i, j, k;

	// 選択中
	if (piCNo < D_COL_CNT) {
		for (i = 0; i < D_MARK_CNT; i++) {
			for (j = 0; j < D_MARK_CNT; j++) {
				for (k = 0; k < D_MARK_CNT; k++) {
					if (si4PCnt[piCNo][i][j][k] < 1) {
						continue;
					}

					// マーク - セット
					pipMark[D_COL_CNT * piCNo] = i;
					pipMark[D_COL_CNT * piCNo + 1] = j;
					pipMark[D_COL_CNT * piCNo + 2] = k;

					// 下位へ
					fAllPtn(piCNo + 1, pipMark, plPCnt * (long long)si4PCnt[piCNo][i][j][k]);
				}
			}
		}

		return 0;
	}

	// 絵柄一致
	if (pipMark[0] == pipMark[D_ROW_CNT] && pipMark[D_ROW_CNT] == pipMark[D_ROW_CNT * 2]) {					// １行目
		sz1Mark[pipMark[0]].mlMCnt += plPCnt;
	}
	if (pipMark[1] == pipMark[D_ROW_CNT + 1] && pipMark[D_ROW_CNT + 1] == pipMark[D_ROW_CNT * 2 + 1]) {		// ２行目
		sz1Mark[pipMark[1]].mlMCnt += plPCnt;
	}
	if (pipMark[2] == pipMark[D_ROW_CNT + 2] && pipMark[D_ROW_CNT + 2] == pipMark[D_ROW_CNT * 2 + 2]) {		// ３行目
		sz1Mark[pipMark[2]].mlMCnt += plPCnt;
	}
	if (pipMark[0] == pipMark[D_ROW_CNT + 1] && pipMark[D_ROW_CNT + 1] == pipMark[D_ROW_CNT * 2 + 2]) {		// 左上～右下
		sz1Mark[pipMark[0]].mlMCnt += plPCnt;
	}
	if (pipMark[2] == pipMark[D_ROW_CNT + 1] && pipMark[D_ROW_CNT + 1] == pipMark[D_ROW_CNT * 2]) {			// 左下～右上
		sz1Mark[pipMark[2]].mlMCnt += plPCnt;
	}

	return 0;
}

// 実行メイン
int
fMain(
)
{
	int i, j, k;
	char lc1Buf[1024];

	// マーク - 取得
	for (i = 0; i < D_MARK_CNT; i++) {
		fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
		sscanf(lc1Buf, "%s%d", sz1Mark[i].mc1Name, &sz1Mark[i].miCoin);
	}

	// リール数 - 取得
	for (i = 0; i < D_COL_CNT; i++) {
		fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
		sscanf(lc1Buf, "%d", &si1RCnt[i]);

		// 絵柄 - 取得
		int li1MNo[D_REEL_MAX];
		for (j = 0; j < si1RCnt[i]; j++) {
			char lc1Name[16];
			fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
			sscanf(lc1Buf, "%s", lc1Name);

			for (k = 0; k < D_MARK_CNT; k++) {
				if (!strcmp(lc1Name, sz1Mark[k].mc1Name)) {
					li1MNo[j] = k;
					break;
				}
			}
		}
		for (j = 0; j < D_ROW_CNT - 1; j++) {
			li1MNo[si1RCnt[i] + j] = li1MNo[j];
		}

		// パターン数 - 加算
		for (j = 0; j < si1RCnt[i]; j++) {
			si4PCnt[i][li1MNo[j]][li1MNo[j + 1]][li1MNo[j + 2]]++;
		}
	}

	// 全パターン - 実行
	int li1Mark[D_COL_CNT * D_ROW_CNT];
	fAllPtn(0, li1Mark, 1);

	// 期待値
	double ldVal = 0.0;
	for (i = 0; i < D_MARK_CNT; i++) {
		ldVal += (double)sz1Mark[i].miCoin * (double)sz1Mark[i].mlMCnt;
	}
	for (i = 0; i < D_COL_CNT; i++) {
		ldVal /= (double)si1RCnt[i];
	}

	// 出力 - 期待値
	sprintf(lc1Buf, "%.2lf\n", ldVal);
	fOut(lc1Buf);

	// 出力 - 揃う回数
	for (i = 0; i < D_MARK_CNT; i++) {
		sprintf(lc1Buf, "%lld\n", sz1Mark[i].mlMCnt);
		fOut(lc1Buf);
	}

	return 0;
}

// １回実行
int
fOne(
)
{
	int liRet;
	char lc1Buf[1024];

	// データ - 初期化
	memset(sz1Mark, 0, sizeof(sz1Mark));						// マーク
	memset(si4PCnt, 0, sizeof(si4PCnt));						// パターン数

	// 入力 - セット
#ifdef D_TEST
	sprintf(lc1Buf, ".\\Test\\T%d.txt", siTNo);
	szpFpI = fopen(lc1Buf, "r");
	sprintf(lc1Buf, ".\\Test\\A%d.txt", siTNo);
	szpFpA = fopen(lc1Buf, "r");
	siRes = 0;
#else
	szpFpI = stdin;
#endif

	// 実行メイン
	liRet = fMain();

	// 残データ有無
#ifdef D_TEST
	lc1Buf[0] = '\0';
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, "")) {
		siRes = -1;
	}
#endif

	// テストファイルクローズ
#ifdef D_TEST
	fclose(szpFpI);
	fclose(szpFpA);
#endif

	// テスト結果
#ifdef D_TEST
	if (siRes == 0) {
		printf("OK %d\n", siTNo);
	}
	else {
		printf("NG %d\n", siTNo);
	}
#endif

	return 0;
}

// プログラム開始
int
main()
{

#ifdef D_TEST
	int i;
	for (i = D_TEST_SNO; i <= D_TEST_ENO; i++) {
		siTNo = i;
		fOne();
	}
#else
	fOne();
#endif

	return 0;
}