[2,3,13,45,161,573,2041,7269,25889,92205,328393,1169589,4165553,14835837,52838617,188187525,670239809,2387094477,8501763049,30279478101,107841960401,384084837405,1367938433017,4871984973861,17351831787617,61799465310573]
