|
|
1, 1, 5, 16, 58, 220, 821, 3090, 11743, 44792, 171495, 659051, 2540116, 9814642, 38007320, 147472450, 573200298, 2231386904, 8698569320, 33952074197, 132672190652, 518973027214, 2031995088017, 7963057824045, 31231061046115
(list; graph; refs; listen; history; internal format)
|
|
