|
|
0, 2, 4, 9, 22, 53, 129, 327, 847, 2227, 5968, 16097, 43934, 120739, 334349, 931260, 2607165, 7332159, 20700806, 58648288, 166677978, 475023803, 1357200840, 3886548158, 11152818693, 32064929886, 92349038518, 266398236486
(list; graph; refs; listen; history; internal format)
|
|
