|
|
1, 28, 517, 7980, 111741, 1473948, 18687397, 230431180, 2784091981, 33121756668, 389323047477, 4532472142380, 52356786665821, 600922618820188, 6860138634498757, 77961474116861580, 882575960972337261
(list; graph; refs; listen; history; internal format)
|
|