2.65/0.99	YES
2.65/1.00	
2.65/1.00	Problem:
2.65/1.00	 b(c(a(x1))) -> a(b(a(b(c(x1)))))
2.65/1.00	 b(x1) -> c(c(x1))
2.65/1.00	 c(d(x1)) -> a(b(c(a(x1))))
2.65/1.00	 a(a(x1)) -> a(c(b(a(x1))))
2.65/1.00	
2.65/1.00	Proof:
2.65/1.00	 String Reversal Processor:
2.65/1.00	  a(c(b(x1))) -> c(b(a(b(a(x1)))))
2.65/1.00	  b(x1) -> c(c(x1))
2.65/1.00	  d(c(x1)) -> a(c(b(a(x1))))
2.65/1.00	  a(a(x1)) -> a(b(c(a(x1))))
2.65/1.00	  Bounds Processor:
2.65/1.00	   bound: 2
2.65/1.00	   enrichment: match
2.65/1.00	   automaton:
2.65/1.00	    final states: {11,9,7,1}
2.65/1.00	    transitions:
2.65/1.00	     f40() -> 2*
2.65/1.00	     c0(2) -> 8*
2.65/1.00	     c0(4) -> 10*
2.65/1.00	     c0(6) -> 1*
2.65/1.00	     c0(8) -> 7*
2.65/1.00	     c0(3) -> 12*
2.65/1.00	     b0(5) -> 6*
2.65/1.00	     b0(12) -> 13*
2.65/1.00	     b0(3) -> 4*
2.65/1.00	     a0(10) -> 9*
2.65/1.00	     a0(2) -> 3*
2.65/1.00	     a0(4) -> 5*
2.65/1.00	     a0(13) -> 11*
2.65/1.00	     c1(35) -> 36*
2.65/1.00	     c1(27) -> 28*
2.65/1.00	     c1(99) -> 100*
2.65/1.00	     c1(39) -> 40*
2.65/1.00	     c1(24) -> 25*
2.65/1.00	     c1(61) -> 62*
2.65/1.00	     c1(36) -> 37*
2.65/1.00	     c1(26) -> 27*
2.65/1.00	     c1(38) -> 39*
2.65/1.00	     c1(80) -> 81*
2.65/1.00	     b1(77) -> 78*
2.65/1.00	     b1(62) -> 63*
2.65/1.00	     b1(79) -> 80*
2.65/1.00	     b1(21) -> 22*
2.65/1.00	     b1(23) -> 24*
2.65/1.00	     b1(100) -> 101*
2.65/1.00	     a1(60) -> 61*
2.65/1.00	     a1(20) -> 21*
2.65/1.00	     a1(22) -> 23*
2.65/1.00	     a1(76) -> 77*
2.65/1.00	     a1(108) -> 109*
2.65/1.00	     a1(98) -> 99*
2.65/1.00	     a1(78) -> 79*
2.65/1.00	     c2(65) -> 66*
2.65/1.00	     c2(50) -> 51*
2.65/1.00	     c2(102) -> 103*
2.65/1.00	     c2(47) -> 48*
2.65/1.00	     c2(89) -> 90*
2.65/1.00	     c2(64) -> 65*
2.65/1.00	     c2(86) -> 87*
2.65/1.00	     c2(51) -> 52*
2.65/1.00	     c2(103) -> 104*
2.65/1.00	     c2(88) -> 89*
2.65/1.00	     c2(48) -> 49*
2.65/1.00	     c2(85) -> 86*
2.65/1.00	     1 -> 61,3
2.65/1.00	     2 -> 60*
2.65/1.00	     3 -> 35,20
2.65/1.00	     4 -> 98*
2.65/1.00	     5 -> 76,38
2.65/1.00	     11 -> 3*
2.65/1.00	     12 -> 26*
2.65/1.00	     13 -> 108*
2.65/1.00	     21 -> 50*
2.65/1.00	     23 -> 47*
2.65/1.00	     25 -> 9*
2.65/1.00	     28 -> 13*
2.65/1.00	     37 -> 4*
2.65/1.00	     40 -> 6*
2.65/1.00	     49 -> 24*
2.65/1.00	     52 -> 22*
2.65/1.00	     62 -> 64*
2.65/1.00	     63 -> 20*
2.65/1.00	     66 -> 63,20
2.65/1.00	     77 -> 88*
2.65/1.00	     79 -> 85*
2.65/1.00	     81 -> 21,50
2.65/1.00	     87 -> 80*
2.65/1.00	     90 -> 78*
2.65/1.00	     100 -> 102*
2.65/1.00	     101 -> 76*
2.65/1.00	     104 -> 101*
2.65/1.00	     109 -> 61*
2.65/1.00	   problem:
2.65/1.00	    
2.65/1.00	   Qed
2.65/1.00	EOF