tr(h   , t). % t: transição
tr(he  , g).
tr(li  , t).
tr(be  , t).
tr(b   , t).
tr(c   , t).
tr(n   , t).
tr(o   , t).
tr(f   , t).
tr(ne  , g).
tr(na  , t).
tr(mg  , t).
tr(al  , t).
tr(si  , t).
tr(p   , t).
tr(s   , t).
tr(cl  , t).
tr(ar  , g).
tr(k   , t).
tr(ca  , t).
tr(sc  , e).
tr(ti  , e).
tr(v   , e).
tr(cr  , e).
tr(mn  , e).
tr(fe  , e).
tr(co  , e).
tr(ni  , e).
tr(cu  , e).
tr(zn  , e).
tr(ga  , t).
tr(ge  , t).
tr(as  , t).
tr(se  , t).
tr(br  , t).
tr(kr  , g).
tr(rb  , t).
tr(sr  , t).
tr(y   , e).
tr(zr  , e).
tr(nb  , e).
tr(mo  , e).
tr(tc  , e).
tr(ru  , e).
tr(rh  , e).
tr(pd  , e).
tr(ag  , e).
tr(cd  , e).
tr(in  , t).
tr(sn  , t).
tr(sb  , t).
tr(te  , t).
tr(i   , t).
tr(xe  , g).
tr(cs  , t).
tr(ba  , t).
tr(la  , e).
tr(ce  , i).
tr(pr  , i).
tr(nd  , i).
tr(pm  , i).
tr(sm  , i).
tr(eu  , i).
tr(gd  , i).
tr(tb  , i).
tr(dy  , i).
tr(ho  , i).
tr(er  , i).
tr(tm  , i).
tr(yb  , i).
tr(lu  , i).
tr(hf  , e).
tr(ta  , e).
tr(w   , e).
tr(re  , e).
tr(os  , e).
tr(ir  , e).
tr(pt  , e).
tr(au  , e).
tr(hg  , e).
tr(tl  , t).
tr(pb  , t).
tr(bi  , t).
tr(po  , t).
tr(at  , t).
tr(rn  , g).
tr(fr  , t).
tr(ra  , t).
tr(ac  , e).
tr(th  , i).
tr(pa  , i).
tr(u   , i).
tr(np  , i).
tr(pu  , i).
tr(am  , i).
tr(cm  , i).
tr(bk  , i).
tr(cf  , i).
tr(es  , i).
tr(fm  , i).
tr(d   , i).
tr(no  , i).
tr(lr  , i).
tr(rf  , e).
tr(db  , e).
tr(sg  , e).
tr(eh  , e).
tr(hs  , e).
tr(mt  , e).
tr(uun , e).
tr(uuu , e).
tr(uub , e).
tr(uut , e).
tr(uuq , e).
tr(uup , e).
tr(uuh , e).
tr(uus , e).
tr(uuo , g).