|
|
1, 2, 7, 20, 64, 200, 686, 2324, 8194, 29084, 104860, 381116, 1398148, 5161592, 19173958, 71580752, 268435474, 1010572832, 3817749138, 14467230668, 54975581488, 209430687944, 799644820114, 3059510251700, 11728124035248
(list; graph; refs; listen; history; internal format)
|
|
