|
|
1, 3, 8, 22, 65, 208, 723, 2721, 11053, 48220, 224548, 1109098, 5778541, 31599829, 180605494, 1074867617, 6641877097, 42500291653, 280917956733, 1913770121846, 13412187670519, 96528097452229, 712332226596238, 5382561715509703
(list; graph; refs; listen; history; internal format)
|
|
