|
|
1, 10, 73, 486, 2907, 15930, 81586, 394251, 1807754, 7903501, 33107532, 133503791, 520255432, 1965535471, 7218099342, 25820149509, 90120974981, 307356231936, 1025551245320, 3351842646799, 10742435671415
(list; graph; refs; listen; history; internal format)
|
|
