|
|
0, 2, 4, 12, 40, 128, 404, 1282, 4076, 12946, 41110, 130570, 414708, 1317126, 4183250, 13286248, 42197850, 134022604, 425663006, 1351928684, 4293798244, 13637334278, 43312907878, 137564127106, 436911072754, 1387653086532, 4407260902428, 13997697874880
(list; graph; refs; listen; history; internal format)
|
|
