1.71/0.75	YES
1.71/0.76	
1.71/0.76	Problem:
1.71/0.76	 b(c(a(x1))) -> a(b(a(b(x1))))
1.71/0.76	 b(x1) -> c(c(x1))
1.71/0.76	 a(a(x1)) -> a(c(b(a(x1))))
1.71/0.76	
1.71/0.76	Proof:
1.71/0.76	 String Reversal Processor:
1.71/0.76	  a(c(b(x1))) -> b(a(b(a(x1))))
1.71/0.76	  b(x1) -> c(c(x1))
1.71/0.76	  a(a(x1)) -> a(b(c(a(x1))))
1.71/0.76	  Bounds Processor:
1.71/0.76	   bound: 3
1.71/0.76	   enrichment: match
1.71/0.76	   automaton:
1.71/0.76	    final states: {4}
1.71/0.76	    transitions:
1.71/0.76	     c3(82) -> 83*
1.71/0.76	     c3(91) -> 92*
1.71/0.76	     c3(83) -> 84*
1.71/0.76	     c3(90) -> 91*
1.71/0.76	     a1(70) -> 71*
1.71/0.76	     a1(10) -> 11*
1.71/0.76	     a1(12) -> 13*
1.71/0.76	     a1(24) -> 25*
1.71/0.76	     a1(26) -> 27*
1.71/0.76	     a1(28) -> 29*
1.71/0.76	     b1(27) -> 28*
1.71/0.76	     b1(29) -> 30*
1.71/0.76	     b1(11) -> 12*
1.71/0.76	     b1(23) -> 24*
1.71/0.76	     b1(13) -> 14*
1.71/0.76	     c1(15) -> 16*
1.71/0.76	     c1(22) -> 23*
1.71/0.76	     c1(16) -> 17*
1.71/0.76	     a2(62) -> 63*
1.71/0.76	     a2(59) -> 60*
1.71/0.76	     a2(93) -> 94*
1.71/0.76	     a2(88) -> 89*
1.71/0.76	     a2(85) -> 86*
1.71/0.76	     a0(4) -> 4*
1.71/0.76	     b2(87) -> 88*
1.71/0.76	     b2(61) -> 62*
1.71/0.76	     c0(4) -> 4*
1.71/0.76	     c2(80) -> 81*
1.71/0.76	     c2(60) -> 61*
1.71/0.76	     c2(50) -> 51*
1.71/0.76	     c2(72) -> 73*
1.71/0.76	     c2(47) -> 48*
1.71/0.76	     c2(54) -> 55*
1.71/0.76	     c2(86) -> 87*
1.71/0.76	     c2(51) -> 52*
1.71/0.76	     c2(73) -> 74*
1.71/0.76	     c2(53) -> 54*
1.71/0.76	     c2(48) -> 49*
1.71/0.76	     b0(4) -> 4*
1.71/0.76	     4 -> 15,10
1.71/0.76	     11 -> 53,22
1.71/0.76	     12 -> 85*
1.71/0.76	     13 -> 50,26
1.71/0.76	     14 -> 11,22,4
1.71/0.76	     17 -> 4*
1.71/0.76	     23 -> 47*
1.71/0.76	     24 -> 59*
1.71/0.76	     25 -> 11,22,4
1.71/0.76	     27 -> 72*
1.71/0.76	     28 -> 93*
1.71/0.76	     29 -> 80,70
1.71/0.76	     30 -> 11,4,10,15,22
1.71/0.76	     49 -> 24*
1.71/0.76	     52 -> 30,14,4
1.71/0.76	     55 -> 12*
1.71/0.76	     61 -> 82*
1.71/0.76	     63 -> 71,11,22
1.71/0.76	     71 -> 11*
1.71/0.76	     74 -> 28*
1.71/0.76	     81 -> 51*
1.71/0.76	     84 -> 62*
1.71/0.76	     87 -> 90*
1.71/0.76	     89 -> 27*
1.71/0.76	     92 -> 88*
1.71/0.76	     94 -> 60*
1.71/0.76	   problem:
1.71/0.76	    
1.71/0.76	   Qed
1.71/0.76	EOF