0.34/0.54	YES
0.34/0.54	
0.34/0.54	Problem:
0.34/0.54	 a(b(b(a(a(b(x1)))))) -> a(a(b(b(a(b(a(x1)))))))
0.34/0.54	
0.34/0.54	Proof:
0.34/0.54	 String Reversal Processor:
0.34/0.54	  b(a(a(b(b(a(x1)))))) -> a(b(a(b(b(a(a(x1)))))))
0.34/0.54	  Bounds Processor:
0.34/0.54	   bound: 1
0.34/0.54	   enrichment: match
0.34/0.54	   automaton:
0.34/0.54	    final states: {3}
0.34/0.54	    transitions:
0.34/0.54	     a1(12) -> 13*
0.34/0.54	     a1(16) -> 17*
0.34/0.54	     a1(18) -> 19*
0.34/0.54	     a1(13) -> 14*
0.34/0.54	     b1(20) -> 21*
0.34/0.54	     b1(15) -> 16*
0.34/0.54	     b1(17) -> 18*
0.34/0.54	     b1(14) -> 15*
0.34/0.54	     b0(3) -> 3*
0.34/0.54	     a0(3) -> 3*
0.34/0.54	     3 -> 12*
0.34/0.54	     13 -> 20*
0.34/0.54	     19 -> 21,15,3
0.34/0.54	     21 -> 15*
0.34/0.54	   problem:
0.34/0.54	    
0.34/0.54	   Qed
0.34/0.54	EOF