Av(12345)
Counting Sequence
1, 1, 2, 6, 24, 119, 694, 4582, 33324, 261808, 2190688, 19318688, 178108704, 1705985883, 16891621166, ...
This specification was found using the strategy pack "Row Placements Tracked Fusion Expand Verified" and has 30 rules.
Found on January 22, 2022.Finding the specification took 27 seconds.
Copy to clipboard:
23
● |
---|
23
● |
---|
4
1 | 2 |
---|
29
1 | 1 | 2 |
---|
28
● | |||
---|---|---|---|
1 | 1 | 2 |
14
● |
---|
23
● |
---|
8
1 | 2 | 3 |
---|
27
1 | 2 | 2 | 3 |
---|
26
● | ||||
---|---|---|---|---|
1 | 2 | 2 | 3 |
14
● |
---|
7
1 | 2 | 3 |
---|
25
1 | 1 | 2 | 3 |
---|
24
● | ||||
---|---|---|---|---|
1 | 1 | 2 | 3 |
14
● |
---|
23
● |
---|
12
\ | 1 | 2 | 3 |
---|
22
\ | 1 | 2 | 2 | 3 |
---|
21
● | |||||
---|---|---|---|---|---|
\ | 1 | 2 | 2 | 3 |
14
● |
---|
12
\ | 1 | 2 | 3 |
---|
20
\ | 1 | 2 | 3 |
---|
19
\ | 1 | 1 | 2 | 3 |
---|
18
● | |||||
---|---|---|---|---|---|
\ | 1 | 1 | 2 | 3 |
14
● |
---|
12
\ | 1 | 2 | 3 |
---|
17
\ | 1 | 2 | 3 |
---|
16
\ | \ | 1 | 2 | 3 |
---|
15
● | |||||
---|---|---|---|---|---|
\ | \ | 1 | 2 | 3 |
12
\ | 1 | 2 | 3 |
---|
14
● |
---|
13
● | ||||
---|---|---|---|---|
\ | 1 | 2 | 3 |
1
12
\ | 1 | 2 | 3 |
---|
11
\ | 1 | 2 | 3 |
---|
10
\ | 1 | 2 | 3 |
---|
9
● | ||||
---|---|---|---|---|
\ | 1 | 2 | 3 |
1
8
1 | 2 | 3 |
---|
7
1 | 2 | 3 |
---|
6
1 | 2 | 3 |
---|
5
● | |||
---|---|---|---|
1 | 2 | 3 |
1
4
1 | 2 |
---|
3
1 | 2 |
---|
2
● | ||
---|---|---|
1 | 2 |
1
0
1 |
---|
Copy 30 equations to clipboard:
This specification was found using the strategy pack "Row Placements Tracked Fusion Req Corrob Expand Verified" and has 38 rules.
Found on November 19, 2021.Finding the specification took 174 seconds.
Copy to clipboard:
27
● |
---|
27
● |
---|
27
● |
---|
34
1 | 1 | 2 |
---|
37
● | |||
---|---|---|---|
1 | 1 | 2 |
14
● |
---|
6
1 | 2 | 3 |
---|
36
● | |||
---|---|---|---|
1 | 2 | 3 |
1
35
1 | 2 |
---|
34
1 | 1 | 2 |
---|
33
1 | 1 | 2 |
---|
32
● | |||
---|---|---|---|
1 | 1 | 2 |
27
● |
---|
27
● |
---|
8
1 | 2 | 3 |
---|
31
1 | 2 | 2 | 3 |
---|
30
● | ||||
---|---|---|---|---|
1 | 2 | 2 | 3 |
14
● |
---|
7
1 | 2 | 3 |
---|
29
1 | 1 | 2 | 3 |
---|
28
● | ||||
---|---|---|---|---|
1 | 1 | 2 | 3 |
14
● |
---|
27
● |
---|
12
\ | 1 | 2 | 3 |
---|
26
\ | 1 | 2 | 2 | 3 |
---|
25
● | |||||
---|---|---|---|---|---|
\ | 1 | 2 | 2 | 3 |
14
● |
---|
12
\ | 1 | 2 | 3 |
---|
24
\ | 1 | 2 | 3 |
---|
23
\ | 1 | 2 | 3 |
---|
22
\ | 1 | 2 | 3 |
---|
21
\ | 1 | 2 | 3 |
---|
20
\ | 1 | 1 | 2 | 3 |
---|
19
\ | 1 | 1 | 2 | 3 |
---|
18
\ | 1 | 1 | 2 | 3 |
---|
17
● | |||||
---|---|---|---|---|---|
\ | 1 | 1 | 2 | 3 |
14
● |
---|
11
\ | 1 | 2 | 3 |
---|
16
\ | \ | 1 | 2 | 3 |
---|
15
● | |||||
---|---|---|---|---|---|
\ | \ | 1 | 2 | 3 |
12
\ | 1 | 2 | 3 |
---|
14
● |
---|
13
● | ||||
---|---|---|---|---|
\ | 1 | 2 | 3 |
1
12
\ | 1 | 2 | 3 |
---|
11
\ | 1 | 2 | 3 |
---|
10
\ | 1 | 2 | 3 |
---|
9
● | ||||
---|---|---|---|---|
\ | 1 | 2 | 3 |
1
8
1 | 2 | 3 |
---|
7
1 | 2 | 3 |
---|
6
1 | 2 | 3 |
---|
5
1 | 2 | 3 |
---|
4
● | |||
---|---|---|---|
1 | 2 | 3 |
1
3
1 | 2 |
---|
2
● | ||
---|---|---|
1 | 2 |
1
0
1 |
---|
Copy 38 equations to clipboard:
This specification was found using the strategy pack "Point And Row Placements Tracked Fusion Expand Verified" and has 34 rules.
Found on November 19, 2021.Finding the specification took 92 seconds.
Copy to clipboard:
23
● |
---|
23
● |
---|
23
● |
---|
30
1 | 1 | 2 |
---|
33
● | |||
---|---|---|---|
1 | 1 | 2 |
15
● |
---|
7
1 | 2 | 3 |
---|
32
● | |||
---|---|---|---|
1 | 2 | 3 |
1
31
1 | 2 |
---|
30
1 | 1 | 2 |
---|
29
1 | 1 | 2 |
---|
28
● | |||
---|---|---|---|
1 | 1 | 2 |
23
● |
---|
23
● |
---|
9
1 | 2 | 3 |
---|
27
1 | 2 | 2 | 3 |
---|
26
● | ||||
---|---|---|---|---|
1 | 2 | 2 | 3 |
15
● |
---|
8
1 | 2 | 3 |
---|
25
1 | 1 | 2 | 3 |
---|
24
● | ||||
---|---|---|---|---|
1 | 1 | 2 | 3 |
15
● |
---|
23
● |
---|
13
\ | 1 | 2 | 3 |
---|
22
\ | 1 | 2 | 2 | 3 |
---|
21
● | |||||
---|---|---|---|---|---|
\ | 1 | 2 | 2 | 3 |
15
● |
---|
13
\ | 1 | 2 | 3 |
---|
20
\ | 1 | 2 | 3 |
---|
19
\ | 1 | 1 | 2 | 3 |
---|
18
● | |||||
---|---|---|---|---|---|
\ | 1 | 1 | 2 | 3 |
15
● |
---|
12
\ | 1 | 2 | 3 |
---|
17
\ | \ | 1 | 2 | 3 |
---|
16
● | |||||
---|---|---|---|---|---|
\ | \ | 1 | 2 | 3 |
13
\ | 1 | 2 | 3 |
---|
15
● |
---|
14
● | ||||
---|---|---|---|---|
\ | 1 | 2 | 3 |
1
13
\ | 1 | 2 | 3 |
---|
12
\ | 1 | 2 | 3 |
---|
11
\ | 1 | 2 | 3 |
---|
10
● | ||||
---|---|---|---|---|
\ | 1 | 2 | 3 |
1
9
1 | 2 | 3 |
---|
8
1 | 2 | 3 |
---|
7
1 | 2 | 3 |
---|
6
1 | 2 | 3 |
---|
5
● | |||
---|---|---|---|
1 | 2 | 3 |
1
4
1 | 2 |
---|
2, 3
1 |
---|
● | ||
---|---|---|
1 | 2 |
1
0
1 |
---|
Copy 34 equations to clipboard:
This specification was found using the strategy pack "Row Placements Tracked Fusion" and has 37 rules.
Found on June 09, 2021.Finding the specification took 185 seconds.
Copy to clipboard:
21
● |
---|
21
● |
---|
21
● |
---|
29
1 | 1 | 2 |
---|
36
1 | 1 | 1 | 2 |
---|
35
● | ||||
---|---|---|---|---|
1 | 1 | 1 | 2 |
21
● |
---|
6
1 | 2 | 3 |
---|
34
1 | 1 | 2 | 3 |
---|
33
● | ||||
---|---|---|---|---|
1 | 1 | 2 | 3 |
13
● |
---|
7
1 | 2 | 3 |
---|
32
1 | 2 | 3 |
---|
31
1 | 2 | 2 | 3 |
---|
30
● | ||||
---|---|---|---|---|
1 | 2 | 2 | 3 |
1
29
1 | 1 | 2 |
---|
28
1 | 1 | 2 |
---|
27
● | |||
---|---|---|---|
1 | 1 | 2 |
21
● |
---|
21
● |
---|
7
1 | 2 | 3 |
---|
26
1 | 2 | 2 | 3 |
---|
25
● | ||||
---|---|---|---|---|
1 | 2 | 2 | 3 |
13
● |
---|
7
1 | 2 | 3 |
---|
24
1 | 2 | 3 |
---|
23
1 | 1 | 2 | 3 |
---|
22
● | ||||
---|---|---|---|---|
1 | 1 | 2 | 3 |
13
● |
---|
21
● |
---|
11
\ | 1 | 2 | 3 |
---|
20
\ | 1 | 2 | 2 | 3 |
---|
19
● | |||||
---|---|---|---|---|---|
\ | 1 | 2 | 2 | 3 |
13
● |
---|
11
\ | 1 | 2 | 3 |
---|
18
\ | 1 | 2 | 3 |
---|
17
\ | 1 | 1 | 2 | 3 |
---|
16
● | |||||
---|---|---|---|---|---|
\ | 1 | 1 | 2 | 3 |
13
● |
---|
10
\ | 1 | 2 | 3 |
---|
15
\ | \ | 1 | 2 | 3 |
---|
14
● | |||||
---|---|---|---|---|---|
\ | \ | 1 | 2 | 3 |
11
\ | 1 | 2 | 3 |
---|
13
● |
---|
12
● | ||||
---|---|---|---|---|
\ | 1 | 2 | 3 |
1
11
\ | 1 | 2 | 3 |
---|
10
\ | 1 | 2 | 3 |
---|
9
\ | 1 | 2 | 3 |
---|
8
● | ||||
---|---|---|---|---|
\ | 1 | 2 | 3 |
1
7
1 | 2 | 3 |
---|
6
1 | 2 | 3 |
---|
5
1 | 2 | 3 |
---|
4
● | |||
---|---|---|---|
1 | 2 | 3 |
1
3
1 | 2 |
---|
2
● | ||
---|---|---|
1 | 2 |
1
0
1 |
---|
Copy 37 equations to clipboard: