|
|
1, 2, 5, 20, 77, 306, 1209, 4656, 17713, 66618, 248025, 916020, 3359789, 12250026, 44435997, 160466304, 577185745, 2068826290, 7392167585, 26338879556, 93609302941, 331924381218, 1174482354493, 4147807582672
(list; graph; refs; listen; history; internal format)
|
|
