[0,0,1,3,7,15,31,64,155,717,6391,65010,629444, 5719597,49340838,408864186,3284672489,25770192646, 198718943490,1516391860879,11554571944615, 89144035246500,711587142257776,6054854693784594, 56609279400922224,590143167134961765]