[7,7,76,364,1880,8744,39967,180591,808247,3528186, 14892204,60674978,239213184,915248981,3405898937, 12347166730,43666667442,150852326689,509698451147, 1686262966158,5467965888270,17394300884165, 54328408742819]