|
|
1, 3, 8, 23, 80, 290, 1010, 3521, 12934, 48498, 180020, 666648, 2512214, 9569120, 36408682, 138417669, 529685612, 2038304708, 7852427512, 30259337658, 116937868076, 453269554872, 1759337897040, 6833437297968, 26582114114294
(list; graph; refs; listen; history; internal format)
|
|
