| 2, 5, 13, 31, 73, 173, 409, 967, 2283, 5392, 12735, 30073, 71017, 167706, 396032, 935217, 2208486, 5215270, 12315692, 29083113, 68678837, 162182870, 382989640, 904417737, 2135753445, 5043513182, 11910094433, 28125305569, 66417005997
(list; graph; listen)
|
|
