YES Consider the TRS R consisting of the following rewrite rules: f(x,y,w,w,a) -> g1(x,x,y,w) f(x,y,w,a,a) -> g1(y,x,x,w) f(x,y,a,a,w) -> g2(x,y,y,w) f(x,y,a,w,w) -> g2(y,y,x,w) g1(x,x,y,a) -> h(x,y) g1(y,x,x,a) -> h(x,y) g2(x,y,y,a) -> h(x,y) g2(y,y,x,a) -> h(x,y) h(x,x) -> x The TRS R is terminating because R is roof-raise-bounded for the set of all ground terms by 2. A raise-consistent and quasi-deterministic tree automaton compatible with roof(R) and the set of all ground terms has - 3 states (1,...,3) - 3 final states (1,2,3) - 584 transitions: 2 -> 1 3 -> 1 a_0 -> 2 a_0 -> 1 a_0 -> 3 f_0(2,1,2,1,3) -> 1 f_0(2,1,3,1,3) -> 1 f_0(2,1,1,1,3) -> 1 f_0(2,3,2,1,3) -> 1 f_0(2,2,2,1,3) -> 1 f_0(2,3,3,1,3) -> 1 f_0(2,3,1,1,3) -> 1 f_0(2,2,3,1,3) -> 1 f_0(2,2,1,1,3) -> 1 f_0(3,1,2,1,3) -> 1 f_0(1,1,2,1,3) -> 1 f_0(3,1,3,1,3) -> 1 f_0(3,1,1,1,3) -> 1 f_0(1,1,3,1,3) -> 1 f_0(1,1,1,1,3) -> 1 f_0(3,3,2,1,3) -> 1 f_0(3,2,2,1,3) -> 1 f_0(1,3,2,1,3) -> 1 f_0(1,2,2,1,3) -> 1 f_0(3,3,3,1,3) -> 1 f_0(3,3,1,1,3) -> 1 f_0(3,2,3,1,3) -> 1 f_0(3,2,1,1,3) -> 1 f_0(1,3,3,1,3) -> 1 f_0(1,3,1,1,3) -> 1 f_0(1,2,3,1,3) -> 1 f_0(1,2,1,1,3) -> 1 f_0(2,1,2,2,3) -> 1 f_0(2,1,3,2,3) -> 1 f_0(2,1,1,2,3) -> 1 f_0(2,3,2,2,3) -> 1 f_0(2,2,2,2,3) -> 1 f_0(2,3,3,2,3) -> 1 f_0(2,3,1,2,3) -> 1 f_0(2,2,3,2,3) -> 1 f_0(2,2,1,2,3) -> 1 f_0(3,1,2,2,3) -> 1 f_0(1,1,2,2,3) -> 1 f_0(3,1,3,2,3) -> 1 f_0(3,1,1,2,3) -> 1 f_0(1,1,3,2,3) -> 1 f_0(1,1,1,2,3) -> 1 f_0(3,3,2,2,3) -> 1 f_0(3,2,2,2,3) -> 1 f_0(1,3,2,2,3) -> 1 f_0(1,2,2,2,3) -> 1 f_0(3,3,3,2,3) -> 1 f_0(3,3,1,2,3) -> 1 f_0(3,2,3,2,3) -> 1 f_0(3,2,1,2,3) -> 1 f_0(1,3,3,2,3) -> 1 f_0(1,3,1,2,3) -> 1 f_0(1,2,3,2,3) -> 1 f_0(1,2,1,2,3) -> 1 f_0(2,1,2,3,3) -> 1 f_0(2,1,3,3,3) -> 1 f_0(2,1,1,3,3) -> 1 f_0(2,3,2,3,3) -> 1 f_0(2,2,2,3,3) -> 1 f_0(2,3,3,3,3) -> 1 f_0(2,3,1,3,3) -> 1 f_0(2,2,3,3,3) -> 1 f_0(2,2,1,3,3) -> 1 f_0(3,1,2,3,3) -> 1 f_0(1,1,2,3,3) -> 1 f_0(3,1,3,3,3) -> 1 f_0(3,1,1,3,3) -> 1 f_0(1,1,3,3,3) -> 1 f_0(1,1,1,3,3) -> 1 f_0(3,3,2,3,3) -> 1 f_0(3,2,2,3,3) -> 1 f_0(1,3,2,3,3) -> 1 f_0(1,2,2,3,3) -> 1 f_0(3,3,3,3,3) -> 1 f_0(3,3,1,3,3) -> 1 f_0(3,2,3,3,3) -> 1 f_0(3,2,1,3,3) -> 1 f_0(1,3,3,3,3) -> 1 f_0(1,3,1,3,3) -> 1 f_0(1,2,3,3,3) -> 1 f_0(1,2,1,3,3) -> 1 f_0(2,1,3,1,2) -> 1 f_0(2,3,2,1,2) -> 1 f_0(2,3,3,1,2) -> 1 f_0(2,3,1,1,2) -> 1 f_0(2,2,3,1,2) -> 1 f_0(3,1,2,1,2) -> 1 f_0(3,1,3,1,2) -> 1 f_0(3,1,1,1,2) -> 1 f_0(1,1,3,1,2) -> 1 f_0(3,3,2,1,2) -> 1 f_0(3,2,2,1,2) -> 1 f_0(1,3,2,1,2) -> 1 f_0(3,3,3,1,2) -> 1 f_0(3,3,1,1,2) -> 1 f_0(3,2,3,1,2) -> 1 f_0(3,2,1,1,2) -> 1 f_0(1,3,3,1,2) -> 1 f_0(1,3,1,1,2) -> 1 f_0(1,2,3,1,2) -> 1 f_0(2,1,2,1,2) -> 1 f_0(2,1,1,1,2) -> 1 f_0(2,2,2,1,2) -> 1 f_0(2,2,1,1,2) -> 1 f_0(1,1,2,1,2) -> 1 f_0(1,1,1,1,2) -> 1 f_0(1,2,2,1,2) -> 1 f_0(1,2,1,1,2) -> 1 f_0(2,1,3,2,2) -> 1 f_0(2,3,2,2,2) -> 1 f_0(2,3,3,2,2) -> 1 f_0(2,3,1,2,2) -> 1 f_0(2,2,3,2,2) -> 1 f_0(3,1,2,2,2) -> 1 f_0(3,1,3,2,2) -> 1 f_0(3,1,1,2,2) -> 1 f_0(1,1,3,2,2) -> 1 f_0(3,3,2,2,2) -> 1 f_0(3,2,2,2,2) -> 1 f_0(1,3,2,2,2) -> 1 f_0(3,3,3,2,2) -> 1 f_0(3,3,1,2,2) -> 1 f_0(3,2,3,2,2) -> 1 f_0(3,2,1,2,2) -> 1 f_0(1,3,3,2,2) -> 1 f_0(1,3,1,2,2) -> 1 f_0(1,2,3,2,2) -> 1 f_0(2,1,2,2,2) -> 1 f_0(2,1,1,2,2) -> 1 f_0(2,2,2,2,2) -> 1 f_0(2,2,1,2,2) -> 1 f_0(1,1,2,2,2) -> 1 f_0(1,1,1,2,2) -> 1 f_0(1,2,2,2,2) -> 1 f_0(1,2,1,2,2) -> 1 f_0(2,1,2,3,2) -> 1 f_0(2,1,3,3,2) -> 1 f_0(2,1,1,3,2) -> 1 f_0(2,3,2,3,2) -> 1 f_0(2,2,2,3,2) -> 1 f_0(2,3,3,3,2) -> 1 f_0(2,3,1,3,2) -> 1 f_0(2,2,3,3,2) -> 1 f_0(2,2,1,3,2) -> 1 f_0(3,1,2,3,2) -> 1 f_0(1,1,2,3,2) -> 1 f_0(3,1,3,3,2) -> 1 f_0(3,1,1,3,2) -> 1 f_0(1,1,3,3,2) -> 1 f_0(1,1,1,3,2) -> 1 f_0(3,3,2,3,2) -> 1 f_0(3,2,2,3,2) -> 1 f_0(1,3,2,3,2) -> 1 f_0(1,2,2,3,2) -> 1 f_0(3,3,3,3,2) -> 1 f_0(3,3,1,3,2) -> 1 f_0(3,2,3,3,2) -> 1 f_0(3,2,1,3,2) -> 1 f_0(1,3,3,3,2) -> 1 f_0(1,3,1,3,2) -> 1 f_0(1,2,3,3,2) -> 1 f_0(1,2,1,3,2) -> 1 f_0(2,1,3,1,1) -> 1 f_0(2,3,2,1,1) -> 1 f_0(2,3,3,1,1) -> 1 f_0(2,3,1,1,1) -> 1 f_0(2,2,3,1,1) -> 1 f_0(3,1,2,1,1) -> 1 f_0(3,1,3,1,1) -> 1 f_0(3,1,1,1,1) -> 1 f_0(1,1,3,1,1) -> 1 f_0(3,3,2,1,1) -> 1 f_0(3,2,2,1,1) -> 1 f_0(1,3,2,1,1) -> 1 f_0(3,3,3,1,1) -> 1 f_0(3,3,1,1,1) -> 1 f_0(3,2,3,1,1) -> 1 f_0(3,2,1,1,1) -> 1 f_0(1,3,3,1,1) -> 1 f_0(1,3,1,1,1) -> 1 f_0(1,2,3,1,1) -> 1 f_0(2,1,2,1,1) -> 1 f_0(2,1,1,1,1) -> 1 f_0(2,2,2,1,1) -> 1 f_0(2,2,1,1,1) -> 1 f_0(1,1,2,1,1) -> 1 f_0(1,1,1,1,1) -> 1 f_0(1,2,2,1,1) -> 1 f_0(1,2,1,1,1) -> 1 f_0(2,1,3,2,1) -> 1 f_0(2,3,2,2,1) -> 1 f_0(2,3,3,2,1) -> 1 f_0(2,3,1,2,1) -> 1 f_0(2,2,3,2,1) -> 1 f_0(3,1,2,2,1) -> 1 f_0(3,1,3,2,1) -> 1 f_0(3,1,1,2,1) -> 1 f_0(1,1,3,2,1) -> 1 f_0(3,3,2,2,1) -> 1 f_0(3,2,2,2,1) -> 1 f_0(1,3,2,2,1) -> 1 f_0(3,3,3,2,1) -> 1 f_0(3,3,1,2,1) -> 1 f_0(3,2,3,2,1) -> 1 f_0(3,2,1,2,1) -> 1 f_0(1,3,3,2,1) -> 1 f_0(1,3,1,2,1) -> 1 f_0(1,2,3,2,1) -> 1 f_0(2,1,2,2,1) -> 1 f_0(2,1,1,2,1) -> 1 f_0(2,2,2,2,1) -> 1 f_0(2,2,1,2,1) -> 1 f_0(1,1,2,2,1) -> 1 f_0(1,1,1,2,1) -> 1 f_0(1,2,2,2,1) -> 1 f_0(1,2,1,2,1) -> 1 f_0(2,1,2,3,1) -> 1 f_0(2,1,3,3,1) -> 1 f_0(2,1,1,3,1) -> 1 f_0(2,3,2,3,1) -> 1 f_0(2,2,2,3,1) -> 1 f_0(2,3,3,3,1) -> 1 f_0(2,3,1,3,1) -> 1 f_0(2,2,3,3,1) -> 1 f_0(2,2,1,3,1) -> 1 f_0(3,1,2,3,1) -> 1 f_0(1,1,2,3,1) -> 1 f_0(3,1,3,3,1) -> 1 f_0(3,1,1,3,1) -> 1 f_0(1,1,3,3,1) -> 1 f_0(1,1,1,3,1) -> 1 f_0(3,3,2,3,1) -> 1 f_0(3,2,2,3,1) -> 1 f_0(1,3,2,3,1) -> 1 f_0(1,2,2,3,1) -> 1 f_0(3,3,3,3,1) -> 1 f_0(3,3,1,3,1) -> 1 f_0(3,2,3,3,1) -> 1 f_0(3,2,1,3,1) -> 1 f_0(1,3,3,3,1) -> 1 f_0(1,3,1,3,1) -> 1 f_0(1,2,3,3,1) -> 1 f_0(1,2,1,3,1) -> 1 h_2(1,2) -> 1 h_2(3,3) -> 1 h_2(1,3) -> 1 h_2(3,1) -> 1 h_2(1,1) -> 1 h_2(3,2) -> 1 h_1(2,1) -> 1 h_1(1,3) -> 1 h_1(2,2) -> 1 h_1(3,1) -> 1 h_1(2,3) -> 1 h_1(1,1) -> 1 h_1(3,2) -> 1 h_1(1,2) -> 1 h_1(3,3) -> 1 h_0(1,3) -> 1 h_0(2,2) -> 1 h_0(3,1) -> 1 h_0(2,3) -> 1 h_0(1,1) -> 1 h_0(3,2) -> 1 h_0(1,2) -> 1 h_0(3,3) -> 1 h_0(2,1) -> 1 g1_1(2,1,3,3) -> 1 g1_1(1,2,3,3) -> 1 g1_1(3,2,3,3) -> 1 g1_1(2,3,3,3) -> 1 g1_1(2,2,3,3) -> 1 g1_1(3,3,3,3) -> 1 g1_1(3,1,3,3) -> 1 g1_1(1,3,3,3) -> 1 g1_1(1,1,3,3) -> 1 g1_1(3,2,2,1) -> 1 g1_1(2,3,2,1) -> 1 g1_1(3,3,2,1) -> 1 g1_1(3,1,2,1) -> 1 g1_1(1,3,2,1) -> 1 g1_1(1,2,2,1) -> 1 g1_1(2,2,2,1) -> 1 g1_1(1,1,2,1) -> 1 g1_1(2,1,3,1) -> 1 g1_1(1,2,3,1) -> 1 g1_1(3,2,3,1) -> 1 g1_1(2,3,3,1) -> 1 g1_1(2,2,3,1) -> 1 g1_1(3,3,3,1) -> 1 g1_1(3,1,3,1) -> 1 g1_1(1,3,3,1) -> 1 g1_1(1,1,3,1) -> 1 g1_1(3,2,1,2) -> 1 g1_1(2,3,1,2) -> 1 g1_1(3,3,1,2) -> 1 g1_1(3,1,1,2) -> 1 g1_1(1,3,1,2) -> 1 g1_1(2,1,1,2) -> 1 g1_1(2,2,1,2) -> 1 g1_1(1,1,1,2) -> 1 g1_1(3,2,2,2) -> 1 g1_1(2,3,2,2) -> 1 g1_1(3,3,2,2) -> 1 g1_1(3,1,2,2) -> 1 g1_1(1,3,2,2) -> 1 g1_1(1,2,2,2) -> 1 g1_1(2,2,2,2) -> 1 g1_1(1,1,2,2) -> 1 g1_1(1,2,3,2) -> 1 g1_1(2,1,3,2) -> 1 g1_1(3,2,3,2) -> 1 g1_1(2,3,3,2) -> 1 g1_1(2,2,3,2) -> 1 g1_1(3,3,3,2) -> 1 g1_1(3,1,3,2) -> 1 g1_1(1,3,3,2) -> 1 g1_1(1,1,3,2) -> 1 g1_1(2,1,1,3) -> 1 g1_1(3,2,1,3) -> 1 g1_1(2,3,1,3) -> 1 g1_1(2,2,1,3) -> 1 g1_1(3,3,1,3) -> 1 g1_1(3,1,1,3) -> 1 g1_1(1,3,1,3) -> 1 g1_1(1,1,1,3) -> 1 g1_1(1,2,2,3) -> 1 g1_1(3,2,2,3) -> 1 g1_1(2,3,2,3) -> 1 g1_1(2,2,2,3) -> 1 g1_1(3,3,2,3) -> 1 g1_1(3,1,2,3) -> 1 g1_1(1,3,2,3) -> 1 g1_1(1,1,2,3) -> 1 g1_1(3,2,1,1) -> 1 g1_1(2,3,1,1) -> 1 g1_1(3,3,1,1) -> 1 g1_1(3,1,1,1) -> 1 g1_1(1,3,1,1) -> 1 g1_1(2,1,1,1) -> 1 g1_1(2,2,1,1) -> 1 g1_1(1,1,1,1) -> 1 g1_0(2,1,3,3) -> 1 g1_0(2,3,3,3) -> 1 g1_0(2,2,3,3) -> 1 g1_0(3,1,3,3) -> 1 g1_0(1,1,3,3) -> 1 g1_0(3,3,3,3) -> 1 g1_0(3,2,3,3) -> 1 g1_0(1,3,3,3) -> 1 g1_0(1,2,3,3) -> 1 g1_0(2,3,2,1) -> 1 g1_0(3,1,2,1) -> 1 g1_0(3,3,2,1) -> 1 g1_0(3,2,2,1) -> 1 g1_0(1,3,2,1) -> 1 g1_0(2,1,2,1) -> 1 g1_0(2,2,2,1) -> 1 g1_0(1,1,2,1) -> 1 g1_0(1,2,2,1) -> 1 g1_0(2,1,3,1) -> 1 g1_0(2,3,3,1) -> 1 g1_0(2,2,3,1) -> 1 g1_0(3,1,3,1) -> 1 g1_0(1,1,3,1) -> 1 g1_0(3,3,3,1) -> 1 g1_0(3,2,3,1) -> 1 g1_0(1,3,3,1) -> 1 g1_0(1,2,3,1) -> 1 g1_0(2,3,1,2) -> 1 g1_0(3,1,1,2) -> 1 g1_0(3,3,1,2) -> 1 g1_0(3,2,1,2) -> 1 g1_0(1,3,1,2) -> 1 g1_0(2,1,1,2) -> 1 g1_0(2,2,1,2) -> 1 g1_0(1,1,1,2) -> 1 g1_0(1,2,1,2) -> 1 g1_0(2,3,2,2) -> 1 g1_0(3,1,2,2) -> 1 g1_0(3,3,2,2) -> 1 g1_0(3,2,2,2) -> 1 g1_0(1,3,2,2) -> 1 g1_0(2,1,2,2) -> 1 g1_0(2,2,2,2) -> 1 g1_0(1,1,2,2) -> 1 g1_0(1,2,2,2) -> 1 g1_0(2,1,3,2) -> 1 g1_0(2,3,3,2) -> 1 g1_0(2,2,3,2) -> 1 g1_0(3,1,3,2) -> 1 g1_0(1,1,3,2) -> 1 g1_0(3,3,3,2) -> 1 g1_0(3,2,3,2) -> 1 g1_0(1,3,3,2) -> 1 g1_0(1,2,3,2) -> 1 g1_0(2,1,1,3) -> 1 g1_0(2,3,1,3) -> 1 g1_0(2,2,1,3) -> 1 g1_0(3,1,1,3) -> 1 g1_0(1,1,1,3) -> 1 g1_0(3,3,1,3) -> 1 g1_0(3,2,1,3) -> 1 g1_0(1,3,1,3) -> 1 g1_0(1,2,1,3) -> 1 g1_0(2,1,2,3) -> 1 g1_0(2,3,2,3) -> 1 g1_0(2,2,2,3) -> 1 g1_0(3,1,2,3) -> 1 g1_0(1,1,2,3) -> 1 g1_0(3,3,2,3) -> 1 g1_0(3,2,2,3) -> 1 g1_0(1,3,2,3) -> 1 g1_0(1,2,2,3) -> 1 g1_0(2,3,1,1) -> 1 g1_0(3,1,1,1) -> 1 g1_0(3,3,1,1) -> 1 g1_0(3,2,1,1) -> 1 g1_0(1,3,1,1) -> 1 g1_0(2,1,1,1) -> 1 g1_0(2,2,1,1) -> 1 g1_0(1,1,1,1) -> 1 g1_0(1,2,1,1) -> 1 g2_1(2,1,3,3) -> 1 g2_1(3,1,3,3) -> 1 g2_1(1,1,3,3) -> 1 g2_1(2,3,3,3) -> 1 g2_1(2,2,3,3) -> 1 g2_1(3,3,3,3) -> 1 g2_1(3,2,3,3) -> 1 g2_1(1,3,3,3) -> 1 g2_1(1,2,3,3) -> 1 g2_1(3,1,2,1) -> 1 g2_1(2,3,2,1) -> 1 g2_1(3,3,2,1) -> 1 g2_1(3,2,2,1) -> 1 g2_1(1,3,2,1) -> 1 g2_1(1,1,2,1) -> 1 g2_1(2,2,2,1) -> 1 g2_1(1,2,2,1) -> 1 g2_1(2,1,3,1) -> 1 g2_1(3,1,3,1) -> 1 g2_1(1,1,3,1) -> 1 g2_1(2,3,3,1) -> 1 g2_1(2,2,3,1) -> 1 g2_1(3,3,3,1) -> 1 g2_1(3,2,3,1) -> 1 g2_1(1,3,3,1) -> 1 g2_1(1,2,3,1) -> 1 g2_1(3,2,1,2) -> 1 g2_1(2,3,1,2) -> 1 g2_1(3,3,1,2) -> 1 g2_1(3,1,1,2) -> 1 g2_1(1,3,1,2) -> 1 g2_1(2,2,1,2) -> 1 g2_1(2,1,1,2) -> 1 g2_1(1,1,1,2) -> 1 g2_1(3,1,2,2) -> 1 g2_1(2,3,2,2) -> 1 g2_1(3,3,2,2) -> 1 g2_1(3,2,2,2) -> 1 g2_1(1,3,2,2) -> 1 g2_1(1,1,2,2) -> 1 g2_1(2,2,2,2) -> 1 g2_1(1,2,2,2) -> 1 g2_1(1,2,3,2) -> 1 g2_1(3,2,3,2) -> 1 g2_1(2,2,3,2) -> 1 g2_1(2,3,3,2) -> 1 g2_1(2,1,3,2) -> 1 g2_1(3,3,3,2) -> 1 g2_1(3,1,3,2) -> 1 g2_1(1,3,3,2) -> 1 g2_1(1,1,3,2) -> 1 g2_1(3,2,1,3) -> 1 g2_1(2,2,1,3) -> 1 g2_1(2,3,1,3) -> 1 g2_1(2,1,1,3) -> 1 g2_1(3,3,1,3) -> 1 g2_1(3,1,1,3) -> 1 g2_1(1,3,1,3) -> 1 g2_1(1,1,1,3) -> 1 g2_1(3,1,2,3) -> 1 g2_1(1,1,2,3) -> 1 g2_1(2,3,2,3) -> 1 g2_1(2,2,2,3) -> 1 g2_1(3,3,2,3) -> 1 g2_1(3,2,2,3) -> 1 g2_1(1,3,2,3) -> 1 g2_1(1,2,2,3) -> 1 g2_1(3,2,1,1) -> 1 g2_1(2,3,1,1) -> 1 g2_1(3,3,1,1) -> 1 g2_1(3,1,1,1) -> 1 g2_1(1,3,1,1) -> 1 g2_1(2,2,1,1) -> 1 g2_1(2,1,1,1) -> 1 g2_1(1,1,1,1) -> 1 g2_0(2,1,3,3) -> 1 g2_0(2,3,3,3) -> 1 g2_0(2,2,3,3) -> 1 g2_0(3,1,3,3) -> 1 g2_0(1,1,3,3) -> 1 g2_0(3,3,3,3) -> 1 g2_0(3,2,3,3) -> 1 g2_0(1,3,3,3) -> 1 g2_0(1,2,3,3) -> 1 g2_0(2,3,2,1) -> 1 g2_0(3,1,2,1) -> 1 g2_0(3,3,2,1) -> 1 g2_0(3,2,2,1) -> 1 g2_0(1,3,2,1) -> 1 g2_0(2,1,2,1) -> 1 g2_0(2,2,2,1) -> 1 g2_0(1,1,2,1) -> 1 g2_0(1,2,2,1) -> 1 g2_0(2,1,3,1) -> 1 g2_0(2,3,3,1) -> 1 g2_0(2,2,3,1) -> 1 g2_0(3,1,3,1) -> 1 g2_0(1,1,3,1) -> 1 g2_0(3,3,3,1) -> 1 g2_0(3,2,3,1) -> 1 g2_0(1,3,3,1) -> 1 g2_0(1,2,3,1) -> 1 g2_0(2,3,1,2) -> 1 g2_0(3,1,1,2) -> 1 g2_0(3,3,1,2) -> 1 g2_0(3,2,1,2) -> 1 g2_0(1,3,1,2) -> 1 g2_0(2,1,1,2) -> 1 g2_0(2,2,1,2) -> 1 g2_0(1,1,1,2) -> 1 g2_0(1,2,1,2) -> 1 g2_0(2,3,2,2) -> 1 g2_0(3,1,2,2) -> 1 g2_0(3,3,2,2) -> 1 g2_0(3,2,2,2) -> 1 g2_0(1,3,2,2) -> 1 g2_0(2,1,2,2) -> 1 g2_0(2,2,2,2) -> 1 g2_0(1,1,2,2) -> 1 g2_0(1,2,2,2) -> 1 g2_0(2,1,3,2) -> 1 g2_0(2,3,3,2) -> 1 g2_0(2,2,3,2) -> 1 g2_0(3,1,3,2) -> 1 g2_0(1,1,3,2) -> 1 g2_0(3,3,3,2) -> 1 g2_0(3,2,3,2) -> 1 g2_0(1,3,3,2) -> 1 g2_0(1,2,3,2) -> 1 g2_0(2,1,1,3) -> 1 g2_0(2,3,1,3) -> 1 g2_0(2,2,1,3) -> 1 g2_0(3,1,1,3) -> 1 g2_0(1,1,1,3) -> 1 g2_0(3,3,1,3) -> 1 g2_0(3,2,1,3) -> 1 g2_0(1,3,1,3) -> 1 g2_0(1,2,1,3) -> 1 g2_0(2,1,2,3) -> 1 g2_0(2,3,2,3) -> 1 g2_0(2,2,2,3) -> 1 g2_0(3,1,2,3) -> 1 g2_0(1,1,2,3) -> 1 g2_0(3,3,2,3) -> 1 g2_0(3,2,2,3) -> 1 g2_0(1,3,2,3) -> 1 g2_0(1,2,2,3) -> 1 g2_0(2,3,1,1) -> 1 g2_0(3,1,1,1) -> 1 g2_0(3,3,1,1) -> 1 g2_0(3,2,1,1) -> 1 g2_0(1,3,1,1) -> 1 g2_0(2,1,1,1) -> 1 g2_0(2,2,1,1) -> 1 g2_0(1,1,1,1) -> 1 g2_0(1,2,1,1) -> 1 ___________________________________________________________________ TTTbox (0.300 seconds) - April 13, 2007 Source file - /home/ami/mkorp/Testbench/tpdb-3.2/TRS/various/09.trs