206.10/51.04	MAYBE
206.10/51.04	
206.10/51.04	Problem:
206.10/51.04	 b(a(a(b(b(a(a(a(a(b(b(x1))))))))))) -> a(a(b(b(a(a(a(a(b(b(a(a(b(b(x1))))))))))))))
206.10/51.04	
206.10/51.04	Proof:
206.10/51.04	 Open
206.10/51.05	EOF