|
|
0, 1, 3, 10, 34, 114, 374, 1202, 3798, 11842, 36550, 111954, 340982, 1034210, 3127206, 9434866, 28419286, 85503618, 257035142, 772219538, 2319017910, 6962034466, 20896589158, 62711787570, 188181500054, 564640969154
(list; graph; refs; listen; history; internal format)
|
|
