|
|
0, 7, 36, 165, 715, 3000, 12376, 50388, 203490, 817190, 3268750, 13037895, 51895935, 206253075, 818809200, 3247943125, 12875774670, 51021117810, 202112640600, 800472431850, 3169870830000, 12551759587422, 49699896548176
(list; graph; refs; listen; history; internal format)
|
|
