%I #22 May 18 2020 07:00:58
%S 1,2,5,15,54,236,1254,7986,59584,509304,4897272,52237448,611460432,
%T 7787383488,107155194928,1583776282704,25019083516416,420609003810944,
%U 7496930998018176,141203784944996736,2802115237399913728,58432523737192745472,1277372108617847278848
%N a(n) is the number of length n decorated permutations avoiding the pattern 012.
%C A decorated permutation of length n is a word w=w_1...w_n on the letters {0,...,n} such that the restriction of w to its nonzero entries is an ordinary permutation in one-line notation. Then w avoids the pattern 012 if there is no subword w_{i_1}w_{i_2}w_{i_3} with i_1 < i_2 < i_3 such that w_{i_1} = 0 and 0 < w_{i_2} < w_{i_3}.
%F a(n) = n! + Sum_{j=1..n} Sum_{l=1..n-j+1} binomial(n-l,j-1)*binomial(n-j,l-1)*(l-1)!.
%e For n=3, there are 16 decorated permutations of length 3 (000, 001, 010, 100, 012, 102, 120, 021, 201, 210, 123, 132, 213, 231, 312, and 321). All of these avoid 012 except 012 itself. Therefore, a(3) = 15.
%e For n=5, 02031 is a decorated permutation that does not avoid 012 because it contains the subword 023.
%o (PARI) a(n) = n! + sum(j=1, n, sum(l=1, n-j+1, binomial(n-l,j-1)*binomial(n-j,l-1)*(l-1)!)); \\ _Michel Marcus_, May 11 2020
%Y Cf. A334155, A334156.
%K nonn
%O 0,2
%A _Jordan Weaver_, Apr 16 2020