Catalan number