|
|
0, 1, 13, 127, 1105, 1255, 24337, 263671, 725953, 42823, 40610545, 163341463, 780593185, 5464152295, 51309760081, 45711664183, 2200721587585, 12583941205639, 3454291215793, 430419865184215, 3012939056289505, 10122098073837607, 92791637157241105, 517919756258420599
(list; graph; refs; listen; history; internal format)
|
|
