# A088857 (b-file synthesized from sequence entry)
1 1
2 2
3 6
4 30
5 80
6 634
7 1424
8 5392
9 10677
10 38052
11 39051
12 815616
13 1421550