|
|
1, 2, 5, 16, 53, 193, 693, 2498, 9181, 34073, 128116, 484390, 1838093, 7006643, 26807879, 102962767, 396630326, 1531448935, 5925802359, 22972948647, 89220369428, 347060945878, 1351938353249, 5273012581579, 20590222085719
(list; graph; refs; listen; history; internal format)
|
|
