1.40/0.71	YES
1.40/0.71	
1.40/0.71	Problem:
1.40/0.71	 c(a(b(a(b(x1))))) -> a(b(a(b(b(a(b(b(c(a(b(c(a(x1)))))))))))))
1.40/0.71	
1.40/0.71	Proof:
1.40/0.71	 Bounds Processor:
1.40/0.71	  bound: 1
1.40/0.71	  enrichment: match
1.40/0.71	  automaton:
1.40/0.71	   final states: {1}
1.40/0.71	   transitions:
1.40/0.71	    f30() -> 2*
1.40/0.71	    a0(5) -> 6*
1.40/0.71	    a0(12) -> 13*
1.40/0.71	    a0(2) -> 3*
1.40/0.71	    a0(14) -> 1*
1.40/0.71	    a0(9) -> 10*
1.40/0.71	    b0(10) -> 11*
1.40/0.71	    b0(7) -> 8*
1.40/0.71	    b0(4) -> 5*
1.40/0.71	    b0(11) -> 12*
1.40/0.71	    b0(13) -> 14*
1.40/0.71	    b0(8) -> 9*
1.40/0.71	    c0(6) -> 7*
1.40/0.71	    c0(3) -> 4*
1.40/0.71	    a1(25) -> 26*
1.40/0.71	    a1(15) -> 16*
1.40/0.71	    a1(27) -> 28*
1.40/0.71	    a1(22) -> 23*
1.40/0.71	    a1(18) -> 19*
1.40/0.71	    b1(20) -> 21*
1.40/0.71	    b1(17) -> 18*
1.40/0.71	    b1(24) -> 25*
1.40/0.71	    b1(26) -> 27*
1.40/0.71	    b1(21) -> 22*
1.40/0.71	    b1(23) -> 24*
1.40/0.71	    c1(19) -> 20*
1.40/0.71	    c1(16) -> 17*
1.40/0.71	    1 -> 4*
1.40/0.71	    13 -> 15*
1.40/0.71	    28 -> 7*
1.40/0.71	  problem:
1.40/0.71	   
1.40/0.71	  Qed
1.40/0.71	EOF