|
| |
| |
|
|
|
1, 5, 20, 135, 1040, 7151, 45360, 277535, 1675520, 10071135, 60456176, 362782415, 2176761600, 13060665455, 78364125680, 470184933951, 2821109841920, 16926659361215, 101559956563440, 609359739880175
(list; graph; refs; listen; history; internal format)
|
| |
| |
|
|