|
|
1, 2, 7, 22, 79, 278, 1021, 3752, 14023, 52640, 199248, 757360, 2892977, 11088266, 42640759, 164413606, 635490703, 2461411460, 9551605730, 37126976390, 144528973888, 563386487780, 2198826762318, 8591331622208
(list; graph; refs; listen; history; internal format)
|
|
