1.65/0.77	YES
1.65/0.77	
1.65/0.77	Problem:
1.65/0.77	 b(a(a(a(b(a(a(x1))))))) -> a(a(a(b(b(a(a(a(b(x1)))))))))
1.65/0.77	
1.65/0.77	Proof:
1.65/0.77	 String Reversal Processor:
1.65/0.77	  a(a(b(a(a(a(b(x1))))))) -> b(a(a(a(b(b(a(a(a(x1)))))))))
1.65/0.77	  Bounds Processor:
1.65/0.77	   bound: 1
1.65/0.77	   enrichment: match
1.65/0.77	   automaton:
1.65/0.77	    final states: {1}
1.65/0.77	    transitions:
1.65/0.77	     f20() -> 2*
1.65/0.77	     b0(10) -> 1*
1.65/0.77	     b0(5) -> 6*
1.65/0.77	     b0(6) -> 7*
1.65/0.77	     a0(7) -> 8*
1.65/0.77	     a0(2) -> 3*
1.65/0.77	     a0(9) -> 10*
1.65/0.77	     a0(4) -> 5*
1.65/0.77	     a0(8) -> 9*
1.65/0.77	     a0(3) -> 4*
1.65/0.77	     b1(25) -> 26*
1.65/0.77	     b1(29) -> 30*
1.65/0.77	     b1(24) -> 25*
1.65/0.77	     a1(27) -> 28*
1.65/0.77	     a1(22) -> 23*
1.65/0.77	     a1(26) -> 27*
1.65/0.77	     a1(21) -> 22*
1.65/0.77	     a1(28) -> 29*
1.65/0.77	     a1(23) -> 24*
1.65/0.77	     1 -> 23,3,4
1.65/0.77	     6 -> 21*
1.65/0.77	     30 -> 5*
1.65/0.77	   problem:
1.65/0.77	    
1.65/0.77	   Qed
1.65/0.77	EOF