|
|
1, 15, 136, 969, 5985, 33649, 177100, 888030, 4292145, 20160075, 92561040, 417225900, 1852482996, 8122425444, 35240152720, 151532656696, 646626422970, 2741188875414, 11554258485616, 48459472266975
(list; graph; refs; listen; history; internal format)
|
|
