Juxtaposing Catalan permutation classes with monotone ones

This paper enumerates all juxtaposition classes of the form “Av(abc) next to Av(xy)”, where abc is a permutation of length three and xy is a permutation of length two. We use Dyck paths decorated by sequences of points to represent elements from such a juxtaposition class. Context free grammars are then used to enumerate these decorated Dyck paths.


Introduction
Juxtapositions are a simple special case of permutation grid classes. Grid classes found application mainly as tools to study the structure of other permutation classes. In [17], Vatter used the structural insights that monotone grid classes offer to classify growth rates of small permutation classes. Apart from enumerating permutation classes, several other applications of grid classes exist, among them [1,2,9,12,16,18]. For an introduction to grid classes and their further uses, see Bevan's PhD thesis [8]. On the right are the two griddings of 1243 by M = ( Av(21) Av (12) ).
Each permutation in a grid class can be drawn into a grid so that the subpermutation in each box is in the class specified by the corresponding cell in a gridding matrix. See Figure 1 for an example of permutations from a monotone grid class (where each cell in the gridding matrix is a 21-avoider, 12-avoider, or empty). Because of their more general applicability, the study of grid classes in their own right has emerged in a few directions. For instance, it is conjectured that all monotone grid classes are finitely based, but this is only known for a few special cases, most notably those whose row-column graph is acyclic (see Albert, Atkinson, Bouvel, Ruškuc, and Vatter [2]), and a few other special cases (see [4,7,8,19]). In another direction, the role of grid classes with respect to partial well-ordering has been explored in e.g. [12,16,18]. Finally, while the asymptotic enumeration of monotone grid classes was answered completely by Bevan [11], exact enumeration is harder, primarily due to the difficulty of handling multiple griddings: that is, enumerating 'griddable' objects rather than 'gridded' ones. One general result here is that all geometric grid classes have rational generating functions [2], but the move from 'gridded' to 'griddable' is nonconstructive, instead relying on properties of regular languages.
As a first step towards enumerating more general grid classes, in this paper we replace one cell in the gridding matrix M of a monotone grid class by a Catalan class, that is, one avoiding a single permutation of length 3. For simplicity, we restrict our attention to 1 × 2 grids, although the techniques presented here could be used in larger grids. These 1 × 2 grid classes are also referred to as juxtapositions -in our case a Catalan class in the left cell, and a monotone class in the right one.  Table 1: Each row contains equinumerous classes. Classes in pairs (separated by commas) are equinumerous by symmetry. Left column and right column (of the same row) are equinumerous by one of the bijections θ, ψ, φ, see Section 4. Each bijection describes a correspondence between the underlined classes in the given row. The classes in bold are enumerated via context-free grammars.
Let P i and S j be permutations, for all 1 i k and 1 j l. Also, let U = Av(P 1 , . . . , P k ) and V = Av(S 1 , . . . , S ) be classes of permutations that avoid P 1 , . . . , P k and S 1 , . . . , S , respectively. A juxtaposition class W = Av(P 1 , . . . , P k | S 1 , . . . , S ) of classes U and V is the set of permutations whose form is AB with A ∈ U and B ∈ V. We say that U is on the left-hand side (LHS) of W and that V is on the right-hand side (RHS) of W. The diagram on the right in Figure 1 shows a permutation 1342 from the juxtaposition class Av(21|12), together with two possible griddings of 1342. Equipped with the definition of a juxtaposition, we can now refer to Table 1. It schematizes the relationships between juxtapositions Av(P |S), where P is of length three and S of length two or vice versa. Out of all these, only twelve are essentially distinct (not symmetries of each other), and all of them have the Catalan class Av(abc) on the same side in the juxtaposition. So, without loss of generality, we assume a Catalan class to be on the left and a monotone class on the right. By further symmetries, these twelve juxtaposition classes can be coupled into equinumerous pairs. See Table 1. To the best of our knowledge, only two of the twelve classes in Table 1 have been enumerated -Av(231|12) by Bevan [9] (and hence Av(213|21)) and Av(321|12) by Miner [15] (and hence Av(123|21)). The goal of this paper is to enumerate the remaining two juxtaposition classes in bold in Table 1 and find bijections between the pairs of underlined classes. This completes the enumeration for all juxtapositions of a Catalan class with a monotone one.
In section 2 we introduce the concepts that we need and demonstrate them on an example. Section 3 contains enumerations of the boldface classes Av(231|12), Av(321|21) and Av(312|21). Bijections between the underlined classes are presented in Section 4. We mention open questions in Section 5.

Definitions and overview
We assume the reader is familiar with elementary definitions. They are conveniently presented in a note by Bevan [10]. We refer to the three juxtaposition classes in bold in Table 1 as A, B, and C, respectively. We list them below together with their representations in terms of bases, using Atkinson [7]. A quick enumeration (using PermLab [6]) of the first twelve elements in A, B, and C yields the following sequences. We observe that the sequence A165538 enumerates both classes C and Av(4312, 3142). The latter is studied as Example 2 in Albert, Atkinson, and Vatter [3]. We do not know of a straightforward reason for these to be equinumerous.
A Dyck path of length 2n is a path on the integer grid from (0, 0) to (n, n) where each step is either (k, m) → (k + 1, m) or (k, m) → (k, m + 1). A dyck path must stay on one side of the diagonal, i.e. it is not allowed to cross but can touch the diagonal. See Figure 2 for an example. The orientation of the Dyck path in our definition is arbitrary, and we will use the term "Dyck path" to refer to any of the four symmetries of a Dyck path (above/below the diagonal and top-to-bottom/bottom-to-top). In this paper, we only need two kinds of Dyck paths: those that use up and right steps (bottom-left to top-right Dyck paths that stay above the diagonal) and those that use down and left steps (top-right to bottom-left Dyck paths that stay below the diagonal). We will always the electronic journal of combinatorics 24(2) (2017), #P2.11 specify which one of the two cases we work with.
Let D be Dyck path of length 2n from top right to the bottom left corner of the grid. Let it be below the diagonal. Offsetting a diagonal means considering a line with slope one from (1, 0) to (n, n − 1) on a square grid, instead of the original diagonal (0, 0) to (n, n) (in case D is above the diagonal, we offset in the opposite direction). Figure 3 illustrates this with the dotted line moving downwards along the \-diagonal from 3rd to 4th and from 4th to 5th subfigure. An excursion in D is the part of the Dyck path D which meets the diagonal only at the beginning and at the end.
It is well known that permutations of length n in Av(231) are in one-to-one correspondence with Dyck paths of length 2n. And so are permutations of length n in Av(321). There are a number of bijections between these Catalan objects. We now fix one for each correspondence and describe them in detail. This paragraph is best read alongside Figure 3. To obtain a 231-avoider of length n from a Dyck path D, one places a point into each corner (a down step followed by a left step) to obtain the right-to-left minima of the permutation to be constructed. This is the second diagram from the left in Figure 3. We place the remaining points of the permutation for each excursion of D separately. Given such an excursion, the first and last steps are not consecutive/adjacent and must be a down step and a left step, respectively. Insert a point in the square where the respective row and column of these steps meet. This is documented in the third diagram of Figure 3. The points inserted in a given step are marked by a circle. Do the same for each excursion of D. In the next step offset the diagonal, disregard the points above the new diagonal, and repeat the process. It is the electronic journal of combinatorics 24(2) (2017), #P2.11 easy to check that this procedure is correct (gives a 231-avoider) and reversible, since the corners of the Dyck path are right-to-left minima. This paragraph is accompanied by Figure 4. To obtain a 321-avoider of length n from a Dyck path D, place right-to-left minima as in the case above (231-avoider to Dyck path). Then, find the first down step that is not immediately succeeded by a left step and find the first left step that is not immediately preceded by a down step. Place a point in the square where the row and column of these two meet. This step is shown in the third diagram in Figure 4 -the new point at each step is denoted by a circle. Add the rest of the points for the further down steps and left steps in the same fashion.
Having fixed bijections between Dyck paths and 231-avoiders and Dyck paths and 321-avoiders, we will refer to the Dyck path corresponding to a permutation P , and vice versa, whenever one of the bijections transforms one into the other.
A context-free grammar (CFG) is a formal grammar that describes a language consisting of only those words which can be obtained from a starting string by repeated use of permitted production rules/substitutions. Formally, a context-free grammar is a four-tuple (V, Σ, R, S): a finite set of variables V , a set of terminal characters (symbols) Σ, a finite relation R from V to (V ∪ Σ) * where * is the Kleene star, and the start variable S, S ∈ V . The pairs in R are called production rules, because they specify what we are allowed to substitute into a given variable. In our context-free grammars, the starting symbol is always S (unless CFG describes a Catalan object, then it is C) and denotes an empty word. A good reference for formal languages is Hopcroft, Motwani, and Ullman [13].
Example 1 (Enumerating Av(231)). Enumerating this class serves as a template for how we intend to use CFGs in Section 3. Recall that Dyck paths are in one-to-one correspondence with 231-avoiding permutations. We use this fact to enumerate permutations in Av(231) by counting Dyck paths. A Dyck path corresponding to a 231-avoider (we start in the bottom left corner, and stay below the diagonal) is either empty or starts with a step right, followed by an arbitrary Dyck path, followed by a step up, followed by an arbitrary Dyck path. Denote by C a Dyck path (C stands for Catalan object), by the empty Dyck path, and by U, R up step and right step respectively. Then the CFG for Dyck paths (and hence also for 231-and 321-avoiders) looks as follows the electronic journal of combinatorics 24(2) (2017), #P2.11 As written, this grammar is unambiguous, and can be transcribed syntactically into a functional equation. We let z count the number of up steps (or alternatively the number of right steps) in the Dyck path. We find that c = c(z) satisfies the relation below Consequently, we obtain c as a function of z by "solving for" c formally

Enumeration
Let P ∈ Av(abc) and let P be the corresponding Dyck path, and let X ∈ Av(xy). Recall that when enumerating elements of Av(abc|xy), we chose to place the vertical gridline as far right as possible. If it was any further right, there would be a point on the RHS which would serve as c in a copy of abc. In Figure 5b, for instance, there is no copy of 231 on the LHS, but if the vertical gridline was shifted one place to the right, the three unfilled points would form a copy of 231 on the LHS of the gridline. The gridline is already as far right as possible. The permutations gridded this way are exactly the Av(abc|xy)-griddable permutations and we are free to enumerate these gridded permutations. The setup will be as in Figure 5. A Dyck path P on the left decorated by sequences of points from the right. We will always specify whether a sequence of points corresponding to a vertical step V in P is placed immediatelly below V or immediatelly above V . Figure 5a shows the "below"case. Every griddable permutation from the juxtaposition class has a unique gridding that maximizes the size of the Av(abc) class, i.e. pushing the gridline as far to the right as possible. We call the leftmost point on the RHS the first point on the RHS. We say that a point r on the RHS is enclosed by two points p, q on the LHS if p is above r and r is above q in the drawing of the juxtaposition. If D is a section of a Dyck path D on the LHS, we say that a point r on the RHS is contained in D whenever the end points of D enclose r. A Catalan block D (or a Dyck block ) is a section of a Dyck path D which is a Dyck path with respect to some offset of the diagonal (it begins and ends on it and stays on one side of it at all times). Notice that a Dyck block is essentially a collection of consecutive excursions that all have the same offset from the diagonal.

Class A = Av(231|12)
As we mentioned already, a symmetry of this class was enumerated by Bevan [9] as a step towards the enumeration of Av(4213, 2143), by exploiting a tree-like structure of the permutations in Av(231). Here, we enumerate Av(231|12) by first describing through a context-free grammar.
We represent a 231-avoiding permutation P by a Dyck path P from top-right to bottom-left, and below the diagonal. Sequences of points (each possibly empty) on the RHS are placed immediately below the corresponding down steps. Again, the gridding of P ∈ Av(231|12) is chosen to maximize the number of points on the LHS. Therefore, the  leftmost point on the RHS must be below the "1" in the topmost 12 on the LHS. In a corresponding Dyck path P, this means that we can start placing point sequences on the RHS as soon as we have encountered a down step (D) in P that has a left step (L) before it. The following letters will be needed to build P.
L -left step D -down step before any left steps occured D -down step after left step already occured We denote by C a Dyck path over letters L and D, while C is a standard Dyck path over L and D. Given these building blocks, a Dyck path representing a 231-avoider can only start with a D, followed by a possibly empty Dyck path, and returning to the diagonal with a left-step L. Afterwards any other Dyck path can be appended as long as it is over letters L, D. Hence, the CFG describing the elements of Av(231|12) has the following rules. Since there is no ambiguity to how we place points in the right compartment of the grid, only decreasing sequences are allowed, we let t = 1/(1 − z). Solving for s gives the next theorem.

