|
|
1, 3, 12, 54, 255, 1239, 6132, 30744, 155628, 793650, 4071210, 20984340, 108590118, 563816526, 2935798680, 15324533448, 80164934919, 420151515255, 2205762626010, 11597513662350, 61060181223195, 321870918101535
(list; graph; refs; listen; history; internal format)
|
|
