# A035801 (b-file synthesized from sequence entry)
0 1
1 64
2 2048
3 43712
4 700416
5 8991552
6 96376832
7 887582144
8 7172939776
9 51697913408
10 336604997632
11 2000727369920
12 10951050137600
13 55605785375040
14 263584490403840
15 1172818839714752
16 4921916082929664
17 19564527852207168