|
|
2, 7, 23, 75, 242, 772, 2430, 7529, 22941, 68801, 203488, 594994, 1724242, 4963041, 14213111, 40540661, 115235882, 326470662, 921780312, 2593408123, 7269728291, 20302519239, 56493171410, 156652350614, 433009258768
(list; graph; refs; listen; history; internal format)
|
|
