|
|
1, 2, 7, 23, 78, 264, 895, 3034, 10286, 34872, 118225, 400813, 1358859, 4606881, 15618510, 52950761, 179516682, 608607667, 2063336333, 6995240208, 23715661274, 80402183905, 272584057514, 924129977596, 3133038018732
(list; graph; refs; listen; history; internal format)
|
|
