[0,1,2,5,12,30,76,196,512,1353,3610,9713,26324,
71799,196938,542895,1503312,4179603,11662902,
32652735,91695540,258215664,728997192,2062967382,
5850674704,16626415975,47337954326,135015505407,
385719506620,1103642686382,3162376205180,
9073807670316,26068895429376]
|