|
|
1, 8, 30, 224, 880, 6656, 27104, 206336, 859392, 6565888, 27765760, 212615168, 908943360, 6970998784, 30045757440, 230691307520, 1000634122240, 7689454223360, 33522958204928, 257783270211584, 1128501249835008
(list; graph; refs; listen; history; internal format)
|
|
