|
| |
| |
|
|
|
1, 3, 12, 35, 80, 157, 280, 471, 768, 1241, 2024, 3379, 5824, 10389, 19128, 36143, 69632, 135985, 267976, 531147, 1056576, 2106413, 4204952, 8400775, 16791040, 33570057, 67126440, 134237411, 268457408, 536895301, 1073768824, 2147513439
(list; graph; refs; listen; history; internal format)
|
| |
| |
|
|