|
|
1, 2, 5, 14, 28, 84, 272, 1679, 5564, 19613, 70504, 311534, 1172750, 4405073, 16581264, 67108040, 260573610, 1004778126, 3867996120, 15289911196, 59854486782, 233437968413, 909025875014, 3575067252387, 14038457059264
(list; graph; refs; listen; history; internal format)
|
|
