202.08/50.70	MAYBE
202.08/50.70	
202.08/50.70	Problem:
202.08/50.70	 a(b(a(b(b(a(b(a(b(x1))))))))) -> a(b(b(a(b(a(b(a(b(a(b(b(a(x1)))))))))))))
202.08/50.70	
202.08/50.70	Proof:
202.08/50.70	 Open
202.08/50.70	EOF