|
|
1, 20, 263, 2890, 28833, 271320, 2457211, 21670550, 187473605, 1598611300, 13480822719, 112690635330, 935435043817, 7720854845360, 63428474542787, 519059289782830, 4233894901355469, 34441103679651900
(list; graph; refs; listen; history; internal format)
|
|