|
|
1, 2, 5, 17, 58, 202, 729, 2695, 10140, 38719, 149682, 584672, 2304045, 9149194, 36573273, 147057039, 594374148, 2413480053, 9840832968, 40276235226, 165403090815, 681373222191, 2814872996190, 11659083772986, 48407568680323
(list; graph; refs; listen; history; internal format)
|
|
