202.09/50.53	MAYBE
202.09/50.53	
202.09/50.53	Problem:
202.09/50.53	 b(a(b(b(a(b(b(a(b(a(x1)))))))))) -> a(b(a(b(b(a(b(b(a(b(b(a(x1))))))))))))
202.09/50.53	
202.09/50.53	Proof:
202.09/50.53	 Open
202.09/50.53	EOF