|
|
1, 6, 30, 137, 588, 2415, 9600, 37209, 141336, 528049, 1945800, 7086555, 25550547, 91319973, 323890062, 1140985116, 3995155506, 13913280006, 48216776266, 166355744244, 571636515369, 1957015021744, 6677155551312
(list; graph; refs; listen; history; internal format)
|
|
