|
|
1, 2, 5, 14, 42, 146, 513, 1814, 6457, 23852, 88822, 331756, 1241569, 4704536, 17919729, 68426280, 261659138, 1005583928, 3876858984, 14975423376, 57918225459, 224542599510, 872234912198, 3393031324338, 13212674724177
(list; graph; refs; listen; history; internal format)
|
|
