[1,8,41,189,793,3249,12917,52577,208301,832101,3334181,13334013,53367501,213442441,853655053,3415005917]
