[12,43,115,339,1047,3185,9614,28997,87432,263315, 792052,2380535,7151068,21473847,64465845, 193491115,580670152,1742425277,5228150762, 15686292673,47062736335,141196283037,423605734627, 1270852497809,3812631196199]