Av(1342, 3412)
Generating Function
Counting Sequence
1, 1, 2, 6, 22, 88, 366, 1556, 6720, 29396, 129996, 580276, 2611290, 11834116, 53963190, ...
Implicit Equation for the Generating Function
Recurrence
Heatmap
To create this heatmap, we sampled 1,000,000 permutations of length 300
uniformly at random. The color of the point
![](/static/heatmaps/0231_2301.png)
This specification was found using the strategy pack "Point And Col Placements" and has 26 rules.
Found on January 17, 2022.Finding the specification took 98 seconds.
Copy to clipboard:
3
● |
---|
16
1 |
---|
\ |
3
● |
---|
7
2 | |
---|---|
2 | |
1 | \ |
24, 25
3 | |
---|---|
2 | |
1 | \ |
● | |||
---|---|---|---|
2 | |||
2 | |||
2 | |||
1 | \ | ||
\ |
6
2 | ||
---|---|---|
● | ||
2 | ||
1 | \ |
3
● |
---|
16
1 |
---|
\ |
5, 6
2 |
---|
1 |
2 | ||
---|---|---|
● | ||
2 | ||
1 | \ |
23
3 | |
---|---|
2 | |
1 | |
\ |
11
2 | ||
---|---|---|
1 | ||
1 | \ |
22
2 | ||
---|---|---|
2 | ||
1 | ||
1 | \ |
3
● |
---|
21
2 | |||
---|---|---|---|
2 | |||
● | |||
1 | |||
1 | \ |
15
1 |
---|
1 |
\ |
3
● |
---|
16
1 |
---|
\ |
19, 20
2 |
---|
1 |
\ |
1 | ||
---|---|---|
● | ||
1 | ||
1 | ||
\ | ||
\ |
15
1 |
---|
1 |
\ |
3
● |
---|
18
1 | |
---|---|
● | |
1 | |
\ |
16
1 |
---|
\ |
3
● |
---|
17
1 | |
---|---|
● | |
\ |
1
16
1 |
---|
\ |
15
1 |
---|
1 |
\ |
3
● |
---|
0
1 |
---|
13, 14
2 | ||
---|---|---|
● | ||
2 | ||
1 | \ |
2 | ||
---|---|---|
● | ||
2 | ||
1 | ||
\ |
9, 10
2 | ||
---|---|---|
1 | ||
● | ||
1 | \ |
2 | |||
---|---|---|---|
1 | |||
● | |||
1 | \ |
0
1 |
---|
12
2 | |
---|---|
1 | \ |
11
2 | ||
---|---|---|
1 | ||
1 | \ |
9, 10
2 | ||
---|---|---|
1 | ||
● | ||
1 | \ |
2 | |||
---|---|---|---|
1 | |||
● | |||
1 | \ |
0
1 |
---|
8
2 | |
---|---|
1 | \ |
7
2 | |
---|---|
2 | |
1 | \ |
5, 6
2 |
---|
1 |
2 | ||
---|---|---|
● | ||
2 | ||
1 | \ |
0
1 |
---|
4
2 |
---|
1 |
3
● |
---|
2
2 | |
---|---|
● | |
1 |
1
0
1 |
---|
Copy 26 equations to clipboard:
This specification was found using the strategy pack "Row And Col Placements" and has 54 rules.
Found on January 18, 2022.Finding the specification took 34 seconds.
Copy to clipboard:
8
● |
---|
8
● |
---|
49
1 |
---|
\ |
8
● |
---|
39
\ | |
---|---|
2 | |
2 | |
1 | \ |
52, 53
2 | |||
---|---|---|---|
\ | |||
● | |||
2 | |||
2 | |||
1 | \ | \ |
2 | |||
---|---|---|---|
\ | |||
● | |||
2 | |||
2 | |||
1 | \ | ||
\ |
49
1 |
---|
\ |
8
● |
---|
49
1 |
---|
\ |
50, 51
1 |
---|
\ |
● | ||
---|---|---|
1 | ||
1 | ||
\ | ||
\ |
23
\ |
---|
49
1 |
---|
\ |
8
● |
---|
19
2 | ||
---|---|---|
2 | ||
1 | \ | |
1 |
47, 48
2 | |||
---|---|---|---|
2 | |||
2 | |||
1 | \ | ||
● | |||
1 | \ |
2 | ||||
---|---|---|---|---|
2 | ||||
2 | ||||
1 | \ | |||
● | ||||
1 | ||||
\ |
11
2 | |
---|---|
2 | |
1 | \ |
46
2 | ||
---|---|---|
2 | ||
2 | ||
1 | \ | \ |
8
● |
---|
44, 45
2 | 2 | 2 | |
---|---|---|---|
● | |||
1 | \ | \ |
2 | |||
---|---|---|---|
2 | |||
2 | |||
● | |||
1 | \ | \ |
3
1 | 1 |
---|
43
1 | 1 | 1 |
---|
42
● | |||
---|---|---|---|
1 | 1 | 1 |
8
● |
---|
23
\ |
---|
8
● |
---|
8
● |
---|
12
2 |
---|
1 |
33
\ |
---|
2 |
1 |
40, 41
● | ||
---|---|---|
\ | ||
2 | ||
2 | ||
1 | \ |
● | ||
---|---|---|
\ | ||
2 | 2 | |
1 | \ |
39
\ | |
---|---|
2 | |
2 | |
1 | \ |
38
\ | ||
---|---|---|
● | ||
2 | ||
2 | ||
1 | \ |
8
● |
---|
19
2 | ||
---|---|---|
2 | ||
1 | \ | |
1 |
36, 37
2 | ||
---|---|---|
2 | ||
1 | \ | |
● | ||
1 |
2 | |||
---|---|---|---|
2 | |||
1 | \ | ||
● | |||
1 |
8
● |
---|
8
● |
---|
14
2 |
---|
1 |
1 |
8
● |
---|
35
2 | |
---|---|
● | |
1 | |
1 |
1
15
1 |
---|
1 |
34
\ | |
---|---|
2 | |
● | |
1 |
33
\ |
---|
2 |
1 |
32
\ | |
---|---|
● | |
2 | |
1 |
8
● |
---|
8
● |
---|
23
\ |
---|
8
● |
---|
15
1 |
---|
1 |
8
● |
---|
26
\ | \ |
---|
31
\ | \ | |
---|---|---|
● |
8
● |
---|
27
\ | \ |
---|
24, 25
\ |
---|
\ | |
---|---|
● |
30
\ | \ |
---|
29
\ | \ | |
---|---|---|
● |
28
1 |
---|
27
\ | \ |
---|
24, 25
\ |
---|
\ | |
---|---|
● |
26
\ | \ |
---|
8
● |
---|
23
\ |
---|
24, 25
\ |
---|
\ | |
---|---|
● |
1
23
\ |
---|
22
\ | \ |
---|
20, 21
\ | |||
---|---|---|---|
\ | \ | ||
1 | |||
● | |||
1 |
\ | ||||
---|---|---|---|---|
\ | \ | |||
1 | ||||
● | ||||
1 |
11
2 | |
---|---|
2 | |
1 | \ |
19
2 | ||
---|---|---|
2 | ||
1 | \ | |
1 |
17, 18
● | ||
---|---|---|
2 | 2 | |
1 | \ | |
1 |
● | |||
---|---|---|---|
2 | |||
2 | |||
1 | \ | ||
1 |
8
● |
---|
1
0
1 |
---|
16
1 | |
---|---|
● | |
1 |
15
1 |
---|
1 |
14
2 |
---|
1 |
1 |
13
2 | |
---|---|
1 | |
● | |
1 |
1
12
2 |
---|
1 |
11
2 | |
---|---|
2 | |
1 | \ |
8
● |
---|
9, 10
2 | 2 | ||
---|---|---|---|
● | |||
1 | \ | \ |
2 | |||
---|---|---|---|
2 | |||
● | |||
1 | \ | ||
\ |
8
● |
---|
6
1 | \ |
---|
7
● | ||
---|---|---|
1 | \ |
4
● | |||
---|---|---|---|
1 | 1 | \ |
1
6
1 | \ |
---|
5
1 | 1 | \ |
---|
4
● | |||
---|---|---|---|
1 | 1 | \ |
1
3
1 | 1 |
---|
2
● | ||
---|---|---|
1 | 1 |
1
0
1 |
---|
Copy 54 equations to clipboard:
This specification was found using the strategy pack "Point And Row Placements" and has 59 rules.
Found on January 18, 2022.Finding the specification took 39 seconds.
Copy to clipboard:
13
● |
---|
13
● |
---|
13
● |
---|
45
1 |
---|
\ |
53
2 | |
---|---|
1 | 1 |
7
2 | ||
---|---|---|
1 | ||
1 | 1 |
58
3 | ||
---|---|---|
1 | ||
2 | \ |
56, 57
3 | |||
---|---|---|---|
3 | |||
1 | |||
2 | \ | \ |
3 | |||
---|---|---|---|
3 | |||
1 | |||
2 | \ | ||
\ |
45
1 |
---|
\ |
13
● |
---|
26
2 | ||
---|---|---|
2 | ||
1 | 1 | \ |
54, 55
● | |||
---|---|---|---|
2 | 2 | ||
1 | 1 | \ |
● | |||
---|---|---|---|
2 | |||
2 | |||
1 | 1 | \ |
4
1 | 1 |
---|
53
2 | |
---|---|
1 | 1 |
35
2 | 2 | |
---|---|---|
1 | 1 |
52
2 | 3 | |
---|---|---|
1 | \ |
50, 51
3 | |||
---|---|---|---|
2 | 3 | ||
1 | \ | \ |
3 | |||
---|---|---|---|
2 | 3 | ||
1 | \ | ||
\ |
45
1 |
---|
\ |
13
● |
---|
27
2 | |||
---|---|---|---|
2 | 2 | ||
1 | 1 | \ |
48, 49
2 | |||||
---|---|---|---|---|---|
● | |||||
2 | 2 | 2 | |||
1 | 1 | \ | \ |
2 | |||||
---|---|---|---|---|---|
● | |||||
2 | |||||
2 | 2 | ||||
1 | 1 | \ | |||
\ |
45
1 |
---|
\ |
13
● |
---|
45
1 |
---|
\ |
46, 47
1 |
---|
\ |
● | ||
---|---|---|
1 | ||
1 | ||
\ | ||
\ |
10
\ |
---|
45
1 |
---|
\ |
13
● |
---|
13
● |
---|
13
● |
---|
27
2 | |||
---|---|---|---|
2 | 2 | ||
1 | 1 | \ |
43, 44
● | ||||
---|---|---|---|---|
2 | 2 | 2 | ||
1 | 1 | \ |
● | ||||
---|---|---|---|---|
2 | ||||
2 | 2 | |||
1 | 1 | \ |
4
1 | 1 |
---|
13
● |
---|
40
1 |
---|
40
1 |
---|
13
● |
---|
41, 42
1 | |
---|---|
● | |
1 |
1 | ||
---|---|---|
● | ||
1 |
1
40
1 |
---|
13
● |
---|
39, 2
2 | |
---|---|
● | |
1 |
1 |
---|
38
2 |
---|
1 |
36, 37
2 | 2 | ||
---|---|---|---|
● | |||
1 | 1 |
2 |
---|
1 |
35
2 | 2 | |
---|---|---|
1 | 1 |
33, 34
● | ||||
---|---|---|---|---|
2 | 2 | |||
2 | ||||
1 | \ |
● | ||||
---|---|---|---|---|
2 | 2 | 2 | ||
1 | \ |
32
2 | 2 | ||
---|---|---|---|
2 | |||
1 | \ |
30, 31
2 | |||||
---|---|---|---|---|---|
● | |||||
2 | 2 | 2 | |||
1 | \ | \ |
2 | |||||
---|---|---|---|---|---|
● | |||||
2 | 2 | ||||
2 | |||||
1 | \ | ||||
\ |
13
● |
---|
29, 19
2 | |||
---|---|---|---|
● | |||
1 | 1 | \ |
1 | 2 |
---|
28
2 | ||
---|---|---|
1 | 1 | \ |
27
2 | |||
---|---|---|---|
2 | 2 | ||
1 | 1 | \ |
26
2 | ||
---|---|---|
2 | ||
1 | 1 | \ |
25
2 | |||
---|---|---|---|
2 | |||
1 | |||
1 | 1 | \ |
23, 24
● | ||||
---|---|---|---|---|
2 | 2 | |||
1 | ||||
1 | 1 | \ |
● | ||||
---|---|---|---|---|
2 | ||||
2 | ||||
1 | ||||
1 | 1 | \ |
22, 5
1 | ||||
---|---|---|---|---|
● | ||||
1 | 1 | 1 |
1 | 2 |
---|
13
● |
---|
13
● |
---|
18
1 | 2 | \ |
---|
20, 21
1 | 2 | \ |
---|
1 | 2 | \ | |
---|---|---|---|
● |
0
1 |
---|
4
1 | 1 |
---|
19
1 | 2 |
---|
18
1 | 2 | \ |
---|
13
● |
---|
15
1 | \ |
---|
17
● | ||
---|---|---|
1 | \ |
13
● |
---|
14
1 | 1 | \ |
---|
16
● | |||
---|---|---|---|
1 | 1 | \ |
1
15
1 | \ |
---|
14
1 | 1 | \ |
---|
10
\ |
---|
13
● |
---|
11, 12
\ |
---|
● | |
---|---|
\ |
1
10
\ |
---|
9
\ | ||||
---|---|---|---|---|
● | ||||
1 | 1 | \ |
0
1 |
---|
8
1 | ||
---|---|---|
1 | 1 |
7
2 | ||
---|---|---|
1 | ||
1 | 1 |
5, 6
1 | 2 |
---|
2 | |||
---|---|---|---|
1 | |||
● | |||
1 | 1 |
0
1 |
---|
4
1 | 1 |
---|
2, 3
1 |
---|
● | ||
---|---|---|
1 | 1 |
1
0
1 |
---|
Copy 59 equations to clipboard:
This specification was found using the strategy pack "Insertion Row And Col Placements Req Corrob" and has 77 rules.
Found on January 17, 2022.Finding the specification took 174 seconds.
This tree is too big to show here. Click to view tree on new page.
Copy 77 equations to clipboard:
This specification was found using the strategy pack "Insertion Point Placements Req Corrob" and has 90 rules.
Found on January 17, 2022.Finding the specification took 147 seconds.
This tree is too big to show here. Click to view tree on new page.
Copy 90 equations to clipboard: