A combinatorial proof of J. West's conjecture

Billey, 1993, Some combinatorial properties of Schubert polynomials, J. Algebraic Combin., 2, 345, 10.1023/A:1022419800503 Brown, 1963, Enumeration of non-separable planar maps, Can. J. Math., 15, 526, 10.4153/CJM-1963-056-7 Brown, 1964, On the enumeration of rooted non-separable planar maps, Can. J. Math., 16, 572, 10.4153/CJM-1964-058-7 Chung, 1978, The number of Baxter permutations, J. Combin. Theory (Ser. A), 24, 382, 10.1016/0097-3165(78)90068-7 Cori, 1975, Un code pour les graphes planaires et ses applications, 27 Cori, 1981, Planar maps are well labeled trees, Can. J. Math., 33, 1023, 10.4153/CJM-1981-078-2 Dulucq, 1993, Permutations with forbidden subsequences and nonseparable planar maps, 165 Dulucq, 1996, Discrete Mathematics, 153, 85, 10.1016/0012-365X(95)00130-O Gire, 1993, Arbres, permutationsa`motifs exclus et cartes planaires: quelques proble`mes algorithmiques et combinatoires I.P. Goulden, J. West, Raney paths and a combinatorial relationship between rooted nonseparable planar maps and two-stack-sortable permutations, preprint. Guibert, 1992, Permutations sans sous-se´quence interdite Guibert, 1995, Combinatoire des permutationsa`motifs exclus en liaison avec mots, cartes planaires et tableaux de Young Haiman, 1993, Noncommutative rational power series and algebraic generating functions, European J. Combin., 14, 335, 10.1006/eujc.1993.1036 Knuth, 1973, The art of Computer Programming, I: Fundamental Algorithms, 238 Regev, 1981, Asymptotic values for degrees associated with strips of Young diagrams, Adv. Math., 41, 115, 10.1016/0001-8708(81)90012-8 Rotem, 1981, Stack sortable permutations, Discrete Math., 33, 185, 10.1016/0012-365X(81)90165-5 Simion, 1985, Restricted permutations, European J. Combin., 6, 383, 10.1016/S0195-6698(85)80052-4 Stankova, 1994, Forbidden subsequences, Discrete Math., 132, 291, 10.1016/0012-365X(94)90242-9 Tutte, 1963, A census of planar maps, Can. J. Math., 15, 249, 10.4153/CJM-1963-029-x Tutte, 1968, On the enumeration of planar maps, Bull. Amer. Math. Soc., 74, 64, 10.1090/S0002-9904-1968-11877-4 West, 1990, Permutations with forbidden subsequences and stack-sortable permutations West, 1991, Sorting twice through a stack, 397 West, 1993, Theorical Comput. Sci., 117, 303, 10.1016/0304-3975(93)90321-J West, 1995, Generating trees and the Catalan and Schro¨der numbers, Discrete Math., 146, 247, 10.1016/0012-365X(94)00067-1 West, 1994, Generating trees and forbidden subsequences, 441 West, 1996, Discrete Math., 157, 363, 10.1016/S0012-365X(96)83023-8 Zeilberger, 1992, A proof of Julian West's conjecture that the number of two-stack sortable permutations of length n is 2(3n)!/((n + 1)!(2n + 1)!), Discrete Math., 102, 85, 10.1016/0012-365X(92)90351-F