Av(12345, 12354, 12453, 13245, 13254, 13452, 14253, 14352, 23451, 24351)
Counting Sequence
1, 1, 2, 6, 24, 110, 540, 2772, 14696, 79776, 440740, 2467872, 13964688, 79687920, 457843036, ...
This specification was found using the strategy pack "Point Placements Tracked Fusion" and has 8 rules.
Finding the specification took 0 seconds.
Copy 8 equations to clipboard:
\(\begin{align*}
F_{0}\! \left(x \right) &= F_{1}\! \left(x \right)+F_{2}\! \left(x \right)\\
F_{1}\! \left(x \right) &= 1\\
F_{2}\! \left(x \right) &= F_{3}\! \left(x \right)\\
F_{3}\! \left(x \right) &= F_{4}\! \left(x \right) F_{7}\! \left(x \right)\\
F_{4}\! \left(x \right) &= F_{5}\! \left(x , 1\right)\\
F_{5}\! \left(x , y\right) &= -\frac{-y F_{6}\! \left(x , y\right)+F_{6}\! \left(x , 1\right)}{-1+y}\\
F_{6}\! \left(x , y\right) &= F_{\text{Av} \left(1234, 1324\right)}\! \left(x , y\right)\\
F_{7}\! \left(x \right) &= x\\
\end{align*}\)