| n | a(n) |
|---|---|
| 0 | 512 |
| 1 | 40353607 |
| 2 | 5159780352 |
| 3 | 118587876497 |
| 4 | 1207269217792 |
| 5 | 7625597484987 |
| 6 | 35184372088832 |
| 7 | 129961739795077 |
| 8 | 406671383849472 |
| 9 | 1119130473102767 |
| 10 | 2779905883635712 |
| 11 | 6351461955384057 |
| 12 | 13537086546263552 |
| 13 | 27206534396294947 |
[512,40353607,5159780352,118587876497, 1207269217792,7625597484987,35184372088832, 129961739795077,406671383849472,1119130473102767, 2779905883635712,6351461955384057, 13537086546263552,27206534396294947] |