|
| |
| |
|
|
|
232, 610, 1600, 4192, 10978, 28744, 75256, 197026, 515824, 1350448, 3535522, 9256120, 24232840, 63442402, 166094368, 434840704, 1138427746, 2980442536, 7802899864, 20428257058, 53481871312, 140017356880, 366570199330, 959693241112, 2512509524008
(list; graph; refs; listen; history; internal format)
|
| |
| |
|
|