|= a=(list *) =/ n=@ud 3 |- ?~ a ~ ?: =(1 n) i.a $(n (dec n), a t.a)