|
|
1, 2, 3, 14, 37, 127, 574, 2288, 9740, 38401, 149276, 588924, 2315523, 9164726, 36127871, 142008101, 558601623, 2197406725, 8653714967, 34086867832, 134258054870, 528933805901, 2084375779433, 8217364960397, 32407381246350
(list; graph; refs; listen; history; internal format)
|
|
