|
|
1, 3, 9, 23, 59, 153, 401, 1063, 2847, 7693, 20947, 57413, 158265, 438467, 1220145, 3408759, 9556815, 26878861, 75815839, 214411865, 607827693, 1726911631, 4916352891, 14022750725, 40066540277, 114666463855, 328662240617
(list; graph; refs; listen; history; internal format)
|
|
