https://123dok.net/document/zwvmew0q-canopy-of-binary-trees-catalan-tableaux-and-the-asymmetric-exclusion-process.html