|
|
1, 3, 10, 40, 202, 1213, 8492, 67937, 611436, 6114366, 67258030, 807096361, 10492252698, 146891537782, 2203373066735, 35253969067771, 599317474152112, 10787714534738019, 204966576160022369, 4099331523200447395
(list; graph; refs; listen; history; internal format)
|
|
