//===============================
// 2002-12-23   Ryusei
// 真剣ずし全選択パターン網羅用PG
//===============================

import java.applet.Applet;
import java.awt.*;
import java.lang.*;
import java.util.*;


//////////  各時点での必要データを保持するクラス  //////////////////////////////

class SushiData {
	/*各々の得点を保存*/
	public int sc1, sc2;
	/*現在の攻め手（0 or 1）*/
	public int P;
	/*現在の手数（0 or 1）*/
	public int T;

	/*１手目のカード種類*/
	public int preC;
	/*既知カードの種類*/
	public int old[];

	SushiData(int sc1, int sc2, int P, int T, int preC, int[] old) {
		this.old = new int[old.length];

		this.sc1  = sc1;
		this.sc2  = sc2;
		this.P    = P;
		this.T    = T;
		this.preC = preC;
		for (int i=0; i<old.length; i++) {
			this.old[i]  = old[i];
		}
	}

	public void setData(SushiData sdt) {
		this.sc1  = sdt.sc1;
		this.sc2  = sdt.sc2;
		this.P    = sdt.P;
		this.T    = sdt.T;
		this.preC = sdt.preC;
		for (int i=0; i<old.length; i++) {
			this.old[i]  = sdt.old[i];
		}
	}

	public void trnsPlayer() {
		if (P == 0) { P = 1; }
		else { P = 0; }
	}

	public void addSc() {
		if (P == 0) { sc1++; }
		else if (P == 1) { sc2++; }
	}

}


//////////  計算処理のメインクラス  ////////////////////////////////////////////

class SushiCheck {

	/*各々の勝ち数を保存*/
	static int win1, win2, win3;
	static int x;
	static int uz;

	/*各カードの種類*/
	static int card[];

	SushiCheck() {
		win1 = 0;
		win2 = 0;
		win3 = 0;
		uz   = 0;
	}

	public void check(LinkedList c, SushiData sdt) {
		int m;
		int i = 0;
		SushiData sdt_bak = new SushiData(sdt.sc1, sdt.sc2, sdt.P, sdt.T, sdt.preC, sdt.old);
		for(Iterator e = c.iterator(); e.hasNext();) {
			sdt.setData(sdt_bak);
			m = ((Integer)(e.next())).intValue();

			// １枚目のカード
			if (sdt.T == 0) {
				// ぐるぐるカード
				if (m == uz) {
					sdt.trnsPlayer();
				}
				// 既知のカードと一致
				else if (sdt.old[m] == 1) {
					sdt.addSc();
				}
				// 初めての種類のカード
				else {
					sdt.T = 1;
					sdt.preC = m;
					sdt.old[m] = 1;
				}
			}
			// ２枚目のカード
			else {
				// ぐるぐるカード
				if (m == uz) {
					sdt.trnsPlayer();
					sdt.T = 0;
				}
				// １枚目のカードと一致
				else if (m == sdt.preC) {
					sdt.addSc();
					sdt.T = 0;
				}
				else {
					// 既知のカードと一致
					if (sdt.old[m] == 1) {
						sdt.trnsPlayer();
						sdt.addSc();
						sdt.T = 0;
					}
					// 初めての種類のカード
					else {
						sdt.T = 0;
						sdt.trnsPlayer();
						sdt.old[m] = 1;
					}
				}
				
			}

			// 既知となったカードをリストから削除する
			// 再帰へ投げるオブジェクトを別にディープコピー
			LinkedList s = new LinkedList((Collection)c);
			s.remove(i);

			// 再帰処理
			check(s, new SushiData(sdt.sc1, sdt.sc2, sdt.P, sdt.T, sdt.preC, sdt.old));

			// 削除用インデックス
			i++;
		}

		// 勝敗加算
		if (i == 0) {
			if (sdt.sc1 > sdt.sc2) { win1++; }
			else if (sdt.sc1 < sdt.sc2) { win2++; }
			else { win3++; }

			// １パターンごとのスコア表示（デバッグ用）
//			System.out.println("SCORE: "+sdt.sc1+"★"+sdt.sc2);
		}
	}

	public static void main(String args[]) {
		SushiCheck sck = new SushiCheck();

////////  設定  ////////////////////////////////////////////////////////////////

		/*カードに関する基本設定*/
		int CARD_MAX = 16;                          // カード枚数
		SushiCheck.card = new int[CARD_MAX];
		int old[] = new int[CARD_MAX/2];

		/*カードの中身設定*/
		SushiCheck.card[0] = 0;
		SushiCheck.card[1] = 0;
		SushiCheck.card[2] = 1;
		SushiCheck.card[3] = 1;
		SushiCheck.card[4] = 2;
		SushiCheck.card[5] = 2;
		SushiCheck.card[6] = 3;
		SushiCheck.card[7] = 3;
		SushiCheck.card[8] = 4;
		SushiCheck.card[9] = 4;
		SushiCheck.card[10] = 5;
		SushiCheck.card[11] = 5;
		SushiCheck.card[12] = 6;
		SushiCheck.card[13] = 6;
		SushiCheck.card[14] = 7;
		SushiCheck.card[15] = 7;

		/*ぐるぐるカードの番号設定*/
		SushiCheck.uz = 0;

////////////////////////////////////////////////////////////////////////////////

		/*既知カードの配列初期化*/
		for(int i=0; i<CARD_MAX/2; i++) {
			old[i] = 0;
		}

		/*card[]の内容をObject配列で作成（引数用）*/
		Object[] cardObj = new Object[CARD_MAX];
		for(int i=0; i<CARD_MAX; i++) {
			cardObj[i] = new Integer(SushiCheck.card[i]);
		}
		LinkedList s = new LinkedList(Arrays.asList(cardObj));
		sck.check(s, new SushiData(0, 0, 0, 0, -1, old));

		/*結果表示*/
		System.out.println("先攻:"+win1+" 後攻:"+win2+" 引分け:"+win3);
	}

}