197.75/50.58	MAYBE
197.75/50.58	
197.75/50.58	Problem:
197.75/50.58	 b(a(a(b(b(a(a(a(a(b(x1)))))))))) -> a(a(b(b(a(a(a(a(b(b(a(a(b(x1)))))))))))))
197.75/50.58	
197.75/50.58	Proof:
197.75/50.58	 Open
197.75/50.58	EOF