|
|
0, 14, 294, 4116, 48020, 504210, 4941258, 46118408, 415065672, 3631824630, 31072277390, 261007130076, 2159240803356, 17633799894074, 142426845298290, 1139414762386320, 9039357114931472, 71184937280085342, 556917450485373558
(list; graph; refs; listen; history; internal format)
|
|
