|
|
1, 7, 40, 217, 1157, 6128, 32366, 170731, 900070, 4743641, 24996639, 131709418, 693958384, 3656283198, 19263738121, 101493477133, 534729209960, 2817271322394, 14843040451314, 78201799914387, 412012556289626, 2170721261223869
(list; graph; refs; listen; history; internal format)
|
|
