[1,3,7,17,37,79,163,359,751,1593,3277,7155,14911,31697,65269,142115,295807,629805,1297801,2821249,5868145,12507295,25785595,55992063,116404999,248297225512081677111103377323087937965]