[7,6,12,23,56,118,292,683,1692,4180,10604,26978,
69720,181162,475072,1252756,3324096,8861054,
23729740,63786792,172066648,465566598,1263208676,
3435891568,9366558088,25585826404,70019830220,
191943097314,526978629656,1448862393216,
3988658225028,10993822451304,30335737458872,
83793421017568]
|