|
|
1, 8, 23, 52, 107, 210, 401, 754, 1405, 2604, 4811, 8872, 16343, 30086, 55365, 101862, 187385, 344688, 634015, 1166172, 2144963, 3945242, 7256473, 13346778, 24548597, 45151956, 83047443, 152748112, 280947631, 516743310
(list; graph; refs; listen; history; internal format)
|
|
