|
|
1, 1, 7, 22, 51, 532, 1115, 3877, 24377, 28254, 589457, 617711, 4295723, 13504880, 31305483, 326559710, 684424903, 2379834419, 14963431417, 17343265836, 361828748137, 379172013973, 2636860831975, 8289754509898
(list; graph; refs; listen; history; internal format)
|
|