Class B = Av(321|21)
We represent a 321-avoiding permutation P by a Dyck path P from the bottom left to the top right corner of the grid, and staying above the diagonal. The sequences of points (each possibly empty) on the RHS, associated with vertical steps (up steps) on the LHS, are always placed directly below the corresponding U on the LHS (i.e. below the point in P associated with the U). Additionally, we need to correct for the points on the RHS which can occur above everything on the LHS. We do this when transcribing the grammar to equations. Below is the alphabet used for our CFG.
We now describe the rules above in detail.
the electronic journal of combinatorics 24(2) (2017), #P2.11 S -Start rule. The entire object is either a Catalan object without points on the RHS, or there is at least one point on the RHS. In the latter case, the entire word starts with a Catalan object C, then there is the middle part M containing U 1 and a 21 above this U 1 . All this is followed by a possibly empty Catalan object C that allows points on the RHS.
M -Middle part (possibly multiple excursions) with U 1 and the first 21 above this U 1 . Part M either starts with a point on the RHS and then U 1 C + R guarantees a 21 in the same Catalan block that sits on the diagonal (the U 1 is not in the corner).
Or we first see the initial point on the RHS without a 21 above it and in the same Catalan block (call this block B) but we then see a 21 later (in this case, the U 1 is in the corner, i.e. not in U 1 R). This is the case BEUC + R. Or we offset the diagonal and repeat the process, i.e. we recur M. That is, UCMCR.
B -An excursion with the first point on the RHS and no 21 above it in the same excursion. Either we are in the base case, U 1 R, or we recur the construction of B.
That is, nothing before B can contain a point on the RHS, and nothing after B can contain a 21. We get UCBER as desired.
C -Catalan block without restrictions.
C -Catalan block with points allowed on the RHS.

E -Stairs with points allowed on the RHS (repeated UR).
C + -Catalan block that is not empty.
We obtain the following equations from the rules above. The additional t at the end of the first equation tracks the gap on the RHS above everything on the LHS. This gap could contain a non-empty increasing sequence of points.
Given the role of t, to track sequences of points whose position is determined, we can again replace it with 1/(1 − z). After the substitution and after solving the above equations, we find the following theorem.

Class C = Av(312|21)
We represent a 312-avoiding permutation P by a Dyck path P starting in the bottomleft and ending in the top-right corner of the grid, and staying above the diagonal. The sequences of points (each possibly empty) on the RHS associated with Us are placed immediately above those respective Us. The letters in the alphabet stay the same as above when we described the class B.
U -up step, no sequence of points on the RHS associated with it R -right step U -up step with a possible sequence of points right above it on RHS U 1 -first U, marks the up step with the first point on the RHS The following rules describe the context-free grammar enumerating Av(312|21).
We now justify the above rules.
S -the entire sequence S is either a Catalan object C (no points on the RHS) or it has a distinguished middle part M which is a Catalan object sitting on the diagonal which contains the first point on the RHS. Given the way a 312-avoiding permutation sits in the Dyck path, it follows that M also contains the 21 that encloses this first point on the RHS. Such M is then followed by C allowing points on the RHS.
M -The middle part is either one of the two base cases, or the recursive case. In the base cases, the first point on the RHS occurs in M -either in a corner (U 1 R) or not.
If not in the corner, then the rule to capture this is U 1 C + R -the Catalan object must be non-empty as this part sits on the diagonal and so the point on the RHS associated with U 1 must be enclosed by a 21 on the LHS. If the first point on the RHS occurs in the corner, then we refer to B, i.e. the rule is UCBC + R. Notice that we want the Catalan object after B to be non-empty, as B only contains R steps after a U 1 . Finally, the recursive step is UCMCR as expected.
B -this part describes the Catalan object containing U 1 (first up-step which is immediately followed by a point on the RHS) that is in the corner -i.e. forms U 1 R. Notice that B cannot sit on the diagonal, for otherwise the first point on the RHS would the electronic journal of combinatorics 24(2) (2017), #P2.11 not be enclosed in a 21 on the LHS. So the base case for B is just a corner with a point on the RHS, and the recursive step is an object B preceded by an arbitrary Catalan object, this all offset from the start level. The way B is used inside M makes it unnecessary to have UCBCR instead of UCBR. It would lead to double-counting.
C -Catalan block without any restrictions.
C -Catalan block with arbitrary point sequences allowed on the RHS immediately after every up step on the LHS.
C + -Catalan block that is not empty.
The equations that follow from the above rules are as follows (in the same order). The functions s, m, b, c, c take arguments z and t. As before, set t = 1/(1 − z) as it represents a (possibly empty) sequence of points on the RHS.

