Задача #364

(Д. Тараскин) Числа Каталана - числовая последовательность, которая часто встречается в задачах комбинаторики. В частности, этим числом можно охарактеризовать количество правильных скобочных последовательностей длины 2n.
Это значение можно посчитать по рекуррентному соотношению:

$C_0=1$
$C_n=\sum _{i=0}^{n-1}{C}_i{C}_{n-1-i}$ для $n\ge 1$

Посчитайте значение функции $C_{12}$