|
|
1, 8, 46, 234, 1124, 5241, 24050, 109429, 495884, 2244060, 10158768, 46055322, 209247370, 953184750, 4354605139, 19954396521, 91721631238, 422908476612, 1955876264342, 9072401893299, 42203220058991, 196862017041783, 920700735516741
(list; graph; refs; listen; history; internal format)
|
|
