[2,3,13,31,89,239,617,1571,4007,10141,25673,64853, 163367,412007,1037759,2614369,6584857,16585291, 41764859,105178831,264877933,667038311,1679809291, 4230219377,10652786759,26826453991,67555877849]