|
|
2, 9, 40, 177, 783, 3463, 15315, 67730, 299533, 1324671, 5858296, 25908042, 114577112, 506711954, 2240910072, 9910320668, 43827932664, 193826995709, 857190882207, 3790886846546, 16765020932461, 74142526074589, 327891876477017, 1450086587978657
(list; graph; refs; listen; history; internal format)
|
|
