max: len: contains:
succ n k l s p max path