[0,1,12,87,537,3070,16731,88331,455804,2311983, 11571209,57295330,281223411,1370286715,6635743136, 31964799247,153273890393,732031932806, 3483896304443,16529018119643,78202676604548, 369073777749215]