|
|
1, 4, 15, 56, 209, 784, 2958, 11220, 42753, 163548, 627770, 2416804, 9328384, 36087780, 139890764, 543246696, 2113015731, 8230687548, 32102370550, 125358442460, 490049744789, 1917595810240, 7510507532319, 29440544167696
(list; graph; refs; listen; history; internal format)
|
|
