|
|
0, 0, 2, 15, 75, 313, 1179, 4161, 14051, 45993, 147195, 463345, 1440723, 4438905, 13582955, 41350977, 125404611, 379228489, 1144370139, 3447856017, 10375942835, 31198607385, 93749962827, 281584384225, 845476670115
(list; graph; refs; listen; history; internal format)
|
|