Av(2413, 3142)

Permutation examples

length 2: 12, 21

length 3: 123, 132, 213, 231, 312, 321

length 4: 1234, 1243, 1324, 1342, 1423, 1432, 2134, 2143, 2314, 2341, 2431, 3124, 3214, 3241, 3412, 3421, 4123, 4132, 4213, 4231, 4312, 4321

length 5: 12345, 12354, 12435, 12453, 12534, 12543, 13245, 13254, 13425, 13452, 13542, 14235, 14325, 14352, 14523, 14532, 15234, 15243, 15324, 15342, 15423, 15432, 21345, 21354, 21435, 21453, 21534, 21543, 23145, 23154, 23415, 23451, 23541, 24315, 24351, 24531, 25341, 25431, 31245, 31254, 32145, 32154, 32415, 32451, 32541, 34125, 34215, 34251, 34512, 34521, 35412, 35421, 41235, 41325, 42135, 42315, 42351, 43125, 43215, 43251, 43512, 43521, 45123, 45132, 45213, 45231, 45312, 45321, 51234, 51243, 51324, 51342, 51423, 51432, 52134, 52143, 52314, 52341, 52431, 53124, 53214, 53241, 53412, 53421, 54123, 54132, 54213, 54231, 54312, 54321

ATRAP tree (size 15, depth 8)

Legend

$\mathcal{A}$ = Av(2413, 3142)

Generating function

$A(x) = - \frac{x}{2} - \frac{1}{2} \sqrt{x^{2} - 6 x + 1} + \frac{3}{2}$

Coefficients

1, 1, 2, 6, 22, 90, 394, 1806, 8558, 41586, 206098, ...

System of equations

$\operatorname{F_{1}}{\left (x \right )} = \operatorname{F_{13}}{\left (x \right )} + \operatorname{F_{165}}{\left (x \right )}$

$\operatorname{F_{165}}{\left (x \right )} = 1$

$\operatorname{F_{13}}{\left (x \right )} = \operatorname{F_{166}}{\left (x \right )} + \operatorname{F_{169}}{\left (x \right )}$

$\operatorname{F_{166}}{\left (x \right )} = x \operatorname{F_{1}}{\left (x \right )}$

$\operatorname{F_{169}}{\left (x \right )} = \operatorname{F_{1}}{\left (x \right )} \operatorname{F_{7}}{\left (x \right )}$

$\operatorname{F_{7}}{\left (x \right )} = \operatorname{F_{109}}{\left (x \right )} + \operatorname{F_{167}}{\left (x \right )}$

$\operatorname{F_{167}}{\left (x \right )} = x \left(\operatorname{F_{1}}{\left (x \right )} - 1\right)$

$\operatorname{F_{109}}{\left (x \right )} = \operatorname{F_{13}}{\left (x \right )} \operatorname{F_{4}}{\left (x \right )}$

$\operatorname{F_{4}}{\left (x \right )} = \operatorname{F_{168}}{\left (x \right )} + \operatorname{F_{71}}{\left (x \right )}$

$\operatorname{F_{168}}{\left (x \right )} = x \left(\operatorname{F_{1}}{\left (x \right )} - 1\right)$

$\operatorname{F_{71}}{\left (x \right )} = \operatorname{F_{13}}{\left (x \right )} \operatorname{F_{7}}{\left (x \right )}$