|
|
1, 3, 11, 54, 259, 1293, 6665, 34992, 186612, 1007769, 5496925, 30233034, 167444795, 932906715, 5224277345, 29386561536, 165947641615, 940369967856, 5345260877285, 30467987000514, 174102782853475, 997134120017175
(list; graph; refs; listen; history; internal format)
|
|
