|
|
0, 1, 5, 24, 130, 815, 5871, 47950, 438404, 4438845, 49320505, 596778116, 7812368070, 110024183659, 1658826153635, 26659706040570, 454992316425736, 8218298715439865, 156631104929559789, 3141323826642838000
(list; graph; refs; listen; history; internal format)
|
|
