[4,13,45,153,523,1785,6095,20809,71047,242569,828183,2827593,9654007,32960841,112535351,384219721,1311808183,4478793289,15291556791,52208640585,178251448759,608588513865,2077851157943,7094227604041,24221208100279,82696377193033]
