|
|
1, 2, 7, 28, 120, 538, 2493, 11854, 57558, 284392, 1426038, 7241356, 37173304, 192638992, 1006564439, 5297715628, 28061959428, 149491856978, 800425486692, 4305263668514, 23251846197766, 126044501870378, 685569373724964
(list; graph; refs; listen; history; internal format)
|
|
