[4,12,19,142,553,4112,18373,131958,625820,4472258, 21760942,154039075,763999159,5342021291, 26913960199,185826785482,949177894331, 6473768540990,33478372193270,225722723781992, 1180496482754391]