Problem:
Problem D: 無矛盾な単位系

京、垓、{禾予}、穣、溝、澗、正、載、極、恒河沙、阿僧祇、那由他、不可思議、無量大数
分、厘、毛、糸、忽、微、繊、沙、塵、埃、渺、漠、模糊、逡巡、須臾、瞬息、弾指、刹那、六徳、虚空、清浄、阿頼耶、阿摩羅、涅槃寂静

これらが何か分かるだろうか。これらは全て10の累乗につけられた数詞である。

京 = 1016, 垓 = 1020, {禾予} = 1024, 穣 = 1028, 溝 = 1032, ...
分 = 10-1、厘 = 10-2、毛 = 10-3、糸 = 10-4、忽 = 10-5, ...

ではこれらが実用的に使われているのを見たことはあるだろうか？無いのではなかろうか？ 過去の先人達が熟考の末にこれらの命名を行ったにもかかわらず、これらの数詞が日の目を見られないとはなんと勿体無いことだろう。

この問題は、コンテスト参加者の皆様にこれらの数詞を知ってもらうために作られたものである。以下に問題の概要を示す。

1 km = 103 m

上記のような単位間の関係が入力として与えられる。この問題では、左辺における単位が右辺における単位の10の累乗倍となっているような単位間の関係だけが与えられる。
単位間の関係が矛盾しているとは、与えられた関係から以下の関係が同時に成り立つことをいう。

1 A = 10x B
1 A = 10y B

ただし、 x≠yであり、 AとBは任意の単位。

入力として与えられた単位間の関係が矛盾しているかどうか判定せよ。 なお、入力は簡易のため指数表記で与えられる。

Input

入力の一行目に、単位間の関係の個数を示す整数 N (1≤ N ≤ 100) が与えられる。

続くN行に、単位間の関係が含まれる。
単位間の関係は以下のフォーマットで与えられる。

"1 A = 10^x B"

A, B は単位を示す。AとBは相異なっており、それぞれ空白を含まないアルファベット小文字1〜16文字からなる。x は -100から100までの整数である。
"1 A = 10^x B" が定義されたとき、 "1 B = 10^-x A" も暗黙のうちに定義されているものとする。

任意の単位系のペアが2回以上定義されることはない。
すなわち、"1 kilobyte = 10^3 byte", "1 kilobyte = 10^1 byte" のような関係が、同時に入力に含まれることはない。
同様に、"1 kilobyte = 10^3 byte", "1 byte = 10^-3 kilobyte" のような関係が、同時に入力に含まれることはない。

Output

与えられた単位系が矛盾していなければ Yes を、 矛盾していれば No を出力せよ。

Notes on Test Cases

上記入力形式で複数のデータセットが与えられます。各データセットに対して上記出力形式で出力を行うプログラムを作成して下さい。

N が 0 のとき入力の終わりを示します。

Sample Input

3
1 km = 10^3 m
1 m = 10^2 cm
1 km = 10^5 cm
7
1 kilometre = 10^3 metre
1 megametre = 10^3 kilometre
1 metre = 10^-6 megametre
1 terametre = 10^3 gigametre
1 petametre = 10^3 terametre
1 gigametre = 10^-6 petametre
1 metre = 10^-15 petametre
4
1 a = 10^2 b
1 a = 10^3 c
1 b = 10^2 c
1 c = 10^1 d
4
1 acm = 10^2 icpc
1 icpc = 10^3 utpc
1 utpc = 10^4 topcoder
1 topcoder = 10^-1 acm
0

Output for Sample Input

Yes
Yes
No
No

Solution in JAVA (judge verdict: Wrong Answer)

import java.util.*;
import static java.lang.System.*;
import static java.lang.Math.*;

public class Main {
    static int n;
    static int[][] t;
    static HashMap<String, Integer> map;
    static final int MAX = 300;
    static void init(){
        map = new HashMap<String, Integer>();
        t = new int[MAX][MAX];
        for(int[] j : t) Arrays.fill(j, -1);
    }
    static int idxAt(String s){
        if(!map.containsKey(s)){
            map.put(s, map.size());
        }
        return map.get(s);
    }

    static void solve(){
        for(int k=0;k<n;k++){
            for(int i=0;i<n;i++){
                for(int j=0;j<n;j++){
                    if(t[i][k] == -1 || t[k][j] == -1 || !(i<k&&k<j)) continue;
                    if(t[i][j] == -1) t[i][j] = t[i][k] + t[k][j];
                    else if(t[i][j] != t[i][k] + t[k][j]){
                        out.println("No");
                        return;
                    }
                }
            }
        }
        out.println("Yes");
    }

    public static void main(String[] args) {
        Scanner sc = new Scanner(in);
        while(true){
            n = sc.nextInt();
            if(n == 0) break;

            init();
            for(int i=0;i<n;i++){
                String a = sc.next();
                String b = sc.next();
                sc.next();
                String c = sc.next();
                String d = sc.next();

                c = c.substring(c.indexOf("^")+1);

//                out.println(a +" " + b +"," + c + " " + d);

                int ii = idxAt(b);
                int jj = idxAt(d);

                int cc = new Integer(c);
                if(ii > jj){
                    ii ^= jj; jj ^= ii; ii ^= jj;
                    cc *= -1;
                }
//                if(cc < 0){
//                    ii ^= jj; jj ^= ii; ii ^= jj;
//                    cc *= -1;
//                }

                t[ii][jj] = cc;
            }
//            out.println(map);
            n = map.size();
            solve();
        }
    }

}