Bijections
Before we describe bijections between the juxtaposition classes, let us introduce the notion of an articulation point in 231-avoiders and 321-avoiders in order to define a canonical bijection between the two classes (in which the articulation point is fixed).
Let P be a 231-avoider and P the corresponding Dyck path below the diagonal from the top-right corner to the bottom-left corner. The articulation point x on P is any and all of the following.
• The end-point of the first down step after a left-step has occured in P.
• The intersection of P and the gridline directly below the "1" in the topmost copy of 12 in P .  The two descriptions are readily seen equivalent from Figure 6a where P and P are drawn into the same picture. It follows that an articulation point x partitions P into P (from the top to x) and P (from x to the bottom). Notice that P is unique in the sense that it is the very part of a Dyck path that for which x is an articulation point. In other words, there is one and only one P that completes P into P. To be exact, P must end with a D (down step) and this D must be the first D after an L occured. Hence, P = XD, where X is a string of consecutive Ds followed by consecutive Ls.
Let Q be a 321-avoider and Q its Dyck path below the diagonal from the top-right corner to the bottom-left corner. Then the articulation point y on Q is defined as any/all of the following.
• It is the end-point of the first left step that does not end on the diagonal.
• It is the bottom left corner of the grid box of "1" in the topmost 21 in Q which is simultaneously also a point on Q.
Again, example is in Figure 6b. Therefore, y partitions Q into Q (from the top to y) and Q (from y to the bottom). Given Q , there is a unique Q that completes it into Q. Indeed, Q must end with an L. It must start with a sequence of DL pairs, followed by a sequence of Ds until the final letter L.
By an articulation point of a permutation we mean the articulation point of the corresponding Dyck path. Next lemma tells us that we can pass between the two classes, Av(231) and Av(321), and keep the articulation point fixed. Proof. Given the position of an articulation point x, let P and Q be identical. Then there are unique completions P and Q , of P and Q , that make them into Dyck paths P and Q, respectively. Clearly, this is a bijection, say λ , between Dyck paths P with the electronic journal of combinatorics 24(2) (2017), #P2.11 an articulation point x and Dyck paths Q with the same articulation point x. Given the bijections between 231-avoiders and Dyck paths, and 321-avoiders and Dyck paths from Section 2, we can define λ as a composition of these with λ . This makes λ a bijection as desired.
For later use, we define two more notions. Firstly, when we write P = P 1 P 2 we mean that P 1 and P 2 to be the permutations on the LHS and the RHS of the gridding of P that maximizes the size of P 1 , i.e. if P 1 contained the first point of P 2 , it would not be an abcavoider. In particular, note the interplay of an articulation point and the vertical gridline. If the gridline was more to the left, then the (possibly different) articulation point would be below the first point on the RHS. Secondly, assume the down steps (vertical steps) in a Dyck path P corresponding to a permutation P 1 are labelled 1 through n in order of their appearance in P. Then we can describe the permutation P 2 on the RHS of the gridding by a sequence h of length n. Given h = (h 1 , . . . , h n ), h i is the length of the sequence of points associated with the i-th down step D i . Depending on our choice (see Section 3), these sequences of h i points are placed either immediately above or immediately below the point of the permutation corresponding to D i . In any case, such a sequence h together with a Dyck path P uniquely describe a permutation from one of the juxtaposition classes Av(abc|xy). Therefore, we can refer to a P = P 1 P 2 ∈ Av(231|21) as a pair (P, h P ) (or alternatively (P 1 , h P )) for the appropriate sequence h P .
Theorem 6 and 7 both make use of the bijection λ from Lemma 5.
Proof. For visual aid, see Figure 6. Let (P, h P ) be a permutation from Av(231|12). We define θ to be λ when restricted to P 1 and to be an identity map on h P . Provided the gridding is unique for every P ∈ Av(231) and the resulting object is a permutation from Av(321|12), θ is a bijection. Every Av(231|12) griddable permutation has exactly one gridding of our choice -pushing the gridline as right as possible. Given that λ fixes the articulation point of P and h P is unchanged under θ, the gridline in the image of θ is as far right as possible -making the gridding unique. Hence, θ : (P, h P ) → (λ(P ), h P ) is a bijection from Av(231|12) to Av(321|12).
The next bijection acts in an analogous way to θ, except this time the sequence on the RHS is increasing. Therefore, we additionally need to show that there always is a point on the RHS below an articulation point. Proof. Since the LHS classes in these juxtapositions are the same as those in Theorem 6, the above proof carries over to this case as it is. One only needs to notice, additionally, that θ (and hence ψ) fixes the articulation point and acts as identity on the RHS sequence of points. This preserves the relative vertical position of the articulation point and any point on the RHS. Therefore, if there is a point on the RHS below the articulation point in a P ∈ Av(231|21), then there is a point on the RHS and below the articulation point of ψ(P ) ∈ Av(321|21).
the electronic journal of combinatorics 24(2) (2017), #P2.11 Unlike the bijections θ and ψ, the last bijection φ does not make use of Lemma 5. Instead, we reshuffle excursions in the Dyck paths and reverse the order of up steps in the middle excursion M. Theorem 8. There exists a bijection φ : Av(312|21) → Av(312|12).
Proof. The idea of this bijection is to "reverse" the Dyck path on the LHS of the juxtaposition in some sensible way -this also leads to the sequence h P being reordered. Provided this is done in a reversible way, we are done. Let P ∈ Av(312|12) be P = P 1 P 2 . Let P 1 be represented by a Dyck path P and let P 1 ⊕· · ·⊕P k , k 1, be the decomposition of P into excursions. Recall from Section 3.3 the way Av(312|21) was enumerated. One of the excursions in P, say P i , was described by part M in the CFG. Construct a new Dyck path Q from P by setting Q = P i+1 ⊕ · · · ⊕ P n ⊕ P i ⊕ P 1 ⊕ · · · ⊕ P i−1 . Recall that the part P i is of the form U . . . U 1 . . . R. We can, without interfering with the structure of the excursion P i write the names of the up steps in the opposite direction to obtain Q i : a letter from {U, U 1 , U} at position in P i will assume position |P i | − in the new Q i . This way, up steps and down staps remain preserved (the shapes of P i and Q i are the same). Given that P i (hence also Q i ) is an excursion, there is a 21 in P 1 to enclose the lowest (in the case of Q i the highest) point on the RHS. Given the transformation from P to Q = P i+1 ⊕ · · · ⊕ P n ⊕ Q i ⊕ P 1 ⊕ · · · ⊕ P i−1 , vertical steps in Q are in a different order than they originally were in P. This results in the corresponding sequence h Q being a respective reshuffle of h P . It is easy to check that the permutation (Q, h Q ) is in the juxtaposition class Av(312|12). Given that the above transformation from Av(312|21) to Av(312|12) is unambiguous (i.e. reversible), we conclude that P 1 ⊕ · · · ⊕ P k → P i+1 ⊕ · · · ⊕ P n ⊕ Q i ⊕ P 1 ⊕ · · · ⊕ P i−1 gives rise to the bijection φ : Av(312|21) → Av(312|12) such that φ : (P, h P ) → (Q, h Q ). Theorems 6, 7 and 8 complete the information in Table 1. Table 1 enumerates the "simplest" grid classes that are not monotone. The next step could see Catalan class replaced by a more complicated one, or increased number of cells. If exact enumeration is beyond reach, it would be interesting to obtain information about the generating functions of such grid classes. For instance, consider a grid class formed by taking a monotone geometric grid class and replacing one cell by a Catalan class. Does every such grid class have an algebraic generating function? Can we say anything about generating functions of similar grid classes with a non-Catalan cell?

Conclusion
A problem not closely related to the exploration of grid classes, but interesting nevertheless, is finding a bijection between the juxtaposition class C = Av(312|21) and the class Av(4312, 3142). They happen to be enumerated by the same sequence A165538 on OEIS as we repeatedly mentioned before. See Albert, Atkinson and Vatter [3] for their enumeration of Av(4312, 3142).