216.91/50.63	MAYBE
216.91/50.63	
216.91/50.63	Problem:
216.91/50.63	 a(b(a(b(b(a(b(a(b(a(b(x1))))))))))) -> a(b(b(a(b(a(b(a(b(a(b(b(a(x1)))))))))))))
216.91/50.63	
216.91/50.63	Proof:
216.91/50.63	 Open
216.91/50.63	EOF