|
|
1, 177148, 48828126, 1977326744, 31381236757, 285311670612, 1792160394038, 8649804864648, 34271896307634, 116490258898220, 350279478046112, 952809757913928, 2384185839843751, 5559091947792280, 12200509765705830
(list; graph; refs; listen; history; internal format)
|
|