|
|
1, 6, 31, 156, 784, 3962, 20173, 103522, 535294, 2787700, 14613710, 77072816, 408737760, 2178631156, 11666175215, 62734622764, 338660977020, 1834690352066, 9971834477972, 54361287536706, 297170702049966, 1628670524735842
(list; graph; refs; listen; history; internal format)
|
|
