198.71/50.79	MAYBE
198.71/50.79	
198.71/50.79	Problem:
198.71/50.79	 a(b(a(b(a(a(b(a(b(a(x1)))))))))) -> a(b(a(a(b(a(b(a(b(a(a(b(x1))))))))))))
198.71/50.79	
198.71/50.79	Proof:
198.71/50.79	 Open
198.71/50.80	EOF