2359143domain: NAppears in sequencesa(n) = (n+1)*(2^(n+1) - n)/2.at n=17A048470Number of permutations of length n which avoid the patterns 1234, 1432, 2413.at n=13A116801