|
|
1, 25, 426, 6170, 81851, 1029315, 12498676, 148149460, 1726010901, 19855374605, 226242178526, 2559210312750, 28786474721551, 322368894171895, 3597522989519976, 40035969784960040, 444564772324613801
(list; graph; refs; listen; history; internal format)
|
|