|
|
0, 1, 4, 15, 52, 175, 571, 1838, 5834, 18363, 57372, 178271, 551344, 1698782, 5217266, 15979465, 48825416, 148877730, 453124341, 1376890744, 4177819301, 12659943750, 38317731349, 115851225052, 349924919167
(list; graph; refs; listen; history; internal format)
|
|
