4, 17, 72, 254, 1104, 4428, 17549, 71541, 288624, 1160216, 4688893, 18915890, 76255262, 307700021, 1241251737, 5006436549, 20196297041, 81469428031, 328628315656, 1325648873979, 5347476219467, 21570824670637, 87013568475744, 350999680661408, 1415878494475742, 5711440588635001