[1,9,43,155,511,1442,4131,10323,28171,63987,
171667,369395,957958,2047694,5078963,10671529,
26542339,53522031,132273403,268623854,647842889,
1266118858,3197923083,6058756355,14581380971,
29480406552,68634048862,131847974143,323289015466,
611887749996]
|